as big as 22?
False
Let d = 75/1018 + -91447/1185970. Is 4 bigger than d?
True
Let y be (-2)/(-5) + 572/20. Let a(p) = -23*p - 23. Let s be a(-15). Let z = s + -293. Do z and y have different values?
False
Let p be (-3 + 391)/(6/(-48)). Is -3104 != p?
False
Let t = 203.522 - 203.53. Do t and -6 have different values?
True
Let b = 0.107 + 4.093. Let h = b + -1.4. Which is smaller: h or 2/3?
2/3
Suppose -5*h - 1447 + 1612 = 0. Let c be (-18)/h - (3 + (-608)/187). Suppose -2*g + 4*x + x = 18, -3*g - 1 = -x. Which is greater: g or c?
g
Suppose -h = 3*u - 13, -4*h + 2 = 2*u - 20. Suppose 0 = 4*c - 4 - 4. Let x = u + c. Which is smaller: x or 11?
x
Let s be (-2)/((-28)/(-414834)*-7). Which is smaller: s or 4234?
s
Let u = -5088 - -3079. Is -2008 at most u?
False
Let u = 13.619 + -6429.619. Which is smaller: u or 1?
u
Let z(x) be the first derivative of -x**4/4 - 4*x**3 - 15*x**2 - 2*x - 77. Let d be z(-10). Is d equal to 99?
False
Let h = 33.4 + -81.4. Let p = 11 + -9. Which is greater: h or p?
p
Let d be (0 + 954/657)*2778/(-88). Let h = d + 504/11. Is 1 smaller than h?
False
Let y(g) = 26*g - 37. Let s(q) = -24*q + 35. Let o(m) = -3*s(m) - 4*y(m). Let n be o(-2). Is 105 at least as big as n?
False
Suppose -441 = h + y, -4*h + 15*y - 14*y = 1744. Let l = h + 438. Is -15 equal to l?
False
Let s be (7665/(-20))/((-2)/(-7) - 2/56). Which is greater: s or -1536?
s
Let s = -9696 + 9655. Is 2/99 greater than or equal to s?
True
Let f(v) = -52*v**2 - 3*v + 16. Suppose 2*w - 3*k + 22 = 0, -36 = 5*w + 2*k - 0*k. Let y be f(w). Let p be (y/(-820) + -4)/1. Is 0 >= p?
False
Let o(j) be the third derivative of -j**5/60 - 5*j**4/6 + 11*j**3/3 + 2*j**2. Let q be o(-20). Suppose q*n = 20*n + 14. Is 8 < n?
False
Suppose -5*k = -8*f - 5 - 15, 3*f = -2*k - 23. Let c(x) = x**3 + 6*x**2 + 5*x + 2. Let h be c(-5). Let i = -5 + h. Is k at least as big as i?
False
Let z = -607 + 641. Suppose 16 = n - z. Is 48 != n?
True
Let m be -12*19/1482*((-6)/(-3) + -1). Which is smaller: m or 12.3?
m
Let a = -77 + 78. Let j(v) = -47*v + 6. Let m be j(a). Is -39 bigger than m?
True
Let l be -7*273/28 + -8. Which is greater: l or -77?
l
Let x = 24 + -51. Let l = x + 16. Let o = 0.03 - -0.17. Is l less than or equal to o?
True
Let a = 16 + -27. Let f be (8/120*65)/(5/(0 - 15)). Which is smaller: f or a?
f
Let w(u) = u**3 + 21*u**2 - 5*u + 67. Let z be w(-21). Let i = 171 - z. Let q = -2 - -0.6. Which is smaller: q or i?
q
Suppose -4*t + y - 879 = 0, -4*y = -11 - 17. Is -216 equal to t?
False
Suppose 2*s + 0 = -3*v + 19, 5*s = 25. Suppose 0 = a + v + 5. Let f(t) = t**3 + 7*t**2 - 8*t. Let g be f(a). Is 4/35 bigger than g?
True
Let p be (-1760)/(-2280) + (-2)/3 - (-93)/(-342). Which is bigger: 74.3 or p?
74.3
Let s = -0.24 - 0.06. Suppose 287*g + 1101 - 6746 = -766. Which is greater: s or g?
g
Suppose 0*h - 5*h + 317 = 187. Let b = 9 + -3. Which is smaller: h or b?
b
Let n be ((-114)/(-10) + -1)*390/1482. Which is greater: 4 or n?
4
Let w = -86/255 + 1619/1020. Let f = 0.12 + -10.12. Let m = f - -10.2. Does m = w?
False
Let k = 0.116 + -0.135. Let m = k + -1.981. Let f = -20 + m. Which is smaller: f or 0?
f
Let t = 2 + 1. Let n be (2/12*2)/((-41)/(-861)). Suppose -w + g = -5*w + 15, n = w - t*g. Is 4 smaller than w?
False
Let z(s) = s**3 - s**2 + 2. Let u be z(0). Suppose -f - 2*f - 13 = 5*m, -u*m = 4. Let c = -187/3 - -2045/33. Which is bigger: c or f?
c
Let j be -4 + 3642/4*((-2176)/867)/(-32). Is 68 at most as big as j?
False
Let f = -12 + 12. Let w(t) = -3*t**2 + 2. Let m be w(-2). Let i be ((-24)/36)/(m/4 - 0). Which is smaller: i or f?
f
Let i(v) = -v**2 - 8*v - 28. Let k be i(-8). Let n = k - -38. Suppose -11*b = -n*b + 6. Is b less than or equal to -9/2?
True
Suppose -3*n + 150 = -9*n. Let m = -42 - n. Are -18 and m nonequal?
True
Let b = -0.0759 + -4.7641. Let v = -5.84 - b. Do -0.211 and v have the same value?
False
Let j be (-300)/(-8)*112/35. Let l = j - 112. Is l smaller than -3?
False
Suppose 1042 = 827*j - 825*j. Are j and 1039/2 equal?
False
Let l = 38.5426 + 0.0574. Let x = 35.6 - l. Is 0.089 bigger than x?
True
Suppose -26*w - w = -w + 1456. Is w smaller than 0.09?
True
Suppose 2*q + 2*v - 157 - 11 = 0, -264 = -3*q + v. Suppose 4*b - q = 89. Suppose 25*d + b = 27*d. Is d != 24?
True
Let f be -254*(-65)/(-2158) + 3. Is f != -6?
True
Let j be (-1 - -6)*(-2)/(-1). Let q = -11 - 5. Let y(f) = f**3 + 16*f**2 - 2*f - 22. Let g be y(q). Is j < g?
False
Suppose -d = 3*b + 1417, 1059*b = -5*d + 1062*b - 7031. Is -1408 bigger than d?
False
Let y(l) = -147*l + 10390. Let t be y(19). Is t equal to 7599?
False
Let d(z) = z + 43. Let c be d(-6). Suppose 108 = -23*p + 26*p + 3*o, 108 = 3*p - 3*o. Which is bigger: p or c?
c
Let x = -49 - -130. Suppose 0 = -2*k + 2*v - 186, k = -0*k + 5*v - x. Let u = k - -862/9. Is -1 smaller than u?
True
Let p(j) = 3*j**3 - j**2 - 3*j. Let t be p(-1). Let x = 44248/231 + -1340/7. Which is smaller: t or x?
t
Suppose w + 0*w - 130 = -5*v, -2*v + 29 = 5*w. Suppose v = 8*m - 797. Which is smaller: 104 or m?
m
Suppose 5*v - 403 = 283*z - 287*z, -82 = -v - z. Suppose -3*f - 4*x = -257, 6*f - 3*f - 2*x - 227 = 0. Let d = v - f. Which is bigger: d or 2?
2
Suppose -2 = -y, 134 = 5*l - 2*y - 82. Let w be (-3)/(4/(-184)*3). Let k = w - l. Which is smaller: k or 12/19?
12/19
Let j be (2 - (-7)/(-5))/(7/(-3395)). Let p = -276 - j. Is p not equal to -0.4?
True
Suppose -5*l + k = -0*k + 17, -4*k = 12. Suppose 52*b - 66*b = -45*b + 248. Let s be l + -22*(-10)/b*1. Which is bigger: 24 or s?
24
Let q(s) = -s**3 - 10*s**2 + s - 2. Let y be q(-10). Let g be (-8)/(-3)*y*10/(-80). Do 10/3 and g have different values?
True
Let t be (-34 - -31)/(3/(-20)). Let y be t - 24 - (4 - 3). Let x be (30/(-64))/((-2)/(-24)). Is x not equal to y?
True
Let i be 28/21*1*(-1542)/8. Which is bigger: i or -253?
-253
Let i = -324.132 + 0.932. Let j = -323 - i. Which is smaller: j or -54?
-54
Let t = 7 + -11. Let f = -52 - 223/4. Let w = -108 - f. Is t at least as big as w?
False
Suppose -4*d + 3*i = 13674, -2*d - d = -4*i + 10266. Is -3414 <= d?
True
Let l(f) = 9*f**3 - 3*f**2 + 2*f - 227. Let r(v) = -4*v**3 + v**2 - v + 114. Let j(a) = -2*l(a) - 5*r(a). Let o be j(0). Is -115 smaller than o?
False
Let d(m) = -4*m**3 + 18*m**2 + 34*m - 121. Let a be d(5). Let b be ((-2)/(-14))/((-60)/(-14)). Is b <= a?
False
Suppose -5*n = 4*i - 7*i + 45, 0 = -i - 3*n + 15. Let v(z) be the first derivative of -z**3/3 + 8*z**2 - 15*z + 541. Let t be v(i). Which is bigger: t or 1/54?
1/54
Let z(v) = v**3 + 11*v**2 + 10*v + 1. Let n be z(-10). Let c(y) = -17*y**3 + 1. Let p be c(n). Let l be 72/p + (-1)/(-2). Is l less than or equal to -4?
True
Let d(s) = s**3 - 5*s**2 - 2*s - 10. Let g = 229 - 224. Let l be d(g). Which is smaller: l or -22?
-22
Let q = 40 - 74. Let x = -1049 + 1505. Suppose -256 = 464*n - x*n. Are n and q equal?
False
Let v = 5077 - 5072. Is v at most as big as 474?
True
Suppose 19*g - 1512 = 5*g. Let r = g - 199. Let o = 93 + r. Which is bigger: o or 42?
42
Suppose 0 = 5*t - 4 + 9. Let r be -2 + t/(-3) + 4/6. Let j be r/((-4 + -1)/205). Which is bigger: 40 or j?
j
Suppose t = -2*z - 22, 89 = 39*t - 44*t - 3*z. Do t and 0.3 have the same value?
False
Let l(o) = o**3 + 22*o**2 + 80*o + 60. Let i be l(-16). Is i at least 314?
True
Let z = -15439 - -15722. Is -2 greater than z?
False
Let k(l) = -2*l**3 - 199*l**2 - 96*l + 298. Let m be k(-99). Is 2/89149 smaller than m?
True
Let w = -1832/19 + 9217/95. Which is smaller: w or -15?
-15
Let k = 1 - 56. Let w = 60 + k. Suppose -5 = -w*m - 25. Which is bigger: m or -3?
-3
Let x be (-136)/(-8) - (-1 + 3)/(-2). Suppose x*r + 192 = -5442. Is r bigger than -313?
False
Suppose -19*x + 157*x + 81569 = 6911. Is 2/11 > x?
True
Let z(s) = -s**3 - 11*s**2 + 52*s + 141. Let n be z(-14). Is -55/564 at least as big as n?
False
Let n = 4054 - 4057. Which is smaller: 140 or n?
n
Let b = -36120 - -46204. Which is greater: 10082 or b?
b
Let z = 48905 + -48905.1. Suppose 255 = -2*c + 7*c. Are z and c nonequal?
True
Let o be -1*(3 - 1)/6. Let j = -170.78 - -170.59. Is j not equal to o?
True
Let i(v) = -v**3 + 3*v**2 + 6*v - 5. Let y be i(4). Let l be y/(-2) - ((-60)/(-8))/(-3). Let c be 2278/(-510) + 5*l. Which is smaller: 0 or c?
0
Let p(f) = 2*f - 11. Let v(h) = -