least a?
False
Let i be 1*(-5)/20 + (-2801)/(-4). Suppose -2*a + i = -108. Let u = -4031/10 + a. Which is bigger: 0 or u?
u
Let c = -388.3 + 386.54. Are c and -0.02 non-equal?
True
Let m = 9696 - 9696.09. Is -21/4 > m?
False
Let k = -4.1 - -3. Let u = 3370.9 + -1977. Let l = -1394 + u. Which is bigger: l or k?
l
Let d be (-118)/2 + -7 + -4 + -1. Let y(g) = 2*g + 38. Let u be y(-54). Is u less than d?
False
Suppose 0 = -85*t + 369 - 284. Which is smaller: 1/17155 or t?
1/17155
Suppose 0 = 23*f + 48241 + 5806 + 9824. Is -2777 greater than or equal to f?
True
Let k(p) = -p**3 - 76*p**2 + 316*p + 13. Let j be k(4). Is -251/56 bigger than j?
False
Let b = -11836.02 - -11836. Let f = -65 - -24. Which is greater: f or b?
b
Let i(n) = 21*n - 3. Let a be i(-4). Let x = a + 94. Which is smaller: x or 3?
3
Suppose 2*z - z + 2*x = 8, 5*x - 20 = -5*z. Let v = 502 - -351. Let o = v - 73359/86. Is o > z?
False
Suppose -k + 6 - 10 = 0. Let h be (-22)/((5 - 3) + k). Suppose d - 19 = 4*x, x + x + h = -d. Which is bigger: -7/4 or d?
d
Suppose 0 = -0*m - 4*m + 92. Suppose -143*r = -149*r + 12. Suppose 0 = -r*o + z - 9, -4*o + 11*z = 8*z + m. Which is smaller: o or -4?
-4
Let k = -0.3 - -8.1. Let r = k - 7.7. Let p be -6*1 + 9 + -7 - 20. Is r less than or equal to p?
False
Let j be 16 - (-103270)/160*4. Does j = 2598?
False
Let a be (-2 - -9) + 292698/(-41811). Is 1 >= a?
True
Let y = 442032 + -527344206/1193. Which is greater: y or -1?
y
Let w = -371 - -427. Let j = w + -56. Which is bigger: j or 82?
82
Let k(q) = 2*q**2 - 10*q + 55. Let i be k(-10). Let j = i + -344. Which is smaller: j or 16?
j
Let p(d) = -3*d**2 + 12*d + 35. Let y be p(6). Which is greater: -1/2961 or y?
-1/2961
Let s be (-10 - -5)*2/(-5). Suppose s*h - 32*h = -1380. Suppose -4*j = -0*k + 5*k - 184, 230 = 5*j - k. Is j not equal to h?
False
Let w = -2666/3 - -3589/4. Which is bigger: w or 8?
w
Let m(i) = 14*i. Let a be m(-3). Suppose o - y + 35 = 0, 0 = o - 7*y + 12*y + 59. Let v = a - o. Is -5 less than or equal to v?
True
Let k = -13 - 42. Let z be (81/(-36) - -3)*-60 + 0 - 9. Which is smaller: z or k?
k
Suppose 9*l - 1269 - 271 = -2*l. Suppose 351 = 2*o + 73. Which is smaller: o or l?
o
Let m = 2.39824 - -0.03176. Is 6/11 smaller than m?
True
Suppose 5*d + 67 = 52. Let v = -15 - -12. Let h be (-4)/6 + 6/v. Which is bigger: h or d?
h
Let p = 1416 - 1415.98. Let d = -0.13 + 31.13. Let b = d - 31.1. Is b at most as big as p?
True
Suppose -6*l + 2*r + 2952 - 2938 = 4*r, -37 = -5*l - 3*r. Let a = 6 + -3. Let x = -4 + a. Is x greater than l?
True
Let x(c) = -c**2 - 20*c - 92. Let g be x(-7). Which is bigger: 25/129 or g?
25/129
Suppose -90 = -5*w + 10*w. Let k be (-20000)/89352 + (16/w)/(-4). Which is greater: 0 or k?
0
Let t = 28342 - 28348. Is t > -235/38?
True
Let r be -1 + 2 - (-5 + -6 + (-691)/(-54)). Which is greater: 0 or r?
0
Let t be -1 + 17/(-2 + (-60)/(-28)). Suppose m + 119 = t. Let f be ((-20)/93)/((-4)/6). Is m greater than f?
False
Let s(z) = z**2 - 18*z - 279. Let r be s(-10). Do r and 7/527 have different values?
True
Suppose -2*j + 7*j - 4*k - 37 = 0, -5*j + 3*k = -34. Suppose -j*d = 0, -7*d = 2*u - 6*d - 18. Let p = 4 + -2. Which is bigger: p or u?
u
Let c be (274 + -272)/(2 + -3). Let n = -0.038 + 20.038. Let d = -6 + n. Are d and c nonequal?
True
Let b be (24 - -1092)*8/6. Does b = 1494?
False
Suppose -12*r + 17*r = -40. Let n be 4/r + (-90)/(-4). Suppose 9*y - n = -166. Which is smaller: -18 or y?
-18
Let t(i) = 2*i**3 - 34*i**2 + 24*i + 72. Let k be t(15). Which is bigger: k or -1403/3?
-1403/3
Let v be (-12908)/18 - 24/108. Let c = v + 40948/57. Let j be -1 + 4 + -2 - 1. Is j >= c?
False
Let z = -1646.96699 - 0.03301. Do z and 1 have the same value?
False
Let h = -5470 - -5470. Which is greater: h or -133?
h
Let z = -14.5 + 80.5. Let b = z - 66.103. Which is smaller: b or 2/5?
b
Suppose -113*q + 129*q - 416 = 0. Is 5 smaller than q?
True
Let a = -73 - -23. Suppose -3*x - x = -2*o + 44, -3*o + 2*x + 70 = 0. Suppose 27 = -q - o. Is q not equal to a?
True
Let j be ((-44)/(-12) - 1) + -3. Let h = 8458 + -8458.79. Is j > h?
True
Let d = -9994 + 9779. Which is greater: -212 or d?
-212
Suppose 0 = 33*w - 30*w - 2442. Let a = -1397 + w. Is a <= -582?
True
Let r = 3088395.052 - 3083372. Let o = -5046 + r. Let y = 0.052 - o. Which is bigger: 1 or y?
y
Let c = 3/151 + -638/39713. Let r(f) = -4*f**3 - f**2 - 138*f. Let w be r(0). Is c greater than w?
True
Let p = 54506 - 7467366/137. Which is greater: p or 1?
1
Suppose 803*g - 804*g + 29 = 0. Suppose 24 = g*a + 198. Let i = 254/3 + -91. Which is greater: i or a?
a
Let h(q) = 2*q**2 + 16. Suppose 5*v + 1 = -2*r - 4, 5*r - 5*v = 5. Let u be h(r). Let m be ((-8)/u)/((-1)/(-2)). Is m > -6/5?
True
Suppose 4*z + 0*z = 0. Suppose 0 = d - z*d. Let u be (2404/(-18030))/((-1)/3). Is d >= u?
False
Let v be (-5 - 31/(-7))/(12/(-20698)). Let y = -986 + v. Is 0 greater than or equal to y?
True
Let h be (-1)/2 + (-8)/(-30). Let u = 465311 - 465310. Which is smaller: h or u?
h
Suppose 5*r = 10*r + 3*s + 1669, r + 4*s = -327. Let f = 336 + r. Let x = 2/3001 + 32997/21007. Which is bigger: x or f?
x
Suppose 0 = -2*g + 3*f + 86, 0 = -0*f - f - 2. Let h = g - 37. Suppose 4*d - 18 = -5*r + 2*r, 22 = 3*d - 2*r. Is d < h?
False
Let o(m) = 7*m**3 - m**2 - 59*m - 238. Let h be o(-5). Is h bigger than -841?
False
Suppose -2*z = -2*f - 16, 0 = -z - 5*f - 0 - 4. Let w be (-2)/z + (2 - 1). Which is greater: 36 or w?
36
Let z(l) be the first derivative of l**4/4 + l**3/3 - 9*l**2/2 + 5*l - 21. Let g be z(2). Is 3/115 >= g?
True
Let d = -72431 + 365486827/5046. Which is smaller: d or 2/5?
d
Let l be (-10)/3*(-1053)/(-18)*52. Let q be (-1712)/l + 2/(-15). Does 1 = q?
False
Let a be (-4)/1 + 24/8 - -9. Suppose a*n = 185 - 41. Suppose 0 = n*w - 7*w - 154. Which is smaller: 9 or w?
9
Let u(z) be the first derivative of 9*z**2/2 + 55*z + 125. Let d be u(-6). Which is greater: -4/37 or d?
d
Let v = -70 - -73. Suppose 0 = v*u + z - 8, 5*u - 4*z = -6 + 8. Let k be 0*u/(-6) + (-22)/(-429). Which is bigger: k or 0.1?
0.1
Let g(q) = q**2 + 7*q + 10. Let b be g(-2). Is b at most as big as -1/1113?
False
Let k = -0.063 - -30.063. Let p = 29.924 - k. Let b = p + 0.039. Are b and 2/3 equal?
False
Let b(a) = -a**3 + 42*a**2 - 337*a - 23. Let f be b(11). Is -10 < f?
True
Let z be (-4 + 36/8)*6. Let k(m) = -m**3 - m**2 + m + 1. Suppose 0 = 6*x - 10*x. Let c be k(x). Which is smaller: z or c?
c
Let g be 4 + (47 + 3)/(-5). Let b be (-1)/(-3 + (-19)/g). Let r be (-1 - 0)/(b/(-36)). Are r and -2/5 non-equal?
True
Let v be (-2 + 3)/(2/366). Let a = 333353 + -333171. Does v = a?
False
Let u = 153 + -256. Let i = u + 95. Let k be ((-12 - i) + 5)*(91 - 0). Is k less than or equal to 91?
True
Let k(f) be the first derivative of 1/4*f**4 - 3 - 2/3*f**3 - 19*f - 1/2*f**2. Let x be k(0). Which is smaller: x or -18?
x
Let c(i) = 16*i**2 - 9*i + 15. Let w be (-1)/(-3*3/18). Let b be c(w). Let m = 41 + 20. Is m >= b?
True
Let a(x) = x**3 + 13*x**2 - 16*x - 28. Let q be a(-14). Suppose 4*u = -g - q*g - 18, -2*u - 8 = 0. Are -9/16 and g nonequal?
True
Let r = 21005 + -15984810/761. Which is smaller: -1 or r?
-1
Let t = 1502 - 1505. Let v = -30.6 - 1.4. Which is smaller: v or t?
v
Let f = 10 + -14. Let l(g) = -g**2 - 2*g + 5. Let r be l(f). Let c be ((-2)/(-10))/(r*(-42)/18). Which is smaller: c or 0?
0
Suppose -34*j + 452 + 92 = 0. Suppose j = -u + 15. Which is bigger: 6/65 or u?
6/65
Let a be 114/95 - (-2597)/(-35). Is -508/7 > a?
True
Let u be (0 + (3 - 6))/(-1*(-6)/50). Let t(l) = -6*l + 4. Let y be t(5). Is y not equal to u?
True
Let v(a) = a + 4. Let t be v(-3). Do 1/15057 and t have the same value?
False
Let v = 4913 - 5181. Which is smaller: v or 2?
v
Let z(n) = -n**3 + 27*n**2 - 21*n - 163. Let a be z(26). Are 6 and a equal?
False
Let n = -2264 - -33919/15. Let c be ((-1656)/(-18))/46 + (-3)/(6/10). Which is smaller: n or c?
c
Suppose 4*c + 3*v = 2*c - 7, -5*c - 5*v - 5 = 0. Suppose 2*y = -d + 6 + 13, c*d = -y - 8. Let j(w) = w**2 - 4. Let q be j(-4). Is q at most y?
True
Suppose 22*n - 4*t + 16 = 23*n, -3*n - 4*t = -24. Suppose 390 + 142 = n*r. Is r greater than or equal to 0?
True
Let o be (-488)/(-5) - (0 + 0). Let f(m) = 21*m**2 - 59*m - 104. Let a be f(-2). Is a > o?
True
Suppose -