for a.
5
Let c be (-9)/(-6)*(-8)/(-3). Let a be (-18)/c*(0 - 2). Let w(y) = -2*y - 5. Let j be w(-4). Solve -3*r + a = -2*z + 3, 6 = z + j*r for z.
0
Let i = -3 + -5. Let j = i + 10. Solve -j*f = 2*p + 2*f - 14, 13 = -5*p + 2*f for p.
-1
Let z = -10 - -11. Let s = z - -8. Solve 2*q + a = -4, s = q - 3*a - 2*a for q.
-1
Let u be (-24)/(-40) + (-1)/5*-32. Solve -u*n + 3*y + 35 = -2*n, 4*y = -n - 16 for n.
4
Suppose -2*x + 3 = a - 3, a + 4 = 0. Solve 5*i = x*q + 27 - 7, -8 = -3*i - q for i.
3
Suppose -l + 6 = 2*l. Suppose -2*p - 2*p + 364 = 3*y, l*p - 4*y = 160. Suppose 0 = -4*v + p - 28. Solve -26 = -5*q + 2*g, -4*q + 7 = -2*g - v for q.
4
Suppose 0 = 2*k - 12 + 2. Suppose -k*d = -3*u - 35 + 103, 3*u - 4*d - 67 = 0. Solve 2*p + 4 = 0, 3 = 2*l + 5*p + u for l.
-4
Let j be 5*(624/(-15))/(-4). Suppose j = 4*l - 28. Solve 0*k + 4*k + 3*t = 19, -4*t + l = 0 for k.
1
Suppose 35 = -0*s + 2*s - 5*r, 4*r = -4*s. Solve 2 = 2*z - 2*f + 6, z - s*f = -22 for z.
3
Let b(l) = l + 5. Let h be b(0). Suppose g - 4 = -g, g - h = -a. Suppose -v + 3*x - 12 = 4*v, -3*x = -a*v - 12. Solve 0 = c - 3*c + 6, v = 5*n + 4*c - 32 for n.
4
Suppose -5*s + 13 = -2. Suppose 3*m - 116 = -m + 3*f, 0 = s*m - 5*f - 87. Solve 5*d = 4*g - m, 7 - 16 = 2*d + g for d.
-5
Let h be 39/52*16/3. Solve 4*g = 8, 0 = h*i - 5*g - 2 for i.
3
Let b(n) = -11*n - 7. Let l(j) = 10*j + 6. Let f(r) = -5*b(r) - 6*l(r). Let c be f(-1). Solve h = -2*h + c*z - 23, 3*h + 19 = 2*z for h.
-5
Let a = -47 - -51. Solve 3*z + 28 = 4*b, 0*z - 3*z - a = 2*b for b.
4
Suppose 4*c - 64 = -12*c. Solve 2*h = -2*u - 6, 3*h + c = -2*u - 2 for h.
0
Suppose -16 = -3*f - 7. Suppose -i + 2*v = f*i - 10, 40 = 5*i + 3*v. Let r be (-4)/10 + 87/5. Solve r = i*m + 3*j, -3*j + 11 = -m - 0*j for m.
1
Let v be (2 - 0) + -2 - -3. Suppose 9 - 3 = v*u. Suppose -5*j + 4*t = -33 + 9, 4*j + t - 15 = 0. Solve j*r = 2*r + 2, u = -4*b + 2*r for b.
0
Let r be (-1 - -2)*(-8)/4. Let h be -1 + 7 + r + -1. Suppose 0 = -4*s - 3*z - 7, 8*s = h*s - 2*z. Solve -y - 6*p + 13 = -s*p, -3*p = -4*y - 24 for y.
-3
Let q be ((-3)/(-9)*3)/(-1). Let o = 0 + -1. Let z = q - o. Solve z = 5*v, a + 1 = -0*a + 4*v for a.
-1
Let u(b) = 2*b**3 - 10*b**2 + 3*b - 12. Let y be u(5). Solve -j + 16 = 4*c, -3*c + 22 = y*j + 1 for c.
3
Suppose -3 = -g - 0*g. Solve -2*x = 2*k - 4*k - 16, g*x + 6 = -3*k for x.
3
Let p = -10 + 12. Solve -18 = 4*z - 2*z - 4*y, p*z - y + 9 = 0 for z.
-3
Let v be 9/12 - 434/(-8). Suppose -5*m + v = -70. Solve 3*o = -b + 2*b + 1, -5*o = 3*b - m for o.
2
Let m(i) = i**2 - 12*i + 13. Let c be m(11). Suppose k = 1 + c. Solve 0 = -5*w + 20, -k*u + 0*u - w = 8 for u.
-4
Let x = -62 + 62. Let b(c) = -c**3 - 3*c**2 - c + 1. Let y be b(-3). Solve y*t - 2*l + 22 = -x*l, -2*t - 2*l = 2 for t.
-4
Let o(z) = -z**2 + 5*z - 4. Let r be o(4). Solve -b = -l + 6, 0*l - l + 5*b + 10 = r for l.
5
Let l be (6 + -15 - -6) + 2*16. Solve -5*g - 3*u = -0*g + l, g + 7 = -u for g.
-4
Suppose -5*y + 3*h + 30 = 0, -3*y + 47 = 2*h + 2*h. Suppose -w + 4 = -y. Solve w = -2*k + 3*f, -4*k - 5*f = -1 - 6 for k.
-2
Let m = -31 + 51. Solve 0*x + x + 3*o = 10, -5*x - 5*o + m = 0 for x.
1
Let n(w) = -3*w**3 + w**2 + 2*w + 1. Let k be n(-1). Let v be (-1)/3 - 11/3. Let a be v/(2*(-1)/2). Solve -l + 4*r + 25 = a*l, k*l + 2 = -r for l.
1
Suppose -4*z + 0*z = 0. Solve -b - 4*f = 1, -2*b - f + z*f - 9 = 0 for b.
-5
Let y(w) = -w + 6. Let n be y(-8). Suppose 4*j = 2 + n. Solve 5 = -5*m - p, -j*m - 4 = -p - 3*p for m.
-1
Let g(m) be the second derivative of m**3/6 - m**2 - 6*m. Let k be ((-3)/2)/((-3)/14). Let l be g(k). Solve -5*t + 2*u - l = 0, -2*u + 1 + 1 = -4*t for t.
-3
Let h = 40 - 35. Solve 3*r = 2*p - h, r + p = -r - 15 for r.
-5
Let f = -29 - -4. Let z = f + 52. Suppose 23 = 5*l - z. Solve -g = 4*c - 4, -2*c - l - 6 = -4*g for c.
0
Let m = -74 - -76. Solve -m*i + 4*f = 2*i + 12, -3*i - f - 5 = 0 for i.
-2
Let o be (-18)/(-12)*16/6. Suppose o*p - 24 = 2*p. Solve 4*f - 24 = 2*z - 8, 0 = -4*z + 3*f - p for z.
0
Suppose 7*n = 2*n. Suppose n = -5*m + 2*m + 6. Let i be (0/m - 0)/(-2). Solve -4*h - o - 10 = i, -2*h + 0*h = -2*o for h.
-2
Let l = -13 - -21. Solve b + 2*q = -5 - l, b - 5*q - 15 = 0 for b.
-5
Let k = -11 - -9. Let z be (k/5)/(5/(-25)). Suppose -j - 3*j = 8, -4*n + z*j = -20. Solve -v + 2 + 2 = 0, n*p + 3*v - 12 = 0 for p.
0
Let p be 205/4 + 3/4. Let h = -35 + p. Solve -h - 8 = -5*k + 5*g, 0 = 2*k - 3*g - 10 for k.
5
Let q(o) be the second derivative of o**4/12 - o**3 + 7*o**2/2 - 4*o. Let m be q(5). Solve -l + 6 = -m*d, 16 - 5 = 2*l - 3*d for l.
4
Let o(w) = -8*w + 11. Let y(d) = 4*d - 6. Let m(i) = -3*o(i) - 5*y(i). Let u be m(2). Solve -3*x - 9 = 4*a, -u*a - 5 = 3*x + 7 for a.
-3
Suppose 8 = -5*u - 3*z, -u - 4*z = -8 - 4. Let g be (2/u)/(1/(-8)). Let f be ((-35)/(-15))/(1/12). Solve -5*w + 0 + 45 = 5*a, -f = -2*a - g*w for a.
4
Let u(r) = 4*r - 1 - r + 3 - 2*r. Let p be u(9). Suppose -3*m - 3 + 21 = o, -15 = -3*m. Solve k - 10 = -o*b - k, 0 = -3*b - k + p for b.
4
Let v(i) = i**3 + 15*i**2 + 15*i + 14. Suppose -7*s - 28 = -5*s. Let u be v(s). Solve 0 = 2*w - w + 3*x + 7, -w - 2*x - 6 = u for w.
-4
Let n be 20/15*-3 - -4. Solve n = -5*h + 4*w, 0 = -4*w + 2*w for h.
0
Let h = 139 - 54. Suppose 3*j - h = -2*j. Solve 0 = 3*c + 5*g + j, c - 5*g = -4*c - 15 for c.
-4
Let i be (12/9)/(2/3). Let b be (-31)/(-4) + (-2)/(-8). Suppose 6*k - b = 2*k. Solve -c = 2*z + 6, -5*z + i - 18 = k*c for c.
2
Let d be 2*(2 + -4)*1. Let p be -3 + d + (-2)/(-2). Let z be p/8*2*-2. Solve -2*u + z*u - 5 = -3*s, -u = -s + 3 for u.
-1
Suppose -2*x = 2*x - 44. Let f = 18 - x. Solve s = 4*n - 12, -2*n + f - 1 = 5*s for n.
3
Suppose 5*p + 2*f - 4 = 0, -2*p + f + 5 = -p. Solve 12 = 4*o - 2*r - 2*r, -p*o = -3*r - 7 for o.
2
Let f(g) = g**2 + 1. Let o be f(0). Let r = o - -14. Let c be -5*(3/r + -1). Solve 4*m + 3*v + 9 = 0, c*v + v = 3*m + 14 for m.
-3
Suppose 1 = -3*c + 10. Solve 4*y = -n - 12, c*y = -y + 5*n - 36 for y.
-4
Let c be 5/((-10)/124) + 2. Let n be ((-2)/6)/(5/c). Suppose -4*p + 17 = n*o - 59, -5*o + 2*p = -109. Solve 3*t = 3, -6*t + o = -4*k - t for k.
-4
Let n = 6 + -2. Suppose -16*b + 13*b = -24. Suppose 5*u - b - 2 = 0. Solve -4 = -4*o - u*m, 3*m = -o + n*m + 1 for o.
1
Suppose 0 = 5*v - 12*v + 14. Solve 2*o - 11 - 5 = -v*d, 2*d = 8 for o.
4
Let w be (1 - 2)/((-1)/15). Let r be ((-6)/(-4))/(w/(-20)). Let a be -4*2*r/4. Solve -a*t - 4 = -2*s, 10 = -3*t + t - 3*s for t.
-2
Let y be (-9*1)/1*3. Let k = -2 - y. Solve -1 + 16 = 2*v + z, 0 = 5*z - k for v.
5
Let r(s) = 2*s**2 + 13*s + 4 - 4*s**2 + s + 3*s**2. Let g be r(-14). Solve -5 - 6 = -3*j - 5*b, -g*j + 2*b + 6 = 0 for j.
2
Suppose 0*o = -2*o. Suppose 9 = -2*a - 4*q + 1, -4*q = -3*a + 18. Solve 5*l = -a*c - o*c - 17, 7 = -c - 2*l for c.
-1
Let c be (6/4)/((-9)/(-30)). Let i(h) = -h**3 + 6*h**2 - 4*h + 3. Let g be i(c). Solve -2*u = -3*x + 5*x - g, u - x - 6 = 0 for u.
5
Let l(h) = h**2 + 6*h - 6. Let y be l(-6). Let x be ((-2)/5)/(y/60). Let g be (-3)/(-9) - 8/(-3). Solve -p + g*p = -b - 6, 6 = -2*p - x*b for p.
-3
Let q(m) = m**3 - 7*m**2 - 7*m - 8. Let a be q(8). Suppose a*x + 8 = 2*x. Solve 2*n = x*h + 20, 5*n - 5 - 17 = 3*h for n.
2
Suppose 5 = 2*n + 1. Let q be (3/3)/(n/4). Solve -2*m = 5*i - 9 - 5, 6 = m + q*i for m.
2
Let a = -2 - -6. Suppose -5*b + 0 + 10 = 0, 2 = g + 2*b. Let x = 2 + g. Solve -5*h - a*d = 0, 2*d + x*d = -2*h + 2 for h.
-4
Suppose -3*h + 18 = -2*a - 4, 5*a = -25. Suppose -h*c - 3 = -19. Solve c*g + 4 = -5*r + r, g - r - 1 = 0 for g.
0
Suppose -33 = -s - 0. Suppose 5*n = 20, -4*n - 13 + s = g. Solve g*m + 3*h - 14 = 0, 0 = 5*m - 0*h + 3*h - 19 for m.
5
Let f be (0/(-4))/((-4)/(-2)). Suppose i + 22 = 3*h, f = 3*h - 6*h - 4*i + 32. Solve -3 = -5*v + 7, -m - h = -5*v for m.
2
Suppose -5*z + 3 = b + 6, b + 3 = 3*z. Solve 2*c + 3*g + g + 2 = z, -5*c - 5*g = 0 for c.
1
Suppose -5*u + 2 = c, -u + 3*u - 8 = 2*c. Let i(v) = -v**3 - 3*v**2 + v + 3. Let s be i(c). Let m = 3 - s. Solve r = x, 2*x = -m*x + 10 for r.
2
Suppose -2*h + 13 = 5. Suppose 0 = 5*f + 3*l - h + 6, -4*l = 5*f + 6. Solve -4*o = 4*y - 8, 5*o - o = -f*y + 2 for o.
-1
Let w(j) = j**2 - 8. Let g(q) = 6*q. Let d be g(-1). Let h be w(d). Suppose -3*f + f = -h. Solve -c + o + f = 2*c, 4*c - o - 17 = 0 for c.
3
Let a = -18 - -38. Suppose -3*o - 7 = z - 3, 5*z