*i, 4*i + 0*i = -h*q + 16. Which is smaller: -1 or q?
-1
Let a = -12836/23 - -558. Is 1 smaller than a?
False
Let t be (5/(-5))/(2/10). Let p = -25 + t. Let j be -3 - (-39)/p*-2. Which is smaller: -2 or j?
-2
Let j = -5 + -5. Let f = 7 + j. Let q be f - (-2)/4*-2. Which is bigger: q or -6?
q
Let f be 2/(-4)*-2*14. Let p be ((-12)/(-14))/(2/f). Is p > 6?
False
Let j(m) = m**3 - m**2 + m. Let s be j(0). Suppose -x + s*q - 3*q = 5, -5*q = 2*x + 9. Are x and -2 equal?
True
Suppose -b + 8 = r - 0, 0 = -2*b - r + 13. Suppose 6 = b*m - 4. Let s be ((-20)/(-55))/(m + 0). Which is smaller: 1 or s?
s
Suppose -1 = -3*i + 5. Let b = -20 - -23. Let a be (1/b)/(-1)*0. Is i at least a?
True
Let y(j) = j - 3. Let x be y(2). Which is greater: x or 2/33?
2/33
Let j(d) be the third derivative of d**4/24 + d**3/6 + 2*d**2. Let r be j(-2). Let q(y) = y + 2. Let b be q(-1). Which is smaller: r or b?
r
Let h = -1.5 + 0.5. Which is smaller: h or 3?
h
Let n = -12 + 2. Let b = 2 + n. Are -7 and b nonequal?
True
Let x be (-30)/16 + -2 + (-8)/(-2). Is 0.2 >= x?
True
Let t = -105 + 74. Let d be ((-2)/t)/(-5 - -6). Which is smaller: 0 or d?
0
Let t = -14903/205 + 363/5. Is 1 less than t?
False
Let p = 45 - -65. Let k = p - 552/5. Do -2/5 and k have the same value?
True
Let m = 7 - 5. Let a(q) = 2*q - 1. Let o be a(m). Suppose o = 2*d - 5*d. Which is bigger: d or 2/11?
2/11
Suppose -5*d - 4*s + 19 = 0, -2*d + 0*s + 34 = -5*s. Let b be (-4)/d + 120/112. Which is bigger: b or -2/13?
b
Let p(j) be the first derivative of -j**3/3 - 5*j**2 + 7*j - 4. Let z be p(-10). Which is smaller: 6 or z?
6
Let m be (-3 + 1 + 1)*-1. Let h be -1 + (-6)/4*-2. Let g be -2*m + (h - 1). Which is greater: -2 or g?
g
Let m(o) = -3*o**3 - o. Let n be m(-1). Let r = 23 - 19. Is r smaller than n?
False
Suppose -j - 30 = 4*j. Let n(p) = -p**2 - 7*p - 4. Let x be n(j). Let d(i) = i + 3. Let v be d(-2). Is x at most as big as v?
False
Let d = -26/15 - -7/5. Which is smaller: -1/4 or d?
d
Let q = 92 + -277/3. Let t be (-2)/(-6) - (-6)/9. Let w be 2 - 6/(3/t). Which is greater: q or w?
w
Let d = -0.7 + 0.55. Let y = d - -0.1. Which is greater: y or -0.2?
y
Suppose -1 = -4*l + 23. Is 4 equal to l?
False
Let v(w) be the first derivative of w**4/4 + 3*w**3 - w**2/2 + 5*w - 8. Let i be v(-9). Which is bigger: 13 or i?
i
Let u = -4 + 3.88. Are -1 and u unequal?
True
Suppose -3*x = 3*m, 3*m - 3*x = x. Which is smaller: 58 or m?
m
Suppose 0 = u - 3 - 2. Suppose -3*d = -2*z - 12, 4*z - d + 4 = 3*z. Suppose 0 = 3*j - 5*j + 6, z = 4*t - u*j + 15. Are t and -2/5 non-equal?
True
Suppose 0 = 2*h + f - 2*f - 4, 5*f = 3*h + 8. Suppose 0 = 4*q - h. Let u = 4 - q. Which is smaller: u or 3/2?
3/2
Let a = -0.4 + 0.3. Suppose -2*t - 2 = 2. Let b = t + 3. Is b less than a?
False
Suppose g = -4*c, 2*g + 0 = -5*c - 3. Let l = 0 + -2. Let k be 1/(-6)*l/(-3). Which is bigger: k or c?
c
Let d = 41 - 34.8. Let k = 11 - d. Let w = -5 + k. Is w not equal to 0.2?
True
Let b = -32.99 - 0.01. Let y = b + 25.04. Let k = y - -8. Is -0.1 < k?
True
Let f(q) = -2*q - 6. Let m be f(-5). Let u be -5*(m + 88/(-20)). Is 0 greater than u?
False
Suppose -n - n = 0. Let a = 30 - 92/3. Which is bigger: a or n?
n
Suppose 3*x - 16 = r, 3*x + 2*r - 8 = r. Let n be (-33)/30 - x/(-4). Is n >= 0?
False
Let x = 160.2 - 160. Is x smaller than -3/5?
False
Suppose -2*z = z - 3. Let l be 58 - (3 + 1/(-1)). Let r = -225/4 + l. Which is bigger: r or z?
z
Let s(d) = d + 5. Let m be s(-5). Let p = 1 + m. Do 1 and p have the same value?
True
Suppose -3*d = 2*g - 12 + 1, -5*d = 3*g - 19. Suppose -4*p + 11 + 9 = 0. Is p bigger than d?
False
Suppose -4 = -2*m - 2*m, 11 = 3*b - m. Suppose 4 = b*x + 24, 2*o - 16 = 4*x. Is o bigger than -12/7?
False
Let d be ((-110)/(-33))/((-2)/6). Let z = 9 + d. Let x be (2/(-28))/(4/(-16)). Which is bigger: x or z?
x
Let u = -0.34 + -0.66. Let d = -1.3 - -0.3. Let s = -1 - d. Which is smaller: s or u?
u
Let m = 6.1 - 6. Which is bigger: m or -0.1?
m
Let w(b) = -b + 2. Let i be 6/(0 - -2) - -2. Let c be w(i). Is -4 > c?
False
Suppose 0 = k + 4*k + 40. Let i = k - -12. Do i and 4 have different values?
False
Let x be (-84)/10 + (-9)/15. Is x at most -9?
True
Let q be -12 - 0 - (-3 - (1 + -2)). Is q > -10?
False
Suppose -3*a + 6*a - 9 = 0. Let r be -48 + -3 + (a - -3). Let w be (1 - -2)*(-5)/r. Are w and -1 non-equal?
True
Let h = 11960/3 - 4071. Let n(k) = 14*k + 15. Let r be n(5). Let i = r + h. Which is smaller: i or 1?
i
Suppose -2*o - r + 17 = 0, r + 15 = 2*o - 0*r. Suppose -o = -3*d - 2. Which is bigger: d or 1/2?
d
Let a = -76 + 78.4. Is 3 less than a?
False
Let h be (3 + 3)*(-4 + 344/87). Which is bigger: h or 1?
1
Let o(r) = 6*r - 9. Let b(l) = 2*l - 3. Let w(m) = 11*b(m) - 4*o(m). Let k be w(2). Which is greater: k or 3/19?
3/19
Let h(r) = 2169*r. Let k be h(1). Let w be (k/26)/((-1)/(-2)). Let u = 167 - w. Which is smaller: 0 or u?
0
Let s(n) = -n**2 - 1. Let v be s(3). Let r be (-2 - 14/(-5))*v. Let l = r + 7. Which is smaller: 2/5 or l?
l
Let p = 19 + -13. Let j be (p/27)/(2/21). Which is smaller: 3 or j?
j
Suppose 3*x + 1 = -4*p + 12, -3*x = p - 5. Suppose 2*r + 3*y - 3 = 5, 3*y - x = 5*r. Which is smaller: 2/11 or r?
2/11
Suppose -4*g - 2*g = -12. Let i be (-5)/(-20)*4/6. Let w = -1/3 - i. Which is smaller: w or g?
w
Let w = 12 - 17. Let n = w - -4. Let a be (7 + n)/(60/8). Are 2 and a unequal?
True
Let f be (-7 - 66/(-9)) + 53/(-15). Are -4 and f nonequal?
True
Let b = 6 - 15. Let t(y) = -y**2 - 7*y - 9. Let o be t(b). Let r = o - -107/4. Is r smaller than -1?
False
Let t(w) = -2*w + 1. Let j be t(3). Suppose -5*k + m = 13, -5*k = 2*m + 2*m - 2. Let p be 5*(-4)/(-8)*k. Is p bigger than j?
False
Let z(f) = -f + 1. Let d be z(-7). Let y(c) = -c + 9. Let l be y(d). Which is greater: 2/3 or l?
l
Suppose 4*q - 17 = 11. Which is greater: 9 or q?
9
Let p(b) = 5*b**2 + b - 5. Let f be p(-6). Let m be (f/4)/((-2)/8). Let k = m + 1519/9. Is k at least as big as -1?
True
Let x = 0.38 - 0.28. Let k = 0.3 + -1.3. Is k greater than or equal to x?
False
Suppose 0 = 5*n - 6 + 11. Is 3/19 bigger than n?
True
Suppose 2*c = -3*c - 4*l + 4, -c + 24 = -5*l. Let h(n) = -n**3 + 5*n**2 - 4*n - 1. Let d be h(c). Does d = 1?
False
Suppose -m + 11 = -2. Let y be (1 - -38)*(10/15)/2. Is m at least as big as y?
True
Suppose -v - 5*d + 12 = -3, -3*d = -12. Which is bigger: v or -7?
v
Suppose 5*l - 69 = -49. Let g = 0 + 4. Is l > g?
False
Suppose -2*s - 3 + 17 = 0. Let b = s + -10. Let j be (0 - (-2)/(-15))*b. Is j != 0?
True
Let k = 0.23 - 0.3. Let s = k + -0.93. Do -3/7 and s have different values?
True
Let d = 2 + -1.96. Let o = d + -3.04. Do 0.2 and o have the same value?
False
Suppose 2 = -2*c - w, -3*w = 3*c + w - 7. Let r be (c + 0)*(-12)/(-9). Is r bigger than 2/7?
False
Let c be 3 - 18/4*2. Which is smaller: c or -7?
-7
Let c be ((-2)/(-1))/(4/(-10)). Let x be 2/c - (5 - 5). Which is smaller: -2/9 or x?
x
Let y be 2/4*(49/(-4))/7. Which is smaller: -1 or y?
-1
Let t be (-2)/(-1) + -1 + 1. Suppose t*i + 14 = -4*y, i + y = -1 - 2. Let l be ((-15)/12 + i)*1. Which is greater: 1/4 or l?
1/4
Suppose -4*u - 1 = -4*k - 3*u, -2*u - 8 = -2*k. Let w = 3 - k. Let t = 3 - w. Which is bigger: t or 2/7?
2/7
Let o = 5 - 7. Let m be o/(-3) - (-5)/6. Which is smaller: 1 or m?
1
Let g = -20 + 19. Is g <= -2/37?
True
Suppose 0*l - 4*l + 12 = 0. Suppose 24*m - 28*m + 28 = 0. Suppose 2*w + 3*n - 2*n = l, 2*w = n - m. Is 1 < w?
False
Let z be 4/30 - 26/(-30). Which is smaller: 3 or z?
z
Let j = -4 - -3.68. Let f = j - -0.23. Is -0.1 at least as big as f?
False
Let u(i) = i**2 + i - 3 + 5 + 3*i. Let y be u(-3). Let g be -2*-4*3/(-60). Which is smaller: g or y?
y
Let h(u) = -4*u**3 + 5*u**3 + 8 + 9*u**2 + 10*u + u**2. Let t be h(-9). Which is bigger: t or 1?
1
Let h(s) = -s - 1. Let w be h(-2). Let a be 9/2 + w/(-2). Let u = a + -3. Are -2/23 and u equal?
False
Suppose -5*j + 4*x = -0 + 1, 4*j + 4*x - 28 = 0. Let a be (84/(-63))/(2/(-6)). Which is bigger: a or j?
a
Suppose 9*c = c + 128. Is 15 bigger than c?
False
Suppose -3*g + 10 = o + 1, -5*g + 2*o + 26 = 0. Suppose 4*x = 3*y - 0*x - 90, g*x - 92 = -4*y. Let i be ((-4)/y)/(1/(-1)). Which is bigger: -1 or i?
i
Let v = 86 + -87. Are 75 and v nonequal?
True
Let a = 1045/12282 - -1/534. Which is smaller: 1 or a?
a