d y non-equal?
True
Let c = -0.24 - -0.35. Let g = 0.26 - -37.74. Let d = -38 + g. Is d less than or equal to c?
True
Let n = 163 + -103. Is n greater than 51?
True
Let g = -3590/7 - -512. Let l = 17 - 12. Suppose -x = 2*x + 5*u - l, x + 5*u - 5 = 0. Is x at most g?
False
Let x(n) = -n - 1. Let v(k) = -4*k - 6. Let o(b) = -v(b) + 5*x(b). Let u be o(-5). Let w = 0.113 - 0.013. Is u != w?
True
Suppose -144 = 45*z + 171. Let t(f) be the second derivative of f**4/12 + f**3/6 - 7*f**2/2 - f. Let r be t(0). Is z >= r?
True
Let b = 67 - 67. Let o(z) = z**2 - 7*z - 10. Let j be o(7). Let g be j/3*6/14. Is b > g?
True
Let n = 96 - 94. Is -255 not equal to n?
True
Let q = 21 - 22. Let h be 4 + ((-1288)/(-22) - q). Let d = h + -63. Is 2 not equal to d?
True
Let w = -46.2 - -47.2. Which is bigger: -0.76 or w?
w
Let r(j) = -j. Suppose 3*c - 3 = -s, 0*s - 2*s + 3*c = -6. Let o be r(s). Suppose -8 = 4*p + 8. Which is greater: p or o?
o
Suppose q + 3 = -47. Let n = -31 - q. Let l = 20 - n. Do l and 2 have the same value?
False
Suppose -x = 5*p + 11, -x - x - 5*p - 2 = 0. Let l = x + -10. Which is bigger: -1/3 or l?
-1/3
Let t = 51 + -33. Suppose 4*w - 3*r - 53 = -0*r, r + 80 = 5*w. Which is smaller: t or w?
w
Let m = -0.1 + -0.1. Let o = -6037.97 - -6074. Let z = 36 - o. Is m bigger than z?
False
Let u = -3966 - -3966.51. Let v = 0 - 0.1. Is v > u?
False
Let x be 460/(-5)*(4/(-8) - -1). Let f = x + 50. Is 13/5 greater than f?
False
Let h be (-1 + 1 - (0 + 2)) + -1. Suppose 0 = 4*r - 8*r - 32. Which is bigger: r or h?
h
Let d = 0.11 - 6.11. Let i = d - -5. Let y = i - -0.3. Which is smaller: -1/3 or y?
y
Let m = -15 - 2. Let k = -13 - m. Let a = -3.9 + k. Which is greater: a or 0?
a
Suppose -4*a - 8*a + 9072 = 0. Suppose -5*u = u + a. Is -126 less than u?
False
Let h = -304 + 297.2. Is h greater than 0?
False
Let b = 111/476 + 2/119. Let y be (-19)/3 - 46/(-23). Which is smaller: y or b?
y
Let h be 46 - ((-13)/52 - (-22)/(-8)). Let r = -67 + h. Which is greater: -17 or r?
-17
Let a = 139 + -139.6. Which is smaller: a or -9?
-9
Let f = -2/23677 + 9020941/47354. Is f greater than or equal to 191?
False
Let p be ((-2)/4)/((-10)/(-25680)). Let n = p - -678. Let t be (-4)/n*(-1 + 4). Which is bigger: t or -1?
t
Let q = -276.2 + 276. Is q equal to -12.4?
False
Let x(l) = 6*l - 147. Let b(m) = -m + 21. Let w(s) = 15*b(s) + 2*x(s). Let a be w(8). Which is smaller: -24/13 or a?
a
Let q = -69.1 + 181.1. Which is smaller: -0.1 or q?
-0.1
Let x = 13 - 12.9. Is -56 <= x?
True
Let r(x) = x + 8. Let u be r(-12). Is u at most -7?
False
Let r = 9619/18 - 6806/9. Let n = 221 + r. Is n smaller than 0?
True
Let p be 668/(-14) - (-46)/(-161). Which is greater: p or -46?
-46
Let i = -514 - -298. Which is smaller: i or -1?
i
Let i be (-9)/(-52) + (-87)/(-116). Which is smaller: i or 2?
i
Let r = -622 - -425. Is r < -0.1?
True
Let h = 144 - 92. Which is smaller: 51 or h?
51
Let p be 8 - 70/(-45)*123. Which is bigger: p or 198?
p
Let b be 0/1 + 4/22. Let v = 0.275 - 18.275. Which is bigger: b or v?
b
Let h = 2125 - 2134. Which is smaller: -7 or h?
h
Let g = 1510 + -1509. Is g greater than -2/4401?
True
Let w = 4.6 - -6.6. Let a = 11.14 + -0.14. Let s = a - w. Which is bigger: -1/3 or s?
s
Let l = -127 - -69. Let i be l/56 - 6/24. Are i and -2 unequal?
True
Let y(j) = 4*j**2 - 6*j - 42. Let s be y(6). Which is smaller: 196/3 or s?
196/3
Let s be (5/(-3))/((-2)/(-12)). Let h be -3*s/6 - -2. Let b be (2 + h/(-3))*2. Is -3 equal to b?
False
Suppose -2*d = -34 + 92. Let c = d + 39. Which is smaller: c or 3?
3
Let u be (4/5)/(91/(-65)). Suppose 3*f + 1 = -w, -5*w = 4*f - 7*f - 13. Do u and f have different values?
True
Let r be 1/(-5*(-4)/440). Let k = -23 + r. Which is greater: 1/29 or k?
1/29
Let r = -0.034 + -22.966. Let k = r - -23.03. Is -0.1 less than k?
True
Let r = -7009 - -126199/18. Is r at least as big as 3?
False
Let a = -2 - 0. Let t = 0.02 - -10.98. Let n = t - 11.1. Is a greater than or equal to n?
False
Let o = -0.1 + 0.2. Let h = -12 + 13.2. Let f = 0.4 + h. Is o at most f?
True
Suppose -6*h = -8*h + 24. Let y(n) = -3*n**2 - 3*n - 4. Let z be y(-3). Let x be (2 - 5/2)*z. Which is smaller: x or h?
x
Let i = 2.95 - 2.89. Is 19 < i?
False
Suppose -4*b - 2*l + 224 = -642, 3*b - 5*l - 617 = 0. Is b > 214?
False
Let r(h) = 14*h - 96. Let a be r(7). Which is smaller: a or 4/3?
4/3
Suppose 0 = -22*y + 28*y - 12. Suppose 0 = -4*d + n - 406, 200 = -4*d + y*d + 2*n. Does d = -103?
False
Suppose -37 = 5*c - 7. Let l(k) = k. Let d be l(c). Let o = d - -4. Which is bigger: -4/5 or o?
-4/5
Let i(x) = -3*x**3 + 11*x**2 + 38*x + 3. Let l be i(7). Is l greater than or equal to -222?
True
Suppose 2*d - 26 = -2*i, -i + 0*d + d = -9. Suppose -k - i = -2. Let x be k/(27/(-10)) - 0. Is 2 at most x?
True
Suppose -19*q + 9*q = -3770. Which is smaller: 378 or q?
q
Let o be (-29)/4 + 50/40. Which is greater: -2 or o?
-2
Let j = 62709/4 - 16686. Let t = j - -964. Let o = 44 + t. Which is smaller: o or 0?
o
Let j(s) = 105*s**2 + 3*s + 3. Let w be j(-1). Let l = w + -125. Which is smaller: -19 or l?
l
Suppose 123 - 121 = 2*c. Let o be 3 - (-5)/(-129)*77. Which is smaller: o or c?
o
Let c(n) be the first derivative of -8 + 1/2*n**2 - 4*n. Let t be c(-4). Is -7 >= t?
True
Suppose 15*s + 1420 = 10*s. Which is bigger: s or -285?
s
Let j = -14107/63 - -224. Let g = 1825/819 + j. Which is bigger: 3 or g?
3
Let h = -8809.9 + 8810. Let i = 2407/39 + -185/3. Which is greater: i or h?
h
Let w(l) = l**2 - 33*l. Let k be w(33). Which is smaller: 2 or k?
k
Suppose 3*g - 2*y - 9 = 0, 0*g - 3*g - 2*y = -21. Suppose -g*k + u = -6, -4 = -k + u + 2*u. Which is bigger: k or 2/121?
k
Let f(o) = -3*o - 9. Let r(v) = -6*v - 19. Let l(j) = 9*f(j) - 4*r(j). Let z = -85 + 81. Let h be l(z). Do 9 and h have the same value?
False
Let m = 0.1 + -0.5. Let i = 1.58 + -1.78. Let a = i + m. Is 1/2 at least a?
True
Suppose 67*r - 70*r = -27. Let j be (-90)/(-25)*5/2. Do j and r have the same value?
True
Let w = -2.9 - -3. Suppose -6*t + 2*t + 4 = 0, -y = -2*t - 42. Suppose 16*i = 12*i - y. Is w greater than or equal to i?
True
Let c(m) = m**2 - 4*m - 1. Let p be c(-3). Let f be -2*1*(-2)/p. Let n = -698 - -699. Is n < f?
False
Let p = 164/15249 - -4505333/4086732. Let s = p + -13/12. Is -1 at least as big as s?
False
Let a = -62269139063/1860 - -33478033. Let r = a + 2/465. Is 0 smaller than r?
True
Let c(a) = a**2 - 7*a - 4. Let n be c(8). Suppose -3 = -n*v - 15. Which is bigger: -4 or v?
v
Suppose -1186*q + 1179*q = 7. Which is bigger: -38/21 or q?
q
Let q(p) = -p**2 - 16*p - 10. Let z be q(-16). Is 6/11 at least z?
True
Let v = 1.2 + -0.2. Let o = 3/47 + 23/376. Let m = o + 13/24. Is v != m?
True
Let g = -347.9 - -348. Let s = -0.3 + -17.7. Let k = -13 - s. Which is smaller: k or g?
g
Let r = -41026/34901 - 2/2053. Is 0 equal to r?
False
Let x = -13 + 37. Suppose 12*p - 224 = 5*p. Suppose 0 = -5*f + 83 + p. Which is bigger: x or f?
x
Let j be ((-6)/(-9) + 0)/(20/(-42)). Which is greater: j or -1?
-1
Let o be (93/(-45))/((-8)/50). Let x = 5561/3 - 1838. Let m = x - o. Which is smaller: m or 4?
m
Let f = 21 - 18.9. Let h = -3.1 + f. Which is bigger: 16 or h?
16
Let o = 6439/396 - 1/99. Which is greater: o or 17?
17
Suppose -125*z = -115*z - 810. Is z at least 76?
True
Suppose 28*b = 34*b - 24. Is b > 16?
False
Let s = -25/14 - -403/210. Let p = -12 - -8. Let y be p/14 + 63/49. Which is greater: s or y?
y
Let c(k) = -11*k**3 + 3 - 9*k - 7*k**2 + 12*k**3 + 13*k. Let g be c(6). Are g and -3 equal?
False
Let j be (1 - (-4)/(-5))*(-25)/(-15775). Are j and 0 non-equal?
True
Let n be ((-703)/235 + 3)*(-76 + -14). Which is bigger: 0 or n?
0
Let y(a) = -261*a + 780. Let k be y(3). Suppose -4*f - 7 = f - c, 0 = 3*f - 2*c + 7. Let n be (0 - (2 + f)) + -1. Does n = k?
False
Let v = 302311/8 - 37910. Suppose -3*y - 496 = y - 4*q, 5*q = 4*y + 499. Let z = v - y. Is 0 bigger than z?
True
Suppose -66 = -2*c - g, 2*c + 0*c - 4*g = 66. Let m be (5/30 + 2/12)*c. Which is smaller: 12 or m?
m
Let s be (-300)/1940*-3*(-4)/(-18). Which is smaller: s or 0?
0
Suppose -26*w + 22*w = 0. Is -1/225 bigger than w?
False
Let r = -31/266 - 25/266. Let p(t) = -t**2 + 3*t - 1. Let u be p(2). Which is smaller: r or u?
r
Let k be 0*3/(-30)*2. Which is bigger: 1/48 