n + 12 for n.
5
Suppose 0 = -3*h - 6, -24 = -5*l + 2*h - 125. Let w = l + 6. Let z = w - -19. Solve -y = -z*m - 4*y - 1, -2*m - 2*y = 0 for m.
-1
Let u be ((-30)/(-4) - 0)*448/140. Let g = 3 - -1. Suppose -5*c - 36 = -4*x, -c - u = -g*x - x. Solve 5*f + x = 5*h - 6, -3*h - 12 = 3*f for h.
-1
Let s be (6 + -5 + (6 - 6))*3. Solve 3*h = 15, 3*v + h = -s*h + 20 for v.
0
Suppose -3*g + 1 = 5*j - 0*g, -5*g - 5 = 5*j. Suppose 0 = 2*i + j*p - 2, 3*p + 2*p + 10 = -2*i. Solve -20 + 4 = i*m - 3*v, 0 = -2*m - 3*v + 2 for m.
-2
Let v(q) = -7*q**2 + 62*q + 13. Let z be v(9). Solve 3*t - z*r = -r + 18, 0 = 4*t + 3*r - 3 for t.
3
Suppose 0 = -62*w + 63*w - 19. Solve -5*b + w = 2*s - 0*b, -b = 3*s + 4 for s.
-3
Let r(s) = -s. Suppose -11*c = -8*c + 36. Let w be r(c). Solve -2*q - 4*l - w = -0*l, 0 = 5*q + 3*l + 16 for q.
-2
Suppose -2*z = 4*r + 5 - 125, 0 = -z - 3*r + 64. Let a = z - 45. Let c be 2/((-4)/6*-1). Solve 0 = -c*d - 4*p - a, 0 = -2*d + 5*d + 2*p + 5 for d.
-1
Suppose 0 = -3*c + 4*c - 4. Suppose -a - 10 = -3*d, -c*a = -d + a - 20. Solve 3*q - 31 = 5*j, d*j + 0*q - 4*q = -33 for j.
-5
Suppose -3*x = x - 16. Suppose 5 = -j, x = -2*l - 2*j - 6. Let i(b) = -b**3 + 7*b**2 + 7*b + 9. Let q be i(8). Solve 6*h = -3*k + 2*h + 4, l = k - h + q for k.
0
Suppose 0 = 17*u - 2*u - 60. Solve 2*p + 5*x - u = p, p = -x for p.
-1
Let o be -4*((-6)/(-7))/(176/(-154)). Solve d = o*h, -d = -5*h - 4*d + 14 for h.
1
Let a = -301 - -303. Solve 4*k + a*v - 12 = k, -13 = -2*k - 3*v for k.
2
Suppose -7*a = -a. Solve p + a*x - 4*x - 1 = 0, -5*p - 4*x = 19 for p.
-3
Let c be (19/((-133)/2))/(2/(-7)). Suppose 10 = -5*m + 5*i, -3*i - c = 2*m - 17. Solve -y - 8*x = -3*x + 10, -m*x - 4 = -2*y for y.
0
Let r be (14/(-5))/((-2)/10). Suppose -5*g - 5*u = -95, -3*u = -5*g + 2*g + 39. Let t = g - r. Solve t*b - 4 = 3*x - x, 0 = 3*x - 4*b + 6 for x.
-2
Let w = -5 + 7. Let m(t) = t**2 + 5*t - 14. Let f be m(-8). Suppose -3*k + 3 = -3*g, f = -k + 5*g - 1. Solve 3*p - k*o - 12 = 4*p, -w*p = -o - 12 for p.
4
Suppose -5*d + 18 - 3 = 0. Suppose 5*g + 10 - 25 = -2*k, d*g - 4*k = 9. Solve -3*j + 17 = -2*t, 0 = -4*t - 2*j + 3 + g for t.
-1
Let n = -8 - -10. Let c = -62 + 66. Solve -r - n*r = -f - 10, 3*f + 10 = c*r for r.
4
Suppose -12*b = -9*b. Suppose -p + 4 = b, 0*s - 74 = -5*s - p. Solve -5*r + 23 = 5*n + 3, 5*n - s = r for n.
3
Let l be (-2 - (1 - -2))*(-6)/15. Suppose -4*z + 5 - 2 = -5*x, 0 = l*z + 4*x - 8. Solve -z*q = -5*t - 12, 4*t + 2*q = 4*q - 10 for t.
-2
Let k = 47 - 32. Let f = k - 10. Let d(w) = w**3 - 16*w**2 - 19*w + 42. Let z be d(17). Solve -f*u + 4*a = 8, 2*a + 2*a - z = -2*u for u.
0
Let q(v) = v**3 - 2*v**2 + 4*v + 1. Let f be q(3). Let k(u) = 4*u**2 - 3*u - 3. Let n be k(-2). Let j = f - n. Solve -j*h + 6 = 0, -i - h + 0 - 2 = 0 for i.
-4
Let d(y) = -y**2 + 5*y - 3. Let a be d(3). Let j(g) = 2*g**3 + 3*g - 12. Let n be j(2). Solve 5*i - r + n = 0, a*r + 8 = -2*i - 2*i for i.
-2
Suppose y - 10 = -y - 2*s, 0 = -y - 4*s + 2. Let k be (-1568)/(-80) + y/(-10). Solve 0 = 4*v + v - x + 21, 5*v + x + k = 0 for v.
-4
Let t be (10/(-4))/(2/(-8)). Let w be -12*((-105)/10)/7. Solve 0 = 5*q - 3*k - w, t = 4*q - 0*k + 2*k for q.
3
Suppose 0 = 2*h - 3*j - 33, 2*h - 5*j - 61 = -2*h. Suppose 2*r - h = 27. Suppose -10*i + 4*i = -r. Solve -5 = -i*z + 4*w, 2*z - 3*z = -w for z.
-5
Suppose -204 = 5*i + 61. Let o = 56 + i. Solve y + 3*r - 14 = -o*y, -3*r + 4 = 2*y for y.
5
Let b(v) = v**3 + 18*v**2 + 17*v + 5. Let m be b(-17). Let n = 33 - 29. Solve 0 = 2*i, a = 2*i + m - n for a.
1
Let c(q) = -5*q + 44. Let t be c(8). Suppose -58 = -t*y - 58. Solve -10 = 5*d + 5*r, 2*d + y*d - r + 10 = 0 for d.
-4
Let b = -2450 + 2454. Solve 5 = 5*i + 4*v - 0, -b*v + 2 = 2*i for i.
1
Let w(x) = -5*x**3 + 2*x + 2. Let f be w(-1). Suppose f*q + q = 24. Solve -l + b - 4 = 0, -2*l + 4*b - q = -l for l.
-4
Let n be (-8)/(-12)*-258 + 0. Let f = 67 + n. Let p be f/(-9) - 3/(-9). Solve 0 = 3*z - u + p, -u = 2*z - 4*u + 15 for z.
-3
Let g = 242 - 237. Solve -3*k + 32 = 4*s, g*k - 5 = -0*k + 3*s for k.
4
Suppose l = -3*l + 3*h + 8, 8 = 4*l + 3*h. Solve -5*r - 2*y = l, 2*y = 5*r - 3*y - 5 for r.
0
Suppose -4 = 3*g + 41. Let f = -14 - g. Let a be (1 - 0)*(f - -3). Solve -2 = -2*o - 0*o, a*n = 2*o + 10 for n.
3
Let d(p) = 8*p - 4. Let h be 9 + -10 + (1 - (-4 - -2)). Let w be d(h). Solve -2*n = n + 3*q - w, -5*q = -3*n + 4 for n.
3
Let y = -45 - -45. Suppose -2*k + y*u + 4 = -2*u, -2*k - 4*u + 16 = 0. Solve -12 = k*x + 5*m, 6 = 2*x - 4*x - m for x.
-3
Suppose v = 5*q - 119, 5*q - 107 = -4*v + 2*v. Let j be (3 - (-2)/(48/(-68)))*6. Solve -2*l + q = 2*l + 5*h, 0 = 5*l - 3*h - j for l.
2
Let x be 1 - (46/(-18) - 12/27). Solve 4*t + 3*j = -3, -t + 5*t + 8 = -x*j for t.
3
Let u(k) = -k**2 + 3*k + 4. Let g be 1/2*6 + 19. Let m be g/5 - 2/5. Let b be u(m). Solve 5*d - 12 = 4*o, b = -3*o + 6*o + 3*d + 9 for o.
-3
Let q(c) be the third derivative of -c**5/30 - 5*c**4/6 + 4*c**3 - 12*c**2. Let f be q(-11). Solve -5*m - 19 = -j + f*j, 4*m + 16 = 0 for j.
1
Let v be (-5)/(-2) + (-4)/8. Let a be (-2 + (-30)/12)*(-12)/18. Let m(c) = 3*c - 1. Let t be m(2). Solve -z - 2 + 27 = -t*w, -2*z - a*w = v for z.
5
Let r(c) = -c**3 - 23*c**2 + 3*c + 74. Let q be r(-23). Solve 0 = 2*t - q*l - 15, -4*l + 5 = 3*t - 8*t for t.
-5
Suppose -4*q + 15 = -5*s, -3*q = 2*s - 7*q + 18. Solve -4*l - 3 = -5*b, -2*b - s = -2*l + 3*b for l.
-2
Suppose 0 = -385*n + 391*n - 24. Suppose -s + 17 = 5*o, 2*o - 7 = -2*s + o. Let i = n - s. Solve -2*z + 3 = -i*h - 5, z - 13 = 4*h for z.
1
Let a = -5 - -5. Suppose 4*k - 22 = 6*k. Let l = k + 11. Solve 3*t + o = l, 2*t - 2*o + 0*o + 8 = a for t.
-1
Suppose -4*i - 4*v = -43 - 97, 0 = 5*i + v - 159. Let x = 9 + 9. Suppose -4*p + 102 - x = 0. Solve 2*m + 2*m + p = -l, -4*m - 3*l - i = 0 for m.
-4
Let r be (-7)/2*((-144)/28 - -4). Suppose -2*j + 3*j = s - 24, r*s + 5*j = 51. Solve h + 5*o + s = 0, o = -3*h + 5*o for h.
-4
Let h(s) = -s + 5. Let b be h(1). Solve -b*u = -4*j - 8, 3*u + 16 = -5*j + 6*u for j.
-5
Suppose y - 3 = -0, 5*b = y + 17. Suppose b*u = 9 - 1. Solve w + h + 1 = 0, 4*w - 4*h = -u*h - 4 for w.
-1
Suppose 3*a - 17 = -3*o + 7, -5*a + 20 = 0. Let d = 55 + -50. Suppose 4*q = d - 1. Solve -35 = -5*c + 2*r, -4*c - 3*r + q = -o for c.
5
Suppose -9 = 2*i - 5*i. Let y = -40 + 44. Suppose -y*t = -2*n - 8, -2*n + 28 - 8 = i*t. Solve -4*g = -x + t*x - 20, 3*g = -2*x + 15 for x.
0
Suppose g - 2*m + 5 = 0, 0 = g - m - 4*m + 20. Suppose -2*h = 7 - 23. Solve -2*k - h = -g*r, 2*r - 3 - 2 = -k for k.
1
Let u = -3152 + 3153. Suppose -5 - 27 = 4*y. Let r be (y/10)/((-1)/5). Solve -k + u - 16 = -r*i, 5*k = -5*i + 50 for k.
5
Let o(g) = -g**2 + 15*g + 21. Let b be o(16). Suppose d - b*k = 2*d - 31, -4*d = 4*k - 140. Solve -5*f = -4*u - d, 1 = 3*f + 4*u + 5 for f.
4
Let w = 259 - 231. Solve -n = -4*z - 17, -n + z + w = 4*n for n.
5
Suppose 0 = 3*k - 8 - 4. Solve 0*y - 1 = -3*y - k*o, -3*o - 15 = -3*y for y.
3
Suppose 31 + 39 = 7*m. Suppose 0 = -m*k + 23 + 27. Solve -d - 18 = i - 4*d, -4*i + 13 = k*d for i.
-3
Suppose 10*w - 3 = 7*w. Suppose -t + w + 3 = 0. Solve 3*k = -2*a + 25, t*a = -0*a + k + 15 for a.
5
Let o be 35/(-4) + (-1)/4. Let l = 6 + o. Let f be -2 - -1 - 60/l. Solve 3*m - 3*y = 21, -3*m + y + f = m for m.
4
Suppose 94*i = 83*i + 33. Solve -10 = 5*j + i*p, 5*p + 24 = -2*j + j for j.
1
Let x be 220/(-35)*-4 - (-1)/(-7). Suppose -27*s + x*s = -6. Solve -n + 5*r = -0*n + 8, -2 = 2*n - s*r for n.
2
Let n = 2 - -43. Let h be 12*6/n - (-6)/15. Solve -l = h*l + 5*s + 35, -3*s - 27 = 3*l for l.
-5
Let c = -6 + 9. Suppose 2650 = 5*a - 10*a. Let k be 2/11 + a/(-110). Solve -c*q - 3 = -3*j - 12, k*j = 4*q - 13 for j.
-1
Let f be (-12)/(-30) - 53/(-5). Let l = f - 7. Solve 0 = -3*p + 3*a - 9, 2*p + 0*a + 3*a - l = 0 for p.
-1
Suppose -2*l + 5*l = 108. Let m = 39 - l. Solve -3*q - 2*r = 23, 0 = q - 6*r + 4*r - m for q.
-5
Let s = 3 - 0. Suppose t = 4*z - 59, 2*t = s*z - 31 - 17. Suppose -2*f + f + 7 = -k, -3*k - z = -2*f. Solve 5*x - 2*r = 3, 3*x - f = -2*r - 2 for x.
1
Let r be (-8)/(-10) + -1 - 319/(-145). Solve -r*o = 5*c - 23, -5*c = 5*o + 14 - 49 for o.
4
Let f = 19 - -5. Suppose -34*g = -36*g + f. Solve l = 5*p + g, p = -0*p + l - 4 for p.
-2
Let m be 3/(-2) - (-306)/68. Solve 0 = -3*v - 4*p + 5, 2*v - 4*p + 7 = -m for v.
