 5*x - 2*j = 1806, -5*j = -x + 161 + 214. Let v = x - 4678/13. Suppose 2*s = 4*k + 2, -7*k - 3*s + 5 = -11*k. Is v >= k?
False
Suppose -2*n = 2*n - 8. Let h = 210 - 206. Let i be -1 - (-9)/h - n. Which is smaller: -0.1 or i?
i
Let y = 13 + -14. Suppose s - 3*v = -1 - 4, -4*s + 12 = 4*v. Is y at most as big as s?
True
Let a = 0.063 + -0.063. Which is smaller: a or -19?
-19
Suppose 3*i + o + 4 = 0, -28 + 0 = i - 5*o. Suppose -4*t + 4*a + 24 = 0, -3*a - 9 = -t - a. Suppose 2 + 13 = -t*c. Which is smaller: i or c?
c
Let y(t) = -9*t + 7. Let z(j) = -j. Let w(n) = y(n) - 6*z(n). Suppose -2*f - 1 = -7. Let d be w(f). Are d and 0.5 non-equal?
True
Let i be 4/(-6) - (-21)/(-63). Which is bigger: i or 2/1279?
2/1279
Let c(y) = -y**3 + 13*y**2 + 30*y - 4. Let g be c(15). Let s be 0 + g + 4 + 1. Are s and 12/5 unequal?
True
Let q(c) = -10*c + 2. Suppose 4*n = -0*n - 4. Let j be q(n). Let y = j - 12. Which is smaller: -3 or y?
-3
Let q be (650/(-39))/((-1)/(-6)). Let o be (q/63)/2 - (-12)/54. Is 0 bigger than o?
True
Let l(t) = -34*t**2 - 2*t + 9. Let d be l(4). Let x = -3265/6 - d. Is x at most as big as 0?
True
Let a = 57836379089/9159647268 + -12/9196433. Let u = a + -33/83. Let j = 13/4 - u. Is -2 < j?
False
Suppose -3*n - 6 = -39. Suppose -4*k + 4*t - 496 = 68, 5*t + 463 = -3*k. Let z = 154 + k. Which is smaller: z or n?
z
Let y(m) = 6*m**3 + 45*m**2 + 9*m + 3. Let k be y(-6). Do 274 and k have different values?
True
Let i = 5 - 4. Suppose r - 6*r - 2*u = -49, -2*u + 27 = 3*r. Let y = -11 + r. Is i bigger than y?
True
Let d be 5/((-15)/(-9)) + 0. Let p be d + 0 + 2093/(-689). Which is smaller: p or -1?
-1
Let r be (-1146)/9 - ((-38)/6 + 5). Is r != -125?
True
Suppose 182*v - 178*v = -4. Is -1/1171 smaller than v?
False
Let n(l) = -l**3 - 9*l**2 - 9*l + 10. Let v be n(-8). Let j = v - 16. Suppose 2*d + 3*x - 10 = 0, -j*d - 5*x + 5 = -13. Are d and -4/21 nonequal?
True
Let z = -175.2 - -175. Which is bigger: z or -45/8?
z
Let i = 0.3 - 0.16. Let d = i - 0.44. Is 5 smaller than d?
False
Let s = 1 + -1.026. Let b = 0.001 + s. Which is smaller: b or -1?
-1
Let h(u) = u**3 + 6*u**2. Let a be h(-6). Let c = 113/4932 - -2/411. Is c < a?
False
Suppose 15*h - 10*h = -20, -p + 28 = -h. Which is bigger: 32 or p?
32
Let s be 3*(-8)/(-6)*(27 - 25). Suppose -j + s = -5*j. Let r(i) = i**3 + i**2 - i + 2. Let t be r(-2). Which is smaller: t or j?
j
Let y(d) be the second derivative of d**5/20 - 7*d**4/12 - d**2 + 2*d. Let z be y(7). Which is smaller: z or -3/2?
z
Let r(s) = s**3 - 16*s**2 + 16*s - 3. Let k be r(15). Suppose -3*d + k = o, 5*o - 2*d = -3*d + 4. Which is smaller: 6/5 or o?
o
Suppose -20 = 2*q - 3*w - 0*w, q + 32 = -4*w. Let s = q - -15. Is -1/54 greater than s?
True
Suppose 122 = -4*c - g, -2*c = 3*c + 3*g + 149. Let k be (-214)/7 - 324/(-567). Which is smaller: k or c?
c
Let k be 1 + -2 + 13/15. Let z = -51 - -56. Suppose 2*c - 23 = -2*h - 3*c, -h - 26 = -z*c. Which is greater: h or k?
k
Let j be 12/((-6)/(-2)) + -3. Let h be 2*j*(-8)/1. Let u be (-2)/h*2*-3. Is -2 < u?
True
Let x = -65.191 + 65.1. Which is greater: -1 or x?
x
Let i be (-264)/(-90) + 5/25. Is i less than or equal to 2?
False
Let t = -139 - -139. Which is greater: -12/73 or t?
t
Let o be (-2)/((-2)/(-3) - (-5010)/18). Let y = o - 271/1116. Let f = 0.9 - 0.6. Which is bigger: f or y?
f
Let u = 23327/3 - 7783. Let t(y) = -6*y**2 - 1. Let l be t(1). Are u and l equal?
False
Let q = -104/35 + 12/5. Suppose 0 = -5*y - 4 - 6. Let h be (-3)/(-9) - y/(-6). Do h and q have different values?
True
Let b be -3 - 0 - 15/(-1). Let n(h) be the first derivative of h**3/3 - 4*h**2 + 19*h + 13. Let c be n(7). Is b > c?
False
Let b = 33 + -15. Let o be 14/8 + 3/12. Suppose -b = v + o*v. Which is smaller: -7 or v?
-7
Suppose -5*j - 52 = -j. Let n be -15*1/1 - -1. Does n = j?
False
Let h = 0.291 + -0.361. Is 22 greater than h?
True
Suppose -b + 3*y = -23 - 3, -y + 22 = b. Let s be 1*11*(3 + -1). Which is smaller: b or s?
s
Let k = -10 - -7. Suppose 10 + 27 + 2 = 13*d. Do k and d have different values?
True
Suppose -2*o - 12 = -3*d - o, -3*d + 6 = -3*o. Let j = -18 + 23. Suppose -j*n - 1 = -6. Is n < d?
True
Let t(x) = -x**3 + 13*x**2 + 10*x - 129. Let j be t(13). Which is smaller: -1/264 or j?
-1/264
Let m = -105658263283/8100 - -13044230. Let p = -2/405 - m. Which is smaller: p or 1?
p
Let y(k) = k**3 + 8*k**2 - 3*k - 7. Suppose 0 = -2*a - 0 - 16. Let i be y(a). Let r = i + -17. Are 2 and r nonequal?
True
Let o = 33 - 2. Let y = o - 33. Do y and -13 have the same value?
False
Let h(y) = -y**3 + 7*y**2 - y - 2. Let o be h(7). Let w be 3/(-12) - (-97)/4. Suppose 3*t - 11 = 3*p - 47, 4*t + 4*p + w = 0. Is o smaller than t?
False
Let k = 21 - 18.85. Let i = 0.05 - k. Let l = i + 1.1. Do -1 and l have the same value?
True
Let u(s) = 2*s - 15. Let b be u(14). Let j = 17 - b. Suppose -2*g + j + 6 = 0, -4*z + 4*g = -12. Which is greater: z or 7?
z
Let n(k) = 5*k + 9. Let v(y) = 5*y + 9. Let m(x) = 7*n(x) - 6*v(x). Let q be m(-4). Let l(s) = -s**2 - 11*s + 1. Let d be l(q). Which is smaller: -7 or d?
-7
Let j be (1*(0 - 0))/(-3). Suppose -20 = -4*r, j*m - r = -m - 2. Let p(n) = -n**2 + 5*n + 8. Let s be p(6). Which is greater: m or s?
m
Let v be (-1)/(-4) + (-108)/(-16). Suppose -3*p + 2*n + v = -0*n, -4*p = -3*n - 11. Let j be p/4 + 5/(-4). Does j = -3?
False
Let z = 8 + -7.88. Let q = -0.02 + z. Let c = 1 - 0.8. Which is bigger: q or c?
c
Let s = -7.8 - -67.8. Let g = -60.011 + s. Which is greater: g or 1?
1
Let u be 55 - 4/6*(-45)/(-10). Let w = u + -53. Let j be (2/(-10))/((-34)/5). Which is smaller: j or w?
w
Suppose -5*m = -4*u + 16 - 108, -5*u - 132 = -2*m. Is u at least as big as -23?
False
Let q(o) = o**3 - 4*o**2 - 7*o + 9. Let t be q(5). Let m = t - 0. Which is greater: -4/53 or m?
-4/53
Let x = -711 - -718. Is 29 at most as big as x?
False
Let x = -24567 - -10703. Let o = x - -160661/11. Let g = -741 + o. Is g at most as big as 3?
True
Let z = -69 + 68.82. Let j = 0.5 - 0.62. Let a = z + j. Which is greater: a or -3?
a
Suppose 2 = 2*j - 6. Suppose -3*t = -5*z + 49, -t + 44 = -4*t + j*z. Let w = 1 - t. Is w at least 10?
False
Suppose -3*j - 4 = 5*q - 5, 0 = j - q - 3. Suppose -j*c - 1 = 11. Let p be -1 + (-215)/36 - 8/(-36). Which is smaller: p or c?
p
Let o be (6/4)/(-2*5/2). Let z = o - 1/5. Is z not equal to -1?
True
Let t(q) = q**2 + 57*q + 703. Let v be t(-18). Let b = 1217/2750 - -3/250. Which is smaller: b or v?
b
Let d be (1 + (-27)/26)*20. Let o = 1635 + -1635.1. Do o and d have different values?
True
Let z(h) = h**3 - 4*h**2 + 3*h + 4. Let g be z(3). Let x be (-3)/(g - 7)*-5. Which is greater: -8 or x?
x
Let b = -18 + 33. Let q = -135 - -149. Which is smaller: b or q?
q
Let k = -8.029 - -8.1. Let j = k + 4.029. Let m = 4 - j. Which is smaller: m or -2/9?
-2/9
Let u = -68 - -74. Let n(b) = -b**2 + 7*b - 2. Let p be n(6). Suppose 1 + u = j + 2*d, -4*d + 8 = -p*j. Which is greater: -8 or j?
j
Let h be (-3511)/(-1533) - (6 - 4). Let f = -1/219 + h. Is 0 greater than f?
False
Let q be -1 + 5 + (-117 - 4). Let n(o) = -o**2 - 3*o - 1. Let j be n(0). Is q at most as big as j?
True
Let o = 0.4 - 0.3. Suppose 1 = p + 22. Let j be (-4)/p*(-3)/(-2). Which is greater: o or j?
j
Suppose -7*h + 8 = -3*h. Let i be 96/960 - ((-38)/20 - 0). Is h at most i?
True
Let y be (-36)/21*(-6)/(-8). Is y smaller than -2?
False
Suppose 41*a = 43*a + 1012. Which is smaller: -508 or a?
-508
Suppose v + 8 = 3*v. Suppose 5 = -v*o - o. Let d(w) = -w**3 - 6*w**2 + 8*w + 7. Let q be d(-7). Which is greater: q or o?
q
Let u = -5.1 - -1.1. Let l be 462/(-18) - 3/9. Let x = 105/4 + l. Are u and x nonequal?
True
Let a = 3.14 - 3.44. Do a and 23 have different values?
True
Suppose -5*a = -d - 20, 11 = 2*a - 0*d - d. Let u(l) = l**3 - 24*l**2 + 24*l - 18. Let g be u(23). Suppose -b + g*y + 33 = a*b, -4*b + 13 = -y. Is 2 < b?
False
Let a be 185/15 + 2/(-6). Let x = 16 - a. Let y be 64/40*10/x. Which is greater: 10/3 or y?
y
Let w = 59 + -32. Suppose 0 = -5*a + 2*a - w. Let k be 12/a*(-6)/(-4). Which is smaller: -3/4 or k?
k
Let m be (-10)/(-8) - 6/((-336)/665). Is 13 greater than m?
False
Suppose 3*h - 2*h = 2. Suppose -h*j = -5*j - 6. Suppose -5*s - 7*f + 29 = 6, 21 = -s + 5*f. Is s at least as big as j?
True
Let x(d) be the second