x for t.
4
Let i = 3749 + -3740. Solve 14*p - i = 5 for p.
1
Suppose 13*g - 1295 = -411. Solve 81*w + 175 = -g for w.
-3
Let b = 2683 + -2675. Solve 11*h - b = 9*h for h.
4
Let r be (-4)/14 - (-8981)/49. Let o = -123 + r. Let m = 62 - o. Solve -m*l - 25 = -7*l for l.
5
Let g be 19 + 6/(6/3). Suppose -88 = -5*z + g. Suppose -7 = 5*j - z. Solve -20 = j*v + 2*v for v.
-4
Let q(o) = -20*o - 2. Let w(d) = -6*d - 1. Let x(n) = -6*q(n) + 21*w(n). Let g be x(-3). Solve -7*k = -g*k - 10 for k.
-5
Let b be ((-8)/(-20))/((-36)/22410*-3). Solve 160 = b*v - 51*v for v.
5
Let i = -13814 + 13819. Let s be (-2)/(-8) + (-43)/(-4). Solve -i*r + 4 + s = 0 for r.
3
Let y(o) = 6*o**2 + o. Suppose -1 = 4*s - 3*s. Let u be y(s). Suppose u*f + 7 = 7. Solve -4*w + 2*w + 8 = f for w.
4
Let v be 0*(16 + -9 + (-2)/(12/45)). Solve v = -41*j + 44*j - 9 for j.
3
Let j = -265 - -266. Suppose -i = 2*g, 4*i = 38*g - 40*g. Solve -o = -g - j for o.
1
Suppose z - 2*l = -7*l + 56, 0 = -2*z - l + 76. Let d = 26 - z. Let u = d + 19. Solve 5*m - u = 11 for m.
4
Let q be 5 + (-136)/24 + 40/6. Suppose 2*c + 0*c = -4, -q = -4*b + 3*c. Suppose -2*r + 5*f + 10 = -6*r, -5*r - 2*f - 4 = 0. Solve -2*d + r*d + 2 = b for d.
1
Let s(u) = u**3 - 21*u**2 + u - 17. Let k = -58 + 62. Let p be (-212)/(-10) + (k + -8)/20. Let v be s(p). Solve -v - 6 = 2*c for c.
-5
Let z be 60/100 - 56/10. Let j = z - -5. Solve j*s + 4*s = 8 for s.
2
Let u = 4603 - 4510. Solve u = -16*t + 77 for t.
-1
Suppose 0 = 78*i + 79*i + 16*i - 1557. Suppose -5*u = -24 - 16. Solve u = -i*y + 5*y for y.
-2
Suppose 4*f - 16 = v - 2*v, -4*f + 16 = 2*v. Let x(g) be the second derivative of g**4/12 + 5*g**3/6 + 4*g**2 - 305*g. Let s be x(v). Solve 0*a = 2*a + s for a.
-4
Suppose 0 = -2*z + 2, -j = -2*z - 5 + 2. Let w be (-16 + 807)*j/35. Solve 4*k = 113 - w for k.
0
Let u(q) = q**3 - 2*q**2 - 4*q + 3. Let g be 20/6 + 18/(-54). Let m be u(g). Solve x - 3*x - 4 = m for x.
-2
Let u(s) = -s + 11. Let t(n) = n. Let z(g) = 5*t(g) + u(g). Let c be z(-8). Let b = c - -24. Solve 0 = -b*w - w for w.
0
Let f be -14 - 56/(-8) - -172. Solve 54*n = 21*n - f for n.
-5
Let o = 35 + -34. Let x = -56 - -74. Let p be (1/(-3))/((0 - 3)/x). Solve c - o = -p for c.
-1
Let g = 1015 + -1004. Let r be -28 + g - -21 - (-5 - 1). Solve -r*v = -15*v - 10 for v.
-2
Let s(j) = 2*j - 39. Let l be s(23). Suppose 0 = -i + l*i. Suppose i*m + 0*m = -5*m. Solve -2*a + 3*a + 5 = m for a.
-5
Let r = -43908 + 43911. Let g(i) = -i**3 + 4*i**2 + 5*i - 1. Let u be g(5). Let b = u - -1. Solve 3 = r*m - b for m.
1
Let b(r) = -4*r - 24. Let d be b(-4). Let o(c) = c**2 + 10*c + 16. Let a be o(d). Solve 2*z - 1 - 3 = a for z.
2
Suppose 496 + 21094 = -34*d. Let w = d - -648. Solve 10 = w*a - 15*a for a.
-5
Let u = -1679 + 1699. Solve u*h = -9*h + 87 for h.
3
Let n = -46 + 48. Suppose 8 = n*b - 12. Suppose v - b = -4*a + a, 0 = 5*a - 3*v + 2. Solve -c = a - 5 for c.
3
Suppose 392 = 154*f - 126*f. Solve -f*a - 184 = -86 for a.
-7
Suppose -d + 5*r = d - 45, -d + 131 = -18*r. Solve -241*b + d = -240*b for b.
5
Let b = 21427 - 20431. Solve -b + 997 = -j for j.
-1
Let a(o) = -o**3 - 6*o**2 - 8*o - 10. Let n be a(-5). Suppose 3*u - 13 = -4*m, 15 - 8 = 2*u + m. Solve -n*x = 7 + u for x.
-2
Let w be 6 + (74/111)/((-2)/6). Solve w - 10 = -2*h for h.
3
Let f be (1 - 1)/(0 + -6 + 5). Suppose f*j - j = j. Solve j = -x - 2 for x.
-2
Let x be 2/6 - 2/(-3). Let h(u) = 2169*u + 2175. Let q be h(-1). Solve q*a - 1 = -x for a.
0
Suppose 0 = -3*w - 15, -2*a + 2*w + 28 = -72. Suppose -19*f = -12 - a. Solve f = 5*c - 12 for c.
3
Let p be (-368)/(-32) - 13 - (1 - (-15)/(-6)). Suppose 0 = 2*z - 7*z + 30. Suppose -3*o + z = -o. Solve p = k - o + 4 for k.
-1
Let o be (12/2 + -5)*(0 - -5). Suppose 2*h + 2 = 3*a + o, 1 = -a. Suppose h = -t + 4*t. Solve 4*g - 2*g - 2 = t for g.
1
Suppose -3 - 71 = -2*f + 4*l, -f = -4*l - 39. Solve f + 17 = 26*o for o.
2
Suppose 0 = r - 2*z + 6, 2*z - 10 + 0 = 0. Suppose 4*x + x = 3*f - 16, -r*f = -x - 27. Suppose n = 1 + f. Solve -g + n = g for g.
4
Let n(s) = 2 + 3*s - 44*s + 10*s. Let q be n(-1). Suppose 0 = 2*d + 3 - q. Solve 0 = -0*b - 3*b + d for b.
5
Suppose -n = 655*k - 651*k + 10, -5*n + 2*k + 60 = 0. Solve 0 = n*x - 21*x - 44 for x.
-4
Let y(c) = 2*c**2 - 10*c + 6. Let a be y(4). Let j be (6/4 - a)*16/8. Let h = j - 1. Solve 0 = -2*u + 5*u + h for u.
-2
Let h(m) = -m**3 - 8*m**2 + m + 10. Let y be h(-8). Let o(t) = -22*t**2 + 88*t + 8. Let c be o(4). Solve -c - 2 = -y*j for j.
5
Suppose -3*q = 4*c - 43, -3*c + 54 = -2*q - 3*q. Solve 46 = -59*m - c for m.
-1
Let v be 78/(-26) + (2 - 2). Let c be -16*(-1 - (2 - 2)/v). Solve c - 11 = n for n.
5
Suppose 83*g = 90*g. Solve 9 = -g*q + 3*q for q.
3
Let t = -49 - -54. Suppose t*i - 15 + 6 = -s, 0 = -3*i + 2*s + 8. Solve 1 = -u - i for u.
-3
Let i(m) = -27*m - 79. Let o be i(-12). Let v = -241 + o. Solve 18*g = 19*g + v for g.
-4
Let u be (2/6)/((-90)/(-1350)). Solve u*n + 13 - 33 = 0 for n.
4
Suppose -16 = 3*m - 4*f, -11*f + 6*f = -20. Solve 5*h + 9*h + 56 = m for h.
-4
Let h(s) = -s + 14. Let d be h(9). Suppose -10*q + d = -5. Let r = 14 - q. Solve 0 = -5*b + 7 + r for b.
4
Let x(y) be the second derivative of 5/2*y**2 + 0 - 36*y - 1/3*y**3 - 1/12*y**4. Let w be x(-3). Solve -d + 7 = w for d.
5
Let i be 4/(-38) - (-11339)/323. Solve 0 = 3*x + i - 23 for x.
-4
Suppose 5*v - 18 = -8. Let c be 228/44 + 7/((-77)/v). Let b be 21/(-3) + 4 + c. Solve -b = l - 6 for l.
4
Suppose 2*q = 2*j - 142, 0*j + 56 = -q + 4*j. Let k = q - -84. Suppose 5*d = d + k. Solve d + 1 = -w for w.
-3
Let x be ((-105)/(-1260))/((-2)/(-72)). Let p(w) = w + 1. Let v be p(3). Suppose v*z - 8 = 16. Solve z = x*j - 0 for j.
2
Let s(c) = c**3 + 5*c**2 + 7*c + 13. Let w(g) = -4 + g - 7 - 6 + 22. Let u be w(-9). Let m be s(u). Solve -1 = -x + m for x.
2
Let b(f) = -f**2 - 37*f + 215. Let t be b(5). Solve -p + t = 1 for p.
4
Let c(g) = g**2 - 9*g - 2. Let n be c(7). Let w = 1553 + -1533. Let i = n + w. Solve 0 = i*b - 9*b + 5 for b.
1
Suppose -16 = -0*z - 4*z - 2*b, -4*b + 2 = -2*z. Solve -z + 11 = -8*h for h.
-1
Suppose 244 = t - 22*j + 26*j, 0 = -4*j + 12. Solve 0 = 235*g - t*g - 18 for g.
6
Suppose 4*r + 41 = 5*d, 2*r = d + 3*d - 28. Suppose d*t - 6 = -2*y + 3*t, 4*y = 5*t + 21. Solve -u + 6 = -y*u for u.
-2
Suppose 14 = 3*z + 2*o, -24*z = -19*z - o - 45. Solve -709*t + 707*t = -z for t.
4
Suppose -299*h = -2*k - 296*h + 208, -5*k - 4*h = -589. Solve -46*j + 268 = -k*j for j.
-4
Let o(r) = 5*r - 43. Let s be o(13). Solve -t = s - 19 for t.
-3
Let g = -38 + 41. Suppose -608 = o + g*o. Let m be ((-1)/(-2 - -4))/(4/o). Solve -m = 4*b - 3 for b.
-4
Let v(c) = c**2 + 12*c + 28. Let z be v(-31). Let x = z - 608. Solve 5*w = 2*w + x for w.
3
Let o be (3/18)/(1/894). Let l = -144 + o. Solve -13 = -l*a + 7 for a.
4
Let q(x) = x**3 - 6*x**2 - x + 6. Let t be q(6). Let p = -41 + 174. Let r = p + -129. Solve r*u - u - 9 = t for u.
3
Let x = 1639 - 1543. Solve -243*t + 227*t = x for t.
-6
Suppose -6*a = -79 + 67. Let z be (-9)/2*(1 + -3). Suppose -3*f = -2*i + z, 4*i - 15 = a*f + 3*f. Solve 0*s + s - 1 = i for s.
1
Let a(g) = -g**3 - 8*g**2 + 1007*g + 28. Let u be a(28). Solve 10*k + 32*k + 126 = u for k.
-3
Let d(m) = 17*m + 65. Let j(a) = -6*a - 22. Let w(b) = 4*d(b) + 11*j(b). Let s be w(-8). Suppose 5*v - 50 = 2*u, 2*v - u - u = 20. Solve -s*l - v = -7*l for l.
2
Let c be 3 + -1 - (-5 + 4) - -20. Suppose -3*h + 19 = 2*n, n - 6*n = 3*h - 25. Suppose 4*w + 5*j = c, j = w + 2*j - h. Solve w*b = 4*b - 2 for b.
1
Let k = 5025 + -4786. Solve -k*p + 244*p = 0 for p.
0
Let g(c) = 9 + 7*c + 21*c - c**2 - 14*c + 4. Let k be g(14). Suppose 0 = k*o - 16*o. Solve -r = -o*r for r.
0
Let j = 11198 + -11191. Solve 14*g + j*g = 0 for g.
0
Suppose 7*c - 5*d - 49 = 3*c, -4*c - 4*d = -4. Suppose c*j + 104 = 14*j. Solve -2*n = 23 - j for n.
-5
Suppose 2*h + 68 = 12*m, -3*h + 17 = -812*m + 811*m. Let t(b) = b**3 + 6*b**2 + 5*b. Let d be t(-5). Solve h*k = -d*k + 32 for k.
4
Let f = 496 - 566. Let j = f + 77. Solve j*p - 15 + 1 = 0 for p.
2
Let b be (-312)/104*(-1)/((-1)/(-3)). Solve -u + 8 = -b*u for u.
-1
Let w be 9 - (9 + -4) - (-145 + -2). Let u = 154 - w. Solve -u*f - 6*f = -36 for f.
4
Let p(i) = 6*i**3 - 7*i**2 - 20*i + 72. Let t be p(4). Solve -10*c + t = 34*c for c.
6
Let j = 