n + u for n.
1
Let v(h) = h**3 - 11*h**2 - 13*h + 12. Let n be v(12). Suppose d - 2*d + 3 = n. Suppose c - 4 = d. Solve c*a = 4*a + 9 for a.
3
Let g be ((-6)/(-5))/(18/120). Suppose -g*j + 10 = -3*j. Suppose -j*k + 5 + 1 = 0. Solve -k*s = -12 + 3 for s.
3
Let r = 223 + -218. Let d(o) = o**3 - 4*o**2 + 4*o - 3. Let k be d(3). Solve -r*c = -k*c for c.
0
Let v = 2 + 2. Let k be 40/(-2 - -10) - 5. Suppose -5*i - 17 = o, -5*i + 8 - 1 = 4*o. Solve 0*c - v*c - o = k for c.
-2
Suppose 5*q + 2*b = 100, 10*b - 7*b - 100 = -5*q. Solve -24*s + q*s - 4 = 0 for s.
-1
Let s(r) = -r**2 - 9*r - 15. Let u be s(-4). Let j = -2 + u. Solve -8 = -v - j*v for v.
2
Suppose 4*y - 4*s - 16 = 0, 2*y - 9 = -5*s - 1. Solve 39*p = 40*p + y for p.
-4
Let y(k) = -k**3 + 7*k**2 - 4*k - 8. Let p be y(6). Suppose 0 = -3*q + c + 9, 2*q + 3*c = -p - 1. Solve 0*j = -q*j - 4 for j.
-2
Suppose 0 = -6*q + q + 15. Let p be ((-3 + q)/3)/(-1). Solve 10 = -2*w - p*w for w.
-5
Let w(r) = 4*r - 21. Let y be w(6). Suppose -q - 2*q + 9 = t, 0 = q - 3. Solve y*f + t = -6 for f.
-2
Suppose -1511*o = -1510*o - 20. Solve c = -4*c - o for c.
-4
Suppose 3 + 3 = 3*r. Suppose 2*d = 7*d + p - 19, 0 = -2*p - r. Solve d*v + 4 + 8 = 0 for v.
-3
Suppose -960 = 2*q + 5*m - 995, q + 3*m = 20. Let v = -9 + 29. Solve q*b + v = b for b.
-5
Let o(z) = 33*z + 372. Let v be o(-11). Solve 13*x - v*x + 8 = 0 for x.
-2
Let x be 54/(-12)*(-2)/3. Suppose 15 - 6 = x*v. Solve 12 = 5*j - v for j.
3
Let d(q) = -41*q - 7. Let s be d(-1). Solve -s*r = -20*r + 28 for r.
-2
Let n be -4*((-1)/(-2) - -2). Let o = n - -17. Suppose 12*x = o*x. Solve t = -x*t - 3 for t.
-3
Suppose 26 = -3*l + 16*l. Solve -l*g = -7 + 17 for g.
-5
Suppose -2*z + 4*z = 4*v - 4, 5*z = 4*v - 16. Let c(m) = -3 - 2 - 2*m - 3*m + 3. Let i be c(v). Solve -15 = i*a + 2*a for a.
-3
Let q be 8/3*(-6)/(-4). Suppose q*u = -2 + 10. Suppose 4*w = 10 + u. Solve 0*o - w*o + 3 = 0 for o.
1
Let c = 0 - -1. Let l(p) = 2*p**2 + 1. Let j be l(c). Let u(x) = -x**2 - 17*x - 60. Let h be u(-5). Solve h = -j*d - 0*d for d.
0
Suppose -4*i - 3 = -v, -v - 8 = -3*i - 11. Solve -v*h = -5 + 8 for h.
-1
Suppose 0 = -7*a + 22 + 48. Suppose -a = r - 14. Solve 10 = -r*s - 6 for s.
-4
Suppose -5*o - 119 + 34 = -5*s, o - 31 = -2*s. Solve 0*d - s = -4*d for d.
4
Suppose -d = -78 + 75. Solve 12 = l + d*l for l.
3
Suppose -14 = -5*g - 2*r, 0 = g - 0*r - r. Suppose -g*c = -i - 3, i - 4*i = 4*c - 11. Solve -v - i = -0*v for v.
-1
Let t(l) = -17*l + 8. Let f be t(6). Let x be 8/(-36) - f/18. Solve x*v - 2*v - 9 = 0 for v.
3
Let y = -224 - -229. Solve 3*b = 10 + y for b.
5
Let q be 2/(-8) - 21/(-4). Suppose 8*g = 55 - 23, 2 = d - 2*g. Solve 0*k = -q*k - d for k.
-2
Suppose -a - 125 = -2*s, 165 = 6*s - 3*s + 3*a. Suppose -3*d + 2*d + s = 0. Suppose u - 6*u - 5*v = -15, 4*v + d = 5*u. Solve -4*b = -u*b + 16 for b.
4
Let k be (-8*(-44)/8)/(8/4). Solve 0 = -7*o + k - 1 for o.
3
Suppose -32*y + 490 = 17*y. Let x = -1 - -1. Solve t - 6*t + y = x for t.
2
Let u = 51 + -35. Let k be ((-2)/(-4))/(2/u). Suppose 0 = 2*o - k*o. Solve o = 4*n - 3*n for n.
0
Suppose 4*m + 0*h = -4*h + 612, 0 = -3*h - 3. Let y = m + -154. Solve -4*i + 2 + 10 = y for i.
3
Let g(d) be the first derivative of 1/2*d**2 - 2 - 6*d. Let n be g(7). Solve 0*b - n = b for b.
-1
Let h be (3/((-6)/5))/(20/(-16)). Suppose -v = -34 + 32. Solve v*l = -h*l for l.
0
Let a = 70 + -62. Suppose -a*o + 4*o = -12. Solve 4 = -d - o*d for d.
-1
Let x(y) = 10*y**2 - y - 3. Let s be x(-2). Let m = s - 34. Suppose -a + m*a = 8. Solve -16 = -a*k - 2*k for k.
4
Suppose -4*s - 4 = -n, -2*n + 2 = -s + 1. Suppose 0 = -5*y - n*y. Solve y = -3*o + 6*o for o.
0
Let l(v) = -21*v**3 + 7*v**3 - 14 + 7*v**2 - 2*v + 15*v**3. Let x be l(-7). Solve x = 2*c - 0 - 2 for c.
1
Suppose -4*g - 5*p = -27, -3*p = -p - 6. Suppose b + m - 4 = -m, -g*m + 13 = 5*b. Solve -b = -3*o - 11 for o.
-3
Suppose -2*r - 2 = -18. Let f(d) = -d**2 + 9*d - 5. Let t be f(r). Solve t*n - 3 = -0 for n.
1
Suppose -105 = -2*y - f, 19*y = 24*y - 5*f - 270. Solve 2*u - 47 = -y for u.
-3
Let l(c) = -c**2 - 6*c - 5. Let z be l(-1). Let x(i) = -i**3 + i**2 + 3*i + 5. Let v be x(z). Solve -v = 2*o - 1 for o.
-2
Suppose -i + 2*x = 0, -5*i = -0*i - 3*x - 7. Suppose -i*u - u - r = -14, 0 = -4*u + 2*r + 12. Solve -2*w + u + 4 = 0 for w.
4
Suppose 17*u + 25 - 127 = 0. Solve -144 = u*z - 120 for z.
-4
Suppose 0 = 4*d - 97 - 107. Let v = 74 - d. Solve -q - 18 = -v for q.
5
Let s(d) = -9*d - 49. Let t be s(-5). Let p be 2/t*(-6)/(-9)*-3. Solve -2*m = -9 - p for m.
5
Let o = 600 + -594. Solve -27*j = -25*j + o for j.
-3
Suppose -2*a + 1 - 3 = s, 0 = 2*s + 4. Let z be 6/(3 - a) - 2. Suppose -3*q + 6 = 4*j - z, 0 = 3*j + 4*q - 1. Solve y - 2*y = -j for y.
3
Let v be -183*(-1)/3*-1. Let h = -61 - v. Solve -2*y - 4 = -h for y.
-2
Let z = 0 + 7. Let b(v) = v - 5. Let u be b(z). Let j(n) = -4*n + 11. Let l be j(2). Solve -4 = -u*y + l*y for y.
-4
Let z(f) be the first derivative of -f**2/2 + 4*f + 32. Let l be z(-2). Solve l = -4*i - 10 for i.
-4
Suppose 2*l - 15 = -3. Let j be (15/l)/(1/2). Let z = 59 - 36. Solve -z = -j*i + 2 for i.
5
Suppose -z - 335 = -5*z - n, 3*z - 258 = -3*n. Suppose -z = 7*d + 113. Let r be ((-21)/(-14))/((-6)/d). Solve 5*g = r - 22 for g.
-3
Suppose -21 = 5*s - 8*s. Suppose s*c = 126 + 35. Solve 5*w - c = -3 for w.
4
Let q(b) = -b**3 + 5*b**2 + 5*b + 8. Let j be q(6). Suppose j*r + 3*r = 25. Let z be 4*r*(-2)/(-5). Solve i + z = 4 for i.
-4
Suppose -11*h + 34 = -10. Solve -h = 4*n + 8 for n.
-3
Let a = -13 + 17. Let p be (-32)/40*(-10)/a. Suppose -2*n + 8 = -4*y, 2*n + 0*y - p*y = 4. Solve n = 4*l + 6 - 26 for l.
5
Let q = 23 - 72. Let p = 54 + q. Let u(c) = c**3 + 5*c**2 + 2. Let y be u(-5). Solve 0 = -y*b + b + p for b.
5
Let m(y) = y**3 - 12*y**2 - 13*y - 10. Let w be m(13). Let j be 8/w + 58/10. Solve -z - 8 = -j*z for z.
2
Suppose -6 = -2*o, -4*n + 14 = -3*n - 5*o. Suppose 0 = -5*d - n + 89. Solve -4*z = -0*z + d for z.
-3
Suppose 28 = 38*h - 31*h. Solve -h*a + 12 = 4 for a.
2
Let l = -13 + 25. Suppose f - l = 2. Let k = f + -11. Solve k*j + 5 = -2*j for j.
-1
Let o be ((-9)/(-27))/(3 + 572/(-192)). Solve 5*r - 13*r = -o for r.
2
Suppose 2*o = 4*o - 10. Suppose -g + o = -2. Let s(n) = -n**3 + 7*n**2 + n - 5. Let w be s(g). Solve -4 + w = -2*x for x.
1
Suppose -18*c = -51*c + 99. Solve c*k = 10 - 1 for k.
3
Let o be -4 - (1 - -47)*-1. Let m = 44 - o. Suppose 0 = 2*c + 3*c - 15. Solve c*k - 11 + 2 = m for k.
3
Let z = 18 + -15. Suppose -4*s + w + 39 = 0, -s - 2*w + 30 = z*s. Solve 0 = b - 4*b + s for b.
3
Let q(m) = -16 + 3*m - m + 0. Let p be q(9). Solve -14 + 4 = -p*x for x.
5
Let z be (-8)/(-16) - (-2 + (-5)/(-2)). Solve z = 4*b + 88 - 84 for b.
-1
Let x(v) = 4*v + 3. Let y be x(-2). Let b(j) = j**2 + 6*j + 7. Let m be b(y). Let d be 8 - (6/m - 4). Solve -d - 16 = 5*k for k.
-5
Suppose -3*r + 12 = 0, 10*r - 25 = -5*q + 5*r. Suppose 2*g = -3*g - 25. Let y = q - g. Solve -3*l + l + y = 0 for l.
3
Suppose 3*x - 54 = -3*w, -3*x - w + 5*w = -47. Solve -4*u = -3 - x for u.
5
Let m(v) = -2*v**2 + 2. Let b be m(-2). Let p be 4/b*(4 - 7). Suppose p*s - 36 = -s. Solve -t = -4*t + s for t.
4
Let c(q) = q**2 - 4. Let y be c(3). Suppose 0 = y*r - 58 - 62. Suppose 0 = -5*n + 2*n + r. Solve -4 - n = -4*v for v.
3
Let i(h) = 4*h**3 - 17*h**2 + 4*h - 19. Let p(q) = -5*q**3 + 18*q**2 - 5*q + 19. Let w(u) = -4*i(u) - 3*p(u). Let x be w(14). Solve -6 = -f - x for f.
1
Let n = -29 - 37. Let r be (-4)/(-22) - 318/n. Let p(v) = -v**2 + 4*v + 5. Let z be p(r). Solve z*d + 8 = 2*d for d.
4
Let u(h) = -4*h**2 + 34*h - 26. Let v be u(5). Solve -52 = -8*j - v for j.
1
Let p(c) = c**2 + 3*c + 2. Let r be p(-6). Let s(o) = o**3 - 14*o**2 + 15*o - 24. Let z be s(13). Suppose r = z*u + 2*u. Solve 5 = u*h - 0 for h.
1
Suppose -62*r + 436 - 250 = 0. Solve 0*k = -r*k + 2*k for k.
0
Suppose -a - 17 = -2*a. Let n = a - 8. Suppose -4*o + 3*p + n = -2*o, 6 = -o - 2*p. Solve o = -0*c - 2*c + 6 for c.
3
Suppose 0 = 48*g - 64*g + 128. Solve -g*s - 6 = -2*s for s.
-1
Let n = -1 - -8. Let u(w) = w - 4. Let j be u(n). Suppose j*a = 2*x + 9, 3*a = -4*x + 3 + 6. Solve a*o = 4 + 5 for o.
3
Suppose -d = 11 - 47. Let l = d - 21. Solve 5*t + 0*t = -l for t.
-3
Let o = 70 - 68. Suppose 0 = -o*t + 12*t. Let l(s) = s**3 - s + 2. L