 - 16*w**2 + 16*w - 9. Let x be p(15). Is 5 equal to x?
False
Let z = 185.01 + -186. Let h = z + -0.01. Is 5 < h?
False
Let r = -3 - 5. Let l be (-1*(-12)/r)/3. Is -0.1 at least as big as l?
True
Suppose 3*p + 4*i = 19, -2*p - 5*i = -3*i - 10. Let y = -1 + p. Let o be (-20)/(-80) - (-30)/(-56). Which is bigger: y or o?
y
Let p(j) be the third derivative of -j**6/120 - j**5/6 - j**4/12 - 2*j**3 - 3*j**2. Let z be p(-10). Is 7 smaller than z?
True
Let j = 57 + -57. Is -8/9 at most as big as j?
True
Let z = 46.8 + -43. Let m = z + -4. Let h = 0.9 + -1. Is m at least as big as h?
False
Let b = 132 - 922/7. Let w = 0.16 + 0.04. Is w equal to b?
False
Let u be ((-11)/6 - -2)/((-16)/(-72)). Is 4 bigger than u?
True
Suppose 0 = -0*a + 3*a - 12. Suppose -5*x = -4*d + 14, 0 = -a*x - x - 10. Which is bigger: d or 17?
17
Let r(g) = g**2 - 3*g + 1. Let t be r(3). Let h(d) = -4*d**2 - 8 + 2*d**2 + d**2 + 9*d. Let j be h(8). Which is smaller: j or t?
j
Let v be 6 - 8 - (-1 - -1). Let h be 0 - 6/4*v. Is 4 <= h?
False
Let c(s) = -s**3 + 6*s**2 + 3*s + 1. Let p(t) = 6*t**3 - 30*t**2 - 16*t - 4. Let b(i) = 11*c(i) + 2*p(i). Let m be b(-6). Is -1 less than m?
False
Suppose 5*x + 11 = 5*d - 4, -5*x + 3*d = 11. Let b be 12/(-8) + -1 + 101/42. Which is greater: x or b?
b
Suppose 4*a - 2*z - 2*z + 12 = 0, 2*z = a + 4. Which is greater: -0.3 or a?
-0.3
Suppose -w + 16 - 17 = 0. Let r = 29 - 117/4. Is w at least as big as r?
False
Let c be 2/(-6)*569/30. Let k = -56/9 - c. Which is greater: k or 1?
1
Let g = -0.133 + 0.443. Is g greater than 3/2?
False
Suppose 3*w - 3*c + 36 = 0, w - 5*c = 6*w + 30. Which is bigger: w or 2?
2
Let b = 1 + 0. Let l = -5 + b. Let c be -2 + (-1 - (l + 1)). Is -1 greater than c?
False
Let n = 1/45 + 128/315. Let a(h) = -1. Let p(q) = -q. Let j(y) = a(y) - p(y). Let f be j(1). Which is smaller: f or n?
f
Let h = 0 - -5. Suppose 0 = -2*b + m - 5, -2*b + h*m - 2*m = 15. Let o be (-1)/(2 + (-1 - b)). Which is smaller: o or 0?
o
Let n be -1 + (0 + 0)/1. Let c(p) = p**3 + 9*p**2 + 8*p - 1. Let y be c(-8). Is y at least as big as n?
True
Let y be ((-4)/(-6))/((-4)/(-6) - 0). Let l = 85/3 - 1111/39. Which is greater: y or l?
y
Let q = 39.72 + -41. Let w = q + 0.08. Is w equal to -1?
False
Let y(v) = -5*v**3 + 8*v**2 + 4*v - 8. Let f(q) = q**3 - q**2 + q - 1. Let t(i) = -4*f(i) - y(i). Let l be t(5). Is 0 bigger than l?
True
Let y = 0.8 + 5.2. Let u = 58 - 63.9. Let n = y + u. Does n = -1?
False
Let q(k) be the first derivative of k**2/2 - 7*k - 1. Let y be q(7). Let f be 1*(-1 - (y + 0)). Which is smaller: f or -1/4?
f
Let z(y) = y**3 + 9*y**2 + 9*y + 9. Let t be z(-6). Let i be (2 - -1)*70/t. Is i less than 2?
False
Let i be 15/(-6) - (-7 + 3). Is i > -0.1?
True
Let f be ((-5)/3 + 2)/((-1)/6). Which is greater: -5/3 or f?
-5/3
Let f = -7 - -7. Let o be f + (-4)/((-16)/3). Which is greater: 1/6 or o?
o
Let a(l) = -l**3 - 5*l**2 - 3*l + 3. Let z be a(-4). Let k be 3 - (-2 - -7 - 0). Which is smaller: k or z?
k
Let m be (2/(-192))/((-6)/12). Is -1 < m?
True
Let j be 2/(-6)*1/(-3). Which is bigger: 0 or j?
j
Suppose 3*k = 19 - 7. Suppose k*o + 12 = 48. Is 1/3 bigger than o?
False
Let a be (-10)/35 + (-8494)/112. Let y = -76 - a. Is y greater than 1?
False
Suppose -3*i = 9 + 6. Which is smaller: 1 or i?
i
Let b(r) = 2*r**3 + 4*r**2 - 5*r + 4. Let d be b(-3). Let c be ((-6)/(-9))/(-3 - -1). Which is smaller: c or d?
c
Let j(y) = -4 + 3 - 2 + 4 + 4*y. Let r be j(1). Are 5 and r equal?
True
Suppose -h = -6*h. Do h and -1 have the same value?
False
Let t be (2 + -1)*1*240/(-6). Which is bigger: -39 or t?
-39
Let a be (-4)/(-14) + (-38)/(-14). Let x be (7 + (-12)/4)/1. Which is bigger: a or x?
x
Let o be 1 + 3 - (4 - -2). Is o smaller than 2?
True
Let u be (-12)/(-28) + 519/(-84). Which is bigger: -5 or u?
-5
Let g(y) = y**3 - 6*y**2 - 9*y + 10. Let p be g(7). Let j be ((-64)/18)/p + -1. Which is smaller: j or 0?
j
Let j = 0.29 - -0.01. Is j at least as big as -0.1?
True
Suppose 0 = 2*t + 6. Let b = -18 - -30. Suppose -3*j = 5*y + 1, 2*j + 3*j = 2*y - b. Which is smaller: t or j?
t
Suppose -2*o = 5*n + 4, -3*n + o = 1 - 3. Let k = 214/3 + -72. Is k >= n?
False
Let b = -0.5 + 0. Let u be 6/3 - (0 - -1). Is b not equal to u?
True
Let m be 10/(-15) - (-20)/21. Let l = 3 - 6. Let y = l - -1. Do m and y have the same value?
False
Suppose -a + 5*a - 8 = 2*i, 2*a = 3*i - 4. Suppose -5*l - 2*u + 13 = -5*u, -u - 3 = -l. Let v = l - a. Which is smaller: -4 or v?
-4
Let i be (2 + 1 - 1) + 0. Suppose 28 = 3*v - 8. Let k = v + -7. Is k < i?
False
Let g(j) = j**3 - 5*j**2 - 3*j + 16. Let c be g(5). Is -2/9 greater than c?
False
Let j(a) = -a**2 + 12*a - 10. Let o be j(10). Suppose 14 = 2*w + 4*c, 5*c = o - 0. Is w bigger than 2?
True
Let d = 124/3 + -42. Let x be ((-4)/(-8))/(1/2). Let h be x/(0 - (0 + 1)). Which is smaller: h or d?
h
Let q(d) = -15*d - 55. Let r be q(-4). Which is greater: r or 8?
8
Let n be 1/(-3)*306/4. Let a = n + 24. Let j be 2/((-4)/(-2)) - 2. Which is smaller: a or j?
a
Suppose 0 = -10*a + 5*a - 5. Which is bigger: a or -14/9?
a
Let n = -23 + 25. Suppose -n*p = 2*p. Does p = -8/7?
False
Let y = 12.92 - -1.08. Is y less than or equal to 0.2?
False
Suppose -y + 3*l - 11 = -0*l, 2*y - 5*l = -18. Suppose 12 = r + 2*r. Let b be r/(-18)*(-1 + 4). Which is greater: y or b?
y
Let a = 4.1 + -1.1. Is 0.2 at least as big as a?
False
Let k be 3/(3 + (-81)/6). Is k equal to 0.1?
False
Let b = 1/123 - -68/41. Let q = b + -19/15. Which is smaller: q or 1?
q
Let p = 45 - 44. Does p = -1/11?
False
Let i(o) = o**3 + 3*o**2 - 5*o. Let j be i(-4). Suppose -u = -j*u. Suppose d = -u*d. Which is greater: 1 or d?
1
Let x be (-2)/(-130)*(-101)/(-7). Let o be (-279)/273 - 1 - -2. Let u = o + x. Is u less than -1?
False
Suppose 38 = 5*d - 32. Let u be (6/(-16))/((-21)/d). Which is bigger: 1 or u?
1
Let d(q) = -q**3 - 4*q**2 + 5*q + 2. Let c be d(-5). Let i = -0.3 - -1.2. Let v = -1 + i. Which is greater: c or v?
c
Let k(v) = v**3 - 4*v**2 + 2*v + 2. Let d be k(2). Let y be (6/(-4))/(d/(-4)). Suppose -3*o + 4*o = -4*c - 14, 0 = c + 3. Is o at most y?
False
Let y = -9 - -25. Which is smaller: y or 52/3?
y
Let i be -3*2/12*0. Let t = -6.7 - 0.3. Which is smaller: i or t?
t
Let t(x) = -x**2 - 5*x - 5. Let j = -10 + 6. Let h be t(j). Let a be ((-1)/3)/((-5)/6). Is h equal to a?
False
Let w be 4/(-6) - (2 + -4). Suppose 0 = h + 2*h - 3. Suppose -h = -u + 1. Is u greater than w?
True
Let o = -13 + 23. Let s be o/(-45)*-3*-3. Let u be 8/(-6)*1/2. Which is bigger: s or u?
u
Let v = -0.3 + 0.4. Which is greater: -14 or v?
v
Suppose 16*s - 5 = 21*s. Is 1 at least s?
True
Let g(a) = -a**2 + 8*a + 7. Let z be g(10). Let m = -12 - z. Which is greater: m or 3/11?
m
Let w(m) = -m**2 - m. Let i be w(1). Let v be -5 + 3 + 4 + i. Which is smaller: 2 or v?
v
Let f be 37/(-56) - (-4)/14. Let z be -2 - (0 - (3 - 0)). Suppose 4*y = -x + z, 4*x = -y - 2*y + 17. Is y smaller than f?
True
Let n = -10 - -12. Suppose -4 = -3*i + n. Do i and -2 have the same value?
False
Let d be -57 - 2/4*-2. Let a be ((-30)/d)/((-1)/8). Let f = -4 - a. Which is smaller: f or 1?
f
Let x be 26/(-5) - (-2)/10. Is -6 less than or equal to x?
True
Let g = -351 + 1748/5. Which is greater: -1 or g?
-1
Let f be ((-44)/(-40) + -1)*-6. Is 0.2 > f?
True
Let s = 7 - 0. Suppose 0*l - 12 = -4*l. Let i = l - -3. Which is smaller: i or s?
i
Let y(k) = -k - 15. Let g be y(-22). Is g less than or equal to 8?
True
Suppose -i + 14 = i. Is i >= 6?
True
Let s be (6/21)/(5/6). Is 0 > s?
False
Let k(m) = -m**2 - 10*m + 3. Let z be k(-10). Suppose -5*l + z = -8*l. Is -6/7 >= l?
True
Suppose 0*n + 27 = 3*f - 3*n, 3 = -f - 2*n. Suppose -4 = l - f. Let w = 2 - l. Which is smaller: 2/3 or w?
2/3
Suppose -3*u = -4*u. Suppose 0 = -3*l - 3, 3*l - 5 = -4*n + 32. Let m be ((-12)/(-45))/(12/n). Is m at least u?
True
Let f = 13 - 8. Suppose -4*q - f = q. Which is greater: q or -3/7?
-3/7
Let s(d) = 17*d**2 + 2*d. Let c be s(-1). Suppose 0 = -q - 0*q - 3*t + c, -4*t = 3*q - 25. Is q bigger than 3?
False
Let k be (-4)/(-4*1)*3. Suppose k*o = 5*o. Which is greater: o or 2/23?
2/23
Suppose 5*a - 8 = 12. Suppose k - c + 2 = 0, -2 = k + a*c - 15. Let l be k/(-1)*-1 - 1. Is l less than -1/3?
False
Let o = -0.009 + -0.041. Which is smaller: -1 or o?
-1
Le