t.
2
Let i(y) = 356*y + 1083. Let k be i(-3). Solve 0 = 10*v + k - 25 for v.
1
Suppose 1 = 5*k - 14. Suppose 8 = 4*s - 4*r, -k*s + 7 = -4*r + 2. Suppose 2967*l - 2987*l + 40 = 0. Solve s*d = -l*d - 20 for d.
-4
Suppose -216*d + 218*d - 1128 = -24. Solve -4*x = -568 + d for x.
4
Suppose -4*g - 5*u + 1 = 0, -g = -12*u + 9*u - 13. Suppose 4*v = -g*w + 36, -5*w + 0*v = 2*v - 57. Solve 0 = 3*t - 1 + w for t.
-4
Suppose 5*d + 6 - 26 = 0. Let a be (-10 - (-4 - 4)) + d + 0. Solve -3*u = -a + 5 for u.
-1
Let a(c) = c**3 - 21*c**2 + 2*c - 40. Suppose -3*f - 2*w + 73 = 0, 10*f - 89 = 6*f - w. Let s be a(f). Suppose -7*v = -2*v. Solve v = -2*q - s - 6 for q.
-4
Suppose 33 = 10*t - 67. Solve -165 + 145 = -t*f for f.
2
Let g be (-56)/(-28) - (-24)/2. Solve g*r = -6*r - 20 for r.
-1
Let d(k) = -13*k**2 + 38*k - 22. Let t(u) = -9*u**2 + 25*u - 14. Let p(m) = -5*d(m) + 7*t(m). Let l be p(7). Solve 13 = l*n - 2 for n.
3
Let b(p) = 5*p - 29. Let t be b(7). Suppose 10 = 4*h - t. Suppose -3*q + 3 = -3*y, 2*y = -4*q + 26 - h. Solve y*n + n - 4 = 0 for n.
1
Let v(x) = 13*x**3 - 53*x**2 + 38*x + 16. Let t be v(1). Solve t*y + 159 = 257 for y.
7
Let d be (-7)/(-21) + (-1)/3. Suppose 2*p - 2 = o - 4, d = 4*p. Solve o*l - 5*l = -9 for l.
3
Suppose 40 = 3*q + 4*j, -q + 12*j = 8*j - 8. Solve -6*f = 6*f - q for f.
1
Suppose 0*w = -3*k + w - 14, -2*w = 5*k + 5. Let h(z) be the third derivative of z**4/8 + 3*z**3/2 + 22*z**2. Let b be h(k). Solve b*a - 3 = -a for a.
3
Let o(q) = q**2 + 9*q + 23. Let r be o(-8). Let t(d) = -31*d + 15*d**2 - 4 - d**3 - 11*d**2 - r*d**2. Let s be t(-6). Solve -s*c + 4 = -3*c for c.
-4
Suppose -14*f - 126 - 14 = -21*f. Solve 21*b = 25*b + f for b.
-5
Let g = 562 + -318. Suppose -244 = 10*r - g. Solve 2*h + 25 - 17 = r for h.
-4
Let s be (-1)/(-9) - (-10208)/792. Suppose 4*u - s*u = -18. Solve u*d - d = -1 for d.
-1
Suppose 6*j + 18 = 66. Let a be 9 - j - (-2 - 2). Solve 0 = -3*v + a - 20 for v.
-5
Let z be -5*(-7)/35*5. Let i be ((-40)/32)/(z/(-120)). Solve 0 = 4*v + 2*v - i for v.
5
Let v = -13020 - -13268. Solve 6*a + v = 230 for a.
-3
Let c = -26 + 41. Suppose 5 = -20*d - c. Let f be 4 + (d - (5 + -5)). Solve -3*x + 6 = f for x.
1
Let r be (-44)/4 + 1/(2/292). Solve 0 = -60*q + 15*q - r for q.
-3
Let f(j) = -2*j**3 - 4*j**2 + 16*j + 2. Let n be f(-4). Suppose 11*h = 9*h + n*z + 4, 0 = 5*z + 10. Solve h = 2*x + x + 9 for x.
-3
Let b be 10 - ((-15 - 2176/(-112)) + (-3)/7). Solve 3*j = 3*j + b*j for j.
0
Suppose 4*d = 4*c + 24, 8*c = 4*c - 4*d + 24. Solve 11*w + 33*w = c for w.
0
Let v be 112 - (22/(-33)*-2)/((-8)/(-18)). Solve 13*c - v = -31 for c.
6
Suppose 3*v - 54 = 4*h - 13, -92 = -4*v - 4*h. Suppose 11*z - v - 36 = 0. Solve z*w + 8 = -7 for w.
-3
Let v = 101 - 130. Let z = v + -71. Let k = z - -100. Solve -u + 5*u = k for u.
0
Let l(a) = 7*a**2 + 64*a - 52. Let r be l(-10). Solve 10*h = -48 + r for h.
-4
Suppose -5*q = -0*q - 3*d - 411, -5*d = -2*q + 153. Suppose 124*a + q = 125*a. Let k = 104 - a. Solve 0 = -0*b - 5*b + k for b.
4
Suppose 0 - 4 = -2*i, -5*t + i + 188 = 0. Suppose 35*u = t*u. Solve 0*h + 5*h - 20 = u for h.
4
Suppose -7*c = -3*c + 3*a + 39, -c = -a + 8. Let n be c/(-6) - (-20)/8. Solve 0 = 6*r - n*r for r.
0
Let n = 4803 - 4803. Let t(z) = 25*z + 1. Let q be t(2). Solve n = q*f - 47*f - 16 for f.
4
Let n be (117*4/12)/(4*5/40). Solve -81*u + n*u + 3 = 0 for u.
1
Let d be (-440)/3300 - ((-681)/(-135))/(-1)*3. Solve -13 = d*x + 2 for x.
-1
Let y be 3 - 10/5 - 2*-2. Suppose 5*o = -2*u + 16, 6*o = 5*o - u + y. Suppose 3*d = -t + 2, -2*t - 2*d + o = -10. Solve v = -v + t for v.
4
Let u(t) = 3*t**2 - 9*t - 14. Let i(n) = -5*n**2 + 14*n + 22. Let p(g) = -5*i(g) - 8*u(g). Let j be p(-2). Solve j*y + 8 = 2 for y.
-3
Suppose -2*g = 4*h - 134, 0 = -5*h - 33*g + 36*g + 173. Solve 0 = -h*w + 45*w - 22 for w.
2
Suppose -2*j - 5*m = 3*j - 145, 0 = j + 3*m - 37. Suppose 6*i - 37 = -j. Solve -x = i*x + 15 for x.
-5
Let t(v) = -v**3 - 3*v**2 + 54*v + 3. Let x be t(-9). Solve 17 = x*o + 23 for o.
-2
Suppose -452*y = -446*y. Solve -11*i + 742 - 819 = y for i.
-7
Suppose z - 22 = c, 25 = -2*z + 3*z - 4*c. Suppose -51 = -z*l + 138. Solve k + l*k = -10 for k.
-1
Let a(r) = -5*r**3 - r**2 - 2*r. Let j be a(-1). Suppose -3*m - 3*w = -j*m + 129, m - 43 = 2*w. Let f = -38 + m. Solve 16 + 4 = f*l for l.
4
Suppose -4*u = 4*n + u - 11, 2*u = n - 6. Suppose -v = -11 + 1. Let p be (44/10)/2 + (-2)/v. Solve n = 2*j + p for j.
1
Let v(p) = -5 + 3 + 7*p - p**2 + 3*p + 6. Let u be v(0). Let n be (-2 - -1)*4/(-2). Solve 6*l - n*l = u for l.
1
Suppose 0 = -t - 2*b - 12, -2*b = t - 6*t - 36. Let r = t - -18. Solve -i = -3*i + r for i.
5
Let p = 28840 - 28797. Solve -26 = p*d + 60 for d.
-2
Let p(j) = -j**3 + 20*j**2 - 50*j - 11. Let u be -2 - 4 - (-27 + 4). Let i be p(u). Let x(n) = 4*n + 1. Let r be x(1). Solve r*q - 4 = i for q.
2
Suppose 58 - 88 = 5*d, -4*l + 3*d = -154. Solve 26 + l = 20*y for y.
3
Let h = -306 + 302. Let q(m) = m**3 + 6*m**2 + 4*m. Let i be q(h). Solve -8*s + 0 = -i for s.
2
Let y(a) = 11 + 20 - 11 - 2*a**2 + 15*a**2 + 26*a - 17*a + 2*a**3. Let s be y(-6). Solve -s*c - 8 = 2*c for c.
-2
Suppose 4334 = 131*r - 14*r - 23395. Solve 0 = -232*q + r*q - 10 for q.
2
Let r be 2/(-5) + (-104)/(-10). Let i = 6230 + -6210. Suppose 0 = 15*d - r*d - i. Solve 0 = -g + d - 1 for g.
3
Suppose -3*v - 479 = -2*c, -c - v + 232 = -0*v. Let x = 240 - c. Solve j + 0*j - x = 0 for j.
5
Let p = 34 + -9. Let v be 452/28 + -9 + 2/(-14). Suppose -v*u - p = -12*u. Solve u*n - 2*n + 15 = 0 for n.
-5
Suppose 2*w = -2*c + 32, -34*c + 10 = -36*c. Solve 0 = -24*t + w*t - 15 for t.
-5
Let c(b) = -b**3 + 101*b**2 - 291*b - 279. Let t be c(98). Solve -t*n - 24 = -9*n for n.
-4
Suppose -5*i = 5*w - 55, 41 = -4*i + 7*i + 4*w. Solve -i*v = 17*v + 100 for v.
-5
Let v(x) = -4*x - x**3 - 2*x**2 - 2 + x - 3 - 2*x**2. Let t be v(-4). Suppose 7 = t*m - 21. Solve m*w + 10 = -10 for w.
-5
Let x be 2 - (-2 - -3 - -1). Suppose -o - 3*m - 15 = x, -4*o - 5*m = -2*o + 29. Let k = o + 17. Solve 0 = -2*b + k*b + 15 for b.
-5
Let z(n) = 98*n - 4383. Let f be z(45). Solve 0 = f*j + 207 - 126 for j.
-3
Let f be (-15 + -1)/(-2) - (48 + -54). Solve 0 = -22*r + f - 58 for r.
-2
Let g(d) = 15*d + 19. Let i be g(10). Suppose 1 = -0*r + r, -r = 5*o + i. Let j = o - -34. Solve 0 = -j*p - 3*p + 6 for p.
2
Let r(b) = 17*b**3 - 18*b**2 - 5*b - 3. Let k(a) = 5*a**3 - 6*a**2 - 2*a - 1. Let h(y) = 7*k(y) - 2*r(y). Let p be h(7). Solve 0 = -2*d - 30 + p for d.
-5
Let x(v) = 27*v**2 - 2*v + 1. Let l be x(-1). Suppose -l = -4*p - 2*p. Suppose 0 = 2*b + p*b - 42. Solve -9 = -5*n + b for n.
3
Let i = -15429 - -15489. Solve 24*o + i = -60 for o.
-5
Let f be ((-4856)/3642)/((-3)/27*2). Let b(m) = m - 3. Let p be b(3). Suppose -5*d + 21 = 2*i - 3*i, -3*i + 37 = 5*d. Solve p = d*r + 14 + f for r.
-4
Let o be (728/338)/(6/39). Solve -48*w = o - 110 for w.
2
Suppose 3*v - 6*v - 2*f - 3 = 0, 3*v - 9 = 2*f. Let y(j) = j**2 - 11*j + 5. Let c be y(11). Solve -4*s - v = -c for s.
1
Let h(c) = c**3 + 15*c**2 + 30*c + 86. Let q be h(-13). Solve q*t = 26*t + 32 for t.
4
Suppose -3*c - 4 = -s, s - 16 = -3*c - 3*s. Let i = 39 + -36. Solve -i*f + 7*f - 12 = c for f.
3
Let z(p) = p**3 - p**2 + 2*p - 3. Let r be z(2). Suppose -r*s - 5 = -3*s + u, u + 5 = s. Solve -4*f + 1 - 9 = s for f.
-2
Let r(t) = 4*t - t**3 + 8*t**2 + 0*t**3 + 0*t - 2*t + 7. Let y be r(8). Let a = -18 + y. Solve 0 = a*w - 5 for w.
1
Let h(p) = -6*p**3 + 28*p**2 + 13*p - 5. Let l be h(5). Solve -4*j - l*j = -84 for j.
6
Let s be 4/(-18) + (-8672)/(-144). Suppose -5*d = 2*o - s, -3*d - d - 4*o + 60 = 0. Suppose t - 4*b + 11 = 0, -6 = -4*b + d. Solve 0 = y - t*y for y.
0
Let s(t) = t**2 + 4*t - 4. Let z(j) = 3*j - 17. Let c(y) = y**2 - 2*y + 4. Let l be c(2). Let h be z(l). Let d be s(h). Solve d = 4*a - 3 for a.
1
Let o be 46/10 - (4 + 66/(-15)). Suppose -a + 6 = 5*k - o*a, -7 = -3*k - a. Solve 9*s = k*s + 3*s for s.
0
Let v(s) be the first derivative of s**4/4 + 19*s**3/3 - 4*s**2 - 20. Let j(m) be the second derivative of v(m). Let g be j(-6). Solve -2*o = g*o for o.
0
Let b be 1*-1*(-5 + -165)/10. Suppose b*i = -6*i. Solve t - 5*t = i for t.
0
Let w = -420 - -444. Solve -w*v + 82 = 17*v for v.
2
Let l(h) = -5*h - 23. Let n(m) = -2*m - 8. Let t(d) = 3*l(d)