ame value?
False
Let p(c) = -7*c**2 + 32*c - 59. Let h be p(-14). Is -1880 bigger than h?
False
Let q = -45 + 126. Suppose 32*g = 39*g - 567. Is g > q?
False
Let s be (6/(-40))/(1/(50/(-80))). Is s <= -0.2?
False
Suppose -4*n = -6*n - 10. Let o(f) = -f**3 - 6*f**2 - 6*f - 3. Let k be o(n). Suppose -k*t = -4*a + 10, -t + 5*t = -4*a - 20. Is -3/5 less than a?
True
Let k = -8 - -30. Suppose -5*w - 3*b = -59, -w - b - 3*b + k = 0. Is 1 less than w?
True
Let t be 1351/105 + (-18)/(-135). Suppose -30 - 30 = -4*o. Which is greater: o or t?
o
Let h = 4.92 + -5. Let w = h - -0.13. Let c = w - 5.05. Which is greater: 2 or c?
2
Let o be (-48)/(-4 + 1) - -6. Which is smaller: o or 11?
11
Let o = 105 - -1149. Let q = -61452/49 + o. Which is smaller: q or -1?
-1
Let u = -17 + 16.96. Let w = -0.06 + u. Which is greater: w or -2/19?
w
Let y = 1409 - 1519. Is -110 > y?
False
Let k be 27/(-78) + (-8)/(-16). Let b = 3/65 + k. Which is smaller: -6 or b?
-6
Let y = -1 + 2.4. Let u = -3 - -0.6. Let p = u + y. Is 0.14 at most p?
False
Let h = 5 + -5.8. Let d = 0.6 + h. Suppose 15*i - 10*i = -3*g + 6, 3*i = 2*g - 4. Is d less than or equal to i?
True
Let o = 77.5 - 74. Let c = o - 5.5. Which is bigger: -0.4 or c?
-0.4
Let g(s) = s**2 - 4 + 21*s + 7 + 13. Let d be g(-19). Is -22 > d?
False
Let u = -0.13 + -0.23. Let p = 0.04 - u. Is p at most as big as 0?
False
Let k be (-1 - 3) + -3 + 3 - -2. Suppose -40 = t - 6*t. Suppose f + h = t - 2, 0 = 4*h - 20. Is f > k?
True
Let b be 2095/(-3475) + 3 + (-36)/15. Which is smaller: b or 0?
b
Let q = 4.8 + -5. Let o = 12.2 + q. Is o at most 0.1?
False
Suppose -4*a + 16 = 0, 2*m - 4*a = -23 + 9. Let s(h) = h**2 - 6*h - 7. Let z be s(7). Suppose z = -3*k + 6*k. Is m less than or equal to k?
False
Let j(c) = 2*c**2 - 7*c - 11. Let i be j(6). Which is smaller: i or 6?
6
Let o(g) = 4*g**3 - 2*g + 1. Let s be o(1). Suppose 0 = -p - 4 + s. Is p greater than 0.4?
False
Let o be (-4)/6 - 25/(-15). Let t be (1/(-2) - 0)*o. Let h be ((-128)/(-24) + -4)/(2/(-3)). Are h and t equal?
False
Let c be (-101)/(-3) + (20/(-6))/(-10). Is c greater than 172/5?
False
Let f be (-6)/(-3*(-4)/(-8)). Which is greater: f or 28?
28
Let q be 2/9 + (-77)/63. Let x be (-1)/4 + (2 - q). Let n = 13/4 - x. Do -5 and n have the same value?
False
Suppose -2*w = -2*t + t + 18, -4*t + w + 58 = 0. Let y be 7 + -3 + -6 - t/2. Which is greater: y or -11?
y
Let c = 24 - 97/4. Is c <= 1.5?
True
Suppose 4*p - 3*p = 5. Suppose p*k - 3*c = 4*k + 18, -k + c + 8 = 0. Suppose m = 4*i - 3, 0 = -4*i + k*i + 4*m - 3. Is 1 >= i?
True
Let m(j) = -6 + j + 6 + 5*j. Let b be m(1). Let v be b/(-2) + 190/70. Is -0.3 <= v?
True
Let d be (-616)/16 + (0 - 3). Let a = 42 + d. Which is smaller: 2 or a?
a
Let p = 12183/280 + -591/35. Let w = -1395/56 + p. Which is smaller: 2/3 or w?
2/3
Let r(y) = 2*y + 74. Let q be r(-23). Which is smaller: 33 or q?
q
Suppose -m = l - 1, -3*l = -0*m + 4*m - 7. Let t be -1 - (m + -7) - 35/17. Is 0 >= t?
True
Suppose q = 4*q, q + 38 = 2*a. Is a greater than or equal to 20?
False
Let j = -4638/13 + 22858/39. Are 230 and j unequal?
True
Suppose -11*n = -12 - 32. Suppose 8 = -3*r + 20, 0 = 2*w + n*r - 14. Which is greater: 0.4 or w?
0.4
Let s be 3/(-1) + -4*(-4)/16. Let z(x) = -2*x**2 - x - 6. Let r be z(s). Which is greater: r or -14?
r
Let w = -2.51 + 2.4. Let j = 10/23 + -4/115. Which is smaller: j or w?
w
Let p = 7.819 - 0.019. Let l = 13 - p. Let x = 1.8 + l. Is x >= 1/4?
True
Suppose -2*g + 24 + 2 = 0. Let y = -41 - -43. Let x be (195/(-30))/((-1)/y). Is x >= g?
True
Let s be 31 + 30/(-4)*160/(-200). Which is greater: s or 41?
41
Let q = 95/4 - 995/44. Let t = q + -18/11. Which is smaller: t or 4?
t
Let b = 3867394/13 - 297736. Let i = b - -244. Let h = 11 - 43/4. Which is smaller: h or i?
i
Suppose 2*h + 5*s = 10, -s - 30 = -4*h - 10. Are h and 4 equal?
False
Let k = -9 + 14. Let d be 9/(-1)*(-14)/21. Suppose -4*b = -d*b - 3*v - 3, v = -4*b - 1. Which is greater: k or b?
k
Let v(a) = -a**2 - 11*a - 6. Let o be v(-10). Suppose -o*s - 2 = -3*y, y - 1 = -s + 2*s. Let b be 15/108 - 2/9. Which is greater: s or b?
s
Let z = 10.5 + 0.5. Let r = z + -26. Which is greater: r or -2?
-2
Let f = 10.86 - -0.14. Let b = f - 11.1. Suppose 14 = 5*t + 4. Which is smaller: b or t?
b
Suppose 5*z + 760 = -4*j, -13*z + 10*z - 3*j - 459 = 0. Which is greater: z or -149?
z
Let a(u) = -u**2 + 8*u - 9. Let i be a(5). Let f be (i/(-12))/((-6)/4). Which is smaller: f or -6?
-6
Suppose -z + 7*v = 27, 2*z - v - 9 = -50. Which is smaller: 12 or z?
z
Let i = -6940216/34713 - -5792/29. Let h = -2/133 + i. Which is greater: -0.02 or h?
-0.02
Suppose 77*m = 74*m - 39. Which is bigger: m or -7?
-7
Suppose 0 = -2*j - 3*j + 170. Let k be 6/(1/18*3). Do k and j have different values?
True
Let y(n) = 42*n - 213. Let k be y(4). Which is smaller: -0.2 or k?
k
Suppose -20 = -21*y + 20*y. Is 58/3 >= y?
False
Let n = 1.429 - -0.081. Let j = 1.6 - n. Let w = -0.01 - j. Which is bigger: w or -3?
w
Let x(w) = -w**3 - 2*w**2 - w - 4. Let z be x(-3). Let o(p) = p**2 - 9*p - 2. Let s be o(z). Let t = s - -13. Which is bigger: t or 2?
t
Let b be 10195/(-268) - 10/(-20). Let o = 14/67 - b. Let w = o + -38. Which is smaller: w or 2/5?
w
Let y be 16/(-3)*(-78)/(-52) + -2. Which is smaller: 0.03 or y?
y
Let l = -0.1072 + 0.1072. Which is bigger: l or 1/46?
1/46
Let d = -1203 + 1186. Which is greater: -2/5 or d?
-2/5
Let p = -195322/193 - -1012. Which is greater: -1 or p?
p
Suppose -2*w = -3*n + 225, -2*w = -n + 3*w + 88. Is 3 < n?
True
Let d(a) = a**2 + 21*a - 76. Let l be d(-17). Is -145 smaller than l?
True
Let j = 1.7 + -2. Let s be ((12 - 1) + -11)/((-1)/1). Which is bigger: s or j?
s
Let k(s) = -2*s + 42. Let i be k(21). Suppose i = 2*u - 4 + 2. Is u at most 3/31?
False
Suppose -13*t + 13*t = -9*t. Which is greater: t or 13/16?
13/16
Let a be (-1607)/(-45) + (-8)/504*7. Which is smaller: 0.1 or a?
0.1
Let s be (-3*(-2)/4)/(3/4). Let k be 2/(-9) + 25/(-9) + s. Is k at most -2/173?
True
Let t = 1718 - 1673. Which is smaller: t or -1/2?
-1/2
Let n be (5 + -4)/(-1)*-1. Let f be ((0/(-1))/n)/(-3). Which is smaller: -0.1 or f?
-0.1
Let w(d) = -4*d - 31. Let s be w(-21). Let q = -46 + s. Let m be (-1)/(-21) - (-2)/7. Which is smaller: m or q?
m
Let f(a) = 8*a - 12*a + 3 + 6*a. Let h be f(11). Let t = h + -25. Is -1/5 smaller than t?
True
Let w = -16.5 + 12.5. Are 0.089 and w equal?
False
Suppose p - 2*p = 26. Let y be (-18)/(-27) + p/(-6). Which is greater: y or 6?
6
Let x(t) = -t**3 - 6*t**2 - 5*t - 5. Let r be x(-5). Let u be (4/(-20))/(r/(100/8)). Which is greater: u or 2?
2
Let d = 1.07 - -0.13. Let o = -9 + 55. Let u = -47 + o. Which is smaller: d or u?
u
Let p be 150/(-35) + 0 + 0. Suppose -i = -5*c + 2*c - 12, 0 = 2*c + 4*i + 22. Which is smaller: p or c?
c
Let a be 0 + -13 - 90/15. Let h = -44 - -26. Which is smaller: h or a?
a
Suppose -8 = 2*v - 6*v. Suppose 3*b = 4*k + b - 18, 3*b = v*k - 7. Suppose 2*a - 12 = 3*d, k*a = d - 2*d - 4. Are 1/2 and a unequal?
True
Let s(p) = p**3 - p**2 - p + 1. Let m be s(2). Suppose -4*v + 1 = -m. Which is smaller: 1/87 or v?
1/87
Suppose 13 - 1 = 4*y. Suppose y*f + 1 = 4*i + 5, 4*f = 3*i + 3. Which is greater: -58 or f?
f
Let s = 110 + -99. Is 9 at most as big as s?
True
Suppose 22 - 39 = 17*v. Is -8/59 smaller than v?
False
Let g = -33/47 + 2513/3713. Is g greater than 0?
False
Let o = -6723/877 - 2/2631. Which is greater: o or -1?
-1
Let v = 119 + -119. Suppose -t - 2 = -2*t. Suppose -2*l + 10 = v, -t*k - 3*l = 1 - 0. Is -9 >= k?
False
Let w be (-80)/25*(-20)/8. Let c(x) = -x**2 + 8*x - 3. Let o be c(w). Let i be 7 + o + 54/(-14). Is i at least as big as -3?
True
Suppose 0 = -v + 2*j - 7*j + 27, 0 = 4*v + 3*j - 40. Let u be (-12)/84 - (-1)/v. Which is greater: u or -5/12?
u
Let b be 6/10 - 102/(-5). Which is greater: 22 or b?
22
Suppose -7*t = -12*t + 5*q - 2695, -2*q = -10. Is -532 smaller than t?
False
Suppose -2*a - 10*a = 1188. Let b = a + 96. Is b at least as big as -3/7?
False
Suppose 17*w - 540 = 22*w. Let g be w/(-22) + -2 + -3. Which is smaller: 0 or g?
g
Suppose -5 = -3*o + 1. Suppose o*q = -3*a + 8, 0 = -2*q - 2*q + 5*a + 16. Let y be q/(-2)*(-54)/(-12). Is -10 != y?
True
Let n = -1236 + 1323. Do n and 353/4 have different values?
True
Let w = 1041930