r k.
1
Suppose 3*d - 41 = -0*d + 5*p, 2*p = -8. Suppose 5*u + 4 = d*u. Solve c + 1 = u*c for c.
1
Suppose 5*j = 6*j. Suppose 10*v - v = -2*v. Solve p + j*p = v for p.
0
Let z be 4 - (0 - 3 - -2). Suppose 24 = -z*c - c. Let w be 5 + -7 + c/(-2). Solve 8 = -2*g - w*g for g.
-4
Suppose -5*o - 2*s = -2, -s = 5*o - 4*s + 3. Suppose 0*g - 6*g + 18 = o. Solve 0*l + 3*l = g for l.
1
Let y(z) = z**2 - z + 1. Let t(v) = -4*v**2 - 20*v - 8. Let c(x) = -t(x) - 6*y(x). Let k be c(13). Let s = -5 - -5. Solve k*q - q - 3 = s for q.
3
Let g be (2 - (7 + -3)) + 2. Suppose 5*a + 55 - 15 = g. Let l = a - -21. Solve 4*q = 1 - l for q.
-3
Let j be ((-8)/(-1))/((-2)/3 - -1). Suppose 3*f = i - j, 4*i - 5 - 36 = f. Solve q - 8 + i = 0 for q.
-1
Let b = -52 - -54. Suppose 0*q + 5*q - 35 = 0. Solve -b*u = -q*u - 15 for u.
-3
Let w = 519 + -513. Let y be (1 + -1*2)*-4. Suppose -8 = -y*c + 8. Solve 0 = -w*q + c*q - 6 for q.
-3
Suppose -12*d = -3*d + 8*d. Solve d = 2*t - 5*t - 9 for t.
-3
Let t(h) = -h**3 - 7*h**2 - 7*h - 4. Suppose -4*y = 3*k - 25, y + 0*k - k = 8. Suppose -y*s = -3*s + 24. Let f be t(s). Solve -p = f - 4 for p.
2
Let p(y) = y**2 - 10*y - 3. Let f be p(-2). Solve -f*l + 35*l = -28 for l.
-2
Let z(w) = -w**2 + 4*w - 15. Let t be z(4). Let n = 19 + t. Solve 0*v + 20 = -n*v for v.
-5
Let n(u) = 2*u**2 - 3*u + 5. Let f be n(3). Let l(k) = k - 12. Let p be l(f). Solve 3*j - 13 - p = 0 for j.
5
Let y(q) = -q**2 - 3. Let v be y(0). Let z = v + 7. Let j(s) = -s**3 - 2*s**2 - s + 2. Let d be j(0). Solve d*m = z*m + 2 for m.
-1
Let v(k) = k**3 - 16*k**2 + 13*k + 24. Let c be v(15). Let z be 9/c + 12/8. Solve 6 = -z*q - 2*q for q.
-3
Let x(t) = t**2 - 22*t - 7. Let b be x(23). Solve -22*h = -b*h + 30 for h.
-5
Let q(m) = -3*m + 17. Let c be q(7). Let n be 1 + c + (-4 - -7). Solve -i - 2*i + 6 = n for i.
2
Suppose -51*g + 47*g = 2*s, -2*s + 1 = 3*g. Solve -10 = -s*d - 3*d for d.
2
Suppose -g + 4 = 2. Suppose -g*s + 9 = 1. Suppose -5*q = -n - 15, s*q = 3*n - 2 + 3. Solve 1 = 4*a + n for a.
-1
Let p be 280/(-42) - 2/(-3). Let m = p - -6. Solve m = 3*s + 2 - 17 for s.
5
Let w be ((-9)/6 + 1)*-4. Let k = w - -8. Suppose 0 = k*r - 6*r - 96. Solve -5*j - 1 = r for j.
-5
Suppose -2*h - 4*o + 28 = 0, -h + 9 = -5*h + 5*o. Solve 13 = h*r + 13 for r.
0
Let z(m) = -2*m**3 + 6*m**2 + 5*m - 1. Let y be z(-1). Solve 0 = 5*q + y*q for q.
0
Let z = -1222 + 1251. Solve -19*j = 47 + z for j.
-4
Let f(p) = 40*p**2 - p. Let k be f(1). Let m = k + -36. Solve m*v = 4*v + 4 for v.
-4
Let k(g) = -g**2 + g + 34. Let z be k(-5). Solve 9*f = 8*f + z for f.
4
Let y(t) = -t**3 - 22*t**2 - 23*t - 14. Let g be y(-21). Suppose 0 = 2*h + 3*p - 4*p - 15, 4*p = -3*h + g. Solve -3*i + h = -7 for i.
5
Let c = 51 - 32. Let f = c + -15. Solve -2*u + f = -0 for u.
2
Let x be 9*-4*((-35)/14 - -2). Suppose c - 7*c + x = 0. Solve -c*m + 3 = -0 for m.
1
Let u = 19 - 17. Let c(o) = 5*o**3 - 2*o**2 + o - 2. Let b be c(u). Let w = b - 22. Solve 6 = 4*i - w for i.
4
Suppose 3*d - 2 = 2*h - 8, -d = -5*h + 2. Solve 0 = -9*w - h*w for w.
0
Let h = 33 + -14. Suppose -16 = -h*r + 15*r. Let y be 1/((-3)/(-24)*r). Solve -y = -i - 0 for i.
2
Let p(a) = -a**3 - 12*a**2 - 22*a - 17. Let i be p(-10). Solve i*g = -10 + 16 for g.
2
Let z be 33 - ((-2 + -1 - 1) + 7). Solve 5*x + z = -x for x.
-5
Let u(v) = 2*v + 1. Let t be u(1). Let x = 65 - 63. Let p be (0/2)/((8/(-2))/x). Solve p = 2*r - t*r for r.
0
Let t = 178 - 174. Solve -t*l = -0*l + 16 for l.
-4
Let d be -2 + 3 + 57 + -3. Let r = d - 45. Solve -4*n - r = -2 for n.
-2
Let u = -19 + 9. Let g = u + -6. Let o = -13 - g. Solve 0 = -o*v - v - 4 for v.
-1
Let u(c) = c**3 - 2*c**2 + 3*c. Let i be u(2). Let m = 5 - i. Let f be m/(-6) - (-85)/30. Solve f*s + 1 - 16 = 0 for s.
5
Let l = -155 + 97. Let n = 58 + l. Solve 2 = z - n for z.
2
Let u(i) = -6 + 2*i + 6*i - i + 0*i. Let j(m) = 13*m - 12. Let p(d) = 6*j(d) - 11*u(d). Let s be p(6). Solve s*t + 4*t = -8 for t.
-2
Let u(t) = -4*t**3 - t**2 - 69*t - 69. Let h be u(-1). Solve h*o = 7*o for o.
0
Let y(v) = 5*v**3 - v**2. Let b be y(1). Let n be b/6 - 4/6. Suppose n*h + 3*h = 0. Solve -4*m - m - 20 = h for m.
-4
Let t(q) = -3*q**3 - q**2 - 5*q - 5. Let z be t(-1). Let d be (13 - -1 - 1) + 0. Suppose 3*r = z + d. Solve -j = -r*j - 16 for j.
-4
Let y = -8 + 4. Let n(a) = a**3 + 3*a**2 - 5*a + 1. Let w be n(y). Suppose 2*u - 18 = -3*i, -2*i = 2*i - u - 13. Solve -w = 5*z - i*z for z.
-5
Let m = 11 - 14. Let r(l) = -l**3 - 5*l**2 - 3*l + 2. Let k be r(m). Let u = -7 - k. Solve -2*c + u + 10 = 0 for c.
5
Suppose 3*h - 44 = -4*q, -3*q = 5*h - 0*q - 55. Let j be (-45)/6*h/(-20). Solve -2*i = -i + j for i.
-3
Let u(k) = -k**3 + 23*k**2 + 6*k - 135. Let z be u(23). Solve -5*x + z*x - 8 = 0 for x.
-4
Suppose 3*s + 2 = 8, -f = -2*s - 3. Suppose f*r = 8*r. Solve -3 = -k - r for k.
3
Suppose -3*u - 22 = -5*y + 23, 0 = -3*y - 4*u + 56. Solve y*h + 16 = 16*h for h.
4
Suppose -v + 4*v - 15 = 0. Let h be 3/v*15/3. Suppose h*s - 12 - 15 = 0. Solve s + 3 = 3*q for q.
4
Suppose -5*l = -3*u + 47, 3*u - l = 2*l + 39. Let d be (3/(-3))/(-2 - -1). Solve -2*h = -u + d for h.
4
Suppose 2*v = -4*f + 16, -13*v - 20 = -17*v - 4*f. Solve 3*x - 20 = -v*x for x.
4
Suppose -99*w + 97*w + 10 = 0. Solve 3*v - 17 = -w for v.
4
Let w(l) = 5*l**2 + 28*l + 2. Let i be w(-6). Solve -28 = -i*u + 7*u for u.
4
Let w be (2/(-4))/((-7)/140). Let l be 37/(-5) + (-6)/w. Let i be 1 + -2 - (l + 6). Solve -3*o - 4 = -i for o.
-1
Suppose -2*u + 4*z = -60, -4*u = -0*u + 4*z - 60. Suppose -8*x + u = -44. Solve -t - t + x = 0 for t.
4
Let j(w) = w**3 - 9*w**2 + 19*w - 4. Let s be j(6). Suppose -5*c = 4*o - 20, -2*c - 4*o = -10 + s. Solve -8 = c*l - 0 for l.
-2
Let f be (-13)/(-2) - (345/(-10))/(-23). Solve f*p - 8 - 12 = 0 for p.
4
Suppose -63*q + 141 = -174. Solve -q*g - 2*g = g for g.
0
Let f(l) = 2*l**2 - 6*l + 2. Let d(h) = h - 5. Let o be d(-4). Let a = 12 + o. Let u be f(a). Solve 0 = -u*k + 3*k for k.
0
Let g(h) = h**2 - 13*h + 33. Suppose -30 = 6*i - 90. Let p be g(i). Solve p*f - 13 = -4 for f.
3
Let g be (1/2)/(4/(-88)). Let a = g + 11. Suppose m - 3 - 4 = a. Solve 5*c - 3 = m for c.
2
Suppose 199 = -5*c - 171. Let f = 74 + c. Solve -4*a + f = -12 for a.
3
Let g(h) = -2*h**3 - 11*h**2 + 7*h + 6. Let s be g(-6). Suppose 3*n - 30 = -3*r + r, -2*n - 2*r + 20 = s. Solve 0 = 5*f + n + 5 for f.
-3
Suppose o - 9 = 5*k - 3*o, 0 = 3*k - 2*o + 5. Let c be 5 + 2 + k + -3. Solve 7*p - 4 = c*p for p.
1
Suppose -q = 5*c + 2*q - 13, -5*q = -c + 25. Let n be 2 - (2 - 3)*1. Suppose 0 = -4*s - 3*x - 1, x = -2*s + 17 - 16. Solve -c = s*k + n*k for k.
-1
Let g(c) = 7*c**3 - 2*c**2 - 8*c + 4. Let d be g(3). Solve -d*u = -150*u - 5 for u.
5
Suppose 30 = -2*y + 6. Let l be 1/((y/(-40))/3). Suppose 5*f = -0*f + l. Solve f*o - 3*o = 0 for o.
0
Let s = 6 + -14. Suppose -b = 10 - 31. Let f = s + b. Solve -3 = 2*z - f for z.
5
Suppose -i + 4 = 2. Suppose 0 = i*u - u - 7. Suppose u*f = f + 24. Solve -f*c - 12 = -c for c.
-4
Suppose -77*u + 34*u + 39*u = 0. Solve u = -2*v - 2 for v.
-1
Suppose 0 = 3*f + 25*f - 252. Solve -f = -12*c + 9*c for c.
3
Suppose -3*r + 66 - 7 = 4*m, 9 = r - 4*m. Let w = 35 + -50. Let z = w + r. Solve 4 = -z*p + p for p.
-4
Suppose 24*c - 89 - 199 = 0. Solve 0 = c*t + 4 + 32 for t.
-3
Suppose 63 - 38 = 4*c + 3*g, 0 = 4*c + 5*g - 23. Solve -2*d = -4*d + c*d for d.
0
Suppose -5*l = 10*l + 4*l. Solve -25*o + 2*o = l for o.
0
Suppose 2*t = -3*t - 4*w + 64, -44 = -3*t - w. Let b = 15 - t. Let f(q) = -2*q - 1. Let r be f(b). Solve -5 = -z - r for z.
4
Let y(h) = h**2 + 3*h - 1. Let w be y(-2). Let r be 1*((-6)/2)/w. Solve 0 = -2*k - r - 1 for k.
-1
Suppose 0 = 3*m + 2*f + 39, 2*f + 26 = m - 3*m. Let q = m + 15. Solve q*o + 1 = 9 for o.
4
Suppose -4*n = r - 137, -5*n - 4*r + 180 = -r. Let s = 9 - n. Let k be (6/(-4))/(18/s). Solve 3*w + k = w for w.
-1
Let t be (4/(-2))/((1 + -3)/2). Solve b = t*b for b.
0
Let t be (-13)/2 - 4/8. Let z = t + 12. Suppose 5*h = h. Solve h = 5*y - z - 20 for y.
5
Let o = 889 + -881. Solve -o + 6 = -w for w.
2
Suppose 50 = -r + 1. Let n be (-721)/r - (-4)/14. Suppose -5*l + n = -0. Solve 0*s = s + l for s.
-3
Suppose -26 = -2*b + 4*s, 0 = b - 4*b + s + 24. Let j(u) = -u**3 + 5*u**2 - 3*u - 1. Let q be j(3). Suppose 3*k = -q + 44. Solve 4*n = b*n - k