t + 12 = 2*x, b*x - 2*t = 8 for x.
4
Suppose -4*j + 14 = -p, 89*p - 88*p + 4*j - 18 = 0. Solve -c - 2*v - 8 = 0, 0*c + 2*c + 12 = -p*v for c.
-4
Let z(x) = -4*x - 1. Let g be z(-1). Let t = -46 + 58. Let v be (-5)/(-15) + 68/t. Solve 3*w + 2*d - d - 4 = 0, 3*w = -g*d - v for w.
3
Suppose 3*f = 12, -17 = 3*t - 2*f - 3*f. Let v = t + 3. Suppose 5*j = v*o, 0*j - 4*j = 2*o. Solve 0 = b - 4*h - 14, 2*b + h + o*h = -8 for b.
-2
Let m(b) = -b**3 + b**2 - b + 1. Let q be -3 + 3 - (-1 - 0). Let w be m(q). Solve -j - t = w, 2*t = -4*j - 0*t - 6 for j.
-3
Let g be 15 - 1/((-3)/9). Suppose 3*n = -3*z, -4*n + 2*z - g = -0*z. Let o = 8 + n. Solve 0*c + 2*k = -3*c + 1, -19 = -o*c + k for c.
3
Suppose -16*m + 200 = 9*m. Solve -4*n = 4*k, 3*n - m = 6*n - 5*k for n.
-1
Suppose 7*x - 2*x + 35 = 3*g, 0 = 2*g - 3*x - 22. Let q(d) = d**2 - d - 3. Let v be q(g). Let n = v + -13. Solve -n*u - 3 = i + 8, 4 = 4*i + 4*u for i.
5
Suppose -2*u + 60 = 4*k, 3*k - 32 = u + 4*u. Suppose 16*n - 16 = k*n. Solve n*h + 2*t + 16 = 4*h, -14 = -h + 4*t for h.
-2
Suppose 356 - 444 = -8*l. Solve -w + 14 = -3*v, -v - 3 - l = -5*w for v.
-4
Let v = 52 - 34. Let w = v - 6. Let k be 1/(-3) - (-232)/w. Solve q - k = -3*p, 0*q = -2*p - 4*q + 26 for p.
5
Suppose -z = -2*d + 2, 5*z + 9 + 1 = -5*d. Suppose 5*t + 7 - 17 = d. Solve 0 = -t*y + 6, 2*y = -3*b - 5 + 2 for b.
-3
Let s be (2240/(-150))/(-8) - 2/(-15). Solve -s*b - 5*j - 2 = 2*b, 6 = 3*j for b.
-3
Let k(a) = -a + 11. Let q = 5 - -1. Let x be k(q). Solve -1 = 4*d + d + i, -x = 5*d + 5*i for d.
0
Suppose u = -2*r + 10, 6*r - r + u - 22 = 0. Suppose 1 = -r*x + 9. Solve -5*w + 16 = -0*h + h, -3*h - x*w = -9 for h.
1
Suppose -32*h = -6*h - 52. Solve -4*i - 20 + 2 = -v, 0 = -5*v + h*i + 18 for v.
2
Let n be (8 + -14)*12/(-1). Suppose -9 = 7*z - n. Solve -5*o - 5*p = 0, p - z + 4 = -2*o for o.
5
Suppose -3*a - 3*d - 6 = 2*a, -a + 3*d = -6. Let t(o) = -o**3 + 11*o**2 + 13*o - 7. Let v be t(12). Solve a = l - w + v, 0*l = 4*l + 2*w + 8 for l.
-3
Let y(v) be the third derivative of v**4/24 + 3*v**3/2 + 15*v**2. Let i be y(-5). Solve 5*u + 25 = -i*d, -u + 0 = -d - 4 for u.
-1
Suppose 22*z - 38 = 3*z. Solve -z*a - 17 = -3*n, -a + 5*n - 11 = 3*n for a.
-1
Suppose -8 = -3*r - 5*x + 3, x = -3*r + 7. Suppose -4*p + 10 = -r*p. Let a(y) = -y**3 + 3*y**2 + 2. Let u be a(3). Solve -5*d = -p*v + 2*v - 4, -u = -d for v.
2
Suppose 0*w - 2*w + 5*g = 17, 5*g - 15 = 0. Let h be (10/((w - 1)*-1))/1. Solve -2*d = f - 4 + 9, h*f - 5 = -4*d for f.
5
Let d = 148 + -145. Solve d*p - 5*p = 2*b, 0 = 2*b + p + 5 for b.
-5
Let r(b) = -b**3 + 13*b**2 - 28*b - 20. Let h be r(10). Solve -5*f = 5*n + 30, -5*f + n - 9 + 3 = h for f.
-2
Suppose -3*g - 5 = -w, -75*g + 80*g = 3*w - 15. Solve r + 2*h + 6 = 0, 4*r + 14 = -g*r - 3*h for r.
-2
Let f(d) = -5*d. Let v be f(10). Let r be v/(-2) - (0 + -2). Suppose -3*c + i = -17, -3*c + i + r = 2*c. Solve -3*n = -4*n + c*a + 24, 12 = -2*n - 5*a for n.
4
Let g(m) = -m**2 - m + 12. Let a be g(3). Solve -5*l + a*l + o - 6 = 0, 4 = -o for l.
-2
Let f be (15/25 + (-4)/(-10))*1. Let l be 4/(-6) + f + 46/6. Solve 8*z = 3*z - q - 22, l = -z + q for z.
-5
Let n(r) = -r**3 - 6*r**2 + 12*r + 37. Let i be n(-7). Solve -4*a - 4 + 2 = -i*u, 0 = 4*a + 12 for u.
-5
Let x(l) = -4*l - 19. Let r be x(-6). Suppose -r*i = -11*i + 30. Solve i - 2 = -3*n - 5*m, n = -5*m - 11 for n.
4
Suppose -u + v = -0*v - 9, 5*v + 9 = -u. Solve 7*f + 2*d = 4*f + u, 5*f = -4*d + 12 for f.
0
Suppose -7 = 8*v - 7. Suppose -5*c - 2*c = v. Solve c = -5*a + 15, -4*j - j + 5*a = 0 for j.
3
Let h(a) = a**2 + 10*a + 15. Let i be h(-7). Let r = -3 - i. Solve -r*t + 32 = 6*p - 2*p, 5*t + 4*p = 40 for t.
4
Let h = 13 + -4. Let q = 11 - h. Suppose 0 = 3*s, x = 4*x + q*s - 15. Solve x*u - 3*v = -6 - 3, -3*u + 2*v = 5 for u.
-3
Let u be (-9)/((-135)/12) + 21/5. Solve 5*p - 3*q + 17 = q, 33 = -u*p - 4*q for p.
-5
Let h = -102 - -104. Let p be (-1 - (-2 - 0)) + 1. Suppose -5*b + 2*g + 16 = -2*b, 4*b + 3*g + 7 = 0. Solve 5*l = -h*n + 14, 5*l - b*l - p = 2*n for n.
2
Let v be (2 - 2)/(-7 - -6). Solve -l - 5 = 0, -5*n - 2*l + 3*l - 15 = v for n.
-4
Suppose 0 = -5*s + 4*s + 2. Let c(n) = -n**2 - 6*n - 1. Let p be c(-5). Suppose 4*l - 4 - p = 0. Solve -s*r - 2*r = 4*w - 16, -l*r = -3*w - 13 for w.
-1
Let l = -293 - -296. Solve 5*w = -3*u - 18 + 1, -u - 1 = -l*w for u.
-4
Let v(x) = 7*x + 44. Let f be v(-6). Solve -a = -l + 8, 0 = -5*l + 2*l + f*a + 20 for l.
4
Let s(c) = c**3 + 5. Let o be s(0). Suppose -30 = 5*i + 75. Let n be (-2)/3 - 56/i. Solve -5 = o*w + 3*j, 0*j - n*j - 10 = 0 for w.
2
Suppose 0 = 3*c - 6. Suppose 5*y + 2*l + 22 = 0, -c*y + 40 = -6*y + 4*l. Let w be ((-12)/3)/(y/27). Solve -5*u + 18 = a, 4*u - 4*a - w = 6 for u.
4
Let h(f) = -f**3 + 7*f**2 - 6*f + 4. Let g be h(6). Suppose 6*c - 3*c = 4*r - 2, 4*c = 3*r + 2. Solve 0 = 3*i + 2*o + 4, o = r*i - g*o + 28 for i.
-4
Let c = 217 + -217. Solve 3*z = i + 3*i - 24, 2*i - 3*z - 18 = c for i.
3
Suppose -30*q = -28*q - 8. Solve -q = t, 5*s = 9*s - t - 12 for s.
2
Suppose -r + 5*j = -6*r + 45, -31 = -4*r - 3*j. Suppose o + r = t, 4*t - 4 = 3*t - 3*o. Solve 0 = a - p + 8, 3*a = 5*a + t*p - 2 for a.
-5
Let q = -38247 + 38249. Let k = 3 + -1. Solve d - k = q*p, 0 = 3*d + 4*p - 8*p for d.
-4
Suppose 5*s - 34 + 4 = 0. Let l be s/3 + -2 + 2. Suppose 6*k + 18 = 2*f + 2*k, -2*f = l*k - 18. Solve f = 4*x - 5*q, 3*x - 4*q - q = 8 for x.
1
Suppose 22*m - 48 = 10*m. Solve -o + 5*d - m = 0, -4*o = -3*d - d for o.
1
Suppose 2*q - 3*q + 3 = 0. Suppose -2 = -q*f + 118. Suppose f = d + d. Solve -2*h = -3*c - d, -2*h - 4 = h + 4*c for h.
4
Suppose -2*m = -4 - 2. Let x(o) = 2*o**2 - 4*o - 4. Let f be x(m). Solve 0 = 2*w - f, 3*z + 0 = -w - 2 for z.
-1
Let f(m) = 7*m**2 - 10*m - 12. Let r be f(6). Suppose -12*g + 2*g = -r. Solve -8 - g = -4*w - 3*n, 0 = 2*w + n - 12 for w.
5
Let k(x) = 2*x**2 + 13*x + 4. Let q be k(-6). Let m = 0 - q. Let u be 1 - 1 - (-2 - -1). Solve -w + 3*t = m*t - u, t - 3 = 3*w for w.
-2
Let z = -1119 - -1119. Solve 3*f - 7*f = z, 0 = -2*y - f for y.
0
Suppose -3*v - 14 = -29. Suppose -4*i - 5*z = -7, v*i - 16 = i + 4*z. Solve -k - 2*b = 11 - 3, 5*b + 31 = i*k for k.
2
Let l(k) = -k**2 + 6*k + 114. Let v be l(14). Solve 2*q - 2 - v = -2*y, -5*y = 4*q - 5 for q.
5
Let z be -40*(-12 - (-276)/24). Solve -4*r + 33 = -5*x, 2*x = 5*r - 0 - z for r.
2
Suppose -2*c = -4*q + 42, q - 2 - 4 = -4*c. Let l(r) = -r**2 - 3*r + 2. Let g be l(-5). Let d = g + q. Solve 0 = -2*z + d*m, -z + 0*z = -4*m + 12 for z.
4
Let l(a) = -a + 15. Let s be l(10). Suppose -2*t = -s*t - 4*n + 27, 4*n = -2*t + 22. Solve 1 = -3*p - 5*m + 20, -m = -t*p + 13 for p.
3
Let m(q) = -9*q**3 + 6*q**3 + 2*q**3 + 15*q**2. Let v be m(15). Solve 4*k = -d, 5*d + 4*k + k = v for d.
0
Let l = 40 - 36. Suppose -2*k - 5 = 5*c - 3*k, -2*c + l*k = 20. Solve -4*i + 5*g + c = 8, -4*i + 2*g = 8 for i.
-2
Let j(n) = -26*n + 2. Let v be (0 + -2)/(-4 + 6). Let u be j(v). Let y = u + -24. Solve 0 = 5*k - 3*x - 6 + 2, -y*k = -3*x - 5 for k.
-1
Suppose 9*b = -3 - 6. Let m be b + (9 - 8/2). Solve 0 = -m*j + 3*l - 25, -1 = 2*j - 3*l + 16 for j.
-4
Let x = -252 - -257. Solve -4*b - 3 = -m + 5, 0 = 5*b + x for m.
4
Let g be (-36)/(-20)*(-60)/(-9). Suppose 12 = -5*b - 3, -2*z = 3*b - 1. Solve 0*v + g = -o - 2*v, -z*v - 29 = 2*o for o.
-2
Let q = -1 + 1. Suppose q = 4*z + 3*b + b - 240, -5*z + 2*b + 300 = 0. Suppose z = 5*j - 2*j. Solve 2*s + 12 = -3*l + 2, -4*s - j = l for s.
-5
Let v be (-204)/28 - -7 - (-1012)/14. Let n = v + -69. Solve 2*w = a + 4, -4*a - 2*w - 3 = n*w for a.
-2
Let o be 16/16 + 2 + 0. Suppose 5*x - 10 = -0*x, 3 = o*u - 3*x. Solve 4*p + 2 = -5*d - 20, u*p + d = -11 for p.
-3
Let p(m) = 2*m**2 + 7. Let t be p(3). Let f = 17 - 32. Let d = f + 20. Solve d = g, v - 5*g + 0 + t = 0 for v.
0
Let x(c) = -c - 1. Let b be x(-7). Suppose b*u - 5*u - 3 = 0. Solve -3*o - 6 = 0, -3*m - u*o = 9 - 0 for m.
-1
Let q = -142 - -204. Let u = 64 - q. Solve u*k = -4*j + 10, -2*j + 9 = j + 3*k for j.
2
Suppose 0 = -6*t + 2*t + 16. Let n = 127 - 120. Let u = n - t. Solve -6*a = 3*p - a + 10, -3*p - 18 = -u*a for p.
-5
Let v = 1 - 1. Let m be 4 + (16 + 0)/(-4). Suppose 10*f - 7*f - 9 = m. Solve -3*a - 4*h = -v*h - 1, 2*a - f*h = -22 for a.
-5
Let g be (-8)/2 + -22 + 29. Suppose 0 = -4*t, -g*u + 5*t 