= -6903 + 6893. Suppose i + 1 = -0. Which is bigger: k or i?
i
Suppose 3*t + 4*l = -0*l - 53, -2*t - 4*l - 34 = 0. Which is smaller: t or -408/23?
t
Let x(i) = -10*i**3 - 60*i**2 + 70*i. Let a(p) = 7*p**3 + 40*p**2 - 47*p. Let w(z) = 7*a(z) + 5*x(z). Let u be w(-21). Which is smaller: 14/31 or u?
u
Let n = 0 - 1. Let s = n + -2. Let y = 57.02 - 57. Which is smaller: y or s?
s
Let b be -13 + 21679/35 + 10. Which is smaller: 616 or b?
616
Let d be -2*(1 + 2/(-4)). Let j = -29323 + 89113/3. Let n = 379 - j. Which is smaller: d or n?
n
Let t = -281.6 + 328. Let v = -2.6 - t. Let a = v + 46. Which is smaller: 25/4 or a?
a
Let z = 26717 - 22943. Is 3773 < z?
True
Suppose 10*i - 23*i - 39 = 0. Let j be (3*i/570)/(48/40). Suppose -4*s - 4*c = -12, -4*c + 15 + 1 = 0. Which is greater: j or s?
j
Let c = 0 - -1. Let t(q) = 15*q**2 - 3*q. Let j be t(c). Suppose -6*o + j*o = -60. Do -11 and o have the same value?
False
Suppose -9*s = -5*s + 3*w, 2*w = 0. Is s less than -0.62?
False
Let u = -0.2 + 0.15. Let f = 898.03 - 898. Is f > u?
True
Let h = 30.31 + -32.31. Which is bigger: h or -4095?
h
Let s(z) = -z**3 - 2*z**2 - z + 1. Let r be s(-2). Let i be 33/r*2 - (2 - 0). Let b be (-2)/(-9) - i/90. Which is smaller: 5 or b?
b
Let s be (1 - -4)*(-6)/5. Let q be 175/(-14)*(-10)/(-20). Which is greater: q or s?
s
Let g(n) = n**2 - 81*n + 1210. Let f be g(19). Is f at least as big as 296/9?
False
Let h be (9/(-192))/((-6)/16) + 121/(-8). Suppose -2*q = 2*q + 12. Which is bigger: h or q?
q
Let y = -4.2 - -4. Let z be -3 - (12 - 7 - 32). Is z equal to y?
False
Let w(t) = 17*t**2 + 10*t - 12. Let d be w(2). Suppose 72*q - d*q = 0. Which is bigger: -4/101 or q?
q
Let x = -5343 - -5340. Which is greater: x or -7?
x
Let g(a) = -14*a - 66. Let x be g(-12). Let l = x - 323. Which is smaller: l or -222?
-222
Suppose 110*y - 4*w - 328 = 114*y, -5*y = -w + 368. Let h = -178 - -104. Do y and h have different values?
True
Let h be 13/2 + (-7)/14. Suppose 234 = -257*m + 248*m. Let b be 30*(m/78 + 5/9). Is b > h?
True
Let p = 493741 - 1434318006/2905. Let c = 2/415 - p. Is -1 smaller than c?
True
Let x = 0.12608 + -0.02608. Which is smaller: -719 or x?
-719
Let u = -3 + 3.1. Let n(v) = -7*v. Let g be n(-1). Suppose 36 = -g*o + 225. Is o != u?
True
Let z = 838 - 856. Let r be 45/405 + (-52)/z. Which is bigger: 8/5 or r?
r
Suppose -6*t + 8*t - 16 = 0. Suppose t*q = 7*q - 120. Which is bigger: q or 0?
0
Suppose -3*n = 2801 - 2822. Suppose 2 = -3*i + 6*z - n*z, -2*i - 3*z = 13. Is 1/172 >= i?
False
Let j = -15708.77 + 15700. Which is bigger: j or -8?
-8
Let r(q) be the second derivative of -7/2*q**2 + 8/3*q**3 + 35*q + 0. Let k be r(1). Which is smaller: k or 23/3?
23/3
Suppose 4*r - 3*y + 0*y + 130 = 0, 5*y + 10 = 0. Is r less than or equal to -35?
False
Let v = -261 + 449. Let p = v + -190. Let n = 3/191 + -2495/764. Is n at most p?
True
Let z = 754479/5 + -151383. Which is bigger: -487 or z?
-487
Let n = 2498 + -2463. Suppose 3 = 4*f - 21. Let w(c) = 8*c - 13. Let k be w(f). Do n and k have different values?
False
Let i(x) = x**3 + 11*x**2 - 13*x - 10. Let u be i(-12). Suppose 19*w = 4*q + 22*w + 205, -u*q + 3*w - 89 = 0. Is -46 at least q?
True
Let b be (-1 + -29)*(-2)/(-3). Let m(l) = -l**2 - 20*l - 18. Let q be m(b). Suppose -2*f = -2*p + 34, 85 = -0*f - 5*f - 2*p. Which is smaller: q or f?
q
Suppose 0 = -v + 235 + 79. Let n = v + -315. Let j be 18/104 + (-1)/4. Is n <= j?
True
Let w = 77.4 - 2.4. Let x = -122 + w. Is x >= 0?
False
Suppose -171 = 2*v - 177. Suppose 4*j - 1 = v*q, 3*j - 4*j + 4*q = 3. Is 13/24 at most j?
True
Let c be 24/(-106)*(5/(-4))/(87/348). Is c < 1?
False
Suppose -25*g + 5103 = -3297. Suppose -35*y - g = -31*y. Which is smaller: -83 or y?
y
Let o be 1/(-5)*66/(-10). Let t = -227 - -227. Do t and o have different values?
True
Let q = -8217 - -56370/7. Does -165 = q?
False
Let x = 8 + -6. Let c be (x/(-5))/(3/(-30)). Let n = -725 - -2176/3. Are n and c non-equal?
True
Suppose -p + 4*n = -14 + 2, -4*n - 12 = -4*p. Which is smaller: 10/291 or p?
p
Let z = -1104 + -5672. Is z less than -6776?
False
Let r = 6349 - 82516/13. Which is greater: 3 or r?
3
Let s be ((-4)/6)/(85/(-15) + 5). Let w = 430 + -7313/17. Let j = 225/119 + w. Are s and j equal?
False
Suppose 7858 = 285*h - 14778 - 16979. Are h and 10 equal?
False
Suppose -4*j = 3*a - 645, -2*j + 9*a - 5*a + 328 = 0. Let f = 30 - j. Let h = 131 + f. Which is greater: h or 0?
0
Let s be 6/(-33) + (-48)/(-22). Let h = -191 + 192. Let x = h - s. Is x less than or equal to -12?
False
Let n = -1159 + 1158. Is 331 greater than n?
True
Let k = -5 + 10. Suppose 0 = -z + 5, -1 = a + z - 10. Suppose -a*n + 96 - 84 = 0. Is n <= k?
True
Let o(y) = 11531*y - 69153. Let m be o(6). Suppose 2*p - 4*p - 2 = 0. Let q be 30 + (p + 4 - 1). Is m > q?
True
Let n = 104 - 104.072. Let m = 88.072 + n. Is -1 greater than m?
False
Suppose 4*r - v = 1136 + 645, -4*r - 3*v = -1761. Suppose 7*k + r + 1985 = 0. Is k equal to -347?
True
Suppose -2*l = -3*j - 14, -3*j + 17*l = 21*l - 10. Let y = 51 - 111. Is y < j?
True
Let o be 1/((-6)/(-249)) + -4*14/(-28). Let v = 62 + -17. Is o at most v?
True
Let v = 3.8 + -4.35. Let m = 0.38 + v. Let s = 0.37 + m. Which is smaller: -0.1 or s?
-0.1
Let f(g) = 3*g**3 - 2*g**2 + 9*g + 15006. Let m be f(0). Is m less than 15006?
False
Let h = -4958449568/15335 + 323342. Which is greater: h or -1?
h
Let o be (-830)/44 - (-5586)/294. Suppose -5*b = 4*j + 19, b + 2 + 1 = 0. Which is greater: j or o?
o
Let g = 4583428/125 - 1381529278/37625. Let u = g - -84/215. Is u > -52?
True
Let h be (-1)/1*(-6 - 9479). Let a = h - 341489/36. Let l = 5/9 + a. Is 4.2 > l?
True
Let g(b) = -831*b**2 - 5*b + 4. Let d be g(1). Let p = d - -698. Are -134 and p equal?
True
Let y = -0.907 - -195.707. Let o = y + -195. Is -0.1 greater than or equal to o?
True
Let a = -41 + -13. Let l be a - ((-4)/(-6))/(2/(-3)). Let p = l + 52. Do p and -1/57 have different values?
True
Let f(z) = z**3 - 9*z**2 + z - 4. Let c = 70 - 61. Let h be f(c). Let d be h/6 + -1 + (-7)/(-21). Which is smaller: d or 0.5?
d
Let j = 1672 - 1671.988. Which is smaller: 12/77 or j?
j
Suppose -44*q - 12*q = -14*q + 5208. Do -133 and q have different values?
True
Let k = 0.1 - 7.1. Let d = -94.169 - -0.169. Let h = d + 93. Which is smaller: k or h?
k
Suppose 2*h - 4359 = -4343. Let j be (-4)/(-42)*1120/12. Is j bigger than h?
True
Let k = 267 + -254. Suppose 1 = 2*z - 3. Let m(i) = 4*i + 2. Let l be m(z). Which is greater: k or l?
k
Let p = 369 - 352.18. Which is bigger: 0.1 or p?
p
Let c be (55/(-44))/((-5)/24). Let t be c + (-3604)/300 + 6. Which is smaller: 1 or t?
t
Let y(n) = n**3 - 89*n**2 + 95*n - 617. Let a be y(88). Is 22/195 at least as big as a?
True
Suppose 2*n + 3*j = -205, -n = 4*j - 7*j + 125. Let u(f) = -f**3 + 10*f**2 - 2*f - 7. Let v be u(5). Let g = n + v. Is -1 greater than g?
True
Suppose -52*w + 45*w + 49 = 0. Let z be (2 + w/3)/(11/(-33)). Does -27 = z?
False
Let t(n) = -164*n**2 - 9*n + 14. Let g be t(2). Let z be (-2)/(-5) + (-6)/g. Is z < -1?
False
Suppose 26 + 4 = 10*j. Let l be 2/(-4)*(-1 - j)/(-2). Which is bigger: l or 2/25?
2/25
Let s be (-2 - -2 - (-3)/(-2))/(81/(-378)). Let c(h) = 29*h - 58. Let z(l) = -10*l + 19. Let u(r) = 4*c(r) + 11*z(r). Let k be u(s). Is 3 equal to k?
False
Let a = -132157034/407 + 324710. Is -1 at least as big as a?
False
Let q = 14 + -17. Let p(m) = m**3 + m**2 - 3*m + 4. Let j be p(q). Let u(y) = y**3 + 8*y**2 + 2*y + 15. Let l be u(-8). Is j at least l?
False
Let q be (1 - 2)*(-1 - -1). Let b be (-319)/53 + 4 + 13/((-13)/(-2)). Is q less than b?
False
Let p = 2518 - 2503. Let n be 1/3*3 - 3. Let z be (-37)/n + 12/(-8). Which is smaller: p or z?
p
Suppose b + 2*m - 9 = 0, -3*b - 3*m = m - 27. Let k(u) = -5*u + 21043 + u**2 - 21036 - 5*u. Let g be k(b). Which is bigger: -3 or g?
g
Let d(b) = -b**2 - 26*b + 45. Let f be d(-23). Is 114 != f?
False
Let v be -16 + 323687/24895 - (1 - 4). Which is greater: 0 or v?
v
Suppose 12731 = 7*y - 20*y - 16*y. Let n be (-12)/(-30) + (-4384)/10. Which is smaller: n or y?
y
Let q = -38/5 + 1188/155. Let m = -368.7 - 71.3. Let c = 439.8 + m. Is q less than or equal to c?
False
Let d be ((-36)/1215)/((-10)/(-3)). Suppose 0 = 2*z + 4*x - 6, 888 - 880 = 5*z + 3*x. Which is