+ r = 16 for z.
-2
Suppose 15 = -12*l + 87. Suppose -13*s = -16*s + 6. Solve s*r = 4*r + l for r.
-3
Suppose -2*v + i = -12, 0*v + v = -3*i - 8. Let f(w) = w**2 - 7*w + 14. Let n be f(v). Solve n*a = -3*a for a.
0
Let p(n) = -100*n - 1088. Let d be p(-12). Solve -17*r = 11*r - d for r.
4
Suppose 0 = -2*d + j - 2*j + 83, -4*j = -3*d + 152. Suppose 47*k - d*k = 0. Solve 2*p - 4 = -k for p.
2
Let c(y) = -16*y + 204. Let l be c(12). Solve 11*j - 17*j = -l for j.
2
Suppose 8*z = 4*z - 5*l + 45, 5*l = 5*z. Solve z*g = 19 - 4 for g.
3
Let l(w) = 2*w**2 - 18*w - 6. Let d be l(10). Suppose -15*h + d*h = -3. Let u be h + (-3)/(-6)*4. Solve 3 - 13 = -u*m for m.
2
Let v be (-10)/(-30)*(1 - -5). Let t(y) = y**3 + 4*y**2. Let w be t(-4). Let m be (w/((-2)/(-2)))/v. Solve m = a - 3*a - 10 for a.
-5
Let f be 11 - 6 - (8 + (1 - 4)). Solve f*y = -y + 3 for y.
3
Let y(o) be the second derivative of 3/2*o**2 + 0 + 5/3*o**3 + 1/12*o**4 - 2*o. Let v be y(-10). Solve 0*d = -v*d + 6 for d.
2
Let q = -37 + 42. Let d be (-4 - (-2 - -1)) + q. Solve -9 = -t - d*t for t.
3
Suppose -q = -3*m + 16, -2*q + 0*q - 8 = -2*m. Let l be (3*(-28)/(-36) - 2)*m. Solve 0 = 5*t - l*t for t.
0
Let d be 2/1*(3 - 2). Let v = 32 - 16. Let m = -13 + v. Solve m = -5*a - d for a.
-1
Let z = 291 + -282. Solve z*c = -4*c - 26 for c.
-2
Suppose -24*m = -20*m - 8. Solve 0*z = m*z + 8 for z.
-4
Let f be -13 + -1 + 1 + 3. Let o(k) = -k**2 - 10*k + 7. Let b be o(f). Suppose 3*p = 5 + b. Solve p = q - 5*q for q.
-1
Let c be (-1)/4 + (-2)/(-8). Suppose 3*d = -5*i + 26, 4*i + 3*d = 8*d + 6. Solve i*w - w + 3 = c for w.
-1
Suppose 5*a + f + 61 = 10*a, 2*a - 22 = -2*f. Solve 2*o = -2*o + a for o.
3
Suppose -23*u + 37 = -55. Suppose -5*r - 4*f = 6, 7*r + 2*f = 4*r - 2. Solve -u*x = -r*x - 4 for x.
2
Let v = -303 + 309. Solve 36*t - v = 38*t for t.
-3
Let z(k) = 3*k**2. Let t be z(1). Suppose 2*b - 10 = 0, 2*a - t*a + 6 = -2*b. Let j(o) = -o**2 - 5*o + 1. Let m be j(-4). Solve v - m*v = a for v.
-4
Let q = 17 - 11. Let w(i) = 0*i - q*i - 2 - 2*i**2 + i + i**2. Let b be w(-3). Solve 3*u + b = u for u.
-2
Let i be (90/36)/((-5)/(-12)). Solve 2 = i*d - 16 for d.
3
Let h be ((-92)/24)/(-23) - 110/12. Let x = -6 - h. Suppose 3 = -2*f + 7. Solve x*n = -f*n - 25 for n.
-5
Suppose 4*z = -0*z - 44. Let l = 15 + z. Let q be ((-25)/(-2))/((-1)/(-2)). Solve q = l*y + y for y.
5
Let n(i) = -i**2 + 11*i + 17. Let g be n(12). Suppose 5*v = 4*s - 1, -2*v - 2*v - 8 = -g*s. Solve 0*c + s = -4*c for c.
-1
Suppose n - y = 0, 2*n - 5*y - 7 - 2 = 0. Let s be 1*(-25 + n) + 1. Let l = -11 - s. Solve -l = -a - 3*a for a.
4
Let b be ((-1)/(-5) + -2)*(-150)/18. Solve -4*o - b = 1 for o.
-4
Suppose -4*f = 3*q, 5*q - 17 = 3*q + 3*f. Let s(a) = 2*a - 5. Let x be s(q). Solve 0 = j - x*j + 2 for j.
1
Let s(u) = -u + 1. Let l be s(4). Let g be 620/60 - (-1)/l. Solve -4*z + g = -2 for z.
3
Suppose -5*y - 3*z = -189, -5*z = 15*y - 16*y + 21. Solve 0 = -8*b - 4 - y for b.
-5
Suppose 100 = -14*j + 34*j. Solve 8*f - j*f = -6 for f.
-2
Let h(q) = -2*q**2 + 61*q + 39. Let f be h(31). Solve f*j + 4 = 9*j for j.
4
Let d(b) = -6*b**2 - b + 2*b**2 + 3*b**2 + 9. Let j be d(2). Solve -4 = s + j*s for s.
-1
Let o = 1341 - 1321. Solve 62 = -o*g + 22 for g.
-2
Let q be 38/6 - ((-49)/(-21) + -2). Solve 4*b + 2 = -q for b.
-2
Let u be 553/77 + 14/(-77). Solve u*r = r - 24 for r.
-4
Let n(m) = -25*m + 1 + 13*m + 11*m + 14. Let a be n(9). Suppose 4*f + 2*d = -2, 2*f - 18 = 3*f + 4*d. Solve a*y = f*y for y.
0
Suppose v - 32 - 7 = 0. Suppose -y + 0*y = -v. Let o be 17/3 - (-52)/y. Solve -5*q = o - 2 for q.
-1
Suppose 106*y + 140 = 120*y. Solve g = y*g - 18 for g.
2
Suppose 0*j = -5*j + 25. Suppose 0 = j*n - 15 + 5. Let z = 3 + n. Solve -6 = z*y - 2*y for y.
-2
Suppose -5*m + 168 = -19*m. Let t(d) = d**3 + 12*d**2 - d - 11. Let r be t(m). Solve -r - 5 = -2*j for j.
3
Let h(t) = t**2 - 26*t + 90. Let v be h(4). Solve 0 = v*g - 9*g for g.
0
Suppose 106 = -18*w + 44*w - 50. Suppose -5*z + 3 = -57. Solve -w*g = -2*g - z for g.
3
Let f be (11 - 15) + (-5)/(-1). Suppose 6 + 10 = -4*p. Let i = p + 6. Solve f - 9 = -i*w for w.
4
Suppose 0 = -3*y + 2 - 35. Let p = y + 8. Let a(z) = z**2 + 3*z + 5. Let f be a(p). Solve 2*n + 3*n = f for n.
1
Let t be 32/240 - 64/30. Let b be 1*(1 + t) - -6. Suppose 4*z - 11 = b. Solve z*g + 5 = -g for g.
-1
Suppose 12*m + 71 - 287 = 0. Solve 8*j = 2*j + m for j.
3
Suppose 0 = -5*c + 3*a + 64, 0 = c - a + 90 - 104. Solve 6*j - c*j + 5 = 0 for j.
1
Let l(u) = u**2 - 2*u - 3. Suppose -4*d - 6 = -f - f, -f + 5*d + 9 = 0. Let p be l(f). Suppose 2*j + p = 14. Solve j = o + 3 for o.
4
Let g = 4 - 2. Suppose -d + 4*n + 15 = 0, -d = -2*n + g - 9. Let a be d/(-5) - (-27)/15. Solve -h + 0 = -a for h.
2
Let c = -14 - -21. Let a be 7/(c/12) + -1. Let t = a + -1. Solve x + x = t for x.
5
Let w(f) = 49*f + 5. Let p be w(1). Let y = p - 49. Let u(q) = 2*q - 9. Let a be u(6). Solve 2 = -a*h + y for h.
1
Let i(z) = z**2 - 4*z - 9. Let k be i(6). Let c be k/(-12) + (-85)/(-20). Solve -2*p = 2*p + c for p.
-1
Suppose -4*o - 3*l = -2, o - 5*l - 4 = -4*l. Suppose -2*f = -y - 5 - o, -5*y + 1 = 2*f. Solve 7*p = f*p + 20 for p.
5
Let v = 680 - 675. Solve -v*y - 39 = -24 for y.
-3
Suppose 0 = -2*p + 4*p - 96. Let f = p + -29. Let u = f - 19. Solve 3*t - 4 - 2 = u for t.
2
Suppose 5*h - 10 - 10 = 0. Let g(v) = -25*v + 1. Let q(y) = -5*y. Let k(o) = -2*g(o) + 11*q(o). Let z be k(-2). Solve -h = -3*t + z for t.
4
Let c be (((-24)/(-20))/(-1))/(4/(-10)). Suppose 2*d + 3*t = 16, d - c*t + 0*t + 1 = 0. Solve -5*w - 20 - d = 0 for w.
-5
Let q(g) be the second derivative of g**5/20 - g**4/3 + 2*g**3/3 + g**2/2 + 14*g. Let o be q(3). Solve z - 1 = o for z.
5
Let l = 29 + -9. Suppose -5*s - 3 = -2*s, -3*s = -w + l. Suppose w*o = 18*o - 2. Solve -2*y = o*y + 4 for y.
-1
Suppose -2*y + 4*z = 8, 2*y - 5*z + 11 = -y. Let j = 9 + y. Solve 5*r - j = 3 for r.
2
Suppose x = 7 - 2. Let h = x - 1. Suppose 2*d + h*m = 12, -m + 1 = -4*d - 2. Solve n = -d*n + 2 for n.
2
Let t(i) = 3*i - 7. Let f be t(3). Suppose f = 6*q - 5*q. Solve -2*l - 4 = -q for l.
-1
Suppose 328 = -7*d + 349. Solve -d - 13 = 8*p for p.
-2
Let p = 34 + -75. Let m = 45 + p. Solve 0*r + m*r = 8 for r.
2
Let b(o) = -2*o**3 - 16*o**2 + 14*o - 28. Let v be b(-9). Solve -53 = -v*w - 29 for w.
3
Let v(x) = -x - 10. Let c be v(-12). Let w be ((-6)/9)/(12/234). Let f = -10 - w. Solve -b - c*b - f = 0 for b.
-1
Suppose -5*k = -4*h + 9*h, -8 = k + 5*h. Suppose -99 + 13 = -4*t - k*o, -5*t = -2*o - 94. Solve 5*f - 5 = -t for f.
-3
Let c = -19 + 21. Suppose c*m + m = 45. Suppose 6*b = b + m. Solve 0*d = 3*d + b for d.
-1
Let o = -37 - -37. Suppose 0 = -o*q + 3*q. Solve 0 = -q*b - b - 5 for b.
-5
Let t be ((-12)/10*1)/(14/(-70)). Solve 5 - t = f for f.
-1
Let g = 489 - 458. Solve g = -12*t - 5 for t.
-3
Let p = -582 - -609. Solve -p*v + 29*v = 4 for v.
2
Suppose -3*x + 18 = 4*c, 15 + 9 = 4*x - 3*c. Let j be 16*(-2 - x/(-4)). Let f be (j/12)/(2/(-6)). Solve f*d = 4*d for d.
0
Suppose 4*n = -10*t + 5*t + 25, -2*t + 2*n - 8 = 0. Let j(w) = -5*w**2 - 38*w - 17. Let d be j(-7). Solve -17 = -d*s - t for s.
4
Let y(q) = 85*q - 593. Let h be y(7). Solve 4*v - h = 18 for v.
5
Let z = -30 + 49. Let d be 8/(52/8 - 7). Let i = d + z. Solve -w = -i*w - 4 for w.
-2
Suppose 0 = -20*m + 19*m - 3*y - 2, 3*m + 2*y - 29 = 0. Solve -f + m = 9 for f.
4
Let x = 396 + -388. Solve -38 - 2 = -x*b for b.
5
Let a(q) = 5 + 3*q - 4*q + 0*q. Let j be a(-6). Suppose -4*i = -16, t - 7*i = -4*i - j. Solve 3*v + t + 2 = 0 for v.
-1
Let d be 24/60 - (-13)/5. Solve -d*v = 6*v - 36 for v.
4
Suppose -5*a = -y - 22, -5*a = -y - 2*y - 16. Suppose 5*z = 5*k - 25, 0*k + y*k + 5*z - 39 = 0. Suppose -2*h = -k - 2. Solve -h*l = -2 + 7 for l.
-1
Let p be (0 + 12/(-8))*2*-1. Suppose 16 = 5*b - p*i - 9, 3*b + i - 1 = 0. Solve y + 6 = b for y.
-4
Let s = -44 - -45. Let o be (-4 - -10)*s - 4/2. Suppose 93 = 4*g - c, -3*g = -4*c + 2*c - 66. Solve -o*n = g - 4 for n.
-5
Let p(n) = -2*n - 4. Let c(w) = w + 5. Let j(o) = 3*c(o) + 2*p(o). Let s be j(7). Solve s = -5*q - 2 - 23 for q.
-5
Let a(u) = 4*u**2 - 10*u - 1. Let h be a(-1). Solve -h*k = -16*k - 15 for k.
-5
Let u(j) = -j**2 - 20*j + 2. Let t be u(-20). Solve -6 = -t*a - 2 for a.
2
Let c(r) = -r**2 - 13*r - 16. Let t be 