 h and -0.1 non-equal?
True
Let j = 619945 - 22183491937/35783. Is 0 at most j?
False
Suppose 0 = -17*x - 50116 - 12648. Is x at most -3693?
False
Suppose -3*g + 1 = -4*g - h, 5*h + 15 = 0. Let k be 2 + g - (38 - 5). Let l = -27 - k. Which is greater: l or -2/5?
l
Let j = 7 + -2. Suppose -103*t = -92*t + 1221. Let o be -5*(t/(-15) + -8). Which is greater: j or o?
j
Let m be -2 + 1 - (6 + -6). Let f be 2*m/(-13)*1. Suppose -10*y + 5*i = -11*y + 20, -2*i + 8 = -2*y. Which is smaller: f or y?
y
Let i be (-1)/(-4) - (-2137)/12. Let h be 2249988/12816 + (-110)/(-40). Let w = h - i. Which is smaller: w or -2?
-2
Let i = -8159 - -8166.9. Which is greater: i or -2/123?
i
Let m = -1013/8 + 127. Suppose -g + 4 - 2 = 0, 4*l - 24 = -4*g. Suppose -4*h = l*h. Is m > h?
True
Let q = 58 + -54. Suppose 0 = -0*n - 4*n - q. Let g(z) = 11*z**2 + 2*z + 2. Let t be g(n). Is t less than 10?
False
Let i = -146.74 + -0.26. Let k = i - -147. Which is smaller: k or 15/4?
k
Suppose 2*i + 2*b - 18 - 20 = 0, -99 = -5*i - b. Suppose -3*j = -0*j - 72. Let a = j - i. Is a smaller than 0?
False
Let c = -791 + 1139. Let p = c - 347.7. Is p > -1.1?
True
Let m(q) = -12*q + 83. Let z(c) = -c**2 + 18*c + 151. Let p be z(-6). Let j be m(p). Which is greater: -1/579 or j?
-1/579
Let m = 31474 + -31476. Which is smaller: m or -222/107?
-222/107
Let a = -14 - -15. Let z be (-1174)/(-6) + (-7 - (-176)/24). Let d = 984/5 - z. Which is smaller: d or a?
d
Let t = 3383 - 3353. Is 8 <= t?
True
Let j(u) = -94*u**2 + 2633*u - 27. Let x be j(28). Let v = -484 - -6773/14. Is v < x?
True
Let l = -61 - -1. Let m be 2/l*(-24)/30. Which is smaller: -1 or m?
-1
Let v = 191.51 - 185. Let k = v - 4.51. Which is greater: k or -2/281?
k
Suppose 3*m + 9 = 12. Suppose 0 - m = 2*t - 3*n, 3*n - 3 = 0. Let p = 1452 - 1437. Are p and t non-equal?
True
Let y(p) = -27*p**2 - 25*p - 2. Let t be y(2). Is t smaller than -3/2?
True
Suppose -5*d = -5, -5*d = -0*w + 4*w - 965. Let p = 240 - w. Is 8/51 less than p?
False
Let r(v) = 2*v**3 - 30*v**2 + v - 9. Let w be r(15). Suppose w = j - 3*x, -23 - 7 = -5*j + 4*x. Is 0.033 != j?
True
Let v = 3333/34 - 400/17. Let j = 75 - v. Which is bigger: -19 or j?
j
Let u = 0.623 - 0.773. Is -10/3 <= u?
True
Let g be (6*-60)/5 + -4. Let q = g - -75. Which is bigger: -12/31 or q?
-12/31
Suppose -r + 4*i - 16 = 0, 2*r + 35*i - 38*i = -22. Which is smaller: r or -216?
-216
Let w(r) = 2*r - 7. Let l be w(4). Let c be (-2422493)/932 - 23/(-92). Let u = c + 2599. Is u greater than or equal to l?
False
Let s = 632 + -627. Suppose 153 = -s*l - 3*y, 192 - 48 = -4*l + 3*y. Which is greater: l or 1?
1
Suppose -9*w + 5*w - 84 = 0. Let z be ((-6)/(-15))/(w/28). Suppose 0 = -2*g - 4*o + 16, -4*g - o - 8 = -3*o. Is g at least as big as z?
True
Let l(j) = 5*j**3 + 4*j**2 + 2*j - 2. Let g be l(-2). Let a be 6/g*5/2. Let k be -15 + 23*(-4)/4. Which is smaller: a or k?
k
Suppose 25*x + 496 = 23*x. Let z = 138 + x. Let j be (-2)/(-11) + 240/z. Is -2 less than or equal to j?
True
Let d be ((-1)/(-4))/((-1)/(-23)). Let r = d - 485/84. Does -1 = r?
False
Let o = 436 + 182. Let r be -2*(-3)/(-15) - o/(-495). Is r smaller than 1?
True
Suppose -3178 = 41*g + 42*g - 90*g. Do g and 453 have the same value?
False
Let p = 21.5 + -24. Let o be 21/(-28)*(-2)/4. Which is bigger: p or o?
o
Let y(c) = -45*c**3 - 2*c + 2. Let k be y(1). Let x = k - -47. Suppose x*m - 6 = -0*l + 2*l, m + l = -5. Are 3/20 and m nonequal?
True
Let x be (2 - 24/18)*(2 - 1751). Which is smaller: -1164 or x?
x
Let g = 52.61 + -53.21. Is g < 0.22?
True
Let s be 12/(-120) + (-54)/10. Let r = 149/27 + s. Is r at most -1?
False
Suppose -25*m - 19*m + 53*m = 2313. Is m > 1281/5?
True
Let a(p) = -1 - 39 - 8*p**2 + 11*p**2 - 7 + 17 + 50*p. Let u be a(-19). Is u less than 103?
False
Let j = -225.9714 - 0.0286. Let l = j + 232. Which is bigger: 25 or l?
25
Let b = 2277 - 25044/11. Do 46 and b have different values?
True
Suppose -73*n + 1479 + 597 = -1209. Is n >= 105?
False
Suppose -364 = 7*l + 1771. Let u = 309 + l. Which is bigger: 62 or u?
62
Let r(h) = 0*h**3 - h**3 - 3*h**2 - 4*h + 2*h**3. Suppose -9*y = -53*y + 176. Let z be r(y). Which is smaller: z or -12/17?
-12/17
Suppose r = -3*n + 4, 2*n + 278*r - 273*r - 20 = 0. Which is bigger: 2/3617 or n?
2/3617
Let y = -0.38 + -0.02. Let m = 9.8 + -9.66. Let s = 6.14 - m. Is y bigger than s?
False
Suppose -134 = -3*u + 4*b, 6*b = 2*b + 4. Let k = u + -44. Suppose 0 = 2*w + k*r - 10, -w - 14 = -4*w - 4*r. Is 14/3 < w?
True
Suppose 5*d - 8 = 7. Let r(n) = 2*n**2 - 6*n + 4. Let p be r(d). Let c be (p/(112 + 0))/((-4)/(-2)). Is -1 > c?
False
Let v = 4/2393 - 3529/679612. Which is greater: v or 0.02?
0.02
Let o be (-24)/(-30) - ((-26480)/(-5475) + -4). Let p = o - -25655/876. Is p greater than 29?
True
Let h = 0.026 - -38.674. Let t = 41 - h. Which is bigger: 2 or t?
t
Let k(c) = -10 + 7 - 25*c + 7 - c**2. Let q be k(-24). Suppose 7*f + 14 = q. Which is bigger: f or 1?
f
Let f(a) = -2*a**2 + 113*a - 243. Let j be f(53). Is -1.3 equal to j?
False
Suppose -6*y - 5*y + 896904 = -83*y. Do y and -12457 have different values?
False
Let h(a) be the third derivative of a**5/30 - 2*a**4/3 - 23*a**3/3 + 58*a**2 - a. Let r be h(0). Which is smaller: r or -44?
r
Let h = -18/265 - -599/12720. Does -11.7 = h?
False
Let d = -0.098 + -11.702. Let b = -27.2 + d. Is b at most as big as 0.2?
True
Let d = 86 + 20. Let q = d - 105.9. Is q != -0.092?
True
Suppose -4*b + 0 = 3*l - 15, -6*l + 3*b = 3. Are 1/8517 and l equal?
False
Let x(b) = b**2 - 23*b - 496. Let t be x(29). Which is bigger: t or -325?
t
Let v be (-795)/210 + (1 - -6). Suppose w = a, 2 = 4*a - 2*w - 4. Is v >= a?
True
Let o = -5448677/582 + 9362. Which is smaller: 1 or o?
o
Suppose 3503 = -78*a + 8885. Let i(b) = -b**2 - 25*b + 42. Let j be i(-24). Is j equal to a?
False
Suppose -9329 = -26*d + 19*d + 26*d. Is 13 bigger than d?
True
Let v = 0.0851 - 0.0851. Which is smaller: 54 or v?
v
Suppose -196 = 4*d + 728. Let z = d - -1158/5. Is -1/7 greater than z?
False
Let k be (-9 + -2 + 8)*5. Let w(p) = -p**3 - 18*p**2 - 46*p - 16. Let z be w(k). Are z and 9/44 nonequal?
True
Let w(f) = 3*f + 15. Let x be w(-8). Let o be (x/3)/3 - -11. Let j be (2/1)/(-8 + o). Do j and 1/2 have different values?
True
Let w(v) = v**3 + 11*v**2 + 8*v - 23. Let i be w(-10). Let j be (i/(-1))/(27/(-18)). Let d = 21/5 + -47/10. Which is smaller: d or j?
j
Suppose 2*f = -45*t + 48*t, 4*t = f + 5. Is 43 at least t?
True
Let h be 560/(6 - -1) - (-25 - -15). Which is smaller: 539/6 or h?
539/6
Let v = -22469/40 - 391/40. Let d = v - -501. Is d > -71?
True
Let q = 0.0269 + -584.0269. Let m = 584.21 + q. Which is smaller: -2/15 or m?
-2/15
Let k = -1.502 + 1.87. Let l = -0.068 + k. Are l and 1/5 equal?
False
Let t = -556 - -558. Suppose f = 4, -4*n + 60 - 280 = -t*f. Do n and -56 have different values?
True
Suppose 0 = 160*x - 165*x + 375. Suppose x*o - 76*o - 5*k - 144 = 0, 0 = -o + 2*k - 109. Which is bigger: o or -121?
o
Suppose 8*k = 7*k - 3*p + 27, k + 5*p = 35. Suppose 2*j - k = x, 16*x + 2*j + 15 = 11*x. Let n = 26/9 + -38/9. Is x smaller than n?
True
Suppose -4*z - 3*k = 13, -5*z - 430 + 447 = -k. Suppose -5*y = -2*v + 84, 3*y + 5*v + 51 = 6*v. Let p be 2*y/(-26)*1. Which is bigger: z or p?
z
Let b = -7 - -4. Let w = -4 - b. Let i = 21219/7 + -3031. Is w less than i?
True
Let j(i) = -2*i**2 - 6*i. Let l be j(-4). Let t(r) = -7*r - 28. Let z be t(l). Suppose 24*s = z*s - 72. Which is smaller: s or 19?
s
Let f(m) = -m**3 + 3*m**2 + 7*m + 25. Let v be f(5). Let o = 14831/5 - 2956. Which is greater: v or o?
o
Let u = 5728 + -8252. Let n = u + 285215/113. Suppose 0 = 380*v - 514*v + 134. Which is smaller: n or v?
n
Let u be (21/105)/((-3)/(-55)). Suppose 6*a + 5 = 7*a. Which is smaller: a or u?
u
Let f = -2781/4 + 50751/73. Is f greater than or equal to 0?
False
Let c(d) = -d**2 + 5*d + 75. Let g be c(-7). Let x be 5*(-5)/(-200) - g/(-56). Which is smaller: -1 or x?
-1
Suppose 5*j - 2548 = -23*j. Let s(q) = 15*q - 4. Let i be s(9). Let k = j - i. Which is smaller: k or -41?
-41
Let k(f) = 2*f**2 - 23*f - 875. Let n be k(-16). Which is greater: n or 4?
n
Suppose 0 = -58*m + 18 + 12 - 30. Suppose -3*t + 8*t = 3*q - 13, 4*t = -3*q - 32. Is m less than or equal to t?
False
Let a(f) = -2*