alse
Suppose -2*a + 5*r + 128 = 0, 63 = 1065*a - 1064*a - 2*r. Which is greater: a or 76?
76
Let w be 3*(16/12)/4. Let o(c) = 15*c**3 - 2*c**2 + 3*c - 1. Let g be o(w). Let l = g + -14. Which is greater: 2/37 or l?
l
Let m = -170231/147 + 1158. Do 1 and m have different values?
True
Let b(o) = o + 7. Let f be (-2)/(-16) - ((-477)/24 + -4). Let z be b(f). Is z at most 24?
False
Let g = 68 + -55. Suppose g*k - 4*k = -36. Are k and -9 nonequal?
True
Let x be (54 - (4 + 2)) + -6. Suppose -114 - 12 = -3*j. Suppose -x = -m - j. Is 2/67 not equal to m?
True
Suppose o + b = 5*b + 32, 3*o + b - 57 = 0. Let s = o - 12. Let w(i) = -323*i - 633. Let f be w(-2). Is f at least s?
True
Let t(b) = -8*b**2 - 13*b - 4. Let q be t(-1). Is 3/4 equal to q?
False
Let p = 91101/1232 + 261/176. Let w = p + -5203/70. Do 1 and w have the same value?
False
Let a be (-2)/7 + (-119347)/(-161). Suppose -5*o - a = -136. Is o smaller than -122?
False
Let i = -129 - -58. Suppose -28*a + 33*a = -365. Are a and i equal?
False
Let v(p) = -p**3 - 3*p**2 + 12*p + 9. Let r be -11 - 5/(-25)*-5. Let b = r - -7. Let h be v(b). Which is bigger: -1/21 or h?
-1/21
Suppose 3*o - 15 = 2*o. Let s be 6/o + (-2)/5. Let f be 0 + (-188)/187 - 10/(-55). Is s < f?
False
Suppose 0 = 4*m - 14 - 1814. Let k(x) = 214*x + 3454. Let w be k(-14). Is w not equal to m?
True
Let u be (5 + (-213)/45)*420/(-18). Let q = 2423437/374436 + -1/93609. Let j = q + u. Is j smaller than 0.11?
False
Let t(v) = 11*v**2 + 11*v + 34. Let j be t(20). Let y be (4/10)/(j/(-130)). Which is bigger: -1 or y?
y
Suppose -2*c - 3*r - 7456 = -7455, c + 3 = -4*r. Let x be (-1)/(-3)*201267/78. Let n = x - 860. Is n > c?
False
Let k(f) = f**2 + 18*f + 63. Let n be k(-5). Let x be (31/155)/(n/10). Which is smaller: x or 3/19?
x
Let p = -4119 - -3494. Is p at most -1874/3?
True
Suppose -2 + 7 = l. Let h(o) = -2*o**2 - o + 13*o + 6*o**2 - l*o**2. Let s be h(12). Which is smaller: s or 1/119?
s
Let t = -315 - -315. Suppose t - 84 = 2*u - i, 3*u = 2*i - 125. Is -41 equal to u?
False
Let j = -34655/2838 - -21/473. Suppose 1048 + 195 = -113*y. Which is smaller: y or j?
j
Let u(c) = -c**3 + 22*c**2 - 55*c + 132. Let n be u(22). Is -1080 at least n?
False
Let n(r) = -15*r - 57. Let c be n(-4). Let x be -512 - ((-39)/(-52))/(c/24). Is -518 bigger than x?
False
Suppose 3*h = -0 - 9. Let x be (1 + (-5)/6)*h*-2. Is 3/13 < x?
True
Let b be (3/(6/(-7)))/(2/68). Let d = -163 - -73. Let l = d - b. Does l = 29?
True
Let u be (-1 + 12/9)*0/1. Let q = 4 + 2. Suppose -6 - 8 = 4*a - 3*o, -3*o + q = u. Which is smaller: a or -1/4?
a
Let o = 12 + -18. Let m(t) = 22*t - 131. Let b be m(6). Let k be (b/(-2))/(-1 - (-28)/24). Which is bigger: k or o?
k
Let q = 832456/21 + -3647536/91. Let s = -442 - q. Suppose -4*j + 3*j = 0. Is j less than or equal to s?
True
Let w be (4/110)/(8/(-492)). Let x = -22818/11 + 2076. Let y = w + x. Which is smaller: y or -0.8?
-0.8
Suppose 3*z - 26 = 6*z + 2*b, -2*b = -5*z - 70. Let p = 3 + z. Is p smaller than -14?
False
Let r(f) = 3*f**2 - 41*f + 25. Let v be r(13). Let p be -55 + 44 - (-8 - v). Let i = 38 - 229/6. Are p and i equal?
False
Let f be ((-7105)/(-87))/((-5)/(-42)). Which is bigger: f or 684?
f
Let s(f) = 43*f**2 + 24*f + 25. Let h be s(-1). Which is bigger: 43 or h?
h
Let b(j) = 14*j**2 - 38*j + 232. Let u be b(10). Is 1253 at most u?
False
Let h be ((-46)/(-3))/((-328)/34563) + 14/8. Is h greater than -1613?
False
Let c = 439 - 440. Which is smaller: 3/4177 or c?
c
Suppose 0 = -5*a + m + 75, 5*a - 4*m = -0*m + 75. Suppose 311 - a = 8*d. Which is bigger: 42 or d?
42
Let h = -19172 + 18044. Is -1146 greater than h?
False
Let g = 344 + -341. Let f = 127.97 + -3.97. Are g and f unequal?
True
Suppose 5*b - 18 - 20 = -2*d, -3*d + 4*b + 34 = 0. Suppose 0 = d*m - 20*m - 864. Does -144 = m?
True
Let k = -709 + 357. Let a = 386 + k. Is 36 bigger than a?
True
Suppose 103 = 5*f - 32. Let z = 66 + 64. Suppose 3*p - y + z = 8*p, 0 = -4*p - y + 103. Do f and p have different values?
False
Let b be (-18)/24*(-98)/42. Let a = 8 + -13. Which is smaller: b or a?
a
Let t(v) be the second derivative of -v**4/12 - v. Suppose -4*s - 9*w = -8*w + 7, w + 3 = 0. Let f be t(s). Is 2/31 != f?
True
Let o(h) = 2*h**3 - 8*h**2 + 14*h + 16. Let t be o(8). Let x be 1/(4/(-289)) - 480/t. Does x = -71?
False
Suppose 5*r = 63 - 13. Let k be ((-115)/(-138))/(r/18). Which is bigger: k or 2?
2
Let y = 19635.06 + -19635. Which is smaller: y or -23.91?
-23.91
Let o = 3 + 2. Suppose 0 = -n - 3*z + o, 4*n = -0*n + z + 20. Which is bigger: n or 56/13?
n
Suppose -3*m = 3*t + 2*m - 35, 0 = 4*t - m - 16. Suppose t*n - 58 - 7 = 0. Suppose -n*r + 34 = -5*u - 15*r, 20 = -4*u + 2*r. Is u less than -9?
False
Suppose -30 = -10*w + 4*w. Suppose -4*j + w*j = 2, -3*s + j = -25. Suppose -8*b = b + s. Are 3/16 and b unequal?
True
Suppose -l = 3*r - 60, -2*l - 260 = -7*l + 5*r. Let h(g) be the third derivative of -43*g**4/24 + 5*g**3/3 + 36*g**2. Let v be h(-1). Which is greater: v or l?
l
Let x = 0.174 + -0.237. Let w = -0.563 - x. Is -6 greater than or equal to w?
False
Let l be 101 + (5 + 1)/(-3). Suppose -4*r - 36*q + 33*q + 87 = 0, -4*r + l = -q. Which is bigger: r or 16?
r
Suppose -298*a = 123*a - 105*a - 316. Let w be (-2)/((-31)/(-3) + 0). Is a bigger than w?
True
Let c be -61*2/(5 + -7). Let r = 83 - c. Let l be 3/(-2) + (-473)/r. Is l > -22?
False
Let h = -5.7268 + 0.7268. Which is bigger: h or 2/2583?
2/2583
Let o = 843/3103 - 18/107. Suppose -5*g + m = 244, -10*g - 2*m - 149 = -7*g. Let c = g - -48. Are c and o nonequal?
True
Let p(x) = -x**2 - 31*x + 212. Let k be p(-37). Are k and -40 equal?
False
Suppose -4*g + 5*v + 1 = -111, 0 = 2*g + 3*v - 56. Let a be (5/((-160)/g))/(1/6). Which is greater: -4 or a?
-4
Let k = 3 - 4. Let y be 5/13*(-94 - (-108120)/1150). Which is smaller: y or k?
k
Let r be ((-5)/(-10))/(1/10). Suppose -7 + r = -2*k. Let j be ((-32)/440)/(12/(-10)). Which is smaller: j or k?
j
Let x be -1 + (-3)/(-15) - (3 - 4826/145). Is x smaller than 28?
False
Let s = -8812 + 8812. Are 2/34815 and s unequal?
True
Let y = -2025 - -2032. Does -384 = y?
False
Let g(j) be the second derivative of -11*j**3/6 + 9*j**2/2 - 18*j. Let z be g(-4). Let c = z - 39. Which is bigger: c or 16?
16
Let v be (13 - 71164/5772) + (-14)/21. Suppose -4*o = o. Do o and v have the same value?
False
Let k(i) = i + 86. Let v be k(-29). Suppose 12 = v*m - 45*m. Which is greater: m or -1/63?
m
Let j = -81/4 - -731/36. Let n be (-450)/(-4725)*(-14)/6. Is j smaller than n?
False
Let t be 20 - (-1 - 2 - -2). Let u(g) = 13*g - 108. Let m be u(8). Let k be (-9960)/192*m/10. Are t and k equal?
False
Let z be (-68)/170 - (-6836)/(-10). Let x = z + 517. Which is smaller: x or -166?
x
Let z = 2983 + -810. Let a be (-3)/(-4) - z/1804. Which is smaller: a or 1?
a
Let o = 2.112 + -2.312. Which is greater: 407 or o?
407
Let c = -137 + 142. Suppose 3*b + c*l = 26, 0 = 2*l - 8. Is b > -2.5?
True
Suppose -2*k + 3*y + 24 = 0, k + 4*y = y + 12. Let h(u) = u**2 - 13*u + 12. Let d be h(k). Is d smaller than -2/109?
False
Let g be 2 + -14 - 9*1424/(-432). Let p be -1*(-2 + -16) - -1. Which is bigger: g or p?
p
Let v be (-2388)/(-510) + 3 + -5. Let p = v - 66/17. Suppose 2 = 3*l - 5*q + 33, 0 = l + q - 3. Which is smaller: l or p?
l
Suppose 3*g - 5*g = 26. Let a be 2*g/6 - 10/15. Which is smaller: a or -12?
-12
Suppose 3*p - 33 = -2*c + 15, -5*p = 5*c - 110. Suppose 4*j - 28 = 4*t + 6*j, 2*t - j = -c. Is t less than or equal to 0?
True
Suppose 291*q = 320*q + 15399. Let p(t) = t**3 + 20*t**2 + 31*t + 89. Let a be p(-20). Is a > q?
False
Suppose 3*b - 315 = -2*b. Let n = -839 - -776. Let j = n + b. Which is smaller: -3 or j?
-3
Let g(t) = t**3 - 32*t**2 - 20*t + 307. Let b be g(32). Which is smaller: -336 or b?
-336
Let i = 8388158697/5615638 - -1/802234. Is 1495 > i?
True
Let x = 4.002 - 11.602. Which is smaller: x or 0.42?
x
Let p be (6*25072/48)/(1 - 11). Is p not equal to -314?
True
Let i = -17427 - -17414. Suppose f + 0*f + 10 = 0. Which is greater: i or f?
f
Let u = 0.253 + 7.047. Let d = 58 + -54.7. Let l = u - d. Is l at least as big as -2/9?
True
Suppose 5*q - 112 = -17. Suppose q = -4*z + 23. Is 50 <= z?
False
Let i be ((-16)/(-6) - 3)/((-1)/6). Suppose -2*z - h + 29 = 0, i*h - 18 = -