 2 = -0*r. Which is smaller: c or r?
r
Let l = 9.1 - 9. Let y = l + -0.1. Let w = -124/65 - -30/13. Is y greater than or equal to w?
False
Let z = 12.1 - 12. Let q = -1 + 0. Are z and q non-equal?
True
Let r be 3*(-2)/3 + 1. Let v be (-6)/21 + 4/14. Suppose v*j = 2*j + 2. Is r less than j?
False
Let u = -54.8 - -55. Which is greater: u or -29?
u
Let n = -25 - -50. Is n at most as big as 27?
True
Let p be -5 + 3 + (-2)/(-2). Let l be p/((-3)/(18/(-16))). Which is smaller: -1 or l?
-1
Let a be (-1 - 2) + 4 + 0. Suppose s + 3 = -3*i + a, -2*i = -4*s - 22. Is -1/7 <= i?
True
Suppose 3*k + 5*x = 33, -17 = -4*x - 5. Let g be k/(-9) - (-8)/(-6). Let u(d) = -2*d**2 - d. Let b be u(-1). Which is smaller: g or b?
g
Suppose 0 = -2*s - 4*b + 46, -2*b + 11 = s - 3*b. Let w be (-2)/2*(14 - s). Which is greater: w or 0?
w
Let j(g) = g**2 - 7*g - 1. Let k be j(8). Suppose -4*n = -16, -k = 2*w - 2*n + 13. Let v be (w - -4)*(-5)/2. Is 4 >= v?
False
Suppose -h - 8 = 12. Let s = 13 + h. Is s >= 0?
False
Let g = -47.4 - -47. Which is greater: -1.6 or g?
g
Suppose -4*l = -y + 2, 0*l = 2*l + 4*y + 10. Let c be (l/(-3))/((-80)/24). Is c greater than 0?
False
Let u be (15/(-6))/(6/(-4)). Which is smaller: 3 or u?
u
Let n(d) = 4*d - 46. Let p be n(11). Suppose -5*w - 5 = -0*w. Are w and p non-equal?
True
Let a be 3/9 + (-2)/(-3). Suppose -3*w - 9 = 0, 3*o + 36 = -o - 4*w. Let h be (-2)/4*o/21. Which is smaller: a or h?
h
Let g(j) = -j**2 - 8*j - 2. Suppose m = -3*z - 8, -3*m - m + 3*z - 17 = 0. Let v be g(m). Is v < 14?
True
Let a = -0.1 - -0.1. Let c(h) = -h**2 + 14*h + 15. Let r be c(15). Does a = r?
True
Let m(b) = b**3 + 4*b**2 - 6. Let o be m(-4). Let x(z) = z**3 - 6*z**2 - z + 1. Let u be x(6). Which is bigger: u or o?
u
Let y = -6 - -1. Let f = -2 - y. Suppose 7 = 4*v + f. Is v at least 2?
False
Let k(a) = 3*a**3 - 5*a**2 + 2*a - 5. Let y(o) = -o**3 - o. Let s(u) = k(u) + 4*y(u). Let w be s(-5). Is 4 greater than or equal to w?
False
Let b(t) be the third derivative of -t**6/120 - t**5/20 - t**4/12 + t**3/2 + 2*t**2. Let n be b(-3). Which is smaller: 8 or n?
8
Let v = -249/610 + 1/122. Which is bigger: -5 or v?
v
Let t be (-12)/136*-2698 - 0. Let c = t - 238. Which is greater: -1 or c?
c
Let d be (2/32)/(1*-1). Is d greater than or equal to 1?
False
Let r = -1 - -4. Let w be 5*r/21 + -1. Suppose -6*o - 5 = -o. Is w < o?
False
Let x be 19/(-7) - (-10)/(-35). Suppose 0*f - 1 = f. Which is smaller: x or f?
x
Suppose -16 = -v - 0*v - 2*c, -4*c = -v + 22. Let z be (v/15)/(3/(-10)). Let h be (-1)/z - 3/(-12). Is h equal to 0?
False
Let a(f) = f**2 + 6*f - 2. Let y be a(-6). Suppose -h - 16 = 3*h. Do h and y have the same value?
False
Suppose 6 = -z + 2*z. Suppose -6*s - z = -3*s. Which is bigger: -3 or s?
s
Let w be 6*1*7/105. Which is greater: 2 or w?
2
Suppose 7*o + 150 = -2*h + 4*o, 0 = -h + 3*o - 93. Is -81 > h?
False
Let d(x) = 2*x**2 - 1. Let o be d(2). Let g be (-2)/o - 39/(-63). Is g bigger than 0?
True
Let n = -19 + 17. Let g = -2.97 + -0.03. Let o = g - n. Which is bigger: 3 or o?
3
Suppose -2*b + 16 = 4*o, 0 = -3*o + b - 2*b + 13. Is o less than -1?
False
Suppose -2*l + 3*l = -4. Let f(m) = 0*m**2 - 2 - 5*m + m**2 - 2*m**2. Let g be f(l). Is 2 greater than or equal to g?
True
Suppose 7*h - 9*h + 102 = 0. Which is greater: h or 52?
52
Let g(h) = -h + 9. Let w(v) = v**3 - 6*v**2 + v + 1. Let i be w(6). Let m be g(i). Let r = -3 + m. Is 1 at most as big as r?
False
Suppose 2*g - 2*i + 4 = 0, 2*i - 16 = -2*g - 0*g. Suppose 0 = 2*f + 5*y - 4 - 2, f + y = g. Which is bigger: 5/2 or f?
f
Suppose 4*t = 2 + 2. Suppose 0 = 3*n - 5*k + 2 - 3, -5*n + k + 9 = 0. Suppose t = -h + n. Is h greater than or equal to 2?
False
Suppose h + h = 8. Let r be (18/(-5))/(10/(-25)). Let b be -1*(-15)/r*3. Which is smaller: b or h?
h
Let c(r) = -r + 3. Let f = -5 + 8. Let n be c(f). Which is bigger: -2 or n?
n
Let g(j) = -5*j + 8. Let o be g(12). Does o = -51?
False
Let s = 10 + -19. Suppose -3*y - 3*j = -2*j + 20, 36 = -4*y + j. Which is greater: y or s?
y
Suppose -5*f - 2*x = -94, 0*x + 2*x = 4. Let b(t) = t**2 - 5*t - 6. Let i be b(-3). Is f <= i?
True
Suppose 0*p - p = u - 8, -4*u + p + 57 = 0. Is 13 at most as big as u?
True
Suppose 4*r - 86 = l, 3*l + l + 92 = 4*r. Let z be r/(-9) + 1 + 1. Which is greater: z or 0.4?
0.4
Suppose 3*s = 2*s + 7. Let d = 9 - s. Is 2 equal to d?
True
Let j = 4 - 1. Suppose 0 = v - j - 3. Let u be (-2)/(-6) - v/9. Which is bigger: -1 or u?
u
Let a(l) = -2*l + 1. Suppose 0*x + 4*x = -4. Let k be a(x). Suppose -4*b + 7 = -5. Is k greater than b?
False
Let j = -17 - -16.3. Let k = -0.8 - j. Is k >= 2?
False
Let b = 42490/47 - 904. Let r be (2 - 0)*(-3)/6. Which is greater: b or r?
b
Let b = 31 - 32. Is -2/151 not equal to b?
True
Let y be (2/3)/((-20)/(-3)). Is 1 > y?
True
Let h = -2.78 + -0.22. Which is smaller: 1/3 or h?
h
Suppose 4*t + 2 = -98. Let v = 28 + t. Is 9/4 greater than or equal to v?
False
Suppose 3*d + j - 8 = 19, 5*j - 15 = 0. Suppose -4*b + 2*h = 6, -5*b = d*h - 3*h. Which is smaller: b or 0.2?
b
Suppose -2*l + 13 = -3*y, y = 5*l - 5 - 8. Let b = 2 - l. Do b and 2/13 have the same value?
False
Suppose 3*z + 3 = -0*z. Let j be (1/(-2))/((-2)/(-48)). Let o be j/8 - (-2)/(-4). Which is bigger: z or o?
z
Suppose -5 = 4*l + 11. Let h be ((-6)/l)/(-3 + 0). Suppose 5*r + 15 = -5*n, 0 = 4*r - n + 7 - 0. Which is smaller: r or h?
r
Let c = -103 - -52. Which is smaller: -50 or c?
c
Let j = -379/308 + 9/28. Let a be (20/(-30))/((-1)/(-3)). Does j = a?
False
Let a be (-1)/3*(6 + -24). Which is bigger: 5 or a?
a
Let d = 56 - 33. Is d at most 21?
False
Let r be 0/(1*(-6 + 4)). Let l = 6 + -12. Do r and l have different values?
True
Let u = -50 - -32. Let d = -13 - u. Which is greater: 1 or d?
d
Let d = 97/405 + -27949/2835. Let x = -28/3 - d. Let h = -3.06 + 0.06. Which is bigger: h or x?
x
Let x = -20 - -12. Let u(g) = -g**2 - 9*g - 7. Let v be u(x). Does 2/19 = v?
False
Suppose 0*w - 2*w - 3*h + 21 = 0, 5*h = -w + 28. Is 3 not equal to w?
False
Let k be 4/6 + (-4795)/(-120). Let u = -81/2 + k. Do 1 and u have different values?
True
Let l be (-2)/(-14) + 1 + (-32)/28. Which is bigger: -3/13 or l?
l
Let n(g) = -g - 1. Let f be n(-5). Suppose 2*c + 6 = -f*l, -3*c = 5*l + 4 + 3. Is c != 0?
True
Let r = -1.2 - -0.2. Let s be (12/80*-2)/((-12)/(-16)). Which is greater: s or r?
s
Let a = 23 - 33. Is a at most as big as -11?
False
Suppose 27 = -2*p + 5*b, p + 11 = b + b. Let m(i) = 2*i**2 + 2*i + 1. Let w be m(p). Suppose u = w - 2. Which is smaller: u or -2?
-2
Suppose 3*o = -2*o - 2*y - 13, 4*y = -5*o - 21. Let i be (-1)/2 - (7 - (-855)/(-126)). Is o smaller than i?
True
Let w be 22/(-6) + (-2 - 15/(-9)). Which is bigger: w or -5?
w
Suppose 0*x + 34 = -4*x + 2*r, -3*x = 4*r + 20. Which is smaller: -2 or x?
x
Suppose c + 3 = 2*c. Suppose 3*r - 3 = 2*r - 4*s, -c*r = -s + 17. Is -5 greater than r?
False
Let x be 6/(-9) - (-44)/(-6). Let g = x - -7. Let k be ((-12)/(-9))/(11/3). Which is bigger: g or k?
k
Let n(f) = -2*f**3 - 17*f**2 - 6*f + 8. Let l be n(-8). Is -38/5 bigger than l?
True
Let t(z) = z**2 + 10*z - 14. Let o be t(-11). Let v be 8/4 + -1*1. Let d = v - 3. Is d != o?
True
Suppose 2*s + 0*s = 10. Suppose 1 = s*y + 6. Let u = -1 - 0. Is y <= u?
True
Let v = 13 + -11. Let h = 0.1 - 0.1. Is v less than h?
False
Let h be ((-42)/(-15)*1)/(1/(-10)). Is -28 less than or equal to h?
True
Let w(k) = k**2 + 4*k - 4. Let f be w(-4). Let c be 6 - (-1 - f) - 3. Let o be (0 + 4/(-5))/6. Which is bigger: o or c?
c
Let m(q) = -q**2 + 55*q - 154. Let u be m(52). Let d be (-170)/4 + (-1)/2. Let h = 91/2 + d. Which is bigger: u or h?
h
Suppose -2*u + 5*z = -26, 5 - 47 = -4*u + 5*z. Suppose -7*p + 3*p = u. Let q(f) = -f**3 - 3*f**2 + f + 2. Let w be q(p). Which is bigger: -5 or w?
w
Let q = 0.3 - 0.29. Let h = -0.65 - -0.46. Let f = h - q. Which is smaller: f or -1?
-1
Let y(h) = -h**2 + 5*h - 4. Let k be y(3). Suppose c = -c + k. Let q(j) = -j - 3. Let a be q(-4). Is a not equal to c?
False
Let c = -21.1 - -21. Which is greater: c or -11/5?
c
Let l be (2 - (-28)/(-6)) + 3. Is -11 bigger than l?
False
Suppose -4*c - 184 = -5*s, 0 = 2*s - 2*c - 72 - 0. Let l be (-72)/s*1/3. Let m(b) = b**3 - 6*b**2 - 1. Let o be m(6). Do o and l have different values?
True
Let r