- 7 for p.
3
Let w = 108 + -70. Let q = w + -38. Suppose -4*l - 10 + 22 = q. Solve -l = -t + 1 for t.
4
Let f be (-1)/3 + 2*32/12. Solve f*z - 15 - 5 = 0 for z.
4
Let m be (-748)/85 - (-2)/(-10). Let y be (6/(-9))/(m/(135/10)). Solve 4*f - 17 = -y for f.
4
Let a = -16 - -17. Suppose k = m - 6, -k - 3 - a = m. Let u be -15 + 17 - -3*m. Solve -12 = -u*l + l for l.
3
Suppose -4*c - 5*d = -3, -18 + 13 = -2*c + d. Solve -39 = -c*s - 31 for s.
4
Let n be 8/20 - (-4)/(-10). Let y be (2 - 4/2)/(-1 + n). Solve -2*m + 0*m + 2 = y for m.
1
Suppose 86*d - 87*d = -4. Solve -d*m - 2*m = -24 for m.
4
Let f(s) = s**2 - 13*s + 17. Let t be f(12). Let u be 27 - (-3 - (0 - 3)). Let h = -15 + u. Solve -2*v + t*v = h for v.
4
Let w(h) = -2*h**3 + h**2 - h + 2. Let a be w(0). Suppose -2*c = 3*d + d - 4, 2*d - a*c - 14 = 0. Solve -4*y + d = -5 for y.
2
Let z = 399 + -403. Let r(b) = -b**3 + b**2 + 4*b + 3. Let s be r(-2). Let p = s + z. Solve p*l = -2*l + 5 for l.
1
Let w be 2*6/4 - -1. Suppose 3*y + 2*q - 6 = -2*q, 2*y + q = w. Let s be -1 - -18 - (3 - 6). Solve -2*g - s = y*g for g.
-5
Suppose 9 = 3*n, -27*n = -4*x - 26*n + 17. Solve 3*t + 16 = -x*t for t.
-2
Let k(w) = -w + 8. Suppose 5*h = j - 23 - 1, -8 = 2*j + 4*h. Let l be k(j). Solve -p - l = 3*p for p.
-1
Let r = 133 - 128. Solve r = -0*u - u for u.
-5
Let f(h) = h**3 - 6*h**2 + 4*h + 7. Let t be f(5). Suppose -i + 3*k + 7 = -3, t*i = -k + 34. Let p be i/6 - (-1)/3. Solve 0 = p*v + v for v.
0
Let u be -5 + 0 - (1 - -40). Let q = 66 + u. Solve 8*n - 4*n = q for n.
5
Let i(h) = h + 25. Let g be i(-7). Suppose -14 = c - g. Solve -c*r = -2*r - 4 for r.
2
Suppose -7*f + 2*f = -5*u + 5, 4*f + 4*u = 4. Solve -15*q + 13*q + 4 = f for q.
2
Let p(r) = -7*r - 15. Let f(q) = -20*q - 45. Let h(u) = -6*f(u) + 17*p(u). Let a be h(-15). Solve -4*v + 0*v + 16 = a for v.
4
Suppose -o - 30 = -11. Let v = o - -23. Let c be ((-22)/v)/((-7)/14). Solve -5*f = 9 + c for f.
-4
Let o be 55/10 - 30/12. Solve 15*k - o = 12*k for k.
1
Let k(d) = 2*d**2 - 41*d + 25. Let f be k(20). Suppose 16 - 2 = i + 3*q, 4*q - 8 = 4*i. Solve f*s + i = 3*s for s.
-1
Let x be (-4)/10 - (-99)/(-15). Suppose 3*u - 22 = -5*j + 9*j, 3*j - 6 = 0. Let m = x + u. Solve m*p - 1 = -13 for p.
-4
Let q be 252/18 + 3/(-9)*-3. Solve -u = 2*u + q for u.
-5
Let k(t) = -t - 3. Let h be k(-5). Let y = -26 + 33. Let a(m) = -m**3 - 4*m**2 - m - 4. Let u be a(-4). Solve c - h + y = u for c.
-5
Suppose x = -4*g + 14, g - 9 - 2 = -4*x. Suppose -x*o = -o - 5. Let a(m) = -m**3 + 8*m**2 + m - 8. Let l be a(8). Solve l = o*y - 0 + 5 for y.
-1
Suppose 4*j - 4 = -2*r - 3*r, -r - 2 = -2*j. Suppose -4*q = r, 10 = 4*c - 2*c + 4*q. Solve -5*b = -4*b - c for b.
5
Suppose -13*k = 2*j - 11*k - 42, -2*k = -4*j + 78. Solve j*y + 3 = 21*y for y.
3
Suppose -4*r - 2 = 2, -5*v + 4*r = -14. Let x be (v - 7/2)*-8. Solve d - x = -2*d for d.
4
Suppose -a - 11 = 3*b, -5*b - 4 = a + 17. Suppose -76*o + 137*o = 183. Solve -f = -a*f + o for f.
1
Let h(n) = n**3 + 7*n**2 - 2*n - 14. Let t be h(-7). Solve 0 = -4*l - t + 16 for l.
4
Let i(z) = -15*z**2 + 496*z - 30. Let j be i(33). Let d = -1 - -7. Solve 0*h - d = j*h for h.
-2
Let z = 114 - 104. Let f be 75/z*-2*6/(-15). Solve 0 = 4*t - 14 - f for t.
5
Suppose 0 = -4*t + 15 + 5. Let x be 24*(5/2)/t. Let k = 12 - 8. Solve k*l - x = 8*l for l.
-3
Suppose 26*b - 16 = -16. Solve 2*d + 2*d + 8 = b for d.
-2
Let b be (24 - -2)/(-1 + 3). Suppose -6*j = -1443 + 1245. Solve 5*i = b - j for i.
-4
Let f = 3 - 11. Let z = f + 12. Suppose -40 = -z*x - 4*c, 3*c - 20 = -5*x + 4*c. Solve -8 = b - x*b for b.
2
Let c(b) = -b**2 + 5*b - 2. Let y be c(2). Suppose -d + 11 = 4. Suppose 2*u = h - 8, 2*u + 17 = 3*h - d. Solve -y*g + h = -0 for g.
2
Let p = -82 + 77. Let z(s) = -s**2 - 4*s + 10. Let h be z(p). Solve 2 = -n + h for n.
3
Suppose 3*a - u = 80 + 30, -170 = -5*a + 5*u. Suppose -10 + a = 4*s + 2*i, -26 = -3*s - 4*i. Solve -2*r = -s*r for r.
0
Suppose 18*m + 466 = 3040. Solve 5*o = -m + 123 for o.
-4
Suppose 2*t + t - l - 14 = 0, 4 = 3*t + l. Suppose z = 5*z + t*d - 10, -4*d = 2*z. Solve 3*s = z*s + 5 for s.
-5
Let p(s) = s**2 - 20*s + 103. Let j be p(9). Solve 17*w - j = 15*w for w.
2
Suppose 2*b + 11 = -7*z + 8*z, -3*z + 3*b = -27. Solve 2*g - z*g - 10 = 0 for g.
-2
Suppose -i + 2*i + 10 = 5*j, 4 = 2*j - 4*i. Suppose j*q - 3*a - 7 = 0, 0*q - a = -q + 3. Solve -3*g - q = 1 for g.
-1
Let z be (1 - (23 - -4))/(-2). Let n = z - 11. Solve n*h + 2*h = 12 for h.
3
Let i be 1216/(-88) + (-26)/22 + 1. Let y be 7/(294/12) + 4/i. Solve -f + 3*f + 6 = y for f.
-3
Let v(w) be the first derivative of -w**3/3 + w + 1. Let f be v(-1). Solve f = u + 3*u for u.
0
Suppose -3*f = -n + 3 + 13, 40 = 5*n - 5*f. Suppose -5*l - n*u = -80, 2*l - u + 6*u = 32. Solve l = -0*b - 4*b for b.
-4
Let s(w) = -w**2 + 24*w - 20. Let q be s(23). Solve 0 = 4*y + q + 5 for y.
-2
Let p be (33/22)/((-3)/(-4)). Suppose p*z - 7 = -5*s, 5*s - 2 = -3*z + 1. Suppose -s*b - o - 4*o + 32 = 0, 2*b = -4*o + 24. Solve -b*q + q = 3 for q.
-1
Let s(b) = -b**3 - 8*b**2 - 8*b - 4. Let n be s(-7). Let k(j) = j**3 + 8*j**2 - j - 8. Let r be k(-8). Let x = r + n. Solve -3*p = -x + 15 for p.
-4
Suppose 0 = -v + 4*v - 5*f + 10, 0 = 3*v - 3*f + 6. Suppose -3*z + 1 - 4 = 0. Let g be 1/(-5) - z/5. Solve 3*d + v*d = g for d.
0
Let f = -19 + 18. Let o = 3 - f. Solve -3 = -o*z + z for z.
1
Suppose -5*v - 4 = 3*h, 1 + 4 = 5*v. Let s be h + (-2)/(-2)*4. Suppose -f + s = -4. Solve f = 5*g - 0 for g.
1
Suppose 2*y = -0 + 10. Let a(n) = 3*n + 4 - 8 + 5. Let s be a(y). Solve s = -3*f - f for f.
-4
Suppose -2 = q - 7. Suppose -3*z = -z + 2*m - 52, q*z - 114 = -m. Suppose 3*l = -5*o + 39 - 13, 5*o = -l + z. Solve l = i + i for i.
1
Suppose -2*j - 550 = 5*z, 4*j - 210 = z - 78. Let a = -110 - z. Solve 0 = -6*h + 8*h - a for h.
1
Suppose -2*z + 8 + 2 = 0. Suppose -3*q + 17 + 17 = 5*x, -4*x = -5*q - z. Let k be (0/(9/((-54)/(-6))))/(-1). Solve 0 = -h - k - q for h.
-3
Suppose -46 = -28*k + 38. Solve -2 = -n + k*n for n.
-1
Let c = 116 + -123. Let g = c + 32. Solve 0 = -o + 6*o - g for o.
5
Let m = -51 - -59. Suppose -m*j + 24 = -8. Solve j*u + 8 = 6*u for u.
4
Let f be -2 + (6 - 11) + 14. Solve -7*w + 42 = f*w for w.
3
Suppose -k + 3*r + 2*r - 84 = 0, 2*k + 5*r + 93 = 0. Let c = k - -62. Let t = -62 - -87. Solve t = -c*w - 2*w for w.
-5
Let k(c) = -13*c**2 - 2. Let j be k(-2). Let g = j - -58. Solve 14 - g = -2*p for p.
-5
Suppose -43 - 1 = -4*v - q, 0 = -2*v + 3*q + 8. Solve -46*o - v = -48*o for o.
5
Suppose -32*z + 29*z = 0. Let h be z/(-1) + (11 - 9). Solve 2*d - h = -0 for d.
1
Let b be ((-8)/(-6))/(5/(-15)). Let q be (6/(-9))/(b/(-6)). Let h be (-6)/((-6)/(-4)*q). Solve -o + h*o = -9 for o.
-3
Let l(x) = 3*x**2 - 75*x + 72. Let s be l(24). Solve -20*i + 14*i + 30 = s for i.
5
Let w = 107 - 96. Solve w*u - 10*u + 2 = 0 for u.
-2
Suppose -4*c = 4*v + 80, 5*v + 19 = c - 51. Let p = 26 + v. Suppose 5*g + 5*z = 40, 4*g - 3*z = -0*g + p. Solve -g*l + 16 = -l for l.
4
Let n = 238 + -230. Solve 6*m + 22 = -n for m.
-5
Let o be ((-33)/55 + 6/10)/2. Solve -r + 3 = -o for r.
3
Suppose 0 = -2*j + 3*k + 199, k = -3*k - 4. Let s = -90 + j. Solve s*t - 12 = 5*t for t.
4
Suppose -5*t - 6 = 3*y - 28, 5*t - 10 = 0. Suppose -y*o = 25 + 19. Let w = o + 14. Solve w*h + 2*h = -25 for h.
-5
Let a(l) = -6*l + 33. Let g be a(5). Solve g*c = -33 + 48 for c.
5
Let h be (9/(-15))/((-2)/20). Let s = 5 - 3. Suppose 35 + 5 = s*k. Solve -h*l - k = -l for l.
-4
Let n be (36/(-20))/(6/(-5) - -1). Solve -2*s = n - 1 for s.
-4
Let y(u) be the first derivative of -u**3/3 - 5*u**2 - 5*u + 2. Let d be y(-9). Let q = d + -4. Solve q = l + l - 8 for l.
4
Suppose 0 = 43*v - 36*v - 42. Solve 7*t = v*t for t.
0
Let z(d) = -d**2 + 5*d + 9. Let n be z(6). Suppose -y = -n*y + 6. Suppose r = -2*h, 9 + 5 = h - y*r. Solve 12 = h*q + 2*q for q.
3
Let x(r) = -r**2 - 4*r - 5. Let u(h) = h**2 + h - 1. Let w(z) = -2*u(z) - x(z). Let a be w(3). Solve a*k = 2 + 10 for k.
3
Let u(w) = -w**3 + 16*w**2 + w - 8. Let o be u(16). Let x = 29 - o. Let c(g) = -g**3 - g**2 - 4*g - 3. Let h be c(-2). Solve 0 = 4*f + h - x for f.
3
Suppose 162 = -3*u + 21. Let r = u + 60. Solve r = -3*g + 1 for g.
-4
Let b be 14/(-7) - (-7 - 0). Suppose b*f = 2*l, f = 2*f + l. Solve -4 = -f*h - 4*h for h.
1
Let b 