or s.
2
Let j(v) = -7 - 9 - 269*v + 273*v. Let n be j(4). Solve n = w - 2 + 3 for w.
-1
Let g be 5/(-10)*(-8 - 2). Solve -15 = -10*u + g*u for u.
3
Suppose -b + 4*b = 4*g - 48, 0 = 3*g + 3*b - 15. Solve 0 = -5*r - g*r + 2*r for r.
0
Suppose 3*d - w - 9 = 0, 1 = 5*d + 3*w - 0*w. Suppose -d*i = -5*o + 2 - 3, -3*o = -4*i + 9. Solve -3*k + o - 10 = 0 for k.
-3
Let i(t) = -15*t + 2. Let w be i(-1). Suppose w = b - 0*b - m, -4*b - m = -43. Let h be b/(-16) + 23/4. Solve -h*q - 9 = -24 for q.
3
Let c(o) = 3*o**2 + 3*o + 5. Let p be 4/5*10/(-4). Let l be c(p). Let a(w) = w**2 - 11*w + 5. Let x be a(l). Solve -15 + x = -2*n for n.
5
Suppose -2*n + 3 = -13. Suppose 11*h - n*h - 6 = 0. Suppose y + 3*v = h*y - 15, 0 = 2*y + 2*v + 2. Solve -y = f - 0*f for f.
-3
Let q(b) = b**2 + 5*b - 55. Let l be q(-11). Let t be (1/(-2))/(2/(-4)). Solve -l = -3*s + t for s.
4
Let w(s) be the first derivative of -2 - 4/3*s**3 + 4*s + 0*s**2 + 1/4*s**4. Let j be w(4). Solve j = -5*m + m for m.
-1
Let m be 1 - 7/((-14)/30). Suppose -14 = 5*o + m. Let t be o/(-4)*(-32)/(-12). Solve -t = 3*b + 2 for b.
-2
Let s be ((-9)/3 - -2)/((-7)/133). Let z(d) = -d + 19. Let b be z(s). Solve 4*c + b = 4 for c.
1
Let o = 16 + -6. Suppose -1 = i + 2*s - o, -3 = i - 4*s. Suppose -4 = -i*k + 31. Solve -4*l + 5 = -k for l.
3
Suppose 3*k = -5*c + 1054, -5*k = -3*c - 4*k + 638. Solve -c = 3*t - 197 for t.
-5
Let y be (-3)/(12/4) + 1. Suppose y = -7*j + 4*j + 30. Suppose 0*f - 10 = 5*f, 5*g + 5*f = -j. Solve r + r = g for r.
0
Let w be (0 - 6) + 2 + 1 + 5. Solve -7 = -i - w for i.
5
Let i = -480 - -542. Solve -52 = -2*u - i for u.
-5
Suppose 98*u - 9*u = 890. Solve u = -9*n - 8 for n.
-2
Let o(j) = 19 - 9*j - 21*j**2 + 13 + 22*j**2 - 9. Let t be o(6). Solve -t = 2*a - 1 for a.
-2
Suppose -7*g + 101 = 59. Solve -11*b - g = -8*b for b.
-2
Suppose 2*b + 1 = -4*q - b, 5*b + 15 = 0. Suppose -26*m = -17*m - 18. Solve -m*r - q*r = -16 for r.
4
Let s(i) = i**2 + 6*i + 6. Let u be s(-5). Let j = 8 - u. Let m = j - 5. Solve -8 = 5*n + m for n.
-2
Let n(t) = -t**2 + 16*t + 3. Suppose y - 22 = j - 6*j, -3*j + 6 = 3*y. Let g(i) = 2*i**2 - 8*i + 6. Let b be g(j). Let f be n(b). Solve p + 2*p - f = 0 for p.
1
Let g = 328 - 317. Solve -4*b - 14 = -g*b for b.
2
Let m be 2 - 6/1 - -7. Solve -31 = m*n - 16 for n.
-5
Let w be 24/16*(-154)/(-21). Solve 0 = -8*o - 3*o - w for o.
-1
Let f(d) = -d**3 + 5*d**2 + d - 5. Let u(s) = s - 1. Let r(y) = -f(y) + 2*u(y). Let q be r(5). Solve t = 5*t + q for t.
-2
Let d(c) = -c**3 - 4*c**2 - 2*c + 4. Let n be d(-6). Suppose 3*z + g = 49, 5*z - n = -g - 7. Solve h - 5*h = -z for h.
4
Let y = 5 - -14. Let m = y + -16. Solve -7*i + m*i = -20 for i.
5
Suppose 1 = 3*c + 4, 2*c - 3 = 5*f. Let x = 0 + 1. Let u = x - f. Solve 0 = g + u*g for g.
0
Let j(h) be the second derivative of h**3/6 + 7*h**2/2 + 19*h. Let c be j(-3). Solve r + 3 = c*r for r.
1
Suppose 5*v - 216 - 124 = 0. Let g = -67 + v. Solve f + g = 4 for f.
3
Let g = 26 - 24. Suppose -g*q - 12 = -3*f, -f + 2*q = -1 - 7. Solve -4*l + 2 = -f*l for l.
1
Let q be (-5)/(-15) + 2/(-6). Suppose -3*t + n - 43 = -q*n, -7 = t - 4*n. Let i be 4/10 - 114/t. Solve -v - v = i for v.
-4
Let j(f) = f - 1. Let v(x) = 3*x + 11. Let a(u) = 4*j(u) - 2*v(u). Let n be (30/(4/2))/(-1). Let s be a(n). Solve -5 = s*p + 15 for p.
-5
Let v(m) be the first derivative of -m**2/2 - 2*m - 1. Let o(t) = 13*t + 152. Let g be o(-12). Let s be v(g). Solve -s*n = 2*n + 20 for n.
-5
Let q(r) = -r**3 + 5*r**2 - 2*r - 4. Let o be q(4). Let c(j) = j - 1. Let x be c(o). Suppose -x*u - 2*u = 0. Solve u*i - i = -3 for i.
3
Suppose 0 = -4*c + 95 + 29. Let s = c + -29. Solve -5 = o - s*o for o.
5
Suppose 0 = -5*v - 4*j + 27, -v + 5 = j - 1. Let b = -16 - -18. Solve -b - v = 5*t for t.
-1
Let n = -6 + 15. Suppose -2*h + 2*x - x = -n, 0 = -4*h - 4*x. Solve h*u = 7*u - 20 for u.
5
Let m(r) = -r**3 - 7*r**2 - 7*r - 5. Suppose -3*l - 5*x = 11, x = -2*x + 6. Let w = l - -1. Let u be m(w). Solve -2*t = 1 + u for t.
-1
Let y = -3 + 7. Suppose 0*m + y = m. Suppose 3*d = -m*u + 20, -5*d + 48 = -0*u + 3*u. Solve -2*t = t + d for t.
-4
Let q be 8*1 - (-15 + 13). Suppose -5*d = -0*d - q. Suppose 2 = -o - 4*f, 0 = -5*o + 5*f - 8 + 23. Solve o*v = -0 + d for v.
1
Let v = 1093 + -1085. Solve z + 13 = v for z.
-5
Let i be 10/35 - 4/14. Suppose i = 15*d - 16*d + 25. Solve -2*l - d = -7*l for l.
5
Let z be 26/10 - 4/(-10). Suppose 10 = z*k - k, b = 4*k - 16. Suppose -b*r - r = 0. Solve -g - 2*g = r for g.
0
Suppose -5*d + 50 = -230. Let b be (-2)/(-7) + 544/d + 2. Solve 3*g + b = -3 for g.
-5
Let h be 1*((1 - 0) + 8). Let k be -24*(2 - 21/h). Let n be k/(-14) + 117/21. Solve n = -u + 1 for u.
-4
Suppose -8 = -2*p - 2*p. Suppose 2*x - 4 = -3*s, p*x - 4*s + s = 4. Solve -2*w - 4 = -x for w.
-1
Let t(u) = -u**2 - 10*u - 6. Let r be t(-8). Suppose 3*z - 4*x - 5 = 18, 3*x + r = -5*z. Let p be z/((-3 - -4)/15). Solve 4*a = a + p for a.
5
Suppose 3*c + 213 = 3*t, 5*c + 70 = 2*t - 78. Solve t*x = 67*x - 8 for x.
-4
Suppose -2*v + 2 = -4. Let r = 192 - -76. Suppose -r = 5*b - 308. Solve -v*o + b = -o for o.
4
Let w(x) = -3*x**2 + x + 4. Let y be w(-3). Let k be 2/13 + 4/y. Solve k = -a + 2*a for a.
0
Suppose 5*j = -3*t - 577, -2*j = 3*j - 2*t + 557. Let c = -97 - j. Solve 0 = -4*y + 4 + c for y.
5
Let g = -22 + 24. Let p be (28/(-49))/(g/(-7)). Solve -p = -0*r - 2*r for r.
1
Let u(f) = -f**2 + 5*f. Let w = -4 - -9. Let b be u(w). Suppose 4*n + 2*j + 0 = -2, -4*j - 22 = -n. Solve b = -z + n*z for z.
0
Let j = 1367 - 1364. Solve 6*k = 33 - j for k.
5
Let c = 10 + 7. Suppose c*g - 13*g = 0. Let d be 9 + g*(-4)/(-12). Solve 0 = -5*j + d + 6 for j.
3
Suppose r = 7*r. Suppose 3*i - 3*a + 4 = 13, r = 3*a - 3. Let j be ((-9)/6)/(i/(-8)). Solve m + j*m = 8 for m.
2
Let n = 1 + -9. Let y(z) = -2*z - 27. Let m be y(n). Let t = m - -11. Solve -4*a + t = 4 for a.
-1
Let r(z) = -6*z - 52. Let d = -90 - -81. Let h be r(d). Solve h*c + 5 = 3 for c.
-1
Let l(j) = j**2 - 8*j - 2. Let n be l(7). Let m be (30/25)/(n/(-15)). Solve g = m*g for g.
0
Let k(x) = -x**3 + 16*x**2 - 21*x + 111. Let r be k(15). Solve 2*t - 27 = -r for t.
3
Suppose -t - 4 = 5*o + 10, -5*t - 70 = -3*o. Let v(f) = f**3 - 2*f**2 - 4*f - 3. Let l be v(-2). Let g = l - t. Solve 0 = -h - 2*h + g for h.
1
Suppose 4*b = -b + 15. Suppose -b*r + 3*s - 18 = -63, -2*r = -5*s - 45. Solve -7*z + 2*z - r = 0 for z.
-2
Let v be (-2)/6 - (-84)/36. Let j(s) = 2*s**3 - s**2 - 2*s - 1. Let p be j(2). Solve 0 = -v*t + p*t for t.
0
Let w(u) = -2*u**3 + 64*u**2 - 62*u + 2. Let o be w(31). Suppose -2*m - 4*c = 3*m + 2, -m + c = -5. Solve 0 = m*n - o for n.
1
Let l = -63 + 75. Solve b = 15 - l for b.
3
Suppose 3*w - 15 - 3 = 0. Suppose 5*x - 13 = -4*c + 9, 2*x = 4. Solve -c*i = -0 - w for i.
2
Let z(o) = 6*o**2 - 2*o - 2. Suppose -f + 5*b + 13 = -2*f, -3*b - 17 = -4*f. Let r be z(f). Let l be 275/99 - (-4)/r. Solve w = -l*w for w.
0
Let o(y) = -y**2 - 5*y + 8. Let n be o(-5). Suppose 0*f - 2*f = -4*j + n, -2*j = -3*f. Suppose 5*h = 3*r + 12, f*r - 3*h + 8 = r. Solve -r = z - 0*z for z.
-1
Let x(f) = -2*f - 8. Let d(r) = r**2 + 9*r + 2. Let s be d(-7). Let m = s + 6. Let z be x(m). Solve 0 = -z*a - 20 for a.
-5
Let l be (0/(-2))/(7 + -8 - 2). Suppose 0 = 3*h + 5*j - 2, -2*j - 3*j - 18 = -2*h. Let d = h - 0. Solve l = d*x - 11 - 9 for x.
5
Let a be (-3 + (-55)/(-25))*15/(-6). Let q(y) = -y**2 - 6*y + 3. Let r be q(-6). Solve 4 = r*g - a for g.
2
Let d = -425 + 449. Solve -d*g - 15 = -21*g for g.
-5
Let g = 154 - 149. Solve -9 = -m - g for m.
4
Let h = 174 + -174. Let x(o) = 13*o - 1. Let q be x(2). Solve h = -3*a - 2*a - q for a.
-5
Let o be 72/(-27)*6/(-4). Suppose 18 = c + 16. Suppose -c*s + 12 = g, -g + s + o*s - 16 = 0. Solve 0*m - g = m for m.
-4
Suppose -5*y + 9 = -2*c, -21 = -2*y - 8*c + 3*c. Suppose f + 1 = -2*b - 0, -y = 3*f. Solve 5*o - 6 + 26 = b for o.
-4
Let a = -2 - -4. Suppose 35*g - 74*g + 98 = -19. Solve 0 = -a*z - g*z - 20 for z.
-4
Suppose 0 = -13*h + 113 + 69. Solve -5*u + 1 = -h for u.
3
Suppose -2*y = 1050 - 1090. Solve -5*o + y = 35 for o.
-3
Suppose 0 = -5*f - r + 2*r + 76, 49 = 3*f - 4*r. Solve 0 = 19*s - f*s for s.
0
Let c be (-1 - 13)*((-3)/(-6))/(-1). Suppose 3*f = 8 + c. Solve -3*b = -f*b + 8 for b.
4
Let w(t) = t - 1. Suppose 12 = 4*f