 for a.
1
Let w be (-3)/15 + (-168)/(-15). Let g = w - -5. Solve -2*s + g = -6*s for s.
-4
Let m = -2 + 2. Suppose 3*v + 15 = -2*t, -2*t + 2*v = -2*v + 22. Let f be t/(-6) - 2/(-4). Solve f = x - m for x.
2
Let b = -108 - -115. Solve b*u = 2*u + 15 for u.
3
Let j = -11 + 15. Suppose y - j = -3*y. Solve 0 - y = -l for l.
1
Let j(i) = -i**3 + 4*i**2 + 4*i + 1. Let a be j(5). Let z be a/(-22) - 210/(-55). Solve 0 = x - 0 - z for x.
4
Let m = 27 + -21. Solve -m = -2*b - b for b.
2
Let r(g) = -g**3 - 3*g**2 + 4*g - 5. Suppose -2*f = f - 15. Suppose 0*w = -w - f. Let v be r(w). Solve -5*p + 0*p - v = 0 for p.
-5
Let k(l) = -l + 4. Let t be k(3). Let s be 2/4 - t/2. Solve g = -s*g - 3 for g.
-3
Let w(m) = m**2 + 9*m + 1. Let b be w(-8). Let i = 10 + b. Solve 0 = i*f - f - 2 for f.
1
Let u(w) = 5*w + 2. Let q be u(1). Solve 2*l - 1 = q for l.
4
Suppose 2*k + 2*k = 16. Solve 20 = k*u + u for u.
4
Let b = -8 + 15. Let t = b + -3. Solve -t*q - 9 = -q for q.
-3
Let p(q) = -q. Suppose -5 = -5*c - 25. Let f be p(c). Solve f*b - 3*b = 0 for b.
0
Let b be 1/3 - 16/(-6). Let y be ((-2)/(-2))/(1/b). Solve 0*a + 6 = y*a for a.
2
Suppose -2*d = -3*d + 16. Let q be (18/(-8) + 3)/(1/4). Solve -d = -q*l - 1 for l.
5
Let o = -9 + 11. Solve w - o = -1 for w.
1
Suppose 0 = -3*j - 5*b + 15, j - 5*b + 15 = -4*j. Let i be -2 + (13 - (-2)/(-2)). Let v = i + -7. Solve j = 3*o + v for o.
-1
Let a(d) = d**3 + 2*d**2 - 4*d - 3. Let n be a(-3). Solve n - 3 = g for g.
-3
Let z = 1 + -1. Suppose 5*r - 7 - 3 = z. Solve 0*j = -r*j - 10 for j.
-5
Let z(i) = i - 2. Suppose 0 = 2*j - 10, 8*n - 3*n = -3*j + 45. Let m be z(n). Suppose 7*w - m*w - 21 = 0. Solve -3*c = -w*c - 4 for c.
-1
Let l(t) be the second derivative of 5*t**3/2 - 3*t**2/2 - 2*t. Let o be l(3). Suppose 4*m = i + o, m + 3*i = 3*m - 26. Solve -4*u - m = u for u.
-2
Suppose -3*n = 24 - 0. Let z = -5 - n. Suppose 2 = z*b - 7. Solve b*h + 4 = 2*h for h.
-4
Suppose c = 3*c, 5*f - 95 = c. Let w = f + -15. Solve -l + w*l = 0 for l.
0
Let c be 4/7 - ((-8)/(-14) - 2). Solve 2*w + c*w = 12 for w.
3
Let c = 26 + -25. Solve 2*j = -c + 5 for j.
2
Suppose -5*t = -5*q + 6*q - 55, 4*t - 3*q = 25. Suppose 5*k - 40 = -5*f, -k - 2*k = -9. Solve -f*x + t = -0*x for x.
2
Let s be 1/5 + 24/5. Solve 2*l = s + 3 for l.
4
Suppose 2 = -a + k, 2*a + k - 2 = -3*a. Solve a = 4*s - 14 - 2 for s.
4
Let w be ((-2)/(-4))/(2/(-16)). Let i be (2 + 1)/(3/(-4)). Let b = w - i. Solve b = n + n + 4 for n.
-2
Let l be 5/(-20) + (-2)/(-8). Suppose l = 2*v + v - 6. Let g = 20 + -12. Solve 2*b + v*b = g for b.
2
Let j(z) = -z**2 - 6*z. Let a be j(-6). Suppose a = -q - 2*q + 24. Let u be (-12)/(-30) - q/(-5). Solve -5*d + 22 - u = 0 for d.
4
Let u = -4 - -1. Let h(r) = -5*r + 3. Let n be h(u). Suppose 8 = j + 2*k, n = j + j + 2*k. Solve 2*x + 3*x + j = 0 for x.
-2
Let d be (9 + (-4 - -3))/(-2). Let u be (-9)/((-2)/2)*-1. Let m = d - u. Solve m*z = -0*z for z.
0
Let v(r) = -r**3 + 5*r**2 + 8*r - 9. Let p be v(6). Solve -p*w = -0 + 12 for w.
-4
Let f = 17 - 9. Let n be -3*(-2 + f/6). Solve -h - n = -3 for h.
1
Let d = 44 + -24. Let z(s) = 2*s**2 + 18*s - 11. Let h be z(-10). Suppose 0 = h*a - 3*a - 36. Solve y - d = a*y for y.
-4
Suppose -5*h + 2*j + 25 = 0, 0 = -0*h + h + 2*j - 5. Solve 0 = 3*m - h*m for m.
0
Let z be 2/(-8) - 18/(-8). Let o(k) = -2*k - 2. Let v be o(-2). Suppose 0*r = -3*r. Solve -z*n = -r*n - v for n.
1
Suppose -30 = 9*i - 24*i. Solve i + 18 = -5*t for t.
-4
Let u be -6*((-320)/(-12) + -2). Let m be u/(-8) + (-3)/6. Solve -4*d = m + 2 for d.
-5
Suppose 0 = 7*u - 2*u. Let p be ((-2 - 1) + 4)*u. Solve p = 2*v - 1 + 5 for v.
-2
Let h = 0 - 2. Let z be h/(-8) - (-39)/4. Let g be (12/z)/((-8)/(-20)). Solve 2*f = -g - 5 for f.
-4
Suppose 0 = 4*s - 3*s - 41. Let i = s + -12. Solve -5*y = -4 + i for y.
-5
Let w be (3 + -4 + -9)*2. Let i = -10 - w. Solve -2*o + i = -0*o for o.
5
Let v be 0 + (3/(-4) - (-88)/32). Solve -6 = -v*y - y for y.
2
Suppose 4*j = 5*s, 0 = -2*s + 2*j + j - 7. Solve 0 = -q - s*q + 20 for q.
4
Suppose -5 - 18 = -4*s - h, -2*s = -3*h - 1. Solve 8*p - 3*p - s = 0 for p.
1
Let c(v) = -v**2 - 6*v - 2. Let d be c(-6). Let t be (d + -4)*(-20)/6. Solve -s + t = -5*s for s.
-5
Let t(i) be the third derivative of -i**6/120 + i**5/15 + i**4/24 - i**3/3 + 3*i**2. Let f be t(4). Solve 0 = f*n - n + 3 for n.
-3
Suppose 0 = -a + 6*a - 15. Solve 4*j + a = 7 for j.
1
Let u = 10 - 6. Let j be (0*(-1)/4)/u. Solve -8 = 4*n - j for n.
-2
Suppose h + 4*s + 10 = -7, 5*h - 5*s = 40. Suppose -5*q + 0*q - 5 = 0. Let n be q/h*(-8 - 1). Solve -c + n*c = -10 for c.
-5
Let y = -33 - -38. Solve 0 = y*o - o for o.
0
Let n = 6 - 3. Suppose 0*t = -n*t. Suppose -4*l = -3*z - 36, 2*l - 2*z + 7*z + 8 = t. Solve 4*q + l = -6 for q.
-3
Let v be (2 - 0)*(-20)/(-8). Suppose -7 = -2*x + z, -3*z - 5 = -v*x + 2*z. Suppose -2*b = 2*m + 2, -4*b - 19 = m - x. Solve -m*r - 2*r = -15 for r.
3
Let w be 91/13 + 0/1. Suppose 11 = 3*b + 2. Suppose 3*l - 60 = o, -5*o + 80 = l + 4*l. Solve b*k = -w + l for k.
4
Let a = 24 - 19. Suppose 0*o - o = 0. Let x = 3 + o. Solve x*r - a = -2*r for r.
1
Let x be 2/(-7) - 37/(-7). Let g = 4 - 3. Suppose 3*s = 2*n + 42 - 1, 28 = 4*s + 4*n. Solve -g + s = x*d for d.
2
Suppose 3*h + 2*o = 13, 2*o = 3*h + 3*o - 8. Solve -3*q + 13 = h for q.
4
Let p be 8/36 - 2/9. Suppose 4*b + 5*i = 34 + 7, -4*i - 5 = -b. Suppose 0*v + 3*c = v - 9, 3*v + b = -3*c. Solve p = -v*s - s + 1 for s.
1
Let q = 8 + -3. Suppose -20 = -y + q. Suppose 8*m = 3*m + y. Solve -5 = m*o - 0 for o.
-1
Suppose 0*q - 3*q = -87. Suppose 2*v - 11 = q. Let n be (2/4)/(5/v). Solve 1 + 1 = n*f for f.
1
Suppose -2*w + 16 = 2*w, 0 = 3*i + 2*w - 23. Solve -i*s = -3*s - 4 for s.
2
Let o(m) = m**2 + 12*m + 6. Let u be o(-12). Solve u = z - 4*z for z.
-2
Suppose 2*z - t = 3*t + 22, 5*z + t = 11. Solve z*g = -g + 4 for g.
1
Let l be (-3)/((-3 + 2)*-1). Let z = l - -5. Solve -z*b = b for b.
0
Let k = 17 - 13. Let p be (-2)/k + 22/4. Solve 2*l + p = l for l.
-5
Let w = 4 + 0. Let j(p) = -p + 9. Let b be j(w). Solve b*f + 4 = 14 for f.
2
Suppose -26 - 24 = -2*r. Suppose -r = -4*f - f. Solve -2*k - 3*k - f = 0 for k.
-1
Let q = 21 - 18. Suppose 0*h - q*h + 18 = 0. Solve 0 = -h*s + 2*s for s.
0
Let h(f) = f**2 + 9*f + 8. Let p be h(-7). Let d(b) = b**3 + 6*b**2 - b - 2. Let z be d(p). Suppose -5*n = -2*n. Solve -z*a = -n*a - 8 for a.
2
Suppose r = 4 - 3. Suppose -a + 7 = 2*s + r, -2*s - 2 = -a. Solve q = -3*q + a for q.
1
Let g = -10 - -10. Suppose -4*z + 16 = -g. Solve -2*d + z = 2 for d.
1
Suppose -8 = -3*v - 2. Suppose 0 = p - v, 3*t + p - 2 = 3*p. Let f(a) = a**2 + 2*a + 3. Let g be f(-3). Solve -t = x - g for x.
4
Suppose 0 = -5*d - 5*t + 20, -4*d + 0*t = t - 13. Solve 0*h - 12 = -d*h for h.
4
Suppose 0 = -0*c - 2*c + 2. Solve z + c = 3 for z.
2
Let f = -17 + 21. Let z be 3/f - 26/(-8). Solve z - 1 = 3*r for r.
1
Let o = -14 - -14. Solve o = -3*j + 2*j for j.
0
Let o(y) = -2*y - 17. Let w(r) = r**2 + 7*r + 1. Let j be w(-5). Let u be o(j). Solve 9 + u = 2*p for p.
5
Suppose -m + 5*v + 18 = 0, 0 = 4*m + 4*v + v + 3. Let o(p) = -p**3 + 3*p**2 + 3. Let t be o(m). Let h = -11 - -31. Solve -j - h = t*j for j.
-5
Let k(u) = -3*u**2 - u + 2. Let r be k(-2). Let h = 11 + r. Suppose 2*w + h*w = 0. Solve -2*c + 4 + 0 = w for c.
2
Let w be 2/(-10) - 11/(-5). Let i(o) = -o - 4. Let l be i(-7). Let x = -3 + l. Solve -r - r + w = x for r.
1
Let f = 35 - 35. Solve h = -f*h for h.
0
Let m = 11 - 19. Let n = m + 22. Solve n + 2 = 4*c for c.
4
Let l = 5 + -16. Let u(k) = -k**3 - 12*k**2 - 12*k - 7. Let a be u(l). Solve a = -z + 2 for z.
-2
Suppose 4*a = -2*z - 28, 0 = 4*a - 5*z + 54 - 12. Let x be a/(-28) + 38/14. Suppose 3*s = 5*s - 2. Solve j = s - x for j.
-2
Suppose i - 4*i + 44 = 5*h, i = -2*h + 17. Solve -2*o + 15 = -h*o for o.
-3
Let z(i) = -2*i - 4. Suppose 3*k = -0 - 15. Let h be z(k). Let g be 2/(-8) + 303/12. Solve -g = -p + h*p for p.
-5
Let t(a) = -a**2 + 8*a - 10. Let q be (5/3)/(60/216). Let k be t(q). Solve -8 = -k*n - 0 for n.
4
Suppose 6 = -z + 10. Solve z*w = -w for w.
0
Suppose 7*b = 6*b. Solve b = -2*x + x for x.
0
Let s(g) = -13*g**3 + g. Let y be s(-1). Suppose -4*u - 14 + 2 = 0. Let a be (-1)/(-4) + u/12. Solve a*t + y = -4*t for t.
-3
Suppose -i + 5*w + 11 = -19, i = -w + 24. Suppose 2*