)). Suppose -y = -5*o, 3*b + 2*o - 16 = -b. Let a = -9 + 105/11. Which is smaller: b or a?
a
Suppose 4*z - 6*z + 32 = 0. Suppose 4*k + 5*o + 32 = 0, 5*k - 3*o + z = -24. Are -7 and k equal?
False
Suppose -2*i = -19 - 1. Suppose 4*a = -3*k - 2, 0 = -3*a + k - 5 + i. Is 1/4 greater than a?
False
Let s(o) = -69*o**3 - o**2 + 2*o. Let z be s(1). Are z and -68 unequal?
False
Let o = -89 + 94.9. Let m = o - 6. Let l be 10/12 + 1/(-3). Is m bigger than l?
False
Let n be 4/8 + 207/10. Let z = n + -21. Is 1 greater than z?
True
Suppose -2*b = -3*l - 0 + 51, -l + 17 = 3*b. Suppose 5*z - l = 4*a, -z - 2*a - 4 = z. Is 2/13 at least as big as z?
False
Let o be ((-4)/7)/((-444)/42). Which is bigger: o or -1?
o
Suppose 6*d - 69 = 3*d. Which is smaller: 24 or d?
d
Let r = -0.3 + -0.1. Let v = -0.6 + r. Let z = v - -1. Which is bigger: 1/7 or z?
1/7
Let i = -49 + 53. Let l = -0.3 + 2.3. Let p = l - i. Does p = -1?
False
Let u = 4 + -4.04. Let w = u - -0.07. Let z = -0.07 - w. Which is smaller: z or 0.1?
z
Let a = -19.99 + 21.8. Let z = 0.19 + a. Is -2 greater than or equal to z?
False
Suppose w = 2*j + 3, -j - 2*w = -6*j - 6. Which is smaller: 2/3 or j?
j
Let f be 15/60 + (-13)/(-92). Which is greater: 1 or f?
1
Let o = -19 + 15. Let n be (3 + 12/o)/(-1). Which is greater: n or -2/9?
n
Let c be (0 - 11)/((-2)/4). Let i = c - -44. Let j be -2 + 3/(i/40). Which is smaller: j or -1?
-1
Let q = -209/120 + 3/40. Which is smaller: -3 or q?
-3
Suppose -3*f - 14 = y, 4*f - f = y - 10. Let m be y/(-4) - 44/8. Which is smaller: -6 or m?
-6
Let o be 20/(-4) - (-7 + 3). Which is bigger: 3/11 or o?
3/11
Suppose -7*q = -471 + 135. Is 46 >= q?
False
Let j = 198 - 2573/13. Let u = 3 - 4. Are u and j nonequal?
True
Suppose 0 = 10*z - 4*z - 156. Which is smaller: z or 1?
1
Let g be (-2)/(-6)*(1 + -1). Suppose g = 2*j - 0*j. Is j != 5/9?
True
Suppose i + 26 = -3*n, -i - 31 = 3*n + i. Let h be (-5 - (3 - 2))/1. Which is smaller: n or h?
n
Let z be (-15)/130*(-4)/6. Which is smaller: z or 1?
z
Let q be 4/(-10) - (-36)/(-10). Is q >= -4?
True
Let b(n) = n**3 + 2*n**2 - 2*n + 4. Let u(i) = i**2 + 1. Let t(f) = b(f) - 3*u(f). Let g be t(2). Suppose -4*c = -3*z - 3, c - 3*c + g = -z. Is -2 at most z?
True
Let k(r) = 21*r - 2. Let u be k(-1). Is -22 at most as big as u?
False
Let k(o) = -o + 3. Let p be k(0). Suppose -c + p - 4 = 0. Which is smaller: c or -2/5?
c
Let a be (-1)/3*6/1. Are -1 and a unequal?
True
Let g = 4 + -8. Is -1 at least g?
True
Let t(h) be the third derivative of 2*h**2 - 1/24*h**4 + 0 + 0*h + 1/30*h**5 + 1/6*h**3 - 1/120*h**6. Let u be t(2). Is u smaller than -1?
False
Let j = -10 + 11. Is j equal to 0.29?
False
Let s be (9/(-12))/(138/(-2974)). Let o = -65/4 + s. Is -1 greater than or equal to o?
False
Let z be (-12)/42 + 19/42. Which is greater: z or 1?
1
Let f be 7/14*(1 + -1). Which is greater: -7/13 or f?
f
Suppose -5*w + 29 = -2*u, 4*u = 6*w - 4*w - 18. Suppose d = r + 5*d + w, -3 = -r + 4*d. Is r less than -1/5?
True
Suppose -24*w - 38 = -14. Which is smaller: w or 0?
w
Let a = 7/124 - 1413/868. Is a equal to -3?
False
Let u(n) = n**2 + 3*n - 1. Suppose 2*v = -7 + 1. Let r be u(v). Which is smaller: 2/7 or r?
r
Let u be 30/(-7) - 8/(-28). Let z be (5 + -2 + u)/1. Let q = 0 - -1. Is q at most as big as z?
False
Let g = -2/323 - -2590/969. Is 2 greater than or equal to g?
False
Let k be 535/14*10/300. Let n = -1/42 + k. Suppose 14 = 4*t - 2, -2*l + t = 4. Which is smaller: l or n?
l
Let r(c) = -4 + 10 - c + 2*c + 4. Let p be r(-9). Is p < -2/7?
False
Let z = 21 + -13. Let n be -1*4/(z/(-6)). Is n <= 3?
True
Let b be ((-2)/1)/(-1) + (-4 - 5). Is b greater than 1?
False
Let t(m) = -m - 1. Let j be t(-6). Suppose 3 = 4*x + 4*a - 1, -4*x - j*a = -5. Let v be (-9 - -7) + 2 + 6/(-15). Is x not equal to v?
True
Let x = -0.21 + -1.29. Let p = 2.5 - x. Let q be 22/(-28) + 4/14. Is p less than or equal to q?
False
Let m = -24 - -25.1. Let g = m - 1. Let k = -1.9 - -2.9. Are k and g non-equal?
True
Let i be (-1 + 2)*1 + -5. Let w = -182 - -178. Is w bigger than i?
False
Let z be (-1)/4*72/42. Which is greater: -1 or z?
z
Suppose 5*f - f - 9 = -t, -5*f + t = 0. Suppose -w = 2 - f, 4*h = 2*w - 18. Does h = -4?
False
Suppose v = -0*v + 9. Let g = 101/11 - v. Are g and 1 nonequal?
True
Suppose 6*o + 9 - 3 = 0. Which is smaller: -5 or o?
-5
Let w = 26 + -27. Which is bigger: -1/30 or w?
-1/30
Let u = 25 - 22. Suppose 3*s - 2*s = 3*o - 29, s - 37 = -u*o. Do o and 13 have different values?
True
Suppose -3*y - 14 = -2. Let o be ((-2)/y)/((-3)/(-30)). Suppose -4*t = 0, 3*f = o*t - 0*t. Is f at least 0?
True
Suppose 7*s = 2*s. Let j = -1 - -4. Let z = j - 4. Is z > s?
False
Let m(g) be the second derivative of g**5/20 - g**4/4 + g**3/6 - g**2 - 2*g. Let s be m(4). Let z be 15/s + (-1)/2. Is z >= 1/4?
True
Let w = 0.19 - -9.81. Let h = -9.8 + w. Which is smaller: -1 or h?
-1
Let z(q) = -6*q - 10. Let j be z(-5). Let r = j - 18. Which is smaller: -0.1 or r?
-0.1
Let i = -2.3 + 14.3. Let s = i - 5. Let v = s + -9. Is v > -0.4?
False
Suppose -3*y = y - 4. Let g be (4/6)/((-3)/y). Let u be 1/2 + 2/4. Is g bigger than u?
False
Let r(m) = -5*m - m**2 + 2*m + m - 1. Let j be r(-2). Let l be ((-4)/(-15))/(3 - (-84)/(-20)). Is j at least l?
False
Suppose 5*x - r = -214, -84 - 146 = 5*x - 5*r. Let a be x/104 + 6/39. Is a less than -1?
False
Suppose k + 2*k = o + 5, 3 = 5*k - 3*o. Suppose 0 = -5*y + 3*s - 0*s - 17, -s + 19 = -5*y. Let d be -4*3/(y*k). Is 0 <= d?
True
Let y be 15/(-2)*(-3)/30. Let c = 0.2 + -1.2. Which is bigger: c or y?
y
Let k(r) = -r**2 + 8*r + 5. Let m be k(8). Suppose 0 = -2*n + 4*i + 20, 0 = -5*n + 2*i + m + 5. Let b = n - 2. Is b greater than -3?
True
Let k be (-4)/1 + (-300)/(-74). Is k < 1?
True
Suppose 15 = -4*d - 13. Let q = d + 7. Are 6/7 and q equal?
False
Suppose 223 - 15 = -4*u. Is -1 at least as big as u?
True
Let l = 18649/36 + -518. Which is smaller: 1 or l?
l
Let j = 9 + -16. Suppose -6 = 2*g - 18. Let u = g + j. Is u at least as big as 2/5?
False
Let n = 215/4 + -54. Let i = -22.34 - -22. Let u = 0.3 + i. Which is smaller: n or u?
n
Let a be (-8)/10 - 36/(-45). Let q be (-3)/(((-1)/2)/(-1)). Let f = 20/3 + q. Is f != a?
True
Suppose 0 = -y + 5*h + 29, -2*y - 32 = -4*y - 3*h. Let w = y + -8. Let c = -15 + w. Which is bigger: -3 or c?
-3
Let s = -10 + 10. Let j be (1 - (3 - s)) + 5. Which is smaller: j or 3/2?
3/2
Let f(q) = q**3 + q**2 + 15. Let x be f(0). Let s be ((-4)/x)/(2/3). Which is smaller: s or 5?
s
Let q = -2/201 - -739/201. Let c = 19/6 - q. Which is bigger: -1 or c?
c
Let z be (-4)/(-10) + 90/25. Suppose -h = -z*h + 3. Is h not equal to 2/7?
True
Suppose 5*t + 162 = 3*t. Which is bigger: -83 or t?
t
Let r be (6/(-6))/(46/4). Which is greater: r or -1?
r
Suppose 0 = -f + 5*o + 13, 7 = 4*f + 3*o + 1. Suppose 0*v - 5*v = 15. Let k = v + 7. Which is bigger: f or k?
k
Suppose 4*c - 3*c - 5*s = 40, -3*s = -5*c + 156. Suppose 3*u + 3 = c. Suppose 7*m - 4*m - u = 0. Which is bigger: -0.1 or m?
m
Let i be 12/5 + (-8)/20. Suppose -5*r = 2*x - 2 + 23, -3*x - 3 = -i*r. Let h be 9/(-6)*10/6. Which is smaller: h or r?
r
Let m be (4/(-3))/(6/(-45)). Suppose 2*t + m = 5*x, 3*t + 2*t + 25 = -5*x. Is t <= -5?
True
Suppose 6*h - 16 = 14*h. Let k be (-2)/5*(7 + -2). Let w be (k/(-5))/(2/(-10)). Is h less than w?
False
Let t = 20 - 24. Which is smaller: -3 or t?
t
Let v = -7/12 - -11/12. Which is greater: 2/59 or v?
v
Let d = 0.6 - -21.4. Let b = d + -22. Is b bigger than -18?
True
Let v = -2 - -1. Let c = 28563/3289 + -1009/115. Let l = 6/65 - c. Is v smaller than l?
True
Let l = -0.18 + 0.88. Let h = l + -0.7. Is -6 at most as big as h?
True
Let r(n) = n**2 + 5*n + 5. Let u be r(-2). Let t be 20/(-1035)*(-6)/4. Is u greater than or equal to t?
False
Let t(b) = b**3 - 11*b**2 + 2. Let v be t(11). Which is bigger: v or 8/3?
8/3
Let j(m) = -m**2 + m + 4. Let v be j(-3). Let r be (-14 + 15)*(0 - 0/(-2)). Is r <= v?
False
Let d = -15.1 - -15. Is d greater than -0.1?
False
Let g be (2/2 - 0)*-7. Let c be (-3 - -6)*2 - 0. Let f be c/(-1 + 2/8). Do f and g have the same value?
False
Let v = -284/5 + 56. Let m = -0.02 + 10.02. Let g = m + -11. Which is bigger: v or g?
v
Let b = 92 + -91. Let x = 0.1 - 0.1. Which is smaller: b or x?
x
Let v = -3140/3 + 988. Let x(s) = 