f for f.
0
Suppose -5*r - 2*p + 10 = -0*p, -3*r + 4*p = -32. Let b be (-9 + r - -2) + 7. Solve 1 - 5 = b*d for d.
-1
Let z be (0/1 - 1)/((-13)/26). Solve -3*s = z*s + 10 for s.
-2
Let z be 25/7 + 80/(-140). Solve 0 = 2*v + z*v - 20 for v.
4
Suppose -17*a + 14*a - 46 = -5*m, -4*m = -3*a - 38. Solve -m*o = -3 + 11 for o.
-1
Let d = 2 + 1. Suppose s + 3*r = 26, 8*r - 29 = -4*s + 11*r. Solve -d*p + 1 = -s for p.
4
Let p be 0/(-4) - -2 - -3. Suppose p*g - 11*g + 12 = 0. Suppose 2*s - 30 = -3*s. Solve s*h = g*h for h.
0
Let o = 525 - 517. Solve o = 2*l + 6 for l.
1
Suppose -15*k - 7 + 682 = 0. Solve 0 = 44*l - k*l for l.
0
Suppose 0 = -16*u + u + 45. Solve -u - 1 = 2*c for c.
-2
Let d be (-345)/(-25) - 2/(-10). Suppose -2*h = -26 - d. Solve -h = 4*s - 0*s for s.
-5
Let u(c) = 0 + c**2 + 6*c + 2 + 0. Let n be u(-6). Suppose -n*p + 5 = -p. Solve 0*k = p*k - 25 for k.
5
Suppose 3*p + 96 = 2*j - 0*j, j + p - 53 = 0. Let g = j + -33. Let c be g/((-4)/(-2)) + -2. Solve -1 - c = 2*k for k.
-4
Let j be -3 - (-6 + 1) - -2. Suppose 0 = -3*b + 5*k + 24, 3*b - 40 = -2*b - j*k. Suppose 7 + b = 5*c. Solve -4*f + 1 = -c for f.
1
Let o(i) = -16*i**3 + 4*i**2 - 3. Let y be o(-1). Solve -3*h = y - 2 for h.
-5
Let k(l) = -l + 23. Let b be k(18). Suppose 2*o - b*z = -0*z - 6, o + 3*z = 8. Solve -4*c + o*c = 0 for c.
0
Suppose -2*h = 45*w - 40*w - 74, -22 = -2*w + 3*h. Solve w*r - 12 = 10*r for r.
3
Let b be ((2/(-4))/1)/((-5)/300). Suppose -b = -c - 5*c. Solve 0*t - c*t = -5 for t.
1
Let x(n) = -n - 1. Suppose 3*j = 2*o + 7 - 4, -5*o + 5*j = 0. Suppose -s + o = 0, -3*s + 45 = -3*d + s. Let b be x(d). Solve 3*l = l + b for l.
5
Let x(y) be the second derivative of y**4/12 - 2*y**3 + y**2 + 11*y. Let v be x(12). Solve -v*q + 3*q = 1 for q.
1
Suppose -74 = 6*m - 104. Solve -z = -m*z for z.
0
Suppose 12*p - 7*p - 10 = 0. Let o(s) = -s**3 - 3*s**2 + 3*s - 1. Let k be o(-4). Solve -10 = k*q + p for q.
-4
Let u(s) = -s**2 - 5*s + 2. Let a be u(-4). Suppose -a*t = -13 - 5. Solve -t*w = -0*w for w.
0
Suppose 24 = 3*k - 0*k. Solve 5*d + 3 = k for d.
1
Let l be (3 - 2)/(2/6). Suppose -2*k = u - 9, 2*u + l*u - 10 = -3*k. Solve k*v + 20 = v for v.
-5
Let p be -2*(-1 + 0) - (2 + 0). Suppose p = 13*j - 15*j. Solve j*b = 3*b - 3 for b.
1
Let b be 7 + -4 + -4 + 5. Let p be (-1 - b)*(-51)/85. Solve -p*n + 8 = n for n.
2
Let k(n) = 22*n**2 - 2. Let f be k(-1). Solve -f = 6*z + 4 for z.
-4
Let w(a) = -4*a**2 + 12*a - 18. Let s be w(7). Let o = -129 - s. Solve b = -o - 2 for b.
-3
Let z = -208 + 210. Solve 0 = 2*w - w + z for w.
-2
Suppose -6*x - 387 = -99. Let f = x - -48. Solve a - 1 = -f*a for a.
1
Let r = 10 + -27. Let w = r + 22. Suppose 92 = w*k + 2. Solve 2 = 5*a - k for a.
4
Let b(k) = 3*k - 18 + 26 + 2 + 38. Let o be b(-14). Solve 3*d + o + 3 = 0 for d.
-3
Let v(h) be the second derivative of -5*h**3/6 - h**2/2 + 18*h. Suppose 3*f - 1 + 7 = 0. Let k be v(f). Solve -2*y - k = -5*y for y.
3
Suppose 8*i - 90 = -2*i. Suppose i*j - 30 = -12. Solve -10 - j = -4*b for b.
3
Suppose -2*o - 3*y = -6*y - 21, 4*y = -2*o. Let k be 10/o - (-26)/78. Solve 0*l - k*l = 0 for l.
0
Suppose -4*k - 4*t + 4 = 0, 2*t + 4 + 0 = -k. Let y be 24/30 - k/(-5). Suppose 0 = -u - 2*x + 4, -5*u + 20 = -0*x - 4*x. Solve -y*q - 8 = -u*q for q.
4
Let n = 39 + -24. Suppose 8 = c + 2. Solve -c*l = -l + n for l.
-3
Let h be -4 + (-21)/(-3) - 3. Suppose -3*c = 5*f, h = -c - 3*f + 2*f. Solve -l - l = c for l.
0
Suppose -4 = -2*n + 3*n. Let d be 1 - (n - 33 - 2). Suppose -2*p + d = 3*p. Solve 0 = 4*r - 0*r + p for r.
-2
Let c = 238 - 230. Solve -c*o = -2*o - 6 for o.
1
Let t(u) = u**2 - 8*u + 12. Let q be t(6). Suppose -3*y + 15 = 2*b - 4, y - 28 = -5*b. Let d be 3 + q/(-6 + y). Solve d = -x + 2*x for x.
3
Let i(u) = -3*u - 15. Let v be i(-11). Let o be 4/(8/v) - -4. Suppose -17 = -5*b + 3*h, 3*b - h + o = -5*h. Solve -s - b = 3 for s.
-4
Suppose 15 = 62*w - 59*w. Let q = -4 + w. Solve -f = -q - 1 for f.
2
Suppose -12 = -2*n + 4. Suppose 0 = 4*m + 12, -2*p + 5*m + 13 = 2*m. Suppose -2 = j - 3*o + 4, p*o = 6. Solve n = j*h + 2 for h.
2
Suppose -7*b + 8*b = -4*r + 17, -5*r - 5*b = -40. Solve 0 = -4*o + o + r for o.
1
Let t = -14 - -21. Suppose -22 = -5*y + 3*i + i, 0 = 4*y - i - 11. Suppose y*p + 0*p + 5*a + 1 = 0, 2*p - t = 3*a. Solve 6*j - p*j = 0 for j.
0
Suppose 0 = 2*i - 2*r + 200, -166 = 2*i + r + 46. Let y = i - -106. Solve b + y = -0*b for b.
-2
Let d be (12/(-8))/((-9)/12). Let u(c) = 3*c - 2. Let b be u(d). Solve -b*h + h = 3 for h.
-1
Let f(l) = 439*l**2 + 1315*l - 1. Let s be f(-3). Suppose -3*n + 8 = -2*m - 0, 5*m = -5*n - 20. Solve 0 = -n*z - s*z for z.
0
Suppose -5*l + 8 = -3*l. Suppose 2 = -l*u + 22. Solve -7*d + 6*d = -u for d.
5
Let p(n) = -3*n**2 - 3*n + 1. Let t be p(1). Let q(b) = -5*b - 5. Let i be q(t). Suppose -5 = -2*z - 1. Solve -z*x = -7*x - i for x.
-4
Suppose -2*t - 2 = 10. Let n be (-3)/t*(-12)/(-3). Solve 6 = f + n*f for f.
2
Let j = 482 - 456. Solve -4*a = j - 10 for a.
-4
Let y(i) = i**3 - 6*i**2 + 2*i - 10. Let h be y(6). Solve -2 = h*l - 4*l for l.
1
Suppose -5*c + 0*c = -0*c. Solve c = o - 8*o + 21 for o.
3
Let w be ((-28)/(-10) - 2)*(10 - 0). Solve -w*y + 12 = 44 for y.
-4
Let a = -2 - -4. Suppose s + 2*v + a = 0, -4*v - 20 = -2*s + 16. Suppose 14*l - 23*l = -45. Solve -l*b - 17 - s = 0 for b.
-5
Let i = 14 - 10. Suppose i*r - 60 = 5*h, r = 4*h + h + 15. Solve r = -0*f - 3*f for f.
-5
Let s be (-1)/(3/30*-4)*10. Solve -21*x = -s*x - 8 for x.
-2
Let i = 634 - 622. Solve -13*k - 4 = -i*k for k.
-4
Let t = 20 - 6. Solve -2*b - 24 = -t for b.
-5
Let f(a) = a - 11. Let t be f(9). Let h = 6 + t. Suppose -h*z + 0*s + 5*s + 100 = 0, 0 = -5*s. Solve -4*c = c - z for c.
5
Let w be 2/6*(-4)/(48/(-36)). Solve 0 = 3*q - 2 - w for q.
1
Let j(k) = -k**3 + 8*k**2 + 24*k - 20. Let y be j(10). Let v = -8 - -13. Solve -v*w - y = -5 for w.
-3
Let l = -24 + -16. Let p = 40 + l. Solve 5*n - 2*n - 9 = p for n.
3
Let u = 697 + -695. Solve u*v = v for v.
0
Let m(d) = -d**3 + 14*d**2 + 31*d + 19. Let u be m(16). Solve g - 4*g = -u for g.
1
Let n = -43 - -47. Suppose 0 = -0*g - 2*g - g. Solve g = -z + 1 + n for z.
5
Let v be (-2)/(-5) + (-114)/(-15). Suppose -v*b = -12*b + 20. Solve -b*r + 2*r = 0 for r.
0
Let q be 6 + 528/308*(-7)/2. Let y = -3 - -5. Solve q = y*c + 8 - 0 for c.
-4
Suppose 0 = -6*s - 315 + 327. Solve -3*z = -s*z for z.
0
Let o(v) = -2*v + 22. Let i be o(12). Let d be (i/(-4)*2)/((-6)/(-12)). Solve -d*k - 3 = -k for k.
-3
Suppose -5*k = -5*s + 40, 2*s = -5*k - 17 - 44. Let a be 16/48 + -1 + k/(-3). Solve 4*p + 4 = a*p for p.
-4
Let k be (-11)/(-44) - 22/(-8). Suppose -k*v = -10 + 4. Solve v*a - 6*a = -4 for a.
1
Suppose 0*p - 4 = -2*p. Suppose -p = -0*t - 2*t. Let o be 5 + 0 - (t - 0). Solve 1 = -5*k - o for k.
-1
Suppose 17 = -5*c + 37. Solve -5*r + c*r - 3 = 0 for r.
-3
Let b be 0*10/(-8)*4/(-10). Solve b = -i + 5*i - 12 for i.
3
Suppose -18 = -m + 3*a, 3*m - 14 = -4*a - 12. Solve m = 7*s - 9*s for s.
-3
Suppose 4*x - 15 = 5*d, -17 = d - 3*d - 3*x. Suppose d = -4*k + 17. Suppose 0 = -75*z + z. Solve -2*c - k = -z for c.
-2
Suppose 0 = 2*x - 2 - 2. Suppose -r + 2*l + 3 = 0, -r + 9 = x*r - 4*l. Let s = 3 - r. Solve s*p = -4*p for p.
0
Let k be (-19 + -2)*(0 + 1). Let l = 6 - k. Let s be 465/27 - 6/l. Solve -1 = -4*o - s for o.
-4
Let p(c) = c**2 - c - 5. Let z(m) = 3*m**3 + m + 1. Let o(h) = -h + 4. Let s be o(5). Let k be z(s). Let q be p(k). Solve -5*v = -8 - q for v.
3
Let m(x) = -4*x**2 - 13*x - 2. Let t be m(-2). Suppose 0*r - t = 4*r, q + 2 = -3*r. Solve q*j = j for j.
0
Suppose 0 = 14*h - 77*h. Let z be (-4)/12*-1*9. Solve h = -v - 7 + z for v.
-4
Let r(u) = u + 14. Let y be r(-13). Let t be (y - 2) + (-6)/1. Let f = t - -8. Solve -x = -0 + f for x.
-1
Suppose 5*d = 9*d - 4. Let l be (-136)/8 - (d - 1). Let w = l - -26. Solve r + w = 4*r for r.
3
Let a = 14 + -14. Let p = -11 + 7. Let s be (-50)/(-13) + p/(-26). Solve a = s*n - 4 - 0 for n.
1
Let x(r) = -11*r**3 - 8*r**2 + 6*r + 1. Let o(d) = 4*d**3 + 3*d**2 - 2*d. Let v(i) = 8*o(i) + 3*x(i). Let p be v(-2). Solve p = -5*c + 17 for c.
2
Suppose -2*d + 0*d = 6*d. Suppose -18*q + 19*q = d. Solve y - 1 = -q for y.
1
Let i = -38 - 5. Let q = i - -47. Solve -h - 3*h + q = 0 for h.
1
Let j = 11 - 8. Let w = j + -3. Suppose w = -0*d + d - 2.