e w*s - 4*y = -9*y + 25, y - 4 = 0. Which is bigger: s or -1/3?
s
Let x = 48 - 93/2. Is -2 greater than or equal to x?
False
Let l = -3 + 3. Let r(w) = w**2 + 2. Let v be r(l). Suppose v*p - 4*p = 2. Which is smaller: -2 or p?
-2
Let l = 0.07 + 0.93. Let b = 0.7 - l. Which is greater: -0.1 or b?
-0.1
Let t(y) be the second derivative of y**3/3 + y**2/2 + 2*y. Let r be t(2). Suppose -2 = m - r. Is 4 less than or equal to m?
False
Let h be 2*(-1)/(-4)*-2. Is 0 < h?
False
Let v be (20/6)/((-8)/24). Is -10 < v?
False
Suppose 1 = -m - 1. Let c be m*(3/(-2))/(-3). Let p be (-38)/(-78) + (-3)/9. Which is smaller: p or c?
c
Let w(b) = b**3 + 6*b**2 - 8*b - 6. Let l be w(-7). Suppose -3*h = -4*h + l. Which is bigger: -1 or h?
h
Suppose 5*o + 3 + 2 = 0. Let s = 37 + -38. Are s and o equal?
True
Let a = -4 + 5. Let w be -1 - (a + 501/(-198)). Let g = 4/11 - w. Is -1 less than g?
True
Let i(t) = 2*t**2 - 6*t - 1 - 5*t**2 + 4*t**2. Suppose 3*c + 2*c - 30 = 0. Let w be i(c). Is -1/4 < w?
False
Let h be 9/6*(-3 - 26/(-10)). Let f(y) = y + 3. Let g be f(-4). Which is bigger: h or g?
h
Suppose -8*j = -11*j - 18. Let p be 0/(j/(-3)*-1). Which is smaller: -1 or p?
-1
Let y be (3/15)/(1/(-5)). Is y greater than 1/30?
False
Let l(b) = 2*b**3 - b**2 - b + 1. Let g be l(1). Let t(s) = -s - 7. Let c be t(-7). Let o be (-1)/(-10)*(c - g). Do o and -1 have the same value?
False
Let i be (-10)/(-30) - (-1)/(-30). Is -1 at least as big as i?
False
Let y = -2.5 - -0.5. Let l = y + 2.08. Let a = 0.02 + l. Which is greater: a or 1/5?
1/5
Let q be 10/(-15) + (-46)/(-42). Which is greater: q or 1?
1
Let j = 0.19 + -0.2. Let q = 2.99 - j. Let i = 3.1 - q. Which is smaller: 2 or i?
i
Suppose 5*i - 3*v = -5*v + 36, -4*i + 33 = 3*v. Suppose 2*y + 2 = i. Let l be -3*(y/(-6))/(-1). Which is smaller: l or -3?
-3
Let p = 1.94 - -0.06. Let q = -1.9 + p. Let d = 0.17 + -0.07. Is q bigger than d?
False
Suppose 2*i + 2*r = -0*r + 32, -4*i = 5*r - 67. Let b be (0 - 0)/(26/i). Which is smaller: b or -6/13?
-6/13
Let y = 592/2583 + -2/287. Which is smaller: -5 or y?
-5
Suppose -6*g + g - 5 = 0. Let z = 19 - 10. Suppose 0 = -3*b + 6*b + z. Which is smaller: g or b?
b
Let n = 71/4 - 17. Let m = 9 + -7. Suppose -3*d + 9 = 3*g, g + m*d = -3*d + 11. Which is smaller: g or n?
n
Let f be 0 - -3 - 6198/2070. Which is greater: 0 or f?
f
Let q = 14172/37 + -383. Let o = 20 + -20. Which is smaller: o or q?
o
Let f be ((-1)/2)/(1/(-22)). Let i be f/5 + 1/(-5). Which is greater: 3/5 or i?
i
Let n = 1/24 - 17/24. Let g be (1 - 3)/(3 - 2). Which is smaller: n or g?
g
Let s = -2.2 - -2.19. Let r = 0.11 + s. Which is smaller: r or -15?
-15
Let h be 10/12 - (-3)/18. Let n be h - (0 - -183)/3. Let m be ((-18)/n)/((-12)/(-5)). Which is bigger: -1 or m?
m
Let c = -1586/53 - -30. Let j = 275081681/424 - 648778. Let u = j + c. Which is greater: u or 0?
0
Suppose 4*w = -3 - 21. Let o be (-4)/w*-3 + 0. Let q(k) = -k**2 + 11*k + 11. Let c be q(12). Which is smaller: c or o?
o
Let q be (0 + (-6)/(-116))/((-2)/4). Which is greater: q or -1?
q
Suppose 3*b - 3*w - 12 = 0, 4*b - 1 + 6 = -3*w. Suppose -4*p + 4 = -12. Let i be (6/p)/((-21)/(-4)). Is b at most i?
False
Suppose -5*n = 4*r + 17, -5*n - 29 + 8 = 2*r. Suppose -r*u - 3*u = 0. Let q = 247/3 - 83. Which is greater: q or u?
u
Let o = -0.17 - 0.03. Let q = 1.3 - 0.3. Let r = 0 - q. Which is bigger: r or o?
o
Let h = -2 - -4. Let t be 4*(-1 - (-2 + h)). Let q(l) = -2*l**2 - 3*l + 4. Let b be q(-3). Which is smaller: b or t?
b
Let x = 3 - 5. Suppose -4*g + 4*u + 64 = 3*u, -g + 3*u + 27 = 0. Suppose -z = -4*r + 3*z + 4, -5*z - g = 0. Is x at least as big as r?
True
Let b = -31 + 32.9. Let o = 2 - b. Let q = -0.1 + 0.2. Is o < q?
False
Let h = -9.09 + 9. Is h > -0.2?
True
Let m = -0.04 - -0.54. Let c = -0.4 + -0.1. Let d = m - c. Which is smaller: -2/7 or d?
-2/7
Let z = 1/35 + 13/35. Let x = -3.2 - 0.8. Let r = 3.8 + x. Are r and z equal?
False
Let b = -3 + 24. Let f = -20.4 + b. Which is smaller: f or 0.1?
0.1
Suppose -5*u - 111 - 119 = 0. Is u <= -46?
True
Let v = 81/26 - 35/13. Let f = -153/130 - v. Which is smaller: f or -1?
f
Let h = 8 - 6. Suppose 0*t + 2 = h*t, -t = -3*y - 1. Which is greater: -2/3 or y?
y
Let h(f) = -9*f - 6 + 4*f + 5*f**2 - 4*f**2. Suppose 0 = -2*j + j + 6. Let i be h(j). Which is bigger: i or 2/11?
2/11
Let o = 0.142 + -0.042. Is o at least as big as 15/19?
False
Suppose 3*c - 27 = -2*c + k, 30 = 4*c + 2*k. Let t = c + -6. Is 0 at most as big as t?
True
Let s(n) = -n**3 + 12*n**2 - 4*n + 41. Let r be s(12). Which is smaller: r or -2?
r
Let j be 2/4 + (-16)/32. Suppose j = -o - 5*o. Do o and 4 have the same value?
False
Let g = -1/9 + 11/18. Which is bigger: g or 2?
2
Let f be 20/(-8) - (-1707)/678. Is -1 bigger than f?
False
Let g(m) = 0*m**2 + 1 - 6*m**2 + 3*m**2. Let b be g(-1). Let p = -2 - b. Are p and -1/3 unequal?
True
Let u be 2/20*4 + 14/(-35). Which is bigger: 91 or u?
91
Let k = 0.16 + 10.84. Let t = -8 + k. Do t and 0.2 have the same value?
False
Suppose -i - 1 = -3. Suppose -i*n - 20 = 3*n. Are n and -3 unequal?
True
Let h be 6/(-3) + 4 - 2. Is 0 less than h?
False
Let h(q) = -q - 11. Let d be h(-8). Let t = d + 1. Is -6/5 less than or equal to t?
False
Suppose 4*s + 2*f = 2*s + 4, 0 = -s + f + 8. Suppose 8 = 6*j - 2*j, -s*z + 3*j = -34. Is 1 < z?
True
Let z = -69/4 + 17. Let l be (-4)/10 - 64/(-10). Let x(i) = -i**3 + 6*i**2 + 1. Let v be x(l). Is z less than v?
True
Suppose 4*t + 3*c + 2 = 0, -2*t + 3*c = 7*c + 6. Suppose -3*w + 2*s + t = -5, -2*w = s + 3. Are 1/16 and w nonequal?
True
Suppose 4*q = 16 + 40. Let a = 13 - q. Is a <= -1/4?
True
Let j be -3 + 2 + 1 - -1. Let v be -3 + (6/77 - -3). Let z = v - 4/11. Which is greater: j or z?
j
Let g be (-6 + 1)*(-8)/10. Let n = -15 + 18. Which is bigger: g or n?
g
Suppose -16 = -3*s - 1, -2*s = 2*q + 12. Is q equal to -11?
True
Let m(u) = -u**2 + 11*u + 2. Let r be m(10). Is 11 at least as big as r?
False
Suppose -2 = 2*j - 4*l - 0, j - 3*l + 1 = 0. Let r(w) = w**2 - 7*w + 1. Let n be r(5). Let y be 228/(-54) - 2/n. Which is bigger: y or j?
j
Suppose 5*u + 2*c - 4*c + 242 = 0, -u - 45 = 3*c. Let i be u/(-10)*(-5)/10. Which is smaller: i or -2?
i
Let k be -4 + ((-35)/(-5) - 3). Suppose -5*f = -0*l + 3*l - 869, -4*f = 3*l - 871. Let u = l - 3225/11. Which is greater: k or u?
k
Let c = -1 - -2. Suppose -4 - c = -5*n. Let d(t) = 3*t - 1. Let f be d(1). Which is greater: f or n?
f
Suppose -20 = 4*g - 8, -5*x = 5*g + 45. Which is greater: x or -7?
x
Let g be (-44)/(-48) + (-1)/4. Let c(s) = s**3 - 2*s**2 - s - 4. Let l be c(3). Suppose 5*d = l*d + 3. Is g smaller than d?
True
Let c(y) = 36*y**3 + 3*y + 2. Let l be c(-1). Which is smaller: l or -38?
-38
Let z = -5 - -4. Let w be z/(1 + 0 + -4). Is w greater than 0?
True
Let i be (-1)/(1/(2/(-4))). Suppose -2*o + 22 = -4*l, -23 = o - 4*o + 4*l. Is i equal to o?
False
Let h = 110869/97 - 1143. Which is smaller: 0 or h?
h
Let h be (-4)/10 - 8/(-20). Let p be (h + 1)/((-2)/4). Is -3/2 greater than p?
True
Suppose -4*w - 1 = 3. Is 1/6 >= w?
True
Let l = 35 - 66. Which is greater: -1 or l?
-1
Let x be 15/6 + 3/(-6). Suppose -2*p = -5*v, 0 = x*p - 3*p - v. Suppose 3*b - 3*t + 3 = 0, -3*b + p*b - 5*t - 27 = 0. Which is greater: -6 or b?
b
Suppose -5 = -p + 6*p. Let a = -3/13 + 22/39. Is p smaller than a?
True
Let i be (-3)/10*(-12)/9. Let n = -41/65 + 3/13. Which is smaller: i or n?
n
Let p be 4/(-1)*(-3)/(-2). Suppose 3*m - 4 = -16. Let w = -10 - m. Is w at least p?
True
Let m be (-1)/(-3) + (-25)/(-15). Let x be 0 - (3/(36/16) - 2). Is x >= m?
False
Let o = 23 + -13. Let p = -16 + o. Let n be (p - 1) + 8/4. Is n equal to -6?
False
Suppose -2 = -o - 0. Let p be (82/26 - o) + -1. Which is smaller: -1 or p?
-1
Let q be (44/6)/(8/12). Is 12 greater than q?
True
Let y be (6/12)/(14/(-8)). Which is bigger: y or -1?
y
Suppose -2*q = -p - 132, 10*p - q = 5*p - 660. Let n = p + 658/5. Which is smaller: -1 or n?
-1
Let b = -1.2 + 1.1. Which is greater: b or -0.3?
b
Let b be (-35)/14 - 1/(-4). Let k = b - -2. Which is smaller: k or 1/5?
k
Let i(m) = 6*m + 1. Let u be i(-1). Do -6 and u have the same value?
False
Let a = 0 - 4. Which is smaller: -3 or a?
a
Let q(v) = -v. Let x(l) = 9*l. Let r(h) = -6*q(h) - x(h). Let a be r(2). Let o(t) = -6*t. Let d b