 + o. Let k be w(2). Let g be v(k). Let l be 2/8 - 1/36. Do g and l have the same value?
False
Let g(o) = o**3 - 8*o**2 + 2*o - 2. Let u be g(7). Let p = 147/4 + u. Let r = p - -11/12. Which is smaller: -1/2 or r?
-1/2
Let z be (-3)/15 - (-1)/5. Let s = 3 + z. Suppose r + 20 = -5*a, 4*a = s*r + 2*r - 16. Is 0 at least r?
True
Let y(s) = s - 4. Let u be y(4). Let h be u + (-5)/((-10)/(-4)). Suppose -q + 0 = 2. Is q > h?
False
Let v = 5.96 + -6. Let k = v - 1.96. Is 1 smaller than k?
False
Let g be -3 + (-4 - (-102)/14). Let c = -2 + 1.6. Let m = c - -0.3. Which is smaller: m or g?
m
Let r(v) = v. Let f be r(1). Let s be (4 - f) + 2 + -2. Let u(x) = 2*x - 2. Let o be u(s). Is 4 at most as big as o?
True
Let l = 70.2 - 70. Is -25 <= l?
True
Suppose 0*m = 2*m + 2. Let y(t) = t**3 - t**2 - 2*t - 1. Let d be y(m). Let l = -3 + 1. Is l at most d?
True
Let d be 1/(2 + 0 + -1). Let s = -10/3 - -167/51. Which is smaller: d or s?
s
Suppose -i + 0 = -5. Suppose -n = i*g - 3, 5*g + 4*n = -3 - 0. Is g at most 0?
False
Let d(b) = -b - 7. Let t be d(-10). Suppose t*k = k. Which is bigger: k or 2/31?
2/31
Let c = -24 - -43. Let t = -21 + c. Which is smaller: t or -7?
-7
Let w(c) = -7*c**2 - 8*c - 2. Let r(s) = s**2 + 1. Let t(u) = 6*r(u) + w(u). Let f be t(-8). Suppose -f*k - 4 = 4*m - 0, -4*m - k = 1. Is 2 > m?
True
Let o = -10 + 15. Suppose 2*g = -o*x - 18, 4*g = x + 8*g + 18. Let b be -5 - x - 28/(-10). Is b at least as big as 0?
False
Let g be ((-4)/114)/(10/15). Which is bigger: 1 or g?
1
Let g = 1105 - 27621/25. Which is smaller: 0 or g?
0
Suppose 0*o = 4*o. Suppose 4*i = -4*t, 2*t + 4 - 1 = -5*i. Let z = t + 0. Is o not equal to z?
True
Let t be -1 - -1 - 2 - 3. Let c = t + 8. Suppose -2*p + 0*p - 3*f = 4, c = -5*p - 4*f. Which is smaller: p or -2/9?
-2/9
Let h be (-5)/2*11/55. Is -5/4 equal to h?
False
Let l be 23/70 - 4/10. Let q be (1 - -2)*(-4)/(-12). Which is bigger: l or q?
q
Let j(r) = -r - 4. Let a be j(-3). Let l(k) = k**3 + 3*k**2 + 5*k + 16. Let y be l(-3). Is a less than or equal to y?
True
Let o = -335/21 - -58/7. Which is bigger: -9 or o?
o
Let l(d) = d**2 - 3. Let s be l(-5). Suppose -2 = -5*q - 2*p, -5*q + 4*p + 4 = -s. Suppose -5*f + q = 7, 4*f + 10 = 3*c. Is c not equal to 0?
True
Let y = -55.9 + 56. Let h = -0.97 - -1. Is y less than or equal to h?
False
Suppose -2*a + 3 - 11 = 0. Let m be (-2 - a)*1 + -1. Let u(p) = p**3 - 2*p**2 + 2*p - 4. Let i be u(2). Which is bigger: m or i?
m
Let z = 0.3358 + -0.0358. Suppose -6 = -0*p + 3*p. Let b be 0/(-1) + 0/p. Which is smaller: b or z?
b
Let j = 74 + -41. Suppose 4*z - m = -1, -5*z - 3 = 5*m - j. Which is smaller: 3/4 or z?
3/4
Suppose -2*c = -4*d + 48, d + 2*d - c - 34 = 0. Let x be 16/d - 8/(-20). Suppose -5*b + 8 + x = 0. Does b = 2?
True
Let p be 465/27 + (-2)/9. Suppose 2*k = 3*k + 3, -4*c + p = -3*k. Let b be 0 + (0 - c/11). Which is smaller: 0 or b?
b
Let o = 0.5 + -0.8. Is -0.02 greater than o?
True
Suppose -4*r = -78 - 2. Suppose -o = -5*k - 25, -6*o + r = -o - 4*k. Are -1/11 and o nonequal?
True
Let n = 44 + -89/2. Which is smaller: 0 or n?
n
Let o(t) = 8*t**3 - 5*t**2 + 3*t + 9. Let u(s) = -7*s**3 + 5*s**2 - 3*s - 8. Let a(n) = 6*o(n) + 7*u(n). Let f be a(4). Is 2 equal to f?
True
Let a be ((-2)/3)/((-237)/(-9)). Are 0 and a unequal?
True
Let k = -5 - -3. Let x = -3 + 1. Is k != x?
False
Let z = -60 - -60.1. Which is greater: -3 or z?
z
Let s = 58 + -72. Which is greater: s or -94/7?
-94/7
Let s be 0*(3/(-3)*1)/(-1). Is s not equal to 2/3?
True
Suppose 27*d + 4*d + 31 = 0. Suppose -3*s = -0*s - 18. Let c be 2 - (13/s)/1. Is d smaller than c?
True
Suppose -25 = -x - 5. Let y = -13 + x. Which is greater: y or -0.1?
y
Let a be 2/5 + 735/(-25). Let m be (-5)/10 + 175/(-6). Let f = a - m. Which is smaller: f or 0?
0
Let v = 2 + -1. Suppose 0 = -3*i + 2 + v. Let y be -3 - ((-52)/40 - 2). Is i > y?
True
Suppose 0 = -3*p + 3. Let y = -5/21877 - 36206400/153139. Let a = y - -236. Is a less than or equal to p?
True
Let a = 73.9 + -73. Which is smaller: -3/7 or a?
-3/7
Let m(n) = n**2 + 6*n + 5. Let s be m(-6). Suppose t + 4*g - 6*g = -5, 3*t = g - s. Let h = 3 + t. Which is greater: 3 or h?
3
Suppose 2*n = -w + 1, 3*w - 5 = 4*n + 18. Which is greater: n or -7/5?
-7/5
Let g = 24 + -13. Let v be (-2 - (0 + -3))*g. Is v at most as big as 11?
True
Let h be 255/8*((-6)/9)/1. Which is smaller: h or -20?
h
Suppose 0 = -h - 7 - 36. Which is greater: 1/2 or h?
1/2
Let m = -10/229 + 1624/5725. Which is smaller: m or -1?
-1
Let x = 42698/5 - 8477. Let c = 63 - x. Which is greater: 0.2 or c?
c
Suppose 2*v + 2*u = -18 - 40, 3*v - 2*u = -92. Let b be -3*4/v*-5. Let y be ((-1 - -1) + -1)/(1/3). Which is smaller: b or y?
y
Suppose 2*q - 40 = -2*i, 4*q = 2*i + i + 45. Which is greater: 11 or q?
q
Let z = -99 - -98.94. Is z at least as big as -6?
True
Let p = -6 + 5. Let j be (-1)/(-6)*(-9)/(-6). Is p at least j?
False
Suppose 0 = 3*i - 5*l + 8, -9 = 3*i + 3*l - 33. Let a be 6/(-4) - i/(-8). Is a greater than or equal to -5?
True
Suppose 4*b - b = -6. Let v be 3 - (9 + -2) - b. Which is bigger: -3 or v?
v
Let p = 6.2 - 6.2. Is p greater than or equal to 12?
False
Let w be 3/(-5) - (-4)/(-10). Let h be (-1 + 2)/(w/3). Let u be (-16)/24 - (-8)/(-6). Which is smaller: h or u?
h
Let c = 1632.93 - 1643. Let q = -10 - c. Let r = 0.03 + q. Which is smaller: -0.1 or r?
-0.1
Let m = 0 - 1. Let d = m + 3. Let a(v) = -2*v + 1. Let f be a(d). Which is greater: f or -1?
-1
Let w(j) = -j - 5*j**2 + 0*j - j**3 - 2*j + 3. Let b be w(-4). Is -1/5 > b?
True
Let v be (-6)/15 + 104/10. Let w be v/45 + 113/18. Let l = -7 + w. Is l >= 0?
False
Let y be 1*6*6/9. Does 4 = y?
True
Let g = 4 + -4.2. Suppose -2*l - l = 0. Let v = 1 - l. Which is smaller: g or v?
g
Let m = 28 + -29. Let s = -2.9 - -3. Is m bigger than s?
False
Let o be ((-1)/(-3))/((-1)/(-3)). Let t = 7/12 + -65/132. Is o less than t?
False
Let w(k) = 5*k + 18. Let p be w(-3). Which is bigger: 0 or p?
p
Suppose -3*s - 198 = 2*a, -2*s - 2*a = 2*s + 266. Is s at least -68?
True
Suppose 4*k = -5*s + s - 12, 5*k + 6 = -2*s. Let i = 113553 + -1020602/9. Let y = 153 - i. Is y at most k?
False
Suppose -2*r = -4*r - 8. Let j be (19 - 4)/(-2 - -1). Let q = j + 29/2. Is q at most r?
False
Let d = 0.28 + -14.28. Let o = -13.9 - d. Which is greater: o or -2?
o
Let b be 6/(-4)*(-6 + 0). Suppose -2*a + 4*g + 52 = 2*a, -5*g - 5 = a. Which is greater: a or b?
a
Suppose 5*l - 45 = -4*y, 0*y = -2*y - 5*l + 35. Let z = y + -4. Which is greater: z or 0?
z
Let h = 36 - 20. Let j be ((-5)/60)/(6/h). Suppose 4*p + 2*r + 12 = 0, 2*r + 2 = 4*p - 2. Is j > p?
True
Suppose 0 = -14*d + 11*d - 3. Is d greater than or equal to 1?
False
Let y be (-2)/(-4)*-2*-2. Let r(n) = -n**3 + 2*n**2 + 1. Let z be r(y). Let a be 20/15 - ((-1)/(-3) - 0). Is a != z?
False
Let o be 2/(-6) - (-2050)/(-15). Let k = 3145351/23009 + 44/3287. Let x = o + k. Is 0 bigger than x?
True
Let k = -7 - -7. Let y = -0.4 + k. Let i(o) = -o**2. Let n be i(1). Is y at least n?
True
Let j = 3.87 + 0.13. Let b = -4.1 + j. Is 0.13 != b?
True
Let p be (1 - 0) + 20 + 2. Suppose 0 = 4*w - 12, 4*x + 0*w + w - p = 0. Let m(z) = 4*z - 2. Let q be m(2). Is q smaller than x?
False
Suppose -36 - 118 = -14*b. Which is bigger: -2 or b?
b
Let c = 9276 + -704949/76. Let q be 10/38*2/5. Let s = c - q. Is s at most as big as 0?
False
Let u = -1 - -0.4. Let j = u + -2.4. Let q = 3.1 + j. Which is smaller: q or -3/5?
-3/5
Let f be (-1 - -3)*6/3. Are f and 7 nonequal?
True
Let g = 26 - 46. Which is smaller: -37/2 or g?
g
Let m = -68 + 63. Is -19/4 at most m?
False
Suppose -3*z = 5 + 1. Let c be (-45)/z + (-2)/(-4). Suppose -5*m = -4*k + c, k - 8 = -3*k. Does -2 = m?
False
Suppose f = -f + 16. Let b(r) = 2*r**2. Let l = 8 - 6. Let c be b(l). Is c at most f?
True
Let u = -3601/45 + 80. Which is smaller: u or -1?
-1
Suppose 3*a + 0*a + 4*t = -33, 3*a + 30 = -3*t. Let i = -6 - a. Let g = 4 + -3. Is i >= g?
True
Let w(l) = 4*l + 1. Let v be w(0). Is v greater than 2?
False
Let b be -2 - -3 - (-20)/(-6). Let v be 10/6 - (4 + -4). Let c = v + b. Which is bigger: c or -1?
c
Let i be (1/3)/((-1)/2). Suppose 2*a + a - 8 = p, 4*p - 1 = a. Is i equal to p?
False
Let u be 2/(-6)*-4 - -2. Which is greater: 2 or u?
u
Let l(t) = -t - 14. Let z be l(-11). Let s 