False
Let c = -448 + 447.9. Is c != 57?
True
Let o(j) = 2*j - 3. Let m be o(13). Let r be 24 + (10/4 - 3)*6. Is r bigger than m?
False
Let w = -0.3 - -0.34. Suppose 5*i - 16 = -4*m + 2*m, 0 = -2*i - 2*m + 4. Suppose 0 = i*q - q - 3. Is q smaller than w?
False
Let r = -10 + 13. Let h(b) = 0 + 7 - r - 1 + b. Let g be h(-4). Is -2 < g?
True
Suppose y = u - 18, -3*u + 92 = 2*u - 4*y. Let b = u + -20. Which is smaller: -6/25 or b?
-6/25
Let i = -5/36 + 277/180. Suppose -164 = -5*p + 186. Let r = 72 - p. Is r < i?
False
Let w(a) = -4*a**3 - 27*a**2 + 75*a - 47. Let q(v) = -v**3 - 7*v**2 + 19*v - 12. Let u(l) = -9*q(l) + 2*w(l). Let m be u(-11). Is m at most 14/9?
False
Let v be (64/(-42))/((-1098)/427). Which is greater: v or 2?
2
Let l be 0 - (2/1 + -40). Suppose 0 = -27*g + 20*g + 273. Which is bigger: g or l?
g
Let t = -1 + 1. Suppose -a - 1 - 4 = t. Let i be 45/(-9)*1/a. Is i at least as big as 1?
True
Let z = 88.8 - 82. Let f = 4.8 - z. Let t = 3 + -3.2. Which is smaller: f or t?
f
Suppose -6*c = 3*a - 3*c, -3*a + 2*c = 20. Let k = 2 + a. Let r be (-1)/k + (-54)/60. Which is smaller: r or 0?
r
Suppose -2*a = -6 - 2. Suppose m + 2*r + 18 = 0, r - 7 = a*m - 4*r. Let f = -7 - m. Which is smaller: 6/5 or f?
f
Let a = 541 - 1534. Let t = -144979/146 - a. Let n = -287/730 + t. Is 1 >= n?
True
Let o = 0.1 + 0.1. Let b = o - 0.3. Let a = -5087/3813 - -1/1271. Does b = a?
False
Let z(s) = 66*s - 47. Let b be z(1). Which is bigger: 18 or b?
b
Let w(p) = p - 95. Let s be w(24). Which is bigger: -141/2 or s?
-141/2
Let q be (6/(-252))/(1/1). Let y be ((2440/(-15))/8)/(1/(-3)). Let a = y + -61. Which is smaller: q or a?
q
Suppose 0 = -37*y + 38*y - 70. Which is greater: y or -1/5?
y
Let p = 145 - 154. Let m = p - -12. Which is bigger: m or 1/7?
m
Let w = -31.3 - -31.2. Let u be (6 + 0)*(-4)/(-15). Is w less than u?
True
Let c = -19 + 20. Is -7/23 <= c?
True
Let d(o) = o + 27. Let h be d(0). Let l be h/(-30)*(-8)/(-6). Suppose -2 = -t + 3*t. Is t > l?
True
Suppose 4*i = -3*c + 5, -2*i = 3*c + 2*c + 1. Suppose -5*p = 4*w - 0*w, -p = i*w. Is p != 2/25?
True
Let y = 26/61 + 4367/488. Are 9 and y equal?
False
Let u(r) = -r**3 - 3. Let p be u(0). Let y be -1*(p - -7 - 1). Let d be y/(-1) - (-17)/(-5). Is d less than or equal to -2/5?
True
Let g = -12754 + 89430/7. Let f(b) = -2*b**3 - 2*b**2 + 2. Let d be f(2). Let x = g + d. Which is smaller: x or -1?
-1
Suppose -77 = 4*r + 5*x, -5*x = 6*r - 3*r + 64. Is -15 at most r?
True
Suppose -19 = -5*s + 36. Let p = 2 + s. Suppose -9*q + p*q = -4. Which is smaller: q or -5/8?
q
Let v = -64.5 + 63.5. Is v != -0.0105?
True
Suppose 22*l + 2350 - 326 = 0. Is l equal to -458/5?
False
Let s(r) = -r**3 + 14*r**2 - 11*r - 14. Let j be s(13). Let h = 14 - j. Suppose h*l = -l + 6. Is l >= 1/2?
True
Suppose 165 = b - l, 4*b - 260 = l + 385. Which is bigger: b or 162?
162
Let b = 327 + -325. Do b and -5 have different values?
True
Let z = -0.628 - -4.654. Let q = 0.026 - z. Is -14 bigger than q?
False
Let x(j) be the second derivative of 5*j**3/6 - 5*j**2 - 12*j. Let z be x(3). Which is greater: -2/5 or z?
z
Let v = -1804 - -1800. Which is smaller: 13 or v?
v
Let l = 115/118 - 42943/354. Which is smaller: -120 or l?
l
Let t = -204 + 204. Suppose 4*o + 0*o = 8. Are t and o nonequal?
True
Let o = 3 + -1. Let q = -34 - -34.56. Let y = q - 0.26. Is o smaller than y?
False
Let q be (47 + -45)/(((-2)/55)/1). Which is smaller: -53 or q?
q
Let w be (-2)/4 - (-675)/1422. Are w and 0 non-equal?
True
Let u(x) = -x**2 - 12*x - 10. Let i be u(-9). Suppose 0*y - y - i = 0. Let w = y + 16. Is -2/23 equal to w?
False
Let f = 58 - 57. Suppose -f + 43 = -6*y. Is -13/2 > y?
True
Let i be 1*(-1 - 4) - (-3 + -1). Is 3/11 >= i?
True
Let o = -2233 + 2221. Which is smaller: 0.17 or o?
o
Suppose -3*l = -4*l. Let v = 19 - 19. Suppose -4*x - 3*a + v + 2 = 0, -a = x - 1. Which is smaller: x or l?
x
Suppose 4*d - 28 = -d - 4*h, 4*h = -2*d + 16. Suppose -6*y = -d*y - 12. Suppose 7 = -i + 2*j, -i - 4*j + 17 = -y*i. Are 2/31 and i equal?
False
Let a = -0.201 - -43.201. Are -2 and a nonequal?
True
Let d be 11*(-5)/10*-2*5. Which is bigger: 272/5 or d?
d
Let r(c) = -c**3 - 5*c**2 - 3*c - 12. Let s be r(-5). Let l be 7/(-140) + s/(-15). Let f = 0 + 0.1. Is f < l?
False
Suppose -6*f = -32 + 20. Let c be (6/(-4))/(6/(-12)). Is f > c?
False
Let a = 114 - 568/5. Suppose 0 = 4*r - 4*d + 12, r + 5*d = d + 7. Do a and r have different values?
True
Let g(f) = f**3 - f**2 - f + 1. Suppose 0*w = -4*w + 16, -2*d = 5*w - 34. Suppose 3*k = d*k. Let c be g(k). Which is smaller: -1/7 or c?
-1/7
Suppose -5*j + 8 = -3*j. Suppose -3 = j*o - 7. Which is greater: o or 1/16?
o
Let j(s) be the third derivative of -s**5/60 + s**4/8 + 2*s**3/3 + 10*s**2. Suppose -14 = -3*n + b, -4*n + 6*b - b + 26 = 0. Let l be j(n). Is -4/3 equal to l?
False
Let m be (4 + -3 - 0)/((-3)/(-318)). Is 105 >= m?
False
Let l be -10*3/12*(0 - 2). Suppose -l*q + 5*a = 65, -3*a = -q - 10 - 7. Is q smaller than -11?
False
Let i = 192418/11219 + -64/863. Which is smaller: 17 or i?
17
Let u be ((-3)/2)/(45/(-60)). Suppose 4*a = y + 6, 0 = -0*a - u*a - 2*y + 8. Suppose a*k + 23 = 25. Is k < -9?
False
Let b = -283 - -5944/21. Suppose m + 0 = -0. Suppose m = -7*t + 4*t. Which is greater: t or b?
b
Let v = -12 - -17. Let g = 46 - -7. Suppose 0 = -2*u + v*s - 12 - g, -4*s - 40 = 3*u. Are -20 and u equal?
True
Suppose -20*r = -16*r - 200. Is r > 50?
False
Let f be ((-5)/(-3))/((-8)/3). Let o(t) = -t**2 + 5*t + 14. Suppose c - 6 = 1. Let u be o(c). Is f greater than u?
False
Let k = -21 + 31. Suppose -3*y = -f - 3, 4*f - 42 = -3*y - 54. Which is bigger: k or f?
k
Let y = -526 + 537. Let s(n) = -2 - 4*n + 7 + 5*n**2 - 4*n**2. Let k be s(5). Which is bigger: k or y?
y
Let f = 3 + 47. Suppose 4*r = f - 310. Is r at most as big as -65?
True
Let p be (20/(-30))/(1/3). Let l be -19 + ((-8)/p)/4. Are l and -19 non-equal?
True
Suppose 48 = 9*v - 57*v. Let n = -11.74 + 12. Does n = v?
False
Let y be (-4*27/6)/(59 - 61). Let i = 24 + -13. Let x = -1 + i. Is x <= y?
False
Let s be ((-24)/10)/(6/(-20)). Suppose 12 = 4*h + s. Suppose -3*t + 5 = 2. Is h at most as big as t?
True
Let o = 278 + -279. Which is smaller: o or -66?
-66
Let o be (1190/15)/2*(-7 + 4). Is -119 equal to o?
True
Let u be (26/130)/(-1 + 16/20). Suppose 0 = 3*i + 3 + 3. Let m be ((-3)/(-45))/(i/(-6)). Are m and u unequal?
True
Suppose 277 + 783 = 5*d. Let x be (5/60)/(21/d). Let a = 5/9 - x. Which is smaller: a or 0?
a
Let d(y) = -y**2 + 2*y - 1. Let v be d(1). Let q be (2 + -8)*(6/558)/(-1). Which is greater: v or q?
q
Let r(o) = 3*o - 8. Let u be r(4). Suppose 10 = -2*v - 5*s, -v + 24 = -u*v - 3*s. Let m be 102/(-20) - 15/v. Is m at least -3?
False
Let j(c) = c - 30. Let y be j(29). Does y = 2/1845?
False
Let x(t) = -2*t**2 + 27*t - 21. Let c be x(11). Is c at most as big as 33?
False
Let f be (-44)/4 + 4 + 33. Which is greater: -5 or f?
f
Suppose 654 = 3*n + 2*c, 6*n = 2*n + 5*c + 895. Do 220 and n have different values?
False
Let a = 10738 - 10782. Let v = -1 + 2. Which is bigger: v or a?
v
Let f = 5.78 + -0.58. Let o = -5 + f. Let p = -13.9 + 14. Is o equal to p?
False
Let c = -269.81 - -271. Let y = c + -2.19. Suppose 0 = -4*v + 2*v + 12. Which is greater: y or v?
v
Let g = -16 - -11. Let c = g + 4. Let y = 63/4 + -571/36. Is c greater than y?
False
Let x be ((-196)/(-21) + -8)*-3. Which is smaller: x or -45/13?
x
Suppose -24*v - 2142 = -3*v. Which is smaller: v or -103?
-103
Let s = -2230.02 + 2206. Let f = -24 - s. Is 0.2 less than or equal to f?
False
Let z = -23 - -16. Suppose 2*d + 4 = -q, -q - 2 = 4*d - 0. Which is bigger: q or z?
q
Let f be (-36 - -35)*(0 - 66 - -1). Let h = -13 + f. Is h equal to 53?
False
Let g be (-3 + 46/5)*5. Let v = -17 + g. Is 17 less than v?
False
Let q(u) = 7*u**3 + 0*u**3 + 4 - 3 - 8*u**3 + u. Let b be q(0). Let h be 7*2/(-6) + 2. Is h greater than b?
False
Suppose 2*k + 204 = 5*x, 7*x - 3*x - 200 = 2*k. Is k greater than 1/9?
False
Suppose -x - k - 3*k - 13 = 0, 10 = -4*x - 2*k. Let s be (-210)/(-51) - (-2)/(-17). Suppose 0 = 3*p + s*p. Is p less than x?
False
Let f = 65009.9 + -65010. Let u = -34 - -28.3. Let t = -28.7 - u. Which is smaller: f or t?
t
Suppose -9*v = -6*v - 213. Suppose -6*g + v = -1. Which is greater: 10 o