i = 3*n - 8. Let o = 5 + -3. Are p and o nonequal?
True
Suppose -6*t + 4*t + 3 = -5*s, 4*t = -5*s + 21. Is -1/829 equal to s?
False
Suppose -10*k + n = -6*k - 8, 5*n + 25 = 5*k. Is k < -5/79?
False
Let o(q) = -q**2 - 17*q - 21. Let s be o(-11). Suppose -s = -4*l + l. Is 11 < l?
True
Let s = -240817/7 - -34515. Let f = 113 - s. Let a(j) = -j**3 + 2*j**2 + 7*j + 4. Let i be a(4). Which is smaller: f or i?
i
Let a = 165 - 170. Which is smaller: a or 11?
a
Let y = 6.12 - 6. Let b = 12.88 + y. Let q = 1534 + -1535. Which is smaller: q or b?
q
Let z = -1/7 + -4/21. Let h be ((-20)/(-5))/(2/(-9)). Let l = 55/3 + h. Are z and l equal?
False
Suppose 14*g + 15051 + 13271 = 0. Let o = g - -58673/29. Is o smaller than 0?
False
Suppose -3*p - 3 = 0, h - 127 = 2*p + 86. Let w be h/44 + (-5)/20. Which is smaller: 4 or w?
4
Let d be 2/6*6/(-4). Let z = 0.08826 - -0.00174. Which is smaller: z or d?
d
Let y = 0.45 + -4.65. Let x = -7.2 - y. Let k = -3 + 4. Is k greater than or equal to x?
True
Suppose -8*c - 10 = -3*c. Let a be c/(-10) + (4515/925 - 5). Which is smaller: 1 or a?
a
Let r = 0.0362 + 3.3638. Which is smaller: r or 0.2?
0.2
Let k be (-1926)/1914 - (-3 - -4)*-1. Are 0 and k unequal?
True
Let n(s) = -7*s + 1. Let w be n(-1). Let c be w/32 - 10/8. Let q = 51 + -53. Which is smaller: q or c?
q
Let z be (-4)/6 + 14/(-6). Let x be 42/(-20) - (-341)/3410. Which is smaller: x or z?
z
Suppose -3*z + 5 = 2*z. Let u be -6*(-5)/1665*-3. Is z greater than u?
True
Let y(t) = -t**3 - 9*t**2 - 10*t - 17. Let p be y(-8). Let z be 0 + (1*p)/((-4)/(-24)). Is -5 at most as big as z?
False
Let w = -9 + -9. Let m = w - -22. Suppose m*a + 26 = -k, 3*k + 7*a + 51 = 4*a. Are k and -15 equal?
False
Let s = 901/410760 + 2/3423. Do s and 1 have the same value?
False
Let o(r) = -r**2 - r + 5. Let u be o(-3). Let q be (7 + -8)*u/(-2). Suppose -1 = z, z + 0*z + 1 = -5*d. Is q less than or equal to d?
True
Suppose 0 = 2*j + 25 + 43 - 96. Suppose 3*u - 2*t - 45 = 0, 2*u + 3*t - 21 - 9 = 0. Let q be u/1 + (-3 - -1). Is j at least as big as q?
True
Suppose 0 = -k + 5 - 7. Let v be (9 + -8)*k/(-3). Is v < 4/9?
False
Let r = -65 + 104. Let b be (-8)/36*r*-3. Suppose -a - b = -8. Is -18 less than a?
False
Let v(g) = g**3 - 20*g**2 + 37*g - 17. Let r be v(18). Is -10/161 >= r?
False
Let m be ((-3)/(174/(-13368436)))/2018520. Let w = m - 1507/18067. Let a = w + 2/405. Is a smaller than -1?
False
Let d = 211/210 + -15/14. Which is bigger: d or 0?
0
Let j(h) = -h**3 - 28*h**2 + 92*h - 33. Let l be j(-31). Suppose -2*o + 4 + 2 = 0. Let i = 2 - o. Is i not equal to l?
True
Let c(m) = m + 5. Let p be c(3). Let n(t) = t**2 + 5*t + 1. Let x be n(-2). Let h = x + p. Which is bigger: h or -1/5?
h
Suppose 28 = j - 8*j. Is j bigger than -14?
True
Let w = 84 + -77. Suppose 21 = 4*s + 3*u, -5*s - 5*u = -10*u. Is w at least s?
True
Let m = -6 + 6. Let r = m + 1.2. Let b = r + -0.7. Is -0.2 >= b?
False
Let p = -1179 - -755. Is p greater than -424?
False
Let c = -1528 + 2387. Which is smaller: 0 or c?
0
Let x be 2/(-8)*(-126)/(-1617). Which is greater: x or 1?
1
Let r = 0.02 + -0.179. Let p = 0.059 + r. Let a(u) = -u**2 + 2. Let k be a(-2). Which is smaller: p or k?
k
Suppose -o = 4*d + 19, 6*d = 2*o + 2*d + 86. Let p = 1229 + -1264. Is p at most o?
True
Let c = 2042.824 + -2031. Let a = -0.074 + c. Let j = 0.25 + a. Which is smaller: j or 1/3?
1/3
Let s = 0.047 + -0.097. Let f = 0.4 - 0.37. Which is smaller: f or s?
s
Let k = 2.266 - 0.266. Which is bigger: 6.6 or k?
6.6
Let y(d) = d**2 + 4*d - 3. Let m be y(-4). Let r be (m/(12/(-4)))/(-1 - 0). Which is bigger: r or -6/13?
-6/13
Let h = 79 + -24. Let y = 55.1 - h. Let b = 0.19 - -0.01. Is y less than b?
True
Let h(c) = -c**3 + 33*c**2 - 15*c + 33. Let a be h(33). Are -462 and a equal?
True
Suppose -2*u - 5*f = -7*f - 4, 4*u - 5*f - 9 = 0. Is -1/146 smaller than u?
True
Let f = -11 + 10.982. Let z = -0.018 - f. Is 2/7 < z?
False
Let d(n) = -n**2 + n. Let r be d(-1). Let g = -219 + 216. Which is bigger: g or r?
r
Let h = 864 + -863. Let v = 73603/46 + -1600. Which is smaller: h or v?
v
Let l be 15/12 - 210/80. Is -1/2 > l?
True
Let d = 0.13 - 0.306. Which is bigger: d or 0?
0
Let p be (102/9)/(42/63). Which is smaller: p or 21?
p
Suppose -g - 4 = -2*k, -3*g + k = -3*k + 22. Let q = g + 16. Let x = q + 0. Which is smaller: -3 or x?
-3
Let j = -266 - -292. Suppose 11*v - 11 = 275. Do v and j have different values?
False
Let g(j) = -3*j - 1. Suppose -w - 5*a + a = -18, -5 = -a. Let z be g(w). Suppose -11 = z*o - 3*o + c, -2*o - 5*c = -9. Is o bigger than 1?
False
Suppose -4*s - 12 = 4*j, -2*s + 2*j + 6 = -0*s. Suppose s*d = -4*d. Let f = -600/13 + 46. Is f smaller than d?
True
Let l = 70.53 - 0.53. Which is smaller: -0.2 or l?
-0.2
Let b be 7 - 6*((2 - 9) + 8). Do 3/325 and b have the same value?
False
Let a(m) = -m**2 + 12*m + 12. Let c(f) = -f**3 + 9*f**2 - 6*f - 3. Let d be c(8). Let p be a(d). Which is greater: p or 1/79?
1/79
Let g = 133/3 - 937/21. Which is bigger: -2.8 or g?
g
Let k = 0.9 - -0.1. Let u = 24 - 23. Suppose -5*m + u = 4*j, -2*m - 5*j = -3*j. Is m > k?
False
Let r be 1/1*(-171)/3. Let k = 104 + r. Suppose k = -5*l - 4*g, 0 = -2*l - 2*g + g - 17. Is -5 at least as big as l?
True
Suppose -5*b - 44 = 31. Is b equal to -21?
False
Let b(t) be the second derivative of t**5/20 + 5*t**4/12 + t**3/2 + 5*t**2 - 17*t. Let y be b(-5). Is y not equal to -6?
True
Suppose -27*f - 38 = -3*x - 29*f, -f = x - 11. Is 20 bigger than x?
True
Let t = 3.1428 - 0.1428. Is t <= -196?
False
Let v be ((-47280741)/(-660))/(1/(-18)). Let h = 1289454 + v. Let a = h + 104/5. Which is bigger: 0 or a?
a
Let x(k) = 6*k + k**3 + 7*k**2 + 8*k - 22*k + 2. Let z be x(-8). Which is greater: -5 or z?
z
Let d = 955/68 + -51/4. Which is smaller: 3 or d?
d
Let w = -6/5285 + 5776523/15855. Which is smaller: 365 or w?
w
Suppose 5*s - 48 = 47. Let j = -21 + s. Which is bigger: j or 7?
7
Let c be (2/(-5))/((-1)/5). Suppose -c*v - 3*v = 0. Let x = 3.53 + -3.54. Which is smaller: v or x?
x
Suppose a - 3 = 0, 7*a - 8*a = 5*r + 37. Which is smaller: -64/7 or r?
-64/7
Let f be 11/(-2 + 2 + -1). Is -2/7 < f?
False
Let s = 1398 - 1516. Is s smaller than -117?
True
Suppose -9*x = 2*x - 77. Let t be (x/105)/(26/(-6)). Which is bigger: 0 or t?
0
Let o be -1*1/(-5) + 714/5. Let z = 151 - o. Which is greater: 11 or z?
11
Suppose -5*d + 6 - 1 = 4*x, -5*x - 20 = d. Let f = -518 + 529. Which is greater: d or f?
f
Suppose 6*a + 138 = 4*a - 4*d, -a - 3*d - 65 = 0. Let h = -77 - a. Let r be ((-72)/26)/(-3) - 1. Which is bigger: h or r?
h
Let t = 53 - 18. Let c = t + -75/2. Let q = 59 + -414/7. Are c and q nonequal?
True
Suppose -5*z + 53 = i, i - 23 = -3*z + z. Let g = z - 10. Is -2/3 != g?
True
Let x = 7149.4 + -7148. Let s(w) = -w**3 + 3*w**2 + 6*w - 6. Let j be s(4). Which is bigger: x or j?
j
Let b be 1/4 - (-24)/32 - -45. Let j = b + -36. Is 7 less than j?
True
Suppose -3*i - 16 = 4*a, 3*a - 5 = 3*i + 25. Let n(h) = -3*h - 9. Let u be n(i). Let r be 1*-4 + u + -11. Is 2/9 at most r?
False
Let i = 13.4 - 8. Let g = 5.4 - i. Are -3 and g non-equal?
True
Let o(w) be the third derivative of -w**4/24 - 3*w**3/2 - w**2. Let f be o(-10). Suppose -6*b = -b. Is b greater than f?
False
Let s be (-47)/(2 + (-16)/20). Let v = s + 191/6. Do -7 and v have the same value?
False
Let y(x) be the second derivative of -x**5/20 + x**4/4 + 5*x**3/6 - 2*x**2 - 28*x. Let l be y(4). Which is bigger: l or -6/35?
l
Suppose 4*a - 2*s + 32 = 0, 5*a + 4*s - 21 + 74 = 0. Let u be (a/6)/(-3)*(-1 + 1). Let f = 1020/3869 - 22/73. Are f and u unequal?
True
Let r = -0.31 - 0.69. Let w = -476.7 + 457. Let t = -18 - w. Is t equal to r?
False
Let v be ((-35)/(-15) - 2)/((-7)/(-6)). Is v less than -11?
False
Suppose -s - s = 1292. Let w = 88767556/33 + -2690572. Let x = s - w. Which is smaller: x or 0?
0
Let o(y) = -y**2 + 11*y - 8. Let l be o(9). Suppose f - l = 6*f. Let b be (-2 - 6/f)/(-1). Is b equal to -1/4?
False
Let n be 5*((-56)/5)/(-4). Let z = 5 - n. Let h = 10 + z. Which is bigger: 1/5 or h?
h
Let y = 1/484 - -961/3388. Do y and 1/7 have the same value?
False
Let l = -46 + 38.6. Let k = l + -20.6. Is 1/3 smaller than k?
False
Suppose r = -4*s + 19 + 4, 2*s - 16 = -2*r. Suppose -5*l = -q - 5, -l - q - 5 = -3*l. Let b b