or i?
-154
Let m be (-1)/(-2) - (-424)/(-16). Let x = m - -31. Suppose 0*l + x = -l. Is l bigger than -7/2?
False
Suppose 0 = -3*m - 4*x + 2*x + 8, 0 = 5*m - 3*x - 7. Let l be 4*3/(-81)*-6. Is m != l?
True
Let f = 478 - 470. Let t be 535/f - 5/(-240)*6. Does t = 62?
False
Suppose 38 + 28 = 11*z. Let s be (-3)/z + 297/550. Let r be 2*(1/(-2) + 1). Which is greater: r or s?
r
Let w be (-318)/105*(-2*20/32)/1. Which is bigger: w or 3?
w
Let s = -4028 + 4029.38. Is s < -0.05?
False
Let z(k) = -2*k**3 - 6*k**2 + 10*k + 2. Let t be z(2). Is -31 bigger than t?
False
Suppose 0 = 12*o + 145230 - 145290. Is -191 != o?
True
Let k = -148 + 214. Let l be 60/k*8/(-5). Which is smaller: -1 or l?
l
Let h = 9050 - 63335/7. Which is greater: -192 or h?
h
Let m(a) = -4*a + 32. Let t be m(6). Suppose 5*i - 5*d = -300, d - 117 = -6*i + t*i. Let f = -82 - i. Is -26 >= f?
False
Let q = 7 - 15. Let c = -3504 + 3472. Which is smaller: q or c?
c
Let w(y) = 2*y**2 - 6*y - 4. Let p be w(-2). Let r(c) = -c**3 + c**2 - 2*c + 10. Let s be r(0). Is s at least as big as p?
False
Let y be -30 - 0/(-4 - 2). Let u be (16/(-860))/(-3*(-4)/y). Suppose -3*j + 3 = -0. Is j less than u?
False
Let z = -3.08 + 3. Let j = 0.02 - z. Suppose c = 14*r - 16*r - 37, -c - 34 = -r. Is c less than j?
True
Let i be 0 + 324/45*5. Let x = -129 + 161. Is i at most as big as x?
False
Let x = -642 + 673. Suppose -13*d + g = -17*d + x, 3*d - 12 = -3*g. Suppose 3*w + 2*f - 28 = f, 4*f - 4 = 0. Is w at least d?
True
Let k = -43.7 + -253.3. Let u = 285 + k. Is -8 bigger than u?
True
Suppose 0 = -5*g + 30*s - 29*s + 470, -2*s + 282 = 3*g. Is 474/5 less than g?
False
Let m be -120*1/(8/6). Let a = 96 + m. Is 29/4 >= a?
True
Suppose 0 = -4*g + 18 + 22. Suppose 4*z + 4*h + 20 = 0, -z + g = -3*z - 3*h. Which is smaller: z or -3?
z
Let d = 2 + -2.012. Let w = -4.465 - -0.453. Let c = d - w. Does -1 = c?
False
Let p be -1*(0 + 0)*(-4)/4. Let h = -838/27 + 31. Is p <= h?
False
Let g be 10/(-7888)*(-4338)/1205. Which is greater: -1 or g?
g
Let k be -207*((-30)/9 + 2)/((-54)/(-27)). Which is smaller: k or 144?
k
Let m be 5 - (4 + -41 - 9). Which is bigger: m or 48?
m
Let s be ((-720)/39)/(-3) - (-34)/(-221). Let f = 8 - 3. Which is smaller: f or s?
f
Let p = -688 - -699. Suppose 4*a - 9 = -3*n + 3*a, 0 = -5*a. Suppose n*d - 5*r - 24 = 8, 0 = 2*d + r - 17. Are p and d non-equal?
True
Let s = 88 + -89. Let l be (-69)/s - 4*3/(-6). Suppose 9*i + 2*q = 6*i + 163, i + 4*q - l = 0. Is 50 at most i?
True
Let d(z) = -z + 4. Let r(a) = 5*a - 5. Let j be r(1). Let c be d(j). Let t be (-1*6/76)/((-2)/c). Which is greater: 0 or t?
t
Suppose -249*d + 256*d = -35. Let q = 32 - 48. Let y = 18 + q. Is y at least as big as d?
True
Let q = 107/1710 + 47/342. Suppose -4*p - 3*g - 2*g = -50, -p - 2*g + 14 = 0. Is p not equal to q?
True
Let l be (38/532)/(2/(-8)). Let d = 0 + 0.129. Are d and l equal?
False
Suppose 0 = -3*o + 4*z + 137, 43 = 3*o + 4*z - 126. Which is greater: 4 or o?
o
Let j(v) = v**3 + 7*v**2 - 4*v + 2. Let d be j(-7). Let l be ((-44)/(-6))/(-5*4/d). Let k be 522/(-33) - (-2)/l. Is -16 equal to k?
True
Suppose -231 = -d - 5*y - 795, 4*d + 3*y = -2171. Is d < -539?
False
Let g(b) = -20*b**2 + 93*b - 9. Let z be g(5). Suppose -4*i = -w - 2*i - 45, -3*i = -6. Which is greater: w or z?
w
Let m = 3 - 2. Let d = 5987.7 + -5892.7. Which is smaller: d or m?
m
Suppose 3*x + 2 = -2*l - 9, -3*l - 4*x - 15 = 0. Let t be 27425/(-2390) + (-276)/(-184) - -10. Is l at least as big as t?
False
Let c = -0.32381 - 5.67619. Which is smaller: -154 or c?
-154
Let t = 1800 + -1805. Which is smaller: -91/22 or t?
t
Let p = 239.8 + 48.2. Let a = 108 - p. Which is bigger: -0.1 or a?
-0.1
Suppose 31*l + 6312 = 16*l + 23*l. Which is bigger: l or 791?
791
Let m be (-30)/70 + (-4)/7. Suppose -5*o + 37 = 2452. Let r = 6765/14 + o. Is r less than or equal to m?
False
Let m be (-122)/(-80) - (-4)/(-10). Let s(p) = -72 + 0*p**2 + 13*p + 12*p - p**2 + 8. Let w be s(22). Which is smaller: w or m?
m
Let y(x) = x - 2. Let r be y(6). Let t be -17 - (-1 + 24 - 36). Let n be 70/r + -6 - 2/t. Which is smaller: 14 or n?
n
Suppose -i + 2 - 7 = 0. Let u be (0 - 22/i)*-5. Suppose -123*g + 672 = -151*g. Which is smaller: g or u?
g
Suppose -3*a = -n - 24, -1861*n + 32 = -1858*n + 4*a. Which is smaller: n or -2/32645?
-2/32645
Let o be (-5121)/8883 + 1/(-1). Let l = o + 34/21. Which is smaller: 0 or l?
0
Let c = -32317/100 + 323. Is c > -1?
True
Suppose 3*b - d + 12 = 0, -3*b = -7*b + 2*d - 18. Let m be 52/40 + b - -1. Suppose -4*o + 5*o = 0. Is o at least as big as m?
True
Let x be (40/(-12))/((-6)/9). Suppose -2*r + 3*u + 5 = -22, u - 61 = -4*r. Suppose 85 = 2*d + r*d. Is x > d?
False
Let l = -0.07068 + 0.07068. Is l at most as big as 0.728?
True
Let j(h) = h**3 - 64*h**2 + 294*h + 60. Let i be j(59). Let u = 665711 - 442698474/665. Let m = u - -21/19. Which is smaller: i or m?
m
Let m(c) = -36*c + 9. Let q be m(-12). Is q > 443?
False
Let g = 21523 + -21598. Is g >= 1.02?
False
Let r = 0.106 + -0.201. Let i = -0.195 - r. Which is bigger: i or 10/49?
10/49
Let q be (-20)/(-50) + (-116)/(-10). Let b(n) be the second derivative of -n**5/20 + 11*n**4/12 + 2*n**3 - 2*n**2 + 6*n. Let c be b(q). Is c greater than -13/3?
True
Let g(m) = -1. Let p(j) = j. Let s(x) = 2*g(x) + 2*p(x). Let t be s(9). Suppose t = -8*w - 16. Do -0.01 and w have the same value?
False
Let i(c) = c**2 + 8*c - 23. Let z be i(-10). Let f be 1/((-2)/(-10) - z - 3). Suppose -f = -4*d + h, 0 = -5*d + 5*h - 9*h + 22. Which is smaller: d or 8?
d
Suppose 2*c = -20 + 6. Let s be 223/20 + c/(-28). Is s less than or equal to 11?
False
Let c = 0.43 + 0.12. Let g = 36.55 - c. Let y = g + -36. Are y and 3 unequal?
True
Let k = -23 - -22.1. Let c = -1.1 - k. Let l = 739 - 754. Are c and l non-equal?
True
Let r = -3268 + 3386. Do r and 2028/17 have the same value?
False
Let n(d) = d**3 + 20*d**2 - 2*d - 33. Let t be 16 + -35 + (2 - 3). Let s be n(t). Suppose -7 - 3 = -2*x. Which is greater: x or s?
s
Suppose -28*m = -20*m + 24. Let n(q) = -q**3 + q**2 - 3*q + 4. Let j be n(m). Let k = 27 - -23. Which is bigger: j or k?
k
Suppose 5*x + 20 = 5*p - 0*x, -p - 1 = 4*x. Suppose -5*r + p*n = 4*n + 29, 5*r + 3*n = -27. Let q be ((-14)/r - 2) + (-84)/108. Is q equal to 0?
False
Let q(o) = o**3 - 7*o**2 - 33*o + 30. Let r be q(10). Let k be -5 - ((-6)/3)/2. Let u be (-9)/(-231) + k/22. Is r <= u?
False
Let n = 65.16 - 65. Let h = -97 - -97. Are n and h unequal?
True
Let h(u) = -u**3 - 22*u**2 - 42*u - 45. Let z be h(-20). Let f be z + 15821/2886 + 2/(-4). Which is smaller: f or 3?
f
Suppose -3*b + 5*r - 933 = 8*r, 307 = -b - 2*r. Let m be 4 + 918/b - 8/10. Which is smaller: m or -6?
-6
Let b be (-3 - 88/(-30)) + 118368/1620. Is 54 equal to b?
False
Let r be (0 + (-5)/5)/1 - 117. Let m = r - 1. Is m less than or equal to -118?
True
Suppose 5*m - 2*t + 795 = 0, 0 = 2*m - 5*t + 357 - 18. Let h be 6/2 + ((-6515)/40 - -4). Let s = m - h. Which is smaller: -1 or s?
s
Let a = -4606 - -2247731/488. Which is smaller: 0 or a?
0
Suppose -3*p = -2*h + p - 780, 0 = -h - 2*p - 386. Suppose -3*m = -b + 677 + 485, -4*m - 2*b = 1566. Which is bigger: h or m?
h
Let x = 6394.1 - 6394. Is 26/3 smaller than x?
False
Let k = 699 - 695. Suppose -r - 1 + k = 0, -3*r = -5*d - 4. Is d greater than 0?
True
Let z = 0.06 + 6.94. Let o = 198.3 - 200. Let j = -1.75 - o. Is z at most as big as j?
False
Suppose 35*y - 9156 = 16044. Let g be y/(-84)*2*(-3)/15. Is g at least 2?
True
Let k = -236 - -8266/35. Suppose 9*w - 6 = -3*a + 12*w, a - 8 = 4*w. Is k >= a?
True
Suppose 4*k = -3*i + 3, 3*k = 3*i + 1 - 4. Suppose 0 = -k*d + d - 6. Let v = 2681 + -16045/6. Is v equal to d?
False
Suppose 4*y = -4*c + 4000, -5*c - 2*y + 1005 = -4004. Suppose -c = 16*n - 3387. Which is bigger: n or 148?
n
Let a be ((-4)/(-2))/((-6)/39). Let w = a + 43. Suppose 3*q - 3*k = w, -k - 10 = -4*q + 15. Are 7 and q unequal?
True
Let u = -38.071 + 0.071. Let p = -6332 + 6293.8. Let w = u - p. Is 0.12 smaller than w?
True
Let b(h) = -42*h + 11. Let z be b(-3). Let s = z - 83. Suppose 2*v + 62 = s. Does -11/3 = v?
False
Let j = 54 - -88. Let c = 129 - j. Which is greater: 5 or c?
5
Suppose 4 = -5*g - 1. Let s = 2943/403 + -105/13. Which is smaller: g or s?
g
Let u(i) = 4*i**3 - 