 8. Let h(a) = -a - 8. Let g be h(0). Let z be (4/(-33))/(g/12). Which is smaller: c or z?
c
Suppose 5*d - 6 + 81 = 0. Is -0.1 not equal to d?
True
Suppose 9 = -7*z + 4*z. Let t be (-12)/(-8) + (-18)/4. Is t bigger than z?
False
Let s = 3 - 6. Suppose -3*n - 30 = 2*n. Let b = n + 2. Is b != s?
True
Let t(c) = 5*c. Let k be t(1). Suppose k*o - 3 = 32. Is o at least as big as 7?
True
Suppose -3*k + 10 = 2*k - 2*j, -4*k - 4*j = -36. Is k less than 4?
False
Suppose -4*y = -2*i + 34, 2*y = 4*y + 2*i + 20. Let b be y/(-24)*-2*2. Let u be (2/(-1))/(6/9). Is b <= u?
False
Let f = -918 - -918. Let s = 2/1789 + 7114/37569. Is f at least s?
False
Let j = 2 - 2. Let i = j - -3. Let p = i - 2. Do 0.2 and p have different values?
True
Let k = 17 - 14.9. Let j = 3.4 - 1.4. Let m = j - k. Is m less than -0.1?
False
Let t = 6.9 - 7. Which is smaller: t or 16?
t
Let z be (0 + (-2)/3)*3/2. Which is bigger: z or -4?
z
Let x = 127 + -127.1. Are -19 and x unequal?
True
Let p be 2/(-230)*(-2115)/36. Let l = p + -6/23. Which is bigger: l or 3?
3
Suppose 12 = 2*o - 6*o. Is 0 less than or equal to o?
False
Suppose 0 = 7*h - 3 - 4. Are h and 2/23 equal?
False
Let s = -0.76 - -0.72. Which is smaller: 6 or s?
s
Let j(u) = -u**2 + 7*u - 5. Let n be j(5). Suppose t - 1 = 3*b, -2*t - n*b = -0*t + 31. Let z = t + 6. Is z >= -3?
True
Let n be (-2)/8*(-520)/(-126) - -1. Which is smaller: n or 1?
n
Let a = 11.15 + -11. Let m = a - -0.85. Is m greater than 12?
False
Suppose -t + 886 = t. Suppose 2*d = -c + 151, -5*c = -5*d + t - 58. Let y = d + -226/3. Which is bigger: y or 0?
y
Let i be 3 + ((-1)/(-1))/1. Let p be (1 + 1)*(-2)/i. Are p and 2 non-equal?
True
Suppose -h = 5*i - 2*h + 74, -64 = 4*i + 4*h. Let p = i + 12. Which is bigger: -20/7 or p?
-20/7
Let p be ((-318)/(-8))/(-1) - (-1)/(-4). Which is smaller: p or -41?
-41
Suppose -2*q = q. Let u be 3/22*4/(-6). Which is smaller: q or u?
u
Let b = 110/5727 - 4/83. Let a = b - 61/276. Are 1 and a equal?
False
Let l be (1/5 - 1)/((-14)/(-105)). Which is smaller: -8 or l?
-8
Suppose 3*t - 6 = 0, -5*w - t + 4 = -28. Are 6 and w equal?
True
Suppose -10*l + 126 = -124. Which is smaller: l or 4?
4
Suppose -16 = -23*w + 27*w. Is -13/3 bigger than w?
False
Let c be 4/6 - (-122)/(-48). Is c bigger than -2?
True
Let m(r) = -r**3 - 5*r**2 + 7*r + 6. Let g be m(-6). Suppose 5*c = -5*s + 3 + 2, -2*c - 2 = 3*s. Suppose -4*t - 5 = c*y, -3*t - 1 = -3*y - 4. Is g < t?
False
Let z(n) = n**3 + 5*n**2 - 9*n - 9. Let c be z(-6). Which is greater: c or -2?
c
Let n = -50 - -51. Is n > -2?
True
Let t = -0.1 - -0.18. Let p = -0.02 - t. Does p = -0.4?
False
Suppose -5*x + x + 33 = 5*k, -5*x + k = -5. Let g be 3/(-6)*x - -1. Is 6 greater than or equal to g?
True
Let t(z) = z**3 - z**2 - z. Let a be t(-1). Let b = 35 - 209/6. Is a != b?
True
Suppose 5*p - 3*u + 30 = 0, 5*p - 4*u + 27 + 8 = 0. Let k be -1 + (-2 - p) + 1. Suppose -2*o + 4 = -0. Is o equal to k?
False
Let a = 14.7 - 15. Let q = -1 - a. Is q > 0.1?
False
Suppose 0*o - 8 = -o - 2*v, 0 = -3*o - 4*v + 18. Which is bigger: 7/11 or o?
o
Let o(s) = 0*s + 4*s + 1 - 3*s - 7. Let c be o(6). Let j = -185/252 - 1/63. Which is smaller: c or j?
j
Let w = -2 - -5. Suppose 2*t - 5 = 5*a, -5*t + 8*a + 5 = w*a. Let r = 0 - t. Is 1/4 at least r?
True
Let t(n) = -3 - 6*n + 7*n**2 + 2*n - 8*n**2 + 0*n**2. Let q(m) = -m**3 + 4*m**2 - m + 2. Let c be q(4). Let j be t(c). Do j and 2 have different values?
True
Suppose -5*s = -g + 3*g + 10, 2*s = g - 4. Let o be 10/(-1 - (2 + s)). Let w = o + 19/2. Which is greater: w or 0?
0
Let d be 2 - -1 - 198/78. Which is greater: d or 0?
d
Let n be -1*1 + (-27)/(-9). Suppose n*b = 3*b. Is 3/16 less than b?
False
Suppose -y - y = 0. Which is smaller: 2 or y?
y
Let k = 394 + -11428/29. Is k smaller than 1?
True
Let z = -19 + 20.6. Let v = -1.5 + z. Which is bigger: v or -0.4?
v
Let h be ((-2)/6)/((-20)/15). Let c be (-180)/40*2/(-39). Does h = c?
False
Let a = -6 + 10. Suppose 0*m = -3*m + 4*k - 21, -3*k = a*m + 3. Which is greater: m or -2?
-2
Let c be 3 - 148/52*1. Let k be ((-1)/3)/((-1)/3). Is c >= k?
False
Suppose -4*f + 4*t + 4 = -24, 19 = -3*f - 5*t. Suppose w = u + u, u + f*w = -10. Let r be u/10 - 3/15. Which is bigger: r or -1?
r
Let v = 0.5 + 1.5. Let t = 0.6 - 1.6. Which is smaller: v or t?
t
Let k be 17/(-3) + 2/3. Let o(c) = -c - 4. Let s be o(k). Let u = 0 + s. Is 0 <= u?
True
Let y = -0.19 - -0.09. Suppose 2*k - 4 = -88. Let s = k - -127/3. Which is smaller: y or s?
y
Let a be -1*-1*2/10. Let c(h) = -h + 1. Let t be c(1). Let j = t + 1. Is j equal to a?
False
Let j be ((-1)/(-2))/(0 + -2). Suppose -3*m + 2*m + 2*v = -7, 7 = 5*m - 3*v. Which is greater: j or m?
j
Let p = 12 - 11. Which is smaller: p or 1/6?
1/6
Let g = -158 + 157.8. Let b be -2 + 1 - (0 - 0). Which is bigger: b or g?
g
Suppose 0*m = -5*o + 4*m + 11, -4*o - 3*m = 16. Which is smaller: o or 1/16?
o
Let y = 60/989 - -3/43. Is y equal to 1?
False
Suppose -2*g + 5*g = a - 6, a + 1 = -4*g. Let p be ((-10)/9 - g)*-6. Which is greater: -1 or p?
p
Suppose -2*x = 4*x + 120. Which is bigger: 2/3 or x?
2/3
Let v = -79/2 - -41. Suppose -4*n + 2*n = -x - 4, 4*n + 4*x + 4 = 0. Let b be (-2)/(-4)*4*n. Is b != v?
True
Suppose 5*v + 2 = -3. Which is bigger: v or -1/4?
-1/4
Let y = 6 - 4. Let i(b) = 0 - b**y + 2*b + 1 - 3*b. Let z be i(0). Is z smaller than 2/7?
False
Suppose -23 = 2*h - 27. Let c be (1/3)/(14/213). Let k = c - 18/7. Which is greater: k or h?
k
Let g be 2/5*(70/(-8))/(-7). Which is greater: g or 1/44?
g
Let n = 174 - 867/5. Is 0 <= n?
True
Let o = 6248/25 + -250. Is o >= 0?
False
Suppose 0 = -8*y + 3*y. Suppose 3*h = -4*g + 20, y = 5*g - 0*g + 5*h - 30. Are g and -1/2 equal?
False
Suppose -3*b + 2*a = 10, 2*a - a = -b + 5. Suppose 0 = -3*t - b*t - 6. Suppose 5*l + 5 + 5 = 0. Is t bigger than l?
False
Let u = -3 + 3.05. Let j = -3.85 + 3.7. Let y = u + j. Is -5 > y?
False
Let x = -1.45 + 73.45. Which is greater: 1 or x?
x
Let d be (-2*1)/(1/2). Let x be d/14 - 4/28. Let p(i) = -i**2 - 4*i + 6. Let y be p(-5). Which is bigger: y or x?
y
Suppose -2 + 3 = -f. Is f equal to -3?
False
Let i(o) = -6*o + 29. Let j be i(5). Is -2/67 > j?
True
Let s be 41*2/12 - 17/(-102). Let t = -15 - -21. Which is greater: t or s?
s
Let l = -6 + 7. Let q = -0.1 - 0.1. Let r = -0.2 - q. Is r greater than or equal to l?
False
Let c = 10.6 - 0.6. Let a = 418/7 + -60. Which is smaller: c or a?
a
Let v = 83/3 - 28. Suppose 0 = -3*g + 4*g - 5*p - 4, -4*g - 2 = -2*p. Is g less than v?
True
Let q = -56 + 61. Is 27/5 not equal to q?
True
Suppose -5*h - 2 = 8, 2*h = -5*w + 6. Suppose 12 = -4*a + w*t, 5*t - 6 = -0*a + 2*a. Suppose c = -c + 4*u - 8, -2 = 2*c + 2*u. Does a = c?
False
Let g = -19 - -13. Let v(c) = -5*c**3 + 13*c**2 + c + 7. Let a(x) = -x**3 + x**2 - x. Let d(o) = -6*a(o) + v(o). Let n be d(g). Which is smaller: n or 0?
0
Let y = -0.19 + 0.09. Let n = -0.3 - y. Which is smaller: n or 2?
n
Suppose 20*r + 50 = 15*r. Is r bigger than -1?
False
Let l(b) = 2*b - 4. Let v be l(4). Let h = -12 - -14. Suppose 6*u - 2*u - 4*n + 4 = 0, -h*u + 26 = 5*n. Which is greater: v or u?
v
Let b be 0 + 4 - (2 - 0). Suppose 0 = b*r + 2*r - 12. Which is greater: 1 or r?
r
Let i = -7 - -4. Let s = -4 - i. Let g = -0.18 - 0.82. Do s and g have different values?
False
Let x be 3/4 + 455/(-580). Which is smaller: -1 or x?
-1
Let k = 144.98 - 143. Let b = k - -0.02. Do b and -1/3 have different values?
True
Let b be (5/2)/5*-1. Let p = 124/3 - 42. Which is greater: p or b?
b
Let n(f) = f**3 - 6*f**2 + 5*f + 3. Let z be n(4). Let u be (-6)/z*(-21)/(-6). Which is smaller: u or 2?
2
Let i(c) = c**2 - 4*c - 1. Let w be i(4). Is 2/25 at least as big as w?
True
Let a be 1/(-6)*(-10)/(-2). Let u = a - -47/42. Which is smaller: u or 0.6?
u
Let w be -2 + (-16)/(-2) + -3. Let r = 6 + -10. Let m = r + w. Is m at least as big as -2?
True
Suppose -4*q - 13 - 38 = -m, 3*m + 51 = -5*q. Let d be 33/28 + 9/q. Which is smaller: d or -1?
-1
Suppose -4 = -2*w, -k + w = -0*w + 1. Let y = k + -2. Let t be -1*(-1 + 8/10). Is t bigger than y?
True
Suppose 6 = -p - 4. Let b be 198/30 - (-6)/p. Is 4 >= b?
False
Let w(p) = -p**2 - 5*p - 6. Let r be w(-4). Let j(d) = 1 - 2*d**2 - 2 + 2*d - d**2. Let x be j(1). Is r <= x?
True
Let u(p) = -p**3 + p**2 + 3. Let k be u(0). I