 for a.
3
Suppose x + 0*x - 3*x = 0. Suppose -2*y - y = x. Solve -m = 4*q - 18, -5*q = -y*m + 2*m - 24 for m.
2
Suppose 84 = -155*o + 183*o. Solve 16 = -5*g + n, o*g - 3*n + 6*n = -24 for g.
-4
Let g = -148 + 149. Solve -5*r - g = 4, d = 5*r + 2 for d.
-3
Suppose 32*o = 27*o. Suppose o = 3*i + 2*i. Solve 0 = -3*k + 3, 0 = -i*m - m - 2*k + 4 for m.
2
Let n(a) = 2*a**2 + 8*a - 19. Let v be n(-6). Solve 0*d = 2*d + 2*u + 6, 11 = -v*d - 3*u for d.
-1
Let q(i) = -i**3 + 4*i**2 - 3*i + 1. Let w be q(2). Let v be (396/220)/(4/(80/6)). Solve 3*y - v = w*p, y - 14 = 3*p - 4 for p.
-4
Let z = -12 - -20. Let p(d) = -d**3 + 7*d**2 + 7*d + 17. Let y be p(z). Solve 3*q = 2*v - y, 3*q - 3 = 4*q + 5*v for q.
-3
Suppose -129 - 5 = -67*v. Solve -r = -v*r - 4*b - 13, 0 = 2*r - 4*b - 10 for r.
-1
Let u be (27/45 - -4) + (-3)/5. Solve 4*r - m + 22 - 7 = 0, 0 = 2*r + u*m - 6 for r.
-3
Suppose -40*j = d - 45*j - 18, -4*j - 24 = -2*d. Solve -p = -3*q + d, -2*p = 4*q - 6*p - 24 for q.
1
Let i = -27686 - -27688. Let r be (-11)/(-3) + 1/3. Solve 2 = -3*q + t, 4*q + 0*t = i*t - r for q.
0
Suppose -7*c + 9*c - 10 = 0. Suppose 0*w - 5*p + 60 = 5*w, 0 = 3*w + 2*p - 36. Solve c*f + 35 = 5*g, -4*g + w + 19 = -5*f for g.
4
Let q(b) = b + 1. Let j be q(0). Suppose 0 = -r - j + 10. Let y = 13 - r. Solve 2*k - v = 2*v - y, -10 = 4*k - 5*v for k.
-5
Let o = 21 + -18. Suppose -2*w - o*w = -15. Solve w*q + 6*f - f = -9, -2*q + f + 7 = 0 for q.
2
Suppose -2*r - 8 = x, -4*r + 1 = -4*x + 5. Let y be 1/((-4)/24*x). Suppose m = 6 - y. Solve -m*q = -2*k - 8*q + 15, -3*k = 3*q - 18 for k.
5
Let d(v) = -4*v**3 - 4*v - 3. Let k be d(-1). Solve 0*n - 13 = 3*q + n, 2*q = -k*n for q.
-5
Let g be (-12)/2*74/6. Let u(r) = r**3 - 2*r**2 - r. Let d be u(-2). Let t be g/d + (-4)/14. Solve 3*p - 3*v = 9, -t*p + 4*v - 2*v = -6 for p.
0
Let w = 988 - 983. Solve 3*j - 3*l + w = -8*l, j - 4*l - 21 = 0 for j.
5
Let x be (-583)/(-13) + (-4)/(-26). Let i = -25 + x. Solve -a - f = -6, 3*f - i = -f for a.
1
Suppose -42 = n + 2. Let w = n + 48. Solve -5*y = 2*o - 3*y - w, -5*o - 3*y = 0 for o.
-3
Let d(c) = 2*c**3 - 2*c**2 - 2*c + 1. Let g be d(2). Suppose -7 = -g*j + 4*j. Let l be (0 + 2)*j/7. Solve 0 = 2*i + l*m - m - 8, -5*i + 5 = -5*m for i.
3
Suppose -1560 = -3*z - 1548. Solve 0 = -w - l - 3, -z = 3*w - 2*l + 5 for w.
-3
Let c(h) be the first derivative of h**3/3 + 27*h**2/2 + 2*h - 35. Let k be c(-27). Solve -10 = -3*w + 3*j + k, -5*w + 10 = 5*j for w.
3
Let b(d) = -d - 5. Let x be b(8). Let c(v) = v**3 + 14*v**2 + 12*v - 13. Let g be c(x). Solve 5*p - 3*j - 10 = -0*j, g = 5*p - 4*j - 5 for p.
5
Let l be (-8)/28 - (-111)/21. Solve 0 = j + i - 1, -l = -5*j - 0*j + 5*i for j.
1
Let k be (110/77)/(1 - (-5)/(-7)). Solve r + 1 = 2*m - 4*m, -k*r - 2*m + 3 = 0 for r.
1
Let m(i) = -4*i**3 - 3*i**2 - 2*i. Let v be m(-1). Solve -5*x + 12 = l, -35 + 11 = -v*x + 5*l for x.
3
Suppose n = -n. Let t(l) = -4*l + 42. Let o be t(10). Solve 4*a - 4 = n, -o = -h - 6*a + a for h.
-3
Let o = -137 - -140. Solve o*d - 3*c + 4*c = 1, 2*c = -2*d - 2 for d.
1
Let z(s) = -5*s**3 - 2*s**2 + 13*s + 13. Let g be z(-1). Solve -3*h + 5*u = -17, -5*u + g*u - 10 = 2*h for h.
-1
Let u = 252 + -249. Solve -v = -u*w - 0*v - 12, 2*w = 5*v - 8 for w.
-4
Suppose 0 = 3*a + 241 + 56. Let b(t) = 3*t**2 + 2*t + 1. Let d be b(-3). Let l be (-1008)/a + (-4)/d. Solve 3*z + 5*r = 4, 2*z - 5*r = -l*r + 6 for z.
-2
Suppose 0 = 4*g + 2*u - 28, -2*g - 4*u + 26 = -0*g. Suppose 3*w = 7 + g. Let a be 3/(-3*3/(-12)). Solve -p - j - 4*j = -23, -w*p + a*j - 28 = 0 for p.
-2
Suppose -3*g + 24 = 9*i - 5*i, 3*i = 9. Solve 3*w + 17 = 4*x, g*x + 7 = -4*w - w for x.
2
Let f = 271 - 269. Solve -3*o + c + 14 = 0, 0 = f*o - 2*c - 12 for o.
4
Let k(i) = -i**2 + 74*i - 277. Let n be k(4). Solve 4 = n*f + 2*x, -4*f + 5*x - 9*x + 4 = 0 for f.
2
Suppose -3*m + 9 - 32 = -2*t, -3*t + 7 = m. Solve 0 = -2*a - v + t + 2, -2*a = -4*v + 4 for a.
2
Suppose -2*n + 8*n - 24 = 0. Suppose -4*b + n = -12. Let j(v) = -v**3 + 3*v**2 + 5*v. Let o be j(4). Solve -o*r + 2*z + b = 0, -3*r - z - 1 = 6 for r.
-1
Let o(r) = -r - 7. Let k be o(-4). Let c be (k - 3) + 3 + 3. Suppose -2*l + c*l = -10. Solve f = 2*f + d - 1, -2*d - 12 = -l*f for f.
2
Let f = 12 + -18. Let v be 2/f*-1 - (-4)/6. Solve 0 = 5*m + 2*n + 6, -3*m - v - 1 = 2*n for m.
-2
Let c(h) = 2*h**2 + 23*h - 44. Let d(w) = w**2 + 11*w - 22. Let j(q) = -2*c(q) + 5*d(q). Let g be j(-11). Solve z - t - 1 + 0 = g, 23 = 2*z + 5*t for z.
4
Let i be (-20)/(-8)*(4 - 48/20). Solve -4*m + 17 + 3 = -i*k, -3*k - 10 = -2*m for k.
0
Let d(p) = 4*p - 13. Let k be d(4). Suppose 5*x - k*x - 10 = 0. Solve -4*s - 3*i = -4, 2*i - 1 = x*s + 17 for s.
-2
Let g(t) = -21*t + 86. Let u be g(4). Solve 4*o + 4 = 3*x, x + 4*x = u*o + 16 for o.
2
Let t(y) = -3*y**2 - 5*y + 2. Let p be t(-2). Let l be 5/(p + (-2)/(-8)). Let q be ((-24)/(-20))/(6/l). Solve -j + 5 = 5*z + 2*j, 16 = -z - q*j for z.
4
Suppose 16 = 3*y + r, 5*y = r - 20 + 44. Solve 0 = 3*v + y*l - 0 - 5, -3*l = -v - 17 for v.
-5
Let d be (1/(-3))/(2 + (-305)/150). Let c = d + -8. Solve -5*i - 17 = -4*b, 5*b - c*i = -0*i for b.
-2
Let t(f) = -f**2 + 6. Let o be t(2). Let p = 43 - 43. Solve 3*m - j - 4 = -o, p = -5*m + j + 2 for m.
0
Let f(h) = h**3 + 6*h**2 + 8*h - 3. Let j be f(-4). Let p(l) = 2*l + 11. Let k be p(j). Solve -4*z + k*b = z, -2*z = 2*b + 4 for z.
-1
Let n(m) = -m**3 - 15*m**2 - 10*m + 56. Let c be n(-14). Solve s - 6*s = 3*j + 9, -5*j + 10 = c for s.
-3
Suppose 4*x + 2*r - 102 = 0, 5*x = -4*r + 3*r + 126. Let b = -45 + 60. Solve 0 = -2*v + 7*v + 5*m - b, x = 5*m for v.
-2
Suppose -7*y - 74 = 241. Let h = y - -49. Solve -5*o + 6 = h*s, o - 4*s = -17 - 1 for o.
-2
Suppose -i + 36 = 5*i. Suppose -20 = -i*w + 2*w. Solve y + n - 4 = 2*y, w*n = 0 for y.
-4
Let r(z) = z**3 + 4*z**2 - 4*z + 1. Suppose 3*g + 4 + 11 = 0. Let l be r(g). Let v be ((-6)/2 - l) + 3. Solve 0 = v*t + m - 19, -2*t - 3*m + 8 = -m for t.
5
Let t be 6/(-8) - 1651/(-52). Suppose 27*a - t*a = 0. Solve a = 3*g - 2*g + 3*r + 15, -3*r - 3 = -3*g for g.
-3
Suppose -a = -4*k + 180, 105 + 120 = 5*k + a. Let w be (-1)/3 + 240/k. Solve 0 = -4*i + w*j, -4*j = 3*i - 5*j for i.
0
Let i be -7 + 11 + -9 + 10. Solve -i*a - 5*q = 6 - 11, 0 = q - 5 for a.
-4
Let j(b) = -3*b + 1. Let x be j(-1). Solve n - 9 = -3*y, x*y - 2*n - 15 = -y for y.
3
Let n be ((-6)/(-8))/(2/56). Let y(s) = 23*s - 166. Let v be y(8). Let c = n - v. Solve -4*p = -12, 2*o + 2 = c*p - 3 for o.
2
Suppose 0 = -9*y + 139 - 121. Solve n - 15 = -4*w, -4*w + 5 = y*n + n for n.
-5
Suppose -49*f + 116 + 129 = 0. Solve x + 12 = f*o, -x - 6 = 2*x for o.
2
Suppose 0 = -3*b + 3*w + 6, 2 = -0*b + b + 4*w. Solve -2*o + p = -9, 12 = -2*o + 4*o - b*p for o.
3
Let c = 13 + -6. Let b = c + -5. Let g be (-7 - -7)/(2/b). Solve -2*f - 3*s - 1 - 6 = 0, g = -5*f - 4*s for f.
4
Let q = -1 - -8. Let y(z) be the second derivative of -z**4/12 + 4*z**3/3 - 5*z**2/2 - 30*z. Let v be y(q). Solve i = 4, m + i + v*i = 17 for m.
5
Suppose 5*j + 5*z - 35 = 0, -5*j + 2*z + 2*z - 10 = 0. Solve -4*u + 24 = 2*w, j*u = -4*w + u + 20 for w.
4
Let a(h) = h**2 + 10*h. Let r be a(-8). Let o be (-10)/(-4)*r/(-20). Let q be o - (-11 + 3)/2. Solve -5 - q = -j + 5*k, -5*j + 9 = -2*k for j.
1
Let c(t) = 195*t**2. Let l be c(1). Let a be 6/4 - l/(-26) - -1. Solve -s - 2*m - a = 1, -5*s + 5*m + 5 = 0 for s.
-3
Suppose 0 = 2*a - 3*k + 2, a - 2 = -a + 2*k. Let z(n) = n**3 - n**2. Suppose 14*u - 16 - 12 = 0. Let g be z(u). Solve a*o - d + 23 = 0, o + g*d + 3 = 5*d for o.
-5
Let g(i) = -2*i - 5. Let c(t) = 4*t + 71. Let w be c(-19). Let v be g(w). Solve -5*l - 5 = -5*x, -25 = v*l + 2*x + 3*x for l.
-3
Suppose 3*s + 6 = -c, -5*s = -17*c + 15*c + 21. Solve 0 = 5*t - 5*i + 15, 16*i = -4*t + 17*i + c for t.
2
Suppose -4*j + 61 = 5*a, -3*a + 5*j + 63 - 19 = 0. Suppose -5*k = -a + 3. Let l be k - (2 + 4)*-4. Solve u - 5*g = 28, l = 2*u - 3*g - g for u.
3
Suppose 0 = 6*k - 7 - 29. Let n(w) = -w**3 + 8*w**2 - 12*w. Let q be n(k). Solve q*p + 3*p - 5 = -s, -2*s + 10 = p for s.
5
Suppose -j + 213 = 5*d + 2*j, -2*d + 5*j = -110. Let z = d - 41. Solve 0 = z*p - 8*p - 3*u + 20, 0 = 3*p + 5*u - 15 for p.
5
Suppose -10*z = -7*z - 3. Solve 12 = -3*b - 5*i, 2*b = -5*i - 9 + z for b.
-4
Let s be -1 + (-16)/(-3) - (-31)/(-93). Solve 3*l -