 is greater: -14 or a?
a
Let f be (-24)/10*110/(-30)*-3*15. Let h = -377 + -18. Is f smaller than h?
True
Let p be 15/30*6808/(-20). Do p and -170 have different values?
True
Suppose 22*p - 16 = 30*p. Let i be (3 - p) + (3 - 4). Let u(f) = 2*f**3 - 7*f - 5. Let c be u(i). Is 96 greater than or equal to c?
True
Let h = 2728 - 2659. Suppose -4*c + 206 = -2*r - 68, c - 52 = -5*r. Which is greater: c or h?
h
Let q = -0.6745 - 0.2463. Let s = -0.1698 - q. Let l = 0.049 + s. Which is bigger: 0.2 or l?
l
Let w = -4727 - -15708. Which is smaller: w or 10979?
10979
Let f(m) = m**3 + 5*m**2 + 2*m - 7. Let c be f(-4). Suppose 0 = -5*s - 0*b + 4*b + 251, -2*s + 2*b + 100 = 0. Is s greater than c?
True
Let n(h) = h + 1. Let x(u) = -u + 1. Let s be x(-1). Let y be n(s). Suppose y = -3*z + 6*z. Are z and -0.02 equal?
False
Suppose -3*w = -19 - 2. Suppose -b = 1, -3*b = 5*o - b - 688. Let v = o + -130. Is v greater than w?
True
Let v be 61140/(-6115) + (-2 - -12). Which is bigger: v or -1?
v
Suppose -8*b = 3*b + 44. Suppose 26 = 5*d - 14. Let l = b + d. Which is smaller: 3 or l?
3
Let h = -212/105 + 26/15. Let t = -512030 - -511967. Is t less than or equal to h?
True
Let y = 128.086 + -83.275. Let m = -44.8 + y. Which is bigger: 6/7 or m?
6/7
Let z be 80/150*(-18)/4*-40. Let a = -29 + -33. Let h = a + z. Which is smaller: 33 or h?
33
Suppose 11285 = 19*b - 20635. Suppose -10*r = -b + 100. Which is smaller: 157 or r?
157
Suppose 0 = 3*m + 3*b - 18, 2*b = m + 3*m - 18. Suppose 3*d + 18 = -3*u, m*u = -d + u - 18. Let j = 346 - 2081/6. Is d smaller than j?
True
Let p = -14 - -7. Suppose -2*f - 1260 = 4*h, 8*f - 3*f + 3150 = -4*h. Let r be (-3)/(-5) + 4718/f. Which is greater: p or r?
r
Let o = -27.057 + 0.057. Let t = 89.6 + -117. Let y = o - t. Do -1/2 and y have different values?
True
Let j be -189 - ((-2)/1 - -1). Let t be 8/(-26) + 1204423/(-6383). Is t < j?
True
Let b = -0.0218 + 268.0218. Let p = 268.2 - b. Which is smaller: 0.057 or p?
0.057
Suppose 0 = -5*y - 5*h + 155, 0*y + 77 = 2*y + 5*h. Suppose -y*p - 5608 = -278. Which is bigger: -207 or p?
p
Let q = 633 - 624. Let n = 11 - q. Which is bigger: n or 1/208?
n
Let o(b) = -181*b**2 - 5*b - 2. Let y be o(1). Let h = y + 239. Which is smaller: -1 or h?
-1
Let w(x) = x**3 - 16*x**2 + 49*x - 5. Let t be w(12). Suppose 4*h + t = 2*h - o, 3*h - 4*o + 5 = 0. Which is greater: -33 or h?
h
Let l be 206/(-6) - 2/3. Let u(g) = -6 - 18 - g**2 - 13 + 3 + 6*g. Let a be u(6). Is l less than or equal to a?
True
Let w = -13692/1206365 + 2/6665. Let j = w + 547/362. Let q be (2/20)/((-32)/256) - (3 + 19 - 23). Is q at least j?
False
Let r = -4635419/5994891 + 2/61803. Let o = r + -2305/2037. Do o and -3 have different values?
True
Suppose -3*j - 28 - 314 = 0. Suppose -3*m - 5*a - 9 = -2, -9 = 3*m + 3*a. Let v be (-12)/24 - j/m. Is v less than or equal to -29?
True
Let p = -6081 + 6502. Is p at least as big as -0.09?
True
Let k = 371 - 385. Let q be (57/(-6) - k)/(3/(-4)). Which is smaller: 9 or q?
q
Let n be (1187 - 17)*(-1 - (-1)/3). Let t be -7*445/n + -4. Is t at least as big as 1?
False
Suppose 0*b + w - 54 = -4*b, -4*w + 62 = 5*b. Let a be 6/6*(b - (-6 - -3)). Is -3/2 at most a?
True
Let q = -0.01 + 0.08. Let m = 7088 + -297697/42. Is q >= m?
True
Let s be 4/(-16) + 474/8. Let h be (-555)/(-9) + (0 - (2 + 1)). Let a = s - h. Which is smaller: 10 or a?
a
Let x be (8195/66)/((-30)/24). Which is smaller: -100 or x?
-100
Let k(g) = -8*g**3 - 2*g**2 - 147*g - 611. Let b be k(-4). Which is smaller: b or 456?
456
Let f = -57 + 63. Let k be (-174)/(-110) - f/15. Is k at most -1/3?
False
Let h(y) be the third derivative of -y**4/12 - 11*y**3/2 - 5*y**2. Let n be h(-18). Let o be ((-2)/3)/((-2)/n). Is 1/11 >= o?
False
Suppose -5*i - 4*c = -8*c + 27, 5*i - 2*c = -11. Do -3/2579 and i have the same value?
False
Let y = -3227/8 - -408. Let m be 4/((-9)/18*-2). Is y at least m?
True
Let v = 179067 - 1610014/9. Let m = -177 + v. Does m = -8?
False
Let d be 2/10*(-3 - 51). Let o(k) = -k**3 - 7*k**2 + 6*k - 28. Let h be o(-8). Which is smaller: h or d?
h
Let k = 9124/32193 + -954832979/30969666. Let i = k + 398/13. Is i greater than 1?
False
Let a = 7146 - 7145. Is a > -8/103?
True
Let j(q) = -6*q + 318*q**2 - 319*q**2 - 26 - 21*q. Let k be j(-26). Let u = 85/162 - 2/81. Is u <= k?
False
Let n(k) = k**2 - 12*k + 2. Let l be n(12). Let s(t) = 12*t**2 + 2*t - 53*t**l + 111*t**2. Let a be s(1). Which is smaller: a or 71?
71
Let m = 12 + 20. Let n be 2*-8*(-2)/m. Which is smaller: n or 0?
0
Let l = 3218 + -4558. Let f be 1/(l/(-336) + -4). Let k = -71 - f. Is k at least as big as 62/5?
True
Suppose 49*q + 357 = 56*q. Let i = -53 + q. Which is bigger: -10 or i?
i
Let h = 5179 - 4896. Is h <= 3110/11?
False
Let t be (2 - (-106730)/25) + 0. Let s = 4242 - t. Which is smaller: -30 or s?
-30
Let u = -1/230 + 154/22195. Let x = u - 4255/3474. Which is bigger: -2 or x?
x
Let j(n) = 3*n**3 - 41*n**2 - 15*n + 121. Let k be j(14). Let y(s) = 2*s**2 - s - 2*s**3 + 2 - s**3 + 2 + 0*s. Let v be y(-3). Is k at least as big as v?
True
Let o = -4929 - -6072. Which is smaller: o or 1144?
o
Suppose -407 + 189 = -l + 3*m, 809 = 4*l - 3*m. Suppose 0 = 3*f + a - 592, 768 = 4*f - 6*a + 2*a. Is f at most l?
True
Let k be (433 - (-1 - 35/(-28)))*(-24)/9. Which is greater: k or -1152?
-1152
Suppose -158 = -2*z + 2*s, -2*s = -s - 5. Suppose -3*c + 46 = 2*j - z, 5*c - 180 = 4*j. Let q = c - 34. Is 39/7 greater than q?
False
Let l = -4548 - -4547.93. Let f be -1 + 0 - 92/(-88). Let q = 19/66 + f. Are q and l nonequal?
True
Let g = 3757 - 3746. Is -19 at least g?
False
Let b(h) = h**3 - h + 7. Let i be b(0). Suppose -i*q = 2 - 16. Suppose -5 = s - 3*u - 1, 0 = -q*s - 4*u - 8. Is -3 > s?
True
Let f be (-164)/306 - 9/(-18). Which is bigger: 0 or f?
0
Let x(u) = -u**3 + 46*u**2 - 43*u - 91. Let r be x(45). Is r < -26/571?
True
Let l(h) = -12*h - 1. Let k be l(0). Let c(x) = -139*x - 2. Let u be c(k). Is u greater than or equal to 136?
True
Suppose 2*v - 6*v = -u + 6, 4*u + 5*v = 87. Let c(s) = -3*s + 24. Let j be c(0). Let z be (12/j + (-2)/12)*51. Is u greater than or equal to z?
True
Let w = 18 + -35. Let v be ((-24)/(-110))/(-1*(-2)/(-1)). Let b = -92/165 + v. Is w greater than or equal to b?
False
Suppose 55*z - 10*z = 87030. Which is bigger: 1932 or z?
z
Suppose 5*v - 22 = 5*w + 28, -5*v + 44 = w. Suppose -i - 3*s = 9, -4*s - v = 3*i - s. Which is smaller: i or 3/112?
i
Let a(u) = -u**3 - u + 1. Let s(t) = -5*t**3 - 7*t**2 - 14*t + 18. Let y(g) = -6*a(g) + s(g). Let z be y(8). Let n be -4 + -10*(14/(-10))/1. Is z > n?
True
Let q = 0.2 - 18.2. Let r = 73 - 86. Let p = q - r. Which is bigger: -3/2 or p?
-3/2
Let m be (-29)/(52374/(-147))*66. Is m bigger than 2/7?
True
Let a = -1.04658 - -0.04658. Is 1359 smaller than a?
False
Let u = 0.5992 + 193.4008. Let i = -1 - -1.1. Which is greater: i or u?
u
Let y = 224.2 - 224. Let h = -730 + 916. Is h at least y?
True
Suppose u - 3*a = 59, 2*a = -11*u + 6*u + 227. Is 21 greater than or equal to u?
False
Let j = 16384 + -17994. Which is greater: -3217/2 or j?
-3217/2
Let d be ((-12)/(-9))/((-2585)/429). Which is greater: d or -1?
d
Let c be (-16)/(-40) + 107/(-5). Let l be -2*(-75)/(-4)*14/c. Suppose 2*r = q + 10 + 6, 2*q + l = 3*r. Which is greater: r or 9?
9
Let j = -62128/81 + 767. Let q be -2 + 6 - (-39)/3. Suppose 5*l + q = 4*g, -l + 8 = 3*l + 4*g. Which is bigger: l or j?
j
Let s = 172 + -104. Suppose 0*r + 5*r - s = k, -5*k = -4*r + 361. Suppose 13280*q - 13266*q + 1008 = 0. Which is bigger: q or k?
q
Let x = -3.131 - -3.031. Let j = -10 - -15. Let b = -7 + j. Is x equal to b?
False
Let c be (-21 - 0) + 350 + -328. Let u = -13.6 - -27.2. Which is greater: c or u?
u
Suppose 88 = 3*o - k, -o + 51*k = 47*k - 44. Let n = -258 + o. Is -232 >= n?
False
Let o(x) = -11*x**2 - 8*x - 9. Let m be o(-3). Let a be (-2 - 175/m)*-1. Which is smaller: a or 4?
a
Let l be (-100)/464*2 - 1/(-2). Suppose -3*a = -33 - 9. Let v = a - 13. Which is smaller: l or v?
l
Let j = -160 - -481/3. Let l = 1.5 - 0.2. Which is greater: j or l?
l
Suppose 3*t + 1 = 3*f + 4, 4*t + 2*f = 28. Let v(p) = p**2 - 6*p + 6. Let x = 10 - 5. Let b be v(x). Which is smaller: b or t?
b
Let f = -329 - -329. Which is bigger: f or -7/10?
f
Let c = -0.2 + 0.18. L