6))/11). Suppose -4*a + v = 8, -b*a + 2*a - n = -3*v. Which is bigger: a or 2/7?
2/7
Let c = -0.67 + 0.6. Let n = c - -0.67. Which is greater: -1 or n?
n
Suppose 5*q - 20 = 5*s - 0, -4*q + 16 = 2*s. Which is smaller: 1/4 or s?
s
Let f = 23 - 22. Which is smaller: f or -2/7?
-2/7
Let r = -363 - -9074/25. Which is greater: 1 or r?
1
Let t be ((-52)/14 - -4)/1. Let o = 0.37 - 0.07. Which is bigger: t or o?
o
Suppose 3*t = t. Suppose t = 3*r - 3 + 6. Which is greater: r or -2/3?
-2/3
Let y(j) = j + 6. Let z be y(-5). Let i = -2/95 + 101/285. Is z smaller than i?
False
Let m(y) = 5*y - 29. Let t be m(6). Which is smaller: t or 5/12?
5/12
Let x(u) = -u**3 - 7*u**2 + 7*u - 6. Let m be (-21)/(-12) - (-1)/4. Suppose -6*g = -m*g + 32. Let j be x(g). Is 2 < j?
False
Let d be (0*(-5)/(-15))/(-2). Is -4 > d?
False
Let f be 15 - 14 - (-94)/(-90). Is f at least as big as 1?
False
Let a(f) = f**2 - 5. Let q be a(3). Is q at most 4?
True
Let t = -1 - 0. Let k be ((-4)/8)/(2/4). Do k and t have the same value?
True
Let v(d) = 2*d**2 + 14*d + 7. Let w be v(-7). Is w smaller than 7?
False
Let x be (-5 + 2)*3/9. Let v(m) = -10*m - 1. Let o be v(x). Let l = o + -7. Is l > 2?
False
Suppose -152 = 2*g - 6*g. Suppose g = 5*t + 8. Suppose -2*u = -5*u + t. Is 4/5 != u?
True
Let z = 90.3 - 90. Is z greater than or equal to 0?
True
Let m = 1 + 7. Let g = -4 + m. Is 4 < g?
False
Let s = 5 + -2. Let r = -70.1 - -73. Let p = s - r. Which is smaller: p or 2/3?
p
Let m = -9 - -8.8. Let p = 0.4 + m. Are p and 4 non-equal?
True
Let z be (6*1)/((-12)/16). Let v = -10 - z. Is 3 at most as big as v?
False
Suppose 53*j - 48*j = 70. Suppose 6*o - 8*o = -30. Is o at most as big as j?
False
Let g(x) = -5*x - 18. Let f be g(-4). Do f and 15/8 have different values?
True
Let s = 0.14 - 1.24. Let t = s - -1.2. Do t and -4 have the same value?
False
Let x(b) = -b + 10. Let c be x(7). Suppose 0 = 6*p - c*p. Suppose 3*v - 17 = v + 5*k, 2*v + 4*k = -28. Which is smaller: p or v?
v
Let o = 11/8 + -1/8. Do o and 0 have different values?
True
Let y be (-1)/(-29)*-56 - -2. Is y <= 0?
False
Let q be 90/(-28)*(-12)/(-10). Let j = -4 - q. Which is greater: j or 1?
1
Let l = -499/75 - 42/25. Which is bigger: l or 0?
0
Let s be 4/10 + 71772/(-105). Let o = -682 - s. Which is smaller: 2 or o?
o
Let u(i) = -4 - 3*i + 5*i + 2 - i. Let z be u(-2). Is z equal to -4?
True
Let x = 14 + -13.8. Which is greater: -1.7 or x?
x
Let n(a) = -a**3 - 5*a**2 + 2. Let k be n(-5). Suppose -k*f - 3 = f. Which is greater: 0 or f?
0
Suppose s + 9 = 2*c, -s + 1 = -5*s + c. Which is smaller: 22 or s?
s
Let b = -32/17 - -386/187. Let q = 2 + -2. Suppose q = -2*h + 7*h + 5. Which is smaller: b or h?
h
Let s(h) = h**3 + 3*h**2 + 2*h + 1. Let n be s(-3). Let k = 3 + n. Let z be (k/(-2)*0)/(-2). Which is smaller: z or -2/9?
-2/9
Let h = -2403 + 1611. Let l = -7120/9 - h. Which is greater: 1 or l?
1
Let j = -0.167 - 0.033. Which is smaller: j or 3/23?
j
Suppose -4*x - 10 + 5 = 5*m, 5*m + x = 10. Let q be 0 - 3/m*-1. Is 0 at least as big as q?
False
Let f(t) = t + 6. Let h be f(-10). Is h smaller than -3?
True
Let k be (3/(-42))/((-12)/(-14)). Which is smaller: k or -3?
-3
Let d(a) = -a**2 + 3. Let i be d(0). Suppose -4*t = -i*t. Let w = 0.5 + -0.3. Which is smaller: t or w?
t
Suppose 2*h + 7 = 3*w - 27, h = 3*w - 29. Let r = 8 - w. Which is smaller: r or -8?
-8
Suppose 3*m + 16 = 1. Let t = -142 + 137. Is m bigger than t?
False
Suppose -3*h = -4*o - 2, -24 = 5*o + 4*h - 6. Let r(c) = -c**3 + 6*c**2 - 4*c - 5. Let b be r(5). Is b > o?
True
Let l be (-8)/(-4) - (2 + 0). Is l less than -1?
False
Let y = 1241/7 - 177. Suppose 4*t + q - 2 = 6, -q = 5*t - 11. Let o = -5 + t. Are y and o equal?
False
Let l be (2 + -12)*2/(-14). Let i = -23/21 + l. Let h be (-2)/3*3/(-7). Is i greater than h?
True
Let j = 1.6 - 1.6. Which is smaller: -2 or j?
-2
Let o(c) = c**3 - 2*c**2 - 2*c + 2. Let d be o(3). Let p be (1 - -1) + (3 - d). Suppose 9 = 3*u, -2*u - 3 + 9 = -3*m. Is m greater than or equal to p?
True
Let h = 7.3 + -7. Let x = -9 - -46/5. Which is smaller: h or x?
x
Let l = -8 + 9. Let w = l + -2/3. Suppose -h = h. Is h not equal to w?
True
Suppose 2*s = -2 - 2. Which is bigger: s or -3?
s
Suppose 2*n = -2 + 4. Which is greater: n or -2/13?
n
Let h be (-6)/21 + 11/14. Which is greater: h or 2?
2
Let b(t) = t**2 - 9*t + 1. Let c be b(8). Let r be 6/2 - 1 - 10. Are r and c nonequal?
True
Let a = 1 - 0. Let t = 2 - -1. Suppose 2 = t*o + 5. Is o < a?
True
Let r = -5 - -9. Let q = r - 0. Suppose -3*c = c + q. Is -2 < c?
True
Let d be 1 - 6 - -2 - 2. Let w be (3/2)/(d - -2). Let m be ((-3)/(-14))/((-9)/12). Which is greater: w or m?
m
Let j = 0.14 - -0.26. Is 1/3 less than j?
True
Let t be (-9)/(-15) + (-265)/400. Does t = 2/5?
False
Let h = 77 + -4. Suppose 3*c + h = -5*v, -v - 32 = v + 4*c. Let b be ((-18)/v + -1)*1. Are 1 and b nonequal?
True
Suppose 4*o = -l + 4, -3*l + l - 5*o + 8 = 0. Which is smaller: l or 2?
2
Let x(d) = d**3 - 5*d**2 + 4*d. Let i be x(4). Let a(f) = -f - 1. Let j be a(i). Let p be 3 - ((-208)/(-36) - 3). Which is smaller: j or p?
j
Let i(s) be the first derivative of s**3/3 + 3*s**2 + 1. Let l be i(-6). Which is bigger: 2/11 or l?
2/11
Let c be 0 - -1 - 5/40*12. Is -0.075 not equal to c?
True
Let l be (10/(-7))/(16/(-28)) + -2. Let y be (0/2)/(-1)*1. Is y greater than or equal to l?
False
Let w be (-1)/(-2) - (-11)/2. Let g(p) = p - 2. Let k be g(w). Is 4 != k?
False
Let z = -2 + 3. Let s(w) = 0*w**2 - 5*w - z - 5 + w**2. Let k be s(6). Is 0 at most as big as k?
True
Let c(m) be the second derivative of -m**5/20 + 7*m**4/12 - 5*m**3/6 - 5*m**2/2 + 5*m. Let k(f) = f + 6. Let w be k(0). Let i be c(w). Which is smaller: i or 3?
i
Let k = -9/82 + -1269/1886. Which is greater: k or -1?
k
Suppose 3*q + 5*t - 76 = 0, -4*q + 3*t = -6*q + 50. Which is bigger: 23 or q?
23
Suppose -3*t = -8*t + 35. Which is smaller: t or 6?
6
Suppose 0*u - 4*u - 8 = 0. Let o be (u + 3)/(-1 - -2). Is 4 < o?
False
Suppose 0*a = -2*a - 12. Is a <= -6?
True
Suppose -2*d = -5*p - 18, -3*p - p = -3*d + 27. Suppose 4*j - 3*g = -g + 6, -j = -3*g - d. Which is smaller: 5/4 or j?
j
Let o(l) = 2*l + 14. Let u be o(-12). Is -2/5 at least u?
True
Suppose 0 = s + 2, 4*f - 4*s + 2 = -f. Let l be -1 + 2 + (-6)/3. Is l equal to f?
False
Suppose 3*i - 16 = -5*a - i, -2*i = -a - 8. Let s(y) = y**3 + 5*y**2 + 4*y. Let n be s(-4). Suppose n = -2*h - 2*h. Is a < h?
False
Let t = -27 - -26.8. Is 3 at least t?
True
Let y be 48/18 + (-2)/3. Let u be (y + -1)*(2 - 3). Which is greater: u or 1/6?
1/6
Let v = 5.4 + -5. Let t = -0.9 - -7.9. Let i = t + -6.9. Which is smaller: i or v?
i
Suppose -3*s = -5*u + 9, 4*u + s = -u - 3. Is 2/5 bigger than u?
True
Suppose -3*w - 9 = -6*w. Let i = w - 4. Which is bigger: i or 1?
1
Let n be 124/320 - (-8)/(-40). Does 1 = n?
False
Let i be (-24)/22*1/(-3). Suppose 7 = 3*v - 4*s - 0, 5*v - 4*s = 9. Which is smaller: i or v?
i
Let n(p) = -p**2 + 6*p. Suppose 31 = 5*j + 1. Let l be n(j). Do -1/5 and l have the same value?
False
Let h = 0.4 + 3.6. Let b = 3.9 - h. Let o be (-2)/(-10) + 9/(-195). Is o equal to b?
False
Suppose -j = j - 132. Let p = j - 593/9. Which is smaller: p or -1?
-1
Suppose 5*m = 4*r - 30, m - 5*r + 4*r = -5. Let u be (-2)/(-3) - m/(-6). Let b be 7/(105/(-2))*12. Is b at least as big as u?
False
Suppose 8 = x - 2*o, -3*x - 3*o = -4*o + 1. Is x bigger than -2?
False
Let f(m) = -m**3 - 6*m**2 - 5*m + 6. Let q be f(-5). Suppose s + 5 = q*s. Let x be ((-2)/(-4))/(s/(-2)). Is x at most as big as -1?
True
Let s = 20598/205 - -46/41. Let v = 102 - s. Is 0 >= v?
False
Let b be 2 - (8/3 - 1). Let x = -0.05 - -4.05. Is x <= b?
False
Let o = -35/2 + 249/14. Let q be ((-100)/(-8))/5 + -2. Which is smaller: q or o?
o
Let t(p) = 17*p**2 + 2*p + 1. Let k be t(-1). Suppose -2*z + 2*v = 6*v + k, -3*z = -2*v - 8. Is 4/9 equal to z?
False
Let s(i) = i + 4. Let m be s(-2). Let p be (m + -1)*(-3)/(-27). Which is greater: p or 1?
1
Let u be (4/3)/((-4)/(-18)). Let i be (-4)/7*(-3)/u. Suppose -o + 13 = -3*g - 3, 15 = -5*o - 4*g. Is o bigger than i?
True
Suppose -z - 4*z + 3*r - 36 = 0, -3*r = -6. Let y be (52/z)/(8/12). Are y and -13 nonequal?
False
Let x = -188 + 1509/8. Is 0 not equal to x?
True
Let g be ((-15)/425)/(12/8). Which is small