8)/(-36) + h - 1. Are 2 and g nonequal?
True
Let m = -16/9 + 2. Let z = -11 - -20. Let s = 9.2 - z. Which is smaller: m or s?
s
Let y = -1 + 0. Suppose 10 = o - 4*p, 5 + 3 = 5*o + p. Suppose 4 = -2*q + o. Are q and y equal?
True
Let a = -2 - -2.08. Let b = -1.08 + a. Are b and -0.2 non-equal?
True
Let a = 11 - 6. Let w(r) = r**2 - 4*r - 4. Let b be w(a). Which is smaller: -1/11 or b?
-1/11
Let i be 4*(0 - (-1)/(-7)). Let r be 0 + 4 - (5 + -1). Which is smaller: i or r?
i
Let y = -26 - -16. Let p = y + 6. Let o = 1.05 + -0.05. Is o at least p?
True
Let i be (-21)/(-49) + (-34)/14. Let f be (12/(-20))/(i/(-10)). Is -2 bigger than f?
True
Let d(c) = c**3 + c**2 + 1. Let l(g) = -4*g**3 - 9*g**2 + g - 1. Let v(a) = 3*d(a) + l(a). Let h be v(-6). Let r = h + 6. Is 2 less than or equal to r?
True
Let s(p) = 12*p - 4. Let o be s(4). Let b = o + -131/3. Is 0 less than b?
True
Let w be 2 + (-1 + 4 - 5). Let t = -3 + 5. Is w at most as big as t?
True
Let u = 7 + -7. Is 1/3 less than u?
False
Let j(d) = d + 4. Let m be j(-5). Let s = -3 + 4. Let n = -1 - s. Is m >= n?
True
Let i(c) = -c**2 - 2*c - 5. Let f be i(-6). Which is bigger: f or -30?
f
Let a be (-10 - -6) + 3/1. Is 1 greater than or equal to a?
True
Let o(n) = -n + 11. Suppose 3*c + 15 - 48 = 0. Let k be o(c). Suppose 2*a = -k*a. Are a and -1/10 nonequal?
True
Suppose -5*n - 4 = -14. Suppose -n*k - k = -15. Suppose 8 = q - k*q. Is q not equal to -3?
True
Let j(v) = v**3 - 7*v**2 - 7*v - 8. Let w be j(8). Let o = -2999/15 - -200. Which is smaller: w or o?
w
Let u be 1*(32 + -2)*2/5. Is u at least 12?
True
Let t(g) = g**3 + 13*g**2 + 11*g - 2. Let i be t(-8). Let z be (-6)/4 + 325/i. Is z less than or equal to 1?
True
Let l be (2/(-10))/(6/(-20)). Which is greater: l or -0.1?
l
Suppose 6*s = 2*s - w + 19, 0 = -4*s + w + 29. Let x(t) = -1 + s - 4 - 3*t. Let n be x(1). Do -2 and n have the same value?
True
Let o = -0.9 - 4.1. Let m = -4 - o. Let v = m + 0. Is 2 less than v?
False
Suppose 4*b + 0*b = 4*s + 24, -2*b - 3 = s. Which is smaller: b or 3/16?
3/16
Let w = 23 - 32. Is w at most as big as -9?
True
Let m be (11 - -1)/((-9)/(-12)). Does 16 = m?
True
Let i(m) = -m**3 - 2*m**2 + 2*m + 2. Let n be i(-2). Let r = n + -3. Suppose 4*j + 8 = -5*w, w + 3*j - 3 = 2. Which is smaller: r or w?
r
Let x = -56 + 626/11. Which is smaller: 1 or x?
x
Let k = -819/19 + 43. Is k < 1?
True
Let u = 0 - -1/2. Is 5 smaller than u?
False
Let y be 15/18*(-6)/(-4). Is y smaller than -1/2?
False
Let h be (2/20)/((-2)/5). Suppose -4*u + 2*r = -4, -3*u - 4*r + r = 6. Which is greater: u or h?
u
Let o be ((-162)/3)/(-3)*1. Let b be (6/o)/((-8)/6). Which is smaller: b or 1?
b
Let n be 220/(-72) + 2 - -1. Suppose 0 = -5*c + 4*z - 12, -2*c - c - z + 3 = 0. Which is smaller: n or c?
n
Let y = -735/68 - -43/4. Is y less than -1?
False
Let w = -22 - -19. Is w at most -12/5?
True
Suppose -2*j - 81 = 3*j - 3*u, -2*j - 27 = -3*u. Let s be 7684/j*9/15. Let z = 256 + s. Is z <= 0?
True
Let y(b) = -2*b + 3. Let z be y(2). Let f be 50/(-13) - 2/13. Let a be (-2 - f)/(5 - -1). Which is smaller: z or a?
z
Let b = -1377/2 + 675. Which is bigger: b or -14?
b
Let b = -339/70 + 57/10. Is 1 at least b?
True
Let p = 1 + -1.1. Suppose -5*g - 29 + 4 = 0, 20 = 5*u - 3*g. Which is smaller: u or p?
p
Let s = -3 + 2. Let l = 2 + s. Is l smaller than -2/17?
False
Let x = -4 - -4. Suppose -3*o + 6 = -x*o. Are 1/2 and o equal?
False
Let x = -4 + 4. Which is greater: x or 6?
6
Let o be (-2)/10 - 859/5. Let i = 1202/7 + o. Let h be (-3)/(-2) + (1 - 2). Is h at most i?
False
Let w(b) = -b**2 + 8*b + 3. Let s be w(8). Suppose -4*k - 30 = -5*a, 2*k = 2*a - s*a - 8. Suppose -n - 1 = -a. Which is bigger: 2 or n?
2
Let m = -12 + 4. Is 2 less than or equal to m?
False
Let y be -3*2/((-18)/(-15)). Let j(p) = -p**2 - 6*p - 12. Let b be j(y). Is b less than -7?
False
Suppose 5*j - 40 = -15, b + 31 = 5*j. Let l be ((-8)/b - 1)*3. Is l > 3?
False
Let l = -7 - -6. Let h = 5/8 - 23/24. Is h at most l?
False
Let h(v) = -v - 3. Let l be h(9). Let f be 4/6 - 4/l. Suppose -2*m - f = 1. Is m < -1?
False
Let d = -1/22 - 35/198. Which is bigger: 2 or d?
2
Let a = 225/4 + -56. Let b be (6/(-15))/((-9)/(-5)). Are b and a equal?
False
Suppose u - 2 + 0 = 0. Let w be 14/(-35) - u/(-5). Suppose -j + 4*f + 11 = 0, -2*j - 5*f - 17 = -0*j. Is w != j?
True
Let l = 2 + 3. Suppose 2*q + d + 46 = 6*q, -l*q - 4*d + 47 = 0. Suppose 0 = x + 10 - q. Which is smaller: x or 0?
0
Suppose 13*b = 12*b - 2. Which is smaller: -1 or b?
b
Let f = 355 - 4613/13. Which is greater: f or -13?
f
Suppose 13*t + 8 = 15*t. Which is bigger: 2 or t?
t
Let j(f) = -2*f - 1. Let i be j(-1). Which is bigger: i or -1/107?
i
Let p(z) = -3*z. Let r be p(-1). Suppose -r*i = -5*i. Let l = 391 - 2742/7. Which is smaller: l or i?
l
Let b = 0 - 0.1. Let w = 0.29 + -0.4. Let q = -0.21 - w. Are b and q equal?
True
Let s(d) be the third derivative of d**4/24 + 2*d**3/3 - 5*d**2. Let t be s(-6). Which is smaller: -5/6 or t?
t
Suppose 0 = -k - 3. Let x be 2/(-6) - 4/k. Suppose 5*i + 9 = -x. Which is greater: -2/3 or i?
-2/3
Let l be (-2848)/(-40) + 3/(-15). Is 70 less than or equal to l?
True
Suppose -34*h + 36*h - 16 = 0. Is h less than or equal to 62/7?
True
Suppose -19 = -0*w + 4*w - 3*j, 3 = 3*j. Let i = 3 - 1. Are i and w non-equal?
True
Let z be (12/(-8))/((-3)/123). Which is bigger: z or 61?
z
Let w = -7 + 8.2. Let y = w + -1. Let o be 28/24 + 2/(-3). Which is greater: o or y?
o
Let q be (8/2 - 5)*1*-1. Let r = 0 - 1. Let p be r/(-10)*(-5)/(-2). Is p less than or equal to q?
True
Let g = 4 + -1. Let b = g + -4. Let t be (-1 - -1*1) + -2. Which is smaller: t or b?
t
Let p(a) be the first derivative of -a**5/120 + a**4/12 - a**3 - 1. Let f(n) be the third derivative of p(n). Let k be f(3). Which is bigger: -4 or k?
k
Let k = 956/341 + -70/31. Is 2 greater than k?
True
Suppose -w = -1 - 2. Let k = 0 - 0. Let b be k - (0 + 0/w). Are b and 0 equal?
True
Let h = 9/22 - 113/330. Let q = h - 7/5. Let u = 1 - 1. Does q = u?
False
Let c = 4 - 7. Let t be (-3 + 2)*(c + 2). Which is smaller: t or 6/11?
6/11
Let r = -37.57 + 38. Let j = r + -0.03. Let y = j + -0.3. Which is bigger: y or -1?
y
Suppose -4*g + 0*g + 13 = f, 0 = g - 2*f - 1. Suppose 15 = 2*m + 7, -35 = g*a - 5*m. Is a > -4?
False
Let z be 1930/55*1/(-14). Let r = z - -26/11. Let d be (-8)/(-6) + 2/(-6). Is d at least r?
True
Let v be (-2)/9 - (-34)/(-9). Let u(m) = -m. Let q be u(-2). Suppose q*z + z = -9. Is v less than or equal to z?
True
Let h be (-12)/18 + 70/78. Is h greater than or equal to 0?
True
Let s be 10/(-3)*((-3)/(-18) - 0). Which is smaller: -2 or s?
-2
Suppose -b - 4 = 6. Let v be 1*b/4*-2. Which is greater: v or 6?
6
Let j = -13386/35 + 3352/7. Let y = j - 96. Is y at least 0.1?
True
Let m(j) = 2*j - 11. Let q be m(8). Let t be -1 + (-2 - -1*8). Is t less than q?
False
Let s(z) = -5*z - 14. Let j be s(-3). Let l be (4/14)/((-4)/6). Which is smaller: l or j?
l
Let r be (-2)/(-10)*2003*-1. Let p = r - -402. Which is smaller: p or 1?
1
Let r = -1.5 - -9. Let h = 1.5 - r. Let u = -13 + 14. Which is bigger: u or h?
u
Let c be 21 + 9/(-36) + (-1)/(-4). Is 23 bigger than c?
True
Let p(l) = -l + 4. Let r be ((-1)/(-1))/((-12)/36). Let k be p(r). Is 8 at most as big as k?
False
Let y = -4871 - -34169/7. Is y less than or equal to 11?
True
Suppose 0 = -4*z - 22 + 102. Let w be (z/12)/((-2)/(-12)). Is w greater than or equal to 10?
True
Let g be (1/2*21)/((-72)/(-12)). Is g equal to 1?
False
Suppose 8*c - 5*x + 12 = 6*c, 0 = -3*c + 4*x - 4. Let y(w) = w**2 - 3*w - 5. Let r be y(c). Let s = -2 - -7. Which is greater: s or r?
s
Let p(m) = 2*m - 7. Suppose -5*l + 15 = 2*n - 12, n - 3 = -l. Let b be p(l). Which is smaller: b or 8?
b
Let w be ((-2)/(-7))/(4/(-3)). Is -1 greater than or equal to w?
False
Let c = -4 + 4. Which is smaller: -1 or c?
-1
Let r be (3/4)/(26/65). Is r smaller than 3?
True
Let p(b) = -6 + 2 - 2 + 7*b**2 - b**3 - 6*b. Let n be p(6). Is n less than or equal to -4?
True
Let s = -550/3 - -184. Which is greater: s or -0.54?
s
Suppose 8*x = -26 - 198. Is 0.2 < x?
False
Let q = -772/7 + 111. Is q less than or equal to -2/7?
False
Suppose 4*c + 16 = -44. Is c >= -12?
False
Let x be 2 + 10 + (-3)/1. Let j be 49/3 + (-3)/x. Let m be j/(-72) + (-20)/(