= -2*x + 9. Suppose 0 = p + 4*w - 22, 3*p - 2 + 4 = 5*w. Let n be i(p). Are -3 and n non-equal?
False
Suppose 0*p - p = 3*z + 26, -z = -2*p - 3. Is z equal to -11/2?
False
Suppose 5*b = 32 - 12. Suppose 10*n + 2*x - 2 = 5*n, 3*x = -b*n - 4. Suppose p = -n*p. Which is bigger: -2/13 or p?
p
Let q be (-5)/((-15)/(-2)) - -1. Suppose -2*o + 5 = 3*o. Is q > o?
False
Let r(o) = 2*o**2 + 8*o - 1. Let a be r(-7). Let z = 288/7 - a. Does 1 = z?
False
Let w = 13 + -16. Let z(l) = -21*l**2 - 2*l + 2. Let p be z(2). Let t = p - -169/2. Which is greater: t or w?
t
Suppose -2*c = -4*x - 26, 4*c = -0*c - 4*x + 4. Is c greater than or equal to -1/3?
True
Let c = 20 + -21. Which is smaller: -3/7 or c?
c
Let p = 22 - 15. Which is bigger: p or 2?
p
Suppose -6*z - 7 - 11 = 0. Is z != -17/5?
True
Let o be ((-5)/1)/5*1. Which is greater: 2/101 or o?
2/101
Let g = 4 + -7. Let q be 0 - 2*2/(-4). Are q and g equal?
False
Let w = 13.5 - 12.5. Is 2 at least as big as w?
True
Suppose 0 = -2*s - 0*s + 16. Is s equal to 10?
False
Let x = 24 + -25. Which is bigger: -2/7 or x?
-2/7
Let g be 10/5 - (-3)/(-1). Is g at least as big as 5/11?
False
Let z = -6 - -6. Let f = -19 - -20. Which is smaller: f or z?
z
Let q = 11 + -19. Let c be (-6)/424*q/(-1). Let p = c + -353/159. Which is greater: -1 or p?
-1
Let i = -28476229/15 + 1895770. Let g = i - -8180/3. Let u = g - 81. Is 0.2 equal to u?
False
Let n(g) be the third derivative of -g**6/120 - g**5/20 + 5*g**4/24 + g**3 + g**2. Let j be n(-4). Suppose -j*r + 2 = 4. Is r greater than or equal to -1?
True
Let i = -248 - -246. Let h = 197/3 - 65. Which is smaller: i or h?
i
Suppose -3 = i + 1. Let m = i + 3. Is m smaller than -2?
False
Let j(c) = 37*c**2 + 3*c + 2. Let b be j(-1). Does b = 69/2?
False
Let a = 2/353 + -728/3883. Is a < 1?
True
Let q = -814/17 + 48. Let x = q + -27/85. Let v = -2 - -2. Which is smaller: x or v?
x
Suppose -w + 3 = -3*n, -4*w - 4*n + 0*n + 12 = 0. Suppose c + w = -0*c. Is -3 <= c?
True
Let h(t) = -4*t. Let x(q) = -23*q. Let s(w) = -34*h(w) + 6*x(w). Let k be s(-1). Let d = -3 + 1. Is k <= d?
False
Suppose -r - 46 = 5*y - 2*y, 0 = 4*r + 16. Let c = -10 - y. Which is smaller: 7/2 or c?
7/2
Suppose m + 6 = -4*n, -n - 3*m = -5*n + 2. Let o = 1.4 + -1.2. Is n equal to o?
False
Let v = 7.9 + -40.9. Let l = 21 + v. Is 1 != l?
True
Let a(w) = 6*w - 65. Let h be a(16). Which is greater: 33 or h?
33
Let i = 3 - 3. Let r be 1/(-5)*(-35)/21. Is r smaller than i?
False
Suppose -23 = 5*d + 2. Let w = -3 - d. Let t be (w/(-6))/(1/(-3)). Is t >= 0?
True
Let t be 0 - 0 - (-6)/(-138). Is 1 at most t?
False
Let c = 1 - 4. Let d be (-2 - 0)/(2 - c). Is -1 < d?
True
Let j(g) = -3*g + 3 + 5*g + g**2 + 5*g. Let o be j(-7). Let y = -1 - o. Do -3 and y have the same value?
False
Suppose k - 5*k + 5*i - 22 = 0, -i + 2 = 0. Let a = -85/38 - -14/19. Which is smaller: a or k?
k
Let o be ((-8)/12)/(4/(-36)). Suppose 4*p - 12 = -2*r, 0 = p - 2*p + 5*r + 25. Which is bigger: p or o?
o
Let p be 3*-1 + 2 + -1. Suppose -6 = 5*f - 26. Let d be f/(-5)*30/12. Is d smaller than p?
False
Let o be (-4)/10 + (-402)/45. Let n = 9 + o. Is n at least 0.3?
False
Suppose 5*r - 3*r - 24 = 0. Let x = r + -2. Suppose 4*v - 9*v + x = 0. Which is bigger: 3 or v?
3
Let d(i) = -i**2 + 6*i + 9. Let p be d(7). Suppose 0 = -2*v - 0 + p. Let b = v + 0. Which is smaller: 2 or b?
b
Let c(j) be the second derivative of j**4/12 + j**3/6 - j**2 - j. Let t be c(-3). Suppose -3*k + 14 - t = -5*f, -2*f + 4*k - 4 = 0. Does -2/3 = f?
False
Suppose 5*i + 4 + 1 = 0. Let w = 4 + i. Suppose -2*z + w*l + 10 = 0, 0 = 5*z + 3*l + 2*l + 25. Is z at least as big as 0?
False
Let x be 250/6 + (-28)/(-12) + -2. Is 42 at most x?
True
Let f = 1.47 - 0.07. Let x = 1 - f. Which is greater: 1 or x?
1
Let p = 76/325 - 2/13. Which is smaller: 0 or p?
0
Let m(h) = h**2 - 5*h + 7. Let c be m(3). Let p = -232/7 + 33. Is p greater than or equal to c?
False
Let t be (-3)/7 + 1884/378 + -5. Which is greater: 0 or t?
0
Suppose -3*p = -2*v - 201, 8*v + 515 = 3*v + 5*p. Let x be 2/(-8) - 51/v. Which is greater: x or -1?
x
Suppose b + 0*j + 3*j - 13 = 0, -2*j = 4*b - 2. Are b and 0.1 nonequal?
True
Suppose -3*r + 3*y = 3, 5*r - 3*y = -2 + 1. Which is greater: -2 or r?
r
Let j(w) = 3*w**3 - 4*w**2 + 3*w - 2. Let t be j(3). Let n be 21/t - (-2)/(-8). Let f(p) = p**3 + p + 1. Let b be f(0). Which is smaller: n or b?
n
Let x = 1/611 + 1051/104481. Is 0 at least x?
False
Let o = -138 - -137.4. Let q = 15 - 13.4. Let x = o + q. Is x greater than or equal to 1?
True
Let w = -1/362 + 275/1267. Is 0 <= w?
True
Suppose 0 = -3*b - b + 28. Suppose 6*w - b*w = 0. Which is bigger: w or -7?
w
Let r = -10 + 11. Let h = -80323/88166 + 8/10173. Let t = h - -5/6. Are r and t nonequal?
True
Let n(l) be the third derivative of l**4/24 - l**3/2 - 2*l**2. Suppose z - 3*z = -6. Let f be n(z). Which is smaller: 1 or f?
f
Let n(i) = -i**2 - 3*i + 1. Let r be n(-4). Is -5/2 < r?
False
Suppose -3*z - 1 = 4*x - 13, -9 = -3*x. Suppose -s + z = -1. Suppose -3*f - 14 = -4*j, -2*f - 14 = -7*j + 2*j. Is j not equal to s?
True
Let w be (-1)/((1 + 2)/(-15)). Let l = 9 - w. Is 17/5 < l?
True
Let r(z) = -z**2 - 3*z - 2. Let w be r(-2). Suppose -n + 15 = -3*l, 2*n - n = -3*l + 3. Suppose -3*j = -w*j + n. Is -3 > j?
False
Let u be (-1)/((-3)/18*1). Let d be 40/(-50) - 78/(-10). Which is bigger: d or u?
d
Suppose -3*v + i + 4 = 2*i, 8 = -3*v + 2*i. Which is greater: v or -1?
v
Suppose 2*s - 2 = 0, 3*t - 5*t + s - 21 = 0. Is -6 >= t?
True
Let b(s) = -s**3 + 4*s**2 + 5*s + 1. Let p be b(5). Which is smaller: -6 or p?
-6
Let y = 0.097 + -0.097. Do y and 72 have the same value?
False
Let d = 0.27 - -0.03. Let w = -7 - -7.3. Let z = d - w. Which is greater: 0.02 or z?
0.02
Let a be 4/(-9)*(-9)/6. Is 2 smaller than a?
False
Let s = 0.33 - -0.07. Let f = -0.9 - -0.6. Let x = f + s. Which is smaller: x or 0.2?
x
Let x(z) = -z**2 + 17*z + 1. Let d be x(17). Which is greater: d or -1/5?
d
Let f be (7 + -8)/(2/4). Is f less than or equal to -2?
True
Let l be 0 + (-4)/(-4)*(-3)/12. Which is smaller: 5/19 or l?
l
Suppose -4*j + 3*d = -19, 5*d = -3*j + 4 - 26. Is -2/27 bigger than j?
False
Let n be 14/4*20/7. Let g = -11 + n. Suppose 3*l = 2*q + 5, -3*l + 13 = -0*l - 4*q. Is g less than l?
False
Suppose 8 = -5*s + 3. Which is greater: s or -16/7?
s
Suppose -9 = 3*n + 3*c, 2*c + 3*c + 15 = n. Suppose n = 3*u - 5*u. Suppose 5*o - 4*w - 5 = u, 9 = -4*o + w + 24. Is 5 less than o?
False
Let d be 7/1*(-6)/(-21). Let h be 78/(-12) + d/4. Is -6 at least h?
True
Let j(l) = l**2 + 3*l + 1. Let y(u) = u**2 - 7*u - 1. Let c be y(7). Let i be j(c). Let s(p) = -p**2 + 1. Let h be s(i). Which is smaller: h or 3/7?
h
Suppose 0 = n - 5. Let p be (-9)/6*20/(-6). Is p < n?
False
Suppose -8*w - 5 = -3*w. Let v = 3/7 + -23/70. Is v at least as big as w?
True
Suppose 0 = 7*z - 5*z - 4. Let a = 3 - 2. Is a greater than z?
False
Let o(f) = f**3 - 11*f**2 + 2*f - 21. Let u be o(11). Is u > 2/17?
True
Suppose 0 = 2*l - l - 12. Is 13 at least as big as l?
True
Let x = -0.8 - -2.1. Let v = x - 1.2. Which is greater: 2 or v?
2
Suppose -x - 1 = -2. Let d(s) be the third derivative of s**5/60 - 7*s**4/24 + s**3 + s**2. Let j be d(6). Which is smaller: j or x?
j
Suppose 18 - 93 = 5*w. Let p be (-6)/w - (-34)/(-160). Does p = -1?
False
Let s = -10.7 + 11. Which is smaller: s or -1/4?
-1/4
Let h(l) = -l**2 + 21. Let p be h(0). Suppose -3*s - 15 = p. Is -11 not equal to s?
True
Let s be 0 + (6 - 4 - -49). Is s at least -1?
True
Let w = 29 + -29. Let h(l) = -2*l**2 - l. Let p be h(-1). Let b be 2 - (p - 26/(-6)). Is b at most as big as w?
True
Let l(v) = 2 - 12 + 0*v + v. Let n be l(9). Let d be (-7)/21 - n/3. Is d at least as big as -3?
True
Let o(p) = 2*p + 2. Let f be o(-5). Let y = f + 2. Let k = y - -17/3. Which is greater: k or -0.4?
k
Let k = 1 - 0.9. Let j be (-4)/18*(2 - 5). Is j smaller than k?
False
Let l be (0 + 21/(-9))*(-26)/(-91). Let z be 2/96 + (-2)/6. Let y = z - -1/16. Is l <= y?
True
Let g be -30*(-3)/(3 + 6). Suppose h - g = 6*h. Let n be (-15)/(-70) + h/(-7). Is n smaller than 0?
False
Suppose 0 = -u + 2*u - 1. Let l(h) = h**2 + 5*h. Let p be l(-5). Is u >= p?
True
Let m = -17.9 + 18. Is m not equal to 2/5?
True
Let t be (6/(-9))/((-5)/807). Let q = t - 107. L