y(l) be the third derivative of -l**6/120 + l**4/6 - 17*l**2. Let v be y(-2). Is v at least 36?
False
Suppose 3*y = -2*m - 2, -7*m + 21 = -2*m + y. Suppose 2*d + 4 - 10 = -4*q, -m*q = d - 15. Which is smaller: q or 0?
0
Suppose -121*c + 125*c + 2*b + 6 = 0, 4*b + 12 = 4*c. Let o be 4/6*(-3)/136. Which is bigger: c or o?
c
Let b = 116 + -68. Let l = -30 + b. Let o = 46 + -27. Is o bigger than l?
True
Let z = 87 + -147. Which is smaller: -59 or z?
z
Suppose -4*z = 3*w + 46, -20 + 0 = 5*z. Is -9 at least as big as w?
True
Let v be (-28)/4 + 3 - (4 - 1). Let l(n) = n**3 + 3*n**2 - 2*n + 4. Let o be l(-3). Let x = -16 + o. Which is smaller: v or x?
v
Let i = 13 + -8. Suppose 0 = i*n - 36 - 19. Suppose -4*b + 84 = 3*b. Is n at most b?
True
Let p = -3 + 2.9. Let z = -35 - -32.9. Let i = 17.1 + z. Which is smaller: p or i?
p
Let n = 17 + -11. Suppose -4*f + 5*k = -n*f - 11, -12 = 5*f - 3*k. Let b be -4 + ((-8)/4 - -4). Do b and f have different values?
True
Let i be (-4)/10 - 369/(-885). Is -1 at least as big as i?
False
Suppose -25 = 4*x + x. Let d be (1/2)/(x - 273/(-54)). Are 11 and d nonequal?
True
Suppose 0*l - 84 = -6*l. Let p = l - -4. Let i be 24/p*(-3)/(-2). Is i greater than or equal to 1/12?
True
Suppose s - 57 - 85 = 0. Are 142 and s non-equal?
False
Let h be 30350/78 + (-2)/6. Let l = 389 - h. Let x be (-6)/((-36)/(-3))*8 + 4. Are l and x unequal?
True
Let v = -748 - -697. Is v greater than or equal to -52?
True
Suppose 5*l = 4*p - 99, -4*p = -7*l + 4*l - 53. Does l = -22?
False
Let v = -1415 + 1412. Which is bigger: -6/247 or v?
-6/247
Let u = -38 + 59. Let r = u + -27. Let g be (r/21)/((-32)/28). Which is greater: 0.2 or g?
g
Suppose -31*c - d - 241 = -33*c, -2*c - d + 235 = 0. Is 117 greater than c?
False
Suppose p + 5*t + 86 = 4*p, 5*p + 2*t - 102 = 0. Let z = 21 - p. Let x be (z/2)/(5/(-160)). Which is bigger: 15 or x?
x
Suppose -5*u = 3 + 12. Let z be u/12*(-24)/(-27). Suppose 3*l - 5 + 1 = 5*r, -10 = -r - 3*l. Which is bigger: z or r?
r
Let z be (0 - 4/6)*(-627)/38. Suppose 12*x = z*x - 2. Is x at least as big as -9/14?
False
Let x = -2 - -1. Let z(h) = -h**2 + 9*h + 17. Let u be z(11). Let g be 2/u*50/210. Which is greater: x or g?
g
Suppose 506*m + w + 10 = 509*m, -4*m + w + 12 = 0. Which is bigger: 17.4 or m?
17.4
Let r(x) = x**3 - 6*x**2 + x - 2. Let a be r(6). Suppose -a*s + 4*s = -11*s. Which is smaller: s or 4/5?
s
Suppose 481 = 3*u + 52. Suppose -10*h = h + u. Is -11 <= h?
False
Let f be -1 + -2 + (-115)/(-23). Which is greater: f or 49?
49
Let x = -6 - -9. Suppose -x*f - 12 = -5*g, -g + 3 = 2*f + 11. Is -4 greater than or equal to f?
True
Suppose -26*l = -18*l + 32. Which is smaller: l or -5?
-5
Let a = 90 - -1116. Is 1206 greater than or equal to a?
True
Let b be (11 + -4 + -11)/(3 + -1). Which is smaller: -23 or b?
-23
Let k = -310/273 - -19/21. Let a(h) = -2*h - 10. Let y be a(5). Let o be 4/10 + y/50. Are k and o equal?
False
Let y be (348/(-57) + 6)/(1/(-4)). Is 2/9 equal to y?
False
Let b(q) = -97*q**3 + q. Let y(x) = x**3 - 2*x**2 + x - 1. Let i be y(1). Let d be b(i). Let o be 1*(d/33 + -3). Is o at most as big as -1?
False
Let o be ((-8)/(-6))/(((-64)/6)/(-8)). Are 111 and o non-equal?
True
Suppose -2*k + 1144 = -224. Let f be k/(-1071) + (-4)/(-14). Which is smaller: f or 0?
f
Let v = -12364 + 98923/8. Suppose 0 = 2*q + 7*j - 3*j, -3*q + j = 7. Which is bigger: v or q?
v
Let w(d) = d - 24. Let k be w(-30). Which is bigger: -588/11 or k?
-588/11
Let s = 135 - 66. Let d be 70*-3*(-41)/123. Which is smaller: s or d?
s
Let l(j) = 7*j + 2. Let w be l(-1). Let g be w/90*(-4)/(-79). Let c = g + 500/9243. Which is smaller: c or 1?
c
Suppose -20 + 15 = -5*w. Let v = 283 + -4531/16. Are v and w equal?
False
Let f be (-5)/(20/(-16)) - 0. Let o be (-682)/561 + f/3. Which is smaller: o or 2/9?
o
Let x be -15*-4*4/(-24). Let o be (4/x)/((-198)/55). Let q = 5 - 6. Which is smaller: q or o?
q
Let x = 1 + -0.9. Let w be (-34)/68 + 0 + (-4)/(-3). Does w = x?
False
Let n be -1*6/7 - (-72)/84. Is n > -10/131?
True
Suppose -6 = 2*s - 4*s. Suppose -4*h + 14 = s*r, 5*h - 24 = -3*r - 8. Suppose -h*o - 19 = 3*t, t - 4*t + 11 = -4*o. Is -3 > t?
False
Suppose -3*l + 5*p = 45, 0 = -0*l + 4*l - p + 60. Are l and -14 unequal?
True
Let h be 1/(-3) - 83/3. Let y = 29 + h. Do 13/6 and y have the same value?
False
Let x(p) = -p**3 + 49*p**2 - 142*p + 125. Let g be x(46). Which is smaller: g or -69?
-69
Let v be (6 - (-178)/(-24)) + 0/9. Is 0 greater than v?
True
Suppose 19*m = 21*m - 94. Are 47 and m equal?
True
Let b(z) = z + 12. Let d be b(-12). Let a = -101/3 - -34. Let r = d - a. Which is smaller: r or 0.08?
r
Let x be (-1 - 1)/(11/264). Which is greater: -326/7 or x?
-326/7
Suppose -14*l + 7896 = -42*l. Let s = l + 285. Let c(y) = -2*y - 7. Let b be c(-6). Which is smaller: b or s?
s
Suppose 7*h - 81 = 4*h. Suppose 16*q = 7*q - h. Which is smaller: -5 or q?
-5
Suppose -2*r = -4*r + h + 18, -2*h + 27 = 5*r. Let b be 1*12/(-20) + r. Is b < 7?
True
Let m = -59 - -59.4. Which is smaller: 0.01 or m?
0.01
Let r(v) = v**2 - 23. Let q be r(5). Which is smaller: q or 5/6?
5/6
Let z(n) = -n**3 - 14*n**2 - 14*n - 19. Let p be z(-13). Let o(w) = w**2 + 3*w - 18. Let l be o(p). Which is smaller: -1/82 or l?
-1/82
Let g(k) = -k + 10. Let q be g(5). Suppose 3 = -s + q. Let d be (-6)/(-51)*s/(-1). Is d equal to 0?
False
Let i be 9/(3/(-5)*(-170)/68). Suppose -3*s + 4*r = -4, 3*s + 4*r - 4 = 4*s. Is i != s?
True
Let a = 163 - 163. Do a and 4.8 have different values?
True
Let p be 125 - (9 - 16/8). Which is smaller: 119 or p?
p
Let d = -318 - -316. Is -48/23 at most as big as d?
True
Suppose -5*s + 13 + 7 = 0. Let l = -167 - -167. Is s at most l?
False
Let l be 0/2 - (-28)/(-5530). Is -1 < l?
True
Let z(h) = -33*h**2 + h + 5. Let d be z(-2). Let v be 2/((-6)/d)*-1. Is -43 not equal to v?
False
Let h = -1125 - -1115. Is 41 at most h?
False
Let z = 1868/539 + -54/49. Is 2 equal to z?
False
Suppose 0*u - 3*u - 234 = -4*r, -u - 2 = 0. Which is bigger: r or 229/4?
229/4
Suppose 15*o + 479 - 329 = 0. Which is smaller: o or -11?
-11
Let g(s) = -s + 4. Suppose 0 = 4*a + 2*b - 20, 3*b - 10 = 4*a - 5*a. Suppose 2*f - a = 2. Let u be g(f). Which is smaller: 1/18 or u?
1/18
Let p be -4*(4 + (-15)/(-4)). Let l = -31 - p. Which is smaller: l or 5?
l
Let m = 18 - 15. Let j be (4/24)/(m/(-6)). Is 0 at least j?
True
Suppose 0 = -2*q - 5*m + 9, q + 5*m + 33 = 5*q. Let t be (-18)/32*q/84. Is t greater than -1?
True
Let z = -15 - -23. Let d be (-133)/(-38)*z/(-14). Which is bigger: -12/13 or d?
-12/13
Let t = 1149 + -1136. Is t < -28?
False
Let h be 1 - -1 - -5 - 104. Is h equal to -98?
False
Let f(q) = q**3 + 8*q**2 + 16*q + 24. Let a be f(-6). Suppose 0 = k - 2*v - 3*v - 27, v - 24 = -4*k. Let l be 202/(-658) - (-2)/k. Is l bigger than a?
False
Let m be (-28)/(-42) - (-8)/6. Let y be (4 + m)*(-2)/(-16). Let g = y + -23/36. Which is smaller: g or 5?
g
Let s = 42 - -44. Let d = s - 85. Is 4 < d?
False
Suppose 0 = -4*i + 4, 2*i + 0*i - 22 = -2*d. Which is smaller: d or 11?
d
Suppose -3*m = -2*a + 24, 2*a + 5*m = 31 + 25. Which is greater: a or 17?
a
Let n be (-8)/40 + 122/(-40). Let p = n - -3. Is 1 at most p?
False
Let t = -6 + 13. Let b be (-1 - 2) + 15*-1. Let f = 23 + b. Are t and f nonequal?
True
Let l be 175/(-4) + 4/(-16). Let w = 9 + -52. Is w < l?
False
Let g(z) = 2*z. Let m be g(3). Suppose 0 = -4*o - 5*b + 23, 2*b + 3 = -2*o + 13. Do o and m have the same value?
False
Let i be ((-60)/8)/(1998/654 - 3). Is i != -136?
True
Let n(m) = -3*m**2 - 14*m - 5. Let j be n(-4). Suppose -5*k + 10*g + 27 = 6*g, k - 15 = 4*g. Is j > k?
False
Suppose 0 = 2*o + 2*o - 4. Suppose 31 + o = 2*c - 3*x, 4*c + 3*x = 64. Is 15 <= c?
True
Let a(w) = w**2 - w + 5. Let t be a(3). Let l(d) = d - 14. Let c be l(t). Which is greater: c or -15/4?
c
Suppose -19*g - 4*i - 116 = -15*g, -4*g - 118 = 2*i. Suppose 3*p + 47 = -5*c - 83, -p = -c - 34. Which is smaller: c or g?
g
Suppose h + 2*y + 2*y = 1, -5*y = 3*h - 17. Let g(m) = -m**3 + 5*m**2 - 7. Let d = 69 - 65. Let r be g(d). Are r and h non-equal?
False
Suppose 0 = 8*d + 7 - 15. Is -2/2731 greater than or equal to d?
False
Let n = -0.013 + -33.987. Let i = -30 - n. Which is smaller: i or -2/23?
-2/23
Let x be (-161 + -7)*4/(-6). Let z be (x/(-