*b**2 - 21*b + 5. Let a be v(y). Let s(q) = 3*q**3 + 2*q + 1. Let n be s(-1). Which is smaller: n or a?
a
Suppose -5*d + 0 = -5. Let w be (-1*32/(-108))/((-2)/(-3)). Do d and w have the same value?
False
Let v = -5.94 - -6. Suppose -44*f - 6 = -47*f. Which is smaller: v or f?
v
Let x = 16 - 14. Suppose 3 = x*w + 5. Let f = -1207/21255 + 3/545. Which is greater: f or w?
f
Let y = 124 + -163. Is -38 > y?
True
Let t be (-184)/1702*(4 - 0). Is t smaller than -1?
False
Let n(f) be the first derivative of f**2/2 + 5*f - 2. Let m be n(5). Suppose -4*l = -2*l - 2*p - m, 5*p = -25. Which is smaller: l or 3?
l
Let s(p) = -4*p - 30. Let m be s(-5). Are -13 and m equal?
False
Suppose -29 = -3*t + 1. Suppose t = c + c. Suppose b = c*b - 8. Is b greater than 2?
False
Let n = -976 + 974.6. Which is smaller: -3 or n?
-3
Let b(z) = 2*z + 2. Let d be b(6). Let y be 18/14 - 4/d. Let g = -94061/211698 - 3/23522. Is g bigger than y?
False
Let h be (-1)/((-3)/(-6))*-8. Let m be (-334)/(-8) + (-12)/h. Which is smaller: 42 or m?
m
Let t = -10 + -3. Let i = t - -41. Let o = 17 - i. Does 0.1 = o?
False
Suppose -5*y = -145 + 105. Suppose -y = -4*q - c, -5*q - 2*c = c - 17. Which is smaller: q or 9?
q
Let k be -2 - 0 - 3096/(-1545). Let a = k - 3629/6180. Which is smaller: -1 or a?
-1
Let s(h) = 48*h - 2. Suppose 25 = -8*j + 3*j. Let d be s(j). Let q = -2666/11 - d. Which is smaller: 0 or q?
q
Let f = 94485/4 - 23740. Let q = f + 118. Is -1 > q?
False
Let k(c) be the third derivative of c**5/60 - c**4/12 + c**3/3 - 2*c**2. Suppose 5*r - 10 = -0. Let b be k(r). Is b >= 8/9?
True
Suppose n = 5*n - 12. Let d(p) = -2*p + 3*p**2 - 1 + 8*p - 2*p**2 - 10*p. Let j be d(n). Which is smaller: j or 1?
j
Let d be (1/(-3))/((-147)/(-18)). Suppose 2*v + 15 = 1. Let o = 8 + v. Which is smaller: o or d?
d
Let p = -2015 + 2015. Which is bigger: p or -0.0971?
p
Let x = 8.1 + -7.7. Which is bigger: 0.058 or x?
x
Let u be -6 - (-578 + 12/6). Is 570 > u?
False
Suppose -39 = -19*y - 20. Which is greater: y or 12/35?
y
Let m = 0.47 - 0.662. Which is smaller: 2 or m?
m
Suppose 2*k - 29 = 3*a, a + 5*k = 2*a + 1. Let l be 11/a - (-3)/1. Suppose l*o + 2*o = 40. Is o at least as big as 8?
True
Suppose 3627 = 1349*s - 1415*s + 987. Let w = 72 - 110. Is w equal to s?
False
Let b(f) = 0 - 5*f - f**2 - 6 - 2 - 3*f. Let w be b(-7). Let o = -13 - -10. Is o bigger than w?
False
Let m = -0.863 + 0.263. Is m < 0.21?
True
Let o = -26 - -29. Suppose 3*h = -o*g, 0*g + 3*g = -h. Is -1 greater than g?
False
Let r = -358 - -782. Suppose -7*f = -11*f - r. Is -107 at most f?
True
Let p = 78 + -72. Suppose p*f - 11 = -5*f. Let i be (6/4)/(2/(-4)). Is f greater than or equal to i?
True
Suppose -8*l = 3*i - 4*l + 12, 4*i - 4*l - 12 = 0. Is i at least 1/80?
False
Suppose 0 = -d - 2*d. Let p be (-1)/(-2)*(6 - d). Suppose p*f = -2*f + 3*u + 19, 0 = 4*f + 2*u - 2. Which is smaller: -6 or f?
-6
Suppose 0*g = g - 9. Let h be -9*((-15)/g + 1). Let k = h - 0. Which is bigger: k or 5?
k
Let z be 2 + (-5 - -2) + 1. Suppose -c - v = -0 + 9, -2*c = v + 15. Which is greater: z or c?
z
Let t(v) = -v**3 - 7*v**2 - 5*v + 1. Let s(u) = u**2 + u. Let a(x) = 6*s(x) + t(x). Let i be a(-2). Let c be -1*1/i*0. Is -1/11 > c?
False
Suppose -3*f + 2 = -j, -3*j = -j - 8. Suppose f*z - 19 = -n, -z - 9 = -4*n - 23. Let u = 13 - z. Is 9/5 bigger than u?
False
Let g = 2120 - 2412. Which is smaller: -4 or g?
g
Suppose 5 = -2*y - 3*b, -y + 1 = 3*b + 8. Suppose -i = -x + 4*x + 10, 3 = -y*x + 3*i. Are -3 and x equal?
True
Let x = -2 - -3. Let u = 1175983/96 + -12250. Let k = -3/32 - u. Do x and k have different values?
True
Let n be 72/54*(-399)/2 + 5. Which is bigger: n or -259?
-259
Let u = 0.3 - -0.2. Let z = -74 + 74.4. Let t = z - u. Which is bigger: -4 or t?
t
Suppose -22 + 4 = -3*d. Let p be 10/d + -1 + -1. Let y be (120/16 + -7)*0. Which is greater: y or p?
y
Let k(c) = 4*c - 101. Let t be k(25). Are -32/17 and t equal?
False
Let k(r) = -11*r**3 - 3*r**2 + 5*r - 6. Let x be k(2). Is x greater than -96?
False
Let w = -125857614 + 2894976835931/23002. Let t = -5/106 - w. Is 0 > t?
False
Let p = 3317/112 - 291/16. Let r be ((-3)/4)/((-2)/32). Is p less than or equal to r?
True
Let n = -107.2 + -509.8. Is n less than or equal to 1/3?
True
Let a = -16.5 - -16.7. Which is greater: a or -15/7?
a
Suppose -280 = 15*b - 23*b. Suppose 11*a - b = 6*a. Which is smaller: 13 or a?
a
Let f = 1063 + -1311. Is 0 <= f?
False
Suppose -5*g + h + 34 = -0*g, 5*g = -4*h + 14. Suppose -3*b = 51 + g. Which is greater: -20 or b?
b
Let g(c) = -c**2 + 11*c - 21. Let t be g(5). Suppose -t*l - 7 + 97 = 0. Which is smaller: l or 17/2?
17/2
Let d = -2 - -1. Let f be (4 - (-948)/(-228))*4/42. Is d greater than or equal to f?
False
Suppose 3*b = 0, 5*b - 2*b - 280 = 2*x. Let g be 16/x*(-1)/(-2). Which is bigger: 1 or g?
1
Let a = -22.883 + -0.117. Which is bigger: a or -1/6?
-1/6
Let b = 514 - 360. Is b greater than 153?
True
Let l be (-158)/(-2) - (-3 + 4). Suppose 4*j + 2*g = l, -6 = 4*g - 2*g. Is 22 not equal to j?
True
Suppose -x + 3*u = 136, -2*x - 2*x + 3*u = 526. Let f = -1169/9 - x. Which is smaller: f or -1?
-1
Let n(x) = -x**2 - 4*x + 3. Let t be n(-5). Let a = -11851/13 - -911. Is a smaller than t?
False
Let u be (-2)/(-211 + -2 - 2). Let c = 472/4515 - u. Let w be 2/(-4) - (1 - 15/6). Do c and w have different values?
True
Suppose 4*v = 6*v. Let c be ((-6)/5)/((-4)/(-20)). Let f be (14 + c)*(-2)/12. Which is bigger: v or f?
v
Let h = -1002 + 9020/9. Is -1/35 < h?
True
Let d(n) = 28*n - 251. Let i be d(9). Which is smaller: i or -6/475?
-6/475
Let t be (-1 + 1)*((-22)/(-3) - 7). Is 0 at most as big as t?
True
Let v = 449 + -18859/42. Suppose -2*i - 3*i = 5*g, 0 = -g + 4*i. Is v at least as big as g?
False
Let l(o) = 12*o**2 + 6*o - 9. Let i be l(2). Which is bigger: i or 348/7?
i
Suppose -5*s = -3*s - 4. Suppose -2*f - s*f = 0. Let j be (-2)/(4*(-6)/(-9)). Is j less than f?
True
Suppose -4*x = -4*t - 220, 3*x = 2*t + 49 + 63. Which is smaller: t or -52?
t
Let x(u) be the third derivative of 1/15*u**5 + u**3 + 0*u + 2*u**2 - 1/8*u**4 + 1/120*u**6 + 0. Let l be x(-5). Is -4 at least as big as l?
True
Suppose 4*g = 5*z + 9, 2*g + 0*g + z - 15 = 0. Let v = 1 - g. Suppose -5 = -2*i + 7*i. Which is smaller: v or i?
v
Suppose 70*b + 169 = m + 73*b, -4*m + 2*b + 690 = 0. Do 174 and m have the same value?
False
Suppose -b = 3*u - 1, 2*b - 9 = 4*u + 3. Suppose 4*f - 9 = 5*r, -f + 1 = 4*r + b. Does r = -31?
False
Let g = 1.393 + -1.593. Is 0.016 at least as big as g?
True
Let z = -8964700794/1415 - -6335478. Let x = z - 2/283. Which is greater: x or 1?
1
Let l(q) = q**3 + 2*q**2 - 3*q. Let c be l(-3). Let p be (-3 - 1)/((-26)/3). Let y = 12/143 + p. Are y and c non-equal?
True
Let t = 6.7 - 0.7. Let y = 63 + -62.7. Is y less than or equal to t?
True
Suppose 0 = 19*a + 131 + 97. Which is smaller: a or -139/11?
-139/11
Let n = 19891/16578 + -9/614. Which is smaller: 1 or n?
1
Let u = 157/39 + -22/13. Is 1 not equal to u?
True
Suppose 5*f - 25 = -3*q, -2*q + 4*f + 17 = 3*q. Suppose 2*u = 19 - q. Which is smaller: u or 0.1?
0.1
Let v(r) = -r**3 + 8*r**2 - r + 3. Let k be v(8). Suppose 0*l - 4*l = -16. Suppose 5*p = -n - 21 - 2, 0 = -4*p - l*n - 28. Which is smaller: p or k?
k
Suppose 5*c + 4*n + 45 = 10, 4*c + 54 = 2*n. Let t = 10 + c. Is t > -13?
True
Suppose -4*y - 12 = -3*b, 3*y + 2*b - 8 = -0*b. Let w = -98856/35 - -769450/273. Let r = w - -74/13. Is y at least as big as r?
True
Suppose -n - 32 = -5*n. Suppose -5*z + 3*z + s = -12, -2*s = 0. Let b = n - z. Is b at most -1?
False
Let d = -45 + 25. Suppose 0 = m - 5*m + 4. Let r be (0 + -1)*(20 + m). Are d and r nonequal?
True
Let u be 0/(15/((-135)/(-18))). Which is smaller: u or 6/23?
u
Let m be 10704/162 + 36/(-486). Which is greater: m or 63?
m
Let a = 71.9 - 70. Let c = 1.7 - a. Does 8 = c?
False
Let g(c) = 2*c**2 + 3*c - 3. Let p be g(-3). Suppose -273 = 7*q - 322. Which is bigger: p or q?
q
Suppose -4*a - 5*f + 6 = -15, -a - 5*f + 24 = 0. Let x = 23 - 15. Let s be (-6)/x - (-2)/8. Is s bigger than a?
True
Let a = -20 - -9. Suppose -3*q + 14 = -3*r - 1, 2*r - 4*q = -2. Which is greater: a or r?
r
Let i = 42 - 38.1. Let p = 4 - i. Let y = -3.9 - 0.1. Is y < p?
True
Let u be (6/4)/(3/(-4)). Let y(w) = 8*w - 18*w + 2*w**2