nd m nonequal?
True
Suppose 4*n + 120 = -8. Let a = -70 - n. Let c be 4 - (a/(-14) - -1). Do c and -1 have different values?
True
Suppose 3*z + 10 = 469. Let v = z + -2604/17. Suppose -5*p + 15 = -4*y, 0*p + 3*y = 5*p - 10. Is v at least as big as p?
True
Let v(b) = -b**3 - 3*b**2 + b - 3. Let g be v(-4). Suppose 0 = 5*h - h - 5*s - 6, -g = h + 4*s. Which is smaller: -1/67 or h?
h
Let t(n) = -5*n**2 + 16*n - 146. Let x be t(8). Which is bigger: -337 or x?
-337
Let z(b) = -b**3 + 16*b**2 - b + 6. Let v(w) = -w**3 + 17*w**2 - w + 5. Let j(o) = -6*v(o) + 7*z(o). Let f be j(10). Is f at least as big as 2?
True
Let s(y) = -7*y**2 - 3*y - 56. Let r be s(-7). Is r < -378?
False
Let j(t) = -2*t - 1. Let g be j(-1). Suppose -4*n = i + 4, 0 = -4*i + 8*i - 2*n + 34. Let w = g + i. Is w not equal to -6?
True
Let g = 21 - -40. Let i = 64 - g. Which is smaller: i or 18/11?
18/11
Let t = -5.74 + 4.64. Which is smaller: -1.7 or t?
-1.7
Let p be ((8 + -2)/(-3))/(7/(-84)). Is p smaller than 24?
False
Let r be (-1 - -2) + -5 - 2300/161. Is -18 > r?
True
Let o be (0 + 56/6)/((-2)/6). Let i = -36 - o. Is i smaller than -5?
True
Let z(y) = y**2 - 11*y + 5. Suppose -33 = -5*t + 2*t. Let v be z(t). Suppose 2*k + 10 = 20. Does k = v?
True
Let f = -88.1 - 25.9. Let j = 112 + f. Is -1/6 < j?
False
Suppose 2*r = 8 - 2. Suppose a + 2*q - q = 1, r*q = -15. Are 6 and a equal?
True
Let o be (0/(-5) + -1)/(-4 - -3). Which is smaller: o or 3/34?
3/34
Let p(m) = -m**3 - 22*m**2 + 7. Let t be p(-22). Let v be (-1 - 1) + 3 - t. Suppose -4*n + h - 20 = 0, h + 4 = 2*n - 3*h. Is n > v?
False
Let v = 166.9 + -167. Let u(d) = d**3 - d**2 + 1. Let p be u(-1). Let q be ((-2)/10)/p*3. Which is greater: q or v?
q
Suppose 0 = 3*m + 5*q + 105, -127 = 3*m + 2*q - 13. Let g be (-2)/4 + (-28)/m + 0. Is 16 at most as big as g?
False
Let o(r) = -171*r**2 - 160*r + 486. Let j be o(3). Is -1532 greater than or equal to j?
True
Let s(d) be the third derivative of d**6/120 - d**5/30 + d**4/12 - d**3/2 + 3*d**2. Let o = 1 + 1. Let w be s(o). Is w at most as big as -1?
False
Suppose 3*v + 78 = 4*t, 4*t = -31*v + 30*v + 86. Which is greater: t or 13?
t
Let d = -3 + 5. Suppose -4*q - 5*f = -45, q + 15 = 2*q + 2*f. Suppose q*a + 3*i - 8 = 0, i + 2 = -2*a + 5. Is d < a?
False
Suppose 5*h + 3*s = 2*s - 12, -5*s - 20 = 5*h. Let g = h + 3. Which is bigger: g or -1/51?
g
Suppose 0*o - o - p = 0, 3*p = o - 20. Let d = 121 - 107. Suppose -5*n = d + 11, 2*n = o*t - 5. Is t less than -1?
False
Let i(l) = -l - 1. Let b be i(-1). Let q be 2 + b + 4/(-2). Let g be (1 + q)/((-63)/(-90)). Which is smaller: 2 or g?
g
Let s(k) = 2*k + 11. Let t be s(-8). Let y = t + 8. Suppose w - 7 = 2*z, y*z = w - 0*w - 9. Is 3 < w?
False
Let c be (-4)/10 - 3/5. Suppose -6*y - 8 = -14*y. Let u be -1 - 0 - c/y. Is 1/10 greater than or equal to u?
True
Suppose 0 = 4*u - 6*u + 24. Let j(h) = h**2 + 8*h - 8. Let b be j(-10). Is u less than b?
False
Let z be (-10)/4*(-628)/(-4257). Let b = 2/387 + z. Let l be (8/(-6))/(12/9). Is l smaller than b?
True
Let a be (-2)/(-4) + 123/2. Let u = 3164/51 - a. Suppose -10*b - 2 = -2. Which is bigger: u or b?
u
Let s = 27 - -13. Suppose -4*n + s = -8*n. Let v = -188 + 359/2. Is n < v?
True
Let f = -2.02 + 2. Let b = -0.387 - 1.633. Let s = b - f. Which is smaller: s or -0.8?
s
Let a = 12.17 - -0.83. Let n = -1.6 + -10.4. Let c = a + n. Which is greater: c or -1/2?
c
Let d = -130 - -135. Is d at most as big as 45/7?
True
Let c be (-4)/6*13/(1118/12). Let v = -7160843/1032 + 20816/3. Let k = v - c. Which is greater: k or 1?
1
Let y = -56/33 - -6427/3729. Let r(h) = -h**3 - h**2 - 2*h - 7. Let f be r(-2). Which is greater: y or f?
f
Suppose -2*l + 38 = 2*d, -5*l - 2*d + 99 = d. Let u be (l/28)/(108/(-32)). Is 0.1 at least u?
True
Suppose 10 = 8*z - 3*z. Suppose -17*j - 138 = -40*j. Suppose j*a + 32 = z*a. Is a greater than or equal to -8?
True
Let k(v) = -34*v - 137. Let y be k(-4). Is 2/29 greater than y?
True
Let z(i) = i**2 + 2*i - 5. Let g be z(-4). Let t(r) = -r**3 + 2*r**2 - r. Let v be t(g). Let y be -2 + ((-14)/v - 0). Which is smaller: y or -1?
-1
Let q = 884.1 - 998. Let p = q - -130. Let h = p - 16. Which is bigger: -3 or h?
h
Let m(z) = -11 + 1 + 4*z**2 - 3*z**2 + 8*z + 0*z**2. Let o be m(-9). Which is smaller: -0.6 or o?
o
Let k be (-19)/3640*-27 + (-49)/343. Which is smaller: k or 1?
k
Suppose 6 = u + 2. Suppose s + 0*s - u = 0. Let l(p) = -p**2 + 4*p + 2. Let j be l(s). Does j = 5/2?
False
Let q be -5 + 8/(-2) + 7. Let l be ((8/3)/q)/((-14)/(-21)). Which is smaller: -8 or l?
-8
Let d(r) = -r**3 + 3*r**2 + 10*r. Let l be d(5). Let n be (l/27)/(2/(4/(-2))). Which is smaller: n or 1?
n
Let d = 9 + -23. Let x(c) = 2*c**3 - c - 13*c**2 - 4*c**2 + 7*c**2 - 8. Let z be x(5). Is z equal to d?
False
Suppose 2*s + s - 18 = 0. Suppose -5*f = -2*n + s, -f - 4*f = n - 3. Let y be ((-6)/(-75))/(1 - (-24)/(-20)). Is y greater than or equal to f?
False
Let g(z) = -z**2 + z - 3. Let a be g(3). Let i be (-11)/a + 18/(-81). Which is smaller: 3/47 or i?
3/47
Let z be 11/(121/11) - 1. Let j be (2/100)/((-2)/24). Which is smaller: j or z?
j
Let z be 0 + -1 + 22/28. Let l = 0.25808 - 0.05808. Is z at most l?
True
Let s be (-60)/(-40)*(-8)/438. Which is greater: 1 or s?
1
Let x be (2*(-1)/2)/(3 - 4). Suppose 6*t - 2*t + 48 = -q, 3*t - 135 = 4*q. Let m be 9/q*(x - -1). Which is greater: m or 1?
1
Let i be ((-8)/84)/((-11)/(-3)). Is 1 at least as big as i?
True
Let x be 426/(-9) - 17/(-51). Which is smaller: x or -43?
x
Let t = 178.21 + -179. Let r = t + -0.21. Let v = r - -2.3. Is 0 at most as big as v?
True
Let h = 106805/236 - 1811/4. Let r = h - 583/354. Which is smaller: r or -2?
-2
Suppose 5 = -j + 2*j. Let u be -3*(-1 - 385/15). Let q be (u/70)/((-4)/(-14)). Is j >= q?
True
Let v be 13*-3*3/(-9). Suppose 3 = -4*m - v. Let k be 1 - 4 - (m - -1). Is 6/5 less than or equal to k?
False
Let t be -7 - 3*28/(-12). Is -1/5 bigger than t?
False
Let y be -8 + (11 - 7) - 95/(-24). Let b = y - -197/120. Which is smaller: b or 0.1?
0.1
Let d = 4103281/103 + -39838. Is d greater than 1?
False
Let w = 143 + -158. Are w and -0.03 non-equal?
True
Let t(z) be the second derivative of z**3/6 + 3*z**2/2 - 5*z. Let y be t(0). Let p be -8 - -5 - (0 - y). Which is bigger: 1/4 or p?
1/4
Let k(t) = -2*t**2 + t. Let d be k(1). Let z = -8.592 + -0.408. Which is smaller: z or d?
z
Let j be (-9 + 15)*(-2)/(-4). Suppose 2*t = j*u + 54, -t - u + 21 = -4*u. Suppose -10*n + 7*n = -t. Are n and 12 equal?
False
Suppose 5*m - 48 = 22. Suppose -18*z = -m*z + 12. Is z at least 2?
False
Suppose 14*r = -89*r - 77 - 26. Suppose 15 = 2*v + 59. Is v not equal to r?
True
Suppose 1494 = -9*h - 873. Does -261 = h?
False
Let a(t) = 15*t + 4. Let j be a(-3). Let q = -40 - j. Is 3/8 bigger than q?
False
Let m = 216 + -215. Is m at most -4/15?
False
Let k be -4 + 13 - 8/2. Let r(m) = -13 + k - 3*m + 4*m. Let f be r(12). Are f and 3 unequal?
True
Let s be (-1)/2 - (-539)/14. Suppose 3*c - 5*c + 76 = 0. Is c > s?
False
Let w = 67 + -67. Which is smaller: 8/7 or w?
w
Let l = 2.1 - 2. Let y(t) = -t**2 - 20*t + 107. Let h be y(-24). Suppose -h = -3*x - 11. Which is smaller: x or l?
x
Let u be 3 - (0 - -3) - -57. Let h be (u/247)/((-3)/2). Which is smaller: 0 or h?
h
Suppose -5*p = -p, -2*x - 14 = -3*p. Is x greater than -5?
False
Suppose -2*l + 6 = 2*t, -26 = -5*t + 2*l - 4. Suppose -o - 10 = t*o. Which is smaller: o or -3/2?
o
Suppose 172 = -k - 3*k. Suppose 2*h + 2*o - 160 = 6*h, -h + 2*o = 34. Is h at most k?
False
Let o be ((-668)/14)/(3*40/36). Let m = o - -73/5. Which is smaller: -0.073 or m?
-0.073
Let g = 0 + 1. Let o be -3*(0 - 1/(-22)). Let p = o - -153/154. Which is greater: p or g?
g
Let l = 0.2766 - 0.0766. Let a be 1*(-36)/2*-2. Which is greater: a or l?
a
Suppose -b = 5*u - 5*b - 9, 2 = -2*b. Are -1/476 and u non-equal?
True
Let z be (2 - -1)*(-36)/27 + 9. Which is smaller: z or 52?
z
Let o be (-1)/5 + 263804/20. Let m = -117614/9 + o. Let r = m - 122. Which is smaller: r or 1?
r
Let m = -3.9 + 0.9. Let c = m - -0.5. Let k = c + 2.6. Which is greater: -12 or k?
k
Let k be -22 - (-1 - 55)/7. Let q be 3/3 + (1 - 15). Which is smaller: k or q?
k
Let b be ((2 - 7) + -2)*-3. Let q be 3/6 + b/2. Suppose 2*m + 6 = 0, 2*k - 3*m = -3 + 32. Are q and k