b?
False
Let y be (1 - 39)/(4 + -6). Let f = y + -56/3. Which is smaller: f or 1?
f
Let p(n) = -n**3 - 9*n**2 - 8*n + 1. Let b be p(-8). Is 1 at least b?
True
Suppose -d - 66 = d - 2*s, 0 = -5*s - 10. Is d >= -34?
False
Let w(z) = z**3 - 5*z**2 + 3*z + 3. Let p be w(4). Which is smaller: p or 2/25?
p
Let t = 17 + -13. Suppose 3*b + 1 = t. Let u = -2.03 - -2. Is b greater than u?
True
Let z be 2*1/72*22. Let j = -46/9 - -5. Let b = z + j. Is b at least as big as -0.03?
True
Let w(u) = u**2 + 3*u - 12. Let p be w(-5). Which is smaller: -15 or p?
-15
Let r be 6*(24/(-9) - -3). Suppose -3*k + 4*n = 2*k - 41, 3*n + 2 = -r*k. Is 3 less than k?
True
Suppose 4 = -3*j + 2*j. Are j and -4 equal?
True
Let z = 25.2 + -17. Let g = z - 7. Do g and -1/3 have different values?
True
Let c = 5.003 - 0.003. Which is greater: c or 0?
c
Suppose 4*z = 7*z - 3. Is -3 equal to z?
False
Let m = -57.18 - -58. Let h = m - 0.6. Let l = h - -0.08. Which is smaller: -1 or l?
-1
Suppose 0 = 13*u - 29*u - 32. Let r(t) = -t**3 + 4*t**2 + 7*t - 6. Let w be r(5). Suppose -w*a = -5 + 17. Which is greater: a or u?
u
Let v = 4/27 + 19/54. Which is smaller: v or 2/9?
2/9
Let c be (1 - -1)/(-2)*1. Suppose -21*g = -24*g + 15. Which is greater: c or g?
g
Let l = -4385/8 + 549. Let f be 1/(-4) - (-54)/(-48). Let q = f + l. Which is bigger: 0 or q?
0
Let n = -103 - -155. Which is smaller: n or 54?
n
Let y = -2.98 - 0.02. Let t = -2 + 4. Let i = y + t. Is -1 not equal to i?
False
Suppose -10 = 3*d + 2. Is 2 > d?
True
Let u = -223/40 - -51/8. Is 0 > u?
False
Let z = 285 - 866/3. Do -4 and z have the same value?
False
Suppose 2*s + 4*w - 6 = 0, -4*w + 7*w + 15 = 5*s. Let p(m) = -36*m - 139. Let n be p(-4). Is s greater than n?
False
Let z = -0.3 + 0.26. Let v = -0.04 - z. Do v and 6 have the same value?
False
Let f = -8 - -2. Let c(q) = -q**3 - 6*q**2 - q - 2. Let x be c(f). Suppose 0 = -5*z - h, -x*z = -6*z + 3*h. Which is bigger: -3/7 or z?
z
Let j be (1611/(-42))/((-2)/4). Let n = 77 - j. Let y = -0.1 - -0.1. Which is smaller: n or y?
y
Suppose -3*d - 18 = -45. Suppose 0 = -3*h + d - 0. Let t(s) = s**3 + 4*s**2 - 5*s + 3. Let j be t(-5). Does h = j?
True
Suppose -a = 5*x - 12, -5*a - 5*x + 4*x = -60. Is a at least as big as 11?
True
Suppose 5*y - 3 = 2*i + 3, -5*y - 12 = 4*i. Is y greater than 4/21?
False
Let c = -17.5 + 18.8. Is c greater than 2?
False
Suppose 6*p - 2*n = p + 65, 4*p - 70 = -2*n. Suppose 5*y + 5*c = p, -4*c + 5 = -y - 2. Are y and 1 non-equal?
False
Let r = 0.01 + -2.01. Let y = -2 + r. Let u = 0.4 + -0.5. Is u at least as big as y?
True
Suppose i - 5 = -7. Is -8/11 not equal to i?
True
Let b be ((-12)/(-15))/((-4)/10). Let z be 10 - b - (-2)/(-1). Let v be z/(-4)*(-4)/(-35). Is 1 > v?
True
Let i = -0.02 + -0.08. Let t = 0 + i. Let f = -1 - -1. Which is bigger: t or f?
f
Let c be 9/6*(-1 - -7). Are c and 10 nonequal?
True
Let g = 4 + -3.6. Let u = 0.6 - g. Let n = u - -4.8. Which is smaller: n or 1?
1
Let q(r) = r**3 + 6*r**2 + 5*r. Let h be q(-5). Suppose -45 = -h*y + 5*y. Let o(n) = n**3 + 10*n**2 + 10*n + 6. Let m be o(y). Are m and 0 unequal?
True
Let l(j) = -j**3 + 5*j**2 - 3*j - 4. Let s be l(4). Let o be 12/20*1*-5. Let a = 0 + o. Which is smaller: s or a?
a
Suppose 0*l + 2*l = 4*o - 24, 3*l = 0. Let g = o - 2. Suppose -3*w - 15 = -3*a, -a + 9 = 4*w + 4. Is g greater than a?
False
Suppose -5*i - 3*z - 6 = -5*z, -2*i + 4 = -4*z. Let q be (i/6)/((-2)/(-6)). Is -2/27 at least q?
True
Let r be (-10)/(-35) - (-13646)/112. Let q = -122 + r. Do q and -1 have the same value?
False
Let q be (-545)/(-20) + 3/(-12). Are q and 28 equal?
False
Let d = -4 + 1. Let x be -1*-2*(-1)/2. Which is smaller: d or x?
d
Let k(t) = -t**3 + 7*t**2 - 6*t - 1. Let g be k(6). Let m(q) = -q + 22. Let h be m(8). Let f = h + -153/11. Which is smaller: f or g?
g
Suppose 24 = 4*z + 4. Let y = z + -4. Which is smaller: -4/9 or y?
-4/9
Suppose -i - 3*a - 8 = 0, a = -5*i + 4*a + 32. Suppose 4*j - 2 - 34 = -2*r, 64 = i*j - 5*r. Let b = j - 8. Do 5 and b have the same value?
False
Let o = 90 + -94.9. Let l = 5 + o. Which is smaller: l or -6?
-6
Let t be 1 - (1 + (-99)/6). Let g = -16 + t. Is 0 greater than or equal to g?
False
Let j be ((-30)/9)/((-4)/6). Suppose -4*f - 1 = -j*k, -3*f + 0*k = 4*k + 24. Let h be (6/f)/((-9)/12). Which is bigger: h or 0?
h
Let w = -0.6 + 0.1. Let a = w - -1. Let l be (-42)/(-490) - (-1)/10*2. Is a less than or equal to l?
False
Let t(r) = -r + 5. Let f be t(5). Let w be -2 + -4 + 44/7. Is w >= f?
True
Let p = 0.061 + -7.461. Let i = p + 6. Let o = -0.6 + i. Which is greater: 1 or o?
1
Let z be (-54)/348*(-2)/(-3). Which is bigger: z or 0?
0
Let w = -7 - -15. Let a(l) = l - 11. Let r be a(w). Suppose -3 = 3*y - k, k + k = -4*y - 14. Are r and y non-equal?
True
Suppose 3*p - 18 - 9 = 3*d, 0 = -5*p + 15. Which is smaller: d or -4?
d
Let p be 2 - (20 + -2 + 2). Let j = -26 - p. Let z be (-4)/2 - j/5. Is z at most 0?
True
Let j be 1/(-4) + (-1)/(-5). Which is smaller: j or -1?
-1
Let p be (-4)/6*(-12)/8. Which is smaller: p or 5?
p
Let j(h) = h - 7. Let w be j(4). Let r = -5 + 2. Is r at least w?
True
Let d = 36 + -110/3. Let p = -5.9 + 6. Which is smaller: p or d?
d
Let m(s) = -s + 1. Let y be m(-3). Which is bigger: 5 or y?
5
Let k = 0.103 + -2.103. Let c = -4.05 - -0.05. Let m = -3 - c. Is m >= k?
True
Let v = -25 + 24. Let c(x) be the second derivative of x**3/6 - 5*x**2/2 + x. Let n be c(5). Which is smaller: n or v?
v
Let v = 1 - -2. Suppose 2*k + v*k - 10 = 0. Let z be k/(-5) - (-16)/40. Is z at least 1/5?
False
Let j = -1.24 + 0.14. Let g = j - -1. Let n = -0.1 + g. Are n and -1 equal?
False
Let b = 11 + -17. Which is smaller: -2/9 or b?
b
Let t = -4.33 - -1.33. Let w = -1 - 0. Are w and t unequal?
True
Suppose 4*f + 0*f = 32. Suppose 3*x - 5*x = 2*w - f, w - 4*x - 9 = 0. Is w at least 4?
True
Let z(i) = i**3 + 4*i**2 - 5*i - 6. Let y be z(-5). Let k be (-2)/(1/(5 - -3)). Let r be (-2)/y*12/k. Which is smaller: -1/2 or r?
-1/2
Let h = -4.7 + -3.3. Which is bigger: 0 or h?
0
Let h = 0.2 - 0.3. Suppose -4*m = -3*i - 25 - 4, 3*i = -4*m + 11. Do i and h have different values?
True
Let s be 1/3 + 549/(-27). Is s greater than or equal to -20?
True
Let y = -19/6 + 7/2. Which is smaller: y or 1?
y
Let p be 30/(-54)*(-2)/(-5). Is -0.2 < p?
False
Suppose -5*d - 4*y - 35 = -174, 4*d - 136 = 3*y. Which is smaller: 30 or d?
30
Suppose -c - 1 = 2. Let t(h) = -3 + 3*h + 0*h + h**2 + 0*h**2. Let x be t(-3). Is x at least as big as c?
True
Suppose 4*c - 7*c = 0, -2 = -2*v - 4*c. Is v equal to -1/87?
False
Let j = -4.9 - -6.3. Which is smaller: j or -2/15?
-2/15
Let x = 43 - 71. Let a be 3/(-2)*x/(-21). Does -1 = a?
False
Let a be 2/3*39/2. Let r be 2 - 12/7*(10 - 17). Which is smaller: r or a?
a
Let h be (-5)/(-15) + (1 - (-116)/30). Which is greater: 0 or h?
h
Let z = -34 + 19. Let f = -9 - z. Let y = 5 - f. Is -2 equal to y?
False
Let r be -1 + ((-36)/2)/(-2). Let f = r + -5. Which is greater: 2 or f?
f
Let c = -167 - -169. Let s be (-146)/(-72) - (-2)/9. Which is greater: s or c?
s
Let a be (3/(-3))/(-1)*2. Suppose 3*x = 5*l - 37, -a*l = -5*x + 2*l - 40. Let w = x - -2. Which is smaller: w or -1?
w
Let p = 1 - 1. Let w = 0.09 + -0.01. Let h = 0.18 - w. Which is smaller: h or p?
p
Suppose 5*s - 36 = 3*y, 0 = 4*s - 2*y + 1 - 29. Let j be 1 + s/(-2 - -4). Suppose -7 = -j*m + 1. Is 3 < m?
False
Let t be -5 + -1 + 2 - (-1 + 6). Do t and -1 have the same value?
False
Suppose -p = 4 - 1. Let q = -50 - -46. Which is greater: q or p?
p
Suppose -4*r = 5*g - 6 - 10, 2*r - 8 = 3*g. Let n = 1 + 4. Suppose 0 = n*o - 3*z + 16, -5*o + z = -4*z + 20. Which is smaller: o or g?
o
Let f = -8 - -8. Which is smaller: f or 1?
f
Let z = 5 - 5. Let p = -14 - -10. Is z at most p?
False
Suppose -t - 2*t = -5*x + 29, 3*x - 3*t = 15. Suppose 5 = -2*n + x*n. Which is smaller: 5 or n?
n
Suppose -5*c + 5*x = -15, -4*x = -3*c + c + 12. Which is smaller: c or -7/12?
-7/12
Let g = 125/3 - 42. Let u be 10/6 + (-4)/6. Which is bigger: g or u?
u
Suppose 8*z - 3*z - 10 = 0, -4*g - 20 = 2*z. Is g >= -6?
True
Suppose 28 = 3*v + 31. Let l be 2/((-80)/(-12) - -2). Is l at most v?
False
Suppose 2*p - 4*y - 8 = 0, p - 1 = -3*p + 5*y. Let g be (50/30)/((-2)/p). Is g > 4?
True
Suppose 3*v + 3 = 4*l, 0*l + 4*v = 3*l - 4. 