-k**3 - 4*k**2 - 3*k + 3. Let b be a(-3). Let s(n) = n + n**3 + 1 - 3*n**2 - 5 - 4*n**2. Let z be s(7). Is z < b?
False
Let o = 0 - 6. Let d = -0.06 + -3.94. Let h = o - d. Is 0 < h?
False
Suppose -d - 4 = k - 2, 0 = -4*k. Let q be d + (93/16)/3. Which is greater: 0 or q?
0
Suppose 83*i + 3 = 86*i. Is 3/14 != i?
True
Let i be 0 - (0 - 0)/(-3). Are -0.3 and i nonequal?
True
Let s be 150/(-54) + (-4)/18. Let b be (-6 - (-6 - s)) + 4. Is b less than 1/13?
False
Let f be 18/153 + (-98)/(-34). Suppose 0*x - 20 = -g - 4*x, 20 = 5*x. Is f less than or equal to g?
True
Let v be (-8)/(-1*(-10)/(-5)). Which is smaller: 2/5 or v?
2/5
Suppose -a - j + 55 = 0, 0 = 2*a - 5*j - 38 - 37. Which is bigger: 51 or a?
51
Suppose 4*v = -3*h - 5, 0 = 5*v - 5*h - 27 + 7. Let d = -20/747 + 20995/86652. Let c = d + 1/29. Which is bigger: c or v?
v
Let p = -33 + 42. Which is smaller: p or 12?
p
Let j = -12 - -14. Let h = j + -5. Is h != -8?
True
Suppose 4*x - 4 - 20 = 0. Suppose -2*a - x = a. Let z(j) = j - 1. Let v be z(-1). Is v not equal to a?
False
Let r be (-2)/4 - 105/(-14). Let k be (-14)/r + 0 + 1. Let z = k + -1. Is 1 at most as big as z?
False
Let f be (-12)/11 - (2 + -3). Are f and 0 unequal?
True
Suppose 80 = 2*o - 7*o + r, 3*o = -2*r - 35. Let q be 3/15 - (-18)/o. Is q < -9?
False
Let c(l) = -l**2 + 9. Let z be c(0). Suppose z = 3*u + 3. Let x(d) = d**3 - 3*d**2 + d + 2. Let j be x(u). Which is bigger: j or -1?
j
Let q = 6 - 3. Is q <= 1?
False
Let r = -60 + 237/4. Let s = 42 + -41.7. Which is smaller: r or s?
r
Let n(q) be the second derivative of -3*q**2 - 3*q + 0 + 1/6*q**3. Let j be n(7). Is j equal to 1/6?
False
Let x be (2/2)/((-35)/5). Which is smaller: x or 0.1?
x
Let i(t) = -31*t**2 + 1. Let l be i(-1). Let g = l - -24. Which is smaller: g or -7?
-7
Let b be 0/(-7) + 2/(-8). Suppose 0 = n + 3*n - 20. Do n and b have the same value?
False
Let p be 124/10 + (-8)/20. Let g be (-1)/4*p/9. Are -2 and g equal?
False
Let k(c) = c**3 + 5*c**2 + 3*c - 3. Let o be k(-4). Let f = 2063/11 + -187. Are o and f nonequal?
True
Let n(i) = -i + 13. Let p be n(11). Let v(u) = -u + 1 - 2 - 1. Let x be v(-4). Does x = p?
True
Let u = -7 + 10. Suppose -2*a = -a. Suppose a*c = -c - u. Which is smaller: -2 or c?
c
Let a be 6*(-3)/6 + 0. Let v(f) be the first derivative of -f**3/3 - f**2 - 1. Let n be v(a). Do -3 and n have different values?
False
Let h = 4 + -3. Let d be ((-8)/(-6))/(5/45). Suppose -2*b - 3*b + 1 = j, -4*b = -2*j - d. Is b <= h?
True
Suppose b - 17 = -2*b - f, 3*b = 3*f - 3. Suppose -2 = -4*n - z, -n = -b*n + z + 5. Let u be (-14)/6*4/(-21). Which is bigger: u or n?
n
Let y = 15 - 12. Suppose -k + 2*k - 18 = 3*m, 4 = y*k + m. Which is bigger: 2 or k?
k
Let y = 53 + -479/9. Let g = -6 + 9. Suppose -q - 3 = 0, q = -4*c - 4 - g. Which is greater: c or y?
y
Suppose 0 = -3*v - 13 + 34. Let l be 19/17 + (-7)/v. Is l < 1?
True
Let t(q) = -q**2 - 16*q - 9. Let r be t(-15). Let f = 44 + -29. Suppose r*v - v = -2*n - 35, f = -2*n - v. Is -5 greater than or equal to n?
True
Let a = 29 + 7. Let n = -21 + a. Suppose -2*j - 3*z + 11 = 0, 0 = -2*z - z + n. Which is smaller: -1 or j?
j
Suppose -7*i - 5 = -2*i. Which is greater: 2/65 or i?
2/65
Let o = 5 + -4.9. Let b = o - 0.2. Is b less than or equal to 0.3?
True
Suppose -3*j + 7*j = 0. Let k = j + 1. Is 1/6 greater than k?
False
Let b be (-3)/9*(-1 - -1). Let p be (-2)/(-4)*b/(-1). Which is bigger: p or 3/7?
3/7
Let u(x) = -3*x. Let y be u(1). Which is bigger: -21/5 or y?
y
Let y be (96/(-15))/((-12)/30). Are y and 16 equal?
True
Let h = 1.78 - -0.02. Let t = -2 + h. Which is bigger: t or 2/7?
2/7
Suppose -5*z + 2*l = 228, 2*l + l = -5*z - 233. Which is greater: -47 or z?
z
Let o = 93940 - 17003188/181. Let q = 1841/19910 + o. Let v = -5/22 + q. Which is bigger: v or 1/2?
1/2
Let w = 4 - -1. Let k = w + -11. Which is smaller: 1 or k?
k
Let k(y) = -y**2 + 3*y - 7. Let j(r) = r**2 - 2*r + 7. Let m(s) = 4*j(s) + 5*k(s). Let c be m(6). Let i = 11 - 35/3. Is i greater than c?
True
Suppose -13 = -5*t - 3*r, -2*t + t + 3*r = 1. Let q = -0.58 - -6.78. Let c = q + -6. Which is greater: c or t?
t
Suppose 36 = -h - 3*h. Let v = -3 - h. Suppose t - 20 = -3*t. Is t at most as big as v?
True
Let r = -3/116 - 2027/116. Let s = 18 + r. Which is smaller: 2 or s?
s
Let a(r) = -r**2 + 5*r. Let x(q) = q**2 - 5*q. Let h(t) = 4*a(t) + 3*x(t). Let j be h(3). Which is bigger: 7 or j?
7
Let f = 0.15 + -0.15. Let s be (19/(-4))/(2/(-8)). Suppose -4*o - 5*w = -4*w, 3*o - 4*w + s = 0. Is f less than o?
False
Suppose -12 = -y + q + 4*q, y = -q. Let x be 4/y - 0 - -4. Let g be 4/x - (-15)/(-9). Is 1/3 at most g?
False
Let p = -3 + 7. Suppose 6*d = -p*v + d + 6, -13 = 5*v - 4*d. Which is greater: v or -2/9?
-2/9
Let p(w) = -w**3 - 4*w**2 + 7*w + 6. Let t be p(-5). Let d be t/12 - 13/(-21). Let x be 0 - -2*(-1)/2. Which is bigger: x or d?
d
Suppose 5*k + 8 = 28. Suppose 0 = -k*u - 7 - 5. Let g = u + 5. Does 2/3 = g?
False
Let x be -3 + 2 + 48/42. Let c = -1 - -1. Which is smaller: c or x?
c
Let o = 33 + -32. Which is greater: o or -22?
o
Let j = -5 + 3. Let d be (3/12)/(j/(-8)). Suppose -o + 0*o = -d. Are 2 and o unequal?
True
Let a(b) = b**2 + b - 2. Let x be a(-2). Let k = 8 + -5. Do k and x have the same value?
False
Let w be ((-10)/20)/((-2)/4). Let k = 5 - 2. Is k not equal to w?
True
Let u = -9.2 - -9.4. Which is bigger: u or -26?
u
Let n(m) = 8*m**2 + 0*m + 1 - 9*m**2 - 2*m + m**3. Let i be n(1). Let s be (-4)/(-3) - i/(-3). Which is bigger: -0.4 or s?
s
Suppose -3*i + 15 = 4*r, -r - 2*i + 10 = 3*r. Which is smaller: -9/38 or r?
-9/38
Let q = 1.7 + 1.3. Which is greater: -0.1 or q?
q
Suppose -41 = -4*j - 3*a, 4*j + 5*a - 10 - 21 = 0. Let p be 0 + 1 + (-6)/j. Which is bigger: p or 1?
1
Let i(q) = 3*q - 5. Let u be i(-5). Let k = u + 39/2. Suppose 0*n - 5*n = 0. Is k > n?
False
Let z = 0.07 - 1.07. Let v = -1 + z. Is v not equal to 2/5?
True
Let g(s) = -3*s**3 - 11*s**2 + 5*s - 1. Let q be g(-4). Are q and -6 nonequal?
True
Suppose -2*k = -6 + 16. Which is smaller: 6 or k?
k
Let i be -2 + 4 + 2/(-1). Which is smaller: -2/79 or i?
-2/79
Let p = 0.07 + -13.07. Let m = 12.9 + p. Which is greater: m or 8?
8
Let g = 111 - 111. Which is smaller: g or 2?
g
Let f be (-12)/1*16/48. Is -4 greater than f?
False
Let v = 107 + -102. Is v equal to 4?
False
Let y = 87/5 + -594/35. Which is bigger: y or 0?
y
Let a(w) = w**2 + 6*w + 4. Let x be a(-5). Suppose -2*n - 2 + 0 = 0. Let o be 1*(n + (-6)/(-8)). Which is greater: o or x?
o
Let c = -1417/8493 - -4/447. Are c and 0 non-equal?
True
Suppose -4*t - 3*z + 2 = -9, -3*t - 3*z + 6 = 0. Suppose -2*p + j = 2, 0 = t*j - 2 - 8. Is -3/13 at least p?
False
Suppose 9*u - 10*u + 2 = 0. Are 6 and u nonequal?
True
Let j = -2/39837 - 6789361/39837. Let k = j - -171. Let b(d) = -d**2 - 3*d + 1. Let c be b(-3). Which is greater: c or k?
c
Let k be 12/54 + 4/(-18). Which is bigger: -4/5 or k?
k
Let z = 9388424/56315 + 13/8045. Let s = z + -167. Is s bigger than -0.2?
False
Let r be (-1)/(-1 + -2*1). Suppose 0 = -y - 3*n + 9, -n + 3 = -2*y - 2*y. Suppose y = -0*s + 3*s. Do s and r have different values?
True
Let z(b) = -b**3 + 3*b**2 - 4*b + 6. Let c be z(3). Which is smaller: -1 or c?
c
Let b be (-8)/(-28) + (-131)/(-7). Does b = 19?
True
Suppose -n = 4*n + i - 14, -3*i + 6 = 3*n. Suppose 2 + 1 = -n*q. Suppose 0*z - 3 = 3*z. Is z at most q?
True
Let r = 10.09 + -10. Let d = r - 0.19. Let o = 3 - 3.01. Does d = o?
False
Let n(o) = o**3 + 3*o**2 - 4*o - 1. Let a be n(-4). Let m be (-2)/(-8) + 217/28. Let p = m - 9. Is a at most p?
True
Let t(o) = o**3 + 17*o**2 - 24*o - 57. Let w be t(-18). Is w greater than 51?
False
Let s = -30 - -26. Let d = 0 - 0. Let w be (-2 + 2 - 1)*d. Which is bigger: s or w?
w
Let f = 0 - -0.2. Let q(t) = -t**2 - 5*t + 2. Let h be q(-5). Which is bigger: h or f?
h
Let b(s) = -11*s**3 - 2*s**2 - 2*s + 3. Let j be b(-2). Are 87 and j unequal?
False
Let z = -163.4 - -164. Which is smaller: -1 or z?
-1
Suppose 4*h + 11 = -5*g, -2*h + 2*g - 38 = -2*g. Is -8 greater than h?
True
Let l(g) be the third derivative of -13*g**4/24 + g**2. Let m be l(-1). Is 12 greater than or equal to m?
False
Let j = 0.02 + 5.98. Let m = j - 9. Let p be 2 + ((-30)/4)/3. Which is greater: p or m?
p
Let i = -74/127 - -3719/96