-73/130. Let z = f - m. Is 0.2 != z?
True
Let b = -13 - -11. Let y = -2.2 - b. Is -0.3 >= y?
False
Let o be 1 + (-5)/((-15)/(-6)). Let f(q) = -q**3 + 10*q**2 - q + 8. Let c be f(10). Is o > c?
True
Suppose 4*m - 3*q = 8, 3*m - 6 = -5*q - 0*q. Let n(y) = 3*y**2. Let t be n(-1). Which is smaller: m or t?
m
Let r = 22731/208 + 123/208. Let q = -110 + r. Suppose 0*o - 3*x = 2*o + 1, -x = o. Is q less than o?
True
Suppose -14*a + 13*a - 2 = 0. Let u be 41/a - 3/(-6). Is u greater than or equal to -19?
False
Suppose 0*t - 5*t + 77 = -3*d, 5*t = -5*d - 115. Let s be (8/d)/(2/12). Let q = -109/2 - -53. Which is bigger: q or s?
q
Let i = 0.38 + -0.08. Let j = 3167/15 - 41242/195. Let r = j + 2/65. Is r equal to i?
False
Let c be 4/6 - 1/(-3). Is c less than -2/57?
False
Let x = -18 + 15. Let q be (40/6)/((-18)/x). Which is bigger: 0 or q?
q
Let c = -1 + 5. Suppose 4*w - 4*s + 4 = 0, c*s - 26 = 2*w + 8*s. Is -6 > w?
False
Suppose 0 = 2*b - 3 + 1. Let k = -18649/20 - -932. Let a = -1/5 - k. Is b at least a?
True
Suppose -9 = r - 5*r + 3*a, 0 = -5*r - 3*a + 45. Let y = r - 7. Suppose 3 + 0 = -3*j. Does j = y?
True
Let y(m) = 2*m**2 + 5*m + 2. Let n be y(-3). Suppose 6 + 4 = -n*v. Let x be (-2*1)/((-4)/(-4)). Is v greater than or equal to x?
True
Let t = -57/26 + 9/13. Suppose 3*m - 51 = 3*q, -3*m - 2*q = m - 38. Let w be ((-3)/(-6))/((-2)/m). Is t less than or equal to w?
False
Suppose 2*t + 237 - 239 = 0. Which is bigger: t or -2/165?
t
Let b(o) be the second derivative of o**3/6 - o**2/2 + o. Let k be b(3). Suppose -4*g + 2 = -k. Is 1 smaller than g?
False
Let t = 9.2 + -9. Is t <= -23?
False
Let m(t) = -t**3 + t**2 - t + 8. Let b be m(0). Let u(w) = -w + 4. Let o be u(b). Is -4 at least as big as o?
True
Suppose -2*r + 5*s + 19 = 0, s + 7 - 2 = 0. Is r less than -3?
False
Let r = 48823/79 - 618. Let g = r - -303/1027. Which is smaller: -1 or g?
-1
Let x be -1*(2 - 1) - 3. Let o be (-4)/x + 0/1. Suppose 2*f - 4*f = -4*m, 0 = -2*m - 2*f - 6. Which is smaller: o or m?
m
Let k be 92/12 - (-2)/(-3). Which is smaller: k or 6?
6
Let z = -68 + 681/10. Let b(h) = h**2 + 7*h. Let o be b(-7). Is o < z?
True
Let h(v) = v**2 - 4*v - 3. Let c be h(5). Let x = -3 + c. Is -1/3 equal to x?
False
Let i = 113 - 113. Let y = -1.3 + 0.3. Let g = y - -1.3. Which is smaller: i or g?
i
Suppose -6*m = -7*m + 6. Is 0 bigger than m?
False
Let p = -141 + 743/5. Is p at most as big as 9?
True
Let g = -21 - -62/3. Which is smaller: 1 or g?
g
Let w be (-2)/4 - (-8)/16. Which is greater: w or -3?
w
Suppose -8 + 4 = 2*g. Suppose 13 = -4*h + 9. Is g smaller than h?
True
Let z be -2 + 5 - (1 + 1). Which is greater: -1/8 or z?
z
Let x = 3 - 2. Let k be ((-9)/12)/((-34)/16). Which is greater: k or x?
x
Let s = 5 - 10. Let w(l) = l + 5. Let d be w(s). Let q = 17/36 + 5/18. Which is smaller: d or q?
d
Let x(j) = -2*j**2 + j + 1. Let g be x(2). Let k = -2 - g. Which is greater: k or 5/3?
k
Let q be (6/15)/((-2)/93). Let u = q + 19. Which is smaller: u or -0.1?
-0.1
Let i = -389 - -2734/7. Is 2 less than i?
False
Let u = 25/4 - 23/4. Let v = 6 - -10. Let w = v - 81/5. Is w greater than u?
False
Suppose 2*d = 32 + 10. Suppose -5*w + 10 = -3*z - 56, -63 = -5*w + 4*z. Let f = w - d. Is f smaller than -5?
True
Let x = 29 + -29. Is x != -11?
True
Let y(x) = -3*x**3 + x**2 + x - 2. Let c be y(0). Let m = -0.8 + 3.8. Which is smaller: c or m?
c
Suppose -k = -3 + 13. Let h = 14 + k. Suppose h*f + 3 = 3*f. Is -3 greater than or equal to f?
True
Let a(m) = -1 + 0*m + 2*m - m. Let g be 2/((-3 + 0)/3). Let p be a(g). Is -3/2 <= p?
False
Suppose -2*h + 4*h = 8. Let i = 10 - h. Suppose 6 = -5*b - 2*f, 5*b = 3*f - f + i. Is b at most 1/2?
True
Let f = 256 + -1786/7. Which is smaller: f or 2?
f
Let d(k) = 4*k - 3. Let r be d(2). Suppose 2*x = 5*x - 15. Is r <= x?
True
Suppose 13*v = 12*v. Is -2/17 smaller than v?
True
Let m(f) = -f**3 + f**2 - 12. Let i be m(0). Let u be (-5)/(-30) - (-14)/i. Which is smaller: -3 or u?
-3
Let d(r) = -r**2 - 10*r + 5. Let w = -16 - -6. Let v be d(w). Is v at most as big as 5?
True
Let x(s) = s**2 + 2*s - 2. Let i be x(-3). Let d be 2*i/6 - 2. Suppose 0 = -6*r - 10 - 8. Does r = d?
False
Suppose 2*x + 2 - 4 = 0. Let w be (-5)/30 - x/(-2). Let t = 2 - -3. Which is smaller: w or t?
w
Let z be 36/240 + (-1)/(-4). Let r(g) = -4*g - 8. Let b be r(-6). Suppose -3*j + t + 3*t - b = 0, j = -2*t + 8. Are z and j nonequal?
True
Let m(u) = 12*u**3 + 4*u**2 + 2*u - 1. Let q be m(-2). Let d = -251/3 - q. Which is smaller: d or 2?
d
Let a = 0.05 - 2.05. Let m = a + 3. Which is bigger: -7 or m?
m
Let j be (-1)/(-3) + (-16)/12. Let p be j/((-2 + 1)/(-1)). Which is bigger: 1/4 or p?
1/4
Suppose 3*m = 4*v + 1, -3*m = -5*v + 2*m - 5. Suppose 0*k = -v*k. Is -2/9 >= k?
False
Let u = 3.1 + 2.7. Let j = u + -6. Is j not equal to -1/4?
True
Let p(q) = 2*q**2 + 21*q + 27. Let w(f) = 3*f**2 + 31*f + 41. Let d = -7 + 2. Let o(r) = d*w(r) + 8*p(r). Let j be o(-12). Is j less than -3?
False
Suppose 5*m - 5*y - 110 = m, -3*m + 73 = y. Is 105/4 at least as big as m?
True
Let o = 5 + -4.9. Which is greater: -57/2 or o?
o
Let r be (-1)/(2*(-1)/8). Suppose 0 = -2*i - 2*b - 0 - 2, -4 = r*i - 3*b. Let g = 18/31 + -33/217. Is i at most g?
True
Let l = 54 + -50. Is 5 equal to l?
False
Let l(z) = z + 4. Suppose h - a - 3*a + 8 = 0, 3*h + 2 = a. Suppose h = -0*u - 2*u + 5*n - 1, 4 = -4*n. Let w be l(u). Which is smaller: 0 or w?
0
Let r(i) = -i**2 - 29*i + 82. Let w be r(-32). Is w at most as big as -16?
False
Let q = 8 + -1. Let w be (5 - q) + (-23)/(-10). Let k = -7/15 + w. Which is bigger: k or 1?
1
Let u = 11 - 20. Which is smaller: -8 or u?
u
Let q be -3*1 + (-21 - -21). Let v(n) = n**2 - 6*n + 3. Let f be v(5). Which is smaller: q or f?
q
Let n = -47/3 - -16. Which is smaller: n or 0?
0
Suppose 5*d - 5 + 0 = 0. Suppose 5*q = -4*i + d - 7, -2 = q. Let x be 12/9*(-2)/(-12). Which is smaller: i or x?
x
Let v = 1.03 + -0.03. Let r = v - 0.98. Let m = r - -0.08. Does m = 2/7?
False
Suppose -7*b = -3*b + 116. Is -29 at least b?
True
Let q = 1 - 1.1. Suppose c - 4*r - 22 = 0, 3*c + 5*r = -2*c + 35. Let z be (-8)/(-20) + 2/c. Is z <= q?
False
Let m = 5 + -8. Let d = 5.1 + -2. Let t = m + d. Which is smaller: 0 or t?
0
Suppose -2*m + 5 + 3 = 0. Let r(t) = -t**2 - 11*t - 7. Let v be r(-5). Suppose -5*g = 2*w - v, 0 = 4*w + 2*g - 0 - 22. Is m >= w?
True
Let z(p) be the third derivative of p**4/24 - 5*p**3/3 - p**2. Let s be z(11). Is s < 2?
True
Let s = -13/7 - -58/35. Suppose 3*l - 4*n = -15, -6 = -3*l + 6*l - n. Is l less than s?
True
Let y = -33 - -34. Which is smaller: y or 9/7?
y
Suppose 0*h - 3*w = -5*h, 0 = 3*w. Let k = 67 - 67. Is h smaller than k?
False
Suppose 0 = 3*v + d + 152, -2*v - 47 = -4*d + 45. Which is smaller: -0.1 or v?
v
Suppose -5*c - 100 = -5*d, 4*d + 0*d - 3*c = 80. Let j = 13 - d. Is j <= -7?
True
Let c(t) = -t + 5. Let i be c(7). Let k be ((-6)/105)/(i/(-10)). Are -1 and k equal?
False
Let q(y) = -2*y - 15. Let r be q(-10). Let o(s) = 4*s - 4. Let m be o(r). Let p = 47/3 - m. Is 0 greater than p?
True
Let p = 2 + -2. Let l = -0.12 + 0.12. Let r = p - l. Is 0.3 < r?
False
Let p = 49597/7 + -7097. Which is smaller: p or -11?
p
Suppose 5*w - w + 5*k = 12, -5*k = 20. Suppose -n + w = -5*n. Let a be 2*3/n - 1. Is a at most -4?
True
Let i be (2/5)/(1/(-20)). Is i < 0?
True
Let d be 0/(-3*2/6). Are -6/11 and d unequal?
True
Let u = -19 - -39. Let k = u + -19.9. Which is smaller: 2/15 or k?
k
Let l = 0.4 - 0.4. Let d = -3 - l. Let g = 152/3 + -50. Which is smaller: d or g?
d
Let y = -0.95 - 1.05. Let l be 1/(-3)*(-3)/2. Is l at least y?
True
Let q be (-15)/35*(-2 - 32/(-6)). Is q >= -1?
False
Let m(n) = 5*n + 1. Let x be m(1). Suppose 2*w - 4*w = x. Is -2 <= w?
False
Suppose -3*q - 20 - 4 = 3*a, -3*q - 18 = a. Let f be (-6)/(-2) - (-13)/q. Which is greater: -1 or f?
f
Let k = 13 - 13. Which is smaller: k or -1/35?
-1/35
Let m(q) = q**2 - 3*q + 1. Let i be m(1). Is i < 23?
True
Let m = -8 + 11. Is m equal to 5?
False
Suppose -5*d + 4*i = 2*i - 23, -3*i + 3 = 0. Let l be 2/((-2)/3) - -8. Is l at most d?
True
Let p be 4/28 - (-2 - (-178)/70). Which is greater: -1 or p?
p
Let o = 19 - 18. Is 2/11 not equal to o?
True
Let y be (0 - (-4)/(-49))/(-27 - -25). Is 0 at most as big as y?
True
Let c(w) = 2*w -