0 + 35. Let k = -36 + h. Which is greater: -0.32 or k?
-0.32
Let w be (-10)/4*1/((-12)/(-24)). Is 1.1 at least as big as w?
True
Suppose -6*p + 198 = 5*p. Let b = 29 - p. Is b <= -2?
False
Let k(d) = -d**3 + 2*d**2 + 19*d + 10. Let o be k(-4). Suppose -s - 10 = -41. Is s at least as big as o?
True
Suppose -k - 14 + 46 = -3*s, s = -4*k - 15. Let n = s - -13. Suppose -r + 3*v = 11, 5*r - 3*r - n*v = -14. Is -5 less than r?
False
Let o(m) be the third derivative of 7*m**6/120 - m**3/6 - 4*m**2. Let j be o(-1). Is -8 bigger than j?
False
Suppose -37*o - 195 = -34*o. Is o not equal to -65?
False
Suppose 33 = -6*q + 177. Let n = 33 - q. Suppose -c + n = -0*c. Which is smaller: 8 or c?
8
Suppose -22*q + 7*q + 105 = 0. Which is greater: q or 78/11?
78/11
Suppose -4*i - 4 = -d, -5*d = -0*i - i + 56. Let v = -20 - d. Which is greater: -7 or v?
-7
Let r = -0.251 - 0.039. Let u = r + 0.39. Do u and -11 have the same value?
False
Let f(o) = 2*o + 25. Let q = -48 + 37. Let r be f(q). Let g be (3/(-9))/((-3)/9). Do g and r have the same value?
False
Let u(w) = 11*w - 120. Let o be u(11). Are o and 204 nonequal?
True
Suppose -5*c + 3*y = -7, c - 5 = -0*c - 3*y. Suppose 4*t = -t - 3*g - 52, -3*t = -c*g + 35. Let v = 13 + t. Is 2 at most as big as v?
True
Let q = 1272/391 - 64/23. Is 0 not equal to q?
True
Let z = -3688/3 - -21925/18. Let h = -70/9 - z. Which is smaller: h or 4?
h
Let q = -626 + 626.28. Which is greater: -2 or q?
q
Let a = 22 - 45. Let f(u) = -u**3 - 23*u**2 + 2*u + 55. Let w be f(a). Which is smaller: w or 39/5?
39/5
Let d = -0.73 + 0.63. Is 158 at most d?
False
Suppose 4*u - 3*u = 2*h + 8, -4*u + 4*h + 28 = 0. Let j = u - 6. Suppose j*f = -2*f - 3*x + 17, -2*x = f - 11. Which is greater: -1.3 or f?
f
Let c be 1/((12/32)/3). Suppose -4*i = -5*v + 48, 0 = 2*v - 0*v + c. Let u = 16 + i. Is u less than or equal to 2/7?
True
Let w(b) = 1. Let q(t) = -t + 2. Let k(d) = 3*q(d) + 3*w(d). Let f be k(6). Is -8 equal to f?
False
Let i be 6/39 + 638/(-91). Let o = 38 - 115/3. Are i and o equal?
False
Suppose -16 = -4*i + 4*c, -4*i - 4*c = -2*i - 8. Suppose -i*n + 22 - 2 = 0. Let g = 58 - 53. Is n at most g?
True
Suppose 0 = 7*o - 6*o. Suppose 0 = 3*k + 3 - 0. Let y be k/(-5) + (-27)/85. Is o at most as big as y?
False
Suppose 1361 + 1924 = 5*y. Is y greater than 656?
True
Let d be 10/45 + 60/(-27). Let n be (-57)/6*d - -2. Suppose 2*m - 9 = -n. Is m equal to -5?
False
Let y = 86 + -85.9. Let u = -0.15 - -13.15. Let t = -14 + u. Which is smaller: y or t?
t
Let v be 1 - (-26)/39*222/4. Let h be v*((-10)/4 + 3)*4. Is 75 smaller than h?
True
Let h be (-3)/9 + (-122)/(-24). Let p be 1/3 + (-20)/12 + 2. Is p equal to h?
False
Let a be -2*52/24*3. Let z = a - -15. Suppose -7*g = -16*g. Are z and g equal?
False
Let v(y) = -2*y + 14. Let h be v(6). Let f be (h - 2)/(-1 - 0). Is f equal to 1/8?
False
Let b = -216 - -215.9. Let h = 0.175 + -0.025. Are h and b unequal?
True
Suppose 2*n = -3*p + 23, 3*p = -4*n - 2*p + 45. Suppose -12 = -2*m - n. Are 6 and m unequal?
True
Let v be 4 + 12/10 + -7. Which is smaller: v or -0.1?
v
Let o be ((-2)/6*-3)/(343/(-196)). Is -18 less than o?
True
Suppose -l - 7 = -0*s - s, -2*l - 24 = -4*s. Suppose 6*v + 3*n + 13 = 5*v, 23 = -3*v - s*n. Let w = -3 - -3. Which is smaller: v or w?
v
Let g be ((-10)/4)/(18/4). Let i(z) = 7*z - 14. Let d(y) = 13*y - 29. Let f(q) = -6*d(q) + 11*i(q). Let l be f(21). Which is smaller: g or l?
l
Let c = -251 - -561. Let k = c + -282.9. Let n = k - 27. Is -2.6 smaller than n?
True
Suppose u + 8 = m, -2*m - 4*u = -u + 4. Suppose -20 = 4*t, -t + m = -5*x + 14. Let n be ((-400)/68 - -6) + 128/68. Is n at most x?
False
Let s = 3276 - 32787/10. Is s at most -2?
True
Suppose d - 3*f - 14 = 12, 0 = 5*d - 3*f - 70. Let z(i) = -i**2 + 11*i + 7. Let u be z(d). Suppose u*p = 5*p - 2. Is -1/2 smaller than p?
False
Let d = -322 - -323. Let n(g) = -g**3 + 3*g**2 - 3*g + 1. Let l = 6 + -4. Let h be n(l). Which is smaller: d or h?
h
Let h be ((-303)/(-101))/((-1)/2). Which is smaller: h or -11?
-11
Suppose 15*l - 6202 - 2993 = 0. Which is smaller: 612 or l?
612
Let k = 37 + -28. Which is bigger: k or 1/7?
k
Let q = -0.17 - 1.83. Let c = q + 13. Which is smaller: c or 1?
1
Let n = 1826397/35 + -52170. Let s = 76/5 - n. Is s greater than 1?
True
Let m = -27 - 5. Let t be (-46)/(-8) + (-8)/m. Suppose -t*w = -5*w - 1. Which is greater: w or 0.1?
w
Let g = -886 + 1437. Suppose -g = 10*t - 31. Is t smaller than -51?
True
Let j = -239 + 142. Let q = j + 105. Which is smaller: 0 or q?
0
Suppose 0 = 2*f - 4*d - 14, 0 = -4*f - 0*d - 2*d + 18. Which is bigger: 7 or f?
7
Let z be 6/(-12) - ((-33)/(-2))/(-3). Suppose -2*y + 3 = -2*q - z, 12 = 5*y - 3*q. Is y less than -1/3?
False
Let w be 10 - ((-48)/6 + 46). Is -83/3 > w?
True
Let s be (-34)/(-48) - (2/6 + 0). Let i = s - 1/8. Let a = 2.9 - 3. Which is bigger: i or a?
i
Let k(p) = p**3 + 2*p**2 - 4*p. Let o be k(-3). Let y be (o - 7) + 10/2. Which is smaller: y or 2/9?
2/9
Let c be (758/(-24))/(4 + 205/20). Let f = c - -19/9. Is f < -1?
False
Let i be (1/2)/(189/14). Suppose -204 = 3*v - 3*k, -3*k + 35 = -2*v - 105. Let p = 65 + v. Which is smaller: i or p?
i
Let r = 2520 - 2499. Let c = 33 + -14. Which is greater: c or r?
r
Suppose -32*p + 42*p + 290 = 0. Which is smaller: -33 or p?
-33
Let c be 3/2 + 7/14. Suppose -5*w + 0*h = -c*h - 29, -w + 4*h + 13 = 0. Let y be w + -1*(3 - 0). Is 5/6 smaller than y?
True
Let m be (-870)/9 - 5*3/45. Is m greater than or equal to -93?
False
Suppose 2 = 2*i + 2. Suppose l - 3*l + 10 = i. Suppose 4*k = -2*b + 10, 3*k + 8 = 5*b + 48. Does k = l?
True
Let f = -12 - 8. Let j be 1/3 + f/6. Suppose 4*v + 0*d = d - 11, -3*v - 7 = -2*d. Is j less than or equal to v?
True
Suppose 0 = 46*a - 41*a + 3*k - 449, 4*a - 361 = -3*k. Is 81 greater than a?
False
Suppose 0 = -4*n - 4 + 24. Suppose -5*m = -n + 25. Let k be (8/238)/(m/(-14)). Is k >= -1?
True
Suppose -16*r + 10*r = -11*r. Does -1/291 = r?
False
Let i = 41 - 37. Let u be (14/6)/(1 + i/(-3)). Is u bigger than -7?
False
Let t(p) = -p**2 - 2*p + 7. Let l be t(-4). Let a be 1*((-108)/(-57) - 2). Is a not equal to l?
True
Let a = -2.04 + 2.082. Which is bigger: a or 2/3?
2/3
Let u be (833 + -26)*(-2 + 1)/3. Which is bigger: -270 or u?
u
Let c be (-3)/(-2)*3/6. Suppose 0 = -545*z + 538*z + 14. Which is smaller: c or z?
c
Suppose 0 = -5*q + g - 157, 2*q - 4*q + 5*g = 49. Let p = q - -26. Is -6 at most as big as p?
True
Let k(i) = -3*i - 16. Let u be k(-10). Let r = u + -15. Do 1/46 and r have the same value?
False
Let g = -3 - -3.04. Let c(k) = k**2 + k - 2. Let y(v) = -3*v**2 - 2*v + 5. Let m(i) = 5*c(i) + 2*y(i). Let b be m(0). Which is bigger: g or b?
g
Let w = -18.12 - -18. Let p = -0.32 - w. Which is bigger: -4 or p?
p
Let s = 1.446 + -1.346. Is s >= 3.41?
False
Let x = -53 + 51. Let r = -3 - x. Which is greater: -3 or r?
r
Let f be 67 + (3 - 1)/(-2). Suppose g - 61 = -4*r, 0 = -g - 88*r + 89*r + 66. Which is smaller: g or f?
g
Let g = 1227 - 1360. Are g and 1 equal?
False
Let q be -1 - (-11)/(44/(-24)). Let p be 3/(-6)*1 - 6/4. Which is greater: q or p?
p
Let r = 14 - 26. Let b be (r/(-48))/((-1)/(-4)). Suppose -2*l - 2*l = 4*h + 4, 0 = -4*h - 3*l + b. Is 4 less than or equal to h?
True
Suppose -t + 900 = t - 5*n, t - n = 453. Let p be t/(-100) - (-1)/(-5). Let c(l) = -l**2 - 4*l. Let s be c(-5). Is s greater than p?
False
Let b be 1*(1 + 3)*1. Let l = 8 - b. Suppose o + l*o = -25. Is o greater than or equal to -5?
True
Let k = 135 - 543/4. Let x = 187.1 + -201. Let s = 14 + x. Which is bigger: s or k?
s
Suppose 80*q = 76*q. Which is bigger: 6/731 or q?
6/731
Suppose 3*t - 2*t + 1 = 0. Let c(a) = 16*a**2 + 2*a + 1. Let u be c(t). Let n = -18 + u. Is n smaller than -4?
False
Suppose 5*u + 0*u - 30 = 0. Suppose -5*g + u = 3*a + 46, 44 = -2*a + g. Let p = a - -22. Which is bigger: p or 3/4?
p
Let v be (2/8)/((-3)/(-60)). Suppose -v*o = -3 + 18. Let r be 0/(2 + -3 - o). Is r less than 2/25?
True
Let c = -47 + 78. Let k = c + 26. Let f = 229/4 - k. Which is smaller: f or 1/3?
f
Let g = 6861/10 - 686. Is -4 greater than or equal to g?
False
Suppose 3*h + 40 - 49 = 0. Suppose 5*d - 11 = j, 7*d - h*d + 36 = -2*j. Which is greater: j or -14?
-14
Let h = 0.11 + -0.01. Let s = 0.2792 + 20.7908. Let o = s +