han 1?
False
Let d(p) = p**3 - 10*p**2 - 11*p + 1. Let z be d(11). Is z equal to 2/121?
False
Suppose 18*b - 8 = -386. Which is smaller: 2/49 or b?
b
Let m be (-3 - (-99)/15)/(13/(-10)). Is -4 smaller than m?
True
Suppose -3*u - 2*g = -47, 2*u = -2*g + 4*g + 38. Suppose -4*i - i - 2*k + 39 = 0, 3*i - u = 2*k. Is i >= 4?
True
Suppose -6*f - 23 = -b - 4*f, 0 = 2*b - 2*f - 40. Suppose -b = -4*z - z - 2*a, 3*z - 5*a = 4. Which is bigger: z or 20/11?
z
Let d(k) = -k + 19. Let y = -106 + 123. Let a be d(y). Is a at most 2?
True
Suppose 109 = -3*i + 4*g, 0*g = -3*i - 3*g - 102. Let v = -43 - i. Which is bigger: v or -6?
-6
Suppose -4*w = -2*l + 58, 2*l = -2*l + 2*w + 140. Suppose 4*v + 2*c = -58, v + l = -3*c - 2*c. Suppose 3*r + 22 = r. Which is greater: v or r?
r
Let g = 2 - -1. Let f be (-2)/9 + (-6)/(-27). Suppose 0 = d - 2*y - 1, f*d - 3*y = -3*d. Which is smaller: d or g?
d
Suppose 0 = -2*b - 9 + 3, 2*b = -5*u - 551. Is u at most -110?
False
Let i(p) = -p**3 - 2*p + 2. Let m be i(1). Let q = -46/5 - -481/55. Is q bigger than m?
True
Let c(l) = -l - 1. Let x be c(-11). Let h = -2 + x. Let v be (-2)/8*h/28. Which is bigger: 0 or v?
0
Let x be 0/((-3)/(-6)*-2). Suppose -4*p + 13 = d, 5*p - 14 - 1 = x. Let y be (-7)/6*-2 - 2. Are y and d unequal?
True
Let k be (-6 - (-96)/20)/((-6)/(-100)). Let t = 7 - 27. Is k equal to t?
True
Let n(z) be the first derivative of z**4/4 - z**3/3 + z**2/2 + 2*z - 2. Let d be n(0). Suppose 22 = 2*t + 16. Is t at least as big as d?
True
Suppose -7339 = -12*c - 571. Is c smaller than 565?
True
Suppose -15 = -0*q + 5*q. Let t be 75/6 + q/(-2). Is t smaller than 13?
False
Suppose n = -3, -n + 0*n = -5*b + 628. Suppose -b = 4*a + a. Is -24 >= a?
True
Let d be (1124/(-58))/((-4)/(-26)). Let x = 126 + d. Which is bigger: -1 or x?
x
Suppose -4*d + 6*d - 61 = w, 4*d + 82 = -2*w. Let p be ((-1)/((-12)/w))/((-9)/(-36)). Suppose z + 7 + 9 = 0. Which is greater: p or z?
z
Let f = 30 - -48. Let t = f - 79. Are -0.049 and t nonequal?
True
Let h = 93 - 98. Let m(w) = -2*w + 5. Let c be m(h). Is c > -1?
True
Suppose 15*s + 5*s = 240. Let l be -2 - (-1 - -1)/1. Let n be (-2)/(-46)*s/l. Which is smaller: 0 or n?
n
Let s = 1.3 - 8.3. Let m = s + 7. Suppose 2 = 3*i + i - 3*q, q + 8 = 5*i. Are m and i nonequal?
True
Suppose 0 = 4*f + 20*f + 240. Is -10 at most f?
True
Let b(p) = p**2 - 6*p - 7. Let y(m) = -3*m**2 + 17*m + 20. Let v(i) = -17*b(i) - 6*y(i). Let g = 309 - 311. Let f be v(g). Which is greater: 1 or f?
f
Let l = -135.957 + -0.043. Let q = 145 + l. Is q > 0.4?
True
Let h = -1 - -6. Let i = h - 4.9. Let v be -1 + 18/4 + (-3)/2. Are i and v nonequal?
True
Let g = 2980 - 11827/4. Which is smaller: g or 24?
g
Let f = -2254 + 2255. Let b = -4601/49760 - 2/1555. Which is greater: f or b?
f
Let l = -0.7 - -9.7. Let k = 6 - l. Let x = -2.8 - k. Is 0.2 at least x?
True
Suppose 2*n - 5*n = -3*j - 9, -3*j = 4*n - 12. Let k = 55 - 59. Let i be k/(-8)*2*1/1. Which is greater: j or i?
i
Let k = 16.4 + -31.5. Let z = -80 - -77.9. Let f = z - k. Which is smaller: f or 1/3?
1/3
Let o be (340/50 + -7)*5. Is 1.695 >= o?
True
Suppose 29 = j + 25. Suppose -j*f = -9*f - 5. Let k = 2 + 0. Are k and f unequal?
True
Let f be ((-1686)/(-42))/((-24)/28). Let m = f + 93/2. Is 3 less than m?
False
Suppose -5*n + 49 = -2*i, -2*i = -i + 2*n + 2. Is -10 greater than i?
True
Let l(t) be the third derivative of 0*t**3 - 1/24*t**4 + 1/30*t**5 + 0*t + 8*t**2 + 0. Let v be l(1). Which is greater: 2/11 or v?
v
Let i(t) be the third derivative of -t**4/24 - t**3/3 - t**2. Let l be i(2). Suppose -41*d - 4141 = -4018. Is l equal to d?
False
Let r(v) = -3*v - 5. Let a be r(-8). Let o(f) = -2*f + 37. Let q be o(a). Which is smaller: q or -1/3?
q
Suppose -96 + 98 = i. Is i >= -2/5?
True
Let n be (-389)/(-36) - (-8 - -7). Let y = n + -140/9. Let z be (14/42)/((-2)/24). Which is bigger: y or z?
y
Let x(w) = w**3 + 7*w**2 + 5*w + 2. Let g be x(-6). Let c(k) = -g - 8 + 14 + 3*k**2. Let y be c(3). Which is smaller: y or 26?
y
Suppose 0 = 9*o - 58 - 59. Is 13 less than or equal to o?
True
Let c(p) = 1. Let l(a) = -a + 2. Let q(y) = -4*c(y) + l(y). Let s be q(-2). Which is bigger: s or -4/61?
s
Let y(v) = v - 5. Let b(f) = f**3 + 5*f**2 - 3*f - 3. Let p be b(-5). Let i be y(p). Let q = 8 + -9. Is i not equal to q?
True
Let c(f) = -f**3 + 5*f**2 + 5. Let m be c(5). Let d be 4*(-1 + 0/1). Let w be 1 - (1 + (d - 1)). Is w less than m?
False
Let y be (-28)/(-2) + 2 + -1. Let m be (-3 - -3 - -1) + y. Suppose 0 = -4*v + k - 20, m = -v - v + 2*k. Which is bigger: -3 or v?
-3
Suppose -3*f + 151 - 58 = 0. Let c = -31 + f. Which is smaller: -2/29 or c?
-2/29
Suppose -5*j - 3 - 7 = 0. Let c(b) = b**2 + 15*b - 2. Let i be c(-8). Let m = i + 60. Is j at least m?
False
Let o = 2.409 + -0.409. Which is greater: o or -0.7?
o
Let u(a) = a**2 + 6*a - 20. Let j be u(-9). Let o = 4 - -4. Suppose -f + o*f = 56. Which is smaller: f or j?
j
Let s = 3.18 - 3. Let a = -8.08 + 8. Let u = a + s. Which is greater: u or -11?
u
Let x be 11 + (3/(-1))/(-3). Let f(z) = 8*z**2 - 11 + 39 - 7*z - 17 - z**3 - x. Let s be f(7). Does -3 = s?
False
Let y be (-2)/3 + 7/(-3). Let n be ((-123)/4)/1 + 1. Let k = n - -329/12. Is k smaller than y?
False
Let m = -1.3 - 12.7. Let z = -12.5 - m. Let u = -1.8 + z. Is -2/7 > u?
True
Let a = 3 + 2. Let m be (-10)/85 + 12122/3332. Let v = m - 1/49. Is v > a?
False
Let t be (18/45 + -1)/((-12)/820). Which is greater: 288/7 or t?
288/7
Let i(u) be the third derivative of -u**4/8 - 17*u**3/2 + 22*u**2. Let y be i(-17). Is y < 0?
False
Let x(q) = -18*q - 26. Let h be x(-2). Which is greater: 68/7 or h?
h
Let r(x) = -x**2 - 8*x - 4. Let w be r(-7). Let i be -5 + 6 + 0 + 2. Is w at least as big as i?
True
Let s(g) = 2*g**2 - 32*g - 41. Let n be s(17). Let o be 2/n - (108/182)/6. Are 1 and o non-equal?
True
Let u be -46*9/6*120/(-18). Is 461 less than u?
False
Suppose -21*p = -14*p + 77. Is p >= -114/11?
False
Let m = -62.9 - -67. Let s = m + 3.9. Which is smaller: s or 1/4?
1/4
Let a = -26 + 123. Suppose -268 = -4*i + 116. Which is smaller: i or a?
i
Let d be (-1)/(-2)*2*-1. Let s = -5127/43 - -119. Are d and s non-equal?
True
Let u(t) = 3*t**2 - 1. Let q be u(-1). Let s be (1/q)/((-5)/30). Suppose -10 = 3*p + 2*z + 1, 23 = -3*p - 5*z. Which is smaller: s or p?
s
Let u(l) = -l**3 - 3*l**2 - 6*l - 32. Let p be u(-5). Is 51 bigger than p?
True
Let d(g) = 73*g**2 - 73*g**2 - g + g**3. Let s(a) = 2*a**3 + 4*a**2 + 2*a + 1. Let b(x) = d(x) - s(x). Let f be b(-3). Is -1 greater than or equal to f?
True
Suppose 2*h - 3 = h. Suppose q - 144 = -h*q. Let r be 2*3/q*-2. Is r greater than 1?
False
Let f = 389 - 714. Which is smaller: f or -326?
-326
Let b(d) = -d - 25. Let t be b(-13). Let u = 48 - t. Let f be 952/u + (-8)/(-60). Which is bigger: f or 14?
f
Let s = 205/6 - 481/14. Which is greater: -1 or s?
s
Let h(f) = 247*f - 359. Let p be h(4). Which is greater: 628 or p?
p
Let a(d) = -11*d + 5. Let c(o) = 5*o - 2. Let m(u) = -6*a(u) - 15*c(u). Let g be m(-2). Let j be 20/90 - 4/g. Which is smaller: j or -3?
-3
Let o = 7/101 - -107/2828. Let d = 716 + -717. Is o at most as big as d?
False
Let p(k) = -k**3 + 4*k**2 - 2*k - 1. Let z be p(3). Let i(h) = -10*h - h + z*h. Let u be i(-1). Is u not equal to 9?
False
Let t = 161 + -157. Is -2 at least as big as t?
False
Let h = -349.85 + 350. Is -1 at most h?
True
Let j(x) = -x**2 - 22*x - 93. Let f be j(-9). Is f <= 22?
False
Let k(n) = -5 + 3 + 5 - 7 - n. Let q be k(8). Let d be (-3)/q*42 - 4. Is d equal to 7?
False
Let a = 5 - 9. Let x(q) = -30*q**2 + 28*q**2 - 2*q + 2 + 4. Let t be x(-3). Is t >= a?
False
Let t = -23.4 + 24.4. Is t <= -2/27?
False
Let x = -246 + 246. Which is greater: x or -1/23?
x
Let s = 0.01 + 1.99. Let m = 86679/49 + -1769. Which is greater: s or m?
s
Suppose 0 = 2*v - 110 - 0. Let f be (-2 + (-12)/(-5))*v. Suppose 5*x = -52 + f. Is x smaller than -6?
False
Let a be (-1 + 327/6)/((-18)/(-36)). Is a less than 109?
True
Suppose 6*u - 795 = -669. Is u bigger than 23?
False
Suppose -3 = -f - 6, 0 = -4*x + 5*f + 87. Suppose 5*t + 101 = 3*v, -4*t = 5*v - 11 + 77. Let i = x + t. Is -2/3 smaller than i?
False
Let w = -17002/1821 + 2/607. Which is smaller: w or -10?
-10
Suppose -4*m = m + y, y = 4*m. Let h be m + 0/(2/1). Is h >= 