r for p.
-3
Suppose 4 = -3*n + n, -4*i - 4*n + 28 = 0. Solve 5*a = -2*t + 10, 3*a - 3*t + 3 = i for a.
2
Let i = 6 - 6. Let y be -1 + i - (1 + -4). Solve -c + 4*w = 13, y*w + 22 = -4*c + 3*w for c.
-5
Suppose -5*f + 12 = -3. Solve -2 = -4*p - 5*s + f, 2*s = -4*p - 10 for p.
-5
Let w be (-1 - -1)*2/2. Let s = 1 - 0. Let i = 4 - s. Solve 0 = -2*u - u + i*t, w = 2*t for u.
0
Suppose 5*m - 21 = 9. Solve -k = d - m*d + 15, -d + 3*k = -3 for d.
3
Let l(d) = d**3 + 4*d**2 + 3*d. Let i be l(-3). Suppose i = -f - f. Solve r - 2*w + 10 = 0, -5*w + f = -3*r - 27 for r.
-4
Suppose -141 + 135 = -3*c. Solve c*l - 18 = 2*r, 5*l - 36 = 4*r + 5 for r.
-4
Suppose -12 = -3*n, 3*v - 2*n = -3 + 10. Solve 0 = -3*s + u - 18 + v, -s - 5*u = -1 for s.
-4
Suppose 5*s = 40 + 10. Solve -5*p - 11 = -o, 3*p + 2*o = s - 27 for p.
-3
Let n = -1 + 1. Suppose n - 8 = -4*w. Solve -3*o = -2*x + 9, 13 = -w*o + o + 4*x for o.
-1
Let o be (-10)/4*(-3 + -1). Suppose 0 = -3*z + 4*z - o. Solve -d = -5*n - 2, 0*n = 3*d + n + z for d.
-3
Let h be 3/12 - 14/(-8). Suppose 8 = 2*n + h. Suppose b = -b + 22. Solve -n*l = 5*i - b, 2*i - 3*i = l - 3 for l.
2
Let m(b) be the second derivative of -b**5/20 + b**4/2 + 3*b**3/2 - 9*b**2/2 - b. Let a be m(7). Solve -3*k - 13 = a*d, -5*k + 16 + 4 = 0 for d.
-5
Suppose d + 8 = 2*o + 3*d, 0 = -2*d. Solve -4*i = 3*j - 2*j + o, 0 = 4*j for i.
-1
Let i(l) = -l + 11. Let m be i(6). Let d = 8 - 10. Let a = d - -47. Solve 0 = m*b - 4*u - a, 0 = 5*b + u + 4*u for b.
5
Suppose 2*d = -4, -g + 4*d = -0*g - 17. Let l be 2/2 - (g - 12). Suppose 0 = 6*t - 2*t - 12. Solve -t*r = 3*u - l*u - 2, 3*u - 6 = 3*r for r.
2
Let h(t) = 2*t**2 + 7. Let c be h(-5). Suppose 4*a + 12 = 0, 0 = -5*v - 3*a + 14 + c. Solve -y - v = 4*r, 4*r = -3*y - 0*r - 16 for y.
0
Let w be 11 + 2/4*1*2. Solve -2*l = -2*v - 4, -v - w = 2*l + v for l.
-2
Suppose -2*o + 12 = 2*o. Let u be 2*(-5)/(-2) + -1. Solve 0 = -b - 3*j - 3, o*b - u*b = j + 3 for b.
-3
Let g(b) = -b**3 + 7*b**2 - 6*b - 2. Let f be g(6). Let y be 0 - (f - 0)*1. Suppose 0 = 4*m - 5 - 15. Solve m*l + 2*t - 5*t = -1, 4*l + 2 = y*t for l.
-2
Suppose -5*i + 190 + 250 = 0. Let r be 2/(-5) - i/(-20). Solve -4*l + 20 = r*j, 2*l - 2*j = -l + 10 for l.
4
Suppose -q = 2*y - 5*q - 6, -2*y - q + 6 = 0. Suppose y*x + 8 = 7*x, h - 21 = -3*x. Let g = h - 5. Solve -j - 2*i = 0, 2*j + g = 5*j + i for j.
4
Suppose m = -m - 2. Let r be m/2 + 46/4. Suppose 4*j + r - 39 = 0. Solve z + 2 = -q, 3*z - z + q = -j for z.
-5
Let x(m) = m**3 + 10*m**2 + 8*m + 6. Let g be x(-9). Suppose 5*r = r - 5*c + 20, g = 3*r - c. Solve 2 = -z + r*q, -2*z + 7 = -q + 2*q for z.
3
Suppose 7*k - 2*k = 5, -m + 5*k = 0. Let t = 1 - 1. Solve -2*r = -7*r - 5*y - 10, -2*r - m*y - 13 = t for r.
1
Let a be (20/(-3))/((-1)/(-3)). Let b be 1/(2 + 36/a). Solve 0 = 4*t - 0*f + b*f + 26, 0 = -5*t + 4*f - 12 for t.
-4
Let d be (-90)/27*(-3)/2. Solve 3*f - 3*m = 0, -2*f + d*m - m - 6 = 0 for f.
3
Let w(n) = n**3 - 17*n**2 - 18*n + 20. Let q be w(18). Suppose 5*p - 18 - 2 = 0. Solve -2*a - 5*d + 0*d = -23, -p*d + q = 0 for a.
-1
Let u be 3/(-2)*(-28)/21. Solve -d = -u*y - 6, -3*d + 5 = -4*y - 7 for y.
-3
Let i be 14/3 - 3/(-9). Suppose i - 1 = 4*s. Let k be (-6)/(-2*s) - 1. Solve -3*j + k*x - 10 = 0, 6 = x + 1 for j.
0
Let y(n) = -n**2 - 24*n - 76. Let i be y(-20). Suppose 3*k - 56 = -k. Let p = 0 + 5. Solve 3*s - p*s = -4*w + k, w = i*s for w.
4
Suppose -4*x + x + 15 = 0. Suppose c + 14 = 3*h, -h + x*c = 3*h - 37. Suppose h*q + q - 8 = 0. Solve -3*v - 5*r + 3 - 11 = 0, -q*v - 3*r - 4 = 0 for v.
4
Let z be 29*3*1/3. Solve -2*i + k = -14, -i = 4*i - k - z for i.
5
Suppose -5*q + 9 = -5*g - 26, 3*g + 12 = 0. Solve 0 = 5*t - 2*n + 10, -q*t - 1 = -n + 5 for t.
-2
Suppose 3*w + 2 = -d - 1, -4*d - 2*w = -8. Suppose -4*k = -3*k + 5*z, 0 = -k + d*z. Solve 0 = -3*u - k*b + b + 8, 0 = -2*u - b + 7 for u.
3
Let w be (2 - 2)/(5/(10/(-6))). Solve j - 5*u = 2*j + 3, w = -5*u for j.
-3
Let a(i) = i**2 + 3*i + 3. Let w be a(-3). Suppose 3*f + 3 = 0, w*p - 2*f = -5*f + 18. Solve 0 = 4*t - h + p, t - 2*t = 5*h + 28 for t.
-3
Let h(o) be the second derivative of -1/3*o**4 + 2*o + 0 - 3/2*o**2 + 2/3*o**3 - 1/20*o**5. Let b be h(-5). Solve 2*q + b*k = 18, q = -2*q + 3*k + 3 for q.
5
Suppose -i + b = 5*b - 5, -4*i + 5*b = -20. Suppose -n = 2*n - 4*a - 12, 0 = -2*n + 2*a + 8. Solve -2*r - 5 = -i*t, n*r - t - 12 = r for r.
5
Let y be 1*11 + (-2)/1. Suppose 0 = -4*z + 7 + 1. Let q = z - 2. Solve -15 = 3*w, -d - y = 2*w - q for d.
1
Let x(f) = -11*f**3 + 2*f**2 + 3*f + 2. Let t be x(-1). Solve -4*j + w - t = -37, 0 = -3*j + 3*w + 30 for j.
5
Let u = 48 + -43. Solve -r - k = -0*k - 3, -3*k - 15 = -u*r for r.
3
Let s(v) = -9*v + 24. Let j be s(2). Solve 5*d + 10 = 4*k + k, -k = -2*d - j for d.
-4
Let m(r) = -r**2 + 8*r + 12. Let w be m(9). Let t be w + 2 + 1 + -3. Suppose 3*v + v = 8. Solve t*u + 33 = 4*k - v*u, -2*k = -u - 9 for k.
2
Suppose 7 = h - 2. Suppose -2*n + h = -n + 2*q, 22 = 2*n + 5*q. Let j be (n - (0 - 3)) + 1. Solve j*l + 35 = 3*o, 2*l + 13 = -2*o + 3*o for o.
5
Let t(j) = -j**3 + 9*j**2 + j - 7. Let a be t(9). Solve 0 = -2*q + a, 3*g + 2 = -3*q - 1 for g.
-2
Suppose 0*z + 4*z = 16. Suppose z*d - 29 - 27 = 0. Solve -3*j - 2*j + 5*r - 10 = 0, 5*j - 3*r + d = 0 for j.
-4
Suppose 3*d - 20 = -d. Solve 5*u = -v - 13, -4*u - 9 = -d*v + 13 for v.
2
Let o be (1 + 1)*1 + -6. Let d be (6 + -4)/((-2)/o). Solve -d*u - 24 = 5*q, -5*u + q - 13 = 3*q for u.
-1
Let v = -21 + 39. Solve -v = 5*l + 2*r, l = -5*r - 0*r - 22 for l.
-2
Let f = 0 - -2. Suppose -3*v + 3 + 8 = -2*r, 0 = -5*r + 2*v. Solve f*x + 2*x = 3*j - 25, -2*x + r*j = 14 for x.
-4
Let o(y) = 7*y - 3*y - 3 - 1. Let k be o(5). Let t be (-1)/(-3)*-3*-3. Solve t*j = -r - 14, -2*r = 4*j + 6 + k for j.
-3
Suppose -5*j + 7 = -2*i - 68, 4*j - 3*i = 67. Let x = j - 11. Solve -16 = 3*v - x*f - 0, 3*v - 3*f = -21 for v.
-2
Suppose 0 = -3*w + 3*a + 18, 5*w + 3*a - 20 = -6. Solve -w*s = -4*j + 12, -3*s = -s + 4 for j.
1
Suppose -10 = 2*v - 2. Let a be v*3/(-2) + -1. Solve 5 = -5*k - a*l, k + 3*k - 5 = 5*l for k.
0
Let u(s) = -s + 3. Let k be u(5). Let h be (-3)/k*(-8)/(-6). Solve z = -2*o + 5, -h*z + 5*o - 9 = -z for z.
1
Suppose -5*x = -13 - 2. Suppose -3*s - 3 = -9. Solve -r - 3 = x*u, r + 0*r + s*u = -2 for r.
0
Let z(q) = -q**2 - 12*q - 34. Let n be z(-6). Solve -2*g - n = -3*p - 0*g, 4*p - 18 = -5*g for p.
2
Let r = -11 + 23. Solve -r = -t - 4*t + 2*y, 2*t = 4*y - 8 for t.
4
Suppose -4*x - 6*x = 2*x. Solve 3*m + 2*m - 2 = -3*j, -5*j - 2*m - 3 = x for j.
-1
Suppose -4 - 20 = -4*j. Let h(m) = 0*m**3 + 5*m**3 + 2*m + 1 - j*m**3. Let i be h(-1). Solve -14 = -2*p - 5*l, 1 = -i*p + 5*p + 4*l for p.
-3
Suppose 3*f + 2*s - 44 = 0, -2*f = 2*s - 25 - 7. Suppose 2*j - f = -4. Solve x + 14 = -5*p, -8 = -j*x - x + p for x.
1
Let y be (-1)/((-136)/44 - -3). Solve 5*s + 2*w - y = -1, -2*w + 10 = -3*s for s.
0
Suppose 47*g - 50*g = -93. Solve -6*u + 4*p + g = -u, -3*p = 4*u for u.
3
Let y = -8 + 4. Let q be (-2 - -2) + -5 + y. Let z = q + 12. Solve 3*c - 6 = -2*h, -2*c = -z*h + c - 21 for h.
-3
Let x be 3 - (-3 - -3)/(-3). Solve -2*s + 21 = -x*f, -3*s - 5*f - 19 = -s for s.
3
Let n = 10 + -5. Suppose -5*m + 3*m = -6. Solve 20 = -2*p + 4*h, 15 + m = p + n*h for p.
-2
Let x(b) = -b**2 - 15*b - 10. Let o be x(-14). Solve -a = -o*l - 7, 0 = 4*a - 5*l - 0*l - 6 for a.
-1
Let w(a) = a**3 - 9*a**2 + 10*a - 10. Suppose 4*d + 16 = 0, -5*t - 3*d - 2 = -30. Let u be w(t). Solve 2*o = 6, -u*o = k - o - 19 for k.
4
Let l(p) = p - 5. Let b be l(7). Suppose 6*y - b*y - 60 = 0. Solve 3*g + 5*i = 8*g + y, -5*i + 18 = -2*g for g.
1
Let x be 5*(-6)/(-30)*(-2)/(-1). Suppose 0 = -5*j - 2*o + 10, -3*j - 4*o + 5*o - 5 = 0. Solve j = -3*d + 6, -40 = 4*s - x*d - 16 for s.
-5
Suppose 0*n + n = 5. Let h(q) = q**2 + q + 5. Let p be h(0). Solve -15 = -5*r - n*w, p*r + 0*w + 3 = w for r.
0
Suppose -10*w = -9*w - 5. Solve -w*t + k = 12, 0 = -2*k - 3 + 7 for t.
-2
Let z(r) = r + 3. Let t be z(8). Solve -l + 9 = -5*u, t = -4*u + 5*u + 3*l for u.
-1
Let a be (6/5)/((-3)/(-10)). Suppose 0*s = 4*s - 96. Solve -g + 4*i = 3*g + s, i = a*g + 12 for g.
-2
Suppose 3 = 2*r - 3. Let h = r + 141. Suppose 0 = -5*d - 44 + h. Solve 0 = -5*g - d, -3*g - 15 = -5*z + 4*z for z.
3
Suppose 3 = 5*v - 12. Let r(j) = -j + 14. 