 be h(-15). Is m at most d?
True
Let h = -35 - -38. Let v(u) = u**3 - u**2 + 6*u - 6. Let w be v(h). Are w and 29 equal?
False
Suppose 21 = 4*f - 11. Suppose -y = -7 - 3. Which is bigger: f or y?
y
Let j = -37 + 46. Let l(x) = x**2 + 9*x + 12. Let z be l(-8). Suppose -z*y + 34 + 2 = 0. Is j not equal to y?
False
Let x = 102.2 + -18.2. Let g = x + -83. Are g and 26 unequal?
True
Let m be (3 + (-819)/(-26))*44/18. Let t(i) = i**3 + 2*i**2 + i - 3. Let q be t(-5). Let s = m + q. Do -3 and s have the same value?
False
Suppose w + 350 = -2*c, -2*c + w - 889 = 3*c. Let i be (c/(-6))/(-2 - (-9)/6). Is -58 smaller than i?
False
Let l(n) = -n**3 + 16*n**2 - n + 15. Let o be l(16). Let x = 1/62 + -52/341. Which is smaller: o or x?
o
Let p be ((-18)/(-27))/((-2)/(-33)). Suppose f + 5*u + 0*u + 13 = 0, -p = f + 4*u. Let w be 1*-1 + (-6 - f). Is w < -6?
False
Suppose -2*v + 7*m - 3*m = -18, 4*m = -4*v + 96. Let g = v - 16. Suppose 0 = -k + g*k - 16. Is k at most 7?
False
Suppose 0 = -7*t + 11*t + 168. Let i = 42 + t. Which is greater: i or -1/17?
i
Let v = 5 + -4. Let r = -0.02 - -0.21. Let j = r + -0.18. Which is smaller: v or j?
j
Suppose -2*t - 258 = -5*f, -2*t = 9 - 1. Suppose 5*v = -5*l - f, 2*l - 3*v = 2*v - 41. Is -14 smaller than l?
True
Suppose 7 = d + x, -2*d = -0*d + 4*x - 22. Let v be (-419)/(-945) - d/7. Which is bigger: v or -1?
v
Let u be (-5202)/(-24)*(-6)/9. Which is smaller: u or -146?
-146
Let y = 23 + -23. Let d = 1.1 - 8.1. Which is smaller: d or y?
d
Suppose 0 = 3*v + 2*i - 29, -2*v + i + 18 = -6. Let f = 22 - v. Let p(x) = 4*x - 24. Let r be p(9). Which is smaller: r or f?
f
Let w = -269 - -268. Which is bigger: w or -2/1031?
-2/1031
Suppose -608 = 37*c + c. Is c at most 4/35?
True
Suppose 0 = -8*v - 316 + 228. Suppose a = -2*a + 96. Suppose -c - 3*c = a. Which is smaller: c or v?
v
Suppose -3*s + 5 = -1, 0 = 4*h + 4*s - 8. Which is greater: -8/41 or h?
h
Let n = 36.8 - 39. Let d = -2.4 - n. Which is smaller: -20 or d?
-20
Let i = -243 - -246. Suppose 4*s = 10 - 2. Suppose s*d = d - i. Which is smaller: d or -3/2?
d
Let p be 659066/(-2328) - 5/30 - -1. Let h = -1129/4 - p. Is h greater than 0?
True
Suppose 2*j - 3*g - 4 = -10, -4*j - 12 = -2*g. Is 2 less than j?
False
Let d = -26.2 - -26.3. Is -43/6 less than d?
True
Let d(n) = -2*n**2 + 19*n - 15. Let q(b) = -b**2 + 10*b - 8. Let t(o) = -4*d(o) + 7*q(o). Let k be t(8). Let z be k/50 + (-64)/10. Which is greater: -3 or z?
-3
Let t = 8 - 2. Let d be (-2)/t + (-5306)/228. Let v = 47/2 + d. Is 1 not equal to v?
True
Let a(r) = 18*r + 86. Let n be a(-4). Do 107/7 and n have the same value?
False
Let q = -14 - -16. Let d(n) = -n**3 + 2*n + 1. Let b be d(-2). Suppose -r = -b + q. Which is greater: r or 4?
4
Suppose -2*r + 5*d - 5 = 12, 3 = -3*d. Let p(k) be the third derivative of k**5/60 + 7*k**4/24 - k**3/3 - 3*k**2. Let s be p(-5). Which is greater: r or s?
r
Let r = 122 + -120. Is 26/21 less than r?
True
Let d = 953/28 + -34. Suppose 2*i + 12 = -4*h - 2*i, 0 = i. Let q be (h + 1)/(15 + -17). Does q = d?
False
Let y be (3 + -2)/((-7)/(14/10)). Which is greater: y or 0.86?
0.86
Suppose 2*h - 3*y - 65 = -3*h, 5*y = -3*h + 5. Suppose h*c + 53 = -7. Is c > -5?
False
Let p be 100/6 - (-6)/(-9). Let f be (-2 + p/14)*-7. Let i = 6 - f. Is i equal to -6/5?
False
Let u be -3 - ((-11184)/620)/6. Which is greater: 0 or u?
u
Let c = 1306 - 1307.76. Is c != 0.1?
True
Let d = -0.1712 - -31.1172. Let u = 0.054 + d. Let a = u - 15. Is -1 at most as big as a?
True
Let i(l) = l**2 + 9*l - 7. Let h be i(-10). Let m be (-3)/9 + 13/h. Suppose -3*n + 3*t = -6, 0 = 3*n + t + m*t + 18. Is n < -3/4?
True
Let s(f) = 9 - 3*f + 10 + 6. Let r be s(10). Which is smaller: -38/9 or r?
r
Let d = -154 - -613/4. Let i be (-2 + (-2 - -2))*(-12)/(-24). Which is smaller: d or i?
i
Suppose -2*p = 2*p - 76. Let x = -1824 - -1843. Is p at most as big as x?
True
Let d be -1*2*10/(-10). Suppose -2*q + 7 = -5. Suppose 2*v = -q + 16. Which is greater: d or v?
v
Let f = -936 - -1107. Is f >= 171?
True
Let l be (-2979)/19305 - 4/(-30). Which is greater: l or -1?
l
Suppose -4*o - 28 = -2*w - 3*o, -w = o - 17. Let s = 13 - w. Suppose -2*z - 1 = v, -8*z - 3*v = -3*z + 3. Which is smaller: s or z?
s
Let t = 8 + -8. Let a = 102 - 74.5. Let m = a - 27. Which is smaller: t or m?
t
Let t(w) = w + 8. Suppose 4*f = 5*u - 2 + 36, -3*f - u + 16 = 0. Let s be t(f). Let q = -11 + s. Is q greater than or equal to 5?
False
Let y(t) = t**3 - 2*t**2 - 4*t + 6. Let f be y(4). Let l be (-15)/(-60) - f/(-8). Suppose k + l*k = 36. Does 10 = k?
False
Let t(x) = x. Let v be t(-5). Let n(c) = -2*c - 11. Let q be (3/(-2) - 0)/((-24)/(-48)). Let u be n(q). Do v and u have the same value?
True
Let r = 30 + -17. Suppose 1 = r*m - 14*m. Is 3/26 equal to m?
False
Let u be (-6)/10*(-37 + 12). Suppose -4*s = -9*s + u. Let v be (3/(-9))/(8/s). Is 1 bigger than v?
True
Suppose -4*j + 0*j = -1404. Is 351 less than j?
False
Let u = -2.01 + 0.01. Let p be (6 + -2)/2 - (-165)/(-65). Let q = 75/91 + p. Which is smaller: q or u?
u
Let i = 16.3 + -1.3. Let r = 14.7 - i. Which is bigger: r or 1?
1
Let w be (-4)/(-6)*(-9)/(-12). Let r = -50.996 + 51. Let c = 14.996 + r. Which is bigger: c or w?
c
Let m be 2/8 + 3/(-12). Suppose -25 = -5*y, 4*y - 8 = -f - m*y. Does f = -12?
True
Suppose g + 1976 = 2*x - g, 0 = -4*x - 5*g + 3925. Let h be x/(-65) + (-4)/(-26). Are h and -15 nonequal?
False
Let f(l) = l**2 - 2*l + 1. Let t be f(2). Let p = 3834353/13 - 294516. Let q = -434 + p. Which is greater: q or t?
t
Let w = 43294/9 - 4803. Which is bigger: 7 or w?
w
Let r = 12 - 9. Suppose -3*h + 32 = 2*h + 2*d, -3*d - 15 = -r*h. Let f be (6/4)/(h/16). Which is smaller: f or -1?
-1
Let i = 112 - 114. Which is smaller: i or -10/9?
i
Let h(r) = -r**3 - r**2 + 3*r + 9. Let q be h(-2). Suppose 0*m = -q*m - 35. Which is smaller: m or -27/7?
m
Let n = -0.0086 - -0.0386. Let f(c) = c**2 - 8*c + 6. Let w be f(7). Let m be (-1)/(-3) - w/(-1). Which is smaller: n or m?
m
Let p = 135 + -137. Let y = p - -143/72. Is y at least 1?
False
Let s = -30.4 + 33. Let b = s + -4.3. Let f = -1.8 - b. Is f at most as big as -12/5?
False
Let b = 108 - 107. Let p be 169/13 - 5*b. Is 47/6 < p?
True
Suppose 5 = -4*d - 127. Let v be (22/d)/((-26)/(-6)). Suppose 3*a + 5 = 2. Which is bigger: v or a?
v
Suppose 4*v = 2*i - 116, 73 = -3*v - 4*i - 14. Is -27 != v?
True
Suppose 0 = 11*b + 94 + 170. Which is smaller: -23 or b?
b
Let z be (1/(-4))/(2/68). Suppose 18 = 5*u + 63. Which is smaller: z or u?
u
Let o = 1342 - 28180/21. Is -1 greater than o?
False
Let r = 5037397/588 + -8567. Which is smaller: r or 1?
r
Suppose -m + 0*m = -o, 5*m - 27 = -4*o. Let k(x) = -x + 3*x - 6 - 4. Let l be k(o). Is l bigger than -7?
True
Let m = -213 + 202.9. Let r be ((-1)/(-3))/(2/(-10)*-5). Is m >= r?
False
Let s = 21.76 + -22. Let y = s - -0.24. Which is bigger: y or 27?
27
Let v = 269 + -271. Which is bigger: v or -54?
v
Suppose -4*l - 249 = 5*p, -4*l = 3*p + 11 + 132. Which is greater: -63 or p?
p
Let i = 27 + -26.9. Let z = -3 - -3. Let b(d) = -d + 1. Let s be b(z). Which is greater: i or s?
s
Let p = 24 + -18. Suppose 0 = -4*r + 6*r - p. Suppose -21 + 9 = -r*i. Which is bigger: i or 5?
5
Let d = -1.9 - -1.78. Let u = d + 0.02. Is -26 > u?
False
Let q = 0 + 13. Suppose 0*w - 102 = 6*w. Let l = w - -30. Is q less than or equal to l?
True
Let b(l) = l**2 - 7*l + 6. Let p be b(10). Let o be 246/p - (5 + -2). Which is smaller: 4 or o?
o
Suppose 28*y - 7 = -119. Which is smaller: y or -1?
y
Let h = 51 - 62. Let r(s) = 8*s - 10. Let x be r(5). Suppose -x = 3*v + 4*t - t, 0 = 5*v + 3*t + 48. Are h and v equal?
False
Suppose -14*q = 5665 - 5679. Let c be (-4)/58*1/2. Is q >= c?
True
Let u be (-17)/5 + (-4)/(-10). Let j(q) = -35*q + 1087. Let b be j(31). Which is smaller: b or u?
u
Let x be 1/(-2) - (-15)/50. Suppose -19 = -11*l + 124. Is x > l?
False
Let h(r) = -4*r**2 + 7*r + 2*r + 8 - 2*r**2 + 5*r**2. Let z be h(8). Let m = -15 + z. Is m not equal to -1/14?
True
Let m = -0.084 - -2.434. Let v = m + 0.65. Is v smaller than 11/6?
False
Suppose -d + 4 = f, 0*f + 7 = 2*d + 3*f. Let g(l) = -5*l + 18. Let q be g(d). Let b = 35/12 + -8/3. Which is smaller: q or b?
q
Suppose 0 = -t - 11*j + 16*j + 176, j = -5*t + 880. Which is smaller: t or 17