 + 2 for p.
3
Suppose 2 - 6 = 4*n. Let q be ((-4 - n) + -1)*91/(-14). Solve 3*t + t = -u - 17, -2*t = 4*u + q for u.
-5
Let f(d) = 60*d**3 + 2*d**2 - 4*d + 2. Let s be f(1). Let m = -58 + s. Solve -6*t + m*t + 2*g = -6, 4*t = -3*g + 21 for t.
3
Let z be (-280)/(-490) - (1 - (-17)/(-7)). Solve -h = x - 8, -3*x = -z*h + 8 - 12 for x.
4
Suppose -15 = -12*i - 3. Let m(y) be the first derivative of 8*y**2 - 1. Let q be m(i). Solve -4*w = -t + w - 25, 4*t + q = -w for t.
-5
Suppose 4*o = r - 0*r + 57, 4*o = 3*r + 155. Let b be 21/r - (-34)/14. Solve c - w - 6 + 3 = 0, -b*w - 10 = -3*c for c.
4
Suppose 2*s + k - 71 = 0, s = -2*s - 4*k + 104. Suppose -4*y + 52 - s = 0. Suppose -4*x + 24 = y*x. Solve -n = -5*m - 16, 5*m - x = -5*n - 13 for m.
-3
Suppose -3 = -3*l + 3. Let m be (0/l)/((-2)/(-2)). Suppose 14 = x + 9. Solve m = -x*h + 5*n - 30, 2*h + 0*n - 4*n + 14 = 0 for h.
-5
Suppose -6*t - 7*t + 104 = 0. Suppose 0 = 4*q - 0 - t. Solve 3*g = -4*x + g + 12, -q*g = 5*x - 16 for x.
4
Let p be 1*((-16)/(-14))/(36/126). Solve -l = 3, -l = p*c - 2*l - 19 for c.
4
Suppose -6 = 2*d + 2*z - 0, -z = 2. Suppose 0 = -2*n - t + 8, 11 = 5*n + 2*t - 10. Let f = n + d. Solve -h + 5*s - 23 = 0, -s + 6 + f = -2*h for h.
-3
Let l(y) = y**3 + 6*y**2 - 4*y - 5. Let x be l(-6). Suppose -x - 1 = 2*h. Let m be (-21)/(-14) + h/(-4). Solve 0 = 5*a + m*f + 16, 4*a - f + 18 = f for a.
-4
Let i(f) = -2*f**3 + 18*f**2 + f - 7. Let y be i(9). Solve 4*h = 2*v - 12, -h = y*v + 6 + 2 for h.
-4
Let k(l) = -2*l**2 + 7*l - 9. Let z be k(5). Let b be ((-25)/(-10))/((-4)/z). Let v be b/3 - (0 - -2). Solve 2*y = -v*m + 9, 0 = -2*m - 3*y + 6 + 5 for m.
1
Let l(t) = -t**3 + 39*t**2 - 75*t + 47. Let x be l(37). Solve 0 = -g + j + 7, -4*j - 6 = x for g.
3
Let y = -166 - -54. Let r = y + 116. Solve r*p - 8 = 0, p - 3*p = s - 7 for s.
3
Let d be ((-18)/15)/(6/(-20)). Let n(b) = b**2 - 8. Let u be n(d). Suppose 4*g - u = -0. Solve -2*h + 0*h + 2 = -g*c, 0 = -3*h + c + 9 for h.
4
Let z be (0 - 1)/((-4)/32). Suppose -3*y + z = -7. Suppose -y*q - 3*a = -2*a - 20, 3*q + a = 12. Solve -2*p - 3*i = -21, -4*p + 23 = -3*p + q*i for p.
3
Let z(j) = -j**3 - j**2 + 8*j. Let f be z(-4). Let i be ((-16)/(-6) + 0)/(f/24). Solve -i*l - 4*o = 36, -9 = 5*l - 2*o - 2*o for l.
-5
Suppose m = 32*m - 279. Solve -3*d + 10 = -q, -4*d = -2*q - m - 1 for d.
5
Suppose 2*r + 4*z = 6, -2*r - 2*z = -4 + 2. Let n be 1/((-2)/4) - r. Let u(y) = 2*y**2 - y - 1. Let w be u(n). Solve 5*q - 4*b = 1, 1 - 11 = w*q + b for q.
-3
Let g = 8 - 4. Suppose -4*l - l = -3*d + 22, -l + 37 = 4*d. Suppose -24 + d = -5*c - 5*s, -4*s - g = 0. Solve -6*o + o - 2 = c*p, -5*o = 5*p for o.
-2
Let o be -4*(-6 + 1 + 2). Suppose 66*h - 108 + 912 = 334*h. Solve -o - 14 = -5*r + h*d, -r + 2 = d for r.
4
Suppose 0 = b + 8 - 0. Let p = 12 + b. Suppose y - 8 = -3*d, -p*y = -y + 5*d - 24. Solve -y - 6 = -3*h - f, 11 = -3*h + 4*f for h.
3
Let x be (1 - (-7)/7)*30/12. Solve p - 3*r = 0, -3*r - 2 = -x for p.
3
Suppose -5*s - 5 = c - 2*c, -4*c = -4*s - 4. Suppose 7*b - 4*b = c. Solve b = -3*h - 4*g + 15, -2*h - 2 + 12 = -3*g for h.
5
Let b = -29 + 32. Let i be 8/(-20) + (-81)/(-15). Solve -b*o = i*g - 19, -2*o + 9 = g + 1 for g.
2
Let r be ((-4)/(-12))/((-5)/(-135)). Let l be (-14)/(-21) - 21/r*-1. Solve 2*s + 11 = -3*x - 6, l*x + 19 = -4*s for s.
-1
Suppose 5 = -d + 16*s - 20*s, -6*s = 3*d + 3. Solve 3*a - a + 2*f = 4, d*a - 24 = 3*f for a.
5
Let c(i) = -i + 9. Let m be c(8). Let q be (8 - 6) + m*3. Suppose -q*w + w + 28 = 0. Solve -w = f + 4*l, -4*f = -0*l + l - 17 for f.
5
Let x = -28 + 7. Let z = 22 + x. Solve -4*q - 3*w - z = 0, 4*w = 3*w + 1 for q.
-1
Let b be (6 + -2 + -4)/2. Let n be (b/(-4 + 3))/(-1). Suppose n*l = 3*l - 9. Solve 5*h - 3*x = -x + 14, -x = l*h - 15 for h.
4
Suppose 0 = -12*o + 10*o, 4*w + 2*o - 200 = 0. Solve s = 5, -6*f - 5*s = -f - w for f.
5
Suppose -3*u - 9 + 37 = 5*q, q + 4*u = 9. Solve -3*v = -q*c - 5*v + 5, -5*c + 4*v = -35 for c.
3
Suppose -b - 4*o - 17 = 0, -3*b - 3*o - 5 = 1. Suppose -5*u - b*x = -4*u - 2, -3*u = -x - 6. Solve 3*h + 2 = u*d - 3, 2*d - 2*h - 2 = 0 for d.
-2
Let b(t) = t**2 + 6*t + 3. Let z be b(-6). Let o(j) = j**3 - 30*j**2 + 37*j + 536. Let a be o(28). Solve -z*k = 0, -c + 0*c = 2*k - a for c.
4
Suppose -5*s + 15 = -q, -q + 7*s - 5*s = 3. Solve 5*p - a + 20 = -5*a, a = -2*p - q for p.
0
Let b(l) = l**3 + 9*l**2 + 6*l - 7. Let u be b(-8). Solve 5*x - 13 = -y, -4*y + 2*x = -u*y - 4 for y.
-2
Let z = 801 + -798. Solve -2*o + 0 = -z*i + 2, -4 = 3*i - 5*o for i.
2
Let c be 6/(-24) + 17/4. Suppose 5*z = 5*k + 20, c*k + 8 = -0*k. Solve -4*d = -z*d + 4, 0 = -2*l - d - 8 for l.
-3
Let a be (3 - (-63)/49) + (-2)/7. Solve 2*b + 2*w = 3*w + 7, a*b = -2*w + 10 for b.
3
Suppose 2 = -13*h - 37. Let v(x) = -4*x + 1 - x**2 - 5 - 2*x. Let p be v(h). Solve -2*s + p*a + 13 = -5*s, 0 = -s + 3*a + 19 for s.
4
Suppose -j + 22 - 17 = 0. Solve -2*f - 2*f - 5*y - 36 = 0, -j*y = -5*f for f.
-4
Suppose -208*l + 209*l - 3 = 0. Let o be 1/(((-4)/3)/(-4)). Suppose 0 = 2*m + o*a - 0 - 3, -5*a = m + 2. Solve c = 2*b + 2*b, -m*b = l for c.
-4
Let z be 0 - 0 - (-51)/17. Solve -35 = 4*i - 5*s - 13, 18 = -4*i + z*s for i.
-3
Suppose 27*t - 53 - 1 = 0. Solve 2*o = -2, -5*v = t*o - 13 - 5 for v.
4
Suppose -7*m = 76 - 251. Solve 2*n + 2*f - 5*f - 23 = 0, -f = -5*n + m for n.
4
Let o = -468 + 473. Let h = 5 - 0. Solve 5*m + o = h*x, m - 5*m = 3*x + 32 for m.
-5
Let a be (8 - -1) + 2/(8/(-20)). Solve a*q - 4 - 12 = c, 5*q - 5*c - 20 = 0 for q.
4
Let y(t) = t**3 - 5*t**2 - 6*t + 4. Let h be (6 + -5)/((-2)/(-12)). Let i be y(h). Let u be 1 + (1 - 2) - -3. Solve -k + i*l + 4 = 29, -u*k = 5*l - 10 for k.
-5
Let k = -8961 + 8974. Suppose 0 = -4*l - 0*l. Let r = l + 2. Solve r*u + c + c = -16, -2*u - c - k = 0 for u.
-5
Let d be (-2 - -7)*2 + -3. Suppose 5*x - d*x - 30 = 0. Let s be (-1 + (-21)/x)*10. Solve -4*f = -4*z + 4, 3*z - s*f - 3 - 4 = 0 for z.
-3
Let y(z) = z**3 - 18*z**2 + 20*z - 29. Let c = 79 - 62. Let d be y(c). Solve -2*v = -o + 6, 0 = -2*v - 2*o - o - d for v.
-5
Let q = 26 - 21. Solve -2*r - 3*i = 1, -2*r - q*i = r for r.
-5
Let f(h) be the third derivative of h**5/60 - h**4/12 + 3*h**3 - 10*h**2. Let g be f(0). Solve 16 = -3*i - 5*t, 4*t + 0*t = -5*i - g for i.
-2
Let a = 36 - 22. Suppose -2*f = -o - 3*o + a, -3*o = f - 18. Suppose f*t - 52 = -0*t + 5*n, n + 94 = 5*t. Solve -k = -j + 4, -j - 3*k + t = -7*k for j.
-1
Let p be -30 - (-3 - 0/(7 + -3)). Let t = -24 - p. Solve t = s - 2*n, 5*s - n - 1 = 23 for s.
5
Suppose -16*s + 23*s - 112 = 0. Solve 0 = 4*r + 16, -3*r + 7*r + s = -4*g for g.
0
Let d = 312 - 312. Solve -3*l = d, b + 2*l = -2*b for b.
0
Let m(n) = 0*n - n - 46 - 2*n. Let j = 404 - 423. Let a be m(j). Solve 4*o - 2*x - 18 = 0, 0 = -3*o + 3*x - 2*x + a for o.
2
Suppose -2711 = -3*q - 2702. Solve 2*d = 2*c + 2*c - 16, q = 3*c + 3*d for c.
3
Suppose 0 = -3*m + 7*m - v - 15, -v = 3*m - 6. Solve -m*w = -4*z - 23, 0*z - 5*z = w + 5 for w.
5
Suppose 28*x + 26 = 110. Solve 2*y + 2 = -r + x*r, -5*r = 3*y + 11 for r.
-1
Suppose 3*z = z. Suppose -5*q = 5*c + 5, -4*q + z = -5*c - 5. Suppose 6*b - 39 = 2*b - 5*l, -b + 2*l = 0. Solve q = -0*d + 3*d + 2*y + b, -y = -4*d - 19 for d.
-4
Suppose -74*z - 7 + 155 = 0. Solve 5*p = 3*n - 6, -2*n + 3 = z*p - 1 for p.
0
Let j = -6 + 30. Let y = j - 12. Solve 3*s + y = -w + 3*w, 4*s + 5*w + 16 = 0 for s.
-4
Let y(p) = -5*p + 4. Let q be y(-5). Let u = -19 + q. Suppose -8*b = -13 - 19. Solve b*i = -2*v + 4*v - u, -10 = 5*i for v.
1
Let b be (-9)/(14/(-4) + 4). Let g = b + 22. Let c = -35 + 39. Solve -8 = -0*k + 2*k, -g*v - c*k = 0 for v.
4
Suppose -4*q = -3*o + q - 7, 4*q = -2*o + 32. Let y = -13 + 23. Let f be 1/((y/4)/5). Solve 3*n = -0*n, n + o = f*w for w.
3
Let n be 5 + (-1)/1 + (-2 - -16). Solve w + n - 5 = -3*i, -w = -2*i - 12 for w.
2
Suppose 4*n - 70 = -3*l, 2*n - 2*l = 3*n - 15. Suppose -n + 1 = -6*h. Solve 6 = -k - h*t - 3, 4*k - 4*t = 12 for k.
0
Let j = 13 + -11. Solve -j*f + f = -2*w - 8, -3*w + 3*f = 18 for w.
-2
Suppose 110 = -12*z + 146. Solve z*y - 3*i + 18 = 0, 4*y + 9*i = 4*i + 21 for y.
-1
Let y be 2 + 5 + -7 + 2. Solve 5*l - 5 = -5*f, y*f - 3*l = -8 - 5 for f.
-2
Let o(z) = 9*z. Let j be o(3). Let r be (6/(-2))/(j/(-18)). Solve 0 = -2*i + r*k + 2, 0 = -5*k - 0*k + 15 for i.
4
Let 