False
Let m be -2 + 24/10 + (-4)/10. Let g be m + 6/(-2) - 13628/36. Let t = g + 382. Do 0 and t have the same value?
False
Suppose 0 = -18*v + 13*v + 20. Let f be ((-10)/v)/(12/(-24)). Suppose f*n - 2 + 3 = -4*y, y - 2 = n. Which is bigger: n or 2/37?
2/37
Let n be (436/(-24))/(3/9)*-11. Which is smaller: 600 or n?
n
Let g(a) = a**3 - 19*a**2 + 14*a + 13. Let t be g(19). Let m = t + -187. Suppose 3*j + 5*p = 6*j + 46, -4*j - m = p. Which is bigger: j or -20?
-20
Let b(x) = x**3 - 2*x**2 + 22*x + 215. Let a be b(-8). Which is smaller: -599 or a?
a
Suppose 8*d - 11*d = 2*y + 8, 3*y - 2*d = -25. Which is bigger: -84/11 or y?
y
Let w = 2127 - 2126. Which is greater: 7126 or w?
7126
Suppose 3*y - y = 4*y. Suppose 4*b - 2*x + 5*x - 2129 = y, -4*x - 20 = 0. Is b less than or equal to 535?
False
Let u be (351/(-7020))/(14/(-24) - -1). Let i(w) = -2*w**2 + 1. Let n be i(1). Let c be 0*((-3)/2 - n). Which is smaller: c or u?
u
Let g(d) = -d**3 - 25*d**2 - 51*d + 56. Let h be g(-23). Let a be 1 + -4 + h/99. Let r(n) = -n + 12. Let l be r(12). Which is smaller: l or a?
a
Let v = -80 + 80. Suppose -h + 83 = -v*h. Let a = h + -125. Which is smaller: a or -41?
a
Let h(c) = -c**3 - 16*c**2 + 7. Let v be h(-16). Suppose 2 = v*q - 12. Suppose 2*i - 4*j - 2 = 0, j = -q*i - 9 - 14. Is i greater than or equal to -9?
True
Let z be ((-25)/20)/5 + 141/4. Suppose -5 = -4*w - 5*c, 3*w - 5*c = w - z. Let h be 10 - (1 + 15/w). Is h >= 9?
True
Let o(l) = -7*l**2 - 152*l + 456. Let r be o(3). Is -49 greater than r?
True
Let q = 252.9656 - -0.0344. Let b = 252.8 - q. Is b bigger than -0.69?
True
Let b be (((-12)/14)/1)/(42/294). Let r be 1*b + 4 + 2700/(-2). Let s be r/402 + 2 - (-32)/24. Do s and 2/7 have different values?
True
Let o = 325 - 324. Suppose -o = 3*w + 4*s, 0 = 13*s - 8*s + 5. Let x be (-24)/(-14) - (-1)/(-1). Are w and x non-equal?
True
Let o = -10695 - -10541. Is -1382/9 greater than o?
True
Let k(x) = x**3 - 4*x**2 + 4*x - 2. Let l be k(3). Let j be ((-5448)/880)/((-15)/(-1948)). Let y = -804 - j. Which is greater: l or y?
l
Let b = -180 + 179. Let j be 64/56 + b - 103/770. Is 0 < j?
True
Let d(s) = s + 19. Let x(p) = -9 - 1 + 5 + 0. Let c(n) = 4*d(n) + 18*x(n). Let r be c(-3). Is -24 >= r?
True
Let q be 7759/(-11) - 468/(-1287). Which is smaller: -703 or q?
q
Let m(l) = -l**2 + 7*l + 31. Let u be m(10). Let p = 4419/52 - 29/13. Which is smaller: p or u?
u
Suppose 9*b = 22*b + 17*b + 30. Which is smaller: b or 78/83?
b
Let j = 1.4 - 7.4. Let n = 1432 - 1421. Let d = j + n. Which is smaller: d or -3?
-3
Let a(m) = -3*m**3 + 5*m**2 - 3*m. Let v be a(3). Let r(k) = -11*k + 12. Let f be r(5). Is f less than or equal to v?
False
Suppose -2655*i + 166 = -2656*i. Which is smaller: i or -165?
i
Let y = 2/613871 - -1460398973/41743228. Let p = y - 4/17. Which is greater: p or 35?
35
Let s = -1179 - -636. Let c = 526 + s. Are c and 0.4 unequal?
True
Let x(j) = -j**2 - 7*j - 5. Let m be x(-4). Let d = 6 - m. Let c = 467/31 + -15. Is d >= c?
False
Let z be (114/(-12) + 9)/(2/(-8)). Suppose 4*v - d = 6*v + z, -9 = -v + 2*d. Is 4/115 bigger than v?
False
Let x be 84/21 + ((-99)/21 - -1). Are x and 9.07 equal?
False
Let m = 7/1017 + -353/2034. Is 281 at least as big as m?
True
Let f be 9/(9/40)*(-12)/195. Let j be ((-1)/(-1))/(0 - 1). Is f greater than j?
False
Let l be 3/16*(11 + (9 - 74)). Suppose 0 = -3*u - 2*b - 46 + 7, -u + 3*b - 2 = 0. Is l at least u?
True
Let x be (-19 - 1106/(-56)) + (-5843)/7812. Are 1 and x unequal?
True
Suppose -16 + 4 = -3*f. Suppose 0 = p + 3*p - 28. Suppose -f*t + 9 = -p*t. Is -7/3 >= t?
True
Suppose -4*c = -20*c + 400. Let a = -26 + c. Are a and -2/565 equal?
False
Let w(j) = -j**2 - 23*j - 21. Let y be w(-21). Let h be (14/y)/(704/(-228) + 2). Is h less than or equal to -2?
False
Let n(q) = 97*q**3 + 3*q**2 - 4*q + 2. Let f be n(1). Let p = 7946 - 7943. Which is greater: p or f?
f
Suppose -t = j - 6, -3*t = -j - 4 - 22. Suppose 0 = t*r + 2*r - 2*r. Suppose r = -4*n + 4*a - 12, -2*a + 2 = -0. Is n less than or equal to 6?
True
Let c be (56/(-2016)*16/614)/(-2). Is 1 at least as big as c?
True
Let k be (6/(-18))/(3/(-261)). Let j = 30 - k. Let z be j/(-4) + 184/(-160). Is -1 > z?
True
Suppose -113 - 427 = -4*h. Let i = -64 - h. Which is smaller: -198 or i?
i
Let x(l) = -120*l + 2757. Let j be x(13). Which is smaller: j or 1199?
j
Let g be 12722/3570 + 3 - (2 + 2). Let b = 282032/255 - 1106. Let h = b + g. Which is smaller: h or 2?
2
Suppose -4*i + 70 = -3*o, -20 = 3*o - 2*i + 54. Let g = 78804 - 78803.8. Which is bigger: o or g?
g
Let k be (-1)/(-10) - 5/(350/(-1323)). Suppose z - 8 = -2*m + 5*m, -2*z = -5*m - k. Which is smaller: 11 or z?
11
Suppose -11*t + 11 = -5*m - 15*t, -2*m - 5*t - 1 = 0. Let y be (m + (-880)/(-292))/(10/4). Is y at least 1?
False
Let z be (((-28)/2891)/(-1))/((-2)/15). Which is bigger: -1 or z?
z
Suppose 29125 = 24*q - 10499. Which is greater: 1653 or q?
1653
Let d = -9997 - -4538641/454. Are -1 and d unequal?
True
Let t = -3.73 + 7.11. Let z = t - 0.08. Let v = -3.55 + z. Does v = -1?
False
Let x(c) = -c + 29. Let u(j) = j. Let k(y) = 6*u(y) + x(y). Let i be k(-6). Let t be 1 + (-40)/15 - i. Are t and -6/7 equal?
False
Let k = -526/5 + 1789/20. Which is smaller: 4/9 or k?
k
Let u = -3 + 3. Suppose 2*i = -2*m + 124, -4*i + 65 = m + 3. Let c = -619/10 + m. Which is greater: c or u?
c
Let w(r) = -r**3 + 25*r**2 - 78*r + 5. Let l be w(4). Let v = -43412/5 - -8710. Is v less than l?
True
Let k be 2 + (3*10/6 - 3). Suppose -k*y + 2*w - 394 = 0, -2*w = 2*y - 0*w + 188. Which is smaller: -98 or y?
-98
Let y be 20/(-3240)*87*(-93)/66. Let s be (-1)/(-297 + 0)*2. Let n = s - y. Is -2 greater than n?
False
Let z = 3 - 2. Suppose -2*f + 516 = -4*x, -4*x - 4*f = -0 + 540. Which is smaller: x or z?
x
Let l be 16 + (-1 - 5915/392). Which is bigger: 1 or l?
1
Let m(w) = w**3 + 5*w**2 + w + 2. Let t be m(-5). Let q(x) = -x**3 - 2*x**2 + 4*x - 1. Let l be q(t). Suppose -5*d = 65*d + 151 - 11. Which is bigger: l or d?
d
Let k = 45 + -40. Let j(w) = -w**3 + 5*w**2 - w - 10. Let b be j(k). Let z(d) = -d**2 - 13*d + 29. Let f be z(b). Which is smaller: -2/115 or f?
f
Let s(i) = -i**3 + 12*i**2 - 12*i + 20. Let b be s(12). Let p = 126 + b. Let t(v) = v**3 + 5*v**2 - v - 7. Let q be t(-5). Which is smaller: p or q?
q
Let s = -383/99 - -1126205/291159. Which is smaller: -1 or s?
-1
Let i be 15297*(8/(-14) - 25/(2625/10)). Which is bigger: i or -10199?
i
Let f be (-13)/((-1638)/(-17)) - ((-44)/(-14) + -3). Are 11 and f equal?
False
Let v = 3007/20709 - 844/1593. Let k(t) be the first derivative of -t**2/2 + t - 1. Let d be k(2). Is d smaller than v?
True
Suppose 375 = 64*t - 39*t. Suppose -2*m + 2*k - 42 = 0, 4*k - k = m + t. Is m at most as big as -8?
True
Let y = 13.386 + -12.386. Which is bigger: y or -244.5?
y
Suppose -2*g + 3*z - z = -154, -5*g + 3*z + 381 = 0. Let x = g - 43. Suppose 7*w = 3*w - x. Is -6 less than or equal to w?
False
Let c = -1512 - -13516. Is c > 12003?
True
Let c = -0.911 + -0.089. Suppose -5*m - 2 = 2*d - 5, -3*m - 2*d + 1 = 0. Let u(o) = 4*o**3 + o**2 + 2*o - 3. Let p be u(m). Are c and p unequal?
True
Suppose -h + 61 = -14. Suppose -h = -10*z + 55. Suppose -15*p + z*p = 0. Which is bigger: p or -0.2?
p
Let i(q) be the second derivative of q**4/3 - 15*q**3/2 + 45*q**2/2 + 8*q - 7. Let v be i(11). Let f = 2 + 32. Is f < v?
False
Let z(w) = -2*w**2 + 28*w + 6. Let n be z(13). Suppose -14*p = -n*p - 108. Let a = 1/1144 + -32037/5720. Do p and a have the same value?
False
Let a(k) = 2*k**3 - 7*k**2 - 12. Let n be a(5). Suppose o + 60 = n. Suppose 3*s - 27 = -0*s + 5*j, -o*s + 21 = -3*j. Is 3 < s?
True
Let a = -11223/14 + 802. Let u = 5464 - 5463.9. Which is smaller: a or u?
u
Let q be 2/(6/(-3) + 1060/80). Let y = 1 + 0. Which is bigger: y or q?
y
Suppose -694*p + 192*p = -502. Is p equal to 24/247?
False
Suppose 5*u = z - 5 - 7, -4*z + 12 = -2*u. Let i be (-7 + u)*(-258)/(-5134). Let b = i - -15/151. Which is smaller: 1 or b?
b
Let r be (4 + (-90624)/22660)/(2 + 128/(-60)). Which is bigger: r or 0?
0
Suppose 0 = -30*m - 27*m + 451 + 4793. Let r = -50 - -142. Is r > m?
False
Let k(p) = p**3 - 2*p**2 + 2*p - 3. Let z be k(2). Let h be (-5)/2*1*(-3 - (-141659)/47285). Which is smaller: z or h?
h
Suppose 45 = 3*w 