for u.
-1
Let t = -10 - -10. Suppose 4*l = -t*l. Solve l = -g - g for g.
0
Suppose -2*f + 13 = a, -2*a + 5*f - 40 = -7*a. Solve -c + 2 = -a for c.
5
Let b be 2*(2 + -4) + 4. Let q be 2 + 4 + b + -1. Solve -q*g - 23 = -3 for g.
-4
Let b = 32 + -29. Solve b*o = -o + 16 for o.
4
Suppose -2*h + 4 = -2*x, 2*x = 6*x - 2*h. Solve 6*w = x*w for w.
0
Let y = 23 + -17. Solve -y*n = -2*n + 12 for n.
-3
Suppose -3*s = -0*s - 3. Solve -4*g + 11 = -s for g.
3
Let j(f) = -f**2 - 4*f - 3. Let o be j(-2). Let y be o + (-1 + 1)/1. Let a be (-1)/1*0/(-5). Solve p - y - 4 = a for p.
5
Suppose -2*a = -10*a. Solve a = -5*u - 4 + 24 for u.
4
Suppose -i - i = -32. Let t be (1 + i)*6/6. Solve t = -4*a + 5 for a.
-3
Let d be (-20)/(-130) - 74/(-26). Solve -d*z - 20 = 2*z for z.
-4
Let y(i) = -i**2 + 10*i - 5. Let c be y(10). Let p = 10 + c. Solve -5*k = -p - 0 for k.
1
Let s be 18/(-4) + 1/2. Let n = 13 + -6. Let z = s + n. Solve -16 = -z*h - h for h.
4
Suppose -3*u - u + 24 = 0. Solve 0 = p - 3*p - u for p.
-3
Let l = -78 - -87. Solve l = x + 12 for x.
-3
Suppose 0 = -0*q + 4*q - 16. Let r(u) be the third derivative of u**5/60 - u**4/4 - 5*u**3/3 - u**2. Let g be r(8). Solve -q - g = 2*p for p.
-5
Suppose -15 = 9*r - 14*r. Suppose 2 + 2 = q. Solve q*v = -1 - r for v.
-1
Suppose 3*c - 9 = p, p = 5*c - 4*p - 25. Suppose -14 = -3*w - c. Solve w*k - 1 - 3 = 0 for k.
1
Let d be (6/(-5))/((-6)/20). Let b = -13 - -18. Solve b*y - 6 = d for y.
2
Let p(a) = -4*a**2 - 10*a - 3. Let o(r) = r**2 + 1. Let w(b) = 3*o(b) + p(b). Let u be w(-10). Suppose 3*c = 14 + 4. Solve u*q + 2*q = -c for q.
-3
Let p = 15 - 11. Let o(d) = 3*d + 30. Let a be o(-10). Solve a = p*h + 1 + 3 for h.
-1
Let u = -4 - -12. Solve 2*d + u = -0*d for d.
-4
Suppose -3*r = 2*r - 20. Let s be (-7)/14 - (-58)/r. Solve -6 = -4*a + s for a.
5
Let u = -107 + 111. Solve -m = -5*m - u for m.
-1
Let g(d) = d + 8. Let i be g(-8). Solve i*m - 2*m = -2 for m.
1
Let o be (-9)/(1 + 14/(-8)). Let p = o - 10. Solve -p*l + 4 = -l for l.
4
Let z(w) be the first derivative of w**2/2 + 8*w + 6. Let y be z(-8). Solve y = -3*f - 6 + 3 for f.
-1
Suppose x - 6*x = -10. Suppose -x*y - y = -30. Solve -6*m + 4*m = -y for m.
5
Let m be (-56)/(-8) + ((-4)/(-2) - 4). Solve 4*h = m*h - 5 for h.
5
Let t(f) = f - 4. Let r be t(9). Let y = 5 - r. Suppose y*h - 4*h + 12 = 0. Solve -2*k - h = -13 for k.
5
Let r(q) = q**3 - q + 4. Let v be (1/2*0)/(-3). Let u be r(v). Let f(p) = -p**3 + 4*p**2 + 2*p - 2. Let o be f(u). Solve 6*y = 4*y + o for y.
3
Let w = -7 + 12. Let q(h) = -h**2 - 4*h - 1. Let p be q(-3). Suppose p*c - 70 = -3*c. Solve w*b = 4 - c for b.
-2
Let b be 2*((-21)/(-2))/7. Solve -z + b*z = -10 for z.
-5
Let c(m) = -m**3 + 9*m**2 - 9*m - 2. Let s be c(8). Let b be -2 + (-2 - -1)*s. Solve -4*r + 0*r = -b for r.
2
Let l = -31 + 34. Solve l*a + 3 + 0 = 0 for a.
-1
Let f(p) = -p + p + 3*p - p - 2. Let m be f(6). Solve -y - m = -3*y for y.
5
Let w = -11 - -14. Let f be (-4 - (-5 + 2)) + w. Solve -f*z - 2*z = -16 for z.
4
Let l(y) = -y**2 - 12*y - 11. Let o be l(-9). Let m be (-10)/(-8) + (-4)/o. Solve -3 = q + m for q.
-4
Suppose -3*o + 6 = 3*f, 2*f - 11 - 11 = -5*o. Solve 2*q = o*q for q.
0
Let d(q) = -q**2 - 10*q + 14. Let a be d(-11). Solve -r + a*r - 10 = 0 for r.
5
Let b be 98/21 - (-2)/(-3). Solve 4 = b*h - 8 for h.
3
Let x = -7 + 12. Let z = -6 + 8. Suppose -x*o = -z*o - 12. Solve n = o - 2 for n.
2
Let r = -34 - -47. Let o = -7 + r. Solve 0 = 3*y - 5*y - o for y.
-3
Let l be (-99)/165 - (-1 + 4/10). Solve 7*q - 12*q = l for q.
0
Let v be (2/2)/(4/124). Suppose -3*k + y + v = 6*y, -5*y = -25. Solve k*f = 4 + 4 for f.
4
Let g(v) = v**2 - 5*v - 1. Let f be g(6). Suppose -f*k = -3*k - 24. Suppose 0 = -4*y + 5*i + 27, y + 3*i = 14 + 14. Solve -k = 5*t + y for t.
-5
Let h(w) = -w**2 + 15*w + 7. Let s be h(0). Let i be (2/5)/((-1)/(-5)). Solve -d = s - i for d.
-5
Let s(w) = -3*w**3 + w**2 - 3*w + 23. Let z(f) = -4*f**3 + 2*f**2 - 4*f + 22. Let q(h) = 3*s(h) - 2*z(h). Let j be q(0). Solve -4*c = c - j for c.
5
Let p(o) = -o**3 - 8*o**2 - 8*o - 3. Let z be p(-7). Suppose 32 = 2*i + z*d - 0*d, 44 = 4*i + 4*d. Solve 4*x - i = x for x.
2
Let v = -2 + 14. Suppose h = -2*h + v. Suppose -4*w - 25 = -3*m + w, h*w + 20 = 5*m. Solve m = -0*k + k - 1 for k.
1
Let i(d) = -d**3 - 7*d**2 - 8*d - 6. Let l be i(-6). Solve 0 = 2*m - 2 - l for m.
4
Let v(o) = 7*o + 4. Let a be v(-3). Suppose -4*q - 2*f + 179 = -9*q, -2*q - 5*f - 89 = 0. Let u = a - q. Solve -5*t = -t + u for t.
-5
Suppose 3*c - c = 6. Solve b = 1 + c for b.
4
Let r(f) = -f - 3. Suppose 0 = -d - 0 - 3. Let u be r(d). Let i be 6/4 - (-1)/(-2). Solve u = 4*q - i - 7 for q.
2
Suppose -3*n + 8*c = 3*c + 10, -25 = -5*c. Solve 4*b - n*b = 2 for b.
-2
Let t be (-1)/((6/(-99))/2). Suppose 43 = 3*z + 2*x, 0 = -3*z - 5*x + 7 + t. Solve 0*n - z = -3*n for n.
5
Suppose -3*l + 26 + 1 = 5*d, 4*d + 4*l = 28. Suppose -3*v + d = -3. Solve -v = 2*h - 12 for h.
5
Let v(s) = -s**2 - 9*s - 4. Let x be v(-8). Solve 0*f - 12 = x*f for f.
-3
Let u(y) = -y**2 + 7*y - 2. Let h be u(3). Let t be -1*h/4*-4. Solve -t = -0*i + 2*i for i.
-5
Suppose 3*p - 14 = 31. Solve p = -q + 4*q for q.
5
Let l(u) = -5*u**2 + 24*u - 29. Let z(j) = -j**2 + 5*j - 6. Let c(p) = 2*l(p) - 11*z(p). Let t be c(6). Solve -3 = q + t*q for q.
-1
Let t(p) = 2*p**3 + 1. Let w be t(-2). Let l = -8 - w. Solve l*g - 2*g = -25 for g.
-5
Suppose -3*w + 3 = -9. Suppose 0 = 2*q - 2 - w. Let r(p) = -p**3 - 3*p**2 + 3. Let b be r(-3). Solve -q*i - b = -6*i for i.
1
Suppose -2*i = 4*n - 2, 0*i + 4*i = -20. Solve 0 = 2*p + 11 - n for p.
-4
Let p = 110 - 85. Solve 0 = c + 4*c - p for c.
5
Let f be (7/(-2) + 3)*-2. Let q be (-3 - (3 + -6)) + f. Solve 0 = -4*z + 9 - q for z.
2
Let n be 4 - (-8 + 3 + 4). Let l(j) = j + 1. Let b be l(-6). Let o(u) = u**2 + 3*u - 7. Let g be o(b). Solve n*r + 2 = -g for r.
-1
Suppose 3*n - 73 = 4*k, -5*n + 34 = -3*n + k. Let y = n - 12. Let g = y - -3. Solve 2*d + g = -0 for d.
-5
Let z(b) = -b**2 + 2*b + 6. Let n be z(5). Let i = -6 - n. Suppose v + i = 4. Solve -4*j + 19 + v = 0 for j.
5
Let p(z) = z**2 - 5*z + 6. Let j be p(4). Solve -q + j + 3 = 0 for q.
5
Let r(o) = -9 + 3*o + o**2 + 0*o + 12. Suppose 2*x - 8 = 0, 3*u - 3*x = -0*x - 21. Let s be r(u). Solve 0*j = s*j + 3 for j.
-1
Suppose -14*d - 16 = -18*d. Solve 0 = -d*r + 5*r - 3 for r.
3
Suppose -o + 19 - 16 = 0. Solve 1 = 2*j + o for j.
-1
Suppose 0 = 3*w - 3. Solve 5*o + 21 = w for o.
-4
Suppose -y - 22 = -4*r, -3*r + r = 5*y. Let k = -66 - -68. Suppose k*h = h - r*z - 16, 5*h = -3*z + 8. Solve 3*m = h*m - 2 for m.
2
Let u be 9/((-36)/(-8)) - -2. Solve 2 = -u*m + 5*m for m.
2
Suppose 3*o = -g + 30, 3*o - 10 = -3*g + 20. Solve 3*u - o = u for u.
5
Let k be 3 + (-2)/5*(-2 - 3). Let a(m) = m**2 - 2*m. Let h be a(2). Solve k*i - 2*i = h for i.
0
Let o(f) = f**3 + 1. Let z(v) = -v + 3. Let d be z(4). Let w be o(d). Solve 0*t - 4*t + 12 = w for t.
3
Suppose -12 = 8*p - 20*p. Suppose a - 1 = 2. Let n(s) = s**3 + 5*s**2 - 7*s + 4. Let v be n(-6). Solve a*c = -p + v for c.
3
Let c(i) = -i**2 + 13*i - 8. Let y be c(12). Suppose -t = y*t + 2*f - 8, 0 = -4*t + f + 9. Solve 0*o = -t*o + 10 for o.
5
Let a be 4/16 + (-83)/(-4). Let h = a + -19. Let f be (-1)/(-1) + 3 + 0. Solve 2*m + h*m - f = 0 for m.
1
Suppose 3*w - 28 = -28. Solve w*p = 2*p - 10 for p.
5
Let r = 12 + -8. Let x = r - 2. Suppose 4*h - x*s = 86, -h - 2*s = -20 + 6. Solve -3*c = -8*c + h for c.
4
Let j be 2 + 4 + (-2)/(-1). Let l = j - -1. Solve -l = -5*m + 1 for m.
2
Let j be (4/12)/(1/(-3)). Let v = j - 1. Let t be (4/(-5))/v*50. Solve -6*x + 2*x - t = 0 for x.
-5
Suppose -5*c + 2*c - 9 = 0. Let j = -4 + 7. Let z = c + j. Solve -5 = q - z for q.
-5
Suppose 5*y + 1 = -0*y + l, -3*l + 3 = -3*y. Suppose 0*a - 2*a + 18 = y. Solve 29 = -4*n + a for n.
-5
Suppose -2*z - 2*z = 0. Solve z = 7*c - 2*c + 10 for c.
-2
Suppose 2*x = -2*x - 16. Let k(p) = -p - 2. Let m be k(x). Suppose m*w - 7*w = -5. Solve 4*h + 3 = -w for h.
-1
Let o = 6 - 10. Let k(d) = -3*d**3 - d**2 + d. Let l be k(1). Let h = l - o. Solve 0 = m - h for m.
1
Let x be (24/20)/(3/10). Let w be 14/x + 3/6. Solve 0 = -w*j - j - 15 for j.
-3
Let t = 87 - 75. Solve 2*q + t = -q for q.
-4
Let d = -24 + 26. Solve -d*o + 6*o + 20 = 0 for o.
-5
Let r = 35 - 3. 