Are 0.2 and a equal?
False
Let f = 0.08 - 8.08. Let d = f + 8. Let w be 0 - (-4)/16*2. Does d = w?
False
Let l = 713 + -1273. Which is greater: -559 or l?
-559
Let t be (-246)/(-357) - (24/(-14))/(-3). Which is greater: -0.09 or t?
t
Let i = 6.14 - 6.1. Let m = -0.54 - -0.6. Let g = m + i. Which is greater: -1 or g?
g
Suppose 0 = 10*r - 33*r - 92. Let y be 5 - 10/r*16/(-20). Let d = 0.1 + 0. Which is smaller: d or y?
d
Let o be 1/(((-9)/(-57))/3). Let q = o - 19. Suppose 0 = 4*k - 3*x, -5*k + x + 11 = -q*x. Which is smaller: k or 2?
2
Let o be (6/9)/((-2)/(-3)). Let i be 2502/(-10) - 1/(-5). Let t = 1753/7 + i. Which is smaller: o or t?
t
Let r = -2752 + 85330/31. Which is smaller: r or 2?
r
Suppose 7*m - 2*m + 178 = 3*w, 5*m = -10. Let h be (-6)/(-8) - 154/w. Which is smaller: -3/8 or h?
h
Suppose 5*s - 3*a - 26 = 0, -3*s + 3*a = 7 - 25. Suppose 0*z - 88 = s*z. Is -21 greater than or equal to z?
True
Suppose 10*f - 6 = 5*f + 3*x, x = -f + 6. Suppose -2*k + 26 = 4*l - 4*k, f*l + 2*k - 9 = 0. Suppose 0 = l*s - s. Are s and -1/3 nonequal?
True
Let p = 13 + -21. Let x be 1 - (p/14 - -1). Suppose -744*u - 5*c = -747*u + 21, 4*c = 2*u - 16. Is x at most u?
True
Let b = -32 - 1. Let v = b - -50. Which is smaller: 0 or v?
0
Suppose -g = 3*f - 12, 4*g + 3*f - 5 - 70 = 0. Which is smaller: 15 or g?
15
Let y = -2523 + 2574. Which is smaller: y or -5?
-5
Suppose 6 = 2*t + t. Suppose 0 = -t*o + 3*o - 1. Let q = o + -6. Which is greater: q or -6?
q
Let l = -1013 - -1012. Let i(c) = -10*c**2 + 2*c - 2. Let w be i(2). Which is smaller: l or w?
w
Suppose 3*l - 2*u - 10 = 9, 2*l - 6 = -2*u. Let n = 1 - l. Suppose 2*v = 5*o + 3*v - 5, 4*v = 3*o + 20. Which is greater: n or o?
o
Let w be 8/((-110)/(-225)*5). Let o = -6 - -8. Is w less than o?
False
Suppose -5*c - 52 + 2 = 0. Let r be (-2)/5 - (-16)/c. Is -1 greater than r?
True
Let f = 6343 - 6346. Suppose 3*l + 2*q - 4*q + 8 = 0, -3*l - 1 = 5*q. Is f smaller than l?
True
Let j(a) = 41*a**3 - 2*a**2 - 3*a - 3. Let y be j(-1). Is -46 not equal to y?
True
Suppose -3*v = -2*z - 15, -4*v + 3*z + 26 = 5. Suppose -v*a + 60 = -3*y, 5*a = 4*y + 2*a + 81. Let o be 2/(4 - (-96)/y). Is o at least -4?
True
Suppose -3*s + 3690 = 3642. Let z = -2 - -1. Is z equal to s?
False
Let n = -21 + 40. Let s = 19.11 - n. Is 1/4 > s?
True
Let w(a) = -a**2 - a + 1. Let s be w(-2). Let v = 1/802 - 815/10426. Which is smaller: v or s?
s
Let c = -175 - -180. Suppose -c*i - 44 = -79. Is i >= 7?
True
Let r(b) = -b**3 + 11*b**2 + 5*b - 11. Let y be r(11). Suppose -2*z - c - y = 0, -2*z + 4*c = 35 - 1. Is -19 not equal to z?
True
Suppose 8 = v + 7. Let a be (30/8)/(v/16). Suppose -r = 4*h + 12, 0 + a = 5*r - 4*h. Is 7 <= r?
True
Let s(v) = v**3 + 17*v**2 + 13*v - 47. Let g be s(-16). Are g and 4/71 equal?
False
Suppose -8 = s + 2*n, 3*s + 14 = -5*n - 11. Let y(z) = 631*z - 316*z - 303*z + 21 + z**2. Let h be y(s). Which is smaller: h or 6/13?
6/13
Suppose -13*i + 2160 = 2*i. Which is greater: i or 140?
i
Let o = 13.5 - 12.1. Let k be (-7)/10 - (-2)/10. Which is smaller: o or k?
k
Suppose -7*a = -2*a - 25. Let o be 1 + 1 - (3 + a). Let w(x) = x**2 + 7*x + 7. Let s be w(o). Which is bigger: s or -4/5?
s
Suppose 3*r = 4*v - 6, 3*v - 5 = r + 2. Suppose -2*j - 5*l + 42 = 0, -2*j + 2*l = -v*l - 22. Suppose j*b - 6 = 18*b. Is b > -2?
False
Suppose 2*d = -3*w + 14, -3*d + 2 = -1. Let g(v) be the third derivative of -v**5/60 + v**4/4 - 2*v**3/3 + v**2. Let k be g(w). Which is smaller: 5/2 or k?
5/2
Let x(t) = -3*t**2 - 5*t + 21. Let b be x(7). Is b smaller than -161?
False
Let n(h) = 2*h**3 - h**2 - 2*h - 4. Let k be n(2). Which is greater: k or -4/7?
k
Let n be (115/10)/(102/4). Let l = 29/3 - 10. Let o = l + n. Is o smaller than -1?
False
Suppose 3*t - 2*m = 9, -2*m - m - 8 = t. Suppose -18 + 3 = -3*u. Let n(c) = -2*c + 11. Let l be n(u). Is t at least l?
True
Suppose 0 = -10*x + 42 - 2. Let w be (-3 - (-14)/x)*(-4)/(-8). Which is smaller: w or 7?
w
Suppose -3*v - 24 = -2*n + v, -2*v - 2 = 0. Suppose -3*b - n = -2*w + b, b = -3*w - 6. Which is smaller: 1/8 or w?
w
Suppose -3*f = -4*q - 0*q - 104, -5*q = -5*f + 175. Let i be 2/(-14) + ((-16192)/(-56))/8. Is f at least i?
True
Suppose 2*b = -3*p + 11 + 15, 4*b + 44 = 2*p. Suppose -4*s + 45 + 95 = 0. Let w = -23 + s. Is w >= p?
True
Let c(l) be the second derivative of l**4/12 - 6*l**2 + 8*l. Let q be c(5). Let x be q + -17 - (0 - 5). Is 2 at least x?
True
Let l be (-4)/6 - 140/(-30). Suppose 6 = 5*u - 2*b + 5*b, -2*b = -l. Let p(k) = -k - 1. Let x be p(-1). Is u at most as big as x?
True
Let l(x) = -137*x - 16. Let r be l(-1). Is r at least 3?
True
Suppose -8 = -2*n - 0*n - 4*r, -3*n - 5*r + 11 = 0. Suppose -n*o - 6 = 26. Let f be 29/8 - 6/o. Are f and 1 nonequal?
True
Let u = -54262064647/11925 + 4550278. Let t = 40073/5175 - 178/23. Let y = u - t. Which is greater: y or -1?
y
Let k(w) = -w**3 + 6*w**2 - 3. Let u be k(6). Let b = -1 - u. Suppose 0 = l + 4*o - 15, b*l + 1 = 4*o - 5. Is l > 2?
True
Let h = -10.286 + -0.014. Let i = h + 8.3. Let b = -0.06 - -11.06. Which is smaller: b or i?
i
Let c(q) = 148*q - 709. Let h be c(8). Is 476 != h?
True
Let h = 21 - 34. Let t = 24 + h. Suppose -3*y - 5*z = y - t, 2 = -2*z. Which is smaller: 6 or y?
y
Suppose 549 = -m - i, 0*i + 2*i = -3*m - 1643. Is -544 bigger than m?
True
Let d = -53 + 58. Suppose 4*b - 3*p + 116 = 0, 0*p + p = -d*b - 164. Is -31 less than b?
False
Let b = 17591/10 + -1761. Let n(i) = -i - 5. Let k be n(-3). Is b less than k?
False
Suppose -2*g - 11 = 9. Let a be 14/(-10) - 4/g. Let m = 4884 + -4884. Is a != m?
True
Suppose 3*l + 2*i - 323 = 0, 2*i = -l + 118 - 9. Let g(z) = -23*z - 32. Let n be g(-6). Does l = n?
False
Let t be 3 - 0 - (152075/(-2024))/(-25). Let p = 33 + -32. Is t at most as big as p?
True
Let i = 22 - 12. Let a(w) = w**3 - 11*w**2 + 11*w - 8. Let j be a(i). Let h be -2*(36/8 - j). Is -1/3 > h?
True
Suppose -8*b = -20*b + 12. Let s be ((-28)/12 - -2)/((-266)/(-12)). Which is greater: b or s?
b
Suppose -5*j = 4*y - 352, 3*y - 64 = -j - y. Let v = -82 + j. Which is greater: v or -34/3?
v
Let y be (10/((-120)/(-18)))/(6/(-8)). Does -8/13 = y?
False
Suppose 0 = 5*f + 5*q + 5, -4*q - 9 = f + 1. Let p be ((-13)/9 - -1)/f. Suppose 5 - 1 = -4*v - 4*i, 4*v + 3*i + 3 = 0. Which is smaller: v or p?
p
Let y(f) = 0*f + 0*f - f - 1. Let w be y(-3). Let g be (0 - w)*2/(-4). Is 1/5 at least as big as g?
False
Let p(t) = -t**3 + 9*t**2 - 7*t - 15. Suppose -c - 5 + 33 = 5*z, 3*z - 44 = -4*c. Let j be p(c). Which is greater: j or -15/2?
j
Let v be -14 + 11 - (-4514)/22. Let f = -202 + v. Let m = -0.3 + 0.5. Is m not equal to f?
True
Let c(l) = l + 3. Suppose p - 3*o + 4*o = -8, 4*p - 3*o = -25. Let k = p - -3. Let t be c(k). Is -4/15 at most t?
False
Let x be (-2)/5 - 152/20. Let v be (x/(-70))/(1/5). Let w = -236 + 238. Which is greater: v or w?
w
Suppose 0 = 5*b - 9*b + 20. Suppose 3 = -b*k + 8. Which is greater: -2/23 or k?
k
Let n = 30 + -28. Suppose -2*v = s - 5, -n*s - 2*v - 3*v + 13 = 0. Which is smaller: s or 1?
s
Let s(o) = 4*o - 4. Let c be s(1). Is c less than -5/22?
False
Suppose -2*j = -8*j + 36. Let m be (-4)/j - (7/3 - 3). Suppose 0 = -4*s - 3*i + 7, -5*s + i = -4*i. Is m < s?
True
Let y(l) = 28*l**2 - 5*l + 1. Let n be y(1). Let z = 19 - n. Is z less than -3?
True
Suppose -2*t + 3 - 7 = 0. Suppose d + 0 = 7. Does d = t?
False
Let j = -0.513 + 1.513. Which is smaller: -134 or j?
-134
Let x = 175 + -194. Is 1 at most as big as x?
False
Let l = 2532.8 + -2535. Is l not equal to 10?
True
Suppose -4*f = -f - 18. Let c(u) = u**2 - 8*u + 3. Let x be c(f). Suppose -h + 3*g - 21 = 0, -3*g + 2683 = h + 2680. Is h less than or equal to x?
True
Let f(x) = -19*x**3 + 3*x**2 + 2*x. Let p be f(-1). Let d = -22 + p. Is d greater than or equal to -4/7?
False
Suppose -36 = i + 14. Let r = i - -33. Which is smaller: -49/3 or r?
r
Let x = 99.45 - 100. Let z = x - 1.45. Is z < -0.02?
True
Let i(b) = 2*b. Let u be i(-2). Let g(c) = -c**2 - 3*c + 5. Let n be g(u). Let d be 1 - n - 14/(-357). Which is bigger: -2/7 or d?
d
Let u = 31 + -35. Let b be (1/4)/(0 - u). Which is greater: 2 or b?
2
Let d be -4 + (-2)/(-1) - 0. Let p be (84/(-8))/((-5)/d). Is -3 at most as big as p?
False
Let v = -30.39 - -30. Is 0 at most as big as v?
False
Let j = 216