e -2*c - 2 = -2*z, -3*c + 4 + 7 = 4*z. Let x be (2/3)/(z/3). Which is bigger: x or -2/7?
x
Suppose -3*q = 4*j + 2*q + 140220, 0 = j + 5*q + 35055. Let o = j + 5468537/156. Let l = 1/39 + o. Which is greater: 1 or l?
1
Let d be ((-3)/(6/(-4)))/32. Which is smaller: -2/7 or d?
-2/7
Let v = 19/51 - 2/51. Which is smaller: 18 or v?
v
Suppose 0*l - 1 = i - l, -3*i + 4*l = 1. Suppose s + 3*s + 12 = 0. Is i > s?
False
Let b = 20 - 12. Let i be 4/b*12/(-14). Which is bigger: i or -1?
i
Suppose -4*t - 18 = 2*y + y, 3*y = 4*t + 6. Suppose 2*w - 4 = 4*o, -2 = 2*w - 3*w - 3*o. Suppose 2*f = f - w. Is y <= f?
True
Suppose 0 = -5*q + q + 4. Suppose 0 = -4*d + 6*u - u + 37, -17 = -4*d + u. Let k be d + -1 + 1 + -1. Is k at most q?
False
Let t be (-30)/75 + 64/10. Let k be t/8 - 4/4. Is 0 at least k?
True
Let w be 2/(-7) - (-4)/(-126)*12. Let z = -16 - -28. Suppose z = 4*n - 8*n. Are w and n nonequal?
True
Suppose -4*z - z - 65 = 0. Is -1 at most as big as z?
False
Let m = 314/5 - 63. Let a be 0/2 + (0 - -1). Which is greater: m or a?
a
Suppose -4*h = -2*s - 4 + 26, -3*h + 5*s = 34. Suppose -2*u = -3*u - 4. Is u >= h?
False
Let c be (18/(-30))/((-18)/20). Let x = -0.1 - -0.08. Let r = x - 1.98. Is r bigger than c?
False
Let j = 1 - 2. Let q(l) = l**2 + 5*l + 3. Let v be q(-3). Let z be v/4 + 1/(-4). Is z greater than j?
False
Let i = -491/7 + 70. Let z(q) = -q**2 + 7*q - 5. Let y be z(7). Let v(w) = w + 4. Let h be v(y). Which is smaller: h or i?
h
Let j be (-6)/(-19)*(-1)/3. Suppose 2 = 2*a - l, 3*a - 3*l = -0*l + 6. Let s be -1 + 0/(a + 2). Which is smaller: s or j?
s
Let p = -0.08 - 1.92. Is 2/5 at most p?
False
Suppose 8 = 2*n, 0 = 2*q + 3*q - 2*n - 7. Suppose 2*l - 18 = -2*c - 2*c, -2*l = -q*c + 10. Which is bigger: l or 2?
2
Let v = -11 + 20. Let z be v/6*1/4. Which is smaller: -1 or z?
-1
Let a = 9 + -7. Let w be a/(-7) + (-115)/(-35). Let i be w/(-6)*2*-3. Which is smaller: -2/3 or i?
-2/3
Let z = -1.8 + -0.1. Let r = -2 - -4. Let u = z + r. Is -0.1 at least as big as u?
False
Let h = -0.0263 - -2.0363. Let i = -0.01 + h. Let y = 43/3 - 14. Is y < i?
True
Let s = 5.47 + -5.6. Is s smaller than -0.1?
True
Let g = -69 + 482/7. Suppose 3*k + 3 = -0*k. Which is smaller: k or g?
k
Let i = 399/4 + -99. Is i bigger than -0.5?
True
Let i = -0.8 - -0.3. Let h = -0.6 - i. Let k = h - 0. Which is greater: 0.2 or k?
0.2
Let c(b) = -b**3 + 3*b. Let z be c(3). Is z at least as big as -17?
False
Let i = -3 - 6. Is i bigger than -8?
False
Let q = 32 - 46. Let m = q - -13. Which is bigger: 5 or m?
5
Let p = -70 + 165/2. Which is smaller: p or 14?
p
Let u be (4/6)/((-26)/3). Are u and 1 unequal?
True
Let j(i) = -i**3 - 15*i**2 + 17*i + 17. Let h be j(-16). Which is smaller: h or 17/9?
h
Let u = -18 - -12. Let x be ((-2)/3)/(u/(-9)). Are 0 and x equal?
False
Let y = 1 + -4. Let m be y/(2 + 2/8). Which is greater: m or 0?
0
Let v(k) = -k + 4. Let l be v(3). Let b be (0 - 12)*6/(-8). Let i be ((-2)/(-4))/(b/(-6)). Is l at most i?
False
Let b be (-1 + 15/12)*12. Is b > 5/3?
True
Suppose -2*l + 9 + 1 = 0. Which is smaller: 14/3 or l?
14/3
Let p be -2*((-42)/(-4))/(-3). Let q = 8 - p. Is q at most as big as -0.9?
False
Suppose -1 = a + 2*o, 3*o + 12 = 5*a - 3*a. Which is bigger: 0.04 or a?
a
Suppose 8*n = 2*n. Which is smaller: 1 or n?
n
Let m(f) = f**2 + 6*f + 4. Suppose 12 - 57 = 4*q + 5*o, q - 2*o = 5. Let p be m(q). Is p at most -1?
True
Let k = 20 - 14. Which is smaller: k or 2?
2
Let z(t) = -t**3 - 5*t**2 - 5*t. Let j be z(-4). Suppose -j*o = -5*o + 16. Is 17 <= o?
False
Let l = 20.036 + -0.036. Which is bigger: 0 or l?
l
Let l = 1.8 + -0.8. Which is smaller: 0.5 or l?
0.5
Let o = -0.08 + -0.09. Let l = o - 9.83. Let n = -9.9 - l. Which is smaller: -4 or n?
-4
Let i = 1 - 0.9. Let k = -23 + 49/2. Which is smaller: i or k?
i
Suppose 5*y + 2 = 7. Is y equal to 3/22?
False
Suppose 2*y = -5*i + 3, -2*y + 1 = 3. Which is smaller: 7 or i?
i
Suppose -2*l + 4 = -5*s, 0 = -3*s + l + 3 - 5. Let d be (0 - s)/(3/(-3)). Is d smaller than 3/5?
True
Let l = -2 - 3. Let d be 9/l*10/(-3). Let y = 5 - d. Which is greater: -3/2 or y?
y
Let f be (-2)/(-8) - (-63)/(-12). Let g = f + 5. Is g equal to 0?
True
Suppose -5*l - 45 + 10 = 0. Which is greater: l or 0?
0
Let f(z) = -5*z**3 + z**2 + 2*z + 1. Let b be f(-1). Let o = 66 - 59. Which is smaller: o or b?
b
Suppose 1 = 3*r - 17. Does 2/3 = r?
False
Let b be 1 + 1/(2*-2). Let o(p) = p**3 - p - 1. Let q be o(-1). Let h = q + 1. Is h at most as big as b?
True
Let x(d) = 3*d**3 + 5*d**2 + 3*d**2 - 5 + 6*d - 2*d**3 + 0*d**3. Let r be x(-7). Which is bigger: 0.2 or r?
r
Let m = 184/693 + 2/99. Which is smaller: 10/7 or m?
m
Suppose 0*o + 21 = 3*d + 4*o, -4*o - 3 = -5*d. Let c be d*(-5)/(855/(-6)). Is 0 equal to c?
False
Let h = 162 - 1460/9. Suppose -13 = -3*s + 4*u - 38, -4*s - 4*u = -4. Is h at most s?
False
Let b = -0.152 + -1.868. Let a = 0.02 + b. Suppose 4*z = -2*y + 14, z + 1 - 3 = -2*y. Is y less than a?
False
Let z(x) = 3 + 1 - 3 + x - 3. Let r be z(4). Which is smaller: r or 4/5?
4/5
Let i be ((-3)/(-4))/(18/16). Let g = 17/14 + -421/364. Let a = g + -4/13. Is i at most as big as a?
False
Suppose -20 = i + 4*i. Which is smaller: -5/2 or i?
i
Let z = -41/5 + 277/35. Let c = -1 - -1. Which is smaller: z or c?
z
Let j = 499 - 482. Let t = 3 + 13. Is t bigger than j?
False
Suppose -1 = -4*u + 3. Let s be (4/6)/((-40)/12). Which is smaller: u or s?
s
Let w be (-14)/3*(-1 - 2). Let f be (-4)/w + 30/7. Let x = 2 - f. Which is bigger: -3 or x?
x
Suppose 0 = -5*k + 3*l + 11, 2*k = 4*l - 2*l + 6. Suppose 0 = h - k. Which is greater: -1/7 or h?
h
Let w = 31 - 29. Is 11/5 at most w?
False
Let p(c) = -c - 9. Let u be p(-7). Which is smaller: -3 or u?
-3
Let z = 90 + -78. Let r = 26/15 - 7/5. Are z and r unequal?
True
Let b(q) = q**2 - 8*q - 1. Let x be b(6). Let j = x + 18. Suppose j = -7*m + 2*m. Which is smaller: -2 or m?
-2
Let g = 3.1 - 3. Let m = 1.9 - 2. Is g greater than or equal to m?
True
Suppose b = 2*b. Let c be 1 - 0 - b - 17. Let h be (2/c)/(2/4). Which is smaller: h or 2/5?
h
Let i be ((-24)/(-40))/(-1 - -2). Which is bigger: i or 0?
i
Let l be 2 + -1 - (4 - 4). Let t be (-4)/(-10)*27/18. Which is smaller: t or l?
t
Let v be (-49)/23 - (-6)/3. Let z = 29/46 + v. Let r be 2 + 0 + -1 + 0. Does z = r?
False
Suppose 5*k - 3 = 2*k - 5*s, 5*k - 5 = -s. Is -2/7 > k?
False
Let l be (-9)/(-20) - 4/10. Let y = -0.9 + 1.9. Which is smaller: y or l?
l
Suppose 0 = b - 5*g - 7, 4*b - 9 = -b - g. Let v be (-26)/b - (-4 - 0). Is v equal to -9?
True
Let w be 3/(1 + -7)*0. Suppose 4*v + 12 = k, -2*k + 4*v + 0 + 12 = w. Which is bigger: 2 or k?
2
Let w be ((-8)/(-12))/((-16)/(-18)). Which is bigger: 1 or w?
1
Let r = 3 + 2. Let u = -5 + 13. Let n = r - u. Is n at most 0?
True
Let y = -6/53 + 277/106. Which is smaller: y or 2?
2
Let d = -139 - -139. Are -12 and d equal?
False
Let z(c) = c**2 + 8*c + 11. Let q be z(-8). Let x be (-1)/((q/12)/11). Is x less than or equal to -13?
False
Let i be 5/25 - (-722)/(-10). Let j = i - -723/10. Which is smaller: j or -1?
-1
Suppose 2*a = 3*s - 13, -5*a + 10 + 0 = s. Is a greater than 2/15?
True
Suppose k = 5*k - 44. Is k > 2?
True
Let l be (-4)/8 - 1/2. Let r = 16 + -11. Let q(x) = -x + 4. Let o be q(r). Is o != l?
False
Let d = -5 - -6. Suppose -6 + d = 5*q. Let t(a) = -a**2 - a - 1. Let z be t(-2). Which is smaller: q or z?
z
Let p(a) = -a**2 - 1. Let w be p(3). Which is bigger: w or -9?
-9
Let h = 319 - 2237/7. Is h > 2/15?
False
Suppose 18 = 2*d + 2*h, -5*d + 2*h = 3*h - 45. Suppose -5*i + 4 = d. Let n be (2 + (-8)/3)/2. Is i > n?
False
Suppose 0*p + 2*p = 12. Suppose -1 = 5*g - p. Which is bigger: -4/17 or g?
g
Let y = 1.5 + -1.4. Let u = 1.1 - y. Suppose 0*j = j. Which is smaller: u or j?
j
Let s = 1 + -1. Suppose -5*c + 34 - 4 = s. Suppose -c*r = -3*r. Are 0 and r non-equal?
False
Suppose 2*l + 5*d + 17 = 0, 2*l + 2*l - 5*d + 19 = 0. Let a be (4/(-8))/((-9)/(-90)). Which is bigger: a or l?
a
Let g be 0 + 0 + (-6)/3. Let a = 6 + -8. Is g bigger than a?
False
Let d = 3 + -2.4. Let q = -0.7 + d. Which is smaller: q or 0.04?
q
Let j = 0.006 - 24.006. Do -1 and j have different values?
True
Let z = -11/6 - -5/2. Is 0 at most as big as z?
True
Let d = 52 + -42. Is d != 17/2?
True
Suppose -h - 2*x + 0*x = -76,