ch is smaller: f or -0.1?
f
Suppose -x - 5 + 26 = r, -3*x = 4*r - 87. Let y(w) = 93*w - 2673. Let s be y(29). Is s greater than r?
False
Let i = -13 + -41. Is -53 equal to i?
False
Let a be (-55)/(-8) - (-64)/(-8). Which is smaller: -2 or a?
-2
Suppose 0 = -4*c + 7*c - 12. Suppose 4*i = c*b - 96, -5*i + 21 = 2*b - 13. Is b > 23?
False
Let l(v) = -v**3 - 8*v**2 - 7*v - 2. Let y be l(-7). Let w = -2 - y. Suppose 3*h - 3 = -w*h. Does h = -2/31?
False
Let y be ((43/2)/(-1))/(20/40). Is y bigger than -39?
False
Suppose 0 = -3*y - 5*q - 33, 0 = 3*y + 9*q - 10*q - 3. Let f be (-26)/(-152) - (-2)/8. Do y and f have different values?
True
Let z(g) = 2*g**2 - 23*g + 3. Let x(c) = c**2 - 22*c + 4. Let q(t) = -3*x(t) + 2*z(t). Let k be q(-20). Is k at most as big as -27/4?
False
Suppose 4*i + 7 + 13 = 0, 0 = 2*d + 5*i + 17. Suppose -v - v = -d. Let j(n) = -n**3 + 5*n**2 - 5*n + 4. Let y be j(4). Is y at most v?
True
Suppose 3*h - 3*n = 2*n - 12, -3*h = n - 6. Let j = 63 + -1076/17. Is h at least j?
True
Let d = -21.8 + 22.6. Let t = -3.85 + -0.05. Let b = -4 - t. Is b less than or equal to d?
True
Let g = 0.004549 - -29.995451. Suppose 4*r + t - 4 = 0, r - t - 1 = -2*t. Is r at most g?
True
Let q = 20.71 - 1.51. Let d = q - 19. Which is greater: -1 or d?
d
Suppose 46*x = -60 + 14. Is x equal to -6/913?
False
Let b(j) = -j**2 + 4*j - 3. Let m(a) = -a**3 - 5*a**2 - 3*a + 7. Let l be m(-4). Let v = 5 - l. Let f be b(v). Which is smaller: -1 or f?
-1
Suppose -1579 = 32*w + 1205. Do w and -90 have different values?
True
Let f = 1028 + -1478. Let n = -9448/21 - f. Is n > 0?
True
Suppose -2*t - 10 = -p + 2*p, 4*p + 28 = -2*t. Suppose 4*r = -0*r - 28. Is r bigger than p?
False
Let w = 21095/6 - 109117/30. Let c = -121 - w. Let a = -9/10 + c. Is a smaller than -0.7?
False
Suppose -61*b = -58*b - 141. Which is greater: b or 46?
b
Let k = -11721/13 - -901. Let b = 3/26 + k. Let z = -1225.6 - -1225. Which is greater: z or b?
b
Let o = 0.064 + -0.191. Let k = -0.027 - o. Does k = -1?
False
Let g(i) = 52*i - 156. Let s be g(3). Is 2/1199 less than s?
False
Let f = 25 + -21. Let z be ((-2)/f)/(9/(-72)). Suppose z*r - 2*x + 40 = -20, 4*x = -8. Which is smaller: r or -15?
r
Let t = -35 + -27. Let b be -102 + 38 - 2*-1. Is t at least as big as b?
True
Let d be 14/(-1)*9/(-6). Suppose -2 = -z + 2, i = -4*z + 19. Let p = i - d. Which is smaller: p or -19?
-19
Let g be 6/(-5 + -1) - (-6)/14. Does g = -3?
False
Let b = -2/633 + -1883/5064. Is 0 at most b?
False
Let h = 3 + -2.9. Let n = -261.5 - -263. Let d = n + h. Which is smaller: 0.1 or d?
0.1
Let l(b) = -b**3 - 7*b**2 + 9. Let z be l(-7). Suppose 2*a - 50 = -5*h + 3*a, 0 = -4*h + 4*a + 56. Are z and h non-equal?
False
Let d be 3 - ((-372)/(-63) - 3). Let c = d - -11/7. Let n = 4.9 - 5. Is n less than c?
True
Let d be (-3)/(-7) - 32/(-56). Which is bigger: 21/17 or d?
21/17
Suppose i = 17*l - 16*l + 1, 5*i - 9 = 4*l. Let z(a) = a**2 - 2*a - 3. Let f be z(-2). Which is smaller: f or l?
l
Let g(y) = -4*y**3 - y**2 - 2*y - 1. Let r be g(-1). Suppose -2*u + 18 = -3*h - r*u, 4*h + 4*u + 20 = 0. Which is smaller: h or -9?
-9
Let d = -6 - -9. Let z = 3.1 + 4.9. Let j = 8 - z. Is d less than j?
False
Suppose 5*v = -20, 3*u - 5*v + 0 = 35. Let c be (u + (-54)/10)*45. Are -18 and c non-equal?
False
Let h(c) = c**3 - 4*c**2 - 8*c - 14. Let k be h(6). Let l be 0/((8/10)/(4/k)). Is l smaller than 4/5?
True
Let r be 26/7 - 10/(-35). Let d be (1 - r) + 27 + -21. Suppose -g + 4*g = -d. Is g <= -1/4?
True
Suppose -3*m + 4*t = 160, -46 = m - 14*t + 9*t. Let o = m - -49. Is o < 1?
True
Suppose -6*z + 2*z - 44 = 0. Let j = -19 + 8. Is z > j?
False
Suppose -7*r = 3*r - 40. Let z be r/(-14)*(-3 + 4/6). Let w = 1/41 - -71/451. Which is greater: z or w?
z
Let w be ((-4)/60)/(2/5)*-6. Is w smaller than 6/17?
False
Suppose 385 = -5*k - 3*c, -94 = 8*k - 7*k + 4*c. Is -67 >= k?
True
Suppose 0 = 5*b + 172 + 73. Let i = b + 53. Do i and 3 have different values?
True
Let k = 6 + -4. Let h = 0.018 - -0.082. Is k at least h?
True
Let v = -2/99 + 109/495. Let r be 4/(2 + 2)*39. Let x = -38 + r. Which is greater: x or v?
x
Let r(x) = -x + 17. Let f be r(15). Suppose -f*i = -3*i. Suppose 15 = b - 4*b, -2*u + b + 1 = i. Is -2 > u?
False
Let u = -58 - -55. Let r = 1.1 - 5.1. Let b = u - r. Are -3 and b unequal?
True
Let u = -21 + 3. Let h = u + 31. Which is bigger: h or -1/3?
h
Suppose 0 = h + m + 1, 4*m + 1 = 3*m. Let t = 45 + -44.79. Let z = -0.21 + t. Is z at most as big as h?
True
Let p be (-5)/(-1)*2169/(-8343). Let z = p + 8/103. Is -1 less than z?
False
Let i(m) = m**3 - 10*m**2 - 22*m - 23. Let d be i(12). Suppose 4*y - 3*s + 7*s = -16, -d = s. Is y greater than or equal to -1/3?
False
Let o(a) = a**2 + 5*a + 6. Let f be o(-4). Suppose -4*i = -2*t - 10 - 2, f*t + 4*i = 12. Let x = t - 3. Is -6 bigger than x?
False
Let h be (252/15)/((-4)/30). Let c be (27/h)/((-3)/4) + 0. Is c bigger than 0?
True
Suppose 5*t + 2*q - 40 = 0, -5*t + 2*q = q - 40. Suppose 0 = -4*f + f - 18. Let a be (-6)/(-36) + (-47)/f. Do a and t have different values?
False
Let h be (-8)/(-10)*(-170)/(-4). Let i = -15 + h. Is 20 less than i?
False
Let v = 122337/29 - 4218. Is 1 >= v?
True
Let i(h) = -3*h**2 + 1. Let p be i(-1). Let l = -17/3 - -371/66. Which is smaller: l or p?
p
Let c be (-13 - -12) + (-8 - 1). Let r be -4 - (-5)/c*-6. Is 6/19 equal to r?
False
Suppose 6*j - 1 - 11 = 0. Suppose -l - j = -4*h + 8, 2*l - 4*h = -12. Let r be (-2)/(-2 + 1) - 6. Is l at least as big as r?
True
Let i = -203275.91 - -204471. Let h = i - 1203. Let d = h - 0.09. Which is smaller: d or 2?
d
Let r = 155 + -178. Is r less than or equal to 0.06?
True
Suppose -46 = -4*v + 3*t, -3*v + 3*t = -0*v - 36. Suppose 12*d - 2*d - v = 0. Is d bigger than 10?
False
Let h be 4/10*(-15)/24. Is h not equal to 309?
True
Let b(g) = g**3 - 16*g**2 + g - 15. Let x = 54 + -38. Let m be b(x). Suppose -5*a - 4 = z, -2*a = -6*a + 4*z + 16. Is m >= a?
True
Let a = 0.054 - -0.046. Let z be -5*(-3)/9*15. Suppose -5*l = 4*h - z, -l = 2*l + 9. Is a smaller than h?
True
Let z = -1.02 - -0.12. Let k = -140.762 + 141. Let n = k - 0.038. Does n = z?
False
Suppose 0 = l - 2*l + 13. Suppose 2*w - 4*w = n + 2, -w + 3*n + l = 0. Let r be -2 - (1 + w)/(-2). Does r = -1?
True
Let z be (-15282)/(-540) - (7/(-2))/7. Which is smaller: 0 or z?
0
Let p(n) = 22*n. Let d be p(0). Is 1/466 not equal to d?
True
Let k be (-230)/11*(-188314)/35. Let m = 112415 - k. Let b = m - -84. Is b < 1?
True
Let i = 19876/3 - 7318. Is -694 >= i?
False
Let v = -358 - -365. Which is smaller: v or -29?
-29
Let l be 476/(-315) - 9/(-6). Do l and -1 have different values?
True
Suppose -2*q = 11*f - 6*f + 1, 4*q + 13 = f. Let v be (-242)/112 + (-10)/(-35). Which is smaller: q or v?
q
Let f = 2.4 - 2.381. Is -1 at most f?
True
Suppose 2*q - 1 = 1, 4*h - q - 7 = 0. Suppose -h*b + 1 + 21 = 0. Which is smaller: 10 or b?
10
Suppose -4*z + 5*t + 20 = 0, -2*t + t = -z + 4. Suppose z = -3*f + f - 2*u + 10, -5 = 3*f - 2*u. Is f at least as big as 10/7?
False
Suppose p + 585 = -78732. Let z = p + 23478033/296. Let v = -5/8 + z. Which is smaller: v or 0?
0
Let t be (-3 + 4)/((-18)/(-4932)). Which is smaller: t or 273?
273
Let c = 7.3 - 7.62. Let w = -0.32 - c. Is w <= -11?
False
Let g = -2027 - -2188. Is 160 at most g?
True
Let h = 0.0114 + 35.9886. Suppose 3*b + 20 = 6*b - 5*k, -20 = 3*b + 5*k. Is h at most b?
False
Let r(n) = n**3 - 7*n**2 - n + 10. Let y be r(7). Suppose 4*d + 5*m - 10 = 0, 0*d + 5*m - 10 = d. Suppose d*z - 5*z = -10. Which is greater: y or z?
y
Let r = -40.07 - -72. Let v = -80 + 48. Let x = r + v. Is x at least 0.2?
False
Suppose m + 1 = -3*c, -2*m = -c + m - 7. Let s be c/(-14)*(-9 - 15). Is -3 > s?
False
Let o(c) = -c**3 - c**2 - c - 3. Let x be o(-2). Let v be 2/((-387)/194 - -2). Let u = -1154/3 + v. Is u < x?
False
Suppose -3*q + 23 = 4*z, 2*z = 2*q + 7 - 41. Let p(a) = a**3 - 2*a**2 - 4*a - 4. Let g be p(4). Is g at most as big as q?
True
Let b = 1253 + -1242.93. Let p = -0.87 + b. Let f = p + -9. Is 4 <= f?
False
Let m be (-5)/11 - (-2)/44*-4. Let w = m - -94/165. Is 1 greater than w?
True
Let d = 336.6 - 337. Do d and 1/26 have the same value?
False
Let x = 221 + -230. Is x at most -6?
True
Suppose 180 = -k + 5*m, 5*m + 420 = 3*k - 5*k. Wh