p for x.
5
Let s(c) = 2*c - 9. Let i be 45/10*(2 - 0). Let z be s(i). Solve -4*j + 3*p - 4*p = -z, 3*j + 2 = p for j.
1
Let p(u) = -2*u**2 + 24*u + 4. Let q be p(12). Solve -1 = -q*g - 5*o + 16, 5*g + 3*o - 5 = 0 for g.
-2
Let s(i) = -2*i + 9. Let v be s(-7). Suppose -2 - v = -5*a. Suppose 16*o = -3*p + 18*o + 18, 24 = 4*p + 4*o. Solve 3*f + a = -y, 5*f + p = -y - 3 for f.
-2
Let i = -22 - -27. Suppose 0 = -l - i*v - 3, -3*v = -4*l + 2*v - 12. Let x(j) = j**2 - 7. Let s be x(l). Solve -s*m + 3*q - 2 = 2*q, 2*m + 2*q + 8 = 0 for m.
-2
Let j be 2/(-5) - (-2)/5. Suppose -3*f - 16 = -5*p - j*p, -p = -5. Suppose 0 = -25*v + 3*v - 56*v. Solve 4*q + 9 - 1 = v, -5*q = -f*o + 22 for o.
4
Suppose 5*a + 3 - 39 = -4*o, -2*o - 4*a = -24. Solve -4*r = -o*y + 28, -2*y - 4*r = 16 - 0 for y.
2
Suppose 0 = 2*j - g - 6, 7 + 19 = 5*j + 3*g. Solve 4*l + 11 = 5*p, -2*p + p = j*l + 17 for p.
-1
Suppose 4*o - 84 = -4*f, -f + 24 = 2*o - 18. Solve -j + n + o = -3*n, 14 = 2*j - n for j.
5
Let m(w) = w**3 + 26*w**2 - 9*w - 231. Let h be m(-26). Solve -15 = -3*j - 3*a, -7 = -h*j - 3*a + 2*a for j.
1
Let s be ((-1)/1 - 2)/((-9)/9). Solve -s + 0 = -2*k - 3*d, -4 = -5*k - 4*d for k.
0
Suppose 0 = 3*f + 4*r - 20, 2 = 4*f - 5*f + 3*r. Solve -3*l = -l - b, 2*l + 6 = f*b for l.
1
Let y(c) = -6*c + 7. Let g be y(2). Let q be (g - -26)*(0 - (-2 - -1)). Solve -9 = -5*h + 2*z, h - 4*h - 4*z = -q for h.
3
Suppose -5*z = -0*a - 3*a + 2, 5*a + z - 22 = 0. Solve g - 2*p = a, -5*p = g - 4*p + 2 for g.
0
Suppose 3*v - 3*n + 69 = 0, -v + 5*v + 4*n = -68. Let t be -2 + (-38)/(-4)*-2. Let f = v - t. Solve -4*h + 3*h = -3*o - 7, -o - f = h for h.
1
Let l = 0 - -16. Suppose -2*f = -0 - 8. Let s(u) = 7*u - 2. Let y be s(1). Solve -y*a = 5*r - 15, r - l = -2*r + f*a for r.
4
Suppose -n = 2*r - 0*n, r + 3*n = -10. Let u be ((-1)/((-5)/9))/(3/15). Solve d - 5*d - 20 = 0, d + u = r*q for q.
2
Let t(f) = f + 26. Let q be t(-24). Let l be q - (-5 + (0 - -5)). Solve -4*i + 8 = -l*g, 6*i - i = 15 for g.
2
Let c = 16 + -11. Suppose -2*z = c*f - f + 2, -2*z + f = -13. Solve 3*a + 5*g + 3 = 21, -2*a = z*g - 17 for a.
1
Suppose 0 = z + 12 - 13. Suppose 0 = -5*v + 3*o + 36, -2*o = z + 3. Solve 4*y = h - v, 0 = 3*h - 3*y - 10 + 1 for h.
2
Suppose 35*f - 34 = 18*f. Solve -4*o = -j - j + 18, 0 = 5*j - f*o - 13 for j.
1
Suppose z = i + 2, 4*i = -3*z + 4*z + 7. Solve -5*q - 5*a - 20 = 0, 4*a - 8 = 2*q + i*a for q.
-4
Suppose 52 = 4*u - 0*u. Let h be 11/88 + 585/(-8). Let r = h + 78. Solve 5*m - r*l - 10 = 0, 4*l + u + 1 = m for m.
-2
Let s = -13 + 15. Solve -25 = 2*d - 3*j, -s*d + j - 18 = -3 for d.
-5
Let z(v) = 45*v + 49. Let w be z(-1). Solve 4*y - 4 = 4*k, w*k = 3*k - y + 7 for k.
3
Suppose 0 = -7*u - 24 + 59. Solve 2*i - 10 = 0, 4*t + 2*i + i + u = 0 for t.
-5
Suppose -3*z + 4 = -41. Suppose 3*x = o + z, 0*x = 3*x - 5*o - 3. Let r(b) = 5*b. Let l be r(1). Solve 2 = -w, -x = 3*n - 7*n + l*w for n.
-1
Let s be 3*(2 + 5/(-3)). Let p be ((-18)/15)/(s/10). Let f be (-1)/(27/p - -2). Solve 5*u - 3*k + 2 = -2*k, 5*u + 8 = f*k for u.
0
Let f(d) = -d + 2. Let x(t) = t**3 + t**2 + 3. Let b be x(0). Suppose -7*k + b*k = 0. Let n be f(k). Solve n*o + 3 = h, o - 4*h = 6*o - 25 for o.
1
Let v(m) = -m**3 - 19*m**2 - 2*m - 33. Let k be v(-19). Solve 0 = -r - 5*o - 4, 4*r + 7 = -k*o - 9 for r.
-4
Let j be (25/(-10))/(2/4). Let q = j - 20. Let l = q + 35. Solve 0 = 3*f - p - l, 22 = 3*f + 2*f + p for f.
4
Let h = 8 + -17. Let q be (6/(-4))/(((-54)/(-12))/h). Solve -q*o + 12 = -3*g, 2*o + 16 = -2*o - 4*g for o.
0
Suppose 3*b = -0*b + 51. Let o = b - 12. Solve -5 = -p - z, 3*p + o*z = z + 18 for p.
2
Let p = -666 - -671. Solve -3*d + 5*t = -22, 5*t = p*d + 3*t - 5 for d.
-1
Suppose -20*h = -15*h - 15. Suppose 2*c - 7*c = -15, h*a = 3*c. Solve -3*u + 3*d = 0, -2*d + a = -u - 0*d for u.
3
Let p be 196/35 + (-9)/15. Suppose p*x - 4 = 6. Solve 5*t = -10, t = w + x*t + 4 for w.
-2
Let g = -340 + 349. Solve -2*l - 3*w + g = 0, 0*l - w = 4*l + 7 for l.
-3
Suppose 4*z = 3*r + 146 - 525, r + 2*z - 123 = 0. Let c be (-100)/r*(9 - -1)/(-2). Solve -2*x = -c*k - 0 - 2, -4*x = 4 for k.
-1
Suppose 3*m - 11 = -c, 5 = -2*c - 0*m + 3*m. Let t(k) = -k**3 + k**2 + 3*k + 1. Let b be t(c). Solve 0 = y + j + 1, 5*y - b*j = -13 for y.
-2
Let v be (-6 - -6)*(2 + -2 + -1). Solve -2*n + 1 = 3*l - 3, 4*l + 2*n - 8 = v for l.
4
Let u(m) = -8*m - 17. Let z be u(-4). Suppose 3*g - 5*x = -x - 12, -5*x + z = -2*g. Solve 4*v = g, 2*q - 4 = 2*v - 3*v for q.
2
Let b(v) be the first derivative of -v**2 - 2*v - 3. Let t be b(-7). Suppose 3*u = -3*x + 21, 13 + 5 = 4*u + 2*x. Solve -3*q + y = -2*y, u*q + y - t = 0 for q.
4
Let f(n) = -n**3 + 4*n**2 - 2*n + 2. Let j be f(3). Solve -c + 0*c + 5*d + 12 = 0, 0 = j*c + 5*d + 30 for c.
-3
Suppose -3*z + 18 = -33. Let g(x) = x**3 - x**2 - 2*x. Let h = 18 + -18. Let m be g(h). Solve r - 15 = -5*d, 6*r - 3*r + d - z = m for r.
5
Let l be (3 + 21/(-9))*-36. Let h = -19 - l. Solve 3*k - 24 = -3*o, -h*k - 5*o + 36 = -k for k.
4
Let p = -3 + 5. Suppose 20 = p*t - 3*l, -5*l - 11 = t + 5. Solve 0 = 3*a - 3*m, a + t = 3*m - 6 for a.
5
Suppose -s + 4*s + 66 = 0. Let v be ((-6 - -1) + 10)*s/(-5). Solve 5*w - 4*f + f = v, 5*w + 4*f = -6 for w.
2
Let g = 14 + -9. Suppose g*h - 2*c = 25, -3*h - c + 15 = 4*c. Suppose 3*b + 15 = q - 2*b, 2*q - h*b = 35. Solve -a = -5*f - q, -2*a - 5*f - 30 = -a for a.
-5
Suppose -5*r + 24 = -n, -10*r = -12*r + 2*n + 8. Solve -5*d + 45 = -5*b, r*d - 5 = -2*b - b for b.
-5
Suppose -3*j + 48 = -125*p + 129*p, 5*p + 3*j = 57. Let n be 1 - (2 + 1/(-1)). Suppose n = -p*d + 4*d + 75. Solve 3*g = -5*x - d - 10, -3*g - 9 = -3*x for x.
-2
Let g(d) = -d**3 - 5*d**2 + 2*d + 12. Let q be g(-5). Suppose -q = x - 5. Solve -5*y - 2*j - 9 = 0, -2*y - 4 = -x*j - 8 for y.
-1
Let r = -7 - -13. Let u = 6 - r. Solve -5*i + 17 = 2*s, u = 4*s + 5*i - 0 - 9 for s.
-4
Let l be (-11)/77 - 1042/7. Let k = -145 - l. Solve -m - 1 = j - 0, k*j - m + 19 = 0 for j.
-4
Let v be -14*(-2 - (-15)/10). Suppose v*g - 8*g = -4. Solve -3*r = 0, -5*o + o - r + g = 0 for o.
1
Let m(g) = g**3 + 18*g**2 + 16*g - 14. Suppose 0 = -2*j - 4*p - 30, j + 5*p = 2*p - 14. Let x be m(j). Solve 2*u - 3*u - 2*s + 3 = 0, -x*u = -3*s for u.
1
Let k = -12 - -18. Suppose 4 = -2*n - 4*y, y + k = -n + 3*y. Let r be ((-20)/16)/(1/n). Solve 3*x - r*s = 14, x - 8 = 2*s - 3 for x.
3
Suppose 2 = -8*u + 42. Solve -5*y + 5*m - 5 = 0, 4*m + 0 = -u*y + 4 for y.
0
Suppose 0 = -6*m + 4*m. Suppose m = 4*u - 3*h - 22, 0*u = -5*u - 2*h + 16. Suppose 2 - u = -r. Solve 4*o + r*c = 0, c + 7 = -3*o + 3*c for o.
-1
Suppose -n + 9 = 2*n + w, n = -5*w - 11. Let t = -1 - -4. Solve 12 = -h - 3*u, t*h - n*u = -3*u + 4 for h.
0
Let o be (-111)/(-15) - (-6)/(-15). Let d(m) = 6*m**2 + m**2 + 18*m**3 + 2 - 19*m**3. Let p be d(o). Solve -12 = -b + 5*w, -4*b + 3 = -p*w - 9 for b.
2
Suppose 0 = 9*d - 4*d - 160. Let i = -29 + d. Solve -4*z - i*o = 0, -z = 2*z + o - 5 for z.
3
Let q(h) = 32*h - 349. Let p be q(11). Solve 15 = -p*m - 2*u, 4*m - 6*m = 3*u + 10 for m.
-5
Let x = -84 + 84. Let y be (x - -1) + (13 - 12). Solve -2*f = y*k + 3*k + 25, 0 = f - 4*k - 20 for f.
0
Let v(m) = m + 14. Let g be v(-6). Solve 3*a = -4*s - g, 2 + 0 = -s - 3*a for s.
-2
Suppose -2*c - 178 + 3 = h, 2*c = -4*h - 184. Let j = 87 + c. Solve a + 6 = s - j, 6 = 3*s for a.
-5
Suppose -8*n = 21*n - 232. Solve 4*m - 5*q - n = 10, -m + 8 = -3*q for m.
2
Let m be (-52)/78 - 8/(-3). Suppose 0 = -w + 5 - m. Solve 0*c - w*i = 4*c - 7, -3*c = -2*i - 18 for c.
4
Suppose 30*q = 25*q + 150. Let t = q + -25. Solve -b + 4*w + 20 = -3*b, w = -t*b - 5 for b.
0
Let b be 10*3*2/12. Suppose -15*m = 9*m - 240. Solve 0 = -5*h + p - 6*p - m, b*p = -15 for h.
1
Suppose 3*q = -6, -5*f = -0*f + 2*q - 66. Suppose -5*s + s - b + 25 = 0, 0 = -4*s - 3*b + 27. Solve -2*l = 4*t - 18, -3*t - f = 2*l - s*l for l.
5
Suppose 6 = 2*x - 0. Suppose -5*f - 15 = 0, -3*f + 53 = 3*z + 14. Let s be x + 4/z*4. Solve 0*b - 22 = h + 4*b, b - 3 = s*h for h.
-2
Let c = -6 + -4. Let y = c + 12. Suppose -33 = -m - 3*m - 3*u, 2*u + 38 = 4*m. Solve -h + m = 2*h + 2*j, -y*j = h + 1 for h.
5
Suppose 0 = 2*f + 12 + 16. Let m be 6 + 23/(-7) + f/(-49). Solve 3*w + 1 = h + m*h, -3*w + 11 = -h for w.
5
Let d(n) = 477*n - 2383. Let r be d(5). Let s = -3 + 7. Solve 3*f = r*f -