r + 1 for k.
4
Let q(i) = -3*i**2 - 2. Let p be q(-2). Let c(x) be the first derivative of -x**4/4 - 5*x**3 - 7*x**2 + 3*x + 3. Let m be c(p). Solve m*h = -4 + 10 for h.
2
Suppose -3*b + 12*b = 54. Solve -g = b - 11 for g.
5
Let w be (-19 + 21)/((-3)/(-15)). Solve -w = u - 12 for u.
2
Let g(x) = 53*x - 105. Let h be g(2). Let b be ((-4)/10)/(1/5). Let s(t) = t**2 + t + 1. Let k be s(b). Solve k*i = h - 7 for i.
-2
Let b(o) = -o + 27. Suppose -4*t + 30 = 6. Let u = t + 5. Let g be b(u). Solve 5*v + 9 + g = 0 for v.
-5
Let h be 492/12 - (-5 - -1). Solve -44 + h = w for w.
1
Let m(p) = 3*p - 1. Let i be m(-2). Let v(d) = d + 11. Let n be v(i). Suppose 0 = u + 117 - 118. Solve 0 = n*c - u - 7 for c.
2
Suppose 0 = 15*f - 39 + 9. Solve 2*c - 4 + f = 0 for c.
1
Suppose 4*p + 810 = 9*p. Let o = 162 - p. Solve 19*l - 14*l = o for l.
0
Suppose 2*u - 6 = a, -2 = 4*a + a - 3*u. Let p be 1/(-8)*a - 85/(-20). Let f be 3 + 0*(-2)/(-4). Solve p*g = f*g for g.
0
Let c be (49/7)/(1 - (-12)/(-15)). Solve -o - c = -32 for o.
-3
Let w(k) be the first derivative of 1/3*k**3 - 2*k**2 - 3 + k. Let c be w(5). Solve 2*a - 8 = c*a for a.
-2
Let j be (-40)/(-18) + 36/(-162). Suppose 3*i - i + j*q = 26, 2*i + q - 25 = 0. Solve -5*b + b = i for b.
-3
Let v(s) = -s**3 + 7*s**2 - 5*s - 6. Let x = -46 - -52. Let m be v(x). Solve m = 5*j - 2*j + 6 for j.
-2
Let c be -1 - 82/8 - 3/4. Let x be (-2 + 0)*1*-4. Let k be (x - 2) + c/4. Solve j + 0 = -k for j.
-3
Suppose -g = p - 4*p + 55, 5*g + 88 = 4*p. Suppose -6*a + 1 = -p. Solve 0*f + a*f = 0 for f.
0
Let z be (-4)/26 + 640/104. Solve 16 = -z*w + 22 for w.
1
Let l = -255 + 317. Solve l*f + 15 = 59*f for f.
-5
Let v = -1915 - -1926. Solve -v*g = -23*g for g.
0
Let k be 38/8 + (-2)/(-8). Suppose 2*a - k*a + 33 = 0. Let f = a - 10. Solve -11 - f = 4*i for i.
-3
Let k(q) be the third derivative of q**6/240 - q**5/40 - 7*q**4/24 + 6*q**2. Let o(d) be the second derivative of k(d). Let s be o(2). Solve s*m = 5*m for m.
0
Suppose -71 = -5*k + 29. Let c be 6/(-27) - (-129)/(-27). Let w be (-33)/c - (-8)/k. Solve w = -4*o + 3 for o.
-1
Let r be (440/(-33) + 14)/((-1)/(-3)). Solve -r*h = h - 9 for h.
3
Suppose 0 = 1211*t - 1204*t - 203. Solve -5*g + t = 49 for g.
-4
Suppose 5*r - 4 - 6 = 0. Let f = 126 - 123. Suppose 0 = -r*t - 4, f - 8 = m + 3*t. Solve 2*w + m = -1 for w.
-1
Let a be 40/(-35) + 1/7. Let f be 72/54 - ((-4)/(-6))/a. Solve f*u - 4*u - 8 = 0 for u.
-4
Let t be -5 - (16/(-2) - 2/(-1)). Solve 0 = -p + t + 4 for p.
5
Suppose 48*w + 83 = 323. Solve 27 = w*v + 2 for v.
5
Let x(k) = 4 + 6*k + 11 + k**2 - 5. Let v be x(-4). Suppose 6 = 4*c - v. Solve -c + 12 = 5*h for h.
2
Suppose 0*m - 1 = m + q, -4*q = -2*m + 4. Suppose -h + m + 3 = 0. Solve -x - h*x - 12 = 0 for x.
-3
Suppose c - 6*c = -25, 4*c = 5*r + 85. Let i = -24 + 15. Let a = i - r. Solve 5 = a*m - 11 for m.
4
Let h(x) = 6*x - 1. Let a be h(1). Suppose 0 = -d - 0*r - 4*r + 16, 23 = a*d + r. Solve 4 - 24 = d*m for m.
-5
Suppose 0 = 7*v - 3*v - 12. Suppose -5*y = -f - 19, -5*y - v*f = -9 - 14. Solve y*h = -0 + 4 for h.
1
Let i(v) = 3 + 2 - 2 + 3*v. Let l be (-7 - -1)*(-5)/10. Let a be i(l). Solve 4*b + 0 = a for b.
3
Let a(f) = -83*f - 75. Let m be a(-1). Solve -m*n - 32 = -48 for n.
2
Let u = 101 + -83. Solve 2*n - 8*n = u for n.
-3
Suppose 10 = -5*y, -y + 0*y = -5*f + 32. Solve 0 = 4*w + 18 - f for w.
-3
Let m = 5 + -2. Suppose 0 = -0*c + 5*c, c = -m*d. Suppose -4*w = -d*w - 8. Solve -v = w*v + 9 for v.
-3
Suppose 3*d = o - 4*o + 3, -1 = o. Let f be (1 + -2)*-2 + 2. Suppose -f*m = -d*m - 20. Solve -m = 3*r - 8*r for r.
2
Let d = -129 + 129. Let j be (-60)/(d - 3) + 12/(-4). Solve 4*s - j = 3 for s.
5
Let q(h) = 3*h**3 - 6*h**2 - 7*h + 20. Let s be q(2). Solve -4*k + k = s*k for k.
0
Let n(f) = 4*f + 4. Let b be n(-16). Let w be (b/16 - -3) + 38/8. Solve 0 = 2*c - w*c for c.
0
Suppose -13*g = -15*g + 36. Suppose 6*w - 2*w - g = -2*p, w - 9 = -2*p. Solve -4*q = 5 + p for q.
-2
Let s be (-8)/(-20) + (-92)/(-20). Solve 10*g = s*g for g.
0
Let g be (-6)/(-21) + (-76)/(-28). Let p be g/(9/15) + 0. Solve 13 = 4*c + p for c.
2
Let f = -40 + 62. Let p be f/33 + (104/6 - -1). Solve -3*n = -p + 7 for n.
4
Suppose 0 = 11*f + 61 - 292. Solve 16*y - f = 9*y for y.
3
Let x(s) = 10*s - 63. Let u be x(8). Solve 2 = u*a - 16*a for a.
2
Let f(n) = n**3 + 6*n**2 + n - 3. Let q be (36/8)/(12/(-16)). Let w be f(q). Let k be ((-1)/3)/(1/w). Solve -k*x = -x for x.
0
Let c = -221 - -225. Solve -2*x + c*x = 0 for x.
0
Let a(z) = z + 9. Let d be a(-10). Let x be (-1 + 1)/(3/(4 + d)). Solve x = -3*b - 2*b for b.
0
Let t = 1 + -2. Let p be 4*t + 50/2. Let m = 26 - p. Solve -m*j + 4 = -6 for j.
2
Suppose 5*a = -2*p + 16 + 11, 0 = -4*a + 12. Let w be 16/p - (-4)/(-6). Suppose -1 = f + 1, -4*f - 44 = -3*s. Solve x + s = -w*x for x.
-4
Let g = 165 + -131. Suppose p + 29 - g = 0. Solve -p*q = -3*q for q.
0
Suppose -9*s = -10*s + 3. Let d be (-160)/12 + (2 - (-16)/(-6)). Let t be 6/d + (-4)/((-84)/9). Solve t*l + 6 = s*l for l.
2
Suppose u = -r + 5, -3*u = 4*r - u - 26. Let m = -10 + r. Let i be (-9)/m*(-4 + 6). Solve -2*c = c + i for c.
-3
Let m(n) be the first derivative of -n**4/12 + n**3 - 3*n**2/2 - 6*n - 10. Let r(i) be the first derivative of m(i). Let a be r(3). Solve -a*k = -k for k.
0
Let v(t) be the third derivative of -t**4/24 + t**3/2 - 3*t**2. Let c be v(0). Suppose 0 = q + c*s - 16, 0*s - 16 = -5*q + s. Solve 24 = -q*u + 4 for u.
-5
Let p be 513/95 + (-16)/(-10). Solve 15 = p*q - 2*q for q.
3
Suppose -12*m + 14*m - 5*x - 20 = 0, -4 = -x. Solve m*b - 12 = 16*b for b.
3
Let j be (-16)/4 - (-9 + -4). Suppose 0 = -3*p + j + 33. Solve 5*h - p - 1 = 0 for h.
3
Let v(c) = c**3 + 11*c**2 + 11*c. Let n be v(-10). Let g be (-27)/(-6)*n/(-15). Let m = -191 + 197. Solve g*a - m = a for a.
3
Let k(d) = -d**2 + 10*d + 1. Let t be k(11). Let p be 2/t - 315/(-75). Solve 3 + 1 = p*w for w.
1
Suppose 4*a + 11 = 11. Solve w + 6*w - 7 = a for w.
1
Suppose 4 = 4*d + 3*z + 19, 3*d + 20 = -4*z. Solve d = 7*t + 1 + 13 for t.
-2
Let t be (-6 - -2)*2/8*-2. Solve 9*b - t*b = -35 for b.
-5
Let a(k) = 3*k + 8. Let y be a(-2). Suppose 5*i - 2*u - 4 = 0, -2*u - 7 = -y*i - 3*u. Solve t - i = -0 for t.
2
Let w(k) = k**2 + 6*k - 18. Let m(y) = -2*y + 12. Let f be m(6). Suppose -z + 2 - 11 = f. Let a be w(z). Solve 3*i = -3 - a for i.
-4
Let w(t) = -3*t - 55. Let o be w(-21). Suppose -39*n - o = -41*n. Solve n*s = -0*s - 20 for s.
-5
Let b = 9 - 7. Let i be -3 + 3 - (-2)/1. Solve -b = u - i*u for u.
2
Suppose -n - 6 = -4*n. Let q(o) = -9 - 3*o**2 + 19 + 2*o**n + 11*o. Let s be q(11). Solve -s = -c - c for c.
5
Let p be ((-28)/12)/(1/(-3)). Suppose -3 + 17 = p*d. Solve -7*s + d = -5*s for s.
1
Suppose -5*w + 6 = -14. Solve -4*z - w = -3*z for z.
-4
Suppose -2*p = -i - 22, 9*i - 12*i = -5*p + 55. Solve p*n = 10*n - 3 for n.
-3
Let m = -153 + 178. Let i = -14 + -6. Let k = i + m. Solve 0*f = -k*f + 15 for f.
3
Let c = -68 - -75. Suppose -c*l + 2 = -26. Solve 12 = l*j + 8 for j.
1
Suppose 2*k = 9*k - 35. Solve -5*z - k = -6*z for z.
5
Suppose -16 = -l - 3*l + 4*x, 2*l = x + 8. Solve 3 = h + l for h.
-1
Suppose -6*g + 4*x + 22 = -3*g, -2*g = -3*x - 16. Suppose -w = -4*v - g, -2*w - 58 = -7*w - 4*v. Solve 0 = f - 6*f - w for f.
-2
Suppose 4 = -2*l - 5*h, 5*l + 4*h - h = 28. Solve -4*z - l = -6*z for z.
4
Suppose -5*o = -5 - 0. Let h be 0/(-1*o/1). Let a = -2 + 4. Solve u - 3*u - a = h for u.
-1
Suppose 6*f - 4*f = 2. Let d be 0/14*(0 + f). Solve 2*b + b = d for b.
0
Suppose 5*r + 33 = 4*n, -12 - 18 = -5*n + 4*r. Solve -n*j + 17 = 11 for j.
3
Let p = -180 - -87. Let w = p - -102. Solve -4*h = -h + w for h.
-3
Let k(t) = -t**2 - t - 1. Let m be k(7). Let j = -30 - m. Let a = -19 + j. Solve h + a = -h for h.
-4
Let z(y) = y**3 - 2*y**2 + y + 3. Let x be z(2). Let o = x + -4. Let q be (1 + o - 2)/2. Solve q = -3*v - v - 12 for v.
-3
Let t be (3/(-6))/(1/6) + 5. Solve -a + 3 = -t*a for a.
-3
Let z(g) = g**3 - 7*g**2 - 4*g - 8. Let q be z(8). Let k = q + -20. Solve k = 3*a + a for a.
1
Suppose 20 = 4*n - s - 23, -5*s = 2*n - 49. Solve 35*z - n = 38*z for z.
-4
Let w(l) = -4*l - 7. Let a be w(-9). Let i = a + -13. Suppose 2*p - g - g - 10 = 0, -5*p - 4*g + i = 0. Solve -b + p*b - 15 = 0 for b.
5
Suppose 4*m - 184 = 2*k, 3*m + 2*k - 80