-6*i + t = -i - 30. Solve -2*f + i*f = 0 for f.
0
Let m(v) = v**2 + v - 3. Let b be m(-3). Suppose 2*z - 1 + 3 = 5*q, 0 = -3*q + b*z + 3. Solve 3*a - 3 + q = 0 for a.
1
Let i be (1/(-3))/(4/(-12)). Solve -g + 6 = i for g.
5
Let z = 15 - 32. Let m = z - -20. Solve 0*o = o - m for o.
3
Suppose 3 - 11 = -4*f. Solve 0 = -u + 6 - f for u.
4
Let l(o) = 4*o - 28. Let c be l(7). Solve c*v + 3 = -3*v for v.
-1
Suppose -5 = -2*j + 13. Solve -j = -5*w - 4 for w.
1
Let j(b) be the third derivative of b**4/8 - b**3/6 - b**2. Let i be j(7). Solve -2*w = -7*w + i for w.
4
Let q be 1/(-3)*(3 + -3). Solve q = 4*l - 0*l + 4 for l.
-1
Let o = 151 + -148. Solve -o*d - 2 = -5 for d.
1
Suppose -3*x - 8 = -0*n + 2*n, 5*n + 20 = 3*x. Let l = x - -10. Let t be (6/l)/((-2)/(-10)). Solve c = -2*c - t for c.
-1
Suppose 2*p - 44 + 14 = 0. Let f = 1 - 0. Let i be (1 + 0)*(f - -2). Solve 0*s = -i*s - p for s.
-5
Suppose 2*j - 8 = 2. Suppose -j = -l - 2. Solve s - l*s = 10 for s.
-5
Suppose 3*l - q = -2*q + 7, -l = -5*q - 29. Suppose 15 = -w + 4*w. Suppose 0 = -4*v - w*y + 65, -4 + 18 = v - y. Solve 0 = l*i + i - v for i.
3
Let f be ((4 - 4)/(-4))/2. Suppose t + f*t = 0. Solve t = d - 1 for d.
1
Let i = 46 - 42. Solve -i*v - v = 0 for v.
0
Let b be (-359)/(-5) + (-16)/20. Suppose -21 + b = 5*r. Solve -r = 3*i - 4 for i.
-2
Let i = 0 - 0. Solve k - 6*k = i for k.
0
Let u = -21 + 40. Suppose 11 = 3*h - u. Solve h = 5*w - 15 for w.
5
Suppose 3*d - 2*d - 3 = 2*b, 0 = -5*b - 15. Let m = d + 5. Suppose -h - 4*j - 3 = 0, 2 = 3*h + m*j - j. Solve a = 3 - h for a.
2
Suppose -39 = -3*u - 4*g, 0 = -5*u + 2*u - g + 30. Let n = 4 - u. Let q(c) = -c**2 - 6*c + 3. Let j be q(n). Solve -2*w - j = -4*w for w.
4
Let f be -1*(3 + -3 + 0). Suppose -3*v + 6*v = f. Solve v*x = 2*x - 6 for x.
3
Let q = -7 - -9. Suppose -2*n + q = -n. Solve 0 = n*w - 4*w + 8 for w.
4
Suppose 4*w + v - 3 = 3*w, -5*w + 6 = 2*v. Let s be 27 - (w + 4/2). Solve -2*x = 3*x - s for x.
5
Let i = -13 - -16. Solve -2*n + 3*n = -i for n.
-3
Let r = -38 + 53. Suppose 4*o - r + 3 = 0. Let q = -3 + 5. Solve -y + o = q*y for y.
1
Let s(y) = y**2 + 2*y - 4. Suppose 4*t = 0, 12 = -c - 2*c + 5*t. Let d be s(c). Solve h + 12 = d*h for h.
4
Let h = 154 + -144. Solve 2*r = 4*r - h for r.
5
Suppose -2*t - 564 = -5*t. Suppose -2*f - f = -6, -3*y - t = -4*f. Let w = -40 - y. Solve 5*j - j = w for j.
5
Let d = 57 - 53. Solve 0 = -6*u + d*u - 6 for u.
-3
Let l be (0 - 2/(-1)) + 0. Suppose -l*n = 3*n - 30. Let u be (-4)/2 - (0 - n). Solve x + 9 = u*x for x.
3
Suppose 0 = -3*m - 2*h + 23, -2*h = 4*m + 2*h - 28. Solve -i - 2*i = -m for i.
3
Let q(y) be the first derivative of -y**3/3 + 7*y**2/2 + 4*y + 2. Let c be q(7). Solve -c*v - 16 = -36 for v.
5
Let z = -16 - -22. Let r = z + -1. Solve 12 = r*s - 8 for s.
4
Let c = 15 + -9. Suppose 2*q + 5 = 13, -4*p = 3*q + 4. Let x = p + c. Solve 8 = -5*n - x for n.
-2
Let h = -18 - -18. Solve -n + 1 = -h*n for n.
1
Let t be 1 - (0 + (0 - -1)). Solve t = -z - 2*z + 9 for z.
3
Suppose -o + 0*o = -4*z - 17, 12 = 3*o + z. Suppose 5*l - o*d - 25 = 0, -4*d - 19 = -3*l - 0. Solve 3 - l = -2*h for h.
-1
Let u = 5 + 0. Let y(s) be the second derivative of s**5/20 - s**4/2 + 2*s**3/3 + 7*s**2/2 - 3*s. Let h be y(u). Solve d - 2 = h*d for d.
-2
Suppose 4*m - 1 - 3 = 0. Let g(n) = 3*n + 1. Let z be g(m). Let p = z - 4. Solve 4*i = -p*i + 8 for i.
2
Let f = -2 + 3. Suppose -1 = -s - 3*k - 4, k = -3*s - 1. Suppose s = n - f - 1. Solve -1 = n*y - 3*y for y.
1
Let j = -11 - -12. Let u be (7 + -7)*(-1)/j. Suppose -3*b + 5*v = -15, -4*b + 0*v = -v - 3. Solve 2*l + b*l - 10 = u for l.
5
Suppose 2*r - 3*d = d + 6, -3*r + 9 = 2*d. Solve -u + 0 = -r for u.
3
Suppose -3*p - 3*d + 0 = -12, 2*p = -3*d + 10. Solve p - 18 = 4*h for h.
-4
Suppose -103*d + 99*d = -20. Solve -s = -d - 0 for s.
5
Let i be (-66)/(-9) - 16/12. Solve -3*k + 0 = i for k.
-2
Suppose -2*t = -2*q - 10 + 4, 3*t - 15 = 0. Solve m - q*m + 3 = 0 for m.
3
Let o be 9/(2 + 1) + 1. Suppose 0 = y + s - o, -2*y + 10 = -0*y + 4*s. Suppose -2*i + 9 = y*v, -2*v - 3*i + 3 = -3. Solve k + 2 = v*k for k.
1
Let t be (78/(-12))/((-2)/4). Let v = t - 8. Solve -v = b - 4 for b.
-1
Let g(s) = s**2 - 5*s - 4. Let i be g(6). Solve 5*p + i = 7 for p.
1
Suppose 5*c = 7*c. Solve c*g - 2 = -2*g for g.
1
Let j(u) = u + 8. Let h be j(-8). Suppose -5*w - 2*t + 20 = h, w - 4*t + 23 = 5. Solve -3*v = -w*v + 2 for v.
-2
Suppose 2*s - 3 - 3 = 0. Let u be 0 + 2 + -3 + 10. Solve -u = s*o - 0*o for o.
-3
Suppose 1 - 11 = -2*l. Let n be (-15)/l + 1*6. Solve n*d - 4*d + 2 = 0 for d.
2
Let a = 76 - 56. Solve -a = -0*o + 4*o for o.
-5
Let l = 13 + -11. Solve -l + 0 = o for o.
-2
Let l = -8 - -12. Let y be l/30 - 39/(-45). Solve 6 - y = -r for r.
-5
Suppose 78 = 5*g - 22. Solve l - g = -4*l for l.
4
Let q(s) = s**3 - 10*s**2 + 2. Let u be q(10). Let n be 9*u/(-4)*-2. Solve 3*g - 6*g = n for g.
-3
Let a(f) = -f**3 + 8*f**2 - 4*f - 17. Let g be a(7). Solve -9*l + g*l = -5 for l.
1
Let o be (19 - 14) + 0/2. Solve o*k = -0*k for k.
0
Suppose -3*a - 2*a + 25 = 0. Let o be (200/70)/((-4)/(-14)). Solve -a*k + o = -0*k for k.
2
Suppose 5 = d + 3. Solve 0 = -6*i + d*i + 12 for i.
3
Let z(f) = -f**2 + 9*f - 12. Let o be z(7). Suppose -k = o*l, -l = l - 3*k - 16. Solve -2 = l*u - u for u.
-2
Let j = 0 - -6. Solve -5*d = j + 19 for d.
-5
Let p be (45/(-6))/(-5)*(-24)/(-18). Solve p*c - c - 1 = 0 for c.
1
Suppose 0 = 3*q - 2*q + 6. Let f = -4 - q. Suppose 5*b - f*g - 20 = 0, 7*b = 3*b + 2*g + 18. Solve -b*d = d for d.
0
Suppose -g + 5 = -z + 1, -z - 20 = -5*g. Solve 10 = g*q + q for q.
2
Suppose -5*k - 9 = -24. Let t = 16 + -11. Suppose -5*j = -3*o - 12, -t*j - 3*o + 14 = -4*o. Solve k*w + 6 = -j for w.
-3
Let l = 2 + 2. Suppose -l*z = -0*z. Let f be ((-4)/(-5) - z)*5. Solve f*c + 6 = -14 for c.
-5
Let x = 18 + -12. Suppose -6 - x = -3*v. Suppose -s - 9 = -v*s. Solve s*i + 8 = 2 for i.
-2
Suppose 2 - 8 = -6*k. Let o be ((-6)/(-9))/(k/6). Solve -p = 1 - o for p.
3
Suppose 2*x - 4 = -14. Let y be ((-18)/10 - 0)*x. Let m = y + -4. Solve -6 = -m*w + 3*w for w.
3
Let c be 2/1*(-4)/(-8). Let x = 1 + -1. Let m(y) = -y**3 - y + 5. Let w be m(x). Solve 4 = -w*j - c for j.
-1
Let v = 14 + -9. Suppose v*k = 4*k + 13. Solve 4*p + k = -7 for p.
-5
Let b be 2 + (-5)/((-20)/8). Let u = 0 + 6. Solve 0 = b*y - 2 - u for y.
2
Let k(z) = z**3 - z**2 - z + 10. Let q be k(0). Solve -q = -4*l - l for l.
2
Let h(w) = w**3 + 18*w**2 + 16*w - 15. Let d be h(-17). Solve 3 - 11 = -d*f for f.
4
Suppose 3 = -f - 0. Let n = f - -5. Solve b - 1 = n for b.
3
Suppose 0 = -0*x + 5*x - 25. Solve x = -4*t + 1 for t.
-1
Let m = 67 + -63. Solve -4 - 4 = m*o for o.
-2
Suppose 5*a = -11*a. Solve a = -5*q + 29 - 9 for q.
4
Suppose 2*t + 5*o - 3 = t, -5*t = -2*o - 15. Solve -t*c - 20 = 2*c for c.
-4
Suppose -42 = -3*i + 3*r - 6*r, -4*i + 56 = -4*r. Solve -6 = 2*a - i for a.
4
Let o = 2 - -1. Let t be o/2*(-4)/(-3). Suppose -v = t*b - 9, -4*b - 7 = -4*v + 5. Solve 0*j = -v*j - 5 for j.
-1
Suppose 3*m + 2*m = 15. Suppose 4*w = -m*p + 2, 3*p - 2*p - 6 = -4*w. Solve w = -3*h - 4 for h.
-2
Let k = -9 + 9. Solve -5*b + 0*b - 5 = k for b.
-1
Let q(v) = v**2 - 4*v + 1. Let m be q(4). Solve s = -0*s - m for s.
-1
Suppose 5*f + 5*v = 50, 56 = 2*f + 2*f - 4*v. Suppose -4*y + 32 = f. Solve -15 = 5*b + y for b.
-4
Suppose 5*d + 13 = -2*n, 2*d + 0*n + 4 = -2*n. Let z be 1*d*(-2 - 0). Suppose 0 = -3*l + 15 - z. Solve l*t = 4*t + 4 for t.
-4
Suppose -30 + 18 = -3*k. Solve -a + 3 = k for a.
-1
Let m = -60 + 65. Solve -2*j = -m*j for j.
0
Suppose -2*m - 4*k - 16 = -3*m, -k = 2*m + 4. Suppose 2*h - 14 = -4. Solve m = 5*p - h for p.
1
Let x(u) = u**3 - 3*u**2 + u + 2. Let y be x(3). Let s = 6 - y. Solve -z = -2*z + s for z.
1
Suppose -15*w = -12*w - 9. Solve 8 = -w*o + 2 for o.
-2
Suppose 4*j = l - 1 + 5, -20 = -5*l. Suppose -2 - 4 = -j*g. Solve r - g = 2*r for r.
-3
Suppose 3*n + 5*l = -1, 0*l - 1 = n + 2*l. Solve -n*j = -2*j for j.
0
Let x(q) = 2*q + 19. Let i be x(-7). Solve 5 = -i*l + 15 for l.
2
Let h be ((-2)/6)/(4/(-180)). Solve -7 + h = -2*x for x.
-4
Let y(z) = 9*z**2 + z - 1. Let i be y(1). Solve 3*b = -0*b + i for b.
3
Suppose -4*i + 80 = -0. Suppose -6*o = -3*w - o + 14, -2*o + 20 = 2*w. Suppose 0 = -w*t + 4*t + 28. Solve t*x + i = 2*x for x.
-4
Suppose 