 be n(5). Let c = 24 + l. Is 0 less than c?
True
Suppose c = 5*h, h + 0*h = 2*c. Let j be 24/(-11) + (2 - c). Which is bigger: 0.4 or j?
0.4
Let u(s) = -s**3 + 7*s**2 + 4*s + 2. Let v be u(5). Is v at most as big as 72?
True
Let x(y) = -4*y - 12. Let a be x(-2). Which is smaller: a or -7?
-7
Let y = -0.8 - -1. Let t = y + 0.8. Let u = t + 1. Are u and -1/3 nonequal?
True
Let k(x) = x**2 + 4*x + 4. Let l be k(-4). Suppose -1 = z - l. Suppose -7 = -p - z*o - 18, -p + 3*o = -7. Which is greater: p or -2/3?
-2/3
Let y(x) = -x**2 - 9*x - 12. Let d be y(-8). Let c(m) = m**3 + 5*m**2 + 5*m + 4. Let s be c(-4). Which is smaller: s or d?
d
Let g = 44 + -43. Which is greater: 0.05 or g?
g
Let r = 0.44 + -0.51. Are r and 0 nonequal?
True
Let p = 45.84 - 52. Let l = 0.16 + p. Let a = 34.9 - 35. Which is bigger: a or l?
a
Let n(m) = m**3 - 7*m**2 + m - 8. Suppose 5*v - 35 = -4*d, v + 0*v - 7 = -5*d. Let h be n(v). Let l = h + 2. Do l and 0.1 have the same value?
False
Let y(n) = -n - 13. Let p be y(-9). Is p > -5?
True
Let r be (104/(-65))/(4/30). Let t be 8/r*18/4. Is -3 smaller than t?
False
Suppose -5*d = -15 - 5. Suppose -21 = 2*v - 5*v - 3*k, 0 = d*v - 5*k - 10. Does 8 = v?
False
Let r = -8 + 13. Suppose 0 = -10*v + r*v + 20. Which is smaller: 3 or v?
3
Let f = 59 + -60. Suppose 0 = q + 3 - 1. Let y be 1 - ((-18)/(-7) + q). Are y and f non-equal?
True
Let z(b) = -b + 3. Let p be z(3). Which is greater: p or -1/18?
p
Let w = 17.09 + -0.09. Let p = w + -17.1. Which is greater: p or 1?
1
Let q = -3/176 - 29/176. Let o be ((-2)/18)/((-2)/(-16)). Let h = 5/9 + o. Is q bigger than h?
True
Suppose -7*a + 3*a = 0. Suppose -h = -2*h - g + 4, -4*h + 4*g - 8 = a. Which is greater: -1 or h?
h
Suppose -2*x - 2 = 4*q, -q + 5*x - 2 = -4*q. Which is smaller: q or -3/10?
q
Let a = 8.9 - 9. Which is smaller: 0 or a?
a
Let y = -4 - -2. Suppose -4*n + 8 = -x, n = 3*x - 6 - 3. Let u be 0 + -2 - (4 - x). Do y and u have the same value?
True
Let o = -59 - -58. Is -12/29 greater than o?
True
Suppose n = -5*n - 24. Is n at least as big as -3?
False
Suppose 1 = -3*s + 2*u, 2 - 17 = -3*u. Suppose 2*x - 1 = s*d + 3, -5*d = 5*x - 10. Let k = 2 + -1. Is d not equal to k?
True
Suppose 5*n + 4 = 54. Let z = 48 + -37. Which is bigger: n or z?
z
Let w = -1/18 + -22/9. Which is smaller: w or -4?
-4
Suppose 4*q + 5 = 1. Let j(v) = v**2 - 5*v - 1. Let x be j(5). Let p = x + 1. Which is greater: q or p?
p
Let o(l) = l**3 - 13*l**2 + 12*l + 2. Let n be o(12). Suppose -4*d - 5*b + 25 = 0, 15 = 2*d + b + n*b. Are -2/7 and d equal?
False
Let u = 43 - 76. Is u at least as big as -35?
True
Suppose -3 = 2*t + 1. Which is smaller: t or -3?
-3
Suppose 0 = 4*n - 2 - 6. Let f be n/(-3) + 2/3. Let v = -31/108 + 1/27. Does f = v?
False
Let v(j) = 3*j + 3 - 3 - 4*j + 1. Let n be v(-1). Let k be n/(-10)*(-10)/(-12). Which is greater: k or -1?
k
Suppose -3*a = 5 - 2. Do a and -1/3 have the same value?
False
Suppose -x + 4 - 6 = 0. Which is smaller: x or -11/5?
-11/5
Let d = -18 - -19. Which is smaller: -3 or d?
-3
Let z = -0.07 - -0.03. Let a = 0.5 - -0.5. Which is smaller: a or z?
z
Let u = -819305/14382 + 2597/282. Let j = u + 875/18. Let t = j + -6/17. Is t greater than 2?
False
Let k = 23.7 + -12.5. Let v = -11 + k. Which is bigger: v or -3?
v
Let l(f) = f**3 - 9*f**2 - 10*f + 2. Let n be l(10). Suppose -11 = -n*m - 1. Is 7 at least m?
True
Suppose b = 4*b + 18. Is -7 equal to b?
False
Suppose m = -0 + 3. Let y be 0 + -2 + -11 + 3. Let g = y + 14. Does g = m?
False
Suppose -3*t + 14 + 7 = 0. Are t and 9 non-equal?
True
Suppose 185 = 2*n - 7*n - 5*f, -142 = 4*n + f. Which is smaller: -34 or n?
n
Let q = 1 + -1. Let l be 3/6 + q + 0. Let r = 1.5 - 1.2. Which is smaller: l or r?
r
Let w(r) = -2*r - 5. Let m be w(-5). Let z = -4 + m. Let o be -4 + 55/6 - 4. Do z and o have the same value?
False
Let j = -3 + 9. Let q be (4/(-12))/((-2)/j). Is q less than or equal to -2/13?
False
Let h = 278 + -4168/15. Suppose 4*f - 3 - 9 = 0. Suppose f*u - 2*u = 0. Which is bigger: u or h?
h
Let a = 40 + -41. Which is smaller: a or -4?
-4
Let t be (88/(-35))/((-300)/(-28)). Let i = t + -4/125. Which is smaller: 0.1 or i?
i
Let x = 185 - 556/3. Which is smaller: x or 5/3?
x
Let r be 64/(-28) + 2 + 344/(-168). Let p be (-3)/(-9)*-1*3. Which is smaller: p or r?
r
Let m be (-488)/(-1300)*5 + 4/(-5). Which is bigger: m or 1?
m
Let x = -0.058 - 0.042. Which is greater: x or -26?
x
Let s = 0.2 + -0.2. Let g = 16.9 - 16. Let x = 0.9 - g. Is x greater than s?
False
Suppose 0 = 3*n - 2*n + 6. Let w be 4/(-6) - (n + 5). Which is greater: 1 or w?
1
Let z be ((-8)/3 - -2)*-3. Suppose 48 = 2*k + 2*k. Let f be ((-16)/k)/((-4)/6). Is z > f?
False
Let m be 5/6 + (-1)/(-6). Suppose -2*v + m + 1 = 0. Let c be 0 - (1 - 0)/v. Is -4 > c?
False
Let y be -1*14/26 - 1. Let t = 146329 + -17120339/117. Let x = y + t. Is 0 bigger than x?
True
Let h be ((-2)/(-5))/((-4)/(-20)). Let o = 4 - h. Which is greater: o or 1?
o
Let z be 0 - 1 - -2 - -2. Let i(d) = -10*d**3 - 1 + 8*d**z - 4*d**2 + d**3. Let u be i(-4). Is u > -5/4?
True
Let d be -5*(2 + 2 + -3). Suppose -5*g + 7 = t + 40, 5*g - 5*t = -15. Let h = g - d. Is 2 not equal to h?
True
Let k = 41.7 + -42. Which is smaller: k or 8/5?
k
Let b be (-1)/(14/72)*252/(-27). Is b smaller than 0?
False
Let r be (-42)/(-10) - (-4)/(-2). Let d = r - 13/5. Let t = -11 + 10. Which is bigger: t or d?
d
Let b = 22 - 9. Let a = -16.2 + b. Let s = a - -3. Are s and -1 unequal?
True
Let r = 3214/11 + -292. Let k = 10 - 10. Which is smaller: k or r?
k
Let r = 3 + -5. Let m = -7 + 5. Is r at least m?
True
Suppose 0 = k + 3*k - 12. Suppose -n + u = 3*n + 9, -k = 4*n + 5*u. Which is bigger: n or -1?
-1
Let h(s) = s**3 - 3*s**2 - 2*s + 4. Let l be h(3). Let p(g) = 3*g**2 + g**2 - 5*g**2 - 5*g. Let f be p(-5). Is l less than or equal to f?
True
Let x(l) = -l**2 + 1. Let a(y) = 6*y**2 - 6*y - 2. Let k(n) = -a(n) - 5*x(n). Let m be k(6). Let f = m - -2. Is f greater than or equal to -1/2?
False
Let g(n) = n**2 - 14*n + 2. Let p be g(13). Are p and 3 equal?
False
Let t = 11 - 11. Suppose -d + 1 = -t. Let v = -6.4 - 0.6. Which is smaller: d or v?
v
Suppose 5*m - 9 = 1. Is 5 at most as big as m?
False
Let o = -0.2 - -1.2. Which is smaller: -3 or o?
-3
Suppose 8*q = 2*q + 6. Let h = 3 + -4. Do q and h have the same value?
False
Let x be 8/6*1126/8. Let u = x + -186. Which is greater: 3 or u?
3
Let t = 3 - 1. Let x = 2 - t. Which is smaller: x or -2?
-2
Suppose -3*l - 2*l + 5 = 0. Let p be 31/21 - (-5)/(-15). Which is bigger: p or l?
p
Suppose -3*j = -2*f - 40, f + 2*j + 3*j - 6 = 0. Is -12 less than f?
False
Let k = 20 + -12. Let l = k + -3. Is 5 >= l?
True
Let s(v) = -5*v - 2*v - v**2 + 1 - 9 - 2*v. Let k be s(-8). Is k >= 2?
False
Suppose -b + 5 = -k - 3, 0 = k + 3. Suppose 0 = -q - 3*f + b, -5*f - 5 = -0*q - 5*q. Let l be 2 - 1 - (-1)/(-2). Is l at least q?
False
Let s be (3 - (1 - -1)) + 1. Suppose -s*k + 6 = k. Suppose 4*r = 3*u + k, 5*u - 5*r + 6 = 3*u. Are 2 and u unequal?
False
Let c be 3*1/(-6)*4. Is c equal to -0.3?
False
Let m = -10 + 14. Let s(t) = t**3 + 9*t**2 + 3. Let g be s(-9). Which is bigger: g or m?
m
Let h = 7 - 10. Let t = 1 + -3. Which is greater: h or t?
t
Let f(p) = -4*p. Suppose b = 1 + 3. Suppose 3*v - 2*n + b = 4*v, 13 = v + 5*n. Let j be f(v). Is -0.1 equal to j?
False
Let r(d) = -4*d**2 + 2*d + 1. Let w be r(2). Let x be -8 - ((0 - 1) + 3). Which is smaller: x or w?
w
Let o be -1 + 0 + -1 + 4. Let y(v) = v**3 + 3*v**2 - v - 3. Let l be y(-3). Let n be (-2 + o - l)/1. Which is greater: n or -2?
n
Let o(z) = -z**2 + 4*z - 5. Let m be o(4). Let b(v) = v + 4. Let q be b(-8). Which is smaller: m or q?
m
Suppose q = 4*q - 12. Suppose 0 = 4*k - 2 - 6, -q*w + 2*k = -96. Suppose 5*y - w = -3*a - 5, -5*y + 20 = 0. Which is smaller: -1 or a?
-1
Let f be 1144/(-384) + -2 + 5. Which is greater: f or 1?
1
Let u be 2/8 - 26/24. Let b(y) = -13*y + 11. Let q be b(1). Is u > q?
True
Let i = 94 + -98. Which is smaller: i or -3?
i
Let r(i) = -i**3 - 6*i**2 - 5*i + 10. Let d be r(-5). Let w = 2.9 - 3. Which is greater: d or w?
d
Let k(j) = -j**3 + 14*j**2 + 6*j + 11. Let i be k(15). Let u be 4 + (2 - i/(-20)). Which is smaller: u or 0?
u
Suppose 8 = 7*q - 3*q. Let u be 3 + (-3)/(q + 1). Suppose -u*a = 4 - 0. Is -1