 -36774/37. Is 0 < h?
False
Let o = -52 - -97. Suppose 0 = 2*v + 2*j + o - 109, 3*j + 3 = 0. Suppose 2*x - 22 = 2*w - 2*x, -3*w = -x + v. Is w greater than -10?
False
Let g = 99 + -112. Let l = -68 + 67.7. Is l less than or equal to g?
False
Let j = 410.1 - 471. Let x = j - -61. Do -0.1 and x have different values?
True
Let d = -460 + 460.4. Which is smaller: d or 64?
d
Let z(x) = x**3 - 17*x**2 + 17*x - 20. Let v be z(16). Let p be (-12)/(-70) + v/(-10). Let s be ((-2)/3)/(5/3). Which is smaller: p or s?
s
Let u(n) be the first derivative of -2*n**2 + 20*n - 45. Let a be u(6). Which is smaller: a or -9?
-9
Let v = 72 - 135. Let b = 62.93 + v. Is -2/11 less than or equal to b?
True
Suppose 0 = -1904*c + 1898*c - 6. Is 11/24 greater than or equal to c?
True
Let p = 41.7 + -41.79. Are -2.6 and p equal?
False
Let y(b) = b**2 + 7*b + 1. Let a be y(-5). Let l = 191/21 + a. Suppose 15*n = 466 - 451. Which is bigger: l or n?
n
Let o = -208034/696465 - -2/10395. Which is bigger: 1 or o?
1
Let c be (32/(-10))/((-74)/4995). Is 215 bigger than c?
False
Let w be 6*(-1)/2*(-770)/14. Which is smaller: 164 or w?
164
Let w = -1/869 - 13897/6083. Suppose -59 = 47*t + 35. Which is smaller: w or t?
w
Let r be -3 + 3 + 5/12. Let v(q) = -31*q - 371. Let h be v(-12). Which is greater: h or r?
h
Let k = -33 + 12. Let f be 5/(-15)*-1 - 2/42. Which is greater: f or k?
f
Suppose k = -4*h - 11, -2*h - 2 = 2*k + 2. Let x be k + (2 - 2) + 6. Let f be (x/(-4))/((-4)/(-48)). Are -22 and f unequal?
True
Let t be (84/414)/((-2)/3). Which is greater: t or 1?
1
Let f = 48 + -48.85. Let p = f - 0.15. Are 1/12 and p non-equal?
True
Let w(c) = c**2 + 167*c + 4216. Let j be w(-136). Let s = -20559/61 - -337. Is j less than s?
False
Suppose -9*u + u = -24. Let h = 31 - 34. Which is bigger: h or u?
u
Let f = -117.5 + 109. Let n = 11 + f. Which is bigger: -1/3 or n?
n
Let q = 18 - 14.8. Let v = q + -1.88. Let f = v - 1.2. Is f < -1?
False
Suppose 8*a + 186 - 1970 = 0. Is a at most as big as 223?
True
Let b = 43 + -39.7. Let k = b + 2.7. Which is smaller: k or -0.1?
-0.1
Let k(b) = 2*b - 11. Let a be k(10). Suppose -3*w + 15 = -30. Suppose -2*t + w = 1. Which is greater: t or a?
a
Let c = 4.47 - -0.43. Let n = -5.95 - -0.95. Let l = c + n. Which is smaller: l or 0.1?
l
Let x be (-2)/2*(-4 - -3). Is -2 at most x?
True
Let g be -7 - (-3 + 2 + 2). Let t = 19 + -5. Let a = g + t. Is a at most 6?
True
Let b be -4*(-2 - 10/(-4)). Let t = -2745 + 2724. Is t < b?
True
Suppose 2*m + 91 = 5*m - 2*r, 3*m - 5*r = 97. Let l be (10/15)/(-2 + 0). Is l != m?
True
Let f(b) = b - 7. Let u be f(3). Let k be (5 + -4 - -1) + u. Suppose 3*x = -2*x - 20. Which is bigger: k or x?
k
Let w = 35.9 - 76.8. Let l = w + 41. Is l at most as big as 2?
True
Let y be ((-2)/16*2)/(30/(-1724)). Let g = 3478/3 + -1174. Let a = g + y. Is a less than 1?
True
Suppose 5*i = o + 2, -3*o + 12*i = 8*i - 38. Let p be (-2 + 1 - 3)/((-3)/o). Which is bigger: p or 23?
p
Let d = -64 + 61. Let x(m) = -m**3 - 2*m**2 + 1. Let z be x(-3). Let c be d/52*80/z. Which is smaller: 1 or c?
c
Let p = -1315 - -24993/19. Is p smaller than -1?
False
Let b = 77 + -76. Let h(g) = -g**2 - 4*g + 2. Let t be h(-6). Let r be 3/t*(-12)/(-9). Which is greater: r or b?
b
Let t be (-2 + -1)*((-8)/(-3) + -3). Is t greater than -1?
True
Suppose -2*l - 4*l = -114. Let w = l + -20. Which is smaller: w or -2/55?
w
Suppose 0 = 2*t + 3*t - 2*i - 56, -2*i = -4*t + 46. Let m be (-4)/8*0/3. Suppose m = -4*l - 8, -5*l + 4 = -c + 22. Which is bigger: t or c?
t
Suppose 5*k + 2*q + 14 = 0, k = 2*q - q. Let d(u) be the second derivative of u**5/20 + u**4/12 - u**3/6 - u**2 - u. Let p be d(k). Which is smaller: p or 0.3?
p
Suppose 3*l - 31 = -w - 340, 2*w + 103 = -l. Is l at most -103?
True
Let d = -2873 - -1572. Let f = d - -480071/369. Which is greater: f or -1?
f
Suppose c + 329 = 8*c. Suppose 9*y + 16 + c = 0. Let m = 3 + -11. Is m less than y?
True
Let g be 0 - ((16/(-6))/(-2))/2. Let a be -2 + (2 + 2)/2. Is a less than g?
False
Let b(c) = 5*c**3 - 3*c**2 + c. Let o be b(2). Let q = 41 - o. Is q greater than 11?
False
Let x = 324 + -323.8. Which is greater: 38 or x?
38
Suppose -4620 = -u + 16*u. Which is greater: u or -1?
-1
Let z be (-8)/(-12)*-3 - 5978/(-3003). Is z > 1?
False
Let g(k) = k**3 - 9*k**2 + 8*k - 2. Let s be g(7). Let z = 131/3 + s. Let d = 11 + -10. Is d != z?
True
Let o(z) = 2*z**2 - 5*z + 2. Let c be o(3). Suppose 0 = -2*m + c*m - 117. Is m > 40?
False
Let o(a) = 7*a**3 + a**2 - 2*a + 1. Let n be o(1). Suppose -31 = 4*g - n. Which is bigger: -8 or g?
g
Let c = 3/56 - 113/1064. Suppose 3*j = 7 - 1. Are c and j equal?
False
Let r = 78 + -72. Suppose -54 = -r*b + 8*b. Is -29 smaller than b?
True
Let d be -2*(-3)/((-12)/1322). Let n = 4636/7 + d. Which is bigger: 0 or n?
n
Suppose -4*p + 2*d = -2772, 5*p = -2*d + 2124 + 1323. Is 692 equal to p?
False
Let q = -1 - -1. Let p be (65 - (q - 1)) + 3. Suppose 5*d + 109 = 4*i, -3*d + 0*d = 4*i - p. Is i not equal to 22?
True
Let u = 179 - 77. Suppose 0 = 8*i + 38 - u. Is i greater than or equal to 8?
True
Let g = -15758598751/816 + 19312011. Let x = -43/16 + g. Which is bigger: -1 or x?
x
Suppose -5*o + g + 84 = 0, 4*g = -o + 3*g + 12. Suppose -o = 3*s - 7*s. Is s less than or equal to 3?
False
Let d be ((-2)/(-6)*-2)/(238/21). Which is smaller: 1 or d?
d
Suppose 0*s + 2*s - 2 = -v, -3*s = 4*v - 13. Let u(j) = -2*j**3 + 4*j**2 - j - 2. Let o be u(-4). Let n = 963/5 - o. Is s <= n?
False
Let f be 84/14 + (-347)/58. Which is greater: f or 1?
1
Suppose -5*p - 4*q + 2 = 1, 0 = 3*p - q - 4. Suppose -3*a - 5*c - 3 = 29, 64 = -5*a - 3*c. Let w be p/2 - (-7)/a. Which is greater: w or -3/13?
w
Let y be (3/(-3) - -2)*14. Suppose -3*d = 5 - y. Let g be d/((-90)/(-4))*5. Which is bigger: 0.7 or g?
0.7
Suppose 50*t - 531 = 41*t. Which is bigger: t or 55?
t
Suppose 0*u + 19 = x - 3*u, x = 5*u + 17. Are x and 25 unequal?
True
Suppose -18*o - 240 = -12*o. Which is greater: -38 or o?
-38
Let q = -47.76 + -0.24. Let o = q - -46. Let k = 0.2 + -0.4. Do o and k have the same value?
False
Let i(b) = -b + 9 - 2 - 3 + 6. Suppose -2*y + 11 = -11. Let q be i(y). Which is smaller: 1 or q?
q
Let u be ((-15)/(-25))/(3/15). Suppose -u*w + 15 = 18. Is w < -0.03?
True
Suppose 0 = -2*v - 4, 30 + 11 = -5*h - 3*v. Let i be 8/(-28) + 299/h. Does -43 = i?
True
Let g(r) = r**3 + 7*r**2 - 2*r - 4. Let t(f) = f**3 + 3*f**2 + 3*f + 2. Let z be t(-3). Let v be g(z). Let b be (-34)/v - (-6)/2. Is b > 0?
False
Suppose 8*o + 40 = 32. Is o != 4/113?
True
Suppose -6*v = -4*v - 24. Let u be 6/v*(-1)/(-1). Is 1 less than u?
False
Suppose -f + 3*h = -4, 2*f - 3*h + 1 = 9. Suppose 5*r - 5*w - 64 = 2*r, -3*r - 3*w + 48 = 0. Let s = 21 - r. Which is greater: f or s?
f
Let c(h) = -h**2 + 7*h - 10. Let f be c(5). Let i be 31/34 + (-8)/12. Let k = i - -10/17. Which is smaller: k or f?
f
Let i be 6/60 - (-2 - -1). Let t = i + -7/5. Do t and 1 have the same value?
False
Let c = 17 - 14.5. Let h = 25.1 + -25. Do h and c have the same value?
False
Let d(j) = -2*j**2 - 4*j + 5. Let b be d(-5). Suppose -p = -4*u + 27, 6*p - 2*u + 48 = 4*p. Which is smaller: b or p?
b
Suppose 11 - 207 = 4*d. Which is greater: -47 or d?
-47
Let f(u) = -u**3 + 5*u**2 + 15*u - 1. Let r be f(8). Let j = r + 89. Is j at most 9?
False
Let h = -40031/49 - -817. Is -1 equal to h?
False
Let x be 6 - 9/((-18)/(-10)). Is x at most -2/409?
False
Let r = -8.02 + 8.32. Is -99 equal to r?
False
Let d = 163210/21 - 7770. Which is bigger: 2 or d?
2
Let i(k) = k**2 - 5*k + 2. Let m be i(4). Let n = 0 - -12. Let h be 5/(-4) + n/(-16). Is m <= h?
True
Suppose 3*h + 1 = 10. Suppose p = -3*p. Suppose -2*y = -10 - p. Which is bigger: h or y?
y
Suppose -4*i - 213 = 3*a, 2*a - 204 = 5*a + i. Let q = a - -59. Suppose 4*m + 4*y = -0*y - 36, -4*m + 5*y - 27 = 0. Is q > m?
False
Suppose -z = -8*z + 49. Which is smaller: z or 58/9?
58/9
Let l = 612 + -611. Let h(c) = c. Let w be h(-3). Is w less than l?
True
Suppose -13*g - 60 = -8*g + 5*h, 0 = -4*g - 5*h - 50. Which is bigger: g or -75/7?
g
Let k be (2/(-4))/(1*8/(-48)). Suppose 0 = -5*d - k + 8. Is d >= 1?
True
Let i = 184 - 28. Let s = i + -95. Are 62 and s equal?
False
Let a(w) = w**3 - 28*w**2 - 58*w - 69. Let f be a(30). Suppose -2*c = 3*c - 15. Suppose 5*s