+ x*h for h.
2
Suppose -2*x = 5 - 15, -4*x = 4*z - 28. Let b(a) = 4*a**2 - 13*a + 20. Let g be b(z). Solve 0 = q + 4*q + g for q.
-2
Suppose 131 = 3*y + 5*t + 11, 4*y + 4*t - 144 = 0. Solve -8*o - 2 - y = 0 for o.
-4
Suppose 2 - 17 = -5*i. Suppose -5*a + 9 = -4*s + 7*s, -5*a + 2*s + 19 = 0. Suppose -a*q - 24 = -4*x - 1, 3*q = 2*x - 19. Solve -i*k - x*k = 5 for k.
-1
Suppose -p - 2*p - 2*k = -25, -49 = -5*p + 4*k. Let c be ((-8)/6)/(p/(-27)*1). Solve 3*n - c*n = 4 for n.
-4
Suppose 6*s + 6 = -12. Let o(w) = w**3 + 4*w**2 + 4*w + 10. Let f be o(s). Let g(q) = -q**2 + 8*q - 3. Let d be g(f). Solve d*l - 5 = -17 for l.
-3
Suppose 3*t - 2*f = 1519 - 207, 5*f = -3*t + 1319. Solve -t*s = -445*s + 21 for s.
3
Let q(l) = 3*l**3 - 24*l**2 - 67*l + 551. Let g be q(8). Solve -g*x = -27*x + 60 for x.
5
Let y(t) be the third derivative of -3*t**2 - 7/8*t**4 + 0*t + 10/3*t**3 + 0 - 19/60*t**5 + 1/120*t**6. Let p be y(20). Solve p = 5*u - 0*u - 25 for u.
5
Let d be 25/(-5) + (611 - -1). Let m = d - 602. Solve -m*k = -0 + 10 for k.
-2
Suppose -28 = -18*o + 134. Suppose -4*h - 6*q + o = -q, 0 = -2*q + 2. Solve 0 = -6*l + 7 - h for l.
1
Suppose -924 = -56*y - 98*y. Solve y*p - 3*p = -18*p for p.
0
Suppose i - 10 = c, -41 = -5*i - 2*c + 4*c. Let k = 42 - 39. Solve -i*p = -k*p for p.
0
Let m be ((-30)/(-1) - -1)/(1912/43976). Solve -m + 104 = -87*g for g.
7
Suppose -11*r + 13*r = -3*d + 1, 0 = r - 3*d - 14. Solve r*k - 8 = 3*k for k.
4
Let t = 6119 + -6076. Solve -161 = t*w + 54 for w.
-5
Suppose 5*n = 16 + 4, 0 = 2*q + 11*n - 68. Solve -6*p = -6 - q for p.
3
Let u(q) = 2*q**2 + 1. Let j be u(1). Suppose 0 = -3*y + 2*y - 2*w + 13, 15 = j*w. Let d = 21274 - 21274. Solve d = y*l - 0*l + 6 for l.
-2
Let p = 8530 + -8515. Solve -3677*z = -3680*z + p for z.
5
Suppose -f = 5*v - 57, 4*f = 4*v - 22 + 226. Solve f = 3*h - 16*h for h.
-4
Let f = -125 + 143. Let y(j) = j**2 - 5*j. Let w be y(5). Suppose -5*k + 0*k + 10 = w. Solve -4*s - k = f for s.
-5
Suppose a - 30 = -5*a. Suppose -5*u + 5*d = -155, -6*u + 8*u - 77 = a*d. Let y(k) = k**3 - 25*k**2 - 26*k + 3. Let c be y(u). Solve 3 = -c*p + 15 for p.
4
Let o be ((-8)/(-44)*11)/(6/9). Solve 14*b + o = 15*b for b.
3
Suppose -86*h = -38*h - 17472. Solve h*t - 373*t = 0 for t.
0
Let q be (10/(-35))/(98/(-24696)). Solve -496 = -71*m + q for m.
8
Let u be (-938)/(-5) + (-29 - 1918/(-70)). Solve -u = -5*i - 201 for i.
-3
Let u be (-8)/(-6)*(-75)/(-50). Suppose -3*y - 5*a = -41, 2*y - u*a - 27 = -3*y. Solve 7 = y*m + 28 for m.
-3
Let b = -57 + 57. Suppose b = 3*w - 111 + 102. Suppose -3*d = -g - 23, 0 = -w*d - 4*g - g + 11. Solve 0 = 3*o - d - 2 for o.
3
Let r be (305/(-15))/(3/9). Let g = r - -35. Let d be g/65 + 22/5. Solve -2*p = -d*p for p.
0
Suppose -3*u = 5*l - 61, -5*l = -3*u + 47 - 6. Solve 5*y + u = 22*y for y.
1
Suppose 3*n = -47 - 28. Let u = n + 30. Suppose c + 6 = -5*b, -16 = -u*c + b - 3*b. Solve 0 = -c*p - 0*p + 8 for p.
2
Suppose -9*s + 8166 = 116*s - 20209. Solve 24 = -233*q + s*q for q.
-4
Suppose 3*p - 5*t = 51, -2*p + 24 = -4*t - 14. Suppose 2*u + 3 = d + 4*u, -2*d + 3*u - 1 = 0. Solve 2*m - d = p for m.
4
Let u(b) = -6*b - 279. Let t be u(-47). Let c be (3/4)/(t/12) + -1. Solve -5 = c*d - 1 for d.
-2
Suppose -2*y - 3*y + 2*j + 32 = 0, -y = -j - 4. Let x = 87 + -93. Let z be (x/y)/(21/(-56)). Solve z = -3*p - 13 for p.
-5
Let y = -876 - -901. Suppose -5*z = -y, 0 = a + 11*z - 15*z + 10. Solve -23*j = -25*j + a for j.
5
Let g = -270 - -270. Suppose g = 4*h + 4*t - 24, 15*t = -4*h + 19*t + 8. Solve -5 = 3*k + h for k.
-3
Let t be (-14)/49 + 2*8/7. Suppose -o + t*g - 7*g + 9 = 0, -2*o - 3*g = -11. Suppose 0 = -0*y + y + o*y. Solve 2*x + 0*x + 2 = y for x.
-1
Let l(z) = 5*z**3 - 4*z**2 - 7*z - 1. Let h(c) = -c**3 + c - 1. Let x(a) = -6*h(a) - l(a). Let r be x(-4). Suppose -r = -9*s + 24. Solve -2*y = -s*y + 1 for y.
1
Suppose o + 4*f + 19 = 2, -30 = -5*o + 3*f. Let s(d) = d**2 + 7*d - 6. Let g be s(-6). Let h = g + 15. Solve -h + 12 = -o*b for b.
-3
Suppose -8*y = 160*y - 2184. Solve -378 = y*j + 50*j for j.
-6
Suppose -9*g + 10*g = 10. Suppose 41*n - 20 = 36*n. Let b be 1/(n/30*(-3)/(-6)). Solve -g*u - b = -13*u for u.
5
Suppose 4*i = -2*q - i + 13, -2*q + 9 = i. Let g(m) = 3*m + 9. Let j be g(q). Suppose 19*d - j = 16*d. Solve -3*u + d*u - 12 = 0 for u.
3
Let f = 470 + -462. Let i(m) = 16*m - 126. Let w be i(f). Solve -5 = w*y - 7 for y.
1
Let s be (-3)/(-6)*(4 - (-1 - -1)). Suppose 4*t + s*g - 24 = 0, -2*t + 11 = 4*g - 7. Let i be -4 + 9/5*60/18. Solve t*b + 7 = i for b.
-1
Suppose -100 = 185*v - 205*v. Solve 25*p + v - 80 = 0 for p.
3
Suppose 0 = 5*w - u - 4*u - 55, 2*w - 25 = -u. Suppose -w*l = -3*y - 15*l + 15, 4*y - 4*l + 20 = 0. Solve 3*s = -y*s for s.
0
Let u(m) = 2*m - 8. Let b be u(5). Suppose b*o = -4 - 0. Let s be o - (-4 - (4 + -2)). Solve -k = -s + 2 for k.
2
Suppose 9*i = 4*i. Suppose 0 = b - 4*s - 22, b - 5*s = -2*b + 38. Let d = 20306 - 20303. Solve i = p - d*p - b for p.
-3
Let d(i) = -i**3 + 5*i**2 + 7*i - 3. Let k be d(6). Suppose 0 = -5*w - 3*b - 10, 224*w - 5*b = 222*w + 27. Solve w = -s - k for s.
-4
Suppose 0 = 3*q + 4*x - 118, -3*q + 4*x = -36 - 50. Suppose 52 = 6*n - 3*n - 2*b, b + q = 2*n. Solve -7*r = -11*r - n for r.
-4
Suppose -4*z + 3*z = 0. Suppose 3*w + r - 49 = -56, -4*r = -10*w + 28. Solve 3*s + w*s = z for s.
0
Let l(w) = 163*w + 443. Let x be l(-6). Let r = -525 - x. Solve 0 = 2*c - r*c + 24 for c.
3
Let v(s) = -195*s - 1162. Let b be v(-6). Solve -b*t - 40 + 72 = 0 for t.
4
Let z(h) = 10*h - 35. Let u be z(4). Suppose -2 = u*n - 2. Let v be ((-33)/(-15))/((-3)/(-15)). Solve -2*a - 1 + v = n for a.
5
Let b = -1427 + 1454. Solve 26*v + b = -25 for v.
-2
Let k(a) = a**3 - 8*a**2 - 20*a + 108. Let x be k(9). Solve 481*b - 478*b - x = 0 for b.
3
Let u(k) = -k**3 - 17*k**2 - 20*k + 19. Let y be u(-15). Let r = 131 + y. Solve -2*x + r*x = -8 for x.
4
Let p be ((-4)/(-2) - -2) + (-1800)/(-200). Let m(b) = b**3 - 11*b**2 - 26*b + 13. Let w be m(13). Solve w - p = 4*x for x.
0
Let v(j) = -j**3 + j**2 - j + 4. Let i(g) = -11*g + 231. Let u be i(21). Let d be v(u). Solve 6*t = 10*t + d for t.
-1
Suppose -5 - 1 = 2*l, 3*q = l + 66. Suppose 48 - q = 3*k. Suppose 4*h - k = 7. Solve -9 = h*j - j for j.
-3
Let z be (-17186)/(-65) - 84/210. Solve 19*n + z = 52*n for n.
8
Let w(o) = 4*o**2 + o + 2. Let g be w(-1). Suppose 3*v + 5*z = -38 + 152, 0 = -g*v + 3*z + 156. Let m = -30 + v. Solve m*l = -0*l - 6 for l.
-2
Let s(o) = -o**3 - 4*o**2 - 266*o - 1044. Let x be s(-4). Solve -107 + 147 = -x*w for w.
-2
Let l(y) be the first derivative of -5*y**2 - 19*y + 2. Let f be l(-2). Suppose -2*k = 2*q - 10, -4*k + 22 = q + 4*q. Solve -f = i - q*i for i.
1
Let m = 573 + -565. Solve m*d - 24 + 40 = 0 for d.
-2
Suppose f - 337 = 2*f - 453. Solve -f*t + 6 = -118*t for t.
-3
Let k be 3/(2/46 + 0). Let l(c) = 3*c**3 + 19*c**2 - 4*c - 1. Let h be l(-6). Let m = k - h. Solve -3*x = -x + m for x.
-5
Suppose -4*f - 3*a + 20 = -2*a, 4*f = -5*a + 20. Suppose f*d - l = 8, -4*d - 10 = 4*l - 2. Suppose -5*x + d = -9. Solve 2*g - 10 + x = 0 for g.
4
Let l be 484/7 + 22/(-154). Suppose -l = -4*t + 5*y, 35 = 3*t - 5*y - 23. Solve 1 = 4*b - t for b.
3
Suppose -2*x - 384 = 22*x. Let p(r) = -r**3 + 9*r**2 - r - 11. Let u be p(9). Let o = x - u. Solve 3 + 1 = o*d for d.
1
Let d be 16/11*154/28. Solve -d*o + 88 = 3*o for o.
8
Let f = -37 + 53. Let y be 6/(-18) - f/(-3). Suppose 0 = -u + 2*w - 4, -y*u + 4*w + 2 = 4. Solve -u*k - 2*k = 0 for k.
0
Let r be -4*(106/(-8) + 2). Suppose -5*v - s + r = 0, 6*v = 2*v + 4*s + 36. Suppose 0 = -2*j + 2*g - 2, g - 13 = 20*j - 22*j. Solve -x + j*x - v = 0 for x.
3
Let w = -287 + 264. Let v = w + 30. Solve 0 = v*p - p - 30 for p.
5
Let f = -7 - -86. Let g = f - 76. Let y(n) = -n**3 - n**2 + n. Let c be y(-2). Solve c*m = g*m - 5 for m.
5
Let n be (((-5)/(-2))/(-5))/((-8)/208). Suppose p = 36 - n. Suppose -35 = p*s - 28*s. Solve s + 8 = -3*v for v.
-5
Let b(w) = w**2 - 83*w - 807. Let k be b(-9). Solve 21*o + 0*o = k for o.
1
Suppose -7*n + 3 = -12*n + 3*h, n - h = -1. Suppose 0 = 3*t + 2*k - 14, n = t - 0*t - 4*k. Solve 0 = -t*m + 3*m + 4 for m.
4
Let s(m) = -m**3 + 5*m - 31. Let u be s(-5). Solve u = -12*y + 129 for y.
5
Let p = -328 + 338. Suppose -8 = -2*k - 2*o, -3*o = -4*k - 5*o + 