rue
Let l(c) be the first derivative of c**4/4 + c**3 + c**2 + 3*c + 3. Let o be l(-3). Which is greater: o or -4?
o
Let r be (1 - 1)*(-2)/10. Suppose 3*j + 6 = -0*j. Is j < r?
True
Suppose -2*o - 11 = h, 5 + 11 = -h - 3*o. Let j = 2 + -2. Let d be j + 6/(-21) + 0. Which is bigger: d or h?
d
Let p = 3 - -25. Let v = p - 12. Which is smaller: v or 1/4?
1/4
Let w = 4 + -6. Let o(q) = -5*q - 5. Let x be o(-9). Let a be ((-1)/10)/((-16)/x). Which is greater: w or a?
a
Let j(p) = -p**2 - 9*p + 2. Let b be j(-8). Suppose -5*i + 5*g = -0*i - b, -12 = 4*g. Is i != 1?
True
Let h be (-4)/(-10) + 16/10. Let r(f) = -f**3 - f**2 + f + 1. Let q be r(-2). Suppose q = -h*c + 9. Are 0 and c nonequal?
True
Suppose 3*i + i = -60. Is -15 >= i?
True
Suppose -4*t = -16, f - 4*t = 4*f - 4. Let o be (10/f - -1) + 4. Is o bigger than 1?
True
Let k be 104/(-195)*(-6)/(-8). Which is smaller: k or 1?
k
Let m be (-24)/9*(1 + 2). Suppose 5*h = -2*w - 39, -2*h - 5*w - 8 = -8*w. Is h smaller than m?
False
Let s(v) be the third derivative of -v**4/24 - 4*v**2. Let f be s(2). Is 1 at most as big as f?
False
Let o(s) = -s**2 - 9*s - 2. Let z be o(-8). Which is smaller: z or 3?
3
Let p = 9 + 2. Are p and 11 equal?
True
Let c = 13 - 10. Is c greater than or equal to 9/5?
True
Let n = 1 - -3. Let f be 4/16 - (-35)/n. Let o be (-7 + f)*1/6. Is -3/5 < o?
True
Let c(a) = 4*a**2 + 4*a + 3. Let v be c(-2). Let o = -7 + v. Suppose -o = k + k. Which is smaller: k or 0?
k
Let f be -2 - (1 + (-3 - -2)). Let c be -7 + (0/(-2))/f. Let l be (-19)/c - (-8)/28. Is l != 3?
False
Let n = 192 - 1539/8. Which is bigger: -1 or n?
n
Let j be 7/(-9) + 46/69. Suppose d + 15 = 4*d. Suppose d*x + 3 = 2*x. Is j at most x?
False
Let k = -8 + 0. Let q = k + 8. Which is smaller: q or 2/5?
q
Let j(r) = 2 + r**3 - r - r**2 + r. Suppose 8*z = 4*z. Let f be j(z). Is f smaller than 2?
False
Suppose -b - 1 = 2*d + 2, 10 = -5*d. Is 1 < b?
False
Let v(s) = s**2 + 5*s + 2. Let j be v(-4). Suppose -5*d = -4*d + 3. Which is greater: j or d?
j
Suppose 0*f + 2*f = 0. Let w = -4 - -3. Is w > f?
False
Suppose 5*n = n. Let t = -337/1140 - 1/228. Which is greater: n or t?
n
Let s(w) = -3*w - 60. Let g be s(-21). Are 3 and g unequal?
False
Let z be (8/52)/(1 + -5). Let y = z + -6/13. Which is greater: y or -1?
y
Let i(y) = 7*y. Let x be i(-1). Let m be (1/(-4))/(x/28). Which is bigger: -0.2 or m?
m
Let n(t) = -t - 4. Let l be n(-5). Suppose -6 = -5*b + 14. Let z be (b/14)/(2/14). Is l bigger than z?
False
Let u(x) = -5*x - 2. Let m(r) = -14*r - 5. Let q(p) = 6*m(p) - 17*u(p). Let n be q(-6). Which is bigger: -1 or n?
-1
Let u(w) = w + 2. Let b be u(1). Which is bigger: b or 9?
9
Let t be (-7)/(28/(-12)) + -2. Let l be 0 + 5/(30/(-4)). Let g = 0 + l. Which is smaller: g or t?
g
Suppose i + 2*i - 21 = 0. Which is bigger: 8 or i?
8
Let j(w) = 0 - 1 + 0*w + 0 - w. Let g be j(-4). Which is smaller: 4 or g?
g
Let r = 2.35 + 95.65. Which is bigger: r or 1?
r
Suppose 0 = -3*m - 3*j, 0 = -5*j + j - 16. Let q be (10/4)/(m/16). Suppose q = -p - 2*t, 4*t + 24 = -p - 3*p. Is -1 > p?
True
Let r = -3 + 6. Suppose l = -y + 10, -1 = 3*y - 4. Let u be (-6)/27 - (-20)/l. Which is smaller: u or r?
u
Suppose -3*n = 5*l - 0*n + 9, 9 = l - 3*n. Which is greater: l or -7/10?
l
Let x = 88.1 + -88. Is x at least 13?
False
Let c = -16 - -15. Let p = 2 + 1. Is p >= c?
True
Let v be (-16)/18*(3 - -4)/42. Is v at least as big as -1?
True
Suppose -54 = -0*c - 2*c. Let d be 2 - 2/(26/c). Is 1 != d?
True
Let u = 3 - 2. Which is bigger: u or 9?
9
Suppose -2 = i - 2*i. Suppose -5*p + i*k = k, 0 = -2*p + 4*k. Which is smaller: p or 3?
p
Let r be 1*6/4*18. Suppose 0 = -2*l - 0*l - v + 15, -5*v = -2*l - 15. Suppose r - 2 = -l*w. Which is greater: -4 or w?
-4
Let w = -3/316 - 419/22436. Does w = -1?
False
Let j = -4.3 - -4. Let v = 1 - 1. Let t = v - 0. Is j greater than t?
False
Let z = -1 - -2. Is z bigger than 82?
False
Let k be ((-3)/4)/(2/(-8)). Suppose k*u + 5*s = -4, -7 = -4*u + 2*s + 5. Let p be 2 - (4/(-2) + 3). Which is greater: u or p?
u
Suppose -11 = -l - 3. Let u = -6 + l. Let x be 6/u - (-6)/(-2). Which is greater: 1 or x?
1
Suppose 5*s = 5*j + 4*s, -s = 3*j + 8. Is -1 smaller than j?
False
Let g be (-9)/(-5) + -1*4/5. Is -4/69 smaller than g?
True
Suppose 0 = 5*b - 30. Let u = -32 + 23. Let f be u/b - 14/(-8). Which is bigger: 1 or f?
1
Let p = 531/187 + -5/17. Let a = 62/33 - p. Which is greater: -2 or a?
a
Let o = 7 - 7. Let w be 34/10 + (-3 - 0). Which is bigger: w or o?
w
Suppose 4*p = -2*p - 132. Let l = -10 - p. Is l < 12?
False
Let a = 10 + -100/9. Let n be -3 + (1*-4)/(-2). Does n = a?
False
Let o(d) = -d**2 - 5*d - 7. Let r be o(-2). Which is greater: r or 4?
4
Let z(c) be the second derivative of -29*c**3/6 - c**2/2 - 2*c. Let j be z(-1). Suppose 4*k - 3 = 2*m - 5*m, -k + 5*m - j = 0. Is -3 less than k?
False
Let v = 0.05 + 1.95. Suppose -3*h + 12 = -6*h. Which is smaller: v or h?
h
Suppose -4 = -2*n + 2*j, n - 3*j - j = 11. Is 2/65 at least as big as n?
True
Suppose 0 = -5*w - 10. Let p be (-2)/(-52)*(0 + w). Let s = -18 + 17. Is s <= p?
True
Let a = -4 - -3. Let j = a - -2. Suppose -2*g = j + 3. Which is smaller: g or -3?
-3
Let w = -4.8 + 4.8. Suppose f - 5*t - 1 = 6, -2*t = -f + 7. Is f smaller than w?
False
Let n(p) = -p - 19. Let z be n(-13). Is z < -5?
True
Let a = 35 - 37. Which is bigger: -9/4 or a?
a
Let t(y) = -y - 7. Let w be t(-11). Let q be w/26 - 56/26. Which is bigger: q or -4?
q
Suppose -5 = 5*x + 5*r, -3*x - 3*r = -r + 4. Is x != 0.5?
True
Let j = -82 - -81. Let m be 4/(-2)*(-2 + 1). Which is smaller: m or j?
j
Let q(d) = -d**2 - d - 3. Let c(g) = -g**3 - 8*g**2 + g + 8. Let w = 0 + -8. Let i be c(w). Let l be q(i). Is l > -3?
False
Let a = 54 - 78. Is -24 at most a?
True
Let k = -0.5 - -1.5. Let r = -0.08 - -3.08. Which is smaller: r or k?
k
Let m = -24 - -22.7. Let p = m + 1.4. Is p < -2.2?
False
Let z = -3.14 + 3. Are z and -0.2 equal?
False
Let x(c) = -c + 7. Let y be x(5). Suppose 0 = y*f + 2*s - 16, -3*s = -5*s + 4. Is 7 at most f?
False
Let b be -4*(10/15 + 2)*-3. Is b <= 32?
True
Let s = 40 + -37. Is 2 at most as big as s?
True
Let r = -6 - -9. Let m be (-2)/(-5) - 13/(-5). Is m <= r?
True
Let q = 24.3 + -2.3. Which is greater: q or 0?
q
Let s = 2 + 0. Let o be (s/12)/((-138)/8). Let b = 428/1449 + o. Which is smaller: b or -0.1?
-0.1
Suppose -2*d = 1 - 3. Let b be 1 + -2 + 0 + d. Suppose b = 4*m + 12 + 12. Which is greater: m or -5?
-5
Suppose -3 = b - 7*c + 5*c, -2*b - 2*c + 12 = 0. Let o(t) = t + 6. Let z be o(-6). Suppose z = -5*f + 7*f - 2. Which is bigger: f or b?
b
Suppose -2*m + 0*m + 26 = 0. Let b(k) = k + 6. Let h be b(-3). Suppose 5*a - h = -m. Is -0.2 at most a?
False
Let m = 27 - 15. Is 13 at most as big as m?
False
Suppose 48*p - 44*p = 192. Which is smaller: p or 46?
46
Let p be 4/6 + (-689)/39. Let r be (2 - p/(-8))/1. Is r greater than 0?
False
Suppose -3*r + 8 + 1 = 0. Is r at most 2?
False
Let n be ((2097/(-6))/(-1))/3. Let m = n - 15139/130. Let s = -29/65 + m. Which is smaller: 1 or s?
s
Let i(p) = -p + 3. Let f be i(4). Suppose 9 = -3*y - 9. Let j be f*3/y*-2. Is -2 < j?
True
Let g = -33 + 133/4. Let f = 3.175 - 0.175. Is f > g?
True
Let q = -21 - -16. Suppose 3*i = 3*t, t + 5*i + 4 - 10 = 0. Which is greater: t or q?
t
Let k be 1/(63/14) + (-344)/9. Which is greater: -39 or k?
k
Let a = -173 + 139. Do -35 and a have the same value?
False
Suppose 4*n = 16, -4*n + 18 = -5*i - 13. Let w = 11 + i. Let l be (2/(-10))/(w/10). Which is smaller: l or -2/11?
l
Suppose -2*i + y = -4*y + 8, 2*y - 8 = 0. Suppose -i*u + 3*u = 0. Suppose u*p + 6 = -3*p. Which is bigger: p or -4/3?
-4/3
Suppose 2 = -0*i - i, 0 = 5*b - i - 12. Let z(v) = -v**2 - 5*v + 3. Let w be z(-5). Let o be (-2)/(-15) - (-2)/w. Does b = o?
False
Let d be ((1 + -9)*1)/(-2). Suppose -g = -4*h + 24 + 9, d*h = 4*g + 36. Let v be 0/2*(-4)/h. Which is greater: -1/4 or v?
v
Let r = -39 - -38.99. Which is smaller: -1 or r?
-1
Let m = 8.3 - 8.2. Which is greater: -85 or m?
m
Let v = -165707/2856 - -52/357. Let o = v - -58. Which is smaller: o or -1?
-1
Let t be (2 + -1)*-1*-3. Let z be 2*(-3)/6*t. Is -5 >= z?
False
Let c = 36/133 + -2981/2660. Let r = c - -3/5. Are 4/5 and r equal?
False
Let k be ((-1)/(-38))/((-2)/(-40)). Let a = k + -32/