25. Let d(h) = 3*h**2 - 8*h - 12. Let n(k) = -5*d(k) + 2*y(k). Let g be n(9). Which is smaller: 3 or g?
g
Let m = -1.3 + 2.3. Let r = 2.9 - 4. Let v = m + r. Is v <= 2?
True
Let x be 27/(-36)*(-7)/18. Let r = x + 3/8. Which is smaller: r or -4/15?
-4/15
Let r = 1 - 1.2. Suppose 2*d + p + 8 = 0, -3*p + 11 = d + 5. Which is bigger: r or d?
r
Let r = -25 + 15. Is r at least as big as -9?
False
Let d = -0.09 + 0.19. Which is smaller: 2/11 or d?
d
Let o = 3 - 3. Let s = -0.2 + o. Suppose -4*d - d - 4*u + 15 = 0, -3*u = -4*d + 12. Is d greater than s?
True
Let h be (-2 - -1 - 0)*8/(-8). Which is smaller: h or 10/23?
10/23
Let l = -1650 - -8289/5. Which is bigger: 8 or l?
8
Let g = 49 + -49. Which is smaller: g or 2/35?
g
Let u(c) = -c**2 + 3*c - 1. Let s be u(3). Suppose 0*t - 5 = 5*t. Is s < t?
False
Let q = 0.406 - -0.024. Let n = -0.01 - -0.04. Let b = q - n. Which is smaller: 1/2 or b?
b
Let w = 562 + -9557/17. Let l = w - 8/51. Let k = -0.33 + 1.33. Which is greater: l or k?
k
Let w = -11 + 3. Does w = -8?
True
Suppose 2*v - 9 = -21. Let l be -8 + 4 + (v - -4). Which is smaller: l or -4?
l
Suppose 4 = -4*o - 28. Let t(q) = -q**3 - 6*q**2 - 6*q + 4. Let b be t(-5). Let v = o + b. Are v and 1 equal?
True
Let a = 11 - 11. Which is smaller: a or 3/26?
a
Let s = 0.5 - 0.4. Let y = -0.3 - s. Let p = 0.3 + y. Which is smaller: 1 or p?
p
Let i(q) = q**2 - 10*q - 1. Let w be i(10). Which is smaller: 2/411 or w?
w
Let x = -0.8 + 0.81. Is 0.3 at least x?
True
Let u be ((-6)/10)/(1/(-5)). Let q be -1*27*u/(-9). Let t be (-2)/q - (-2)/(-18). Is t at least 1?
False
Let c be 1 + 3 - (4 - 3). Suppose -3*k - 15 = 5*j, -c*j = -k + 9 - 0. Let r = 6 + j. Is r bigger than 3?
False
Let d = 0.2 - 0.1. Which is greater: -0.2 or d?
d
Let d be 2*(-2 + (-50)/(-8)). Are 10 and d equal?
False
Suppose -3*f - 18 = -5*d, -5*f - 3*d = -5*d + 11. Let i = f - 5. Which is greater: i or -5?
-5
Let y = 0.3 - 0.9. Let d = y + 0.8. Which is bigger: 0 or d?
d
Suppose 0 = 4*c - 3*c - 2. Let y = 1 - c. Let b = -34 + 236/7. Is y smaller than b?
True
Let k be 4 - 2*(-17)/2. Is 22 at least as big as k?
True
Let i = -194 - -75. Which is smaller: 1/3 or i?
i
Let z = -58 + 93. Let b be 18/81 + (-638)/(-18). Let x = b - z. Which is bigger: 0.5 or x?
x
Suppose 10 - 17 = 7*w. Are w and -7/40 non-equal?
True
Let k(v) = 13*v**2 + 19*v - 24. Let l(o) = -3*o**2 - 5*o + 6. Let a(r) = 2*k(r) + 9*l(r). Let z be a(-7). Which is bigger: z or 5?
z
Let f(a) = -a**2 + 3. Let z be f(2). Let c = 0.1 - -0.1. Which is greater: c or z?
c
Let s = -111/2 - -729/14. Does -3 = s?
False
Let g = -5 + 9. Let n = 5 - g. Let q be n/1 + 22/(-26). Is q at most as big as 1?
True
Suppose l = -s - 2, 0 = l - 6*s + 2*s - 18. Let g(c) = -c + 4. Let m be g(3). Which is greater: l or m?
l
Let l = 2 - 5. Let s = 0 + 5. Suppose 9 = -s*p + 2*p. Are p and l nonequal?
False
Let d = -3 + -2. Let b = -3 - d. Is b greater than 5?
False
Let h(n) = n**2 + 2 - 2*n - 3 - 2*n**2. Let m be h(-2). Which is bigger: m or 1?
1
Let m = -362/2679 - -8/47. Let p = m + 17/57. Let o = 27 - 83/3. Do o and p have the same value?
False
Let v(n) = 8*n**3 - 7*n**3 + 5*n**2 + 6 + n + n**2. Let x be v(-6). Are -1/6 and x equal?
False
Let k = -2 + 4. Let p = 2.08 + -0.08. Let c = k + p. Which is greater: c or 0?
c
Suppose -2*i + 4 = b - 3, 0 = b + 3*i - 11. Which is bigger: -2/87 or b?
-2/87
Suppose -2*i + 50 = 2*g, -2*i - 2*g = -7*g - 57. Suppose -z = 2*n - 3, -n + 7*z - 2*z = i. Let r = n - -2. Is 1 greater than r?
False
Let l = 6879/788 - -4/197. Is 8 less than or equal to l?
True
Let f be 2/(-2)*(-18)/3. Suppose h = f*h. Suppose h = -m + 3*m - 2. Are m and -2/13 non-equal?
True
Let l = 5.15 + -5. Let p = 0.14 - l. Let k = 0.2 - 0.1. Which is bigger: k or p?
k
Let z(d) = d**3 - 2*d**2 - 4*d + 3. Let b be z(3). Suppose 2*v + 2 - 4 = b. Let m be 6/(-9) + 4/3. Is m > v?
False
Let j = 1 - 0. Let u = j - 1. Let i be -1*(-2)/6*-3. Which is greater: u or i?
u
Let n be (-4)/5 + (-2)/(-5). Suppose 0 = -h - 5 + 4. Which is greater: h or n?
n
Let x(n) = -n**2 - 2*n - 2. Let w be 2*(2 + (-14)/4). Let q be x(w). Is q >= -4?
False
Let y = -11 - -4. Let a = y + 7. Suppose -4*p + 4*g = -3*p + 17, -5*p = -3*g + 17. Which is smaller: p or a?
p
Let d(t) = t**2 - 19*t + 35. Let v be d(23). Which is greater: -1 or v?
v
Let l = 4 + -6. Let g = 21.5 + -18. Let j = g + -2.5. Which is greater: l or j?
j
Suppose 0 = 2*h - 6, 2*j + 3*j = 2*h + 124. Is j <= 27?
True
Suppose -z + 3 + 3 = 0. Let h be (z/(-10))/(3/(-15)). Suppose 0 = -h*a + 7*a - 2*d - 12, -a + 3 = -d. Is 3 bigger than a?
False
Let c = -58234/17 - -3424. Let j = -616/425 - c. Are j and 1 unequal?
True
Let n = 223/5 + -44. Which is greater: 1 or n?
1
Let w = 4 + -2. Let b be 1*(-2 + w)*1. Is b > 1?
False
Let s = -16 - -8. Let j = s - -10. Is j <= 0.2?
False
Let c be 1/(-4) - (-18)/8. Suppose 4*u = -v - 9, v + 0 = -c*u - 7. Let i = -132 + 1190/9. Is i >= u?
True
Let g be (-1 - 2) + (25/(-5))/(-5). Which is smaller: g or 9?
g
Suppose -3 + 6 = -z. Let g = z + 3. Which is greater: -3/8 or g?
g
Let l(c) = 3*c. Let m be l(1). Suppose -2*f - m*f = -205. Let d = -453/11 + f. Is 1 at least d?
True
Let o(f) = 4*f**2 - 3*f - 2. Let d be o(-1). Which is smaller: 0 or d?
0
Suppose -4*b + 7 = -5. Suppose b = -2*c + 1. Let q = -0.7 + 0.4. Which is smaller: q or c?
c
Let i be (-2 + 3)*-1*1. Suppose 140 = 3*f + 2*f. Let j = 28 - f. Is i not equal to j?
True
Let o = -1.08 - 0.22. Let p = o + 0.3. Let w = 0 + p. Is 3 smaller than w?
False
Suppose 2*x - 4 = -5*z, -5*z + z - 3*x - 1 = 0. Let q(a) = a - z*a - a - 4*a. Let c be q(1). Which is greater: -7 or c?
c
Let q(j) be the third derivative of 0 + 1/6*j**3 + 0*j - 1/60*j**5 + 3*j**2 + 1/8*j**4. Let s be q(4). Is -2 at least as big as s?
True
Let b(j) = j**2 + 13*j - 3. Let z be b(-13). Let g = 2 - 1. Which is smaller: g or z?
z
Let i = 1 - -3. Let u(h) = i - 8*h + h**2 + h + h. Let c be u(5). Which is smaller: -1/4 or c?
c
Let t(s) = s**2 + 5*s. Let l be t(-5). Suppose 2 = y - l*y. Which is smaller: y or 1?
1
Let q(y) = 8*y + 88. Let k be q(-11). Is 2/73 smaller than k?
False
Let p be (-58)/18 + 2/9. Let j be (9/p - -4) + -1. Is -2 greater than j?
False
Let t(m) be the third derivative of -m**7/2520 + m**5/60 + m**2. Let q(p) be the third derivative of t(p). Let a be q(1). Are a and 1 non-equal?
True
Let t(n) = -n**3 + 8*n**2 + 5*n + 6. Let i be t(9). Let s be 2/3 + i/(-9). Suppose s*c - f = 8, -2*c + 1 + 3 = -2*f. Is c greater than 1?
True
Let i(t) = t + 6. Let u be i(-5). Let j(h) = h + 8. Let n be j(-6). Let k be (57/21 + -3)/n. Which is greater: k or u?
u
Suppose 0 = m - 5*n - 6, -2*n + 1 - 7 = -4*m. Let o be (-4)/16*(120/(-3))/2. Suppose -2*u + o = m. Do u and 2 have the same value?
True
Let v(m) = 2*m**2 - 5*m. Let p be v(6). Let s be -1 + -1 + p/20. Let l(c) = -c**3 - 13*c**2 - c - 13. Let q be l(-13). Which is greater: q or s?
s
Let k be (4/(-10))/(3/165). Let x be (38/(-57))/(k/(-3)). Is -1 at least x?
False
Let v = 0.1 - 0.1. Let g(n) = -2*n + 10. Suppose -3*x + 33 = 12. Let f be g(x). Which is bigger: v or f?
v
Let s(t) = -2*t + 10. Let k be s(-8). Let c be -1 + k*(-2)/(-44). Suppose -4*r + 4 - 8 = 0. Which is smaller: r or c?
r
Suppose 0 = -c - c. Suppose c = -5*p + 2*p, -4*p - 30 = 2*g. Let x be ((-6)/g)/(3/5). Which is bigger: x or -4?
x
Suppose -8*c - 111 = 145. Which is smaller: c or -33?
-33
Suppose 59 = -2*s - 61. Let f be (-7)/((-364)/s) + 1. Let v = -1 + 2. Which is greater: f or v?
v
Let y = -9 + 28. Is y less than or equal to 20?
True
Let d(m) = 5*m - 28. Let q be d(8). Is 0 greater than q?
False
Let c = -3 + 2. Suppose 0 = -3*q + 3*v + 30, -6*q + 3*q - 2*v = -15. Which is bigger: c or q?
q
Let s(f) = -4*f - 1. Let b be s(-1). Suppose -k - 7 = -b. Is k greater than -0.1?
False
Let d = -0.786 - -0.086. Let o = -10 - -31/3. Are o and d non-equal?
True
Let j be 0/(1*2*-1). Suppose x + 3*x = j. Suppose 2 = w + w. Is w less than or equal to x?
False
Let g = 4 + 11. Let z = g - 15.2. Is z less than 3?
True
Let x = 20 - 18. Are x and 14/3 equal?
False
Let w be (3 - 2 - 4) + 117/33. Which is bigger: 1 or w?
1
Let w = -42 + -16. Which is greater: -56 or w?
-56
Suppose -l - 5 = -0. Let c = -9 - l. Suppose -4*x = -3*b - 2 - 3, 5*x - 2*b - 1 = 0. Which is smaller: x or c?
c
L