- 278 for z.
-1
Let n = 744 - 500. Suppose -8*t - 228 + n = 0. Solve 0*u + 2 = t*u for u.
1
Let f be (-12)/(-15)*60/8. Let l = 71 + -104. Let t = l + 38. Solve t*d - 3*d = f for d.
3
Let h = 699 + -648. Solve -10*w - 41*w = h for w.
-1
Suppose 5*d - 13 = l, 21*l = 25*l - 5*d - 8. Solve -21*p = -22*p + l for p.
7
Suppose 171*u = 370*u - 11343. Solve -369 = u*l + 87 for l.
-8
Let c(a) = a**2 + 7*a + 1. Let p be c(-7). Let y(q) = -q**3 + 8*q**2 - 10*q + 17. Let k be y(5). Suppose 17*r + 8 - k = 0. Solve 0 = -r*f + p + 1 for f.
1
Let n be (-15)/(-2)*8/6. Let g = 30 - 4. Suppose 1 = -4*f - 19, -3*d + 4*f = -g. Solve 4*l - n = d*l for l.
5
Let o(n) = -3*n - 14. Let z be o(-3). Let y be ((-128)/4)/((9 + 1)/z). Solve y*p = 17*p - 4 for p.
4
Let j(u) = -8*u. Let b(d) = -9*d - 1. Let x(k) = -2*b(k) + 3*j(k). Let n be x(-2). Solve -2*p = n - 12 for p.
-1
Let m be 12 - 4/7*(-126)/(-18). Suppose -40*y = -m*y - 352. Solve -p - y = -9 for p.
-2
Suppose 0 = -k - f - 7, -479*f - 7 = -478*f. Solve -21*j + 5*j + 112 = k for j.
7
Let t be 6/1*-43*(-3)/(-6). Let r = 136 + t. Solve 2*u + r = 5 for u.
-1
Let q(u) = -u**2 - 8*u - 16. Let t be q(-4). Suppose 2*v - 2 = t, 0*s + s = 3*v - 1. Solve 10 = s*i + 6 for i.
2
Let h = 170 - 150. Let y(x) = -x**3 + 13*x**2 - 21*x + 9. Let v be y(11). Let u be v/(10/(-2)) + 4. Solve -h = -u*s - 5*s for s.
4
Suppose -24*p = -3*p - 7350. Suppose -21*t - 4*t + p = 0. Solve -6*c = -t*c + 8 for c.
1
Suppose -p = 4*x - 18, -3*p - 14 = -4*x - 2*p. Let j be -4*6/12 + x. Solve -3*l + j*l + 3 = 0 for l.
3
Let u be (-400)/(-30) - 2/6. Suppose -2*z = -u + 5. Suppose -3*w = -2*k - 8, -3*w + 7*w = -z*k + 44. Solve 2*r - w = -r for r.
2
Let u(r) = 21*r - 181. Let n be u(9). Suppose -17*s = -n*s. Solve s = -2*m - 2 - 8 for m.
-5
Let o = -1356 + 858. Let p = 506 + o. Solve -7*w - p = -5*w for w.
-4
Let y be -2 + 0 + 24/(-6) + 22. Suppose k = a - 8, y = -k - 3*k. Suppose 15*s = 13*s + a. Solve -5*r - 22 = -s for r.
-4
Let j be (((-19065)/(-248))/((-6)/4))/(1/(-28)). Solve j*g - 1432*g + 6 = 0 for g.
-2
Suppose i + 1 = -j, 4*j + 27 = j + 5*i. Suppose -174 = 38*k - 22. Let g be ((-5)/k)/(j/(-16)). Solve -g*b = -3*b - 2 for b.
1
Let r be 752/56 - (-8)/14. Suppose 0 = -5*h + l + 63, 3*l - 8 = -2*h + 7. Solve 0 = a - h + r for a.
-2
Suppose -35 + 21 = -r. Suppose -r = -g + 10. Suppose 0*q = -4*q + 5*w + 21, 5*q - 4*w - g = 0. Solve -12 - 4 = q*n for n.
-4
Let u = -6872 + 6943. Solve -26*b - u = 7 for b.
-3
Suppose 140*j - 49*j = 275 + 362. Solve j*z + 33 = 19 for z.
-2
Suppose -4*v = -h - 139 - 40, -2*v - h + 91 = 0. Solve 6*w - v = -27 for w.
3
Let z = -47 + 54. Suppose z*o = -n + 8*o - 4, n - 5*o + 20 = 0. Let l = 29 + -4. Solve n = u + 4*u + l for u.
-5
Suppose 5*n = 4*n + 4*p + 37, -2*n = -3*p - 54. Suppose -66 = -3*l - 2*g, -2*l - 24*g = -n*g - 49. Solve -3*r + 11 = l for r.
-3
Let o(t) be the third derivative of t**6/120 + t**5/15 + t**4/12 + 3*t**2. Let j be o(-3). Let n = 11777 - 11773. Solve 0 = -3*s + n*s - j for s.
3
Let j(h) be the second derivative of h**4/12 - h. Suppose 66 = -1445*r + 1467*r. Let i be j(r). Solve -y - i = -4*y for y.
3
Suppose -12*j = -17*j. Suppose j = 4*f - 8, 5*o - 3*f + 2*f = 113. Suppose -o = -10*d + 67. Solve 5*x - d = 1 for x.
2
Suppose -84 = 101*i - 107*i. Solve -5*x + 38 = i*x for x.
2
Let d(b) = -11*b - 18. Let s be d(-2). Suppose 3*g = s*g. Solve 5*o + g + 15 = 0 for o.
-3
Suppose 5*s - 454 = -4*m, -9*s = -3*m - 13*s + 341. Let r = 27 - 48. Let b be (-3)/r + m/7. Solve 5*g = b - 41 for g.
-5
Suppose 5*s = -4*a - 3601, -a = -5*s + 3*a - 3569. Let x = s + 720. Suppose 2*f + 3 = 2*p - 1, 0 = 2*p - 5*f - 4. Solve x + p = g for g.
5
Let u(g) = g**3 - 25*g**2 - 50*g - 101. Let h(o) = 4*o**2 + 5*o - 24. Let l be h(3). Let a be u(l). Solve -a - 1 = -2*c for c.
4
Suppose 2*d + 2*l = 26, 0 = 5*d - 4*l - 0*l - 83. Solve d*b - 168 = -6*b for b.
8
Suppose -207 = 11*a - 251. Solve x + 0 = a for x.
4
Suppose -s - 2*s - 3*a = -9, a = 3. Suppose -t = 3*k - 28 + 15, -t + 2*k + 3 = s. Solve -t + 19 = 3*i for i.
4
Suppose -2*a - 2504 = -10*a. Let d = 318 - a. Solve 12 + 8 = d*r for r.
4
Let a(v) = -v**3 + 13*v**2 + 9*v + 71. Let z be a(14). Let g be 6 + 0 + (-3 - z). Let q be (3/2)/((-1)/(-12)). Solve -g = -4*l - q for l.
-4
Let p be 4165/357*(60/14)/1. Solve -64*n = -p*n + 14 for n.
-1
Suppose -r + 4*q + 19 - 1 = 0, -2*r - 2*q - 4 = 0. Suppose 0 = k - 0*k + 3*x - 4, 0 = -x - 5. Suppose -j = 5, -17*i = -k*i + 5*j + 27. Solve r*m - i = m for m.
1
Suppose 3*i + 12 = 6. Let o be ((-16)/((-416)/91))/(i/(-12)). Solve 4*n = o - 9 for n.
3
Let v(p) be the first derivative of p**3/3 - 3*p**2 - p - 47. Let w be v(8). Solve 13*x - 10*x - w = 0 for x.
5
Suppose -12 = 4*o + 40. Let g = 8 + o. Let d be (-23)/g + (-6)/10. Solve n = d*n - 12 for n.
4
Let i = 6 + -1. Suppose -13*s + 119 = 15. Solve i*q = 9*q - s for q.
2
Suppose 3*p - 3*v = -0 - 3, v + 3 = 3*p. Suppose 2*f = 4*f - 8. Suppose 27 = 1497*d - 1488*d. Solve 0 = f*h - d*h - p for h.
2
Let m = 132 + -130. Suppose 2*z - 10*z = -5*z. Let j = -18 + 26. Solve -m*f = -z*f - j for f.
4
Suppose -5*h + 11*h = 36. Let l(q) = 4*q**2 - 27*q + 20. Let t be l(h). Solve 0 = -v + t*v - 1 for v.
1
Suppose 5 = 4*c + 1. Let w be 69/23 + -1*1. Let l be ((-34)/(-17))/(w/3). Solve l*x + c = -2 for x.
-1
Let b be (-27)/(-2)*(-8 - (-6 + 5)*10). Solve -51 = -44*v + b*v for v.
3
Let n(j) = 7*j**2 - 97*j - 1. Suppose -f = -5*h - 5*f + 82, h + 3*f - 23 = 0. Let s be n(h). Solve -3*q = -s + 22 for q.
-3
Let v = 1078 - 989. Solve -83*x = -v*x for x.
0
Let i = -2025 - -2043. Solve i*t + 15 = 51 for t.
2
Suppose 0 = -5*x + 80 - 10. Let y(t) = -2*t**2 + 28*t + 7. Let m be y(x). Solve -3 = -v - m for v.
-4
Let v be (6/(-7))/((-42)/490). Suppose v + 14 = 6*l. Solve 0 = -l*g - 0*g for g.
0
Let s(v) = -2*v - 12. Let c be s(-7). Suppose 3*l = 3*g - 3, 2*g + 3*l + 3 = 30. Let f(j) = 2*j**2 + 3*j + 2. Let r be f(-2). Solve c = r*t + g for t.
-1
Suppose 2*v = -7*y + 100, 4*v + 69*y - 236 = 64*y. Solve 71*c + v = 79*c for c.
8
Let x(b) = -b**3 - 6*b**2 - b + 4. Let a be x(-6). Let q be -1*(-5836)/((-32)/(-8)). Suppose -1456*h = -q*h + 6. Solve h*r + a = 4*r for r.
5
Let w = -10858 - -10870. Solve -w*r + 48 = -20*r for r.
-6
Let g be (-5)/((-175)/(-295)) - (-15)/35. Let o be g/24*(-26 + 2). Solve 7*u - 9*u = o for u.
-4
Suppose 5*i + 5 = 0, -2*c - i + 2*i = -9. Suppose -10*l + c = -9*l. Let t(z) = -z**2 + 4*z. Let o be t(l). Solve 3*v - 4*v + 2 = o for v.
2
Suppose -30 = -20*q + 110. Suppose 502 = -q*f + 544. Solve -20 = f*n + 4 for n.
-4
Suppose -27*y + 797 = 6008. Let z = y - -202. Solve 0 = 16*s - z*s for s.
0
Let l = 447 - 91. Let i = 362 - l. Solve -5*s - i = -1 for s.
-1
Let s(o) = 6*o + 2. Let b be s(-6). Let y be (b/(-10) - 3) + (-2412)/(-20). Suppose 133 = 4*q + y. Solve 0 = -3*h - 18 + q for h.
-5
Let z(w) = w + 8. Let m be z(-5). Suppose m*y + 4*k = -10, -4*y - y = -5*k - 30. Solve -2 = y*u - 12 for u.
5
Let x(q) = 2*q - 7. Let l be x(6). Let y = -60 - -43. Let o(f) = f**2 + 16*f. Let j be o(y). Solve -3*v = -j + l for v.
4
Let i(d) = -65*d**2 - 2*d - 1. Let o be i(-1). Suppose 81*z + 64 = 82*z. Let g = z + o. Solve -3*s + g - 6 = 0 for s.
-2
Let z = 3902 + -3895. Solve -44 - z = 17*w for w.
-3
Let w(i) = 2*i**2 + 2*i + 2. Let c be w(4). Let g(o) = 2*o**2 - 63*o - 64. Let k be g(32). Let a = k + c. Solve 3*l + 1 = a for l.
3
Let n = -104 + 118. Solve n*k - 3*k = 0 for k.
0
Let t(n) = 191*n + 1641. Let s be t(-7). Solve 239 = 13*w + s for w.
-5
Suppose -80 = 3*p - 95. Suppose k = 6*v - 3*v + 7, -p*v = -3*k + 5. Let b be (-1 + 0 - k)*12/24. Solve -b*j = j + 12 for j.
-4
Suppose -921 - 3402 = -233*f - 362. Solve 61 - 129 = -f*o for o.
4
Let c(k) = -k**2 - 3 - 22*k + 35*k - 18*k. Let l be c(-2). Suppose 0 = -5*w + 2*v - 0*v - 4, -4*w - 10 = -5*v. Solve l*i + 2*i = w for i.
0
Suppose 8*c = 3*c + 10, 4*x - 48 = -4*c. Suppose -t - 2*h = -h, 2*t - x = 3*h. Suppose 3*s + 0*m - 23 = 4*m, 5*s - t*m - 43 = 0. Solve 3*q - 6*q = s for q.
-3
Let c be (-4)/14 + ((-16926)/(-49))/26. Solve -q + 8 = c for q.
-5
Suppose -46*z - 15 = -245. Solve 191 - 186 = z*r for r.
1
Suppose -5*m = y - 14 + 12, -3*y + 66 = 5*m. Solve -y*z - 84 = 76 for z.
-5
Let f(t) = 5*t**3 + 3*t**2 - 5*t + 21. Let q be f(3). Let n = -159 + q. Solve 3*w + 3 = 