 - (-4)/(-1). Which is smaller: d or m?
m
Let s(b) be the third derivative of b**6/120 + 7*b**5/60 - b**3/6 + 2*b**2. Let v be s(-7). Which is smaller: v or -2?
-2
Suppose -4*h + 0 = -4. Let d(w) = -w**2 - 6*w + 7. Let l(o) = o**2 + 6*o - 6. Let m(a) = -4*d(a) - 5*l(a). Let r be m(-6). Which is bigger: r or h?
r
Let t = -1.1 - -1. Let h = -24 + 23.9. Are t and h nonequal?
False
Let d be (-8)/6*(-45)/(-40). Is d equal to -5?
False
Let j be (-4)/(-10) + (-2499)/60. Let l = -41 - j. Is 0.1 greater than l?
False
Let x be (-1)/4*-4 - -1. Suppose x*l + 7 = -b, -l - b - 1 = 3. Which is greater: l or -5/2?
-5/2
Let c be (-3)/2*12/16. Which is greater: -1 or c?
-1
Let v be (-3)/(-2) + 9/(-2). Suppose 0*p = 5*p + 30. Let d be 22/p - 1/3. Is v not equal to d?
True
Let x = 103/2573 + -6/83. Which is smaller: 0 or x?
x
Let f = -0.5 + 0.4. Which is smaller: f or -10?
-10
Let t = -10/13 + 76/65. Let v(p) = p**3 + 8*p**2 + p + 7. Let y be v(-8). Which is smaller: t or y?
y
Suppose -5*o = -0*o + 20. Let v = -6 - o. Let b = -10 + 9. Does b = v?
False
Let b be 1 + (-4 - -4 - 5). Let y be 1/(1*-2 + 1). Let l = b + y. Is -5 less than l?
False
Let p = -19129/6 - -3130. Let v = p - -58. Suppose 4*j - 5*s = 0, 2*s = -2*j + 4*j. Which is greater: j or v?
j
Let m(u) = 3*u**2 - 4*u - 2. Let i be m(-3). Let h be -2 + i/7 - 3. Let r(w) = w**3 - 3*w**2 - 4*w + 1. Let c be r(4). Are c and h equal?
False
Let q(g) = g**2 + 5*g + 6. Let j be q(-6). Suppose j = -2*f - 6. Let i be 3/f*(2 - -1). Which is smaller: i or -2?
-2
Let v = -94 - -97.9. Let s = v + 0. Let n = 4 - s. Is 0.1 less than n?
False
Let z(p) = -p**2 - p - 1. Let r be z(-1). Let c = 5044 - 35755/7. Let h = 63 + c. Is r < h?
True
Suppose 5*v = -3*w + 6*w + 34, 5*w = -4*v + 5. Which is smaller: -11 or w?
-11
Let y = 60 - 61. Is y not equal to -2/13?
True
Suppose -72*k + 5 = -67*k. Is k greater than -12?
True
Suppose 5*l = p + 22, -5*p - 21 = -2*l + 43. Let a(z) = -z**3 - 8*z**2 - 5*z + 2. Let t be a(-7). Is p less than t?
False
Let k = -79 - -73. Which is bigger: k or -3?
-3
Let k(a) = 2*a**2 + 2*a - 2. Let s be k(-2). Is s at least 5/3?
True
Let u = 12 - 4. Let j = -9.3 + -0.7. Let r = u + j. Do r and -2 have the same value?
True
Suppose -5*p + 4*h + 2 = -25, -5*p - 4*h = -3. Which is bigger: p or 10/3?
10/3
Let r = 2 - -6. Let o be (4 - r) + 22/2. Is o equal to 0?
False
Let o be (1/36*3)/(68/(-32)). Is o less than or equal to -1?
False
Let s = 29 - 20. Let t = s - 7. Let b = 118/3 + -38. Which is greater: b or t?
t
Let r(m) be the second derivative of -m**3/6 - 2*m**2 - 4*m. Let b be r(0). Suppose 5*p + 5 = -10. Is p at most as big as b?
False
Let s be (-97)/(-4) + (5 - (-21)/(-4)). Are s and 23 nonequal?
True
Suppose 31 = -3*g + 16. Is g not equal to -6?
True
Let i = 44 + -47. Let v be 1/(0 - 2/6). Is i at least as big as v?
True
Let m = -56 + 55. Let w = -13/58 + 106/667. Let v = w - 17/92. Which is smaller: v or m?
m
Suppose -z = 6*w - w + 4, w + 3 = 2*z. Is -9 > w?
False
Suppose 4*v = x - 25, 5*v + 20 = 4*x - 14. Let k = 11/2 + v. Are k and 0 equal?
False
Let n = 166 - 160. Suppose 4*z + 3*v + 3 = 35, 0 = -4*v + 16. Which is greater: n or z?
n
Let g be (-4)/10 - (-115)/(-25) - 13. Let j be 1*2*(-34)/4. Which is smaller: g or j?
g
Let o be ((-10)/8 - (-9)/(-12)) + 2. Is 9/11 at most as big as o?
False
Let q = -1078082/178761 + 3/5417. Let b = q + 17/3. Let c be 3/(-2)*((-57)/(-9) - 7). Which is greater: b or c?
c
Let f be ((-10)/6)/((-8)/12). Let y(v) = 2*v + 2. Let d(g) = -11*g - 11. Let r(s) = -6*d(s) - 34*y(s). Let p be r(-3). Is p at most as big as f?
False
Suppose -5*n + 32 = -n. Let q = n + -8. Is q smaller than 2?
True
Let s be 1/(1/((-1)/1)). Is s greater than -1?
False
Let g = -2/37 - -45/148. Is 4 > g?
True
Let k(y) = y**2 + 2*y + 2. Let h be k(-2). Let s(w) = w**3 + 6*w**2 - 8*w - 7. Let u be s(-7). Which is smaller: u or h?
u
Suppose -7 = -t + 4*t - f, -2*t - 6 = -f. Let r(n) = -5*n**3 + n - 2. Let y be r(2). Let j be ((-1)/4)/((-25)/y). Are j and t equal?
False
Let c(o) = o + 4. Let i be c(-5). Is i equal to -2/13?
False
Let q = -25 - 182. Let y be -1 - (-4)/(12/q). Let c be (-22)/y + 3/(-5). Is c >= 0?
False
Let c = 16 + -18. Is 3 < c?
False
Suppose 0 = 3*h - t + 17, 2*h + 3*t = t + 2. Is -6 at least h?
False
Suppose -89*u - 5 = -94*u. Which is smaller: u or 4/31?
4/31
Suppose 0 = 3*l - 3*v + 6, -2*l - 2 = 2*l - v. Let j be (1 - -2)/(l + 1). Which is bigger: -1 or j?
j
Let p be (-7 + 5)*(-9)/6. Is p at most as big as 3?
True
Let q be (2 + -3)/(1/(-2)). Let u be (-15)/(-12) + q/(-8). Let b = 1 + -1. Is b equal to u?
False
Let a be 2 - -4*(-4)/16. Which is greater: a or -1/11?
a
Let i be 3*(5/(-3) + 2). Let k = 34 - 23. Let n = -8 + k. Is n less than or equal to i?
False
Let m(y) = y**2 - 6*y + 2. Let l be m(6). Suppose l*r + r = 0. Which is greater: 1/3 or r?
1/3
Let u = 15337/6 - 2548. Which is smaller: u or 8?
8
Suppose 0 = -5*y - 15 + 45. Let v = y - 2. Are v and 4 unequal?
False
Let b(h) = -4*h. Let w be b(-1). Let y be -12 + 9 + w/2. Is -1 at least y?
True
Let q be ((-2)/(-6))/((-4)/(-108)). Which is bigger: q or 0.1?
q
Let f = 1 - 2. Suppose 2 = -4*l + 2*o, 0 = -0*l + 3*l + 5*o + 34. Is l bigger than f?
False
Let k = 180 + -205. Which is greater: -27 or k?
k
Let q be 6/(-12)*(3 + 1). Which is smaller: q or -1?
q
Suppose -2*j = 10, -7*j + 3*j - 22 = 2*z. Suppose b - 2*b = 2. Let l = b - -2. Is z less than or equal to l?
True
Let f = -4 - -5. Let j = -1/121436 + -500073439/1092924. Let m = 458 + j. Is m >= f?
False
Let u = -8888/13 - -684. Is u bigger than 1?
False
Suppose b = -5*s - 4 - 0, 0 = 3*b + 3*s. Which is greater: -0.7 or b?
b
Let h be -1 + 6*(1 - 0). Suppose h*i - 3 = 2*i. Which is smaller: i or 0?
0
Let y(u) = u**2 - 8*u + 7. Let x be y(7). Which is bigger: -1/23 or x?
x
Let z(x) = x**2 + 3*x - 4. Let b be z(-4). Suppose 4*d + 67 = -2*o - 603, 4*o = -4*d - 676. Let j = d + 834/5. Which is smaller: j or b?
b
Let b = -4 + 7. Let u(l) = 0*l**3 + 6*l**2 + l**b + 18*l - 12*l + 5. Let t be u(-5). Is -1/11 bigger than t?
False
Let n(x) = x - 46. Let i be n(16). Is -31 smaller than i?
True
Let h = 3460/56001 - 2/1697. Are 1 and h nonequal?
True
Let t = 181 + -181. Which is smaller: -0.32 or t?
-0.32
Suppose 0 = -3*l - 19 - 2. Let f(n) = -n - 5. Let b be f(l). Is b < 3?
True
Let o be (0 - -3) + (-1 - -2). Suppose o*x + 8 = 0, 3*x = d + x + 5. Let u be (2/d)/(10/(-15)). Which is bigger: 0 or u?
u
Let h be (3/(-21))/(2/4). Let o = 7.83 - 7.3. Let b = 0.13 - o. Which is smaller: b or h?
b
Let q(t) = t**2 + 3*t - 1. Let x be q(2). Let u be ((-2)/x)/(5/(-10)). Suppose 0 = 4*r + r - 5. Is r at most u?
False
Let g be 8/(-6) + 158/(-12). Is g equal to -16?
False
Let d = 1 + -1.1. Let y = 0.32 + -0.12. Let q = d + y. Is -3 at least as big as q?
False
Let m be ((-12)/(-20))/(1/(-5)). Let z be m/(-1) + 172/(-8). Let i = z + 19. Which is greater: i or 2?
2
Let h(s) = s**2 + 4*s - 2. Let d be h(-4). Let a(r) be the second derivative of -r**3/2 - 3*r**2/2 + 3*r. Let o be a(d). Which is greater: o or 1?
o
Suppose -1 = g + 3. Let h be (4 - 3)/(1/g). Let u be (h/12)/(2/(-3)). Is 2 <= u?
False
Let m be (-31 - (-12)/(-4))/2. Let d = 13 + m. Which is greater: -5 or d?
d
Let z = -0.3 + 0.4. Let v = 7 + -7.11. Which is smaller: v or z?
v
Let h = 2.4 + -0.4. Let k = 3 - h. Is k > 1/2?
True
Let k = -0.24 - -0.03. Which is smaller: k or 0.1?
k
Suppose -8 = -8*s + 6*s. Let n be (-132)/90*6/s. Is -1 smaller than n?
False
Let o(u) = -u**3 + 3*u**2 + 5*u - 3. Let n be o(3). Let c be 1 - n/(-7) - 3. Which is smaller: c or 0.1?
c
Let l be (15 - 15)/(-1 - -2). Is -2 at least l?
False
Suppose -4*k - 13 = -z, -4*z + z + 4*k + 15 = 0. Which is greater: z or 6/107?
z
Let l(u) = 2*u**2 - 3*u - 3. Let z be l(3). Suppose 3*k + 64 = 2*x, -4*k + 2*x = z*x + 52. Let b be (k/(-12))/((-3)/8). Is -4 != b?
False
Suppose -2*m + 2 = -4*x + 4, -25 = 3*m + 5*x. Suppose 6*k = 4*k - 12. Which is greater: m or k?
m
Suppose -x + m + 3 = -6*x, 0 = -3*m + 6. Is x greater than 2/179?
False
Let l be 1*(-2 - (-90)/39). Let n = 43/182 - l. Is 0 at most n?
False
Let u(t) = -t**3 - 2*t**2 + 4*t + 4. Let s be u(-3). Is 5 less than or equal to s?
False
Let r = -51/65 + 5/13. Let f(s) = s**3 + 4. Let u be f(0). Let i = u - 3. Is r smaller than i?
Tru