= 339058/362439 - 72/77. Which is smaller: i or -1?
-1
Let x = 1928/11 - 174. Let j(y) = -6*y**3 - 6*y**2 + 2*y + 2. Let a be j(-1). Which is smaller: x or a?
a
Let v = 0.05 - 0.05. Let a = -11681.99 + 11733. Let k = 51 - a. Is v bigger than k?
True
Let i be (21 - 10)/((-1)/2). Let k be ((-9)/(-6))/(-1*3/i). Let a = k - 12. Is -1/19 equal to a?
False
Let p = -20917 + 26198. Which is smaller: 5284 or p?
p
Let f be (75/(-152))/((-16)/32). Are 1 and f equal?
False
Let t = -216 - -274. Let y = t + -58.29. Which is smaller: -0.4 or y?
-0.4
Let m = 10.92 + -12.22. Let v = 0 - -1. Let a = v + -1.3. Are a and m equal?
False
Let c be ((-14)/(-70))/(18/116355). Let g = -1288 + c. Is 1 at most as big as g?
True
Let k = 32 - 33. Let i = -1286 + 1285.12. Is i at most as big as k?
False
Let u(l) = 6*l**2 - 238*l + 3. Let b be u(36). Let g = b - -814. Which is bigger: 22 or g?
g
Let d be 8/52 + ((-10448)/13)/(-2). Let h = d - 345. Which is smaller: 55 or h?
55
Let m = -18 + 18. Let s be (-6)/2 + 0 - 84945/(-113220)*4. Is s <= m?
False
Suppose 6*x + 174 = 534. Let k = 183 - x. Which is smaller: 122 or k?
122
Let b = -10165 + 6373. Which is smaller: b or -3791?
b
Let d = -43/450 - 19/150. Let q = 11 + 48. Is q > d?
True
Let h = 9413 - 9351. Let u = 25 - 84. Let r = u + h. Is -1.2 at most r?
True
Let z = -30.22 - -63.21. Let s = z - -0.01. Let x = -28 + s. Which is greater: -2/7 or x?
x
Let f = 2910.7 + -3048. Let g = f + 135. Let s be 4/2 - 16/7. Which is smaller: s or g?
g
Suppose 5*w = -5*s + 58 - 218, -w + s = 28. Let v(o) = -o**3 + 7*o**2 - 4*o - 3. Let q be v(9). Let m be 8*((-8)/20 - q/(-60)). Is m > w?
False
Let p be 2/(-6)*((-1578)/1841)/((-20)/(-14)). Suppose -4*t + k - 14 = 81, -t = k + 30. Does p = t?
False
Let b = 9 + -43. Let g = 0.391 + 0.215. Let f = g + 0.394. Which is smaller: f or b?
b
Suppose -4*p - 21*n + 16*n = -22, -2*p - 2 = -4*n. Let m(c) = -c - 4. Let q be m(6). Let x be 2/5 + 74/q. Is p smaller than x?
False
Let t = 7 + 1. Let v be 36 - t/(56/(-21)). Is v at most as big as 36?
False
Let r = -5935.2121 + 6266.107. Let u = r + 0.1051. Is 0.2 equal to u?
False
Suppose 0 = 5*b - 10, -17 + 35 = 2*z + 5*b. Suppose -98 = z*n + 786. Which is bigger: -219 or n?
-219
Let p = 87/5 - 91/5. Suppose -6 = 3*v + 4*g + 7, v - 9 = 2*g. Let k be (-189)/(-56) - 3/v. Which is bigger: k or p?
k
Suppose -d = -6 - 3. Let x be 1988/d + (-23)/(-207). Suppose -59 = -5*y + x. Is y less than 56?
False
Let w(z) = z**2 + z - 5. Let i(c) = -c**2 + 7*c - 6. Let j be i(5). Suppose -9*o = -j*o. Let n be w(o). Which is smaller: n or 0?
n
Suppose -6*c - x + 7 = -9*c, 0 = -c + 5*x - 21. Which is bigger: c or 13/591?
13/591
Let c = 181 + -161. Let h = c - -15. Does h = 37?
False
Let b be (-4)/6*(87 - 63). Suppose 0*a - 28 = -2*a. Let d = a + b. Which is greater: -7 or d?
d
Let j = -226 + 228.464. Let n = 0.236 + j. Which is smaller: 2/13 or n?
2/13
Let l = -161.9 - -23.9. Let g = l - -156. Which is greater: 3/5 or g?
g
Let d = 0.0052 + -0.0232. Let a = 0.566 - 0.284. Let j = d - a. Which is smaller: -0.04 or j?
j
Let j be (-9)/85*(150/45 + -2 + -2). Which is smaller: j or -25?
-25
Suppose 3*o - 2*t = 793, o - 285 = -2*t - 34. Let b = o - 183. Which is bigger: 80 or b?
80
Let v(d) = 9*d + 36. Let u be v(-18). Let s = 136 + u. Which is smaller: s or 9?
9
Suppose -8*v = -14*v + 18. Suppose w + 4*s = 2, 0 = 3*s - 6 + v. Let x be w/(-4) - (66/(-12))/(-11). Is -3/35 at most as big as x?
True
Let z = -35150.01 - -35383. Let n = z + -233. Which is greater: n or -2/3?
n
Let v = -0.2088 + -2.7912. Which is bigger: v or 653?
653
Let s be (-4)/(3 - (1 + (-8)/(-3))). Let i be 2 + s*527/10. Let m = 314 - i. Which is smaller: m or -4?
m
Let h = 6/5485 - -21898/38395. Which is bigger: 380 or h?
380
Let g = 1623 + -1609. Suppose -h + 1 = n - 2, 5*h = 3*n - 17. Suppose n*q - 3*k = 225, -2*q - k + g + 91 = 0. Which is smaller: 55 or q?
q
Let w = 126 - 112. Let n be w/(-119) + (-13725)/(-51). Suppose 3*a = 2*g - 0*a + 137, 4*g - a = -n. Is -66 greater than g?
True
Let i(z) = 46*z + 850. Let h be i(-18). Is h greater than -8?
True
Let g = -3 + 3. Let a be 65/(-2)*(-18)/45. Let k be a/(-26)*(-2 + (-750)/(-369)). Which is greater: g or k?
g
Let g = -0.23 - 0.07. Let f = -113/5 + 169/5. Let q = f + -494/45. Which is smaller: g or q?
g
Let f(h) = 23*h - 10. Let g be f(2). Let x be (-4)/18 + (3 - (-2600)/g). Let l be x/(-11) + 8/(-44). Which is smaller: l or -5?
l
Let x = -8/53 + -44/1113. Let o = 120/49 - 127/49. Let m = x + o. Which is bigger: -24 or m?
m
Let o be 1474/(-4)*32/16. Is o > -1?
False
Let m be 9/2*-2*(-2 + 17/9). Which is smaller: -8/1391 or m?
-8/1391
Let c be (64/4)/(1 + 1). Suppose 2*r - 32 + c = 0. Let w be (-28)/r - 16/(-12). Is -5/9 greater than or equal to w?
True
Let n be (61/(-6) - -10)*-474. Is 51 not equal to n?
True
Suppose 3*c = 5*c + 5*b - 81, -5*c = -4*b - 153. Suppose 36*z = c*z - 24. Which is smaller: -46/5 or z?
-46/5
Let q be 18/(-15) - (-481904)/(-9440). Let z = q + -1/1180. Do z and -51 have the same value?
False
Let j = -8.084 - -2083.084. Does -1 = j?
False
Suppose 5*i - i = -5*u + 23, -4*u + 4 = -4*i. Suppose -3*l + p = -41, u*p - 6*p - 39 = -3*l. Let a(x) = x + 3. Let f be a(-2). Is l bigger than f?
True
Let v be (3/(-2))/(6/(-8)). Let z(h) = 28*h - 529. Let k be z(19). Suppose -v*j = k - 5. Are -2/43 and j unequal?
True
Let q = -11 + 53/5. Suppose b = 3*c + 61, 5*c + 326*b + 76 = 324*b. Is c > q?
False
Let y = -509/2 - -249. Let g(t) = t**3 - 3*t**2 + 10*t - 53. Let v be g(4). Suppose 20 = 2*h - 5*h + 5*p, 11 = -v*h - 4*p. Which is greater: h or y?
h
Let h = -1003 - -1011. Suppose 0 = -3*k + 4*k - 2. Suppose -2 = 4*a + k*m, -39 + h = 2*a - 5*m. Is a < -3?
False
Let s = 1 - -2. Let t(i) = i**3 + 14*i**2 - 28*i - 2. Let a be t(-16). Let q = a - -71. Which is greater: s or q?
q
Let j(h) = 5*h**3 - 9*h**2 + 29*h + 25. Let q be j(4). Which is greater: 319 or q?
319
Suppose -4*m + 29*m = 56400. Let g = -200786/89 + m. Which is bigger: g or 0?
0
Let r be 1/(((-3)/141)/((-4)/4)). Does r = -30/11?
False
Suppose 7*d - 4*m + 25 = 4*d, -m = -7. Is 2/18987 at least d?
False
Let f = -79.28 - -79.174. Which is bigger: f or 3.7?
3.7
Suppose -4*r - 5 = 3*d + 281, 0 = d - 2. Suppose -2*i + 15 = i. Let z be 12*(1 - (i + 2)). Which is greater: r or z?
z
Let w = 31 + -7. Let x = 0 + w. Suppose 0 = -x*v + 22*v + 6. Is v <= 3?
True
Suppose -5*g = -744*l + 741*l + 314, 2*g - 3*l + 131 = 0. Which is smaller: -13 or g?
g
Let f(d) = d**3 + 4*d**2 - 3*d - 6. Let s(u) = -u + 1. Let g(j) = -f(j) + 3*s(j). Let p be g(-5). Let a = -22 + p. Which is smaller: 14 or a?
a
Let t = 3774.8 - 3775. Let z = 209 + -202.85. Let l = z + -6. Are l and t equal?
False
Let f = -0.7 + 1.7. Let s = 1 - f. Let z be (-2)/(-12)*-3*(4 + -1). Which is bigger: z or s?
s
Let w = 885/506 + 2133297/1012. Is 2111 at most as big as w?
False
Let n(y) be the first derivative of -y**3/3 - 5*y**2 + 2*y - 17. Suppose 2*g + 6 = -14. Let w be n(g). Is w not equal to 4?
True
Let x be 10 + -2 + (-3 - -3)/(-4). Suppose -5*b = -2*n + 59 - x, 5*n - 162 = b. Are 0.2 and n non-equal?
True
Let m = 2365/7 + -30892/91. Is m greater than -1/3?
False
Suppose -2*l = -x, -l + 3 = 2*x - 4*x. Which is smaller: l or 1/18178?
l
Let r(h) = 2778*h**3 - 17*h**2 + 6*h + 2. Let j be r(1). Is j bigger than 2770?
False
Suppose -4*x + 9*p - 4*p + 77 = 0, -5*p = 2*x - 31. Suppose 8*v - 10*v = -600. Let g = v - 280. Is x greater than g?
False
Let i = -177 - -265. Let k be (-9)/(-8) + (-11)/i. Is -2/137 less than k?
True
Let l(n) = -187*n - 180*n + 351*n - 37 + n**2. Let y be l(18). Let v be -1*(2/(-23))/2. Which is bigger: v or y?
v
Let g(x) = 27 - x - 323*x**2 + 310*x**2 - x - x**3. Let t be g(-14). Which is smaller: 252 or t?
t
Let a = -88.4 + -15.6. Let p = a - -102. Is p less than 2/21?
True
Let j = 6/19459 - 13796473/136213. Is j greater than -102?
True
Let s(v) = -30*v**2 - 1890*v. Let j be s(-63). Is -13/2672 <= j?
True
Let c = 6672 + -6412. Is c < -1/5?
False
Let j = -92 - -1750/19. Suppose 3*p = 6*i - 5*i - 8, 3*p - 9*i = 72. Which is bigger: j or p?
j
Let n be (-3296)/515 + (-108)/(-45). Let r = -1715/2 - -15361/18. Is n less than r?
False
Let x be (3/(-11))/((-2742)/60*-10). Which is smaller: -1 or x?
-1
Let f(r) = -82*r + 245. Let n be