. Suppose 5*d - 24 = -a, 4*a - 3*d = 2*a - 17. Is a < k?
False
Let i be (-8)/2*(-1)/14. Is -1 smaller than i?
True
Suppose 4*k = 5*k - 1, 4*s = 4*k + 4. Let w(o) = -8*o - 4. Let v be w(s). Is v != -0.1?
True
Suppose 3*v = -5*f + 35, 5*v - 3*v = -4*f + 24. Let a be ((-2)/v)/(24/(-15)). Suppose -3*q = 2*q. Is q greater than or equal to a?
False
Let b = -3 + 2.98. Let k = -0.98 + b. Let y = 0 - -1. Is y != k?
True
Let h be 0 + (3 - -2 - 3). Which is bigger: 0 or h?
h
Let j(w) = -w**3 + 14*w**2 - w + 18. Let p be j(14). Suppose -4*b + p - 16 = 0. Is b greater than -2?
False
Let k = 13 - 12. Is k <= -5?
False
Let v(m) = -3*m + 2. Let d(n) = n + 1. Let p(j) = 4*d(j) + v(j). Let q be p(-6). Suppose -3*c - 6 = g - q*c, -4*g - 2 = c. Which is greater: g or 2/11?
2/11
Suppose f - 8 = -f. Let x = -10 - -13. Is x at most as big as f?
True
Suppose -z = 5*k - 4*k + 4, -2*k - 9 = z. Which is smaller: 20/11 or z?
z
Let x = -3 - 3. Suppose -5*n + 7 = 2. Which is smaller: n or x?
x
Let q be 0 + 31/(-11) - -3. Is 2 < q?
False
Let g be -1*3 - (16 - 19). Let b = -155 + 1087/7. Which is bigger: g or b?
b
Let y = -6.6 - -9.3. Let n = y + -3. Is n > 2/5?
False
Let k = 1 + -0.05. Let j = -0.05 - k. Let s be 0/(-2) - 4/(-3). Which is smaller: j or s?
j
Let u = -10 + 14. Suppose 2*n = -4*j - 2, 0 = -5*j + u*j - 1. Let v be ((-6)/(-24))/((-5)/(-12)). Are n and v non-equal?
True
Suppose -3*g + 6*g - 4*j = 11, -5*j = 3*g - 20. Is g at least 8?
False
Let j(n) = -n**3 + 8*n**2 - 2*n + 17. Let t be j(8). Is t greater than 1/3?
True
Let y = -16 + 7. Let h = -16 - y. Is 0.1 at least h?
True
Let c = -0.1 + -3.9. Let j = 3.9 + c. Let p = j - 0.9. Is p greater than or equal to 1?
False
Let n(c) = c**3 + 9*c**2. Let s be n(-9). Suppose s = y + 2*y + 9. Which is smaller: -4 or y?
-4
Let o be (4/(-2))/((-4)/8). Let j = -8 + o. Let c(h) = -2*h + 1. Let g be c(2). Which is bigger: g or j?
g
Let a = -37 + 38. Does 64 = a?
False
Let u(v) = v - 5. Let h be u(5). Are h and -5/6 unequal?
True
Suppose 5*c + 8 + 2 = 0. Let u = c + 2. Suppose u*v - 3*v = 0. Which is greater: v or 2?
2
Suppose 4*f = 5*f + 12. Let t be f/(-16)*(-8)/(-2). Let a be ((-4)/12)/(1/t). Which is smaller: a or -0.1?
a
Let t = 2 + -1. Is t < -0.7?
False
Let h(j) = j**3 - 9*j - 6. Let u be h(-3). Which is smaller: u or -23/5?
u
Let c = -1/69 + -205/138. Let b be (5/2)/(3/6). Suppose 2*a + j = 5*a + 6, 4*j + 10 = -b*a. Which is smaller: c or a?
a
Let o = 34.95 - -0.05. Which is bigger: -2 or o?
o
Suppose 3*s + j - 39 = 0, -12*s - 4*j = -10*s - 16. Which is smaller: 55/4 or s?
55/4
Let b be 4/10 - 17/5. Let m = b + 4. Does 2 = m?
False
Let f = -22 + 21. Let z be (-4)/14 + 62/266. Is f < z?
True
Let s = -94 - -659/7. Let u = -4 + 4.1. Is u < s?
True
Let i(g) = -g**3 - 4*g**2 - g + 4. Let b be i(-3). Which is smaller: b or -6?
-6
Suppose i - 5 - 4 = 0. Suppose 2*a + i = -61. Let t = 387/11 + a. Which is smaller: 1 or t?
t
Let u = -391685/2800754 + -1/4174. Let h = 3/61 + u. Which is smaller: h or 0?
h
Suppose 5*g - 53 = 202. Is g at least 51?
True
Suppose -3*l + 0 + 3 = 0. Is l != 2/3?
True
Let p = -3 + 0. Let x be ((-2)/(-4))/(p/30). Suppose -8 = 2*g + 4. Do g and x have different values?
True
Suppose 6*x = 3*x + 24. Let t be x/((-408)/(-45)) - 1. Which is greater: t or -0.3?
t
Let q = 64 - 255/4. Let o = -10 + 11. Do q and o have the same value?
False
Let v = 3.7 - 0.7. Let n = 19 + -19. Suppose -2 + n = -q, -3*y + 9 = 3*q. Are v and y unequal?
True
Let g(r) = r - 11. Let n be g(8). Let u be 5/(5/3) - n. Let m(s) = -s + 8. Let p be m(u). Which is greater: p or 5/3?
p
Suppose 6 = 5*l - 2*l. Suppose m - 8 = l*t, -m - m + t + 22 = 0. Are m and 12 non-equal?
False
Suppose 4*a = -5*u - 29, -a = -4*u + 1 + 1. Let p be 4/3*30/(-4). Let n = p - a. Which is greater: n or -6?
n
Suppose 5*j - 4*x = -0*x + 11, 3*x = 4*j - 9. Let p = -2 + j. Let v be 2 - ((p - -2) + 0). Is -3/5 smaller than v?
False
Let x(g) = g**2 + 9*g - 8. Let l be x(-10). Which is bigger: 9/10 or l?
l
Suppose 3*a - 3*v = 4*a, -a + 2*v = 0. Which is bigger: a or 1/39?
1/39
Let g(c) = -c**3 + 8*c**2 - 10*c + 9. Let w be g(6). Let v = -12 + w. Is v less than 9?
False
Let t = 1/29 + -94/203. Let k(i) = i + 1. Let q be k(-3). Let b = q + 2. Is t greater than or equal to b?
False
Suppose -4*t - t = -2*h - 11, 8 = -2*h + 4*t. Let b = -195 + 785/4. Which is smaller: b or h?
b
Let j(i) = -6*i - 9. Let n(p) = p + 2. Let s(w) = -2*j(w) - 11*n(w). Let o be s(-5). Which is greater: o or -8?
-8
Let y = -75.491 + -1.549. Let d = -82 - y. Let a = -0.04 + d. Is a less than 0?
True
Suppose -2*l + l + 12 = 0. Suppose 3*d + 5 = -5*f - 1, -3*d + f + l = 0. Let c be (-360)/(-92) + (-38)/(-437). Which is smaller: c or d?
d
Suppose 0 = 7*i - 2*i + 60. Is -11 at most as big as i?
False
Let x = -642280/125667 + -2/13963. Are x and -5 equal?
False
Let m(j) = j**3 + 5*j**2 + 4*j. Let d be m(-4). Is -6/19 >= d?
False
Let b = -12.7 + -4.3. Let q = -18 - b. Which is greater: -13 or q?
q
Let j be 4/6 - 480/396. Suppose 2*v = -1 + 11. Suppose -i = v*o - 24, 5*i - 11 = i - 3*o. Which is smaller: i or j?
i
Let r = -42 - -124/3. Let g = 0 - -5. Suppose o - 5*h = 23, o = -3*o - g*h - 33. Is o bigger than r?
False
Let r(h) = -h**3 + 8*h**2 - 5*h - 9. Let c be r(7). Let w(s) = 2*s - c*s + 7 + 4*s. Let k be w(-6). Which is smaller: 2 or k?
k
Let w = -7 + 7.9. Let i = 0.2 - 0.1. Let r = w + i. Which is bigger: r or 4?
4
Let o(y) = y**3 + 6*y**2 + y + 8. Let h be o(-6). Let w be 0/((-6)/h - -2). Which is bigger: -2/5 or w?
w
Let u(t) = t**3 - 5*t**2 + 6*t - 5. Let j be u(4). Suppose 0 + 9 = -j*o. Let g be 28/(-8) + -1 - -3. Is o < g?
True
Let k(d) = -d**2 - d. Let t be k(1). Suppose -i + 9 = -4*i. Is t at least as big as i?
True
Suppose -3*w = u - 2 - 10, 0 = -u + w - 4. Is -1 greater than or equal to u?
False
Suppose -5*f + 7*f + 6 = -g, -10 = 2*f + 2*g. Which is smaller: f or -2/359?
f
Let y = 13 - 30. Let i = -16 - y. Which is greater: i or -0.03?
i
Suppose 16 = 6*n - 2. Let c(z) = z**3 - 2*z**2 - 2*z + 1. Let s be c(3). Is n at least s?
False
Let p = -76 - -41. Let y be 1/(-5) - (-3)/p. Is 7 bigger than y?
True
Let w be ((-479)/(-10))/1*4. Let j(p) = 191*p. Let z be j(-1). Let u = w + z. Which is smaller: 0 or u?
0
Let h = -6 - 5. Let i = -6 - h. Is i less than -1?
False
Let r = 603/7 + -86. Suppose 0 = f + 2 + 1. Let q = f - -2. Which is smaller: r or q?
q
Let c be 2/(-8) - 1/4*-5. Which is greater: c or 2/253?
c
Let f be (-28)/45 - (-4)/18. Let m = -12 + 17. Let z = 3 - m. Are z and f unequal?
True
Let s = -2.64 + 1.64. Let x = -79/28 + 9/28. Is s equal to x?
False
Suppose x - 3 = -2*q + 3*q, -3*q - 25 = 5*x. Suppose 0 = -4*n - 3*w - 21, -19 = 5*n + 5*w + 11. Is q <= n?
True
Let q be 1 + 0 - 238/242. Which is smaller: 1 or q?
q
Suppose 2*b = 5*b - 15. Let o = 3 - b. Suppose -4*i - 12 = -3*x, -x + 4*x + 3 = -i. Which is smaller: x or o?
o
Let i(a) = -a - 2. Let r be i(4). Let z be 12/(-20)*4/r. Which is greater: z or -5?
z
Let v be (16/6)/(1/3). Suppose -n - 4*s - 8 = 0, 3*n - v = 7*s - 3*s. Let r = 1/26 + 6/13. Which is smaller: n or r?
n
Let l = 5 - -2. Let g = l - 6. Is g equal to 1/2?
False
Let u = 2/183 - -40/61. Let q = 6 - 3. Let j = -4 + q. Which is smaller: j or u?
j
Let o = 4 - 0. Let u be 1/(-2) + 1/o. Which is bigger: u or 3?
3
Suppose 3*t = -2*z + 1135, -5*t + 4*z + 1540 = -t. Let i = -1121/3 + t. Let o = i + -8. Which is bigger: o or -8?
o
Let a(r) = 2*r + 7. Let q be a(-4). Let t be (-2)/(-3)*3*-1. Which is smaller: t or q?
t
Let d be ((-2)/6*-22)/(6/9). Is d <= 0?
False
Let o be (-7)/3 - (4 - 7). Let z(g) = 5*g + 4. Let k(c) = 6*c + 5. Let d(j) = 4*k(j) - 5*z(j). Let w be d(-2). Is w < o?
False
Let p(y) = y + 1. Suppose -4*j - 2*k + 14 + 16 = 0, 3*j - 33 = -5*k. Suppose j*u - 4 = 4*u. Let h be p(u). Is 2 at most as big as h?
True
Let y be 1 + ((-1 + -35)/(-4) - 1). Which is smaller: y or 11?
y
Suppose 0 = 4*d - 5*d + 4. Suppose -u = 4*u, 2 = x - d*u. Suppose 4 = -x*w + 6*w. Which is smaller: 2/5 or w?
2/5
Let d(k) = -k**2 - 7*k - 1. Let x be d(-7). Is -1 at least x?
True
Let j = 0.08 + -5.08. Let n = -3 - j. Is n > 1?
True
Let g be -3*(-2 - 152/(-78)). Let x(s) = s**2 + s - 5. Let b be x(-3). Does g = b?
False
Let i = 0.062 + 0.938. Do i and -0.53 have the same value?
False
Let z b