a. Solve a = 2*b + 2*b for b.
0
Suppose -836*r + 840*r - 1280 = 0. Solve 0 = r*d - 323*d + 3 for d.
1
Suppose 5*i = 37 + 43. Suppose z - i = -0*z. Suppose 0*b + z = 4*b. Solve u + b = 1 for u.
-3
Let n(w) = -w**3 + 5*w**2 - 3*w - 2. Let h = 36 + -33. Let j be n(h). Solve 2*v + 5 = j*v for v.
1
Let g(l) = -l**2 - 17*l + 60. Let s be g(-20). Solve s = -5*c + 21 + 4 for c.
5
Suppose 5*a - 71 = o, -5*a + 2*o + 12 + 60 = 0. Solve -a*c + 5 = -9*c for c.
1
Suppose -i + 0 = -8. Suppose 6*l = -2*l + 4*l. Suppose l*k - k = -i. Solve 1 = -3*f - k for f.
-3
Suppose -25*h + 464 = 33*h. Solve 4*p - h = 8*p for p.
-2
Let g(t) be the third derivative of t**5/60 + 5*t**4/12 + t**3/3 + 5*t**2. Let j be g(-10). Suppose 2 = -5*a + 7, 0 = -z + 2*a + j. Solve -c = z*c for c.
0
Let n be (-126)/(-4) + 6/12. Solve 0 = -2*i - 36 + n for i.
-2
Let y(w) = -11*w - 6*w**2 + 10*w**2 - 20 - 6*w**2 - 3*w. Let s be y(-4). Solve s*p = -0*p for p.
0
Suppose 0 = 2*u + u. Solve u = -0*a + 5*a for a.
0
Let i(w) = 2*w**2 - 20*w. Let d be i(10). Solve -5*j + 2*j = d for j.
0
Let l(j) = j**3 - 7*j**2 + 4. Let o be l(7). Let s = o + 11. Let i = s - 13. Solve i*m - 4*m - 2 = 0 for m.
-1
Let k = 14 + -12. Let f be (3/k)/(12/(-16)). Let l be f/4*(-2 + 2). Solve l = -5*p - 2 + 12 for p.
2
Let g(t) = 39*t - 738. Let j be g(19). Solve 0*r = -j*r - 9*r for r.
0
Suppose -3*u - 5*r - 53 = -47, -3*r = 5*u - 6. Solve 7*t = u*t for t.
0
Let x = -6 + 5. Let n be (0 + x)*-3 - 1. Suppose n = -w + 3*w. Solve -w - 5 = 3*r for r.
-2
Let w(f) = -f**3 - 3*f**2 + 4*f + 8. Let x be w(-4). Solve 3*j + x = 20 for j.
4
Let r(u) = u**3 + u**2 + 2*u - 3. Let v be r(3). Suppose -14 = 5*s - v. Suppose s = -3*z + 29. Solve 4*w + z = -4 for w.
-3
Let a(m) = -m**3 + 2*m**2 - m. Let q be a(3). Let i = 14 + q. Suppose -l + 2 = 5*o, -o + 2 = i*l - l. Solve o*p = -p for p.
0
Suppose 51 = -2*a + 5*f + 54, -5*a + 42 = -f. Solve -5*o = -a*o - 16 for o.
-4
Let o(z) = 3*z**2 - 4*z + 1. Let l be o(3). Suppose -3*i + v - 6*v = 0, -5*i - 3*v + l = 0. Suppose 4*d = i + 3. Solve h - 5 = d*h for h.
-5
Let m(i) = -i**3 + 14*i**2 - 15*i + 28. Let w be m(13). Let y be ((-3)/2)/(w/(-4)). Solve 0 = -2*n - n - y for n.
-1
Suppose b - 10 = -b. Suppose -3*o - 2*o + 40 = b*y, 3*y = 3*o - 12. Suppose -3*z + o = -z. Solve 0 = z*u + 16 - 1 for u.
-5
Let c be (-4*(-3 + 2))/(-2). Let g(t) = -t**3 + 3*t**2 + t - 2. Let j be g(c). Let l be (-26)/(-10) - 60/(-150). Solve -v - l*v = j for v.
-4
Let q be (-6)/(-10) + (-2779)/(-35). Suppose q = 4*v + 12. Let g = v + -12. Solve 0 = -0*p + g*p for p.
0
Suppose 4*w = -5*i + 163, 28*i - 27 = 27*i + 2*w. Solve -i*p = -33*p - 10 for p.
-5
Let u(f) = 5*f + 11. Let k(q) = -1. Let m(w) = -5*k(w) + u(w). Let o(h) = 11*h + 33. Let n(r) = 9*m(r) - 4*o(r). Let l be n(-7). Solve -3 - 17 = -l*c for c.
4
Let x = 566 + -558. Solve -40 = -0*z + x*z for z.
-5
Suppose -2*j + 3 - 41 = 4*g, j = -5*g - 52. Suppose -15 = 4*a + 61. Let c = g - a. Solve -5*z + z = -c for z.
2
Suppose 2*a - 2 = -2*k, 15*a + 1 = k + 13*a. Solve 0 = -13*w - k - 38 for w.
-3
Suppose 12*k = 7*k - 60. Let g = k - -14. Suppose 0 = -6*t + g*t. Solve -m + 0*m = t for m.
0
Suppose 5 = 18*d - 23*d, 3*a = 3*d + 18. Solve q = a*q for q.
0
Suppose -c + 4*c = 0. Suppose -b = -c*b. Solve 0*q + q + 2 = b for q.
-2
Let a be (-78)/(-2)*4/(-6). Let o(v) = -v**2 - 3*v + 84. Let i be o(6). Let m = a + i. Solve 0 = -3*w + 13 - m for w.
3
Let c(f) = 2*f. Let d be c(1). Let y be (-172)/(-24) - ((-16)/(-4))/24. Solve -d*k + y*k = 25 for k.
5
Let q = 81 - 79. Solve -4 = -0*j + q*j for j.
-2
Let p(i) = i**3 - i + 4. Let v be p(0). Suppose 0 = -n + q + q + 6, -5*q = -3*n + 15. Suppose 0 = -n*y + y - 1. Solve 0 = -u + y + v for u.
5
Suppose -5*q - s - 8 = -57, 0 = -3*q - 3*s + 27. Let b = 139 - 137. Solve b = 4*u - q for u.
3
Let p be (20/1)/(5 - 1). Solve -18*q = p*q for q.
0
Suppose -95 = -w - 83. Solve -w*d - 8 = -14*d for d.
4
Let t(c) be the third derivative of -c**6/60 - 7*c**5/20 + 5*c**4/12 - 3*c**3/2 + 12*c**2. Let z be t(-11). Solve a + 3 - z = 0 for a.
-1
Let a(u) = 13*u**2 - 2*u + 1. Let v be a(1). Let k be ((-21)/(-14))/(v/16). Let r(t) = -t**2 - 6*t - 1. Let y be r(-5). Solve 2*o - y*o + k = 0 for o.
1
Suppose 197 = 34*k - 211. Let z(d) = d**2 - 4. Let x be z(-3). Suppose 2*v = q + x, -15 = q - 4*q. Solve -v*p = -p + k for p.
-3
Suppose -2*i = -5*z + 3*i - 10, -5*z - 5*i = -20. Let k be z/(4/(-12)) + -24. Let r = -11 - k. Solve 0*q + 4*q = -r for q.
-4
Suppose -4*m - 203 = 3*j, 12 = 2*j + 2*j. Let c = 55 + m. Solve c*f + 0*f = 10 for f.
5
Let x(n) = -n**3 + 30*n**2 - 106*n + 52. Let k be x(26). Solve k*h - 5*h + 10 = 0 for h.
2
Let m(l) = -2*l + 15. Let c be m(-7). Let f = -31 + c. Let x be (9/(-6))/(f/16). Solve 2*q = -2*q - x for q.
-3
Suppose -2*t + v + 6 = -23, -4*t - 3*v = -73. Solve -3*h - t = h for h.
-4
Let h = -34 + 34. Suppose -r + h = -3. Suppose 0 = -5*s + r*s. Solve s = -4*b - 0*b for b.
0
Suppose -6*j = -4*j - 4. Let s be 40/(-32) - (1 + (-146)/8). Solve j*z - s = -2*z for z.
4
Let c = 41 + -36. Solve -6*x = -c*x - 1 for x.
1
Let t(v) = 3*v - 5. Suppose -a - 4*b = -3*b - 5, -3*b = a - 11. Let d = 8 - a. Let g be t(d). Solve 0 = -5*y + 2 + g for y.
3
Let w be 25/(-5) + (-3 - -28). Solve 0 = 2*q + 3*q - w for q.
4
Let t(b) = -139*b - 267. Let w be t(-2). Solve -2*x - 3 = -w for x.
4
Suppose -37*g - 6 = -39*g. Suppose 11 = o + 5*z - g*z, 0 = -z + 4. Solve -2 - 4 = o*p for p.
-2
Suppose 2*y - 81 = m, 0 = -3*y - 4*m + 2*m + 111. Solve 7*c + y = -6*c for c.
-3
Let i(t) = 42*t + 605. Let n be i(-14). Solve 0 = -9*o + n*o + 24 for o.
-3
Suppose 5*t + 4*c = 4, 18*t - 23*t = -2*c - 28. Solve 0 = -t*y + 3 + 5 for y.
2
Suppose -3*n - 4*x - 92 = -0*n, 0 = -2*n - 4*x - 68. Let v be ((-78)/n)/13 - (-30)/8. Solve 7 = -v*l + 3 for l.
-1
Suppose -12*d + 18 = -18. Solve -d*n = -0*n for n.
0
Let h(q) = -q**3 + 14*q**2 - 13*q + 3. Let k be h(13). Solve 7*c - 4 = k*c for c.
1
Let j(z) = z**3 + 2*z**2 - z - 1. Let x(g) = g**3 - 7*g**2 + 8*g - 14. Let f be x(6). Let y be j(f). Suppose y = -w + 15. Solve -w - 6 = -4*n for n.
5
Let i = 33 - 30. Let c be (4 + -7 - 0) + i. Suppose 3*t + 4*h + 14 = -c*h, 23 = -t - 5*h. Solve 2*q - 4 = t for q.
3
Suppose -26*s + 85 = -21*s. Suppose -10 = -3*w + w. Solve -w*q - 8 = s for q.
-5
Let x(d) = -11*d. Let f be x(0). Solve 8*w + 40 = -f*w for w.
-5
Let r = 2 + -8. Suppose -39*y - 26 = -13*y. Let u be 3/r*4*y. Solve -3*i - u = 10 for i.
-4
Let s(l) = 5*l**2 + 34*l + 92. Let x be s(-3). Solve -o = -34 + x for o.
-1
Let p(l) = -27*l + 35. Let h be p(1). Solve 28 = -h*q - 12 for q.
-5
Suppose 8 = n + 5*b - 11, 2*n - 8 = 5*b. Let y be 3/(n*5/30). Solve 0*v = y*v - 2 for v.
1
Let d be 3/6 + 10/4. Suppose 0 = 4*c + 2*v - 26, -d = -4*v + 9. Solve -c*n - 24 = -9 for n.
-3
Let l = 81 + 34. Let k = l - 106. Solve -5*i - 6 = k for i.
-3
Let w(r) = -r**2 + 12*r + 16. Let m be w(13). Suppose 2*j + 1 = m*j. Solve -5*f + j = -9 for f.
2
Let j(m) = m**3 - m**2 - m + 2. Let b be j(2). Let p be -6*2/(-6) + b. Solve p = -2*n - n for n.
-2
Let i(m) = -m**2 + 7*m + 102. Let s be i(14). Solve 7 - 11 = -s*g for g.
1
Let j = -744 + 763. Solve -21*c = -65 - j for c.
4
Suppose 0 = 55*t - 75*t. Solve t = 18*b - 15*b - 12 for b.
4
Let b = 531 - 526. Solve b - 15 = 5*y for y.
-2
Let k = 34 - 30. Let l be ((-15)/12)/(3/12). Let r be -3 - -5 - 2 - l. Solve -r*n + k - 24 = 0 for n.
-4
Let z be ((-63)/5)/(31/(-155)) + -2. Solve 66*r = z*r for r.
0
Let p be 100 + -88 - (-1 - 25). Solve p = 18*w + w for w.
2
Let r(h) = -128*h + 133. Let a be r(1). Solve -9 - 1 = a*y for y.
-2
Let n = 255 + -251. Solve -n*c + 0*c = -4 for c.
1
Suppose -15*a = -16*a + 2. Suppose p + a = 0, 5*f - 2 = 3*p + 24. Solve f = -c + 1 for c.
-3
Let k(l) = -l**2 + 8*l + 8. Let u be k(8). Let i be -4*(-18)/u - 4. Solve i = 3*b + 14 for b.
-3
Let d be -3 + (-61)/(-9) + 14/63. Solve 0 = -j - d*j for j.
0
Let j = -15 + 7. Let k = 10 + j. Solve -5 = 3*b - k*b for b.
-5
Suppose -3*q + 1 = -11. Suppose -q*f + 11 + 9 = 5*t, 5*f + 12 = 3*t. Solve t*n = -n - 10 for n.
-2
Let n(f) = -f**3 - 9*f**2 + 4*f + 40. Let s be n(-9). Let c be ((-4)/(-6))/((-1)/(-3)). Suppose -c - 1 = -z. Solve v + z = s*v for v.
1
Let p be 0 + 2 + (-6 - 2). Let r be (-4)/(-12) - 16/p. Solve r*w = -5 - 1 for w.
-2
Let l = -11 - -