n - s = 4. Suppose -4*a + n = 4. Which is smaller: a or 0?
a
Let s(v) = -v**3 - 2*v**2 - 2*v - 1. Let z be s(-1). Suppose z*k = -k. Suppose -3*j = -j - 3*h - 37, k = 4*j + h - 95. Is 23 less than j?
False
Suppose -5*g + 0*g - i = -42, -3*g = -2*i - 33. Let q(m) = -2*m**3 - 4*m**2 + 15*m - 5. Let t be q(-6). Suppose -t - 97 = -29*a. Which is smaller: g or a?
g
Let y(g) = -2*g**3 - 6*g**2 + 9*g + 17. Let n be y(-3). Let h be 2*-4 + 1 + -2. Is h at most as big as n?
False
Let g(a) = 8*a**3 - 22*a**2 + 12*a + 74. Let t(j) = -3*j**3 + 7*j**2 - 4*j - 25. Let z(f) = 4*g(f) + 11*t(f). Let b be z(-11). Is b at least as big as -22?
False
Let p(j) be the third derivative of -j**4/24 - 5*j**3/3 - 3*j**2. Let r be p(-9). Let x be 0/(2/(r + 3)). Is x bigger than -1?
True
Suppose -27 = -4*h - 7. Let b = 8 + h. Suppose 9*o = b*o - 36. Is o smaller than 8?
False
Let p = 395 + -399. Are p and 33 equal?
False
Suppose -2*t + 3*t = 3, 3*n = 2*t + 81. Suppose -40 = -n*f + 27*f. Is 20 > f?
False
Let r = -100 + 100. Is -4/53 at least as big as r?
False
Let q be -882*1 + 77/(-7). Is -893 bigger than q?
False
Suppose 3*k - 14 = -1406. Let c be (-11)/(-88) - 134/k. Which is greater: c or 0?
c
Let w = 16 - 11. Let r(q) be the third derivative of -q**4/12 + 13*q**2. Let f be r(-3). Is f at most w?
False
Let j = -6 - -7. Suppose 2*k = k - j. Let y be (-7)/(-3) - (-2 - k). Which is smaller: 4 or y?
y
Suppose -10*w + 39 = 3*w. Let c = w - 4. Do c and -1/5 have the same value?
False
Let l = -27 - -27. Suppose 120 = 5*s - l*s. Let p be (-1)/(-1)*(-144)/s. Which is smaller: -5 or p?
p
Suppose 13*i - 8 = 5. Which is bigger: 42/55 or i?
i
Suppose 0 = 4*y - a - 3*a - 24, -y - 4 = 4*a. Suppose -y*g + 171 = -133. Let f be -2*(1 - 74/g). Does -1 = f?
False
Let r(l) = l**2 + 2*l. Let f be r(2). Suppose 4*n = 8 + f. Suppose 0 = -3*q - q - 5*j + 18, 0 = -n*q - 2*j + 24. Which is smaller: 8 or q?
q
Let q(c) = -42*c + 249. Let f be q(6). Suppose -2*g - d = -5*g - 19, d - 4 = 0. Let n be (-18 + 17)/(g/f). Which is smaller: -2 or n?
-2
Let w = -149 + 893/6. Let s = -0.72 - -0.7. Let m = s - 0.18. Is w greater than or equal to m?
True
Let s = 5 + 2. Let o(t) = -1 + 0*t**2 + 3*t**2 - 3*t - 6*t**3 + s*t**3. Let q be o(-4). Which is smaller: q or -1?
q
Let w(o) = o. Let r be w(-2). Let i be (r/(-4))/(5/(-30)). Let g be 18/24 + i/4. Is -1/16 != g?
True
Let k = 4 + -3.8. Let h = 7.306 - 4.247. Let l = h + -0.059. Is k equal to l?
False
Let h = -1 + -5. Let r be (-10 + 7)/(h/(-4)). Let p(q) = q**2 - 5*q - 8. Let a be p(6). Is a > r?
False
Suppose i - 2*n = 4*i + 13, -5*n - 25 = 5*i. Let x be (1 + 1)/(6/i). Which is bigger: x or 5?
5
Let w = -1.03 + 2.16. Let z = w + -1.2. Let t be (-2 + (-5)/(-2))*2. Is z equal to t?
False
Suppose 0 = 8*i - 403 - 301. Suppose -8*u - i = -0. Is u >= -12?
True
Let v = -596 + 596.32. Is v < -1?
False
Suppose -t + 24 = 12. Let c be -1*2*319/(-58). Are t and c equal?
False
Let f(o) = o**2 - o - 1. Let i be f(0). Let l = 25.27 + -25. Is l smaller than i?
False
Let t be (((-441)/(-35))/(-9) + 1)*-5. Let f = -16 + 14.7. Let b = f - -0.3. Is t at least as big as b?
True
Let v be (-3 - -7 - 4)/2. Which is greater: 13/16 or v?
13/16
Let o = -1 + 7. Let y be ((-12)/(-16))/(-1)*44. Let z = -29 - y. Which is greater: z or o?
o
Let h be -2 + 3 + 83 - 2. Let u = h + -78. Is u < 8?
True
Let m = -12 + 20. Let w = m - 8.1. Is w greater than -1?
True
Let h be (9/(-27))/((-1)/3). Let v(w) = -w**2 - 9*w + 10. Let r be v(-10). Is h <= r?
False
Suppose -8 = -2*f + 4*k, -7*k + 5*k = -2*f + 10. Let h(b) be the third derivative of b**4/12 - 7*b**3/3 - b**2. Let g be h(f). Are g and -10 equal?
False
Let v be 3/(-1) - 68866/(-3185). Let m = v - 93/5. Which is greater: m or -1?
m
Let z(l) = l**2 + 10*l + 8. Let c be -10 + (8/(-2))/(-4). Let i be z(c). Let g be (-5)/(-35)*3*i. Is g less than or equal to 1?
True
Let n = 1143 - 1143. Let q = -12 - -5. Are q and n non-equal?
True
Let a be (-71)/15 - 3/(-9). Is a != -5?
True
Let u = -11 - -31. Suppose 0 = 64*r + 58*r - 2684. Which is greater: u or r?
r
Let y = -33 + 32. Is y equal to -26/19?
False
Let a = 2.83 - 0.43. Let l = -11.4 + a. Which is greater: l or -6?
-6
Let s = 35 + -30. Suppose 2*x + 6 = 2*g - 16, -2*g = s*x + 41. Is -8 <= x?
False
Let d be -1*(-1 + (0 - -2)). Let a be (-4)/57*51/34. Let t = a + -12/247. Which is bigger: d or t?
t
Suppose -3*w + 2 + 4 = 0. Suppose d - 4 - w = 5*q, d + 2*q = -1. Which is greater: d or 2?
2
Let v be ((-3)/2)/(21/(-4)). Suppose 5*s + 23 = 3. Let c be s/(-6)*15/25. Which is bigger: c or v?
c
Let c = -4 - 278. Which is bigger: c or -283?
c
Suppose -2*g + 2 = -0. Let c(n) = 12*n**2 + 2*n - 2. Let s be c(g). Let y = -5 - -15. Is s at most as big as y?
False
Let l be -1 + 2*105/322. Is 1/2 greater than l?
True
Let p = -385 + 384.9. Suppose q - 11 = 4. Let z be 7/(-5) + (-9)/q. Which is smaller: z or p?
z
Let m = 3700/207 + -164/9. Which is smaller: 0 or m?
m
Let t(f) = 14*f**2 - 41*f + 68. Let b(d) = -5*d**2 + 14*d - 23. Let w(x) = -11*b(x) - 4*t(x). Let h be w(4). Is 19 greater than h?
True
Let h = 32 - 14. Suppose 21 = 3*n + h. Which is greater: -2/21 or n?
n
Let u = -12 + 21. Let c = u + -21. Let r = c - -12.1. Does r = 0.07?
False
Let n = -974 + 973. Let m = 4.4 + -4. Which is smaller: n or m?
n
Let g = 70 - 63. Let o(t) = t - 1. Let z be o(2). Is g at least as big as z?
True
Let j be 133/(-5) + (-21)/(-35). Let x(b) = -2*b - 31. Let g be x(-3). Which is greater: j or g?
g
Let o = 5696 + -23019/4. Let y = o + 3991/68. Does y = 0?
False
Let v be (-868)/18*6/(-4). Let j be ((-14)/(-4))/(-7)*142. Let z = v + j. Which is smaller: 0 or z?
0
Let t = -10 - -13. Suppose 2*q + 2*q = -5*p - 5, 34 = t*p - 5*q. Suppose 10 = -p*a + 4. Is 0 at most a?
False
Suppose 0 = -109*t - 73*t - 8*t. Let k = -4 - -2. Let u be k + (-2)/(12/(-14)). Which is smaller: t or u?
t
Let l = -6 + 6. Suppose -5*i - 4 - 11 = l, 5*i + 15 = -4*s. Let o = -376 - -3388/9. Which is greater: s or o?
o
Let z(u) = u**2 - 2. Let i be z(1). Are -1/71 and i non-equal?
True
Let q = 1/17 + -71/51. Let w(o) = -o**3 + 6*o**2 - 6*o + 4. Let i(k) = k - 5. Let c be i(10). Let g be w(c). Which is smaller: g or q?
q
Let t = 611 + -611. Let a = -0.3 + -0.2. Is a <= t?
True
Suppose 2*o = 4*q + 682, 0 = 5*q + 4*o - 271 + 1156. Are q and -173 unequal?
False
Let i = 134.9 - 141.9. Which is smaller: i or -2.4?
i
Suppose -2 = 2*o + 6, 4*d + 2*o = -12. Let p = -6/223 + -1471/3345. Which is greater: p or d?
p
Suppose 0 = -5*w - 2*o - 360, 5*w - 3*o + 218 = -117. Let i be (w/40)/(1/(-4)). Is 7 equal to i?
True
Suppose -2*v = 4*j + 16 - 0, -4*j - 12 = 4*v. Suppose w = -0*w + v. Suppose 5*x = -4*p - 6, -w*p = 4*x + p + 5. Is -1 < x?
False
Let f = 38739 - 4416205/114. Let z = 227/38 - 6. Let u = z + f. Are u and 1 non-equal?
True
Let y(j) = -2*j - 6. Let x be y(-6). Suppose 2*v - a - 35 = 0, -x*a = -v - a + 22. Let t be 291/18 - (-2)/(-12). Which is greater: v or t?
v
Let u be (0 - (-28)/(-20))*27. Which is smaller: u or -38?
-38
Let n = -2 - -6. Let p = 3006.02 + -3006. Is n at least p?
True
Let v = -0.199 - -0.299. Is v at least 0.162?
False
Suppose 2*s + 2 = -t, -3*s + 11 + 0 = -2*t. Let l be (16 - 16)*s/(-5). Is 1 smaller than l?
False
Let l = 358 + -357. Do -7/109 and l have the same value?
False
Let m = 62 - 28. Let q = -33.9 + m. Which is greater: q or 7?
7
Let h(j) = -j + 14. Let c be h(12). Let m be (-15)/(-6) + 21/c. Let v be 78/4*4/6. Is m at most v?
True
Let c = -24 + 14. Let q be (-4)/(-5)*25/c. Let i be 4/14 + (-4)/(-35). Which is bigger: i or q?
i
Let u = 11 - 5. Suppose -2*m + u*m + 8 = 0. Let q be 6/m - (-730)/240. Which is smaller: q or 0?
0
Let o be 44/28 - (-1 + (-11)/(-7)). Let b be o/(-2)*6/12*-1. Do b and -0.09 have the same value?
False
Suppose -15*s + 1814 + 2386 = 0. Which is smaller: 281 or s?
s
Suppose x = -2*x. Suppose x = 3*w + 21. Let f = -120 + 120. Is w less than f?
True
Let c be (15/(-8))/1 - -1. Suppose -4*z - 136 = -2*k - 4, -5*z - 4*k = 139. Let t = z - -30. Which is bigger: c or t?
c
Suppose 17 = 4*k + 81. Let f = -13 - k. Let y be (f/(-39))/1 + 0. Is 0 smaller than y?
False
Let o be 53/11 + (-6)/(-33). Suppose -4*u = -9*u, -u = o*c. Let x be 34/(-30) - (-2 - -1). Which is bigger: c or x?
c
Let q be (4/(-8))/((-6)/(-35928)). Let c 