, 4*c = v*a - 9 for a.
1
Let g = 302 + -289. Solve 0 = 5*o + l - g, 2*o + 5*l - 19 = 0 for o.
2
Let i(r) = -r + 9. Let w be i(4). Suppose -3*d + 19 = u, -2*d + 27 = 3*u + w. Solve -a + 2*a + 1 = -2*m, 0 = u*m - 5*a - 19 for m.
1
Let o be 3 + (-3 + 3)*-1. Let m(t) = 10 - 12*t**2 + t**o + 0*t**3 + 6 - t. Let r be m(12). Solve 0 = -z + 4*k + 3 - 14, -8 = r*z - 4*k for z.
1
Suppose 6*t + 2*h - 12 = 2*t, 4*h + 16 = 0. Solve -5*l - 10 = 0, 0 = t*o + 4*l - 2 - 5 for o.
3
Let n be 234/34 - (-82)/697. Solve -2*g - 5*l = -n, -3*l = g - 0 - 5 for g.
-4
Suppose -28*x = -7*x - 42. Solve -n = n + x*j + 6, 4*j = 5*n - 3 for n.
-1
Let l be (-2)/(-4) + (-63)/6. Let j(d) = d + 13. Let u be j(l). Solve p + c + u*c = -23, -3*p + 5*c = -16 for p.
-3
Suppose -h - 5*t + 2 = 20, 4*h - 3*t = -118. Let z = 18 + h. Let o be z/(-4)*24/20. Solve o = -g + 5*u, -u = 2*g - 3*g - 3 for g.
-3
Suppose 24 + 16 = 5*x. Suppose 5*j = 3*o + 25, 4*o = -3*j - 0*o + 15. Let g(s) = -s**2 - 5*s - 3. Let f be g(-3). Solve v - x = -4*r - f*v, j*v + 6 = -r for r.
4
Let u(c) = -7*c**2 + 15*c + 3. Let t(b) = -13*b**2 + 30*b + 5. Let n(v) = -6*t(v) + 11*u(v). Let f be n(15). Solve f*l - 15 = 5*m + 4*l, l = 0 for m.
-3
Let p be 175/(-10) + 2/(-4). Let g = p + 22. Suppose -2*b + b + 13 = 5*z, 0 = g*z + b - 11. Solve 0 = -5*u + 2*u + 5*j + 21, -z*u - j + 1 = 0 for u.
2
Let g = -108 - -109. Suppose c + 2*w = -3, 6*c = 3*c - 4*w - g. Solve -c*z + a - 10 = 0, 7*a - 2*a + 10 = -5*z for z.
-2
Suppose t = -4 + 6. Suppose 0 = w - g - 0*g - 2, -10 = -5*w - 5*g. Suppose -v = -w*v + 5. Solve -h = -5, -u - 22 = -v*u - t*h for u.
3
Let q = 12 + -24. Let a be -2 - -2 - (-1 + q). Solve 3*d = -5*s - a, -6*s + d = -3*s + 5 for s.
-2
Let w(h) = h**2 + 10*h + 23. Let t be w(-8). Solve t = 2*q - 4*s + 3*s, -3*s - 19 = -5*q for q.
2
Let o = -458 - -460. Solve 0 = 2*a - 5*h - 10, -o*a - 2*h - 4 = -a for a.
0
Let s = 197 - 193. Solve 3*y = s*y + 5*t + 9, -3*t - 11 = 2*y for y.
-4
Suppose -2 = m - 19. Let f(g) = 3*g - 31. Let o be f(m). Solve -4*l - q + o = 0, 0 = 3*l - 4*q - 10 - 5 for l.
5
Let h be 2/(0 + 1) - -1. Suppose -2*d + 10 = 2*x, 2*x + 0*d = -d + 5. Suppose x = 3*z - 3 - 33. Solve -s - 4*a = 13, s - 3 = h*a + z for s.
3
Let n = 3 - 4. Let j = 7 - -2. Let k be (-1)/(n*3/j). Solve 0 = m + 1 - 4, k*p - 6 = m for p.
3
Let l be (-14)/(-63) - 1156/18. Let o = l - -67. Solve 4*f + 7 + 1 = 3*a, -4*f - o*a - 8 = 0 for f.
-2
Suppose -p = -5*c - 30, 0*c - 45 = -4*p + 5*c. Suppose 0*o = 5*o. Solve p*u + x = -30, 2*u + 0*x - 5*x - 15 = o for u.
-5
Let a = -8 + 10. Let j be 3/(a/(-4)*3). Let s be (2 + -1)*(-4)/j. Solve 0 = -q - 3*u - 7 + 23, 5*q = s*u + 12 for q.
4
Suppose r = -5*n + 74, 0 = -5*n + 4*r + 8 + 71. Solve n = v - 6*s + s, 5*s + 15 = -v for v.
0
Let t(a) = -a**3 - 2*a**2 - 6*a - 9. Let z be t(-2). Solve -l - z = -5*q + q, 0 = 2*q - 2 for l.
1
Let d = -11 + 13. Solve 4*n - 3 = d*a - 11, 0 = a for n.
-2
Let t = -26 + 10. Let i = t - -31. Solve 2*u + i = -p, 21 = 2*p - 5*u + 6 for p.
-5
Let n be 20 + (-16)/6*378/168. Solve 0 = -5*q - 4*b + n, 0*b - 3 = -4*q + 5*b for q.
2
Suppose 0 = -5*p + 2*h + 30, 5*p - 2*h - 25 = h. Solve d - p = -4*x + 7, 3 = 4*d - 3*x for d.
3
Let n be ((-350)/15)/5*-3. Solve 3*r - n = 5*f, 2*f = -3*r - 3*f - 26 for r.
-2
Suppose 358 = -y + 361. Solve 2*a + 2*b - 3 = -21, -y*a - 5*b - 35 = 0 for a.
-5
Let h be 48*(3/9 - 0). Let q be 100/h + 3/(-12). Solve 0 = -2*w + 2*s - q - 4, -5*s = 0 for w.
-5
Let b = 399 - 388. Solve -2*j = -3*m - 3*j - b, -5*j + 20 = 0 for m.
-5
Let v = -31 + 11. Let y = v + 22. Solve -y*d - 5*b = -21, 2*d + 2*b - 8 = -2 for d.
-2
Let a = 937 - 921. Solve 4*w = a, 3*w = p - 5*p + 28 for p.
4
Let d = -25 - -29. Suppose -10 = -d*p + 26. Solve -3*m - p - 7 = z, 5*m = -z - 24 for z.
-4
Suppose -5*n = 2*z + 24, 2*n - 2*z = 5*n + 16. Let a = n - -9. Solve 13 = -a*o + 3*x, 2*o + 0*x + x = -14 for o.
-5
Let v be (2 + -1)/(4/20). Let m(u) = u - 4*u + 12 + v*u - 1. Let r be m(4). Solve 14 = -g + 5*n, 3*n + 2*n - r = -4*g for g.
1
Let h = 20 - 33. Let l = h + 10. Let p be 1 + l - (-6)/2. Solve 5*q - 4*i - 41 = 0, q - p - 24 = 5*i for q.
5
Suppose 44 = 10*l + 12*l. Solve 0 = -3*o, 2*o = l*p + o + 8 for p.
-4
Suppose -t = 3*v - 3 - 7, -5*t - 20 = v. Suppose 5*h = -2 + 12. Let o be 39 + (-2 - (h + -5)). Solve -m + 1 = -r, 5*r + v*m = -o - 5 for r.
-5
Let v(t) = -4*t - 28. Let f be v(-8). Let p(w) = -3*w**3 - 31*w**2 - 8*w + 20. Let d be p(-10). Solve -3*j - j + i = 15, f*j - 2*i + 14 = d for j.
-4
Let j(p) = 14*p. Let l be j(0). Solve 0 = b - 4*s - 6, l = 2*b - 4*b + 2*s for b.
-2
Let q = 21 - 17. Let d be q/(-14) - 290/(-35). Let w be (-2)/(-4)*448/d. Solve -7*v + 3*v - w = -4*g, -5*v = -3*g + 25 for g.
5
Let j = 250 - 241. Solve 3*l - 2*a + 5*a = j, -25 = 5*l - 3*a for l.
-2
Let a(c) = c**3 - 3*c**2 + c + 3. Let w be a(3). Let k be -3 + w + 3 - 4. Solve -8 = -k*i - m, 4*m - 12 = -4*i + 12 for i.
2
Suppose -447 = -6*y - 435. Solve -2*c = y*w - 4 - 4, -2*c + 14 = -4*w for c.
5
Let r be -2 + (4 - (-3)/3). Let q be (-2 - (-52)/20) + 48/20. Solve i + r*w - q = 3, -5*i - w = -16 for i.
3
Let l be 1*-2 - 10/10. Let p(s) = -s**2 - 2*s - 1. Let c be p(l). Let u = c - -6. Solve 5*t = -3*g + 2*g - 5, -t - u*g = -8 for t.
-2
Let x = -11 + 49. Let n = -34 + x. Solve -12 = -3*i - n*j + 16, -i = 2*j - 12 for i.
4
Suppose -2*o + 12 = -3*d + 3, 4*o - 8 = -4*d. Let s(v) = 2*v - 2. Let p be s(o). Solve 6*r + 20 = -p*l + 3*r, 3*l + 15 = 3*r for l.
-5
Suppose 0 = -4*u - 20, 0*u - 3*u = 5*x. Solve 2*k + 7 = -5*o, -x*k - 6 = 5*o - 2*k for o.
-1
Suppose -5*h + 2*u - 43 = 0, 34 = -4*h + 5*u + 3. Let p = h - -12. Let o = 0 + p. Solve a = 5, 5*t = o*a - 7 + 2 for t.
2
Let r(w) = -w**3 + 4*w**2 + 14*w - 7. Let f be r(6). Solve 3*x + 3 = 3*v, -f*v = -0*x + 3*x + 11 for v.
-1
Let r(p) = 2*p**3 - 18*p**2 + 15*p + 12. Let q be r(8). Solve 2*s - l - 4 = 8, q*s = l + 20 for s.
4
Suppose -11 = -3*h - j, -13 = -23*h + 22*h - 5*j. Solve 5*m = h*t - 2*t + 14, m = 3 for t.
1
Let z be 95/4 + (-14)/(-56). Let a = z - 21. Solve 4 = 2*k, a*h - 4 = -h - 2*k for h.
0
Let d = 38 + -24. Suppose -5*t = -d - 1. Solve 2*y - 25 = -t*y - 5*m, 5*y + 2*m - 16 = 0 for y.
2
Let l(n) = 9 + 3 - 7 + n. Let s be l(-3). Suppose 1 = c - 4*g, 2*c = -0*c + g + s. Solve 3*b - 2 + c = i, -5*b + 11 = -4*i for i.
-4
Suppose -b + m - 35 = b, m = 5*b + 80. Let q = b - -18. Solve 2*h - 14 = 4*h - q*s, -2*s + 10 = -2*h for h.
-1
Suppose -2*c + 3 = 5*h - 32, 0 = 3*c - 4*h - 110. Suppose 5*q - 3*q = c. Solve 5*i + 4 + q = -v, -5*v = 5*i + 15 for i.
-4
Suppose 2*o = -6*o + 4*o. Suppose -2*v + 5*f = 2*v - 36, -f = o. Solve -2*i - 2*s + v = i, -i + 2*s = -3 for i.
3
Let d = 127 + -132. Let u be 4 + 4 + 1 + d. Solve 5*c + u*z - 3*z = -5, 2*c + z + 5 = 0 for c.
0
Let w(j) = -4*j - 2. Let q be w(-3). Suppose g + q = -5*s, 2 = -2*g - s - 0. Solve g = 5*o - 2*v - 7, 0 = -o - 2*v - 6 + 17 for o.
3
Let g = -25 - -38. Suppose 6*n - 2*n = 336. Suppose 0 = -3*v - v + n. Solve -5*j + o = v, g = -j - 2*o - 0*o for j.
-5
Suppose -3*x + 90 = 2*p, x + 87 = 4*x + 3*p. Let o = x - 27. Solve v + 5*g - o = -4*v, -7 = 2*v + 5*g for v.
4
Suppose -21 = -2*j + 5*t, 6*t = 4*j + 4*t - 18. Solve -3*i - j*c - 30 = 0, 3*i - 5*c + 0*c - 10 = 0 for i.
-5
Suppose 5*f - 7 = -2*i, -i - 2*i + 4*f + 22 = 0. Suppose 123 - 49 = 37*c. Solve x + 3*l = c*x, -x - 3*l = i for x.
-3
Let y(t) = -t**3 + 2*t**2 + 5*t - 7. Let z be y(3). Let f = z + 3. Solve -3*o + 7 = 4*d, 0*d + 5*o + 7 = -f*d for d.
4
Suppose 10 = 2*k + g, -5*k + 1 = 3*g - 25. Solve 0 = 3*q - j + 13, 4 = k*q + 2*j + 2*j for q.
-3
Let y be 9 + (-1)/(-2 + 4 + -1). Solve 0 = -t - 4*g + y, t = 5*t + 5*g - 10 for t.
0
Suppose 3*x - 28 = -1. Suppose 0 = -5*j - 6 - x. Let v(y) = -y**3 - 2*y**2 + 3*y + 2. Let p be v(j). Solve 0 = 2*z - 4, b - p*b - 3*z + 1 = 0 for b.
-5
Let c be -53*(0 + 3 + -4) - 1. Let n = c + -47. Solve 2*y + 0*y = n*q - 3, 2*y = 4*q - 2 for q.
1
Suppose 40*n + 27 = 49*n. Solve q - 3*x - n = -2*q, q + 2 = 2*x for q.
4
Let n be (3 + (3 - 5))/(3/(-81)). Let q = n + 63. Solve -4*d - q = -5*w, 3*d = -4*w + w for d.
-4
Let f(h) = -2*h. Let b be f(-1). Let w(l) = -3*l - 17. Let g be w(-6). Solve b*j - 2*k - 2 = -0, -2*j + 3*k = g for j.
4
Suppose -3*g + 22 = -3*f - 5*g, 12 = -2*f - 4*g. Let y = f - -8. Suppose y = -0*n + 