q = 2*x + 3 for x.
-3
Let i = -37 - -18. Let c = i - -27. Suppose 0 = -3*o + 4*o - c. Solve -3 = f - o, -u = f - 6 for u.
1
Let m = 82 + -79. Suppose 4*z = s + 38, -m*s + 7*s = -4*z + 48. Solve -5*k + z = t, 2*t - 6 + 16 = 5*k for k.
2
Let f = 1154 + -1149. Solve 0 = -3*i + f*h + 15, 5*h + 16 + 4 = 4*i for i.
5
Suppose 12 = o + 2. Suppose -2*b + o*b = 32. Solve -2*g = -3*i - 1 + 3, 2*g + b*i = 26 for g.
5
Let d = -9 + 13. Let v be (-1)/9 - ((-1)/(-15))/((-219)/13505). Solve 0*g + 9 = d*g - 3*x, -3*x + 15 = v*g for g.
3
Let i(x) = 2*x**3 - 4*x. Let u(n) = 10*n**3 - n**2 - 21*n. Let c(r) = 11*i(r) - 2*u(r). Let b be c(1). Solve 21 = o - 5*g, b*o + 1 + 17 = -5*g for o.
1
Let q = -32 - -32. Suppose -d + q*d = -15. Solve -5*i = -5*l + d, 5*i = -4*l + 4*i + 7 for l.
2
Let u be ((-9)/21)/3 + (-18)/(-126). Solve -4*r = -u*r - l - 8, 2*r = -l + 4 for r.
2
Suppose -2*y = b + 1, -4*y = b - 7*y - 9. Solve d + 0 = -2, 0 = -3*i - b*d + 9 for i.
5
Let q be -5*((-6)/(-2) - -2). Suppose -12*j - 8 = 220. Let l = j - q. Solve -6*t = -3*t + l, 0 = 2*u - 4*t - 18 for u.
5
Let p be 1*(-4 - 0)/(-4) + 5. Let t(s) = s + 2. Let k be t(0). Solve -2*f + 6 = w, -f + k*w = 4*f - p for f.
2
Let r be (-295)/40 - (-9)/24. Let x(p) = p**3 + 8*p**2 + 6*p - 3. Let i be x(r). Suppose -3*q + i*q = 0. Solve -27 = 2*l + 5*m, 4*l + q*m + 2*m + 14 = 0 for l.
-1
Suppose k = -n + 1 - 0, n - 2*k = 4. Let m be (-2 - (-8)/10)*100/(-6). Solve -n*y + 4*s + m = 0, -2*y = 2*y + 4*s + 8 for y.
2
Let n = 16 + -11. Let p = -568 + 819. Suppose 254*u = p*u. Solve 3*h = -6, -n*h - 11 = -u*c - c for c.
1
Let h = 54 + -58. Let u = 7 + h. Solve -5*l = -p - p - 6, p = l - u for l.
0
Suppose -k + 0 + 4 = -5*r, 60 = 2*k + 3*r. Solve -i = 4*c + k, -3*i + 3 = -4*c + c for i.
-4
Let s(w) = -w**3 + 7*w**2 + 2*w - 28. Let j be s(3). Suppose 2*r - 2 = 6. Suppose -2*i - 4 = -5*u, r*u = 8 - 0. Solve 0 = g + t + 7, i*t = 3*g + g + j for g.
-5
Let p be (-176)/(-10) - 22/(-55). Suppose 0 = 4*y - 2*y - 5*v - 5, 5 = 5*v. Suppose -12 = n - y*n. Solve -3*k - n*w - p = 0, -k + 1 - 23 = 5*w for k.
-2
Let i(z) = z - 1. Let w(f) = 4*f + 6. Let n(c) = 2*i(c) - w(c). Let q be n(-6). Suppose 15 = j + q*j. Solve -j*m - 3 = 0, 3 = 4*x - 3*m - 8 for x.
2
Suppose 0*j - j - 2*o + 8 = 0, 6 = -j + 5*o. Suppose 0 = m + j*h + 2 + 1, -2*m - 4*h = 2. Solve -m = p + 5*d - 12, -2*p + 2*d - 14 = 0 for p.
-4
Suppose 5*j = 10 - 0, -5*o + 81 = -2*j. Solve 3*i + 2*b = -o, 3*b - 2*b = -3*i - 13 for i.
-3
Let v = 633 + -631. Solve 3*u - 2*h = -0*u - 9, 4*u = -v*h - 12 for u.
-3
Suppose 3*h + 3*r = -2 + 17, -2*r + 2 = -2*h. Solve 3*i + 4*y - 20 = 0, -h*i + 6 - 26 = -4*y for i.
0
Suppose -12*o = -17*o + 25. Solve 3 = 2*z - n, 5*n + 19 = z - o for z.
-1
Let j(b) = 3*b + 30. Let q be j(-10). Solve 3 = p - 3*s, -3*p + s + 0 + 1 = q for p.
0
Let k(v) = -2*v**2 + 11*v - 1. Let h be k(5). Solve 11 = 4*s + 3*u, 4*s = 5*s - h*u + 2 for s.
2
Suppose 22 = 6*q - 3*q - 5*c, 3*q + c = 10. Solve 0 = -2*f + 2*l + 10, 8 = -2*f + 3*f - q*l for f.
4
Suppose 2*n - 15*n = -117. Let p be (3 - n)*(-7)/((-63)/(-6)). Solve b - 4 = 2*m - 2, -p*b + 2 = -2*m for m.
-1
Let r(i) = -3*i**2 - 72*i + 156. Let v be r(-26). Solve -2*k - 2*n - 4 = v, k + 5*n + 5 = 11 for k.
-4
Let i(t) = -t**3 - 4*t**2 + 7*t + 15. Let c be i(-5). Suppose -5*f - 25 = -0*f, f = -d - 73. Let o = -43 - d. Solve -c*z - o = 2*b, 4*b - 2*b = 0 for z.
-5
Suppose -g + 3*p + 18 = 2*g, -4*g = 2*p - 24. Suppose 0 = -3*f + 3, g*x - x + 5*f + 55 = 0. Let o = x - -14. Solve 0 = -4*l, 2*d = l + o*l + 10 for d.
5
Let u(o) = o**3 + 16*o**2 + 29*o + 18. Let g be u(-14). Let t(x) = x**2 - x - 9. Let d be t(g). Solve -2*i - d*h = -19, 16 = -3*i + i + 4*h for i.
2
Let g(y) = 7*y + 15. Let z(a) = a**3 - 5*a**2 + 7*a - 3. Let c be z(3). Let n be g(c). Solve 15 = -0*d + 3*d + 2*o, -3*d - 5*o + n = 0 for d.
5
Suppose 5*c - 5 = 5*s, 2*c + 5*s = 6*c - 3. Suppose -c*f - 24 = -10*f. Solve -f*z - d - 3 = 0, -2*z - d - 2 = -1 for z.
-2
Let u(f) = -f**3 + 16*f**2 - 16*f + 15. Let d be u(15). Suppose v - 8 + 3 = d. Suppose v*y - 2 - 3 = 0. Solve -2*z + 2 = 6, y = -3*b + z for b.
-1
Suppose -27 = -5*s + 48. Let z = -32 + 47. Let h = z - s. Solve -5*u + 9 = 2*x, h*x - 3*u - 5 = -4*x for x.
2
Let w be (-77)/(-33)*(-9)/(-3). Solve 4*r = -2*x + 3*x + 24, -3*x - w = r for r.
5
Let g = 29 - 24. Suppose -g = 2*c - 9. Solve 5*f = s - 10, 3*f + 10 = -c*f - 4*s for f.
-2
Suppose -3*b - 2*v + 20 = 0, -5*b = 31*v - 36*v - 50. Solve 0 = -j - 5, -3*j = -2*h - b*j - 35 for h.
-5
Let h = -29 - -34. Suppose 6*d - 3*d + 1 = h*f, -17 = -4*f - 3*d. Solve 3*k = f*k + 4, -k - 2 = 3*o for o.
-2
Let d(i) = i**3 + 3*i**2 - 2. Let b be d(-2). Let f(z) = z**3 + 6*z**2 + z + 1. Let u be f(-5). Let l = u + -19. Solve l*a + 3*t = 0, 3*a = a - b*t for a.
0
Let i = 119 - 118. Solve m + 3*b = i, 1 = 3*b - 2 for m.
-2
Let b = 76 + -73. Suppose 5*a + 4*d - 36 = -4, 0 = -b*a + d + 9. Solve -5*u = i + 10, -2*i - 5*u + 3*u + a = 0 for i.
5
Let p be (5 - (-1 - -2)) + (-1 - 1). Solve 4*g = -5*o, 28 = g - 5*g + p*o for g.
-5
Let x = -7 + 9. Let z be (5/x)/(4/8) - -3. Solve -2*d = d - 4*i, -4*i - z = -d for d.
-4
Suppose -9 = -4*w + 11. Suppose 110 = w*l - 115. Let f be l/(-10)*(-4)/3. Solve -5*p = 3*u + 2*u, 2*u - f = -4*p for u.
-3
Let u = 9 - 7. Let d be (-42)/35*20/(-2). Let o be (3 - -2)/(2/d). Solve -o = 5*a + c - 0*c, -u*a - c - 15 = 0 for a.
-5
Let n = -811 - -820. Solve 5 = 5*z, 4*z - n + 5 = c for c.
0
Let m(q) = 15*q**2 - 4*q - 2. Let a be m(2). Suppose n = 3*n - 2*f - a, 0 = -5*n + 2*f + 110. Solve 5*y + 3*h = -0*y + 32, 3*h = -2*y + n for y.
4
Let u be 492/36 - (1 - 8/6). Suppose 0 = -3*f + 2*r + 12, -2*f + 3*f - 4*r - u = 0. Solve -2*c + 0*m - 3 = m, 0 = 5*c - f*m - 6 for c.
0
Let b(p) = 2*p**2 - 21*p + 54. Let i be b(7). Solve -i*x - 3*w = -8*w + 30, -22 = 5*x - 3*w for x.
-2
Let i be 4 - (0 + 3)/((-15)/(-15)). Let l be i/((-2)/6) - -7. Solve -5*j = l*y - 12, -4*j = -3*y - 8*j + 9 for y.
3
Let b = -5 + 13. Suppose -3*q + b = -2*y, y + 12 = 5*q - 2*y. Solve -3*l + i - 11 = 0, q*i = 2*i - 4 for l.
-3
Suppose 0*h + 4*p = -3*h + 23, 4*p = 20. Let q be (-4 + 0 - -2)*-1. Let n = 77 - 75. Solve -k + o + h + q = 0, n*k + o = 6 for k.
3
Suppose 110*a - 48 = 98*a. Solve -29 = -a*d - 5*x, -3*d + 0*d = -5*x + 22 for d.
1
Let l be ((-92)/(-1) - 4) + -1. Suppose 0 = 14*b - 25 - l. Solve -a + 5*k = -b - 9, 2*k + 14 = -2*a for a.
-3
Let g = -185 - -188. Solve 0 = i + 3*i - t + g, 3*i = 4*t + 14 for i.
-2
Let t(d) = 5 - 8 + 17 + d. Let y be t(-9). Solve -2*c - 5*o = -c - 17, -y*o + 20 = 0 for c.
-3
Suppose -72 = -5*n + 3*r, 0*n - 2*n = -2*r - 32. Solve 2*z = -6*p + 7*p + n, -2*p = -z + 9 for z.
5
Let v(p) = p - 7. Let l(m) = m**3 + 5*m**2 - m + 4. Suppose -3*j + 15 = -6*j. Let k be l(j). Let w be v(k). Solve n + y = -4*y - 25, -10 = -w*n + 5*y for n.
-5
Let u(r) = -r**3 - 5. Let d be u(-5). Suppose k = -4*k + d. Let j = -21 + k. Solve 0 = 3*l - 5*v + 6 - 19, 10 = 4*l - j*v for l.
1
Let t(x) = x**2 + 13*x + 16. Let j be t(-11). Let i be (-2)/j + 140/21. Suppose -6*c + i*c = 13. Solve 6*r - r + c = 3*n, -8 = 2*r - 4*n for r.
-2
Let q be -9*(12 - 583/33). Solve -3*p + 35 = 4*x, -4*x = 4*p + 11 - q for x.
5
Let d(q) = -16*q**2 + 4. Let c be d(0). Solve 2*t - 5*k + c = 13, 0 = -3*t - 3*k + 3 for t.
2
Suppose 3*n + 7 = 16. Suppose 3*r = -3*s + 9, 3*s - 10 = -5*r + 3*r. Solve s*y - b = n, -5*y + 4*b = -3*y + 2 for y.
1
Suppose 3*x + 11 = s, -7*x - 1 = -s - 9*x. Solve 5*z = -l - 21, -z + 4*z + 7 = s*l for l.
-1
Let t be (-21)/56 - (-1562)/(-16). Let z = t - -98. Solve -3*v - 2*h + 6 = z, -3*v - 8 = -7*v + 4*h for v.
2
Suppose -14*b = -9*b. Suppose b = 3*m - 65 - 4. Solve 5*c - m = 3*d, d - 3*c + 8 = 5*d for d.
-1
Suppose -4*o - 3*z = 2*z - 40, -z = 0. Suppose o*c = 14*c - 80. Solve -2*u = -5*m + c, -u - 8 = -4*m + 5 for u.
-5
Let c(r) = -r - 7. Let g = -2 + -1. Let h be (-1)/g - 102/9. Let w be c(h). Solve 3*s = 6, 4*k + w*s - 4 = 4 for k.
0
Suppose 380*w - 371*w = 171. Solve 3*o - 20 = 5*l, 0 = -w*o + 24*o - l - 4 for o.
0
Let y = 477 - 475. Solve -y*d - 19 = 3*h, 6*d - d + h = -15 for d.
-2
Let b(h) = -h + 6. Let y be b(2). Solve -2*a = -c - 2, -y*a - 22 = 4*c - 2 for c.
-4
Suppose 0 = 4*m - 2*m. Suppose 3*q - 5*q = m. Solve 5*o + w + 24 = q, 2*w = 2*o - 3*o - 12 for o.
-4
Let 