- 0 for r.
3
Let v(a) = a - 7. Let x be v(27). Suppose 7*j + x = 12*j. Solve -8 = -z - j for z.
4
Let s be -15*1/(-3)*2. Let y be 113 + (5 - 12 - -5). Let m = y + -110. Solve -s = 3*o - m for o.
-3
Let k be (9/5)/((-2)/(-10)). Suppose -272 + 261 = -11*q. Solve -4*j + k - q = 0 for j.
2
Suppose 0*y + o = y - 107, 3*y - 4*o - 318 = 0. Suppose -y = -5*g - 3*r - 41, -4*r + 60 = 4*g. Solve -g = -0*c - 4*c for c.
3
Let t = 19 - 11. Let o(k) be the first derivative of k**3/3 - 9*k**2/2 + 8*k - 15. Let c be o(t). Solve 4 = 4*m - c*m for m.
1
Let f be (-2 - -2)/(4*3/12). Let d be 4*1/12*18. Solve f = -d*m + m + 20 for m.
4
Suppose 0 = 21*g - 157 - 32. Solve -4*c + g*c + 20 = 0 for c.
-4
Let i(v) = v**3 - 2*v**2 - v - 8. Let y be i(4). Let n be 50/y + 1/(-2). Solve -4*a + n*a = 10 for a.
-5
Suppose 4*l + u = 49, 2*l + 4*u = -0*u + 28. Suppose -3*h + 0*h = 6, -2*y + l = -3*h. Solve y = -5*a - 2 for a.
-1
Let u(h) = -h**3 - 4*h**2 + 3*h - 6. Let d be u(-5). Suppose 5*f + 27 = 4*q - q, 0 = 5*q + d*f - 8. Solve -q = l - 2 for l.
-2
Suppose -u + 95 = 4*u. Let x = u + -10. Let b be (-21 + x)*(-5)/4. Solve 4*r = -r - b for r.
-3
Let c(y) = y**2 + y - 7. Let a be c(-4). Suppose 2*o = 3*s + 2*s, 5*s - 3*o = -a. Solve -3*h = -h - s for h.
1
Let b be 1*(2 + -3 - 3). Let y(d) = -d**3 - 4*d**2 - 8*d - 23. Let t be y(b). Solve -3*j - t = 3 for j.
-4
Let k(u) = -8*u - 21. Let l be k(-3). Solve -8 = v + l*v for v.
-2
Let l(k) be the second derivative of k**4/12 - 4*k**3/3 - 5*k**2 + 4*k. Let t be l(9). Let h be (-1 - 2) + (-6)/t. Solve -f = 2*f + h for f.
-1
Let u(x) = x + 5. Let d(n) be the first derivative of -n**2/2 + 2*n - 5. Let r be d(-5). Let v be u(r). Solve v = 2*i + 2*i for i.
3
Suppose 4*r + 480 = 564. Solve 53*n - r = 60*n for n.
-3
Let b(k) be the second derivative of -k**6/144 - k**5/30 - 5*k**4/12 + 7*k. Let r(x) be the third derivative of b(x). Let l be r(-2). Solve 4*w = l + 14 for w.
5
Let p be (-5 + -1)/(-4 + 3). Suppose -2*x + 2*d - 9 = -3*x, -4*x + 2*d = -p. Suppose 2*f = -f. Solve f = a - x for a.
3
Let z(p) = -6*p**2 - 11*p - 10. Let q(g) = 7*g**2 + 12*g + 11. Let f(b) = 5*q(b) + 6*z(b). Let m be f(-3). Suppose m*j - j - 18 = 0. Solve j - 22 = -4*i for i.
4
Suppose 17*j = 99 + 207. Solve -t - j = -7*t for t.
3
Let i be 2/(-3) + (-152)/(-12). Suppose -12*n + 67 = -77. Let o = n - i. Solve o = -2*u - 2*u + 20 for u.
5
Let v = -10 - -13. Suppose v*u - 4 = 2. Solve -u = 2*c - 8 for c.
3
Let d = -74 + 77. Solve 0*y = -3*y + d for y.
1
Suppose -2*d + 2 = 3*w, -5*d - 25 = -0*d. Suppose 0 = u - 5*g - 5, w*u + 12 - 14 = 2*g. Solve 3*a + 2*a - 15 = u for a.
3
Let f(o) = 8*o - 220. Let h be f(28). Solve -h*m = -m - 6*m for m.
0
Suppose 0 = 50*z - 55*z + 110. Solve 7*f - z - 13 = 0 for f.
5
Suppose 0 = 5*f - 2*a - 2*a - 121, -80 = -3*f - 5*a. Solve 4*m - f = -m for m.
5
Suppose 2*c - 15 = 18 - 25. Suppose 3*i - 16 = -i. Suppose 4*k = 2*a - a + 22, i*a = -4*k + 12. Solve -3*u + c = -k for u.
3
Suppose -31*r - 1029 = -3509. Solve n - r = 17*n for n.
-5
Suppose -11*z + 12 = -9*z. Solve z*b + 65 = -7*b for b.
-5
Let l be (-54)/(-189) + 976/14. Let x = 74 - l. Solve 0 = -x*f - 1 + 5 for f.
1
Let y = -49 - -89. Solve 43*d - 51*d = -y for d.
5
Let q(l) = l**2 - 43*l + 158. Let c be q(39). Solve c*b + 6 = 5*b for b.
2
Suppose -16*v = -11*v - 180. Let h = v - 31. Let r be h - ((4 - 7) + 6). Solve r*c - 6 = -c for c.
2
Suppose j = -5*l - 26 + 34, 6 = 2*l - j. Suppose -2*c = 2*c + 16. Let u(i) = i**3 + 4*i**2 + i + 4. Let w be u(c). Solve -2*y + w*y = l for y.
-1
Let g be (-1)/2 + 11/(-2). Let q be (-26)/g - 1/3. Let j(r) = -r**3 + 4*r**2 + r - 1. Let z be j(q). Solve -5*y - 13 = -z for y.
-2
Let c(j) = -j**3 + 6*j**2 - 3*j - 4. Let z be c(5). Suppose 3*k - z = 2*x + k, 0 = -5*x - 5*k + 15. Let q be x*2/(-6) + 3. Solve 0 = -q*n + 2*n + 2 for n.
2
Suppose -h = 8*b - 12*b - 29, -2*h + 40 = b. Solve -20*q - 39 = h for q.
-3
Let p(i) = i**2 - 19*i - 180. Let r be p(-7). Solve -8*x - 2 = -r for x.
0
Suppose 3*a - 6 = -m, 12*a = 16*a + 2*m - 6. Solve 144 = -a*l + 141 for l.
-1
Let n = 129 + -119. Let c(a) = -a**3 - 5*a**2 - 3*a + 3. Let j be c(-5). Let h = j - n. Solve p - h = 3*p for p.
-4
Suppose 0 = g - 30 + 4. Solve 5*k - g + 1 = 0 for k.
5
Suppose -14*g + 193 + 3 = 0. Solve -11 = l - g for l.
3
Suppose 3*f + 2*g - 5 = 0, -6*f + 4*f - g + 4 = 0. Solve -j + f*j + 6 = 0 for j.
-3
Suppose -2*b + 3 = -3*b + z, -z = 3*b - 3. Suppose -3*t - 3 = -2*p + p, b = -t. Let h be 3/(-3)*(-4 + 0). Solve -h = w - p*w for w.
2
Suppose 3*s = 6, -10 = -o - 2*o - 2*s. Suppose -b + 0*b = -3. Suppose t + n = -t, 4*t = -b*n. Solve t = -4*w + 6 + o for w.
2
Let i(l) = -3*l - 15. Let b be i(-10). Suppose -13*o - b = -16*o. Solve 0 = r - o*r for r.
0
Suppose 0 + 8 = -x + 4*c, -2*x = 5*c - 10. Let t be (15/9)/(1/3). Solve x = -t*l - 5 for l.
-1
Let i = -28 - -46. Let w(g) = 9*g**3 - 1 + 12*g**3 - i*g**3 + 2*g. Let z be w(1). Solve -3*c - z = -1 for c.
-1
Let z = 16 + -13. Suppose 2*g - 5 = 3*g, -z*n - 71 = 4*g. Let i = -17 - n. Solve i = 4*a + a + 15 for a.
-3
Let x(m) = 2*m + 26. Let q be x(-16). Let t be 3*(8/q + 2). Suppose l = 0, -2*z - 5*l = t*z - 12. Solve 2 = z*r - r for r.
1
Let a = 1180 - 1174. Solve -a*m + 5*m = 3 for m.
-3
Let z be (2 - 9/(18/(-4))) + 1. Solve -4*m = -z*m + 3 for m.
3
Let i = -1 + 1. Let t(r) = r - 30. Let c be t(30). Suppose i = -c*z + 3*z. Solve z = -l + 3*l for l.
0
Let q be -2 - 3/9*3. Let x = 2 - q. Suppose x*d - 2*d = 3. Solve -3*w + 2 = -d for w.
1
Let v be (-7 - (-38)/6)/(2/156). Let l = v + 54. Solve 0*m + l*m + 8 = 0 for m.
-4
Let p(n) = 8*n - 26. Let m be p(4). Solve 0 = 2*s - 14 + m for s.
4
Let w be (40/30)/(2/(-3)). Let j be 10/(-4)*(w/(-10) - 1). Solve a + 2 = -j for a.
-4
Let g = -26 - -5. Let j = -18 - g. Solve 0 = s - j + 8 for s.
-5
Let h(p) = 8*p - 24. Let r be h(3). Solve 2*a - 1 + 5 = r for a.
-2
Suppose 2*c - 6*c = 5*r - 24, 2*c + 5*r - 12 = 0. Suppose -3*v = -c, -i - 6*v + v = -12. Solve 3*q = -i*q for q.
0
Let m be 2/(-2)*1 + 1. Suppose m = -6*q + 7*q - 3. Suppose -q*t + 4*v + 3 = -5, -17 = -4*t - v. Solve -5*o - 1 = t for o.
-1
Suppose -3*z - 24 = -3*y + 105, -y - 152 = 4*z. Let h = -36 - z. Solve 0 = -h*u - 7 - 8 for u.
-5
Let s = 0 + 8. Suppose -4*r - 5*a + 27 = 0, 3*r - a - 2*a = 27. Let o = r - 3. Solve s = -f + o*f for f.
2
Let r be (-20)/(-30)*(-3)/2. Let t be -1 - r - (-6)/2. Solve -x = -t*x for x.
0
Suppose 52 = 2*r + 5*x - 8, r - 15 = 5*x. Suppose 0 = -2*g - 0*g + 3*s - 46, 5*g + 5*s = -115. Let d = r + g. Solve -d*t - 3 = -t for t.
-3
Let i = 90 - 86. Solve j = i*j - 6 for j.
2
Let t = 18 + -3. Let y(s) = 9*s + 94. Let q be y(-12). Let g = t + q. Solve z + g = -2 for z.
-3
Suppose -5*d + 3*c + 15 = -d, 3*d + 3*c + 15 = 0. Solve 7*i + 7*i - 11*i = d for i.
0
Let o = 40 - 31. Solve i - 13 + o = 0 for i.
4
Let a(l) = -9*l + 84. Let v be a(9). Solve -v*z = -8*z - 10 for z.
-2
Let w(s) = s**3 + 7*s**2 - 9*s - 3. Let n be w(-8). Suppose -2*z + d + n = -2*d, 0 = 5*z - 3*d - 17. Solve c + z = -0 for c.
-4
Suppose 12 = -2*k - 3*d, 3*k + d + 10 = 6. Solve k = 7*q - 3 + 3 for q.
0
Let m(k) = -k**3 + 6*k**2 - 4*k + 6. Let v be m(5). Let x(a) = -2*a - 2. Let c be x(-2). Suppose 2*b - 8 = c*l, -b - 4*b + 30 = -3*l. Solve -v = 5*u + b for u.
-4
Let p be 24/48*(1 - 5) - -3. Solve -16 = -5*s - p for s.
3
Let d = -4 + 38. Let c = d + -32. Solve c = 4*y + 14 for y.
-3
Let j be 3 - (-4)/(6 + -5). Solve -8 - j = -5*s for s.
3
Let j(y) = 2*y + 222. Let c be j(-81). Solve 12 = 16*b + c for b.
-3
Let k = 2 + -1. Suppose -3*u + 2 = -4*u, -h + 16 = -5*u. Solve -k = -r - h for r.
-5
Suppose h + 3*g - 27 + 10 = 0, 3*h - 27 = -3*g. Suppose 5*l - 5 = h. Suppose q = -l*q. Solve q*j = -4*j - 20 for j.
-5
Let w(d) = -d**3 + 13*d**2 + 17*d - 31. Let q be w(14). Let t(v) = 2*v**3 - 21*v**2 - 12*v + 11. Let b be t(q). Solve b = 2*z + 3*z - 10 for z.
2
Suppose 37 = 54*f - 125. Solve -3*o - f*o = 0 for o.
0
Let k = 14 - 35. Let a = 21 + k. Solve a = s - 3*s + 6 for s.
3
Let c be (2 - 2) + 3*3/9. Let i = -4 - -6. Solve -5 + c = -i*x for x.
2
Suppose 21*v - 23*v - 19 = 5*a, 4 = -2*v - 2*a. Solve -63 = v*o - 72 for o.
3
Let q(n) = n**2 - 24*n + 29. Let z be q(24). Let x = z - 26. Solve x*j + 4 = 4*j for j.
4
Let o = -13 + 15. Suppose 4*z - 2*h = 8, -o*h = 6*z - 7*z - 4. 