?
False
Let w be (-10 - 1062/(-45))/(-2 + (-1682)/(-850)). Which is smaller: w or -641?
w
Let l = -275 + 247. Is l at least as big as -3?
False
Suppose 3*m = -4*m + 21. Suppose n + m*b = 6*n - 81, 4*n + 3*b - 54 = 0. Let h be ((-190)/n)/2 + (-4)/6. Which is smaller: h or -6?
h
Let u be (-32)/(-260)*(-330)/4. Let v(m) = m**3 - 12*m**2 + 182*m - 1210. Let c be v(8). Is u equal to c?
False
Let v be (-7)/21*((-5)/60 - (-105)/(-36)). Is 10/17 greater than v?
False
Let y be (8 - (-1668)/(-90)) + (1 - 7). Which is smaller: y or -17?
-17
Let v = -8 - -17. Let r(z) = -z**3 + 10*z**2 - 7*z - 12. Let h be r(v). Let x = 15 - 7. Which is greater: x or h?
x
Let g = -0.5 - 0.5. Let o = 2 + g. Let m = -3401/1190 + 1/1190. Does o = m?
False
Let r be ((-2138)/(-12828))/(2/(-3)*(-6)/(-8)). Which is smaller: r or -3556?
-3556
Let t be 0 - (2087151/(-173932) + 12). Which is smaller: t or 1?
t
Suppose 3*s - 1362 = -3*h, 3*s - 5*h - 1346 = -0*h. Let z = s - 452. Let y be (-17)/5 + 1/1. Are z and y unequal?
True
Let u be (1 + 3/(-2))/((-65)/520). Suppose 11*s - 30 = -u*s. Do 27/8 and s have different values?
True
Let n = -6/11 + 1/22. Let t = -6805 - -6956. Is t != n?
True
Let s = 83.09 + -84. Let a = -0.09 + s. Let f = -486 + 515. Which is greater: f or a?
f
Let a = 4.15 - -100.95. Let x = 214 + -319. Let f = a + x. Is 76 not equal to f?
True
Let x(h) be the third derivative of -h**6/120 - h**5/60 + h**4/8 - h**3/6 + 7*h**2. Let t be x(-2). Let u be (-9)/t*2/6. Which is smaller: -6/17 or u?
-6/17
Let v = -356.65 - -349.5. Are v and 2/3 nonequal?
True
Suppose m = 58 + 20. Let r be 2/(-13150)*(-13)/(m/(-12)). Let s = r - -13364/703525. Which is greater: s or 0?
s
Suppose -2*w = 4*u - 6, 2*u = -3*w - 2 + 11. Let j be 5 - 9/w - 3. Which is smaller: j or 2/105?
j
Suppose 0 = 3*j - 5*b - 75, -4*b = -5*j - 26 + 138. Suppose 4*a = 36 - j. Is 8 at most a?
False
Let h = 19265 + -19231. Is h less than 27?
False
Let p be (-4437)/(-187) - 24 - (-5)/((-165)/(-1142)). Let u = -0.3 + 0.2. Is u greater than p?
False
Let q(w) = 6*w**2 - 4*w - 87. Let s(o) = -11*o**2 + 8*o + 171. Let n(r) = 7*q(r) + 4*s(r). Let x be n(-5). Which is bigger: 1/10 or x?
x
Let r be (304/57)/(7/(-21) + 1). Which is greater: r or 236/33?
r
Let b = -3.2617 - -2.8817. Let w = -7.2 - -1.2. Which is smaller: b or w?
w
Let n be 1/(-2) + (-2 - 0) - (-58 - -56). Which is smaller: n or 3123?
n
Let a = -6594 - -6591. Are a and -3 non-equal?
False
Suppose 5*n - 93 = 37. Let y = n - 25. Let p = -7061/369 - -172/9. Is p greater than or equal to y?
False
Suppose -4*q = -0*q + 136. Let m be (-11)/44 - q/72. Let r be (((-16)/6)/(-4))/(20/(-12)). Which is greater: m or r?
m
Let q = 193.9 - 188.9. Is q less than 316?
True
Suppose -3*k + 10 = 4*i, 0 = 3*k - 4*i + 12 - 62. Suppose 15*j + k = 5*j. Is -6/65 greater than j?
True
Suppose -58*f - 50*f + 84*f = -96. Let p(i) = 0*i - 3*i + 0*i. Let h be p(-3). Which is smaller: f or h?
f
Let w = 80 + -79.87. Let k = w + -0.103. Let v = 0.027 - k. Is 9 < v?
False
Let u = 61 + -30. Let d = -26 + u. Let b = 409 - 2021/5. Is d not equal to b?
True
Let q(r) = -237*r + 103. Let s be q(-6). Suppose -s = 8*w + 443. Which is bigger: -247 or w?
w
Let b = -14.5 - 0. Let h = b + -70.5. Let u = h + 85.1. Which is smaller: 22 or u?
u
Let z = 0 - 0.1. Let y = -209 + 217. Let d be (y*6/3852)/(2/3). Does z = d?
False
Let x(w) = -w**2 - 5*w + 23. Let z be x(-7). Suppose h - 29 + z = 0. Let b be (2/(-8))/((-5)/h). Is b at least as big as 4/17?
True
Suppose 0 = 4*x + 2*g - 20, -g = -2*x + 4*g - 2. Suppose 0 = -d + 52 - 44. Suppose -2*y + 50 = d*y. Is y equal to x?
False
Let s(p) = -9*p**3 + p**2 - p - 7. Suppose -5*z - 4*i - 4 = 10, -3*i + 3 = -3*z. Let h be s(z). Which is greater: 0.1 or h?
h
Let a = 8/219011 - 3810353434/1533077. Is -2486 less than or equal to a?
True
Let k = -1110842/3015 - -3316/9. Let w be (3 + 7)*1 + -10. Is w less than or equal to k?
True
Let i be 0/8 - (-260)/264. Let u = 2/11 + i. Which is smaller: 0 or u?
0
Let f = -3795.5 - -2439.5. Which is bigger: f or 0.5?
0.5
Let s = -263 - -1012. Let f = s + -695. Does 48 = f?
False
Let c = -33114 + 33114. Which is smaller: 2/2565 or c?
c
Let r = -7677 + 7671. Does r = 4?
False
Let k = 286.1 - 278.1. Is -1/66 less than or equal to k?
True
Let i = 4817 - 4817.24. Is 13/5 < i?
False
Let i be (-1)/3*18/15. Let j = -1.404 - -800.404. Let l = -874 + j. Which is bigger: l or i?
i
Let r be (5 - 3)/((-4)/(18 + 10)). Let x = 0 - -3. Let s be (-21)/r + x/(-2). Is s < -2/71?
False
Suppose 0 = -2*t - 0*q - 3*q + 51, -2*q + 23 = t. Let o(n) = -11*n - 46 + 3*n**2 + t + n**3 + 7*n**2. Let g be o(-11). Which is bigger: g or -9?
-9
Suppose 4 = -2*x - 6, -97 = f + 3*x. Let j(a) = 66*a**2 + 72*a + 7122*a**3 - 7123*a**3 - 534 + 118. Let c be j(67). Does f = c?
False
Let f = 670.63 + -667. Let k = f + -5.33. Is -17 <= k?
True
Let f be 129 - ((-4)/2)/(-2). Let x(u) = -2*u**3 + 105*u**2 - 508*u - 297. Let p be x(47). Which is smaller: f or p?
p
Let j(f) = -62*f**2 - 12*f - 12. Let m be j(5). Let g = -14584/9 - m. Which is smaller: 18/11 or g?
g
Let g = -572775537/41 - -13970868. Suppose 0 = -10*d + 2*d + 5864. Let b = d - g. Does -1 = b?
False
Let c be (2/6)/((-414)/81 + 5/1). Is c greater than -0.21?
False
Let n(p) = 130*p**2 + 775*p - 30. Let k be n(-6). Is -100/267 > k?
False
Let n be (-646)/(-17)*1/2. Suppose -n*t + 36 + 2 = 0. Is t >= -1?
True
Let m(s) = 2*s**3 - 3*s**2 - 4*s - 1. Let c be m(3). Let j = -183 + 186. Suppose 0 = a - j*q - 5, -25 = -4*a - q + 34. Do c and a have the same value?
True
Let v = -746.8719 - 0.3281. Let h = 747 + v. Which is greater: -1.9 or h?
h
Let h be (-12)/(-5)*152/(-912) + (-196)/(-470). Which is bigger: h or 0?
h
Let z be (-18)/(-8)*(-1 + 5). Suppose -3*q = -4*t - 609, -2*q - 3*t + 597 = 174. Let f = 217 - q. Is f less than z?
False
Suppose 46*x = -42*x - 616. Which is smaller: x or -236/31?
-236/31
Let q = -63 - -66. Let l = -637 - -657. Which is smaller: l or q?
q
Let q = -1 - -1. Let m = -101876 - -102029. Is m equal to q?
False
Let n(s) = -111*s - 112. Let y be n(-1). Which is smaller: 3/217 or y?
y
Suppose 0 = 13*f - 7*f - 6. Suppose -37 + 12 = -5*x, 4*x + 204 = -4*l. Is l greater than or equal to f?
False
Suppose 72*r - 9 = -153. Let h = -32.1 + 32. Which is smaller: h or r?
r
Let m(n) = -n**3 + 5*n**2 - 2*n - 11. Let v be m(4). Suppose -4*i + 176 = 32. Suppose -8*y = -2*y + i. Which is greater: y or v?
v
Let q = 536 + -527.97. Let u = 8.07 - q. Is -5 bigger than u?
False
Let s = 265458/13 + -20436. Suppose 3*j - 4*i = -51, 34 = -2*j - 11*i + 7*i. Which is smaller: s or j?
j
Suppose -14*w - 2368 = -2354. Which is bigger: w or -2/743?
-2/743
Suppose -3*t = -3*l + 24456, 2*t + 35842 - 92915 = -7*l. Is l at most as big as 8153?
True
Suppose -5*l + 198*y - 279 = 201*y, -63 = l + 3*y. Is -118 greater than or equal to l?
False
Let m = -94.56 - -267.06. Which is greater: m or -3?
m
Let m = 2402.2 - 2401. Which is greater: m or -148?
m
Let l = 16 + -7. Let d be 902/l - (-1 - 33/(-27)). Let u = d + -117. Which is smaller: u or 0.3?
u
Let y(j) = -50*j + 136. Let c be y(9). Let w = c + 371. Which is greater: w or 0?
w
Let d(b) = 14*b - 5. Let h be d(3). Let x(o) = -4*o**2 + 3*o + 9. Let g(r) = 1. Let w(q) = 2*g(q) - x(q). Let z be w(-3). Are z and h equal?
False
Let h be 1*(-2 - (-14)/2). Let b be (-12)/((770/189)/h). Which is smaller: -0.1 or b?
b
Let s = -28622.06 + 28622. Which is smaller: s or -1.178?
-1.178
Suppose -3*s - 1 - 2 = 0, 2*m = 3*s - 27. Let n be 4/15 + 6/m. Let l = 52 - 51.9. Which is greater: l or n?
l
Let a be 46 + (-6)/(28/(-7) - -1). Suppose -5*v = -3*l - 2, 0*l - 5 = -v - 4*l. Which is greater: v or a?
a
Let u be (-6*(-40)/64)/(2/(-8)). Let z be (-12)/u - 217/(-35). Let s be -5*(-1 + z/5). Which is greater: 0 or s?
0
Suppose -2*o - 10*b = -7*b - 3, o + 4*b - 4 = 0. Suppose 4*a - 13 - 63 = o. Do 29 and a have different values?
True
Suppose 0 = 5*r - 2*j - 68 - 470, 5*r + j - 541 = 0. Let u = -106 + r. Suppose 2*h - g = 3*h + 3, -u*h - 5*g = 0. Is h less than -2?
True
Suppose 90*h = -3*h - 65472. Let x = -1154 - -449. Is x at most as big as h?
True
Let z = -258 + 261. Suppose -g - z*n + 5 = 0, -5*n - 6 + 11 = 5*g. Which is bigger: -41/17 or g?
g
Suppose 4*c + 279 - 228 = t, 2*c + 327 = 5*t. Which is sma