 3*u + 11. Let o be c(-4). Let p be ((-8)/6)/(o - (-61)/63). Is p smaller than 43?
True
Suppose 8*x - 894 = 2*x. Is x <= 150?
True
Suppose -4*w + 159 = -5*n, n + 58 = -n - 4*w. Let a be 1/2 + 22/(-28). Which is bigger: a or n?
a
Let x(f) = -9*f**2 - 2*f + 1. Let p be x(1). Which is smaller: p or -28?
-28
Suppose -5*o = -325 + 315, 4*i - o = -26. Let k(z) = z**2 - 6*z - 5. Let g be k(6). Are i and g equal?
False
Let t(m) = m**3 + 16*m**2 + 14*m - 12. Let o = 68 + -83. Let f be t(o). Do 27/8 and f have different values?
True
Let r = -37 + 37.6. Let l be (1/(-6))/(2/8). Which is bigger: l or r?
r
Let w(i) = -i**3 - 2*i**2 + i + 1. Let g be w(-3). Suppose -3*v - 5*j + 8*j + 30 = 0, -2*v = 5*j - 6. Suppose -n - v = -g. Which is bigger: 3 or n?
3
Let l = -779 + 781. Let u = -6.4 - -8. Does l = u?
False
Let s = 94528 - 1886999/20. Let q be (2 - 344/(-6))*(-3)/1. Let i = s + q. Are -1 and i unequal?
True
Let u = 23 - 24. Let a be (19/228)/((-4)/(-6)). Are u and a nonequal?
True
Let o = 30 - -3. Let m = 29 - o. Do m and 2 have different values?
True
Let t be 1185/(-6) - (-33)/22. Is -2 at least t?
True
Let h be 0*-2*(-2)/(-8). Suppose -2*a = 3*o - 5, o = -3*a - h + 4. Let v be (-128)/276 + (-1)/(-3). Which is bigger: v or a?
a
Let g = -23 + 25. Suppose 2*k = 2*u + 14 + 14, -3*k - 8 = g*u. Let v be u/(-75) + 2/(-15). Is v smaller than -3/11?
False
Suppose 6 + 2 = 2*f. Let v be f - (-5)/(-150)*136. Let b = 74/195 + v. Does b = 7?
False
Let o = 3.06 - -0.94. Is o smaller than 6/17?
False
Suppose -w + 5*w = 4*x - 4, 5*x = -5*w - 5. Suppose -3*s + 6*s = x. Suppose u - 5*u = s. Which is smaller: 2/9 or u?
u
Let j(o) = -16*o**3 + 3*o**2 - 3*o + 1. Let f be j(1). Let k(l) = l**2 - 11*l + 15. Let y be k(11). Suppose g + 0*g + y = 0. Is f greater than g?
False
Let b be (-383 - -50)*(-3)/27. Which is greater: b or 36?
b
Suppose 42 = -36*p + 33*p. Let g = -99/7 - p. Which is greater: 1 or g?
1
Suppose -6 + 14 = 2*t. Suppose -3*s = 5*l, t*l + 16 = 4. Suppose -v + p - 20 = 4*p, -s*v - 3*p - 40 = 0. Which is bigger: v or -4?
-4
Suppose 3*a = 5*i + 92, 2*i = 3*a + a - 48. Let h = -59 - i. Which is greater: h or -42?
-42
Let r = 0.2 - 0.1. Let p be 1*30/(-15) + 4. Is r equal to p?
False
Let q = -9/4 + 29/12. Let m(x) be the second derivative of x**5/20 + x**4/2 + x**3/2 - 9*x**2/2 - 7*x. Let z be m(-5). Which is smaller: z or q?
q
Let z = 40 + -201/5. Let q be (3 - 9/6) + (-6)/(-12). Suppose -4*b - q - 6 = 0. Are b and z unequal?
True
Let w = 1778 + -1869. Is w > -100?
True
Let c be 2/(-24)*1/((-107)/8). Is -1 less than c?
True
Let b = 49 + -32. Suppose -6*w - b - 7 = 0. Let v be -2*(22/5 + w). Is v greater than -2?
True
Let w(g) = -g**3 + 2*g**2 + 7*g + 6. Let i be w(4). Let c be 50/9 + (0 - 0/i). Is c greater than or equal to 6?
False
Suppose 6*n - 8 = -2*t + 4*n, 5*t + n = 4. Suppose -5*z + 2*z + 450 = t. Let g = 597/4 - z. Which is smaller: g or 0?
g
Let p(l) = -2*l - 8. Let y be p(-4). Suppose -3*j = -y*j. Is 1/6 at least as big as j?
True
Let y = -29 + 33. Let v = 12 - y. Let b be v/12*6/4. Which is smaller: b or 2/15?
2/15
Let w(t) = t**2 - 7*t + 10. Let k be w(9). Let a = 13 + k. Let p = 18 - a. Is p bigger than -22?
False
Let b = 0.537 - 0.505. Is -4 <= b?
True
Let c be (-168)/(-104)*54/(-9). Which is greater: c or -10?
c
Let h = 2839.83 - 2821. Let m = 0.177 + 18.823. Let a = h - m. Which is smaller: a or -1/4?
-1/4
Let q = 36 - 39. Is q < -3?
False
Let d(l) = -l**2 - 4*l + 7. Let r = 10 - 15. Let a be d(r). Suppose m - 12 = -a*m. Is m < 4?
False
Let z be ((-21)/(-16) - (-8)/12) + -2. Are z and -1 non-equal?
True
Let w be (-7)/21 - (-14)/6. Let p = 2483/952 + 2/119. Which is smaller: p or w?
w
Suppose -6*x + 677 + 199 = 0. Let u be (-4)/6 - x/6. Is u less than -24?
True
Let k(z) = -5 - 6*z**2 - 3 + z**3 + 2 + 0 + 5*z. Let b be k(5). Is b at most -4?
True
Suppose -c = -g, 2*g + 0*c + 5*c + 21 = 0. Which is bigger: -33/8 or g?
g
Let g = -58 + 39. Let f = g - -26. Suppose 6*j = 3*j + 18. Which is bigger: j or f?
f
Let u be (-1 - (-5)/2)*(0 - -4). Let w be 4 + 0 - (u - (-124)/(-60)). Which is greater: w or 1?
1
Let v(f) = f**2 + 2*f - 25. Let t be v(-14). Suppose 9*b - 343 - t = 0. Do b and 52 have the same value?
False
Let p be (-16)/72 - (-4044)/18171. Are 1 and p unequal?
True
Let u = -1327159/921 - -1441. Is u at least as big as 1?
False
Let f = -1079/6811 - -5/139. Is 1 < f?
False
Let v = 1 - -3. Suppose 2*g + 22 = -v*o, 4*g - 36 = -0*o + 2*o. Let b be (-2 + 1)*(7 + o). Is -2/5 greater than or equal to b?
False
Let a = 10/11 + -19/33. Let h = 0.146 + -0.095. Let s = h - 0.131. Is s not equal to a?
True
Let d(m) be the first derivative of -m**4/4 - 11*m**3/3 - 5*m**2 - m - 11. Let i be d(-10). Which is smaller: -1/22 or i?
i
Let r be (8 - 150/18)/1. Which is bigger: r or -26?
r
Suppose i - 2*o = 4, o - 3*o - 4 = 2*i. Suppose -3*a + i*a = 0. Is -1 at most a?
True
Suppose -2 = 2*t - 4*s, 4*t + 6*s - 3*s - 7 = 0. Let q be ((-10)/25)/(3 + 2). Is q at most t?
True
Let f(u) = -u**3 + 7*u**2 + u - 8. Let d be f(7). Let t = 328 + -204. Let b = 3098/25 - t. Which is smaller: b or d?
d
Let t = 1083.4 - 1085. Which is smaller: t or 0?
t
Let y be 2780/(-50) + 3 + 48/(-20). Are -0.2 and y unequal?
True
Let l be ((342/60)/19)/((-636)/(-5)). Which is bigger: -1 or l?
l
Let k be (-14)/(-189)*-42 - -2. Is -2 smaller than k?
True
Let k = -31 + 34. Let j be -15*k/(-1) + -3. Which is greater: j or 40?
j
Let l = 26 - 36. Which is bigger: l or -18?
l
Let m = 17 - 11. Let r = 199/36 + 2/9. Let b = -169/28 + r. Is b >= m?
False
Suppose -3*q = 15*q + 18. Is q less than or equal to 2/111?
True
Suppose z - 59 - 286 = 0. Let t be z/27 - (-2)/9. Suppose 0 = -b + o + 3*o + t, 4 = -o. Do b and -2 have different values?
True
Let v = -743/588 + 2/147. Let k = 0 - 0. Is v at least k?
False
Suppose 0 = 4*j - 5*j - 7. Suppose 23*c = -23 - 46. Which is bigger: c or j?
c
Suppose 3*h + 0*h = -4*b + 14, -4 = -2*b. Let d be h*(-4)/16*-2 - 0. Which is smaller: d or -5/17?
-5/17
Let k be ((-8)/(-6))/(114/57). Let s = 13 + -9. Suppose 4*y = 2*y + s. Which is bigger: y or k?
y
Let g be 1/((4/2)/2). Suppose b + 0*b = 4*z + 6, -2*b + z - 23 = 0. Let r be 0 + (2 - b/(-6)). Is g >= r?
True
Let x(i) = -i**3 - 4*i**2 + 3. Let t be x(-4). Suppose -2*p - 2*p - 84 = 0. Let j be (t/(-12))/(p/12). Is -1 not equal to j?
True
Let v be -57*2*2*2/(-12). Let q = -35 + v. Is q at most as big as 3?
True
Let u be 1/(4/(-16)*-4). Let s be (-156)/(-3) - 0/u. Is 51 less than s?
True
Let w = -4712/15 + 314. Let h = -0.052 + -1.548. Which is smaller: w or h?
h
Let z = -0.8 + -0.1. Let u = z - -1. Let m = -4 + 5. Is m not equal to u?
True
Let y(l) = 5*l**2 - 2*l - 4. Let a(u) = 9*u**2 - 4*u - 8. Let f(d) = -4*a(d) + 7*y(d). Let g = 87 + -83. Let m be f(g). Is -5 equal to m?
False
Let l = -893 - -783. Are l and -111 equal?
False
Let a(q) = q**3 - 4*q**2 + 5*q - 2. Let m be a(3). Suppose m*j + 0*j = 5*u - 21, u + 5*j = -19. Let l be (9/21)/(9/2). Which is greater: l or u?
u
Let s = 2 - 2. Let i be (2/(-72)*2)/(44/132). Which is greater: s or i?
s
Let p(w) = w**2 + 5*w - 4. Let g be p(-6). Suppose 2*m - 7 = -l, -3*l - g*m + 4 = -1. Let b = l + 3/4. Which is greater: b or 3/2?
3/2
Let p be 598/91 - 6/(-14). Let m be (-30)/546 - (-2)/p. Is -1 >= m?
False
Let d(i) = -i**3 + 5*i**2 - 4*i + 10. Let v be d(5). Let r = -1/360 + -3059/360. Which is bigger: v or r?
r
Suppose -j = -4*v - 39, 3*v + v + 4*j = -64. Let n(q) = -q**3 - 3*q**2 + 2*q - 4. Let m be n(-3). Let b = m - v. Is -4 equal to b?
False
Let h = 2480 - 2480. Let l = 93/20 + -17/5. Are l and h nonequal?
True
Suppose 0 = 41*g - 340 - 70. Which is smaller: 144/13 or g?
g
Let k = 39 + -39.3. Is 55 > k?
True
Let h = -1.11 - -1. Let c = h - -0.08. Let i = -2.97 + c. Which is greater: i or 2/3?
2/3
Let c = 12.47 + -0.47. Let v = -33 + c. Let f = 1.3 - 0.3. Do f and v have different values?
True
Let a(p) be the third derivative of 0 - 3*p**2 + 1/24*p**4 + 0*p + 1/2*p**3. Let z be a(-6). Which is greater: -5 or z?
z
Let s = -120 + 61. Let b = s + 60. Which is greater: b or 12?
12
Let p(d) = -d**2 + 12*d - 45. Let w be p(10). Is 7 equal to w?
False
Let c = -2165 - -2138. Which is smaller: c or -269/10?
c
Let k be (-7)/21 - (5/3 + -1). Which is bigger: k or 2?
2
Suppose -4*r - 78 =