7 for r.
1
Let y be (0 - 10)*(-5)/(-2). Let r be y/(-4) + (-3)/12. Suppose t - 3*t = -r. Solve -2 = t*b - 5*b for b.
1
Suppose 3*b - 8 = 7. Suppose -125 = -b*d - 15. Solve 4*x - d = -10 for x.
3
Let g(d) = d**2 - 5*d + 4. Let z be g(4). Let x be (-4 + 1)*(-1 + z). Solve -2*c = -x*c + 1 for c.
1
Let r(z) = z**2 - z + 5. Let u be r(0). Suppose 0 = u*h + w - 24, -3*h + h - 3*w = -20. Suppose c + 4*f = -10, -h*c - 2*f = -c. Solve 0 = -c*a - 3*a + 5 for a.
1
Let g = -36 + 54. Let p be ((-4)/(-6))/(4/g). Let x = p - 3. Solve x = 5*d + 9 + 1 for d.
-2
Let j be ((-100)/15)/((-2)/3). Solve -l - l = -j for l.
5
Let j(h) = 2*h**2 - 4*h + 4. Let k be j(4). Let z = k - 11. Solve 0 = -2*s + 1 + z for s.
5
Suppose -7 - 14 = -b. Let p(d) = -d + 12. Let q be p(6). Let g be b/q*(-1 - -3). Solve -3*n - 8 = g for n.
-5
Let c(t) = -t - 7. Let h be c(-7). Suppose -2*m + 5*y + 55 = m, 2*m - 2*y - 30 = h. Solve -2 = -4*f - m for f.
-2
Let n be 0/4*(1 + 0). Suppose 3*b - 4*b = n. Solve -5*d = -b*d for d.
0
Let k(v) = -v - 16. Let z be k(-7). Let u be 2/z - (-56)/9. Solve u = -2*f - 4 for f.
-5
Let y(w) = 2*w**2 + 0*w + w - 2*w. Let n be y(2). Solve 3 = q + n for q.
-3
Let y = 8 + -8. Let j(c) = 2*c**3 + 2*c**3 + 1 - 5*c**3. Let l be j(y). Solve l - 6 = 5*d for d.
-1
Suppose 9*i + 12 = 12*i. Solve -i*d = d - 5 for d.
1
Suppose -15 = -3*f - 6*c + 3*c, -2*f - 5*c + 16 = 0. Suppose -x + 3*q = f + 6, 2*q = 3*x - 1. Solve x*i = 4*i for i.
0
Let a be (13/(-39))/(2/(-54)). Suppose 5*j - 4 - 21 = 0. Solve -11 = -j*b + a for b.
4
Suppose -t = -2*t. Let f be -2*1 + 4 + t. Suppose 11 = f*d + 3. Solve q - d*q + 6 = 0 for q.
2
Let h be (0 - -2) + 12/(-4). Let r be (-11 + 12)*(2 - h). Solve -3*z + 3 + r = 0 for z.
2
Suppose -13 - 3 = -4*t. Let j = t + -2. Suppose -4*m - 40 = -2*p, -p + 5*p + 2*m - 70 = 0. Solve -4*g + p = -j for g.
5
Let u = -83 + 83. Solve 4*s + u = 4 for s.
1
Suppose h = 2*r - 3*r - 2, -2*h - 10 = -r. Solve 0 = -5*i - r - 18 for i.
-4
Let n be (6/4)/((-4)/(64/(-6))). Solve -5*p = -19 + n for p.
3
Let c = 8 + -11. Let i(y) = y + 8. Let d(p) = -p - 7. Let v(j) = 7*d(j) + 6*i(j). Let r be v(c). Solve r - 27 = 5*x for x.
-5
Suppose -3*m - 4*y - 6 = -37, -3*m = 5*y - 35. Solve 0*c + m = -c for c.
-5
Let l be (-3)/(-2)*4 - 1. Solve 3*i = 2*i + l for i.
5
Suppose 2*f - 4 = 10. Let x be (-68)/10 + 3/(-15). Let l = -3 - x. Solve 0 = l*i + f + 1 for i.
-2
Suppose -1 - 9 = i - 3*c, 0 = -3*i + c - 14. Let h be -2 - 1*12/i. Solve 11 = -5*f + h for f.
-2
Let w be (-2)/5 + 2/5. Let k = -173 - -175. Solve w = l - k*l - 2 for l.
-2
Let x = -65 + 45. Let d be 1/(-4) - 65/x. Solve -9 = -3*b + d for b.
4
Let z(u) = -2*u - 7. Let r be z(-6). Suppose 113 - 18 = g. Suppose 2*d = -d - 5*a + g, d - 29 = -a. Solve -r = -5*k - d for k.
-4
Let k(f) = -2*f + 38. Let v be k(13). Solve 0 = -5*t - 13 - v for t.
-5
Let m be (-6 + 6)*(-2)/4. Solve 0 = -3*h - m*h + 9 for h.
3
Suppose b - 36 = -8*b. Suppose 2*r = -r + 9. Suppose 3*a - a = 0. Solve b*x + r - 11 = a for x.
2
Let a(r) = 2*r**3 - 2*r**2. Let x be a(2). Solve 4*z = x + 12 for z.
5
Suppose 3*d = x + 13, 0 = -5*x - 4*d + 20 + 10. Suppose 0 = -u + 2*z, 5 = -5*u - x*z + 29. Solve u*g = -3 + 15 for g.
3
Let y = 33 - 31. Solve -4*k = -y*k + 10 for k.
-5
Suppose i - 3 = 2*i. Let f be ((-30)/24)/(i/12). Solve -f*x + 15 + 5 = 0 for x.
4
Let v be (1/(-2))/((-1)/132). Let a be v/14 + (-2)/(-7). Let m = a + -5. Solve 3*f - 4*f + 5 = m for f.
5
Let m(c) = c - 10. Let t be m(0). Let z(v) = -v - 5. Let x be z(t). Solve 0 = x*i - i for i.
0
Let t be (-27)/12 + (-1)/(-4). Let b be (-2)/1*t/2. Solve -b*w + 6 = -2 for w.
4
Let o(p) = -p**3 + p**2 - p. Let d be o(0). Suppose 0*t - 4*t + 8 = d. Solve -t*y + 0 = 6 for y.
-3
Let a(i) = 18*i - 96. Let n be a(6). Solve 3 = -3*b - n for b.
-5
Suppose 0 = 5*m - y - 3, 2*m + y + 3 = -0*m. Solve m = -2*r + 3*r + 5 for r.
-5
Suppose 18 = 2*a - 22. Suppose a = 3*s + 2*s. Solve -8 = 4*y - s for y.
-1
Let j = 11 + -15. Let v = -5 - j. Let g = -1 - v. Solve g = x - 2 for x.
2
Let b be 4/10 - 6/(-10). Let p(d) be the third derivative of -d**6/120 - d**5/12 - d**4/12 - d**3 + d**2. Let w be p(-5). Solve -w*c - b = 11 for c.
-3
Suppose 0*a - 4*a = 8, 4*a - 13 = -3*i. Suppose 0 = 3*b - i - 2. Solve -b*d = -0*d + 3 for d.
-1
Let q(j) be the first derivative of j**2/2 + j + 4. Let d be q(3). Solve 0 = w + 1 - d for w.
3
Let v(s) = s**3 - 6*s**2 - 5*s - 11. Let k be v(7). Solve d + 2*d - k = 0 for d.
1
Suppose 17 = 5*a + 2*s, 3*a + 2*a - 2*s = 33. Solve a*c + 6 + 4 = 0 for c.
-2
Let m be 23/7 - (-8)/(-28). Solve -m = 2*j - j for j.
-3
Let q(x) = 0*x + 1 + x + 2*x. Let r be q(1). Solve 4*s - r - 4 = 0 for s.
2
Let i be (1/(-4))/(5/(-20)). Suppose 0 = 2*t + 2*d + i + 3, -6 = 5*t + 3*d. Solve t = u + 4*u + 10 for u.
-2
Suppose x - 12 = 2*x - 5*f, -2*x = -5*f + 9. Solve -15 = -4*g - x for g.
3
Let u(g) = -6*g**3 - 5. Let i(k) = 5*k**3 - k**2 - k + 4. Let d(j) = 7*i(j) + 6*u(j). Let s be d(-6). Solve 0*f - f = -s for f.
4
Let a be (-6)/(-21) + (-33)/(-7). Let m(b) be the first derivative of -b**2/2 + 3*b - 3. Let u be m(-7). Solve -u + 0 = a*k for k.
-2
Let h be 1 - (0 + 1 + 0)/1. Solve 4*d + h*d - 12 = 0 for d.
3
Let p be ((-12)/8)/((-2)/4). Solve -4*f = -f - p for f.
1
Let x be (-8)/12*(3 + -5 - 1). Suppose -2*s - 23 = -5*g, s = -s - 5*g + 27. Let v = 0 + s. Solve 5 = -x*m + v for m.
-2
Suppose -2*v + 6 = -4. Let o = 5 - v. Suppose o = -3*h + t + 3*t + 24, -2*h + 2*t = -18. Solve 0*n - h = -3*n for n.
4
Suppose -5*z + 1 + 19 = 5*g, -3*z - g = -22. Let u = z + -5. Solve 0*d - u = d for d.
-4
Suppose 0 = 3*m - 18 + 18. Solve m = -5*p + 6*p + 3 for p.
-3
Suppose -9*z - 8 = -5*z, 0 = -3*d - 3*z + 60. Solve -5*g - 3 = d for g.
-5
Let q(h) = h**3 - 2*h**2 + h - 2. Let x be q(2). Solve x = -9*l + 7*l + 8 for l.
4
Let p = -11 - -25. Let s be (-52)/(-28) + 2/p. Let a be s/9 - (-128)/72. Solve 0 = -z + 2*z + a for z.
-2
Suppose -5*l + 2*s - 6 = -26, l - 5*s = 4. Solve 3*u + l = u for u.
-2
Let h = -35 - -38. Solve h*c + 3 = -0 for c.
-1
Let b(d) = -d - 4. Let z be b(-5). Suppose 2*j - z = 29. Solve -2*i - 3*i = j for i.
-3
Let z(o) = -o**2 + 9*o - 1. Let n be z(8). Let b be (8/3 + -2)*-6. Let w = n + b. Solve -v + 10 = -w*v for v.
-5
Suppose -2*a + 5*a = 12. Solve 5 = -3*u - a for u.
-3
Suppose 0 = 5*x - 3*t + 23, -x + 0*t - 2 = 2*t. Let h(l) = -l**2 - 6*l - 2. Let i be h(x). Suppose i*d - 20 = 2*d. Solve d*p + 20 - 5 = 0 for p.
-3
Suppose -h + 35 = 4*h. Suppose 1 = -5*w + 21. Solve 0 = -w*z - 1 - h for z.
-2
Let n be (1 - (-19 + -1)) + 8/(-8). Solve n = 6*f - 2*f for f.
5
Suppose 37 = 5*u - 4*g, u - 4*g - 19 = -2. Suppose -u*l + 8 = -3*l. Suppose -5*k + 0*r + 32 = 3*r, 3*r = 2*k + 4. Solve -k*z - l = -2*z for z.
-2
Suppose 0 = 2*q + 4*q. Solve q = g - 6*g for g.
0
Let s(g) = -g**3 + 3*g**2 - 2*g + 3. Let t be s(3). Let x be -2 - -11 - (t + 7). Suppose 0*p - 4*p + 60 = 0. Solve p = -x*c - 0 for c.
-3
Suppose 7*w - 9*w + 4 = 0. Solve y - w = -1 for y.
1
Let x(f) = -f**3 - 5*f**2 - 4*f + 2. Let y be x(-4). Let v = -16 + 20. Let j be 1*9/12*v. Solve -j = -5*w + y for w.
1
Let o = -43 + 47. Solve -10 = -o*v + 9*v for v.
-2
Let d(o) = -3*o**2 + 11*o - 4. Let f be d(3). Solve j = -f*j for j.
0
Let t(i) = i + 9. Let u be t(-5). Let l = 17 - 9. Solve -4*p + u = l for p.
-1
Let t be -3 - (-5 + 1) - -4. Suppose 35 = 4*z + t*f, 3*f + 1 + 14 = 0. Solve 0 = -2*l - 3*l - z for l.
-3
Let k(p) be the third derivative of p**4/12 + p**3/6 + 6*p**2. Let c be k(1). Solve -6 = -c*i - 0 for i.
2
Suppose 6 = 3*u - 9. Suppose -u*f + h = -20, -f - f + 4*h = -8. Solve 0 = f*b + 2 + 2 for b.
-1
Suppose 0 = -18*c + 14*c + 100. Solve -3*s + c = 2*s for s.
5
Let d(o) = -o**3 - 6*o**2 + 8*o + 12. Let l be d(-7). Solve p + 7 = l for p.
-2
Let a(d) = 3*d - 1. Let n be a(-4). Let v = n - -18. Suppose 0 = v*r - 0*r. Solve r = 2*c - 7 - 3 for c.
5
Let p(l) = -8*l - 84. Let y be p(-11). Solve -r + 3*r + y = 0 for r.
-2
Suppose 0 = 4*a + 56 + 12. Let g = a - -17. Solve 0 = -2*w - g + 2 for w.
1
Let i be 6/1 - (-5 - -7). Let w(h) = -h**2 - 9*h + 2. Let r be w(-9). Solve r*v - 3*v = i for v.
-4
Suppose -3*v + 0 + 6 = 0. Solve c + 2 = -v for c.
-4
Let o be ((-5)/1)/(-8 - -7). Solve -o - 1 = -2*v for v.
3
Suppose -2 = -4*r + 10. Solve r*c + 2 = 5 for c.
1
Let q(v) = -3*v - 1. 