1496 - -1611. Is 0.03 at most as big as t?
True
Let b(x) be the third derivative of x**4/24 - 49*x**3/6 - 8*x**2. Let i be b(17). Let r = 28 + i. Which is smaller: -13/5 or r?
r
Suppose -5*q = -11*q - 2*q + 80. Is 157 less than q?
False
Suppose 2*d + 2 = 14. Let w be (-125)/30*-2*d. Suppose 4*y = -2*o - w, 0*y = 4*y + 5*o + 41. Which is greater: y or -13?
-13
Let m be 6*(-7)/35 - 49/5. Which is smaller: m or -380/31?
-380/31
Let m be -2 + -3 - -5 - (-60)/4335. Which is smaller: -1 or m?
-1
Let d be (-609)/245 - 2/7*11/(-11). Let y(f) = -2*f + 2. Let h be y(2). Which is smaller: d or h?
d
Let y = 51.06 + -64.9. Let a = 3.84 + y. Which is smaller: a or -6?
a
Suppose 0 = 2*s - 19*n + 23*n - 900, 3*n - 447 = -s. Is s less than 457?
True
Let s be 5 + (-1)/((-57)/(-279)). Let n = 24/133 + s. Which is smaller: n or -10?
-10
Let m = 5057/4541 - 21/19. Let z be 2*-1 + (0 - -3). Which is greater: z or m?
z
Let s = -1315 - -1352. Which is smaller: 32 or s?
32
Suppose -158434 = -49*z - 18236 - 6918. Do z and 2720 have the same value?
True
Suppose -2*n = 2*n - 1664. Let q = -454902/5 + 91394. Let g = q - n. Which is greater: g or 1?
1
Let o = 83 - 156. Let p = o - -72.4. Let j = -2.9 + p. Which is bigger: j or 1?
1
Let u = 9.78 - 10. Let n = 1.2 - -0.44. Let c = -2.64 + n. Is c at least as big as u?
False
Let b = -309.115 - -3.815. Let d = 291 + b. Let a = d - -8.3. Which is bigger: 0.1 or a?
0.1
Let g be 165/(-132) - 1474/(-8). Suppose -4*j + 209 = 4*a - g, 377 = 4*a + j. Which is smaller: 92 or a?
92
Let x be (-20)/(-30)*(-9)/(-2) - -17. Suppose 11*b + x*b = 8215. Which is bigger: 264 or b?
b
Let x = 0.05066 + -19.75066. Is x < -4/13?
True
Let p(f) = -f**2 - 7*f. Let h be p(0). Let l be 2 + -4 - (-13798)/120. Let c = l + -113. Is c less than or equal to h?
True
Let y = 184 + -188. Let c be ((-19125)/858)/(-15) + 6/y. Which is smaller: c or 1?
c
Let i(p) = -p**3 + 13*p**2 - 11*p - 12. Let d be i(12). Let s be 10/(-35) + (-65200)/8372. Let f = -168/23 - s. Is d != f?
True
Let s(i) = -3*i**3 - 4*i**2 - 2*i. Let k be s(-2). Suppose 0 = 5*u - 4*t - 40, 5*u - k = 5*t + 28. Suppose m = 27 - u. Which is smaller: m or 20?
m
Let u be (272/170)/(8/30) - (-9104 + 0). Are 9110 and u unequal?
False
Let c = 270 - 171. Let z = c - 126. Is 1 smaller than z?
False
Let a = 3884/19395 - 1/3879. Are 882/11 and a nonequal?
True
Let z(i) = -9 + 20*i + 3*i**3 - 3*i**3 - 3*i - 7*i**2 - i**3. Let x be z(-9). Let b be (x + 1)/((-11)/77). Which is smaller: b or -5?
b
Suppose 2364*m + 1535 = 2359*m. Is -307 equal to m?
True
Let x be 8/(-6)*(3690/(-420))/41. Does x = -107/2?
False
Let q = 4.026 - 5.026. Do -1489 and q have the same value?
False
Let z be (5149 - (6 + -21)) + -3. Which is bigger: z or 5159?
z
Let s be 0*12/(-180) + (-197 - -2). Is s less than or equal to -1756/9?
False
Let o = -13.1036 + 0.8078. Let g = o - 0.1042. Which is greater: -1/3 or g?
-1/3
Let w = -0.15 + -3.85. Let u = -8.86 + 4.36. Which is greater: w or u?
w
Suppose 5*x = 2*o - 4, -3*o + x - 2*x + 23 = 0. Suppose -27 = o*w - 20. Which is bigger: w or 3/83?
3/83
Let b be -1*(-2)/12 + 136/(-1392). Suppose 5*g = -10, 4 = j - 15*g + 13*g. Which is bigger: b or j?
b
Suppose 0 = -8*f + 7*f + 2. Suppose 9 - 3 = f*t. Let j be ((-4)/22)/((-24)/198). Which is bigger: t or j?
t
Let p = -7568 + 7568.0322. Is -1 at least p?
False
Let c be 5 + (290 - (-6 + 14)). Is -2 >= c?
False
Let s be 30/(-2676)*(4/16 - 44/48). Which is smaller: 0 or s?
0
Let j be (-75)/(-60) - 2/(20/15). Is j smaller than -129/7?
False
Let t be (15 - 255/(-10)) + 3 + 1. Which is smaller: t or 44?
44
Let m = 0.09 - 56.09. Let t = 57.7 + m. Which is smaller: -2 or t?
-2
Let p = 9 + 1. Let z = p + -9.8. Suppose -3*u = -2*t + 83, -35 = 5*u + 2*t + 82. Are u and z nonequal?
True
Suppose 7 = 3*k + 2*d, -2*k + 3*d + 5 - 9 = 0. Is 519 less than or equal to k?
False
Let g(v) be the third derivative of v**6/120 + 23*v**5/60 - 5*v**4/12 - 43*v**3/2 - 84*v**2 - v. Let n be g(-23). Is n > 102?
False
Let q be (-22659)/4565 - 8/(-22). Let s = q - -233/50. Are s and -1 nonequal?
True
Let n be ((-2)/(-3))/((-11100)/405 + 0). Let t = 10631/4070 - n. Which is bigger: 2 or t?
t
Let i = -121.745 + 121.645. Let s = -2251 + 1447392/643. Is s <= i?
False
Let f = 6927 - 7054. Is f less than -128?
False
Let u = -36092 + 36092.018. Let f be (2/(-8))/(4/8). Is f at least as big as u?
False
Suppose -129*l - 66 = 57 + 6. Is -13/1356 less than l?
False
Let c(b) be the first derivative of b**2/2 - 20*b - 1. Let w(s) = 5*s**2 - 116*s + 532. Let v be w(6). Let l be c(v). Is l > -31/6?
True
Let o be ((-3)/(-349))/((-5)/(600/(-2070))). Which is bigger: -1 or o?
o
Suppose -8*y - 2008 = -120. Let c = y + 237. Let a = -0.08 - 0.72. Which is smaller: a or c?
a
Let k be 16/(-112)*-133*-2. Let z = -11323/3 - -3737. Let h = z - k. Do -43 and h have the same value?
False
Suppose 2 = -6*d + 32. Suppose -d*k - 113 = -113. Are k and 15/38 equal?
False
Let z = 6/3025 + 5876/87725. Let u(j) = -j**3 + j**2 - 2*j + 1. Let k be u(1). Is z equal to k?
False
Let o = -2133 - -3813. Let w = 506152 + -2522386/5. Let r = o - w. Is r less than or equal to 4?
False
Let p(u) = -u**2 + 6*u + 12. Let b be p(-6). Let h be ((-236)/177)/(1/b + 0). Suppose -2*j + h = 66. Which is smaller: j or 8?
j
Let u(p) = 5*p**3 - 30*p**2 + 6*p + 16. Let k be u(5). Suppose 3*v + 2*d = -242, -v - 42 - 42 = 4*d. Which is smaller: v or k?
v
Suppose 0 = s + 3*p - 8, 3*p = 4*s - p - 16. Suppose a = 2*f + 13, 4*f = -s*a + 6*f + 49. Which is smaller: a or 11?
a
Let t be 60/150 - (1058/(-70))/(-1). Let x = -997/63 - t. Which is smaller: x or -1?
x
Let w = -1356 + 74582/55. Let r(y) = y**2 - y**3 + 3 - 5*y**2 + 2*y**2 + y - y**2. Let s be r(-3). Is s smaller than w?
True
Let j = -2/143719 + 448115856/1006033. Is j bigger than 444?
True
Let n = -0.5793 - -0.1793. Which is smaller: -93 or n?
-93
Let k = -10 - -7. Let t be k*(-6)/9 + 184/8. Let c = -26 + t. Does -1 = c?
True
Suppose -59*j = -74*j + 37*j. Are j and 15/91 nonequal?
True
Let x = -2 + 2. Suppose 2*m - 5*m + 3 = x. Let s be -1 - (100/(-750))/((-6)/(-46)). Which is smaller: m or s?
s
Let m(a) = -a**2 - 4*a + 2231. Let o be m(0). Let n = 13313/6 - o. Is n less than or equal to -11?
True
Let q = -156 + 29. Let k = 126.502 + 0.778. Let p = k + q. Which is smaller: -0.1 or p?
-0.1
Suppose 0 = -0*y + 3*y - 63. Let f = y - 13. Let q be 2 - -6 - 23/(69/9). Which is greater: q or f?
f
Let w = 10538 + -126551/12. Which is smaller: w or -7?
w
Let q(t) = 11*t + 38. Let f be q(7). Suppose -a + 135 = h, -f = -a - h + 4*h. Is a at most 132?
True
Let u = 194 + -192. Suppose -l - l = 0, -5*l - 276 = -4*k. Is k equal to u?
False
Let n be (-1)/4 + (-661)/(-4). Which is bigger: n or 168?
168
Let m = 2/3787 - 7688/215859. Let c(x) = 3*x + 33. Let r be c(-10). Suppose 0 = 4*h, -6 = -r*u + 2*h - 3. Which is greater: u or m?
u
Let k = 3316 - 3322. Is k at least -0.37?
False
Suppose 2*s = -6*j - 16, s + 3*j - 7 = 5*j. Let p = -616 - -8013/13. Is s <= p?
False
Suppose 42*s - 43*s + 442 = -5*a, 0 = -2*s + a + 938. Which is smaller: 473 or s?
s
Suppose 50*g - 24*g = 5694. Let u = 177 - g. Is -42 smaller than u?
False
Suppose 0 = 4*q - 0*q - 4. Let z be (-1 + 2190/1540)/(-2) + 1/4. Is q bigger than z?
True
Suppose -84 = 2*o - 766. Let u be (740 - 58)*(-2)/(-4). Do u and o have the same value?
True
Let s(a) = 2 + 3*a - 37*a - 10*a. Let u be s(1). Let o(n) = -8*n + 21. Let g be o(8). Is u at least as big as g?
True
Suppose -63*c - 38*c = 12*c + 312219. Is c <= -2762?
True
Suppose -2*f + 3*p = 1 + 16, p - 6 = f. Let j = -475 + 152. Let b = j + 4847/15. Are b and f non-equal?
True
Suppose 2*g + 5*y = 6*g + 54, 13 = -g + y. Let k(a) = -a**2 - 11*a - 3. Let p be k(g). Suppose 19 = -4*n - m, -n - 5*m + 104 = 123. Is p smaller than n?
False
Let v = 220 + -222. Suppose z - 5*z = 0. Let m = z - 4. Is m at most v?
True
Let v be (3/(27/29))/((-16)/(-1248)). Let y = v + -258. Which is greater: y or 0.5?
0.5
Let a be (9 - 5 - -7) + -5. Let b be 645/(-10)*(-8)/a. Is b at most 87?
True
Let c = -7857 + 7857. Which is smaller: 741 or c?
c
Let g be (-12)/((-1)/1) + -1*1. Let q = g - 10. Let l be q*-4*318/24. Are -53 and l nonequal?
False
Let j(w) = 18*w**2 + 7*w**2 - 19*w**2 + 5*w + w**3 + 1 - 4. Let c be j(-5). Let a b