k) = -k**2 - 5*k + 7. Let p be a(n). Let h be (175/45)/5 + -1. Which is smaller: p or h?
h
Let n(w) = w**3 - 2*w**2 - 2*w. Let u be n(3). Let c be 4*u/30*5. Suppose 0 = -5*q + 8 + c. Which is bigger: 4 or q?
4
Suppose -5*o + l = -4*o, 3*o - 10 = l. Suppose 4 - o = -p. Let m be (-3)/3*p + 0. Is m < 0?
True
Let q be 8/6*(-15)/(-10). Is q greater than or equal to -3?
True
Let n = -96 + 88. Is -98/11 at most as big as n?
True
Let y = -1/420 - -499/33180. Which is smaller: y or -1?
-1
Let q = 0.06 + -0.26. Let i = -2 + 1. Is i bigger than q?
False
Suppose 3*n - 2*n = 23. Is 23 < n?
False
Suppose 3*t + 14 = 5*t. Let w = -4 + t. Which is greater: w or 2?
w
Let b(g) be the second derivative of -g**5/20 + g**4/4 - g**3/3 + g**2/2 - 6*g. Let m be b(2). Let u be (-2)/(-6) - 20/42. Which is smaller: m or u?
u
Let p be ((-14)/4)/(2/4). Let q be (-1 - 14)*(-12 + 11). Suppose -3*t = 3*k + 6, k + q = 2*t + 1. Which is greater: k or p?
k
Let o(m) = m**3 - 2*m**2 - m. Let j be o(2). Suppose -3*d - d = -20. Let i be j/5 - (-27)/d. Is i > 5?
False
Let a be 4 - (1/1 + -1). Let l = 4 - a. Suppose l = -0*v + v. Is v less than or equal to 1/4?
True
Suppose 0 = 5*j - 0*j. Is j greater than or equal to -2/5?
True
Let u(q) = 3*q**2 - 2*q - 1. Let p be u(-1). Suppose -5*d + p = -d. Suppose -3 + 9 = -4*n + 5*y, -7 = -5*n - y. Is d at most n?
True
Let q(f) = f - 4. Let m be q(3). Let p = -6/173 + -100/7093. Is p != m?
True
Let p be (-2 - (-1)/2)*10/515. Which is bigger: p or 0?
0
Suppose -20*m + 17*m + 3 = 0. Is 1 bigger than m?
False
Suppose q = -2*s - 6, 4*q - q + 10 = -4*s. Let j = 0.8 + -1.1. Is q bigger than j?
True
Suppose -h - 4 = -0. Suppose -5*a - 30 = 5*s, 5*s + 20 = 3*s - 4*a. Is s >= h?
True
Let d be 0/((-3)/(-6)*6). Let w be (1 - 2)*(d + -1). Let l be 1/((-1)/w + 4). Which is smaller: 1 or l?
l
Let l be 4/6 + 13/(-15). Let x(m) = -m**3 - 15*m**2 - 15*m - 13. Let c be x(-14). Which is bigger: l or c?
c
Let y = 75 + -100. Which is greater: -26 or y?
y
Suppose -2 = -6*s + 4*s, -5*n = -2*s - 13. Suppose c = -4*b + 14, -4*b - n*c = -8*c - 26. Which is smaller: b or 13/3?
b
Let l be 110/(-20) - ((-5)/2 + 1). Which is smaller: -2 or l?
l
Suppose -x = x - 6. Let p = -3 + x. Suppose p = -2*d + 4*d - 8. Which is smaller: 3 or d?
3
Let p(c) = -c + 2. Let z be p(0). Suppose -z*i = -5*i - 6. Is i greater than or equal to -1?
False
Suppose -2*r + 3 = -q - 0, -5*r + 2*q = -6. Suppose r = 2*a - 5*n - 7, -6*n - 1 = a - 4*n. Which is smaller: 2/9 or a?
2/9
Let u = 13 - 14. Which is smaller: -5/23 or u?
u
Let i be -96 + 3 + (2 - 5). Let r = i - -862/9. Let l = -3 - -3. Is l less than r?
False
Suppose a + a + 32 = 0. Is a less than or equal to -17?
False
Let z = 168/5 - 3029/90. Which is smaller: -1 or z?
-1
Suppose 18 = -0*i + 2*i. Suppose -3*w - 3 = -3*f - i, 4*w = -5*f + 26. Is w bigger than 2?
True
Let l = -22 - -16.85. Let r = -0.15 - l. Do -2/5 and r have the same value?
False
Let r(y) = y**3 + 6*y**2 + y + 8. Let m be r(-6). Suppose 0 = m*n + 3 + 3. Is -3 < n?
False
Let u = 640 + -17282/27. Let y be (-2 + 2)*1*1. Is u bigger than y?
False
Let a = -0.2 + 0.3. Suppose 23 = 2*w - 5*r, 2*w - 4*r - 19 = w. Let y be w/(-10) + 22/55. Is a greater than or equal to y?
False
Let j = 13.4 - 15. Let q = -1.6 - j. Let s be 1*(-6)/4*1. Do q and s have the same value?
False
Let v be ((-2)/(-4))/((-2)/12). Let h = -7 - v. Suppose 0 = 3*q - 3, 16 = -5*d - 2*q + 3. Which is smaller: h or d?
h
Suppose -3*z + z + 2 = 0. Let q = -1.8 - 1.2. Which is smaller: q or z?
q
Let t(u) = u**2 + 5*u + 1. Let l(s) = -2*s + 7. Let m be l(6). Let x be t(m). Let z be -15*4/33 - -2. Which is greater: z or x?
x
Let v = 33/10 + -81/20. Let b = 1 - 1. Which is smaller: v or b?
v
Let v be (4/2)/(8/316). Let g = -235/3 + v. Let o = g - 1/3. Which is smaller: o or 0?
0
Let c(n) = n - 4. Let o be -10 - -7 - (-10 - 0). Let z be c(o). Let x be 2*(z + 11/(-4)). Which is smaller: x or -2/5?
-2/5
Let u = -27 - -79/3. Let o be ((-3)/(-3))/(8/(-6)). Let g = o + 1/4. Do g and u have the same value?
False
Suppose 5*k = z + 2 + 16, -3*z - 9 = 0. Suppose p = k*p + 4. Is p at most 2?
True
Suppose -4*a = 5*d - 3*a + 1, 5*a - 23 = 3*d. Are d and -5/3 non-equal?
True
Let s = 149 - 137. Are s and 10 equal?
False
Let d = -0.1 + -0.9. Let l = 2 + -5. Which is smaller: l or d?
l
Let f(l) = -l**2 + 6*l + 1. Let g be f(6). Which is smaller: g or 3/4?
3/4
Let o(g) = -2*g**2 - 6*g - 1. Let b be o(-5). Suppose 2*f + 12 = 5*f. Let l be 1/f - b/(-52). Which is smaller: -1 or l?
-1
Let w be (-194)/(-10)*(-5)/(-945). Let n = -1/135 + w. Which is smaller: n or -1?
-1
Suppose -5*w = -4*r - 16, -2*r - 5 = -2*w + 3. Let b = r + 4. Which is bigger: -0.4 or b?
b
Suppose 0 = 4*z - f - 104, 0*z + z - 26 = -f. Which is smaller: 24 or z?
24
Let f be -1 + 20/(-4 - 0). Suppose -2*g + 3*g - 3*x + 6 = 0, 3*x - 15 = -2*g. Suppose -4*c = -b - g*b + 12, 5*b + 15 = -c. Which is bigger: f or c?
c
Let h be 28/42*((-810)/(-4))/5. Is 28 bigger than h?
True
Let d be 48/10 + (-2)/(-10). Let p = d - 8. Is -3 equal to p?
True
Let p = -79/304 - -5/16. Let w = p + -45/133. Do -3 and w have different values?
True
Let b(q) = q**3 - 6*q**2 - 9*q + 15. Let o be b(7). Let w = 3 - 4. Which is bigger: w or o?
o
Let c = -57.1 - -57. Is -1.7 at most as big as c?
True
Suppose 7*p - 4*p + 3 = 0. Let m be -2 - (p + -3) - -3. Let k = -4 - -8. Which is bigger: k or m?
m
Let v(o) = o**3 + 9*o**2 + 7*o - 5. Let w be v(-8). Let g be w/(-2)*16/(-3). Which is smaller: g or 7?
7
Let n = -91 + 47. Are -44 and n unequal?
False
Suppose 5*l - 32 = -2. Suppose -v + 0 = -l. Suppose -v*i + 9 = -3*i. Which is bigger: i or 2?
i
Let c = -188 + 320. Let l be 1*2*(-129)/c. Let f = l + -6/11. Which is smaller: -1 or f?
f
Let i be (-4)/20*(-20)/(-12). Let u = 2 + -2. Which is greater: u or i?
u
Suppose f - 3 - 1 = 0. Suppose -3*v = -f*v. Let l be 250/(-440) - (16/22)/4. Is v >= l?
True
Let x(h) = -h**3 - h**2 + h. Let o be x(0). Let l(i) be the second derivative of -i**4/12 - i**3 - i**2/2 - i. Let q be l(-6). Do o and q have different values?
True
Let j(o) = o + 4. Let w be j(8). Let i be (-2 - (-8)/w)*6. Which is greater: -3 or i?
-3
Let y(x) = -2*x - 3. Let c be y(-2). Let v be (0 + 2 - 2) + c. Let r be 1 - (1 + -2 + v). Do 0 and r have the same value?
False
Let u = 1 - -1. Suppose 2*a + 0 - u = -2*k, -2*a + 5 = -k. Which is smaller: a or 1?
1
Let w(g) = g**2 - 3*g - 2. Let k be w(4). Which is smaller: 8/11 or k?
8/11
Suppose 3*j + 0*s = -5*s - 403, 0 = -j + 4*s - 106. Let r be (-38)/(-72) + (-28)/j. Which is bigger: 2 or r?
2
Let i = 3 - -2. Let u = 36/7 + -23/14. Which is smaller: u or i?
u
Let l(t) = 4*t**3 + t**2. Let k be l(1). Let i(u) = -u**3 + 4*u**2 + 5*u. Let x be i(k). Is 2 less than x?
False
Let w = -13 + 13.08. Let g = -1.08 + w. Is g at most as big as 1?
True
Let u be 2*(-2)/(-12)*-2. Is -6/11 equal to u?
False
Let m be (-140)/(-112) + -1 + 1/(-2). Is 73 at most as big as m?
False
Suppose p - 13 = -1. Suppose 3*n = -0*n + p. Let w be (3/6)/((-10)/n). Is w bigger than -1?
True
Suppose 5 + 0 = z. Suppose 2*t - 3*a = -3, -11 = -4*a + 1. Is t < z?
True
Let i be (8/(-6))/(1/105). Let s be (-72)/i*(-4 - 1). Let c = 61/21 + s. Are 3 and c equal?
False
Suppose -4 = -2*b - 4*s, 4*s - 8 = -5*b + 14. Suppose -4*h + h - 3*o - b = 0, -3*h = -2*o - 14. Which is smaller: h or 3/5?
3/5
Let f(c) = c - 12. Let p be f(5). Let y be (-34)/85 + (-66)/10. Is p <= y?
True
Let x = 68 + -478/7. Which is greater: x or 1?
1
Let i be 102/5 + -3 - 1. Let h = 1307/80 - i. Is h less than -1?
False
Let c(k) = -k**3 - 6*k**2 - 2*k - 8. Let j be c(-6). Suppose -11 = -5*b + j. Suppose b - 5 = -i. Are 3 and i nonequal?
True
Let c be 18*1/8 - 2. Let y(w) = -3*w - 2. Let s be y(-3). Suppose -5*r + 4*u + 14 + s = 0, 12 = -3*u. Is r greater than c?
True
Let c = 132.8 - 150. Let u = c + 16. Which is greater: 2/7 or u?
2/7
Suppose 0*x - 4*x + 8 = 0. Let y be ((-12)/(-128))/(-1 + 0). Let h = 51/32 + y. Which is bigger: x or h?
x
Let f = -3 + 2.9. Let p = -0.3 - 5.7. Let o = -6.1 - p. Is f != o?
False
Let k be (-1)/(-2452)*(-40)/6. Let t = k + -41677/228036. Let q = -2/31 + t. Is 0 > q?
True
Let q be 1*2 + 28/(-14). Let m = -312/5 - -63. Which is smaller: q or m?
q
Let j be 190/(-30) - (-2)/(-3). Is -6 at least as big as j?
T