= 13 - o. Is 3 at most as big as u?
True
Let r = 0.74 - 0.7. Let d = 2 + -2.1. Is r at most d?
False
Let h = 287/5 - 57. Which is smaller: h or 1?
h
Let k(q) = -q**3 + 11*q**2 - 8*q - 23. Let o be k(10). Suppose 0 + 3 = -t. Is o at most as big as t?
True
Let w = -13 - 4. Is -18 at least as big as w?
False
Suppose -4*b = 3 - 7. Let v be 1*(1 - 0) + b. Let c be (-1)/3*(-9)/4. Do c and v have the same value?
False
Suppose 4*z - 2*z - 18 = -5*d, 0 = d - 4*z + 14. Suppose -d*v - 5*m + 4*m = -6, -m = -2. Suppose 0 = 3*i - v - 1. Which is bigger: 2 or i?
2
Suppose 2*l - 9 = 4*s - 21, -3*l = -5*s + 13. Suppose -5 - 23 = -s*m - 2*p, -2*m = p - 12. Suppose -3*b + w - m = 0, -3*w + 0*w = 4*b + 1. Is b at least -1?
True
Let l be 0/(-4 - (1 + -3)). Let v = 4 - l. Is 1 < v?
True
Let z = -14 + 16. Is z greater than 4?
False
Let g = 4/7 + -50/63. Suppose 5*v = 8*v. Which is bigger: v or g?
v
Let d = -16 - -18. Which is smaller: d or 4/3?
4/3
Let u = -17/11 + 97/77. Which is smaller: u or 0?
u
Suppose 3*f + 0*f = -12. Let o(c) = c**3 - 5*c**2 + 5*c - 2. Let h be o(3). Is h at most as big as f?
True
Suppose 3*k = 5*k. Suppose 5*x - 7*x - 2 = k. Are x and -5 equal?
False
Let z(p) = p**2 - 3*p - 5. Let q be z(-2). Suppose -10*h + 5 = -q*h. Are h and 5/4 nonequal?
True
Let c be (-2 + 15/6)*-4 - -10. Are 5 and c unequal?
True
Let v = 1.31 - 1.27. Is 0 != v?
True
Let y = -0.7 + 0.62. Let z = y - -0.18. Does z = 3?
False
Let s(t) = t**3 - 12*t**2 + 11*t + 5. Let y be s(11). Which is smaller: y or 7?
y
Let o(w) = 4*w - 1. Let d be o(4). Let q be 6/d - 104/10. Let g be ((-4)/(-9))/(q/5). Which is bigger: 1 or g?
1
Suppose 4*m + 24 = 2*b + 2, m - b = -7. Let z = m - -2. Is z at least -4/3?
False
Let n(v) = v**3 + 7*v**2 + 10*v + 4. Let y be n(-4). Is y < -1/4?
False
Suppose 2*b = l + b - 24, 0 = -4*l + b + 93. Which is bigger: 22 or l?
l
Suppose -2*s + 0*s + o = -6, 2*s + 2*o = -6. Suppose 5*j + s = -4. Are j and -5/6 nonequal?
True
Suppose 0 = a + a. Let f = -4 + 3. Are a and f nonequal?
True
Let z = 15907/10 + -1592. Is z less than or equal to 1?
True
Suppose 9*r - 6*r + 18 = 0. Suppose -y + 2*y = 3*f - 24, 3*f - 33 = 4*y. Let k = r + f. Which is smaller: k or 0?
0
Let a(t) = -t - 8. Let x be a(0). Suppose 2*c = 4*f - 4, 5*f + 10 = 2*f - 5*c. Which is smaller: x or f?
x
Let f = 36 + -33. Is f smaller than 8/3?
False
Let f = 17 + -16.6. Which is smaller: f or -0.1?
-0.1
Let s = 7.89 - 8. Let z = 0.31 + s. Do -0.2 and z have the same value?
False
Let k = -45 + 44. Which is bigger: -2/339 or k?
-2/339
Let j be (8/(-18))/(10/15). Which is smaller: j or 0.1?
j
Suppose 4*f + 3 = -5. Let v(s) = -s**3 - 7*s**2 - 8*s + 7. Let l be v(-5). Which is smaller: l or f?
l
Let m = 13 + -32. Is -19 less than m?
False
Let m = 43 - 39. Is m greater than or equal to -2?
True
Let u be (0 + 1)/(21/(-63)). Is u at most -4?
False
Let q be -4*1 + (3 - 2). Let s be (-108)/15 - q - -3. Do s and -2 have different values?
True
Let f be 7 + -4 + (-14)/4. Let a = 4 + -4. Are f and a non-equal?
True
Let c = -13 + 19. Is 8 at most as big as c?
False
Suppose 2*a + a - 15 = 0. Let n = -25 - -35. Suppose -a*z - n = -0*z. Is z equal to -2/3?
False
Let p = -2.3 + 2. Let h = -0.2 + 0.3. Which is smaller: p or h?
p
Let p(j) = j**3 + 2*j**2 - 3*j. Let y be p(2). Let t be y/3 - (-6)/(-3). Let f be ((-44)/(-12) + -3)*3. Is t at most as big as f?
True
Let q = -8 - -9. Let x be (0 + q)/((-10)/4). Is -0.2 equal to x?
False
Let y be ((-4)/10)/((-2)/5). Suppose 0 = -2*b + 2, 3*d + 4*b - 2 = 4*d. Which is smaller: d or y?
y
Let y be -2*(28/(-32) - -1). Which is smaller: 5/8 or y?
y
Let v(q) = -q**3 - 3*q**2 - 3*q - 2. Let y be v(-2). Let k(l) = -l**3 + 3*l**2 - 3*l - 5. Let w be k(6). Let t = -915/7 - w. Is y <= t?
True
Let s be -2 - ((-11)/3 - 0). Which is smaller: s or 1?
1
Let p = -37 + 17. Let i be ((-3)/5)/(54/p). Which is smaller: i or 0.1?
0.1
Suppose 6 = -3*j - 5*z, -j + z = 10 - 0. Suppose 38*s = 41*s + 18. Which is smaller: j or s?
j
Suppose -22 = 4*p - 78. Let d be (-54)/42 - (-4)/p. Do d and -2 have the same value?
False
Let n be -1 + 1 + 3/(-2). Let t be (2/(-6))/(10/60). Which is smaller: n or t?
t
Let z(h) be the first derivative of 2 + 1/3*h**3 - 2*h**2 - 3*h + 1/4*h**4. Let k be z(-2). Which is smaller: 0 or k?
0
Let x(b) = -9*b + 8. Let y be x(7). Which is greater: -56 or y?
y
Suppose -4*w = -11*w - 203. Which is smaller: w or -28?
w
Let h(q) = -q**2 - 13*q + 12. Let d be h(-14). Suppose 0 = 5*g - 5*f - 20, -2 = -3*g - f + 2. Let m = g + d. Which is smaller: m or -4?
-4
Let v(s) = s**2 - 10*s + 16. Let k be v(7). Let c be (14/k)/((-12)/10). Is c not equal to 3?
True
Let m be (5 - 1035/175) + 1. Is m at least as big as -1?
True
Suppose -6 = 3*p - 0*p. Let v = 1 - -1. Suppose v*z = z. Does z = p?
False
Let b = 3/9869 + -141768194/29607. Let h = 500141/105 + b. Let t = -124/5 - h. Is 1 greater than or equal to t?
True
Suppose 2*y + 25 = 4*u + 93, -5*y = -u - 170. Suppose 2*m = m + 4, -4*m = 3*r - y. Let w be r/(-27) + 4/99. Is -1 greater than w?
False
Let j(i) = i**3 + i - 5. Let f be j(0). Let t(x) = -2*x - 7. Let l be t(f). Which is greater: l or 3/2?
l
Suppose 5*c + 11 = -3*i, -4*c = 2 + 2. Let g(o) = -4*o**2 + 1. Let p be g(-1). Let k be (-1)/p - 8/6. Which is greater: i or k?
k
Let z = 57 + -59. Are -4 and z non-equal?
True
Let y = -10 + 10.2. Let n = -2.04 + 2. Let d = n - -2.04. Is y < d?
True
Suppose -18 + 10 = -8*g. Is g less than or equal to -6/29?
False
Suppose -4 + 17 = l. Are 11 and l equal?
False
Suppose 5 = 5*y - 3*v - 3, 0 = 2*y - 3*v + 4. Let u be y/(-18) + 104/(-18). Let l(c) = -c - 5. Let d be l(u). Is 3 bigger than d?
True
Let m = -8 + 7.9. Let d = 0.2 - 0.1. Let t = m + d. Is -1/2 at most t?
True
Suppose -4*q + 5 = 37. Let g = 1.4 + -1.5. Is q >= g?
False
Let a = 11 + -1. Let s = 14 + -22. Let r be 1/4 + a/s. Is 0 smaller than r?
False
Suppose 53 = k + 20. Which is bigger: 32 or k?
k
Suppose 3*i - 8 = -i. Let q be -3 - i/34*-49. Is q < 0?
True
Let r(j) = -j + 1. Let k(q) = -2*q - 11. Let u(t) = -k(t) + 3*r(t). Let o be u(6). Suppose 0*x - o = -4*x. Is 3 smaller than x?
False
Let c be (-1 + (-1 - -1))*-1. Let x = -2 - -4. Let m(d) = d**3 - 3*d**2 + 3*d - 1. Let k be m(x). Is k smaller than c?
False
Let u be (28/8 - 3)*8. Suppose u = 2*l - 4*l. Which is greater: -1 or l?
-1
Let p(u) = u**3 - 5*u**2 - 5*u - 5. Let w be p(6). Let g be 21/(-14) + w/2. Is g smaller than -3/11?
True
Suppose 2*h - 3 + 1 = r, 5*h = -r + 26. Is r at most 9/2?
False
Let r = -4 + 4. Let y be (-1)/5 - (-31)/5. Let h be y/16*8/12. Do h and r have the same value?
False
Let p be 6 + (-1305)/117 + 10/2. Let c be (2 - 1)*3/(-3). Which is greater: p or c?
p
Suppose 0 = 2*a + f + 3, 7*a + 5*f = 3*a - 21. Is a greater than or equal to 1/25?
True
Let s(d) be the first derivative of d**3/3 - 3*d**2/2 - 3*d + 9. Let i be s(4). Is 0.1 <= i?
True
Let x = 3 + -5. Let u = x + 2. Let g = -1 - u. Which is smaller: g or 1/5?
g
Suppose -6*b = 108 + 6. Which is smaller: -20 or b?
-20
Let t be (-14)/(-8) + 3/12. Suppose t = 3*o - 13. Is o < 5?
False
Suppose 0 = -a - 1 - 0. Let f be (a/6)/(2/4). Let y = 1 + -4. Is f less than y?
False
Let x be (6 - 9)*76/6. Let k = 11405 - 80102/7. Let s = x - k. Is -1 >= s?
False
Let q = 14 - 16. Let h = 26 - 14. Let m be (6/20)/(h/10). Which is greater: q or m?
m
Let s(q) = q - 7. Let v be s(5). Suppose -16 = 19*g + 3. Is g not equal to v?
True
Suppose 0 = -4*p + 35 + 13. Let d = p - 16. Which is smaller: -2 or d?
d
Let q be -36*3/(18/(-4)). Let c be 22/q + (-2)/8. Suppose 0 = 2*i - 3*w + 15, -3*i = 4*w - 23 + 3. Which is smaller: c or i?
i
Let y = 6 + -5.92. Let q = -0.11 + y. Are q and 0 unequal?
True
Let r = -37.1 + 40. Let b = 1.9 - r. Is 0 at most as big as b?
False
Let s = -31/10 + 13/5. Which is smaller: s or 0?
s
Let z be 2/(10/2 + -2). Let l(u) = -u**3 + 4*u**2 + 5*u + 1. Let g be l(5). Is g > z?
True
Let b be (2 - 0)/1 + -5. Which is smaller: b or -4?
-4
Let x = -1.98 + 2. Let v = 2 + -2.12. Let q = x + v. Which is smaller: q or 2/5?
q
Suppose 2*j + 7*c = 6*c + 15, 3*c = -5*j + 38. Is j less than or equal to 7?
True
Suppose -4*o + 122 = 4*z - 3*o, z + 5*o = 40. Let x be ((-1)/3)/(65/z). Let c(i) = -2*i**3 - 2*i**2 - 2*i - 1. Let h be c(-1). Is x bigger than h?
False
Suppose j + 4*j 