 12*c + j = 0 for c.
3
Let d be 0/(3 - 2)*1/2. Suppose 179 - 56 = 3*l. Suppose m = -4*n - 4*m + l, -3*m = 5*n - 35. Solve 2*i + n - 2 = d for i.
-1
Let d be (-5)/(-6)*28*18/15. Solve -2*l - 5*l + d = 0 for l.
4
Suppose 76 = 4*l - 84. Let j = l + -39. Solve 0 = -b - j - 3 for b.
-4
Let b(z) = -z**2 + 2*z + 6. Let i be b(3). Suppose 2*o - t = 4, -i*o + 2 = -o - 2*t. Suppose j - 2*c = 3*c + 30, 3*j + 3*c = 0. Solve f - j = -o for f.
2
Let v(h) be the third derivative of h**4/8 - 8*h**3/3 - 10*h**2. Let x be v(6). Solve x*o = 4*o + 4 for o.
-2
Suppose 19*d = 5 + 52. Solve -5*v + 2 = -d for v.
1
Suppose 0*k = -2*k - x + 3, -2*x + 1 = -k. Suppose -k = -12*j + 35. Solve -j*o + 8 = -7 for o.
5
Suppose -112 = -9*j - 22. Suppose 13 - 40 = -9*c. Solve a - j = c*a for a.
-5
Let m be 632/12 - 10/15. Let l = -37 + m. Solve -2*q - l = q for q.
-5
Suppose 0 = -g - 28 + 28. Let b(s) be the first derivative of s**2/2 + 5*s + 2. Let u be b(g). Solve -2*m + u = -3 for m.
4
Suppose -8*c + 380 = -92. Solve 59 = -5*k + c for k.
0
Let m(p) = p**2 + 13*p + 9. Let o be m(-12). Let w be 5/(-2)*(o + 1). Suppose 1 = 5*r + c, -3*r + r + c = 1. Solve r = t - w*t for t.
0
Suppose -o + 20 = -4*x, -3*x - x = -2*o + 28. Solve -o*d + 7*d = 5 for d.
-5
Let s = -654 + 656. Solve s*a - 5*a = 0 for a.
0
Suppose -j + 5*j - 4 = 0. Let g = j + 2. Suppose g*h + 15 = 2*p, -10 = -5*p + 4*p + 2*h. Solve -3*x - 2*x + 20 = p for x.
4
Let y(m) be the first derivative of -m**2/2 + 1. Suppose 5*d + 2*r = -12, d - r = 2*d + 3. Let q be y(d). Solve -q = -4*x + 18 for x.
5
Let y be (-88)/88 + -1 + 6. Let o = -13 + 20. Solve -5*c + o*c + y = 0 for c.
-2
Suppose -47 = -5*t - 3*g, 1 = 4*g - 5*g. Let l = -5 + -40. Let v be 8/t - 54/l. Solve -2*p - v - 6 = 0 for p.
-4
Let z = -7 - -12. Suppose n - m = 7, z*n + m - 3 = n. Suppose -7 + 1 = -n*u. Solve 0 = -u*x - 0*x - 12 for x.
-4
Suppose -3*i - w = -4*w - 12, -w - 4 = -4*i. Suppose 15 = -10*p + 13*p. Let s be (30/(-9))/p*(-9)/2. Solve -s*v = -i*v + 12 for v.
-4
Let r = -603 + 603. Solve 6*g - 13*g - 7 = r for g.
-1
Let l be 2/(-12) - 1075/(-258). Solve l*g - 2 = 2 for g.
1
Let g be 42/(-15) + 3 + 144/80. Solve 17 - 9 = g*z for z.
4
Let f be (-5)/(-1) + 0 + -1. Let i = -70 - -68. Let c be (32/40)/(i/(-5)). Solve -c*y + y + f = 0 for y.
4
Suppose 0 = -60*r + 79*r - 76. Solve w + r = -w for w.
-2
Suppose 5*c + 10 = -6*a + a, 5*a + 34 = 3*c. Suppose c + 6 = t. Let i = t + -7. Solve -i*q - 5 + 3 = 0 for q.
-1
Let b = -26 - -26. Suppose 0 = -2*l + c - b*c - 19, l + 4*c = 4. Let r(m) = m**2 + 9*m + 12. Let z be r(l). Solve 0 = z*w + w - 5 for w.
1
Let l(h) = -h**2 + 6*h + 1. Let r be l(3). Suppose r = -2*t - 4. Let v be (-30)/t + (-2)/7. Solve -f - v*f = -5 for f.
1
Let x be (-204)/(-24) + (-2)/(-4). Solve 20 = -x*d + 4*d for d.
-4
Let b be -1 + 0 - (-228)/(-18)*-3. Solve -b*z + 5 = -42*z for z.
-1
Let b = -5 + 8. Suppose 0*f - b*f = -15. Suppose 3*g - 6 + 0 = 0. Solve -x + g*x + f = 0 for x.
-5
Suppose -4*j = -4*g - 120, -g + 6 = 9. Solve 22*y = j + 39 for y.
3
Suppose 63 - 15 = -4*m. Let y be ((-30)/m)/(1/(-2)). Let p = 8 + y. Solve -2*v = -v - p for v.
3
Let x(q) = q**2 - 9*q + 54. Let m be x(5). Solve -m = 13*b + 18 for b.
-4
Suppose -4 = -4*r - 3*f - 36, -5*r + f - 59 = 0. Let l = r - 11. Let a be l/(-10) + 9/(-45). Solve -i + a = i for i.
1
Suppose z = 3*z + 64. Let g = 35 + z. Suppose n + 3*r - 5 = 0, g*n + 5*r + 1 - 16 = 0. Solve -4*b = 7 + n for b.
-3
Let q(w) = w**2 + 5*w + 2. Let v be q(-5). Suppose -6*m - 83 = -3*m - v*n, 4*m - 5*n + 113 = 0. Let t = 27 + m. Solve t*d + d = 3 for d.
3
Let k = -298 - -300. Let b(l) = -19*l + 1. Let j be b(-1). Solve -6*n = -k*n + j for n.
-5
Suppose -3*q - 42 = -3*c, 4*q + 3*c + 32 = c. Let a = 12 + q. Let l(r) = r - 1. Let m be l(a). Solve -m - 2 = -x for x.
3
Let a(w) = w**3 - 8*w**2 - 8*w + 1. Let y = 24 - 15. Let b be a(y). Solve 4*u + u = b for u.
2
Let r be (-622)/4 + (-9)/54*9. Let c = r - -161. Solve -c*b = 3 + 1 for b.
-1
Let c be ((-6)/15)/(1/(-5)). Let a = c + 2. Let m = a - -6. Solve 4*s + m = -s for s.
-2
Let i(o) = 2*o**3 - 44*o**2 + 42*o + 5. Let k be i(21). Solve 53 = -k*p + 33 for p.
-4
Let k(b) = b**2 + 12*b + 14. Let c be k(-11). Let t(q) = 3*q**2 + q - 9. Let g be t(c). Solve 0 = -5*s + g + 4 for s.
5
Let b = 1038 - 1031. Solve 16 = b*g - 19 for g.
5
Suppose -9 = -5*l + 1. Suppose 4*a - 14 = -l*n + 4, 0 = 2*a - 3*n + 3. Solve -17 - a = 4*g for g.
-5
Suppose -w + 0*w = -9. Suppose -w*j = -4*j. Solve l + j*l - 4 = 0 for l.
4
Suppose 3 = -3*t + 9, g + 8 = 5*t. Solve 0 = -h - g*h for h.
0
Let j(o) = -o**3 + 6*o**2 + 8*o - 32. Let r be j(6). Solve r = -21*w + 13*w for w.
-2
Let s(w) = -5*w**2 - w - 4. Let m(n) = -9*n**2 - 3*n - 9. Let t(g) = 6*m(g) - 11*s(g). Let b be t(10). Let l be 45/(-12)*b/(-3). Solve -6*a = -a + l for a.
-5
Suppose -q - 5 + 13 = 5*d, 2*q + 5*d - 11 = 0. Solve 0*m - q*m = 12 for m.
-4
Let k be 12798/3081 - (4/(-13))/(-2). Solve 8 + k = 4*z for z.
3
Let m = -616 + 656. Solve -39*s + 5 = -m*s for s.
-5
Let y = -5 + -28. Let h be 6/(-27) + 1/(-27)*y. Solve 3*t + h = 4*t for t.
1
Suppose 6*i = 7*i - 60. Let o(n) = -i + 60 - n + 10*n**2. Let w be o(1). Solve 1 = 4*m + w for m.
-2
Let c be (-3 - 26/(-6))*12. Suppose 2*w = 4*r + 12, 0 = -3*w - 0*r + 5*r + c. Solve -w*i + 2 = -0 for i.
1
Suppose -x + 2 = -3. Let t be 4*(-4)/24*3. Let u be 1 - 1 - (1 + t). Solve -u + 6 = -x*l for l.
-1
Let v = -62 + 38. Let u be (-2)/(-14) + (v/21 - -1). Solve 5 = -u*g + g for g.
5
Let x be 837/(-117) - 4/(-26). Let p = 9 + x. Solve 2 = -4*w - p for w.
-1
Suppose 0 = -10*x + 218 + 92. Solve 0 = 10*r - 9 - x for r.
4
Suppose -3 = -a + 32. Let z = 39 - a. Solve z*l + 5 = -l for l.
-1
Let l(f) = -f**2 - f + 30. Let z(a) = -a**2 - a + 30. Let w(y) = -6*l(y) + 5*z(y). Let x be w(-6). Solve x = -3*t - 2*t + 20 for t.
4
Let q = 189 - 182. Solve q*y + 12 = 13*y for y.
2
Suppose 0 = -4*y + 4*c + 124, 3*y - 59 = y - c. Let g = -26 + y. Solve 0 = -k - g - 0 for k.
-4
Suppose -4 + 8 = 2*h - v, -8 = 2*v. Solve h = -192*r + 197*r + 15 for r.
-3
Suppose -2*c - 4 = -6, 40 = 5*v - 5*c. Solve 0 = 8*a - v*a + 1 for a.
1
Let n(g) = -g**3 - 3*g**2 - 3*g - 3. Let i be n(-3). Let m = i - -26. Suppose 4*w = -3*v - w + m, 3*v + 4 = 4*w. Solve 1 = r + v for r.
-3
Let q = 25 + -21. Suppose -u = 5*j - j - 5, -q*u = -3*j - 39. Solve 0 = 4*s - u*s for s.
0
Let u(y) = -y**2 + 20*y + 5. Let n be u(17). Suppose -b - n = -5*b. Suppose -3*v - 4 = x - 17, 0 = -4*v + 2*x + b. Solve -t = -3*t - v for t.
-2
Let b(r) = r**2 + 5*r. Let o be b(-4). Let h = 0 - o. Solve h*g - 8 = 8 for g.
4
Suppose 0 = -29*i + 96 + 484. Solve -8 + i = -4*d for d.
-3
Let v = 26 - 44. Let m = 22 + v. Solve 2*u = m*u + 10 for u.
-5
Suppose 172*h - 166*h - 12 = 0. Solve h*w = -w for w.
0
Suppose 2*y = -2*j + 56, -5*y + 2*y - 4*j = -87. Solve -6*k + y = 1 for k.
4
Let c(t) = 3*t**2 - 6*t + 6. Let n be c(3). Solve -n = -12*i + 9*i for i.
5
Suppose 3*a = 6*a - 15. Let z(y) = -482*y + 8. Let x be z(0). Solve 0 = a*p - 33 + x for p.
5
Suppose 808*b - 56 = 800*b. Solve 40 = i + b*i for i.
5
Suppose 0 = n + 4*r + 10, 3*n + 2*n = -4*r + 14. Solve n*k = -31 + 1 for k.
-5
Let i(z) = 33*z + 2. Let r be i(0). Solve 24 = 4*c + r*c for c.
4
Let z(f) = -2*f + 13. Let x(p) = -4*p + 26. Let w(h) = 6*x(h) - 11*z(h). Let g be w(6). Solve g + 1 = -i for i.
-2
Suppose 2*w - 2*t = 6, 0 = t - 0*t + 3. Let b be (w - -3)*14/21. Let n = -2 + b. Solve j + 2 = -n*j for j.
-2
Let m be 72/28*(-56)/(-12). Let j be (18/m)/(9/12). Suppose 4*f + 4 = 6*f. Solve g - j = f*g for g.
-2
Suppose 0 = 2*n + 10, 10*d + 18 = 14*d + 2*n. Solve d*a = 3*a + 4 for a.
1
Let t = -11 + 15. Suppose 0 = 2*p + 6 + t, 5*p + 65 = 5*z. Suppose -m - 1 = -z. Solve m = -2*s + 1 for s.
-3
Let h = -24 + 19. Let t(x) = -x**3 - 4*x**2 + 4*x - 2. Let q be t(h). Solve -4*j = q + 5 for j.
-2
Suppose -39*y + 16 = -35*y. Suppose -y*t + 2*i + 17 = 5*i, -5*t + 7 = -i. Solve -2 = 4*d - t*d for d.
-1
Let i = -98 + 102. Solve -b = -3 + i for b.
-1
Let n = 24 - 19. Suppose 2*q = -3*q - n*v + 40, -2 = -q + v. Suppose -3*y + 5*u = -y - 3, 0 = y + u - q. Solve h = y - 3 for h.
1
Let r(x) = -7*x**2 + 2. Let g be r(0). Let y = 9 - 9. Suppose 3*f - 7 = l - 2*l, -2*l - 5*f + 12 = y. Solve g*v - l = 7 for v.
4
Let c = 0 - -5. Suppose -c*q + 3*q