 + r*n for p.
1
Suppose -5*n = 5 + 5. Let o = 205 + -202. Let z be -3 - (n - 1 - o). Solve 3*y = 2*l + y, -z*y - 15 = 0 for l.
-5
Suppose 0 = 83*m - 80*m - 9. Solve 5*r + 3 = -4*h, 0 = -2*r + 4*h + 13 - m for r.
1
Suppose 3*z - 42 = -3*g, -4*g - z + 2*z = -36. Suppose 30 = 2*d + 4*p, -p - g + 0 = -3*d. Solve 3*s = s + 3*m + 2, 4*m = -d*s - 18 for s.
-2
Let r be ((-20)/(-90))/(3/27). Solve 3*d = -2*k + 7*d - 18, -2*k = -r*d + 10 for k.
-1
Suppose 0 - 12 = -a - 2*o, 2*a - o = 4. Solve -4*p + 7 = 5*q - a, 0 = 3*p + q for p.
-1
Suppose 0 = -h + 2, -4*c - 5*h + 10 = -2*c. Suppose -2*z + z = -4*a - 33, -a = c. Solve -3*y - 2*f - 11 + z = 0, 2*y - 5*f = -17 for y.
4
Let k(p) = -3*p**2 + p**2 + 3*p**3 + 1 - 7*p**3 + 3*p**3 + 2*p. Let z = -101 + 98. Let y be k(z). Solve h + 7 = -3*j, 5*h - 3*h + y = -j for h.
-1
Suppose 105 + 180 = 57*l. Solve -3*d = -9, -6*d + 4*d + 6 = l*y for y.
0
Let t(f) be the first derivative of -f**2/2 + 14*f - 11. Let u be t(18). Let m be (-21)/14 - 54/u. Solve 0 = 6*b - 2*b - 4*j + 8, -4*j = -2*b - m for b.
2
Let f be (0 + 0 - -6)*1. Let x(c) = 5*c**2 - 7*c - 6. Let j be x(-1). Suppose -9 = -3*t + j*t, 3*u = -3*t - f. Solve -4*s - 6 = -2*i, -5*i - u = s + 17 for i.
-3
Suppose -30 = 10*j - 5*j. Let x(s) = -s**3 - 7*s**2 - 9*s - 10. Let t be x(j). Let p = -1 + 3. Solve -5*a - 16 = 2*y, -p*a - a = 2*y + t for y.
2
Suppose -g = 4*g - 5. Let v(b) be the first derivative of 11*b**2/2 + 2*b - 1. Let d be v(g). Solve s + 3*h + d = 0, -6 = h + h for s.
-4
Suppose 33*m + 3*m - 72 = 0. Solve -m*p = -5*n + 35, 4*n = -3*p + 3*n - 10 for p.
-5
Let k = 3 + -5. Let p be (2/(-1)*k)/2. Suppose -x - 3*m = -8*m - 30, 0 = -p*x - 2*m. Solve -3*q + x*q - 10 = -3*i, 0 = -q + i for q.
2
Suppose -d - 2*g = -3, -8 = 2*d + 2*d - 2*g. Let o be 5 - d/(-3)*9. Let b be 16/(-12)*(-3)/2. Solve -n = -3*p - o, b*n = -4*p - 0 + 4 for n.
2
Suppose b = 4*b - 6. Suppose -2*o - 3*m + 27 = 8, 0 = 3*o - m - 1. Solve -o*s = 3*g - 6, -s = -1 - b for g.
0
Let s = -14 + 15. Suppose 0 = -3*h - 5*l + 10, -h = 4*l - s - 0. Solve 3*k = 5*w - h, 2*w + k = 3*w - 3 for w.
-2
Suppose 21 = 12*g - 27. Solve -g = -2*q - 2*j, 1 = q + 2*j - 1 for q.
2
Let q = -56 - -69. Let w(v) = v - 11. Let t be w(q). Solve -n + 1 = -4*j, t*n - 1 = n - 3*j for n.
1
Let m(b) = -3*b**3 - 2*b**2 + 2*b + 1. Let l be m(-2). Suppose y = -2, 0 = 5*s - 4*y + y - 11. Let k = 6 - s. Solve -3 - 24 = c + k*o, 0 = 4*c + o + l for c.
-2
Suppose 3*n - 12 = -3*r, n - 3*r - 13 = -r. Solve 0 = -4*s - 4*y + y - 27, -2*y = -s + n for s.
-3
Suppose 0 = w - 1, -p + 17 = 5*w - 7. Solve -3*g + 4*y - p = 0, -3*y + 1 = -2 for g.
-5
Let b(v) = -26*v + 210. Let t be b(8). Solve 0 = -5*j + 2*j - 4*x + 5, -1 = -3*j - t*x for j.
-1
Suppose 3*f + 14 = 7*f + 2*m, -2*f = -2*m - 16. Solve -4*t - 12 = -i + f*i, 4*t = -i + 3 for t.
2
Let f = 2450 - 2445. Solve 3 + 7 = 4*y + 2*z, 12 = f*y + 2*z for y.
2
Suppose -v + 5 = -4*o, 2*v - 5*v - 3*o = -15. Solve 2*k + v = l + 13, -5*k + 22 = -3*l for k.
2
Suppose -177 = -8*u - 161. Solve u*r + x - 7 = 0, 2*r - x = x + 16 for r.
5
Suppose -z - 7 = -4. Let a = z + 10. Solve d = 2*f + 6, -1 = d + 5*f + a for d.
2
Suppose -189*v = -182*v - 182. Solve -3*z = -g + 4*g + 27, -v = 4*z + 2*g for z.
-4
Let w = 50 - -1. Let f = w - 48. Solve 0 = -2*v - v + f*h - 6, 0 = 5*v + 5*h for v.
-1
Let z = 247 + -245. Solve -4*a + 3*m + 1 + z = 0, -3*m + 9 = 0 for a.
3
Let h be 4/(2 - -2) - (3 + -4). Suppose 5*a - 4*v - 16 = 0, 3*a - 2*v + 6 = 16. Solve -7 = -3*p - 2*k, -p + h*p + 11 = -a*k for p.
5
Let w(h) = h**2 + 2*h - 4. Let a be w(2). Solve -3*q + j + j = 13, a*q = 2*j - 16 for q.
-3
Suppose 2*k - 2*n - 52 = 58, 4*k - 205 = -n. Let i be 3/(-12) + k/16. Solve -4*a - 5*f + 0*f = -4, 4 = 2*a + i*f for a.
-4
Let o be (-1 + -2)*40 + -2. Let u = o + 127. Solve -u = -d - s - 1, 4*d = 2*s - 14 for d.
-1
Suppose -4*c = -c - 69. Suppose 3*w + c = -25. Let m = w + 16. Solve m*k = -n - 4*k + 15, -4*n - 5*k = -27 for n.
3
Let k be ((-38)/57)/(4/(-6)). Let x be ((-12)/9 + k)*(2 + -2). Solve -3*s + 4*a = -a - 28, -5*s - 3*a - 10 = x for s.
1
Let t be -3 - 4/2 - -7. Suppose 0 = -y - y. Suppose -3*s + 7*s - 8 = y. Solve -2*i = 2*j - t, 0 = -j + s*i - 5 for j.
-1
Let b(p) = 5*p + 5. Let g be b(5). Let q = 32 - g. Solve -5*m = 3*z - 7, m - q*m = -2*z - 4 for z.
-1
Suppose -5*w + 19 = -3*v, -16 + 28 = 3*w - 2*v. Solve 2*k + 5*d + w = -0*k, -3*d = -k - 1 for k.
-1
Suppose 2*n + 4*r = -2*n, 3*n - 2*r = -10. Let c be (4 + n)*1 + 1. Solve c*t = g - 1, t = 2*g - t - 6 for g.
4
Let w(t) = -t**2 + 3*t + 7. Let h be w(4). Suppose -10*n + 23 = h. Solve 0*f - 5*f - 3*v = -35, 3*f + n*v - 22 = 0 for f.
4
Suppose -500 = 10*o - 30*o. Solve k - 15 = -5*f + 2*f, -k = 5*f - o for f.
5
Let p(j) = j**3 - 57*j**2 - 114*j - 233. Let x be p(59). Suppose -y + 1 = -1. Solve -5*h - 5 = 5*d - 0*d, y*h + 3 = -x*d for h.
0
Let f = 636 - 625. Solve -3*d + 4*d - 2 = t, -3*t + 4*d - f = 0 for t.
3
Suppose -t + 0*t + 21 = 0. Let n(f) = -101*f**2 + f + 2. Let u be n(-1). Let l = u + 111. Solve 5*r = s - t, s + 0*r = -3*r - l for s.
1
Let v be 292/7 - 8/(-28). Suppose 0 = -20*y + v + 18. Solve -2*h - 3 = -l - h, y*h = -9 for l.
0
Suppose 6*d + n = 4*d + 18, -9 = -d - 4*n. Suppose -d*c + 7 = -11. Solve 0 = 3*j - 3*f - 20 + 5, -c*j + 3*f + 12 = 0 for j.
3
Suppose 3*v - 39 = -10*v. Solve a - 5*i - 17 = 0, -3*i = v*a + i + 6 for a.
2
Suppose 0 = -23*f + 60*f + 148. Suppose -4*i - 5*n = -9, -2*i - 2*n = -4*n - 18. Let y be (-2)/(-2)*(i + f). Solve -y*b + 2*a + 7 - 1 = 0, 2*b - 4*a = 6 for b.
3
Let a(x) be the third derivative of x**4/12 + 8*x**3/3 - 11*x**2. Let h be a(-20). Let v = h - -26. Solve -3*r + 17 = -5*i, -v*i - 17 = -i - 4*r for i.
-1
Suppose -4*g + 4*x + 13 = 3*x, 4 = -2*g + 4*x. Solve -2*m - 4*s - g = -5*m, -4*s + 28 = 5*m for m.
4
Suppose c = 6*c + 85. Let r = c + 21. Solve a - d + 10 = r*a, -10 = 2*d for a.
5
Suppose 0 = -0*o + 5*o + 49*o. Solve r - 2*r = -m - 7, -r + 5*m + 27 = o for r.
2
Suppose 0 = -5*h + 4*d, -2*d = 2*h - 3*h. Solve h = 2*k + 3*w - 10, 7*w - 25 = -5*k + 2*w for k.
5
Let a = 38 + -23. Suppose -2*v - v = 3*o - a, -20 = 4*v - 4*o. Suppose -5*u = -k, v*u + k = -3*u. Solve u = -g + 3, 2*j - 1 + 8 = g for j.
-2
Let a(q) be the first derivative of 2*q**3/3 + q**2/2 - 4*q + 4. Let c be a(-3). Solve w + c = 4*f, -4*f + 5*w - w + 8 = 0 for f.
3
Suppose 5*s = 2*s + 4*g + 329, -s = 3*g - 114. Let f = 111 - s. Solve -3*w = n - f*w + 14, 5*w = -25 for n.
1
Let v(u) = -u**2 - 15*u + 39. Suppose 0*r - 5*a = -5*r - 110, -4*r - 43 = 5*a. Let l be v(r). Solve -2 = -5*i - 27, i = -3*c - l for c.
0
Let s = -117 + 135. Let j be 1*-3*(-12)/s. Solve -2*m = 2*m + j*x + 28, -m + 3 = -2*x for m.
-5
Let p be (12 - 8) + 2*2/4. Let h = 16 - 45. Let j be 6/(-27) + h/(-9). Solve j*k - k + 3 = -f, p*f + 15 = -3*k for k.
0
Suppose 8*b + 1000 = 1032. Solve q - t + 2*t = 2, -3*q + 8 = b*t for q.
0
Let c be -1*(7 + -6)*0. Let h = 3 - 0. Solve 2*a - j - 3 = 0, -h*j = -4*a - c*j + 5 for a.
2
Let p be ((-15)/(-9))/((-2)/24). Let l = -18 - p. Suppose x - 4*w = -17, 2*w + l = -x + 15. Solve -6*u = -x*i - u, 0 = -5*i - u for i.
0
Let n = 461 + -458. Solve 0 = d + d + n*o - 2, 0 = -3*d + 5*o - 16 for d.
-2
Suppose 5*s + 4*t - 10 = 80, -5*s - 5*t + 90 = 0. Let c be ((-8)/24)/((-2)/s). Solve -33 = -5*h + 2*w, -c*h + 2*h - 15 = 5*w for h.
5
Suppose 0 = -5*f - 0 - 5. Let m be 1 - (-2 + (-1 - f)). Suppose -60*v = -74*v + 84. Solve -3*k - i - 6 = 0, 0*i + v = -3*k - m*i for k.
-2
Let l(s) = 15*s - 2*s + 4*s - 1 + 9*s. Let r be l(-4). Let p be (2/3)/((-14)/r). Solve 2*m = 2, 4*x - 28 = -p*m - 3 for x.
5
Suppose -6*m + 14 = -34. Solve -m = 5*k - k, 0 = -u - 4*k - 11 for u.
-3
Suppose -5*r = 4*h - 12, 3*r - 2*r - 4*h = -12. Solve 2*a + 2*q + 8 = 4, r = 3*q + 6 for a.
0
Suppose -2*i - 4*v = 6, 2*v + 4 + 4 = 0. Solve 2*d - i*d = 2*a - 7, 5*a - 2*d = 8 for a.
2
Let b(v) = -3*v**2 - 11*v + 8. Let o be b(-4). Suppose u = 3*y - o*u - 34, -y - 5*u - 22 = 0. Solve -k + 17 = 3*w - 0*k, -15 = -y*k for w.
4
Let m = 23 - 23. Suppose m*t + 7*t - 21 = 0. Solve 5*h + 4*p = -45, -5 = h + t*p + 15 for h.
-5
Let b(n) = -n**3 - 2*n**2 - 8*n - 13. Let y be b(-2). Solve -10 = -f - 5*p, 7*f - 6 = 4*f - y*p for f.
0
Let w be ((-24)/(-54))/((-16)/(-72)). Solve 0 = -w*q + 10, 4*q - 13 = 2*h + 3*q for h