r f.
4
Let g = -8 + 5. Let v(h) = -9*h - 7. Let n be v(g). Solve 2*f + 2*f = n for f.
5
Let k be (-478 + -5)*4/6. Let v be k/(-3) - 2/6. Suppose -5*m = -v + 32. Solve 0 = n - 4*n + m for n.
5
Let k(i) = -i**2 + 26*i - 62. Let a be k(3). Solve 4*n + 9 + a = 0 for n.
-4
Let j(q) = -78*q - 61. Let m be j(-1). Solve -21 = -m*d - 106 for d.
-5
Let o(s) = 4*s + 34. Let m be o(-7). Solve f = -m*f + 7 for f.
1
Suppose -5*i + r = -4*r, -20 = -2*i - 2*r. Let n = -68 - -68. Suppose 10*b - 11*b + 4 = n. Solve -i*h = -b*h - 2 for h.
2
Let w be -1*1/(-3) - (-26)/(-6). Let u be 4 - (1 - 0/w). Solve b + 0*b = u for b.
3
Suppose -b = 3*m + 15, 15 = -2*m + 4*b - 9. Let z be m/8*60/(-9). Solve 20 + 0 = -z*i for i.
-4
Suppose -80 - 48 = -16*t. Solve -h + 12 = t for h.
4
Let u be -8 + 9 + 0 - -4*1. Solve -10*b = u + 35 for b.
-4
Let j be 0 - 2 - (0 - 5). Let b(d) = d**3 - 14*d**2 + 14*d - 6. Let h be b(13). Suppose 0 = h*m - 27 - 8. Solve 4*p = -j - m for p.
-2
Suppose 0*y = 3*y - 6. Suppose 0 = -5*o + n - 4*n + 41, 0 = 5*o + y*n - 44. Solve -u = 4*u - o for u.
2
Let q(z) = -z**3 + 8*z**2 - 5*z - 12. Let m be q(7). Solve -3*u = -m - 13 for u.
5
Let y be (-4)/6*1*-12. Let i = -3 + y. Suppose 0 = -4*v + 2*v + 8. Solve i*t + 16 + v = 0 for t.
-4
Let q = -45 - -50. Suppose n + 16 = -q*v, -2*n + 4*v + 7 = -17. Solve 0 = n*i - 2*i - 2 for i.
1
Suppose -36*c + 55*c = 152. Solve c = w + 7*w for w.
1
Let a be 4 + (-14)/(-10) + (-4)/10. Solve a*x - 70 = -9*x for x.
5
Suppose 10 = -4*k + 5*p, 3*k - 4*p = -5 - 3. Let i be (-1)/2*k/14. Solve o + 0*o - 2 = i for o.
2
Let h(w) = -w**3 + 15*w**2 - 2*w + 36. Let x be h(15). Suppose v + 6 = 4*v. Solve -x = -2*i + v for i.
4
Let l(n) = -5*n**2 - 2*n**2 + 4 + n**2 - 12*n + 5*n**2. Let k be l(-12). Solve -m + k*m = 15 for m.
5
Suppose 5*q - 16 = -2*l, -4*l = -4*q - 11 + 35. Solve -8*g + q*g = 4 for g.
-1
Let w be (54/(-30))/(4/(-80)). Solve 11*b = 20*b - w for b.
4
Suppose 0 = s - 4*l + 6 + 5, -3*s = -2*l + 13. Let x = s - -10. Solve 3*t + 5 = -x for t.
-4
Suppose 2*f + n = 5, f - 4*f - n + 9 = 0. Let k = 1 + 1. Let r = k + -1. Solve -l + r = -f for l.
5
Let i be ((-17)/51)/((-2)/1068). Suppose i + 46 = 2*n. Let v be ((-6)/8)/((-42)/n). Solve -3*q + v*q = -1 for q.
1
Let u be 4/(-6) + (-1 - 30/(-18)). Suppose 3*t + 3 = o + 4*t, u = 3*t. Solve -5*z = -o*z + 2 for z.
-1
Let g(w) = 3*w - 9. Let t be g(7). Suppose h + 5 = 3*r, -3*h + t = -2*r + 27. Solve 0 = -r*d + 5*d - 10 for d.
2
Suppose -102 = -5*u - 57. Let t(s) be the second derivative of -s**4/12 + 4*s**3/3 + 5*s**2 - s. Let r be t(u). Solve 4*i = -r + 17 for i.
4
Suppose a + 4*q + 7 = 0, -13*a - 4*q + 29 = -8*a. Solve -12*t = -a*t for t.
0
Let a = 12 - 10. Suppose -3*f = 4*w + 4, a*w - 26 = -w + 5*f. Let j = -7 + 8. Solve 0 = g - w - j for g.
3
Suppose -4*u + 2*u + 24 = 3*z, -4*u + 40 = 2*z. Let h = 13 + -20. Let n = h + u. Solve 0 = -n*j - j + 6 for j.
2
Suppose 16*b - 12*b - 268 = 0. Solve -b + 17 = 10*z for z.
-5
Suppose -3*d + 27 = 3*x, 4*d - x - 27 = d. Let z(w) = -13*w - 5. Let s(a) = -3*a - 1. Let q(c) = d*s(c) - 2*z(c). Let y be q(-1). Solve y*g - 3 = -g for g.
1
Let b = 10 - 7. Suppose 0 = -b*x + 18 + 33. Let r = x + -15. Solve m = -r*m for m.
0
Let o be 14/6*3 - 1. Suppose 2*d + 2 - o = 0. Solve d*c - 1 = 1 for c.
1
Let p be ((-216)/(-21))/6 + (-4)/(-14). Suppose -8 = -3*g + 1. Solve k - p = g*k for k.
-1
Let w be ((-4)/(-1))/(-1)*1. Let n = -4 - w. Suppose 0 = -3*o - 4*o + 56. Solve o*k - 3*k + 20 = n for k.
-4
Suppose 150 = 104*k - 89*k. Solve -k*i + 10 = -15*i for i.
-2
Let f(j) = j**2 - 5*j + 3. Let b be f(5). Let l(g) be the first derivative of -g**3/3 + 2*g**2 - g + 59. Let o be l(b). Solve 3*t + o = -7 for t.
-3
Let g(v) = v**3 - 8*v**2 + 2*v + 35. Let p be g(7). Solve p*f - 11*f = -0*f for f.
0
Let i be (-6 + 3)/((-3)/(-4)). Let f = i + 3. Let d be (-35)/(-21) + f/(-3). Solve -d*k - 20 = 2*k for k.
-5
Let r = -484 + 488. Solve 9 = r*m - 7*m for m.
-3
Suppose -2*g = -8*k + 3*k - 43, -5*g - 4*k = -157. Suppose -89 = -5*d - g. Solve 5*p + d = -13 for p.
-5
Let g(l) be the second derivative of -l**5/20 - l**4/4 - 5*l**3/6 + 2*l**2 - 5*l. Let w be g(-4). Suppose w + 30 = 5*d. Solve 2 - d = 3*s for s.
-4
Suppose z = -2*z - 3*k + 15, 5*z - 75 = 5*k. Suppose -10*g - 18*g + 196 = 0. Solve g*q - z = 2*q for q.
2
Suppose 0 = -2*a - 3*b + b + 6, -12 = 3*b. Solve a = 3*h + 22 for h.
-5
Let t(k) = k**3 - k. Let y be t(1). Suppose y*p + 2*p = 0. Suppose 8 = -4*n - 4*r + 2*r, -5*n - 4*r - 16 = p. Solve -2*x = 8 - n for x.
-4
Suppose -3*y - 19 + 28 = 0. Solve 2 = -y*k - 10 for k.
-4
Suppose 25 + 35 = 3*f. Let a = -45 - -47. Solve -f = a*w - 7*w for w.
4
Suppose 0 = -2*f - 0*f. Suppose 7 = z + 3*d, -4*z + f*z - 4*d = -12. Solve 0*p = p - z for p.
1
Let x(v) = -v**3 - 6*v**2 + 2*v + 2. Let k be x(-6). Let j = k - -9. Let f be (9/(-3) - -1)*j. Solve -3*l = f*l for l.
0
Suppose 4*h - 12 = -0*h. Suppose 5*v - 2*v + 6 = -h*j, -5*j - 2*v = 16. Let z(c) = c**2 + 5*c + 6. Let g be z(j). Solve -3*l - g*l = 10 for l.
-2
Suppose 2*f = 3*j - 3, j = f - 0*j. Let w(a) = -4 - 8*a - a**3 + 6*a**2 + 2*a**f - 3. Let d be w(-7). Solve -2*s + s - 2 = d for s.
-2
Let n be ((-2)/3)/(3/(-9)). Suppose 5*g + 2*v - 13 = 21, -5*g - v + 37 = 0. Let c be (g + -8)/(-1 - 0). Solve n*t = -c*t + 2 for t.
1
Suppose -8 = -3*a - a. Let r(l) be the first derivative of -2*l**2 + 16*l - 2. Let t be r(4). Solve t*w = -a*w - 10 for w.
-5
Let n be ((-6)/(-21))/(18/693). Solve 4*p = 9 + n for p.
5
Let d(r) = -r**2 + 24*r - 20. Let z be d(23). Suppose -b + 2*b - 3 = 0. Suppose 0 = b*v - 2*x - z - 11, -9 = -3*v - 3*x. Solve s - 20 = -v*s for s.
4
Suppose 4*o = -5*v + 272, v + 223 = 55*o - 52*o. Solve 7*x - 87 = -o for x.
2
Let m = 75 + -70. Suppose -s - 3*b = s - 23, 4*s - 37 = -3*b. Solve -s*h - 8 = -m*h for h.
-4
Suppose -3*x = -n - 7, 5*n + 0*n = 3*x + 13. Suppose n*p = p. Suppose 3*f + o = -0*o + 2, -2*f - 3*o = 8. Solve f*c = -p*c for c.
0
Let r(z) = -z + 17. Let l(p) = 4*p**2 + 5*p - 7. Let v be l(-3). Let o be r(v). Solve -1 = o*q + 14 for q.
-5
Let n(q) = 5*q**3 - 5*q**2 - 2*q. Let h(w) = 11*w**3 - 11*w**2 - 4*w. Let s(a) = 4*h(a) - 9*n(a). Let y be s(2). Solve y = -r - 2*r - 3 for r.
-1
Let g(f) be the third derivative of f**6/120 - 7*f**5/60 + 5*f**4/24 + f**3 - 11*f**2 - 3*f. Let q = 15 - 9. Let u be g(q). Solve u = 5*s - 2*s for s.
0
Suppose 1 = y - 10. Let s be 8/(-1 - 1) + y. Solve -3*d + 20 = -s*d for d.
-5
Let n be 2/1 + -2 + -3. Let z(a) = -2 + 0*a + 0*a - a**2 - a + 8. Let u be z(n). Solve 3*j + 0*j = u for j.
0
Let g(c) = -5*c**2 - 2*c - 6*c + 9 - c**2 + c**3 + 0*c. Let l be g(7). Suppose 2*d - 8 = -l*d. Solve 2*m + d = -4 for m.
-3
Let b(t) = 2*t - 2 - 2 + 2*t. Let h be (8/(-10))/((-46)/115). Let j be b(h). Solve 2*v - j*v - 10 = 0 for v.
-5
Let n be 0 + 1*0/(-10 + 4). Solve n = -6*b - 4*b - 10 for b.
-1
Let a = 73 + -94. Let q = a + 46. Solve r + q = -4*r for r.
-5
Suppose 5*f = 3*h - 100, 5*f = 7*f + 4. Suppose 5*i = 85 - h. Solve i - 26 = -3*b for b.
5
Let a be (2/(-1) + 1)*-55. Let o be 3/4 + (5 - a/20). Solve h - 2*h = o for h.
-3
Let u be (0 + -1)/(1/1)*-3. Solve -i - u*i = -8 for i.
2
Suppose 3*g - 4*k = 10, 3*g - 4*k = g. Suppose 4 - g = -3*s. Let h be (1 - -11)*(-1)/(-2). Solve -r + h = s*r for r.
2
Let n = -2041 - -2130. Solve 30*q - n = 61 for q.
5
Let y be 2/4 - 351/(-18). Let i = y - 47. Let f = 29 + i. Solve 3*b = 2*b - f for b.
-2
Suppose -18*u - 8*u + 78 = 0. Solve -u*g + 3 = -2*g for g.
3
Suppose 3*p + 2*g - 82 = -29, -g + 16 = p. Solve 0 = -p*r + 22*r - 1 for r.
1
Suppose 2*z = -2*z + 16. Suppose -22 = -7*y - 15. Solve -5 = z*a - y for a.
-1
Let p(l) = l**3 + 29*l**2 - 30*l + 2. Let g be p(-30). Solve 0 = -g*s - s - 12 for s.
-4
Let t(c) = c**3 - 15*c**2 + 18*c - 268. Let d be t(15). Suppose 0 = -3*q - 2*q. Solve q = -d*f + f - 5 for f.
-5
Let d(z) be the second derivative of z**5/20 + 5*z**4/6 + 4*z**3/3 - 7*z**2/2 - 6*z. Let c be d(-9). Suppose c*k - 7 = -3. Solve 3*t - 13 = k for t.
5
Let r be 6*3/(-12)*-2. Suppose 3*k - r = 0, -v = v - 5*k + 81. Let m be (-10)/3*57/v. Solve 5*b - 10 = m for b.
3
Suppose -b + 2*b - 9 = -d, 0 = -2*d - b + 20. Let h = -36 - -40. Solve d = 5*g - h for g.
3
Let f(g) = g**3 - 7*g**2 - 8*g + 2. Let j be f(8). Suppose j*a = -0*a - 4*k + 8, -3 = -a - k. 