 Which is smaller: z or 0?
0
Let r be (-1140)/(-70) - 16 - (-18630)/14. Is 1331 != r?
False
Suppose 0 = 4*v - v + 228. Let m(p) = -797*p + 8690. Let g be m(11). Is v at least g?
True
Let m(x) = -4*x + 51. Let s be m(12). Let t(c) = c + 6. Let b be t(-6). Suppose 5*n = -2*o - b*o + 14, 0 = -5*n - 5*o + 20. Are n and s nonequal?
True
Suppose 0 = 48*m - 45*m + y - 21, -5*m = -y - 35. Let x(b) = -6*b**2 + 4*b**2 + 6 + 9*b**3 - 5. Let f be x(1). Is f <= m?
False
Let m = 98.4 - 98.4. Let x = 83 + -40. Which is smaller: m or x?
m
Let a be 2/(-5) + (1118/(-1290))/(2/3126). Is -2711/2 less than a?
True
Let k = -2.78 + 0.62. Let z = k + -3.84. Which is smaller: 0.02 or z?
z
Suppose -101*d - 1697 = -7151. Which is bigger: d or 85?
85
Let k be (136749/(-180) - (-10)/(-50))/1. Let y = 760 + k. Is y greater than 6/7?
False
Let s be (6 - 6)*(-18)/36. Are -1/1307 and s nonequal?
True
Let f = 0.66404 - 0.46404. Let a = 14 + -30. Are f and a non-equal?
True
Let v(b) = b - 4. Let c be v(4). Suppose m + 11 = 5*i - 0*i, -m + 4 = 0. Let j be -3 + 2 + -3 + i - c. Is j > -1?
False
Let j be (-5)/3 + -52 + 966802/19140. Which is bigger: j or -2?
-2
Let p = -13653 - -13654. Which is bigger: 2/18189 or p?
p
Suppose -775 = 4*t + 6*f - f, -620 = 3*t - 4*f. Are t and -1792/9 nonequal?
True
Let n(a) = 96*a + 8. Let j be n(-1). Let m = j + 143. Let p = 73 - m. Is 17 != p?
True
Let m(f) = 24*f - 958. Let i be m(40). Let w = 1105/592 - -35/37. Which is greater: i or w?
w
Suppose 4*o - 10 = -4*d - 2, d - 1 = 0. Suppose 3*a = -2*a - 2*y - o, -3 = 5*a + y. Let h(i) = -2*i + 51. Let v be h(42). Which is greater: v or a?
a
Suppose -4*s - 5 = 3. Let f = -5081 + 5081.5. Is f bigger than s?
True
Let i be -1*(1 + -1)*(15/2 + -7). Is i > 19/404?
False
Let g = -37 + 39. Suppose 0 = 2*n + 2 + 6, g*v + 2*n = 0. Let z be ((-10)/v + 0)/(9/(-108)). Are z and 30 nonequal?
False
Let b = -353 + 32. Let o = b - -961/3. Which is smaller: o or -4/15?
o
Suppose 14*j = 9*j - 60. Let x be ((-1)/j)/(748/(-396)). Which is smaller: x or 1/3?
x
Let x = -14815 - -1644481/111. Is x != 1?
True
Let l = 43/1027 + 168833/112970. Let p = l + -2/55. Suppose -4*s = 5*i - 2, -4*s + 6*s + 14 = 5*i. Is p not equal to i?
True
Let g(k) be the first derivative of k**3/3 - 9*k - 33. Let p be g(-5). Suppose 6*r = 10*r - p, -4*y - 2*r = -36. Is 7 bigger than y?
False
Let j = -10228/294721 - -17/593. Which is bigger: 0 or j?
0
Let i = 597.4 + -214.4. Is -2 greater than i?
False
Suppose -2*c - 8*c = 8*c. Let v be c - ((-1)/(32/(-108)) - 3). Which is bigger: 0.11 or v?
0.11
Let j = -2075/28 - 247/14. Which is bigger: -92 or j?
j
Let m = -7572 - -6597. Which is greater: m or -970?
-970
Let q be (72/45)/(1/10*-2). Let p be (-12)/(-27)*(-4)/(q/(-3)). Let o = -1.04 - 0.16. Is o bigger than p?
False
Let i = 0.00257 + 0.96203. Let k = 0.0354 + i. Let r = 0.23 - 24.23. Which is bigger: k or r?
k
Let x = 570 - 561. Let f be x/(324/24) + 562/3. Do f and 189 have different values?
True
Let u = -7092 + 8186. Which is bigger: 5466/5 or u?
u
Suppose -2*a + 27*s - 24*s = 910, -5*a - 2262 = -s. Let p = a - -436. Suppose -6*b + b = 2*w + 1, 0 = -3*w + 3*b - 54. Which is bigger: p or w?
w
Let n(v) be the third derivative of v**4/24 + 12*v**3 + 47*v**2. Let t be n(5). Do t and 77 have different values?
False
Let t be 60/(-80)*2/(-156). Let f = t + -25/104. Is 1 < f?
False
Let x be (-17)/(3944/80) - 1. Let d = -477/551 + x. Do d and -2 have the same value?
False
Suppose 3*y = 4*x - 439, 216 = 2*x + 3*y - y. Let t = x - 161. Which is smaller: -53 or t?
-53
Let g = 0.09 - -0.049. Let w = -1.639 + g. Which is bigger: 0.2 or w?
0.2
Let p = -42/13 - -352/117. Let z be 1 + 3/(-5) - 370/(-75). Let j = z - 106/21. Which is smaller: j or p?
p
Let s(r) = r**2 + 11*r + 17. Let g be s(-8). Let u(n) = -17*n - 9. Let z(p) = 2*p + 2. Let a(j) = -2*u(j) - 18*z(j). Let x be a(g). Is x at most -48/11?
False
Let u = 32 + -29. Let i be 3*((-290)/(-45)*u + 4). Which is bigger: i or 1?
i
Let o be -29*(-2)/(-10) - 0. Let k = 67820 + -67825. Which is greater: k or o?
k
Let x = 2909.2 + -387.2. Do -4/9 and x have different values?
True
Let f(l) be the first derivative of -5*l**3/3 + 8*l**2 + 3*l - 70. Let h be f(3). Let m = 29/228 + -4/19. Which is greater: h or m?
h
Let w(u) = -u**3 - 2*u**2 + 3*u + 4. Let a be w(-4). Let i = 197 + -209. Let k be (-1014)/(-36) + -3 + 2/i. Which is greater: a or k?
k
Let m = -62/41 - 876/451. Let y = -356/33 - m. Suppose 8 = 2*p - 3*p. Is p bigger than y?
False
Let n = -13.541 + -78.459. Which is smaller: n or 61?
n
Let o = -5071/10154 + -3/5077. Which is smaller: o or -24/233?
o
Suppose -6*s + 0*s = -498. Let z be (-2)/((18/3)/(-3))*83. Let q = s - z. Is 1 >= q?
True
Let t = 5374/7 - 768. Let p = 6.9 + -7. Let g = -0.4 + p. Which is bigger: g or t?
t
Let s = 0 + -1. Let x = 9729608/473 + -20570. Is s > x?
False
Suppose -6*i + 10 = -16*i. Is i not equal to 1/2348?
True
Let a be -3 + 3 + 22 - 0. Suppose 2*u + 6 = 0, c + 4 - a = 5*u. Suppose -w - 3*w = -c*v, 3*v + 5*w = 0. Which is bigger: 3 or v?
3
Let s = 201 - 194. Let q(m) = -m**3 + 5*m**2 + 7*m - 22. Let g be q(s). Is g at least -70?
False
Let v = 243 + -715/3. Suppose 0*h + 40 = 5*h. Suppose -h + 73 = 13*y. Do y and v have the same value?
False
Let t = -3/766 + -17983/4596. Let b(q) = 4*q**3 + 30*q**2 + 29*q - 1. Let s be b(-1). Is s not equal to t?
True
Suppose -487 = 136*z + 1009. Which is bigger: 8 or z?
8
Let i be (20/(-70) + 108/(-112))*(3 + 1). Let s(u) = u**3 + u**2 - 3*u + 4. Suppose -4*q - 8 = 4. Let k be s(q). Is k smaller than i?
False
Suppose -2*g - 42 = 19*g. Let l be -71 + 74 - 0*1/g. Which is bigger: 20/3 or l?
20/3
Let a = 441 + -438. Suppose a*j + 175 = -2*j. Which is smaller: -37 or j?
-37
Let u = -226/23 + 1195/138. Which is smaller: u or 3?
u
Let d = -92 - -82. Are d and 2 unequal?
True
Let w = -3254 - -3254.2. Is w != -8/33?
True
Suppose 3*y - 2*t = 1668, -4*y + 10*t - 5*t + 2231 = 0. Let j be 2/24 + y/(-24). Which is smaller: j or -26?
-26
Let c = -1919 + 1915.4. Let v = 252.4 - 276. Let w = v - c. Does -1/2 = w?
False
Suppose 0 = -75*h - 198 - 1677. Is -157/6 greater than or equal to h?
False
Let r = -4/76369 - -242969/3180768850. Is r >= 0?
True
Let g(u) = -u**2 - 13*u + 17. Let v be g(-13). Let a = -13 + v. Suppose 3*c = -10 + a. Which is smaller: -0.07 or c?
c
Let j = -6607 - -6615. Is j != -14?
True
Let u = -2142 + 1884. Is u at least as big as -262?
True
Suppose 3*y = -3*d - 3, 2*d + 1705*y - 4 = 1706*y. Which is smaller: d or -2/5735?
-2/5735
Let f = 0.20514 - -0.02486. Which is smaller: f or -9/19?
-9/19
Let c = 914.71 + -915. Let l = -0.69 - c. Which is smaller: l or 13/10?
l
Let u = -5.1 + -15.9. Let h = 15 + u. Let j = 7.31 - 7.51. Which is bigger: h or j?
j
Let w be 2 + 10/(-6) + (-117)/(-216)*-8. Which is bigger: -158/37 or w?
w
Let w(o) = o**3 - 7*o**2 + 9*o - 11. Let a be w(6). Suppose 7 = -6*x + a. Which is greater: -6/17 or x?
x
Let j = -3 - -4. Let k be 4/7*j/(-6). Let w = -74 - -75. Is k less than w?
True
Let a(o) = 62*o**3 - o**2 + 3*o - 1. Suppose 4 = 9*j - 5*j. Let c be a(j). Let y be c/60*(-20)/(-24). Is 1 smaller than y?
False
Let z be 2496/(-24) + (6 - 1). Let d = 119 + z. Let t be 3/d - (-11)/44. Which is smaller: t or 0.77?
t
Suppose -185 = 5*m + 4*r, 0 = 3*m - r + 6*r + 124. Let s = 1294 - 1323. Which is greater: m or s?
s
Suppose -30*d = -2*v - 33*d + 15, 2*v + 2*d = 10. Which is smaller: 27/257 or v?
v
Let m = -220.18 - -222. Let a = m + -76.82. Let s = a + 75.2. Which is smaller: 2.3 or s?
s
Let k(a) = 8*a**3 - a**2 - 2*a + 4. Let y be 3 - 1/(2/2). Let t be k(y). Suppose 13*z = 7*z + t. Is 11 at least z?
True
Suppose 0 = -11*c + 3137 + 482. Suppose 3*f - 800 - 187 = 0. Is c greater than f?
False
Let c = 146 + -229. Let b = -24 + -59. Are b and c equal?
True
Suppose 0 = 5*m - 3*m + 2*s - 8, 5*m - 5*s = -40. Which is smaller: m or -145?
-145
Let x be 9 + -4 - (-2 - -5). Suppose -3*t + x*n + 2*n = 32, -5*t = -5*n + 55. Do t and -14 have the same value?
False
Let u = -1799 + 1799. Let r = -7435/42 + 177. Is u smaller than r?
False
Suppose 2*j + 2*j + 44 = 0. Let k be (-4 - j) + -2*(-2 - -1). Suppose 8*m + 3 = k*m. Is 1 smaller than m?
True
Suppose -3*p - 4*q = -q - 3, p - 5*q + 11 = 0. Is -1/58 less than or equal to p?
False
Let 