z. Let w be r(-8). Which is smaller: w or 5?
5
Let x be (-9)/21 + (-53)/7. Which is smaller: x or -9?
-9
Let g = 2.6 - 3.17. Which is smaller: 0 or g?
g
Let p(n) = -n**2 - 9*n + 1. Let i be p(-9). Let x = 4 - 3. Let l(s) = s**3 + 2*s**2 - 1. Let j be l(x). Which is smaller: i or j?
i
Let z(y) = y**3 - 4*y**2 - 5*y + 1. Let x be z(5). Are 6/17 and x equal?
False
Suppose -2*y + 155 = 5*d, 93 = 2*d + d + 5*y. Is 31 < d?
False
Let t = -0.19 - 23.81. Let i = 24 + t. Which is smaller: 0.1 or i?
i
Let q = -0.4 + 0.3. Suppose w + 2*v + 15 = 0, 3*w + 7*v = 9*v - 45. Which is bigger: q or w?
q
Suppose 51 = -7*b + 4*b. Do -22 and b have the same value?
False
Suppose -2*w - 4*b - 5 = -7*w, -w = -2*b + 5. Let o(l) = 14*l**2 - l + 1. Let s be o(1). Let r be (-2)/(-3) - s/(-6). Are r and w non-equal?
True
Suppose 3*k - 719 = -2*m, -m + 247 = k - 4*m. Let j = k + -2173/9. Which is smaller: j or 1?
j
Let a = -51 + 50.6. Let k = -0.1 - -1.1. Do a and k have the same value?
False
Let v = 8 + -4. Let x = -6 + 11. Suppose -v*y + x = y. Is y greater than or equal to -2/7?
True
Let z = -1 + 15. Is z at most -1?
False
Let r be 10/6*(-4)/10. Let f(s) = -s**3 + s**2 - s + 2. Let o be f(2). Let i = -5 - o. Does i = r?
False
Suppose 0 = -g - 4*l + 1 - 6, 2*g + 2 = -4*l. Suppose 0 = 5*d + 2*k + g*k - 15, -3*d + 3 = -3*k. Let x be d/(-5) - 36/(-15). Is x at least as big as 3/2?
True
Let m = 65 - 20. Let q = m + 12. Let b = 173/3 - q. Which is bigger: 2 or b?
2
Let l be (-2)/22*1/(-3). Let w be (-20)/(-66) - 5/(-15). Let b = w + l. Which is greater: b or 0?
b
Suppose -h + 8 = -2. Let m be ((-8)/(-10))/(h/25). Which is bigger: m or 0?
m
Let a = -0.2 - -0.26. Let v = 7.06 - a. Is -0.1 smaller than v?
True
Let q be 15/(-6) + 3/6. Let a be -11 - (-1 - q)*-2. Is -10 greater than or equal to a?
False
Let b = -22 - -23. Is -9 at most b?
True
Let a(k) = -k - 4. Let i be a(-5). Suppose -3*y - 16 = -4*d, 4*y + 3*d + 4 = 4*d. Is i > y?
True
Suppose -2*a = 3*q - 10, 0 = 4*a - 5*a + 4*q - 17. Which is smaller: a or 6/13?
a
Suppose -4*o + 2 - 22 = 0. Is o at most -3?
True
Let z = -1 + -21. Let b = z - -17. Let s be (-1)/3 + (-14)/(-24). Which is smaller: b or s?
b
Let y(n) = -n**2 + 8*n + 1. Let f be y(8). Suppose 2*t = 9 - f. Let c be 4/14 - t/7. Which is greater: 0 or c?
0
Let y(t) = 2*t - 15. Let b be y(-6). Let p be 13/(-65) + b/(-85). Which is bigger: 1 or p?
1
Let t(p) be the third derivative of p**5/20 - p**4/24 - p**3/6 - 2*p**2. Let i be t(-1). Do 3 and i have the same value?
True
Let l be ((-3)/3 - -3) + (-4)/2. Which is smaller: -2/29 or l?
-2/29
Let z = -6 + 9. Suppose -z*q = -5*r + 3, 4*q = -r + 6 + 13. Let o be r*3/((-171)/2). Which is greater: o or 0?
0
Let n = -1011 - -102114/101. Let u = -336/1111 + n. Which is greater: 0 or u?
0
Let n be (-2)/16*-2*-1. Let k(u) = -5*u. Let x be k(1). Let y be (2 - 3)*5/x. Which is bigger: y or n?
y
Let t be (-12)/(-4) - 5*2. Let b = t + 9. Suppose 0 = 7*o - 5*o. Is b at least as big as o?
True
Let k(r) = r**3 + 10*r**2 - 2*r - 6. Let v be k(-10). Is v >= 14?
True
Let w = 23 + -19. Are w and 4 non-equal?
False
Let k(u) = 2*u - 1 - 1 - 1. Let j be k(4). Suppose 3 = d + x - 3, -j*d + x = 0. Which is smaller: -1 or d?
-1
Let w = 8 - 10. Suppose -f = v + 6, 3*f + 0*v = -2*v - 14. Is w > f?
False
Suppose -5*l = -l. Suppose l = -2*z - 4. Is z at least -6/7?
False
Suppose -22 - 6 = -4*v. Suppose -v*j = -5*j - 2. Which is smaller: j or -2/41?
-2/41
Suppose 3*y + 2 = 2*x, 0 = -3*y - 5*x + 34 - 8. Is y at least 4/3?
True
Let p = -7 - -2. Let x(o) = -o**3 - 4*o**2 - 5. Let g be x(p). Let h = -298/15 + g. Which is bigger: 1 or h?
1
Let f be ((-14)/(-6) - 0)/(12/18). Which is smaller: 0 or f?
0
Let b = 0 + -2. Let t = -124.1 - -111. Let x = 13 + t. Which is bigger: x or b?
x
Let w = 88 + -61. Which is smaller: w or 2/7?
2/7
Let v be 7/1 - (5 + -2). Suppose v*c = c. Is c at least as big as 5/6?
False
Let h be ((-2)/24)/(8/(-24)). Which is bigger: 9/5 or h?
9/5
Let v(m) = m**3 + 12*m**2 - 2*m - 25. Let b be v(-12). Is b greater than -1?
False
Suppose 2*f + 5*h = -19, -h + 1 = 5*f + 14. Which is smaller: f or 1?
f
Suppose -3*f + 14 = -2*f. Let o = -4 + f. Suppose 3*a + 14 = 2*t, 2*t = -0*a - 3*a - o. Which is greater: a or -3?
-3
Suppose i = -0 - 2. Let p(r) = r**2 - 12*r + 8. Let n be p(11). Is n smaller than i?
True
Suppose 0 = -5*f + 4*c + 49 - 15, 7 = f - c. Let u be 1/3*f/(-4). Let m be 1/4 - 2/8. Which is smaller: u or m?
u
Let p(d) = 8*d**2 + 1 + 5*d + d**3 - 3 + d. Let s be p(-7). Suppose -4*u + 5*n = -20, -3*u - 5*n = 25 - s. Which is smaller: u or -0.1?
-0.1
Let n = -33 - -98/3. Let z = 648/5 - 130. Which is smaller: z or n?
z
Let x = 6.4 + -7. Let b = 0.3 + x. Let j = 2 + -1.9. Which is greater: j or b?
j
Let l(b) = 2*b**3 + 6*b**2 + 2*b - 2. Let y be l(-2). Is 21 equal to y?
False
Let d = 101 + -44. Is 57 bigger than d?
False
Let t = -29/6 - -71/15. Let u be 1/(-4) - 1/(-4). Which is greater: u or t?
u
Let w(k) = k**2 - 1. Let h be w(-1). Let x = 16 + -16.4. Which is smaller: x or h?
x
Let u be (3 - (-85)/(-30))/((-5)/(-14)). Which is greater: 0 or u?
u
Let w = 71/2 + -493/14. Is -9 >= w?
False
Let l(t) = -9*t**2 - 2*t - 7. Let m(k) = 5*k**2 + k + 4. Let q(y) = -4*l(y) - 7*m(y). Let b be q(1). Suppose -7*r = -2*r - 15. Which is smaller: b or r?
b
Suppose 0*k = -k. Which is bigger: k or 6/13?
6/13
Suppose -j = -0*j - 3. Which is greater: 0 or j?
j
Let g be 10/(-15) + (-79)/(-144). Let p = g - 1/144. Which is smaller: p or 1?
p
Let h = -110 + 552/5. Let k = -4.8 + 5. Which is bigger: h or k?
h
Suppose 0*u + u + 1 = 0. Let y be ((-1)/((-3)/(-6)))/u. Suppose 5*r + y - 12 = 0. Which is smaller: r or 3/2?
3/2
Let x = -355 - -108. Let p = -2219/9 - x. Is 1 > p?
True
Let p(h) = 5*h - 19. Let t be p(6). Suppose 3*z - m = -0*z + 5, -3*m - t = -5*z. Do -2/5 and z have the same value?
False
Let n(k) = k**2 + 4*k + 3. Suppose -4*m - 5*c - 17 = 5, 2*c + 1 = m. Let h be n(m). Do -1 and h have the same value?
False
Suppose 0 = -2*x, -3*x + 8 = -5*s - 17. Let a(t) = t + 4. Let p be a(s). Is p greater than 2/35?
False
Suppose -18 = -2*z + 5*u, -5*u = -0*z - 5*z + 60. Is 12 > z?
False
Let m = 60 - 61. Which is smaller: m or -7/10?
m
Let q = -3/59 - 97/413. Let d = -1.02 + 0.12. Let l = -1.1 + d. Is q less than l?
False
Let u = 35.946 - -0.054. Let c = 19 - u. Which is greater: c or -1?
-1
Let s = 11104/345 + -161/5. Which is smaller: 1 or s?
s
Let v(k) be the third derivative of k**6/120 + k**5/10 - k**4/3 - 2*k**3/3 - 2*k**2. Let u be v(-7). Suppose u*p = p. Which is smaller: 1 or p?
p
Suppose -y = -14 + 15. Which is bigger: 1 or y?
1
Let p = 12 + -7. Suppose 5*z - 7*o - 5 = -2*o, 3*o = -p*z - 3. Let v be z + 5/((-75)/(-6)). Is -1 smaller than v?
True
Let l be (-1)/(-1) + 1 + (-135)/69. Which is greater: 0 or l?
l
Let k be 30/2*4/(-10). Let z be (-1)/(-3) - (-5)/k. Let l = -101/2 - -50. Is z equal to l?
True
Suppose -4 - 1 = 5*c. Are 2/21 and c equal?
False
Let w be (10/(-3))/((-8)/408). Let i be (-4)/w*(4 + -9). Which is bigger: i or -1?
i
Let q = -6 - -1. Let a = q + 5.2. Is -0.4 not equal to a?
True
Let s be (-1 + -1)*9/(-6). Let y = 13/2 - s. Let z = 11 - 6. Are y and z non-equal?
True
Let h = -1 - 0. Let s = 10 - 16. Let q be (3/s*2)/1. Is h at most q?
True
Let b be -3*4/6*155/(-10). Which is bigger: b or 30?
b
Let y = -4 + -4. Is -5 > y?
True
Suppose 2*q - 27 = q + 5*h, 16 = 3*q - 2*h. Is 1 > q?
False
Suppose 3*d = -10 + 34. Suppose d*u - 5 = 3*u. Is u <= -6?
False
Let g = 15 + -15. Is 0 at least as big as g?
True
Let b(a) = -6*a**3 + 3*a + 3. Let l be b(-2). Is 46 at most l?
False
Let d = -1.91 - 0.09. Let c = 0.3 - -2.1. Let b = d + c. Is 0 greater than b?
False
Let l be (2/(-4))/(4/(-24)). Suppose -2*z = l*o - 4, -6*z + 2*z - 2*o + 16 = 0. Suppose 0*b = k + z*b - 4, -5 = 4*k - b. Are -1 and k equal?
True
Let n(u) = u**2 + 0*u + 0 + 3 + 2*u - 2. Let q be n(-1). Which is greater: 3/5 or q?
3/5
Let v be 8/28 + 65/(-7). Let u be v/(-12)*(-2)/6. Is 3 equal to u?
False
Suppose -2 = -g - 0. Which is smaller: -13 or g?
-13
Suppose 0 = 2*a + 3*a - 40. Suppose l - 7*l + 42 = 0. Which is greater: l or a?
a
Let s be (6 - 4 - 1) + 21/(-20). Which is bigger: -1 or s?
s
Let z = -140 + 703/5. Which is smaller: z or 0.8?
z
Let i = -56/75 - -2/25. Suppose -b = 3*