w = 4*i for i.
-3
Let g = 469 - 317. Let r = g - 127. Suppose 0 = r*t - 16*t - 108. Solve 13*s - 16*s = -t for s.
4
Suppose u - 6 = -1. Let b be (2/u)/(-4*1/(-120)). Suppose 30*g - b = 26*g. Solve 0 = -g*t + 10 - 1 for t.
3
Let x be (-4)/(-14) + 52/14. Let p(a) = 138*a**2 - 16*a + 17. Let z be p(1). Suppose -z*y = -146*y. Solve i + x*i - 15 = y for i.
3
Let l be 2/(-38) + (-32747)/(-2717). Solve -l = 83*v - 95*v for v.
1
Let q = -225 + 225. Suppose 15*c - 17 + 17 = q. Solve 0 = d - c*d + 1 for d.
-1
Let m(f) = f**3 + 18*f**2 - 17*f - 27. Let s be m(-18). Solve -275*n = -s*n for n.
0
Suppose -2*a + 4 - 8 = 5*m, -m + 6 = -3*a. Solve 25*c - 75 + 25 = m for c.
2
Suppose 0 = -12*k + k + 33. Suppose 58 = 2*n + k*d, 0*n - 3*d = 3*n - 81. Suppose n*q - 27*q = -12. Solve 7 = -5*g - q for g.
-2
Suppose 2*r + 5298 = 4*q, q + 525 = 3*r + 1847. Solve -q*w + 1330*w + 25 = 0 for w.
-5
Let j = -795 + 801. Let p = j + -4. Solve -c - 3 = -p for c.
-1
Let r(j) = -2*j + 19. Let n be r(7). Suppose -6 = -4*i + n*d, 5*d + 0*d = 5*i - 10. Solve -i*x - 3 = 1 for x.
-1
Suppose -3*b - 3*i - 9 = 0, -6 = -7*b + 3*b + 2*i. Suppose b*p = 6*p. Solve -4*f = -p*f - 4 for f.
1
Let s be (-4)/94 - 28408/34874 - 1006/(-14). Solve 0 = s*w - 84*w for w.
0
Suppose 5*r - 202 = -177. Suppose -r*k + 3*f + 30 = -f, -2*f - 2 = 4*k. Solve 2 = k*d - 0*d for d.
1
Let a(v) = 13*v**3 - 13*v**2 - 16*v + v + 15 - 20*v**3 + 8*v**3. Let l be a(14). Solve -l = -2*n + n for n.
1
Let u(g) be the second derivative of g**3/3 - 21*g**2/2 - 4*g. Let d be u(12). Suppose 5*f - 38 = -d. Solve -3*p + f - 16 = 0 for p.
-3
Suppose 3*f - 4*f = -11. Suppose -2*q - 3*p + 2 - 5 = 0, q - p = f. Suppose s = 2*j + 8, -4*s - 29*j + 31*j + 44 = 0. Solve -q*d - s = -2*d for d.
-3
Let l be 9*((-12)/9)/(-2). Let z be l/(-7)*(2 - (-11)/(-2)). Suppose 9*a - 6*a - z = 0. Solve -4*m = a + 7 for m.
-2
Let b(x) = 7*x**2 + x. Let s be b(-1). Suppose 4*t = 4*f - 112, -3*f + 8*t + 88 = 4*t. Suppose -22*d = -f - 20. Solve -2*y = -d + s for y.
-2
Let r(o) = -o**3 + 13*o**2 - 36*o + 5. Let n be r(9). Suppose 0 = -4*w + 11*w - 42. Let p(s) = s**2 - 6*s. Let y be p(w). Solve l = -y*l - n for l.
-5
Let f = -222 - 98. Let d be (1/((-2)/(f/4)))/2. Solve -9*r = -13*r + d for r.
5
Suppose 0 = 6*t - 3*t. Suppose -4*q + 11 + 5 = t. Suppose 2*n + 3*l = 7*n + 3, -4 = -2*n - q*l. Solve 0 = -n*z + 3*z for z.
0
Let s be -12 + 9 - (-1 - 0 - 2). Suppose s = -2*g + 9*g - 147. Suppose -2*j + 5*j + 7 = -5*k, g = k - 5*j. Solve -3 = -a - k for a.
2
Let n(k) = k**2 - 9*k - 20. Let m be n(14). Suppose y + 3*u - m = -4*y, -u + 8 = y. Solve 0 = -y*x + 10*x + 3 for x.
1
Let i = -2416 - -2420. Suppose 0 = -4*m + 3*b + b, 4*m - 2*b - 6 = 0. Suppose m*g - 31 = g + 5*o, -35 = -5*g + i*o. Solve -g*h = -h for h.
0
Suppose 95*r + 171*r - 10393 = 6365. Solve r*q + 342 = 90 for q.
-4
Let z(u) = -u**3 - 4*u**2 - 2*u - 5. Let y be z(-4). Let p = 358 + -327. Suppose -43*b + 12 = -p. Solve -y*h = -16 + b for h.
5
Suppose 5*m + 10 + 0 = 0, -2*u + 5*m = -26. Suppose -u*q + 8 = -0. Solve o - q = -0*o for o.
1
Suppose 2*h - m - 99 + 13 = 0, h = -3*m + 36. Solve 0 = 21*l - h*l + 42 for l.
2
Let n(w) = -9*w - 225. Let c be n(-25). Let f be (-8)/(-6) + 9/(-27). Solve f = -d - c for d.
-1
Suppose 0 = -69*u + 73*u - 16. Suppose -3*f = -u*m + 79, 0 = -2*m - 3*f + 4*f + 41. Solve 2 = 5*r + m for r.
-4
Let j be 3/(-12) + (-2)/(-8). Let x = 34 + -25. Suppose -12*o + 9*o + x = 0. Solve s = o - j for s.
3
Let b(t) = -t + 9. Let p be b(5). Let i be (p + 52/(-16))*4. Solve -5*j = -i*j for j.
0
Let i = -868 + 1020. Solve -i = 59*o + 143 for o.
-5
Suppose 28*c - 24 = 32. Suppose k - 56 = -3*k - 3*b, -c*b + 42 = 3*k. Solve -4*l - k = -6 for l.
-2
Suppose 124 + 64 = 3*p + 4*d, 0 = 3*d - 6. Suppose -8*n = -12*n + p. Solve 0 = -8*a + 3*a + n for a.
3
Let c be (488 + 2)/5*-1. Let u = 154 + c. Suppose -5*z + u = 3*z. Solve z*l - 3*l - 4 = 0 for l.
1
Let w(c) = -48*c - 396. Let i be w(-8). Let j be 12194/804 + 2/i. Solve j = 3*o + 9 for o.
2
Let s be 3/(-9)*(-40 - (-2)/2). Let v be (-8256)/(-416) - (-1)/(s/2). Solve -17*g = -v*g - 9 for g.
-3
Let y(x) = -24*x - 24*x + 52*x - 44. Let m be y(10). Let k be m/10*(-20)/4. Solve -2 = -k*i - 4 for i.
-1
Let y be (6*4)/4*(-172)/(-129). Solve y*t = 239 - 215 for t.
3
Suppose 23*u - 6*u = 731. Let f = u + -38. Solve 4*g = f*g - 5 for g.
5
Let s(k) = -3*k + 24. Let u be s(-17). Suppose -l = -4*l - u. Let f(d) = -d**3 - 25*d**2 + 2. Let j be f(l). Solve 4*h - j*h - 6 = 0 for h.
3
Suppose -4*u + 11*o - 9*o = -180, -2*o = 12. Solve 11*x = -u + 20 for x.
-2
Let d(g) = g**3 + 15*g**2 + 24*g - 2. Let k be d(-2). Let h = -29 + 41. Solve k*l - h = -4 for l.
4
Suppose -3*t - 4*a = t - 128, 3*a + 168 = 5*t. Let n = t + -7. Let i = n + -17. Solve 2*s - 1 - i = 0 for s.
5
Let z be (-12044)/(-48) + 1/12. Solve -236 = -5*y - z for y.
-3
Suppose -8*k + 21*k = 195. Suppose 2*d - 4*u - 10 = -2*u, -5*d - 3*u = -33. Suppose -d*g + 10 = -g. Solve z = -g*z + k for z.
5
Suppose 142 = f + m, 2*f - 314 = -2*m + 5*m. Solve f = 5*l + 153 for l.
-1
Let u = -2117 - -2123. Suppose 2*l + l - 36 = 0. Solve u*h = 10*h + l for h.
-3
Let y be (21/63)/(248/(-84) + 3). Solve 377 = -y*a + 405 for a.
4
Let v(o) = 21*o**2 + 74*o + 88. Let a(q) = 12*q**2 + 38*q + 44. Let h(f) = 5*a(f) - 3*v(f). Let b be h(-8). Solve b = -2*n + 6*n for n.
5
Let l(o) = -o**2 + 10*o - 6. Let z be ((-16)/6)/(1/(-3)). Let j be l(z). Suppose 5*v - 5*n = 25, 1 = 3*n + j. Solve v*c + 0 + 4 = 0 for c.
-2
Let h be ((-1)/2)/((-2)/32). Suppose -2*j = -j - 2. Let m(s) = s**2 - 131*s - 819. Let g be m(-6). Solve -g*c = h - j for c.
-2
Let i = -320 + 322. Suppose 0 = -2*l - 2, 0*u = -u + i*l + 7. Solve 3*m = -u - 1 for m.
-2
Suppose -4*w + 3*y = -2 + 3, -5*y + 15 = 0. Suppose 0 = 19*z + w*z - 84. Solve z*d - 8 = -20 for d.
-3
Let n be (-28)/(-42) - 10/(-3). Let c(b) = 2*b + 76. Let z be c(0). Let l = z + -68. Solve 0 = n*x - 2*x - l for x.
4
Let s = -4089 + 4140. Solve -19*i - s = -70 for i.
1
Let w = 302 + -476. Let c = 178 + w. Solve -c*z - 2*z = -2*z for z.
0
Suppose -2009 = 5*d - 2*a, -4*a + a + 1200 = -3*d. Let i = -388 - d. Solve 5*h = -0*h + i for h.
3
Let n(b) = b - 10. Let u be n(13). Suppose -u*o - 14 = -26. Suppose o + 8 = 4*q. Solve -5*s + q*s + 4 = 0 for s.
2
Suppose 4*n - 170 = -5*a, a - 2*n + 4*n = 28. Let l = a - 32. Suppose l*x + x = 0. Solve x + 3 = i for i.
3
Suppose 3*v - 2*r = -20 - 14, 0 = -4*v + 5*r - 43. Let j = v - -14. Suppose -3*c + h + 9 = 0, 2*c + 0 = -j*h + 6. Solve 2 = -c*s + 8 for s.
2
Suppose -252*a + 244*a + 16 = 0. Suppose -12*g - a*g = -84. Solve 0 = -g*t + 2*t + 20 for t.
5
Suppose -28*c + 32*c + 99 = 5*s, -4*c = -4*s + 84. Solve 94*w - s = 89*w for w.
3
Let i(v) = -5*v**2 + 25. Let k be i(5). Let r be -3*(k/15 - 5). Let m be (0 - 0)*(r - 36). Solve m*y - 15 = -3*y for y.
5
Suppose 280 = x - 162 + 34. Solve 32*f + 36*f + x = 0 for f.
-6
Let o(i) = i**3 + 6*i**2 - 6*i + 9. Let c be o(-7). Let h = -73364 - -73370. Solve -j + h = c*j for j.
2
Let s = 350 - 182. Suppose 79 + s = 13*k. Solve 0 = 3*c + k - 31 for c.
4
Let l(w) = w**3 + 2*w. Let v be l(2). Suppose a = v*a. Let j = 36 - 34. Solve a = 5*t - j*t for t.
0
Let y be 5/(-25) + 36/5. Suppose -3*s = -131 + 2. Suppose 8*r + 3 = s. Solve y + 13 = -r*c for c.
-4
Suppose -24 = -4*v - 0. Let f(q) = -3*q + 77. Let j be f(29). Let a(z) = z + 12. Let i be a(j). Solve v = -i*w + 5*w for w.
2
Suppose 20*m - 2*m = 270. Suppose 5*w + m = 115. Solve -5*c + 9*c = -w for c.
-5
Let i = -438 + 444. Let p(z) = z**2 - 25*z + 118. Let h be p(i). Solve 6*v = 2*v - h for v.
-1
Suppose -352 = -115*o + 27*o. Solve o = -12*i - 32 for i.
-3
Suppose -735 - 288 = -31*x. Suppose -2*m = -5*g, m = x - 28. Solve g*j - 5 = 7*j for j.
-1
Let j = 23666 + -23684. Suppose 3*f + 11 = 47. Let b be f*j/84*14/(-12). Solve -7*u + 12 = -b*u for u.
3
Suppose 1098*m - 48 = 1097*m - u, -2*u = 16. Solve 29*x = m*x + 27 for x.
-1
Let t(n) = -n**3 - 18*n**2 + 27*n - 37. Let c be t(-20). Let s = 224 - c. Solve -4*o = -5*o - s for o.
-1
Let z be (-45)/(-9) + (-1 - 15/(-5))*20. Solve -z*k = -55*k + 30 for k.
3
Let p be (-12)/8 + (-6)/(-4). Suppose p = o + 7*o - 64. Suppose o = 5*w - w. Solve w = j + j for j.
1
Suppose 20*k = -k - 420. Let t be (k/(-8) + 3)*16/8. Solve -2*z - 3 = -t for 