15, 0 = 2*w - 4*z + 20. Let g = w + 6. Is g < -5/2?
False
Let k be 46/(-40) - 8/(-20). Suppose q + 5 + 8 = -3*v, 0 = 3*q + 3. Let i(a) = -a**3 - 5*a**2 - 4*a. Let d be i(v). Which is greater: k or d?
d
Suppose -4*d - 4 = -3*d. Let w be d*(-2)/(-6)*-3. Suppose -4 = -x, -12 = -w*k - 3*x - 4. Are k and -1 nonequal?
False
Suppose -3*n + 5*n - 4 = 0. Let i be ((-522)/12)/((-11)/n). Let k = 1849/231 - i. Which is bigger: k or -1?
k
Let v(q) = 2*q - 7. Let y be v(5). Let l be 2/y - (-6 - -5). Is 3 < l?
False
Suppose 0 = -5*a + 7 - 12. Are -1.2 and a unequal?
True
Let m be (-12)/18 + 5/3. Is 1 at most m?
True
Let z(t) = t**3 + 2*t**2 + 3. Let s be z(-3). Let o be 1*6*21/(-42). Which is greater: o or s?
o
Let l be 2/(-8) + 5006/16. Let c = l - 313. Let g = 26 + -25. Is c at least as big as g?
False
Suppose -4*n + 2 = -6*n. Is -10/9 greater than n?
False
Let q = -22 - -20. Is -10/9 equal to q?
False
Let j = -2100 - -10458/5. Is j less than or equal to -9?
False
Suppose -4*n - 2*u = 2, 5*n - 11 - 3 = 3*u. Let g = 0 + n. Which is bigger: 2 or g?
2
Suppose -7 = 2*n - 3*f, -2*f + 6 = -n - 0*n. Suppose n*i - m = i + 40, -2*m - 56 = -4*i. Let p be ((-8)/18)/((-8)/i). Which is smaller: p or 1?
p
Suppose 0 = -3*h + 4*a - 12 - 3, a = 3. Which is greater: h or -0.21?
-0.21
Let m(o) = o + 3*o**2 + 2*o**2 - 6*o**2. Let f be m(2). Let d be (-2)/5 + 6/10. Is d at most as big as f?
False
Suppose g + 2*a = -1, a + 4*a = 0. Let l = 243 - 1698/7. Let r = l - 83/161. Is r <= g?
False
Let x be (47/6)/(5/1143). Let w = 1789 - x. Let g = 59/20 + w. Do g and -1/2 have different values?
True
Let q(j) = -3*j + 7. Let z be q(3). Is z smaller than -5?
False
Let s = 63 - 62.8. Let p = 2 - 0. Which is smaller: p or s?
s
Let j = -1 + 0. Which is greater: 8 or j?
8
Suppose 3*q = 3*d - 228, -d + q + 301 = 3*d. Suppose 6*l = 3*l + d. Which is smaller: 0 or l?
0
Let w be (-2 - 126/4)/((-6)/(-12)). Are w and 1 nonequal?
True
Let m be (144/(-3348))/(-2*1). Which is bigger: -1 or m?
m
Let v = -66 + 66.1. Do 3/53 and v have the same value?
False
Let u = -0.45 + 0.45. Let j = 1.5 - 2. Is u greater than j?
True
Let x = 14 - 13.9. Is -4/9 > x?
False
Let x be (-116)/(-10) - (-16)/40. Let g be (1/14)/(3/x). Which is bigger: g or 0.6?
0.6
Suppose 0 = 7*l - l. Let w be (3/164)/((-1)/(-30)). Let s = 2/41 - w. Does l = s?
False
Let d(m) = 2*m - 4. Let g(w) = 5*w - 9. Let p(z) = -7*d(z) + 3*g(z). Let u be p(-2). Let v be -1 - (u + 2 - -1). Does v = -3?
True
Let m = 33 + -57. Is -24 less than m?
False
Let f = 0 - 6. Suppose 10*u + 21 = 7*u. Let c = 1 + u. Is f > c?
False
Let k = -112 - -110. Which is smaller: k or -4?
-4
Suppose -3*u = -3*h, 3*h = -3*u - h + 14. Let b(v) = v**3 - 7*v**2 + 6*v - 3. Let g be b(6). Is u smaller than g?
False
Let y(g) be the third derivative of -g**4/24 - 5*g**3/6 - g**2. Let w be y(-3). Let t = 12 + -12. Which is smaller: t or w?
w
Let c be (-8)/(-18)*(-54)/(-12). Which is greater: 10/7 or c?
c
Let c(n) = -n - 3. Let q be c(-4). Let w = 6 + -10. Let p be 2/w - 10/(-36). Which is bigger: q or p?
q
Let b = -4 - -2. Let c(z) = -z**3 - z**2 - 2. Let m be c(b). Suppose -m*t = -5*t + u + 5, 0 = t + 4*u - 19. Is -1 at most t?
True
Let n(h) = -h. Let y be n(-5). Suppose 4*g - 3*t = 20, 6 = y*g - t - 19. Suppose 1 = -g*k + 21. Is k greater than or equal to 4?
True
Suppose w + 7*g + 3 = 3*g, -3*w - 4*g + 15 = 0. Is 10 <= w?
False
Suppose r = 3*v + 4*r, 0 = 4*v - 5*r - 9. Let y be 1/3 + (-83)/261. Let o = y - -6/29. Which is smaller: v or o?
o
Suppose 3*y - 20 = y + 4*g, 2*y - 3*g = 15. Let u(c) = -c**2 + c + 4. Let z be u(3). Which is smaller: z or y?
z
Let h = 2.8 - 1.8. Is 0.01 bigger than h?
False
Suppose 5*a + 5*r = -15, 2*a - 4*r - 4 = -40. Is a smaller than -23/3?
True
Let a(z) = -2*z + 6. Let h be a(3). Is h bigger than -1/54?
True
Let m = -1.3 - -0.3. Let s be ((-3)/(-4))/((-2)/(-56)). Suppose -4*k = -5*h + s, -3*k - 13 + 1 = 0. Which is bigger: m or h?
h
Let p = 0 + -1. Let h = 92.88 - 97. Let q = -0.12 - h. Are p and q nonequal?
True
Suppose 4*a - 480 = 5*p - 0*p, -4*a - 480 = 5*p. Let n be p/9 + 1/(-3). Which is greater: n or -10?
-10
Let j(n) = n + 1. Let t(a) = -a**2 + 10*a. Let p(i) = 4*j(i) - t(i). Let m be p(5). Is 0 bigger than m?
True
Let o = -1440767753/595 + 2421459. Let h = 1/119 + o. Let y(z) = z - 8. Let f be y(9). Which is bigger: f or h?
f
Suppose -3*a = 8 + 7. Suppose 0 = 14*o - 27*o - 52. Which is smaller: o or a?
a
Let u be (-66)/34 + 14/7. Let z = u - -11/102. Which is smaller: z or -1?
-1
Let w(u) = u**3 + 11*u**2 - 12*u - 6. Let f be w(-12). Let o be f/((-51)/(-12) + -4). Does -24 = o?
True
Let f(g) be the third derivative of g**6/120 - g**5/10 + g**4/4 - 2*g**3/3 - 5*g**2. Let k be f(5). Is 2/11 at least k?
False
Let q = 10 + -15. Let v = q - -4. Let k = -3 - -5. Do v and k have different values?
True
Suppose 0 = w - 2 - 0. Let g be (4 - (1 - w))*-1. Let c = g + 0. Is -5 at most as big as c?
True
Let f = -3 + 7. Suppose -8*t = -4*t + 2*r + 8, -f*t = -4*r - 4. Is -2/3 at most as big as t?
False
Let u = -3 + 3. Is 2 < u?
False
Let d be (-5)/(1 - (4 + -4)). Which is greater: d or -4?
-4
Let p = -31 + 21. Suppose 3*l - 3*i + 18 = 0, 0*l + l + 3*i = -14. Does p = l?
False
Let s = 5.02 - 5. Let c = 0.02 - s. Which is bigger: -2 or c?
c
Suppose 5*q + 2*p = -0*p - 6, 2*p + 6 = 3*q. Is q less than 2?
True
Let z = 38 - 36. Do z and 5 have different values?
True
Suppose -2*c + 47 = 2*c - s, 10 = 2*s. Is 13 greater than or equal to c?
True
Let w(m) = m**2 + 9*m - 23. Let x be w(-10). Is -11 greater than or equal to x?
True
Suppose 0 = -12*f + 10*f - 50. Is -23 > f?
True
Suppose 4*z = -6 - 2. Which is bigger: z or -3?
z
Let o be (1/(-2))/(-2 - 25/(-10)). Suppose -5*j - 13 = -3*h, 5*h = -5*j - 7 + 2. Which is greater: o or h?
h
Let k = -0.002 - -19.002. Which is smaller: k or -0.2?
-0.2
Let t = -28 + 28. Which is smaller: 1 or t?
t
Let t be 1/(8/(-3) + 3). Suppose t*x + 5*q = 4*x - 21, -1 = -5*x - q. Which is smaller: x or 8/3?
x
Let r(t) = -t**3 + 4*t**2 + 3. Let i be r(5). Which is bigger: -24 or i?
i
Let g be 1/(-2) + (-3)/2. Let j be 124/(-40) + g/5. Which is bigger: -5 or j?
j
Suppose 0*l - 12 = 5*l - 4*h, 0 = -2*l + h - 6. Let i(o) = o + 9. Let q be i(l). Suppose -4*f + q = f. Is f smaller than 0?
False
Suppose 36*d = 15*d. Which is bigger: -2/409 or d?
d
Let n be (-2 + 0)/(1/(-3)). Let u = n + 0. Suppose -4*t - 2 = u, -4*o = -t - 14. Are 3 and o equal?
True
Suppose -8 + 4 = -q. Suppose -2*c - 2*t = -5*t - 7, 0 = -c - t - q. Let d = -8/5 + 11/10. Is c greater than d?
False
Let a be (6/(-56) + 0)/((-12)/480). Which is bigger: 5 or a?
5
Let o = -355 - -357.87. Let y = o - -0.13. Which is smaller: y or -0.3?
-0.3
Suppose -x + 18 = -3*x. Suppose 9 = -0*u - 3*u. Let v be 2 + -2 + x/u. Which is bigger: 2 or v?
v
Let b = 0.6 - 0.5. Let o = -0.67 - -7.69. Let j = o + -7. Is j < b?
True
Suppose 5*m = -s + 3*s, -2*s - 4 = -3*m. Let c = -2.1 + 2. Let g = c - -0.1. Is g greater than m?
True
Let m = 0.03 - -0.17. Let f = 0.6 - m. Which is bigger: f or 0.1?
f
Let h = 4.2 - 2.2. Is h greater than -2/19?
True
Let m = 24 - -20. Is m at least 0.1?
True
Let h = 3.74 - -0.36. Let o = -4 + h. Which is smaller: o or -8?
-8
Let w(a) = -2*a**2 - 6*a + 8. Let d be w(-4). Which is smaller: d or 1/32?
d
Let x = 4/83843 + 154103350/1760703. Let y = -262/3 + x. Is 1 equal to y?
False
Let l = 2 + -56. Is -53 at least l?
True
Let s(c) = 3*c**2 - 3*c + 2. Let g be s(3). Let a be (g/(-30))/((-2)/9). Let b be (-10)/(-4)*(-6)/(-9). Which is smaller: a or b?
b
Let c be 2/8 - (-21)/12. Suppose 3*q - 1 = c*q. Let m = 22 - 20. Is q less than m?
True
Let f be (-2)/6 + 2/6. Let c = 12 + -11. Suppose f = b + c. Is 0 > b?
True
Let y be 48/8 - (0 - 4). Which is smaller: 9 or y?
9
Let j be ((-9)/(-3))/((-3)/(-2)). Let h = -1 - -2. Which is bigger: j or h?
j
Let u = 132 - 922/7. Is 1 greater than u?
True
Suppose -2 - 7 = -3*d - s, -3*s + 3 = -3*d. Let z be (d + -1)/((-1)/(-3)). Suppose 2*f + z*m + 8 = 0, -3*f = -7*f - m - 6. Is 1/5 >= f?
True
Let g(z) = -9*z - 4. Let q be g(4). Let a = 119/3 + q. Suppose -3*o - o = -4*y + 12, 4*y = -3*o + 5. Which is bigger: a or o?
a
Let k(y) = -y**2 - y + 1. Let r be k(0). Let j be r/(1*(-3 - -4)). Is j at most as big as 2?
True
Let s = -9 - -11. Let n = -6 - -7