 for x.
-2
Suppose -v - 3*v + 16 = 0. Suppose 0*m - 64 = -v*m. Let y be 2 - (-19 + m/4). Solve -t + 2 = -5*w - 24, -3*t - 4*w = y for t.
1
Let q(j) = -j**2 - 7*j - 5. Let f be q(-6). Let v = 1 - f. Let s(u) = u**2 + 14*u + 10. Let y be s(-14). Solve 4*a = -2*o - y, v = -5*o - 3*a - 0*a - 25 for o.
-5
Let p be 11*(-3)/(-1 - 2). Suppose -6*h - 70 = -p*h. Suppose -72 = 6*z - h*z. Solve 4*i - 21 = x, -x = 5*i - z - 15 for x.
-1
Let w be 0*(-10 + 16 + -5). Solve -y - 15 = 5*u, w = 4*y - 3*u + u + 16 for y.
-5
Let u = -484 - -487. Solve -5*j - f + 24 = u*f, 8 = 3*j - 4*f for j.
4
Let s = 4 - 4. Suppose -j = -h + 1, s = 5*j + 3*h - 2*h + 23. Let l be 0*((-2 - j) + -3). Solve 0*k + k = -g + 5, l = -3*k for g.
5
Let s be (-110)/11 + 4 - -10. Solve -w + 3*w + 12 = -4*c, 20 = -4*c - s*w for c.
-1
Suppose 2*i = -i + 33. Let s(d) = -2*d**2 + 253*d - 121. Let t be s(126). Solve t*l = 4*n + i, -2 = -5*l + 3*n + 5 for l.
-1
Let k = 623 + -618. Solve -3*g + r - 5 = 0, k + 0 = -2*g - r for g.
-2
Let r be 5*((-30)/12 + 29/10). Solve -r*w - 2*l = 6, w - 2*w - 15 = 5*l for w.
0
Let l(m) = m**3 + 4*m**2 + 5*m + 10. Let j be l(-3). Solve -3*w + 2*w + 1 = -j*a, -5*w = a - 26 for w.
5
Suppose -23*k = -16*k - 63. Solve -p = -3*c + 19, -14*c + 5*p = -k*c - 45 for c.
5
Let j be (7 - 3) + -4 - (-8 + 7). Solve -5*r + q = -21, -4*q - j - 7 = -r for r.
4
Let v = 84 - 82. Let z be (-1)/v*(5 + -13 + 2). Suppose 2*w - 4*a + 4 = 0, 5*w + 8*a - 3*a - 20 = 0. Solve 0*p + w*c + 17 = 3*p, z*p = 5*c + 20 for p.
5
Let g = 88 - 88. Solve 5*n + g*q + 2*q + 29 = 0, n + 4*q + 13 = 0 for n.
-5
Suppose 2*j - 10 = 0, 3*p - j - 3 + 2 = 0. Suppose -3*o = p*t - 5, 0*o + t = 4*o - 14. Solve 5*f = -o*s + 22, 4*s - s = f + 10 for s.
4
Suppose 57 = r - 5*p, -11*p = 5*r - 10*p - 155. Suppose 3*s + 4*h = 69, -5*s + 98 = 2*h - 3. Solve -k - 3*c = -s, 2*k + 5*c - 1 - r = 0 for k.
4
Suppose 8*o - 3*o = 110. Let u = o + -21. Let z be -2 + (3 - u) + 2. Solve -4 = -4*w + 4*y, 0 = 4*w - z*y + y + 2 for w.
-1
Suppose -2*z + 1 = q + 11, -5*q = -3*z - 15. Let w be (-3 - q)/((-3)/8). Let m = -3 + 5. Solve m*x + w = p, 2*p = p - 2 for x.
-5
Let n(o) = -o**3 - 7*o**2 - 5*o - 26. Let q be n(-7). Solve 5*m - w - 31 = 2*w, 3*m - q = -3*w for m.
5
Let d(a) = -3*a + 31. Let x be d(11). Let h be (1/x)/(5/(-30)). Solve h*j + 4*i = 7, 3 = 4*i - 13 for j.
-3
Let r = 7 + -4. Let f be 27 + (-1 - 6/r). Suppose -9*k = -3*k - f. Solve 5*g + 2*x = 7, -4*g + x - k*x = -7 for g.
1
Suppose 2*x + 40 - 50 = 2*g, g = -3*x + 19. Solve -2*h + 6 = -2*v, -v - 2*h + x*h = 12 for v.
0
Let d = -312 + 315. Solve -6 = -3*s + 3*m, d*s - 5*m = -0*m + 4 for s.
3
Let q be 2/5 - (-715)/25. Suppose -b - 26 = -q. Solve -2*z + 4 = -o - z, b*o - z + 10 = 0 for o.
-3
Suppose 41*x = 9*x + 64. Solve x*q + 6*w = w + 8, -3*w = -4*q - 10 for q.
-1
Let f(y) = -y**3 + 19*y**2 - 36*y + 34. Let h be f(17). Suppose -27 - 48 = -5*i. Let b = i - h. Solve -3*p + 3*m = 0, -p - m - b = p for p.
-5
Let w = -50 + 72. Let q be 2/4*2 + -3. Let d = q + w. Solve 2*f = 5*n - d, 3*f + 13 = 4*n + 2*f for n.
2
Let j(d) = 12*d**3 + d**2 + 6*d - 7. Let c be j(1). Solve -3*q = -4*w + 1, 3*w - 10 = -2*q + c for w.
4
Let c(o) be the third derivative of -o**6/120 + o**5/60 - o**4/24 + o**3/3 - 10*o**2. Let n be c(0). Solve -2*q = n*i - 6, 4*q = -3*i + 2*q + 8 for i.
2
Let q = -40 + 30. Let j be (-6)/q - 119/(-85). Solve 0 = -4*s + j*n - 26, n + 0*n = 3*s + 17 for s.
-4
Suppose v - 24 = 5*o, 24 - 44 = -4*v + o. Suppose 3*q + 15 = -2*d, -3*d - 6 = -d. Let p = -1 - q. Solve 2*k - 36 = -p*k - 4*c, -5*k = v*c - 40 for k.
4
Suppose -11*v + 2 = -9*v. Suppose 5 - v = h. Solve -3*t - 1 - 6 = 2*k, h*k + 3*t + 11 = 0 for k.
-2
Let x = -4 + 21. Let u(t) = 7 + 3*t + 0*t - 4*t. Let o be u(7). Solve -6*r + r + y - 23 = o, 0 = -5*r + 4*y - x for r.
-5
Let v = 8 - 26. Let w = -16 - v. Solve -w*m + 4*n = -0*m - 22, 3 = -3*m - 3*n for m.
3
Let l = -4 - -8. Suppose -l*x - 15 + 52 = -5*j, -10 = -5*x - j. Solve k - 5 = x*r, -2*k + 25 = 3*k + 5*r for k.
5
Let f = 19 + -22. Let x be f*1*(-170)/30. Suppose v = -2*p + 14, p - x = -v - 2*p. Solve -3*u - 32 = 5*h, -3*u + 4*h + v = -h for u.
-4
Suppose 2*d = -0*d - 4. Let m be (-20)/(-15)*1*(-3)/d. Solve -4*t = -m*h + t + 24, 2*t = 3*h - 14 for h.
2
Suppose 9 = -4*t + t. Let n = t + 5. Solve 0 = 4*z - n*l + 2, 2*z - 3*z - l = -1 for z.
0
Let k be 3*4 - (8 - -4)/(-2). Solve 4*s - k + 0 = 3*b, 6 = -3*b for s.
3
Let a(i) = i + 1. Let v be a(3). Let q(g) = -23*g**2 - 46*g. Let w be q(-2). Solve -25 = -5*f - z, v*f + w*z = -z + 20 for f.
5
Let q be (-12 + 140/16)*-8. Suppose 5*o - 14 - 26 = 0. Let g = -3 + o. Solve 5*b = 3*u + q, -3*u = 5*b - 19 + g for u.
-2
Let j(d) = 2*d**2 + 3*d - 1. Let x be j(-4). Let s = x - -21. Suppose 0 = -3*o - o + 4*n + s, -3*n = o + 10. Solve 4*r + 0 = -t - o, 2*r + 5 = -t for t.
-5
Let s(p) = 24*p + 5. Let i be s(5). Let c = i - 123. Solve 1 = j, c*d - 9 = -j - 2*j for d.
3
Suppose -15 = -5*x - 0*c - c, -4*x + c + 3 = 0. Suppose 2*n + x = 12. Solve 4*h - 15 = -2*o + 1, -n*o - 5 = h for o.
-2
Let v be (-1 - -2) + (-8)/8. Suppose 3*g - o - 21 = 0, 0 = 5*g + 4*o - o - 21. Suppose 2 = 4*w - g. Solve -3*f + k = 2*k + 1, -w*f + 2*k + 10 = v for f.
1
Suppose 5*j = -5*p + 35, p = -3*j + 6*p + 5. Suppose -j*a = -3*y, a - 29 = -2*a - 4*y. Solve -4*x = z + 4, -x = -3*x - a*z - 12 for x.
0
Let d = -867 + 870. Let y be 2/(-8) - 42/(-8). Let m = 13 - y. Solve 4*f + a - d = 1, 2*a = -2*f + m for f.
0
Let l(j) = j**2 + 6*j + 8. Let u be l(-10). Let m = u + -48. Solve m = 3*c - 5*d + 3, -16 = -c - d - 3*d for c.
4
Suppose 4*c - 16 = 0, 157*h - 161*h = 5*c - 40. Solve 0 = -3*s - 2*l - h, -5*l + 3 = 4*s + 12 for s.
-1
Suppose -2*w + 47 - 33 = 0. Let p(j) = -j**3 + 5*j**2 + 15*j - 7. Let d be p(w). Solve d*v - 3*q + 13 = v, -v = 5*q - 23 for v.
-2
Let k be (-20)/(-4)*-1*-1. Solve k*t - 3 = 2*t, 3*t = 4*w + 15 for w.
-3
Suppose -3*l + j = -28 + 10, 0 = 2*l + 3*j - 1. Solve l*y = -4*v + 9 + 6, -17 = 2*y - 3*v for y.
-1
Let y(t) = -40*t - 2. Let l be y(-1). Suppose l*m = 33*m + 25. Solve 0 = 4*b - p - 22, -m*b = p - 2*p - 27 for b.
5
Suppose 0 = m + 16 - 5. Suppose -5*q + 5*d - 19 = 21, -32 = 4*q - 2*d. Let b = q - m. Solve -3*y - 1 - 5 = -2*r, 5*r + b*y = -27 for r.
-3
Suppose 0 = -76*s + 75*s + 4. Solve 4*c = -4*f - 12, s*f = 2*c - 7*c - 14 for f.
-1
Suppose 3*u - 12 = 3*c + 6, 0 = -c - 4. Solve -4*q + 3*q + p - 2 = 0, -u = q - 2*p for q.
-2
Let l = 523 + -523. Let o(y) = -y + 1. Let d be o(-1). Suppose -s - r + d = 3, -40 = -5*s + 4*r. Solve c = -4*c + 5, b + s*c - 5 = l for b.
1
Let k = 4435 + -4431. Suppose 4 = -3*l + 13. Solve l = 3*t - k*s, -t + 3*t - 25 = -5*s for t.
5
Let c(i) = -3*i + 61. Let w be c(19). Solve 0 = 2*t - o - 6, w*t - o - 2 = -4*o for t.
2
Suppose -116*i + 90*i = -208. Solve -5*c = -5*o + 20, -6*c + 5 = -i*c - o for c.
-3
Suppose 4*d = d. Suppose -2*t = 2*l - 14, d = 2*t - 5*t. Let k = 11 - l. Solve 2*c + 18 = 2*n + 3*n, -n + 18 = -k*c for c.
-4
Suppose n = 4*x + 10, -5*x + 7*x = -4. Suppose p - 2*h = -3, -5*p - n*h = -h - 18. Let w be (-2)/2 + (4 - -1). Solve w*m = -5*l, p*l - 4*l = -4*m for m.
0
Let j(f) = f**3 - 2*f**2 + 3*f - 1. Let x be j(3). Let v = x - -11. Solve -4*h = -0*h - 4*m, -2*h - v = 5*m for h.
-4
Let t(v) = -2*v - 10. Let r be t(-7). Let q(m) = -m**2 + 2*m + 4. Let j be q(3). Let d be (0/(-2))/(j + 1). Solve -r*y - o = 12, -3*o = -d*y + y + 3 for y.
-3
Let h = 69 - 49. Solve p + h = -4*p + f, 3*p - 5*f - 10 = 0 for p.
-5
Let n be (-6 + 6)/(-1 + 0). Suppose b = -3*q + 15, 2*q - 5*b + 0 - 10 = n. Solve q*d = -8 - 7, -3*d = r + 8 for r.
1
Let n(r) = r + 5. Let v = -5 + 5. Let w be n(v). Let d be (-6 + 2)*(-12)/24. Solve 5*z - 3*z - 7 = w*i, -d*i = 2*z for i.
-1
Let t = 204 - 201. Solve -t*c = 3*b, -4*c - c = -2*b for b.
0
Let s = 435 - 433. Solve -3*v - 2*v + s*o = -9, -3*o + 18 = 3*v for v.
3
Let d = 40 + -22. Let i be d*1*1/2. Suppose 35 = i*g - 4*g. Solve j + j + 5*m + 22 = 0, -3*m - g = -5*j for j.
-1
Let v(m) = -10*m**2 - 40*m + 6. Let s be v(-4). Solve 3*x = s, 0 = q - 4*x + 15 - 6 for q.
-1
Let s = -113 + 17. Let j be s/(-30) + 2/(-10). Solve 8*b - j*n + 29 = 3*b, 0 = 2*n - 6 for b.
-4
Let z = -5 - -9. Let h = 778 - 740. Suppose -2*i - h = -z*i. Solve -2*b = 3*r + 2*r + i, 3*b - r - 14 = 0 for b.
3
Let l be 