-1
Suppose 7*s - 175 + 154 = 0. Solve -w = s*w + 4 for w.
-1
Suppose -15 = -3*t - 4*r, 2*t - 10 = 4*r - 7*r. Suppose -2*y - t = -5*b - 23, 2 = -b. Solve -c - c = y for c.
-2
Let f be -1 - (-2 + -1*24). Suppose -f*s - 8 = -27*s. Solve s*j = j for j.
0
Suppose 0 = -3*o + 4*o + 2. Let h be (-2)/(-11) + (-53)/(-11) + o. Solve -2*c = h*c for c.
0
Let r(l) = 4*l - 1. Let k be r(3). Let n(z) = -z**2 - 15*z - 39. Let g be n(-10). Let u = g - k. Solve -2*x + 5*x = u for x.
0
Let z(w) = w**3 - 4*w**2 - w + 18. Let a be z(5). Solve -5*l - 13 + a = 0 for l.
5
Let z be 1/(-4)*(-21 + 9). Suppose -4*u = 3*d + 3, z*u + d = -u - 1. Solve u = -5*q + 4*q for q.
0
Suppose -20 = 3*n - 80. Suppose -4*m - 5*v = 11 - 31, 5*v = n. Solve m*t = -3*t for t.
0
Suppose 0 = 7*t + 3*t + 250. Let z = 32 + t. Solve -x - z = -2 for x.
-5
Let k = -568 + 576. Solve k*n - 11*n = 9 for n.
-3
Suppose 6*i - 15 = i. Suppose 2*x + 5 = -j, j = i*j - 2*x - 20. Suppose 8 = j*v - 7. Solve -v*y + 0*y - 15 = 0 for y.
-5
Let b(q) = -q**2 + 6*q - 6. Let m be b(2). Solve -15*y = -17*y + m for y.
1
Let y = 426 + -423. Solve -65*j + y = -64*j for j.
3
Suppose 2*u + u + 4*m - 278 = 0, -5*u + 456 = 3*m. Let s be 6/(u/3) + (-1)/5. Solve -3*i - 4 - 5 = s for i.
-3
Suppose 5*i = -25 + 40. Solve -p + 8 = i for p.
5
Let c(b) = b**2 + 14*b + 3. Let n be c(-14). Suppose -p - n*p = 36. Let y be p*(-4 + 32/12). Solve 5*r = 3 + y for r.
3
Suppose 3*a + 2*d = 34, -3*a = -7*a - 5*d + 43. Suppose -121 = -a*j + j. Solve -4*f - 9 = j for f.
-5
Suppose 0 = -5*g + 10. Suppose g*z + 2 = -3*y, 2*z = -2*z - 16. Let w be 6*(1/5)/(30/50). Solve y*l - w = -0*l for l.
1
Suppose 47 - 40 = -c. Let g(v) = v**2 + 8*v + 10. Let x be g(c). Solve 5 = 4*i - x for i.
2
Let u(o) = 32*o + 594. Let n be u(-18). Solve 30 + n = -16*r for r.
-3
Let u(v) = -6*v - 5. Let g be u(-5). Suppose -z = 6*z - 21. Suppose 3*c - 15 = z. Solve 0 = n - c*n + g for n.
5
Let b = 13 - 5. Let h = b - 5. Let n be (6/(-4))/h*-14. Solve n = -4*a - 9 for a.
-4
Let p(q) = 3*q**2 + 3*q - 3. Let g be p(1). Solve -y = -4*y - g for y.
-1
Suppose -56*s + 65*s - 27 = 0. Solve 2*d = -s*d for d.
0
Suppose z - 4 = -4*p, 0 = -0*p + 4*p. Solve 2*j - 6 = z for j.
5
Suppose -p + f = -5*p + 31, -f = 3*p - 24. Suppose 4 = 3*i + 1, -2*d + 43 = -i. Suppose 5*s - d = 2*u, -3*s + p*s - 15 = -u. Solve -j = j - s for j.
2
Suppose 5*s = 33*s - 112. Solve 47 = s*d + 55 for d.
-2
Let w be 2 - (108/(-63) - 4/14). Solve 0 = p + 6 - w for p.
-2
Let a be (-4 - 6/(-2)) + -34. Suppose 3*j = -0*l - 4*l - 117, -4*j = l + 13. Let o = l - a. Solve -f - o = 2 for f.
-4
Let m = 46 - 39. Solve m*h = 2*h + 5 for h.
1
Suppose 6 + 24 = 6*g. Suppose -g*v - 2*r + 33 = 0, -3*r = 2*v - 8 - 14. Solve -v*p = -p + 4 for p.
-1
Suppose 4*w = -4*s + 20, -5*w + 21 = 3*s - 0*s. Suppose 3*n + s*o - 35 = 0, n = -n - 4*o + 34. Let l(z) = z - 7. Let c be l(n). Solve v = -c + 1 for v.
-1
Suppose 5*x = 23 - 3, -4*u = -5*x - 12. Let f(i) = 2*i - 23. Let j be f(13). Suppose j*o - u*o = 0. Solve -3*m = -o*m - 12 for m.
4
Suppose 5*w - 12*u = -11*u + 6, w - 2*u = -6. Solve 4 - 8 = w*k for k.
-2
Let h(s) = s + 10. Let m be h(-3). Let q(y) = y - 7. Let n be q(m). Suppose -5*b - 3 = 4*j, n = -2*j + 6*j - 2*b - 18. Solve j*k + k = -8 for k.
-2
Let s = -15721 + 15733. Let d(c) = c**3 - 2*c**2 - c. Let m be d(3). Suppose -m = -4*p + 10. Solve s + 4 = p*g for g.
4
Let i be (-1)/((15/42)/(-5)). Solve -p + i - 19 = 0 for p.
-5
Suppose -4*f = -17 + 1. Suppose -c - f*c = 0. Solve c = -2*a - 2*a - 8 for a.
-2
Let w = 551 - 540. Solve -6 = a - w for a.
5
Suppose -4*a - 3*x + 18 = 0, -a - 3*a + 16 = 4*x. Suppose 4*v = 4*u + 8, a*u = 5*u. Solve -3 = v*s + s for s.
-1
Let z be 1*(0 + 3 - 29). Let n = 36 + z. Let i be (-2)/9 - (-58)/18. Solve x = i*x - n for x.
5
Let v = -149 - -161. Solve -v = 2*z - 14 for z.
1
Let i(f) = 7*f - 8. Let d be i(-11). Let n = d + 87. Solve -2*l = n*l for l.
0
Suppose 38*t = 33*t + 10. Solve -2*s + t = -4*s for s.
-1
Let c(u) = u + 10. Let g be c(-8). Suppose g*k = 10*k - 16. Solve -h + 3 - k = 0 for h.
1
Let v be 2 - 8/5 - 10/25. Suppose -5*r = 2*n - 2, -5*r + 2*n + 2 - 4 = v. Solve r = -3*y - 0*y - 3 for y.
-1
Let c(u) = -u - 1. Suppose -i = -2*x + 6, i + x - 4 = 2*i. Let p be c(i). Suppose -p - 1 = -s. Solve -s*y = -5*y for y.
0
Let b be (-6 - (-6)/3)*-7. Let s be (-4)/(-14) + 272/b + -6. Solve s*t + t = -15 for t.
-3
Let g = 15 + -11. Suppose 0*s + 3*c - 3 = s, -2*c = -g. Solve s*y - 1 = 2*y for y.
1
Suppose s = 3, -3*b + 7*s + 24 = 6*s. Suppose b*z - 6*z = 18. Solve -z*y = -2*y - 20 for y.
5
Let j be 20/5 - -2*(-9)/2. Let s(u) = -u**3 - 6*u**2 - 8*u - 15. Let v be s(j). Solve 0 = -v*n + 5*n + 25 for n.
-5
Let b be 2/(-4)*(-20 - -10). Suppose -3*a - 2*a = -2*k - 25, -25 = k - b*a. Solve 0*w - 4*w - 4 = k for w.
-1
Let a(k) be the second derivative of k**4/12 - 2*k**3 - 6*k**2 - k. Let o be a(13). Let q = 1 + o. Solve 0 = q*h + 2*h + 8 for h.
-2
Let o(s) = s**3 + 9*s**2 - 4*s - 11. Let t be o(-9). Solve -t = -12*q + 7*q for q.
5
Suppose -4 = -3*m + 2*m. Suppose -l + 2*k - 4 = 0, -m*k + 16 = 2*l - 8. Suppose -4*x = -4*b + 8 - 20, -2*x - l*b = -18. Solve x*o + 2 = 3*o for o.
-1
Suppose 30*a = 25*a + 40. Solve -15 = a*l - 3*l for l.
-3
Let p = 1 - 1. Let x be (-4)/8*-2*p. Solve -4*w + 12 = -x*w for w.
3
Let r(t) = -t**3 + 15*t**2 + 35*t - 15. Let m be r(17). Solve -m*q + 4 = -4*q for q.
-2
Suppose 25*a - 473 = 14*a. Solve 0 = -2*d + a - 51 for d.
-4
Suppose s - 3*s = -194. Suppose n + 13 = -s. Let o be 2/8 - n/40. Solve -2*r + o*r = 0 for r.
0
Suppose -5*x = b - 90, -54 = -4*x + x - 5*b. Suppose -x = 4*a - 6. Let j be (-110)/(-30) + 2/a. Solve j + 3 = -3*c for c.
-2
Let k(s) = -s**3 + 3*s**2 - 4*s + 6. Let n be k(5). Let i = -49 - n. Solve -2*y + i = -7*y for y.
-3
Suppose -1 = -4*s - 5*p - 9, -8 = -4*s - p. Solve s*c = 5 + 10 for c.
5
Let w = -45 - -45. Suppose 3*q = 4*f - 4, w = -5*q - 0*f + 4*f - 4. Solve -2 = u - q for u.
-2
Suppose -8*a = -7*a. Let b be 0 + a/(-2 + 4). Solve -1 = q - b for q.
-1
Suppose 0 = 5*g - 8 - 12. Solve -g*r = -5*r + 4 for r.
4
Let y(h) = 2*h**3 - 4*h**2 - 5*h + 14. Let c be y(2). Solve -5*w - c = -3*w for w.
-2
Let s(g) = -9*g. Let i be s(0). Let b be (0*(-2 - 9/(-3)))/(-2). Solve b = -3*z - 9 - i for z.
-3
Suppose 8*v - 1600 = -24*v. Solve 80 = -26*b - v for b.
-5
Let k(f) = -2*f**3 + 23*f**2 + 7*f + 65. Let r be k(12). Suppose -3*n = 3 - 6. Solve 6 - n = r*d for d.
1
Let v = 135 - 128. Solve 0 = -11*i + v*i - 16 for i.
-4
Suppose -151 + 87 = -4*k. Solve -w - 3*w + k = 0 for w.
4
Suppose 5*p + 0*p + 20 = f, 0 = 3*f - 2*p - 60. Let z(l) = l - 3. Let m be z(f). Solve -2 + m = 3*w for w.
5
Let m = -4 - -6. Suppose 7*i - m*i = 15. Suppose -2 = i*h - 4*h. Solve -2*p - 6 = h for p.
-4
Let g(m) = -2*m - 32. Let x be g(-8). Let c = -13 - x. Let t be 3/9 + 64/6. Solve 4*k = c - t for k.
-2
Suppose -10*z = 89 - 129. Solve 10*a - 8*a = -z for a.
-2
Let u = 186 + -183. Solve -d + 8 = u*d for d.
2
Suppose -11*u - 628 = 120. Let m be 4/(-16) - u/16. Solve -4*a + m = -6*a for a.
-2
Let g(i) be the third derivative of i**6/360 - i**4/24 - i**3 + 6*i**2. Let c(q) be the first derivative of g(q). Let w be c(-2). Solve -7*p - 16 = -w*p for p.
-4
Suppose -4*o = 3*c + 31, -3*o - 3 + 6 = -3*c. Let g be (o/(-10))/((-1)/(-5)). Let f be -5 - 3 - (19 - 32). Solve 0 = g*x - f - 3 for x.
4
Let h(w) = -w**3 - 9*w**2 + 10*w. Let t be h(-10). Suppose t = 3*m + 2*m. Solve 2*l + 0*l + 8 = m for l.
-4
Suppose 4*z - 16 = 3*z. Let w = z - 13. Suppose 1 = 2*x - w. Solve x*j + 6 = -j for j.
-2
Suppose -2*a - 4*r = -48, -4*a - 4*r + 108 = a. Solve 0 = -8*q + a + 20 for q.
5
Let r(y) = y - 1. Let p be r(0). Let b be (p/((-2)/22))/1. Let s = b + -7. Solve -20 = -0*z + s*z for z.
-5
Let x be (-2)/(-6) + (-56)/6. Let z = 2 - x. Suppose -v + 2*v - 22 = -4*f, -v - 23 = -5*f. Solve f*c = -z + 1 for c.
-2
Suppose 4*o - 6*o = 2. Let y be (-5)/10*o*4. Solve y + 7 = 3*p for p.
3
Let s = -114 + 72. Let t = -38 - s. Solve -t*f - f + 5 = 0 for f.
1
Suppose -4*g = -11 + 3. Let a(n) = 2*n**2 + n - 4. Let i be a(-3). Let h = -8 + i. Solve 1 = -g*u + h*u for u.
1
Let y(r) = -24. Let v(q) = q + 1. Let g(j) = 4*v(j) + y(j). Let k be g(6). Solve 0 + k = 2*a for a.
2
Let r(h) = 3*h - 22. Let q be r(7). Let s be (-6 + (-16)/4)*q. So