for r.
5
Suppose -3 = -3*c + 2*c. Suppose 0 = 3*k - c*g - 18, 5*k + 1 = -g + 7. Suppose -4*t - 12 = -k*x, 2*t = -5*x - t - 9. Solve x = 4*m + 7 - 15 for m.
2
Let m be 6/(-4)*(-1 + 222/(-18)). Solve 9*r - 5*r + m = 0 for r.
-5
Let y be 10/(2/1) + -2. Let v = -3 + 3. Suppose v = 3*p - 4*p. Solve -15 = y*i - p*i for i.
-5
Let w(r) = -r + 2. Let x be (-12)/10*20/(-8). Suppose x*k + 4 = -k. Let h be w(k). Solve h*o + o = 8 for o.
2
Suppose 5*a - 5 = -2*o, -5 = 2*a + 4*o + 9. Let h be (-48)/18*a/(-2). Solve -h*s - 12 = -7*s for s.
4
Let n = 13 - 12. Let b(s) = 5*s + 1. Let l be b(n). Solve o - l = 4*o for o.
-2
Suppose 2*j = 4*j - 10. Solve j*n = 3*n + 4 for n.
2
Suppose -2*i + 10 = 2*t, -4 = 2*i - 6*i. Suppose p - 9 = -2*v, -p + t*v - 14 = p. Solve f + 0*f = p for f.
1
Suppose -6 = -2*r, 2*r = s + 6*r - 35. Solve -2 = -5*o + s for o.
5
Let z be ((-18)/(-15))/(2/5). Solve z*l - 10 = l for l.
5
Let a(r) = -r**2 + 5*r + 17. Let z be a(7). Solve -z*g - 1 = -4 for g.
1
Let l(i) = i + 14. Suppose -u = 3*a + 4*u + 14, -u + 5 = 0. Let b be l(a). Solve b = -2*k + 7 for k.
3
Let n = 3 - 1. Suppose -3*k + 3*f + 18 = -2*k, f = 4*k - 61. Solve n*h + h + k = 0 for h.
-5
Let y = 63 + -59. Solve -y*x - 16 = -0*x for x.
-4
Suppose 0 = -4*q - 5*g + 8 + 1, 1 = 4*q - 3*g. Let i(j) = -2*j - q + 2 + j. Let k be i(-1). Solve 0 = k*t + t + 3 for t.
-1
Let c = 10 - 14. Let j be c/(-6) + (-8)/(-6). Solve -j - 3 = -s for s.
5
Let a(d) = 4*d. Let g be a(1). Suppose 0 = -g*i + 2 + 22. Solve -4*v + i - 2 = 0 for v.
1
Suppose -2*q = 4*z + q + 37, 0 = 2*z - q + 11. Let p = -1 - z. Let c(s) = -2*s. Let n be c(-1). Solve n*t + t = -p for t.
-2
Suppose 0 - 10 = -5*s, 2*m = -4*s + 16. Suppose 15 = 3*j + 2*w + w, -m*j + w = -25. Let l = j + -4. Solve l + 8 = -5*x for x.
-2
Suppose 37*b = 35*b + 8. Solve b*a = -0*a for a.
0
Let p(t) = -t**2 + 6*t - 5. Let c be p(5). Let f = 0 - 3. Let x = c - f. Solve -x*b = b for b.
0
Suppose -5*m + 8 + 2 = 0. Solve -4*r - 6 = -m for r.
-1
Let f be ((-42)/(-12))/(2/(-4)). Let u = -2 - f. Suppose 4*i = 3*i + 4. Solve -u*w + i = -16 for w.
4
Suppose 0*t + 5*v = t + 7, 3*t = v + 7. Solve -t*p + 5*p = 0 for p.
0
Let a(c) = c**2 + 2*c + 2. Let b be a(-2). Suppose 0 = b*l - 4 - 12. Solve 3*h = -h + l for h.
2
Suppose 4*i - 8 = 2*c, -7 = 2*c + i - 9. Solve -f + 3 + 2 = c for f.
5
Let v be 3 + (16 - 1 - 2). Let d = v + -13. Solve -d*j = -j for j.
0
Suppose 4*x - 2*f = 6, -4 = 3*x + 2*f - 26. Let r be (10/(-8) - 0)*x. Let b(c) = c + 6. Let l be b(r). Solve 0*w = -w - l for w.
-1
Suppose 9 = -d + 2. Let o be (-7)/(d/(-2))*-3. Solve o*q = 2*q - 20 for q.
-5
Let t = -20 + 7. Let n = -42 - -60. Let s = t + n. Solve 2*x + 6 = s*x for x.
2
Let t(p) = p**2 + 10*p + 14. Let z be t(-9). Solve 1 = -z*r - 4 for r.
-1
Let w be 2*(2 - (-2 - -3)). Suppose 3*f - 4*m + 2*m = 22, m + 7 = f. Solve f + w = 2*t for t.
5
Suppose -2*u - 2*f - 8 = 2*f, -2*f = 5*u - 4. Suppose -20 = -4*k, -j + 20 = 2*j - u*k. Solve -i + j = -3*i for i.
-5
Let q(c) = c**2 + 7*c + 2. Let h(d) = d**2 - 7*d + 5. Let r be h(4). Let z be q(r). Solve 4*u = z*u + 2 for u.
1
Let l = 161 - 151. Solve -2*i + 20 = l for i.
5
Let f(x) = 4*x + 2*x + 13 + 0*x + x**2 + 5*x. Let o be f(-10). Solve 7 = -5*l - o for l.
-2
Suppose 4*x = 4*f - 4, 5*x - 1 = 3*f - 10. Let h be (0/f)/(3/1). Solve 0*a - a - 4 = h for a.
-4
Suppose 0 = -4*u + 3*c + 45, -c - 13 = -4*u + 34. Suppose -t + 5 = -3. Suppose 4*z + 1 = -5*s + 33, -4*z + 28 = 4*s. Solve u = s*p - t for p.
5
Let l(t) = 3*t + 3. Let h(g) = -7*g - 5. Let p(u) = -4*h(u) - 9*l(u). Let v be p(7). Suppose -4 - 16 = -5*y. Solve y*w + v*w = 0 for w.
0
Suppose g - 6 = -1. Let b = 13 - g. Let r = 1 + -1. Solve r = 2*o + 2*o + b for o.
-2
Let w be (-6)/27 - (-6)/27. Let o be 2 - (w + (3 - 2)). Suppose -2 = -4*p + 2. Solve -p = -2*a + o for a.
1
Let s(q) = -4*q - 1. Let i be (-28)/13 - (-14)/91. Let k be s(i). Solve 0 = 2*c - k + 1 for c.
3
Let i = -28 + 33. Solve -2*a - 11 + i = 0 for a.
-3
Suppose 6*i + 2 - 2 = 0. Solve 6*z - z - 5 = i for z.
1
Let n = 45 + -65. Let f = n + 23. Solve f = y - 0 for y.
3
Suppose r + r - 84 = -4*h, -4*h = 3*r - 86. Let i = 8 - 4. Solve i*a + h = -a for a.
-4
Let q(h) = h**3 - 3*h**2 - h - 38. Let d be q(0). Suppose v + 19 = 1. Let x = v - d. Solve -g = 3*g + x for g.
-5
Let v(z) = z + 10. Let g be v(-8). Suppose 0 = 6*t - 4*t - 32. Suppose 2*s - f - t = -g*s, 4*f = 0. Solve 4 - 12 = s*o for o.
-2
Suppose -2 = -3*r - q + 5, -2 = 2*r + 2*q. Suppose 3*m + 2*s + 11 = 2, 3*m - 2*s + 9 = 0. Let d be m/6 - r/(-8). Solve d = 2*n + 2 - 0 for n.
-1
Let a = 61 + -55. Solve -2*y + a*y = -12 for y.
-3
Let z be 2 - (6/8)/(3/8). Solve z = 2*l - 3 + 11 for l.
-4
Let d(j) = -3*j + 17. Let w(c) = c - 1. Let i(o) = d(o) + 4*w(o). Let z be i(-6). Let x = -4 + z. Solve -x*p + 15 = -0*p for p.
5
Suppose -p + 8 = -4*k + 3*k, 4*k = -4. Suppose 2*f - 4*c + 5 = p*f, 2*c + 10 = 0. Let v = -15 - -30. Solve 0*n + f*n = v for n.
3
Let z(d) = -d**2 + 5*d - 2. Let j be z(4). Suppose -f + j + 10 = 0. Let i = -1 - -7. Solve -i*c - f = -3*c for c.
-4
Suppose 0 = 4*a - z + 21, -33 = 5*a - 4*z + 7. Let d = 5 + a. Solve g + 5 = d for g.
-4
Suppose -4 = -2*w - 0. Solve 0 = l + w for l.
-2
Let l = -9 - -13. Let p(m) = m - 1. Let c be p(l). Solve -5 = -c*q + 2*q for q.
5
Let o(k) = 2*k + 19. Let z be o(-8). Solve -2*x + 3*x + z = 0 for x.
-3
Let r = 30 - 22. Solve 3*y = r*y - 5 for y.
1
Let i = 7 - 4. Solve i*q - q = -10 for q.
-5
Let a = 32 - 53. Let j = -13 - a. Let c be j - (1 - (-4)/2). Solve 4*u - c - 7 = 0 for u.
3
Suppose 0 = 2*t + 5*r - 10, -5*t - r + 25 = r. Solve -t = -5*h + 5 for h.
2
Suppose w = -0*u - u + 7, -w = -5*u + 23. Suppose 2*n + 12 = w*z + 2*z, 12 = -3*n + 4*z. Solve 5*c - c - 4 = n for c.
1
Suppose 4*b - 3*b = 0. Suppose -x - 3*x = b. Solve -4*v - 16 = -x*v for v.
-4
Let k(x) = -x**2 + 9*x - 8. Let a be k(8). Suppose 5*f + 2 + 18 = 5*j, 4*f = -4*j + 16. Solve a = -u - f*u for u.
0
Suppose 13 - 9 = 4*i. Solve 2*t = i - 11 for t.
-5
Let x(v) = v + 2*v**2 + 1 - 4*v - v**2. Let s be x(3). Solve m + s = 4 for m.
3
Suppose 3*n = -4*l - 12, 5 - 13 = -5*l + 2*n. Solve l = -4*d + 2*d for d.
0
Let n(q) = -q - 6. Let l be n(-8). Solve h = l*h - 4 for h.
4
Suppose 0 = -2*w - y + 1 + 4, w + y = 2. Solve 2*c + w = 5*c for c.
1
Suppose -22 = 8*v - 118. Solve 3*a - v + 9 = 0 for a.
1
Let w be 1/(-2)*8*-1. Solve b = w*b - 3 for b.
1
Suppose 6 = 5*y - 2*y. Let a be (-2)/3 - 92/(-12). Solve y*h - 5 = a*h for h.
-1
Suppose -5*l + 2 = -3. Suppose -15 = -4*z + l. Solve 0 = -z*k - 0*k + 20 for k.
5
Let w(z) = z**2 + 7*z - 6. Let p be w(-8). Suppose -p*r + 6 = 2. Solve 0*l = -l + r for l.
2
Let y be (-4 - (-5)/1) + 6. Solve -23 = -4*n - y for n.
4
Let f = -5 + 7. Let v = 9 + -7. Suppose 5*n = -h, -4*n + 9*n = -3*h. Solve -v*g + h = f for g.
-1
Let h(u) = -2*u + 16 - 22 + 18 + 3*u. Let x be h(-7). Solve 12 = -x*s - 8 for s.
-4
Suppose -5*o + 13 = 4*r, -3*r - 2*o - 34 = -7*r. Suppose -4*f = -r*f. Suppose -1 + f = -v. Solve -p - v = -6 for p.
5
Let h = 140 - 120. Suppose 8 = 2*u + c, -3*u - 2*c + 10 = -0*c. Solve -b + u*b + h = 0 for b.
-4
Let q = -97 + 44. Let f be q/(-5) - (-15)/(-25). Suppose 5*z + 21 = -p, 0*z + 25 = -5*z. Solve 0 = p*r + f - 2 for r.
-2
Let x be ((-6)/8)/(2/56). Let u = -11 - x. Solve 0 = -4*b - 2 - u for b.
-3
Suppose -4*a - 31 + 75 = 0. Suppose -v = -0*v - a. Suppose 3*y = g + 6 + 5, -5*y = 3*g - 23. Solve 2*r - v = -g for r.
5
Suppose -t + 5*b = 16 - 2, 3*b - 70 = -5*t. Let o(z) = -z**3 + 12*z**2 + z - 7. Let k be o(12). Let f = t - k. Solve -2*a + 4 = -f*a for a.
-1
Suppose -4*v = -0*v. Suppose -5*h + 3*h + 64 = 0. Suppose v*n - h = -4*n. Solve 3*d + n = -d for d.
-2
Let c = 6 + -2. Let g = c + -4. Solve g = -5*a + 3 - 13 for a.
-2
Let x be -2 + -3 + 2 + 5. Solve -2*f + f + x = 0 for f.
2
Let g = 54 + -48. Solve -g*n + 3 = -3*n for n.
1
Let m(u) = u**2 - 4*u + 8. Let x be m(0). Solve 7 = 5*d - x for d.
3
Let f(s) = 6*s**2 + 2*s + 1. Let c be f(-1). Let b = 8 + -6. Suppose b*l = 3 + 1. Solve -l*q = c + 5 for q.
-5
Suppose 0*m - 50 = -4*m + c, -m - 5*c = -23. Suppose -4*w - 5*p - 9 = 0, -3*w + p = -w - m. Let h be 70/4 + 2/w. Solve 3*y = 3 - h for y.
-5
Suppose 0 = a + 5*s - 5, -2*s - s = a - 5. Let h(o) be the first derivative of -o**2/2 + 5*o - 1. Let y be h(a).