r v.
3
Suppose -17*f - 47 = -132. Solve f*l + l = -6 for l.
-1
Suppose -5*q + 8 = -q. Solve i + q*i = -15 for i.
-5
Let p(t) be the third derivative of t**5/60 + t**4/6 + 7*t**3/6 + 6*t**2. Let b be p(-3). Solve 2 = -2*m - b for m.
-3
Let m(b) = b**2 + 4*b + 34. Let z be m(0). Suppose -10*x - 7*x + z = 0. Solve a = x*a + 2 for a.
-2
Suppose -4*d + t + 14 = 0, -4*t = 5*d + t - 30. Let a = 20 + -20. Solve -d*j = -a + 16 for j.
-4
Let u = 292 + -278. Solve -3*m - 1 = u for m.
-5
Suppose 0 = -6*w - 21 + 255. Solve -9*v = -22*v + w for v.
3
Let y(m) = -m + 16. Let l be y(5). Suppose l*i = 9*i + 10. Solve -i*v - 12 = -8*v for v.
4
Suppose 0*m + 3*m = 9. Solve 3*f = -m*f - 12 for f.
-2
Let t = 72 - 67. Solve t*l = l - 16 for l.
-4
Let t(c) = c**3 - 10*c**2 + 17*c - 3. Suppose -6*a - 7*a = -104. Let g be t(a). Solve 0 = 2*b - g - 3 for b.
4
Suppose 9*u - 100 = 13*u. Let r = u - -42. Let t = -15 + r. Solve -t*k - 4 = -2 for k.
-1
Let v be -6*((-3)/54*111 - -5). Solve 0 = -4*d + v*d - 7*d for d.
0
Suppose -4*r + 14 = 2*h, 33*h - 31*h + r - 8 = 0. Solve 5*j + 22 = -h for j.
-5
Let y(w) = w**2 - 16*w + 62. Let a be y(11). Solve 8 = 5*l - a for l.
3
Suppose 54*h - 101*h = -47. Solve 0 = -5*g - h - 4 for g.
-1
Suppose -7*t + 70 = 28. Let l(x) = x**2 - 5*x - 1. Let d be l(t). Solve 2 = d*f - 3*f for f.
1
Let f(s) = -s + 7. Let v(r) = r**2 - r - 2. Let p be v(3). Let q be f(p). Suppose 0 = 3*k + l + 1, q*k + 3*l = l - 2. Solve -x = -k*x - 5 for x.
5
Suppose 5*p + 2977 = 3302. Solve -6*g - 41 + p = 0 for g.
4
Let q = -63 - -45. Let y = 22 + q. Suppose 2*x = 7*x - 2*m - 21, -x + y*m + 15 = 0. Solve -x*p = -p + 2 for p.
-1
Let a be (-20 + 19 + -4)*(-2)/5. Solve a*t - 13*t = 0 for t.
0
Let k = -377 + 382. Solve 5*v = 10*v + k for v.
-1
Let i = -487 - -487. Solve -l - 59 + 56 = i for l.
-3
Let r = -65 + 83. Suppose 0*d + 6*d - r = 0. Solve 9 = -4*n - d for n.
-3
Suppose -5*z - 5*w = 0, 5*z - z = 3*w + 28. Suppose -o - z*n = -23, -2*n = 2*o + n - 51. Suppose 2*b + 4 = 0, 7 = -2*p - 2*b + o. Solve q + 2*q = p for q.
4
Suppose 3*j + 79 = 88. Solve -m - j*m + 12 = 0 for m.
3
Let m(d) = d**3 - 8*d**2 + 7*d + 5. Let v be m(7). Suppose -5*g + 12 = g. Solve 0 = v*s + g + 3 for s.
-1
Let i be 8/(-24) + 49/3. Solve i*u = 12*u + 8 for u.
2
Let p be (8/(-10))/((-8)/(-140)). Let c be (-14 - -4)*(p/4 - -3). Solve 3*r - c = 4*r for r.
-5
Suppose -39*c + 72*c = 38*c. Solve 5*y - 7*y + 8 = c for y.
4
Let u(n) = n**2 - 5*n - 4. Let b be u(6). Suppose -k + 3*k = 4*r - b, -4*k + 20 = 4*r. Solve 3 = -r*s + 13 for s.
5
Let t = 27 + -21. Suppose -t + 4 = -h. Solve 1 = -h*u + u for u.
-1
Suppose -2*f = -3*f + 2*f. Suppose -4*y + 2*y + 20 = 0. Suppose y = c + c. Solve f = t + 2 - c for t.
3
Suppose 20*u - 216 = 144. Solve -6*m + 12 = -u*m for m.
-1
Suppose j - 3 + 0 = 0. Let a be 12/(5*3/10). Suppose -a*b + 0*b = 0. Solve -j*y = -b*y for y.
0
Let i be -6 + 9 + (1*-10)/(-2). Let a(y) = -y**2 + 8*y - 4. Let p be a(8). Let l = i + p. Solve 0*t = l*t - 12 for t.
3
Suppose 8*a = 401 - 41. Let b be (12/7)/(a/35 + -1). Let t = -3 - -6. Solve -b*i + 3*i = -t for i.
1
Let o(x) = -x**2 - 9*x - 6. Suppose -5*w - 14 = u, -2*w + 4*w + 3*u + 3 = 0. Let b be o(w). Solve 0 = -4*d - 0*d - b for d.
-3
Let y(u) = u**2 + 3*u. Let r be y(-7). Solve -35*k + r*k = 0 for k.
0
Let g = 46 - 45. Let y be (-2 - (g + -1))*(-42 + 39). Solve -c + y*c = 20 for c.
4
Let y = -20 + 32. Let o be 120/36 - (24/(-9) - -3). Solve o*l - y = -0*l for l.
4
Let x be -7 - 60/(-18)*3. Solve -x*a + 9 = -0*a for a.
3
Let t(n) = -n**3 + 5*n**2 + 3*n - 6. Let d be t(5). Let b be ((1 - 3) + (d - -1))/2. Solve -u - 1 = -b for u.
3
Suppose 34 = 3*q - 5*k, -k - 25 = 4*k. Solve -2 = q*d + 7 for d.
-3
Let j = 234 - 222. Solve 13*t - j*t - 4 = 0 for t.
4
Let l = -13 - -16. Suppose u - 20 = -u. Solve -i + l*i = u for i.
5
Suppose -2*f = 5*a - 15, -4*f + 9 - 3 = 2*a. Solve 3*t + 6 - 21 = f for t.
5
Suppose -3*q = -k - 643, 3*k + 3*q - q + 1940 = 0. Let o be k/(-153) + 2/(-9)*1. Solve c = -o - 1 for c.
-5
Let j = 2 + 0. Let w be 2/(1/3*j). Suppose f - w = 2, -f + 7 = y. Solve -5*b = -y - 3 for b.
1
Suppose -4*o = -2*o - 2. Let z(t) = t**3 + 13*t**2 - t - 11. Let a(h) = -h**3 - 9*h**2 + h - 4. Let w be a(-9). Let p be z(w). Solve o = -i + p*i for i.
1
Let y be (-528)/9 - ((-8)/(-6) - 1). Let b = y - -62. Solve -2*h = -b*h - 3 for h.
-3
Suppose 0 = 12*t + 40 - 88. Solve 0 = y - t + 5 for y.
-1
Suppose 4*v = -j + 5*j + 24, 0 = 4*v - 5*j - 27. Let g = 10 + -8. Suppose l = -s + 6*l + 3, g*l + 6 = 2*s. Solve -4*w + v = -s*w for w.
3
Suppose 244 = 4*y + m - 4*m, 0 = -2*y - 4*m + 100. Let t = -44 + y. Solve 4 = 2*o + t for o.
-5
Suppose -4*x - 4*l = -16, 4*x - 14 = -l - 2*l. Suppose -4 = -y, -3*f + 4*f + 18 = 5*y. Solve -x - f = -2*c for c.
2
Suppose 41*f - 43*f = -22. Suppose f*k = 5*k. Solve k = -4*p + 3 + 1 for p.
1
Let p = 1 + 4. Suppose 30 = p*f + 15. Solve -z + f = 2*z for z.
1
Suppose 240 = 80*h - 76*h. Solve -7*l = 5*l + h for l.
-5
Let g(k) = -k**3 - 8*k**2 - 15*k + 3. Let j be g(-6). Solve -j*x + 7*x - 42 = 0 for x.
-3
Suppose 3*c + 10 = -2*b + 53, 15 = b - 5*c. Solve -11*d = 31 - b for d.
-1
Let f(b) = -8*b + 441. Let c be f(52). Let k be (1 - -1)/(-2) + 5. Suppose -c = -4*l + w - 3, 8 = -k*w. Solve 4 = x - l*x for x.
-1
Let h be 16/(-40) + (-204)/(-10). Suppose 4*v = -a + 25 - 3, -h = -4*v. Solve -2*f - a*f = -12 for f.
3
Let x = 926 - 926. Solve 2*w - 102 + 96 = x for w.
3
Let c = -597 + 600. Solve 4*m + 9 + c = 0 for m.
-3
Let b(k) = -k**3 + 26*k**2 - 2*k + 52. Let l be b(26). Suppose l = 3*h + 2*a - 19, -h = -5*a + 10*a - 28. Solve 4*z + h = 3*z for z.
-3
Let b(w) = 6*w**2 + 2*w + 2. Let a be b(4). Suppose -2*t = -3*y - 91, -5*t = -y + 5*y + a. Let f = -27 - y. Solve -4 = -f*n - 2*n for n.
1
Let f(w) be the third derivative of -w**5/60 + w**4/3 - 2*w**3 - 11*w**2. Let t be f(4). Suppose -t*i - 12 = 4*a, a - 4*i + 2 = 19. Solve 2*n = -a - 5 for n.
-3
Let p(w) be the second derivative of w**4/6 - 49*w**3/6 - 11*w**2 - 14*w. Let m be p(25). Solve -m*i + 4 = -7*i for i.
-1
Suppose 2*v = 2*z - 3 - 3, 2*z + 2*v - 2 = 0. Suppose -o + 0*x + x = -4, z*o + 4 = -x. Solve o*s + 5*s = 25 for s.
5
Let i be (-1)/(10/32)*(-85)/34. Solve -i*l - 12 = -2*l for l.
-2
Suppose -5*n - 3*j = -62, -3*n - 5*j = -2*n - 30. Let q(i) = -i**2 + 5*i - 1. Let g be (-8 + 14)*(-2)/(-6). Let h be q(g). Solve n = -3*s - h for s.
-5
Let i be (-36 - -25)/(2/(-2)). Solve 16 = i*h - 7*h for h.
4
Let r be (-24)/40 + (-1 - 33/(-5)). Solve 9*l - r*l = -8 for l.
-2
Suppose 4*z - 3*z = 5. Suppose z = -4*h - 7, 4*u - h - 23 = 0. Suppose 0 = u*q - 7*q. Solve q*l - 3 = l for l.
-3
Let d = 133 + -131. Suppose 0 = 3*s - d*s - 5. Solve s*h = 3*h + 10 for h.
5
Suppose 9*y + 2*g = 6*y - 4, 0 = -4*y + 4*g + 28. Suppose -y*z - 30 = -i - i, -4 = z. Solve -5*t + 1 = i for t.
-2
Suppose 0*s - 25 = -s. Suppose -s = 5*r, -a + r = 2*a - 5. Suppose a = 4*t - 3 - 5. Solve 2 = n - t for n.
4
Let s be 210/27 - 4 - (-4)/18. Suppose -s*f - 2*f = -18. Solve f*g - g + 2 = 0 for g.
-1
Suppose -2*f + 3*n = -31, -15*n + 14*n = -3*f + 36. Solve -5*u = f - 21 for u.
2
Suppose 2*y = -0*y + 16. Suppose 292 = 7*t - 142. Let u = 65 - t. Solve -w = -u*w + y for w.
4
Let z = -5 - -7. Suppose -2*o + 6 = -z. Suppose -15*c = -14*c - o. Solve -2*b + 6*b + c = 0 for b.
-1
Let b be (4/(-14))/(1/(-7)). Suppose k - 4*h = -k - 4, 3*k - 4*h + b = 0. Solve k*f + 3 = 1 for f.
-1
Let g be (-94)/(-16) + 7/56. Solve -2 = -2*j + g for j.
4
Let m be (2 - (-1 - -2))*(3 - 1). Solve m*q - 6*q = 0 for q.
0
Suppose 3*c + 8 = 4*q, -2*c = 6*q - 8*q + 4. Solve 4*s - 3*s = c for s.
0
Let h(q) = -2*q - 14. Let f be h(-8). Suppose m = -0*m + f. Suppose -2 - 14 = -m*a. Solve -4*g - 16 = -a*g for g.
4
Suppose -4*t + 164 - 68 = 0. Suppose 3*f = f + t. Suppose 0 = -x - y, 19*x - 15*x = 3*y + 14. Solve x*s + 2 = f for s.
5
Let u = -68 + 43. Let g = 28 + u. Solve g*q - q - 8 = 0 for q.
4
Let l(t) = -8*t + 5. Let f be l(-2). Let o = f + -6. Let b = 16 - o. Solve h + b - 3 = 0 for h.
2
Let q(c) = c**2 - 8*c. Let l be q(8). Suppose 13*m - 5*m = l. Suppose 2*n = -2*s + 38, 5*s - 5*n + m*n = 55. Solve 0 = -r + 6*r + s for r.
-3
Let t(v) = v**2 - 4*v - 1. Let d(k) = k - 8. Let j be d(8). Let i(a) = -2*a + 5. Let y be i(j). Let b be t(y). Solve 3*n = b*n