-3)/20). Suppose -m*l = -7*l. Is l greater than or equal to -2?
True
Suppose 2*i + 5*x = 1, -x + 2*x = -3*i - 5. Let u(j) = j**3 + 3*j**2 - 5*j - 4. Let y be u(-4). Which is smaller: i or y?
i
Let j(x) = 25*x + 17. Let b(v) = -3*v - 2. Let a(q) = -51*b(q) - 6*j(q). Let i be a(3). Is 8 not equal to i?
True
Let a = 6 - -1. Let k = 8 - 0. Which is bigger: a or k?
k
Let f(g) = 5 + g - g**2 - 4 + 0 + 1. Let u be f(0). Let l be 2/(-3) - (-1)/u. Do 1 and l have different values?
True
Suppose 2*k - 3 = k - 4*q, 4*k + 2 = -2*q. Let o = k - -2. Let h be o - (0 - (-9)/15). Is h <= 2?
True
Suppose 2*b + 4*o - 1 - 23 = 0, 0 = 3*b + 4*o - 30. Let l = 4 - b. Which is smaller: l or 1?
l
Let c = 43 - 42. Is -1/17 greater than or equal to c?
False
Suppose 5*w + 3 = 5*m - 12, 11 = -3*w + m. Let k(u) = -u**2 - 5*u - 2. Let h be k(w). Are h and 12/7 unequal?
True
Let z = 6.9 + -0.9. Let g = z + -5.8. Which is greater: 0 or g?
g
Suppose -m = -8 + 14. Let s be (4 - 4) + m + 0. Is s smaller than 0?
True
Suppose r - 7 = -3*q, -4*q + 0*q - 3*r + 16 = 0. Let z = 4 + -8. Let f be z/10 - 65/(-100). Is q > f?
True
Suppose 3*u = -20 - 4. Let s = -6 - u. Which is smaller: -0.1 or s?
-0.1
Suppose -5*w = -9*w + 8. Which is bigger: w or -1?
w
Let u be 5*((-11646)/11650 + 1). Let t = u + 2216/66405. Is t less than 1?
True
Let g = -9 - -12. Suppose -2*u - 2*l - 13 = 3*l, g*u - 18 = 5*l. Which is greater: u or 5/3?
5/3
Let j be -1*4/(16/14)*1. Do -4 and j have the same value?
False
Let p be (-24)/40*(1 - 2). Let l be (-1 - 0) + -3 + 8. Suppose -k + l = 3*k. Which is smaller: k or p?
p
Let z be 210/(-187) - (1 - 2). Let d be 2 + (-344)/68 + 3. Let t = d + z. Which is bigger: t or -1?
t
Let k be 3 - (-23)/(-7) - 25/35. Do 6/31 and k have the same value?
False
Let v = 2 - 2. Suppose v*a = 2*a - 6. Are a and 3 unequal?
False
Let q = -474 - -9004/19. Let t be (4/6)/((-6)/9). Let j be 0/((-1 - -3) + t). Which is greater: q or j?
j
Suppose -5 = -4*v + 5*w, -4*v - 3*w + 14 = -15. Suppose -2*m - 3*b - 7 = 0, -4*b = -0*m + v*m. Let f be m/22 - 42/110. Is f less than or equal to -0.2?
True
Suppose 2*z - 14 = -5*d - 71, -d + z = 10. Is d < -11?
False
Let h(o) = o**2 - o + 2. Let p be h(1). Which is bigger: p or 8/9?
p
Let s = -0.09 + 0.59. Let x = -0.56 + s. Let k = x - -0.1. Which is smaller: 1 or k?
k
Let w = 58 - 60.7. Let t = 0.3 - w. Which is smaller: 2 or t?
2
Let d = 45.3 + -45. Which is smaller: -5/7 or d?
-5/7
Suppose -2*l + 3*j - 52 = 0, -5*l - 4*j + 0*j = 153. Let u be l/4 - 6/(-24). Let b be 2/(-7) + (-16)/u. Is 2 <= b?
True
Suppose -10*c - 42 = -7*c. Do c and -18 have different values?
True
Let v = 203/20 + -52/5. Which is greater: v or 0?
0
Let b = 5.86 + 0.14. Let v = b - 5. Let f = -4 - -8. Which is bigger: f or v?
f
Let t = -3.03 + 3. Let k = t - -4.03. Suppose -4*o = -4*q - 12, 4*o - 24 = -4*q - o. Which is smaller: q or k?
q
Let q be (-44)/(-1199)*3/30. Which is smaller: 0 or q?
0
Let g be (-230)/30 + 8 - 466/48. Is -8 <= g?
False
Let s = 0.06 + 0.54. Let l = -0.66 + s. Is l at most -2/3?
False
Let f(y) = 34*y**2 - y. Let u be f(-1). Suppose -4*p + u = -5*v, -2*v + 2*p + 5 = 19. Does v = -5?
False
Let g be (-10)/15*3/2. Let k be (-27)/(-6) - g/(-2). Which is bigger: k or -1?
k
Suppose p - 1 = -2*a, 2 = 4*a - 2*p + 4. Suppose 0 = 4*c + 3*u - 13, 0 = -2*c + c - 3*u + 10. Which is greater: a or c?
c
Let d be 2/(-8) + (-8)/(-32). Let r be ((-1)/(-2))/((-3)/4). Which is smaller: r or d?
r
Let k = -12 - -11.29. Let p = k - 0.19. Let o = -0.1 + p. Is o equal to 0.1?
False
Let w = 2.1 - 2. Let m = -1 + -6. Let u = -5 - m. Is w >= u?
False
Suppose 3 = 4*d - 33. Let p be (-1)/(-3) + (-6)/d. Is -1 greater than p?
False
Let j be 0 - (-4)/(88/(-5)). Is 1 < j?
False
Let g = 0.1 + 0.1. Let h = -234/35 + 32/5. Is h < g?
True
Let y be ((-2)/3)/(50/255). Which is bigger: y or -4?
y
Let d be 0/(3/9*-3). Which is greater: -3/22 or d?
d
Suppose 10 + 7 = j. Is 16 > j?
False
Suppose a = -4*y + 34, 0*y - 51 = -4*a + y. Is a > 14?
False
Let c be (140/(-12))/7*1. Do c and -3 have the same value?
False
Let k(r) = 2*r**2 - 2*r + 4. Let s be k(2). Are s and 6 non-equal?
True
Let m = -0.04 - 0.04. Let s = 0.28 + m. Let a be 2/(-3) - 20/(-21). Which is bigger: a or s?
a
Let i = -0.05 + -1.95. Let s = -17 + 16.91. Let q = -0.01 + s. Is i at least q?
False
Let f(c) = -c**2 + 2*c - 2. Let l be 20/8 - 2/(-4). Let z be f(l). Is z greater than or equal to -6?
True
Let o = 2 + -1. Let b = -12/7 - -94/63. Which is greater: o or b?
o
Suppose -2*i = -5*i. Is i > -2/27?
True
Let n(b) = 20*b**3 + b**2 + 14*b - 20. Let k(c) = 7*c**3 + 5*c - 7. Let y(u) = 17*k(u) - 6*n(u). Let l be y(-6). Let x = -0.1 - -0.2. Is l smaller than x?
True
Let w = -25 + 35. Suppose k + 0*o = 2*o + 3, -3*o = -9. Which is smaller: w or k?
k
Let k = -4 + 3. Let u(h) = -4*h - 30. Let a be u(-7). Which is greater: a or k?
k
Let c(u) = -u**2 + 12*u + 32. Let s be c(14). Which is greater: s or 3?
s
Let i = -0.4 - -0.3. Which is smaller: -11 or i?
-11
Let m(x) = x**2 + 14. Let j be m(0). Let c be ((-8)/j)/((-4)/2). Is -1/3 <= c?
True
Let t be 2 + -3 - (-6)/4. Let s be (-2)/(-4) - (-273)/26. Suppose s*z = 13*z. Which is greater: z or t?
t
Suppose 5*q - 7*t + 2*t - 25 = 0, -4*t = -5*q + 21. Let p be 2 + -1 + (-1 - q). Suppose -3 - 2 = -y - z, 4*y - 25 = -5*z. Which is bigger: p or y?
y
Suppose w = 4*b + 24, 2*w = 3*b + 2 + 11. Is -4 > b?
True
Let r = 25 - 30. Is r at most -4?
True
Let h = 2.95 + 0.05. Let v = -12 + 9. Let y = v + 1. Is h greater than or equal to y?
True
Let k = 12 + -14. Are -1 and k non-equal?
True
Suppose -5*s + 4*k = 1, s - 3*k + 9 = -0*k. Suppose -2*t + 10 = s*t - 3*u, 0 = -5*t - 5*u - 30. Let x = 0.02 - -0.08. Which is smaller: t or x?
t
Suppose -2*w = 4*l - 2 - 0, -4*w + 4 = -l. Which is bigger: w or -0.7?
w
Let s = -2 - -3. Let q = 52715 - 1897255/36. Let o = -53/4 + q. Which is smaller: s or o?
o
Let o(b) = b - 4. Let n be o(6). Let x be 2/8 - 6/(-8). Let j be 1/(x/(-1 + n)). Which is greater: j or -2?
j
Suppose 4*l - 19 = -a, 2*a + a - 3*l - 72 = 0. Is 22 at most as big as a?
True
Let c = -0.421 + 0.36. Is c smaller than -0.1?
False
Let h = 0 - 1. Suppose -2*a + 20 = 3*a. Let g be ((-8)/a)/1 - 0. Is g >= h?
False
Let s = 1/22 - 13/44. Let h be (-2)/1*(-1)/(-1). Let q = h + 3. Is q at most as big as s?
False
Let x(y) = 4*y + y + 1 - 6*y. Let n(q) = q**3 - 5*q**2 + 6*q + 2. Let t(c) = -n(c) - 3*x(c). Let d be t(4). Which is bigger: d or 0?
0
Let s = -6.1 - -6. Let u = 1 - 0.92. Which is smaller: s or u?
s
Suppose -2 = -o + 7. Suppose o = 3*a + 21. Which is bigger: a or -1?
-1
Let g = -3.98 - 0.02. Let t = g - -2. Which is smaller: 0.1 or t?
t
Suppose -2*f + 24 = -3*f. Is f greater than -23?
False
Let d be (-4 - -4)*(-2)/4. Suppose 5*p + p - 48 = d. Which is bigger: 7 or p?
p
Let m = -26 - -18. Is -1 less than or equal to m?
False
Suppose 0*j + j = 0. Which is smaller: j or -4?
-4
Let d = 10 + -13. Suppose 11*f - 37 = 6*f - 3*h, -h = -2*f + 6. Suppose f*k = 5*u + 5, 0*u - 13 = 4*u + 5*k. Which is smaller: d or u?
d
Let q(r) = -6*r - 1. Let d be q(-1). Suppose 5*l - 15 = -d. Which is bigger: 1 or l?
l
Let k = -2.021 - 0.029. Let y = 0.05 + k. Let z = 3 + y. Which is smaller: 0 or z?
0
Let z = 9 - 9.8. Let y = -0.9 - z. Is 0.1 bigger than y?
True
Let q(c) = c**2 - 2*c - 2. Let w be q(3). Let a be (1 - 2) + 0 + 10. Let n be ((-1)/(-3))/(3/a). Is n <= w?
True
Let o = -1 + 4. Let a = o - 4. Which is smaller: 1/9 or a?
a
Suppose 0 = 7*y - 5*y. Is 6 < y?
False
Let w be 3 + (-4 - -5)*-5. Is w less than 2?
True
Let n = 0.113 + 0.087. Are n and -3/8 nonequal?
True
Suppose 80 = -5*u - 0. Which is smaller: u or -17?
-17
Let p = 0.54 - 0.04. Let k = 0.4 - p. Let o be 4/15 - (-8)/(-12). Is o <= k?
True
Let k be (48/18)/(1/(-3)). Let s = k - -10. Suppose -2*h + 5 = 3*i, h + s*i = -2*h + 5. Is -2/27 bigger than h?
False
Let g = 14 + -22. Which is smaller: g or -10?
-10
Let m be (-192)/14 + (-22)/77. Is -16 >= m?
False
Suppose 5*j = 2*s + 12, -7*s - 3*j - 24 = -3*s. Let b be -5 - -8 - (-20)/s. Which is smaller: b or -9?
-9
Let n(f) = f + 10. Let v be n(-7). Suppose -2*p = -v*p. Let l = 1 + p. Is -2/13 less than or equal to l?
True
Suppose -n = -5*n - 84. Let d be ((6 + -3)/n)/1. Which is smaller: d or 0?
d
Let i = -597585/142076 - -5/3229