15/20. Solve 6 = 5*a + t for a.
1
Suppose 4*b - 14 = 2*d, 4*d + 0*b - b = 7. Solve d*t - 8 = 7*t for t.
-2
Let g be (0 - -6)*16/(-24). Let s = 9 + g. Let i = s - 3. Solve 7*h - i*h = 15 for h.
3
Let m(v) = v**2 + 13*v + 43. Let c be m(-8). Solve 0 = 5*l - c + 13 for l.
-2
Let r(a) = -a**2 + 14*a - 13. Let j be r(13). Solve -x + j = 2 for x.
-2
Let v = 107 + -97. Let y(i) = -i**2 + 4*i - 3. Let k be y(2). Let d be ((-8)/(-6))/(k/3). Solve v = -d*b - 2 for b.
-3
Let w(y) = y**3 + 6*y**2 + 4*y - 5. Let d be w(-5). Suppose -2*p = 5*i, -5*i + d*p + 2*p = 0. Solve 2*h + 2 - 10 = i for h.
4
Let j = 10 - 7. Let x = 3 + 1. Let d be (-57)/(-21) + x/14. Solve 3 + j = d*s for s.
2
Let y be 2/8 + 1089/(-36). Let n = y + 50. Solve -5*v = -0*v + n for v.
-4
Let w = -15 + 23. Let v be w/6 - 8/(-12). Suppose v*x - 1 - 23 = -4*d, -d + 2*x = -16. Solve d*f - 4*f = 16 for f.
4
Let b = 48 - 48. Solve 4*c = -b*c for c.
0
Let l(b) = -2*b - 3. Let x = -9 + 6. Let j be -1*3 + (x - -3). Let i be l(j). Solve -5*q + i + 2 = 0 for q.
1
Suppose z - 30 = -2*z. Solve -3*v - 5 - z = 0 for v.
-5
Let k = -24 + -48. Let f be (-20)/(-9) + 16/k. Solve -3*b = f - 14 for b.
4
Let q(b) = b**3 + 6*b**2 - 7*b + 4. Let p be q(-7). Solve p*o = 5*o + 2 for o.
-2
Suppose -2*j + 7*j - 15 = 0. Suppose -11 = -4*y - 4*m - 3, y - 2 = 4*m. Solve l - y = j for l.
5
Suppose -3*v = -5*j, -5*j + 4*v + 1 - 6 = 0. Suppose j*s = s. Let y be (-4)/(-6) - 14/(-6). Solve s = y*r + 2*r for r.
0
Let z(b) = b**2 - 9*b - 18. Let s be z(11). Solve 3 = c + s for c.
-1
Let v(n) be the third derivative of 4/3*n**3 + 3/8*n**4 + 0*n + 0 + 1/60*n**5 - 2*n**2. Let l be v(-9). Solve 0*r - l = 2*r for r.
-4
Let u(z) = -z**2 - z + 2. Let x be u(-2). Let y(r) = r**3 - r**2 + 5. Let d be y(x). Suppose -18 = -d*g + 12. Solve -2*k - g = -0*k for k.
-3
Let o = -6 + 9. Let v = o + 10. Solve 0 = -4*t + v + 3 for t.
4
Let m(g) be the second derivative of -g**4/12 - g**3 + 3*g. Let c be m(-6). Solve c = -5*a - 8 - 12 for a.
-4
Suppose 17 = 5*z + 7. Solve -z*j + 8 = 4 for j.
2
Let x(u) = u + 2. Let b be x(-6). Suppose p = -4*p + 40. Let a = b + p. Solve a*g - 19 + 3 = 0 for g.
4
Suppose 0 = t + 2*o - 12, -2*t + 7*t - 5*o = 120. Solve 2*g + t = -2*g for g.
-5
Suppose 3*c = 4*w - 3 + 6, -c - 2*w + 11 = 0. Suppose 4*p = 5*a + 68, -c*p + 10 = -0. Let z be (18/a)/((-6)/64). Solve 0 = r - 5*r + z for r.
4
Let f be 11/(-2)*(-1 + 3). Let b = -9 - f. Suppose -7*x = -2*x - 15. Solve 3 = b*d - x*d for d.
-3
Suppose 3*q = 4*f - 31 - 45, -2*f - 5*q = -12. Let d be (6/(-4))/((-12)/f). Solve -3*h + d + 1 = 0 for h.
1
Let p(z) = -z**2 - 10*z + 13. Let n be p(-12). Let o = 21 + n. Solve 0 = 4*r - 10 - o for r.
5
Let p(a) = 1 + 4*a + 1 - 5*a - 1. Let b be p(0). Solve k + 2 + b = 0 for k.
-3
Suppose h = 3 - 2. Suppose 3*s - 2*s + 4*z = -16, 0 = 2*s - 3*z - 1. Let d = 7 + s. Solve 2*r + h = d*r for r.
1
Let j = -19 - -27. Let d = -8 + j. Suppose 5*x - 5 - 5 = d. Solve 0 = -5*l + 13 + x for l.
3
Let x = -4 - -16. Suppose -n - n - 24 = -4*j, 4*j + 4*n - x = 0. Solve -5*q + 0 - j = 0 for q.
-1
Let c = 4 + 6. Let m be (8/(-10))/((-2)/c). Solve m = -5*u + 14 for u.
2
Let b = -2 - -5. Suppose 5*k + 5 = 3*a, a + 3*k + b = -0*k. Solve m + 3 + 1 = a for m.
-4
Suppose 2*k - 6*k - 32 = 0. Let f be 2 + 2 - (-8 - k). Solve 0 = f*i - 2 + 18 for i.
-4
Suppose -2 - 6 = -2*v. Suppose 2*u - 48 = -v*k, 2*u - 110 = 4*k - 46. Suppose 4*n + 0*n = u. Solve 3*f + n = 1 for f.
-2
Let m = -3 + 3. Let a = 11 - 9. Suppose a*v + 15 = -5*u, v + 4*u = -2 - 13. Solve -v*n - 8 + 3 = m for n.
-1
Let g = 50 - 46. Solve 6*k = g*k - 2 for k.
-1
Let t = -21 - -70. Let g = 69 - t. Solve 7*i - 2*i + g = 0 for i.
-4
Let x(l) = -l**3 + 11*l**2 - 10*l. Suppose 2*r = 6*r - 40. Let k be x(r). Solve f + 3 - 4 = k for f.
1
Let d be 14/(1/(-3)*(-27)/18). Solve -5*w = -d + 8 for w.
4
Suppose 0 = 5*s - 20, u = -3*s - 7 + 19. Solve t + u = -3 for t.
-3
Let u(d) = -d**2 - 4*d + 1. Let o = -6 - -9. Suppose 3*i + 9 = -4*s, 2*s = -3*i - o*s - 9. Let b be u(i). Solve a - 15 = -b*a for a.
3
Suppose g - m = -1, 5*g + 0*g + 5*m = 15. Let t be (2 + g)/((-1)/(-5)). Let d be 1*5 + (-1)/(-1). Solve d*l - t = l for l.
3
Suppose -s + 4*d = 7 + 5, 15 = 2*s + 5*d. Let g = 1 - s. Let f(i) = -i**2 - i + 4. Let r be f(0). Solve 0 = 3*u - r + g for u.
1
Suppose 2*f = -2*f + 28. Suppose 10 = 5*n, 3 + 8 = 3*x + n. Solve -x*z = -1 + f for z.
-2
Let k(z) = z - 12. Let v be k(14). Let t = -12 - -22. Solve v*r - t = -0*r for r.
5
Suppose l + 2*a - 11 = -2*l, -4*a - 8 = 0. Suppose -3*i = -l*i - 2*k + 8, 5*i + 3*k - 12 = 0. Solve i*x = -5*x - 20 for x.
-4
Let k be (-18)/(-24)*4 + 1 + -1. Solve 0*s - k = -s for s.
3
Suppose 3*z = 4*k + 8*z - 12, 0 = -k - 2*z. Solve -c + 3*c = k for c.
4
Let g(a) = -7*a**2 - 16*a - 5. Let d(q) = 10*q**2 + 24*q + 7. Let x(s) = 5*d(s) + 7*g(s). Let t be x(-8). Solve 1 = m - t for m.
1
Let z(h) = -h**2 + 10*h + 26. Let m be z(12). Solve m*c = 3 + 1 for c.
2
Suppose -5*s = -s - 8. Suppose -s*l = -4*l + 6. Solve 5*f + 6 = l*f for f.
-3
Suppose 2*k = -5*o + 13, 0*k - 3*k + 9 = 4*o. Solve -u - o*u = -12 for u.
3
Let g be (-1 + 1)/(4 + -2). Let n = 10 + g. Solve -2 + n = 2*m for m.
4
Suppose 20 = 3*q - 5*w - 11, -4*q + 33 = -5*w. Let r be (-1)/(q*1/(-8)). Solve 0*y = -r*y for y.
0
Suppose -2*u + 1 = -5. Suppose 2 = u*d - 13. Let h be -2 + 0 + d*2. Solve -f - f = h for f.
-4
Let u(z) = z**2 + 3*z - 2. Let r be u(-4). Let a = 0 + r. Solve 0 = a*j + 2*j + 8 for j.
-2
Let m be ((-3)/9)/((-2)/12). Suppose -2*f + 5*f = 30. Let b(g) = -3*g**3 + g. Let d be b(-1). Solve -d*u - m = -f for u.
4
Let h(v) = -v**2 - 20*v - 64. Let s be h(-4). Suppose -19 = -3*x - 2*m, 5*m = -x + 25 + 3. Solve s = -x*f + f + 6 for f.
3
Suppose -9*h = -88 - 20. Solve -4*b + 0*b + h = 0 for b.
3
Let m be 1*(-2 + 1 + 2). Suppose -v = m, 4*v - 2 = -4*f + 2. Solve 0*g - f = -2*g for g.
1
Suppose 0 = i + i - 14. Suppose 21 = h - 4*v, 3*h + i = -0*v - 2*v. Solve -m = h + 1 for m.
-2
Let n(p) = 3*p**2 + 10*p + 3. Let i be n(-7). Suppose 5*z = -0*z + i. Suppose 9 = 2*f + 3*k, -5*f + 2 = 3*k - z. Solve a = f*a for a.
0
Suppose 2*u = -3*f + 4, -5 = 4*u + 3*f - 13. Let g(i) = -i**2 - 6*i - 4. Let k be g(-4). Solve -2*j = u*j - k for j.
1
Suppose -22 = -3*a - 4*x, -x = -3*a + 4*a - 6. Solve -a*r + 6 - 2 = 0 for r.
2
Let n be (0 - 3 - -3)/(-2). Let u be n/1*(-8)/16. Solve u = 3*k - 3 for k.
1
Suppose 15 = -2*p - 3*a, 2*p - 5*p + a + 5 = 0. Solve p*b + 2*b = 0 for b.
0
Let k(a) = 2*a - 6. Let m be k(4). Let o = -6 + 11. Suppose 0 = 2*i - o*g - 32, -5*i + 58 = -3*g + 16. Solve -12 = i*j - m*j for j.
-3
Suppose 2 = -3*o - 3*u + 32, u + 26 = 2*o. Let y = -10 - -17. Let v = o - y. Solve 0 + 25 = v*n for n.
5
Suppose 2*i + 1 = 4*p + 17, 3*i - 3*p - 12 = 0. Suppose i*q = 4*q - 24. Let y(g) = g**3 - 9*g**2 - 11*g + 14. Let m be y(10). Solve -q = m*s + 6 for s.
-3
Let l(r) = r**2 - 9*r - 8. Let k be l(10). Suppose d - 21 = -2*c, -k*c + 3*c + 4*d = 0. Solve -3*g = -6*g - c for g.
-4
Let x = 1 + 1. Let y(o) = 3*o**2 - 2*o - 2 - 4*o**3 - 4*o**2 + 3*o**3 - 2*o**x. Let a be y(-3). Solve 3*s - a + 1 = 0 for s.
1
Let u be 0/((-2)/2 - 1). Solve 4*f + 0*f + 8 = u for f.
-2
Suppose 5*o = 4*m + 7, -4*o + 3*m + 4 = -m. Let j be o - (-2 + 1 + 1). Solve 4 = -j*q + 1 for q.
-1
Let o(y) = 4*y - 16. Let r(b) = b**3 - 7*b**2 - 6*b - 11. Let v be r(8). Let s be o(v). Solve -2*a + s*a = -8 for a.
-4
Suppose 4*h = 5*a + 41, -2*h - 2*a + 2 = h. Suppose o - 14 = 4*v, 8*v - 3*v = -3*o + 93. Suppose -h*t + o = -14. Solve -c + t = c for c.
5
Let p be 2/4 - (-12)/8. Suppose 6*i + w - 58 = p*i, 3*w + 36 = 2*i. Solve 4*z = -z - i for z.
-3
Suppose 0 = y - h + 1, 2*h - 2 = -0*y - 2*y. Let d be y/(-1 + (5 - 2)). Solve d = 4*x - 2*x + 2 for x.
-1
Let q be 6 - -1*(3 - 1). Suppose w + q = 2*w. Solve -3*i = i + w for i.
-2
Let h(y) = -y + 2. Let o be h(-2). Suppose 2*t = -2*a + 2, a = 2*t - 6*t + 19. Solve -o*l = -2 - t for l.
2
Let w be -16 - ((-2 - 0) + 2). Let q = -11 - w. Suppose -7 = -p - q*t, 3*t - 2 = -3*p + 7*t. Solve p*v = 6 + 2 for v.
4
Let x be 10/(-6)*15/(-10)*2. Solve -x*d - 7 = 3 for d.
-2
Let i be 0/(-2) - 0/1. Suppose i = -0*d + 2*d - 10. Suppose -d*n = -20 - 5. Solve 0*r + n*r = 0 for r.
0
Let y(o) = 22*o + 4. Let v be y(3). Suppose 4*d - 56 = 3*b, -6*d + 2*b + v = -d. 