*3 + 3*x**2 - 3*x + 2. Let b be v(-4). Are z and b nonequal?
True
Let n = 23 - 5. Let j = -18 + n. Does -3 = j?
False
Suppose -7 + 1 = -2*g. Do 2 and g have the same value?
False
Suppose 7*k - 2*k - 5 = 0. Which is smaller: k or 2?
k
Let f = -3 + 4. Let u(x) = x - 1. Let k be u(3). Let w(b) = 2*b - 3. Let o be w(k). Is o greater than f?
False
Let u = 3 + -3.1. Let f = 71 - 70. Which is smaller: u or f?
u
Let b = 57 - 169/3. Let a be (-4)/3*7/8. Let x = a + b. Are -2 and x equal?
False
Let l be (-52)/14 - (-2)/(-7). Let p(m) = 2*m**2 + 7*m. Let r be p(-3). Which is smaller: l or r?
l
Let u = -199 - -4174/21. Is u bigger than 1?
False
Let g = 34 + -36. Let b be (2 + 0)/2*-2. Let n be b/(-8)*(0 + -1). Which is smaller: n or g?
g
Suppose 2*t + 2*r + 12 = 0, -2*t + 5*t - 17 = 4*r. Let d be 0 + 1*(26 + -2). Let n = -145/6 + d. Is n equal to t?
False
Suppose 5*w - 4*w - c + 15 = 0, -4*w = c + 35. Does -10 = w?
True
Let w(s) = -s - 6. Let k be w(-8). Let a be (10/4 + -3)*k. Which is smaller: -2 or a?
-2
Suppose -9 - 3 = -t. Which is greater: 11 or t?
t
Suppose 0 = 2*l - 5*l + 3. Is -3/10 < l?
True
Suppose 3*j + v = -j + 17, -5*v - 25 = -2*j. Suppose j*d + 5 = 5*i, i = -2*d + d - 3. Let k be 3*-1*(-4)/(-6). Is k < d?
False
Suppose s + 5*c = 0, 3*c + c = 0. Suppose -2*h - j = h - 2, 0 = -h - 3*j + 14. Which is greater: s or h?
s
Suppose -6 = -j - 2*j. Suppose j*w - 4*w + 2 = 0. Is 3/5 > w?
False
Suppose -4*z = -7 - 49. Is 14 <= z?
True
Let p be 0*(-1)/2*2. Suppose 2*j + 2*j + 48 = p. Let n be (-32)/(-30) + 8/j. Is -1 >= n?
False
Let z = -0.22 + 0.22. Which is bigger: z or -1?
z
Let r = -1071/5 + 214. Let g = 0 + 1. Let u = g + 0. Is u <= r?
False
Suppose 5*d + 52 - 2 = 0. Let r be (0 - -1)/(d/2). Does 5 = r?
False
Let f(x) = -2*x**2 - 7*x + 3. Let s be f(-4). Are s and 4/15 equal?
False
Let l(m) = -m**3 - 6*m**2 + 6*m - 10. Let v be -2*1*(-3)/2. Suppose 0 = 3*h - k + v*k + 19, 4*k - 4 = 0. Let p be l(h). Is p < -3?
False
Let o = -9 + 3. Which is smaller: o or -7?
-7
Let m(g) = -2*g**3 - 8*g**2 + 10*g - 3. Let q(i) = i**3 + 8*i**2 - 9*i + 2. Let l(n) = 2*m(n) + 3*q(n). Let x be l(7). Is 0 bigger than x?
False
Let i be 3 + -6 + 4 + 1. Are i and 7 nonequal?
True
Let f(p) = 2*p - 5. Let w be f(8). Which is smaller: 10 or w?
10
Let o be 8/6*(-9)/2. Let f be 3/2*(-20)/o. Let x = f + -4. Are x and 2 equal?
False
Let q be -1*(-5 - (4 - 7)). Suppose -8 = -4*w - 0. Are w and q non-equal?
False
Suppose 5*o + 3*t + 19 = 0, -2*o + 5*t + 6 = -5. Let s = -8 - o. Is s at most -6?
True
Let n = 13 - 12. Is -2 greater than or equal to n?
False
Let t = -1.79 - -1.69. Let g = -0.2 + -0.2. Which is smaller: t or g?
g
Suppose 7*w - 4 = 3*w. Suppose -v = v. Let i(n) = -n**2 - n - 1. Let a be i(v). Are w and a nonequal?
True
Let q = 2 + -1.8. Let h = 0 + q. Let a be 1*3/(-108) - 3/(-12). Which is smaller: h or a?
h
Let p be ((-6)/18)/((-2)/(-21)) - -3. Is 12 less than or equal to p?
False
Suppose 0 = 2*g - 3*d - 9, -2*d - 15 = 2*g + 3*d. Suppose 2 = -o - 3. Let q = o - -3. Is q > g?
False
Suppose -8*w - 8 = -32. Let a(b) be the third derivative of -b**6/120 + b**5/10 + 7*b**4/24 + b**3/3 + b**2. Let g be a(7). Is w smaller than g?
False
Let m = -33 + 32. Which is greater: -2/3 or m?
-2/3
Suppose -x = -5*p + 8, -2*p + 8 = -2*x - 0*x. Let u = p - -2. Let q = 0.3 + -0.2. Do q and u have the same value?
False
Let m be 3 + -2 + 63/(-45). Which is smaller: -0.05 or m?
m
Let r = -25 - -23. Let z = r - -3.5. Is z greater than 2/5?
True
Let x = -28 - -19. Let h = -4 - x. Suppose -2*q + 4*r = -6, -q + r + 2 = -0*q. Which is smaller: h or q?
q
Let q(w) = w**2 - 10*w + 11. Let u = 8 + 1. Let a be q(u). Suppose -a*l - 1 = -3, -8 = 5*v - 3*l. Is 1/4 less than or equal to v?
False
Let c = -68 + 70. Which is greater: c or 9?
9
Let r be 12/(-45) + (-6)/(-9). Is r less than or equal to -14?
False
Let w be ((-45)/18)/((-2)/(-12)). Let b be 8/10 + 2/w. Is 2 equal to b?
False
Let f(k) = -k**2 + 7*k - 1. Let r be f(6). Let m be 54/(-40) - r/20. Is m != -2?
True
Let z(u) = -u**2 - u + 4. Let v be z(0). Let i = 0 - 0.1. Which is smaller: i or v?
i
Let o be (4/6)/(20/15). Let q(d) = -2*d**2 + 6*d - 6. Let s be q(4). Let u be (s/(-8) - 2)*1. Are u and o nonequal?
True
Suppose 4*p - 24 = 4. Suppose h = p - 2. Suppose -2*b = -6, -h*k + 2*b - 6 = -2*k. Is k < 2/7?
True
Let m = -53 - -37. Let s = m - -20. Is 4 at least as big as s?
True
Let y(b) = 4*b**2 + 3*b - 1. Let o be y(2). Suppose -g - o = 2*g. Let k = g - -12. Which is bigger: k or 4?
k
Let b be ((-2)/((-8)/(-12)))/(-6). Let a = 55 - 221/4. Which is bigger: b or a?
b
Let d be (-6)/15 + (-84)/15. Let a(g) = g**2 + 3*g - 8. Let h be a(d). Let l = h + -59/6. Is -1 greater than or equal to l?
False
Let l = -2 + 3. Let y be -2 - l/((-2)/12). Let g(w) = -w + 13. Let m be g(9). Is m >= y?
True
Suppose -480 = -l + 5*l. Let n be ((-4)/10)/(4/l). Suppose -r = 2*r - n. Do 4 and r have different values?
False
Let t = -4 + 2. Let p be ((-32)/15 - t) + 0. Let q = -2 + 3. Are q and p equal?
False
Let b be ((2 + (-2)/1)/1)/2. Is b < 3/32?
True
Let n(u) = -6*u + 1. Let p be n(-2). Suppose -p = -5*r - 3. Suppose -5 = 3*c + r*c. Is c at most as big as 0?
True
Let q(r) = -3*r. Let b(l) = -8*l + 3. Let u(c) = -1. Let i(y) = b(y) + 4*u(y). Let z(w) = 4*i(w) - 11*q(w). Let v be z(3). Is v bigger than -1?
False
Let b = -10/11 + 68/99. Let p be 5 - 3/(3/4). Is p greater than b?
True
Suppose 0*j - j - 4 = 0. Let k be (-5)/j - 2/8. Suppose -5*t = -4*t - 1. Is k greater than t?
False
Let x be (-84)/48*(1*8)/(-2). Is 5 <= x?
True
Let w be ((-2)/4)/(3/18). Let u = w + 4. Which is smaller: u or 2/13?
2/13
Suppose -2*c - 7*n = -2*n + 97, -4*c - 203 = n. Which is bigger: c or -52?
c
Let h be 4/10 + 4/(-5). Let c = -18.9 + 19. Does c = h?
False
Let d be (1/3)/((-5)/(-45)). Suppose d = 2*w - 1. Is 1 less than w?
True
Let z = 17 - 16.7. Which is greater: z or 2/13?
z
Let v be -3 + ((-2056)/3066)/1. Let r = -2/511 - v. Which is greater: 3 or r?
r
Suppose -4*t = -11*t. Which is greater: 1/8 or t?
1/8
Let h = 0.7 + -1. Let u = 0.8 + 0.2. Let n = u + -0.8. Which is greater: n or h?
n
Suppose -3*x - 2*j = 31, 7 = x - 0*x + 5*j. Which is greater: 2 or x?
2
Let k = -60 + 53. Which is smaller: -3 or k?
k
Let s be 15/20 + (-25)/44. Are -5 and s equal?
False
Let h(z) = z - 1. Let y be h(2). Which is smaller: 0 or y?
0
Let b = -18 + 17. Let c be 0/(0 - (2 + 0)). Which is greater: c or b?
c
Let t = -0.01 + 2.01. Let q = 5 - t. Which is smaller: q or -1/3?
-1/3
Let q be ((-2)/(-4))/((-4)/152). Let o = 97/5 + q. Is 7 bigger than o?
True
Suppose -3*t + 15 = 3*h, 0 = -3*t - 2*t + 25. Which is smaller: -4 or h?
-4
Let v = 24 - 97/4. Let f = -5 - 0. Which is smaller: v or f?
f
Let d = 2.9 - 3. Let s = 14 - 17. Which is bigger: s or d?
d
Let h(k) be the second derivative of -3*k**5/20 + k. Let p be h(-1). Let c = -0.36 + 0.16. Which is bigger: p or c?
p
Let h(g) = g**2 - 3*g - 4. Let v = -7 + 11. Let w be h(v). Suppose w*k = k. Which is smaller: 1 or k?
k
Let b = 4.03 + -0.03. Let c = 5 - b. Let h = c + -1. Which is bigger: 0.2 or h?
0.2
Suppose -4 = 16*p - 17*p. Which is smaller: p or 3?
3
Let r = 62/315 - -4/45. Let d = 22 - 22. Is r smaller than d?
False
Let b = -169/2 - -839/10. Is b at most as big as 0.5?
True
Let j = 3/37 - -28/111. Let y = -4 - -3. Which is bigger: j or y?
j
Let f(i) = -i**2 + i - 5. Let b be f(3). Which is smaller: b or -10?
b
Let a = 3 - 0. Let d = a - 1. Suppose r + 4 = -3*j, -j - j = -d*r. Is 2/5 at most as big as r?
False
Let c = 1/37 + -77/111. Do 0.2 and c have the same value?
False
Let k be (-7)/(-1) + 975/(-135). Let i(r) = r + 4. Let m be i(-6). Let b be (-1)/(2/(1*m)). Which is smaller: b or k?
k
Suppose -5*c = 2*u + 6, 0*c = -5*c + 3*u + 9. Let g be -228*(349/352 - 1). Let f = g - 20/11. Is c greater than f?
False
Let k(b) = b**2. Let p(w) = -5*w**2 + 11*w - 7. Let t(x) = 4*k(x) + p(x). Let n be t(9). Which is smaller: n or 10?
10
Let f be 30/6*(-2)/(-5). Suppose s + 2*s + 2 = f*g, 5*s + 2 = 4*g. Is 0 not equal to s?
True
Let y = 7/8 + -161/8. Let i = y - -19. Let n = -2.2 - -2. Is i less than n?
True
Let n = -122260/2583 - 2/2583. Let h = 1145/24 + n. Suppose -3 = -3*g - 0. Is h greater than or equal to g?
False
Let k = 0.5 + -0.3. Let m = -42.9 - -41. Let f = m