861/163540 - -1/1924. Let c = y - -3/170. Is k bigger than c?
False
Let f(z) = z + 2. Let l be f(-5). Let u = 215 + -210. Which is smaller: u or l?
l
Let w = -31 + 16. Let j = -12 - w. Let q be 2/j*12/(-8). Is q > -3/14?
False
Let r be (-7626)/(-1643)*(-1)/3. Are -2 and r non-equal?
True
Let x be (75/(-60))/((-1)/4). Suppose x = 10*w - 55. Is w <= 6?
True
Suppose -6*a - 493 = -481. Do a and -32/23 have different values?
True
Let q be 2 - 12*(-2)/1. Suppose 0 = -377*c + 1450 + 1863 + 4981. Is q < c?
False
Let z be (78/(-72) - -1)*(-16)/78. Is z bigger than -1?
True
Suppose -3*h = 1 + 8. Let r = -65 + 72. Is h less than or equal to r?
True
Let g(i) = 41*i + 29 + 6*i**2 - 3*i**2 - 2*i**2 + i**2. Let a be g(-20). Which is smaller: a or 13?
a
Suppose -6*h + 165 = -h. Suppose -2*t - 65 = -7*t. Let y = h - t. Is 20 bigger than y?
False
Let h = 1.143 + -1.143. Is -13 < h?
True
Let b = 125.183 + -0.183. Is -1/3 equal to b?
False
Let y be (5372/(-112))/(-17) + -3. Let k(j) = -j**3 + 5*j**2 + 1. Let r be k(5). Which is smaller: r or y?
y
Let v = 950 + -944.9. Which is bigger: -4 or v?
v
Let u be 9*(-16)/6*5/(-60). Are 3 and u unequal?
True
Let u(c) = -c**3 + 8*c**2 + 12*c - 17. Let l be u(9). Let f = -0.2 - 2.8. Let s = 4 + f. Is l bigger than s?
True
Let z = 2386 - 2389. Suppose -m = 3*h, 0 = m + 2*h + 2*h. Do z and m have different values?
True
Suppose -176*l + 173*l = 6. Is -29/23 smaller than l?
False
Let l = 44 + -45. Let g be (-5)/(5/l)*-3. Let n = 5 + -9. Is g > n?
True
Let o be 1/(-2) + 50/4. Let j = o + -3. Let s = -10 - -19. Is s equal to j?
True
Let s = -19 + 22. Suppose -z + 95 = 4*p - s, 2*p + 4*z = 42. Let b = p + -26. Which is smaller: -1/3 or b?
b
Let b be 0 - (2 + -1 + 0). Let g be 48/(-4) - -2 - b. Let p be (2/g)/((-2)/3). Which is smaller: 1 or p?
p
Let o = -311 + 319. Is 2 equal to o?
False
Let q = -36 + 126. Which is greater: 89 or q?
q
Let x = 294.16 + -9.16. Which is smaller: x or 2?
2
Let y(a) = -5*a - 2. Let p = 4 - 8. Let x be y(p). Let i = 6 - x. Are -12 and i equal?
True
Let l be 18/8*(-1472)/(-24). Is 137 less than l?
True
Let k = -2739 - -2717.02. Let b = 22 + k. Do b and 0.4 have the same value?
False
Let r be ((-3)/(-4))/((-1)/4). Do -24/13 and r have different values?
True
Let i(v) = v**3 + 6*v**2 - v - 7. Let j be i(-6). Let g = j - -1. Let q be 9*(-2)/(-12) - 9/6. Is q smaller than g?
False
Let r be (-4 + 9)/(5/(-115)) + -2. Which is greater: -115 or r?
-115
Suppose -10 = -3*j + 5*m, 2*j = 3*j - 2*m - 4. Suppose j = 4*d + 12 - 20. Let y be (0 - 0) + (-1 - -1). Is y equal to d?
False
Let h = -11 - -18. Let v = -7.1 + h. Let s = 3 + -1. Is s greater than or equal to v?
True
Let k(u) = -u + 24. Let h be k(23). Let w be 14 - (0 - -1) - 1. Let v be h + -2*4/w. Are v and 11/5 equal?
False
Let q be 4/(-5) + 33/(-15) + 3. Is q > -3/415?
True
Let c(p) = p**3 - 13*p**2 - 16*p + 18. Let w be c(14). Let m(n) = n - 3. Let l be m(-5). Which is bigger: l or w?
l
Suppose 6*w - 2*w - s - 215 = 0, 2*w - 112 = 2*s. Suppose -2*l - 5*y = l + w, 4*y + 110 = -5*l. Is l <= -26?
True
Suppose -3*k + 71 - 20 = 0. Suppose -2*y - k = -65. Suppose y*p - 21*p - 3 = 0. Which is bigger: 2/47 or p?
p
Let t(m) = -m**2 - 18*m - 35. Let z be t(-15). Suppose -14 + 4 = -z*b. Which is greater: -0.018 or b?
b
Let m be (-4)/(4/(-5)) + -1. Let x be 3 - (-44)/m*13. Let i be 16/88 - x/924. Which is bigger: 0 or i?
i
Let j = -282 - 370. Is j less than -653?
False
Let g(x) = 2*x**3 - 42*x**2 - 37*x - 50. Let z be g(22). Does 104 = z?
True
Let c be (408/357)/(2/3). Which is smaller: c or 2?
c
Suppose 4*n = -2*l + 52, -24 = -2*l + 4*n - 4. Let c be (-74)/l + 36/9. Is -1 at least c?
False
Suppose 2*f = -2*f - 100. Let j be (-2)/10 + (-530)/f. Is j at least 21?
True
Let s be 30/((10*-1)/(-5)). Let q be (-54)/s*((-12)/(-8) - 4). Which is greater: q or 10?
10
Let m(a) = -a**3 - 10*a**2 + 10*a - 8. Let w be m(-11). Suppose 0 = -2*g - w*g - 30. Which is greater: g or -14?
g
Let p = 4.4 + -3.6. Let u = p - 0.7. Does u = 1/34?
False
Suppose 35*h - 30*h = -40. Let m be (38/h + 4)/((-3)/264). Is 65 at least as big as m?
False
Let l(u) = -5*u + 61. Let o be l(-24). Which is bigger: o or 180?
o
Let z be (-1)/(-5) - (-1806)/(-30). Let d be 18/45*z/(-2). Let v be (-116)/78 + 16/d. Is v at most as big as 1?
True
Suppose -4*h = 8, -3*g - 4*h + 12 + 4 = 0. Suppose 4*x - 32 + 8 = 2*c, -18 = -3*x - 2*c. Suppose x*s = s + 35. Are s and g equal?
False
Let w = -15.15 - -0.15. Let p = w + -1. Let t = p + 16. Is -2/11 greater than t?
False
Suppose 5*m + 5 = 0, 9*n + 3*m + 143 = 4*n. Let o = -21 - n. Is o less than 4?
False
Let r(t) = 2*t**2 + 5*t + 17. Let j be r(-5). Suppose 4*m - 140 = -0*m - 5*c, -3*c = -m + 52. Which is bigger: j or m?
j
Let s be 3/(-4)*6/99. Let v(q) = 4*q**2 - 2*q + 1. Let y be v(1). Suppose -y*p - 1 = -4*p. Which is bigger: p or s?
p
Let w be (-18 + 17)/(3/(-12)). Which is greater: -2/13 or w?
w
Let r = 0.21 + 12.79. Let s = 0.47 - -18.53. Let o = r - s. Is o > 2?
False
Let q = 632 - 805. Is q < -0.2?
True
Let m = 13 - -1. Let t = m - 13. Which is smaller: t or 2/5?
2/5
Let y(o) = o**2 + o + 1. Let j be y(-3). Let z be -174*((-1302)/(-44))/j. Let d = 735 + z. Which is smaller: -2 or d?
-2
Let i(j) = 13*j**3 - 3*j**2 + 9*j - 7. Let a be i(1). Which is smaller: 7 or a?
7
Let b = 2.42 - 2.62. Which is bigger: b or -76?
b
Suppose -3*w = i - 23, -3*w - 35 - 2 = -2*i. Let g = i + -13. Suppose -3*s + 2 = -g. Which is smaller: 4 or s?
s
Let t(l) = -2*l - 11. Let k = 7 + -13. Let j be t(k). Let s(z) = -z**2 + z. Let o be s(j). Is o greater than or equal to 2?
False
Suppose 5*g = -25 - 55. Let y = -41 + 24. Which is smaller: g or y?
y
Let u be 2/(16/(-84)) + 4. Suppose -2*s - s = 18. Which is greater: u or s?
s
Let a = -94.63 - -57.62. Let z = -1.53 + -35.47. Let b = a - z. Are b and -4 equal?
False
Let p = -67 + 25. Which is smaller: -7 or p?
p
Let y = -871 + 1960. Let k = y - 44647/41. Let u = 0.6 + -0.7. Which is smaller: u or k?
u
Let q = 24 + -37. Let p = 13.2 + q. Is 4/7 less than p?
False
Let s = -0.09 + 0.23. Let y = s - 0.04. Let l be -4 + 1 + (-57)/(-21). Which is smaller: y or l?
l
Let h = -35 + 43.5. Let u = 1.5 - h. Let c = u + 7. Which is greater: c or 2/7?
2/7
Let o = -24 - -24. Let w = 14.5 + -16. Let q = w - -0.5. Which is greater: o or q?
o
Let x be 59500/(-262080) + 4/18. Let w(j) = -j**2 + 6*j + 6. Let c be w(7). Which is smaller: x or c?
c
Let q = 0.038 - -22.962. Let j = -22 + q. Let w = 8 - j. Which is smaller: -2/7 or w?
-2/7
Let d = -31 + 34. Let k(j) = -j**3 + 5*j**2 - 8*j + 4. Let c be k(d). Which is smaller: 0 or c?
c
Let n(c) = -c**2 - 4*c + 2. Let l be n(-4). Let m be 2/4*-11 + l. Let t be (-3 - -6) + -4 - 2/1. Is m > t?
False
Suppose -3*n + 4*j + 0*j - 18 = 0, -2*j = -3*n - 12. Let o be (n/18)/(22/33). Let y = -107 - -107. Is o smaller than y?
True
Let z(g) = g**3 + 13*g**2 + 28*g - 20. Let q be z(-10). Which is smaller: -27 or q?
-27
Let o(w) = -w**3 + 24*w**2 + 46*w + 155. Let k be o(26). Do 1/270 and k have the same value?
False
Let z be (-132)/(-21) + (-8)/12*9. Are 35.4 and z nonequal?
True
Let k be 38/(-63) + (-2)/7. Suppose 2*r + 3*a + 6 = -r, -r + 6 = -a. Suppose 3*j + r = 2*j. Is k greater than or equal to j?
True
Let s(d) = d**2 + 6*d + 7. Let v(o) = -2*o**2 + 8*o + 6. Let j be v(5). Let n be s(j). Is n > 6/31?
False
Let l(q) = -q**2 - 50*q - 76. Let i be l(-46). Is i >= 106?
True
Suppose 2*j - 1 = f, -11*j = -9*j - 3*f + 1. Let p(w) = -w**3 - 5*w**2 - 4*w - 2. Let c be p(-4). Is j > c?
True
Let m = -177.88 + 178. Suppose 0*w + 10 = -5*u + 4*w, 3*w - 2 = u. Which is smaller: m or u?
u
Suppose 5*q + 113 = -5*m + 2*m, -m = 2*q + 37. Which is greater: m or -48?
m
Let s = -226 - -134. Is s < -92?
False
Suppose -30 = 36*n - 66*n. Is -60/139 bigger than n?
False
Let m = -0.211 - -0.111. Is m <= -0.7?
False
Suppose 0 = 2*x - 4*f + 158, -x - 27 = 5*f + 45. Which is smaller: x or -78?
-78
Let d(c) = 4*c + 12. Let h be d(4). Let y be (8/h)/(4/14). Which is smaller: 1/4 or y?
1/4
Let z(v) = v**3 - 6*v**2 + 6*v - 14. Let f be z(-6). Let p = f + 15904/33. Which is smaller: 0 or p?
p
Let v(n) = n**2 - 4*n + 7. Let x be v(3). Suppose -2*i - i - 11 = -x*j, -5*i - j - 3 = 0. Are i and 3/7 non-equal?
True
Suppose -136 = -12*h + 4*h. Suppose 30 = -12*