- 4*u - j for u.
2
Suppose 10*i - 12*i = -12. Suppose -i*p = p - 21. Solve -p*f + 1 = -4*f for f.
-1
Let v(h) = -16*h - 119. Let p be v(-9). Solve 5*n + p = -0 for n.
-5
Let x(z) = z - 8. Let m = 49 - 41. Let r be x(m). Solve -5*f = -r*f for f.
0
Let t(g) = -24*g + 74. Let l be t(3). Solve -x + l = 5 for x.
-3
Let m(y) = y**3 + 10*y**2 + 7*y - 18. Let a be m(-9). Suppose 4*p + 3*f - 15 - 18 = a, -2*p + 15 = f. Solve -4*g = p + 2 for g.
-2
Let y(g) = -g**2 - 7*g + 3. Let q be y(-6). Let z = 11 - q. Let d be -1 - (z + -6) - 1. Solve -d - 8 = -2*w for w.
5
Let m(b) = -b**3 - 6*b**2 + b + 8. Let u be m(-6). Suppose 0 = u*x + p, -4*x - 2 - 2 = 3*p. Solve 0*o - x*o = 0 for o.
0
Suppose -5*v = -v - 4. Suppose 0 = -t - v + 2. Suppose -f - 2*u - t = 2*u, 16 = 5*f - u. Solve -f*g - 6 = -0 for g.
-2
Let s(l) = 2*l - 16. Suppose 45 = 5*j + 2*i, 2 = -5*i - 23. Let o be s(j). Solve -1 = 5*a - o for a.
1
Let c(q) = -q**2 - 5*q + 3. Let f be c(-3). Let i be -7 + 1/(3/f). Let t = i - -4. Solve t = 5*r - 2*r for r.
0
Let y be 4/38 - 48/456. Solve y = -2*o - 11 + 3 for o.
-4
Let l(u) be the first derivative of -u**3/3 - 4*u**2 + 2*u - 8. Let z be l(-8). Solve -12 = 2*n + z*n for n.
-3
Suppose -8 = -7*z + 13. Suppose -v + 6*v - 3*p - 4 = 0, z*p = 6. Solve -l = -1 - v for l.
3
Let t = -5 + 9. Suppose -t*j + 8 = -c, 7*j - 6*j - 2 = 4*c. Solve c = 5*i + 17 + 8 for i.
-5
Let v(p) = 9 - 4*p + 13 + 2*p. Let s be v(9). Solve -5*g - 2 = -s*g for g.
-2
Let c(n) = -n**3 + 3*n**2 + n - 3. Let k be c(3). Let x be (-2)/(-4) - (-2)/(-4). Suppose x = 2*r - 5 + 1. Solve -r*j = 2 - k for j.
-1
Suppose 4*j = -4*a - 6 - 6, 5*j - 15 = a. Suppose -2*p + 5*y = -15, -3*p - y = -j*p + 3. Solve -5*r + 2 - 22 = p for r.
-4
Let t(g) = g**2 - 4*g - 20. Suppose -3*n - 15 = -3*a, 0 = -3*a - a. Let d be t(n). Solve -4*h = h + d for h.
-5
Suppose -p + 10 = -5*q, 2*p - q - 20 = q. Solve p - 6 = -4*o for o.
-1
Let g(p) = p**2 + 11*p - 24. Let x(a) = a**2 - 15*a + 1. Let u be x(14). Let v be g(u). Solve 2 = -v*s - 0 for s.
-1
Let r be -13*(-6)/273 + 19/7. Let l = -7 - -7. Solve 0 = -l*f - r*f for f.
0
Let o = 109 - -135. Solve -219 + o = -5*l for l.
-5
Let k(b) = -b**3 + 4*b**2 + 5*b + 5. Let h be k(5). Let z = -1 - h. Let d be (2 + -3)/(2/z). Solve -6*n - 6 = -d*n for n.
-2
Suppose 5*j - 6*j = -13. Let p = -5 - j. Let m = p + 20. Solve 0 = -2*q + m - 0 for q.
1
Suppose 0 = -11*a + 12*a - 6. Suppose 0 = -a*b + 4 + 32. Solve -9*o - b = -11*o for o.
3
Suppose 4*u = 42 + 10. Let f(d) = -d**2 + 13*d + 2. Let n be f(u). Suppose -n*z = 2*z. Solve 5*h - 2*h = z for h.
0
Let z be 1 - ((1 - 1) + -1). Suppose -z*u + 15 = u. Suppose -3*q + k + 16 = 9, 4*q + 5*k + 16 = 0. Solve q = s + u for s.
-4
Suppose 4*m - 18 = 2. Suppose -b - 2 - m = 0. Let z = b - -15. Solve z*c - 3*c - 25 = 0 for c.
5
Let v be ((-50)/(-15))/(-5)*-9. Suppose -c + 2*k = v, -2*c + 4 = 2*k - 8. Solve -3*p - c = 1 for p.
-1
Let q be 9*(2/(-4) + 35/6). Let a be (1/(-2))/((-8)/q). Solve 0 = a*l + l for l.
0
Suppose 15 = -5*o + 105. Solve c + 5*c = -o for c.
-3
Let k be (-52)/(-12) - 7/(105/(-10)). Solve 0*g - 5*g - k = 0 for g.
-1
Let f = -20 + 35. Let c(k) = k**2 - 2*k**2 + k + 16 + 11*k + 2*k**2. Let p be c(-11). Solve 5*v + f = -p for v.
-4
Let n = -226 - -228. Solve -n*u = 5*u - 14 for u.
2
Suppose -2 - 13 = -5*n. Suppose 7*o - 36*o = -58. Solve n*k - o = 4 for k.
2
Let y be ((-792)/(-495))/((-1)/(-45)). Solve 0 = -2*r + 64 - y for r.
-4
Let g(i) = 4*i + 3. Let c be g(4). Let s = c + -16. Solve -1 = m + s for m.
-4
Let m be (3*-3)/((-174)/116). Solve -6 = 3*h - m for h.
0
Let b(m) = -6*m - 3 + 12 - m**2 + 10. Let k be (36/(-9))/((-1)/(-2)). Let u be b(k). Solve 0 = 2*r + r - u for r.
1
Suppose 0 = 4*j - 18 + 6. Suppose 1 = -j*b + 7. Solve b = -g - 2 for g.
-4
Let r be (-4 + -2)*(-7)/2. Let s = r + -21. Let i = 0 + 0. Solve s = -3*b - i*b for b.
0
Let c be ((-4)/10)/((-4)/(-120)). Let d be (-1 - c/4) + -1. Solve -d = f + 3 for f.
-4
Let s(w) = 3*w + 12. Let p be s(-3). Suppose 0 = v + p*u + 2, -3*v - 3*u + 9 - 3 = 0. Solve v - 2 = -2*y for y.
-1
Let v(n) = -7*n - 6*n + 50 - 35 + 13*n**2 - n**3. Let t be v(12). Solve 0 = 5*o + t - 13 for o.
2
Suppose -c + 0*c = 5*p - 4, 4*c - 16 = -5*p. Suppose -4 = -2*v - 4*a, v + c*a - 4 = -6. Solve 4*h = h + v for h.
2
Suppose -87 = -7*o + 3*o - 5*x, 4*x + 4 = 0. Solve -20 + o = -p for p.
-3
Let a(d) = -d**2 + 27*d + 31. Let b be a(28). Solve m + b*m = 3*m for m.
0
Let y be ((-3)/(-9))/(2/6). Let d be -1 + (6 - y) - 2. Suppose d*h - 7*h = -10. Solve 2*t + 4 = -h*t for t.
-1
Suppose -2*w = 3*y - 8*y - 47, w - 23 = 3*y. Solve 0 = -8*d + 14 + w for d.
5
Let x(r) = 32*r + 142. Let h(i) = -13*i - 57. Let g(o) = -12*h(o) - 5*x(o). Let w be g(-7). Solve 0 = -5*m + w - 12 for m.
-2
Suppose 5*o - 3*b - 395 = 1143, -o + 3*b + 310 = 0. Solve 10 = -312*a + o*a for a.
-2
Suppose -z = 3*z. Suppose 7*f - 3*f = z. Solve -3*y - y - 4 = f for y.
-1
Suppose -4*j = 5*m - 76, -2*m - j = 3*j - 40. Suppose m + 8 = 4*u. Suppose 4*q - 2*v + 4 = 0, -2 = 5*q - 4650*v + 4649*v. Solve q = -2*l + u*l + 9 for l.
-3
Let y(m) = 6*m + 56. Let k be y(13). Let p = -133 + k. Solve -2*r - 7 = p for r.
-4
Suppose -113 + 105 = -4*a. Solve 2*y - 6 = -a for y.
2
Let g be 43 + 4 + 1 - (7 - 6). Solve -42*o + g*o = -15 for o.
-3
Let r = -28 - -64. Suppose -f - 2*f = -r. Suppose -3 = 3*t + 4*u, 3*u + 21 = 2*t + 2*t. Solve -t*c + f = c for c.
3
Let r(p) = p**2 + 17*p + 48. Let c be r(-14). Let j be 16/3 - (-8)/12. Solve 3*w - c = j for w.
4
Suppose 2*h + 4*z = 4*h + 8, 16 = -4*h - 2*z. Let j be (2/1)/(h + (-54)/(-12)). Let m be 0 - 1 - -1*1. Solve m = 6*b - 2*b - j for b.
1
Let x be (((-30)/6 - -9) + -3)*5. Suppose -3*w - n = 0, 6*w = w - 2*n. Solve w*z - z = -x for z.
5
Let k(f) = 3*f - 34. Let m be k(13). Suppose -16 + 51 = m*g. Solve 3*b + g = 22 for b.
5
Suppose -4*z = 4*s - 9*s - 34, -z + 12 = -3*s. Let j = z + -3. Let m(h) = 2*h**3 + 2*h + 13. Let w be m(0). Solve -5*y = j - w for y.
2
Let p(l) = -l + 31. Let i be p(28). Solve 3*r - 2*r + i = 0 for r.
-3
Let q(o) = 2*o**2 + 27*o - 14. Let n be q(-14). Solve -15 = 3*g - n for g.
-5
Suppose -5*d + 25 = -5*u - 0, 3*u = -d - 3. Let a = 18 - u. Solve -a = g + 4*g for g.
-4
Suppose -4*p - 42 = 110. Let h = -23 - p. Suppose -3*k - 2*k + h = 0. Solve -10 = k*z - 5*z for z.
5
Let j be (-10)/8*(-4)/1. Suppose -3*t = -j*t + 42. Let k be 2/7 - (-57)/t. Solve -k*r + 4 = -11 for r.
5
Suppose 3*r + 7 = 5*a - 13, 3*r + 8 = 2*a. Suppose 9*x - a*x - 25 = 0. Solve 8*d + x = 7*d for d.
-5
Let g = 22 - 48. Let v = g - -38. Let q = 15 - v. Solve -q*x = 2*x - 15 for x.
3
Let b(u) be the third derivative of -u**5/60 + u**4/12 - 2*u**3/3 + 2*u**2. Let h be b(5). Let s = 25 + h. Solve -5*i + 31 = s for i.
5
Let v = -11 + 21. Suppose v*j = 9*j + 4. Solve -j*d + 4 = -4 for d.
2
Let g(q) = 4*q**3 - 4*q + 3. Let w be g(1). Solve 6 = w*i + 18 for i.
-4
Let a(t) = t**3 - 2*t**2 - 3*t + 2. Let x be a(0). Solve -x*r + 9 = r for r.
3
Suppose -4*i - n = 86, -2*i - 4*n = -4*i - 34. Let v be (-7)/i - (-4)/6. Let z = v + 1. Solve 3*k + 5 = z*k for k.
-5
Let n be 2 - (-1 - 0 - 0). Suppose 0 = -r + 4*r - 21. Let a be (-8)/(36/4 - 17). Solve r - a = -n*h for h.
-2
Suppose 4*g - 32 = 4*v, 118 - 101 = 3*g + 4*v. Solve -7*r = -r + g*r for r.
0
Suppose 4*x - 44 = 8*x. Let t = 17 + x. Solve 4*n - t = 2*n for n.
3
Suppose -2*p = 3*b - 6*p - 46, -4*p = -2*b + 36. Suppose -4*i = 2 + b. Let o be (-12)/(-3*i/(-6)). Solve 4*s = 20 - o for s.
3
Let y(w) = -16*w - 2. Let l be y(-2). Let n = l + -28. Solve 6 - 4 = n*o for o.
1
Let k be (-158)/474*12/(-2). Solve -36 = k*v + 7*v for v.
-4
Let p(t) = -7*t - 11. Suppose 3*q = -3, -18 = 2*z + z + 3*q. Let m be p(z). Let u = 31 - m. Solve -u = w - 5 for w.
-2
Suppose -4*c + 30 + 66 = 0. Suppose c = 5*f - v, f + 0*v - 2*v - 12 = 0. Suppose 2*a - 11 = -3, f*j = 4*a. Solve 0 = 8*p - j*p + 20 for p.
-5
Suppose 5*x - 14 = -m + 8, 0 = 4*m - 2*x - 44. Solve -5*t - 8 = m for t.
-4
Let p be (-30)/6 - -1*(1 + 0). Let n = 21 - 0. Let s be p/(-3 - n/(-9)). Solve -j - s = -4*j for j.
2
Let j(u) = -2*u**3 - 40*u**2 + 36*u - 30. Let s be j(-21). Solve -s = -23*w - w for w.
4
Let i = 557 - 546. Solve i*d - 20 = 6*d for d.
4
Suppose y + 2*y = -2*h - 2, -5*h + 2*y = -33. Suppose h*d = 7 + 8. Suppose 2*c + d*j - 10 - 