(-6). Suppose -3*n = 4*u + 18, 0 = 2*u + s*n - 4*n + 2. Is -2/7 equal to u?
False
Let v(w) = -w**2 + 3*w + 4. Let s be v(4). Let a(m) = -m - 16. Let d be a(-15). Let g be (d + 2)*(-1)/6. Does s = g?
False
Let f = -0.128 - -10.528. Let s = f + -11. Is s at least as big as 2/9?
False
Let m = -452/493 - -15/17. Let l = m - -33/116. Which is greater: 0 or l?
l
Let l be ((-1)/2)/(50/(-16) + 3). Do l and 26/7 have the same value?
False
Let c(a) = a**3 - 3*a - 1. Let u be c(-1). Is u equal to -2/193?
False
Let g = 24 + -37. Let s = -34 + 20. Is s equal to g?
False
Let h = -12 + 11.8. Is h smaller than -7?
False
Let x = -23 + 27. Let b = -11 + 6. Let r = x + b. Which is greater: r or -0.1?
-0.1
Suppose 3*f + 12 = -426. Let r = -1461/10 - f. Is r at least -1?
True
Let c = 0 + 0. Are c and -1/10 equal?
False
Let h = -3 - -4. Suppose -3*r - 4*d - h + 16 = 0, 4*d - 16 = -4*r. Is r less than or equal to 1?
True
Let t be (2/(-18))/((-6)/(-171)). Let o = t + 10/3. Is 0 at least o?
False
Let h = 1 + 10. Let l be (h/22)/(2/(-4)). Is l at least as big as -1/7?
False
Let w(g) = 4*g - 5. Let r be w(5). Let x be -1 - 1*r/(-21). Let p be (0/(-1))/(0 - 1). Which is bigger: p or x?
p
Let x be (-110)/114 - (6/2)/(-3). Which is bigger: x or -1?
x
Let d = -7 - -3. Let q be (-2)/4*(d + -6). Suppose q*a = -4 + 14. Do 1 and a have the same value?
False
Suppose -z + 2*z = 0. Suppose -2*j = -3*c - 9 - z, 3*c + 9 = -3*j. Let u be (-2)/(-3)*(-18)/16. Which is smaller: j or u?
u
Let c = 619 - 4349/7. Is -3 > c?
False
Suppose -5*c = -1 + 6. Let q be 3/(-9) + 16/3. Let n = 8 - q. Which is bigger: n or c?
n
Let m(d) = 14 + 0*d - 3*d + 4*d. Let k be m(-11). Is k less than 3?
False
Let x = -4 - -8. Let u = -0.8 - 0. Let t = u + 0.9. Which is bigger: x or t?
x
Suppose 0*l = -4*l + 8. Suppose s + 4 = l. Let b = -5 + 3. Is s greater than or equal to b?
True
Suppose -2*v - 1 = -3, -q + 5*v = 6. Let r be -7 + 4 - 269/(-89). Let n = r - 113/1068. Is q greater than or equal to n?
False
Suppose -44 = 6*r + 4. Which is smaller: -10 or r?
-10
Let h(f) = -9*f + 8. Let j(p) = 17*p - 15. Let r(s) = 11*h(s) + 6*j(s). Let a be r(1). Are a and -1/12 non-equal?
True
Let s = -2 - -2. Let u(o) = -o - 3. Let z be u(-7). Are z and s nonequal?
True
Let n = 20 - 15. Let j be (-19)/n + 6/2. Which is bigger: j or 0?
0
Let f = 40 - 34. Let t(q) = q**3 + 4*q**2 - q + 3. Let k be t(-4). Is k at most f?
False
Let j = 208610/123 - 1696. Let t = -28/41 + j. Is t at most -1?
False
Suppose 3*b - s + 3 = 2*s, -5*b - 9 = -3*s. Suppose 0 = 2*a + 2 + 10. Let g = 4 + a. Is b less than g?
True
Let o(r) = -r + 5. Let x be o(-4). Which is bigger: 12 or x?
12
Suppose -3*b + 17 = 4*p, -b + 6*b = 4*p + 7. Let z be (-6)/27 + 4/18. Let m = 2 + z. Are p and m equal?
True
Suppose 0 = 3*b + 2*j + 5, -2*j = -b - j. Let y be (1/5)/(4/(-5)). Which is greater: b or y?
y
Let y = -364/6165 + 2/137. Which is smaller: y or 1?
y
Let n be (1/2)/((-2)/(-12)). Let u(g) = -g**3 + 2*g**2 + 2*g - 1. Let b be u(2). Is b > n?
False
Let i(x) be the second derivative of x + 1/6*x**3 - 1/2*x**2 + 0. Let k be i(0). Which is greater: 0 or k?
0
Let q = 800/819 + -8/91. Is 2 greater than q?
True
Let x(z) = 2*z**3 + z**2 + z. Suppose -6*m + 3*m - 3 = 0. Let q be x(m). Which is greater: q or -7/3?
q
Let o(p) = 3*p + 20. Let a be o(-6). Let m = -1/582 + -27061/1164. Let n = -23 - m. Which is smaller: n or a?
n
Let c be 1/21 - (-5)/(-15). Let i = -11326 + 509716/45. Let v = -4/5 + i. Is v not equal to c?
True
Let z be (-8)/10*2/4. Let h(y) = y**3 - 9*y**2 - 7. Let q be h(9). Let d be (-15)/(-20) - q/(-4). Which is smaller: z or d?
d
Let s = 28 + -55/2. Let r = 2 - 0. Which is smaller: s or r?
s
Suppose -2*x - 4*q - 9 = -7*x, 4*x - q = 5. Suppose 2*w - 18 = -4*a, -15 = a - 4*a - 3*w. Is x less than or equal to a?
True
Let k be ((-20)/(-390))/((-4)/(-18)). Are k and 0 non-equal?
True
Let b(w) = 6*w + 3. Let c be b(-7). Let x be c/6 - (-1)/2. Let z(m) = m**2 + 8*m + 7. Let g be z(x). Which is bigger: g or -4?
-4
Let h = -0.6 - -2.6. Let i = h - 2.1. Which is smaller: i or 2/5?
i
Suppose 4*h = 4*r + 20, 3*r - 2*h + 11 = -h. Let p be -2*(-1)/9*r. Which is greater: 0.7 or p?
0.7
Let n = 1.1 + -0.1. Let r = -0.052 + -0.148. Is r at least n?
False
Let l be (0 - (0 - 1))*-15. Let x(g) = -g**3 + 8*g**2 + 7*g - 3. Let v be x(9). Let u be 7/v - 17/l. Which is smaller: u or 2?
u
Suppose 3*w - 9 = 0, 5*w + 3 = 2*l + 20. Is l less than 2/31?
True
Let u = -4.05 - -0.05. Let c = -8.1 - -12. Let k = u + c. Which is greater: k or -1?
k
Let b = -5 + 14. Let a = b + -8. Which is smaller: a or 0.05?
0.05
Suppose 92 + 8 = 5*f. Do f and 18 have different values?
True
Let q be 2 - 0 - 24/14. Let z = 28 + -25.3. Let g = z + -3. Which is greater: q or g?
q
Let q(v) = v**2 + 4*v - 1. Let b be q(-5). Let a(s) = 4*s**3 - s**3 + 1 - b - 2*s**3 + 5*s**2. Let c be a(-5). Which is smaller: -5 or c?
-5
Let b be (-4)/(-96) + (19/(-6) - -3). Suppose 2*p - 2 = -6. Let z be p + 3 + -2 - -2. Which is bigger: z or b?
z
Suppose -13*d + 12*d = 10. Which is greater: -9 or d?
-9
Suppose 4*d + 0 = 8. Let m(l) = l**2 - 3*l + 3. Let g be m(d). Which is bigger: 0 or g?
g
Suppose -4*g + 27 = -17. Let a be (-1)/(-6) + g/(-12). Let q be (-4)/14 + 24/(-14). Are q and a unequal?
True
Let f = -2 + 5. Let m = f - 3. Let l be (-14)/6 - 4/6. Is l < m?
True
Let x be 6/(-4)*(-4)/6. Let u = -3 + x. Are -2 and u equal?
True
Suppose 3*m = 3*j - 24, 2*m = -5*j - m. Let z be ((-32)/12)/((-2)/j). Let d be 1 + 0 + (4 - z). Which is greater: d or 1/2?
d
Let s be (-1)/5 + (-145)/25. Suppose 3*m = -4 - 17. Is s < m?
False
Let r(k) = k**2 - 6*k + 4. Let y be r(6). Suppose -2 - 2 = -y*d. Which is smaller: 3 or d?
d
Suppose 2*b = 18 + 90. Suppose -3*d = -d + b. Let f be -2 + 2/((-24)/d). Is 0.4 greater than or equal to f?
True
Let x be 14/1*(-1)/(-2). Suppose 2*m - x = -1. Suppose -4*n = 8, 2*w + 3*w - 14 = 2*n. Which is smaller: m or w?
w
Let a(n) = -n + 5. Let j be -3 - (17 - -3)/(-2). Suppose -5*o + j*q = 2*q - 55, 21 = o - 3*q. Let y be a(o). Is y less than or equal to 2/5?
True
Suppose -3*h - 5*f = -6, 8*h - 3*h - 10 = -5*f. Let t be h/(-6) + 12/18. Are 0.1 and t equal?
False
Let n(x) = -x**3 - 8*x**2 + 11*x + 17. Let h be n(-9). Is h equal to 0?
False
Let g be -3 - -3*4*1. Suppose 5*h + 1 = -g. Let m = h - -1. Is m bigger than 2?
False
Let p = 46/17 - 111/85. Let j = 43 - 41. Which is greater: j or p?
j
Let o(l) = -3*l + 4. Let h be o(2). Let y = -9 + 9. Which is bigger: h or y?
y
Let h(c) = -2*c + 0 - c - c + c**2 + 1. Let j be h(4). Is j greater than 0?
True
Let a be (-4)/10 + (-142)/(-5). Let f = a + -138/5. Which is smaller: -7 or f?
-7
Let h = -22 - -17.2. Let f = 5.43 - 0.43. Let d = f + h. Are d and -1 equal?
False
Suppose 7*s - 10 = -24. Which is greater: s or 0?
0
Suppose 0 = 2*x - 6*x. Which is smaller: 2 or x?
x
Let a = -2/79 + 1201/632. Is 1 not equal to a?
True
Suppose 5*h = -25, 5*h + 52 = 5*f + 12. Is 14/9 less than f?
True
Suppose 4*o + 3*j - 98 = -30, o = -5*j + 17. Do o and 16 have different values?
True
Suppose -f = 5*a - 5, -28 = 5*a - 3*f - 13. Which is bigger: a or 0.08?
0.08
Let l(w) = -w**2 - 4*w. Let a be l(-3). Let j be (-1)/(-2) + -1 - 75/(-150). Are j and a equal?
False
Let g(z) = -z + 1. Let v(w) = -w**2 - 4*w + 5. Let m(k) = -4*g(k) + v(k). Let x be m(1). Which is smaller: 4 or x?
x
Let m = -2 + 0. Let n = 5 + -2. Suppose 0*f - n*f = 0. Is f at most m?
False
Let x = 0 - 0. Let w = 3206/126825 + -4/1425. Let i = -93/178 + w. Is i greater than or equal to x?
False
Let w(j) = -j**3 + 7*j**2 + 8*j - 11. Let d be w(8). Let t = 10 + d. Is 6/13 equal to t?
False
Let m = 1 - 10. Let h = 13.8 - 4.7. Let r = m + h. Is r at least 0.2?
False
Suppose -f + 32 = -5*q + 4*q, -12 = 4*q. Let z = 43 - f. Let a = z - 20. Is 2/7 at most as big as a?
False
Let f = -8 - -8. Let c = f + 4. Do c and 4 have different values?
False
Let t(x) = x**3 - 3*x**2 - 4*x + 4. Let m be t(4). Let y be 20/(-1 + m + -4). Which is smaller: -19 or y?
y
Let a(u) = -u - 3. Let l be a(-6). Suppose 28 = l*k + 4*f + f, -3*f = -15. Are k and 3 nonequal?
True
Suppose -5*g + 3*g = -100. Let u be 4/(-14) - g/(-28). Do 3 and u have different values?
True
Let j = 0.1 + 4.9. Let z = j - 8. Is z less than or equal to 1?
True
Let c(o) = 3*o + 7