+ 18 = 0. Suppose 0 = -2*m - 5*n + 11, 5*m = -0*n + 5*n + d. Suppose q + 16 = -m*q. Which is greater: -5 or q?
q
Let j be ((-124)/(-29))/4 - 1. Which is greater: 0 or j?
j
Suppose -36 = -4*x + 4. Let i be (-25)/x + (-2)/(-4). Are -9/4 and i equal?
False
Let p = 7 + -4. Let o = 3 - -5. Suppose 5*h = p - o. Which is smaller: h or 2/5?
h
Let i = 61 - 77. Which is smaller: i or -17?
-17
Let c(u) = -u + 15. Let b be c(-5). Is 19 > b?
False
Suppose 5*z - 2*j + 11 = 0, 4*j - 4 = 2*z + 10. Let c be 23/5 - (-4)/(-10). Let k = c - 347/85. Is z at least k?
False
Let s be 177/81 - 0 - 2. Let g = s + -79/135. Are g and -2/7 equal?
False
Suppose -2*h = -2*v - 3*v + 31, -v = 4*h + 7. Suppose 2*g = -2*k - g + 11, -5*k + v*g = 10. Let o be (-24)/180 - 2/12. Which is bigger: k or o?
k
Let m(b) = b**2 + 3*b - 12. Let w be m(-5). Let l = -1 + 1. Which is smaller: w or l?
w
Let z(l) = -l**2 - 5*l + 3. Let o be z(-6). Let r be (-8)/6*(-50)/(-40). Is r less than o?
False
Let s(f) be the first derivative of f**4/4 - 5*f**3/3 - 3*f**2 + 2*f - 2. Let q be s(6). Let l = 0 - q. Is l less than -1?
True
Let w = -27 - -27. Do w and -4/7 have different values?
True
Suppose 9*m - 1 = -55. Which is smaller: -4 or m?
m
Suppose -18 = 2*l - 4*l. Suppose x - 4*x = l. Suppose 8*t + 5 = -27. Is x < t?
False
Let y be 6/(-6) + (1 - -1). Which is greater: y or -1/17?
y
Suppose 0*y = -3*y + 3. Let a = -0.6 - -0.9. Let j = 0.5 - a. Which is smaller: y or j?
j
Let a(v) = -3*v + 2. Suppose 0 = -5*d - 5*s + 35, -2*d - 6 = -0*s - 2*s. Let i be a(d). Suppose 0*f + 6 = -2*f. Are i and f equal?
False
Let x = -36 + 37. Are 5/14 and x equal?
False
Let r = -19 - -20. Which is greater: -14 or r?
r
Let i = -11 + 5. Is i < -7?
False
Suppose 0 = 5*h - 6 - 9. Is 4 < h?
False
Let w = 27 + -15. Suppose 18 = 3*h - w. Which is greater: 9 or h?
h
Let i = -15.1 + 15. Is 0.1 at most i?
False
Suppose 5*n - 10 = 2*h, -n + 8 = 3*n - 4*h. Suppose 0 = -0*k - n*k - 8. Is k at least -5?
True
Suppose -3*h = l - 13, l + 6*h = h + 21. Let p be 3 - (l - (-6 - -3)). Is p < -1/6?
True
Let x(y) = y**2 + 4. Let v be x(2). Is v greater than or equal to 1/3?
True
Let l = -1 + -1. Let c be 3/2 - l/4. Suppose 0*r + 5*j = r - 19, 4*r - 3*j - 8 = 0. Is c at most as big as r?
False
Suppose 8*p - 24 = 4*p. Suppose 2*b + p = 4*b. Are b and 7/2 nonequal?
True
Let h = -2759/11 - -251. Are h and -5 equal?
False
Let u = -0.03 + -0.37. Let r = -4 - -3. Which is smaller: r or u?
r
Let t(b) = -b**3 - 7*b**2 - 6*b + 1. Let d be t(-6). Let c be 0/(2 + (d - 4)). Which is greater: 1/3 or c?
1/3
Let k = -20 - -18. Let u be 2/k - (2 + -3). Are 0 and u non-equal?
False
Suppose -i + 3 = 4, 0 = m - 3*i - 3. Suppose -2*b + 0*b + 8 = m. Suppose b = -y + 5*y. Which is smaller: 2 or y?
y
Let k be (1 - 0)/(1/(-6)). Let q be (-47)/11 - k/2. Let i = -61/22 - q. Which is bigger: -2 or i?
i
Let o = 0.008 + -19.008. Which is smaller: o or -4?
o
Let p be (-55)/22 + 0/(0 + 2). Which is smaller: -4 or p?
-4
Suppose 4*z + 3*a - 6 = 0, -2 + 1 = z + 2*a. Suppose 4*q + k + 4*k = -12, q + z = 2*k. Which is greater: -1 or q?
-1
Let o = -16 - -17. Which is bigger: o or 4/9?
o
Let m = -17 - -16.9. Do m and 4 have different values?
True
Let q be 5 - ((-2 - -2) + 3). Which is greater: q or 3?
3
Let i = 317/110 + -27/10. Let h(a) = -a**3 - 6*a**2 + 7*a - 1. Let o be h(-7). Which is smaller: o or i?
o
Let y = -9.5 - -9.7. Is 32 less than or equal to y?
False
Let m = -7 - -6.9. Which is smaller: -4/5 or m?
-4/5
Let b(t) be the third derivative of -t**4/24 - t**3 - t**2. Let y be b(-6). Let q = 128/5 - 1674/65. Is q at most as big as y?
True
Suppose 0*t - 4*t = 0. Suppose -o + 2*o + 2 = t. Which is greater: 7 or o?
7
Suppose 3*f - 28 = -4*g, f = -3*f - 4*g + 32. Let c be ((-6)/2)/((-2)/(-4)). Let v = c + f. Is v greater than or equal to 0?
False
Let l(k) = -k**2 - 7*k - 4. Let m be l(-6). Suppose 0 = r - 5*d - 0*d - 5, 2*r = -2*d - m. Let q = 85/319 - 13/29. Which is smaller: r or q?
q
Let h = 1 + -1. Suppose -3*q = 2*q + 4*j - 82, 0 = -q + 5*j + 28. Suppose 0 = -2*x - x - q. Is h < x?
False
Let y be 25/9 + 14/63. Suppose 11 = w - y*b, 3*b - b + 4 = 0. Suppose 0 = o - w*o. Which is smaller: o or 2/7?
o
Suppose -2*v = -36 - 2. Let t = v - 11. Let g be (-3 - 0)/((-36)/t). Is 1 at least as big as g?
True
Let t(l) = -2*l**3 - 6*l - 2*l - 8*l**2 + 1 + l**3. Let a be t(-7). Let d be (a + -8)*(-1 + 2). Which is bigger: d or -2?
d
Let g = 147 + -738/5. Are -4/3 and g equal?
False
Let l be (-79)/20 + (-2)/8. Let r = 17/5 + l. Is r less than -1?
False
Suppose 0 = -4*h + 39 - 11. Suppose h + 13 = 4*a. Does 5 = a?
True
Let x = -20591/18865 + 1/1715. Suppose -5*s - 6 = -1. Are s and x unequal?
True
Let c = 3 - -1. Suppose 0 = y - c*p + 1, -2*y - 1 = -3*y + 2*p. Suppose 0 = y*x + 7 + 8. Is x <= -6?
False
Suppose 7*r + 2 = 8*r. Suppose 8*s - 6*s = r. Are -1 and s non-equal?
True
Let l = 23 + -15. Let b = 8 - l. Do -3 and b have different values?
True
Let r = -0.061 + 0.061. Which is smaller: r or 22?
r
Let p be ((-4)/(-18) - (-30)/(-135))/2. Which is greater: 15/16 or p?
15/16
Suppose i + 8 = 3*t, -6*t = 2*i - 2*t + 6. Let n = -9 + 3. Is i smaller than n?
False
Let o = -1.69 + 1.19. Are o and -13 nonequal?
True
Let d = -150 - -151. Let r = 4 + -6. Which is bigger: d or r?
d
Let r = 1.1 + -1.4. Let m = r - 0.7. Which is smaller: 1/12 or m?
m
Let k = -72 + 506/7. Is 0 at least k?
False
Suppose 4*t + f - 9 = -2*f, -t - 2 = 5*f. Let k(o) = -3 - 3*o**2 - 1 + o**3 + 2*o + 0*o**3 + 0*o**2. Let m be k(t). Which is smaller: 3 or m?
m
Suppose -5*j + j = -16. Suppose 3 - 15 = -j*d. Let g be 4 + (-3 - -5 - d). Which is greater: 5/3 or g?
g
Let h be ((-62)/6)/(3/(-18)). Let z be h/36 - 2/9. Suppose 4*d + 0 = -4. Is z > d?
True
Let m be (-16)/(-2) + -2 + (-7)/(-7). Is m at most as big as 11?
True
Suppose 5*p + 3*h + 5 = 12, 13 = -p + 3*h. Let l be 2 - p/2*-4. Is -3 < l?
True
Let d(n) = -2*n**2 + 2*n - 10. Let o be d(8). Let u = -851/7 - o. Is -1 bigger than u?
False
Suppose 0*l - 6*l - 42 = 0. Is l at most as big as -7?
True
Suppose 0*h = 2*f + 5*h + 4, -3*f = -h - 11. Let b = -2 + f. Which is bigger: 2/21 or b?
b
Let z = 2 + -11/5. Is 1 at least z?
True
Let w = -108 + 105.8. Which is smaller: 2/9 or w?
w
Let d = -17 + 16.54. Let v = -0.01 - d. Let l = v - 0.05. Does 0 = l?
False
Suppose a - q = 3 + 2, 0 = -q - 4. Suppose a = w - 0. Which is greater: -1/3 or w?
w
Let d be 1 - -3 - (-16)/(-8). Is 2 != d?
False
Let k = -0.4 - -0.4. Let q = -1.9 - -2. Are k and q nonequal?
True
Let f be (0 - 2)*(-40)/16. Which is bigger: f or -4?
f
Let g be 33/(-22) + 50/4. Let z be (0 + 1)*(0 - -11). Is z <= g?
True
Suppose p = -0 - 2. Let r be (-6)/20*2 + 0. Which is smaller: p or r?
p
Let g be -2 - (0 - -3 - 3). Let i(o) = -o**3 - 2*o**2 + o + 2. Let t be i(g). Suppose -3*q = 4*d - 12, t*q + 9 = 3*q + 3*d. Is 1 < q?
False
Suppose 0 = -3*d + d. Let j = 4 - d. Which is bigger: 3 or j?
j
Let n be (-1 - (-2 + 0)) + -1. Let p = 6 - n. Suppose -4 = 5*w + p. Is -1/2 equal to w?
False
Let x = 227 + -437. Let s be (18/x)/(2/(-7)). Is 1 less than s?
False
Let l = 1/7 + -3/7. Is l less than 0?
True
Let u be (-8)/(-2)*1/(-2). Let j be 9/(-7) + 8/28. Let v be ((6/4)/j)/3. Is u less than or equal to v?
True
Let a(l) = l - 6. Suppose 2*j - 4 = 0, g + 70 = -2*g - 4*j. Let u be g/(-7) - 6/(-21). Let s be a(u). Which is smaller: s or -1?
s
Let x = 2 + -2. Is -2 > x?
False
Let w = -20 + 19. Suppose 2*y = -0*y. Let s be (1 - y) + 3 + -5. Is w >= s?
True
Let c(a) = -a**3 + a**2 - 15. Let h be c(0). Let w be (1/(-3))/((-20)/h). Let y = 35 - 317/9. Are y and w equal?
False
Suppose 4*n = 11*n - 7. Which is bigger: -3/23 or n?
n
Let h = 71 - 71.41. Which is smaller: -2 or h?
-2
Let c = -0.7 + 0.4. Are c and -4 equal?
False
Let o(m) = -5*m - 55. Let s be o(-3). Which is greater: -41 or s?
s
Let n = 21 + -21.1. Which is smaller: 31/2 or n?
n
Let a be (-3)/(9/(-10))*-3. Let g(m) = -m**3 - 4*m**2 + 3*m - 2. Let v be g(-4). Let w be v/(-10) - (-4)/a. Is 1/4 at least as big as w?
False
Let l(y) = -5*y**2 - y - 1. Let r be l(-2). Let g = r - -17. Is g at most as big as -6/7?
True
Let i = -0.03 - 0.93. Let g = 0.04 - i. Suppose 0 = q + l + 2, 5*q + l = -2*l - 10. Which is smaller: q or g?
q
Let q = 63/5 - 1129/90. Let f = q - 5/9. Let z = 0 - -0.1