e -g + 2*g - 3 = 0. Let f be (-4)/g*9/(-66). Which is bigger: 0 or f?
f
Let g be 52/12 - 4 - 4. Do -4 and g have the same value?
False
Let j be -1*(-4 + 3 + -4). Suppose 3*v = 8*v + j. Is 1/15 != v?
True
Let s be (3/9)/((-1)/(-3)). Suppose 3*m = 4*p + p + s, -2*p = -m. Is -4/9 not equal to p?
True
Let v be (2 - (-4)/(-2))/3. Is v at most as big as -2/7?
False
Let a = 3 - 6. Which is greater: a or -2?
-2
Let v be -3 + (0 + 73 - 3). Suppose -v = -3*l + 14. Let a be (l/(-6))/((-1)/2). Is a greater than or equal to 10?
False
Let t be (132/65 - 2)*5. Are -1 and t equal?
False
Let f(c) = -5*c + 3*c + c - 4. Let k be f(-3). Let q be ((-8)/(-10))/(4/(-10)). Is q less than or equal to k?
True
Suppose 0 = -2*c + 3*c + 2. Suppose 0 = 2*t - i + 5*i, 3*i = -5*t. Let s = c + t. Is s <= -2/3?
True
Suppose 2 = 4*l + 5*t, 0 = 3*l - 0*l + t - 7. Let k be ((-20)/(-18))/((-2)/6). Let n = l + k. Is 0 at least as big as n?
True
Let r = -0.1 + 0. Let j = 11.7 + -15.7. Is j bigger than r?
False
Let u = -2.26 + -6.84. Let w = u + 9. Which is smaller: -3/5 or w?
-3/5
Let o(j) be the third derivative of j**4/24 + 7*j**3/6 - j**2. Let a be o(-6). Let i be 0 - a*(-3 + 2). Which is smaller: i or 0?
0
Let k(t) = t**2 - 3*t. Let m be k(2). Suppose -2*f + 126 = -f. Let r be (-4)/22 - f/33. Which is greater: r or m?
m
Let j = -165 + 1159/7. Let d = 0.07 + -0.11. Let r = d - -0.04. Is j greater than r?
True
Suppose -2*i - 13 = -4*i - 5*s, 1 = s. Suppose -6*x = -2*x + i. Let w = 1/8 + 0. Is x equal to w?
False
Let z(q) = -q + 15. Let s be z(8). Suppose 0 = t - s + 2. Suppose c - j = 0, -2*c + 40 = c + t*j. Which is bigger: 6 or c?
6
Let k = -828 + 57130/69. Let t = k + 148/345. Is t equal to -1?
False
Let k = 13 - 8. Is k > 5?
False
Let m = 7.02 + -0.02. Let w = m - 8. Let x be (-1)/(-28) + (-2)/7. Which is smaller: x or w?
w
Let c = 145 + -145. Let u be (3 - 2) + (-5)/6. Which is smaller: c or u?
c
Let u be (-237)/(-27) + 4/18. Is u >= 10?
False
Let y be ((-3 - -1) + 2)/(-1). Is -2/11 less than y?
True
Let l be 1/(-2) + (-13)/2. Let s = 109 + -114. Do s and l have different values?
True
Let v = 11 - 9. Let q be (1 + v)/((-6)/(-8)). Are 2 and q nonequal?
True
Let f be ((-4)/4)/(35/(-25)). Which is greater: f or 0?
f
Suppose -2*j - j = 5*r + 11, -r = 2*j - 2. Let u(y) = -y**3 + y. Let d be u(-2). Suppose -d - 3 = -3*t. Is j < t?
False
Let c = 0 - 0. Suppose 5*u = -c + 5. Is -0.2 less than u?
True
Suppose 4*r - 6 = r. Suppose 22 = r*z - 5*x, 2*z - 4*x + 3 = 21. Is -2 bigger than z?
False
Let o = -4.1 + 4. Let l = 0.3 + -0.4. Let v = o - l. Is v smaller than 5?
True
Suppose 4*n - 39 + 3 = 0. Suppose 5*g - n = 1. Suppose k - 12 = -g*k. Is k less than 3?
False
Let w = -16.59 - 0.41. Let f = 16 + w. Let b(m) = -m**3 + 4*m**2 + 6*m - 6. Let u be b(5). Do f and u have different values?
False
Let w be (1 - 4)*(-2)/(-6). Let d(m) = m**2 + 3*m. Let a be d(-3). Let r be 1 + a + 44/(-11). Which is bigger: w or r?
w
Suppose 5*b = -2*i + 9, 3*b = -0*b + 15. Let x(m) = -m**2 - 7*m + 4. Let n be x(i). Are n and -5 equal?
False
Let j be 2/((-4)/(-4)) - -6. Do 8 and j have the same value?
True
Let a = 8 + -5. Suppose -a = -k - 2*k. Let i be 6*-1*(-2)/16. Is k at least i?
True
Let b(n) = -6*n - 13. Let z be b(-2). Let u be 1 - (-9)/(-21)*3. Is u != z?
True
Suppose 4*h + 32 = -2*l, -3*h - 37 - 12 = 4*l. Is l greater than 1?
False
Let u be (3 + -2)*3/(-69). Which is bigger: 0 or u?
0
Let x = -0.034 - -0.094. Which is greater: 0.4 or x?
0.4
Let n be 1689/(-396) + 4 - (-2)/11. Is 1 less than or equal to n?
False
Let v = 27 + -22. Is 4 at most v?
True
Let c = 3 + 0. Let r = 5.314 - 0.314. Are c and r non-equal?
True
Suppose -4*r - y = -19, -13 = -2*r + r - 3*y. Suppose 5*j + r*l = -6, 2*j = 2*l + 3*l + 24. Is 3/2 bigger than j?
False
Suppose 3*k + 4 = -0*k - 4*u, 0 = -3*k + u + 1. Is k > -3/10?
True
Let o(l) be the second derivative of l**3/6 + 3*l**2 - 3*l. Let t be o(-4). Let i = 194/15 + -58/5. Is i bigger than t?
False
Suppose 0 = o - 2, 0 = -4*q + q - 3*o + 18. Suppose -q*z + 5*w + 26 = 0, 0*w = -4*w - 8. Let d = -5 + z. Is d smaller than -1?
False
Let l = 7.9 + -7. Let c = 0.1 + l. Is 0.2 at least c?
False
Let y(u) = u**3 - 3*u**2. Let s be y(3). Let f be (-30)/(-6) - (3 + s). Suppose -h + a - f*a = 1, -4*h + 3 = -3*a. Are 1/14 and h equal?
False
Let t = -2908/5291 + 2/481. Is -2 less than or equal to t?
True
Let f(t) = t**2 - t. Let b be f(0). Which is smaller: b or 1/7?
b
Let c = -8.9 + -0.1. Let j = 234.1 - 234. Is c < j?
True
Suppose 0 = 5*q - 2 - 3. Let n = -22628329/207 + 109315. Let w = n + 24/23. Which is smaller: q or w?
w
Let r(v) = v**2 - 12*v + 21. Let g be r(10). Which is bigger: 0 or g?
g
Suppose 0 = -5*k + 6 + 4. Suppose k*w - w - 1 = 0. Is 1 not equal to w?
False
Let p be 2/8 + (-7)/(-4). Let j = 8 - 5. Which is smaller: p or j?
p
Let b(w) = w + 4. Let a(h) = 6*h + 21. Let d(o) = 2*a(o) - 11*b(o). Let f be d(3). Let v = -1 + f. Which is smaller: v or -3/4?
-3/4
Suppose -k + 1 - 6 = 0. Which is greater: k or -1?
-1
Let d = -4 + 3. Let t be 3 - (-18)/(-10) - 2. Which is smaller: d or t?
d
Let i = 50 - 35. Which is smaller: i or 8?
8
Suppose 0 = 4*l - 22 - 18. Is 0.1 greater than l?
False
Let z = 12 + -11. Which is bigger: 12 or z?
12
Let t = -0.1 + 0. Let n = -4.1 - t. Let h = n + 4. Is h at least as big as 2/3?
False
Suppose -3*l - 2*g = 66, 3*l + 69 = 5*g - 8*g. Let t be (-6)/l*4/(-12). Is t at most as big as 1?
True
Let q = 9 + -1. Do 9 and q have the same value?
False
Let g(u) = -u + 3. Let l be g(2). Does 3/14 = l?
False
Let q be (0 - -1)/(2/4). Suppose 4*g - 6 + 10 = 0. Which is bigger: q or g?
q
Let a = -45 + 37. Which is smaller: a or -10?
-10
Let u be (5/2)/(2/4). Suppose -u*c + 4*q - 25 = 0, -2*q + 5 = 5*c - 0. Let s be ((-6)/(-8))/((-54)/12). Which is greater: c or s?
s
Let m = 8/5 + -11/10. Are 1/20 and m nonequal?
True
Suppose 3*z = -2*g - 46 + 12, -5*z + 2*g = 30. Which is greater: -6 or z?
-6
Let h(a) = a**2 - 10*a + 21. Let s be h(7). Let g = -1417/5 + 282. Which is bigger: s or g?
s
Let r = 3 + 0. Suppose 0*h + 12 = 4*a + h, 0 = 4*h. Are a and r equal?
True
Let x = -16 - -12. Which is bigger: -1/4 or x?
-1/4
Let n = -0.08 - -0.38. Which is greater: 5 or n?
5
Let r be 1*(-2)/(-6) - 1. Suppose -5*b + 0*b + 5 = 0. Let x be 3*b/(9/(-6)). Is r at most as big as x?
False
Let j = 0.3 - 3.3. Is -3 smaller than j?
False
Let s = 184/1703 - -6/131. Is 1 bigger than s?
True
Let h = 0.2 + 0.1. Let k = -0.3 + h. Let r = 1/2 - 7/6. Which is greater: r or k?
k
Suppose -4*l = l + 10. Which is smaller: 0 or l?
l
Let l = -2 + -4. Let z be 154/33*l/4. Is z != -13/2?
True
Let r = 22 - 25.9. Let i = 1.1 - r. Which is smaller: i or 0?
0
Let y(o) = -o**2 - 7*o - 5. Let p be y(-6). Suppose 0 + p = -s. Which is bigger: 0.1 or s?
0.1
Suppose 3*l + l + 8 = 0. Which is greater: -1/2 or l?
-1/2
Let z = -529/208 - -29/13. Is z at least 0?
False
Suppose -4*w = 3*u - 52, 4*u + 14 = -0*w + 3*w. Which is smaller: w or 11?
w
Let f(q) = q**3 + 8*q**2 + 13*q. Let p be f(-4). Suppose -d = d - 22. Is p > d?
True
Let x = -1 - 1. Let q be (-9)/(-5) - 2/(-10). Which is greater: q or x?
q
Let t = 2 - -5. Which is smaller: 0.2 or t?
0.2
Let b = 1629 - 3323/2. Let c = b - -33. Let h = -5.2 - -5. Which is smaller: h or c?
h
Suppose 2*j - 2 = -0. Let p be (89/(-22) - -4)*-8. Is j > p?
True
Suppose -1 - 4 = -5*f. Let s = f + -2. Which is greater: 1/4 or s?
1/4
Suppose k = -5*q + 5 + 3, -5*k - 8 = q. Is 8 < q?
False
Let a = 7 + -6. Is a less than -3/22?
False
Let o = -2 - 0.1. Let n = o - -2. Which is bigger: n or -14?
n
Suppose -3*r - 4 = -r. Suppose 6*o = -6*o + 2*o. Which is bigger: o or r?
o
Suppose -2*s = -2 - 10. Suppose 0 = s*d - d + 120. Let l be 3/(-10)*20/d. Which is greater: l or 1?
1
Let f(p) = p**3 - 2*p - 1. Let q be f(-1). Let m be q - (15/(-12))/(-5). Let u = 1.1 - 1. Is u equal to m?
False
Let b = -4 - -7. Let a(f) be the first derivative of f**4/4 - 2*f**3/3 - f**2 - 4*f - 2. Let o be a(b). Is -2/5 at most as big as o?
False
Let l = -1 + 2. Let r(g) = g**3 - 10*g**2 + 8*g + 8. Let t be r(9). Let v = l - t. Which is smaller: 3/4 or v?
3/4
Suppose 5*g - w = -0*g + 228, 0 = 3*w + 9. Let h be (12/g)/((-2)/(-5)). Are -2 and h equal?
False
Let s be ((-5)/(-20))/((-3)/(-12)). Suppose -5*r + 6 - 11 = 