et k be 4 + -1 - (-41)/(-9). Is k <= -2?
False
Let d(n) = 2*n**2 - 2*n + 2. Let u be d(-4). Which is bigger: u or 44?
44
Let z(n) = 22*n + 1. Let h be z(-1). Let x = 164 + -184. Which is greater: h or x?
x
Suppose 5*v - 4*u = 2, 7 - 19 = -2*v - 4*u. Which is smaller: 2/803 or v?
2/803
Suppose -10*b - 22 = -2. Is b bigger than -6/23?
False
Let u = -49.94 - -0.94. Let o = u + 50. Which is greater: 0.07 or o?
o
Let p be (-4 + 40/12)*(-2)/(-73). Which is smaller: p or -1?
-1
Let y = 48 - 64. Let k be (8/10)/(4/10). Suppose a - 15 = k*a. Which is smaller: y or a?
y
Let j = -6399/100 + 64. Which is bigger: 2/5 or j?
2/5
Let v be ((-15)/4)/(9/(-2)). Is v smaller than -0.03?
False
Let s(g) = -6*g**2 - 12*g - 36. Let v be s(-5). Which is bigger: v or -127?
v
Let k = -1/6 + 0. Let v(l) = l**3 + 5*l**2 - 6*l + 1. Let d be v(-6). Suppose -x + 2*x + r + 2 = 0, -4*x + d = -5*r. Which is smaller: x or k?
x
Suppose -2*d + 10 = 0, 0*v + 4*d - 38 = -3*v. Suppose -5*k + 3*k = -162. Let a = 89 - k. Is a != v?
True
Let j = 13.8 + -12.88. Let o = -1.92 - -2. Let c = j + o. Which is bigger: c or 0.1?
c
Let x(b) = b**2 + 11*b + 10. Let i(d) = -d - 2. Let k = 9 + -1. Let z be i(k). Let n be x(z). Is n less than or equal to -4/5?
False
Let m = 23/17 + -109/68. Which is smaller: m or 1.73?
m
Let x = 43719300/29 + -1507918. Let f = x - -356. Suppose -3*g + 14 - 5 = 0, 2*q - 3*g = -7. Which is smaller: f or q?
f
Let g(j) = -j**3 - 8*j**2 - 8*j + 8. Let z be g(-7). Let t be 12/z*50/(-4). Let r be (4/t)/((-4)/5). Which is greater: r or 2?
2
Suppose 3 = -3*t - 2*d - d, 2*t + 5*d - 7 = 0. Let c be 6/(-9)*(-6)/t. Which is greater: -5 or c?
c
Let r = -6.07 + 5.86. Let i = -1.2 + 1. Let d = i - -0.3. Are r and d unequal?
True
Let q(o) = -o**2 + 8*o + 22. Let c be q(10). Suppose i = -2*s - 2*i + 75, -2*s - c*i = -70. Which is smaller: s or 29?
29
Let x(l) = l + 1. Let w be x(4). Suppose 0 = 5*t - w*p - 110, 39 = 2*t + 4*p - 17. Is 24 greater than or equal to t?
True
Let q = -15017/5 - -3014. Let u = q - 629/15. Let f = -847/27 - u. Is 0 < f?
False
Let r be -2*2/12 - 730/6. Let u = r + 126. Is u smaller than 21/4?
True
Suppose -5*w = 41 + 24. Which is bigger: -16 or w?
w
Let p = 0.6 - 0.71. Let u = p - 7.89. Let i = u - -9. Is i > -1/4?
True
Suppose 4*n - 4 = 4*p, -5*n + p = -p - 2. Is n at most 28/53?
True
Let b = 55 + -159. Suppose q = -3*u - 308, 10 - 326 = 3*u - q. Is b at most u?
True
Let y = -28.8 + 58.8. Which is greater: 0 or y?
y
Let x = 1084 - 771. Is 313 bigger than x?
False
Let c be (33 - 3 - -1) + -3. Let h be c/12 + (-1)/3. Let q(n) = 3*n - 3. Let g be q(h). Which is greater: g or 1?
g
Let n = 0.5 - -1.5. Let l = 0.26 - 13.26. Let z = -15 - l. Is n not equal to z?
True
Let r be (31/20)/(51/68). Is 1 > r?
False
Let q = -4 - -4. Suppose q = -2*w + w + 1. Let b be (w - (-28)/(-30))*-2. Which is greater: b or 0?
0
Let x = -176 + 182. Is 36/5 equal to x?
False
Let l be (-828)/(-11340) + 6/(-14). Do l and 0 have the same value?
False
Suppose 4*t - 5*n = 34 + 52, -2*n = 3*t - 53. Suppose -3*f + 0 = -w - t, -41 = -2*f - 5*w. Which is smaller: f or 5?
5
Let a(z) = z**3 - 4*z**2 - 9*z - 7. Let n be a(6). Let t be (3/(-6))/(52/(-16) - -3). Is t < n?
True
Suppose -5 = 5*w - 0. Let k = 644.9 - 701.9. Is k smaller than w?
True
Suppose d - 412 = -2*q - 133, -3*d = 5*q - 698. Which is smaller: q or 136?
136
Let j = -813 - -814. Which is smaller: 2/1401 or j?
2/1401
Let f = -420373/375 + 1121. Let c = f + -88/875. Which is greater: 0 or c?
0
Let c(v) = v**3 + 8*v**2 + v - 6. Let a be c(-6). Suppose 9*t = 4*t + a. Let j = t + -5. Is 6 equal to j?
False
Let s = -16742519/72 + 232540. Let k = 338/17 + -2294/153. Let b = s - k. Which is greater: -1 or b?
b
Let s = -23 - -50. Let l = 20 - s. Let o = l + 1. Which is smaller: o or -5?
o
Let f = -44 + 86. Let i be (80/(-15))/4*f/5. Which is bigger: -12 or i?
i
Let o = -1026 - -1027. Which is smaller: 38/73 or o?
38/73
Let n = 44 - 73. Let m = n - -28. Is m greater than 1?
False
Let j(a) = -2*a**2 - 13*a + 8. Let y(q) = -12*q**3 + q**2 + q - 1. Let t be y(1). Let h be j(t). Let v be 208/h + 2/7. Is 0 smaller than v?
False
Let l be 1 - (1 - 2) - 160/4. Is -38 greater than or equal to l?
True
Let q be (-96)/(-52) - 4/(-26). Let m = -6.02 - -6. Which is smaller: q or m?
m
Let z = 4170 + -1309379/314. Is z <= 0?
False
Suppose 0 = 3*i - 0*i. Let h = 6 + i. Let a be 4 - h/(1 - -1). Which is bigger: a or 1/6?
a
Let y(l) = 65*l - 377. Let j be y(21). Which is smaller: j or 987?
987
Let g be (-1)/((-4)/6 + 1). Let i be (-1 - g)/(4/14). Suppose -t - 2 + 17 = 7*q, q + 5*t + 27 = 0. Is i <= q?
False
Let b(r) = 2*r + 2. Let w(i) = -i + 7. Let p be w(7). Let t be b(p). Suppose -t*x - 1 = 1. Do -4 and x have different values?
True
Let f(i) = -i**2 + 7*i - 9. Suppose -5*v - 51 = -2*y, 5*y - 2*v + 14 - 89 = 0. Let h be f(y). Let j = 1129/13 + h. Is j < 2?
True
Let b(v) = -2*v**2 + 8. Let q be b(-2). Which is bigger: -2/917 or q?
q
Let c(g) = g - 8. Let v be c(17). Suppose -45 = -3*m - v. Which is smaller: 15 or m?
m
Suppose 2*d + 3*d + 5 = 0. Let w be ((-4)/2)/d + -4. Let t = w + 3. Which is greater: t or 1/12?
t
Let c = 102 + -102. Which is bigger: c or -2/17?
c
Let v = -1869 + 1869. Suppose 90 - 245 = 5*n. Let h be 9/n*(-6)/(-9). Which is greater: h or v?
v
Suppose 207*k - 81 = 198*k. Is k not equal to 15?
True
Let y be -1 + (-2 + 1)/((-564)/556). Let l = y + 292/705. Which is bigger: l or 1?
1
Let p be (-4 + -3 - -4) + 12. Let o = 12 - p. Let z be (-1)/o + (-5 - -5). Which is greater: -3 or z?
z
Suppose 5 = 4*y + 1. Let d = 98756/17 - 5809. Which is smaller: y or d?
d
Let v be (-6)/(-3)*(-3)/5. Let n = 37 - 36. Let t be (n - 1)/(-3 - -1) + 0. Which is bigger: v or t?
t
Let i(l) = -l - 252. Let k be i(34). Is k <= -854/3?
True
Let c be ((-4)/(-6))/((-350)/30 + 11). Let j = 107/470 - 6/47. Which is bigger: c or j?
j
Suppose 7*i - 12 = 11*i. Let x = 4 + i. Is x <= 2/3?
False
Let q be (-3)/((-44280)/(-4912) - 9). Which is smaller: q or -205?
-205
Suppose 5*o - 4*l + 86 - 13 = 0, -2*l - 40 = 2*o. Let k = -26 - o. Do k and -9 have the same value?
True
Let f = -160 + 161. Do f and 46 have the same value?
False
Let x(k) = 83*k - 48. Let s be x(2). Are s and 116 nonequal?
True
Let f = 777 + -776. Is f > 256?
False
Let s = -6.96 + 7.2. Is 14 <= s?
False
Let q = -2 + -45. Let n = 48.6 + q. Do n and 0.2 have the same value?
False
Suppose -29*h = 36*h - 25*h. Is -1/625 bigger than h?
False
Let i be (-2)/(-18 + 8) + 321/(-5). Is -64 at least as big as i?
True
Let r(h) = h**2 - 6*h - 89. Let u be r(11). Are -34 and u unequal?
False
Let v be (-1 + 12/8)*0. Suppose 0 = n - v - 4. Let a be (-2)/n - 94/(-172). Which is bigger: 0 or a?
a
Suppose -65 = -6*h - 161. Is h >= -15?
False
Let q be 4/(-30) - 21452/(-465). Is 48 equal to q?
False
Let f = 5.6 - 6.27. Let a = f - -0.07. Let g = -0.9 - -1.9. Is g equal to a?
False
Suppose 11 - 81 = 2*p - 2*b, 4*b = 2*p + 74. Let v = 38 + p. Suppose 0*z - 24 = -4*z. Which is smaller: v or z?
v
Let m = 882137/202 + -4367. Which is smaller: -1 or m?
-1
Let j = 7480 + -7481. Let x(q) = 2*q**3 + 6*q - 6*q**2 - 4*q**3 - 4 + 3*q**3. Let y be x(5). Is j smaller than y?
True
Let u = 31 + -37. Let w be u/(-36) + 381/(-18). Is w >= -22?
True
Let k be -1*((-1 - 2) + -11). Let v = k - 11. Let a be v - (82/16 + -2). Which is greater: a or -1?
a
Suppose 0 = -3*t + 2*t + 3. Suppose 0*f = t*f - 6. Which is greater: f or -5?
f
Suppose -3*t - 2*f = -3, 12 = -t + 4*t + 5*f. Let i be (4 + (-3 - 0))/t. Is i > -2/39?
False
Let u = 1/603 - 1237/18693. Let j = -9634 - -9634. Is u at most j?
True
Suppose 0 = -4*p - 16, 0 = -g + 2*p - 4 + 10. Let b be (-2)/(-10) - (-3003)/(-765). Let x = b - -18/17. Which is smaller: g or x?
x
Suppose 22*t - 24*t + 4 = 0. Suppose -t = 2*a - 6. Which is bigger: a or 8/3?
8/3
Let d = -2111.01 + 2111. Is 78 greater than d?
True
Let p = -1153 - -1185. Is 25 less than p?
True
Let f = 3237/4 + -837. Which is smaller: -27 or f?
f
Suppose o = -29 - 9. Let z = o - -34. Is z at most -3?
True
Let l = 26/7 - 1683/455. Is l > 0?
True
Let g = -2916425/1064 + 2741. Is g smaller than -1?
False
Suppose 21*v - 399 = 24*v. Let c = 204 + v. Which is greater: c or 70?
c
Let q(x) = -x**3 - 5*x**2 - x - 1. Let c(b) = b**3 + 2*b**2 - 3*b - 4. Let a 