or b?
b
Let m(n) = -3*n**3 - 13*n**2 - n - 3. Let o be m(-4). Is -1 equal to o?
False
Let v be (-2)/(-4) + 3/(-6). Let h be v/(-6) + 2/2. Is 3 at least as big as h?
True
Suppose 0 = s + 2*a, -s + 8 = -3*a + a. Suppose 3*h - j - 20 = 0, -s*h - j + 30 = -3*j. Let r = 12 - h. Do 6 and r have the same value?
False
Let o = -1849 + 264405/143. Is 0 > o?
True
Let g = 6 - 15. Let d be (-1)/(-3)*(-3 - g). Let u be 1/1 - -3*1. Which is smaller: d or u?
d
Let u be (1/(-17))/((-4)/8). Is u greater than or equal to -1?
True
Let o = 217710/7 - 30848. Let z = o + -253. Which is bigger: 0 or z?
z
Suppose 0 = 2*b - b - 3*m - 15, 15 = 3*b + m. Is 6 equal to b?
True
Suppose 3*k + 19 = -x + 4, -2*k - 6 = 0. Let o(p) = -p**2 - 3*p + 2. Let r(z) = -z - 1. Let n(u) = o(u) + 3*r(u). Let h be n(x). Is 2 > h?
True
Let g be ((-2)/4)/((-11)/(-22)). Which is greater: 13 or g?
13
Let n = -92 - -95. Which is smaller: n or 13/6?
13/6
Let t be 12/(-18) - 17/(-3). Let m be -3*(-3 - 4/(-2)). Are t and m unequal?
True
Suppose 2*j + 8 = 6*j, 0 = -3*s + j + 19. Suppose 5*r + 3 + s = 0. Suppose -2*y = -2*l + 4, -4*l + 1 - 17 = 2*y. Is r equal to l?
True
Let l(x) = -x**2 - 7*x. Let s be l(-7). Let k = 0 - -2. Let y = k + -1.99. Is s > y?
False
Let p be -2*(0 + 1/2). Is p less than 3/11?
True
Suppose -5*l = 31 - 11. Let o = 6 + l. Let v be -3*3/(-9)*o. Which is smaller: 1 or v?
1
Suppose 5*y + 21 - 6 = 0. Let c be -30*(-5)/(25/2). Let o be y/c + (-58)/(-168). Is o less than 0?
False
Let y = 22 - 34. Which is bigger: 0.1 or y?
0.1
Let b = -1 + 8. Let y be 25/5*(-12)/(-10). Is b < y?
False
Let w be (2/(-3))/((-1)/6). Suppose -4 = w*d - 0. Is d greater than or equal to -2?
True
Let o = 13.1 + -28.5. Let y = o + 15. Which is bigger: y or 1?
1
Let q = 2/225 - -397/900. Let x = q - 6/5. Is -1 >= x?
False
Suppose -20 = -4*j - 0*j. Let c be j - 1/2*-4. Is 7 at least as big as c?
True
Let x(n) = -n**3 + n**2 - n. Let v(a) = -7*a**3 + 8*a**2 - 3*a - 1. Let i(o) = -v(o) + 6*x(o). Let p be i(3). Let c = 5 - 3. Which is bigger: c or p?
c
Let w be 2/(-5)*25/(-1). Let s be ((-16)/w)/((-10)/(-5)). Is s at most -2?
False
Let u be 10/(-8) + (-1)/(-4). Suppose -9 = -3*p + 15. Suppose 0 = 5*n - z + 4, -3*n + 2*z + 0 - p = 0. Is u >= n?
False
Suppose -j + 9 = -2*x, -2*j - x + 13 = j. Is 3 < j?
True
Let p = -0.2 - -0.2. Let f = 0.1 - p. Let g = 8 - 9. Is g <= f?
True
Let v(r) = -r**3 - 3*r**2 + 1. Let h be v(-3). Suppose -2*z + 17 = -u, -u + 4*u + 2*z = -67. Which is bigger: u or h?
h
Let n = 705 + -13392/19. Which is greater: n or -1?
n
Suppose 4*c - 4 + 0 = 0. Let y = -1949/6292 - -1/484. Is c < y?
False
Let z be (-2)/(-9) - (-3 - 629/(-198)). Which is greater: -1 or z?
z
Let r = -0.4 + 0.4. Suppose 4*c + 0 = 12. Let m be (-4)/6*c/5. Do m and r have different values?
True
Let b = 10 + -26. Which is smaller: b or -0.2?
b
Let f = 47686/7 - 6798. Are 15 and f equal?
False
Let n(v) = 2*v + 2. Suppose 25 - 9 = -4*p. Let z be p + 1 + (-1 - -2). Let r be n(z). Are r and -2 unequal?
False
Let o = -17 - -10. Which is smaller: o or 1?
o
Let c(l) = -l + 8. Let p be c(5). Let t be ((-14)/p)/((-4)/6). Let a = -11 + t. Which is bigger: a or -2?
-2
Let y(n) = -n - 15. Let m be y(-16). Is -3/8 less than or equal to m?
True
Let b = 263/152 - 13/8. Let h = -3 - -5. Suppose 2 + 3 = -5*f + 2*o, -2*f = h*o + 2. Is f less than b?
True
Let c = -0.13 + -0.91. Let u = c - -0.04. Are -0.2 and u non-equal?
True
Suppose 5*q + 5*r = 2*r - 35, 5*q + 10 = 2*r. Let u be -2 - (10/5 - 1). Which is greater: q or u?
u
Let v(d) be the third derivative of -d**5/60 + d**4/8 + d**3/3 - 2*d**2. Let s be v(3). Suppose 0 = -3*i + 12 - 0. Which is greater: i or s?
i
Let d be (-12)/(-5) + (-2)/5. Let t be ((-3)/3*d)/(-2). Do t and -1/6 have the same value?
False
Suppose -23 = 3*d + 1. Let v(r) = r**3 + 8*r**2 + 11*r - 14. Let n be v(-6). Is n equal to d?
True
Let z = 730/1947 - 2/177. Suppose -v = 2*x - 2, 0 = x - 0*v - 3*v + 6. Do x and z have the same value?
False
Let m = 0.23 + -0.08. Let b = m - 0.05. Which is bigger: b or 4/7?
4/7
Let m(r) = r**3 - 10*r**2 - 15. Let i be m(8). Is i greater than or equal to -143?
True
Let c = 2/31 - 37/93. Let s be 1/(-4) + 273/4. Let x = -545/8 + s. Which is greater: c or x?
x
Let b be (-9)/(-15)*2*(-15)/12. Is 3.2 less than or equal to b?
False
Let y(m) = -2*m + 11. Let a be (1*5)/(10/(-10)). Let i be y(a). Is 21 < i?
False
Let b = 3 - 3. Let a = 1204/195 + -82/13. Do a and b have different values?
True
Suppose 5*l - 72 = -2*v - 2*v, -4*v + 36 = -4*l. Suppose 0 = -5*i + 5*n + 20, 4*i + 6 = -3*n - v. Which is bigger: -2/3 or i?
-2/3
Let m = 3309/8 + -413. Which is smaller: 0 or m?
0
Let m = -36/55 + 5/11. Is m not equal to 0?
True
Let h be ((-9)/26)/(((-12)/(-32))/1). Is 0 less than h?
False
Let b be ((-75)/2)/(6/2). Is b >= -14?
True
Suppose 5*f = 4*f + 8. Is f greater than 9?
False
Let q be (9/(-12)*2)/(6/8). Which is smaller: q or -3/2?
q
Suppose 0 = -h + 5*h - 8. Let m be (1 + 9/2)*h. Is 12 bigger than m?
True
Let k(f) = f**2 + 2*f - 3. Let q be k(-3). Let w be 0/1 + 7 - 2. Suppose -w*n + q*n = 0. Is n greater than or equal to 2/15?
False
Suppose 2*u + 17 = -4*p - 5, 4*u = -2*p - 14. Which is greater: u or -2/7?
-2/7
Let c = 3.07 - 3. Let g = -7 - -27/4. Which is smaller: c or g?
g
Let l = 9 - -4. Suppose 5 = 4*y + 21, 3*u = -y - l. Let k = -8.89 + 9.89. Which is greater: u or k?
k
Suppose -4*l + 13 = 45. Suppose 3*o + 5 - 2 = 0. Is l greater than o?
False
Let m = -12 - -18. Suppose m*d - 5 = d. Do -2 and d have the same value?
False
Let c be 2/2 - 0/1. Let f(k) = -k**3 + 5. Let s be f(0). Suppose -3*o + 12 = 4*m, -m + s*o = o + 16. Does c = m?
False
Let u(n) = -n**3 - 7*n**2 - 9*n - 7. Let f be u(-6). Let l be f/(-7) - (-24)/(-56). Is -5/2 at most as big as l?
True
Let w(y) = y**2 - 3. Let d be w(3). Suppose z + 4*s + 1 - 35 = 0, s = 2*z - 23. Let q = z + -8. Is q > d?
False
Let g = 3 + -13. Which is bigger: g or -12?
g
Suppose 4*c = 2*t - c - 1, -4*t - 2*c + 38 = 0. Let i(m) = -m**2 + 10*m. Let h be i(t). Is 15 smaller than h?
True
Suppose 0 = 2*g + 2, -g - 11 = -2*h - 4*g. Let s(r) = 3*r - 5. Let x be s(4). Is h smaller than x?
False
Let o be 1*1/2*-22. Let u be (o - -3)/(1*-1). Let i be (u/(-12))/((-2)/(-3)). Which is greater: i or 1/3?
1/3
Suppose -3*x + 0 = 3. Let f = x - -1. Let v = -28 - -57/2. Which is smaller: v or f?
f
Suppose 5*h + 31 = -24. Let o = 7 + h. Let z be (-2 - o)/(-1 - 0). Which is bigger: z or -3?
z
Let g(p) = p**2 + 10*p + 4. Let h be g(-9). Let y(d) = d. Let m be y(h). Let b be (1 - 0)/(m/(-5)). Which is greater: 2/3 or b?
b
Let w = 8 - 19. Let m = -11 - w. Which is greater: m or 6/7?
6/7
Let g(b) = -b**2 - 7*b + 5. Let z be g(-6). Which is greater: 10 or z?
z
Let t be (-17)/(-8) - ((-135)/20)/(-9). Which is smaller: t or 2?
t
Let o = -0.21 + 0.05. Let y = o - 0.64. Is y less than 0.2?
True
Let a be (-3)/(2 + 1) + 1. Suppose -102 = -5*c - a*r + r, 5*c = 3*r + 96. Suppose -y + c = 5*p, -2*p - 2*p - 5*y + 21 = 0. Is 5 at most as big as p?
False
Let z be 1/(-5 + -2)*3. Is z less than or equal to -1?
False
Suppose 0 = -3*z - 2*z. Let c(i) = i + 7. Let p = 3 + -9. Let v be c(p). Is z smaller than v?
True
Let j(m) = 5*m**2 + 5*m + 2. Let u(q) = -4*q**2 - 5*q - 2. Let z(a) = 5*j(a) + 6*u(a). Let s = 17 - 12. Let b be z(s). Is b < -1?
True
Let s be 30778/(-140)*64/(-5). Let l = s - 2814. Let p = l - -356/525. Which is bigger: 2 or p?
2
Let f = 38 + 8. Suppose -4 + f = -5*t - 4*k, 5*t + 36 = -2*k. Is -4 <= t?
False
Let a = 0.3 + -3.3. Let m = a - -6. Let r = m + -4. Which is bigger: 2/15 or r?
2/15
Let y = 12.95 - 10. Let a = y + -3. Which is greater: -1 or a?
a
Let d = -0.2 - 4.8. Let p = 1.12 - -3.78. Let i = d + p. Which is smaller: i or 0.4?
i
Let t = 10 - 26. Let u be (t/(-180))/(4/(-10)). Which is smaller: u or 0?
u
Let l be (12/(-4))/(-3) - 55/(-10). Which is bigger: l or 6?
l
Let u = 119 - 119.97. Let n = -0.03 + u. Which is bigger: -4 or n?
n
Let o = 709/165 - -2/55. Which is smaller: 4 or o?
4
Let m = -3 - 1. Let w = 7 + m. Which is smaller: w or -1?
-1
Suppose 45 = 2*k + 3*m, 1 = 3*m - 2*m. Which is bigger: 22 or k?
22
Let g be ((-8)/(-15))/(6/(-9)). Let r = -2 - -4. Suppose r*a - 4*q = -20, -2 = -4*q + 14. Which is bigger: g or a?
g
Let x be (48/2)/(6/8). Is 32 >= x?
True