 = -4*c - 4*h + 4. Let j(v) = -v**2 + 8*v - 7. Let x be j(c). Suppose 4*n + x = 4. Do -1/3 and n have different values?
True
Let a = -95/3 - -5. Let c = -406/15 - a. Is -1 greater than c?
False
Let r(i) = 5*i**2. Let t be r(1). Suppose o - 1 + 5 = 4*j, -14 = -t*o + 3*j. Is o at least 0?
True
Let d = 5.3 - 4.9. Which is bigger: d or 16?
16
Suppose 54 = -x + 5*k - 2, 5*k = -2*x - 37. Which is smaller: x or -30?
x
Suppose 4*s + 3*x + 8 = 0, 3 = s - 2*s - x. Which is bigger: s or 2/19?
s
Let a = 7 + -5. Let l = -0.43 - -0.5. Let h = l - 0.07. Is h smaller than a?
True
Let l = -101 + 100. Let b = -139 - -5700/41. Let x = b - -119/164. Is l greater than or equal to x?
False
Suppose -a - 5*k = a - 3, -4 = 4*k. Let i be (8/(-14))/(a/(-14)). Are i and 1 equal?
False
Let f(z) = -6*z**2 + 2*z + 1. Let j be f(-1). Let h = 8 + j. Is 1/25 less than h?
True
Suppose -4*c = 4*x - 56, c - 2*c = -5*x - 2. Let r be 8 + c/(4*-1). Let n = 10 + -4. Is n >= r?
True
Suppose j - 11 = -5*f, 4*j + 2*f + 3*f = 14. Let d be (-9)/(-12)*j/(-3). Which is smaller: 1 or d?
d
Let z = -0.75 + 0.65. Let s = -1 + 0. Is z smaller than s?
False
Let f = 3.8 + 0.2. Let p = f + 4. Let y = p - 6. Which is bigger: y or 0?
y
Let h(p) = p + 2. Let a = -7 - -7. Let y be h(a). Is 4 < y?
False
Let t(g) = g + 10. Let i be t(-7). Let h = -1 - i. Let n(m) = 2*m + 4. Let w be n(-4). Is w < h?
False
Let c = -1022/779 + 24/19. Which is greater: c or 0?
0
Suppose -g + 1 = -3*n, -3*g - n + 14 = 1. Suppose -5*b = -v - 5, g = 2*v + b + 3. Which is bigger: 2/43 or v?
2/43
Let y(z) = -z**2 - z + 2. Let a be y(-3). Let f(k) = -4*k + 7. Let g be f(5). Let n = 7 + g. Are n and a unequal?
True
Let o(u) = 5*u**3 - 7*u**2 - 2*u - 6. Let k(j) = 14*j**3 - 20*j**2 - 6*j - 17. Let r(z) = 6*k(z) - 17*o(z). Let p be r(-2). Let q be 2/p - 25/20. Is -2 <= q?
True
Let i = 6/61 - 1128/305. Let m = 49/15 + i. Is 1 less than m?
False
Let n = -8.312 - 0.088. Let j = n + 13.3. Let w = j + -5. Which is greater: w or -6?
w
Let m(b) = 13*b - 28. Let a(t) = t - 1. Let q(d) = 8*d - 12. Let v(s) = 5*a(s) - q(s). Let o(p) = -2*m(p) - 9*v(p). Let i be o(5). Which is greater: -1/2 or i?
-1/2
Let g = 0.32 - 0.24. Is g at most 0.04?
False
Let s be (2/14)/(2/6). Let p = -2 + 2. Which is smaller: p or s?
p
Suppose 4*k = -5*p, 0 = -k - 2*k - 15. Suppose p = u - 1. Suppose 2*a + 4*h - 4 = 3*h, 3*h = -12. Is u greater than a?
True
Suppose -2*o + 3 = -g, -2*o - 8 = -3*g - 1. Suppose 2*x + 10 = -5*j, 2 + o = -3*j. Is x at most 0?
True
Let z = -447/187 - -36/17. Suppose 2*m - 3*m = 0. Suppose s = -m*s. Which is smaller: z or s?
z
Let i = -15 + 7. Let x = 8 + i. Is -1 equal to x?
False
Let c = 987/1592 + 1/199. Which is bigger: 2 or c?
2
Let b = -189 - -191. Is -14 smaller than b?
True
Let t = -2 - 1. Let m be -1 + 0/(t/(-1)). Suppose -9*n - 15 - 3 = 0. Is n greater than or equal to m?
False
Let x = 160 + -490/3. Is x at most as big as -3?
True
Let u = -8 + -4. Let k = 58/5 + u. Is k at most as big as -4?
False
Suppose 0 = -59*c + 54*c - 125. Which is smaller: -3 or c?
c
Let z be (5/3 - 2)*-15. Suppose z*b - 20 = b, 0 = 5*l - 2*b + 40. Which is bigger: l or -7?
l
Let n = -8 + 5. Let m be 1/3 - 23/n. Let d be (m/42)/((-2)/(-3)). Does 1 = d?
False
Let l = -304 + 304. Let k = -5659/115 + -1136/23. Let d = -99 - k. Is l equal to d?
False
Let k(s) = -214*s + 1. Let p be k(-2). Suppose 0*c + 3*c = -p. Let i = 712/5 + c. Which is bigger: i or -2/5?
-2/5
Suppose 4*f = 4 + 4. Suppose 3 = f*o + 5. Which is greater: o or 2/33?
2/33
Let c be (-3)/(-9) - 33211/(-87). Let w = -382 + c. Let h = w - -48/145. Which is smaller: -0.1 or h?
-0.1
Let p = -22/71 + -47/994. Let t = -1/2 - p. Which is smaller: t or 2/7?
t
Let r be ((-3)/9*0)/(-2). Suppose 3*v = 20 - 2. Let f be 4/6*9/v. Is f greater than or equal to r?
True
Suppose 2*u - 11 = p - 0*p, 5 = -3*p - u. Let w = p - -14. Suppose -w = 3*s - 2. Is s less than -3?
False
Let s = 8 + -13. Let d = -4 - s. Is d at least 2/57?
True
Suppose -2*n + 10 = 3*n. Suppose 5*j - n*j = 0. Suppose 0*a + 4*a + 4 = j. Which is smaller: -1/4 or a?
a
Let f(n) = n - 7. Let q be f(5). Let c be (1*0/q)/3. Let b = -41/2 + 21. Do b and c have different values?
True
Let d = -0.04 - 0.36. Let v = 9 + -8.7. Let o = v + d. Do o and -0.1 have the same value?
True
Let w = 29 + -29.4. Let s = -2.7 - -3. Let v = -1.3 + s. Is v < w?
True
Let h(y) be the first derivative of -y**3/6 + y**2 + 3*y - 3. Let j(l) be the first derivative of h(l). Let c be j(2). Which is smaller: -2/25 or c?
-2/25
Let b = 2 + -11.8. Let c = 9 + b. Let w be (-42)/80 - 1/(-8). Is w equal to c?
False
Let v(j) = -42*j**3 + 2*j + 3. Let f be v(-1). Do 43 and f have the same value?
True
Suppose 4*j = -5*g + 4, -3*g + 7*g + 2 = 2*j. Let p be j/((-3)/(-1)) + -1. Suppose -v + 6*v + 3*t + 9 = 0, -4*t - 12 = 5*v. Which is bigger: v or p?
v
Let t = -38/3 + 412/33. Let q(f) = -2 - f - f**2 - 2*f**2 + 1 + 4*f**2. Let b be q(0). Which is bigger: t or b?
t
Let g be (-2)/6*(-9)/3. Which is greater: 6/7 or g?
g
Let c be -3 - 1/(11/(-48)). Let l = -56/33 + c. Is 1 at most l?
False
Let m be 2157/(-90) + 2/4. Let h = m - -71/3. Are 2/7 and h non-equal?
True
Let y(a) = a**2 + 29*a + 53. Let z be y(-27). Is -2/15 at most as big as z?
False
Let r = 58 + -62.7. Is -2/3 at most as big as r?
False
Let d(l) = l**2 - 7. Let g be d(0). Suppose 0 = w + 2, 5*w + 1 + 3 = -2*s. Let j = s + g. Which is smaller: 0.1 or j?
j
Let t be (-2)/15 + (-20)/(-150). Let h(d) = 2*d + 2. Let n be h(t). Which is smaller: n or -1/4?
-1/4
Suppose 5*w - 4*c + 78 = 0, -5*c + 15 + 24 = -3*w. Is w less than or equal to -18?
True
Suppose 4*g - 13 = -3*c, -3*g = -c - 0*g. Suppose -3 = h + 2*m - 0, -6 = c*h + 3*m. Let k = -111/4 + 27. Is k at least as big as h?
True
Let c = 24 + -24.1. Let m = -6 + -1. Is c smaller than m?
False
Let f be -4 - (-111)/18 - 2. Which is greater: 1 or f?
1
Let r be ((-2)/(-3))/((-1)/9). Let j = -7 - r. Which is greater: 2/7 or j?
2/7
Let x = -823/2 + 422. Let l be 394/(-40) - (-2)/(-8). Let t = x + l. Is 0 >= t?
False
Suppose 4*x - 2*z + 7 + 1 = 0, 4*x + 5*z - 20 = 0. Suppose 2*h + 187 + 6 = -3*w, h + 114 = 2*w. Let a = h + 518/5. Which is greater: x or a?
x
Let n(v) = -v**3 - 11*v**2 - 10*v - 8. Let x be n(-10). Let t = -7 - x. Which is smaller: t or 0?
0
Suppose -2*p = 2*p. Is -2/127 smaller than p?
True
Let z(l) = -3*l + l**2 + 4 - 2*l**2 + l + 0*l. Let i be z(-3). Let j be i/5*(-75)/18. Do 0 and j have different values?
True
Suppose 30 = -2*j + 5*j. Let i be (-6)/j - (-69)/15. Which is smaller: 5/2 or i?
5/2
Let z = 9.997 + -10. Which is smaller: 0 or z?
z
Let i = 5 - 4.9. Let z = -2.1 + 2. Which is greater: i or z?
i
Let r be (-4)/5*5/2. Suppose 4*q = 3 + 1. Let o = q + -2. Is o <= r?
False
Let d(r) = -r - 5. Let z be d(-5). Let s be 306/(-564) - 1/(-2). Let c = 43/94 - s. Which is bigger: c or z?
c
Let v(i) = i**2 - 4. Let w be v(3). Let k be 8 + (2 - -10)/(-4). Is w greater than k?
False
Let h = 1 + -9. Which is smaller: h or -27/4?
h
Suppose 0 = 6*w - 490 + 16. Is w less than 79?
False
Suppose -t + 4*t - 12 = 0, 0 = -4*c + 2*t - 116. Let j = c - -29. Which is bigger: 5 or j?
5
Let b(i) = 2*i - 6*i - 8 - 2. Let o(g) = g + 1. Let u(k) = b(k) + 3*o(k). Let m be u(-4). Which is smaller: -7/4 or m?
m
Let v = -0.065 + -6.235. Let q = v - -6. Do q and 3 have different values?
True
Let l = 31/90 + -2/45. Is -1 at least as big as l?
False
Let b be (-46)/(-14) - 2/7. Let k be 16/6 - (-1)/3. Is k != b?
False
Suppose 4*d = 3*d - 1. Let l be 3 + -2 - (d - -2). Let n = 1 + -1. Is n equal to l?
True
Let y = 383/7 - 54. Which is greater: y or -1?
y
Let b = 82 - 74. Is 72/11 > b?
False
Let g = -2.26 + 0.26. Is 0.3 greater than or equal to g?
True
Let o = -15 - -21. Suppose 3*g = 180 + o. Let a = g + -247/4. Is a < -2?
False
Let j = -7 + 5. Let h = 4 - 1. Let g = j + h. Which is bigger: 2/7 or g?
g
Let q be 444/42 - (-6)/14. Do 11 and q have the same value?
True
Suppose 3*r - 8*r + 4*q - 66 = 0, 2*r + 2*q + 12 = 0. Let s = -9 - r. Suppose 0 = -0*p + p + s. Which is bigger: p or -4?
p
Let s(z) = -z**3 - 13*z**2 + 15*z + 15. Let f be s(-14). Which is smaller: f or 2?
f
Let n = 0 + 2. Let j = -2 + 2.1. Let z = -0.3 + j. Is n > z?
True
Suppose -c = 4*c + 210. Is -43 greater than c?
False
Let m be (-6)/(-2