= 0, h + 4*c = -21. Is h not equal to a?
True
Let c be (2/(-3))/(11/(-66)). Suppose 0 = 3*n - c*x - 49, 5*x - 128 = -5*n - 23. Which is bigger: n or 17?
n
Let f(v) = v**3 - 20*v**2 - 17*v - 22. Let i be ((-5)/(-20))/((-6)/8)*-63. Let t be f(i). Do t and 61 have different values?
True
Let u = 1046 - 1705. Is -659 at least u?
True
Let r be 1/(-6) - (-1189)/10086. Suppose 4*o + 1 = 2*l - 15, -16 = -5*l + 4*o. Is l smaller than r?
False
Let i = -434/3 + 146. Suppose 3*y + 1 = -o, -11 = -2*o + 5*y - 2. Which is smaller: o or i?
i
Suppose 2*q + 53 = -3*n, n + 2*q = 4*n + 37. Is -13 greater than or equal to n?
True
Let y(v) = v**3 + 9*v**2 - v + 2. Let t be y(-8). Let n be (-14)/2470*t/6. Let b = -2/285 + n. Which is bigger: b or -1?
b
Let i = -11.45 - -11. Let b = i - -0.33. Let m = b + 3.12. Is 2 bigger than m?
False
Let n = 143.2 - 143. Which is smaller: 47 or n?
n
Let b(a) = 2*a**2 - 19*a + 8. Let h be b(9). Does h = 1/233?
False
Let k be -4*(-4)/(40/31). Let n = k - 12. Let a = -6 + 7. Are n and a non-equal?
True
Let j(w) = 4*w - 36. Let u be j(10). Let s be (104/(-12) + 2)/(u/30). Does -49 = s?
False
Suppose 0 = 4*f + 5*z + 8, 2*f - 3*z - 9 = 3*f. Let x be 80/28 - f - 103/14. Does 0 = x?
False
Let c be 4 - ((-2)/(-4) + (-201)/6). Which is bigger: c or 38?
38
Let q = 53.9 - 54. Which is smaller: q or -1/24?
q
Let z be 4/(-18) - (16/(-18))/(-8). Are z and -0.64 equal?
False
Let r = 1906.5 + -1908. Which is bigger: -3 or r?
r
Let k be 10*(5382/(-675) - -8). Which is greater: k or 12/11?
12/11
Let w be (-3 + 2)*(-3 - 20). Let q(n) = n**3 - n**2 + 3*n - 3. Let i be q(3). Is w greater than or equal to i?
False
Suppose -17*n = 5 - 22. Suppose -56 = 3*h + h. Is n bigger than h?
True
Let m = 726 + -728. Which is smaller: -68/25 or m?
-68/25
Let i be 2 + (-2 - 1) + 58/57. Let h = i + -409/570. Is 0 bigger than h?
True
Let i(c) = c**3 + c**2 - 5*c - 5. Let o be 3/6*-2*2. Let a be i(o). Which is bigger: a or 2/13?
a
Suppose w = -4*w + m + 43, 28 = 4*w - 4*m. Suppose w*x + 8 = -10. Suppose v - 2*v = 1. Is v at least x?
True
Suppose 0 = -2*h - 5*k + 25, 0 = -h + 2*k - 4 - 6. Is -2/123 <= h?
True
Suppose 6 = 15*f - 69. Suppose 35 = -5*j + 4*k, k = -2*j + f*k - 26. Let i be 2/(-6) + 14/(-3). Is j at least as big as i?
True
Let x = 24 + -40. Let m = x - -10. Is -3 greater than or equal to m?
True
Let q be -3 - 3/(-5 - -2). Let h = 197 - 200. Which is smaller: q or h?
h
Let o be (-4)/8*(1 - -3). Let s be (o/(-126))/(3 + -2). Is s greater than or equal to 1/4?
False
Suppose 2*z + 6 - 2 = -w, 0 = 5*z + 4*w + 7. Let y be 55/z + (-4)/(-12). Let k = y + 71/4. Is k > 1?
False
Let k = 0.17 + -0.11. Let h = 0.11 - k. Let l = -0.8 - -0.7. Which is greater: l or h?
h
Let g = -1260 - -1255. Which is smaller: 2/7 or g?
g
Let y be (2052/90)/((-11)/5 + 2). Are -114 and y non-equal?
False
Let b be 5 + -10 + 18/3 + 2. Let h be 7*7/((-147)/(-18)). Do b and h have the same value?
False
Let a = 13.08 + -121.28. Let h = a - -104. Which is smaller: 2/3 or h?
h
Let z = -998 - -996. Which is smaller: z or -17/7?
-17/7
Let j = 5101/20 - 255. Let b = -2 - -3. Do b and j have different values?
True
Suppose -38 = -5*t - 8. Let s = -2/6777 + 38405/6777. Which is smaller: s or t?
s
Let z = -6.7 - -6. Let r = 3773/10 + -377. Let m = -7/90 + r. Is z less than m?
True
Let t = 1627/414 - 34/9. Which is greater: t or -1?
t
Suppose p + 42 = 38. Let y = -189/8 - -159/8. Which is smaller: p or y?
p
Let d be ((-16)/(-20))/((-68)/(-30)). Which is bigger: d or 1?
1
Let k = 10 - 7. Suppose -4*s = -3*b - 31, -1 = -s + b + 8. Suppose -3*t + 8 = 4*g + 1, 3*t = -g + s. Is k greater than g?
True
Let n be -7 + -19 - (-22 - -9). Suppose 3*i - 12 = 5*w, 2*w + 0*w = -i + 4. Suppose -l + 5*l + 56 = w. Is l bigger than n?
False
Let z(d) = -30*d**3 + 2*d**2 - 1. Let v be z(1). Let c = 30 + v. Let u = -1697/6 - -284. Which is bigger: u or c?
u
Let u = 1.2 + -0.2. Let c be (792/(-220))/((60/(-80))/(5/14)). Which is greater: u or c?
c
Let y = 0.2 - 0.3. Let a be (-1)/(-3) + (-1675)/(-15). Let r be a/(-455) - 4/26. Is r <= y?
True
Let h be 15 + -18 - (-3)/1. Let i be -10*(5/(-60) - h). Does i = -1?
False
Suppose 5*h - 1332 = 8*l - 6*l, -5*l + h = 3307. Which is greater: l or -1?
-1
Suppose -x + 20 = -3*y, -x + 30 = y - 6*y. Suppose z = -3*v - 20, 4*z + 40 = -2*v - 2*v. Let t be (y + (v - -3))*1. Which is smaller: t or -8?
-8
Let g be 2*(3 - (-3)/(-6)). Let t be (-6)/(-3) + 0 + -2. Suppose t = 5*u - 36 + 6. Which is smaller: u or g?
g
Let r(w) = -15*w + 515. Let q be r(34). Which is greater: q or 48/13?
q
Suppose 54 = -5*l + 2*l. Let i be 58/4 + 9/l. Is 14 > i?
False
Let k = -2.971 - -0.071. Let l = k + 4.9. Is 4 at least as big as l?
True
Let c be 328/(-64) + 15/40. Are c and -6 unequal?
True
Suppose -3*z + 20 = 5. Suppose -z*b = b. Which is greater: b or -7?
b
Let n = 1470 + -931. Which is bigger: 538 or n?
n
Let s = 5587 - 206733/37. Is s less than 0?
True
Let m = 5 + 2. Suppose m*x = 5*x + 10. Suppose 2*o + 0*o + 4 = -4*c, -x*c = -5*o + 35. Which is smaller: c or -1?
c
Let n = -1290/11 + 1802/33. Which is smaller: n or -62?
n
Let y = 2190 - 2199. Is y greater than or equal to -24?
True
Let q = 61 - 16. Suppose -60*p + 65*p - q = 0. Which is greater: 7 or p?
p
Let i(y) = -7*y - 31. Let x be i(-15). Is -4 at least x?
False
Suppose 4*b = -4*o + 20, 3*o = -2*b + 1 + 12. Suppose -2 = b*c - 10. Let f be (-3)/(-18) + c/48. Which is bigger: 15 or f?
15
Let d(c) = -c**3 + 7*c**2 - 8*c + 6. Let o be d(5). Let b be (1/(-21)*-29)/((-1375)/(-16500)). Is o <= b?
True
Let b = 42803/4284 + -293/68. Let n = -1/63 + b. Are n and 6 equal?
False
Suppose 0 = -c - 5*x - 2 - 4, 0 = -4*c - 2*x - 6. Let f = -111 + 157. Let z = f - 48. Is c > z?
True
Let y = 0.475 - -20.625. Let u = 21 - y. Let h(p) = p**2 - 7*p - 6. Let a be h(7). Is a not equal to u?
True
Let u = -2.5 + 3. Let q = u - 0.7. Let z = 0 + q. Is z smaller than -1?
False
Let u = -33/10 - -49/30. Which is bigger: -1 or u?
-1
Let z be (-5)/(-2 - (-2241)/1062). Is z >= -45?
False
Suppose -8*s - 27 = 1309. Let a = 168 + s. Which is greater: 7 or a?
7
Let j = -443/16164 - 10517089/14951700. Let q = j + 30/37. Which is smaller: 1 or q?
q
Let a = 5 - 5. Suppose a = -2*d - 0*d + 714. Let c = d - 4639/13. Are 0 and c equal?
False
Let p(m) = -7*m - 2. Let f be p(5). Let q = f + 37. Let o be 1 + (-34)/15 - -1. Do q and o have the same value?
False
Suppose -14 = 4*z - 2. Let t = -33 + z. Let n be (-22)/84 - 12/t. Does 0 = n?
False
Let t = -194 + 105. Which is smaller: t or -88?
t
Let a(z) = -3*z**3 + 22*z**2 + 12*z + 18. Let v be a(8). Which is greater: v or -17?
v
Let w be (2 + -6 + -4)*-40. Is 320 greater than w?
False
Let k(a) = -11*a**3 + a**2 - 31*a + 15. Let h(l) = -5*l**3 - 15*l + 8. Let y(c) = 13*h(c) - 6*k(c). Let g be y(7). Do g and 2 have different values?
True
Suppose 0*s + 4*s + 420 = -5*z, -4*s + 2*z = 392. Let c = s + 1102/11. Are c and 1 nonequal?
True
Suppose -26*l + 6*l = 40. Is l at least 3?
False
Let c = -123.6 + 124.9. Let l be 2/(-11) + (-20)/11. Let w be (0/l)/3 - 1. Which is smaller: c or w?
w
Let b = 0.4 + -0.27. Let r = b - -0.17. Let o = 12.9 + -12.7. Is o <= r?
True
Let m = 1618 + -427. Do m and -1 have different values?
True
Suppose 2*o - 1 = -69. Let m = o - -6. Is m at most -29?
False
Let c(a) = -a**2 + 8*a - 9. Let o be c(6). Let v = 1775 - 1774.6. Is v at least as big as o?
False
Let z be (-784)/(-48) - 4/3. Let b be (2 - z) + 2/1. Let m = -145/14 - -6/7. Which is smaller: b or m?
b
Let p be ((-1)/13)/(1 + -2). Let w(i) = i**2 - 2*i - 2. Let b = -35 - -34. Let v be w(b). Is v < p?
False
Let r be (1 - 1) + 15/297. Let t = -853/99 - r. Let j = 28/3 + t. Which is bigger: j or 6?
6
Let d be 5870/(-182) - 216/468 - (-8)/(-28). Suppose 4*k = 5*b - 382 + 22, 5*k + 437 = 3*b. Let f = k + 51. Which is smaller: f or d?
f
Suppose -5*k + 126 = -3*w - 187, 0 = -3*w - 4*k - 349. Which is greater: -332/3 or w?
-332/3
Let g be (-452)/14 + (-2)/(-7). Let z be 14*(-23)/10 + (-232)/290. Is z greater than or equal to g?
False
Let i = -99 + 102. Suppose -4*u + 0*u = -i*r + 32, 3*r - 5*u = 34. Do 9 and r have the same value?
False
Let w be (-1210)/105 - (-6)/9. Which is smaller: w or -0.3?
w
Let a(c) = c**2 - 6*c + 3. Let x be a(6). Suppose 5 + x = -g. Suppose 15*i + 600 = 