3*n for n.
0
Suppose -109 - 28 = 3*v - 2*x, v + 3*x = -42. Let u be (12/8)/((-3)/(-8)). Let n be u/6*v/(-10). Solve 8*k + 2*w = n*k + 10, -5*k = -w + 5 for k.
0
Let u(s) = -2*s + 13. Let a be 7 + 2 + 3 - 3. Let b be u(a). Let z be 5/b*(-2 - 1). Solve z*c - 27 = -0*c + 5*f, 10 = c - 2*f for c.
4
Suppose 80*c + 30 = 86*c. Solve 12 = -3*f + 3*d, c*f + 8 = -3*d - 20 for f.
-5
Let m = -32 + 37. Let p be 2/m*(-4 - -9). Suppose p*x = 7*x - 5. Solve 0 = -5*a + 2*h - 7, -2*a + 2*h - x = a for a.
-3
Suppose q - 16 = -7*k + 3*k, -2*q - 16 = -4*k. Solve -3*c = 9, -c = 2*o - 3 - q for o.
3
Suppose a - 2 = -o, -a - 4 = 2*o - 8. Suppose 0 = 4*f - 6 - 14. Solve f*w + 4*i = 25, -w + 5 = -a*w + 4*i for w.
5
Suppose 0*k - 3*k - 18 = 0. Let h(d) = d**3 + 6*d**2 - 2*d - 9. Let i be h(k). Solve -3*r + v = 13, -i*r = 2*r + v + 11 for r.
-3
Let j = 122 - 114. Suppose j*f + 3 = 9*f. Solve 3*u = u + 5*d + 6, -f*d = u + 8 for u.
-2
Let g(z) = 20*z + 182. Let y be g(-9). Solve -3*l + 5 = -2*b, -3*b - 6*l + y*l = 16 for b.
-4
Suppose 47 = 2*g + 2*u - 5*u, 2*g + 2*u = 72. Suppose 2*d - g = -21. Solve 3*v + m = -2*v + 27, 0 = d*v - 4*m - 17 for v.
5
Let r(p) = 2*p + 24. Let y be (-70)/(-21)*6/(-2). Let a be r(y). Solve 4*h = 4*k, -a*k - 5*h - 5 = -41 for k.
4
Let k(c) = 5*c**2 - 5*c - 22. Let n(v) = v**2 + v + 1. Let r(i) = -k(i) + 6*n(i). Let p be r(-4). Solve 4*s + 3*b - 3 = 3, p = 4*b + 8 for s.
3
Suppose 23*i = 10*i - 247. Let w = i + 19. Solve -l + 2*r - 4 = 0, w = l - 3*r + 8 - 0 for l.
4
Suppose -9*j = -4*d - 11*j + 8, -4*j - 10 = -5*d. Let m = -2 + 6. Suppose 0 = b - 19 + m. Solve -3*h = d*k + b, 10 = 2*k - 5*h + 1 for k.
-3
Let p be (-6)/(-21)*((-33)/(-3) + 3). Let b = 13 - 8. Solve -25 = 4*s - b*y, 5*s - 2*y - p = -31 for s.
-5
Suppose g - 4 = 2. Let v = 9 - g. Let r be 12/(-8)*(-8)/v. Solve 0 = -r*h + 5*i - 12, 3*h + i = -0*i + 10 for h.
2
Let l(d) = 10*d - 55. Let b be l(6). Let w be (-1 - (b - 9))/1. Solve -2*g + 1 = -w*g, 3*x = 4*g - 8 for x.
-4
Suppose 3*v + 0*v = -54. Let y be ((-30)/v)/((-1)/(-15)). Suppose 0 = 2*u + 4*h, -3*u + 5*h = -5*u - 1. Solve 3*z + y = u*a, 0 = z + 5*a - 5 - 15 for z.
-5
Suppose -64*o + 116 + 12 = 0. Solve o*n + n - 2*q = 4, 2*n + 5*q = -29 for n.
-2
Let j be 8/14*35/10. Let v be (-4 + 5)*(-5 - j). Let u(n) = -3*n - 8. Let a be u(v). Solve 0 = -3*t - 5*h - 18, a = -2*t + t - 4*h for t.
-1
Suppose -7 = -r + 2*x, 3*x - 22 = -4*r + 5*x. Let j be (-75)/(-21) + 104/(-182). Solve -2*h = m + 5, -3*m - r = j*h + 7 for m.
-3
Let c be (55/(-15) - -1)*-3. Let w(u) = c*u**2 + 13*u - 2 + 16 - 9*u**2. Let p be w(14). Solve p*z + z - s = -7, -4*s - 12 = 4*z for z.
-5
Let s = 12 + -7. Suppose 32 = 5*t + 12. Suppose 0 = s*m - 1 - t. Solve b + 1 = -4*d + 6*d, 0 = b - d + m for b.
-1
Let i be (-6)/12*2*(-13 + 0). Solve -i = k + 2*m + 2*m, -10 = -5*k + 5*m for k.
-1
Let m = -2435 - -2435. Solve h - 5*f - 2 = m, 3*h - 2*f = -2*h - 13 for h.
-3
Let q be -4 + 6*(-8)/(-6). Suppose q*s + 5*m = 30, -3*s + 8 + 15 = 4*m. Solve 4*p = s*o - 0*o - 1, -3*p + 3 = 0 for o.
1
Let d(n) = n**3 + 28*n**2 - 66*n - 175. Let t be d(-30). Solve 4*h - 4*b - 11 = 5*h, t*h - 5*b = -5 for h.
-3
Suppose -2*h = 3*h - 20. Suppose -4*f + 2*g + 15 = 5, 20 = h*g. Suppose -4*p - p = f*i + 10, 0 = i - p - 6. Solve l - 4 = -4*m + 1, i*m + 10 = 2*l for l.
5
Let q = 60 + -55. Suppose -2*s - 4 = 2*u, 4*u - 6*u + 4*s + 20 = 0. Suppose u*i = -q*i. Solve i*m = m - j + 6, -3 = -2*m - 3*j for m.
-3
Let s(a) = a - 1. Let k be s(0). Let g be (3 - 1)/(k/(-2)). Let o = 1936 - 1931. Solve -o*p + 2*t - 4*t = -1, g*t = -8 for p.
1
Let g = -1221 - -1225. Solve -4*a + 4*b - 8 = 0, -4 = -g*a - b - 22 for a.
-4
Suppose -6*s - 5*s + 220 = 0. Suppose -s = -5*d - 0*d. Solve 0 = -o + d*x - 16, -3*x + 5*x = 6 for o.
-4
Suppose 145 = -6*l + 35*l. Solve l*p - 40 = -5*h, -2 = -2*h + 2*p + 2 for h.
5
Suppose 10*f - 5*u - 50 = 5*f, -5*f = -u - 70. Solve 3*d - p + 6*p = 10, -p - f = 4*d for d.
-5
Let u be 2/(5*5/50). Let j be (-64)/(-14) - u/7. Suppose n + 5 = -2*p - p, 4*p + 5*n + 25 = 0. Solve 4*d + 35 = -5*r, -d - j*d - 25 = p for r.
-3
Suppose 0 = -15*b - 149 + 239. Solve 4*j - 14 = t, 4*t + 6 = 5*j - b for j.
4
Let o(j) = j + 7. Let p be o(0). Let k be (1/(-2))/(2/(-16)). Suppose a + 12 = -5*b, -23*b = -4*a - 27*b. Solve 2*d = a*q - 17, 5*q - 22 = k*d - p*d for q.
5
Let x(p) = 1 + 6*p + 0 - 6 + p**2. Let w be x(-7). Let s be (1 - (3 + -5)) + 2. Solve -20 = w*g + 4*u, 4*g - 3*g + 19 = -s*u for g.
-4
Suppose -5*n - 12 = -5*h - 2, n - 3 = 0. Solve -4 = -3*x - z + h, -3*z - 29 = -5*x for x.
4
Suppose 0 = -13*x + 14*x - 32. Let f = x - 27. Let j(o) = 2*o - 6. Let u be j(f). Solve 5*t = 3*z + 23, u*z = -2*t + 2 + 2 for t.
4
Let d = 3 + -1. Solve 0 + 3 = 5*w + d*r, -22 = 2*w - 5*r for w.
-1
Suppose -6*b + 7 = -5. Suppose b*r - 33 = -s + 6*s, -3*r = -2*s - 33. Solve -4*g = 3*m + r, 5*m - 4*g - 1 = -16 for m.
-3
Let y(p) = 2*p - 60. Let v(d) = d - 24. Let u(i) = 12*v(i) - 5*y(i). Let j be u(-5). Suppose 4*k = -k + 10. Solve -2*g = -3*z - 0 - k, j = 2*z - 2*g for z.
-4
Let m be (35/6)/(-7) + (-573)/(-18). Let o be -2 - (-3 - (-1 - 1)). Let r = 3 - o. Solve 5*p + r*j = 43 - 6, -5*p - 2*j = -m for p.
5
Let h = 53 + -50. Suppose 64 = 5*o - m - h*m, -2*m - 8 = -o. Solve -12 = 3*b - 3*g, -3*b - o = -0*g + g for b.
-5
Suppose -3*l + 5*d + 17 = -4*l, 2*l + 3*d + 6 = 0. Suppose -5*v = 4 - 44. Solve -l*m + h = -10, -2*m - 5*h = -v - 10 for m.
4
Suppose -37*y - 672 = -121*y. Solve -4*l = -2*g + y, -21 = 5*g - 1 for l.
-4
Let g(b) = -b + 7. Let n be g(2). Let i = n - 3. Let p(r) = -28*r**3 + r**2 - 1. Let y be p(-1). Solve 4*t = -3*w - y, 10 = -i*t - w - 2 for t.
-4
Let v be (43 + 0)*18/18. Let w = v - 39. Let y(o) = -o - 4. Let m be y(-6). Solve 8 = -w*n, 3*t = -t - m*n - 8 for t.
-1
Let z = -2 - 6. Let t = z + 12. Suppose 4*k + 10*q - 32 = 5*q, -4*q = -5*k - 1. Solve c = -k, v + 2 - 11 = t*c for v.
-3
Let t(r) = -16*r - 16. Let k be t(-2). Let g be (-1)/2 + 40/k. Solve 4*f - 1 = -m, m - 8 = g*f + f for m.
5
Suppose 3 = 3*j - 4*r, -j + 13 = 3*r - 1. Suppose -2*z = -j*w + 98, 2*z - 102 = -2*w - 3*w. Solve 5*y - 1 = 2*h + h, w = 4*y + 4*h for y.
2
Suppose 3*c = -5*m - 0*c + 85, 29 = m + 3*c. Let v be (12/21)/(((-2)/m)/(-1)). Solve -f - 4*f + 5*p - 25 = 0, -2*f = -v*p + 12 for f.
-4
Suppose 4*u = k + 11, 2*k + 3 = 2*u + 5. Suppose 3*r = -u*w + 11, 2*r = -5*w + 5*r + 7. Solve w*f - 11 = o, f + 0*o = 5*o + 10 for f.
5
Suppose 4*c - 93 + 81 = 0. Solve a = -0*a + 3, t - 12 = -c*a for t.
3
Suppose 26 = -5*n + 1, -3*u - 4*n - 14 = 0. Solve -w - w - u = -3*l, 0 = -5*l - w + 25 for l.
4
Let k be 3/(-5) + (-14)/10. Let f = 14 + k. Let q = -2 + 6. Solve 41 = 5*w - 4*t, t - f = q*t for w.
5
Suppose -6 = 2*q, -2*c = -5*c + 2*q + 21. Suppose 12*a - 13*a = 0. Suppose s + 2 - 4 = a. Solve -4*x = -5*u - c, 0 = -2*u + x + s - 1 for u.
3
Let v(i) = i**3 - 4*i**2 + 5*i - 3. Let j be v(3). Suppose 0 = 4*u - u + j*n - 15, 5*u + 7 = 3*n. Solve -5*w - u = 4*s + 8, w + 13 = 2*s for w.
-5
Let o = 24 - 24. Suppose -5*h - 5 = 0, -2*k - 2*k - 2*h = -74. Solve -1 = t, -k = -4*v - t - o*t for v.
5
Let a = 81 - 77. Let x(n) = -n**3 + 6*n**2 - 7*n - 2. Let y be x(a). Solve 2*m + 21 = 5*c, -3 = y*c - 5*m - 24 for c.
3
Suppose 5*y + 2*m = 42, 5*m + 1 = 6. Let v be (-2 + 3 + y)/3. Solve 2*i - i - 5*u = 5, -5*i + v*u = -3 for i.
0
Let a = 31 - 28. Let d(i) = i**3 - 9*i**2 + 9*i - 4. Let j be d(8). Suppose -3 = -5*w - 4*f - j, f = -4*w + 8. Solve 0 = a*t - 6, t + w*t - 14 = -2*o for o.
3
Suppose 114 = 5*p - 5*n - 16, 5*n = -5. Solve 3*z + 2*z = -5*h - p, -5*h - 21 = 4*z for z.
-4
Suppose 10*s - 15*s + 5 = 0. Let h(x) = -s - 14*x - 1 + 15*x. Let j be h(2). Solve -3*d + 4*o - 9 = -0*o, -d - 2*o + 7 = j for d.
1
Let i = 7 + -5. Let w be 3 + 2/i - 1. Solve -w*n = 4*x - 28, 2 = 2*x + 5*n - 26 for x.
4
Let x = -32 - 10. Let s = -72 - -143. Let f = s + x. Solve -5*t + 26 = 3*z, 5*t - f = -4*z - 1 for z.
2
Let r be (-14)/3 - (40/15)/(-4). Let t be (r - -5)*(3 + 1). Solve 0 = s - 2*w + 14, t*s + w - 4 = -3*w for s.
-4
Let i = 1254 - 1254. Solve i = 3*o + 2*a - 25, o + 2*a - 13 - 2 = 0 for o.
5
Let h = 26 - 30. Let y be 3 + -2 + h/(-4). Solve -y*q + 3*q - 10 = -3*x, q = x + 2 for x.
2
Suppose 5*w = 4*m - 10 + 3, 3*m - 29 = -w. Solve c + 0*c - 14 = 3*t, c - m = t for c.
5
Let