 for r.
-4
Suppose 4*q - 3 = 9. Suppose 4*u - q = 5. Let k be (4/12)/(u/6). Solve m = -k + 4 for m.
3
Let f be (4/(-5))/((-4)/20). Solve -f*w + 2*w + 4 = 0 for w.
2
Let f = 15 + -12. Solve -j = -f*j + 6 for j.
3
Suppose 13*n = 8*n. Let z = 3 + n. Solve -11 = 2*g - z for g.
-4
Suppose 2*y - 43 = -3*y + 3*p, -y - p = -7. Suppose -5*k - s - 4*s + 20 = 0, 2*k - 5*s - y = 0. Let t = k - 1. Solve b + t = 2*b for b.
3
Suppose -v - 68 = -5*v. Let z = -8 + v. Solve -4*k + z*k = -10 for k.
-2
Let y be (-10)/(-15) + (-2)/(-6). Solve -c - 3 = y for c.
-4
Let f be (-51)/(-9) - (-1)/3. Let r(x) = -x**2 + 7*x + 3. Let d be r(f). Let v be (-2)/(-6) + 15/d. Solve v*z = -z for z.
0
Let j = 23 + -25. Let v be (-1 - -4) + (j - 1). Solve v*o = -3*o - 3 for o.
-1
Suppose 20 = 5*b + 5*b. Solve q - 12 = -b*q for q.
4
Suppose 0 = -n - 2*i + 10, 3*n - 2*i + 2 = -0*n. Suppose n*b + 5 = 11. Solve -q = b*q for q.
0
Let a = 1 + 4. Let f(d) = d**3 - 6*d**2 + 6*d - 3. Let z be f(a). Solve z*c + 3 = 1 for c.
-1
Suppose 0*r - r + 8 = 0. Let d be -2*((-28)/r - -2). Solve -d*k + 8*k = -10 for k.
-2
Let s be (0/(-2))/(4 - 7). Solve -2 + s = -d for d.
2
Let o = 13 + 1. Let m(w) = w**3 - 15*w**2 + 15*w - 14. Let u be m(o). Solve u = d - 3 for d.
3
Suppose -l = -5 - 1. Solve 0*n = -2*n - l for n.
-3
Suppose -18 = -10*y + 4*y. Solve 0 - 3 = -y*j for j.
1
Let j be (-4 + 3 - -1)/(-1). Let u(d) = d**3 + 6*d**2 + 3*d - 4. Let a be u(-5). Let k(t) = t - 6. Let x be k(a). Solve x = g - j*g + 2 for g.
-2
Let s(a) = 5*a + 37. Let c be s(-7). Solve -3*i = 1 + c for i.
-1
Let y(f) = -3*f**2 + f - 1. Let c be y(1). Let r = -1 - c. Suppose 6 = o + r*o. Solve -5*n - 18 = o for n.
-4
Let a = -66 - -118. Suppose 68 = -4*v + 4*k, 0*k + 44 = -4*v - 2*k. Let s be 372/a + 2/v. Solve 3*b - s*b = -12 for b.
3
Let d = -12 + 20. Let v be 2 + 3*(-1 + 0). Let m = 6 - v. Solve d = 5*q - m for q.
3
Let v(d) = -2*d - 3. Let x be v(-3). Suppose 2*t + 2*a - 16 = 0, 3*t - x*a = t + 1. Solve t*y + 16 = 41 for y.
5
Suppose 0 = -2*g + 11 + 1. Let t be g/27 - (-2)/(-9). Suppose t*n = -5*n + 55. Solve 0 = -5*c + 9 + n for c.
4
Let q(f) = 2*f + 39. Let r be q(-7). Solve -4*m - r = m for m.
-5
Let n be -3 + 5 - (4 - 0). Let m be (-1)/n - 21/(-6). Solve -m*g = g + 20 for g.
-4
Suppose -3*q = 3*t - 15, 3*q = t - 2*t + 5. Suppose 0 = 4*c - 3*c - 5. Solve q + 5 = c*v for v.
1
Let q(a) = a - 10. Let u be q(6). Let c = -4 - u. Suppose c = -d + t + 5, -4*d - 2*t + 14 = 0. Solve 0 = d*b - 17 - 3 for b.
5
Let c(b) = b**2 + b - 7. Let m be c(4). Suppose 10*v + 3 = m*v. Solve 5*t - v + 21 = 0 for t.
-4
Let i(j) = -j**3 + 7*j**2 + 8*j + 4. Let h(p) = -p**2 + 8*p - 7. Let g be h(5). Let t be i(g). Suppose t*z - 8 = 52. Solve -6*q - z = -3*q for q.
-5
Let q(d) = d**3 - 7*d**2 + 4. Let c be q(7). Solve c*k = k for k.
0
Suppose -4*w - 4*h + 12 = 0, 2*h = -5*w - 2*h + 14. Let a be -1 - (1 - 2)*w. Suppose -6 = -3*r, g - 16 = -3*r - 6. Solve -g = -3*o - a for o.
1
Suppose 3*a - 4 = 2. Suppose a*t = 5*l + 20, -4*t - 4*l - 24 + 8 = 0. Suppose -k - k = t. Solve 0 = 3*h - k - 9 for h.
3
Suppose -6*m = -1 - 11. Solve -m = n + n for n.
-1
Let l(f) = f**3 + 6*f**2 - 10*f - 6. Let d be l(-7). Solve 11*n = 6*n - d for n.
-3
Let i(s) be the first derivative of -s**4/4 + 8*s**3/3 - 4*s**2 + 7*s - 1. Let x be i(7). Solve 5*r + x*r + 25 = 0 for r.
-5
Let i be 1 - (-1 + (-2)/(-1)). Suppose -4*b + 2*b + 18 = i. Solve -3*d = b - 0 for d.
-3
Let z = -20 - -28. Let a = z - 8. Let u = 51 - 36. Solve a*f = 3*f + u for f.
-5
Suppose 3*j = -j + 8. Suppose -4*y - 8 = -3*z + 14, -5*z + j*y = -18. Let n(h) = -h**2 + 5*h - 3. Let q be n(4). Solve q = -f - z for f.
-3
Let u(g) = -g. Let m(o) = -6*o - 10. Let j(n) = -m(n) + 5*u(n). Let l be j(-5). Suppose 6*h - 2*h = 5*s - 12, -28 = -l*s - 4*h. Solve 6 = -s*b + 2 for b.
-1
Let s(l) = -l**3 - l**2 - l - 1. Let k(d) = 7*d**3 + 3*d**2 + 8*d + 2. Let t(b) = k(b) + 6*s(b). Let r be t(3). Solve -x - 9 = r*x for x.
-3
Let g = 1 + -1. Suppose 5*q + 4*w - 92 = 0, -23 + 3 = -2*q + 4*w. Solve 4*y + g*y = q for y.
4
Let y(l) = -2*l. Let i be y(-1). Suppose 0*x - i*x = -4. Solve -4*p + 3*p = -x for p.
2
Let z(w) = 2*w - 4. Suppose s + 0*s - 3 = 0. Let g be z(s). Suppose -g*a = -8, -3*i + 25 = -0*i + 4*a. Solve -i*q = -4*q for q.
0
Let r = 0 - -2. Suppose -3*o - 8 = -4*b, -r*o + 6*o - 2*b - 6 = 0. Suppose 0 = -4*s - 2*d + 14, s + d = -o*s + 16. Solve -j - s - 2 = 0 for j.
-5
Suppose 0 = 5*v - 6*h + h + 10, -2*v = 3*h - 6. Let l = 12 - 7. Let y = l - -1. Solve v = s - y*s - 15 for s.
-3
Let w(d) = -d - 10. Let g be w(-14). Suppose 0 = g*b - 6*b. Solve b = t + t for t.
0
Let j(t) = t - 4. Let i be j(8). Solve z + i*z + 25 = 0 for z.
-5
Let t = 8 + -4. Suppose 0 = -4*c + 5*n + 47, 3*n = -t*c + 7*n + 44. Let w be 76/c - 2/(-4). Solve -3*k + 8*k - w = 0 for k.
2
Suppose 2*i - 2*c - 2 = -6, -5*i - 4*c + 8 = 0. Solve 5*p + 14 - 4 = i for p.
-2
Let l(o) = o**2 + 6*o + 4. Let q be l(-7). Suppose q = 4*y - 0*j + j, 9 = 3*j. Let m = 0 + y. Solve 0*t = -m*t for t.
0
Let u = 17 + 0. Solve -3*k + 2 - u = 0 for k.
-5
Let q be -2 + 1 + 0 + 3. Solve -q*b - 4 = -3*b for b.
4
Suppose i + 0*i + 11*i = 0. Solve -s + 5 = -i*s for s.
5
Let g(u) = u**3 + u**2 - u. Let f(n) = -6*n**3 - 3*n**2 + 5*n - 1. Let j(o) = -f(o) - 4*g(o). Let p be j(2). Solve 4*k + 3 - p = 0 for k.
2
Suppose 18*l - 19*l = -2. Solve -3*x + l*x = 0 for x.
0
Let b = -8 - -8. Let h be 1/(1/(-6)*-2). Solve 0 = -3*i - b - h for i.
-1
Let q be 1 - (-76)/8*2. Suppose -y - 22 - 3 = -5*v, 4*v = q. Solve 2*x + x = y for x.
0
Suppose 30 = 5*c - x - 3*x, 2*x + 20 = 5*c. Solve -u + 6 = c for u.
4
Suppose -67 = -5*t - h + 37, 3*t - 2*h - 52 = 0. Solve 8*d = 3*d + t for d.
4
Suppose 2*q - q = 3. Solve -7*d - 8 = -q*d for d.
-2
Let o(t) = 3*t - 29. Let s be o(11). Solve 2*l = -2*l + s for l.
1
Let k = -32 - -21. Let g(o) = -o**3 - 11*o**2 - 2*o - 9. Let q be g(k). Solve 0 = -5*r + 3 - q for r.
-2
Suppose 0 = -2*f - 5*n + 33, 3*n = -4*f + 7 + 24. Solve -s = -f*s - 9 for s.
-3
Suppose a = 4*i + 4, 2*a - 4*a - i + 17 = 0. Suppose 3*p + 5 = a*p. Solve s = -0*s - p for s.
-1
Let m be (4 + 0)*(0 - -2). Solve -2*b + m = -2 for b.
5
Let t be (-4)/(-10) + (-4)/10. Let y(q) = -5*q**2 + q + 1. Let r be y(-1). Let j be (4 + -2)*-1 - r. Solve j*n = -t*n for n.
0
Let x(f) = f**2 + 9*f + 10. Let u be x(-9). Solve -4*g - g = -u for g.
2
Let m(k) = k - 3. Let i be 5/((-105)/18)*-7. Let l be m(i). Suppose -l*g + 4 = -g. Solve -g*p + 20 = -6*p for p.
-5
Suppose 16 - 52 = -4*z. Solve -6*h + 3*h = z for h.
-3
Let l(c) = c**3 + c. Let d be l(0). Let j = 5 - 3. Let q be -4*1*(-5)/j. Solve d = w + w - q for w.
5
Let j(p) be the third derivative of -3/8*p**4 + 0*p - 1/60*p**5 + 0 - 5/6*p**3 + p**2. Let c be j(-8). Solve 1 + c = -r for r.
-4
Suppose -4*r + 3*i = -14, 5 + 1 = -r - 4*i. Suppose 2*b - 2*h = -0*h + 20, 4*h = -r*b - 4. Suppose -b*o + 4*o + 8 = 0. Solve -5 = -o*k + 15 for k.
5
Suppose 4*g - o = 18, 0 - 2 = g + 3*o. Suppose -z + 0 = -g. Suppose 0 = 4*i + 2*q - 18, -z*q = 3*i + i - 24. Solve i*m + 4 = -11 for m.
-5
Let s be -11*12/(-22)*1. Solve y - 3*y = -s for y.
3
Let y = -351 + 227. Let i be y/(-10) - (-12)/(-30). Solve 7*k + i = 4*k for k.
-4
Let g be 50/20*4/(-5). Let l be g*((-2 - -1) + 0). Solve -2*y = l - 0 for y.
-1
Let g = 4 - 1. Solve -g*j = -2*j for j.
0
Let z = -66 - -66. Solve z*n - 10 = 2*n for n.
-5
Let f(k) = 2*k**2 + 11*k - 4. Let p be f(-6). Solve 6 = 5*r - p*r for r.
2
Let j(t) = -t**3 + 3*t**2 - 1. Let d be j(2). Suppose w = -3*w + 3*c + 10, -d*w = 3*c + 3. Solve o = w - 3 for o.
-2
Let v be 18 - 3*(-8)/(-6). Let b be (-2 + 0/(-1))*-1. Suppose -x + b = x. Solve -x = 5*n + v for n.
-3
Let q be -1*(-3 - 0/2). Solve m - q*m = 2 for m.
-1
Let a = 24 - 17. Suppose 5*b - 10 = 0, -4*b + 0*b + 8 = -3*j. Suppose j = 2*y - 1 - a. Solve -p = y*p - 15 for p.
3
Let c = -47 - -53. Solve c*k - 6 = 4*k for k.
3
Suppose -2*t = -5*o + 15, -4*t - 5*o = -t - 40. Solve -t*c + 7 = 2 for c.
1
Suppose 3*w + 5*y = 35, -4*w - 3*y + 4*y + 62 = 0. Solve 5*m = 2*m - w for m.
-5
Let x be 2*-2 - (-29 - 5). Solve -x + 10 = 4*q for q.
-5
Suppose 0*g = 4*g - 80. Suppose -3*d = -9 + 3, -5*d = 2*k - g. Let y(x) = -x + 5. Let h be y(k). Solve -q - q = h for q.
0
Let k(b) = -b**2 + 3*b + 9. Let w be k(4). Solve 0*c = w*c for