 113968/115 + -991. Which is greater: z or -2?
z
Let n(t) = t**3 + 8*t**2 - 3*t - 5. Let q be n(-8). Suppose -4*d + q = u, 0 = 3*u - d + 3*d - 7. Let c = 2791/7 - 400. Which is smaller: u or c?
c
Let a be (2 - (-7)/(-21))/(1/3). Suppose w + 24 + 8 = -a*b, -b - w = 4. Which is greater: -6 or b?
-6
Let s be (-6*1/(-35))/((-51)/4250). Which is greater: s or -14?
-14
Suppose 0 = -3*d - 29 - 13. Suppose -13*u + 8*u - 75 = 5*n, 0 = 3*n + 2*u + 44. Is n less than or equal to d?
True
Suppose -22 + 13 = p. Is -7 equal to p?
False
Let d = 0.0089 + 4.9911. Let f = 6 - 5.94. Are f and d non-equal?
True
Let p(j) = -56*j - 1. Let l be p(3). Is -169 <= l?
True
Let k = 14 + -5. Suppose 0 = k*x - 12*x - 3. Is x at most 2/49?
True
Let s(t) = 2*t**3 + 3*t**2 + 2*t. Let y be s(-2). Let d = -610 + 602. Is d greater than y?
False
Let c be -5 + 42 + (-3 - -1). Let b be (-1 - -10) + (-8 - c/(-7)). Is 5 at most as big as b?
True
Let w = -3.7 - -3.77. Is -0.06 not equal to w?
True
Suppose 5*y - y + 3*s + 242 = 0, -y - s = 61. Which is smaller: y or -0.2?
y
Let c be (-2)/6 + 52/(-6). Let m = -4 - -15. Suppose 0 = -7*x + m*x + 40. Which is bigger: x or c?
c
Let t(l) = 3*l**3 + 16 + 0*l**2 - 22 + 8*l**2 - 4*l**3 - 7*l. Let r be t(7). Which is greater: -7 or r?
r
Let g = -1.445 - -0.362. Let s = g - -0.083. Are -27 and s equal?
False
Suppose 0 = -4*c + 154*s - 150*s + 28, 0 = -5*c + 4*s + 32. Which is smaller: c or 108/35?
108/35
Let n = 42922/1435145 - -4/7285. Which is smaller: n or -1?
-1
Let p = -88 + 78. Let d = -9.96 - p. Which is smaller: -2 or d?
-2
Let i = 43 - 45. Let z be (-3 + 1)*3/6. Is z at least i?
True
Let v(u) = 6*u**2 + 6*u + 6. Let o(z) = z**2 - z - 1. Let c(g) = -3*o(g) - v(g). Let k be c(-4). Let y be (-2)/5 - (-126)/k. Which is smaller: -2 or y?
-2
Let o = 35.8 - -6.2. Let u = 41.98 - o. Let b = -0.02 + 0.32. Is b at most u?
False
Suppose 0*q - o = -2*q + 8, 0 = 3*q + 2*o + 2. Suppose -5*z - 3*n - 1 = n, -5*n = 3*z - q. Is 2/39 not equal to z?
True
Let z be ((-2)/(8/(-1050)))/(-54). Let m = z - -28/9. Let c = -64 + 61. Is c <= m?
True
Let y = -4866079/38 + 265033745/494. Let u = 408650 - y. Let l = 199 - u. Which is smaller: -1 or l?
-1
Let d = -260/3 - -86. Let o = -1.3 - -15.3. Let v = 16 - o. Is v not equal to d?
True
Let x(b) = -b**3 + 2*b**2 + 5*b - 4. Let o be x(3). Let f be 2/(o*1/44). Let w be (f/66)/(1*-1). Is -0.2 != w?
True
Let z be 5 + -4 + 0 + -4. Which is smaller: z or -24?
-24
Suppose -2*z + 76 = -5*r, 5*r + 2*z + 23 + 41 = 0. Let w be 8/(-14) - (-20)/r. Is w smaller than 52?
True
Let j(r) = -3*r - 9. Let f be j(-9). Let u = f - 18. Suppose -8*w + 3*w = u. Which is greater: w or 4/17?
4/17
Let t be (2/8)/((-162)/16). Suppose -x = 2*z + 3*z, 5*z = -5*x + 20. Which is smaller: z or t?
z
Let j be 30/(-25)*5*(-3)/9. Which is greater: 48 or j?
48
Let b = -1383 - 758. Let j = b - -456031/213. Is j > 0?
False
Let q be (-1)/94*(-42 + 10). Is 0 <= q?
True
Let y = -0.0693 + -3.3307. Which is smaller: -2 or y?
y
Let l = -494 + 494.1. Which is bigger: l or -15/19?
l
Let f(h) = -h**3 - 6*h**2 - 6*h - 6. Let d be (3 + -3)/4 + -5. Let x be f(d). Is x <= 2/95?
True
Let h be (-15)/(-306)*142/(-10). Let c = -1/34 - h. Does c = -2?
False
Suppose 0*h - 3*h = 189. Let c = -205 - -175. Let q be c/(-14) - (-9)/h. Which is bigger: 1 or q?
q
Let d be 10/8*(-2)/(-10). Let i = -273 + 144. Let w = -128 - i. Is d smaller than w?
True
Suppose 3*z = -n + 12, -z = -5*n - 4*z + 12. Let d = 389495/99912 - 702/181. Let y = d + 1/46. Is y greater than n?
True
Suppose 0 = 19*n - 15*n - 12. Suppose -5*u + 7 = -n. Let f be 8/14 + (-2 - -2). Is u equal to f?
False
Suppose 0 = -t + 4*r - 111, 0 = 5*t + 4*r + 557 + 70. Let k = t + 613/5. Let i(h) = h**2 + 5*h + 1. Let y be i(-5). Which is smaller: k or y?
k
Suppose -6*h + h + 35 = 0. Suppose 3*a - h*a = -16. Suppose -a*f - 1 = -5. Is 0 smaller than f?
True
Suppose 5*f = -3*a + a - 1208, 3*f + 3*a + 732 = 0. Is f smaller than -242?
False
Let x be 3 - ((4 - 1) + -4). Suppose x*n - 2 = 3*n. Suppose -2*o = -o. Which is smaller: o or n?
o
Let k(c) be the first derivative of c**4/4 + 2*c**3/3 + c**2 + 6. Let f be k(-2). Let z be (-1)/(-3) + f/12. Is z smaller than -1/19?
False
Let h(s) = s**3 - 8*s**2 - 10*s + 11. Let o be h(9). Suppose o*u = 3*u + 23. Is u > -23?
False
Let c = -279 - -218. Is 6 >= c?
True
Let g = 240 - 255. Is g greater than -14?
False
Let c = 983 + -866. Is c > 117?
False
Let x = -2 + 9. Suppose 2*a = 5*u + 4, 8*u - 3*u - 20 = 0. Let l be (-4)/(-6) - (-64)/a. Which is smaller: x or l?
l
Let c = 4.1 - 1.7. Let j = c + 0.6. Suppose -k = -3, -3*f - 4*k + 228 = 219. Which is bigger: f or j?
j
Suppose -15*b - 67 = 68. Suppose 4*p - 9 = -33. Which is smaller: p or b?
b
Let s be 1*(18/(-4) - -4)/(-1). Which is smaller: s or 3.7?
s
Let b be 2/7 - (-51)/42. Suppose y = -4*y - 60. Let g = y + 15. Does b = g?
False
Suppose 3*c + 816 + 204 = 0. Let d be 4/(-20)*-4 - (-282)/c. Which is smaller: d or -1?
-1
Let q = -676 + 676. Which is smaller: -3 or q?
-3
Let h be 4 - -1 - (-1250)/(-385). Let s = -24/11 + h. Let k(x) = x. Let u be k(1). Is u at least as big as s?
True
Let k = -34 + 60. Let i = -40 + k. Let a = -13 - i. Which is bigger: -1.1 or a?
a
Let m = -2.2 - -9.2. Let n = 0.02 + -0.12. Let a = n + -0.9. Which is smaller: a or m?
a
Suppose 11*d + 1098 = -1333. Is -220 not equal to d?
True
Let r = -10 - -4. Suppose g + 57 = 29. Let f be 4/24 - g/(-6). Is f at most r?
False
Let k = -2/131 + 8781/262. Which is bigger: 35 or k?
35
Let b = 262 + -250. Let q(h) = h**2 - 3*h - 7. Let s be q(6). Is b at least as big as s?
True
Suppose 0 = -38*b + 45*b. Let m be ((-1)/5)/((-8)/10). Which is bigger: b or m?
m
Suppose -8*i + 54 = 142. Which is greater: i or -37/3?
i
Suppose -4*v - 20 = -3*v - 4*z, 2*v + z = 5. Which is bigger: v or -5/14?
v
Let c be (-9 - -3) + 2 + 16. Let n be (-33)/c + 3 + 0. Which is smaller: 19 or n?
n
Let x(v) = -v**3 - 9*v**2 + 6*v + 3. Let z be x(-9). Let i be 2*(0 + z/(-36)). Which is bigger: 4 or i?
4
Let u = -0.05 - 0. Let y = u + 0.02. Let v = -0.07 + y. Which is greater: -5 or v?
v
Let g be (26/(-39))/((-2)/3). Let o be (0 - 3/21)*g. Which is smaller: o or 0.1?
o
Suppose 2 = -l - 2. Let n be (-9)/l*(5 - 1). Suppose -48*u + 16 = -39 + 7. Which is smaller: u or n?
u
Let l be (-41 - -2)*(8 - 161/21). Which is bigger: l or -6?
-6
Suppose i - 4 + 2 = 0. Suppose 0 = 6*q - i*q + 20. Which is greater: -6 or q?
q
Let w = -378.9 - -380. Is w smaller than -5/6?
False
Let h = -191/988 + 3/76. Is 0 at least as big as h?
True
Suppose 6*g - 3*g = t - 5, -g = 4*t + 19. Let f be g/((-4)/(-2*2)). Let m be (1 + f)/(-2) - 13. Are m and -12 unequal?
False
Let b(j) = 2*j**3 + 8*j**2 - 20*j - 5. Let k be b(-6). Does -29 = k?
True
Suppose 3*m - 3*j = 2*m + 4, 2*m - 2 = 3*j. Let o be ((-1)/6)/((-1)/m). Is o at most as big as 1?
True
Let k = -6 + 12. Let n be 457/k + -2 + -2. Let m = n - 72. Is 1 at most as big as m?
False
Let c = 9 - 8. Let s = 5 + c. Let r = 14 - s. Is r <= 2?
False
Let c = 53.012 - 53. Let d = -0.088 - c. Which is smaller: d or 1.6?
d
Let i(y) = -3*y - 8. Let v be i(-4). Suppose 0 = -m - v*m - 5. Let h be -1 - (m + 8)*-1. Which is greater: h or 5?
h
Let p(v) = -12*v + 542. Let g be p(45). Let r(f) = -64*f - 1. Let x be r(-1). Suppose -g*i = 5*i + x. Is -9 greater than i?
False
Let w = 14 - 9. Suppose -2*g = 5*d - 27, 0*d + 3*g + 22 = w*d. Suppose -d*x + 0*x - 35 = 3*t, 5*t - x + 21 = 0. Is -6 greater than t?
False
Let i(k) = -k - 33. Let a be i(-13). Let l = -261/13 - a. Suppose 3*r = 5 - 2. Which is smaller: l or r?
l
Let w be (1932/(-114) - -9) + 8. Suppose -3*c + 5*k = c + 6, -3*c + 4*k - 5 = 0. Which is bigger: w or c?
c
Let i = 168 - 171. Which is greater: i or 3?
3
Let r = -14 - -11. Let l be r/15*14*-5. Let i be (-6)/10*(l + -9). Which is smaller: -2 or i?
i
Let h = -122 - -122. Let b be -1 - 2*(-10 + (0 - h)). Are b and 19 non-equal?
False
Let q(j) be the first derivative of j**3/3 + 2*j**2 - j + 1. Let o be 99/(-24) - (-3)/24. Let f be q(o). Is f greater than -1?
False
Let d = 6.8 + -2.8. Let r = -3.87 + d. Which is greater: r or 0?
r
Let v(u) = 73*u + 13. Let z be v(-1). Which is greater: z or -58?
-58
Let r = 99 - 108. Let f = r - 13. Is f at least -23?
True
Let q = -284 + 257. Which is bigger: -