e l/(-2*(1 - 6)). Is i bigger than o?
False
Let a be (4 - 3)/(-11 - -1). Let b(r) = -r**2 + 4*r + 1. Let n be b(4). Which is smaller: a or n?
a
Let n be (-4)/(-16) + (-610)/8. Let u be n/(-168) - (-2)/(-12). Which is greater: 0 or u?
u
Let w(c) = 2*c - 7. Let k be w(5). Suppose 4 = k*u - 2. Suppose 5*q + 4 = -3*o - 5, 0 = u*q - o - 3. Which is greater: q or -1/4?
q
Let m = -14 - -6. Let d be (-4)/(-48)*m/3. Let q = -6 + 7. Which is bigger: d or q?
q
Let k = 30 - 62. Let v be k/(-24)*1/6. Is v greater than 1?
False
Suppose -6*a + 8 = -2*a. Suppose 0 = 2*u + 2*w + a*w, -4*u + 3*w = 0. Suppose u = -5*l - 0*l. Is l >= 3?
False
Let v = 1744 + -57547/33. Do v and 1 have the same value?
False
Suppose 12*x - 7*x = 0. Let g = 114 + -574/5. Do g and x have the same value?
False
Suppose -l - 3*l + 3*i + 15 = 0, l = -3*i. Let k be (-4)/3 - 2/l. Which is bigger: k or -3?
k
Suppose 3*i = c, 5*i + 7 = 2*c + 2*c. Which is greater: c or 2?
c
Suppose -2*l + 0 + 1 = -z, 0 = -3*l + 3*z - 6. Let k = 2 - 0. Suppose a = l*f - 18, 0 = -2*f - 3*a - k*a - 5. Which is greater: f or 6?
6
Let g be 162/(-15)*-6 - 1/(-5). Which is greater: 63 or g?
g
Suppose -4*x - 4 = 0, 0*x + x = 5*g + 74. Let q be 6/g - (-6)/40. Which is bigger: 1 or q?
1
Let l = -10 + 23.8. Let c = -14 + l. Which is smaller: c or -1?
-1
Let f be 1*3 - ((-387)/(-45) - -3). Which is smaller: f or -10?
-10
Let l = -1278927/14 - -91403. Let n = l - 51. Which is bigger: n or -1?
n
Let t be (-8)/(-28) + (2 - 2). Let k = 0 + 1. Which is greater: t or k?
k
Suppose -5*s - 34 = -4. Let p(y) = -2*y + 10. Let i be p(6). Let o be ((-3)/s)/(1/i). Is -1/6 equal to o?
False
Let r = 0.07 + -4.07. Let o = -4.06 - r. Let j = -0.04 + o. Is j greater than 1/6?
False
Suppose 0 = 2*d - 3*d + 19. Let p = d - 19. Which is bigger: -2/7 or p?
p
Let b be 6/(-2) - (1 - 2). Let u(l) = -l**2 - 7*l - 6. Let j be u(-4). Suppose -3*w - 2*m = -4, -2*m - j = -w - 5*m. Which is bigger: b or w?
w
Suppose 5*k = 3*w + 31, 9 + 7 = 2*k - 3*w. Suppose k*r + 5*o + 10 = 3*o, r + 5*o + 2 = 0. Is -2 greater than or equal to r?
True
Let t be 4/18 - 14/(-18). Are 1/21 and t unequal?
True
Suppose 0 = i - 55 + 60. Is i at least as big as -4?
False
Let m be (-4)/18 + (-8)/(-36). Let g be 74/90 - (-9)/(-15). Is m at least as big as g?
False
Suppose -4*d = -9*x + 5*x - 20, 0 = 3*x - 4*d + 19. Let h = -233/4 - -58. Is h >= x?
True
Let p(z) = -z**2 + 11*z + 12. Let i be p(11). Let t = i + -8. Suppose -4*n = -3*x, n = x - t*x. Which is bigger: x or 4/7?
4/7
Suppose 1 = -3*b + 10. Let l be (-3)/6*(1 - 1). Suppose -b*u = -l*u. Is u > -1?
True
Let t be 130/66 + (-16)/8. Is -1 at least t?
False
Let h = 1 + -5. Let b = -6 - h. Let u be 2 + b + (1 - -1). Which is greater: u or 1?
u
Let u(w) = w**3 + 12*w**2 + 11*w - 7. Let z be u(-11). Let a(p) = -p**3 - 8*p**2 - 7*p - 3. Let s be a(z). Let b = s + 2. Which is smaller: b or -2/7?
b
Suppose 0 = -4*r - 3*b + 15, 3*r = 3*b - 5*b + 10. Suppose 6*j = j - 5. Is r less than j?
False
Let u be (-1)/((-3)/6 - 0). Let m = -1 + u. Let o = m + 2. Does 0 = o?
False
Let n = -145042/21 - -6908. Let a be (4 - 9)/(-1 - 2). Let l = a - n. Is l equal to -1?
False
Let l = -16.2 + 16. Which is greater: l or 12?
12
Suppose -5*n + 13 = -5*h - 77, -112 = 4*h + 4*n. Let k = h + 19. Which is greater: -5 or k?
k
Let q = -10.9 + 10.79. Which is smaller: q or 2/5?
q
Let t be (-2)/3*(-3)/2. Let f be 0 + -5*(1 + 0). Which is greater: t or f?
t
Let f = -0.016 + -0.284. Which is greater: 3/2 or f?
3/2
Let y = 0.4 - 0.44. Let j = -0.96 + y. Which is smaller: 0 or j?
j
Let z be (-4)/24 + 13/6. Suppose -3*p + 43 = -7*p + 5*g, -z*p - 2*g = 26. Let b = 11 + p. Which is bigger: -2 or b?
b
Suppose -z + 4*z = -18. Let m be 1/((-5 - -2)/z). Suppose 6*w + 13 = g + m*w, 5*g = -3*w - 4. Is 2 not equal to g?
True
Let v = -5 + 7. Suppose -v*p = 3*p. Is 1/27 less than or equal to p?
False
Suppose 0 = 3*j + 5*l - 37, 2*j = -2*l - 8 + 26. Suppose -24 = 4*a + j. Is -5 less than a?
False
Let y = 0 - -2. Let r be (y - 20/6)*3. Is r smaller than 1?
True
Suppose 2*k + 0*k = a + 3, -4*a - 3*k = -10. Which is greater: a or 10/7?
10/7
Let o be (8/(-24))/(-1*3). Let u = o - 41/45. Is u > -2?
True
Let h = 95 - 96. Which is smaller: -1/36 or h?
h
Suppose -9 = 5*z - 49. Suppose 5*d = 3*d + z. Suppose -8*a + d*a + 4 = 0. Which is smaller: -1/4 or a?
-1/4
Let h = -3 + 3.1. Let x = 6.205 + -0.005. Let b = -6 + x. Are h and b unequal?
True
Suppose 3*o = 8*o + 3*p + 12, 0 = -p + 1. Which is bigger: o or -5?
o
Let c = 12 + -8. Suppose 2 = -c*v - 10. Is v equal to -5/2?
False
Suppose 0 = 4*m - 315 - 21. Let p be ((-322)/m)/((-2)/(-6)). Which is smaller: -12 or p?
-12
Let k = 39 - 39. Which is bigger: k or 0.08?
0.08
Let h = 21226/29 - 732. Suppose 2*y = -4*n + 4, n = 3*y + 5 - 4. Do y and h have different values?
True
Let d = -8 + 11. Let u be (-1 - -3) + 0/d. Let r be (1 - 1)*(-3 + u). Is 1/6 != r?
True
Let x = -11 - -7. Let i = x - 4. Is i != -8?
False
Let s = 24 + -26. Let u = -0.1 - 0.9. Which is greater: s or u?
u
Let d = 10 + 5. Suppose 4*l + 21 = -5*i, 2*l + 4*i = -3*l - d. Which is smaller: l or -2/5?
-2/5
Let a = 4 - 3. Let k be ((-2)/(-3))/((-4)/72). Let l be (3/(-2))/((-6)/k). Is a at least as big as l?
True
Let x = -0.1 + 0.3. Let y = -0.07 - -0.08. Let s = 0.11 - y. Which is smaller: x or s?
s
Let g be -2 - (-3 - (-4 + 0)). Which is smaller: g or -4?
-4
Let z = 199 - 154. Is 44 smaller than z?
True
Suppose -5*y = 5 + 35. Is -1 != y?
True
Let d be (-2)/(-15) + (-1658)/120*2. Is -27 equal to d?
False
Let z = 2 + -2. Let i(p) = 7 + p - p - p. Let d be i(7). Is d smaller than z?
False
Let n = -3 + 10. Suppose -n*p + 2*p = 10. Which is smaller: p or 0.2?
p
Suppose 5*m = m + 8. Suppose -1 - 2 = -w. Which is bigger: w or m?
w
Let q be (-8)/(-30) + 8/20. Which is bigger: q or -8?
q
Suppose -3*x + 7 = -5. Let p be ((-1)/(-34))/(1/x). Suppose -7 = -86*q + 79*q. Is q >= p?
True
Let g = -3.06 - -3. Let k = 1.06 + g. Is -2 at least k?
False
Let m = -1 + 1. Let d be (-2)/14 - 110/(-35). Let a be (2 - 3) + d - 1. Which is greater: m or a?
a
Suppose 0*v = -v + 2. Let s be v - (-5)/((-15)/12). Which is greater: -1 or s?
-1
Let v be (1/(-117))/(6/(-1182)). Let t = -2/117 + v. Which is smaller: 1 or t?
1
Suppose 5*s = 32 + 3. Let n be 220/231 - 2/s. Which is bigger: 0.1 or n?
n
Let x = -127/12 - -553/48. Which is smaller: x or 2/3?
2/3
Let h = 14 + 1. Is 2 greater than or equal to h?
False
Let h(a) = a + 1. Let q be h(3). Suppose -q*s + s - 5*b = -20, 4*b = -2*s + 16. Which is smaller: 2/9 or s?
s
Let v = 0.4 + -0.43. Let t = v + -0.07. Which is bigger: t or -1?
t
Let w be ((-104)/9)/(-4) - 3. Let p = -5 - 0. Let g = 4 + p. Do w and g have the same value?
False
Let u(b) = -5*b + 1. Let y be u(1). Let x = -5 - y. Let d = -4/3 + 2. Does x = d?
False
Let a be -2*(2/2 + 0). Suppose 4*u - 2*k + 91 = 397, u - 5*k - 54 = 0. Let o = u - 319/4. Which is greater: a or o?
o
Let n be -5*((-6)/(-5) - 0). Let k be (-116)/(-84) + n/9. Which is smaller: k or 0?
0
Let t(f) = f**2 - f - 3. Let y be t(0). Let r(m) = -m**3 - 7*m**2 + 5. Let x be r(-7). Suppose 2*q + x = 1. Which is bigger: y or q?
q
Let c = 11 + -14. Let k = -0.04 - -0.34. Which is greater: k or c?
k
Suppose -5*a + 15 = 0, -3*v - a - 2*a = -15. Suppose 4*t + 2*q - 7*q - 10 = 0, 4 = -2*t - 2*q. Suppose 3*g + 0*g - 9 = t. Is v at most g?
True
Let d = -4574/13 - -352. Which is greater: d or -1?
d
Suppose p - 4 = 0, -3*v + 5*p = -8*v + 70. Is 10 at most v?
True
Let s = 712430/7 - 101963. Let m = -187 - s. Is -1 less than m?
True
Let w be ((-4)/(-20))/(1/15). Suppose 0 = -p + 2*i + 7, -6*i = -3*p - 2*i + 17. Is p greater than w?
False
Let z = 99.9 - 100. Are 24 and z non-equal?
True
Let v(j) be the first derivative of -j**4/4 - j**3/3 + j - 1. Let m be v(-1). Which is bigger: m or -1?
m
Let v be (5 + -3)*3/(-6). Which is bigger: -10/7 or v?
v
Let w = -5/58 + 151/406. Are 1/4 and w equal?
False
Let k(r) be the third derivative of r**4/4 + 3*r**2. Let v be k(6). Let m = v - 143/4. Which is smaller: -1 or m?
-1
Suppose -2*q = 5*a - 29, 3*q + 2*a - 3*a - 1 = 0. Suppose t - q*m = -3*t + 6, 0 = -t - 2*m + 4. Suppose 0 = l + t*l + 3. Which is greater: l or 0?
0
Let n be ((-373)/(-6))/((-892)/(-36)). Let d = n + -2/223. Which is bigger: 2 or d?
d
Let