 x?
True
Let u be ((-2)/(-4))/(39/312). Let o = 1/147 + 2347/735. Which is smaller: o or u?
o
Let g(v) = v**3 - 5*v**2 - 5*v - 2. Let p be g(6). Suppose 7*k = p*k. Let h be (k - 1)*-1 - 0. Is 1 at most h?
True
Let o = -78 - -89. Is 9 bigger than o?
False
Let q = -188/15 - -31/3. Which is greater: q or -1?
-1
Let u = 0.4 - 0.1. Let q = 0.7 + u. Let k = q + -0.9. Is 0 < k?
True
Suppose -18 = 5*c - 0*y + y, 3*c = 5*y + 6. Let r be ((-1)/c)/(4/12). Which is smaller: r or -2/47?
-2/47
Let i(y) = y**2 + 6*y + 3. Let g be i(-3). Let f(d) = d**3 + 5*d**2 + 2*d + 4. Let n be f(-5). Is n greater than or equal to g?
True
Let f be (0 + -1 - 3) + 5. Does f = -1/4?
False
Let l = 14 - 12. Which is greater: -5 or l?
l
Let j = 23 - 23. Which is greater: 3/43 or j?
3/43
Suppose 0 = -6*y + 7*y. Suppose y*i + 12 = -2*i. Which is smaller: i or -7?
-7
Let y(x) = 6*x - 4 - 3*x**2 - 3*x - 4*x + x**3. Let k = -63 + 66. Let n be y(k). Are -8 and n unequal?
True
Let d = 601 + -21033/35. Are d and -0.6 nonequal?
True
Let y = -79/4 - -3563/180. Which is smaller: y or 1?
y
Let w be (-36520)/234 + 4/18. Let p = -156 - w. Let x(z) = z + 5. Let h be x(-4). Which is smaller: p or h?
p
Let q = 3587/152 - 185/8. Which is greater: q or 1?
1
Let x(g) = -g**3 - 8*g**2 + 11*g + 13. Let s be x(-9). Do s and -6 have the same value?
False
Let s(r) = r**3 + 3*r**2 + r. Let q be s(-2). Suppose q*t = t. Is t < -1?
False
Let r = -0.01 - -2.01. Is r bigger than 0.3?
True
Suppose 0 = -u + 3*u - 3*m - 15, -2*u + 10 = -2*m. Let t = -26 + 86. Let o be (-6)/t + (-4)/10. Do u and o have different values?
True
Let w be (3/42*-6)/1. Which is greater: 1 or w?
1
Let t be (-1 + 5)*2/(-28). Which is smaller: 1 or t?
t
Let j = -196 + 126. Is j > -71?
True
Let p be 38/84 + 4/(-24). Let t = 2.6 - 2. Let i = t + 0.4. Is i not equal to p?
True
Let b be (-16)/72 - (-40)/18. Let h be 4*((-3)/3)/(-1). Is b bigger than h?
False
Let t be 6/15 + 185/(-25). Let k = 30 + -208/7. Which is smaller: k or t?
t
Let f = 7 + -13. Let o be -3*4/f*-1. Let p = -3 - -2. Which is smaller: o or p?
o
Let d = -7 - -10. Suppose 5*z - 67 = -3*u, -d*z + 7*z = u + 40. Is 11 < z?
False
Let f = -2.2 + -1.8. Let t be 4/(-6) - 4/(-6). Which is greater: f or t?
t
Let w(r) = -2*r**3 - 3*r**2 - 3*r - 3. Let h be w(-2). Which is smaller: 10 or h?
h
Let g = -0.01 - 0.99. Let h = 1.1 + g. Is h less than 2/3?
True
Let y = 2 - 2. Let x(o) = -o**3 + o**2 + 3. Let w be x(y). Which is smaller: 4 or w?
w
Let v(p) = -6 - 8 + 4*p - 3*p. Let g be v(14). Are -4/9 and g nonequal?
True
Let o = -98/13 - -1097/130. Which is bigger: o or 1?
1
Suppose -14 = 4*w - 3*i, -2*i = -w - 0*i - 6. Let r(s) = s**3 + 2*s**2 - 2*s - 3. Let v be r(w). Is -1 equal to v?
False
Let i = 0.09 - -2.91. Which is smaller: -4/7 or i?
-4/7
Suppose 0 = 3*y + 25 - 4. Let x(b) = 4*b - 2. Let g be x(3). Let w = g + y. Is 4 less than w?
False
Let k = 3/40 + -11/40. Is k greater than -1?
True
Let f = 5.76 + 0.24. Let g = -116 - -121.9. Let b = g - f. Is b at most as big as -4?
False
Suppose 3*j - 28 = 3*w + 8*j, -18 = 3*w + 3*j. Which is smaller: 2/13 or w?
w
Suppose p + p + 4*i = 24, 2*i + 20 = 3*p. Let t be 56/32 + 2/p. Is 2 less than or equal to t?
True
Let j = 3/251210 - -17604789/653146. Let p = j + -134/5. Which is greater: -1 or p?
p
Let p(c) = 3*c**2 - c. Let d be p(-1). Let b = 2 - d. Is b not equal to -2?
False
Suppose -m = 2*y + 4*m - 31, y - 5*m = -22. Suppose -2*g + 2 + 0 = 4*w, -y*w = 5*g + 16. Is 1 greater than or equal to w?
False
Suppose -30 = -2*k + o + 13, 6 = 2*o. Suppose -k*w + 19*w = -64. Which is greater: w or 15?
w
Let s(i) = -i**2 + 4*i - 2. Let x be s(2). Suppose 28 = 5*q - 2*w, -q + 8 = -0*q - w. Suppose y - q = -3*y. Which is smaller: x or y?
y
Let q = 0.46 - 0.36. Which is greater: 11 or q?
11
Suppose 33 = -4*k + 21. Which is bigger: -35/9 or k?
k
Let y(c) = -c - 2. Let k be y(-8). Let x be (-1)/(1*(-9)/k). Do x and -1 have different values?
True
Suppose 3 = 3*j, 5*j - 4*j = 2*l + 5. Let t be 8/5 + (-2)/(-5). Let a = -3 + t. Which is smaller: a or l?
l
Suppose -15 = 3*p, -b - 3*b + 4*p = 0. Let f be (-2)/12 + (-315)/54. Which is smaller: f or b?
f
Let d = 9464/19 + -498. Let a be (2/2 - 0)*0. Let f = 0 + a. Are f and d equal?
False
Let t(s) = s**3 - 11*s**2 + 11*s - 4. Let d be t(10). Let w be ((-4)/d)/(78/18). Which is smaller: w or -2/5?
-2/5
Suppose -2*x - 6 = 4*a, 5*x + 4*a = 4 - 13. Suppose 0 = -4*m - 3*v + 66, -3*v - 13 - 26 = -3*m. Suppose 0 = j + 4*j - m. Is x at least j?
False
Let n be (-6)/14*(-14)/(-8). Let a be 26/(-40) - 2/(-8). Which is greater: n or a?
a
Let t = -26/15 - -247/30. Which is smaller: 8 or t?
t
Suppose -3*r + 8 = -4. Suppose j = -o - r*j - 14, -j + 2 = 5*o. Let w be (0 + o)/(1/2). Is w < 3?
True
Let l = 7 - 4. Let p = -3 + l. Is 1/10 <= p?
False
Let k be (-2)/(-8)*114*28/21. Which is smaller: 37 or k?
37
Let t(z) = -z**3 + 5*z**2 + 2. Let r be t(5). Which is smaller: r or 0?
0
Let m = 15 - 17. Let w be (-300)/24 - 1/m. Are -13 and w nonequal?
True
Suppose -w - 273 = -6*w - f, 147 = 3*w - 5*f. Is w smaller than 55?
True
Let q = -64 + 64.06. Which is smaller: 1/3 or q?
q
Let a(i) = -4*i + i**2 - 2*i**3 + 3*i + 7*i**3. Let n be a(1). Let g = -5 + 11. Which is greater: g or n?
g
Let i(b) = -b**2 + 2*b - 2. Let x be i(-5). Which is smaller: x or -38?
-38
Let s be (6/36)/(5/((-15)/21)). Are s and 1 nonequal?
True
Let n = 2 - 0. Let v be (50/(-28) + n)*-2. Suppose 3*b = -b. Which is smaller: v or b?
v
Suppose 2*a - 3*c - 6 = 0, -a - 2*a - 13 = c. Let k be (a - (2 - 5))/(-1). Which is smaller: k or 1/5?
k
Let s(c) = -15*c**2 - 4*c - 4 + 8 + 14*c**2. Suppose w + 10 = -w. Let h be s(w). Do 1/8 and h have the same value?
False
Suppose -3*n + 3*f = -8*n + 135, 5*n - 140 = -4*f. Suppose -4*x = 3*b - 13 + 2, -4*x - n = -4*b. Is b at most 4?
False
Let h = 2 + 0. Let a = -571/2 - -2861/10. Which is smaller: h or a?
a
Let c be -2 + -3 + -1 + 1. Is -4 greater than c?
True
Let y(b) = -2*b**3 + b**2 + 6*b - 1. Let f be y(4). Let j be 1/4 + 3187/36. Let c = f + j. Which is greater: -1 or c?
c
Let i(s) = -s + 4. Let u = 22 + -14. Let l be i(u). Let g be (-2)/l*(3 - 5). Is g smaller than 0?
True
Let y = 22 + -32. Let o be 42/15 + y/5. Which is bigger: 1 or o?
1
Let u = 2 - 0. Is 2 < u?
False
Suppose -5*w + 27 = -2*n, 4*n + 42 = -n + 4*w. Is -5 less than n?
False
Let y(j) = -j**2 - 4*j + 8. Let m be y(-5). Suppose -3 = w - 5. Suppose 0 = -m*n - 6, -8 = -4*v + w*n + 2*n. Does 2/5 = v?
False
Let o be 2/((-42)/81) + (3 - 0). Is -0.3 at most o?
False
Let y be -2*2/(-1) + -4. Is -1 less than y?
True
Suppose -x - 3 = -4. Let q = 0.33 + -0.03. Is q at most as big as x?
True
Let l(y) = -3*y**2 - y + 5*y - 2 + 7 - 4 - y**3. Let m be l(-4). Is 9 <= m?
False
Let h(v) be the first derivative of 23*v**3/3 - v**2/2 - 3. Let m be h(-1). Let w be (-12)/5*6/m. Are w and -2/3 non-equal?
True
Suppose -2*r + 16 = 2*r. Let c(a) = -a - 1. Let o be c(-5). Are r and o unequal?
False
Suppose 54 = y - 83. Let f be (-6)/30 - y/(-10). Let o = f - 13. Are 0 and o unequal?
True
Let p = 0.3 - 0.3. Let w = p + 1. Let h = 1.3 - w. Is -1/3 smaller than h?
True
Let d = -3 + 0. Let y be (d/(-14))/(9/12). Which is bigger: y or -7?
y
Let c(u) = u**3 - 2*u**2 + 2*u - 1. Let z be c(1). Suppose 3*r - 5*y + 8 = 2*r, 0 = -3*r + 3*y. Suppose -r + z = -s. Is s equal to 0?
False
Let u be (-5 - (-3 - -3))*8/(-20). Suppose 0 = 3*p + 3 - 6. Is p > u?
False
Let t = 11.04 + -11. Let y = t - 0.14. Is 0 smaller than y?
False
Let b(k) = -k + 2. Let m be b(4). Let q be ((-1)/2)/((-1)/m). Let j = -23/4 + 61/12. Which is greater: q or j?
j
Let s be (1/3)/(1/9). Let a be ((-8)/(-3))/(2/s). Suppose 8 + a = 4*d. Is 3 bigger than d?
False
Let c = -4/63 - 80/63. Let y = -26/15 - c. Suppose 0 = 5*i - 0*i. Is i equal to y?
False
Let t = 0.06 + -0.03. Let l = -0.27 - t. Do -3 and l have different values?
True
Suppose -60 = -22*s + 10*s. Let q be (2/(-6))/(4/(-42)). Which is greater: q or s?
s
Let k = 0.15 - 0.08. Let f = -2.93 - k. Which is greater: f or -1?
-1
Suppose 13*o - 128 = 17*o. Which is bigger: o or -30?
-30
Let d = 14.23 + -0.23. Let b = d + -12. Is b greater than or equal to 4?
False
Let m = 3 + -2. Let a = m + -1.1. Let l(f) = -f**2 + 3*f - 2. Let r be l(3). Is a bigger than r?
True
Suppose 0 = -6*v +