*l + 20. Suppose k + 6 = -i - 0*i, -y*k - 20 = 0. Do i and -10/17 have different values?
True
Suppose i - 4 = -2*r + 3*r, -24 = 3*r + 3*i. Let y = -695/6 - -111. Is r at least y?
False
Let c = 1.495 + 458.505. Which is greater: -2/5 or c?
c
Let f = 1052 + -1053.8. Which is smaller: f or 0?
f
Suppose 0*n + 15 = 3*n. Let c be ((-18)/5 - -3)/((-6)/20). Which is smaller: c or n?
c
Let s = 12 - 17. Let d be 2/s + 2/5. Let i be (6/64)/(30/20). Is d at least as big as i?
False
Suppose 7*v - 12*v = 0. Which is smaller: 18/13 or v?
v
Suppose -4*j = -3*j - 4*q - 1127, -j - 3*q + 1134 = 0. Let u be 4/(-14) - j/(-455). Which is bigger: 3 or u?
3
Suppose 10*w + 40 = 11*w. Let l be 2/(-5)*(-8)/w. Which is bigger: 0 or l?
l
Let g = -66 + 65.2. Let o be (-2 - 0)*(0 + 3). Let a = 6 + o. Which is smaller: a or g?
g
Let g be (-591)/(-52) - (-18)/(-24). Which is bigger: g or 10?
g
Suppose 0 = -17*l + 2 - 2. Suppose r + 2*f - 12 = l, 0*f + 3*f - 7 = 4*r. Which is greater: r or 13?
13
Suppose 0 = -8*d + 4*d + 3*i + 157, -2*i = -2. Suppose -5*l - d = -50. Is l equal to 3?
False
Let j = 29 + -40. Which is smaller: -15 or j?
-15
Suppose 5*m + 8 = 9*m. Let r = 2 - -4. Let p be (-4)/6 + 14/r. Which is smaller: p or m?
p
Suppose -4 = -u, -4*u + 8 = -5*x + 2. Let h be (-1)/(4 + -4 - x/22). Are h and 72/7 nonequal?
True
Let p = -982 + 982.2. Is -193 > p?
False
Let k = -19.4 + -1.6. Let y = k - -19.7. Let t = -0.3 - y. Which is greater: 0 or t?
t
Let v = 22087/235186 - 1/2198. Is -1 not equal to v?
True
Let m be (-3)/(-2)*4/3. Let b = -0.4 - 22.6. Let a = 21 + b. Which is smaller: a or m?
a
Suppose 7*z - 3*z = 84. Suppose 83 = -3*k - 4*a - z, 0 = -2*k + a - 62. Which is greater: -33 or k?
k
Let t = 98363/24024 + 1/1144. Which is smaller: t or 5?
t
Let a = -72 - -72. Suppose a = -d + 2*d - r, -2*r = -5*d. Is -5 not equal to d?
True
Let s be -5 + 7 + 0 + -1. Let r be 6/15 + (-102)/(-85). Which is greater: s or r?
r
Let x be (-50)/20 - 14/(-32). Which is smaller: -2 or x?
x
Let n be (-68)/(-5) - (-8)/20. Let s = 12 + 1. Which is smaller: n or s?
s
Let f be (1 - (-19)/5)/(-23). Let m = f - -5/46. Let o be 34/(-153) + (-14)/18. Is m less than o?
False
Let a = -673 + 9. Is -665 greater than or equal to a?
False
Suppose -3*l + 2*z = -l - 2, 4*z + 4 = 0. Let k = 1379/450 + -65/18. Let y = k + -3/25. Is y <= l?
True
Let s(x) = -x**2 - 6*x + 7. Let w be s(1). Is 2/1167 at most w?
False
Let r(j) = j**2 - 5*j + 4. Let q be 2 - (5 + -3 + -5). Let p be r(q). Suppose 0 = -x - 3*x + p. Is -1 bigger than x?
False
Let z(x) = x**3 - 5*x**2 + 4*x - 12. Let a be z(5). Let i be ((-36)/a)/(6/(-8)). Suppose -i*c - c = 0. Is c at least as big as -5/6?
True
Suppose -4*v - 42*m + 41*m + 678 = 0, 3*m - 344 = -2*v. Is 169 less than v?
False
Let m be 118/(-21)*(-624)/320. Let v = 76/7 - m. Which is greater: v or 0?
0
Let z(d) = d**3 + 5*d**2 + d + 5. Let p be z(-5). Let c = 22405/196 + -457/4. Is p > c?
False
Let p(n) = -n**3 + 7*n**2 + 8*n - 56. Let u be p(7). Which is bigger: -2/31 or u?
u
Let l be (-2)/2*-2*-36. Suppose 6*a + r + 32 = -410, 4*a - 5*r + 272 = 0. Which is smaller: l or a?
a
Suppose 61*y + 132 = 50*y. Which is smaller: -10 or y?
y
Let q(t) = -10 - 5*t - 9*t + 13*t. Let g be q(-10). Suppose g = 5*u - 0*s - 2*s - 3, 24 = -4*u - 5*s. Are 1/14 and u nonequal?
True
Let a(j) = -2*j**2 + 18*j - 2. Let g(x) = -x. Let l(f) = a(f) + 4*g(f). Let v be l(8). Which is bigger: v or -19?
v
Let c = -2 - -1. Let n = 607173/149 - 4075. Let v = n + -276/1639. Which is smaller: c or v?
c
Suppose 0 = -z - b + 50, 3*z + 15*b = 11*b + 149. Which is bigger: z or 55?
55
Let b be (32/56)/((-6)/(-231)). Suppose 226 + 1072 = b*u. Is u at least as big as 59?
True
Suppose 402 + 240 = 4*o + 2*t, 4*o - 645 = t. Suppose -4*w + 641 = o. Let a be (-114)/w + 1/5. Are a and 0.1 unequal?
True
Let o = -101 + 224. Let d = o - 139.7. Let k = 16 + d. Which is smaller: k or 1?
k
Let m = -25 - -51. Let o = 18 - m. Is o smaller than 1?
True
Let y be (-6 + (-13116)/(-2188))*(-4)/(-6). Which is smaller: 1 or y?
y
Let s be (0 - (-1621)/(-2669))*(-3)/(-6). Let p = s + 3/314. Is p at most 1?
True
Let p = -446 + 540. Is 90 at most p?
True
Let o(k) = -k**3 - k + 2. Let j be o(0). Let r(y) = 2*y**2 - y. Let a(d) = -4*d**2 + 2*d. Let w(u) = j*a(u) + 5*r(u). Let h be w(1). Is h at least 1/4?
True
Suppose m - 2 = 3*n, 0*n + 3*n - 10 = -5*m. Let w be 0/(4 - (1 + m)). Which is bigger: w or -3/4?
w
Let o be (236/(-6))/((-20)/30). Let a be (o/(-2) - 1)/((-190)/76). Which is bigger: a or 12?
a
Suppose 9*z = -1348 - 92. Which is greater: -159 or z?
-159
Let m = 192 - 191.93. Let w = 0.2 - 1.2. Is m <= w?
False
Let u = 49/18 - -19/36. Suppose 0 = -3*n - 3, -5*d + 5*n - 20 - 150 = 0. Let s = 38 + d. Which is greater: s or u?
u
Let h = -288356/69 - -4179. Is h at least 0?
False
Let n be 3/21 - 13/(-7). Let h(d) = d - 10. Let a be h(9). Is a bigger than n?
False
Suppose 105 + 550 = 5*z. Let s = z + -132. Which is smaller: -1/12 or s?
s
Let s(v) be the third derivative of v**6/120 + v**5/20 - 7*v**4/24 - 5*v**3/6 + 5*v**2. Let b be s(-4). Let f = b - 8. Which is smaller: 1/5 or f?
f
Let s = 15.6 - 16.6. Suppose l + 0*l - 8 = -4*f, f + l - 5 = 0. Is f smaller than s?
False
Let f be (-2)/(-4) - 6/4. Let r be 4/10 + (-6 - 165/(-25)). Let u be -4 + 0 + r*123/33. Which is bigger: u or f?
u
Suppose -159 = 5*x - 509. Let u = 68 - x. Which is smaller: -7/3 or u?
-7/3
Let m = -2/21225 + -4372/3657775. Is 0 greater than m?
True
Let j be (0 - (-2)/(-236))*78228. Let w = -663 - j. Let d = w - 97/413. Which is greater: -0.2 or d?
-0.2
Let l = -1.04 - -1.84. Let k = l + -1. Which is bigger: 3/2 or k?
3/2
Suppose 3*m - 13 = -5*h, -3*m - 2*h + 4 = -3. Let a be 174/234 - m/(-3). Do a and 1 have different values?
True
Let h = 157/12 - 43/3. Let s = -0.061 - 0.039. Is h bigger than s?
False
Suppose 3*b + 7 = 16. Let n = 12 + b. Let p be (-3)/n*(-30)/(-72). Which is smaller: p or -1?
-1
Let s = 290 - 314. Which is greater: s or -3?
-3
Let j = 492 - 6400/13. Suppose -2*o - 5 = 3*o. Which is greater: o or j?
j
Suppose -r - 4*r = -100. Suppose -r = -5*i - 0*i, -4*i = -5*b + 24. Let y be b + 4 + (2 - 6). Which is smaller: y or 6?
6
Let g be (-3296)/356 + 12 + -2*1. Are 1 and g unequal?
True
Let r be (-6)/(-3) - (-42)/5. Let t = r + -458/45. Suppose -637*w + 641*w = 0. Is t greater than or equal to w?
True
Let k(i) = i**3 - 11*i**2 - 12*i + 3. Let h be k(12). Suppose 4*c - 5*c = -h*j + 3, 5*j = c + 7. Which is smaller: 5 or j?
j
Let b be (-1)/(2/76)*(-10)/20. Let w(c) = -c**2 - 9*c + 6. Let p be w(-7). Is p at most b?
False
Let b = -47 + 43. Let f be (b/14)/(18/(-126)). Are 1 and f non-equal?
True
Suppose 0 = 7*z - 5*z - 6. Suppose z*b + 2*t + 145 = 0, 2*b - 5*t = 7*b + 235. Let j = 205/4 + b. Which is bigger: 3 or j?
3
Let q = -3 + 9. Let f(g) = g**2 - 5*g + 8. Let x be f(q). Suppose 2*a + k = 29, -a + 3*k + k + 1 = 0. Is a < x?
True
Suppose -28 = 4*g + 40. Suppose 5 + 26 = -6*a + 7. Which is smaller: a or g?
g
Let r be 9/2*(-28)/(-6). Let d be (18/r)/(2/(-14)). Let m(s) = -s**3 - 4*s**2 + s + 2. Let p be m(-2). Which is bigger: d or p?
d
Let q(h) = h**3 + 6*h**2 - 6*h + 5. Let a = 5 + -12. Let b be q(a). Suppose -2*w - f - 2*f + 3 = 0, 3*f - 3 = -5*w. Is w != b?
True
Let x = 63 + -251/4. Let o = -8 + 8.95. Let h = 0.05 + o. Which is greater: h or x?
h
Let l = 168 + -409. Which is bigger: l or 1?
1
Suppose -5*r + 155 = 5*c, 0 = 5*c - 2*c + 9. Suppose 34 = 73*d - 72*d. Is d equal to r?
True
Let v = 1450 - 1708. Is -261 bigger than v?
False
Let y = -21 - -6. Let d = -287 + 288. Which is smaller: y or d?
y
Let w be 5*(1 + (-18)/10). Let l be 6/(-4)*w/(-3). Suppose 3*k = -3 - 3. Is l equal to k?
True
Let w = 258 - 253. Which is bigger: 21 or w?
21
Suppose 0 = -u + 5*w + 56, 0 = -5*w - 5 - 5. Suppose -a + u = 44. Is a >= 2?
True
Suppose 0 = j - 5*b + 10, -3*j + 9*b - 14*b + 10 = 0. Do j and 1/28 have the same value?
False
Let p be ((-15)/(-9))/(3/270*5). Are 22 and p nonequal?
True
Let q = 1 + 11. Let c = -4 - q. Let y = -15.9 - c. Is -14/9 > y?
False
Let s = -0.44 - -0.459. Do s and -1 have different values?
True
Let u = -36 - -25. Let b be (-90)/20*28/6. Let g be 4 - 6/(-9)*b. Which is bigger: g or u?
g
Let w = -13 - -15. Let d(k) = -97*k. Let s be d(w). Let t = s + 1744/9. 