2*n + 14, -1 = 3*n + 5*d - 22. Let l(c) = -c + 8. Let x be l(n). Which is greater: 0 or x?
x
Let b be (60/(-275))/(4/(-10)). Let c(g) = -g**3 + 2*g**2 + 2*g + 4. Let q = 14 - 11. Let l be c(q). Which is greater: l or b?
l
Suppose 5*n - 2*n = 0. Suppose 2*z + 1 - 13 = n. Which is bigger: 4 or z?
z
Let n = 0.12 - 0.14. Let b = 5 + -5.02. Let k = n - b. Are 0 and k unequal?
False
Let s be 6/(-45)*(-6)/(-116). Let k = s + -86/145. Are k and 0 nonequal?
True
Suppose -5*p + 4 = -11. Which is bigger: 5/3 or p?
p
Let l = -0.2 - -0.3. Let g = -1103/40 - -136/5. Is l at most g?
False
Let l be (-12)/(-5)*1*5. Let a(y) = -y**3 - 7*y**2 + 7*y - 5. Let c be a(-8). Suppose 2*p + 2 = 3*w - 7, -c*w + p = -l. Is w greater than 4?
True
Let y be ((-3)/6)/((-14)/(-6)). Let c = 1/14 + y. Which is bigger: c or 0.1?
0.1
Let u = 5.2 - -0.8. Let t = 0.7 - 1. Let r = -0.3 - t. Which is greater: r or u?
u
Let l be (-12)/(-9)*-3*(-1)/25. Which is greater: -1 or l?
l
Let j = 81 + -83. Is -25 greater than j?
False
Let k(p) = 2*p**3 + p - 2. Let y be k(1). Which is smaller: y or 1/12?
1/12
Let o = -67/3 + 22. Which is greater: o or 40?
40
Let l(j) = -2*j - 4. Let n be l(-4). Let p be (n/(-8))/(10/(-4)). Which is smaller: p or 0?
0
Suppose 4*z + 3*u + 23 = 0, 0 = z + u + u + 12. Let y = 14 + -15. Which is bigger: y or z?
y
Let b = -5047 - -25323/5. Which is smaller: b or 19?
b
Suppose -40*f - 128 = -32*f. Is -0.4 >= f?
True
Let y = -1 - 0. Let k = 0 + y. Which is bigger: -2/7 or k?
-2/7
Let j = -2 - -2. Let m = 0.1 - j. Does -0.5 = m?
False
Let g = 8 + -6. Let u(p) = 4*p**2 - p - 2*p**2 - p**g - 2*p**2. Let c be u(-1). Is c >= 2/3?
False
Let x be 32/36 + 6/(-27). Which is smaller: x or -2/3?
-2/3
Let r = 7.85 - 8. Let o = 4.75 - r. Let m = o + -5. Are m and -2/9 unequal?
True
Suppose 5*a + 0*q - 25 = -q, 0 = 2*a - 2*q + 2. Let h(z) = -2*z + 5. Let m be h(a). Is m smaller than -4?
False
Let j = -1.46 + -0.04. Let b = -2 - j. Let y = -0.6 - b. Is -0.3 greater than or equal to y?
False
Let o be (-2)/(-5) - 2/30. Which is bigger: -1.4 or o?
o
Let g be ((-30)/9)/(-3*3/(-27)). Which is bigger: -11 or g?
g
Suppose 3*a - 3 = 3*c, -3*a + 4*a = -3*c + 1. Let q = -3 - -8. Suppose 0 = 2*n - 3*i + 8, -q*n + 26 = i + 3*i. Is c smaller than n?
True
Let v be 2/(-4) + 73852/8. Let w = v - 36721/4. Let h = w + -51. Which is greater: h or 0?
0
Let f be ((-2)/5)/(8/(-5)). Which is smaller: -6 or f?
-6
Let x = -957 - -17231/18. Which is smaller: -1 or x?
-1
Let d be 1 + -2 + 6/9. Let l = -19.96 + 20. Is d equal to l?
False
Let g be (-13 + 11)/(-3 - -1). Suppose -4*w - g = -5*w. Is 2 bigger than w?
True
Let o = 9 + -7. Suppose 3*x - 27 = -0*x + 2*h, 2*x + 4*h = 2. Let r = 8 - x. Which is greater: r or o?
o
Let w = 13 + -7. Let j be (-1 - -1) + 18/3. Are w and j non-equal?
False
Let w be (-18)/(-81) + (-50)/(-18). Which is smaller: 4 or w?
w
Suppose 3*q + 0*q - 1077 = 0. Let h = -1789/5 + q. Which is smaller: h or 0?
0
Let g = 50 - 51. Let y = -59/2 + 29. Which is smaller: g or y?
g
Let h = -2/1357 + -2636/52923. Which is smaller: h or 1?
h
Suppose 7*y - 5 = 2*y. Let k(l) = -l**2 + 8*l + 16. Let s(i) = -i**2 + 9*i + 17. Let d(r) = -6*k(r) + 5*s(r). Let a be d(5). Is y bigger than a?
True
Let a = 2 - -2. Let s(h) = h - 2. Let u be s(2). Suppose a*g = -u*g + 4. Which is smaller: g or 1/8?
1/8
Suppose 17 = -j - 3*j + b, 3*b = 3*j + 15. Is j bigger than -4?
False
Let p be (-4)/(-10) + (262/(-5) - 1). Is -1/4 less than or equal to p?
False
Let j = 50 + -28. Which is smaller: -1/3 or j?
-1/3
Let w = 0.1 + -1.1. Let j = -0.8 - -0.8. Is j less than or equal to w?
False
Let g = -3 - -8. Suppose -5 = -0*p - g*p. Let o = 4/3 - p. Which is smaller: 1 or o?
o
Let t = -26 - -25. Suppose -h + 2*h = 3. Let p be (-1)/h + (-2)/(-3). Which is bigger: t or p?
p
Suppose -420 = -55*g + 50*g. Let a = 2313/5 - 5689/15. Let c = g - a. Which is bigger: c or -2/5?
c
Suppose 0 = 5*p + 15, 4*q - 5*p - 23 = 6*q. Suppose -3*v = -4*k - k - 6, -k = -4*v + 8. Suppose -12 + 2 = v*n. Is n less than q?
True
Let g be (-12)/(-9)*3/41. Let h = g + 62/205. Is 1 equal to h?
False
Let k = -0.04 - -0.05. Let b be -4 + (-69)/(-9) + -4. Is b >= k?
False
Let d be -8 - -4 - (-2 + 1). Let o(u) = -u**3 - u**2 + 2*u - 1. Let j be o(0). Is j less than d?
False
Let h = 11 + -14. Is h at least as big as -3?
True
Let b(k) = k**2 + k - 4. Let q be b(3). Suppose 0 = -2*v - 3*c - 6, 2*c + q = -2*c. Let l be 6/(-5)*(-2)/6. Which is smaller: v or l?
v
Let l(m) = -11*m**3 + m**2 + m + 1. Let c be l(-1). Let o be 4/c - (-34)/(-48). Suppose 1 - 4 = 3*j. Is o equal to j?
False
Let q = -8 - -6. Let t be (q/(-12))/((-14)/21). Is -2/3 less than or equal to t?
True
Let i = -1/2730 - -206/455. Let q = 2/7 - i. Is -1 >= q?
False
Let q = -0.7 + 0.7. Which is bigger: q or 2?
2
Suppose 4*s - 4 = -4*f, 5*f - s + 0*s = 11. Let n(h) = h. Let r(q) = -9*q + 1. Let k(p) = 24*n(p) + 3*r(p). Let z be k(f). Which is smaller: z or -2?
z
Let u = 14881/25 + -595. Which is smaller: u or 1?
u
Suppose 0 = -2*q + 3 - 27. Let f be 0 + 2/2*-11. Which is smaller: f or q?
q
Let a = 19 - 18.9. Let o = 4.9 + a. Let g = -0.1 + 0. Do o and g have the same value?
False
Suppose 3*f - 2 + 5 = 0. Which is greater: f or 2/75?
2/75
Let i be ((-4)/(-6))/((-2)/(-51)). Let g = 1 - -15. Which is smaller: g or i?
g
Let o be (-6)/(-7)*(5 - (-32)/(-6)). Suppose 0 = -2*c - 5*g - 25, -4*c = -2*c - g - 5. Do o and c have the same value?
False
Let l be 4/25*((-5)/(-2))/(-1). Let j = -1.92 - -2. Which is smaller: l or j?
l
Let i = 1/33 - -7/11. Let n = -2 + 3. Which is smaller: i or n?
i
Suppose -50 = -4*u + 5*z, -22 = -2*u - 0*z + z. Let b be u/4*16/(-70). Is b bigger than -1?
True
Let p be 0 + 2 + 6/(-16) - 2. Is p < -1?
False
Let w be (3 + -5 + 3)*(1 - 0). Which is bigger: 3/13 or w?
w
Let m = 15 + -17. Let h be (-1)/1 + (-8)/(-6). Which is bigger: h or m?
h
Let r = -0.3 + 1.3. Is -7 > r?
False
Suppose -4*v = -5*f - 48, 0*f + 4*v = -f. Let k be 0*(1 + 4/f). Is -4/13 >= k?
False
Let a = 461 + -12445/27. Which is greater: -1 or a?
a
Suppose 0 = -3*g + 2*z - 7, 0*g = -g - 3*z + 5. Let l be ((-8)/(-12))/(6/(-2)). Which is smaller: l or g?
g
Let k = -90 - -92. Suppose -6*v = -2*v. Is k smaller than v?
False
Let n = 1/24 + -13/24. Which is greater: n or 26?
26
Let h = 2 - 2.1. Suppose -i - 3*x + 11 = -5*i, -5*i - 4*x = -25. Is i at most as big as h?
False
Suppose 0 = -3*u - p + 92, -u = 3*p - 7 - 29. Let v be (-3)/7 + u/63. Is v bigger than -1?
True
Suppose -4*g - 19 = 5*k, 4*g + 17 = -g - 4*k. Let z = 17/45 - 4/15. Is z at most g?
False
Suppose 0 = 4*j - 5*a + 31 - 10, 0 = 5*j + 4*a + 57. Let s be j/(-21) + 9/(-7). Which is bigger: -1 or s?
s
Let u = 3 + 2. Suppose 0 = -2*x - 4*j - 18, -2*j - j = u*x + 24. Which is bigger: x or -2?
-2
Let i be 2*(14/(-4))/7. Which is greater: -2/21 or i?
-2/21
Let p(c) = -2*c**2 - 2*c. Let u be p(3). Let a be 1/2 + 21/u. Let q = -0.8 + 1. Which is bigger: a or q?
q
Let z = 112 + -106.1. Let k = 6 - z. Which is smaller: k or -1/3?
-1/3
Let k = 690/4199 - -3/247. Which is greater: -1 or k?
k
Let f = 103/342 + -3/38. Is 0 at most f?
True
Let l = 2.3 + -3.3. Suppose 95 = -5*g + 2*w, 3*g - 5*w + 44 = 6. Let c be g/12 + 0 - -2. Which is greater: l or c?
c
Let j be (-3)/(-18)*25/(-10). Which is smaller: 0 or j?
j
Suppose -2*d + 4 = -0*t + t, -d + 4*t = 16. Let v = 1 - d. Which is smaller: 1/2 or v?
1/2
Let c be -1 + ((-1)/(-7) - 0). Which is smaller: -1 or c?
-1
Suppose -4*w = -2*w + 3*j + 4, -15 = -5*w + 5*j. Suppose -3*d + 6*f - 2*f = -26, 7 = -4*d - 3*f. Let v = d - 0. Which is greater: v or w?
v
Let i = 11.7 + -15.75. Let s = -0.05 - i. Let p = s - 4. Do p and -0.1 have the same value?
False
Let g(v) = v. Let o(x) = 7*x + 7. Let j(z) = -6*g(z) + o(z). Let r be j(-7). Which is bigger: r or -3/7?
r
Let j(v) = 2*v**3 - 2*v + 6*v**2 - 9 - v**3 + 0*v**3. Let c be j(-6). Let z = -2 + c. Which is smaller: -0.1 or z?
-0.1
Suppose a - 2 = 4. Suppose -9 = 9*q - a*q. Which is smaller: 2/9 or q?
q
Suppose -3*b = -7*b - 12. Which is smaller: -6 or b?
-6
Suppose -4*c = 16, -5*n - 24 = 4*c - 3*c. Let o(t) = -2*t**2 + 9*t + 6. Let g be o(5). Is n equal to g?
False
Suppose 0 = -6*a + 4*a. Let v be (a + -3)*4/(-132). Which is bigger: v or 1?
1
Suppose 4*r - 4*t - 36 = 0, 5 = 5*r + 2*t - 5. Which