ve 7 + 5 = k*p for p.
4
Let s = -4953 + 4955. Solve -10*f = -s*f + 40 for f.
-5
Suppose 3*j - 29 = 2*j - l, 4*l = -5*j + 141. Let d be ((-15)/10)/(2/28*1). Let u = d + j. Solve -u*q + q = 15 for q.
-5
Let h(n) be the third derivative of n**5/60 - 29*n**4/24 + 47*n**3/2 - 66*n**2. Let x be h(23). Solve o = -x*o for o.
0
Let h = -47 + 95. Suppose -2*r + 0*r = -3*w + 13, 5*w = -3*r - h. Let l = 17 + r. Solve -v = -l*v for v.
0
Let c = -970 - -970. Let w be (-198)/(-27) - (8/(-12) - c). Suppose -4*n - 2*g = -7 + 3, -4*n - 4*g = 0. Solve w = -n*h - 0*h for h.
-4
Let o(k) = k**3 - 2*k**2 - 4*k + 5. Let j be o(4). Suppose 3*p - 12 = 3*f, -5*f + 7*p - 22 = 3*p. Let u be ((-9)/f)/((-2)/32*-6). Solve u*t + j - 5 = 0 for t.
-4
Let p(o) = -17*o**3 - 35*o**2 - 116*o + 156. Let v(l) = 3*l**3 + 7*l**2 + 23*l - 31. Let d(r) = -2*p(r) - 11*v(r). Let t be d(9). Solve 2 = -4*z + t*z for z.
-1
Suppose v - 4*v + 0*v = 0. Suppose v = -0*o + 4*o. Suppose o = -i - 0*i. Solve -4*x + 5 + 3 = i for x.
2
Let n be (15/(-2))/(-2 + (-10)/(-8)). Suppose -4*b - o + 17 = 0, 5*o = 5*b - 30 - n. Suppose -5*x = 2*u - 4, -2*u - 3*x - 4 = -4*u. Solve u*g = g - b for g.
-5
Let n = -16617 + 16657. Solve 194*j - 204*j = -n for j.
4
Suppose 0 = 230*y - 221*y + 9. Let w(f) = -10*f - 6. Let k be w(y). Solve -3*g + 3 = -k*g for g.
-3
Let r be (-12)/27*(-36)/28*(-462)/(-44). Solve -2*b + 16*b + r*b = 0 for b.
0
Let v be (-1 - (-12)/(-4))/2. Let y be 5/((-10)/v)*-33. Let l = -33 - y. Solve -f = -l*f for f.
0
Let m(v) = 34*v + 35. Let c be m(-1). Solve 0 = -10*g + c - 51 for g.
-5
Let d be 7 + -5 + 5 - 5. Suppose -2*i - d*r + 22 - 16 = 0, 0 = -3*i + r + 5. Solve 9*a + i = 10*a for a.
2
Let j(c) = c**3 - 2*c**2 - 5*c + 4. Let x(s) = -s**3 + 5*s**2 - 5*s. Let y be x(3). Let z be j(y). Let t be 21/35 - z/5. Solve 2*r - 3*r - t = 0 for r.
-1
Let x = -11094 + 11135. Solve -33*u = -x*u + 32 for u.
4
Let x be -464 + 492 + 10*-1. Solve -139*u + 145*u + x = 0 for u.
-3
Suppose g = -m - 1, m + 3*m + 16 = 0. Let a be 2/g - (-3133)/39. Let f = 96 - a. Solve z = 4*z - f for z.
5
Suppose -4*n + 151 = 5*h - 296, 0 = -3*h + 5*n + 283. Suppose 3*u + 73 = h. Solve u*m + 5 = 11*m for m.
1
Let y(p) = -17*p + 122. Let c = 412 + -406. Let t be y(c). Solve -7*z + 12*z = -t for z.
-4
Let g(f) = -f**3 + 5*f**2 - 4*f + 3. Let x be g(4). Let t be (x - 0) + 5 + 82 + -5. Let o = t + -82. Solve -z + 0 = o for z.
-3
Let i be ((-140)/(-56) - 122/20)*(-8 - 2). Solve 4*c + 2*c = i for c.
6
Let f(t) = t**3 - 75*t**2 - 73*t - 224. Let d be f(76). Suppose 4*a - 11 = -k, -3*k - 14 = -k - a. Let r be 1 - (k + 3)/(-2). Solve r = -d*j + j + 12 for j.
4
Let q be ((-57)/(-38))/(13/(-2)) + (-575)/(-13). Solve 5*x + 273 = q*x for x.
7
Let m(d) = -17*d**2 + 49*d - 6. Let c be m(-3). Let r = c + 318. Solve -4*j - 4 + r = 0 for j.
2
Let h(o) = -o**3 - 4*o**2 - o - 1. Let z be h(-4). Suppose -2*l - 9*y + 8*y + 12 = 0, z*y = 4*l - 4. Solve l*f - 4 = 2*f for f.
2
Suppose 4*f + 5 = 177. Let b = -23 + -20. Let i = f + b. Solve -5*r + 3 - 28 = i for r.
-5
Let t be 0 - (5 - (-8)/((-40)/45)). Let g(x) = -x**3 + 5*x**2 - 4*x + 15. Let u be g(t). Solve 4*i = -i - u for i.
-3
Suppose 29*n - 2*t + 98 = 33*n, -4*n + 91 = -5*t. Solve n*p + 12 = 36*p for p.
1
Let w be 1 + 4 + 1/(-1). Let u be ((-2484)/(-46) - 35) + -12 + -1. Solve g = w*g + u for g.
-2
Let p(k) be the second derivative of -k**4/6 - 7*k**3/2 - 11*k**2 - 30*k. Let r be p(-9). Solve 10 + r = 3*f for f.
5
Let b be (3/2)/((-1)/(-2)). Suppose 5*m = -63 - 42. Let t be 0/2 + 5 - m/3. Solve -3 = -b*i + t for i.
5
Let y(t) = -t + 9. Let l(g) = -g**2 + 8*g - 7. Let x be l(6). Suppose m + 5*j = -12, -3*m - x*j + 9*j = -21. Let q be y(m). Solve 0*a + 2*a + q = 0 for a.
-3
Let i = -52 + 48. Let f be 2 + -1 + (6 - (-1 - i)). Suppose -f*v = 2*q - 12 - 12, 2*v = 3*q - 20. Solve -q = a + a for a.
-4
Let a(c) = -173*c + 723. Let v be a(4). Solve 3*z = -v + 22 for z.
-3
Suppose -5*c = -3*b + 214, 102*b - 106*b - 3*c + 237 = 0. Solve -18*x - 153 = -b for x.
-5
Let i be ((-4)/(-3))/(68/153). Suppose i*x - 4 = 5*x. Let m be 3 - ((-4)/(-6) + x/3). Solve -8*z + m*z + 20 = 0 for z.
4
Let u = 12829 + -12793. Solve 8*o + u = -4*o for o.
-3
Let j be (3 - -41)*15/10. Solve -2*p = -j + 68 for p.
-1
Suppose 5*u = 4*u + 2. Suppose 3*p + 113 = -4. Let d = 46 + p. Solve d*z = u*z for z.
0
Suppose 6*q + 8 - 8 = 0. Suppose q = -r - g + 1, -5*g = -3*r + 27. Solve 0 = f + r*f - 20 for f.
4
Suppose 0 = 4*k + 5*c + 509, 3*k + 382 = -12*c + 8*c. Let o = -125 - k. Solve 2*g - g + o = 0 for g.
-1
Let w be (4/(-6) - (-7 - 88/24))*1. Solve -w = -9*h + 14*h for h.
-2
Suppose 11*y + 91 = 15*y + t, 0 = 6*y - 4*t - 164. Solve 216 = -3*b - y*b for b.
-8
Suppose c = 13*z - 18*z - 1, -3*z - 4*c = 4. Let k(b) = 28*b + 3. Let u be k(z). Solve 0 = 2*s - u*s + 4 for s.
4
Suppose -32*f = 9*d - 37*f - 58, 0 = 5*d - 2*f - 33. Solve 27 + 1 = d*h for h.
4
Let f be 2/((-2)/(48/4)). Let z be (-3)/1*16/f. Solve 43*u - 45*u = -z for u.
2
Let n(c) be the third derivative of 7/6*c**3 + 0*c**4 - 5*c**2 - 1/120*c**6 + 13/60*c**5 + 0 + 0*c. Let d be n(13). Solve -3*y - d = -1 for y.
-2
Let n(g) be the first derivative of -1/2*g**2 - 13 - 8*g. Let w be n(-11). Solve w - 8 = z for z.
-5
Suppose 0*q + 12 = -2*q. Let x = 10 + q. Let l be -5 + 63/(-9)*-1. Solve -x = d - l for d.
-2
Let y(s) = s**3 - 6*s**2 + 9*s - 20. Let j = 51 + 61. Let t be 1/(-3) - j/(-21). Let n be y(t). Solve n = 4*r + r for r.
0
Suppose 0 = 5*h - 5*v - 45, 79 - 76 = 3*v. Solve -8*d = -h*d for d.
0
Suppose -105*d + 35 = -98*d. Suppose 0 = -3*z - 7*t + 2*t + 17, 3*t = 3. Solve 9 = d*u + z for u.
1
Let z be ((-132)/9)/((-3)/9). Suppose -z = 3*r - i - 116, -2*r + 48 = -2*i. Let y = 34 - r. Solve y = -5*u - 0 for u.
-2
Suppose -4*h = -3*f - 41, 12*h - 5*f + 1 = 14*h. Suppose -3*j = -25 - 23. Suppose h*a + 24 = j*a. Solve 4*d - a = 3*d for d.
3
Let l be (-650)/455 + 230/14. Solve -5*a + l + 5 = 0 for a.
4
Suppose -24 = b + 5*o - 7, -4*b = 5*o + 8. Suppose -b*y = -2*h - 0*y + 16, 2*h = -y. Solve -z = h - 0 for z.
-2
Suppose -42*a + 312 = -192. Let z be (21/9)/(4/a). Solve -10*l = -3*l - z for l.
1
Let z(g) = -13*g**3 - 2*g**2 + 43*g + 47. Let n be z(-1). Solve 122 = n*o + 32 for o.
6
Let x = 8675 + -8597. Solve 224 = x*z - 110*z for z.
-7
Let u(i) = -i - 6. Let c be u(-2). Let z(t) = -5*t - 16. Let f be z(c). Suppose x = -n, 10 = 3*x - 4*n + 2*n. Solve -2 - f = -x*m for m.
3
Let z(t) be the first derivative of 2*t**2 - 22*t + 14. Let p be z(6). Suppose -4*i - 3 = 3*r - 83, 0 = p*i - 5*r - 40. Solve 5*s = 10*s - i for s.
4
Let v(c) = -27*c**2 - 217*c - 3. Let g be v(-8). Suppose 116 = -s - 3*s. Let w = s + 37. Solve -g*k + w = -k for k.
2
Suppose 4*m - 26 = 3*i + 3*m, -2*i - 18 = -m. Let o be 2 - (-10 - i - (2 + -1)). Solve -o*u + 6 = 1 for u.
1
Let v(u) = 14*u + 7. Let a be v(-7). Let o(l) = -2*l**3 + 18*l**2 - 7*l + 35. Let f be o(9). Let i be 78/a*f/6. Solve 0 = y + y - i for y.
2
Suppose 3*v = 2 + 4, 4*b + 4*v - 8 = 0. Suppose -4*g = -3*i + 4*i - 24, -3*i + 2*g + 44 = b. Let z be (-12)/(-21) - i/28. Solve z = -2*j + 5*j for j.
0
Let v(z) = -z**3 - 14*z**2 + 18*z + 21. Let s be v(-14). Let n = s - -240. Solve y - 4*y = n for y.
-3
Suppose -16092*h - 60150 = -16107*h. Solve -4046 = -4*i - h for i.
9
Let g = -354 + 351. Let x be 3 + 9/g - (12 + -12). Solve 14*w - 11*w + 6 = x for w.
-2
Let a be (-6)/((-2)/(-5) - (-6)/10). Let q be 1 + -2 - (a + 52). Let k be (-8)/20 - (1 - q/(-5)). Solve -7 = 5*f + k for f.
-3
Let x be (-2)/(1*12) - (-12)/72. Suppose -3*d + 98 - 38 = x. Solve -d = o + 3*o for o.
-5
Let f = 38 + -42. Let n be 2/f*-3*(-56)/(-14). Suppose 4*v = 2*v + n. Solve v - 6 = -x for x.
3
Let a be (-846)/(-47) - (-1 - -1 - 1). Suppose a*x + 29 = 67. Solve 2*k + 0 = x for k.
1
Let b(o) = -o**3 + 28*o**2 - 25. Let z be b(28). Let q be (-2)/10 + (-605)/z. Solve q = 5*x + 4 for x.
4
Suppose 0 = -5*o - 7 + 27. Let y be -11 + 15 + (o - 1)*-1. Solve 2 + y = 3*d for d.
1
Let i(q) = -q**2 - 12*q + 30. Let c be i(-14). Suppose 0 = 2*g - 2*g + c*g. Solve 4*x + g = 12 for x.
3
Let c(d) = 15*d**2 - 17*d + 50. Let u be c(6). Let t = u - 486. Solve -t*s + 4 = -6 for s.
5
Let s(j) = j**2 - j - 20. Let d be s(-5). Let t be 2*d + 124/62. Solve t = -8*x - 18 for x.
-5
Suppose 528*z - 523*z - 834 = -g, 32