n 27?
False
Suppose 4*t + t - 4*l - 22 = 0, 3*l = -2*t - 5. Suppose t*j = -j - 24. Let o be (-15)/10*j/(-6). Is o at most -0.05?
True
Let n(a) be the first derivative of a**3/3 + 3*a**2/2 - 47*a - 16. Let z be n(5). Is z smaller than -7?
False
Let v be (-7)/(-5) - (32/20)/4. Let m be 1 + v + (-14)/1995*282. Is m greater than 1?
False
Suppose 2*w + 0*y + 2*y - 18 = 0, -2*w = -5*y + 17. Suppose w*q + 0*v = 5*v - 17, -3*v = -4*q - 7. Let s be q/(-5) + (-14)/10. Which is bigger: s or -2?
s
Let x = -75.5 + 69. Let k = 6.7 + x. Is 10 > k?
True
Let h(t) = t**2 - 3*t. Let f be h(4). Let z = -30/73 - -1215/292. Which is greater: z or f?
f
Let h be (-8)/(-2) - ((-3755)/(-325) + -3). Let z = 22/5 + h. Is 1 greater than or equal to z?
True
Let p(t) = -t**3 - 21*t**2 + 19. Let q be p(-21). Suppose -9*w = -8*w - 19. Are w and q unequal?
False
Suppose 3*y + 2 + 4 = 0. Let t = -28 + -33. Let f = t - -60. Is f bigger than y?
True
Let f = 3463 + -3452. Suppose -4*c - 5 - 45 = -5*n, 2*n - c - 20 = 0. Is n >= f?
False
Let d = 0 + 2. Let t = 27 - 23. Suppose t*f + 15 = 9*f. Which is smaller: d or f?
d
Let k(u) = -u**2 - u - 9. Let t be k(0). Let j be -2 - -2*t/(-2). Suppose 0 = -2*b + j*b - 35. Which is smaller: b or 8?
b
Let r = 203 - 203. Do -4/15 and r have different values?
True
Let a = 212 - 215. Which is bigger: a or -27?
a
Let h = 45 + 4. Let y = -48.8 + h. Which is greater: y or 1/3?
1/3
Let n(w) = w**3 + 10*w**2 - 11*w + 1. Let d(s) = -s**2 - 6*s - 4. Let t be d(-7). Let o be n(t). Let f be -2 + (0 - -3)/o. Which is bigger: f or 0?
f
Suppose 0 = 4*s + l + 83, -4*s + 3*s = l + 23. Let b be (s - -19)/(1/(-2)). Suppose b*p - 2*k + 7*k = 43, 4*k - 11 = p. Which is smaller: 10 or p?
p
Suppose -76 = -i - 3*i. Suppose -22*t + 3 = -i*t. Let a = -4408/15 + 294. Is t >= a?
True
Let v(p) = p**2 + 15*p - 1. Let u be v(-9). Let i be u/(-15) + 3/9. Let x be ((-2)/i)/(6/(-36)). Is 6 equal to x?
False
Let o be (-36)/(-27)*((-339)/(-138) + -2). Let a be 3/(-1 + (2 - -2)). Are a and o equal?
False
Let g = -153 - -442/3. Is -6 != g?
True
Let t = -10 + 13.6. Let m = -3.43 + t. Let q = m - 0.17. Is -0.05 equal to q?
False
Let n = -457/54 + 17/2. Which is smaller: -1 or n?
-1
Let j = -130 - -202. Let o = -73 + j. Which is smaller: 1/51 or o?
o
Let z = 13 - 8. Let x = 6 - z. Let s(f) = -2*f - 1. Let c be s(x). Which is smaller: c or -1?
c
Suppose -8*c + 117 = -5*c. Suppose -w = -c + 1. Is 38 at least as big as w?
True
Let d = 11747/7 - 1678. Which is smaller: 4/5 or d?
d
Let a = 16 + -4. Let z be 1 - (-4)/(a/5). Is 4 bigger than z?
True
Let j = 2 - 1.7. Let z = 991/7 + -142. Is z < j?
True
Suppose -687*k + 160 = -688*k. Is k less than -476/3?
True
Suppose -4*y - 68 = -q, -3*y - 2*q = 27 + 24. Is y at least as big as -17?
True
Let w(r) = -r**2 - r + 2. Let b(l) = -l**3 + 4*l**2 - 1. Let g be b(3). Let t be (1 + -1)/(g - 10). Let i be w(t). Are 4/7 and i equal?
False
Let a(z) = 2*z**3 - 2*z**2 - 1. Let y be a(2). Let w = y - 2. Suppose -m - 4*f + 2 = -f, -4*m + 8 = -w*f. Is m <= -1?
False
Suppose 2*r - 8 = 14. Suppose -175 = r*g - 6*g. Is -35 smaller than g?
False
Let i(p) = 4*p**3 - 76*p**2 + 17*p + 44. Let y be i(19). Which is smaller: 366 or y?
366
Let z(o) = -o**3 - 9*o**2 + 4*o + 3. Let x be z(-9). Let c be -2 + 62*3/(-6). Is c at most x?
True
Suppose -6*i + 3*i = -3. Let q be ((-6)/(-4))/(1/2). Suppose -1 = -4*m + q. Is i < m?
False
Suppose 0 = 4*f - 5*h + 24, 5*f = -2*h - 19 - 11. Let g be (-5230)/f + (-5)/(-15). Let a = g + -11342/13. Which is smaller: a or 0?
a
Let l = 314 - 307. Let v be (-63)/(-6) - 2/4. Let j(q) = -q**2 + 12*q - 15. Let n be j(v). Which is bigger: n or l?
l
Let i(u) = -5*u + 1. Let w be i(1). Let b be (-18)/w*(-4)/3. Let y be 4 - 6 - (0 + -2 + 7). Which is greater: y or b?
b
Let y be (-10)/(-3)*234/10. Let w be 147/y + 1*-1. Let i = -5/13 + w. Which is smaller: i or 1/5?
1/5
Let o = -0.409 - -2.409. Which is smaller: o or -7?
-7
Let k be 807/(-870) - 10/(-100). Which is bigger: 0 or k?
0
Let v = 6 + -4. Suppose -5*a - 71 = -2*z - 0*a, -5*a = -5*z + 155. Let o = z + -23. Is v greater than o?
False
Let w = -23476/19 + 1236. Suppose s + 8 = i + 4*s, -5*s = -15. Which is smaller: i or w?
i
Suppose 0 = -3*j + 14*d - 18*d - 539, 3*j + 544 = d. Which is smaller: -182 or j?
-182
Let c = -1.61 - -0.41. Let b = c - -2.2. Is 0.1 at least as big as b?
False
Let s = -301 + 302. Is s > -5/13?
True
Let w = 49/3 - 16. Do w and -233 have the same value?
False
Let d(o) be the third derivative of -o**5/20 - 5*o**4/6 + 4*o**3/3 - 19*o**2. Let j be d(-7). Which is greater: j or 1/108?
j
Let i = -3/260 - 19/156. Which is smaller: i or -0.09?
i
Let r = 59 + -58. Let v be ((-8)/(-264))/((-22)/12). Which is smaller: v or r?
v
Let x(v) = v**3 - 8*v**2 - v. Let y be x(8). Let d = y - -7. Which is greater: -2/7 or d?
-2/7
Suppose 5*l + 5*p = 185, 5*l + 3*p - 193 = 2*p. Let v be (-2)/13 + 474/l. Suppose 4*c - 8*c = v. Is -1 greater than c?
True
Let b(z) be the third derivative of -z**5/60 + 13*z**4/24 + 7*z**3/3 - 13*z**2. Let s be b(14). Let w = -38/25 - -3/25. Which is smaller: s or w?
w
Let q = 1/78 - -25/78. Suppose -f = -5*c + 5, 0 = -4*c + 3*c - 5*f - 25. Which is bigger: c or q?
q
Let c be (6 + -3)/(-12)*0. Is c != -5/49?
True
Let f(w) = -w**3 + 9*w + 10. Let x be f(-2). Is x > 24/23?
False
Let m = -321 - -4497/14. Suppose 2*u - 2 = -4. Is u not equal to m?
True
Let c = 0.3 + -0.12. Let j = 2385 + -2384. Which is smaller: j or c?
c
Let o = -1 + 1. Let y = -742 - -734. Is o != y?
True
Let h be 7 - (659/(-12) - (-7)/42). Which is greater: h or 62?
62
Let q = 20 + -21. Let f = -58 + 309. Let k = 2763/11 - f. Is k less than or equal to q?
False
Suppose -2258 = 7*m - 2279. Let i(b) = b**2 - 8*b + 8. Let r be i(6). Let o be (r/6)/((-2)/9). Is o at most m?
True
Let f = 17 - -6. Let h be 9/12 + 15/(-20). Suppose 5*a + 10 = h, -5*b + 110 = -8*a + 13*a. Is f >= b?
False
Let l(f) = 2*f**2 - 15*f + 7. Let y be l(7). Let t be (-27)/(-9)*(y - -1). Let u be 1 - (1 + (-36)/21). Is u less than or equal to t?
True
Suppose 3*o = -12, 3*o - 6 = b - 123. Which is greater: 0 or b?
b
Let b be (-9)/(-10)*184/10. Which is smaller: 18 or b?
b
Let z = -17 - -53. Which is smaller: 35 or z?
35
Let i be 21/(-84) - (0 - (-297)/12). Suppose -3*y = -36 + 117. Which is greater: y or i?
i
Let m be (-14)/4 + 3 + 435/(-10). Let k be (-66)/(-8) - (-11)/m. Is 5 != k?
True
Suppose -4*h + 19 = -r, 2*h - 4*r = -13 + 5. Suppose 4*g - 6 = g. Which is greater: h or g?
h
Suppose 5*v + 0*x + x = -174, 14 = -v + 5*x. Let l = 34 + v. Let f = -322 + 11272/35. Is f < l?
False
Suppose -4*c = w - 17, 2*c = -3*w + 3 + 18. Suppose 2*a - 13 - w = 0. Which is smaller: 3 or a?
3
Let g be ((-120)/14)/(55/35). Let u = g + 278/55. Let z(q) = q**3 - 1. Let o be z(0). Which is greater: o or u?
u
Let m = 919 + -920. Which is smaller: -4 or m?
-4
Suppose 721 = -9*b + 1198. Which is smaller: b or 217/4?
b
Let l = 63.06 - 75.1. Let u = 12 + l. Let m = -0.11 - -0.21. Which is greater: u or m?
m
Let b(m) = m**3 - 16*m**2 + 3*m - 21. Let a be b(16). Suppose 0 = 4*i + 5*c + 9, 0*i - 3*c = -3*i - a. Let k = -392/3 - -126. Is i greater than or equal to k?
False
Let c(b) = 11*b + 45. Let z be c(-4). Is -0.069 less than z?
True
Let u be (1/(6 - 4))/(-2). Which is bigger: u or 1/4?
1/4
Let m be 388/(-90) + 1*(-16)/72. Is -6 > m?
False
Let v = 43597/520 - -183/104. Let o = -9864/115 + v. Which is smaller: 1 or o?
o
Let f = -377 - -348. Is f > -31?
True
Let z be (-31 + (-1121)/(-38))/(-1 + 4). Let q = 14 + -21.5. Let g = q - 1.5. Does g = z?
False
Let r = -5 - -3. Let x be 3/(-2)*(4/(-9))/((-40)/(-15)). Which is smaller: r or x?
r
Suppose w = 3*r - 14, -3*r + 2*w + 16 = 6. Suppose -3*v - 93 = 3*f - r*f, -3*v = 2*f - 42. Let p = 28 - f. Are 3/7 and p equal?
False
Let m be (16/(-28))/((-3)/42). Let c be (1/(-15))/((-4)/m). Suppose -4*v = 12, 0 = -3*d - 3*v - v - 9. Is c less than d?
True
Let f = -183 - -1283/7. Is 11 < f?
False
Let b be (7/112*-18)/(30/488). Which is bigger: b or -18?
-18
Let t = -30727 + 17299307/563. Let h = -51209/2252 - t. Which is smaller: h or -24?
-24
Let s(t) = 70*t - 61. Let z be s(1). Let f be ((-14)/20)/7*-82. Is z smaller than f?
False
Let v(l) = 4*l**2 + 77*l - 27. Let x be v(-20). Which is smaller: x or 28?
28
Suppo