3 at least as big as o?
False
Let w = -4735/46 + 103. Let a be 11/22*1*-2. Is w less than a?
False
Let y be (-120)/(-4)*48/160. Which is smaller: y or 12?
y
Let i = -20 + 29. Let c be (-2)/(-2) + (-37)/i + 3. Which is smaller: c or -1?
-1
Let s be (13064/12)/(17/(-3)). Suppose 11*k + 3*k = -2688. Let z = k - s. Which is greater: -1/2 or z?
z
Let h(w) = w**2 + 4*w - 7. Let o be h(-8). Suppose -3*l = p + 3, -4 = -4*p - 3*l - o. Is p at least as big as -2?
False
Let c be (0 - -1)*(150/24 - 5). Let r = -24 + 26. Do c and r have the same value?
False
Let b be (1 - 6/4)*-14. Let c(q) = q**3 - 7*q**2 + q - 8. Let w be c(b). Let f be ((-4)/6)/(5 + (-172)/36). Is f at least w?
False
Let f = 1021/15 + -421/6. Let j = f + 8/5. Is j != -5/3?
True
Suppose -8*h + 3*h + 35 = 5*c, 5*h = -4*c + 33. Let m be (-1)/(-3) + 1/(-3). Suppose -u + m = -c. Are 1 and u non-equal?
True
Let v = 135 + -13769/102. Which is bigger: v or -1/2?
v
Let x = 1.41 + 60.59. Let g = x + -58. Which is bigger: 0 or g?
g
Let v = 3 + 1. Let c = -0.252 + 0.658. Let a = c - 0.106. Are a and v nonequal?
True
Let y(u) be the third derivative of -3*u**4/8 - 2*u**3/3 + 4*u**2. Let h be y(-4). Let a = 101/3 - h. Is a >= -1?
True
Let r(u) = -u**3 + 5*u**2 + 9*u - 13. Let m be r(6). Suppose 3*g - 5*g + 5*a = -5, -m*a = -g. Are 5 and g unequal?
False
Let j = 22.11 + -22. Let c = -0.79 - j. Which is bigger: c or 2?
2
Let a(n) = 326*n - 592. Let f be a(4). Which is greater: 713 or f?
713
Suppose i + 23 = 2*c + 7, 3*i + 18 = c. Suppose -u = 2*j + 59, u - 5 = c*u. Which is smaller: j or -30?
-30
Let q(n) = -2*n**2 - 42*n + 54. Let h be q(-22). Do 93 and h have different values?
True
Let z be ((-20)/(-8) - 2)*(-2 - -14). Let r be 8*(-21)/z - -2. Is r greater than -26?
False
Let w = 171 - 172. Is w at least -134?
True
Let n(q) = -2*q - 2 + 11 + 5*q**3 - 13*q - 6*q**3 + 15*q**2. Let p be n(14). Let j be 1/p + 22/10. Is j smaller than 3?
True
Let d be (2 + -7)*(7 - 14)/(-91). Let g be -2 - -3 - (-1 + 1). Which is greater: g or d?
g
Let s be 27/(1215/18) - 7/5. Let h = -1642/1449 - 2/207. Which is greater: h or s?
s
Let o be 15 - (2 - 0/(-1)) - 2. Let w = o - 11. Which is bigger: 8/7 or w?
8/7
Suppose 0 = 3*p - 2*x + 3980, 13 = 2*x + 5. Is p bigger than -1323?
False
Let i(u) = -23*u - 1046. Let f be i(-9). Is f at least as big as -840?
True
Let i(h) = 24*h - 144. Let m be i(6). Suppose 6 = -5*y - 4. Let w be (-2)/(-96)*y*-2. Which is smaller: w or m?
m
Let g = 584 + -564. Which is greater: 32 or g?
32
Let w = 0.049 - 0.049. Let n = -17/10 + 6/5. Which is smaller: n or w?
n
Let f be 4 - (1586/(-4))/(-1). Let l = 30607/78 + f. Which is smaller: l or 1?
l
Let c = 21/5 + -3. Suppose -5*k + 281 = 81. Let g be k/32 + (-1)/4. Which is smaller: g or c?
g
Suppose 5*m = 4*t + 6, m = 6*t - 9*t + 5. Suppose y + 1 = 5. Let p be 12/(-56)*y/2. Which is greater: p or t?
t
Suppose 2*p = 0, 2*x - 4*p + 8 = 38. Let i be (-4)/10 - 4/x. Is i >= 0.04?
False
Suppose 8 = -v + 3*v - 2*n, 0 = 2*v - 5*n - 14. Is v bigger than -13?
True
Let j = -1 + 1. Suppose v = -4*k + 24, j = -v - 2*k + 14. Let n be (4 - (-390)/(-91))/((-8)/140). Which is greater: v or n?
n
Let n = -1/1592 + -500683/1592. Which is bigger: n or -314?
-314
Suppose 177 = 7*a + 52*a. Is 23/7 <= a?
False
Let j = 2.1 + -2. Let t = 0.8 + -53.8. Let s = t - -53. Is s equal to j?
False
Let i = 5.933 - -0.067. Is i at least as big as -1/3?
True
Let v = -0.28 + 12.28. Let w = v + -9.6. Let a = 2.2 - w. Is -0.3 > a?
False
Let a = 43.55 + -43. Let h = a + -9.55. Which is bigger: -4 or h?
-4
Suppose -3*z - s = -4*z + 287, -s = 4*z - 1168. Is 291 not equal to z?
False
Let n = -537 + 3753/7. Let j(t) = -7*t - 50. Let i be j(-8). Let q(r) = r**3 - 6*r**2 - 3*r + 17. Let l be q(i). Is l at least as big as n?
False
Suppose -47 = 6*x + 529. Let c be x/(-5) + (-11)/55. Let q = -24 + c. Which is greater: q or -6?
q
Suppose -y + 5*y = 16. Suppose -21*u = -18*u - 9. Suppose -k + 3*d = 3, u*d = -y*k + d - 68. Is k bigger than -17?
True
Let g be 2/(-6) + (-2)/3. Let b = 1475/18487 - 9/139. Let z = b - 145/798. Do z and g have different values?
True
Let p(l) = l**3 - 9*l**2 + 3*l - 22. Let q be p(9). Suppose b = q*b + 12. Is -21/8 <= b?
False
Let i be ((-3)/2)/(3/4). Let v be (4 + -4)*i*1/2. Do v and 3/20 have the same value?
False
Let b = -1 + -60. Let u = 64.1 + b. Is -0.1 at most as big as u?
True
Let l = 110 + -109.8. Which is bigger: l or 123?
123
Let v = -266 + 223. Is v equal to -43?
True
Let p be 8/9 + (-1)/1. Let l(m) = -m**2 - 7*m + 7. Let o = 72 - 80. Let s be l(o). Which is smaller: s or p?
s
Let w = -547 + 363. Which is bigger: -183 or w?
-183
Let i be (14/(-10) - -2)*30/18. Suppose -m = -4*m + 33. Let h be 1 + 0 - m/9. Which is greater: i or h?
i
Suppose 5*i + 13 = 58. Let y = 6 - i. Suppose -p + 5 = 0, 2*m + 6 = -2*m - 2*p. Which is bigger: m or y?
y
Let s(g) = g**2 - g + 2. Let u be s(2). Suppose -88 = -u*d + 40. Let f = d - 31. Is 1/5 at least as big as f?
False
Suppose -2 - 30 = -4*g. Let c be (24 - g) + 0 + 2. Suppose 0 = -3*l - c - 3. Is l greater than or equal to -8?
True
Let f be 5/((-26610)/(-4)) + 0. Is 1 bigger than f?
True
Let o(m) = m**2 - 8*m + 3. Suppose -3*h + 9 + 4 = -a, -32 = -2*h - 4*a. Let j be o(h). Let k = 539 - 549. Are k and j unequal?
True
Suppose -2*b + 3*f = -438, 664 = 3*b + 4*f - 5*f. Which is greater: 223 or b?
223
Let o be ((-4305)/(-39) - 3) + 6/3. Let k = -27200/247 + o. Which is greater: k or -2?
k
Let n = 2.02 - -6.98. Is -2/7 less than or equal to n?
True
Let m be ((-6)/9)/((-376)/(-6)). Is m at most as big as 0.1?
True
Let w(l) = 4 - 11 - 2*l + 8 - 10*l. Let t be w(2). Does t = -25?
False
Let g be (16/20 - 2)*2 + 2. Which is bigger: g or -3?
g
Suppose -3*o + 0*o = 0, 5*o = -4*x - 240. Let c = x - -178/3. Which is bigger: c or -16?
c
Let w(k) = 6*k - 10. Let a(o) = 5*o - 9. Let h(f) = -5*a(f) + 4*w(f). Let b be h(6). Let j = -37/3 + 38/3. Are b and j equal?
False
Let o(h) = h**2 + h - 4. Let c be o(5). Suppose -21 = -d + t, -4*d - t + 85 = c. Let v = d + -17. Which is bigger: -6/17 or v?
-6/17
Suppose 5*w = 20, -5*a - 3*w = -2*a - 765. Which is smaller: a or 253?
a
Let m = 0.05 + -3.05. Let y be ((-29)/32 - -1)/(6/8). Is y < m?
False
Let z(h) = -h**2 + 53*h + 226. Let m be z(57). Which is smaller: -664 or m?
-664
Let q(u) = u**3 + 7*u**2 - 8*u - 2. Let r be q(-8). Let x = r - -15/4. Is x greater than 1?
True
Let n(j) = -2*j**3 - 10*j**2 + 2*j + 5. Suppose 4*o = -2*g - 12, o = -4*g - 3 + 14. Let d be n(o). Which is smaller: d or 2/3?
d
Let d be (-1 - (3 + 1))/1. Suppose -4*i - 40 = 3*w, 0 = 5*i - 0*i + 4*w + 51. Let n = i - -4. Which is smaller: d or n?
d
Suppose -4*b - 4*w + 43 = -37, 0 = b + 4*w - 8. Let h be ((-15)/(-6) + 2)*4. Let k = h - b. Is -5 equal to k?
False
Let k = -5/53 + -41/689. Suppose 6*i - 66 = 18. Let x be 8/i + (-247)/273. Does x = k?
False
Suppose l - 2 = -1. Let d(u) = 0 + u**3 + 0*u**2 + 2*u**2 - l - 2*u**3. Let a be d(2). Is a < 2/23?
True
Suppose 0 = -4*i + 2*u - 40, 5*u = 6*i - 2*i + 52. Let g(r) = r**3 + 9*r**2 + 13*r - 2. Let v be g(i). Which is greater: v or 1?
1
Let y = -29 - -28.55. Let h = 0.45 + y. Which is bigger: h or 29?
29
Let s = -10.9 + 15. Let f = -4.15 + s. Which is smaller: f or 3?
f
Let l = 0.05 - -0.35. Let y = -0.3 + l. Let r(q) = 3*q - 9. Let u be r(5). Which is smaller: u or y?
y
Let j = 115 + -96. Suppose 3*s - 23 = j. Which is smaller: 13 or s?
13
Let a = 5 - 159. Let j = 177 + a. Which is greater: j or 4?
j
Suppose -t + 10 = -0. Let z be t/(-35) + 1408/(-70). Is -21 at most as big as z?
True
Let o = 0 + -0.16. Let v = o - 3.84. Let y = 3 + v. Is -1/3 at least as big as y?
True
Let h(b) = -b**2 + 15*b - 15. Let d be h(16). Is d greater than -151/5?
False
Let o = 625 + -630. Which is greater: o or -17?
o
Let k(h) = -10*h**3 + h**2 - 4*h + 7. Let x be k(-5). Let y be (-784)/x - (-2)/3. Are y and 1 equal?
False
Let h = -1.1 - -1. Let s = 2 + 49. Let z = -33 + s. Is z less than h?
False
Suppose -10 = 5*p, 3*p = -r - 3*r - 70. Let g = -1 - 17. Let f = r - g. Is -4 != f?
True
Let h be ((-11)/3 + 2)*-3. Suppose -20*g + 228 = -8*g. Suppose h*q + g = i, 24 = -4*i - 3*q - 2*q. Are 0 and i unequal?
True
Let m = -0.0753 + 6.0753. Which is smaller: -1 or m?
-1
Let u = -246/13 - -3124/117. Let i = u + -