 = k for u.
2
Let n be 508/20 - (-4)/(-10). Suppose 6*a = a + n. Suppose -16 - 4 = -a*l. Solve 0 = -9*y + l*y + 10 for y.
2
Suppose 2 = 7*l - 68. Solve -30 = -8*p + l for p.
5
Let n = -5 - -9. Suppose -n*p + 3*p = 0. Solve p = -x + 3*x + 4 for x.
-2
Suppose -5*a + 86 = 4*x - 80, 3*x = 3*a - 78. Solve -26*s - a = -11*s for s.
-2
Suppose -2*j = -0*j - 5*w + 31, 4*j = -3*w + 3. Let x be 13/4 + j/12. Solve 6*q + 12 = x*q for q.
-4
Suppose -5*x - b + 8 = 0, -3*b + 4 = -32*x + 27*x. Solve -x = -2*o + 9 for o.
5
Suppose -2*g - 212 + 220 = 0. Solve -2*u - g*u - 24 = 0 for u.
-4
Suppose -4*c + 127 = b, -9*c + 5*c + 4*b = -112. Suppose -33*l = -c*l - 12. Solve -4*s = -l + 14 for s.
-2
Let f(a) = a**2 + a - 7. Let t(u) = u**3 - 4*u**2 - 4. Let m be t(4). Let y be f(m). Solve 5 = -y*z - 5 for z.
-2
Suppose 8 = -3*b - b - 2*r, -5*r = b + 20. Suppose l = -m + 5, 3*l = -b*m - 2*m + 8. Let w(y) = -y + 7. Let c be w(m). Solve -5*n + 7 + 18 = c for n.
5
Let w be 12/(-18) - -4 - 1/3. Solve -n + w*n + 2 = 0 for n.
-1
Let c be 504/12*24/7. Let v = -144 + c. Solve -13*h + 9*h - 16 = v for h.
-4
Let h = 3 - 6. Let d = h - 7. Let g = d + 30. Solve -g = -4*o - 4 for o.
4
Let w be ((-1)/2)/((-1)/10). Suppose 4*l - 5*l = -2*y + 12, 4*l + 36 = w*y. Let j be (l - -3)/1*-3. Solve j*d - 1 = 5 for d.
2
Suppose 82*d - 85*d + 114 = 0. Solve -6 = -d*i + 41*i for i.
-2
Let w = -77 - -87. Suppose i - 5*m - 5 = 0, 2*i - w = -0*i - 3*m. Solve -8*t = -3*t - i for t.
1
Let f = 292 + -292. Let l(p) = -p + 8. Let b be l(8). Solve f = 5*r - 20 - b for r.
4
Suppose 4*z = 2*x + 10, -2 + 7 = -3*x + 4*z. Solve 0*v - 25 = x*v for v.
-5
Let v be 65 - 19 - (-1 + 4). Suppose -p - 5*a - 11 = 0, 0 = 4*p - 5*a - v + 12. Solve 6*u - 2*u - p = 0 for u.
1
Let j(b) = 9*b**2 - 5*b. Let x be j(2). Solve 15 = 31*l - x*l for l.
3
Let n(f) = f**3 + 3*f**2 - 2. Let l be n(-2). Suppose -2*j + 12 = l*j. Solve j*g + 9 = -6 for g.
-5
Suppose -4 = -4*y, -2*t + 11*y = 8*y + 3. Solve 6*a - 4*a - 2 = t for a.
1
Suppose 0 = 5*d - 0*r + 4*r + 30, 0 = -2*r - 10. Let v be 2/6 - 20/(-3). Let u = d + v. Solve u*n = 8 - 33 for n.
-5
Let x be 0/((-5)/(-10)*-4). Solve -22*b + 24*b - 10 = x for b.
5
Suppose -6 = -3*x + 5*c, 35 = -4*x + 5*c + 43. Solve j - 3 = -x*j for j.
1
Let q(t) = -t + 10. Let u be q(-6). Suppose 3*b + 3*o = b + 12, 2*o - u = -4*b. Solve 3*r + 12 = -b for r.
-5
Let t = -148 - -159. Solve 21 = -4*d + t*d for d.
3
Suppose -3*p = -12, 10*p - 5*p = -2*c + 52. Suppose -c = -12*z + 20. Solve 0 = z*m - 10 + 1 for m.
3
Suppose 3*u = 6*n - n + 29, -4*u + 5*n + 32 = 0. Solve -u*m + 0*m = 12 for m.
-4
Let p(c) = -1 + 4 + c**2 + 0*c - 2*c**2 - 8*c. Let w be p(-8). Suppose -w*d - 7 + 19 = 0. Solve 0 = -5*a - 11 - d for a.
-3
Let s(m) = 5*m + 12. Let h be s(-2). Solve -4 + 0 = h*u for u.
-2
Suppose 176 = 4*l + c, 2*l - 98 = -2*c + 4*c. Solve -3*u - 51 = -l for u.
-2
Let s be 1/(5/(-2) + 2). Let m(p) = -p**3 - 2*p**2 - 2*p - 2. Let t be m(s). Solve 2*z = -t*z - 4 for z.
-1
Suppose 57*m - 65*m = -280. Solve m*w = 28*w for w.
0
Let d = -126 - -129. Solve -d*p - 4 + 16 = 0 for p.
4
Let z(p) = 0*p - p - 890 + 864. Let g be z(-26). Solve -12 = 4*f - g*f for f.
-3
Suppose 0*g + 6 = 2*g. Suppose -2 = -2*n - 0. Let v be -2 - n - (2 - (4 - -3)). Solve v*z = 3*z - g for z.
3
Suppose -h + 17 = -2*n, -2*n - 2*h + 0*h - 14 = 0. Let q(d) = -2*d - 6 + d + 0. Let w be q(n). Solve -2*g = w*g - 8 for g.
2
Let b = -5 + 8. Suppose 0 = -3*f + 4*a + 92, -f + 2*a + 30 = a. Suppose -5*m - 3*r + 2*r = -34, 0 = -2*m - 4*r + f. Solve -b*d = -6*d - m for d.
-2
Let y = -14 + 19. Let a be -2*(-2 + 1)*(-85)/(-10). Solve y*i + a = 2 for i.
-3
Let u = -383 - -389. Solve -u + 0 = 2*z for z.
-3
Let a(p) = p**3 + 21*p**2 + 38*p + 13. Let v be a(-19). Solve -18*x = -v*x + 25 for x.
-5
Let u(g) = -3*g + 9. Let c be u(8). Let w = -29 - c. Let o = w + 14. Solve o = 2*f + f for f.
0
Suppose 14 = -2*i - 5*z, 3*z = -0*i - 4*i. Solve -i*y = -0*y + 3 for y.
-1
Let g = -1 + -3. Let n = 4 + g. Let b = 20 - 11. Solve -2*h + 5*h + b = n for h.
-3
Suppose 13*i - 12 - 27 = 0. Solve i*p - 8*p + 25 = 0 for p.
5
Let g be 11 + -3 + 15/(-3) + 6. Solve -8*n + 4 = -g*n for n.
-4
Let n = -90 + 93. Let p be n + 2 + (1 - 2/(-2)). Solve 6*t - p*t = 0 for t.
0
Let b(s) = -s**2 + 8*s - 4. Let m = 8 - 1. Let p be b(m). Suppose 0 = 18*h - 5 - 85. Solve p*n + 2*n = h for n.
1
Suppose -2*y = -17*z + 21*z - 18, -4*y - 3*z = -26. Solve -5*d + y = -10 for d.
3
Let c = 16435 - 16431. Suppose 12 = 5*b - 3*z, 2*z = 3*b - 5 - 3. Solve b = -0*d - c*d for d.
0
Suppose 0*f + 4*f = 0. Let o be (2/(-4))/((-3 + 0)/18). Suppose h - 4*d = 15, o*h + 32 = 7*h - 2*d. Solve f = -h*g + 3*g for g.
0
Let d(j) = j**3 - 5*j**2 - 4*j - 7. Let h be d(6). Suppose -5 = -h*z + 10. Suppose 4*w + 3*v - 2 = v, 3 = -z*w - 3*v. Solve s - 3 = -w*s for s.
1
Let k = 18 + -31. Let b be (-5 - -1)/2 + k. Let f = b + 17. Solve -f = -x + 3*x for x.
-1
Let z = -29 - -29. Suppose -3*m - 4*m + 63 = z. Solve m*y = 4*y + 10 for y.
2
Let r(q) = -2*q**3 - 18*q**2 - 24*q - 9. Let y be r(-8). Let p = y - 52. Solve -2*c + p = 1 for c.
1
Let f(v) = v**2 - 12*v + 15. Let y(z) be the second derivative of -z**3/2 - z**2/2 + 3*z. Let j be y(-4). Let w be f(j). Solve 20 = -0*n + w*n for n.
5
Suppose 5*d - v + 3 = 36, 0 = -3*d - 5*v + 31. Solve -d*s + 19*s = 24 for s.
2
Let s be -1 + 1 - 7 - -8. Solve -9*l = -8*l + s for l.
-1
Suppose -2*w = -5*y + 16, -23*y + 28*y - 19 = 3*w. Let i be ((-6)/3)/(-3 + 1). Let c be (2/(-3))/(4/(-18)). Solve -c*r = -i - y for r.
1
Suppose -c = 2*m - 5*m + 23, -c + 9 = 5*m. Let i = 13 + c. Let l = -2 + 2. Solve -a + i = -l for a.
2
Suppose 0 = -2*j - 4*g + 2, -g = -2*j - 3*g + 6. Solve -10 = -0*k + j*k for k.
-2
Suppose 110*u = 113*u - 4*d + 3, -24 = -4*u - 4*d. Solve 3*l - u = 12 for l.
5
Suppose 24 = d + 19. Solve 0 = c - 10 + d for c.
5
Let j(y) = 5*y - 2. Suppose -3*x - 17 = 4*g, 4*x - 2*g + 21 = -7*g. Let u be j(x). Suppose -5*r + 12 = 4*n - n, -u*r = -2*n - 11. Solve 2 = 2*p - r*p for p.
-2
Let j = -94 + 99. Solve -j*f = 4 - 9 for f.
1
Suppose -2*o = -100*r + 104*r - 26, 2*r - 23 = o. Solve -11*v - r = 24 for v.
-3
Let g = 2128 + -2113. Solve 35*a = g*a - 80 for a.
-4
Let g = 146 - 72. Solve 4*k + 82 - g = 0 for k.
-2
Let n be (0/(-4 + 8))/(-1). Suppose -6*u + 3 + 3 = n. Suppose 3*s + 5 = -10, 0 = 4*p + 3*s - u. Solve 0*v - p = -4*v for v.
1
Let i = -141 - -145. Solve 0 = i*d - 12 for d.
3
Let s be 3/9 - (-119)/21. Suppose -s*h + 15 = 3. Solve 0 = -w - 0*w - h for w.
-2
Let k = -1592 + 1675. Solve -77*p = -k*p + 12 for p.
2
Let a be (-65)/(-10) - (5 + (-7)/2). Solve -a*z + 6*z = 3 for z.
3
Let f(c) = c**3 - 5*c**2 + 4*c. Let y be f(4). Let g = -4 + 6. Solve 4*b - g*b - 8 = y for b.
4
Let c(y) = -12*y**3 + y. Let f be c(-1). Suppose f*t - 8*t - 12 = 0. Solve -x - x = t for x.
-2
Suppose -16*t - 2*w = -13*t - 10, -5*w + 25 = -5*t. Solve t = 10*z - 2*z - 8 for z.
1
Let w be ((-68)/(-204))/((-19)/(-9) + -2). Solve w*m + 4*m = 3*m for m.
0
Let f be (1/3 + -1)/(19/(-114)). Solve -f*p = -11*p for p.
0
Let y(o) = -2*o - 8. Let m = -27 + 23. Let h be y(m). Solve 4*v + h*v + 16 = 0 for v.
-4
Suppose 3*x = -5*x + 232. Let d = x + -26. Solve -2 = d*y - 17 for y.
5
Suppose -x = -5*r + 4*x + 50, -x - 25 = -4*r. Solve 8 = 3*z + r for z.
1
Let l(z) = -z + 15. Let s be l(9). Suppose -3*j = s*j. Solve -h - 4*h = j for h.
0
Let z(t) = -4*t - t**3 + 2*t**3 + 0*t**2 + t**2 + 1. Let a be z(-2). Solve l - a = -1 for l.
4
Let i be (9/(-6)*2 - -2) + 10. Solve -5*v - i + 4 = 0 for v.
-1
Suppose -9*b - 2*b = -3*b. Suppose -4*v = -b*v - 3*a + 7, -2*a = -4*v - 2. Solve v*p = -p + 9 for p.
3
Let a(x) = 6*x - 7*x + 2 + 18. Let b be a(0). Let p = 11 - 6. Solve 0*w + p*w = -b for w.
-4
Suppose 3*n = 5*g + 41, 5*n = -g + 2*g + 39. Solve -23*j + 30*j = -n for j.
-1
Let r = -13 + 14. Solve -3*h - r = 14 for h.
-5
Let s(m) = m**2 - 3*m - 7. Suppose k + 4 = 9. Let l be s(k). Suppose 100*a - 353 - 1240 = -77*a. Solve a = l*f + 24 for f.
-5
Suppose 2*p - 26 = -4*q + 4*p, 3*p = -5*q + 49. Solve q*a + 4 = 12*a for a.
1
Let k = -8 + 32. Let z be ((-10)/15)/((-2)/12). Suppose 4*s = -2*q + 14, z*s - 7*s = -q - 8. Solve -k = -5*a + q for a.
5
Let u(x) = -x**3 - 6*x**2 - 2*x - 8. Let d be u(-6). Suppose -6*f = -31 - 35. Suppose 3 = -4*i + f. Solve 0 