 = -h - 96. Is 37 less than f?
True
Let s(m) = m**3 - 2*m**2 - 3*m + 3. Let h be s(3). Let r = 3 - h. Which is smaller: r or -1/3?
-1/3
Suppose -5*y + 4 + 21 = 0. Let v(o) = -o**2 + 5*o - 1. Let b be v(y). Let r = -43/70 - -9/10. Which is bigger: b or r?
r
Suppose -4*x + 13 = -0*v + v, -2*x = -5*v - 23. Let c(j) = -j**3 + 4*j**2 - 4. Let l be c(3). Is l != x?
True
Suppose 0*i + 3 = -3*i - 3*h, -2*i - 11 = -h. Let s be -3 + (-1*2 - 0). Is i not equal to s?
True
Suppose 4 + 8 = 2*l. Suppose -p = p + l. Which is smaller: p or -5?
-5
Let m be (225/(-120))/((-3)/4). Which is bigger: m or 3?
3
Let x = 264 - 1324/5. Which is bigger: -1 or x?
x
Let x = 17 + -16. Is 1 at most as big as x?
True
Let g(i) = i**2 - 9*i + 10. Let k be g(8). Let b = -2 + 2. Which is smaller: b or k?
b
Let t be (-8)/(8/(-20)*-19*-5). Is -1 >= t?
False
Let c = -2.27 - 0.78. Let r = -3 - c. Let i = r - 3.05. Is i at most -1?
True
Let r(j) = j - 3. Let z be r(5). Let x be -8 - -9 - (z - 1). Is x at least 4/3?
False
Let m(b) = b**3 + 2*b**2 + b + 1. Let y be m(-1). Suppose -2*r = -y - 3. Let j be r + (1 + -3 - -2). Is 1/4 equal to j?
False
Suppose -107*t = -110*t - 27. Which is smaller: -11 or t?
-11
Let q = -19 + 28. Let y = q + -4. Let p = -5 + y. Which is smaller: p or 2?
p
Let w be 1/(-5) + (-18)/(-15). Let y be 2/((-1 - -1) + w). Let m be (-1)/(-2)*(y - 2). Which is smaller: -2/3 or m?
-2/3
Let t = -16 - -19. Suppose 4 - 1 = -t*d. Are d and 0 nonequal?
True
Let o = -1/383 - -817/19533. Let l = -61/255 + o. Which is greater: -1 or l?
l
Let a be (20/(-8) - -3)*2. Let n = 17/48 - 1/48. Is n less than or equal to a?
True
Let w = 1 + 1. Let t be (w + -4*1)/13. Which is smaller: 0 or t?
t
Let y = 12 - 23. Is -11 != y?
False
Let t be 3 - 3 - 1*8. Let w = -5 - t. Suppose -w*h = -2*h. Does h = 3/5?
False
Let j be (-2 - 3)*4/10. Is -2 smaller than j?
False
Let y be 3 + (-8)/(-24)*58/(-6). Which is bigger: -1 or y?
y
Let n = -1 - 0. Let h be -2 + (n - 483/(-165)). Let t = h - -37/55. Which is greater: 2 or t?
2
Let z(x) = 2*x + x - 5*x. Let a(k) = 3*k. Let v(m) = -4*a(m) - 5*z(m). Let t be v(1). Which is greater: t or -3?
t
Let j = -0.39 - -3.29. Let u = j - -1.1. Is 1 at least as big as u?
False
Let n = 8.83 + 2.07. Let p = n - 11. Which is bigger: p or 0.2?
0.2
Let c = 0.1 + -0.1. Let y = 201 + -601/3. Which is bigger: c or y?
y
Let t = 1/111 - 4/111. Let y = -67/259 + t. Do y and -4/13 have different values?
True
Suppose 5*q = -f - 72, -q + 32 = -f - 28. Which is bigger: f or -63?
f
Let t be ((-1)/(-5))/((-224)/210). Is t at most 0?
True
Suppose 0 = t, 0 = 3*i - 3*t + 3 - 0. Which is smaller: 0 or i?
i
Let r = -48 + 46.1. Let z = 1.987 + 0.013. Let c = r + z. Is -2 greater than c?
False
Let x = 0.02 - 0.02. Let z = 0.06 - x. Let k = z + 0.04. Which is smaller: k or 0?
0
Let b = 1 - 1. Let d = 0 - b. Are d and 7 unequal?
True
Let i = 3 + 3. Let a = i + -13. Is a < 2/3?
True
Let o(u) = -u**3 + 8*u**2 - 2*u + 10. Let v be o(8). Let p = v - -7. Suppose 2 = c + 2*m, 4*c - m + 2 - 1 = 0. Is p less than or equal to c?
False
Let s = -37 + 38. Is s < 6/119?
False
Let r = 62 - 26. Suppose 0*s + 4*s - r = 0. Is 9 at least s?
True
Let t be 2/(-7) - (-6 - (-264)/(-42)). Which is bigger: 13 or t?
13
Suppose -3*n + 2*n = -60. Let u = n + -239/4. Do u and 1 have different values?
True
Let r be -1 + 1 + (-10)/(-6). Suppose 4*s = 3 + 1. Is s at least r?
False
Let u = 1/11 - -9/22. Suppose -5*l - c + 4 = 0, -4 = -5*l + 3*l - c. Suppose -3*v + l = -3. Which is smaller: v or u?
u
Let t be 1*(1 - -3*1). Suppose 5*b - 8 = -43. Let z = t + b. Is z > -3?
False
Let b = -1.4 - -2.2. Let o = b + -0.5. Is 2/7 greater than or equal to o?
False
Let r = 1.01 + 8.69. Which is smaller: 2/3 or r?
2/3
Let f = 0.2 + 0. Let s = 8.2 + -7. Let h = s - f. Which is smaller: 0 or h?
0
Let y = -19 + 37. Suppose -r = 3*c + 2*c - 6, 0 = -5*c + 2*r + y. Which is smaller: 0 or c?
0
Suppose 2*u = 8, -15 = -5*l + 3*u + 3. Suppose l*s + 3 = 3*s. Let x be ((-2)/5)/((-2)/(-10)). Which is greater: s or x?
s
Let c be (76/12 - 3) + -4. Is -6/11 < c?
False
Let l(d) = d - 18. Let y be l(13). Let f = y + 4. Is -1/17 < f?
False
Let a = 9.99 + -10. Is 0 >= a?
True
Let h be (-10)/(6/(-9) + 0). Suppose 5*o + 4*n - 75 = -n, 0 = -o + 5*n + h. Suppose -15 - o = 5*b. Is b less than -6?
False
Let n be 1/(-2) + 1/2. Is n != -4/23?
True
Let z = -255 - -497/2. Which is smaller: z or 2/5?
z
Let a = 5 - 6. Let r = a - 1. Is r at least as big as -4/7?
False
Let g = 81 + -56. Which is bigger: g or 24?
g
Let z be 1 - (0 - -5) - -5. Which is greater: z or 2/65?
z
Let k = 20 + -39. Is -21 less than k?
True
Suppose -16 = 2*d - 4*d. Let a = -11 + d. Let v(z) = 2*z + 5. Let y be v(-4). Is a >= y?
True
Suppose 11*r = 8*r - 3. Which is bigger: r or -2/19?
-2/19
Let q(u) = u**3 + 5*u**2 - 2*u. Let b be q(-5). Is 12 != b?
True
Suppose 5*g + 32 = 7. Let x = -8 - g. Which is greater: x or -2?
-2
Let u = -4 - -6. Suppose 3*w - 3*p = -3, u*w + 0*p - 3*p + 7 = 0. Let k be (-2)/(-6) - w/12. Is k < -2/9?
False
Let y be (2/4)/(2/(-4)). Let w = 7336/19 - 386. Which is smaller: w or y?
y
Suppose 8*x = 2*x + 6. Which is bigger: x or -1/3?
x
Let z = 2379/4 + -591. Let p = 4 - z. Which is smaller: p or -0.1?
-0.1
Suppose 3*t - 42 = 6*t. Let f be (-7)/t*2/3. Is f smaller than 0?
False
Suppose -628 = 5*c - 208. Let s = c - -503/6. Let f(p) = -3*p + 91. Let t be f(30). Which is greater: t or s?
t
Let r be (-8)/28 - (-164)/(-14). Let d be (4/r)/(1/(-9)). Suppose -2*a + 4*z + 17 = a, 0 = -a - d*z - 16. Is -1 bigger than a?
False
Suppose 6*h - 5*c - 70 = h, 5*h - 69 = 4*c. Is 12 less than h?
True
Let j = 7145/14 - 4225/14. Let v = 208 - j. Which is bigger: -1 or v?
v
Let u = -8 - -14. Let p = u + -4. Let w = p - 2.1. Which is greater: -1 or w?
w
Let c(m) = m**3 - 6*m**2 - 6*m - 9. Let w be c(7). Let d = -2 + w. Let o be d/6*(-3)/(-6). Is -1 bigger than o?
False
Let y be (14/(-30))/((-29)/(-49)). Let j = 1/87 - y. Let w = -26 + 26. Are w and j nonequal?
True
Let y(h) = -h**2 - 3*h - 2. Let p be y(-2). Suppose 0*u + 5*u = p. Is 0 != u?
False
Let h = 18/13 - 229/156. Is 0.04 at least h?
True
Let s(b) = -2*b**2 + 2*b - 3. Let j be s(-3). Let r be (-3)/(j/12 - -3). Is -4 not equal to r?
False
Let n = -2.7 + -0.3. Let j = -3 - n. Which is smaller: 2/7 or j?
j
Let y be (0 - 26)/(-1 + -1). Suppose 4*k = -2*p + k + y, 3*k - 3 = 3*p. Is p at most as big as 2?
True
Suppose -10 = 7*m - 2*m. Let t be -2*(7/m)/7. Which is smaller: t or 1/13?
1/13
Let y be -1 + 0 + 0 - 0. Let a be (-468)/92 - -2 - -3. Do a and y have different values?
True
Let y(h) = h**2 - 5*h + 1. Let t be 5 - (2 + -2 + 0). Let j be y(t). Are j and 3/10 unequal?
True
Let x(a) = 8*a - 1. Let r be x(-1). Let k = r - -8. Let j be 24/(-21) + k - -1. Is j <= -1?
True
Let g = 4 - 0. Let w = 12 + g. Let f be ((-10)/(-8))/((-12)/w). Is f less than or equal to -2?
False
Let l(n) = 3*n**2 + n. Let c be l(1). Suppose -3*q = -3*o, -o - 21 = 2*q + c*o. Are q and -3 non-equal?
False
Let u be 14/(-91) - 1921/(-65). Are u and 30 non-equal?
True
Let r be (-14)/10 + (-6)/(-15). Is r bigger than -6/11?
False
Suppose 5*p = -r + 3*r - 46, 3*p = -5*r + 115. Is r smaller than 24?
True
Suppose -a - 30 = -0*a - 4*k, 2*a - 5*k = -54. Let v be 1/(-9)*11/a. Does 0 = v?
False
Let a(l) = l**2 + 12*l + 12. Let d = -26 + 15. Let r be a(d). Is 1 at least as big as r?
True
Let t(x) = x**3 + 6*x**2 - 4*x - 4. Let y be t(-6). Suppose 4*j + 0*j + y = 0, 4*j = -4*h - 12. Are -2 and h unequal?
True
Suppose 7*l - 32 = 3*l. Which is bigger: l or 7?
l
Let f = -1217/28 - -292/7. Suppose 0 = -2*u - u. Suppose u = -9*v + 4*v - 5. Is f at least as big as v?
False
Let f be -7*(-1)/((-21)/36). Let w = 15 + f. Is 3 less than w?
False
Let z = 5 - 4.9. Let h = z + 0.9. Let c be (-12)/18 - (-8)/21. Does h = c?
False
Let t = 105.8 + -124. Let l = t - -13. Let w = l - -5. Is w < 1?
True
Let k = 1/15 + 7/30. Which is smaller: k or -1?
-1
Let h(x) = 3*x - 19. Let o be h(10). Which is bigger: o or 9?
o
Let s(v) = -v**2 + v. Let o be s(0). Suppose o + 3 = -3*r. Which is bigger: 1/4 or r?
1/4
Let c(g) = g + 4*g - 6*g. Let q be c(-2). Suppose 3*s + 3*r - 18 = 0, -s - 6*r + 7*r - 4 = 0. Which is smaller: s or q?
s
Let z(k) = 6*k**2 + k - 1. Let b be z(1). Let n be (-1 - -3)/(((-22)/(-1