-20 - 5 = -a*u for u.
5
Suppose g = c + 7 - 4, -3*g - 4*c + 16 = 0. Suppose 2*s - 1 = -4*f + 15, g*f = 2*s. Let k(o) = -o**3 + o + 9. Let j be k(0). Solve -1 = f*r + j for r.
-5
Let b = 3 - 1. Suppose 0 = -b*h - 0*h. Suppose 4*z - z - 27 = h. Solve n - 4*n = -z for n.
3
Let o(f) = 6*f**2 + f - 2. Let r be o(1). Let a(l) = l**2 + 10*l. Let t be a(-10). Suppose 10*z - 9*z - 10 = t. Solve -3*g + z = -r*g for g.
-5
Let k(j) = 5*j - 11. Let s be k(4). Solve 0 - s = 3*g for g.
-3
Suppose 14 = 4*b + 3*b. Solve 0 = 5*d - 17 + b for d.
3
Suppose -4*n + 8 = 0, 2*y + 3*n = 5*n. Suppose -22 = -4*t + y*k, t = -4*k - k. Suppose -t*d = -3*d - 16. Solve 0*u = 2*u + d for u.
-4
Suppose -5*u + 76 - 301 = 0. Let l = 48 + u. Solve 0 = -l*k - 1 - 2 for k.
-1
Let u = -24 + 26. Suppose -q + 12 = u*q. Solve -4*b = q + 16 for b.
-5
Let m(u) = u**3 - 10*u**2 + 9*u + 6. Let y(x) = x**2 - 7*x + 9. Let q be y(7). Let b be m(q). Solve 0 = -2*i + b*i for i.
0
Let j = 5 - 4. Let o(r) = 20*r**2 - r + 1. Let a be o(j). Solve -2*w - 3*w - a = 0 for w.
-4
Let d = 35 + -21. Suppose -3*p + d = 8. Solve -2*t + 12 = p for t.
5
Suppose 0 = 3*l + 2*h - 12, -3*l + 2*h + 12 = -3*h. Let n be 116/12 - l/6. Solve -4*t + n*t + 5 = 0 for t.
-1
Let c = -7 + 9. Let k be -10 - (c - (3 - 2)). Let j = 13 + k. Solve -n - 1 = -j for n.
1
Let f = -19717 - -19721. Let t = 0 - -3. Solve f*m - t = 5*m for m.
-3
Suppose 2*s + 3*d = 5*d + 14, -2*d = 4. Let i be 18/(-12) + 41/2. Suppose -5*h + 4*r + 5 = 0, 3*r - i + 4 = 0. Solve -s = -h*z - 0 for z.
1
Suppose -b - 4*b = 2*m - 27, 2*m = -3*b + 17. Suppose 0 = -b*g + 11 + 19. Solve 2*i + 2 = g for i.
2
Let l(t) = t + 12. Let q be l(-6). Suppose -2*m - 5*y - 49 = -q*m, 0 = -3*m + 3*y + 33. Let v(d) = d**2 - 6*d + 2. Let s be v(6). Solve m*h + 12 = s*h for h.
-3
Let w be -4 - 30/(-5) - -3. Suppose u + 21 = 2*m, 0 = -w*m + m + u + 39. Solve 2*c - m - 1 = 0 for c.
5
Let q(d) = -2*d - 44. Suppose 0 = -2*u, 2*g = 6*g + 2*u + 88. Let x be q(g). Solve x = 3*n - 4*n for n.
0
Let u = 23 + -21. Suppose 5*g + 0*g = -u*p + 10, -3*g - 4*p = -6. Suppose g*o + 5*y = 31, -3*y = 3*o - 2*y - 14. Solve d = -o*d for d.
0
Let c = -151 + 151. Solve 18*v - 15*v + 6 = c for v.
-2
Let p(f) = 15*f - 105. Let m be p(8). Suppose -4*y = -m*y + 5*y. Suppose 3*u = 6*u. Solve y = -u*j - j + 5 for j.
5
Let a(w) = -7*w - w**2 + 3 - 10 + 0 + 4. Let i be a(-6). Let d be (-6 - -6)*i/3. Solve d*o + 8 = -2*o for o.
-4
Let w = -504 + 511. Solve 12*n = w*n + 5 for n.
1
Let f be 0 + -3*(-2)/6. Suppose 4*w - 2 = 2*p, -4*w - f = 2*p - 7*w. Solve 0 = -l + 2*l + p for l.
-1
Let u = -24 - -36. Suppose -5*l + d = 4, 3*l + 3*d - u = 2*l. Let x(o) = o**2 + 5*o - 10. Let y be x(-7). Solve l = f + y - 2 for f.
-2
Let i(g) be the third derivative of 5*g**4/24 + 29*g**3/3 + 30*g**2. Let b be i(-11). Solve 0*h + b = -h for h.
-3
Suppose -4*w + 10 = -5*w. Let b = -8 - w. Solve 0 = 4*j - b*j for j.
0
Suppose -s - j + 14 = 4*j, 28 = 5*s + 4*j. Solve -2*b - s = -2 for b.
-1
Suppose 4*q = -2*f + 11 + 21, 0 = 4*q + f - 30. Suppose -2*p = p - h - 12, -q = p - 4*h. Suppose -3*r = -p*g - 9, 7 = -5*r + 22. Solve g = -t - 0*t for t.
0
Suppose -2*b - 3*n = 3 + 8, 10 = -2*n. Solve 0*j = b*j - 2 for j.
1
Let v be (20 + 0)/(6 + -5). Suppose -3*i = 2*i - 5*b - v, 0 = 3*i + 4*b - 26. Let x = i + -4. Solve x*z - 5*z - 12 = 0 for z.
-4
Let j = 107 + -102. Solve -u + 9 = j for u.
4
Let j = 14 + -12. Let z = -21 + 38. Let o = 22 - z. Solve -j = -o*x + 3*x for x.
1
Suppose -5*m - 4*v - 140 = -4, -4*m + 5*v - 117 = 0. Let q = -26 - m. Solve q*p + 0*p = 8 for p.
4
Suppose 3*i - 2*i - 4 = 0. Let k = 71 - 41. Let p = k + -27. Solve p*d = 5*d - i for d.
2
Let q(c) = -3*c**2 + c**3 - c**2 + 6*c - 8*c - 3. Let b be q(5). Let f = 12 - b. Solve 3*l - 9 = -f*l for l.
3
Suppose -220 = -5*x + 4*z, z + 65 = x - 4*z. Solve 0*w + 10*w + x = 0 for w.
-4
Let f be 4/14 - 14/49. Suppose 3*n + 2*y = n + 16, -2*y + 10 = f. Suppose 4*r = 2*q + 2*q - 20, 5*q - 25 = n*r. Solve r = -5*s - 25 for s.
-5
Suppose -13*f + 4*f + 18 = 0. Solve 50 = f*x + 56 for x.
-3
Let y = -45 - -9. Let j = y - -40. Solve j*z - 12 - 8 = 0 for z.
5
Let v = 25 + -10. Suppose 0 = 4*o - 8 - 24. Let k = o - 6. Solve v = q + k*q for q.
5
Suppose 5*y = 3*t - 11, 5*t + 3*y - 30 = 11. Solve -t*x = -2*x - 15 for x.
3
Suppose 53 - 59 = -3*h. Let d be (h/(-12)*-14)/(3/9). Solve 15 = d*k - 2*k for k.
3
Let u(y) = 2*y**3 - 32*y**2 + 3*y - 21. Let h be u(16). Solve -h = -5*t - 12 for t.
3
Let i = 10 - -14. Let c = i + -18. Solve 20 = c*o - o for o.
4
Suppose -7*d + 78 = -5*p - 5*d, -d - 1 = 0. Let i be 32/80 + p/(-10). Solve x = i*x for x.
0
Let j be -3 + 6 + -23*1. Let o = 18 + j. Let u be 3*o*(-2)/6. Solve -u = -2*r - 0*r for r.
1
Let g = 16 - -7. Let s = g - 23. Solve -4*k = -s*k - 20 for k.
5
Suppose -o - 89 = -95. Solve 0 = o*y - 6 - 18 for y.
4
Let c be (-1)/((-2)/(-4)) + 18. Suppose -3*z = 2*g + 3*g + 10, -z - 2 = g. Suppose 25 = 5*a - z. Solve a*f + c = 1 for f.
-3
Let d be (-8)/(9 - (-62)/(-6)). Solve -d*k = -2*k + k for k.
0
Let c be (5/(-1))/1 + 1. Let n(v) = -v**3 - 3*v**2 - v + 5. Let o be n(c). Suppose -k + o = 4*k. Solve -5*h = 20 - k for h.
-3
Suppose 41 = 7*u - 22. Solve 4*h + u = h for h.
-3
Suppose -5*o = -2*u + 6*u - 6, 5*u + o + 3 = 0. Suppose -5 + 1 = -4*z. Let k be u/(-3)*15 - z. Solve -k*v - 2 - 2 = 0 for v.
-1
Let u = 3 - 0. Suppose -u*k = -y - 17, 0 = 4*y + 4*k - 2 - 10. Let t = y + 6. Solve -t*m - 1 = 3 for m.
-1
Let j be (-27)/(6*(-3)/(-18)). Let b(r) = 3*r + 84. Let z be b(j). Solve -y = -z*y + 4 for y.
2
Suppose 26*i + 5*i - 155 = 0. Solve -i*f + 8*f = 0 for f.
0
Suppose 2*o = y, 2*o = -y + 5*y. Suppose 3*j + 5 = 4*j. Let r be (-56)/70*(-5)/2. Solve -r*a + j*a - 6 = y for a.
2
Let s = -4 + 13. Let b(n) = -2*n + 19. Let w be b(s). Let y be 48/18*(w + 5). Solve y - 4 = -3*z for z.
-4
Let b(t) = -t**2 - 8*t - 5. Let m be b(-7). Suppose m*y - 5 + 3 = 0. Let p be 10/2 - y/(-1). Solve -p*i = -3*i + 6 for i.
-2
Let c be ((-16)/(-12))/(9/(162/12)). Let b = 43 - 28. Solve b = c*l + l for l.
5
Let v be 1/2 + (-5)/(-2). Suppose -v*u = 4*k - 44, 0*u + 17 = -u + 5*k. Let n be 0 + -1 + (u - 3). Solve y = n*y for y.
0
Suppose -3*o + 5*o = 4*r - 6, -3*o + 3*r = 3. Let z be -1 - (-1 + (1 - o)). Solve -2*f = -z*f + 8 for f.
-4
Let i be -19*(-4 - -3) + -1. Let y = 21 - i. Let p = 2 + 1. Solve 6 = -p*v - y for v.
-3
Let m(r) = 2*r**2 - 5. Let h be m(-2). Suppose v = 2*p - h, 5*p - 3*p - 5*v = -9. Solve p = -n - 1 for n.
-4
Suppose 0 = -3*b - 40 + 151. Let t = b - 18. Let n = t - 2. Solve 4*r + n - 1 = 0 for r.
-4
Suppose -z - 3*n + 0*n = -21, 2*n = z - 16. Suppose -4*g = 82 + z. Let i = -22 - g. Solve 3*a - i = -18 for a.
-5
Let f = 557 - 532. Solve -4*q + f = 9 for q.
4
Let j(i) = -2*i - 63. Let x be j(-18). Let t be x/(-18) - 1/(-2). Solve -3*y - t = -y for y.
-1
Let s = -2218 - -2233. Solve -s*v + 63 = 18 for v.
3
Let v be -22*((-1)/2 - -1). Let h = 15 + v. Suppose -n - 42 = -3*t + n, -5*t + 92 = 4*n. Solve h*u = -0*u - t for u.
-4
Suppose b + 5 = 6*b. Let m be (1/(-2))/(b/(-6)). Let v(z) = z + 15. Let x be v(-11). Solve -m*t = -x*t for t.
0
Suppose 5*d = 52 - 42. Suppose 2*o + 44 = 5*s, o + d*o - 4*s + 73 = 0. Let g = o + 29. Solve -b = -g*b for b.
0
Suppose 7*a - 47 = 37. Suppose 3*s + 3*s - a = 0. Solve -s = -4*o + 6 for o.
2
Let c(y) = y**2 + y. Let p be c(-2). Let o(l) = -5*l + 47. Let j be o(9). Suppose 3 = -r + 2, p*a - j*r = 14. Solve 2*b - a*b + 16 = 0 for b.
4
Suppose -130 = 2*x - 170. Solve -28*s + x = -33*s for s.
-4
Suppose 2*j - 30 = -3*j. Suppose -9 = -9*x + j*x. Let n be 2 + -4 + 9 + -1 + -2. Solve -5*p = -x*p + n for p.
-2
Suppose 3*l = -s + 5, -36*l + 35*l - 1 = s. Solve 0 = o + 3 - l for o.
0
Let k(n) = 4*n - 52. Let m be k(15). Solve m*y + 25 = 9 for y.
-2
Let v(o) = -3*o + 6. Let l be v(3). Let r(i) = -i**2 - 6*i - 7. Let q be r(l). Let j be (-14)/(-6) - (-14)/21. Solve -y = j - q for y.
-1
Let o = 115 - 100. Solve 0*l + 5*l + o = 0 for l.
-3
Let o be 6 + -12 + 6 + 4. Solve -o*r = -3*r - 1 for r.
1
Suppose 0 = -4*q + 4*d + 152, 0 = -3*q - 2*d + 55 + 34. Let t(l) = -4*l - l - 2 + 2*l. Let s be t(-5). Solve -5*m + s = q for m.
-4
Let h be (23 - 23)/(-3 + 4). Solve 4*k + 16 = -h for k.
-4
Let h(s) = s + 21. Let w be h(0). Let m(y) = -y**3 - 5*y**2 + 9*y + 4. 