*3 - 12*b**2 - 7*b. Let n be y(13). Let g be n/(-10) - (-5)/(-25). Let a be 3 + 175/(3 + g). Is a less than -31?
True
Let f = 13.14 + -8.14. Let x = 95 - 107. Are f and x nonequal?
True
Suppose -b = -3*y - 4*b + 12, 2*y + 27 = 5*b. Let z be (y/((-236)/79 + 3))/1. Is z at most as big as -79?
True
Let a be ((-56)/(-16) - 0)/(50814/7260 - 7). Which is smaller: -4233 or a?
a
Let i be (-1 + (-20)/12)*(-9)/6. Let x be (-38 - -28)/(14/i). Let b(n) = -n**2 + 4*n - 4. Let q be b(4). Is q less than x?
True
Suppose 3*p - 3*t + 30 = -147, -3*p - 5*t - 137 = 0. Let v be ((-1)/(8/p))/((-4)/16). Let z = 47 + -76. Is v greater than z?
True
Let w(s) = -s - 9. Let t be w(-11). Suppose -x = -t*x. Let p = 5/22 + -1/2. Is p less than x?
True
Let j = 98 + -49. Let k(i) = -i**3 + 10*i**2 - 4*i - 4. Let h be k(9). Let w = h - j. Are w and -11 equal?
False
Let k = 4.98 - 5. Let z = k - -14.02. Let g = -1.12 - 0.88. Are g and z nonequal?
True
Let z = 37817 - 33788. Is 4029 greater than or equal to z?
True
Let x(u) = 155*u**2 - 2*u + 2. Let j be x(1). Let p = -71 + j. Let g be ((-2)/3)/((-7)/p) - 2. Which is smaller: g or 31/5?
g
Suppose -652 - 24 = 13*s. Is s != -36?
True
Let z be (1 + (-984)/(-10))/(((-1800)/(-125))/24). Which is smaller: 167 or z?
z
Let x be (59*1/(-2))/(-2 - (-75)/36). Is 10 greater than or equal to x?
True
Let y = 6885 - 2274. Do 4611 and y have the same value?
True
Let a(k) = 3*k**2 - 5*k + 6. Let f be a(2). Let w be -1 + 238/(-104) - 2/f. Do w and -5 have the same value?
False
Let p = 48 + -45. Suppose 3*f - p*w = -0*w - 15, 1 = -f - w. Let l be f - 1/(-266)*794. Are -1 and l nonequal?
True
Let j(c) = -c**2 + 13*c - 21. Let u be j(2). Let g be 60/20 + (-5 + 1 - u). Which is smaller: g or -14?
-14
Let g = 6653 + -6418. Is 229 at most g?
True
Let q = 863 + -864. Which is bigger: -1/6307 or q?
-1/6307
Let r(l) = l**3 + 8*l**2 + 8*l + 9. Let g(o) = -3*o**2 + 6*o + 11. Let k be g(6). Let s = k - -54. Let d be r(s). Which is greater: d or 1/12?
d
Let k be -13*48/(-156) + (-64)/31. Which is bigger: k or 1?
k
Let g(n) be the third derivative of -5*n**4/8 - 23*n**3 - 44*n**2. Let u be g(11). Is -303 >= u?
True
Suppose 12558*y = 12546*y - 1068. Is -73 at least as big as y?
True
Let g = 545 + 152. Is -0.1 at least g?
False
Suppose 4*n - 2166 = -2*x, n = -5*x + 604 - 40. Let v be 1*11/(n/(-91)). Let a(i) = -i**2 - 2*i + 2. Let f be a(-3). Which is smaller: v or f?
v
Let o(q) = -4*q**2 + 73*q - 190. Let d be o(15). Is 9 >= d?
True
Let r = -222 + 223. Let c be 420/414 + (-4 - -3). Is c at least r?
False
Let l = -8881 + 204110/23. Which is greater: l or -8?
l
Let q = 15681.3 - 15668. Is 2/9 at most as big as q?
True
Let o be (23/9)/(2/(-6)). Let t(c) = c**3 - 17*c**2 - 23*c + 98. Let i be t(18). Suppose -i*r - 112 = 8*r. Which is smaller: o or r?
o
Let k(r) = -5*r + 8*r**2 + 2*r - 4 + 0*r - 9*r**2. Let x be k(-9). Let j = -57 - x. Which is bigger: -6/13 or j?
j
Let l be 1 - -4 - (-16)/(-10 - -6). Are -4/1465 and l unequal?
True
Let x = -812 + 5686/7. Which is greater: x or -0.07?
x
Let n = -1562 - -1563. Are n and 43/52 nonequal?
True
Suppose 8*y = 5*y - 2*c + 484, y - 167 = 5*c. Suppose -21*s + 11*s + 1630 = 0. Is s less than y?
False
Suppose 670*l - 45066 = 596*l. Are 608 and l nonequal?
True
Let q = -112.27 - 13.93. Let w = q + 10.2. Which is bigger: 1 or w?
1
Suppose 5*i - i = i. Suppose 4*n + 46 + 58 = i. Which is smaller: n or -0.2?
n
Let a(d) = d**2 + 6*d - 12. Let f be a(-8). Suppose -q - 172 = f*x + 3*q, 4*q - 12 = 0. Let n(i) = 9*i + 43. Let z be n(-10). Which is bigger: x or z?
x
Let n = -168 + 219. Let k be (34/n)/(8/(-14)). Is 0 not equal to k?
True
Let f = -15895 - -15897. Is f > -620?
True
Let r = -6419 - -6420. Is 3560/9 <= r?
False
Let k(z) be the second derivative of -11*z**3/6 - 87*z**2 - 146*z. Let r be k(-15). Is r greater than or equal to -9?
True
Let l be 4/(-2*(-2)/4). Let p = -41938 - -292555/7. Let u = 145 + p. Which is smaller: l or u?
u
Let a = 44936 + -44934.5. Let c = 1.8 - -0.2. Which is greater: a or c?
c
Let a = 36.78 + -36.377. Which is greater: a or 0.1?
a
Let f = 2384.1 - 2364.437. Let n = f + 0.337. Which is greater: n or -6?
n
Let n be ((-25)/(-60))/((-25)/(-45)). Let j(m) = 3*m - 8. Let t be j(10). Let q = t - 37. Which is bigger: q or n?
n
Let s = 212 + -212.2. Let d = -5 + -7. Let g = d + 21. Is s bigger than g?
False
Let p = -312 + 300. Let q be 5565/3220 - (15/p)/(-5). Is q at least as big as 0?
True
Suppose 1 + 3 = 5*r + 3*k, 3*r = 5*k + 16. Let c be 2/(-5*(4/(-3) - r)). Let d = 4 - 4. Is c greater than d?
True
Let k(a) = -11*a - 258. Let o be k(-7). Let y be (-48)/32 - o/(-2). Is y less than -91?
True
Let q = -60509 + 60551. Let f = 15/2 - 7. Is f greater than q?
False
Let y = 2 + 10. Let b = 17 - y. Let q = 1971 + -1968. Which is smaller: q or b?
q
Let m = -2164 - -2168. Which is smaller: m or -86?
-86
Let t be -29*(42 - 3)*((-637)/21)/13. Do 2639 and t have different values?
False
Let v be 5/(-10) - (338/76 - 5). Let g be (-8)/40*(-35)/(-6). Is g smaller than v?
True
Let n be 46/(-248) + (-1)/(-4). Let q(b) = 18 + b**2 - 5*b + 23 + 17 - 63. Let c be q(6). Which is smaller: n or c?
n
Suppose 138*v + 281*v = v + 627418. Is 1502 <= v?
False
Let s = 42149/2860 - -9/715. Let w(i) = -4*i - 18. Let v be w(-8). Is s smaller than v?
False
Let v = -281.622 - -0.622. Let z = v - -397. Which is greater: -2/3 or z?
z
Let q be (-8932)/(-522) - 16/(-18). Which is bigger: q or -45?
q
Let q = 187 + -208.7. Let a = 21.6 + q. Which is smaller: 97 or a?
a
Let v = 22425 - 22424.9. Which is bigger: 2239 or v?
2239
Suppose 5*s + 290 = 3*s. Let y(a) = 2*a**2 - 26*a - 280. Let r be y(17). Which is smaller: s or r?
s
Let j = -439/285 + 28/19. Suppose 3*v + 5*o = 6*v - 6, 0 = -2*v - 2*o - 12. Let t be v/6 - (-2)/(-4). Is j <= t?
False
Let x = -98 - -100. Let m be 750/246 - (5 - (x + 0)). Is -1 bigger than m?
False
Let h = 978 + -400. Let o = 561 - h. Which is bigger: 0.19 or o?
0.19
Suppose 36*y - 55*y + 3781 = 0. Which is bigger: y or 196?
y
Let a = -15 + 14. Let l be (-2)/(-3) + 52/12. Let y be (l - 25)/5*-1. Is a < y?
True
Let u = 7.614 + -0.014. Let p = -0.08975 + -0.01025. Does u = p?
False
Let u = -10987/407 + 27. Suppose 4*c = -5*o - 9 + 25, -4*o + 16 = 0. Is u <= c?
False
Let t(x) = -892*x - 1456. Let v be t(-8). Is v at most as big as 5680?
True
Let a = 204.705 + -0.705. Let u = a + -203. Is u > -135?
True
Let l(t) = -t**3 - 8*t**2 + 8*t + 91. Let y be l(-9). Suppose 17*a - 22*a - y = 0. Let r(b) = -19*b**3 - b**2 + b - 1. Let c be r(1). Is c bigger than a?
False
Let t(q) = 102*q - 2. Let k(r) = 2. Let u(b) = 6*k(b) + t(b). Let j be u(-6). Let c = j - -2357/4. Which is bigger: c or -13?
c
Suppose 26 = 5*c - 144. Suppose -13 = 5*h - 6*h. Suppose s - h = -x - c, -2*s + 3*x = 22. Is s less than -16?
True
Let d(k) = 2*k**2 - 73*k - 39. Let z be d(44). Suppose 5*i + 4*t - 3 - 604 = 0, 5*i - z = 3*t. Is i at most as big as 122?
False
Suppose -22*n + 39*n = 129064. Let i = 3499910/461 - n. Which is smaller: -1 or i?
-1
Let k be (-22)/4*(-226)/113. Which is smaller: k or -32?
-32
Let n = -28 - -32. Suppose -2*v - 20 = 3*k, k + n = -v - 4. Let s be v/39*(-36)/32. Which is bigger: s or -1?
s
Let p = -2137781/15 + 142570. Is 51 >= p?
False
Let k be 4/((-12)/24*-1) - 14. Which is greater: 6 or k?
6
Suppose -7*y = 3*s - 3*y - 146, 0 = -2*y + 10. Let j = s + -333/8. Which is smaller: j or 12/5?
j
Let d = 34.4 - 38. Let a = 37.6 - 41. Let x = a - d. Is -1/9 smaller than x?
True
Let f = -1/1203 + -190069/6015. Which is bigger: -32 or f?
f
Let z = -4282 + 4521. Which is greater: z or 237?
z
Let s = 1524 - 959. Let b = -74018/131 + s. Which is bigger: b or -1?
b
Suppose 7*r + 14*r = 22*r - 131. Which is bigger: 132 or r?
132
Let l = -5/1202 - 2027749/6010. Let r = 336 + l. Let h be 5/(8 + 0 + -2 + -1). Is r less than or equal to h?
True
Let c = -146 + 719/5. Let w be (30/(-9))/(275/(-330)). Suppose -3*p - w*u + 6*u - 2 = 0, 10 = -5*u. Is p at least c?
True
Let j = 54 + -52. Suppose -16 - 2 = -f - 5*n, j*n = f + 10. Which is greater: -1/11 or f?
-1/11
Let y = -195 + -109. Let q = y + 285. Is -17 <= q?
False
Let a(o) = -5*o + 85. Let m be 0 + (49/21 - (-4)/6). Suppose 2*n - 25 = -m*x, -2*n + 2*x - 7*x = -15. Let k be a(n). Is k less than or equal 