is bigger: b or 34?
34
Let o(x) = x**2 + 14*x + 49. Let c be o(-11). Let s(a) = 15*a**3 - a + 1. Let g be s(1). Is c less than or equal to g?
False
Suppose -2 = 66*l - 68*l. Is -2/11 at least l?
False
Let n be ((-16)/10)/((-10)/(-25)). Which is bigger: -1 or n?
-1
Let w = 20197/66759 + 1/2023. Is 0 at most w?
True
Suppose 0*p - p = -3*c + 18, 29 = 4*c - 3*p. Suppose -c*m + 3 = 8. Is -1 < m?
False
Let x be (-2)/4 + ((-40)/(-19))/4. Are 1 and x equal?
False
Let a(d) = -d**3 - 5*d**2 + 7*d + 6. Let h be a(-6). Suppose h = 4*m + m + 5. Let p be m/(-2) + 9/(-42). Which is bigger: p or -0.1?
p
Let a = 8 - -1. Which is smaller: a or 8?
8
Let o(x) = x**3 - 2*x**2 - x - 8. Let g be o(3). Which is smaller: -0.27 or g?
g
Let q = 1382/7 - 197. Suppose -p - 2 = -3. Which is smaller: q or p?
q
Let x be (-4131)/(-21) - 1 - 3. Let s = x + -193. Is -1 bigger than s?
False
Suppose 3*w - 13 = 4*r, 7*w - 3*r = 2*w + 7. Let v = 1 + -1. Which is bigger: v or w?
v
Let q = 32 + -32. Are q and -3/59 equal?
False
Suppose 0 = 3*r - 3*j - 2*j - 25, -4*r - 4*j = 20. Is r less than or equal to -2/25?
False
Let i = -16 + 12. Let b be i + 1 + (-6)/(-4). Which is greater: b or -3?
b
Suppose -2*f - 2 = -0*b + 2*b, -2*f - 14 = -4*b. Let i = -158.1 - -158. Is i less than or equal to f?
False
Let h = -22 + 16. Let g = 28 - 9. Suppose 4*y = -5 - g. Do h and y have the same value?
True
Let f(y) = -y**3 - 5*y**2 - y - 6. Let d be f(-5). Let q be 0/(6/(-4)*(-2)/(-3)). Which is bigger: q or d?
q
Let m = -4 - -8. Let g be m/(-8) - (-14)/(-4). Suppose -3*x - 3*q = -4*q + 6, 3*x + q + 12 = 0. Do g and x have the same value?
False
Let y = 0.54 + 0.06. Let o = -1 + y. Let k = o - -0.6. Is 2 < k?
False
Let i = -47 + 56. Are i and 9 nonequal?
False
Let f = -1/3 + 7/12. Is f smaller than 4?
True
Let u = 0.3 + -1.3. Let c = -6 - -4. Let h = u - c. Which is smaller: -0.1 or h?
-0.1
Let f be 4*((-2)/(-4) + 0). Is 1/2 less than f?
True
Suppose 5*m - 10 = 4*m. Is 10 greater than m?
False
Let y be -1 + 712/420 + 3/(-5). Which is smaller: y or -2?
-2
Let a(p) = -p**2 - 8*p + 6. Let o be a(-8). Is o smaller than 0?
False
Let a be ((-4)/(-56) - 0)*-4. Let r = -5 - -4.7. Let g = 2.3 + r. Which is smaller: a or g?
a
Let y(g) = g**2 + 9*g. Let f be y(-7). Let o = 9 + f. Let c = o + 6. Which is greater: c or 2/15?
c
Suppose 2*q - q + 1 = 0. Let f be 0 + q + 39/51. Which is greater: -1 or f?
f
Let n be ((-7)/6 - -1)*2. Let w(p) = 2*p**2 - 4*p + 2. Let v be w(2). Suppose v*m = -3*m. Which is smaller: m or n?
n
Let d = -16 + 13. Let y be 6*((-15)/6 - -2). Is y not equal to d?
False
Let l = 343/5 - 69. Let p = 22 - 23. Which is greater: l or p?
l
Suppose -3*y + v - 2*v + 23 = 0, 2*v + 2 = 0. Is y bigger than 7?
True
Let o be (-52)/(-5) + (-20)/50. Is o at most as big as 9?
False
Suppose -4*a - 3*p + 8 = 0, 2*a - 7*a + 5*p = -10. Let j = -14 - -20. Suppose -j = -5*k - 1. Is k at most a?
True
Let m = -101/63 - -22/21. Let y = m + 1/18. Is y bigger than -1?
True
Let z = -0.5 - -0.34. Let w = z + 0.06. Which is greater: -1/5 or w?
w
Let p be (-6)/(-18) + (-608)/6. Let u = p - -705/7. Are u and 0 unequal?
True
Let a = 5 - 9. Let m(y) = -y**3 - 5*y**2 - 4*y - 4. Let q be m(a). Let z = q + 5. Which is greater: 1/2 or z?
z
Let m = 1 + -3. Let v = m - -1. Let f be (-1)/(-3)*(5 - 5). Is v < f?
True
Let w = 0.5 - 0.2. Let c = 0.4 - w. Let r = 1 + -4. Which is smaller: c or r?
r
Suppose 0 = -4*b - 397 - 207. Let c be ((-5)/2)/(21/1266). Let l = b - c. Is l bigger than -0.1?
False
Let g = 20.87 + -21. Let i = -0.17 + g. Which is greater: i or 1/3?
1/3
Suppose -2*b + 0 = -12. Suppose 2*s = 5*j + b, -2*s - j = -3*j. Is -2 <= s?
True
Let r(b) = 5*b. Let z be r(-3). Is z >= -3?
False
Let z be 392/1113 - (-2)/(-6). Let g = 99/371 + z. Which is smaller: 1 or g?
g
Let o be 4/6*6/(-4). Suppose -4 = -2*j + w, 2*j - 7*j + 13 = -4*w. Suppose 4*c - 2 - 2 = -3*r, 0 = -c + j. Is r at most as big as o?
False
Let u = -4 - -9. Which is smaller: 4 or u?
4
Suppose -3*r + 21 = -0*r + 5*i, 4*r + 4*i = 20. Suppose 0 = -0*o - r*o + 28. Let m be o/(-3) + (-4)/(-6). Are m and -5 nonequal?
True
Let j = 40/39 - 22/13. Which is smaller: -1/20 or j?
j
Let k be (1 - 0) + (3 - 2). Let i = 102 - 302/3. Which is smaller: k or i?
i
Let z be ((-10)/(-4))/(1/86). Let j = 1513/7 - z. Which is smaller: j or 2?
j
Let h = 9 - 10. Let r = h + 0. Let j(t) = -t + 1. Let s be j(2). Is s >= r?
True
Let i = 45 + -46. Is 1/6 < i?
False
Let w be (-1)/((-26)/3*4). Let s = 161/1976 - w. Which is smaller: 1 or s?
s
Suppose -o + 0 = 4. Let c(y) = -y**2 + y - 1. Suppose 4*j = 2*j + 4. Let t be c(j). Are o and t equal?
False
Suppose 3*b - 20 = -b. Suppose 0 = -h + 4 - b. Let q be (h/(-2))/(3/6). Which is smaller: q or 3/5?
3/5
Let h = -20.5 - -1.5. Let f = h - -18. Is f at most -13?
False
Let m be (2/(-6) - -1)/1. Let t = -78.02 + 77. Let o = t - -0.02. Do m and o have the same value?
False
Let j(f) = 2*f + 1. Let b be j(-1). Is b less than or equal to -11/5?
False
Suppose 0 = 2*t - 12 - 0. Suppose i + 5 = t. Let j be 2 + 1/(-1 - 1). Is j bigger than i?
True
Let x = 4.2 - 4.1. Suppose m + 4 = 1. Which is smaller: x or m?
m
Let c = 95 - 30. Is 66 > c?
True
Suppose y = -3*w + w - 8, w = 5*y - 4. Are y and 4/5 unequal?
True
Let j be 67/(-15) - (-5)/(-25). Is -4 smaller than j?
False
Let x = -31 - -95/3. Let n = 129 - 125. Which is bigger: n or x?
n
Suppose -3*t + 0*w = -w - 139, -2*t + 102 = -3*w. Let o = -134/3 + t. Which is greater: o or 2?
2
Suppose 0 = w - 0 + 3. Let a be (w - (-8)/(-2)) + 1. Let s be (a/(-28))/(-3) - 0. Which is greater: s or -1?
s
Suppose -4*i + 13 = -3*i - 4*s, 3*i - 2*s = 9. Let d be -11 + 12 - i/1. Which is greater: d or -4?
d
Let b(h) = 7*h + h + 5 + h**3 - 4*h - 5*h**2. Let k be b(4). Is k > 3?
True
Suppose -4*d = 6*m - 11*m + 13, 4*d + 43 = -5*m. Let a be 0/(0 + -2) - 6. Which is smaller: a or d?
d
Let y(n) = -8*n - 16. Let h be y(-2). Which is bigger: h or 5?
5
Let o = -80.9 - -81. Let b = 3 - 2.95. Is b smaller than o?
True
Let i = 34 + -36. Let w be 3/2 - (-1)/(-2). Let a(o) = -2*o**2 + o - 1. Let s be a(w). Is s at most as big as i?
True
Let t be (-2)/13 - (-2612)/20020. Let u = 4/35 + t. Which is smaller: u or -1?
-1
Let v be (25/13 - 2)/1. Let h(o) = -o**2 - o - 14. Let u be h(0). Let z be 10/(-45) - u/(-18). Which is smaller: z or v?
z
Let m be (-13)/(-2)*(-2 - 0). Let d = m + 17. Which is smaller: d or -0.1?
-0.1
Suppose 3*j = -0*j + 9. Let o = 1 - 1. Suppose o = -j*f + f. Which is smaller: -1/4 or f?
-1/4
Let b be 6/15 + (-28)/(-80). Suppose -2*i + 4 = -i. Suppose -4*j = -0*f + f - 14, -2*j + 14 = i*f. Is b bigger than f?
False
Let s be 3 - 6*(-8)/(-6). Suppose 5*o + 5*u = 3*o + 37, -4*o - 4*u = -44. Let k = o + s. Which is greater: k or 1/10?
k
Let c = -0.05 - 1.35. Let t = 0.67 + -0.07. Let z = t - c. Which is smaller: z or 0.1?
0.1
Let q = -33 + 49. Let m = 16 - q. Let v(g) = g. Let u be v(-1). Are u and m nonequal?
True
Suppose 9 = -3*s - 0*s. Suppose 43*a - 39*a = -12. Is s equal to a?
True
Let f(y) = -2*y - 7. Let w be f(-6). Let b be (40/50)/((-1)/(-5)). Suppose -b*m + 5 = 3*g - 0*g, 2*m + w*g = -1. Is m != 1?
True
Let i(f) = -f + 11. Let t(s) = -2*s - 9. Let p be 1/(-2)*4*4. Let n be t(p). Let w be i(n). Which is smaller: w or 3?
3
Let m be ((-10401)/15)/((-8)/5). Let s = m + -434. Is s at least -2?
True
Let x(p) = p + 6. Let o be x(-5). Let c be (o - 4)*(-4)/(-3). Let l be c/(-18)*(-1 - -4). Which is bigger: l or 3/2?
3/2
Suppose 20 = -2*k + 3*k + 4*v, 0 = -2*v + 8. Let m be k*-1*(-2)/(-28). Let i = -1.902 + 1.802. Do i and m have the same value?
False
Suppose 16 + 4 = 5*j. Let s(k) = -22*k + 45. Let r be s(2). Is j less than r?
False
Let w = 0 - 0.1. Let f = 48/125 - -2/125. Which is bigger: f or w?
f
Let r be 0/(0/(-1) - -1). Let n(l) = -2*l**3 + l**2. Let d be n(-1). Let f be 7 + (-3 - (2 - d)). Is r equal to f?
False
Let m = 21 + -13. Let z = 2/1139 + -39873/4556. Let o = z + m. Which is smaller: o or -0.1?
o
Let o = -23.87 + 24. Let f = o + -0.13. Let r be 1/(-3) + (-4)/6. Is r at most as big as f?
True
Let h(c) = c**3 - 10*c**2 + 2*c - 11. Let u be h(10). Is 12 equal to u?
False
Let f(z) = 6*z**2 - 2*z - 3*z**3 + 4*z**3 - 5 - 6*z. Let s be f(-7). Suppose 0 = 3*j - 2*u, -3*u = -2*j - 0*j - 5. Is j bigger than s?
False
Let