 t, -5*k - 3*z = 6. Suppose 9*v = 4*v. Is k at least v?
True
Let q = 0.34 - -0.26. Let n = -2.8 + q. Is n less than -2/3?
True
Let f = 46 - 277/6. Is f >= 1/2?
False
Let n = 3 - 10/3. Which is bigger: n or 1?
1
Suppose -2*x - 18 = 2*q - 5*q, -x - q = -1. Let y be -3 + (x - 146/(-24)). Which is smaller: 0 or y?
0
Let n = -0.03 - -0.33. Let s = -0.4 + n. Let u = -3 - -4. Is u equal to s?
False
Let q(n) = n - 3. Let p be q(0). Let s be -6 - (-4 - (0 + 0)). Is s equal to p?
False
Let s = -254/1005 - -8/67. Is s != 1?
True
Let g be (28/8 + -3)*-14. Are -8 and g non-equal?
True
Let a(q) = -q**2 - 9*q + 10. Let m be a(-10). Let n = 1 - -3. Suppose m = -n*r - 7 - 1. Does -2 = r?
True
Let l = 2 - 4. Is l at least -9?
True
Let c(r) = 3*r**2 - 29*r - 6. Let s be c(10). Let b(y) be the third derivative of -y**5/60 + y**4/6 + y**2. Let w be b(s). Which is bigger: w or 4/7?
4/7
Suppose -3*h + 1 - 4 = 0. Suppose 2*l + 2*l = 8. Let o be (0 - 1)/(2/l). Is o at least h?
True
Suppose i = h + 1 + 1, -5*i - 6 = 3*h. Which is bigger: -4/15 or h?
-4/15
Let k = -56 - -105. Let l = 2/11317 + 2229441/45268. Let c = l - k. Which is smaller: 1 or c?
c
Let v = 0.77 - 0.47. Is -0.1 greater than v?
False
Let h be -3 - (-1 - (-1928)/(-2108)). Let x = -30/31 - h. Is x bigger than -1?
True
Let b(g) = g**3 - g**2 + g. Let x be b(1). Which is greater: 3/14 or x?
x
Let l be (460/(-24) - (-3)/6)*3. Which is bigger: l or 0?
0
Let u = 6 - 5.94. Let c = -0.94 - u. Let z = -0.3 + 0.2. Is z at least as big as c?
True
Let w(z) = 38*z + 11. Let p be w(8). Let u be 119/p + 4/18. Is 1 smaller than u?
False
Let d(u) = u**3 - 8*u**2 - 11*u + 21. Let b be d(9). Which is smaller: b or -6?
-6
Let w(c) = c - 6. Let i be w(6). Let m(a) = -a**2 + a. Let s be m(i). Is s > -6/7?
True
Let j = 8 - 8. Suppose -3*q - 4*p + 66 = -2*q, -2*q + 118 = p. Let b = q - 233/4. Which is smaller: b or j?
b
Suppose 0 = -5*r - 3*k + 30, -5*k = 13 + 12. Let a = r + -79. Let h be 6/(-21) + 8/a. Which is smaller: h or 1?
h
Let z = 18 - -6. Let y be (3/(-60))/(9/z). Are y and 1 unequal?
True
Let w be 4 - (4 - (-2 + 4 - -49)). Is w at most as big as 49?
False
Let x(s) = -s**3 - 8*s**2 - 9*s - 10. Let h be x(-7). Let i be 3/h + (-1)/(-4). Is 2 less than or equal to i?
False
Let a = -68/495 - 2/45. Which is smaller: 1 or a?
a
Let b = 20 + -24. Is b at most -3?
True
Let z = 0.04 - -1.96. Do z and -4 have the same value?
False
Let j = 69 + -66. Is -16 less than j?
True
Let a = -76945 + 22083304/287. Let y = -1/41 + a. Suppose 9*s - 28 = -1. Is y bigger than s?
False
Let f = -0.9 - 0.1. Let i = -0.13 + 0.13. Let n = f + i. Is 1 at most as big as n?
False
Let b(d) = -d**3 - 7*d**2 + d + 5. Let z be b(-7). Let u be (1 - z)*4/(-3). Is -1 greater than or equal to u?
True
Let u(x) be the third derivative of -x**5/60 - x**4/8 - x**3/6 - 2*x**2. Let z be u(-3). Is 0 > z?
True
Let k be 1/3 - ((-12)/9)/2. Which is bigger: k or 2/17?
k
Let i = -2 - 1. Let c(u) = u + 1. Let v(w) = 5*w + 3. Let o(q) = -6*c(q) + v(q). Let y be o(i). Are y and -2/9 non-equal?
True
Let g be 1*-2*12/8. Which is greater: g or -16/7?
-16/7
Let q = -139633/23670 + -2/2367. Let h = q - -11/2. Are h and -1 equal?
False
Let w = 6 - 9. Let t be (-1)/((-5)/(-2) + w). Suppose t*s + 6 = -0*s. Which is greater: s or -4?
s
Let b = -35/4 + 261/28. Do 1 and b have different values?
True
Let m = -16 - -14. Let b be ((-2)/75)/(m/10). Which is bigger: -0.1 or b?
b
Let d be 9/72 - 61/(-152). Which is smaller: d or 0?
0
Let b = 21 - -5. Let c = -26 + b. Which is smaller: -5 or c?
-5
Let o be 0 - -1 - (-22)/(-18). Suppose 2*h - 12 = -5*c - 4, -4*h - 4*c = -4. Which is smaller: o or h?
h
Let z = 4 - 3. Suppose 0 = f - 4*w + 7 - 25, -2*f + w = -z. Is -2/7 at most f?
False
Let m = 458/5 + -92. Let w(y) = -y**3 + 8*y**2 + 10*y - 7. Let l be w(9). Let a(q) = -q**3 + 3*q**2 - 3*q + 2. Let i be a(l). Which is smaller: i or m?
m
Suppose 148 = -7*g + 43. Is g < -19?
False
Suppose -5*w + 12 = -3. Let a be w/4 + (-20)/16. Is a greater than -1?
True
Suppose -4*s = -2*o + 6, 2*s - 5*o = -9*o + 12. Is s greater than 10?
False
Let w = 91/99 - 15/11. Let z be ((-2)/6)/(4/12). Which is smaller: w or z?
z
Suppose -5*j = c + 2*c + 13, -3*c + 3 = -3*j. Let o be (12 - 3)*j/(-6). Suppose 4*b + 16 = -4*w, b + 14 = -0*b - o*w. Which is greater: 0 or b?
b
Let v = -96 - -101. Do -0.6 and v have different values?
True
Let z be 1*(2*-1 - 1). Suppose 0 = -2*s - 6 - 0. Is z equal to s?
True
Let f be ((-21)/(-14))/((-85)/4). Let p = 215801794/765 + -846280/3. Let c = p + f. Which is smaller: 1 or c?
c
Let c = 3 - -2. Let x(s) = 3*s**3 - 4*s**3 - c*s - 2*s**2 + 6*s**2 + 3 + s. Let f be x(3). Which is smaller: -2/7 or f?
-2/7
Let a(z) = -z**3 - 5*z**2. Let r be a(-5). Let m = -83/4 + 21. Which is bigger: m or r?
m
Let s = -10 - -5. Let y = 0 - s. Let t(h) = h**2 - 9*h + 16. Let p be t(7). Is p smaller than y?
True
Let r be 3/(-9)*54/5469. Let b = r + 68165/216937. Let x = 3/119 - b. Is 0 smaller than x?
False
Let y(m) = m**3 - m**2 - 2*m + 4. Let q be y(3). Suppose 4*h = -0*h + q. Suppose -2*j + 3 + 3 = 0, 0 = d + 3*j - 14. Is h less than d?
True
Let g be 4/8*-4 - -1. Are g and 1/10 unequal?
True
Let v = 6.7 + -7. Let y = -8.4 + 8. Let d = v - y. Which is smaller: d or 0?
0
Let v = -2 + 2. Suppose v*i = -i. Is i bigger than 0?
False
Suppose 4*v + 2*p = -2*p, -2*v = p - 2. Let j = v + 2. Does j = 4?
True
Let j be 2 + -3 + (-149)/(-4). Let v = -36 + j. Let a = 1.94 - -0.06. Which is smaller: a or v?
v
Suppose -3*k + 6 = -6. Suppose -60 = -y - k*y. Let g be (0 - 2)*(-2)/y. Which is smaller: 1 or g?
g
Let f = -7 - -9. Suppose -5*p + 2*w - 3*w = 21, 2*w = -2*p - 2. Let x be f*(1 - 0) + p. Is x greater than or equal to -3?
True
Let r = -3.9 - -4. Which is smaller: 1/20 or r?
1/20
Let j = 5 - -10. Suppose 2*v - 8 = 0, -4 - j = -3*c - 4*v. Let y be -1 - (1/(-2) - 1). Is c bigger than y?
True
Suppose 0*y - y - 27 = 0. Let t be 3 + -1 + 60/y. Which is greater: -1 or t?
t
Let g = -0.37 - -0.4. Let z = -4.97 - g. Let f = z + 0. Which is smaller: -0.1 or f?
f
Let u = -11 - -8.5. Let o = u - -0.5. Which is smaller: o or -1/4?
o
Let q = -36 - -30. Is q > -0.1?
False
Let v = -532/3 - -42551/240. Is v greater than 0?
False
Suppose 5 = 2*y + 3. Let k = y - 1. Which is smaller: k or -2/7?
-2/7
Suppose -2*z = -6, z - 15 - 2 = -2*d. Let k = 7 - d. Is k < 1?
True
Let c = 0 - 0.08. Let b = 0.02 - c. Is -0.06 >= b?
False
Let i be (-91)/(-141) - 42/63. Are 0.1 and i non-equal?
True
Let f(k) = 10*k - 18*k + 1 + 0. Let b be f(-1). Let q(v) = -v + 6. Let i be q(b). Is -3 greater than i?
False
Let b be (-216)/(-495) + 8/(-10). Which is smaller: 1 or b?
b
Suppose 8 = 2*s - 4. Let z be ((-8)/(-12))/(s/(-9)). Let f = -136/115 - -18/23. Which is greater: z or f?
f
Let r = 4/15 - -1/15. Let i = -10 - -17. Suppose f + 6 = i. Is f at least as big as r?
True
Let k be (-4)/(-2) + 1*70. Which is greater: k or 73?
73
Let k = 11 - 5. Let u = 1 - -2. Suppose -f - 2*c = -k*c + u, -4*f = -c - 3. Which is greater: f or 2?
2
Suppose -40 = -j - j - 2*q, 0 = j + 4*q - 32. Suppose -23 = -4*w + 3*n + 1, 4*n + j = 0. Let d = w - 5. Which is smaller: -3 or d?
-3
Let x = 332/3 + -111. Which is greater: -0.5 or x?
x
Suppose -2*r + 13 - 1 = 0. Let o be r/(-2) - 95/(-35). Is -0.6 < o?
True
Let t = -2 + -14. Is t bigger than -14?
False
Let a be ((-15)/40)/((-34)/(-8) + -1). Is a != 1?
True
Let o = -5 - -4. Let g be (-1 + -2)/o + 2. Suppose -5*v + 6 = -2*v, -v = -g*z - 7. Does z = -1?
True
Let a be 4 - 1 - 1/(-1). Let t be a/(-30)*6/(-2). Is 0 smaller than t?
True
Let k(y) be the third derivative of -y**4/24 - y**3 - 2*y**2. Let c be k(-8). Let l be 2*((-2)/(-4) - c). Which is smaller: -2 or l?
l
Suppose -15 = -2*w - w. Suppose w*t = -8 - 2. Let h(a) = -3*a**2. Let c be h(1). Which is smaller: t or c?
c
Suppose 2*u - 4*u + 5*m = 15, -5*m + 15 = -4*u. Suppose 4*x + x - 45 = u. Suppose -a + x = 2*a. Is a > 2?
True
Suppose -j - 4 = -2. Let b(f) = -f - 1. Let i be b(j). Which is greater: 3 or i?
3
Let n = -94345/13692 + -241/163. Let r = n - -73/12. Let l = 57/28 + r. Which is bigger: 1 or l?
1
Let l = -1/256 + 97/256. Which is smaller: l or -7?
-7
Let i be (-6)/(-12) + 0 - 15/2. Which is bigger: i or -5?
-5
Let j = -7.9 + 8. Let l = -1.9 - j. Which is smaller: l or