 l*g + 0 = z for g.
3
Let u(x) = -4*x - 2*x**2 - 13 + x**2 + 13. Let s be u(-4). Suppose 156*z - 12 = 150*z. Solve s = -0*k - z*k for k.
0
Let w = -140 + 165. Suppose 4*f + 3 = -3*r + f, f + w = 5*r. Solve 4 = -r*c + 24 for c.
5
Let b = -44 + 54. Suppose 2*w - 180 = -4*l, -b*l = -6*l - 12. Let d = w + -76. Solve -v = v + d for v.
-4
Let r be 320*28/(-24)*(-30)/25. Suppose 30*d - r = 16*d. Solve 0*n = 16*n - d for n.
2
Let z = 89 - 83. Let i(k) = -2*k + 39. Let o be i(z). Solve 25*s = o*s + 10 for s.
-5
Let z = -2702 + 2747. Solve -z*j = -40*j - 10 for j.
2
Suppose 5*h - 11 = n, -n = -3*n - h + 11. Suppose 13*p - 12*p - 4*d = -n, -4*p + 4*d = 4. Solve 0 = -p*i + 2*i - 4 for i.
2
Let v = -338 - -344. Suppose -f + v - 4 = 0. Solve s - f*s - 2 = 0 for s.
-2
Let g(j) = -3*j - 1. Let m(n) = -1. Let d(o) = g(o) - 6*m(o). Let a be (-2 - -2)/(-16*(-1)/8). Let x be d(a). Solve 17 - 2 = -x*r for r.
-3
Suppose -86 = 16*i + 224 - 678. Let x(k) = k**3 + 7*k**2 + 4*k + 3. Let d be x(-6). Suppose 4*a = -u + d, -a = -5*a - 4*u. Solve -a*g - 3 = -i for g.
4
Let t(l) = -1 + 4 - 256*l + 255*l. Let k be t(3). Let i be (-4)/(-18) - (-43)/9. Solve k = i*v - 7*v for v.
0
Let s be (42/(-4) - -11) + (-169)/(-2). Let a = 88 - s. Solve -a*f - 3*f + 24 = 0 for f.
4
Let p be (-6 - 0)*56/(-84). Let f(o) = -7*o - 8. Let g be f(-5). Suppose -35 + g = -p*y. Solve -y*v + v = -1 for v.
1
Let d = -8 + 11. Let t(j) = -3*j**3 + j**2 + 4*j + 1. Let o be t(-2). Suppose -40 = 11*w - o*w. Solve -w*i + 3 = -d*i for i.
3
Suppose 4*z - 70 - 2 = 0. Let s be (-20)/25*-5 - 2. Suppose -5*d + 12 + 4 = -s*p, -3*p = 3*d - z. Solve -d*o - 4 - 12 = 0 for o.
-4
Let k = -2975 + 2991. Solve -k*l - 14 = -23*l for l.
2
Let z(i) = -i**3 - 8*i**2 - 2*i - 10. Let b be z(-8). Let r be (-3 + 1 + 8)*2/b. Solve 7*x = r*x + 25 for x.
5
Let o be 5570/90 - 4/18 - 4/6. Solve -71*w = -o*w for w.
0
Suppose h + 2*x + 8 = 2*h, -3*h + 42 = 3*x. Let b be (-332)/(-14) - 2*h/(-84). Solve 5*g - b = -7*g for g.
2
Suppose 6*p = 461 - 437. Suppose 882 = p*y + 870. Solve y*r - 13*r = 30 for r.
-3
Let s(q) = q**2 - 12*q. Let z be s(12). Solve z = 124*d - 121*d for d.
0
Let n = 83552 + -83550. Let v(q) = q**3 - 5*q**2 + 5*q - 1. Let w be v(4). Suppose -2*a + 15 = w*a. Solve h - a = -n*h for h.
1
Let u(p) = 118*p - 184. Let b be u(10). Solve f + 995 = b for f.
1
Let v be (0 - (-5 - -4))*128/64. Solve 0 = v*g + 567 - 561 for g.
-3
Suppose -2*d + 2*q + 7 = -1, -2*q = 4*d - 4. Suppose 5 = n - a, 4*a = -n - n - d. Suppose -n*x = 2*b + 3, 3*x + 2*b = 2*x - 5. Solve -5*t - x = -6 for t.
1
Suppose 0*l - 40 = -8*l. Suppose c + 8 = l*u, -2*c - 2*c + 16 = 4*u. Solve u*z = z for z.
0
Let l(q) = -5*q - 172. Let m be l(-34). Let g be 5*(-3 - -4 - m). Let i be 0 - (-4 + (0 - -2)). Solve -7*n + g = -i*n for n.
3
Let g(w) = -2*w**2 + 7*w + 9. Let z be g(4). Let s be (-15)/z + (-36)/(-3). Solve -5*p = -2*p + s for p.
-3
Let n be -4*2/(-16)*86. Suppose 5*d - n = 5*o - 2*o, -3 = -d - 5*o. Let l(a) = -31*a + 124. Let s be l(4). Solve s = -10*p + 6*p - d for p.
-2
Suppose 0 = p - 5*w - 154, 6*w = 9*w - 15. Let f = 188 - p. Solve 14*v - f*v = 10 for v.
2
Suppose -143*k = 20*k - 12877. Solve -m = -k + 84 for m.
-5
Let u(q) = -3*q + 86. Let n be u(28). Suppose 5*x = 3*d + 105 + 20, 5*x = -n*d + 150. Solve -23*z + 20 = -x*z for z.
-4
Suppose 31*d = 7041 + 304 + 560. Solve -262*h = -d*h - 28 for h.
4
Let m(d) = -5*d + 4. Let h be 2 - (0 - -1) - 1. Suppose 0 = c + x - h - 1, 0 = 5*c + 3*x - 3. Let q be m(c). Solve 5*u = q*u for u.
0
Let d be (-98)/245 - (-4)/10. Solve 5*a + 8*a - 39 = d for a.
3
Let p = 265 - 257. Suppose -12*f + c = -p*f - 4, -c - 4 = 5*f. Solve 5*w - 6 + 1 = f for w.
1
Suppose -13*o = -390 - 494. Solve -21*l + 4*l - o = 0 for l.
-4
Let w(u) = 2*u**2 - 17*u + 35. Let g be w(17). Let y = g - 319. Solve 7 + 3 = y*x for x.
2
Suppose 2217*z - 355866 = 1995*z. Solve -8*o - z = -1651 for o.
6
Let c be (0 + -4)/(24/(-18)). Suppose c*v - 4*o + 240 = -3*o, 0 = 5*v + 2*o + 400. Let x be ((-32)/v)/((-2)/(-10)). Solve x*k + 3 + 5 = 0 for k.
-4
Let l = 215 - 213. Suppose -431*u = -432*u + l. Solve -25 = -u*y + 7*y for y.
-5
Let y be (0*(-4 + (-45)/(-10)))/1. Suppose 4*j + 5*j = y. Solve 3 = -3*q - j*q for q.
-1
Suppose 0 = -4*k + 8, -3*t + 8 = -5*t + 5*k. Suppose -2*b = -7 - t. Suppose 2*c + 4 = b*v, v - c - 5 = -2*v. Solve v = 4*w - 13 for w.
4
Let z = 76 - 30. Let h = 52 - z. Let o be 4 - (h/5)/((-2)/5). Solve 2*t + 3 + o = 0 for t.
-5
Suppose 157 = a + 4*a + m, 0 = 4*a + 5*m - 134. Suppose 17*i + a = 18*i. Solve -i*c = -32*c + 3 for c.
3
Suppose 0 = -3*d - 5*u - 4, d + 4 = 5*u + 16. Suppose 5*s = -5*z - 5, -5*z + 5*s + d = -3. Solve 2*f = -10 - z for f.
-5
Let f be (3/(-2))/((-1)/2). Suppose -3*y - 5 = -5*x, 5*y - 4*x - 17 = -2*x. Suppose -3*p + 12 = -4*c, f*c + y + 4 = p. Solve -w - 2 + 7 = p for w.
5
Let o(g) = -15*g + 123. Let q be o(8). Suppose -3*j + 2*j = q*j. Solve j = -f - 4*f + 10 for f.
2
Let y(n) be the first derivative of 2*n**3/3 - 16*n - 19. Let q be y(-4). Solve -1 + q = 5*s for s.
3
Let m = 27 + -26. Let i be (-4 + 1 - -3)/m. Suppose 3*p - p = i. Solve p = -5*x + 3*x - 10 for x.
-5
Suppose 7*k - 18713 = -128. Let w be ((-1180)/k)/(1 + (-29)/27). Solve -w*a + 27 = 3*a for a.
3
Let i = 937 + -930. Solve 1 = 2*b - i for b.
4
Let n be (-1)/3*(-1 + 3 - 335). Solve 0 = -46*p - 387 + n for p.
-6
Let w = -94 + 99. Suppose -4*z - b + 24 = 0, -w*z - 3*b + 37 = -0*b. Solve 0 = -z*q + q - 12 for q.
-3
Suppose 44*f = 52*f + 256. Let y = f + 40. Solve -6*h + 4*h = -y for h.
4
Let f be -5 + 18/(-4) + 9/18. Let r be -2*(-12)/f*15/(-10). Solve 3*a - r = 2*a for a.
4
Let a(v) = -8*v**3 + 49*v**2 - 7*v + 14. Let n be a(6). Suppose 0 = -3*d + 104 - 20. Let f be 4/(-10) - 66/(-15). Solve -n = -f*w - d for w.
-5
Let b = 188 - 185. Suppose 5*k = -32 + 47. Solve -k*g = b + 6 for g.
-3
Suppose -28*m + 216 = 76. Let z(w) = -23*w + 121. Let r be z(m). Solve 3*c - r*c - 12 = 0 for c.
-4
Let m be (-1 - -1) + 21 + 158 + -155. Solve x + 138 = m*x for x.
6
Let r(d) = 4*d**2 + 8*d + 4. Let o be r(-2). Suppose -7*b = -9*b - 4, o*b = -5*f + 7. Solve -f*n + 24 = 5*n for n.
3
Suppose 2*d = 2*p + 14, 0*p + 5*p + 21 = 3*d. Suppose 2*t + 0*t - 2*y - 88 = 0, -t + 5*y = -60. Let o = 43 - t. Solve 0 = 2*q - o - d for q.
5
Suppose -34 = -4*w - 2*k, 461 - 412 = w + 5*k. Suppose t + 5 = -3*a, -3*t - a + 5 = 3*a. Solve -t = w*o + 5 for o.
-3
Let u = -5694 + 5700. Let s be 2/(-9) + 130/18. Solve -5*h + u = -s*h for h.
-3
Let p(a) = -3*a**2 + 83*a - 49. Let z be p(27). Suppose z + 85 = 2*x. Solve -6*o = 3*o + x for o.
-5
Let s be (-19)/(14 + -11 + -4). Solve -17*x - s*x = 180 for x.
-5
Suppose 21*y = 27*y + 1200. Let w = y + 202. Solve -12 = w*a - 8 for a.
-2
Suppose 4*o - 12 = -v, v - 4*o + 9 = -o. Let a be (-4)/6 - (9 + (26/(-3) - 3)). Solve 3*k - a*k = v for k.
0
Let o be 869/(-121) + 11 - (316/(-44) + 7). Let b(k) = 1 + 2*k - 7 + 2. Let a be b(3). Solve -a*s - o = 2 for s.
-3
Suppose 0 = 7*g - 1871 - 68. Suppose g*m = 281*m. Solve m = p - 5*p for p.
0
Let o(v) = 4*v**3 + 99*v**2 + 453*v + 22. Let i be o(-6). Suppose 0 = 4*g - g - 3. Solve j + g = -i for j.
-5
Suppose -y - 49 = -3*m + 10, -y = 5*m - 101. Let z be 3 - -1*(-2)/(8/m). Let k be z/16*-2 - 84/(-48). Solve 0 = k*x + 3*x for x.
0
Suppose 74*r - 120 = 69*r. Let u(a) = -a + 27. Let s be u(r). Solve -q + 2 = -s*q for q.
-1
Suppose -5 = -3*n + 7. Suppose n*w + 8 = 5*r, 2*r - 8 = 6*r + 4*w. Let y be ((-120)/90)/(14/(-42)). Solve r*d - 8 = -y*d for d.
2
Let p(r) = 2*r + 13. Let f be p(-7). Let b be (f + -1 + 5)*(5 - 4). Suppose 3*n - n + t = 2, 0 = b*n - 3*t - 21. Solve -26 + 11 = -n*u for u.
5
Let h(m) = -4*m**2 - 8*m - 10. Let q be h(-2). Let y(u) = 3*u + 37. Let l be y(q). Solve l*v = -9 - 12 for v.
-3
Let o be (-13)/(-91) - (-10)/(-70). Solve o = 795*g - 802*g - 35 for g.
-5
Let i = -515 - -535. Suppose l = -17 + i. Solve 0 = -5*p - l*p for p.
0
Suppose 0 = -3*f + 3*i + 99, 4*i - 454 = -446. Solve 11*y - 18*y - f = 0 for y.
-5
Let n = 657 - 403. Let t = 256 - n. Solve -3 = t*l + 5 for l.
-4
Let p = -2519 - -2531. Solve 18*v = p*v + 30 for v.
5
Let i(r) = -r**3 - 7*r**2 + 2. Let y be i(-7). Suppose 55 = 3*s - 5*f, -3*f + 6*f + 6 = 0. Suppose 5*l = 30 - s. Solve -j + l = -y for j.
5
Let s be (-2366)/(-10) + -23 + (-3