or o?
u
Let t = -2.5 + 0.5. Let h be 2 - 0 - (-41)/(-23). Let w = h - -3/92. Which is bigger: t or w?
w
Let d(k) = -k**2 - 9*k - 9. Let z be d(-7). Suppose 4*m - 5*w - 21 = 0, -z*w - 28 = 2*m + m. Is -2/37 > m?
True
Suppose -c + 7 = 4*r, -5*c + 14 = 5*r - 2*c. Let h(g) = 4*g - 4*g - 7*g - 4*g - g**2 - 11. Let v be h(-10). Which is smaller: r or v?
v
Let i = 18 - 15.8. Let p = i - 1.8. Which is smaller: 1 or p?
p
Suppose 3*f + 12 = 5*y, -2*y = -2*f - 2*f - 16. Let o be (-2)/(-3)*(-3 - 0). Let s(a) = -a. Let v be s(o). Is y < v?
True
Let y(l) = -l**3 - 6*l**2 + 3*l + 4. Let n be y(-6). Let c be (-9 - (-1 - 2))*(-35)/(-14). Is n equal to c?
False
Let n = -9.228 - -0.468. Let v = -9 - n. Which is bigger: v or -1/2?
v
Let f = 55 - 58. Which is smaller: -6 or f?
-6
Suppose -7*i - 5*u = -4*i - 16, -2*u + 19 = -3*i. Which is smaller: 3 or i?
i
Let h be 101/(-91) + (-14)/(686/21). Which is smaller: h or -3?
-3
Let a(p) = -p - 4. Let g be a(-3). Let f(x) = x**3 - x**2 + 1. Let o be f(g). Let m be (-3 - o)*(-9)/(-6). Is -3 > m?
False
Let o(k) = -k**3 + 3*k**2 + 2*k - 3. Let f be o(3). Suppose -4*t + 5*w + 3 = -16, -3*t + 21 = f*w. Let b be 0/((t - 2)/2). Is b less than 0?
False
Suppose -m + 5*m = 5*s + 46, 14 = s + 5*m. Which is bigger: 2 or s?
2
Let g(n) = -n - 10. Let w(z) = -z**2 + 3*z + 10. Let b be w(7). Let v = 10 + b. Let i be g(v). Which is smaller: -1 or i?
i
Let f = 8 + -11. Let u = 3 + f. Which is bigger: 1/6 or u?
1/6
Let g = -3 + 4. Let m be 0*g/(1 + 0). Is 0 <= m?
True
Suppose 15 - 3 = 4*r. Suppose 0 = x, -2*h + 5*x + 10 - 4 = 0. Is h not equal to r?
False
Let o be (1*(0 + 47))/(-1). Is o >= -48?
True
Let m = 6/17 - 64/85. Let d be (66/(-9))/(2/3). Is d >= m?
False
Suppose -r = m - 5, 2*r + 2*r = 5*m + 20. Let z = 2.9 + 0.1. Let t = z + -3.2. Which is greater: t or m?
m
Suppose 3*u - 6 = -0*u. Suppose 3*q - 5*i = 15 + 2, u*q - 10 = 3*i. Is q bigger than 1?
False
Let x(f) = -f**2 - 8*f + 18. Let b be x(-11). Is -16 at least b?
False
Suppose -2*u + h = -0*h - 6, -3*h = -2*u - 2. Suppose u*z = -2 - 3. Let c be 0 + 0 + 2/(-8). Is z bigger than c?
False
Let a = -1.17 + 25.17. Which is bigger: a or -2/3?
a
Let f = -4.909 - 0.091. Are -9/5 and f equal?
False
Let x = 1/290 + 231/290. Suppose -10 = 5*a - 10*a. Is a > x?
True
Suppose -6 = -3*v - 4*l, v + 3*l + 21 = 3*v. Let y(i) = i + 12. Let m be y(-5). Is m equal to v?
False
Let n = -49 - -45. Which is smaller: n or -1/6?
n
Suppose -5*q - 4*m - 1 = -0, q - 3*m = 15. Let c be (-1)/(((-3)/q)/(-2)). Let k be (c/(-8))/((-5)/(-4)). Which is bigger: k or 1?
1
Let k(f) = f**3 - 5*f**2 + 3*f + 5. Let o be k(4). Suppose -3*h - 9 = -4*h - 3*w, -4*h - 2*w = -6. Is o bigger than h?
True
Let k = 11 + -7. Is k equal to 3?
False
Suppose 3*r + 23 = 20. Suppose 14 = 4*k - 3*s, -14 + 0 = -2*k - 2*s. Suppose -k*w - 15 = 5*h, w + 7 = -3*h + 2. Is h at most r?
True
Let f be (3 - 6)/(104/4). Is f at least as big as 1?
False
Let s be (-156)/1066*(2/4 + 0). Which is bigger: 1 or s?
1
Suppose 2*m = 2*t + 160, t - 3*m + 29 + 59 = 0. Which is greater: 1 or t?
1
Let k be (-2 - -6)*5/5. Suppose -k*r + 0 = 4. Is r >= -0.3?
False
Suppose -2*b - 8 = 0, -b = -k + b + 9. Suppose 0 = 3*d - 2*h - 6, d - 4*h = -2*h + 2. Which is bigger: k or d?
d
Suppose 1 = -3*j + 2*j. Which is bigger: -1/21 or j?
-1/21
Let j(i) = -i + 14. Let x be j(14). Does 1/15 = x?
False
Suppose 0 = -15*m + 13*m - 76. Is m < -38?
False
Let v = 8 - 8.2. Are 2 and v nonequal?
True
Let r be (-4)/(32/5) - 0. Which is greater: r or 0?
0
Let i = 103 - 70. Is i != 33?
False
Let t(b) = -6*b + 17. Let p be t(4). Is p equal to 0.1?
False
Suppose -3*j = j + 8. Let b(c) = c**3 + 6*c**2 - c - 6. Let w be b(-6). Are w and j non-equal?
True
Let p be ((-66)/24)/(1/4). Is -10 equal to p?
False
Let q be (-2)/(-2 - 8/(-6)). Let d(v) = v**3 - 7*v**2 + v - 6. Let h be d(7). Which is greater: h or q?
q
Suppose 0*v + 4*v - 28 = 0. Which is smaller: v or 6?
6
Suppose -2*c + 3*h = -15 - 0, 12 = 3*c - h. Suppose 5*l - 2 = c*l, 2*l = 2*x - 20. Suppose 3*o - 2 = -x, z - 5*o = 15. Is -2/3 less than z?
True
Let j(g) = g + 2. Let q be (-5)/(-10) - 2/4. Let o be j(q). Is o at least -1?
True
Suppose 0 = -9*t + 10*t - 3. Are 2 and t unequal?
True
Let q = -262/3 - -83. Is -3 != q?
True
Suppose 7*h - 32 = 3*h. Suppose 0 = 4*n - 0*n + h. Is -2 <= n?
True
Let k(j) = j**3 - 12*j**2 + 14*j - 6. Let i be k(11). Is 28 smaller than i?
False
Let q(w) = 16*w + 55. Let c(h) = 3*h + 11. Let o(u) = -11*c(u) + 2*q(u). Let y be o(-13). Which is smaller: y or 1?
1
Suppose 4 = g - 2*q - 12, -3*q = -3*g + 42. Let k be g/6 - 56/29. Is 1 less than or equal to k?
False
Suppose 11*t - 8*t + 39 = 0. Let l = t + 14. Is l less than or equal to -7/3?
False
Let w be (-1 - (-2)/4)*0. Let o be (-2)/7 - (-104)/(-28). Let m be 8/4 + 7/o. Is m at most as big as w?
False
Suppose 4*b = 5 - 1. Is 19 at most as big as b?
False
Let q(u) = 2*u - 13. Let i be 9 + (-3 + -1 - -2). Let s be q(i). Let p = 197/24 - 25/3. Is p < s?
True
Let z = -6 + 4. Suppose 8 = 3*f - 4. Suppose 0*y + f*y = 4*i, -2*y - 9 = i. Is y smaller than z?
True
Let i = -4030 + 11989/3. Let x = i + 34. Let y = 15 + -17. Is x equal to y?
False
Let p(n) = -n**3 + 13*n**2 + 10. Let i be p(13). Let x be 42/160 - 2/i. Is x not equal to 0?
True
Let h = 1 - 0. Let s = 1.1 - h. Let a = -0.3 + 0.4. Are s and a unequal?
False
Let i = -1/22 + -349/66. Which is bigger: -4 or i?
-4
Suppose -5*u = -16 + 1. Suppose 3*v + 0*v = 6. Suppose u*m = -v*m. Is 1/7 greater than m?
True
Let m(d) = d**3 + 2*d**2 + d + 2. Let r be m(-2). Let j = -4/57 - -97/570. Are j and r nonequal?
True
Let r = -54740/11609 - -222/47. Which is smaller: -1 or r?
-1
Let p be -1*(0 + 6/(-2)). Suppose p*v + 3*f = -18, -5*f + 4 + 6 = -5*v. Which is greater: 2 or v?
2
Let w be (-1)/1*(4 - 9). Suppose -l - 4*s + 13 = -0*l, -w*l - 5*s = -20. Let p = l + 0. Which is smaller: p or 1/7?
1/7
Let b = -24 + 18. Which is greater: b or -8?
b
Let r be (-2)/18 + 2/(-9). Suppose 0 = -4*m + 4*y + 12, 5*m - 15 = 3*y - 6*y. Suppose m = 4*c - 1. Is c smaller than r?
False
Let f be (-198)/(-10) - 1/(-5). Suppose 3*l = -l + f. Suppose 0 = -3*n - l*g - 22, n + g = 3*n - 7. Is 2 smaller than n?
False
Let w be 2 - (-3 - (1 + -2)). Let i = -4 + w. Are 0 and i non-equal?
False
Let t = -11 + 25. Suppose -5*v + u + 7 = 0, 6 = 2*v - 4*u + t. Suppose 1 = 2*w + v*o - 3, 3*o + 24 = 2*w. Is 2/7 greater than or equal to w?
False
Let r = -116 + 75. Which is greater: -1 or r?
-1
Suppose -u - 3*n - 7 = 0, -4*u - 4 = -5*n + 24. Is u at least as big as -5?
False
Let f(k) = -k**3 - 2*k**2 + 4*k - 4. Let a be f(-4). Let s(p) = -p**3 + 12*p**2 + p - 11. Let r be s(a). Which is smaller: r or 3?
r
Let w(z) = 2*z**3 - 3*z**2 + z - 1. Suppose 4*g + 5 = 13. Let x be w(g). Let c = x + -61/11. Are 0 and c nonequal?
True
Suppose d = 5*b - 8, 4*b = -d + 4*d + 2. Let a be (1/b)/((-1)/(-6)). Let i be 4/a*(-45)/(-10). Which is bigger: 1/2 or i?
i
Suppose 2*z - 11 = 5. Suppose 0 = -2*q + z - 44. Let a be 3/(-6) - q/20. Which is smaller: a or 1?
a
Let r = 1.1 + -1.2. Let z = -0.9 + r. Let g = -2 + 4. Is g < z?
False
Let g(x) = -x**3 - x + 1. Let f = 2 - 1. Let i be g(f). Let y = -4 - i. Is y bigger than -2?
False
Let x = 1 + -1.1. Let r = x - 0.9. Suppose -7 = -5*k - 2. Which is greater: r or k?
k
Let g = -3 + 2. Let n = 123 + -1105/9. Which is greater: g or n?
n
Let x be 2 + (3228/(-6424) - 1). Let l = x + 7/146. Suppose 2*u - 2 = 2. Which is greater: l or u?
u
Suppose 5*q = n + 2, -5*q + 5*n + 1 - 11 = 0. Are 2 and q equal?
False
Let f be (-8)/20 - (-532)/(-20). Let q = f - -21. Which is smaller: q or -4?
q
Let m be (-205)/12 - (0 + 2). Let p = 61/3 + m. Is 1 not equal to p?
True
Suppose 5*m - 2*m = 4*i + 12, 4*m + 2*i - 16 = 0. Suppose m*f = 5*f. Which is bigger: f or -1/14?
f
Let v = -94173/91 - -1035. Let w = v - -2/91. Is 0.2 greater than w?
True
Let l = 0.2 - 0.3. Let h = 147470/37 - 3986. Let k = h - -206/407. Is l at least as big as k?
False
Let g = 0 - 0. Let l = -119.8 - -120. Which is bigger: g or l?
l
Let r = 7 - 4. Let f be (-16)/(-12)*r/2. Let m be f/(-30) + 4/10. Which is smaller: 1 or m?
m
Let p = 1.8 - 2. Let x = 0.1 + -0.1. Which is smaller: x or p?
p
Suppose 5*z + 2*h - 7*h = 45, -h = -3. Let r = -24 + z. Let y be (-6)/(-8) + (-3)/r. Which i