 2*o - 4*o + 16, 5*o = 4*s - 2. Suppose -o*v = 3*v. Is 1/10 > v?
True
Let c = -28/495 - 3/55. Let r = -29 - -32. Suppose -5*q - 2*w = -7*w + 25, 0 = r*q + 2*w - 10. Do q and c have different values?
True
Suppose -31*f + 32*f = 0. Is 27 greater than or equal to f?
True
Let z be (-18)/(-14) + 6/(-21). Let a = -6939/4 + 1723. Let h = 12 + a. Is h > z?
False
Suppose 937 = -5*g - 483. Let i = g - -1985/7. Is 1 greater than i?
True
Let z = 7 - 4. Let j = z - 3. Is 2/3 > j?
True
Let c = 6238/3 - 2056. Let a = c - 23. Let p = -28 + 20. Are p and a equal?
False
Let g(j) = -8*j - 8. Let c be g(-2). Is c < -1?
False
Let o = -9 + 2. Is -7 less than o?
False
Let s be (-2362318)/13*(-1)/4524. Let k = 3/4901 - s. Let n = k - -40. Which is bigger: -1 or n?
n
Let c(u) = u - 16. Suppose -5*m + 112 - 37 = 5*y, 3*y + 2*m - 44 = 0. Let r be c(y). Which is greater: r or -1?
-1
Let j be 0 + 4/(-24) + (-10)/(-24). Which is smaller: j or 2?
j
Suppose -2*r = g - 6, 7*r - 2*r = -4*g + 18. Suppose -2 - g = -o. Suppose -o*a - 2 = -2*a. Which is greater: 1/5 or a?
1/5
Let d be 3/9 - 5/(-3). Suppose 0 = 6*i - d*i. Which is bigger: -3/7 or i?
i
Let f = 6 + -4. Suppose -3 - 5 = -f*i. Which is greater: 3 or i?
i
Let w(k) = k**3 + 28*k**2 + 2*k + 57. Let h be w(-28). Let a be 124/(-3) - (-4)/(-6). Let g be (a/20 - -2)/(-1). Is g at most as big as h?
True
Let h = -1/28 + 31/84. Is h at most as big as 40?
True
Suppose 7*f - 2*f - 75 = 0. Does f = 15?
True
Let z = 9 + -5. Let p = -2 + z. Are p and -1 unequal?
True
Suppose 2*l + 26 = -3*l + 2*i, 2 = -2*l - 2*i. Let r = l - -4. Is r < 0?
False
Let n(w) = -4*w + 6. Let z be n(-4). Suppose 3*r = -u - r - 17, u = -5*r - z. Which is smaller: 0.2 or u?
0.2
Suppose -4*h = -q + h - 12, 4*h = 5*q + 81. Let m = q - -18. Is m greater than 1/15?
True
Let n be (-60)/(-35)*(-2)/8. Let i be 1*(3 - 0 - 2). Which is smaller: n or i?
n
Let x be (9/3)/((-9)/(-6)). Suppose d = b + 4, 0*d + 3*b = x*d - 10. Let c = d + -3. Which is smaller: c or 2/27?
c
Let y(p) = p - 4. Let l(z) = 2*z - 8. Let b(c) = 2*l(c) - 5*y(c). Let o = 0 - -3. Let t be b(o). Which is bigger: t or 2?
2
Let w(o) = -o**3 - 4*o + 0 + 2*o**3 + 3*o**2 - 4. Suppose 3*f = -5*f - 32. Let c be w(f). Which is greater: c or -3?
-3
Let w(g) = g**2 - g + 4. Let m be w(0). Suppose -m*k + 4 - 16 = 0. Is k smaller than -3?
False
Let a be 4/(-6) + 2/3. Let p be (-1 + 16)*(-40)/(-15). Let u be 1/4 + 6/p. Is u smaller than a?
False
Let s(n) = n**3 - 3*n**2 + n - 1. Let x be s(3). Are x and 0.9 equal?
False
Let u be ((-3)/4)/(15/(-10)). Suppose 0 = -0*k + 2*k - 8. Suppose -3*q + 2 = -k. Is q less than u?
False
Suppose 5*t + 8 + 12 = 0. Let v(o) = 2*o + 4. Let q be v(-5). Which is bigger: t or q?
t
Let s = -0.2 - -0.3. Let w = -3 + 3.4. Which is bigger: w or s?
w
Let x(r) = r**2 + r + 3. Let g be x(0). Let f be (g - 4/4)/(-7). Which is bigger: 0 or f?
0
Let o(x) = 2*x**2. Suppose -3 = w - 5. Let q be o(w). Let b = q - 4. Is 4 greater than or equal to b?
True
Let y(z) = z**3 - 14*z**2 - 1. Let g be y(14). Let q be (0*g/(-2))/2. Is q smaller than -7/5?
False
Let u be -34*(-2)/(-24) + 2. Are -2 and u nonequal?
True
Let n = -38.1 - -34. Let x = -1 - 3. Let f = x - n. Are f and -0.1 equal?
False
Let i = 2/381 - 1913/1524. Suppose 5*v + 3 = -c, 2*c + 4 = 4*v - 2. Let t be 2/((-1)/(-2 - c)). Which is smaller: t or i?
t
Let u be ((-17)/(-102))/(9/(-16)). Which is bigger: -1 or u?
u
Let z be (3 + 2)*(-1 + 2). Suppose -3*u + p + 8 = 0, 3*u - 13 = -3*p + z*p. Which is smaller: u or 2/17?
2/17
Let u(w) = 2*w + w**2 + 0 + 4 - 5. Let p be u(-2). Suppose 2*d + 1 = d. Is p != d?
False
Let v be 160/25 + (-1 - 32/(-20)). Which is greater: 6 or v?
v
Let h be (10/8 - 1)*92. Does 23 = h?
True
Suppose 5*t = 9*t + 16. Is t less than or equal to -4?
True
Let h(u) = 2*u**2 - 2. Let b be h(-4). Let a be 1 - (-2 - (-99)/b). Let o = 7/10 + a. Which is smaller: o or -1?
-1
Let p = -5 + 3. Let q(z) = z**3 + 2*z**2 - 3*z + 1. Let h = 1 + -4. Let f be q(h). Which is bigger: f or p?
f
Suppose -4*t + 10 = -10. Let b = -0.42 + 0.32. Is t < b?
False
Let d = 0 + 5. Let q = -10 - -14. Which is smaller: q or d?
q
Let c = -133/3 - -44. Let k be 2/(-7) - 31/(-35). Is c <= k?
True
Suppose 16*x = 8*x + 10*x. Is 1/137 < x?
False
Let z = -53/267 + -269833/1869. Let o = z + 145. Which is bigger: 0 or o?
o
Let v(d) = 11*d - 33. Let b be v(3). Is b equal to -5/13?
False
Let c(b) be the second derivative of -b**4/12 - b**3/2 + 3*b**2 + 2*b. Let t be c(-6). Let q be (-4)/(-14) + t/140. Which is bigger: q or -0.1?
q
Suppose 2*f - 4*a = -22, 0*f = 5*f + 5*a + 10. Do 0 and f have the same value?
False
Let m(a) = -5*a - 1. Let n(u) = 4*u + 2. Let y(w) = -5*m(w) - 6*n(w). Suppose -3*r = r - 32. Let t be y(r). Is -0.2 at least t?
False
Let b = 11606/15 + -774. Which is smaller: -1 or b?
-1
Let i(s) = -3*s + 3. Let r be i(2). Let t = r + 4. Let v = 13 + -11. Which is greater: v or t?
v
Let p be (1 - 7) + (416/(-18))/(-4). Let w = 8.02 - 0.02. Is w at most p?
False
Suppose b + 3*b = 0. Let q = 4 - b. Let r be (-13)/q + 3/12. Is r bigger than -2?
False
Suppose -2 = 3*r - 11. Suppose 2*l - 9 = 3*m, -2*m = r*m - l + 8. Let h be (-4)/30 + -1 - -1. Which is bigger: m or h?
h
Let c(j) be the first derivative of -2 - 1/2*j**2 + 0*j. Let a be c(2). Which is smaller: a or 1?
a
Let z(l) = 2*l**2 - l. Let f be z(-2). Let r = -4 + f. Let x be 3/r*0 - 0. Is -1/4 not equal to x?
True
Let h = -1.8 - -3.5. Is 1 bigger than h?
False
Let g = 21 + -20.8. Which is greater: g or -0.2?
g
Let l = 9 - 14. Let z be l/20 + (-6)/(-8). Is 1/3 at least as big as z?
False
Suppose -79 + 78 = x. Is x > -2?
True
Let s(x) = x**3 - 7*x**2 + 6*x - 6. Let a be s(6). Do -9 and a have the same value?
False
Let s = 1966/7889 + 4/343. Do 0 and s have the same value?
False
Suppose 2*a + 2 = -4*x + 8, -3*x - 23 = -4*a. Let j = 6 - -1. Suppose -2*d + j*d = -a. Is d equal to 1?
False
Let d = 1 - -4. Let r = -19 + 2. Let w = -18 - r. Is w smaller than d?
True
Suppose -2*x - 11 + 19 = 0. Suppose d - 3 = -t, -7 = 3*t - 1. Do x and d have different values?
True
Let o = 48 - 28. Let d be 1/4 - 13/o. Let x = -0.1 - -0.1. Which is greater: x or d?
x
Let w be 87/9 + (-3)/(-9). Let j = -11 + w. Which is bigger: j or -5/9?
-5/9
Suppose 4*f = 4*h - 20, 2*h = -h - f + 19. Let c = -31 - -33. Are h and c nonequal?
True
Let o be 2 + (-4)/(7 - 3). Let d = 2 - 3. Do d and o have the same value?
False
Let g = -13 - -11. Let m = -0.2 + 0. Do m and g have the same value?
False
Let v be (-1 - 1)*(-75)/10. Let h be 45*6/v*-1. Is h >= -18?
True
Let d = -199/4 - -48. Let t be (-44)/6 + 4 + (-2)/(-6). Which is greater: d or t?
d
Suppose -h + 0*o = 2*o - 7, -2*o = 5*h - 35. Which is bigger: h or 8?
8
Let w(c) = 12*c**3 + 10*c**2 - 3*c - 4. Let n(t) = -4*t**3 - 3*t**2 + t + 1. Let z(u) = -7*n(u) - 2*w(u). Let b be z(1). Let a = 25 + -20. Are a and b unequal?
False
Let q = 35 + -35. Which is smaller: q or -1/42?
-1/42
Let v be (-2)/2 + 2 + -1. Let z = -73/3 + 356/15. Does z = v?
False
Let t = 2.3 - 2.1. Let h be ((-2)/4)/(3 + -5). Does h = t?
False
Let b(s) = -s + 3. Let l be b(0). Let a = 2 + -3. Let q = a + l. Is 2 < q?
False
Let s(c) = -3*c - 15. Let z be s(-7). Are z and 9 equal?
False
Let i = -13 - -16. Suppose -2*u - j = i*u, -4*j = 2*u + 18. Is u >= -3/11?
True
Let t = 5 + 2. Let c = t + -7.1. Which is greater: c or 0.1?
0.1
Suppose 17 = w + 4*y - 3, -5*y + 4 = -4*w. Let x = w + 0. Which is bigger: x or 3?
x
Let m = -0.05 + -0.05. Let l = 1 + -0.6. Which is smaller: l or m?
m
Let f(j) = j**3 - 9*j**2 + 6. Let s be (1 + 2)*(0 - -3). Let d be f(s). Let r be (-3)/5 + d/(-15). Which is smaller: r or -2?
-2
Suppose -3*t = 4*j - 0*t + 12, -5*j + 4 = -t. Let d = 10/21 - 145/84. Is d less than or equal to j?
True
Suppose c + 5*s - s - 6 = 0, -4*s = -5*c - 18. Is c not equal to -12/13?
True
Let n = -0.3 + 0.2. Let k = 0.1 - -3.9. Let u = k - 3.8. Is u < n?
False
Let d = 3/16 - 47/80. Suppose 0 = 7*b - 6*b - 1. Are d and b non-equal?
True
Let m = -1 - -2. Let z = -1.3 - -1.6. Which is greater: m or z?
m
Let r(v) = v**2 - v - 2. Let n be r(-1). Is 0.11 greater than n?
True
Let d(f) = 5 + f + 3*f + 0*f - 3*f. Let k be d(-7). Let t be k*15/(-12)*2. Is 6 at most as big as t?
False
Let m = -140486 + 700162/5. Let r = 455 + m. Which 