et h = 29 - 50. Which is smaller: h or t?
t
Let y = -12858/11 - -1168. Suppose s + 5*x - 20 = 4, s + 16 = 3*x. Is y >= s?
True
Suppose 4*i - 4*g = 340, 2*i = -29*g + 33*g + 172. Is i bigger than 82?
True
Suppose 0 = 13*c + 431 + 427. Let n be 62/5 - (-4 - c/15). Suppose g - 7 = 6. Is n equal to g?
False
Let c(x) = x**3 - 14*x**2 + 14*x - 6. Let l be c(13). Let s be 24/(-16) - (-45)/6. Is l less than or equal to s?
False
Suppose -132 = 5*a - 142. Which is greater: a or -3?
a
Suppose 0*q - 4 = -2*q. Suppose 3 = -k - q. Is -24/5 < k?
False
Suppose 5*b + 138 = -6*u + 4*u, -3*b = -5*u + 89. Is -3 < b?
False
Let m = 3 + -6. Suppose -5*p + 12*p = 42. Let a be 6/(-4) + m/p. Is -7 at least a?
False
Let o(j) = -19*j + 3*j**3 - 12 - 10*j - 4*j**3 - 11*j**2 + 25*j. Let k be o(-11). Which is bigger: k or 31?
k
Let c = 29 + -126. Is c greater than or equal to -97?
True
Let h(b) = 2*b**3 + 25*b**2 + 25*b + 185. Let d be h(-12). Let w(u) = 5*u - 1. Let o be w(6). Is o greater than or equal to d?
True
Suppose -5*c - 3*p + 9 = -0*c, -4*c = 2*p - 6. Which is smaller: 1/134 or c?
c
Let z = -558 + 557.913. Is -3 at least z?
False
Let j = -30 + 60. Let i be 4/15*j/(-20). Suppose 2*a + 0*a + 2 = 0. Is i at least as big as a?
True
Let l be (-54)/21*8/6 - -6. Which is smaller: 4 or l?
l
Let w be 39/2 + 2/(-12). Let u be 2/(-5) - 93/5. Let d = u + w. Which is smaller: d or 1/8?
1/8
Let a = 0.8 - 0.4. Let g(v) = v**3 - 7*v**2 + 2*v - 9. Let f be g(4). Let s = -49 - f. Which is bigger: a or s?
a
Suppose 0 = 5*h - 5*n + 80, n = -2*h - 4*n + 3. Is h < -16?
False
Let i(c) = -c**3 + 7*c**2 + 9*c - 6. Let n be i(8). Suppose -3*v + 3*f = -27, v + f + 3 = n. Is v less than or equal to 15/4?
False
Let o be (3 + -2)*60/(-195). Are 0 and o unequal?
True
Let x(f) = 5*f + 10. Let j be x(7). Let t = j + -46. Is t smaller than 2/35?
True
Let v be ((-50)/150)/(2/(-6) + 0). Which is smaller: v or -2/173?
-2/173
Let m(h) = 26*h - 239. Let y be m(18). Are y and 229 unequal?
False
Let c(t) be the second derivative of t**4/12 + 2*t**3/3 - 3*t**2 + 20*t. Let p be c(4). Which is smaller: 27 or p?
p
Let d = 275 - 410. Is -135 > d?
False
Suppose 5*v = -30 + 190. Let q = v - 23. Let z be (-35)/(-12) - 6/q. Are z and 2 non-equal?
True
Let g be 50/(-78)*-3 - (-1 + 2). Which is greater: -6 or g?
g
Let n = -20 + -2. Let x be 0 + (1 - n/(-23)). Is x at most 1?
True
Suppose -4*s + 2*c - 10 = 0, 4*c - 11 = -7. Which is smaller: s or -33?
-33
Suppose -3*z + 4*a = -4*z - 12, 2*a = -5*z - 24. Is -9/2 less than z?
True
Suppose 18*x = f + 22*x + 4, 5*x - 31 = f. Which is greater: f or -22?
f
Suppose -703 = -24*f + 161. Which is greater: 37 or f?
37
Let o = -16/11 - -3/2. Suppose -9 = 2*x - 3*s, 5*s = 5*x + 4 + 6. Suppose 2*y = -x*y - 5. Which is smaller: y or o?
y
Suppose -4*j = -0*j + 56. Let u be (-3)/3 + (-7 - j). Which is bigger: u or 3?
u
Let k = 7 - 21. Let z be (-76)/k - (-15)/(-35). Let w be 2/z - 369/(-90). Is w less than or equal to 4?
False
Let i = 43 + 87. Let c = 648/5 - i. Is c != 4/3?
True
Let h be (1 - 0) + 9 + 2. Let l(p) = 5*p - 63. Let a be l(15). Suppose -4*o + 5*o - 4*x + h = 0, 4*o + a = 4*x. Which is smaller: o or -3?
-3
Let z = 29.071 + -0.071. Let k = z + -30. Which is greater: k or -5/2?
k
Let a be (21 - 0)*14/567. Is a != 2?
True
Suppose -308*g = -295*g - 351. Suppose -4*d + 103 + 9 = 0. Which is smaller: d or g?
g
Let u be 1/(-4) - (-3)/(36/15). Let i(l) = l**2 - 3*l - 6. Let h be i(6). Let x be -1*u + 108/h. Which is bigger: x or 7?
x
Let n be 2 - 230*(-1)/(-148). Let x = n + 2/37. Which is smaller: x or 3?
x
Let a(m) = -3*m - 15. Let s be a(-6). Let h be (s/(-8) - 0)*23/92. Is h != 1?
True
Let w be -5 - -3 - 322/(-162). Let r = 92/891 + w. Let j = 51/44 + r. Is j not equal to 0?
True
Let t(v) = -2*v**2 - 2*v + 8. Let n be -1 - (1/2)/(3/18). Let b be t(n). Is b < -17?
False
Let h = 12 + -16. Let q = -4 - h. Let a = -0.91 + 0.9. Which is smaller: q or a?
a
Let u = -2 - -7. Let z(a) = -5*a**2 - 9 + 27*a - 2*a + 4*a**2 - 2*a**2. Let y be z(8). Which is greater: u or y?
u
Let f(x) = -10*x**3 - 3*x**2 + 2*x. Let q be f(1). Which is greater: -13 or q?
q
Let c(z) = -22*z - 546. Let x be c(-33). Is 179 less than or equal to x?
True
Let u(b) = b**2 - 5*b + 5. Let s be u(6). Suppose -c = -3*y + 4*c + 21, 4*y = c + s. Suppose 2*t = -3*i - 3*t, -5*t = y*i. Which is bigger: i or -3/20?
i
Let h = 309/8 - 24395/632. Let s(z) = -z + 5. Let i be s(5). Is i < h?
True
Suppose -2*b = 3 + 1. Let c(r) = -2*r**2 - 4*r + 3. Let n be c(-4). Let l be n/78 + 10/(-12). Is b != l?
True
Let g(i) = -i + 4. Let l be g(4). Suppose l = 4*d - h + 2*h + 6, -h + 10 = -4*d. Let t = -116/105 - 8/35. Is t < d?
False
Let z be 24/(-27) - (2 - 3). Let a be -1*(-2)/8 + 46/8. Suppose 0*s - 5*u = s - 16, 0 = -2*u + a. Are z and s equal?
False
Let v = 14 - 13.96. Let f = -8.5 + 9.5. Which is bigger: v or f?
f
Let n = -235.99 + 236. Which is smaller: -5 or n?
-5
Let c = 9 + -3. Suppose -2*q = c, 4*r + q = 5*r - 9. Suppose r*s = 26 + 10. Do s and 4 have the same value?
False
Suppose 36 = -4*h - 252. Let w be 38/133 + 513/(-7) + 0. Are w and h equal?
False
Let s = -3711.8 + 3712. Let k = -0.6 - 1.1. Are k and s unequal?
True
Suppose 103 - 31 = 4*y. Let c(i) = -81*i - 6462. Let d be c(-80). Is y at most d?
True
Let n(r) be the second derivative of r**3/6 + 3*r**2 - 3*r. Let x be n(-3). Which is smaller: 4 or x?
x
Let f = 1924 - 1913. Suppose -62 = -5*v + v + 3*b, 5*v = -4*b + 62. Is v greater than or equal to f?
True
Suppose -10 = 2*c - 22. Suppose -7*u + 4*u = -c. Do u and 7/4 have different values?
True
Suppose 3*g - 3*v = 18, 0*v + 4*v + 19 = 3*g. Suppose 0*n + 133 = -3*n + f, -n = g*f + 39. Let x be 4/6 - n/(-12). Which is smaller: x or -1?
x
Suppose -2*y + y = 19. Let j = 17 + y. Let h be 2/56*(4 + j). Do h and 1 have the same value?
False
Let q(a) be the third derivative of a**4/12 + a**3 + 2*a**2. Let b be q(-4). Let v be 1 - -4*(-10)/20. Which is bigger: v or b?
v
Let p(f) = f + 12. Suppose 4*k - 72 = 4*n, -3*n - 12 = -2*n + 2*k. Let v be p(n). Is -5 smaller than v?
True
Let p = -0.601 + 0.601. Is 39 equal to p?
False
Let t(f) = f + 3. Let z be t(1). Let x be z + ((-27)/6 - 0). Which is smaller: 2 or x?
x
Let m be (-10)/(-12) + 1/(-2). Let n be (-3)/(-21) - (-255)/420. Which is greater: m or n?
n
Let u be (-3)/12 - 42/(-8). Let s = u + -9. Let g be 0 - 11/((-121)/(-44)). Is s at least as big as g?
True
Suppose 4*p + p = 15. Suppose p*b - 8*b = -90. Are b and 18 equal?
True
Let v = -0.45 + 0.05. Let x = 89 - 86. Let h be (x/12 + (-9)/4)*-1. Is v smaller than h?
True
Suppose 5*r = 9*a - 13*a - 9, -2*r = -2*a. Is r less than -9/16?
True
Let b be -2 + -6 + (4 + 0)/1. Let z be (-2 - ((-12)/13 - 4)) + b. Is z not equal to -1?
True
Suppose w + 4*s = 3*w - 74, -3*s = -3*w + 123. Suppose z + 3*d + 55 = 0, -3*z + 2*z - d = w. Is -38 <= z?
False
Let b = 0.28 - 0.46. Let t = b + -0.04. Suppose 5*m = 3*m. Which is smaller: m or t?
t
Suppose -2*j - c + 16 = 0, 2*c - 22 = -j - 8. Suppose 5*v + j = -3*b + 5*b, v + 3*b = 9. Are -4/5 and v unequal?
True
Suppose 2*j + 2 - 4 = 4*c, 2 = -c + 2*j. Is c > -11/21?
True
Let y(b) = b**2 + 1. Let s(a) = -7*a**2 + 2*a - 8. Let w(l) = -s(l) - 6*y(l). Let c be w(0). Let p = 4 + 0. Which is smaller: p or c?
c
Let g = -47 - -27. Let k be (-2)/(-2)*(23 + g). Let i = -3 + 5. Is i < k?
True
Let f be 1/(2 - -6 - 2). Let i = -0.4 - -0.8. Is f greater than or equal to i?
False
Suppose h + 10 = 2*l, 2*h - 25 = 5*h - 5*l. Suppose 0 = 11*u - 14*u + 3. Let d be (u/9)/((-1)/((-1)/1)). Which is smaller: d or h?
h
Let i = -13.5 + 39.5. Which is bigger: i or 2/9?
i
Suppose -2*u = -3*o + 7 + 6, 3*u = 4*o - 18. Let j be u/36*(-4338)/(-243) - -1. Is 1 at least j?
True
Let d(q) = -2*q + 8. Let m be d(4). Suppose m = -2*o - 4*c + 6, -4*o + 2*c = -0*c - 12. Which is smaller: o or 2?
2
Let b be (4/16)/(10/(-8)). Let y(a) = -a**3 - 6*a**2 - 5*a - 1. Let i be y(-5). Which is greater: i or b?
b
Let o be 7/((-28)/8) + 86. Suppose 5*u - 36 - o = 0. Let d = u + -14. Is 10 at least as big as d?
True
Suppose 3*m = 18*p - 16*p - 1305, -5*m = -2*p + 1303. Which is smaller: 653 or p?
653
Suppose c = i + 12, 3*c + 2*i = -c + 36. Let g = 22.8 - 23. Is g greater than c?
False
Let o = -643 + 597. Is o < -45?
True
Let h = 31 - 29. Le