k, -2*k - 12 = 5*f for f.
-4
Let m(o) = -o**2 - 64*o - 23. Let y be m(-63). Solve 5*q = 4*t - 6*t - 15, 4*q = 4*t - y for q.
-5
Let a = 189 + -184. Solve 3*m - 2*b + 24 = -1, -a*m = 5*b for m.
-5
Let l be (-19)/(-7) + 12*(-10)/(-420). Suppose -4*a - 30 = -5*w + a, 10 = 3*w + a. Suppose w*d - 20 = -d. Solve d = 4*j - l*s, s - 7 = 5*j - 1 for j.
-2
Suppose 0 = -16*s - 0*s - 32. Let n be (-2)/s*(11 - 1) + 3. Solve -2*z = a + n, -2*z - 2*z - a = 21 for z.
-4
Suppose -3*k + 4 = -2. Solve -3*u - 10 = 2*c, 2*c + k*u + 10 = 4*u for c.
-5
Suppose 0 = 3*n + 3*z + 15, 3*z = 2*n + 6*z + 8. Let h(q) = q**3 + 7*q**2 - q - 4. Let b be h(n). Solve -12 = -3*j + 5*v - v, j - b*v = 9 for j.
0
Let k = 445 + -445. Let f(p) = -p - 5. Let z be f(-5). Suppose -5*c + 20 + z = k. Solve -v = 4*m - 3, m + c*v = -m - 2 for m.
1
Let t = 29 - 25. Suppose t = 5*m + 5*d - 16, m + 2*d - 8 = 0. Solve -4*f - 5*u = m, u = 2*f + 3*u for f.
0
Let u be 6/4 + 28/8. Suppose -u*b + 16 = -9. Solve 4*j - 6 = -2*t, -b*t = -12 - 13 for j.
-1
Suppose -8*o + 9 = -5*o. Suppose o*d + 2 = 65. Let u = -16 + d. Solve -4*t - 2*g = 2*g + 4, -1 = u*t + g for t.
0
Suppose -4*l = -3*u - 55 + 241, 2*u - 3*l - 125 = 0. Suppose 0 = -5*a - 32 - u. Let m = a + 20. Solve -4*q - 3*z + m = -13, -20 = -q - 4*z for q.
0
Let a(b) = -2*b + 10. Let h be a(-10). Let x be (-6)/(h/(-13))*5. Solve 3*g - 3*d + 3 = 0, -g + 4*g + 2*d = -x for g.
-3
Suppose -3*c + 63 + 65 = 5*y, c = -4*y + 108. Let u = -28 + y. Solve -17 + 47 = -5*j - 5*q, -5*j + 2*q - 9 = u for j.
-3
Suppose -5*y = -q - q + 7, 4*q = -5*y - 31. Let j be (-4 - 48/q) + -3. Solve -2*m = -2*d, d - j*m = -d + 9 for d.
-3
Let d(a) = 38*a - 225. Let s be d(6). Solve -s*p + 4*l = 18, 0*l - 5 = 4*p + l for p.
-2
Let s = 135 + -130. Solve -s*n - 21 = g - 4*g, 3*n + 4*g + 1 = 0 for n.
-3
Let o(g) = 2*g**2 + 13*g + 9. Let v be o(-6). Suppose 5*i + v = 13. Solve -5*u + 4*c + 4 = 14, -4*u = i*c + 8 for u.
-2
Let y be 14 + (-1218)/112 + (-3)/24. Suppose 0 = 5*c - 3*d - 7, 2*c = 7*c + 5*d - 15. Suppose o - 4*o = 0. Solve 3*t + c*f - 8 = 0, y*f + o*f = 12 for t.
0
Let f(u) = -u**2 + 10. Let t be f(5). Let j = 23 + t. Solve 2*y = -2*x + 2, -j = y + 3*y for x.
3
Suppose -2*w = -w + 52. Let p = 55 + w. Solve 2*h + p*y = -h + 12, -5*h = -2*y - 20 for h.
4
Suppose 48 = -2*x + 114. Solve 7 + x = 4*d + 5*y, -12 = -4*d + 2*y for d.
5
Let j(z) = z**3 + 7*z**2 - 5*z - 28. Let t be j(-7). Suppose 0 = -t*d + 28 - 0. Solve 0*q = 4*a - d*q + 36, 4*q = -a + 11 for a.
-5
Let f = -50 + 49. Let q be (2/(-4) - f) + (-138)/(-92). Solve q*u - 3*m = -22, 4*m - 14 + 3 = -u for u.
-5
Suppose -a = -h - 5*a + 64, 0 = -4*a + 16. Suppose h = 6*s - 72. Solve -4*g + 30 = -3*j + j, 3*j + s = g for j.
-5
Suppose 15*d = 97 - 22. Solve 4*k + u = -0 - 1, d*u = -4*k - 5 for k.
0
Let o be 15*(52/20 - 2). Suppose 4*q = -o + 17. Solve -3 = q*l + u - 2*u, 5*u - 5 = 0 for l.
-1
Let z be (-4)/(35/(-7) + -4 + 8). Solve -5*l - z*h = -14, -9 = -5*l + 5*h - 4*h for l.
2
Let r = -614 - -619. Solve -4*o + 0*o - 13 = b, -r*o - 4*b = 19 for o.
-3
Suppose 0 = 2*c - 0*c + 4*s - 74, -62 = -2*c - s. Let r(l) = l**3 + 5*l**2 + 3*l + 6. Let p be r(-4). Solve -f - f + c = -5*d, 4*d + 5*f + p = 0 for d.
-5
Let h(q) = q**3 + 3*q**2 - 28*q + 5. Let r be h(-7). Solve 4*j = -3*d - 1 + 9, r*d = 5*j + 25 for j.
-1
Let x(z) = 3*z**2 + 29*z + 68. Let b be x(-4). Solve 0 = n - c - 3*c - 1, 2*n - 2*c - 8 = b for n.
5
Let q be 121/3 + (-2)/6. Let h(u) = -4*u + 35. Let v be h(8). Solve 5*y - q = v*b, 3*b = -2*y - y for y.
5
Suppose 2*b + 6*b - 24 = 0. Suppose -b*j + 6*j - 20 = i, 3*i + 10 = -j. Solve -5*p + 4*n = -4, -j*n + 36 = -2*p + 6*p for p.
4
Suppose 109 - 34 = 5*z. Let f be (z/(-10) + 2)*0. Solve f = 3*l - 10 + 4, -4*l = 5*n + 2 for n.
-2
Let a(w) = w**3 - 11*w**2 - 15*w + 40. Let m be a(12). Solve -2 = 5*d + m*y, 3*y + 2 = -2*d + y for d.
2
Let w(u) = -7*u**2 + 121*u - 31. Let l be w(17). Solve -9 = 3*x - 3*m, -18 = -l*x + m - 19 for x.
1
Suppose g - p + 6*p + 15 = 0, 3*p = 4*g - 9. Let j be (-3*1)/(0 + -1). Solve g = -j*w + 3*i + 3, 0 = -2*w - 2*w + 2*i for w.
-1
Let y = 1628 + -1621. Solve -4*z + z = 2*f - 14, z + 3*f - y = 0 for z.
4
Let a = 25 - 17. Suppose -4*o + 0*o + a = 0. Solve 2*v = 5*i + 8, 3*v - 2*v + o*i = 4 for v.
4
Suppose 0 = 3*x - 6, -4*x + x - 81 = -3*c. Suppose 2*r + t - 4 = 0, -16 = 5*r - 6*t + 2*t. Solve v + d - 4 + 13 = 0, r = -5*v - d - c for v.
-5
Let c be 34/8 + (6 - 7)/4. Solve -4 = -t + 3*i, -c*t - i - 7 - 16 = 0 for t.
-5
Let i be (2/5)/((-13)/585*-9). Solve o = 5, -4*o + 27 - 17 = i*g for g.
-5
Let f(t) = t**2 - 7*t - 7. Let c be ((-4)/(-8)*-22)/(-1). Let n(w) = -w + 19. Let z be n(c). Let x be f(z). Solve h = -l - x, h - 2*l - 23 = 3*l for h.
3
Let k be (8/(-6))/((-74)/333). Solve x + 9 = -4*n - k, -4*x = n + 15 for n.
-3
Suppose 40 = -2*d + 12*d. Suppose -d*b + 5*b - 2*u - 7 = 0, 0 = 3*b - 4*u - 15. Solve k - 14 = -4*k - 2*y, -k + b = y for k.
4
Let o = -35 + 40. Suppose 5*h = -2*f + 8, 0 = 4*h + o*f - 2 - 1. Solve v + h = -2*i + 4*v, 2*i = 2*v for i.
2
Suppose -2 + 0 = -c. Suppose g - 6 = -0*g - c*f, -g = -4*f. Suppose -m - 1 + g = 0. Solve -17 = 2*y + 5*r, 0*r - m*r - 11 = y for y.
4
Let z be (0 + -2)*3*25/(-30). Solve 5*t = 3*a + t - 5, -t - 7 = z*a for a.
-1
Let t = -30 + 34. Let b = -25 + 39. Suppose b = 5*r + t. Solve -16 = -5*f + 3*w, 3*f - r*w - 10 = -1 for f.
5
Let l(q) = 2*q**2 + 2*q. Let x be l(2). Let a be 32/6 + 8/x. Suppose a*p = p + 60. Solve -4*h - p = -2*k, -5*h - 25 + 0 = -5*k for k.
4
Suppose 7*h + 115 = 136. Solve h*d - d = -y - 10, 2*d = -5*y - 18 for d.
-4
Let s be ((-6)/(-8))/(2/24). Suppose -4*x - 45 = -9*x. Let a = s - x. Solve -15 = 3*i + 3*l - 7*l, a = -2*l for i.
-5
Let l be 3/(-9) - 152/(-6). Let h = -9 + l. Let c = h + -7. Solve -3*v - 5 = n, -5*n - 16 - c = 3*v for n.
-5
Suppose 102 = 5*t + 32. Let w = -14 + t. Suppose -h - 5*h + 18 = w. Solve -z = -5*s + 2 + 7, h*s - 7 = -z for s.
2
Let x(t) = t**2 - 15*t - 98. Let v be x(20). Solve v*a - 3*f = 3*a - 13, -12 = -4*a - 4*f for a.
-2
Let w(h) = -5*h - 5. Let x be 8/(-2) + 3 + (-1 - -1). Let m be w(x). Solve -i - 1 = j, 5*j - 3*i + 2 - 21 = m for j.
2
Suppose 0*k - 150 = 5*k - f, 5*k = 5*f - 150. Let a = k - -58. Suppose -4*s - 12 = -a. Solve 5*n = 2*u - 16, 0*n - 4*n + s = 4*u for u.
3
Let g be 4*(10/(-4) - -3). Let i(n) = n + 1. Let h be i(-8). Let o = 15 + h. Solve 4*f - o = 2*x - 4*x, -2 = -g*f for x.
2
Let j be -1*(3 + 1 + 5). Let h = j - -12. Suppose -4*w = -0*m - m + 2, h*m + 3*w = 36. Solve 4*n - 2*g = -4*g + m, 5*n + 5*g = 0 for n.
5
Let q = -12 + 17. Suppose -53*y + 47*y = -48. Solve -q*r + 3*a = -y - 0, r = -a for r.
1
Let x be 4/22 + 2862/594. Solve -7 = n - 2*r, -x*n - 5*r - 2 + 27 = 0 for n.
1
Let y(a) = -a**2 + 11*a - 26. Let g be y(6). Solve d = -g*s - 5, 4*d + 13 = s - 7 for s.
0
Let x be -9 + 1 + (-4 - -15). Solve -4*b + 2 = a - x*b, -5*b = 5 for a.
3
Let j(f) be the second derivative of f**4/12 + 2*f**3/3 - f**2/2 + f. Let w be j(-5). Solve -w*n - 47 = -5*b - 11, 5*b = 20 for n.
-4
Let y = -28 + 42. Let m = 16 - y. Solve 4*i = -7*g + 3*g - 36, -4*g - 28 = m*i for g.
-5
Suppose 4*w = 20, -4*u - 4*w + 39 = -1. Solve -u*p - v = -30, 2*p - 1 + 6 = 3*v for p.
5
Suppose 4 = s - 0. Let q be -1*(-4)/s - 1. Suppose q*h = -h. Solve 7*l - 3*l + k = 11, h = 3*l - 5*k - 14 for l.
3
Let j be (-4)/3*6/(-4 + 2). Suppose 5*d - 3*f = f + 4, -3*f = j*d + 3. Solve -5*b + 5*s - 40 = d, 2*b - 5*s + 10 = 3*b for b.
-5
Let s = -33 + 38. Let d = s - 1. Suppose d*x + 24 = -r + 2*r, -2*r + 56 = -4*x. Solve -2*c = -6, 0 = 4*h - 4*c - 0*c + r for h.
-5
Suppose 0 = -3*m - j - 2 - 14, -j = -4*m - 26. Suppose 10*q - 120 = -80. Let s be (m/q)/(15/(-40)). Solve s*h + 5*w = -4, 2*w + 5 = -5*h - 0*w for h.
-1
Let f(k) = -11*k - 30. Let v be f(-3). Solve 4*g + 0*t - v*t + 20 = 0, -3*g - 4*t - 15 = 0 for g.
-5
Let j be (-2)/((-24)/10 - -2). Let d(w) = 5 + 12*w**2 + 3*w**3 + 3*w**3 - j*w**3. Let p be d(-12). Solve -5*k - 6 = 3*i + p, -3*k + 3 = 5*i for k.
-4
Let f be (-125)/40 - (-2)/16. Let g(p) = -5*p - 2. Let z be g(f). Solve -z = -5*k + 3*n - n, 0 = 4*k - 5*n - 24 for k.
1
Suppose -309*l + 16 = -1529. Suppose 1 = 4*x - 15. Suppose 0*v - 5*v + 115 = -5*o, 0 = -5*v - o + 115. Solve 3*z + 4 + 5 = l*f, 0 = -5*f - x*z + v for f.
3
Suppose -