 o?
o
Let x = -0.2 - -0.4. Let h = 0.3 - x. Suppose -2*n - 3*t = 1, t + 3 = -2*t. Which is smaller: n or h?
h
Let y be 6/7*3/9. Which is smaller: -1/3 or y?
-1/3
Let a = 33 - 37. Let d be ((-2*1)/(-2))/3. Is a smaller than d?
True
Let g(p) = -p - 1. Let r be g(-3). Suppose -7 = v - r*u, -2*u + 3 = -5*v - 0. Let h = v + -3. Is h at most as big as -2?
True
Suppose -5*h = -20 - 5. Suppose -v - 3 = 3*v + h*c, -7 = 4*v + c. Let o be 16/36*v/8. Which is smaller: o or 0?
o
Suppose 4*g = -0 + 4. Let p be ((-6)/(-9))/(g/3). Suppose s - 2*q = -s - 8, 5*s = -4*q + 25. Which is greater: p or s?
p
Let h = -1 - 9. Let v = -12 - h. Let f(t) = t - 3. Let b be f(0). Which is smaller: v or b?
b
Let u = 0 + 1. Let n be 207/555 + (-8)/20. Let q = n + 45/296. Which is bigger: q or u?
u
Let k be 19/(-38) - (0 - (-79)/(-2)). Is k equal to 113/3?
False
Let g = 5.7 - 6. Let z = g - -1.3. Let h = 0.3 + -0.2. Which is bigger: h or z?
z
Let b(x) = -x + 2. Let a be b(0). Let n be a*2 - 8/4. Are 3 and n equal?
False
Let z(i) = i**2 - 2*i. Let w be -2 + 2 + (3 - 2). Let p be z(w). Suppose -4*g = -2*f - 12, 0 = 2*f - 7*f + 5*g - 20. Is p > f?
True
Let y = 7720/27 + -286. Suppose 0 = -l - 3*i - 6, 4 + 0 = 5*l - 2*i. Is l not equal to y?
True
Suppose 7 = 5*h - g, -5*g + 28 - 7 = 3*h. Let y = 13.8 + -14. Is y not equal to h?
True
Let b = -0.21 - -0.22. Is b >= 0?
True
Let h(n) = -10*n**3 - n**2 - n - 1. Suppose 3*r + 2*l + 6 = l, -5*r + 2*l + 1 = 0. Let b be h(r). Let x be b - 13 - 1*-2. Is x != -2?
False
Let q be ((-2)/(-1))/1*-1. Suppose -f = -0 + 4, 4*f + 31 = 5*d. Suppose 4*v + 4 = 5*l, -1 = d*v - 2*v - l. Which is smaller: v or q?
q
Let u be -1 - (54/(-22) - -2). Is -2 <= u?
True
Let y = -9 - -13. Let m(s) = s**3 - 4*s**2 + 3*s + 3. Let r be m(y). Is r at most as big as 15?
True
Let u(c) = -14*c + 7. Let v(i) = i + 4. Let s be v(-2). Let n be u(s). Is n bigger than 0.1?
False
Suppose n - 2*i - 7 = 0, -5*n - 34 = -2*n + 5*i. Which is smaller: n or 5?
n
Let r = 3 - 3. Let b be (r + 9)*(2 - 4). Let j be -1*(16/b + 1). Which is smaller: j or 1?
j
Let z = 3 + -2. Suppose 17*y + 32 - 15 = 0. Which is greater: z or y?
z
Let o = 124 + -124. Which is greater: 30 or o?
30
Let c be ((-5)/(-10))/((-2)/(-8)). Let v(t) = 2*t + 5. Let l(j) = -5*j - 16. Let s(a) = -3*l(a) - 8*v(a). Let h be s(6). Is c greater than h?
False
Let x = 22 + -21. Suppose -1 = 4*i + t, -2*i + 10 = -4*t - 12. Let p be -2 + (0 + i)*x. Are 1 and p nonequal?
True
Let n be (1 - 1)*(-2)/2. Let k(b) = 16*b**3 + b - 1. Let l be k(-2). Let q = l - -1177/9. Is q equal to n?
False
Let p = 3.3 + -0.3. Which is greater: -2/3 or p?
p
Suppose 0 = -2*d - d - 3, 5*p - 3*d - 3 = 0. Let y = -2/737 - 1388/31691. Let n = y - -47/86. Is n <= p?
False
Suppose -f + 2*o = -12, 17 = f - 5*o + 2*o. Which is bigger: f or -6?
f
Let i be (-3 + 6)/((-1)/27). Is i less than or equal to -81?
True
Let v be 1/(-4) - 98*(-3)/24. Which is greater: 8 or v?
v
Let g = -4.8 - -0.8. Let c be 4/(-6) - 12/9. Let k be c - ((-12)/(-5))/(-1). Is g at least k?
False
Let v be 1/3 - 1335/9. Let d = v + 737/5. Suppose -2*g + g = 1. Which is smaller: g or d?
g
Suppose -2*s - 6 = -0*s. Let l(x) = -2*x - 6. Let y be l(s). Is -2/87 >= y?
False
Let h be (0 - 2)*(-2)/4. Let i = 13/7 + -2. Is i less than h?
True
Let k = -364 - -1463/4. Is 2 at least k?
True
Let r(c) = -3*c**2 + 3*c - 2. Let o be r(3). Is o > -22?
True
Let w = 1 + 0. Let s = 72 + -72. Is w at least as big as s?
True
Let n be 4/(-3) - 1467/(-27). Which is smaller: 54 or n?
n
Let g be (1*(-20)/64)/1. Is g < -1?
False
Let t = -333/5 + 66. Let h = 1 - 3. Which is greater: h or t?
t
Let f = 8 - 5. Let o be (2 - 1) + -9 + f. Which is smaller: o or -4?
o
Let t = 65 - 165/2. Let u = t + 18. Suppose 0 = -2*w - 0*w. Which is smaller: u or w?
w
Let u = 13.68 - -0.32. Is u at least -0.1?
True
Let p = -95 - -953/10. Which is bigger: p or 0?
p
Let o = -109.6 + 109.5. Let v = -4.4 + -1.6. Let b = v - -6.6. Is o less than or equal to b?
True
Let v be (-1)/((-48)/10)*-453. Let s = v + 94. Which is smaller: s or -1?
-1
Let r(f) = 2*f**3 + 0*f**2 - f**2 - 5*f + 4*f. Let w be r(-1). Let j = 0 + -2. Do j and w have the same value?
True
Let k(n) = -25*n**2 - n. Let a be k(1). Let v = a - -77/3. Let u = 37 + -36. Are v and u unequal?
True
Let u = 0 - -1. Suppose 0 - 2 = -a. Let t = -2 + a. Is t less than or equal to u?
True
Let s be (-2)/10 + 48/(-90). Let b = 2/5 + s. Is b <= 0.1?
True
Let v = -18 + 71/4. Are 47 and v equal?
False
Suppose 2 = -c + 2*y + 1, 5*c = 3*y + 2. Let h be (-6 + 3)*c/5. Which is greater: -2/5 or h?
-2/5
Let d be 2/(-8) + 35/(-4). Suppose z = 5*r + 49, -5*z = 5 - 0. Is d < r?
False
Let z be 2/(-24) + (-4)/6. Suppose 0*d + 15 = 5*d. Suppose -5*i = 2 + d. Which is smaller: i or z?
i
Suppose 3 + 5 = 8*y. Let c = 218 - 1966/9. Is y bigger than c?
True
Let o = 8 - -4. Let g = o - 15. Do -4 and g have the same value?
False
Let t = -2262 + 24898/11. Is t at most as big as 0?
False
Let l = 20/3 + -6. Let h(t) = -3 + 3 + 1 + t. Let c be h(-1). Is c at least as big as l?
False
Suppose 4*u = -8 - 16. Which is smaller: u or -4?
u
Let n = 80 + -69. Which is smaller: n or 13?
n
Let z be 303/7 - 8/28. Let q = 28 - z. Let l be (-2)/(-2) - q/(-6). Is l less than or equal to -0.1?
True
Let z be 4/10*80/16. Let i be z/(-33)*(-12)/8. Which is smaller: i or -1?
-1
Let t be (8/110)/((-10)/(-75)). Let a = t + -40/33. Let m = 14.9 + -15. Which is smaller: a or m?
a
Let g = 9 - 3. Let o = 10 + g. Which is bigger: o or -2/7?
o
Suppose -4 = -0*v + v. Let i = v - -8. Suppose -s - 4 = -4*p, 2*p + 2*p + 8 = i*s. Is s at least as big as 4?
True
Let r be 2/(-44)*2*2. Is r >= 0?
False
Suppose -3 = -u - 0. Suppose 2*i = 0, -6 = -5*p + 3*i - 1. Which is smaller: p or u?
p
Let t be (-1)/(4*2/(-5 - 3)). Which is smaller: 2/41 or t?
2/41
Let f be 24/44*(-4)/(-6). Is 1 at most f?
False
Suppose i + i = 0. Suppose 0 = m + 2*m. Let u be 9/(-4) - -2 - m. Do i and u have different values?
True
Let m = -5.06 - -5. Let l = 0.04 - m. Let p = 3 + -4. Which is smaller: p or l?
p
Let w = 24 - 21.9. Let s = 1.9 - w. Is s < 1?
True
Let l be (-27)/(-24)*160/(-24). Is l greater than 0.1?
False
Suppose 4*i + 15 + 17 = 0. Let z = i + 13. Let q be ((-12)/(-15))/((-1)/(-5)). Does q = z?
False
Let v = 14 + -12. Let a be v/10*(-40)/24. Do a and 0 have different values?
True
Let y = -8289235/28666 - 41/2606. Let f = 289 + y. Is f equal to 0?
False
Let v = 0.1 - -0.3. Let h = -0.5 + 0.5. Which is smaller: v or h?
h
Let s = -1 - -1. Let x = 1 + s. Let b = 1 - x. Is 3 > b?
True
Let k = 6 + -6. Suppose -m + 1 - 2 = k. Which is greater: 3 or m?
3
Let f be 1 - (7/4 - 1). Suppose 4*v - 50 + 118 = 5*g, -3*v - 54 = -4*g. Is f bigger than g?
False
Suppose -5*j + 6 = 1. Let h = 42292395/442 - 95684. Let l = h - -1/442. Is j < l?
False
Let v = -41 + 52. Which is bigger: v or 9?
v
Let o(d) = d**3 + 4*d**2 - d - 2. Let n be o(-4). Suppose -n*q = -3*q. Is q less than or equal to -1/4?
False
Let d be 2/3 - (-4)/3. Suppose 0 = d*v - 5*v + 18. Let j be (-1)/2*v/9. Which is smaller: 0 or j?
j
Let y = 0.67 + -0.47. Which is smaller: y or -5?
-5
Let u(r) = r**2 + 4*r - 5. Suppose 2*k + 4 = 0, -3*k - 6 = 2*z + 8. Let p be u(z). Is -4 smaller than p?
False
Let v = 4 + -3. Suppose -9 = -568*w + 571*w. Which is greater: v or w?
v
Let m = -7 + 5. Suppose 4*w + 4*r - 4 = 0, -2*w + 4*r + 0 - 4 = 0. Suppose 3*i + 1 - 4 = w. Is i <= m?
False
Let m = -0.11 + 0.04. Let v = 0.1 + m. Let p = 1.03 - v. Does -1/6 = p?
False
Suppose -4*n - 17 = -17. Do n and 2/239 have the same value?
False
Let b be (3 - 0)*(-20)/(-15). Let y be b/(-10) - (-48)/45. Let q be ((-4)/6)/(1/(-3)). Is y at most q?
True
Let x(c) = 0*c - 2*c + 1 - c + c + c**2. Let a be x(3). Suppose -18 = 4*o + 2*s - a, 22 = -5*o - 4*s. Is o > -2?
False
Let c(k) = -3*k - 7. Let g be c(-8). Let m = g - 4. Which is smaller: m or 14?
m
Let m = -842/45 - -118/9. Do m and -5 have different values?
True
Let k(m) = m + 2. Suppose -6*q = -2*q + g + 6, -5*g = -q - 12. Let s be k(q). Let c = s - -1. Is 3/7 greater than or equal to c?
False
Let h be -3*(-1)/(-3)*-16. Let f be (1*-2)/(-3 - h). Is f less than 0?
False
Suppose x = -2*x + 27. Let z = -9 + x. Is z <= -1?
False
Let r = 14 + -9. Let b = 11 + r. Which is bigger: 17 or b?
17
Suppose -m 