d) = -d**2 - 7*d - 5. Let h be v(-6). Let t be (-5 - -5) + -1 + -1. Let x be (h + t)*8/(-4). Is x < 0?
False
Let n be (-2)/6*(-1 + 1). Is 1 at most n?
False
Let i = 6.36 - 3.37. Let n = i - -0.01. Let r = n + -2. Are 1/4 and r equal?
False
Suppose 0*y - 5 = 5*y. Is -1/8 > y?
True
Suppose 4*b + 43 = 35. Which is greater: b or -1/50?
-1/50
Let z = 5 + -3. Let n(c) = -c**3 + 3*c**2 + 6*c - 5. Let g be n(4). Is z > g?
False
Let g = 8966/15 - 598. Is g equal to 1?
False
Let m = -4 - -4. Suppose 3*w + 4*q - 23 = m, 0 = -w - 2*w + q - 2. Is w greater than or equal to -4?
True
Suppose -13*f + 8*f = -25. Is 6 > f?
True
Let r(o) = o**3 + 7*o**2 + 11*o + 4. Let l be r(-5). Which is bigger: 2 or l?
2
Let w = 6/65 + 146/1235. Which is greater: w or 1?
1
Suppose 5*a - 15 = 30. Which is smaller: 37/4 or a?
a
Let w = 19/5 - 43/10. Is w greater than or equal to -1?
True
Let u be (-3)/9 - 20/12. Let q(s) = 3*s - 6. Let d be q(4). Let n = 4 - d. Does u = n?
True
Let l = -8 + 31. Which is greater: l or 22?
l
Suppose 3*c = -32 - 40. Let m be c/27*(-9)/60. Is -1 at most as big as m?
True
Let i be 46/6 + (-4)/6. Let g be (-18)/4*-2 + -1. Which is greater: i or g?
g
Let i = -1.07 - -1. Is i < -0.2?
False
Let u = 5701/370 + -153/10. Let b = u - -46/259. Let n(p) = -p**2 + 3*p - 1. Let z be n(2). Is z >= b?
True
Let a = 10.4 + -12.4. Which is bigger: a or 1?
1
Let c = 5 - 3. Suppose c*z = -z. Suppose -3*k - 8 = 4*w, -10 = 5*k + 10. Which is smaller: z or w?
z
Let k = -1977/136186 + 1/914. Which is greater: 0 or k?
0
Let h(y) = y**3 - 4*y**2 + 3*y + 1. Let v(o) = -4*o**3 - o**2 - o - 1. Let r be v(-1). Let f be h(r). Let a = -25 + 174/7. Which is smaller: a or f?
a
Let b = -19 + 13. Let v = 16 - 18. Let o = b - v. Which is smaller: o or 0?
o
Let m(r) = 3*r + 4. Let h be m(2). Which is greater: -1 or h?
h
Let x be (-136)/144 + (-3)/(-2). Do x and 1 have the same value?
False
Let v = 79.3 + -73. Let b = -8 + v. Which is bigger: -1 or b?
-1
Let b be (-63)/36*(-3 - -7). Let i = 220 - 451/2. Which is smaller: b or i?
b
Suppose 3*p - 5*m = -19, 5 - 4 = 3*p + 5*m. Are -11/6 and p nonequal?
True
Let h = -2 - -3. Let w = -4 - h. Let d = w + 1. Is d bigger than 0.1?
False
Let z be -3 + 3 + 1 + 0. Let u be 3 + 0 + (-2 - z). Which is smaller: 2 or u?
u
Suppose 5*t = 3*t. Let g(n) = 0 - 1 + t*n**2 + 2*n**2 + n**2 + n**3. Let h be g(-3). Is -1 at least h?
True
Suppose -6 = -5*m - 4*q, -q = -5*q - 4. Let d(v) = -v - 1. Let g be d(-3). Is m <= g?
True
Let z be 408/156 - 2*1. Is 0 at most z?
True
Suppose 4*w - 9*u + 4*u = -45, -2*w + 5*u = 25. Is w at most as big as -11?
False
Suppose 5*g + 36 = 11. Is g less than -5?
False
Let v(u) = 4*u**2 + u + 1. Let m be v(-1). Let x be (3/(-2))/(3/m). Suppose 0*r - 1 = r. Which is greater: r or x?
r
Let p = 0.1 + 0.7. Let s = 3.8 - p. Which is bigger: s or 2/3?
s
Suppose -27*x = -30*x + 99. Which is smaller: x or -1/3?
-1/3
Let j = 16749/7 - 141587/56. Let w = 136 + j. Are w and 0 equal?
False
Let a = -1.9 + 2. Let s = a + 0. Which is smaller: s or -0.2?
-0.2
Let o(s) = 4*s + 65. Let r be o(-18). Is 3 less than or equal to r?
False
Suppose -s = -5*s + 12. Let v be 0*2*s/18. Is v less than 3?
True
Let r = -29/2 - -12. Suppose 0 = a + 4*h, 5*h - 25 = 3*a + 2*a. Which is greater: r or a?
r
Suppose 2*q - 17 = t - 3, 6 = -3*t - 3*q. Let w(s) = s**2 + 7*s + 5. Let z be w(t). Are -2/7 and z unequal?
True
Let l be (1/4)/(36/(-80)). Let p = l - 1/9. Which is smaller: -0.06 or p?
p
Let w = 130 + -186. Let c be 4/14 - (-184)/w. Is -3 < c?
False
Let p = 5 - 7. Let y be 5/2*-1*p. Let l be y/(-3) - 4/(-6). Is -1 at least as big as l?
True
Let q be (-332)/(-774) + (-6)/(-27). Let x = q + 2/129. Let s(y) = -y - 2. Let f be s(-3). Which is greater: f or x?
f
Let o(m) = 4*m. Let h be o(1). Suppose v + 1 = h. Suppose -v*d = -5*d. Is 0 > d?
False
Suppose -5*s + 20 = 3*t, 0 = -0*s - 3*s + 2*t + 12. Let g = -1 + s. Which is greater: g or 13/4?
13/4
Let u = 43 + -55. Which is bigger: -11 or u?
-11
Let y be 6/(-9) + 85/105. Is -0.1 at most y?
True
Suppose 3*j + 7 + 3 = -5*a, -2*a - 4*j - 18 = 0. Which is greater: a or -1/24?
a
Let p be 6/(-9)*(-9)/2. Suppose -p = -a + 1. Suppose -q - q = -a. Is q <= 2?
True
Suppose -3*c + 3 + 6 = 0. Suppose k + 4 - c = 0. Do 0 and k have the same value?
False
Let q be 2/7 + (-2202)/40635. Let w = 2/215 - q. Suppose -r = r + h + 5, h = -5*r - 8. Is r < w?
True
Let t be ((-1)/3)/(2/(-3)). Which is smaller: t or 0?
0
Suppose -6*x = -9*x + 45. Is x > 15?
False
Suppose 0 = -2*r + 7*r. Suppose 4 = 4*t - r. Let z be (-3 + 8)*2/5. Which is smaller: z or t?
t
Suppose -164 = -5*s + p - 52, -2*s + 55 = 3*p. Suppose -s = -4*c + 17. Is 11 at least as big as c?
True
Let l = -2 + 1. Let v(j) = j - 14. Let n be v(12). Let u = n - l. Are u and -2 unequal?
True
Suppose -14 = 3*y + 1. Suppose -3*b + 39 = -3*n + 12, -11 = -3*b - n. Let i = b - 10. Are y and i equal?
True
Suppose 5*g = 4*g. Suppose -4*i - 4*h + 16 = 0, i - 2*i = 3*h - 8. Suppose i*q = 2*x + x + 2, q + 5*x + 12 = 0. Which is greater: q or g?
g
Let b = 40 + -42. Are 0.1 and b non-equal?
True
Let i = 147 - 430/3. Let s = i + -10/3. Which is smaller: -1 or s?
-1
Let k = 117.1 + -117. Which is smaller: k or 36?
k
Let y = 2 + 2. Suppose -3*m - 2*u = 6, m + m = 5*u - y. Suppose -5 = 4*w + 7, 18 = -5*i - w. Which is smaller: i or m?
i
Let d(b) = b - 2. Let p be d(7). Suppose -5*y = -11 - 19. Let a = y - p. Do 1 and a have the same value?
True
Let t = 472/5 - 95. Is -2 at most as big as t?
True
Suppose -g = -3*g + 22. Let w be 6/(-33) + 2/g. Which is smaller: -2 or w?
-2
Suppose -3 = 4*o + 1. Let u be o + (2 - 2)/1. Which is smaller: -1/7 or u?
u
Let v = -4.4 - 1.6. Let j = v - -5. Are -2/3 and j equal?
False
Let z = 0.06 + 3.94. Let b = z + -1. Which is smaller: -0.1 or b?
-0.1
Suppose 0 = 2*k - 3*d + 1, 2*d - 41 = -5*k + 4. Suppose 2*t = 3*t - k. Let z = t + -4. Which is smaller: 2 or z?
2
Let f = -26/133 + 1/19. Let j be (-235)/20 - (-3)/(-12). Let p = j + 11. Which is smaller: f or p?
p
Suppose 0 = -5*v - 4 - 16. Let b = -9 + 13. Suppose -b*o + x = 15, -3*o - 2*x - 10 = -o. Is v greater than or equal to o?
True
Let r = -1.09 + 0.09. Let a = r - -0.8. Let m = -0.8 + a. Which is greater: -4/9 or m?
-4/9
Let u(a) = a**3 - a**2 - a + 3. Suppose 0 = 6*q - 3*q. Let j be u(q). Let m be (-30)/12*j/(-10). Which is bigger: m or 2?
2
Suppose -2*x - 148 = 5*l + 10, -2*x - 8 = 0. Which is smaller: -29 or l?
l
Let h = -33 - -56. Let d = h - 22.7. Let q = -2 - -4. Which is greater: d or q?
q
Let s(x) = -4*x**3 + 2*x**2 + 4*x + 3. Let n(d) = -5*d**3 + 2*d**2 + 5*d + 4. Let w(a) = 5*n(a) - 6*s(a). Let f be w(-2). Are -2 and f equal?
False
Let v be (-1)/(22/10 - 2). Let h(j) = j**3 + 5*j**2 + j + 3. Let t be h(v). Suppose 5*a = -5*w - 25, -2*a + 2*w + 14 = -6*a. Is t not equal to a?
False
Let h = 37 - 23. Is 2/9 at most as big as h?
True
Suppose 3*f + 3 = 2*f. Let m be (49/15 + f)/2. Is 0 at most as big as m?
True
Let n = 0 - -1. Let k be 10/8 + n + -2. Let d = -0.017 + 0.117. Is k greater than or equal to d?
True
Suppose -3*b = -11 + 2, -2*s = -5*b + 13. Is s greater than 4?
False
Let j(f) = -1. Let g(h) = -h**2 - 7*h - 4. Suppose -3*n - 5 = -17. Let p(x) = n*j(x) - g(x). Let k be p(-7). Which is greater: -0.2 or k?
k
Let d(x) = -x - 2. Let t be d(-7). Let q = 4 - t. Let f be (-3)/(-15)*(q + -1). Which is bigger: f or 0.2?
0.2
Let x be 3 - (1/48)/(27/3942). Let i(r) = r**2 - r + 1. Let y be i(1). Which is smaller: x or y?
x
Suppose 8 = -4*g, -8 - 58 = 4*i + 3*g. Is i smaller than -14?
True
Suppose 2*d = 5*u + 13, 1 = -4*d + 2*u + 3. Let n be (d/(-3))/(1 - 2). Which is smaller: n or 0?
n
Suppose 0*w = -3*w + 12. Suppose w*l = 3 - 35. Do l and -9 have the same value?
False
Let k be (-1)/(-1*2/6). Suppose -r - 4*r = n - 3, -k*r + 3*n = -9. Which is greater: r or 0?
r
Let w = 115 - 807/7. Does 0 = w?
False
Let s(r) = 13*r - 17. Let m(k) = -3*k + 4. Let b(v) = 9*m(v) + 2*s(v). Let o be b(2). Suppose o = -y + 5*y - 4. Which is bigger: -1/3 or y?
y
Suppose 2*z - 7*l + 35 = -2*l, -4*l + 76 = -4*z. Let r be 50*((-1)/1)/(-2). Let a be r/z + (-3)/(-4). Is a <= -3?
False
Let m(u) = 2*u**3 - 2*u**2 + 3*u - 3. Let y be m(2). Are y and 9 equal?
False
Let v = 16 - -7. Suppose 9*h = 4*h + 120. Suppose -v = 3*n + 2*t, -4*t - 