ve 3 + 12 = r*i for i.
3
Let t(y) = -y - 1. Let u(n) = n**2 - 7*n - 15. Let o(j) = 6*t(j) - u(j). Let h be o(0). Solve 0 = -3*l + 6*l + h for l.
-3
Suppose -3*t + 2*x = t - 14, 0 = -5*t + 2*x + 18. Let n be t/8 - (-10)/4. Let w be 292/12 + 2/n. Solve 0 = 2*v + 3*v - w for v.
5
Suppose 4 = -2*s - 4, -4*s = -5*w + 31. Suppose 8*o - w*o - 20 = 0. Solve o*z = 7*z for z.
0
Let o be (1/2)/((-30)/60). Let s(a) = -11*a**3 - 2*a**2 - 3*a - 2. Let j be s(o). Let w = 2 - 2. Solve -2*h + w*h = j for h.
-5
Suppose -4*y - 5*j + 31 = 0, -5*y - 14 + 25 = -3*j. Solve 5*a = -y*a + 18 for a.
2
Let s = 287 - 279. Solve v + 35 = s*v for v.
5
Suppose -12 + 0 = -3*c. Suppose 0*k + c*k - 12 = 0. Let i be k/12 - 11/(-4). Solve -2*b - i = b for b.
-1
Let k(o) be the second derivative of -o**4/12 - 4*o**3/3 - 22*o. Let f be k(-6). Solve -m - 2*m = f for m.
-4
Suppose 0 = n + 1, -3*f + 4*n + 34 = -0*f. Let m = -3 + f. Let v = m + -4. Solve v*q = 2*q for q.
0
Suppose 16 = -3*s + 4. Let p(q) = 2*q**2 + 6*q + 1. Let k be p(s). Solve -5*h - k - 1 = 0 for h.
-2
Let l = 265 - 263. Solve 0 = 3*y + l*y - 5 for y.
1
Let y(o) = 12*o - 3. Suppose -w + 2*w = -4*h, h + 11 = -3*w. Let k be y(h). Solve 6*t = 3*t - k for t.
-3
Let g = -373 + 400. Solve -22*c = -13*c - g for c.
3
Let b be 1 - -1 - (2 - 3). Suppose -b = 2*o - 43. Let v be -12 - -11 - (-5 - 1). Solve j - v*j = -o for j.
5
Suppose -2*r + 3 = -s, -6*s - 15 = 2*r - s. Suppose r = -x + 3, 0*d - 3 = 2*d - 3*x. Solve -d = 2*l - 9 for l.
3
Suppose -277*k - 125 = -282*k. Solve -k = 3*a + 2*a for a.
-5
Let c(s) = s**3 + 8*s**2 - 16*s - 53. Let v be c(-9). Solve -12*n + v*n = -6 for n.
3
Let x(d) = d**2 - 4*d - 1. Let u be x(5). Suppose -i = -c + u, -i - c - 4*c = -20. Solve 10*q - 5*q = i for q.
0
Let z be (4 - 3)*10 - 5. Solve 0 = -z*a + 2*a for a.
0
Let d(n) = -n**2 - 29*n - 16. Let i be d(-23). Let a = -118 + i. Solve 5*r = 4*r + a for r.
4
Let l(d) = d + 71. Let b(p) = 24. Let t(k) = 7*b(k) - 2*l(k). Let u = 706 + -695. Let q be t(u). Solve 0 = q*o - 12 - 4 for o.
4
Suppose -12 = -6*o + 2*o. Let v = -6742 + 6749. Solve -o*g + 4 = -v*g for g.
-1
Suppose 3*i - 17 = -3*l - 2, 5*l - 5*i + 15 = 0. Let o be 2 + -1 - (l + -1). Let u be (1/(-4))/(-1) + (-645)/(-172). Solve u*a - o = 3 for a.
1
Suppose 0 = 2*u + 7 + 7. Let r = -4 - u. Suppose -11 + r = -2*w. Solve 0*v = w*v for v.
0
Let u(w) be the third derivative of -w**5/60 + 5*w**4/6 - 17*w**3/3 - 42*w**2. Let x be u(18). Let m(r) = -4*r - 4. Let y be m(-3). Solve y = -x*i + 4*i for i.
4
Let y be -4*(-4)/(-8) + 2. Let g = -8 - -11. Suppose -21 = -0*o - g*o. Solve y = -4*b + 23 - o for b.
4
Let a = -15 - -18. Let l(x) = -3*x - x + x**2 + 3*x - 2. Let f be l(-2). Solve f = -a*o + 19 for o.
5
Suppose -i + 3*x - 176 = -189, -i + 19 = -5*x. Solve 10*o + i + 6 = 0 for o.
-1
Let c(i) = -i**3 + 4*i**2 + 4*i + 15. Let x be c(5). Solve 0*t = -2*t - x for t.
-5
Suppose 0 = -u + 2*u - 1. Let r be -4 + 3 - (-6 - -4). Let z = -64 + 66. Solve u = -z*g - r for g.
-1
Let l be (-14)/(-6) - (-1)/(-3). Let z be ((5 - 0)/5)/(l/14). Solve -z*b = -2*b for b.
0
Suppose -700*g + 698*g = -18. Solve 0 = -7*q - 2 + g for q.
1
Let k(p) = -p**3 - 8*p**2 - p - 5. Let h be k(-8). Suppose 0 = 3*o, 4*g - h*g - 4*o = 5. Solve -g - 4 = 3*u for u.
-3
Suppose 5 = -4*x + 5*x. Suppose 0 = x*d - 2*v - 10, 0*d - 4*v + 4 = -4*d. Solve 2*j = -6 - d for j.
-5
Suppose -9*t - 15 = -12*t. Let m be ((-4)/8*-16)/2. Solve t*n - m = n for n.
1
Let j(s) = 15 - 2*s**3 + s**3 - 11*s**2 + 25*s - 18. Let i be j(-13). Solve 1 = 3*p + i for p.
-3
Let s = 22 + -2. Suppose q - s = -4*q. Suppose 9*f = 11*f - q. Solve f*a + 6 = -a for a.
-2
Suppose -8*j - 80*j + 1056 = 0. Solve -10*y - 2 = -j*y for y.
1
Suppose -4*c + 3*k = 5 - 4, -3*k + 11 = c. Let w(l) = -l**2 + 4*l + 1. Let h be w(c). Suppose 21 = p - 0*a + 2*a, 3*a = -h*p + 84. Solve -p = -4*t - t for t.
3
Suppose -3*k - 2 = -y - 12, 10 = 5*y. Solve k*s = -6*s - 40 for s.
-4
Let g = -7 - -12. Let p(t) = -2*t + 0*t + g*t**2 + t. Let v be p(1). Solve 0 = -v*q + q + 3 for q.
1
Suppose -3*p + 64 = 55. Suppose 3*i = 5*i. Solve p*x - 11 - 1 = i for x.
4
Let i(z) = -3*z**3 - 2*z**2. Let r be i(-1). Let c be (4 + -3)*1/r. Solve 0 = -2*a + c - 7 for a.
-3
Suppose 5 = 5*x + 2*u, 4*x = 2*u - 0*u + 22. Suppose 30 = d - 5*z, 1 - 19 = -x*d - 3*z. Suppose -d*b - 4 = -12*b. Solve -b*h - 2 + 8 = 0 for h.
3
Let j be ((-16)/(-20))/((-1)/(-25)). Suppose -4*c = -3*c - j. Let f = 23 - c. Solve 8*i - f*i = -15 for i.
-3
Let a be ((-8)/(-6))/(8/36). Let x be ((-9)/a)/((-9)/12). Solve x*j + j = 0 for j.
0
Suppose h - 10 + 5 = 0, -3*j + h = -4. Suppose -q - 4*b + 6 = -6, -j = 4*q - b. Suppose q = -5*u + 9 + 16. Solve -4 = u*d - 19 for d.
3
Suppose 3*k + 2*k + 2*m - 148 = 0, m = -4*k + 116. Solve 9*s + k - 10 = 0 for s.
-2
Let q(x) = -4*x. Let w be q(-3). Let v = 21 - w. Solve -v = -3*r - 3 for r.
2
Let n be (6/2)/(-3) - 4. Let r = n + 9. Let s be (r/(-5))/((-2)/5). Solve s*f = -2*f + 8 for f.
2
Suppose -3*b = -0*b - 12. Suppose -10*y + 2 = -28. Suppose -4*m - 4 = 3*i, y*m + 5*i = -2*m - 10. Solve m*z = -0 - b for z.
-2
Let j(t) = t**2 - 10*t + 5. Let s be j(-4). Let w = -41 + s. Solve 5*l - w = -0*l for l.
4
Let c = 1 - 1. Suppose -8 = -7*a + 6. Suppose -3*q + a*k - 7*k = -21, -4*k = q - 14. Solve c*b - q = b for b.
-2
Suppose x + 4 = 6. Suppose 0 = -6*h + h - 2*j + 35, 0 = -x*h - j + 15. Solve -8 = h*b + 12 for b.
-4
Let v be (-18)/63 - (-9)/7. Let x be (-25)/(-15)*3*v. Solve -x*f = -10*f + 20 for f.
4
Suppose -4*y - 2*a = -71 - 5, 0 = 2*y - 5*a - 26. Suppose i + 5 = 0, 2*j = -2*j - 5*i - 97. Let u = y + j. Solve -3 + u = d for d.
-3
Suppose -2*s - 14 = -h - 13, 0 = -4*s + h - 1. Solve s = -178*y + 174*y + 4 for y.
1
Let y = -34 + 35. Let u be y/(2 - 3) + 1. Solve u = b - 3 for b.
3
Suppose 27 = 27*v - 0. Solve v + 3 = i for i.
4
Let z be -18*(-2 + (-16)/(-6)). Let p = z - -26. Suppose p + 11 = 5*o. Solve o*j + 0*j = 5 for j.
1
Suppose -2*n = 4*j, -5 + 13 = n - 2*j. Solve n = o - 3*o for o.
-2
Let o be 6 - 7*9/21. Suppose -4*u + 32 = 4*n, -4*n - 8 + 20 = 0. Solve -o*x + u = 2*x for x.
1
Suppose 20 = -r + 32. Solve -2*o = 2*o - r for o.
3
Let l(t) = t**2 + 14*t + 49. Let q be l(-10). Suppose -5*f + 29 = 4. Suppose -2*j = -f*j. Solve j = -5*y + 34 - q for y.
5
Let v = 42 + -37. Suppose 3*o = v*o. Solve o = -0*r + r for r.
0
Let a(h) = -h**3 + 3*h. Let t = 9 - 11. Let v be a(t). Solve v*z - 10 = -3*z for z.
2
Let l be (-12)/(-21) + (-228)/(-42). Solve 7*x + l = 4*x for x.
-2
Let z(i) = i**3 + 9*i**2 - 20*i + 28. Let n be z(-11). Solve n*r = -16 - 8 for r.
-4
Let c be (-8 + 4)/(2 + -3). Let k(o) = o**2 - 2*o + 7. Let y be k(c). Solve u - 4*u = y for u.
-5
Let d(z) = 2*z - 1. Let c = -28 - -29. Let u be d(c). Solve b = u - 3 for b.
-2
Let l = -1345 - -1347. Suppose 3 = o - 22. Suppose c + 4*c = 2*q + o, 5*q = 4*c - 3. Solve l*t = 1 - c for t.
-3
Suppose -148*k - 28 = -155*k. Solve -r - 2 = -k for r.
2
Let c be 3/2*(-24)/(-18). Let t = c - 10. Let b be ((-20)/t + -2)*0. Solve b = -5*n - 0*n + 15 for n.
3
Suppose 0 = -h - 4*h + 800. Suppose -2 = c, 5*j + 3*c - h = -2*c. Let x = j - 20. Solve -2*b - 4 + x = 0 for b.
5
Let v be -38*((-14)/20 + (-10)/(-50)). Solve 18 = -v*l + 13*l for l.
-3
Let q = 29 - 24. Solve j - q = -1 for j.
4
Suppose -407 - 517 = -44*u. Solve 28*g - u*g = 28 for g.
4
Suppose w + 12*w - 26 = 0. Solve 2*a + w*a = 8 for a.
2
Suppose 959*w = 948*w + 1199. Solve 26*b + 5 = w for b.
4
Let p(f) = -f**3 + 8*f**2 - f - 4. Let a be p(7). Let z be a/6 + 5/(-15). Suppose d = -d + z. Solve d*x + x = 0 for x.
0
Let r be 2/3 - 16/(-12). Suppose r*f - 6*f = -12. Solve 0 = d - f for d.
3
Let m(t) = -45*t + 360. Let u be m(8). Solve u = -14*p - 39 + 25 for p.
-1
Let j = -198 - -198. Solve j*l - 10 = -5*l for l.
2
Suppose 0 = -126*g + 144*g - 1170. Solve 0 = 3*v + 74 - g for v.
-3
Suppose -4*b + 45 = -5*d, 3*b - d - 30 = 1. Let w be b/15 - (-30)/9. Solve 0*j - w*j = -16 for j.
4
Let h be 18 + -21 - -1*6. Solve 53 - h = -10*d for d.
-5
Let b(z) be the second derivative of 2/3*z**3 - 8*z + 2*z**2 + 0. Let a be b(4). Solve x = 5*x - a for x.
5
Let f be 9/18 + 6/4. Suppose -f*d + 12 = 3*v, -2*d + 16 = 3*d + 4*v. Solve 2*c + c + 6 = d for c.
-2
Let h(j) = -j**2 - j + 2. Let t be h(-4). Let d = t - -15. Suppose -7*x = -d