 Let v be x(-1). Suppose 3*o = -1 + 7, 0 = -4*s + 2*o - 1220. Let a = 307 + s. Which is bigger: v or a?
v
Suppose -2*t - 3*p - 27 = 2*t, 5*t + 2*p = -25. Is t at most as big as -47/23?
True
Let o be -1*(-1)/(20/(-4) + 6). Which is bigger: o or 2/493?
o
Let t be -333*2/(-21) - 4/(-14). Which is bigger: t or -2?
t
Suppose 0 = -55*s + 62*s. Which is smaller: 3/61 or s?
s
Let g = -1357 - -1358. Is g at least -12/587?
True
Let i = 34.78 - 5.88. Let f = i + -29. Which is bigger: f or 2/7?
2/7
Let k = -112.15 - -99. Let n = k - -0.15. Let l = n - -12. Is l bigger than -3?
True
Let g = 21 - 34. Let q = 55 - 54.61. Let y = 0.39 - q. Which is greater: g or y?
y
Let p = 2607 + -440581/169. Is -1 at most as big as p?
True
Suppose -67 = -d + 2*d. Let x = d + 134. Let j = x - 203/3. Which is smaller: j or 0?
j
Let x be (-3)/(-3 - 0) - -6. Suppose -f + 12 = -x. Suppose 5*w = 3*r + f, 0*w = -2*w + 2*r + 6. Which is smaller: w or 3?
3
Suppose -2*v + 19*o + 137 = 24*o, 2*v = -3*o + 131. Is v greater than -5?
True
Let m be (-241)/(-3) - (14 + (-440)/30). Is m < 81?
False
Let h(y) = y + 4*y - 1 - 1 - y + 2*y**2. Let l be h(-3). Suppose 5*a + s = -7, a - 3*s = -5*s + l. Is -3 < a?
True
Let l = -1.03 - -4.03. Is l < 24?
True
Let h be (-2)/(4/24*-2*6). Suppose 58 = m - 4*g - h, -5*m - g = -253. Is m >= 50?
True
Let o = 9638.982 + -9655. Let u = 0.018 + o. Is 2 > u?
True
Suppose -6*j - 41 = -7*j. Let g = 124/3 - j. Let k = 11.2 - 11. Which is smaller: g or k?
k
Suppose -3*h + 7 + 2 = 0. Let c = 36 + h. Let l be 4/6 - c/9. Is l >= -3?
False
Let l = -1430 + 1429. Which is smaller: -14/313 or l?
l
Let x be (18/27)/(2 - 31). Which is greater: x or 1?
1
Let f be 0/(((10 - 3) + -3)/2). Suppose c + c = f. Which is bigger: c or -1/8?
c
Let s = -11 - -341. Let b be ((-8)/190)/(6/s). Let n = b + 1402/589. Which is bigger: -1 or n?
n
Let f = 98 + -48. Suppose f = -4*h - 2*x, h - 2*x = -3*x - 12. Is h at most -11?
True
Let b be 3/(-4) - (-14)/8. Let j(m) = -m**2 + 7*m - 9. Let s be j(6). Let y be -3*b/(0 + s). Are -2/13 and y equal?
False
Let c = 232 + -269. Which is smaller: c or -334/9?
-334/9
Let n = 15 - 39. Let m be 2*(-1)/(-2) - n. Let c = -26 + m. Which is greater: 2/39 or c?
2/39
Let r be (-9)/(-4) + 3591/(-1404). Do r and -0.13 have different values?
True
Let o(c) = -20*c + 449. Let q be o(22). Is q >= 17?
False
Let z be (-1)/(((-3)/(-27))/1). Let r be (-2 + 6/4)*-2. Suppose 2*u + 5*g + r = 0, 4 = 4*g - 8. Is u bigger than z?
True
Let z be ((-1)/(-2 + 1))/(-2). Let h(l) = -l + 5. Let k be h(4). Let d = k + -1. Which is bigger: d or z?
d
Let a = 871/385 - 23/11. Which is smaller: 0 or a?
0
Let h be (-1)/((-11 + 0)/66*206). Suppose -2*o - 3*o = 0. Which is greater: o or h?
h
Let w = -47 - -44. Let q = 522/5 + -107. Is q bigger than w?
True
Let q be 3 + -13 + -3 + 5. Let b = q - -9. Suppose -y + b = -5. Which is smaller: y or 9/2?
9/2
Let d be (-2)/(-356)*(11 + -6 - 3). Which is bigger: -1 or d?
d
Let i = 12 + -26. Let y = i - -23. Let s be (17 - 2)*(-253)/(-345). Is y >= s?
False
Suppose 623 = 3*i + 5*m, -77*i + 82*i - m - 1001 = 0. Is i greater than or equal to 201?
True
Let t = 0.0589 - 0.0589. Is 1/22 less than or equal to t?
False
Let a = 1274.1 + -1274. Which is greater: 10/427 or a?
a
Let a be -2 + 14/3*-15. Let t be (a/(-126))/((-6)/(-56)). Which is bigger: 5 or t?
t
Let z be (-2156)/532 + (12/2 - 2). Are -0.2 and z equal?
False
Let h = 7/4985 + 1939123/29910. Does h = 64?
False
Suppose r + 1 = 5*d, -4*d + 1 = 5*r - 6*r. Suppose d = -3*p - 2*o - 24, 0 = p + p + 5*o + 27. Are p and -2 unequal?
True
Let x be -7 + (-6812)/(-897) + 1/(-3). Suppose 0*a = -2*a. Which is smaller: a or x?
a
Suppose 4*u - 3*p - 16 = 2*p, -5*p - 18 = -2*u. Let f = u + 0. Let m be 2/f + 40/25. Are 2/9 and m unequal?
True
Let p = 53 + -67. Let g = -928/7 + 133. Is p greater than g?
False
Let f = -39.5 - -17.4. Let j = f - -0.1. Is j != -1?
True
Let k = -3.57 - -8.36. Let v = 0.21 + k. Is v bigger than 3/5?
True
Let b(n) = -2*n**3 + 3*n**2 - 4*n + 5. Let d be b(2). Let t(q) = 4*q + 3. Let k be t(-3). Are d and k equal?
False
Let m = -156829 + 24466255/156. Let r = m - 7/52. Which is bigger: 7 or r?
7
Let o(w) = 7*w - 19. Let t be o(3). Suppose -4*r = -6*r - t. Is 3/19 >= r?
True
Suppose -50*x + 36504 = -5746. Which is smaller: x or 843?
843
Let s be 80/(-5) - (1 + -1). Let n(m) = m**2 + 16*m + 30. Let g be n(-9). Let w be ((-6)/(-4))/1*319/g. Which is bigger: s or w?
w
Let k(w) = -2*w + 10. Let o be k(-7). Let a be (-11)/(-2) + o/16. Is a bigger than 7?
False
Let v be (-1354)/26 - (0 - 3). Let t = 49 + v. Is t not equal to 2?
True
Let o = 34674 + -381702/11. Is o > -26?
False
Let g be -33*10/(-180)*-6. Do g and -148/13 have the same value?
False
Let d = 0.3 - 0.32. Let t = d - 0.04. Let f = 11/5 - 28/15. Which is bigger: f or t?
f
Let l be 2*-1 - (2 - (3 - -3)). Are l and 4 nonequal?
True
Suppose 11 + 10 = 3*h + 3*k, k = 5*h - 53. Let x = 11506/3 - 1622203/423. Let w = 2/423 - x. Which is smaller: w or h?
w
Let c = -284 + 229. Is -57 greater than c?
False
Let l = -183 - -192. Is -31 <= l?
True
Let s(f) = -f**3 + 12*f**2 - 12*f + 139. Let i be s(12). Do i and -110/17 have different values?
True
Let v be (-5)/2 - 1/2. Suppose x + 3 + 2 = 0. Is x > v?
False
Let d(w) be the second derivative of -7*w**3/6 + 3*w**2/2 - w. Let p be d(3). Let a = 19 + p. Which is bigger: -2/15 or a?
a
Suppose -2*j + 4 = -4*j. Let i = -26 - -29. Let s be (-13 - -5 - -1) + i + 0. Is j less than or equal to s?
False
Let l be (-7 + 9)/((3 + -2)/(-46)). Let t = 67 + l. Is t < -23?
True
Let w(f) = 6*f**3 + 2*f**2 - 6*f + 5. Let l(s) = -7*s**3 - 2*s**2 + 7*s - 6. Let u(n) = -5*l(n) - 6*w(n). Let y be u(-4). Do 28 and y have the same value?
True
Let m = 0.12 - 3.12. Let v = m + 3.16. Let w = v + -17.16. Which is smaller: 0 or w?
w
Let p be (-212)/(-26) + 14/(-91). Which is smaller: -2 or p?
-2
Let p be (-3)/(-30) + 84/(-280). Let f be 1 + 1 + 13/(-8). Is f smaller than p?
False
Suppose 0 = 4*h - 9 + 29. Let r be 5/(-7) + 10/(-35). Is r at most h?
False
Suppose 117 = -32*d - 715. Do d and -51/2 have different values?
True
Let t be 4*((-4)/((-16)/(-20)))/(-4). Let z be (-2 + 4)*(1 - -2). Is t at most z?
True
Let d(m) = -7*m**2 - 6*m + 8. Let n(x) = -x**2 - 1. Let b(f) = -d(f) + 5*n(f). Let z be b(-5). Is -0.5 > z?
False
Suppose -4*p + 546 = 6*d - 3*d, d = p - 133. Let n be (-25)/p*8/(-10). Is n < -1?
False
Let a(t) = -t + 6. Let n be a(-6). Let u(m) be the first derivative of m**3/3 - 6*m**2 - m + 55. Let k be u(n). Which is bigger: -3 or k?
k
Let p be 3/(-6)*-2 + 0. Let a be (-1)/6*10/20. Which is greater: p or a?
p
Suppose -59*w + 97 = -60*w. Does -98 = w?
False
Let o be 404/285*7/(-76). Let m = 1/361 - o. Let v = 235 - 236. Is v bigger than m?
False
Let j be -6*(15/(-9))/5. Let r(c) = -c. Let n be r(j). Let v(h) = -h**3 - 2*h**2 - h - 2. Let s be v(n). Which is smaller: s or 1?
s
Let b be 68/12 - (10 + -1). Let h = 2 + -5. Which is bigger: b or h?
h
Let j = 3 - -2. Suppose -2*y + j*n = 2*y - 4, 32 = 4*y + 2*n. Let o = y - 5. Which is greater: 2/23 or o?
o
Let s(h) = h**3 + 4*h**2 - 4*h + 5. Let q be s(-5). Let o(v) = -3*v + 3. Let p(c) = -c + 1. Let i(u) = 3*o(u) - 12*p(u). Let t be i(1). Is t less than q?
False
Let u be (-5)/(-1) - (2 - 2). Suppose -u*h = -5*g + 115, 5*h + g + 103 = 2*g. Which is greater: -19 or h?
-19
Let m be (-1)/(-1)*(2 - (-1 + 9)). Suppose 0*x + 3*x = 6. Let c = x + m. Which is smaller: c or -5?
-5
Let s = 0.1497 - 0.0307. Which is greater: 4 or s?
4
Let c(h) = 15*h**2 + h - 1. Let g be c(1). Suppose -4*n = i + 14, -2*i - 1 = 2*n + g. Is -1 at least as big as i?
True
Let y be ((-2)/6)/(-2*(-4)/(-72)). Let i be (-3)/(36/(-38)) - y. Let p = 3 - 3.2. Which is smaller: i or p?
p
Let p = 0.3 - 0.4. Let l = 2.1 + -1.98. Let v = l + -8.12. Is v not equal to p?
True
Let f = -517 + 517. Which is bigger: -4/73 or f?
f
Let a = -0.991 + 0.991. Let l be 6/(-8)*(-3)/45. Which is smaller: l or a?
a
Suppose -3*s + 2 = 5*u + 3, 0 = -5*s + 2*u + 50. Suppose 12*h - 11*h - 6 = 0. Are s and h equal?
False
Let d = 93726633/2393 + -39167. Is d greater than or equal to -1?
True
Let g = 3 + -4. Suppose v - 4 = -0*v. Let k be (5/(-175))/(v/(-10)). Which is bigger: g or k?
k
Let g be (-18)/27 + (-2 - 943/3). Which is greater