+ 5 = x, -2*q + 5 = p + 3 for p.
0
Suppose 5*c - 2*g + 6*g - 410 = 0, 0 = -2*c - 3*g + 171. Let x = c - 75. Solve 0 = -0*t - 3*t + 3*y + 15, 0 = x*y + 9 for t.
2
Let u(w) = w + 4. Let x be u(12). Solve 10 = 4*i - 2*d + 5*d, 2*d = 3*i - x for i.
4
Let u be -1 - (0 + 18 + 4). Let f = u + 25. Solve -a + 4*m - 20 = 0, 0*m = f*a + 5*m - 25 for a.
0
Let t be (-2 + 2 + 1)/((-26)/(-390)). Suppose 13*x - t = 10*x. Let a be (-4)/10 + (-2)/(-5). Solve 4*u - 3*j - 2 = a, 5*u + j - 2 = x*j for u.
2
Suppose -5*g = -62 + 17. Suppose -k + g = j + 1, -5*j + 4*k + 85 = 0. Solve 2*z + 3*d = 4, -3*d = -4*z - j + 3 for z.
-1
Let y = 71 + -51. Let u(f) = -f**3 + 11*f**2 - 8*f - 20. Let s be u(10). Let b = 15 + -10. Solve -4*c = 2*l - y, b*c - 4*l + s + 1 = 0 for c.
3
Suppose 10 = 4*o - 2. Suppose 2*j + 34 = 40. Suppose j*s + s - 40 = 0. Solve 5*h + 5 = -4*i - s, 16 = h - o*i for h.
1
Let m(c) = 97*c + 8. Let r be m(0). Solve -3*f + a + 16 = 0, 12*a = 5*f + r*a - 29 for f.
5
Suppose -4*w = 4*s - 8, 11*w + 2 = s + 14*w. Solve 2*m - 2 = -4*j, j + s*m = 5*m - 10 for j.
-1
Let j be -9 + 23 - 9 - -2. Solve 3 = 3*t - 4*u, 4*t + j*u + 9 = 8*u for t.
-3
Let o = 438 - 434. Solve -q + 3*h - 12 = 0, -o*h - h = -3*q - 24 for q.
-3
Suppose 4*l = -r - 5 + 42, r = 5. Suppose f + l = -0. Let w be f/4*-1 + -2. Solve w = -t + 4*t + 5*u + 17, 5 = -2*t + 3*u for t.
-4
Let s(c) = c + 8. Let o = -74 + 70. Let q be s(o). Solve z - q*z + y - 19 = 0, -4*z - 4*y - 4 = 0 for z.
-5
Let a be (-7 + 1 + -4 + 9)*-4. Solve -l - 12 = -0*c + a*c, -4*c = -l + 20 for c.
-4
Let t = 2 + -8. Suppose 13 = 3*i - 41. Let h be (2 + t)/((-3)/i). Solve -3*u - 3*a = -h, -3*u = -4*u + a for u.
4
Let i(m) = -28*m - 56. Let v be i(-2). Solve -2*h + h + 2*u = v, 3*h = -u - 14 for h.
-4
Suppose 0 = -2*o - 3*o + 4*j + 14, -4*j = -3*o + 2. Suppose -2*u - u + 10 = -l, l - o = -u. Solve 4*w + u = 3*g, w - 3*g + 9 = -1 for w.
2
Suppose -10*b + 15*b = 0. Suppose b = -3*d + 5*c + 12, 3*d - 2*c = 2*c + 12. Solve -d*g + 1 = -g - 2*l, 5*l + 12 = -2*g for g.
-1
Let l(u) be the second derivative of -u**4/12 - u**3 + 3*u**2/2 + 11*u. Let z be l(-6). Solve -3*c + 11 = 2*t - z*t, 4*c - 5*t - 11 = 0 for c.
4
Let d(x) = -x**2 + 7*x - 7. Let t = -2 - -8. Let h be d(t). Let m be (h/(-1) + -2)/(-1). Solve 0 = -3*n + 5*k - m, -4*n = -5*k - 1 - 1 for n.
3
Let t(n) be the first derivative of -n**2 + 0*n**2 - 1 - 2*n - 2*n + 2. Let c be t(-7). Solve -2*i - r = 0, r = -i - 2*r + c for i.
-2
Let l = 17 - 10. Let m(f) = 4*f**2 + 4*f - l + 0 - 15*f - 3*f**2. Let x be m(12). Solve 2*t + t = -x*a + 2, 3*t - 6 = -3*a for t.
4
Let l(g) = -5*g**2 - 43*g + 2 + 20*g + 21*g. Let r be l(1). Let z be 14/35 - 8/r. Solve -2*f - 10 = z*w, 3*f + 2 = f for w.
-4
Suppose -13 = -5*n + 3*a, -5*n + 40*a - 43*a + 7 = 0. Solve 6*z = -2*k + 2*z - 14, -n*k = 2*z + 10 for k.
-3
Suppose 0 = -3*v - 0 + 3, 3*v = -4*h + 3. Suppose -2*l - 4*y = -h*l + 6, -4*l = y - 9. Solve -l*f - 20 = -g, 15 = -g - 5*f + f for g.
5
Let m be (-141)/(-11) + (-14)/(-77). Suppose 0 = -4*p + m + 7. Suppose -2*q - n + 8 = 0, -4*n + 11 = -p. Solve -2*l - 3*l + q*f - 11 = 0, 0 = l - 2*f + 7 for l.
-1
Let o = -12 + 15. Solve -5*z - 3*q - 30 - 2 = 0, o*z = -3*q - 24 for z.
-4
Suppose -1653 = -89*k - 407. Solve -5*u + p = 29, p + 0 - k = 2*u for u.
-5
Let d = 36 + -33. Let h be (6/d)/(-5 + 6). Let z(n) = -n**3 - 4*n**2 + 5*n + 4. Let r be z(-5). Solve -5*b + h*k = r*k + 11, 0 = 4*b + 2*k + 8 for b.
-3
Let o = -17 + 16. Let s be 2 - 1*(o + -2). Suppose -3*a - 12 = -5*a - 4*w, 0 = -s*a - 2*w + 6. Solve a*c = -3*c - 4*d - 22, -22 = 5*c + 3*d for c.
-2
Suppose -3*c + 84 = 3*j, -2*c + 2*j = -3*j - 28. Suppose -2*u = -s + 2*u + c, 2*s = -4*u + 12. Let h = -12 + s. Solve a - 3*b = -2*a - 9, h = 4*b + 8 for a.
-5
Let q be 280/4 + (-2 - 2). Let k = 66 - q. Let m = 2 + 1. Solve k = -5*c - g - m*g + 30, 0 = -5*c - g + 15 for c.
2
Let l(q) = -42*q - 8*q + 17 + 2*q**2 + 0*q. Let j be l(25). Solve 2*n = -4*c - j + 5, -c = 2*n for c.
-4
Let z = -806 + 808. Solve 4*f = z*j - 4, 0 = 3*j - 3 - 3 for f.
0
Let y(d) = d**3 - 8*d**2 - 9*d + 9. Let b be y(9). Suppose -3*t = 2*n - 3, n + 2*t = -0*t. Solve -q - n = -2*r, 2*r - 3 + b = 4*q for q.
4
Suppose -2*o - 5*x = -44 + 7, -18 = -3*o + 5*x. Solve z + 26 = -5*m, 4*z - 2 = -m - o for m.
-5
Let a(y) = y**3 - 2*y**2 + 5*y + 3. Let x be a(0). Solve -x*g = -5*v + 27, -4*v + 0 + 12 = 0 for g.
-4
Let o(b) be the second derivative of -b**4/12 + b**3/3 + 3*b**2/2 + 17*b. Let c be o(2). Solve 0 = -t + c*t, 0 = g - 4*t + 1 for g.
-1
Suppose -73*n = -71*n - 4. Solve -12 = -2*y + 2*s, y - n*s + 16 = 6*y for y.
4
Suppose -2*r = -3*k - 3*r - 16, -k + 2*r = -4. Let u be k/(-12)*0*1. Suppose 5*i - 18 - 62 = u. Solve 16 = -4*m, 4*l - 7*m + 3*m - i = 0 for l.
0
Let t be (12/(-24))/((-1)/(-4)). Let y(n) = 7*n**2 - n - 4. Let h be y(t). Solve 2*k = 4*s - h, 2*s + 6 = s - 2*k for s.
4
Suppose 4*g + 8 = 0, 0 = -5*c - 0*g + 3*g + 16. Let a be (172/(-43))/(3 - 4). Solve -a*y - 8 = -2*o, c*y + 0*y = 4*o - 10 for y.
-1
Suppose -h + 4*g + 7 = 0, -2*h - 2*g = -3*h + 15. Suppose -4*z + h = 11. Solve 4*a + 2*r + 15 = z*r, r - 7 = 2*a for a.
-4
Let s be 2 - 4*5/(-20). Solve -4*c + s = a, a = 3*c - 2*a - 21 for c.
2
Suppose -5*a + 6*a = 0. Let z be (-3)/6*-4 - -2. Let k(p) = 9*p - 10. Let s be k(z). Solve g - 5*c - 27 = a, -4*c + 0*c - s = -3*g for g.
2
Let s be (-3)/((-22)/(-4) - 4). Let g be -3 - s*(-21)/(-6). Suppose -3*m = -g*m. Solve -5*l - 35 = -5*v - m*v, -5*v - l = -23 for v.
5
Let o(j) = j**2 - 35*j - 154. Let a be o(39). Solve -k = -a*v - 1, v = 3*k + 2 - 10 for k.
3
Suppose 0 = -4*f + 67 - 47. Solve 3*k + 5 = -5*s, 8*k - f*k - 4*s = 31 for k.
5
Let p = -53 - -53. Solve t = -4*m + 4 + 4, 3*t - 5*m - 7 = p for t.
4
Suppose v - 32 + 2 = 0. Solve 6*z - 2*z - v = 2*l, 3*z = -l + 10 for l.
-5
Let g(v) = 22*v**3 - 1. Let w be g(1). Let h = w + -19. Solve -2*b = 5*c - 6 - 17, h*b + 17 = 3*c for c.
5
Suppose 0 = -2*y - 63 + 3. Let h be (10/6)/((-4)/(-6 + y)). Solve n + 4*t + h = 0, n + n + t = -2 for n.
1
Suppose 4*g = -2*a + 16, 6 + 4 = 2*a + g. Suppose -4*x + 436 = 5*c, -490 = -4*c - 4*x - 138. Let o = 86 - c. Solve -4*f - 2*v = a, 5 = -5*f - o*v + 5*v for f.
-1
Let w = -69 - -55. Suppose 4*b - 34 = 34. Let k = b + w. Solve k*d - 20 = -5*n, -5*d = 3*n - n - 27 for d.
5
Let w be 35/4 - 6/8. Suppose 12 = 3*r - 3*o, 4*r + 4*o = -0*o + w. Suppose r*f - 8 = -f. Solve f*d - 4*c + 11 = d, 4*d + 11 = 5*c for d.
1
Suppose -4*f = -5*l + 244, -2*l - 228 = 3*f - 22. Let x = f + 76. Solve x = -5*n, -3*n = -2*y - 2*n + 12 for y.
5
Let d be 4/((-4 - -1) + 4). Suppose -d*j + 2*b = j - 8, -4*j + b + 7 = 0. Let p = 7 - j. Solve 3*i - 13 = 4*l + l, 5*i = p*l + 15 for l.
-2
Suppose -3*w + 6*t - 3*t - 9 = 0, 9 = 3*t. Suppose w = c + 3*c - 16. Suppose -17 = c*g - 5*s, 3*s = -4*g + 27 - 4. Solve -3 - g = 5*h + 5*i, 2*i + 4 = 0 for h.
1
Let c = -81 - -83. Solve -g + 0 = -3*j + 8, -10 = c*g for j.
1
Let q(o) = -o**3 - 7*o**2 + 10*o + 16. Let s be q(-8). Solve s = 6*l - l - 5*a, a = 5*l + 12 for l.
-3
Suppose 2*n + 12 = 4*n + 4*b, 2*n = -5*b + 13. Solve -p = n*c + p, 3*p + 12 = 0 for c.
2
Suppose 0 = -10*y - 2*y. Suppose 7*u = -u + 24. Solve -u*k - 3 = 0, -4*s + 0*s - 2*k + 14 = y for s.
4
Suppose -4*y + 3*y = -3. Suppose -g = -0*g - 2. Let r = 15 - 4. Solve -2*q + y*b - 5 = 0, 4*q - r = b - g*b for q.
2
Suppose n = 0, -17 = -j + 2*n - 4. Let a(r) = -r**3 + 14*r**2 - 13*r + 1. Let i be a(j). Solve 4*y + 3*d = 14, 3 = -3*y + 4*d + i for y.
2
Let c(f) = 6*f - 18. Let a be c(-5). Let y = a - -52. Let g(l) = 2*l + 7. Let w be g(6). Solve 3*s - o + w = o, y*s + 2*o = -2 for s.
-3
Suppose 14*m - 10*m - 16 = 0. Solve d - 1 = 3*c, 0*d = -m*d + 5*c - 10 for d.
-5
Suppose -4*r - 20 = -4*q - 2*r, 5*q = -4*r - 1. Solve -5*s - q*y + 7 = 0, 3*s + 2 = -5*y + 3 for s.
2
Let k be (60 - 27) + 2*(-1)/2. Solve -4 = 4*b, -k*n = -36*n + 2*b - 14 for n.
-4
Let a be (-18)/(-153) + 21/(-204)*-28. Solve a*p + 6 = g + 22, 3*p - 28 = 4*g for g.
-4
Let x(j) = j - 5. Suppose -l = -3*i - 22, 6*l + 5*i = 2*l + 3. Let n be x(l). Let d be 3/1*2/n. Solve 6*a + 4 = 2*a, -2*f = -5*a + d for f.
-4
Suppose 0 = 29*m - 21*m - 80. Solve 5*a + 8 = 2*o - m, -a = -o + 6 for o.
4
Let z = -85 - -95. Suppose 0 = 3*f + 2 + 4. Let g be (f + 2)/(2 - 1). Solve 2*i = -5*j