-3*a + 3 = -12 for q.
0
Let d(k) = 30*k**3 + 2*k**2 - 33*k + 32. Let b be d(1). Solve z - y + 3 = 0, 3*z = -7*y + 2*y + b for z.
2
Suppose 2*j = -2 + 26. Suppose -2*q + j = 6. Let y be (-4)/(1 + q)*-5. Solve -y*a - 5*d = -4*d + 17, 22 = -4*a + 2*d for a.
-4
Suppose -8*a + 3 = -7*a. Let o = 20 - 10. Solve -a*j - o = t + 2*j, 2*t - 5*j = 10 for t.
0
Let r = 1078 - 1076. Solve 0 = -r*g + i - 1, 5*g = 2*i + 2 - 3 for g.
1
Let n = 76 + -72. Solve a + 3*h = -2, -a = -0*h - n*h - 12 for a.
4
Suppose -3*x = 4*c + x + 4, x - 3 = -5*c. Solve 2*g = -3*o + 22, 3*g + c = 2*o + 8 for g.
5
Suppose 23 = 3*q - 13. Suppose 0 = 9*n - 8*n + 4*h + 30, 75 = -5*n - 5*h. Let m = q + n. Solve 0 = c - 3*s - 13, c - 22 = m*c + 4*s for c.
-2
Suppose 8 = r + 2. Let w = 4 - 1. Solve 5*u = -4*s + 1 - 2, w*u = 3*s - r for u.
-1
Suppose -9 = -u - 8*u. Suppose -a = 2*l - 10, 3*l - 16 = -4*a - u. Solve l*m - 16 = -0*m + 4*q, -3 = -3*q for m.
4
Suppose 5*n = -5*d + 25, 0*n = -5*d - 2*n + 16. Solve 5*l + 5 = k + d, -3 = -k + 3*l for k.
3
Suppose 5*u + 20*n - 15*n - 55 = 0, u - n = 21. Solve 3*f - 5*h - 17 = 0, 0*f = -5*f - 4*h + u for f.
4
Let a(h) = h**3 - 8*h**2 + 3*h - 19. Let c be a(8). Solve 6*l = 5*j + c*l - 16, -3*j + 4*l = -13 for j.
3
Let h = -31 + 33. Let b be 1/(-6) - (-91)/42. Suppose 2*u = m + 6 - b, -4*u + 24 = 2*m. Solve -m = -t, n - 1 - 3 = -h*t for n.
-4
Let q(m) = m**2 + 9*m - 8. Let y be q(-10). Suppose -y*a + 0*p - 2*p = -18, -4*a = 2*p - 44. Solve -g = -j - 3, 2*g + 8*j = 3*j + a for g.
4
Let m = 31 - 22. Let v = -13 + 18. Suppose -v = -5*g + 10. Solve 0 = 3*t + t - 5*a + 2, -t - m = g*a for t.
-3
Let z = 236 + -226. Solve -2*j + 7*j - x = z, 3*j = -5*x - 22 for j.
1
Let v = -2 - -5. Suppose 7 = 3*k + 2*t, v*k + 5*t - t - 5 = 0. Suppose -k = 2*o - 9. Solve m - 2*s + 0*s = -13, -o*m - 2*s = -1 for m.
-3
Let v = 475 + -467. Solve -3*c + 12 = 5*p - 7*p, c - 2*p - v = 0 for c.
2
Suppose 2*p - 10 = -0*p. Let i = -53 - -55. Suppose -7*v + 19 = -i. Solve 0*n + v*n = p*y - 22, -4*n - 6 = -2*y for y.
5
Let k be -18 + (-3)/3 - -3. Let u = -13 - k. Suppose 5*a + u*i - 10 = 5, 2*i = a + 10. Solve o + 2*t - 8 = a, 4*o + 2*t - 5 = -3 for o.
-2
Suppose 2*a + 10 - 16 = 0. Solve 0 = -2*z + 2*s - 10, 3*z - a*s + 15 = -2*z for z.
0
Let j(t) = t - 7. Let z be j(9). Suppose -3*f - z - 34 = 0. Let v(l) = -l**2 - 12*l + 10. Let u be v(f). Solve b = w - u, 0*b - 2*b - 10 = 0 for w.
5
Let l(z) = 2*z**3 - 9*z**2 - 3*z - 5. Let a be l(5). Suppose -15 = -a*t + 5. Solve 4*i - 3*x - 32 = 0, -2*x = t*i + 3*x for i.
5
Let r(f) = -f**3 - 2*f**2 - 7. Let d be r(-3). Solve -5*m - 2*h = 19, -3*h = 3*m + 17 - d for m.
-3
Let b = -11 - -15. Suppose -6*l = 2*k - 4*l - 62, l = 0. Solve -4*a + 28 = -b*t, 5*a = -t + 5*t + k for t.
-4
Let f(q) = -257*q + 3*q**2 + 254*q - 4*q**2 - 2. Let i be f(-2). Solve -5*v + 0*p + 34 = 3*p, i = 4*v + 3*p - 29 for v.
5
Suppose 5*k = -i - 7, -7 = 2*k - 3. Suppose 47 = z + 7. Let b be (z/(-15))/((-2)/i). Solve b*u - 2*t + 0*t + 4 = 0, -2*t + 4 = -5*u for u.
0
Suppose 101*q - 102*q = -4. Solve 3*i - q = -2*b, b + 4*i = -0*b - 3 for b.
5
Let j(x) be the first derivative of -3*x**2/2 - 41*x - 2. Let u be j(-16). Solve v + 8 = 2*h - 3*v, -5*v - u = -h for h.
2
Let y be -1 + (4 - -2) + -2. Let w = -45 - -63. Suppose -w = -3*p + 6. Solve 2*x = 2*g - p, y*g + 0*x - 2*x = 8 for g.
0
Suppose -109 + 10 = 3*s. Let m = s - -36. Suppose -12 = -m*f - 0*f. Solve -3*y = 3*l - 7 + 1, 0 = -f*l for y.
2
Suppose 0 = 4*c - 2*f - 106, -3*c + 36 = -4*f - 41. Let i = c + -22. Suppose -105 = -i*a + 2*a. Solve 3*u + 0*r = -4*r - a, -4*r - 20 = 0 for u.
-5
Suppose 4*o + 3*p - 8 = 0, -2*p - 6 = -4*o + 2. Suppose -2*h + 5*b = 15, o*b = -5*h - 2*b + 45. Solve -4 = -4*v - 2*w, 3*v - 2*w + 6 = -h for v.
-1
Let m be (-28)/(-6) - (-3)/9. Suppose 0 = -3*o + 4*o. Let w be (9/6)/(-3)*o. Solve v - m*l + 23 = w, 2*l + 2*l = -2*v + 24 for v.
2
Let b(g) = -g**2 - 2*g + 2. Let p be b(-3). Let v be ((-4)/12)/(p/9). Suppose 2*i + 3*i - 15 = 0. Solve k + 8 = 4*m, 6 - i = 5*m - v*k for m.
3
Let v = -1861 - -1863. Solve -4*w = -c - 3 + 19, -v*w = 5*c - 14 for w.
-3
Let p(n) = -n + 124. Let w be p(0). Suppose w = -4*z - r - 3*r, -2*r = z + 27. Let i be (-410)/z + (-2)/(-7). Solve -v = 2*v + u + 5, i = -4*v + 4*u for v.
-2
Suppose f - 2*k = -2*f + 122, 0 = -5*f + 5*k + 195. Suppose -3*c + f = -4. Solve -w + 5*w - c = -4*l, 2*l - 7 = -3*w for l.
5
Suppose 2*h + f = 7, -49*f = -48*f - 1. Solve -h*g - 7 = c + g, -3*g + 16 = 5*c for c.
5
Suppose -4*m + 3*m = -4*x, 0 = -4*x. Let s be m/(-4*4/8). Solve 5*c + 5*q + 10 = s, -q = 2*c - 0*q + 5 for c.
-3
Let l(j) = j - 4. Let h(v) = v**2 + 4. Let n(q) = 2*h(q) + 3*l(q). Let a be n(-3). Solve 4*m = 5*x + 3 + 10, 0 = -a*m + 3*x + 13 for m.
2
Suppose -m = -2*s - 29, 2*s + 5*m + 14 = 3*m. Let n = s + 25. Solve 28 = 3*b - 4*w + 3, 0 = -3*b + w + n for b.
3
Suppose 5*u + b = 15, 6*b = b. Solve 3*c - 5*s = c + 16, -5*c = u*s + 22 for c.
-2
Let g(o) = 6*o - 6. Let r be g(5). Suppose r*b - 110 = 14*b. Let s = -4 + 8. Solve p + b + 6 = -s*w, 2*w - 3*p = -19 for w.
-5
Suppose 4*x = 8*x - 12. Let a(s) = -s**3 - 9*s**2 - 16*s - 14. Let i be a(-7). Solve x*k - z = 7, i = -k + 5*k + z - 7 for k.
2
Let y be -7*1*(-210)/147. Solve y = 5*p - 7*p + 4*j, 4*j - 8 = 0 for p.
-1
Let k be -3 + (-12)/(-4) + -1. Let r(l) = 5*l**2 + l - 1. Let h be r(k). Solve 17 = -2*o + h*j, j = -o + 2*j - 7 for o.
-4
Let c(s) = -8*s**3 - s**2 - 3*s - 2. Let f be c(-1). Suppose -f*d = 2*d - 120. Solve -d = -4*h, 0*r + 5*r = -4*h + 7 for r.
-1
Let z = 23 - 21. Suppose 0*t = 4*i + 3*t, -2*i + z = t. Solve b = -i*v - 2*v + 16, v = 4*b + 20 for v.
4
Suppose 6*t + r = t + 21, 3*t - 31 = 4*r. Let h be 3 + (-78)/24 + 21/4. Solve -2 = -t*k - n, -3*n + 5 + 1 = h*k for k.
0
Let u be -6*1/(4 - 33/6). Let f be ((-10)/u)/(((-3)/2)/3). Solve 2*b + 3*c + 2*c - 10 = 0, -5*b - f*c = 5 for b.
-5
Let f be 2*(-3)/(2 - -1). Suppose -z - 2*c + 0*c = 4, 5*z + 33 = 3*c. Let p be z/f - (-4 + 2). Solve 15 = -p*l, -3*l - 3 = 4*n - 2*n for n.
3
Let g = -1296 + 1308. Solve 4*h = -3*o - g + 37, -4*o = 3*h - 24 for o.
3
Let a(b) = 73*b - 215. Let r be a(3). Solve -12 = -3*g, g - 28 = -r*s - 4*g for s.
2
Suppose -5*c = -10, -3*c + 7*c = 3*r + 8. Suppose 5*y - 10*y + 10 = r. Solve -3*j - y*a + 5 = 0, -2*j + 5*j - 7 = -a for j.
3
Let f(z) = z**2 - 9*z + 9. Let i be f(8). Let p be i/(-3) + 6/18. Suppose -3*j = -p*j. Solve k - 1 = 3*u, -5*k - u - 18 - 9 = j for k.
-5
Let b(n) be the second derivative of 0 + 5*n - 1/6*n**3 + 5*n**2. Let f be b(5). Solve f*w = -4*r + 20, -2*r = 2*r + 3*w - 20 for r.
5
Let k(r) = r - 14. Let m be k(21). Solve 3*l - t = -m, -5*l + 5*t + 5 = -0*t for l.
-4
Suppose -g + 12 = -2*u, -5*g + 3*u + 30 - 5 = 0. Let h = -270 + 272. Let b = h + g. Solve 3*w = 3*s + 21, 2*w + 6*s - 3*s = b for w.
5
Let o(t) = -2*t**3 - 7*t**2 + 7*t - 6. Let q be o(-6). Let i be 44/6*45/(-6). Let r be q/10 - 44/i. Solve 4*b - 2*c = 2*b + r, 5*c + 5 = -5*b for b.
3
Suppose 5*m - 1 = 4*m. Let q be 4*m - 8*6/48. Solve -2*a = -4, 0 = 4*g - 3*g + q*a - 5 for g.
-1
Let s be ((-2)/4)/((-2)/20). Let v = -191 + 558. Suppose v - 122 = 7*q. Solve 2*o + 3*o - 5*w + s = 0, 5*w - q = -5*o for o.
3
Suppose -22*u + 24*u - 8 = 0. Solve c = -u*f - 5, 5*f + c + c + 4 = 0 for f.
-2
Suppose -57*q + 34*q = -299. Solve -q = 4*t - 1, -5*t - 14 = -x for x.
-1
Suppose 3*h + 63 = 3*k, -4*k + 5*h = -5*k + 51. Suppose -k = 5*l - 101. Solve -4*i - 12 = -8*q + 4*q, -5*i - 4*q - l = 0 for i.
-3
Let p be 3*2 - (1 + (1 - 2)). Suppose -p*h + 29 = -1. Solve 0 = h*f - b, f - 3*b = b for f.
0
Let o = 11 - 6. Suppose 113*c - 516 = 275. Solve 5*j - c = 3*u, -4*j + u + 12 = o*u for j.
2
Suppose -z - 13 = -2*f, -34*f + z + 17 = -31*f. Suppose -4*n = m - 20, -6 = -n - 3*m - 1. Solve 0 = f*y + 4*h - 5*h - 24, -3*h = -n*y + 37 for y.
5
Let z be (-1)/((7 - 4)/(-6)) - -80. Let h = z + -56. Solve -5*q = 2*p - h, q - 7 = -2*p + 3 for q.
4
Let q(i) = -123*i + 984. Let d be q(8). Suppose 3*g + 2 = -4*c, c - 2*c + 6 = 4*g. Solve d = -3*h - 0*m + 4*m + 7, -12 = -g*h - m for h.
5
Let x(f) = -f**3 + 3*f**2 + 2*f - 6. Let l be x(3). Suppose -6*u - 7*u = l. Let n(i) = i + 1. Let k be n(1). Solve -k*s + 8 = -v, 2*s = -u*s - 2*v + 14 for s.
5
Suppose -9 = -x - 2*a, x + 10*a - 12 = 7*a. Solve f - u = 4*u 