r for k.
-2
Let k(v) = v + 31. Let c be k(-27). Solve 0 - 4 = -c*q for q.
1
Let x be 10/2 + (0 - 0). Suppose -3*l - x*o = 10, -4*l + 2*o = 5*o + 6. Solve 4*c + 0*c + 8 = l for c.
-2
Let i = 0 - 0. Suppose 137 - 45 = 2*d. Suppose 48*f = d*f + 6. Solve f*g - 8*g = i for g.
0
Let m(v) = 2*v**2 - 12*v - 12. Let h be m(7). Solve -s + 1 = -h*s for s.
-1
Suppose 11*j + 4 = 9*j. Let n = 2 + 0. Let b = n + j. Solve 3*p + 6 + 6 = b for p.
-4
Let f(z) = 7*z**2 + 12*z - 11. Let c be f(1). Solve -c*p + 23 = -9 for p.
4
Suppose -4*o - 96 = 4*f, f + 1 = 2*f - 4*o. Let p = -10 - f. Suppose 5*v - 2 - 6 = 4*g, 0 = g - 3*v + p. Solve -k + 2 = -g for k.
5
Let s(i) = 7*i + 5. Let l be s(-2). Let o = l - -10. Solve 0 = -u - o + 4 for u.
3
Let i be (1/4)/(1/12). Let n be ((-32)/(-24))/(2/i). Suppose 5*c - 26 = -n*t, 2*c = -5*t + 31 + 13. Solve t - 20 = -4*p for p.
3
Let n(s) be the third derivative of s**5/60 + s**4/3 - 5*s**3/2 - 12*s**2. Let b be n(-6). Let u = 30 + b. Solve -2*w - u*w = -5 for w.
1
Let h = 109 - 109. Suppose -f = -0*f, p = 5*f + 5. Suppose -p*q + 2*r + 2*r + 24 = h, 0 = -2*r - 2. Solve -5*i + q = 29 for i.
-5
Suppose -5*i - 3*i + 272 = 0. Solve i*q - 38*q = -12 for q.
3
Let o(s) = -2*s**2 - 6*s - 2. Let f be o(-4). Let h be f/(3 + 7/(-2)). Solve z + 3*z + h = 0 for z.
-5
Let b be (18/15)/((-8)/(-360)). Solve 2*z - b = -56 for z.
-1
Suppose -5*z + 41 = 3*w, 2*z + 4*w = -1 + 9. Solve -8*l + z = -14 for l.
3
Suppose 0 = -3*o + 4*q - 11, 2*q = 3*o + 4*q - 19. Suppose 2*m + 0*p + 3*p = o, 2*m + 2*p = 4. Solve k - 2*k = -m for k.
3
Suppose -7*w = -7 - 133. Suppose 9 = 23*a - w*a. Solve -1 = -a*c + 2 for c.
1
Let s(n) = -7*n**2 + 4*n - 7. Let b be s(2). Let j = -22 - b. Solve -f - j = -0 for f.
-5
Let a be (12/15)/((-4)/(-50)). Suppose 5*s - 5 = a, -3*k - s = -30. Solve -4*h - 5 = -k*h for h.
1
Let u be 124/3*6/4. Let n = 65 - u. Solve n*q = q - 6 for q.
-3
Let m be 10*(-1)/3*-3. Suppose -5*b - 65 = 5*w, 30 - 11 = -3*w + b. Let a be (-3)/((54/w)/9). Solve t = -a*t + m for t.
2
Let l = 19 - 9. Let o be 48/l*(-5)/(-2). Suppose -3*d + 3*p + 9 = -o, 0 = -p - 3. Solve -5*a + d = -1 for a.
1
Let h(k) = 30*k**2 - k - 3. Let c be h(-2). Suppose c = 10*w + 7*w. Solve w + 3 = 2*o for o.
5
Let h be 1 + 2 + 3/1. Let t = 22 + -12. Suppose -2 = 4*k - t. Solve 0 = k*d - 0 - h for d.
3
Let d = -407 - -410. Solve z - 10 = d*z for z.
-5
Let b(a) = -3*a**2 + 69*a - 15. Let j be b(23). Let i(g) = g**3 + 14*g**2 - 16*g - 11. Let s be i(j). Solve 0 = -s*u - 6 - 10 for u.
-4
Suppose -146*i - 78 = -g - 151*i, -3*i = -g + 54. Solve -54*l = -g*l - 18 for l.
-2
Suppose -15 = -6*y + 15. Suppose -3*f = c - 1, -y*f - 5 + 20 = -c. Solve 0 = r - f for r.
2
Suppose 2*z = -2*b - 8, -b + 14 = z - 6*z. Let i be (5 + 1)*(-1)/z. Let h be i/4 - (-4)/(-8). Solve -3*o = -h*o + 9 for o.
-3
Suppose -3*m = 5*y - 15, -y + 4*y + 4*m = 9. Let f(o) = o**2 - 5*o + 3. Let k be f(5). Let q be k/2*(-96)/(-36). Solve q*a + y = -9 for a.
-3
Let u be 943/(-69) + (-1)/6*2. Let k be 21/(-6)*24/u. Solve -2 = 4*a + k for a.
-2
Suppose -3*d - 17 = -x, x + 0*x + d = -3. Suppose -32 + x = -5*o. Suppose -3*k + 0 = -o. Solve 0 = -k*g - 6 for g.
-3
Let u(r) = r**3 - 14*r**2 + 15*r + 6. Let i be u(13). Suppose i*p - 7 = 31*p. Solve -p*w + 2*w = 0 for w.
0
Let a(t) = 2*t**3 + 2*t**2 - 2. Let u be a(1). Solve -55*s + 57*s = u for s.
1
Suppose 0 = 2*x + 2*k - 26, 14*x - 9*x + 3*k = 55. Solve 15*l - x*l - 7 = 0 for l.
1
Let t(q) = -q + 11. Let f be t(14). Let o be 4 - (-1 + 3/f). Suppose -c = -o*c. Solve c = -2*m + 4*m - 10 for m.
5
Suppose -11*p = -13*p + 2. Suppose p - 7 = -3*u. Let c be 3/(-6)*u*-1. Solve 2*m + c = 3 for m.
1
Let i be -4 + (9/3 - -4). Suppose -2*o + i*o = 3*o. Solve -4*d + 8 = -o*d for d.
2
Suppose i + 7 = -5*g - 8, i + 11 = -4*g. Suppose 0 = i*v + 3*s + 9, -s - s - 6 = 0. Solve v = -5*k - 11 + 1 for k.
-2
Let m = -22 + 27. Suppose 0 = -m*i + 2*i. Suppose -x = -2*x + 3. Solve b + x = -i*b for b.
-3
Let b(j) = j**2 + j - 2. Let s be b(2). Suppose -42 = 5*i - 42. Suppose s*r + i*m = -4*m - 12, -r = 5*m + 19. Solve r = c - 0 for c.
1
Let h be 48/(-10) + (-21)/105. Let p be ((-5)/3)/(h/9). Solve -3*o + p = -4*o for o.
-3
Let j = 165 + -162. Solve 0*q - j*q = 12 for q.
-4
Let i(o) = -11*o**3 - 2*o**2 + 2*o + 1. Let l be i(-2). Let a be 14/l - 128/(-22). Suppose 4*h - 2 + a = 0, r - 3 = -5*h. Solve -r = -5*g + 3*g for g.
4
Let v(k) = -k**2 + 5*k + 6. Let q be v(6). Suppose 4*c = -4*m + 52, 2*c - m = 13 + 10. Suppose c = 4*o - o. Solve -o*f + 8*f = q for f.
0
Let t = -215 + 220. Suppose -48 = -2*l + 3*k, 20 = 2*l - 2*k + 6*k. Solve -l = -t*f + 2 for f.
4
Suppose -6*u = -15 - 3. Suppose u*g - 33 = 3*l, -5*g + 19 = 3*l + l. Solve -4*x = g + 5 for x.
-3
Let m(h) = -h**3 + 52*h**2 + h - 50. Let f be m(52). Solve 5*s - 6*s = f for s.
-2
Suppose 0 = -9*a - 101 - 7. Let s = a - -14. Solve 0 = s*v + 14 - 6 for v.
-4
Let w = -532 + 536. Solve -4 = -3*s - w for s.
0
Suppose 25*h - 104 - 71 = 0. Solve h*k - 4 - 31 = 0 for k.
5
Suppose -r = -2*a - 6*r + 24, -4*a + 4 = -r. Let d = 36 + -46. Let x be (15/d)/(1/(-2)). Solve n + x = a*n for n.
3
Let f = -85 + 89. Solve f*g - 6*g = 0 for g.
0
Suppose -5*i - 3*l = -17, 3*i - l = 3 + 10. Suppose -14 = -i*m - 3*m. Solve 0*y - 8 = -m*y for y.
4
Let w be -1 + 2 + 0 + 1. Let u be (-6 + 55/10)/(w/(-20)). Solve -u*t + 4 = -6 for t.
2
Suppose -5*i = -3*a + 7*a + 20, 12 = -a - 3*i. Let b(r) = -4*r + 3 + 6*r + r**2 - 12*r. Let u be b(10). Solve a*g - 9 = u*g for g.
-3
Let h = 856 - 851. Solve 21*g - 22*g + h = 0 for g.
5
Let h(j) = -6*j**3 - j**2 - 3*j - 2. Let g be h(-1). Suppose 6*v - 2*r - g = 7*v, -v + 10 = -2*r. Solve 2*t - 2 = v for t.
2
Suppose 101*m - 108*m + 63 = 0. Suppose -2 - 4 = -3*s. Solve -m = -s*l + 1 for l.
5
Let a be -4 - (4 + -3)*-1. Let d be 23 + (2 - 0/a). Solve w = 6*w - d for w.
5
Suppose 8*u + 2*u = 0. Suppose u = 13*x - 8*x. Solve 2 + x = m for m.
2
Let k(c) = -c - 2. Let m be k(-6). Suppose -5*g = -2*p - 2*g + 10, -3*p + 4*g = -14. Let l be (5 - p) + -1 + -2. Solve z + l = m for z.
4
Let w be ((24/14)/(-1))/(9/(-63)). Solve 0 = -5*d - w - 3 for d.
-3
Let x(n) = -n**3 - 6*n**2 - 5*n. Let i be x(-4). Let z(y) = -y**2 - 3*y + 1. Let s be z(-5). Let k = s - i. Solve j = k*j for j.
0
Let w be 1 + -3 - 270/10. Let f = 34 + w. Solve 3 + 2 = -f*t for t.
-1
Suppose -4*i = h + 35, 0*h - 4*h = 4*i + 80. Let y = h - -18. Suppose -3*u = -y*l + 21, 3*l + 0 = -3*u + 3. Solve l - 14 = -5*z for z.
2
Let c(v) = -v**3 + 2*v**2 + 8*v + 1. Let h be c(-3). Let x = -22 + 44. Let q = h - x. Solve 5 + q = -t for t.
-5
Let k(d) = -9*d**2 - d - 13. Let a(p) = -5*p**2 - p - 7. Let z(m) = 7*a(m) - 4*k(m). Let w be z(3). Suppose -w = -5*q + 7. Solve 0 = f + q*f for f.
0
Let l = -22 - -25. Suppose 2*g + 1 = 5, 0 = 4*d - l*g - 42. Solve -4*y + 7*y = d for y.
4
Let q = 383 + -381. Solve u + q = 6 for u.
4
Suppose 14 = 3*k - f, 2*k = -4*f + 3*f + 6. Suppose r - 2*l = -3*r + 8, 0 = -3*r - 3*l + 6. Suppose 6 = k*w - r. Solve 3*i = w*i - 4 for i.
-4
Let f = -13 - -14. Let v(l) = l + f - 2 - 7 + 1. Let u be v(11). Solve u = -3*h - 2 for h.
-2
Let s(t) = -7*t + 1. Let c be s(-2). Let y = 34 - 31. Solve y*l = -2*l + c for l.
3
Suppose -41 - 39 = -5*i - 5*a, 4*i = -5*a + 60. Solve 0*q + i = -4*q for q.
-5
Let d = 27 - 10. Let b be -3 + (4 + d)/3. Solve -b = o - 1 for o.
-3
Let m(d) = -d**3 + d**2 - 12. Let f be m(0). Let n = f + 14. Let c be 3 + (n - 2) + 4. Solve 5*h - 17 = -c for h.
2
Let i be 27/(2 + 1) + -4. Suppose i*q - 12 = 2*q - 2*h, -4*h = 0. Let v = 44 - 28. Solve -q*f - v = -0*f for f.
-4
Suppose 0*s = -5*s + 10. Let v be -2 + (-3 - -1) + s. Let i be (-15)/6*v*1. Solve -i*t = -t + 12 for t.
-3
Let v(k) = k - 17. Let o be v(39). Solve -o*i - 33 = -11 for i.
-1
Let o = 20 + -20. Suppose o*s - 32 = -8*s. Solve 0*t = 4*t + s for t.
-1
Suppose -r + 4*g = -382, -11*r + 7*r = 5*g - 1612. Solve 20 = -393*m + r*m for m.
4
Let v = -185 + 277. Let x = v + -90. Solve y + 3 = x*y for y.
3
Let r be ((-25)/(-5) + (-18)/4)*26. Solve -5 = -r*n + 14*n for n.
-5
Suppose 654 = -3*w + 693. Solve -21*c - 8 = -w*c for c.
-1
Suppose 4*k + 5*y - 19 = 0, -k = -0*k - 3*y - 9. Suppose 0 = -3*l + k, -5*s - 5*l = -16 - 14. Suppose -s*v + 17 = 5. Solve 4*u - 11 = -v for u.
2
Let r = 86 - 189. Let f = r - -106. Solve