). Suppose -u = -3*w + 4*a + 18, -w = 5*a + z. Does w = 1?
False
Let w be 2/(-6) + (-4)/(-3). Suppose 4*l + 3*o - 4 = 0, l - o - 3 = -9. Let h be (l/7)/(2 - 0). Is h <= w?
True
Let n = 157 + 83. Let b = n + -3122/13. Which is smaller: -1 or b?
-1
Suppose -2*q + 3*q = 17. Are q and 18 nonequal?
True
Let f be -14 + 0*2/6. Let q be 10/(-14) - (-4)/f. Let h be 9/(-16)*(-2)/(-3). Does q = h?
False
Let t be (-13)/(-21) - 3/9. Suppose 6 - 2 = 4*z. Let y = 0 + z. Which is smaller: t or y?
t
Let k be (-46)/5 + (-2)/5. Let a = k - -46/5. Let l = -2 - -1. Which is smaller: a or l?
l
Let c = -916/3021 + -2/159. Which is bigger: -1 or c?
c
Suppose -3*f - 8 = -2*z - 2*z, -20 = 5*z. Let k be ((f/(-37))/(-4))/(-1). Which is smaller: k or 0?
0
Let a = -21 - -23. Which is smaller: 0 or a?
0
Let p = 0 + 4. Let h(v) = 3*v + 1. Let d(i) = i**2 + i - 1. Let y be d(1). Let w be h(y). Is w >= p?
True
Let i = 17 - 25. Let w = -4 - i. Which is bigger: w or -1/3?
w
Let x(y) = -y**3 - y - 4. Let c be x(0). Let i be (-3 - -2)*(-4)/c. Which is smaller: 1/8 or i?
i
Let c(d) = -2*d**2 + 19*d + 7. Let o be c(9). Are o and 16 unequal?
False
Let p = 26 - 37. Let j = 10 + p. Is j <= -4/3?
False
Suppose -k + 6*v + 23 = v, k - 18 = 4*v. Let q be k*1*(-4)/(-28). Are q and 1 equal?
False
Let k = -15 - -22. Suppose 4*l + 5*t - k = 0, -2*t - t - 3 = 0. Let f = l - 4. Is f greater than -1?
False
Let s = 0.6 - 0.5. Which is bigger: -2/11 or s?
s
Let c = -12178/35 - -348. Which is smaller: c or 1?
c
Let q = -22 + -66. Let n be (-18)/(-27) - q/(-78). Which is smaller: n or 0?
n
Let o = 17.81 - -0.19. Let k = o - 25. Which is smaller: k or 0?
k
Let z = 32 + -34. Suppose a + 8 = -3*a. Is a bigger than z?
False
Suppose 3*x - 31 = 104. Let q be x/81 - (-1 - -2). Which is bigger: q or 0?
0
Let b = 0.5 - 2.5. Is b greater than or equal to 0?
False
Let k = -0.29 + 15.29. Let g = k - 11. Which is greater: g or -1?
g
Let k be (1/(-2))/(2/24). Let q be 6/3*15/k. Are q and 0.1 unequal?
True
Let v be 8/36 - 166/18. Which is bigger: v or -8?
-8
Suppose -5*s = 0, 2*l - 5*s = -0*l + 4. Suppose 0 = -3*b - 1 - 5. Let z be ((-2)/(-6))/(b/(-12)). Are z and l unequal?
False
Suppose 0 = -5*j + 14 + 36. Is 10 greater than or equal to j?
True
Suppose -8*d + 4 = -4. Is 1/28 < d?
True
Let z(d) be the second derivative of -4/3*d**3 + 0 - 4*d**2 - 1/12*d**4 - 2*d. Let r be z(-7). Is -1 not equal to r?
False
Let f be 1 - 0 - -3 - 4. Do -7/8 and f have the same value?
False
Suppose -4*d + 5 = 1. Suppose -2*p = -6 + 2. Is d bigger than p?
False
Let z(u) be the second derivative of -u - 2*u**2 + 1/3*u**3 + 0. Let n be z(3). Are 2 and n non-equal?
False
Let f = -6 + 5. Let i be ((-72)/(-120))/((-18)/(-4)). Which is bigger: f or i?
i
Suppose -27 - 39 = 2*z. Let v = 30 + z. Is -3 >= v?
True
Let g(x) = -x**2 - x - 1. Let z(c) = c**3 + 6*c - 2. Let y(a) = -4*g(a) - z(a). Let o(l) = -l**3 - 5*l**2 - 5*l. Let w be o(-4). Let d be y(w). Is -2 >= d?
True
Let d be 1 - (-3)/(-24)*6. Let s = 3/2242 + -45071/172634. Let q = -2/77 + s. Which is smaller: d or q?
q
Let p = -1 + 6. Does 4 = p?
False
Let k(f) = f + 6. Let r be k(4). Which is bigger: r or 48/5?
r
Let p = 7 - 4. Let r = p - 2.8. Which is greater: 0.1 or r?
r
Let s(p) = -3*p + 12. Let q be s(6). Which is smaller: -1 or q?
q
Let s = -47 + 187/4. Let h = 0.7 - -0.3. Is h > s?
True
Let t = 15 + -11. Suppose -5*l + 34 = t*w, l + 0*l = 2*w + 4. Suppose 2*v - 10 = 4*s, -3*s - 3*v = -l*s - 9. Is s not equal to -2?
False
Let n = 689.01 + -692. Let q = 0.01 - n. Which is smaller: -3 or q?
-3
Suppose -a + 2 = -0*a. Let x = 2/7231 - 16736/8221647. Let s = 6832/5685 + x. Which is smaller: a or s?
s
Let z = 0.222 - -1.008. Let b = 0.23 - z. Is b smaller than 1?
True
Let r be (-3)/(6/4) + 24/19. Which is smaller: r or -1?
-1
Suppose 24 = -2*u - 0*b + 3*b, -u + 2*b - 14 = 0. Is u equal to -6?
True
Suppose -2*a + 0*a - 4 = 0. Is -6 at most as big as a?
True
Suppose -4*g = -4 - 12. Let x be ((-2)/g)/(7/14). Which is greater: x or -1/8?
-1/8
Suppose -t + 1 = -9. Suppose 0 = -b - b - 2*j + t, -4*j + 10 = -b. Let h be 0*(b - (-3)/(-2)). Is h at least as big as 1/3?
False
Let l = -463/5607 + 2/623. Let i = l - 1/7. Is i != -1?
True
Suppose 0 = -3*g - 3. Suppose 4*z + 0*l + 2*l - 86 = 0, 0 = -2*z + 4*l + 68. Let o be 2/(-56)*64/z. Which is greater: o or g?
o
Let a = 14 - 13. Let s be 1*a*2/(-22). Which is smaller: 1 or s?
s
Let n = -24 - -25. Which is smaller: -15 or n?
-15
Let t = -62 + 63. Is 5/6 < t?
True
Suppose 2*t - 12 = 4*t. Let r be ((-1)/(-4))/(t/16). Is -0.7 bigger than r?
False
Let w be 0 + 3 + (-15)/5. Suppose 4*v - 7 - 1 = w. Is v < 2?
False
Let j(b) = b**3 - b**2 - b + 226. Let d be j(0). Let i be (-1 - d/(-88)) + -2. Let w = -2/11 - i. Are w and 0 non-equal?
True
Suppose 3*y + 10 = -2*q - 0, -3*q + 23 = -5*y. Which is bigger: q or 3/10?
q
Suppose -5*s - 2 = -2*s + x, 5*s + 4*x + 15 = 0. Are s and 1/22 non-equal?
True
Let f = 13.7 - 13.8. Is f greater than or equal to -5/23?
True
Let m = 18 - 12. Let n = 3 - m. Which is greater: 1/7 or n?
1/7
Let k be 26/13 + (-84)/38. Which is smaller: 0 or k?
k
Suppose -4*l + 2*l = 64. Let n = 95/3 + l. Let d = 0.2 - 0.1. Is d not equal to n?
True
Let x = 5.01 + -5. Let o = x + 1.99. Is 2 <= o?
True
Let t = 9 + -10. Let a be (4 + t)*1 + -2. Is a equal to 1?
True
Suppose -5*c + 37 = -4*y, 5*c - y = 32 - 4. Is 7 bigger than c?
True
Suppose -t + 7 = b, 0 = 3*t - 3*b - 4 + 1. Suppose 2*h - t*c = -74, -4*h = -c - 2 + 143. Let j be (-23)/5 - (-14)/h. Is j > -5?
False
Let w(m) = -m**2 + 13*m + 15. Let r be w(14). Is 1 <= r?
True
Let g be (1 + 4/4)*-2. Let l = 12 - 7. Let b = g + l. Which is greater: b or -1/7?
b
Let q be (-4)/15*3/2. Suppose 2*d + 5 = 3*j, -3*j + d + 6 = 2*j. Is j bigger than q?
True
Let q be 0/(-2 + -1 - -5). Suppose -6 = -3*t - q*t. Suppose 3*l - x + 1 = 2*l, 2*x = -4*l + t. Is 2/7 equal to l?
False
Let m = 2 + -3. Let w = 0.6 - 0.2. Let z = w + -0.3. Is m not equal to z?
True
Let f(i) = -i**2 - 6*i + 10. Let j be f(-8). Let o be 4/j + 5/3. Suppose -6 = -5*h - o. Which is smaller: 2 or h?
h
Suppose -3*q = -4*z - 27, z - 1 - 21 = -5*q. Let x = 9/20 - 59/20. Does z = x?
False
Let g = -4.96 - -5. Let j = 0.44 - g. Let h = j - 0.4. Which is bigger: h or 0.1?
0.1
Let j = -96 + 191/2. Is j less than -1.1?
False
Let k = -794/471 - -3/157. Suppose 4*x = 2 - 6. Which is greater: k or x?
x
Suppose 8*p + 9 = 5*p. Let q be (4 + p)/((-2)/22). Is q < -10?
True
Suppose -3*k + 4*k = z - 2, 3*z + 4*k + 15 = 0. Let g = -26/7 - -24/7. Are g and z unequal?
True
Suppose -3*i - 4*f + 20 = i, -2*i + 4 = 4*f. Let w be 5 - 3 - i/5. Which is smaller: w or 0?
0
Let b(w) = -w**3 - 11*w**2 - 11*w - 11. Let f be (5/(-2))/((-1)/(-4)). Let q be b(f). Which is greater: 1/14 or q?
1/14
Suppose 2*q = -5*n - 5 + 12, 4*q + 2*n = 6. Are q and 1/12 equal?
False
Suppose 5*r - r - 2*f - 10 = 0, 0 = -2*r - 4*f. Let y(a) = -3*a - 2 - r + a. Let s be y(-3). Is 2 at most as big as s?
True
Let k(m) = -13*m - 1. Let q be k(8). Let h = -319/3 - q. Let s(n) = n**2 + 4*n - 6. Let o be s(-5). Is o less than or equal to h?
False
Let y be (4 + 0)/4 - -54. Suppose y = -6*a + a. Which is greater: -12 or a?
a
Let d = -21 + 18. Is d >= 3?
False
Suppose 3*o + 37 = 5*i, 2*o = 3*i - 5 - 18. Is 6 <= i?
False
Suppose 0*c - 3*c + 10 = 2*a, 4*c - a = -5. Are c and 8/7 equal?
False
Let m be (-36)/(-195) - 4/30. Are 1 and m equal?
False
Suppose 0 = -2*i - 2*i - 180. Let p be (6/i)/(4/(-5)). Is 1 not equal to p?
True
Let b be 7/21 + (-8)/(-3). Suppose 3*p - 6*p = -3*g + 3, -g + 9 = b*p. Let l = 9 - 6. Is p > l?
False
Let g = 24 + -22. Suppose h - 2*h = -g. Which is smaller: h or 0?
0
Let a = 7 - 7. Let l = -0.9 + -0.1. Let s = a + l. Which is smaller: s or 1/6?
s
Suppose -l + 15 = 24. Is -3 at least as big as l?
True
Suppose 0 = 3*r - 5*r + 2. Suppose -r - 3 = -4*p. Let m be (4/(-10))/((-12)/10). Which is bigger: m or p?
p
Let s = 19 - 18. Which is smaller: -2/13 or s?
-2/13
Let m be (-860)/(-18) + (-2)/(-9). Let l = -28 + m. Suppose -2*w - 2*w - l = 0. Are w and -6 nonequal?
True
Let m = -0.2 - -0.1. Let o = -4.11 - -0.11. Let w = o - -4.4. Which is smaller: w or m?
m
Let o(v) = 0*v**2 + 5*v - 8 - 5*v**2 + 7*v. Let p(n) = 2*n**2 - 4*n + 3. Let y(l) = 3*o(l) + 8*p(l). Let j be y(-3). Is -2 bigg