se c = -3*c - 40. Let u be (-4)/c + (-13)/(-5). Let h(s) = -s**3 - 6*s**2 + 4. Let r be h(-6). Solve r = -u*w + w for w.
-2
Suppose -7 - 27 = -3*j - 5*y, y = 4*j - 7. Solve -j*g - g = 0 for g.
0
Let a(u) = -3*u**3 - 3*u**2 - 2. Let r(j) = j**3 + j**2. Let l(d) = a(d) + 2*r(d). Let q be l(-2). Solve -s = s - q for s.
1
Let j be 9/81 + 1/(-9). Suppose 4*v - 10 = 2*v. Solve v*k + 1 - 6 = j for k.
1
Let v(a) = -a**3 - 4*a**2 - 3*a. Let f(q) = -1. Suppose 0 = s + 3*s - 4. Let k(j) = s*v(j) - f(j). Let r be k(-3). Solve -3*z + r + 8 = 0 for z.
3
Let m be -2 - (-3 - (-1)/1). Suppose -4 = d, 0 = -4*p - m*d + 2*d + 20. Solve 6*o = p*o - 9 for o.
-3
Suppose -4*x - 9 = -4*b - x, -3*b - 2*x + 28 = 0. Let g = -3 - -6. Solve b = g*z - 5*z for z.
-3
Suppose 15 + 34 = -4*a + 3*r, 0 = 5*a - 3*r + 59. Let d(y) = -y - 8. Let w be d(a). Suppose w = -2*v + 3*v. Solve v*i + 8 = 4*i for i.
4
Suppose -4*f + 2*h = -22, -f - 3*h - 2 = -h. Let c = -3 - -7. Let y be (c + 2)*1/2. Solve -y = -f*b + 3*b for b.
3
Let l be 3/(-5) - 18/(-5). Solve -1 = -l*b + 2 for b.
1
Let v(t) = -t**2 - 10*t - 8. Let s be v(-6). Let c be (-1)/(3/12) + 31. Let i = c - s. Solve i = -4*p - 1 for p.
-3
Let d(q) be the first derivative of q**3/3 + 7*q + 1. Let r be d(5). Suppose -4*s = -0*s - r. Solve -2*w + 4 = s for w.
-2
Let j be (-2)/3 + 4/6. Suppose 0 = -0*s - 5*s - r + 22, 0 = 2*s - 2*r - 16. Solve -s*d - 9 - 1 = j for d.
-2
Let n = -6 + 5. Let u = n + 6. Suppose -4*x + 25 = x, -5*x = -5*p. Solve 0*l + u = p*l for l.
1
Suppose 5*f = 11 + 129. Suppose -5*n + f = -5*s - 22, 0 = 3*s + 6. Solve 2*k + n = -0*k for k.
-4
Let l(q) = 4*q - 8. Let x be l(-8). Let b = x - -29. Let r = -2 - b. Solve 0 = 5*f - 6 - r for f.
3
Suppose -q + 5*m = -4*q + 28, 0 = 4*q - 4*m + 16. Solve 2*b = b + q for b.
1
Suppose d - 4*l - 2 = 0, l = 3*d - d - 4. Solve 12 = -d*g + 4 for g.
-4
Suppose -18 = -0*i + 3*i. Let s be (-11)/i - (-7)/42. Suppose -3*l + 12 = -l + 2*d, 5*l - s*d = 9. Solve 2*q - l = 1 for q.
2
Suppose 3*o - 4*q - q - 4 = 0, -3*o - 3*q = -12. Solve 0 = -v + 2 + o for v.
5
Let s(g) = 5*g + 2. Let y(h) = -4*h - 2. Let o(b) = -5*s(b) - 6*y(b). Let i be o(0). Solve i*j = -j + 3 for j.
1
Let y be ((-20)/16)/(2/(-8)). Let q be y*5/((-50)/(-12)). Solve -5*c - q = -2*c for c.
-2
Let h = 12 + -11. Solve g + 0 - h = 0 for g.
1
Let h(d) = d + 10. Let x be h(0). Let l = x - 3. Solve -3*c + 1 = l for c.
-2
Suppose -5*n - 1 = -w, -w - 2*n = 1 - 2. Suppose -3*u = m - 6*m - 2, u - m = 2. Solve -u*r - w = 3 for r.
-1
Let i(v) = 2*v**2 - 3*v. Let u be i(4). Let c(w) = -w**2 + 0*w - 2*w + 9*w. Let a be c(7). Solve a*d + u = 4*d for d.
5
Let b = -83 - -83. Solve b = -0*g - 4*g - 8 for g.
-2
Let c(l) = -l + 4. Let k be c(-7). Suppose -5*n - k = -61. Solve a - n = -a for a.
5
Let x be 50*-3*(-2)/12. Solve -h = 4*h + x for h.
-5
Suppose 2*x + 0*a - 4 = 3*a, 4*a = -x + 13. Suppose 2*n + 4 = 0, -z - 5*n = 5 - 2. Let q = z - x. Solve 5*k - q = -7 for k.
-1
Let r be ((-4)/((-16)/(-4)))/(2/(-6)). Solve 2*y + r*y + 10 = 0 for y.
-2
Let b be -3*(9/(-3) - 0). Solve 0 = 2*d - 5*d - b for d.
-3
Let d = 51 - 23. Suppose 6*p = 2*p + d. Suppose -2*h + p*h + b = 61, -b - 35 = -3*h. Solve 5*c = 2*c + h for c.
4
Suppose -3*v = -0*v. Suppose 0 = -x - v*x + 1. Solve -5*k + 4 + x = 0 for k.
1
Suppose 5*j = m + 2*j + 13, 5*j = -5*m + 35. Solve 0*w = m*w - 6 for w.
3
Suppose 6*r - 25 - 11 = 0. Solve 3*l + r = -3 for l.
-3
Let y(r) = 25*r. Let v be y(1). Let h = v - 18. Solve -w = 2 - h for w.
5
Let a(d) = 2*d - 20. Let i be a(12). Solve -i = 2*r - 2 for r.
-1
Let w(c) = -14*c + 5. Let x be w(0). Solve -1 = -x*y + 4 for y.
1
Let a = -7 - -15. Suppose 5*c - 3*x = 1, -5*c + a = 3*x - 11. Solve 0 = d + c*d + 12 for d.
-4
Let j be 0/(-3*1) - -12. Let t = 7 - 4. Solve -t*s + 3 - j = 0 for s.
-3
Let q(v) = v - 14. Let l(o) = 2*o - 27. Let r(x) = -4*l(x) + 7*q(x). Let a be r(8). Suppose 0 = 3*d - 0*d - 30. Solve 0*p + d = a*p for p.
5
Suppose 3 = -3*m + 3*d, -3*m - 3*d + 11 = -4. Solve 0 = m*a + a - 15 for a.
5
Let y = -2 - 0. Suppose 3*d + 22 = -6*k + k, -2*d = -3*k + 2. Let j be (0*(-1)/y)/k. Solve j*s + s = 1 for s.
1
Let b(x) = x + 4. Let q be b(-4). Let s be 1/(-4) + (-2)/(-8). Let g = q + s. Solve 5*o - 33 + 13 = g for o.
4
Let g be 24/5 - (-12)/60. Solve 0 = -g*h + 1 + 4 for h.
1
Let g be 44/10 - (-30)/50. Suppose g*m + 15 = 65. Solve 4*p + p + m = 0 for p.
-2
Let o(h) be the second derivative of -h**4/12 - h**3 - 2*h**2 - 3*h. Let l be o(-3). Suppose l*c + 4 = -6, -4*c - 16 = -2*g. Solve 3*w + w = g for w.
1
Let y be 32/(-24)*-3*1. Solve 2*s + y = s for s.
-4
Suppose 2*n - n = 2. Let r = n - 2. Suppose -4*k - 8 = -4*d, 5*d + 3*k - 4*k - 14 = r. Solve -j = -d*j for j.
0
Suppose -v + 2 = -1. Solve -v*j = -j + 8 for j.
-4
Let j = -141 - -145. Solve 0*k + j*k - 20 = 0 for k.
5
Let d be 5/1 - (-2 - -3). Suppose r - d*k - 20 = 0, -16 = 3*k + k. Solve -r*t = -3 - 5 for t.
2
Suppose -4*h - 3*x - 4 = 0, 3*x + 2*x = 0. Let a be (-4 - -3)/(h/5). Solve 2*r = a - 15 for r.
-5
Suppose -11*f = -7*f. Solve n = -f - 1 for n.
-1
Suppose a = -2*k, 3*k = -2*a + a. Solve 3*h = -k*h for h.
0
Let u be -6 + 3 + (9 - 2). Solve u*n = -0 - 4 for n.
-1
Suppose 2*b = 6*b - 20. Solve 0 = y - b for y.
5
Suppose 0*p + 25 = 5*p. Suppose -4*f - 6 = 2, -8 = c + 5*f. Suppose 0 = -w - 0*w + p*l, w + c*l - 7 = 0. Solve -d - 1 = -w for d.
4
Suppose 5*y - b + 27 = -0*y, -4*y + 4*b = 12. Let m = y + 7. Solve 2*f - f + m = 0 for f.
-1
Let c be (3 - (-1 + 1))/(21/14). Solve 0 = c*l + 2 + 2 for l.
-2
Let b = -12 + 22. Let n be ((-12)/b)/(4/(-10)). Solve 4*m = 3*m - n for m.
-3
Let h(s) = s**2 - 5*s - 4. Let q(p) = 2*p - 8. Let k be q(9). Let w = 16 - k. Let i be h(w). Solve -v = -i - 3 for v.
5
Let l(g) = -g**2 + 6*g + 2. Let r be 136/22 - 4/22. Let z be l(r). Solve z*s - 6*s = -20 for s.
5
Suppose -4*w + 4*k = 8, -k + 16 = 4*w + 3*k. Solve 0 = -2*y - 5 + w for y.
-2
Suppose -2*c - 12 = -5*c. Suppose c*h - 21 - 30 = t, -39 = -2*h + 5*t. Solve -y - 2*y = -h for y.
4
Let d(u) = u**2 - 10*u - 11. Let m be d(11). Solve m*s = 3*s for s.
0
Let a = 2 + -3. Let q be 2/(-1 + 0 + a). Let i be q/2*(5 + -11). Solve -i*x = 2*x for x.
0
Suppose -w = -5*w + 8. Let v be (-249)/(-27) - (-2)/(-9). Solve -3 = -w*i - v for i.
-3
Suppose -n + 4*n = 4*n. Solve n = q + q for q.
0
Suppose 3*s + u + 1 = 0, 0 = -s - 4*u + 4 - 8. Suppose s*x = 5*x. Solve 0*p - p - 5 = x for p.
-5
Let w(g) be the third derivative of g**4/12 - g**3/6 - 2*g**2. Let r be w(3). Solve -2 + r = -m for m.
-3
Let u = 0 + 0. Suppose -5*r - 4*a = -79 - 100, a + 104 = 3*r. Let y be r/15 - 4/(-6). Solve u*g = -y*g + 15 for g.
5
Suppose 18*c = 530 - 98. Solve -3*v + c = 3*v for v.
4
Let p(x) = -x**3 + 12*x**2 + 13*x + 5. Let d be p(13). Let v be (-2)/(-4)*(10 + 0). Suppose -4*m = v*i - 75, 8 + 12 = 4*m. Solve d*z = -i - 14 for z.
-5
Let h be (-3)/2*(-10)/3. Solve -3*o + 4*o - h = 0 for o.
5
Suppose 3*x - 18 = -4*p - 2*x, p = 4*x - 6. Solve -2 = -0*n + p*n for n.
-1
Let a be (-14)/(-21) - 1/(-3). Solve 0 = 2*w - a + 9 for w.
-4
Suppose -5*t = 3*m - 1, 2*m + 9 = 4*m - 5*t. Let g be (-20)/(-12) + m/6. Solve g*x - 4 = 2 for x.
3
Suppose -k = -3*j - 20, 0 = -5*k - 3*j + 11 - 1. Solve k*n + 5 = -0*n for n.
-1
Let w(i) be the second derivative of i**4/12 + i**3/3 + i**2/2 - 5*i. Let n be w(4). Solve p + n = 6*p for p.
5
Suppose v = 1 + 5. Let z be (1 + 0)*18/v. Solve d + z = -2 for d.
-5
Let l(y) = y**2 + 7*y - 5. Let u be l(-8). Let q be u/6 + (-6)/(-4). Let w = 3 - q. Solve 0 = 3*r + 2 + w for r.
-1
Suppose 7 = k + g, -g - 8 = -5*k + 15. Suppose -3*s + 4*c + 5 = 0, -3*c = -4*s - k*c + 14. Solve 0 = s*x + 5 + 10 for x.
-5
Suppose -r = -w, 0 = -5*w + w + r. Solve w = 4*a - 3 - 1 for a.
1
Let q = 13 - 8. Suppose q*i - 13 = 7. Suppose i*l - 4 = 2*p, 3*p - 12 = -5*l + 2*p. Solve -l*u + 0*u = -10 for u.
5
Let q(y) = y**2 + 7*y. Let p be q(-7). Solve -2*k + 2 = -p*k for k.
1
Let r = -7 - -10. Solve 6 = r*a - 6 for a.
4
Let w(a) = a + 12. Let d be w(-9). Solve 6 = -d*h - 0*h for h.
-2
Suppose 5*j - 3*u = j + 18, -j - 4*u = 5. Let h(c) = -c**3 + 2*c**2 + 5*c - 4. Let g be h(j). Solve 2*p = g - 4 for p.
-1
Let i = -1 - -1. Suppose i = -5*o - 3*x + 16, -4*x = -o - 2*x - 2. Solve o = c + 3 for c.
-1
Suppose -3*l - l = -20. Solve 0 = l*o - 10*o - 25 for o.
-