8. Suppose d*z - 6 = 9*z. Is z at least as big as -2?
True
Let i = -3/5 + 1. Is -2 greater than i?
False
Let c be (36/14)/(24/64). Let d = 418/63 - c. Do d and 5/3 have different values?
True
Suppose -20 = -5*s + 2*c, 0*s + 3*s - 3*c = 21. Suppose -2*q + s + 0 = 0. Is -2/7 smaller than q?
True
Let k(j) = j**2 + 16*j + 19. Let p be k(-14). Let i be (-2)/7 - p/(-42). Which is bigger: i or -4?
i
Let k = -56 - -55. Is k > -0.2?
False
Let j = 1.99 + 0.01. Let p = 2.3 - j. Let i = -0.8 + -0.2. Which is bigger: i or p?
p
Let h be (-963)/6 + (-3)/2. Let f = h - -1136/7. Is -1 greater than or equal to f?
False
Let p = 2 + -1.89. Let g = p - 1.11. Which is bigger: 5 or g?
5
Let m be (1 - 1)/(1 + (9 - 8)). Which is greater: m or -7/12?
m
Suppose -16 = -4*w - 4*g, -4*w - 4*g = g - 21. Suppose 4*h + h = 0. Which is bigger: h or w?
h
Let c = -2.02 - -2. Let z = 0.05 + c. Let s = z + -0.03. Do s and -0.1 have different values?
True
Suppose -d + 4 - 1 = -4*l, -2*l = 4*d + 6. Let t = 157 + -2667/17. Which is greater: l or t?
t
Let a be 6/39 + (-4)/26. Do a and 1 have different values?
True
Let m = -1 - -4. Suppose 4*v = 2*v + 8. Let u = -1 + v. Is m <= u?
True
Let x be -4*(-1)/(-1) + 187. Let a = x - 2565/14. Are a and 1 non-equal?
True
Let s = 0.9 - 0.5. Let q = 5 - 4.7. Let c = q - s. Which is smaller: 1/5 or c?
c
Let d = 781 - 14834/19. Which is bigger: d or 1?
1
Let o = -4 + 6. Let u = -3 + o. Let c = -1 - -1. Is c not equal to u?
True
Suppose -5 = -2*b - 21. Is -8 at least as big as b?
True
Suppose 0 = 2*z - 8 - 2. Let l = z - -12. Suppose 2*a = -3*u + 11, 4*a + 2 = u + l. Which is smaller: 2 or u?
u
Let w = -1 - -2. Let f = w - -3. Is 4 < f?
False
Let z = 0.02 - 0.13. Let w = 0.11 + z. Is w bigger than 2/21?
False
Let j be (-6)/30*5*-1. Are -2/17 and j nonequal?
True
Let x be (-15)/(-10) + (-10)/(-4). Suppose 5 = 3*h + 2*h - 5*u, x = -4*h + 2*u. Let g = -1 + 1. Are g and h non-equal?
True
Let v = 478488/35 - 13672. Let j be 6/15 - (-8)/(-5). Let p = j - v. Is 0 >= p?
True
Let s be 5/(-4) - -1 - (-1026)/2376. Which is bigger: s or -1?
s
Suppose n - 4*p + 14 - 3 = 0, 0 = 5*n - 5*p - 5. Suppose 3*k + k = -c - 9, 4*k - 21 = n*c. Which is smaller: -2 or c?
c
Let j = 32 - 25. Let m = 13 - 6. Let u = j - m. Which is bigger: u or 2?
2
Let c(i) = i**2 - 2*i - 2. Let m be c(3). Suppose 0 = -j + 2*j - m. Is -8 equal to j?
False
Let a be 2/4*-1*-2. Let b be ((-39)/(-9) - 2/6) + -2. Is b > a?
True
Let c be ((-8)/(-10))/(1208/20). Which is smaller: -1 or c?
-1
Let j = -1 - -0.7. Let i = 22 + -21.5. Let c = i + j. Is -1 less than or equal to c?
True
Let m = 272/1001 + 2/143. Let q be 1 + 24/9 - 3. Which is smaller: m or q?
m
Let h = -66 - -67. Which is smaller: 4 or h?
h
Let p(g) = -3*g + 1. Let i be p(3). Let t(w) = w**3 + 9*w**2 + 9*w + 9. Let b be t(i). Let q = b - 1. Do -1/2 and q have the same value?
False
Let a = 115/3 - 39. Let m = 1.01 - -0.09. Let x = m + -0.8. Is x less than or equal to a?
False
Let y = 1 - 2. Is -2/173 at least y?
True
Let v = -69 + 415/6. Which is smaller: v or -2?
-2
Suppose -5*h - 6 = 4. Which is greater: h or -0.1?
-0.1
Let k = -21 - -18. Which is greater: k or -12/5?
-12/5
Suppose 3*o - 24 = -3*y, y + 0*o + 2*o = 12. Suppose 2*a - y*a - 6 = -t, 2*a + 6 = -5*t. Let w = -448/5 + 90. Are t and w unequal?
True
Let b = -0.38 + 0.4. Let s = 1.98 + b. Let f = s - 2. Which is bigger: -0.1 or f?
f
Let g be ((-28)/6)/(2/(-6)). Let f be (g + -2)*(-4)/8. Do -5 and f have the same value?
False
Suppose -5*u - 2*m - 18 = 0, 2*u - 8 = 3*u - 4*m. Let q be (-150)/54 - u/(-18). Let a(k) = -k**3 - 6*k**2 + 8*k + 5. Let l be a(-7). Which is smaller: q or l?
q
Suppose 22 = -4*c - 5*s, c + 3*c = -3*s - 18. Let j = -3 - 1. Is c greater than j?
True
Let a(s) be the third derivative of s**4/12 + 7*s**3/6 + 2*s**2. Let j be a(-5). Which is bigger: -4 or j?
j
Let k(i) = -i**2 + 11*i + 16. Let x be k(12). Suppose 3*a = -x*q + 8 + 9, -1 = q - a. Is 3 smaller than q?
False
Let c be (0 - 1) + (-124)/(-116) + 0. Let h(u) = -u**2 + 7*u + 8. Let v be h(8). Is v bigger than c?
False
Let c(l) = -l**3 - 5*l**2 + l - 6. Let o be c(-5). Let q = -6 - o. Suppose -1 = q*x + 9. Which is bigger: x or 0?
0
Suppose 7*u + u + 8 = 0. Is u > 0?
False
Let p be 3 - ((-16)/4)/(-1). Let r = p + 0. Which is smaller: r or -2/7?
r
Suppose 2*b + 3 = -f + 2, 2 = -b - 2*f. Let m = b + 1. Let g be ((-2)/(-15))/(35/(-25)). Which is bigger: g or m?
m
Suppose -51*k + 55*k = 0. Suppose -4*c = 4*v - 6*v + 6, -c - 7 = 5*v. Which is greater: k or c?
k
Suppose 6*w = 3*w - 27. Let b = -10 - w. Suppose 0 = -2*s - 2*s. Which is smaller: s or b?
b
Let q(t) = -t**3 - 4*t**2 + 14*t + 11. Let w be q(-6). Is -1 greater than w?
False
Let l be (-10)/12*(-9)/30. Let h = 1 - -1. Is l at least as big as h?
False
Let q be (-6)/(-18) - 2/6. Do q and 2/15 have the same value?
False
Suppose 0 = z + 5*q + 8, 4*z - 7*z = 4*q + 13. Let f = -0.34 - 1.66. Which is bigger: z or f?
f
Let z(b) be the second derivative of -b**3/3 - 3*b**2 + b. Let k be z(-5). Suppose -6*x + k*x = -2. Is 0 equal to x?
False
Let t = -0.6 + -6.4. Let n = 11.27 - 0.27. Let l = t + n. Is l at most 2/5?
False
Let y = 1.5 + -1. Let t = 0.8 - y. Let a = 0 - 1. Which is bigger: t or a?
t
Let v = -0.2 - -5.2. Are 1 and v non-equal?
True
Let j be (0 - -1)*(14 + -5). Is j > 8?
True
Suppose 2*s + v - 8 = 0, 5*v - 5 = s + v. Which is smaller: s or 4?
s
Let o = -0.23 - 0.07. Let n = -4.6 - -5. Let k = n + o. Is -1/2 > k?
False
Suppose -3*a = -15 + 6. Suppose 4*z - 22 = 2*q - 8, -10 = 2*q - a*z. Let n be (-4 - -2) + (2 - 1). Which is smaller: q or n?
n
Let x = -81 + 81. Which is smaller: x or 8/7?
x
Let o be (0 + 1)*8/(-16). Let u = 1 - 1.2. Let x = u - -1.2. Is x equal to o?
False
Let p = -9.1 + 9.2. Which is smaller: 2 or p?
p
Let l(q) = q**3 - 9*q**2 + 8*q - 5. Let u be l(8). Suppose -n = 3*n + 24. Is u less than or equal to n?
False
Let y(c) = -c**2 - 12*c + 4. Let l be y(-12). Let t be (-4)/(-6)*(-18)/l. Which is bigger: t or -2?
-2
Let m be 1*(-3 - (2 - 3)). Let f = m - -17/6. Is f less than or equal to 0?
False
Let f = 48 + -48.1. Which is greater: 2 or f?
2
Let f(d) = -d**2 + 3*d - 2. Let u be f(2). Is u less than -0.02?
False
Suppose 51 = 9*z - 3. Which is smaller: 7 or z?
z
Let v = -33 + 22. Let f = 34/3 + v. Which is smaller: f or 1?
f
Suppose 6*z + 34 = 10. Which is bigger: -7 or z?
z
Let n(a) = a + 5. Let r be n(-3). Suppose -2*s = -2*j - 2, 2*s + j + 2*j = r. Let u be 0 - (-5 + 1 + 2). Do s and u have different values?
True
Let c = 176 + -175. Is c at most 41?
True
Let x = 7.2 - 7. Let h be (0/(-2 - 1))/(-2). Which is smaller: x or h?
h
Let j = 0.9 + -7.9. Let v = -14 - j. Let c = v - -6.8. Which is greater: 1 or c?
1
Let r(f) = -f**2 + 3*f - 3. Let q be r(2). Which is bigger: 0 or q?
0
Suppose 3*a - 33 = 3*d - 2*a, -5*d - 2*a = 24. Let w be (-6)/(-9) - 20/d. Which is smaller: w or 3?
3
Let z be 1*3 - (4 + -4). Let x = z - 2. Is 1 greater than or equal to x?
True
Let d = 8 + -4. Suppose 0 = 5*v + d*y + 22 - 52, 5*y - 17 = 4*v. Which is smaller: 0 or v?
0
Suppose -9*a - 6 = -7*a. Let y(b) = -b**2 - b - 4. Let s be y(0). Which is bigger: s or a?
a
Let q be (8/(-3))/((-2)/6). Suppose 5*s + q = -7. Let w be -1 + s/15 + 1. Is 0 at most w?
False
Let y = 2.4 + -7.2. Let b = -5 - y. Are -3 and b unequal?
True
Suppose -15 = 3*c - 0*w - 3*w, -3*w = c - 15. Let b(m) = -m**3 - 3*m**2 + 5*m + 4. Let v be b(-4). Let z be c/((3 - v)/(-3)). Is 6/11 less than or equal to z?
False
Let n = 56/3 + -286/15. Is 4 greater than or equal to n?
True
Let w(g) = g**2 + 1. Let u be ((-2)/10)/((-2)/10). Let d be w(u). Which is greater: 1 or d?
d
Let f be (-3)/2 - (2 + 10/(-5)). Which is bigger: 0.34 or f?
0.34
Let l = -4291/39 + 331/3. Let t be (-5 + 3 - 0) + 3. Do t and l have the same value?
False
Let i be 1 - (18/10)/1. Let q(o) = o - 7. Let l be q(8). Let b be (l/2)/((-1)/4). Is i <= b?
False
Suppose -3*h = 5*c - 25, -3*c - 5*h = -6*h - 1. Suppose 0*n + 12 = -c*n. Let l = 5 + n. Is l not equal to 2/13?
True
Let l = 46/19 + -1112/475. Which is bigger: l or -1?
l
Suppose -2*a - 6 = -5*a. Is a greater than or equal to 18?
False
Let l be 4/(-6) + 73*(-4)/(-6). Which is smaller: l or 49?
l
Suppose -11 + 1 = 2*o. Let w be (1/3)/(-6 - o). Which is smaller: w or -1?
-1
Let a =