- 8. Let m = v - -10. Suppose w = -3*d + m*w + 14, -d - 3*w - 4 = 0. Do d and 0 have different values?
True
Suppose k - 4*b = -6134, 4 = -3*b - 5. Let l = 467127/76 + k. Let x = l + -3/19. Are -3/8 and x non-equal?
True
Suppose -30 = -2*k - 5*h, 6 = -4*k - 2*h + 34. Suppose -5*v - k = -0. Which is greater: v or 0?
0
Suppose 3*g + 0*g - 5*o - 14 = 0, 0 = 5*g + 3*o - 12. Let k = -4 - g. Let x be (0 - 1)*(-14)/(-2). Do x and k have different values?
False
Suppose -16 - 8 = 4*r. Let u be ((-2)/(-10))/(r/165). Which is greater: u or -6?
u
Suppose 4*s - 4 = 5*s. Let f = 18 - 6. Suppose 3 + f = -3*a. Is s > a?
True
Let a be 1 - 0 - 92/(-6). Suppose -2*l - 44 = -12. Let w = a + l. Which is bigger: 0 or w?
w
Let h = 11 + -13.2. Let b = 6.8 - h. Let f = b + -9.4. Which is smaller: f or -2/3?
-2/3
Let p = -3.02 - -0.02. Which is bigger: 1 or p?
1
Let j be (-28)/(-6)*9*-1. Let y be (4/6)/((-7)/j). Is 2 at least as big as y?
False
Suppose -4*v = -3*z + 12, -4 = -5*v - 3*z + 8. Is 2 > v?
True
Let k be (-10)/(-3)*3/2. Suppose 3*o + 2*y + 2*y = 8, -18 = -k*o - 2*y. Let f be (16/4)/1 - 1. Do o and f have different values?
True
Let i = 17 + -14. Which is bigger: 5 or i?
5
Let t(w) = -w - 8. Let y be t(4). Let m = y + 11. Is m greater than or equal to -1?
True
Let v = 69 + -70. Which is smaller: 3/61 or v?
v
Let g(m) = m**2 + 8*m + 2. Let k be g(-8). Suppose 4*n - 2*j = -4, -5*n - 2*j = -4*j + 3. Which is smaller: n or k?
n
Let p be 1 - (-2)/(-1 - -3). Suppose -3*v = 4*m - 45, -2*m - 6*v + p*v + 30 = 0. Let u be (m/(-2))/(60/(-16)). Do 2 and u have the same value?
False
Let f be 2 - 0/3 - 4. Which is bigger: f or -4?
f
Let p be 22/8 - 3/(-12). Let t be p/12 - 2/8. Suppose -2*n = 2 - t. Is -2/3 less than n?
False
Let z be (36/(-45))/(2/(-10)). Let k be (-2)/z*(-19 + 5). Is k >= 7?
True
Let m(s) = 5*s**2 - 2*s. Let j be m(2). Suppose -2*h - 2*h = j. Let g(u) = u**3 + 3*u**2 - 3*u + 4. Let c be g(h). Is c smaller than 2/19?
True
Let s = -7 - -13. Let c be 2/s - 14/6. Which is smaller: c or 0?
c
Let i = -21 - -29. Suppose -2*s + i = 2. Suppose s*l + 5*h + 16 = -3, -3*l = -3*h - 21. Is l >= 2/3?
True
Suppose -5*f = -8*f + 819. Let q be 197/f + (-6)/21. Let r = -10/13 + q. Is r smaller than 0?
True
Let l = -5.8 - -1.7. Let q = -3.2 + -0.8. Let o = l - q. Which is bigger: -2/5 or o?
o
Let w be 4/3*42/(-140). Is w bigger than 7?
False
Let k = -16 - -54. Which is bigger: k or 37?
k
Let v = -226/893 + 4/19. Let a be (-1)/3*(4 - 1). Which is smaller: v or a?
a
Suppose 0*k - 4*k - 12 = 0. Let a = -0.2 + -0.8. Is k less than or equal to a?
True
Let k = -3 + 2. Let w(v) = v**2 + 6*v + 6. Let s be w(-4). Let p = s - k. Does -4/7 = p?
False
Let b(p) = -p**3 - 22*p**2 - 19*p + 43. Let l be b(-21). Let n = -894/11 + 81. Is n not equal to l?
True
Let v be (6/184)/((-7)/84). Is v at most 1?
True
Let g(r) = r - 2. Suppose 3*w = 8*w. Let f be g(w). Is f >= -3?
True
Let h = 0.1 + -0.1. Let s be (1 + 1)/(-4)*-36. Let w be (-9)/6*(-4)/s. Is w less than h?
False
Suppose -i = 3 - 4. Let c(q) = -1. Let l(x) = -x**2 + 3*x + 10. Let v(b) = -6*c(b) - l(b). Let a be v(4). Which is greater: a or i?
i
Let k = 6 - 10. Let g = 4 + k. Is 1/10 at most g?
False
Let j = -75.01 + 75. Which is smaller: j or 3/5?
j
Let u = -11 - -5.3. Let k = 6 + u. Do 2 and k have different values?
True
Suppose -24 = -p - 5*o + 7, 20 = 4*o. Let m be (8/66)/((-4)/p). Which is smaller: -1 or m?
-1
Let z(s) = 3*s**2 + 2*s - 3. Let h be z(2). Are h and 21 unequal?
True
Let v(l) = 2 + l - 2*l - 3. Let g be v(0). Let u be (3/(-9))/((-4)/(-6)). Which is smaller: g or u?
g
Let c = -98 + 96. Do -6 and c have different values?
True
Let m = -225 + 226. Which is bigger: m or -4/57?
m
Let g = -59122/14685 - -778/165. Let m = g + -2/89. Is m not equal to -6?
True
Suppose 21 = -4*r - 3*b, -2*r + b + 3*b = -6. Let s be ((-6)/28)/(r/4). Is s != -5?
True
Let p(w) = w**3 + w**2 + w + 2. Let y be p(0). Let k be (1/(-2))/(y/4). Is k <= 3?
True
Let l(n) = -n**3 + 9*n**2 - 8*n - 3. Let w be l(8). Suppose t = 5*s + 21, 12 = s - 3*s + 4*t. Is s greater than or equal to w?
False
Let c(q) = -q - 5. Let o be c(-5). Suppose o = 5*p + 4*z + 266, 6*p + 267 = p - 3*z. Let m = p + 598/11. Which is greater: m or -1?
m
Let v(x) = 25*x + 5. Let y be v(6). Suppose -3*k = 4*o + 117, -4*k - 2*o - y = 3*o. Let s be (-10)/k + 16/(-7). Which is bigger: 1 or s?
1
Let l(t) = -2*t - 17. Let c be l(-8). Let r = 3 - 1. Which is greater: r or c?
r
Suppose 3*a - 55 = -2*s - 12, -a = 4*s - 11. Let p = -7 + a. Is -1 != p?
True
Let q be ((-40)/(-52) - 0) + -1. Is 1 greater than or equal to q?
True
Let b = 3 + -6. Let m = b + 12. Let t = 6 - m. Which is smaller: -2 or t?
t
Let s = 10.1 - 10. Is s at least as big as -6?
True
Let g be (-4)/(-12) - 13142/(-30). Let l = g - 437. Is l >= 1?
True
Let r be -12 + 3 - (-7 + 6). Which is bigger: r or -2/5?
-2/5
Let p be (-280)/850 - 0/1. Let t = p + 9/17. Suppose -2*m - 1 = -3*j, 5*j - 2*j = -4*m + 7. Which is bigger: t or j?
j
Let d be 7/(-5) + -4 + 5. Let x(v) be the second derivative of v**5/20 + v**4/6 - v**3/3 - 3*v**2/2 + v. Let h be x(-2). Which is greater: h or d?
h
Let h be 2/8 - 1/4. Let n(o) = -2*o + 3*o + h + 3. Let k be n(-2). Which is greater: k or 1/3?
k
Let t be (-2)/(-4)*(-2)/(-1). Which is smaller: 4/5 or t?
4/5
Let k(w) = -w. Let c be k(0). Suppose c = 4*r + r + 210. Let y be ((-184)/r)/4 + -1. Which is smaller: -1 or y?
-1
Let x = 14 - 8. Let g(i) = 5*i**2 + 4*i - 2. Let b be g(1). Which is greater: b or x?
b
Let h(a) = -38*a**2 - 2*a + 1. Let b be h(1). Let v be 5/b*(-4)/10. Is v at least 1?
False
Let g be (0/(6 - 3))/3. Let z = 13/12 - 7/3. Which is greater: z or g?
g
Let i = -0.1 + 0.1. Let v = -1 - i. Let c be 76/(-112) - (-9)/21. Which is smaller: v or c?
v
Let s(m) = 2*m - 7. Let d be s(6). Suppose 4*q + d = -q. Is q smaller than -1/2?
True
Let t(c) = c**3 - 10*c**2 + 5. Let p be t(10). Suppose 24 = 4*v - 0*v. Which is smaller: v or p?
p
Let h be (-3)/(-2)*6/9. Which is smaller: -2/15 or h?
-2/15
Suppose 6*g = -2*z + 4*g, 20 = 3*z - 2*g. Let l(w) = -3*w + 1. Let h be l(-1). Is z <= h?
True
Let s(x) = -3*x**3 - 2*x**2 + 4*x**3 + 4 + x - 2*x**2. Let i be s(3). Which is greater: -7/3 or i?
i
Let w(g) = g**2 + 4*g. Let l be w(-4). Let z be (-2)/(-8) + -1 + l. Is z bigger than -2?
True
Suppose 2*k + 3 - 7 = 0. Suppose -4*q + k*q = 0. Is -1/9 != q?
True
Suppose -4*g = -0*g - 12. Suppose g*v = v. Let r be v + 1/((-5)/2). Which is bigger: -0.1 or r?
-0.1
Let o = 0.9 + -2.9. Is -24 != o?
True
Let x = -36642/35 + 1047. Which is smaller: x or 0?
0
Let c = 112 - 792/7. Let k = 468 + -468. Are c and k non-equal?
True
Let o(x) = -x**3 + 9*x**2 - x + 8. Suppose 3*b = -3, 4*p - 39 = 2*b + b. Let d be o(p). Which is smaller: d or -6/7?
d
Let a = 6.2 + -6.3. Which is smaller: -4/41 or a?
a
Let d(k) be the third derivative of k**6/120 + k**5/20 - 5*k**4/24 + 11*k**3/6 - 5*k**2. Let v be d(-5). Is v equal to -13?
False
Let y = 8 + -4. Suppose u - y*u - 3 = 0. Is u at least -3/5?
False
Let t = 1 - 8. Let q = t - -10. Suppose -q*b = -b. Which is smaller: b or 1?
b
Let a be (-2406)/(-482) - (13 - 8). Is a greater than or equal to 0?
False
Let o = 8 - 11. Let h = 2 + o. Which is bigger: h or 6/13?
6/13
Let m(p) = -p + 29. Let z be m(0). Which is greater: z or 28?
z
Let z(n) = 3*n + 1. Let f be z(3). Let k = 11 - f. Which is greater: 3/17 or k?
k
Let q = -27 - -26. Is q equal to -10/7?
False
Let k = 4 + 2. Let j(t) = -t**2 + 4*t + 12. Let m be j(k). Is -2/3 at most m?
True
Let c = -1/18 - 4/9. Which is greater: c or -0.2?
-0.2
Suppose 27 = 4*b + 7. Suppose 4*w + 0*w = 16. Which is greater: w or b?
b
Let g = -0.3 + 0.3. Let b = 0.3 + -0.1. Let k = -0.1 + b. Is g less than or equal to k?
True
Suppose -4*d = 5*d - 369. Is -2 <= d?
True
Let m = -10 + 15. Which is greater: m or 0?
m
Suppose 0*x = -4*x + 8. Suppose -w + x*w = 0. Which is smaller: -2/7 or w?
-2/7
Let s = 9 - 15. Let p(z) = -z - 3. Let w be p(s). Which is smaller: 1 or w?
1
Let o(i) = -21*i + 3. Let h be o(-4). Let l = h - 1309/15. Which is smaller: l or 0?
l
Suppose 5*u - 40 = 35. Let x(d) = -d + 13. Let f be x(u). Let h be 1/(0 + 0 - 1). Which is smaller: f or h?
f
Let v be (-384)/(-345) + -1 + (-2)/10. Are v and 0 equal?
False
Suppose -c + 33 = -4*a, 3*c + a + 177