False
Let j be (1 + -3)*(-1 + 2). Let r be (84/(-665))/(j/5). Which is bigger: 1 or r?
1
Suppose -7*h - 21 - 28 = 0. Which is smaller: -4 or h?
h
Let r be 8/20 - (-2)/(-5). Suppose 4*z = 2*i + i - 24, -4*z - 3*i = r. Is -3 >= z?
True
Let h be 4 - (2 + -3*1). Suppose 4*s = -4*d - 10 + 2, -2*d + 2 = h*s. Let x be 15/(-20) + (-45)/(-28). Is x greater than or equal to s?
False
Let v = -1 - 0. Let n be v*(-3)/((-3)/7). Let l(b) = -2*b + 8. Let k be l(7). Do k and n have the same value?
False
Let z be -2 + 0 - -7*2. Suppose 4*b + 4*v - z = 0, -4*b - 5*v - 2 + 12 = 0. Suppose b*f + 5*d = -40, 2*d + 24 = -4*f - 0*d. Which is bigger: -3 or f?
-3
Let t = 67/464 + -1625665/5104. Let z = 318 + t. Which is smaller: z or 1?
z
Suppose 2*h - 4*m - 8 = 0, 0 = 2*h + 3*m - 0*m + 6. Let l = 1842895/119 + -15487. Let x = 3/7 + l. Which is smaller: h or x?
x
Suppose -x = x + 2. Let n = 39913/33 - 3551/3. Let p = n - 26. Do p and x have the same value?
False
Let o be ((-2)/(-8)*0)/(-1). Suppose 0 = 5*r - o*r + 5. Let a = 2 - 3. Is a > r?
False
Let m be 2/(-6) - (-32)/6. Suppose -m*p = 5 - 0. Is p smaller than -2?
False
Let k = -1 + 4. Suppose -27 = 2*j - 3*w, -2*j - k*j - w = 25. Let l(c) = c**3 + 5*c**2 - 7*c - 8. Let p be l(j). Which is bigger: -4 or p?
p
Suppose -2*k - 4*v - 10 = 0, -2*k - 6 = v + v. Which is smaller: 6 or k?
k
Let m(a) = a**2 - 7*a - 11. Let v be m(8). Let l be 1 + v/(-24)*-5. Is 0 at most as big as l?
True
Suppose 4 = 5*a - 1. Let o = -1060321/13 + 81511. Let r = o + 52. Which is greater: r or a?
a
Let q = 401/3 + -132. Suppose 10 = 4*i + 2. Is q greater than i?
False
Suppose 5*y - 5*l + 4 + 16 = 0, 8 = -3*y + l. Suppose -3*r = i - 0*r + 9, i + 13 = -r. Let o be (4/10)/(3/i). Is o at least as big as y?
True
Suppose 0 = 4*y - 0*y. Suppose -1 = -4*s + 5*s. Let u be (2*s - y)/(-14). Which is smaller: 1 or u?
u
Let o be -2 + 6 - ((-1696)/(-105))/4. Which is smaller: 0 or o?
o
Let i(y) = 2*y + 27. Let r be i(-12). Suppose r = -0*g - 3*g. Which is greater: 2 or g?
2
Suppose 2*i = -w + 5*w - 14, -4*w = -12. Which is greater: i or 1/14?
1/14
Let s be 589/1596 - (-1)/(-3). Is 0 != s?
True
Let t(v) = -v**2 - 2*v - 1. Let g(c) = c. Let a be g(0). Suppose a = p - k + 6*k - 4, -5 = p - 4*k. Let f be t(p). Which is smaller: f or -1?
-1
Let m(i) = -7*i - 9. Let r be m(9). Let p = -214/3 - r. Let n(x) = -x + 1. Let h be n(0). Is p > h?
False
Let p = 0.04 - -0.36. Let x = 8 - 7.7. Let q = p - x. Which is bigger: 2/3 or q?
2/3
Let n(w) = -5*w + 2. Let d(l) = 14*l - 7. Let y(r) = -3*d(r) - 8*n(r). Let z be y(2). Suppose 3*b - 10 = -2*b. Are b and z equal?
False
Let m(f) = f**2 + 7*f - 1. Suppose -q = 2*i + 13, 4*i - 10 + 1 = 5*q. Let u be m(q). Let k = 7 + u. Is k smaller than -3?
True
Let i = 2 + -1.9. Suppose -b + 8 = -3*b. Let c be 39/(-84) - 3/b. Which is greater: i or c?
c
Suppose -2*z - 4*r = -82, -2*z - 8*r = -3*r - 87. Are 32 and z unequal?
True
Suppose 228 = -2*v - 2*v. Let a be (-3)/(4 - v/(-6)). Which is greater: -1/4 or a?
a
Let d be (-1)/(3/9*3). Which is bigger: d or -5?
d
Let f = 30561 + -428203/14. Let c = 25 + f. Which is smaller: 1 or c?
c
Let c(f) be the first derivative of f**3/3 - f**2/2 - 6*f - 1. Let m be c(11). Let r = -304/3 + m. Which is smaller: 2 or r?
2
Suppose z - 2*z = -1. Let i be (-69)/216 + 2/(-16). Is z < i?
False
Let s = 12.7 + -3.7. Let n = 0.9 + 0.1. Which is smaller: n or s?
n
Let b = 6 - 5.2. Let w = b - 0.5. Let t = 3.7 + w. Is t > 2?
True
Let u(i) = i**2 - 6*i - 7. Let w be u(7). Is 18 > w?
True
Let p(n) = -5*n**3 - 2*n**2 + 2*n - 1. Let d be p(1). Let o be (-4)/d - (-52)/12. Is o less than 3?
False
Suppose 0*z + 5*z - 25 = 0, -3*z - 1 = 4*f. Suppose -5*u - 4*u - 27 = 0. Does f = u?
False
Let p(k) = k**3 + 3*k**2 + 4. Let l be p(-3). Suppose 4*q = 40 + l. Let t be 1/q + (1 - 1). Is 1 greater than t?
True
Let s = -73.5 - -72. Is s less than or equal to 2/5?
True
Let w be (1/3)/((-4)/(-96)). Let g(l) = -l**3 + 8*l**2 + 4. Let d be g(w). Does d = 3?
False
Let u(k) = k**2 + 1. Let w be u(1). Let q be ((-2)/4 + 1)*1. Which is bigger: q or w?
w
Suppose -5 + 1 = 2*w. Suppose -2 = -p - 5. Let v = -4 - p. Which is bigger: w or v?
v
Let x = -91.3 - -84. Let t = -7 - x. Which is bigger: t or 0?
t
Let a = 11.5 + -8.5. Let v = 1 - 0.9. Is a at least v?
True
Let f be 1*(-4)/12*0. Are f and -4/5 equal?
False
Let h(z) = -z**2 - 4*z. Let w be h(-2). Suppose -w*a - 5 = a. Which is bigger: -4/3 or a?
a
Let l(m) = -8*m - 3. Let t be l(5). Let s = t - -83/2. Which is smaller: s or -2?
-2
Let k = 45 + -23. Let c = -12 + k. Let o = c + -11. Which is bigger: o or 3/4?
3/4
Let t = -18 + 12. Let f(v) = v**3 + 13*v**2 + v + 3. Let n(j) = -j**3 - 12*j**2 - 2*j - 2. Let h(x) = 5*f(x) + 6*n(x). Let o be h(t). Which is smaller: 8 or o?
8
Suppose 3*t - 2*v + 236 = 0, -3*t + 6*v = 2*v + 244. Let p be 1/(-4) + (-11)/t. Let f(k) = -k**2 + 3*k + 1. Let m be f(3). Is m equal to p?
False
Suppose -2 = 5*r - 7. Let k(w) = w**2 + w - 1. Let d be k(r). Let j be ((-1)/(-3) - 0) + d. Is 2 >= j?
True
Let x be 142/(-350) - 2/(-5). Let a = x - -703/525. Is a equal to 1?
False
Let f(t) = t**3 + 3*t**2 + t + 5. Let i be f(-3). Which is bigger: 4 or i?
4
Suppose 0 = -5*g + 15 + 5. Which is smaller: g or 19/5?
19/5
Suppose -2*f = -6 - 344. Suppose 4*s + 187 + f = 3*i, 20 = 5*s. Let p be 2/7 - 64/i. Which is smaller: p or -0.2?
p
Suppose -5*w = -2*w. Are w and 0 equal?
True
Suppose 5 = -4*r - r. Which is greater: r or -9/11?
-9/11
Let r = 61381/93 - 660. Which is bigger: r or 1?
1
Let g = -1 + 1. Let z = -265 - -2659/10. Let d = z + -17/30. Are d and g equal?
False
Let z be 3/(-12)*2*2. Let h be -1 + (z - 48/(-28)). Is 0 at least h?
True
Let q = -166/3 + 56. Which is greater: q or -6?
q
Let h be 21/35 + (-1)/(-15) + 0. Let v = 0.1 - 0.1. Which is smaller: v or h?
v
Let w = 11 - 5. Suppose w*x - 2*x + k + 53 = 0, -3*k - 29 = 2*x. Does -14 = x?
False
Suppose 14*w - 13*w = -1. Is 3/46 less than w?
False
Let x(b) = -b**2 - 15*b + 8. Let j be x(-15). Which is bigger: j or 15/2?
j
Let p be 3*(-4)/(-24) + 4/(-8). Let v(u) = 4*u**3 - u**2 + u. Let a be v(1). Suppose 2*m = 4*c - a, -4 = -5*m + m + 2*c. Which is bigger: m or p?
m
Let w = -10124/15 + 674. Let b = w + 3/5. Which is greater: -0.5 or b?
b
Let o(s) = -s**3 - 6*s**2 - s + 1. Let n be o(-6). Let g(w) = -w**2 + 8*w - 3. Let v be g(n). Is v smaller than 2/3?
False
Let r be ((-19)/(-2))/(((-39)/18)/(-13)). Which is smaller: 59 or r?
r
Let j = -9775/26 - -376. Are j and -1 equal?
False
Let j = 84 + -36. Let h = 142/3 - j. Is h at most 10?
True
Let m(f) = -f**2 - f - 3. Let l be m(4). Which is greater: l or 2?
2
Let q = 0.026 + 0.074. Is q at least as big as -1.7?
True
Let t = -0.04 - -0.03. Let g = t + 0.04. Which is smaller: -0.1 or g?
-0.1
Let j = -11 - 2. Let a = j - -13.3. Is a at least -0.2?
True
Suppose 4*v + 44 = 2*w, -2*v = -0*w - 2*w + 34. Suppose -3*t + t = w. Which is smaller: -5 or t?
t
Let c(x) = -x**3 + 21*x**2 - 25*x + 43. Let m be c(20). Is -57 smaller than m?
False
Suppose 13*a = 9*a + 128. Which is smaller: a or 31?
31
Let n = 28 + -27. Let h be -1 + -2*(-1)/3. Is h at most as big as n?
True
Let t(w) = w + 1. Let v be t(-3). Let q be v/(-11) - 12/66. Is 4/5 at most q?
False
Let s = -3 + 8. Suppose -1 + 36 = s*l. Does 8 = l?
False
Let r be 0/((-20)/(-15)*6/(-4)). Let j be 0 - 0 - 3/9. Is r at least as big as j?
True
Let p = 4 + -9. Let a = p + 4.6. Let b = 0.6 - a. Is 0 > b?
False
Suppose 4*s - 8 = 3*q, 5*q + 5*s + 60 = -0*s. Let r be 1/((-2)/q*10). Are r and 1/5 equal?
False
Suppose 0 = 3*r - 3*f - 24, -5*r + 2*f = 6*f - 67. Suppose -3*i = i - 48. Which is smaller: r or i?
r
Let q = -129/14 - -82/7. Let b(h) = -h**3 + 8*h**2 + 7*h + 22. Let k be b(9). Which is smaller: q or k?
q
Let j = 7 - 7. Which is bigger: j or -31?
j
Let d = 0.26 - 1.36. Let p = -1.2 - d. Which is smaller: 0.4 or p?
p
Let q = -20 - -20. Which is smaller: 3/7 or q?
q
Let s be (-20)/8*16/(-20). Is 2 bigger than s?
False
Let c(h) = h**2 - 6*h + 1. Let j be c(6). Let g = -11 + 19. Let d be 4/20 + g/(-15). Is j at least as big as d?
True
Let j = -2404/69 + 155791/4830. Let u = -3/35 - j. Which is smaller: 4 or u?
u
Let t = 5.03 - 0.03. Let y = -4/3 - -5/3. Which is smaller: y or t?
y
Suppose m - 36 = -3*m. Let t be 5/(-1) + (7 - m). Is -