-1 - (-1 - h)). Which is smaller: f or q?
f
Let h(k) = k**3 + 1 - 3*k + 7*k + 6 + 4*k + 8*k**2. Let z be h(-7). Let y be 2/(-7) - (-5)/(-7). Which is bigger: z or y?
z
Let j be (-1)/4 + (-210)/(-40). Let p(b) = b**2 - 6*b + 5. Let q be p(j). Is q at most 1/12?
True
Suppose b - 8 = 5*o, -2*b - 13 = o - 6*b. Let l(x) = -2*x**3 - 4*x - 5. Let g be l(-1). Which is greater: o or g?
g
Let z = -4 - -2. Let m be (z/4)/(2/24). Let l = m - -5. Which is smaller: -1/5 or l?
l
Let d(u) = u**3 + 11*u**2 + 11*u + 10. Let f be d(-10). Let h = f - -2. Suppose 2*b - 4 = h*t - 14, 0 = -2*b - 6. Is 5/4 at most t?
True
Let u(o) = o + 5. Let q be u(0). Suppose q*h + 0*h = -10. Suppose 6*b = 8*b. Is h at least b?
False
Suppose -5*h - 4*m - 7 = 0, -2*h - 23 = 5*m - 10. Is h not equal to 1/236?
True
Let x(b) = -b**2 - 5*b + 3. Let y = 0 + -5. Let i be x(y). Suppose 18 = -l - 0*m + i*m, 0 = 4*m - 20. Do -3 and l have the same value?
True
Let q(z) = z**2 - 9*z - 5. Let y be q(10). Let b(k) = k**3 - 6*k**2 + 6*k - 5. Let g be b(y). Do -3/4 and g have different values?
True
Let h = 0.3 + 0.8. Let j = -0.1 + h. Which is greater: j or -1/4?
j
Let p = -2.28 + 0.28. Let i = 2 - 1. Let n = i - -2. Which is bigger: n or p?
n
Let m(d) = -d + 4. Let i be m(5). Does i = -3/16?
False
Let p = 16 - 59. Let g = 47.2 + p. Let v = 4 - g. Which is bigger: -1 or v?
v
Let y = -0.18 + 0.29. Is y not equal to 0.1?
True
Let d be (7 + -7)/(0 - -1). Which is bigger: d or -1/26?
d
Let y = -20349 - -1404115/69. Let w = y + 4/23. Suppose 0*h = -h. Is w <= h?
False
Let y = -0.35 + 9.85. Let m = y - 1.6. Let z = 8 - m. Is z bigger than -1/4?
True
Let h = 36 + -37. Are 11 and h non-equal?
True
Let z = 0.1 - 0.3. Let u be (6/8)/((-231)/(-56)). Which is bigger: z or u?
u
Let h(g) = 6*g - 6. Let i be h(2). Let j = 14 - i. Is 8 > j?
False
Let k = 4 + -2. Let f be (2 - -3) + (-4)/k. Do 4 and f have the same value?
False
Let x be 4/(-2) + (-143)/(-88). Is 1 greater than x?
True
Suppose -4*x + 17 = -t, -4*t = x - 1 - 16. Let z be 1*(12/(-3))/(32/(-24)). Which is bigger: x or z?
x
Suppose 3*j - 415 = 4*l, -417 = -0*j - 3*j + 3*l. Let a = j - 251. Let s be (-2)/5 + (-24)/a. Is s at most 0?
True
Let h = -1 + 1. Let p be 2 - (h/2)/1. Let j be 3/(-7) + 8 + -7. Is j at least p?
False
Let r = -4 + 4. Let c = -7 + 14. Suppose -c*l + 2*l = 0. Is l > r?
False
Let o = -31 - -32. Let q(t) = -t - 8. Let l = 12 + -20. Let a be q(l). Is o greater than a?
True
Suppose 0 = -s + n + 2, -2*s - 2*n - 1 = -5. Suppose -4*j + s = -2*j. Let h be 2/(-6)*6/(-4). Is j > h?
True
Let r = 12 + -10. Let o be -12 + 2*r/(-4). Is o greater than -13?
False
Let i(d) = -d**3 - 8*d**2 - 6*d + 8. Let z be i(-7). Is z equal to 13/2?
False
Let j = 339.6 - 339. Let o(a) = -a**2 + 5*a - 4. Let m be o(3). Is m >= j?
True
Suppose 2*j + j = -3*j. Are j and -25 nonequal?
True
Let i = 0.03 + -0.13. Which is smaller: 1/7 or i?
i
Let m(c) = c - 6. Let l(u) = u**3 + 3*u**2 - 2*u - 1. Let o be l(-3). Let x be m(o). Is x at most 1/7?
True
Let d(u) = -u + 5. Let p be d(0). Suppose 4*t - 29 + p = 0. Suppose 0 = -4*a - 4, 4*n - a = -17 + t. Is -1/3 smaller than n?
False
Let s(d) = d**3 + 2*d**2 - d + 1. Let t be s(-2). Let c = 3/25 + 119/50. Is t greater than c?
True
Let n = 124.46 + -126. Let z = n - -0.04. Let m = 0.5 + z. Is -2 > m?
False
Let r(c) = -1. Let q(u) = 2*u - 1. Let d(i) = -q(i) + 2*r(i). Let v be d(-2). Suppose -o - v*o = 8. Which is bigger: -5 or o?
o
Let k(x) = x**2 - 3*x - 3. Let f be k(5). Let c(l) = -l**3 + 6*l**2 + 8*l - 10. Let v be c(f). Is v > 0?
False
Let x = 283 - 12171/43. Is -1 at least as big as x?
False
Suppose -6*b - 101 = 13. Are b and -18 equal?
False
Let w = -71 + 79. Do w and -0.9 have the same value?
False
Let v be ((-6)/4)/3*4. Let z = 6 - 4. Let n(c) = -c**2 + c - 1. Let h be n(z). Do h and v have different values?
True
Let y be (1/3)/((-2)/(-6)). Let v = -2 + y. Let a = v + 0. Is -2/7 >= a?
True
Let u be 2 - (6/(-15)*-5 + -1). Let w = -8 - -8.5. Which is greater: w or u?
u
Let w = 9 - 9. Let y = -2/11 - 7/22. Which is bigger: w or y?
w
Let s(i) = i**3 - 4*i**2 - 2. Let x be s(4). Suppose 0 = -8*h - 7 - 9. Is x at most as big as h?
True
Let u be (4/(-6))/((-2)/15). Suppose 5*p = 4*y + 8, -4*p - u*y - 2 - 8 = 0. Let v(x) = x. Let n be v(0). Is p < n?
False
Let j = 81 + -81. Which is smaller: 1/223 or j?
j
Let i = -20 - -19.68. Let j = i - -0.02. Which is smaller: 0.2 or j?
j
Suppose -4*t + 18 = 5*p, 3*t - 7*t + 3*p = -2. Which is smaller: 8/3 or t?
t
Suppose 9 = -2*y + 5*y. Is y at most as big as 3?
True
Let k = 20/7 + -114/35. Which is smaller: k or -13?
-13
Let k be 1 - 0 - 18/4. Is k smaller than -3?
True
Let h = 124682/56115 + 2/6235. Which is smaller: h or 1?
1
Let r = 3183 - 41409/13. Is r at least as big as -3?
True
Suppose -2*z + i = -3, 2*i = i + 5. Suppose 0 = -v + z, -3*k = -k - v + 12. Suppose 2*c = -4*q - 16, 0*c - q - 6 = c. Is c > k?
False
Let z be 12 + -1 - 4 - 1. Are z and 6 nonequal?
False
Let w be -3*3*2/6. Let q be (1/w)/((-4)/12). Let f be 3/6 + q/2. Are 1 and f unequal?
False
Let f be -199*(2/(-606))/(-1). Let a = -1/101 + f. Which is smaller: a or 0.2?
a
Let h = -0.4 + -0.6. Let a = -0.78 + -0.12. Let d = a - h. Is 1 > d?
True
Let o = 8 - 0. Which is greater: o or -2?
o
Let x(c) = -c**2 - 23*c + 26. Let o be x(-24). Which is smaller: 21/8 or o?
o
Let v(c) = c + 5. Let s be v(-5). Let r = s - -3. Let t(w) = -w + 4. Let z be t(r). Which is bigger: -2/5 or z?
z
Let s(o) = o**3 - o**2 - 4*o. Let m be s(3). Suppose r = m*r - 20. Let u(x) = x - 3. Let i be u(r). Which is greater: i or 0?
i
Let o be 82/(-13)*1/2 + 3. Is -2/13 less than or equal to o?
True
Let s = 10 - 10. Let v = 3 + s. Which is smaller: -2 or v?
-2
Let a be (-2)/(-6)*0*1. Which is smaller: -9/10 or a?
-9/10
Let w = 0.2 - 2.2. Which is smaller: w or -4?
-4
Let s(g) be the second derivative of -5/2*g**2 - 1/6*g**3 + g + 0. Let k be s(-4). Is k <= -2/9?
True
Let b = -24 - -24. Which is bigger: -2/51 or b?
b
Let r(z) = -z**2 - 12*z + 18. Let o be r(-13). Which is greater: 3 or o?
o
Suppose 5*o - 10 = 15. Let m be (o/(-5))/(3/6). Do -2 and m have the same value?
True
Let k = 153876/7 - 22171. Let s = k + 189. Let b = -2 - -1.95. Is b greater than or equal to s?
False
Suppose 5*s - 1 = 104. Let u = -24 + s. Which is smaller: u or -2?
u
Suppose -3*t - 4 = -4*t. Suppose 5 = -c + t. Which is smaller: -4/7 or c?
c
Suppose 2*c - 2 = -3*b - 2*c, 0 = 5*b + 5*c - 10. Let i = b - 3. Suppose -2 + 11 = i*y. Which is greater: -1 or y?
y
Let r be (-20)/68*4/10. Suppose -k - y = 2 + 2, 0 = 5*k + 2*y + 11. Is k smaller than r?
True
Suppose d + 1 = -0*d. Let w = 2 - d. Suppose -4*p + i = 4, 2*p - 3*i - 5 = w. Is -2 equal to p?
True
Let z be (6/4)/((-3)/4). Let k = 2 + z. Suppose k = 4*o - o. Is -1 less than o?
True
Let t be 2 + (-3 - (-6)/(-6)). Is t smaller than -14/5?
False
Let k be -4 + (4 - (-1 - -2)). Let u be (-1 + 2)/(k/(-11)). Is u bigger than 2?
True
Suppose 4*w + w = -10. Let c be (-5)/(-7)*(-6)/(-15). Which is smaller: w or c?
w
Suppose 4*w - 11 = 3*p, 0*p + 8 = p + w. Which is smaller: 3/2 or p?
3/2
Let s be -1 + 2 - 2/1. Let u be (-2)/(-12)*4/((-16)/42). Is s > u?
True
Suppose -u - 2*m + 6*m + 18 = 0, 2*m + 2 = 4*u. Is u bigger than -10?
True
Let q(j) = -j**3 - 5*j**2 + 10*j + 14. Let y be q(-6). Which is smaller: y or -11?
-11
Let g = -0.836 + 0.166. Let h = -0.07 - g. Let a = h + 1.4. Is -0.2 < a?
True
Let x be (-51)/(-21) - 4/(-7). Which is smaller: 7 or x?
x
Let p be (1 - 2) + (-90)/(-86). Suppose 4*b + b = -3*h - 25, -2*h + 4*b + 20 = 0. Are h and p nonequal?
True
Let v be 24/20*(-40)/(-12). Is v greater than 6?
False
Let o be 2/(-4)*(-8)/14. Let y = 0.2 + -0.7. Which is greater: y or o?
o
Let b = 5.11 + -0.11. Let q = 5.3 - b. Is q less than 1?
True
Suppose l - 28 = -88. Let t be (-15)/l - 13/4. Is -3 at least t?
True
Let y be 8 + 2/(-6)*-3. Let o = y - 9. Which is smaller: 0.06 or o?
o
Let w(r) = -r**2 + 4*r - 5. Let c be w(4). Is c at least -11/2?
True
Let c be (-2)/10 - 3/(-15). Suppose -4*z + 4 = -c*z. Let q be (-9)/7 + (1 - 0). Is q != z?
True
Suppose -5*p + g - 26 = 0, p + p + 5*g = -5. Which is bigger: -3 or p?
-3
Let v be (6/4)/((-6)/(-4)). Suppose 0*h + v = -h. Is -1 < h?
False
Suppose 4*j + 8 = 0, 4*w + 1 = -5*j - 5. Is 2/23 great