= -n**2 + 7*n. Let k be x(7). Which is smaller: k or 2/5?
k
Let u be (-2)/356*(-3138)/(-495). Let s = 1/1335 - u. Let g = s - -104/165. Are g and 1 equal?
False
Suppose -12 = 3*t, 4*b - 2*t + 20 = 2*t. Let f be (-2)/b*(-9)/15. Let g = 1 - 0.9. Does g = f?
False
Let t(i) = -i**2 + 6*i. Let q be t(6). Suppose 4 + q = -4*f, -6 = 2*b + 4*f. Is b at least -3/5?
False
Let c be (1 - -1)*6/4. Let p = -5 + 5. Let s(m) = m + 2. Let l be s(p). Is c greater than or equal to l?
True
Suppose 0 = -w + 4*w - 3. Suppose 4*x + x - 3*o - 1 = 0, 4*x - 2*o = 0. Which is smaller: x or w?
x
Let s be ((-2)/(-3))/((-55)/15). Suppose 0 = 7*z - 2*z. Suppose z*r = -r. Which is smaller: s or r?
s
Suppose -174 = -4*m - 18. Let o = m - 157/4. Which is smaller: o or 0.4?
o
Let q = -2/161 + -312/805. Are q and -10 non-equal?
True
Let g be (4/2 + -13)/(-1). Let j(o) = -o**2 + 11*o + 3. Let i(p) = 1. Let u(h) = -5*i(h) + j(h). Let s be u(g). Which is greater: s or -3?
s
Let y be (-1856)/(-72) - (-2)/9. Which is smaller: y or 27?
y
Let d = 0 - 1. Let f(v) = -4*v + 1. Let b be f(2). Let k = b + 9. Is k less than or equal to d?
False
Let g(x) = -x**2 + 21*x - 33. Let f be g(23). Which is bigger: -78 or f?
-78
Let m be (2/(-25))/((-12)/15). Suppose 4*j = -3*v + 1, 9 = -4*v + 6*j - j. Is m greater than or equal to v?
True
Suppose -2*t = -4 + 6. Let l be (-2 - t)/((-14)/6). Which is smaller: l or -1?
-1
Let v be 1/(-3) + 87/(-9). Let n = -44 + 34. Is v greater than n?
False
Suppose 3*r + 313 = -5*z, -3*z - 122 = -z - 2*r. Let s = z + 121/2. Are s and -3 non-equal?
True
Suppose -5*i = 0, p - 3*p + 2*i = 2. Suppose 0 = 5*c + d + 3, 1 + 3 = -2*c + d. Are c and p non-equal?
False
Let p be 2/7 - 16/7. Let v be (p/12)/((-2)/8). Which is greater: v or 15?
15
Let k be ((-1)/(3/(-12)))/4. Let i be (11/77)/(k/2). Which is greater: 12 or i?
12
Let o be 14/21*3/(-10). Let c(a) be the first derivative of a**2/2 + 4*a + 1. Let l be c(-4). Which is smaller: o or l?
o
Suppose 0 = 2*i - 4*h + 16, -h = -i + 2*i + 5. Let k = i - -6. Is -4 at most as big as k?
True
Let d be 1/(-2)*4/6. Let h = -58 + 59. Which is smaller: d or h?
d
Let l(g) = -g - 2. Let d be l(-6). Let f = 1 - d. Let h be 2/(-6) - 4/f. Is h less than 4/9?
False
Let c = 71 - 76. Let t = 5 + -6. Which is greater: c or t?
t
Let p = -33 - -33. Which is smaller: -3/37 or p?
-3/37
Let a be ((-2)/(-564))/((-2)/24*-4). Which is bigger: a or 1?
1
Let s be (454/(-4))/(2/4). Let f = -2499/11 - s. Which is smaller: -1 or f?
-1
Suppose 2*k - q + 7 = 3*k, -3*k = -q - 5. Suppose 0*j - 4*a + 15 = k*j, 2*j + 4 = 2*a. Is j != 2/17?
True
Let n = 1 + -3. Let f = 3 + -1. Suppose -f*a = -a. Is n bigger than a?
False
Let m(t) = -t**3 + 4*t**2 + 5*t - 3. Let z be m(5). Let b be 1/(-2) - z/(-6). Is 1/4 < b?
False
Let g = -75 - -88. Is 13 <= g?
True
Let j(x) = 2*x**2 - 4. Let w be j(2). Is w > -4?
True
Suppose -2*d + 7 = i, 32 - 8 = 5*d - 4*i. Which is smaller: 3 or d?
3
Let m(q) be the third derivative of 0 - 2*q**2 + 1/60*q**5 - 1/3*q**3 - 1/24*q**4 + 0*q. Let w be m(2). Is w < 3/4?
True
Let c = 6 + 3. Let r = c + -7. Let f = -0.1 - 0. Which is smaller: f or r?
f
Suppose 2*f + 2*f = 4*q - 28, -4*f = 5*q + 10. Is f < -5?
False
Let u = -17 + 12. Let a(j) = 13*j + 1. Let w be a(3). Let v be (-2)/3 - w/12. Is v greater than u?
True
Let g = -3.8 + 4. Do g and 13 have different values?
True
Let w = 22 + -10. Let a be 4/6 - 8/w. Let t be (a - (-1)/(-2))*-8. Which is smaller: t or 2?
2
Let n = 0.8 + -0.1. Let d = n - 2.7. Which is smaller: d or -1?
d
Let k(m) be the third derivative of 0*m + 0 - 1/24*m**4 - 1/6*m**3 - m**2. Let d be k(-2). Is 3 greater than or equal to d?
True
Suppose 3*r - 5*t + 2 - 1 = 0, -r + 3*t + 1 = 0. Let y = -2 - -2. Suppose y = -4*h + 4*o, -3*h - 4*o + 2 = -5. Is r at most h?
True
Let h be 1/30*94 + -3. Let m = 0.09 + 2.91. Is h at most as big as m?
True
Suppose -5*p + 0*i - 3*i - 4 = 0, 5*i + 15 = 0. Let b(f) = -f**3 - 3*f**2 + f + 1. Let m be b(-3). Let r be 38/(-16) - (0 + m). Is p < r?
False
Let p be (13/(-26))/((-2)/4). Let q be (-2 + 7 - 0)*p. Which is bigger: 7 or q?
7
Let w = 16 - 10. Which is bigger: w or 5?
w
Suppose -3*c = 10 - 34. Let t = c + -13. Is -6 > t?
False
Let g = -1210 + 32666/27. Which is bigger: 0 or g?
0
Let z be -2 + 0/4 - -2. Is 3/8 greater than or equal to z?
True
Suppose 0*m = 5*m - 3*s + 5, 5*m = 2*s - 5. Let u be m/3*9/(-3). Which is bigger: 0 or u?
u
Let p = -110/162461 + -2336658963/25993760. Let d = p + 449/5. Let s = 19/32 + d. Is 2 not equal to s?
True
Let v = -388/1827 + -2/203. Let r be 33/(-39) + (-8)/52. Which is smaller: r or v?
r
Suppose 0 = 3*v - 4*v + 14. Which is greater: v or 1?
v
Let o be (-1 - (-2 + -1))/(-4). Is 0 > o?
True
Let z = 5.8 + -12. Which is smaller: 0.1 or z?
z
Let m be -4*-22*2/(-8). Let t be m + (-1)/2*-2. Let q be (54/t)/3*-1. Is 0 <= q?
True
Let j be (-6)/(6/(-2))*4/(-4). Which is greater: 17 or j?
17
Let v = 9/40 - 33/80. Which is smaller: -1 or v?
-1
Suppose 3*s + 204 = 2*g - 5*g, -3*g + 5*s - 172 = 0. Is -64 > g?
False
Let f be (-10)/(-35) - (-66)/14. Suppose -o + f = a - 3*o, 3*o = 4*a - 5. Let y be 2*(-2)/(-4) + -2. Is a smaller than y?
False
Let u(g) = -3*g - 3. Let v be u(4). Let b be v/18*3/20. Which is bigger: 2 or b?
2
Let v = 41 - 32. Is v smaller than 9?
False
Let a = -37/3 - -95/6. Which is smaller: 4 or a?
a
Let j be 4/(-7) - 56/(-140). Is 1 at least j?
True
Suppose -5*k + 5*v - 30 = 0, 0 = -k + 3*v + 4 - 10. Let i = 3 - -1. Let w = i + k. Which is bigger: w or -4/5?
-4/5
Let z = 1/582 + -340/291. Which is smaller: -1 or z?
z
Let t = 0.6 + 5.4. Let u = t + -6.4. Let d = u - -1.4. Is 0.3 greater than d?
False
Let u = -24 - -23. Which is smaller: u or -3?
-3
Let c be 14/(-4) - 1/(-2). Let d be 5/(-2) - (-3)/(-6). Does c = d?
True
Let c = -6 + 5. Let t be (-2 + c)*(-6)/(-9). Which is smaller: 2 or t?
t
Suppose 9*s + 184 = 13*s. Are s and 46 nonequal?
False
Let l = 0.19 - -6.81. Which is bigger: l or -1/3?
l
Suppose -3*m - 4*z + 5*z = 9, m = -5*z + 13. Let f be (m - 27/(-15))/1. Which is smaller: -7/5 or f?
-7/5
Let k = 4/31 - 1028/279. Which is greater: -3 or k?
-3
Suppose 7*o - 89 - 30 = 0. Are 16 and o equal?
False
Let h = 43 + -43.11. Is 0.1 less than h?
False
Let r(v) = 2*v**2 - 5*v + 4. Let f be r(4). Suppose f = 2*y - 4*o, 2*y + o = -o - 8. Which is smaller: -1/12 or y?
-1/12
Suppose b + 12 + 2 = 0. Which is smaller: b or -15?
-15
Suppose 0 = v + 2, -5*f + 0*f = v + 7. Which is bigger: -12/5 or f?
f
Let w = 3 + -2.6. Is w <= -0.02?
False
Let s(w) = w**3 - 6*w**2 - 6*w - 8. Let q be s(7). Let c be (-3 - 1)/(q - 1). Is c less than or equal to 1?
False
Let r(o) = -3*o - 1. Let j be r(-1). Suppose -j*v - 2*v = -4. Suppose -t - v = -3. Is t less than or equal to 1?
False
Let r = -2/87 + -245/696. Which is smaller: r or 1?
r
Let i be (17/102)/((-6)/8). Which is smaller: i or 0?
i
Suppose 2*h - 7*h + 240 = 0. Suppose -h = -2*q + 5*p, 5*q = q + 2*p + 64. Let s be -2 - -4 - q/10. Is 1 at least s?
True
Let r = 16.1 + -16. Which is smaller: r or -9?
-9
Suppose 5*f + 10 = 0, -8*q + 2*f = -3*q - 9. Is q < 15/8?
True
Let k(y) = -5*y + 5. Let f be k(4). Let b be (-14)/(-10) - (-6)/f. Which is smaller: b or -1?
-1
Let r = -1 - 0. Which is greater: -2/29 or r?
-2/29
Suppose -2 = 4*j + 14, -12 = -3*l + 3*j. Let w = 103/3 + -1021/30. Is w > l?
True
Suppose 81 = 2*i + 31. Let u = -15 + i. Suppose -2*n = -u, 5*n - 18 = -2*m + n. Is -0.1 at least m?
True
Let a = -0.4 + 0.39. Let i = 4.01 + a. Let l = i + -4. Which is greater: -0.2 or l?
l
Let n = -3 + 5. Suppose -3*p = n*p + 20. Let f = 5 + p. Is f at most 0.3?
False
Let q(w) = -2*w**2 - 5*w + 2. Let p(r) = r**2 - r - 1. Let x(m) = 3*p(m) + q(m). Let t be x(8). Which is smaller: t or 2?
t
Let m be 3/(-3) - (-10)/(880/99). Suppose -4*b = 3*a - 19, -2*b + 0*a - 4*a = -22. Which is smaller: b or m?
m
Let p be ((-1)/(-6))/(2/(-8)). Let w = 1 - 1. Which is bigger: w or p?
w
Let i = 4477/3 - 1508. Which is smaller: -16 or i?
-16
Suppose 2*n - 4*n - 5*m = 15, -2*n = -4*m + 6. Which is smaller: n or -11/2?
-11/2
Suppose -3*b + 9 = -0*b. Suppose 16 = 4*c, 0*x + b*c = 3*x + 30. Are x and -1 nonequal?
True
Let q = 94 + -103. Is -10 > q?
False
Let a(j) = j**2 - 11*j + 12. Let c be a(10). Is c equal to -0.02?
False
Suppose 8*n + 12 = 5*n. Let 