3*l - 15, -54 = -3*m + 3*l. Are m and v unequal?
False
Suppose -5*j = -5*d + 30, 0 = 2*j - 3*j - 5*d - 6. Let c be j + (0 - 2 - -3). Is -1 at least c?
True
Let t be 0 + 5/(-1) + -1. Let g(w) = w**3 + 6*w**2 + 4. Let s be g(t). Suppose 6*k = s*k. Do k and 3/5 have the same value?
False
Suppose -3*a - 116 = 3*t + 112, 15 = 5*t. Which is greater: -83 or a?
a
Let i(q) = -2*q + 8. Let r be i(6). Are -10 and r equal?
False
Let y = 220 - 145. Is y smaller than 74?
False
Suppose -2*t - 5*j = 18, 0 = 4*t + 4*j + 2 + 10. Which is greater: t or 3/25?
t
Let v = 12173/18 + -676. Which is bigger: 1 or v?
1
Suppose 0 = -21*k + 22*k + 5*u + 10, k = 4*u + 8. Let n be 8/2 + (-27480)/6860. Is n <= k?
True
Let v(q) = 314*q**3 - 18*q - 17. Let d be v(-1). Which is greater: d or -310?
-310
Let w = -88 + 107. Is w greater than 14?
True
Let d = -27 + 32. Let a be (-6)/5 + d/25. Let w = 16607/45 - 369. Which is greater: a or w?
w
Suppose -4*d = 2*s + 72, -8*s + 72 = -4*d - 3*s. Let v be (6/9*-3)/d. Let l be 2/(-6) - (-4)/3. Which is bigger: l or v?
l
Let u be 1/(4/14 + (-136)/672). Let n = u - -1. Are 0.2 and n non-equal?
True
Let f = -5/30074 + -64989779/811998. Suppose 2*l + 4*d + 140 = 0, 3*l - 2*d + 255 = d. Let k = f - l. Which is bigger: 0 or k?
0
Suppose -n = -4*n. Suppose -2*f = 0, n*m + 2 = m + 4*f. Let d be (1 + 0)/(m/4). Which is greater: d or -4?
d
Let w be (1/(1 + 0))/(-1). Let y = 127/22 - 63/11. Which is smaller: w or y?
w
Let d be 4/18 - (-97)/9. Let r(y) = -y**2 - 12*y - 22. Let n be r(-9). Suppose 0 = -2*f - 3*w + 36, -6*f + f + 80 = n*w. Is f at least d?
True
Let x = -2311/188 + 2/47. Which is smaller: -11 or x?
x
Let r(l) = l**2 + 8*l + 9. Let x be r(-7). Let p be (2 - x)/3 + 712. Let u be p/(-288) - 2/(-9). Is -3 at least as big as u?
False
Let b = -1/89 - 349/623. Suppose 3*r - 2*r = -9. Let l be ((-48)/r - 4) + -2. Is b at least l?
True
Let p = 43 - 46.6. Let b = 0.6 + p. Let s = 0.3 + -0.1. Which is smaller: s or b?
b
Suppose -11*c + 40*c = 0. Which is smaller: c or 4/413?
c
Let q = -33.95 - -33. Let o = q - 0.05. Which is smaller: -12 or o?
-12
Let o = 1654/15 + -503/3. Which is greater: o or -58?
o
Let h = -854652/13 + 65700. Which is greater: -41 or h?
-41
Let z = -208255/128 + 1627. Let y = 229/3456 + z. Which is smaller: y or 0?
0
Let b = 55 + -29. Which is smaller: b or 24?
24
Suppose -5*d - 1126 = -2*l, -3*d - 20*l = -16*l + 660. Which is greater: d or -891/4?
-891/4
Let c(i) be the first derivative of -i**5/120 + i**4/4 + 5*i**3/3 - 7. Let p(y) be the third derivative of c(y). Let m be p(7). Which is bigger: -3 or m?
m
Let y be (-6)/(-110)*(-5452)/(-93). Let o = -98/31 + y. Let x = 13/55 - o. Which is smaller: 2/3 or x?
x
Suppose -l + 25 = 3*l + p, -5*l + 5*p = 0. Let i be l/2 + -6 + 5. Is i smaller than -1/5?
False
Let m(q) = q**2 - 57*q - 179. Let a be m(-3). Is 34/125 less than a?
True
Suppose -5*k = -44 + 14. Let f = -39/7 + k. Suppose 0*p = 4*p - 4. Which is smaller: p or f?
f
Let h = -1.1 - -0.1. Let q = -49 - -48.944. Let w = q + 4.056. Is h greater than w?
False
Let m be (15/(-1420))/((-10)/400). Which is smaller: -1 or m?
-1
Let f = 747 - 746.9. Which is smaller: -3/289 or f?
-3/289
Let y = 21 + -14. Let g be 4/(16/y) - 1. Let a(u) = -u**2 + 6*u + 2. Let r be a(6). Which is greater: g or r?
r
Let n be -2008*3/750 + 8. Which is bigger: -1 or n?
n
Suppose -i - 6 = -b - b, -3*b + 18 = 3*i. Let s be 26/12 + (-6)/b. Which is bigger: s or 4?
4
Let u be (-608)/(-228)*2/(-8) - -1. Let j = -7 - -8.5. Let h = -6.5 - j. Is u greater than or equal to h?
True
Let i be ((-32)/12 + -4)*9/21. Suppose 0 = 3*w + 2*s + 10, -2 - 4 = 2*w + s. Which is greater: i or w?
w
Let l(b) = b**3 - 6*b**2 - 5*b - 14. Let y be l(7). Let s be y*(25/(-10) - -2). Which is smaller: -5/12 or s?
-5/12
Let q(d) be the second derivative of d**4/12 - d**3 - 11*d**2/2 - 6*d. Let o be q(8). Suppose 0 = -3*r - r - 2*p - 4, o = r + 2*p. Which is bigger: 0 or r?
0
Let w be (-5)/(20/8) + -1. Let k(u) = -5*u**2 + u - 7. Let l be k(w). Let b be ((-1)/(-4))/(l/88). Is 0 smaller than b?
False
Let i(a) = a**2 - 13*a - 10. Let q be i(14). Let w be 4/(64/36)*q. Is 9 bigger than w?
False
Let n = -1770 - -1770.117. Is -0.8 at least n?
False
Let q = 1658 + -1658.08. Which is smaller: 2 or q?
q
Let v be -7 + (1 - -6 - 12/28). Let b be (2/4*-2)/(-1). Is v < b?
True
Let b(l) = 5 + 1 - 7*l - l**2 + 8 - 7. Let g be b(-7). Which is bigger: g or 2?
g
Suppose 17*q - 10*q = -112. Is q < -16?
False
Let c = 8.977 + -0.977. Are c and -52 unequal?
True
Let w = -1908.1 - -1908. Is w >= 45.7?
False
Let a(s) = s**2 - 3*s. Let h be a(3). Suppose -b = -h - 4. Suppose -z = 5*u + 6 - 16, 4*z = -5*u + 10. Which is smaller: b or u?
u
Let w be 4 - 3/(7 - 4). Let p be w*2/(-12)*0. Which is smaller: p or 1/19?
p
Suppose z + 242 = -3*h, -344 = 6*h - 2*h - 4*z. Which is smaller: h or -78?
h
Let r be 19574/10 - (-9)/15. Let g = -207551/106 + r. Let x = g + 251/1378. Which is greater: x or -2?
x
Let m = 0.4 - -1.6. Let b = 130 - 129.972. Let v = b + 0.172. Is v > m?
False
Let s(v) = v**3 - 11*v**2 + 10*v. Let j be s(10). Suppose t - 4*m + 5 = 0, 3*t + 2*m + j - 13 = 0. Let k = 4 - t. Is k less than or equal to 0?
False
Let u be (0 + -4)*370/(-40). Is u > 4?
True
Suppose -5*u = 5*l - 20, 4*u + 4*l = 2*l + 12. Let v(p) = -6*p**u + 3*p**2 - p**3 + 9*p**2 - 4*p. Let t be v(5). Is t greater than or equal to 5?
True
Suppose -5*h + 6*f = f + 50, 6 = 2*f. Which is smaller: h or 0.24?
h
Let o(a) = -6*a + 37. Let h(n) = -18*n + 112. Let u(q) = -2*h(q) + 7*o(q). Let k be u(10). Is k bigger than -24?
False
Suppose 5*r + 33*d = 34*d + 2875, 0 = -5*r - d + 2865. Is r > 574?
False
Let b = 13 + -4. Let r = -162/7 + 817/35. Which is bigger: b or r?
b
Let h = 470 + -826. Does h = 2/3?
False
Let a be (0 + 13 - 1)/(42/(-476)). Which is bigger: a or -137?
a
Suppose -3*r - n = -9 - 105, 0 = 4*r - 3*n - 165. Is 387/10 <= r?
True
Suppose -5*c - 402 = -397. Suppose 5*o = 2*o. Which is bigger: o or c?
o
Let y be 1 - (1 + (-10)/(-328)). Let h = y - -167/2788. Is h less than or equal to 1?
True
Let k = 25 + -2. Let s = 10 - k. Let v = s + 11. Does -5 = v?
False
Let w be (10/15 + 10/(-15))*1. Which is bigger: w or -1/1212?
w
Let d = -2515 + 2515.2. Let n(r) = -r**2 + 7*r - 8. Let v be n(6). Let g be 6/8 + v/(-4). Does g = d?
False
Suppose -3*r - 3*r = 0. Suppose r*j = 4*j + 4*n - 12, -5*n = -2*j + 20. Which is smaller: j or 2?
2
Let b = 48.29 - 48. Let t = 0.09 - b. Let j be (-13)/(-11) - (-6)/(-33). Is j at most t?
False
Let i = 2992.964 + -2993. Is i < -0.1?
False
Let c = -4778/5 + 955. Is c at least -111?
True
Suppose 0 = -8*u + 9*u, -n - 3*u + 8 = 0. Which is bigger: n or 4?
n
Suppose -3*y = 4 - 1. Let m be -3 - y/((-28)/(-96)). Let i = m + 1/14. Is i at most 0.1?
False
Let f = -1/28292 - -140819/56584. Let w = -17/8 + f. Are w and 0 unequal?
True
Let r = -0.12 + -0.08. Suppose g = -2*g + 2*v + 30, -v = 3*g - 21. Suppose -4 = -2*l - g. Is l >= r?
False
Let j = -0.253 - -0.153. Is j >= -2.29?
True
Suppose 0 = 14*m - 16 + 30. Which is smaller: 3/580 or m?
m
Suppose -4*f + 2760 = -0*f. Let m be 0 + -3 + f/247. Let h = m + 2/13. Which is greater: h or 1?
1
Suppose -5*z - 87 + 14 = -3*r, z = 2*r - 44. Suppose -r*j + 2*j = -1482. Does 77 = j?
False
Let d be (-46 + 0)/((-20)/30). Suppose -18*p + 19*p - 69 = 0. Is d bigger than p?
False
Let t(h) = -350*h + 304. Let a be t(2). Which is smaller: a or -1190/3?
-1190/3
Let r = -149 + 150. Which is greater: r or 18/31?
r
Let l = -8.205 + 0.005. Let c = l + 8.2. Which is greater: c or -1.09?
c
Let k = 12225.901 - 12221. Let c = -0.099 - k. Does c = 0.1?
False
Let h = 926 + -927. Which is smaller: 0.185 or h?
h
Let s = -210 + 209.9. Are 3/5 and s equal?
False
Let p = -153 + 154. Let x be ((-4)/(-40))/(p/(-2)). Which is bigger: x or -0.06?
-0.06
Let q be (1 - -5) + 6 + (-12 - -2). Is 129 at most q?
False
Let r = 0.8 + -0.7. Which is smaller: r or 117?
r
Let y(t) be the first derivative of -12*t**2 - 4*t - 2. Let q be y(4). Let p = q + 605/6. Which is greater: 0 or p?
p
Let h(g) = g**3 - 2*g**2 - 2*g + 1. Let l be 3*(25/(-15) - -3). Suppose 3*f = 5*f - l. Let y be h(f). Is y < -3?
False
Suppose -4*h - 37 = p - 22, 5*h - 62 = 3*p. Do -13 and p have different values?
True
Let i be (68/(-6))/(2/(-3)). 