 a = -181/4 + 1259/28. Let i = -3.1 - -3. Let u = i - 0. Which is greater: u or a?
u
Suppose -24*s + 180 = -19*s. Suppose -3*w + 0*w = s. Is -11 less than w?
False
Suppose -23 = -3*d - 5. Let o = d - -2. Suppose g - 2*g = -2*j + 2, 5*j = g + o. Do j and 3 have the same value?
False
Suppose 7 - 13 = -h. Let n(x) = x**3 - 8*x**2 + 12*x + 1. Let a be n(h). Which is bigger: a or -3/10?
a
Suppose 3*k + 5*b = 14, 60 = 5*k - 3*b + 4*b. Let y(a) = -a**2 + 10*a + 49. Let m be y(k). Is m greater than or equal to 4?
True
Let r = -1765613/52 - -33952. Let j = r - -11/13. Is j > 0?
False
Let v be -26 - (3 + 1 - 3). Let x = 21 - v. Let y be ((x/(-4))/3)/(-206). Which is smaller: -1 or y?
-1
Let p = 5 + -12. Let l = -5.99 - 0.71. Let s = l - p. Is 0.5 at most as big as s?
False
Let o = 0.48 + -30.48. Let m = 29.98 + o. Are m and -4 equal?
False
Let k = 1932 + -23203/12. Let n = k - -4/3. Let t = -2 + 2. Is n greater than or equal to t?
False
Suppose -15*w = -9*w + 1530. Is -255 < w?
False
Let k = 119 + -181. Is -190/3 at most k?
True
Suppose -5*z = 2*a + 4, 0 = -6*z + z - 10. Suppose 5*q + 73 - a = 0. Are -14 and q nonequal?
False
Let s(r) be the third derivative of -r**5/60 - r**4/8 - 4*r**3/3 + 25*r**2. Let u be s(0). Do -7 and u have the same value?
False
Let f be (-681)/((-1)/(312/522)). Let r = -407 + f. Which is smaller: -1 or r?
-1
Let r = 113.89 - -4.11. Is -1 at most r?
True
Let j be 4/6*(-18 - 0). Let l = j - -15. Suppose -4*o - l*q - 28 = 0, 3*o + 2*q = -10 - 11. Which is greater: o or -8?
o
Let s = 2 - 4. Let f be (-46)/(-78) + s/3. Let b be (2 - (-1)/(-1))/(-24 - -23). Which is bigger: f or b?
f
Let d = 0.845 - 0.835. Which is bigger: d or -3?
d
Let i(q) = q**2 + 9*q. Let c be i(-9). Let d be ((-8)/(270 - 6))/(1/(-9)). Do d and c have the same value?
False
Let r = -35 - -22. Let n = r - -17. Let u be (-3)/n*12/36. Which is bigger: u or -2?
u
Let b be 12 + (6 - (3 + -4)). Let p be 2/7 - (-110)/7. Which is greater: p or b?
b
Let o(c) = -c**2 - 3*c + 5. Let l be o(-5). Let v be -15 + 49*46/161. Which is greater: l or v?
v
Let q(v) = -v - 2. Let l be q(-2). Let o = -203717/17 - -11983. Are o and l equal?
False
Let k(x) = 4*x**2 + 6*x - 4. Let g be k(4). Let j be 50/g + 24/(-32). Let o = j + 1/84. Do 1 and o have different values?
True
Let k be (-44)/(-10) - (15 - 10). Let s be 2 - 1 - 9/3. Which is smaller: k or s?
s
Let w = 0.249 - 0.149. Let f = 1.1 + -0.1. Let y = f + -0.96. Is w greater than or equal to y?
True
Let z be (-2 - -3)/((-1)/(-4)). Let v(l) = 5*l**3 + l. Let g be v(-1). Let p be (-26)/g + (-2)/(-3). Which is bigger: p or z?
p
Suppose 0 = -6*q - 40 + 40. Is q equal to -7/31?
False
Let y = -124 + 123.02. Let c = -0.02 + y. Which is bigger: -5 or c?
c
Let g(f) = f**2 - 1. Let p be g(0). Suppose -8*b - 2324 = 1252. Let u = 4920/11 + b. Which is smaller: p or u?
p
Suppose 5*u - 2*t = 0, 0 = 6*u - u - 5*t. Is 1/37 bigger than u?
True
Let d = 1.053 - -0.047. Let t = 0.6 - d. Which is greater: 5 or t?
5
Suppose 104 = 33*b + 467. Which is greater: -10 or b?
-10
Let s = -2 - -5. Suppose -b - 91 = -2*b - 5*r, -325 = -s*b - 2*r. Let j be (-2)/(-6) + b/(-9). Is j less than or equal to -12?
True
Suppose -2*b - 2 = -x + 8, -8 = 4*b. Suppose 4*f + 3*s = -26, -5*s + 1 = -f + x. Suppose -10 = -5*y + 7*y. Is f bigger than y?
False
Let o be (-2)/(-6)*(-2 - 1). Let m(p) = p**2 + 8*p + 11. Suppose 4 = 6*t + 40. Let n be m(t). Do n and o have the same value?
True
Let w = 42 + -167/4. Suppose 4*m - 82 = 3*p, -2*p = 4*m - 4*p - 80. Let c = m + -19. Is c greater than w?
False
Let f = -607 - -588. Are -22 and f nonequal?
True
Let x = -320853/23 + 13947. Which is bigger: -3 or x?
-3
Let f(x) = -2*x**3 + x**2 + 9*x - 7. Let v be f(2). Do -4/7 and v have the same value?
False
Let f be (-1 + 21/22)/(15/(-600)). Is 1 > f?
False
Let n = 877 - 778. Is n less than or equal to 97?
False
Let m be 1*-2*(-16)/10. Let s = m + -43/15. Let i = -63.1 - -61.1. Is s bigger than i?
True
Let i = 1220 - 1219.8. Which is greater: i or 7/10?
7/10
Suppose -18 - 28 = -2*d. Is d at most as big as 24?
True
Let q(r) = 3 - 8*r**2 - 1 - 38*r**3 + 37*r**3. Let n be q(-8). Suppose 3*u + n*z - 29 = 3*z, -3*u - z = -37. Is u >= 11?
True
Let c = -272 - -265. Let z = -3 + 9. Let n be (-9)/6 + z/4. Is c smaller than n?
True
Let y be 45/60 - 377/1260. Let r = 34/63 - y. Which is smaller: r or 0?
0
Let j be 95/(-38)*14/(-5). Which is greater: 4 or j?
j
Let d = 41 - 41. Suppose 4*g + l + d*l = 5, -5*l = 2*g - 7. Which is smaller: -1/19 or g?
-1/19
Suppose 9*s = -s + 40. Suppose 8*f = s*f - 8, -34 = -2*y + 4*f. Which is smaller: y or 12?
12
Suppose -26 = -5*m - h + 3*h, -2*h + 10 = 4*m. Let v = -32 - -37. Which is greater: m or v?
v
Let f(n) = n**3 + 5*n**2 + 2*n - 6. Let s be f(-5). Let x = s - -14. Let y be (-3)/x - 9/18. Which is greater: 1/14 or y?
y
Let a(d) = 13*d**2 - 6*d + 3. Let t(r) = -3*r**2 + r. Let m(u) = -a(u) - 5*t(u). Let p(o) = 3*o. Let s be p(-1). Let f be m(s). Do f and 12 have the same value?
True
Let p = -40 - -76. Let u = p + -25. Let v = 11.8 - u. Is 1 >= v?
True
Let c = -113 + 58. Let j = -51.3 - c. Which is bigger: 1/2 or j?
j
Suppose -2*d - 32 = -4*d. Let c be ((-15)/(-35))/(8/280). Which is bigger: d or c?
d
Let z = -432 - -583. Is 151 at least as big as z?
True
Let n(o) = -2*o + o + 14 + 5*o - 3*o. Let v be n(-7). Suppose v*q = 2*q. Is q at least 2?
False
Let i be 2/(-12)*1008/(-32). Is 4 at least i?
False
Let s = -1 + 5. Suppose 0 = r + 2*m - s, -2*m = -5*r + 3*m - 25. Let i be (2 - (-4)/r)/1. Which is smaller: 2 or i?
i
Let u = 32 - -116. Suppose r = -3*r - u. Is -37 <= r?
True
Let y(x) = -6*x - 9. Let t be y(-7). Let k = -18 + t. Suppose -3*o + k = 3*n, 0*o - 4*n + 20 = -3*o. Do 1 and o have the same value?
False
Suppose 0 = 3*q - 13 - 35. Let b be (1/(-2))/((-4)/q). Suppose 6*g - b*r = g - 23, -4*r = -16. Are g and -4 equal?
False
Let b = -1038.01 + 1038. Which is smaller: b or 54?
b
Suppose -35*r + 37*r - q - 1978 = 0, -4*r - 5*q = -3984. Which is smaller: 993 or r?
r
Let g = 66.938 - -0.062. Is 0.2 at most g?
True
Let c(j) = -j**3 - 8*j**2 - 8*j - 5. Let a be c(-6). Let t = a + 33. Do 2 and t have the same value?
False
Let p = 13583/27 + -503. Let h be (2 - 1)*(-1)/(-2)*-2. Which is bigger: p or h?
p
Suppose -6*t - 2 = -5*t. Let u be (-1)/15*-12 + 1/5. Which is smaller: u or t?
t
Suppose -355 = 17*s - 22*s. Suppose -3*g = s - 41. Which is smaller: g or -16?
-16
Let t = 182.96 - 183. Which is greater: t or 13?
13
Let b = -0.252 + 2.252. Which is greater: -26/3 or b?
b
Let f(b) = b**2 - b - 4. Let v be f(-5). Let z be (-10)/(-65) - (-204)/v. Suppose -2*l - 5*i - z = 0, 2*l + 6*i = 2*i - 10. Is l at most as big as -9?
True
Suppose 2*j + 2 = -3*y, 1 = -5*j + 11. Let r = 1.1 - 0.1. Which is greater: r or y?
r
Let y = -21 - -30. Let d = y - 10. Let x be 4/12*0/d. Which is greater: 1 or x?
1
Let c = 310 + -309.97. Let b = -0.2 - -0.1. Is b less than or equal to c?
True
Let p = 46 - 45.92. Let w = 0.28 - p. Which is bigger: w or 2.2?
2.2
Let g = 10 + -9. Let n = -0.3 + 0.243. Which is bigger: n or g?
g
Let w = 8.45 + -8.65. Let p = 6.4 + -3. Is w < p?
True
Let g(k) = -5*k**2 - 2*k + 3. Let s be g(2). Let m be (-16)/(-3 + (-69)/s). Let j be ((-3)/(-12))/((-35)/m). Is -3 at most j?
True
Let o = -60225 + 540233/9. Let d = o - -198. Does -1 = d?
False
Let x(u) = -u**3 - u**2 - u + 2. Let n be x(0). Suppose 0 = l + n*l. Let j = 19/26 + -15/26. Is l at most as big as j?
True
Let x(d) be the first derivative of -d**4/4 - 11*d**3/3 - 13*d - 8. Let f be x(-11). Is f less than or equal to -12?
True
Let c = -2201 - -2356. Is 151 less than or equal to c?
True
Let w = 13 + -20. Let s = 36 - 22. Let z = s - 15. Which is smaller: z or w?
w
Let b = -1/107 - 96/1177. Let z(h) = -h**3 - 6*h**2 + h - 8. Let x be z(-7). Let n be (-308)/561 - 4/x. Is n less than b?
True
Let i be (48/30)/((-2)/5). Let c be (-2)/2 + -3 - i. Suppose 16 = -2*h + 2*w + 2*w, c = 5*w - 15. Which is smaller: h or -5/6?
h
Let s be (-22 - -26) + 126/(-32). Suppose -4*c - 2*d = -8, d - 4 = -c - 1. Which is smaller: c or s?
s
Let f be -3*(-2 - 2413/9). Let r = 16246/21 - f. Let y = -37 - r. Do y and -16 have the same value?
False
Let z(b) = -3*b**3 - 29 + 6*b**3 + 30 - 2*b**3. Let f be z(1). Suppose m = -f*m + 27. Is m 