0 for z.
2
Suppose -5*d + 145 = -5*j, -40 = -4*j - 32. Solve -d*q - 25 = 6 for q.
-1
Let l be 1 + 0 + 0 + (-36)/(-18). Suppose -6 = -l*i - 0. Solve i*k - 2 = -0*k for k.
1
Let w = 120 + -107. Suppose 0 = -4*u + 2*j + 16, 5*j = 3*u + 4*j - w. Solve 2*i = -i + u*i for i.
0
Suppose -3*n + 376 = 2*a, -165*n + 5*a = -162*n - 320. Solve -78 = -22*t + n for t.
9
Let y = 41 + -34. Let c(v) = 2*v**2 - 9*v - 10. Let n be c(y). Suppose 15*g - n*g + 30 = 0. Solve -g*a + 0*a = 15 for a.
-5
Suppose -662 = -7*g + 367. Suppose -3*k = -216 + g. Solve -13 + k = 2*b for b.
5
Let c = -2 - -2. Suppose 0 = 3*g + 4*g - 28. Suppose -g*y + 43 = 3. Solve c = -5*h + y for h.
2
Let v = 3274 - -122. Solve -v*o + 3398*o - 4 = 0 for o.
2
Let i be 8/(-2) - (-18)/3. Suppose -4*f - 5 = w, -3*f + 3 - 13 = i*w. Solve f*r = -r for r.
0
Suppose -4*p = -2*r - 32, 3*p + 0*p + 3*r - 6 = 0. Suppose 90 = 4*b - p. Suppose 8*o = 24 + b. Solve 2*q - 4 = o for q.
5
Let h = -2 + 2. Suppose 20*v = -2 + 121 - 39. Solve o - v + 1 = h for o.
3
Let b(j) = 8*j + 91. Let w = 224 - 235. Let i be b(w). Solve -4*r - i = 5 for r.
-2
Let q = 23982 + -23932. Solve 9*w = -w - q for w.
-5
Suppose 0 = 45*w - 4*w - 1066. Solve 8 - w = -3*n for n.
6
Let k(f) = 23 - 23 - 21 + 19 - f. Let z = -5 - -3. Let l be k(z). Solve l = -p + 3*p + 8 for p.
-4
Let w = 2227 + -934. Solve -1266 = -9*a - w for a.
-3
Let j be ((-39)/(-15) - 3)/(3/30). Let w be -1 - (8/j - 17). Suppose 0 = -5*n + w + 12. Solve -n*q - 12 = -2*q for q.
-3
Suppose 2*f - 2*u = 40, 8 = -4*f - 3*u + 74. Suppose 0 = -294*n + 291*n + f. Solve 1 = r + n for r.
-5
Let u(c) = 3*c - 12. Let o be u(6). Let g be o/(-6) + (-34 - 1 - 1). Let d = 39 + g. Solve -n + 2 = -d*n for n.
-2
Let l = 201 + -84. Let v = -101 + l. Solve -v*m + 4 = -15*m for m.
4
Suppose 337 + 1346 = -11*w. Let m = w - -168. Let i be (6/4)/((-3)/(-8)). Solve -h = -i*h - m for h.
-5
Let q(c) = -311*c + 17 - 314*c + 622*c. Let d be q(4). Solve 2*t - d*t + 6 = 0 for t.
2
Let k be 1088/(-21216) - 509/(-39). Suppose h - 6 = -1. Solve h*a - 32 = k*a for a.
-4
Let g(p) = -18*p - 23. Let w be g(-2). Suppose 8*k - w*k = -115. Suppose 0 = i - 2*s - 22, -k - 13 = -2*i - 4*s. Solve 4*l = -l - i for l.
-4
Let o be (10/(-2))/(-12 + -1 - -12). Suppose -52*p = -53*p + o. Let w = 0 - -2. Solve w*m = p*m - 15 for m.
5
Let p(k) = k**3 + k**2 - k - 1. Suppose -o - 1 = -u - 2, 0 = 5*u + 2*o + 5. Let w be p(u). Suppose -5*b + 7*b + 6*b - 16 = 0. Solve -2*n = -b - w for n.
1
Let r be (167 + -176)*(-1 + 0). Solve 67*f = r*f for f.
0
Let l(n) = 108*n - 204. Let w be l(5). Let v = 346 - w. Suppose -2*p + 2 = -p. Solve 4*y - p*y + v = 0 for y.
-5
Suppose -129*k + 154 = -136*k. Let o be k/(-33) + 22/3. Solve o*p - 4*p = -16 for p.
-4
Let d(k) = k**2 - 14*k + 16. Let o be d(13). Suppose 0 = -60*t + 39*t + 231. Solve -o*y = -t*y for y.
0
Suppose 5*f - 35 = 0, -3*f = 3*l + 16 - 70. Solve 0 = 2*j + 9 - l for j.
1
Let b(g) = -2*g**2 - 2*g + 331. Let z be b(-12). Solve -55 = 3*r - z for r.
4
Let z be ((-2)/5)/((-2)/10). Suppose z*l - 23 = 3*j - 2*j, -j - 1 = 0. Let b = -17306 - -17311. Solve 4 = b*f - l for f.
3
Suppose -13*a + 1523 = 392. Suppose 28*l - 25 = a. Solve -l*w = -8 - 8 for w.
4
Let q(f) = -f**2 - 20*f - 50. Let n be q(-17). Let r be 5 - (1 - -2 - (2 - n)). Suppose 2*b - 5 = -3*d, 4*d + 5*b = b + 4. Solve 0 = -d*s + 2*s + r for s.
3
Let h = -555 + 590. Suppose h*l - 26*l = 0. Solve 16*y + 16 = -l for y.
-1
Let x(u) = -20*u**2 + 98*u + 20. Let s be x(5). Solve -s = -3*l - 4 for l.
2
Let n(w) = -2*w**2 + 43*w + 27. Let h be n(22). Suppose -h*z + 0*z = -0*z. Solve 3*i - 9*i - 30 = z for i.
-5
Suppose 63*t - 5781 - 8646 = 0. Solve 85 = -36*p + t for p.
4
Let l = -39 + 39. Suppose -139*t + 140*t = l. Solve t = h + 1 + 2 for h.
-3
Let n be 44/(3168/36) + (-30)/(-4). Solve -36*z + n = -40*z for z.
-2
Let w = -550 - -574. Suppose n - 20 = -h, -n - 6*h = -7*h - w. Solve -4*r - 6 = -n for r.
4
Let l be (-11)/(11/(-84)) - (-8 - 42/(-6)). Solve -l*s = -75*s + 20 for s.
-2
Suppose 5*z = -w + 90, 3*w = 8*w - 5*z - 330. Suppose -21*c = -7*c - w. Solve -c*b = -4*b for b.
0
Suppose 4*b = -4*d + 908, 4*d - d + 454 = 2*b. Solve -b = 11*w - 172 for w.
-5
Let r = -35 - -45. Let f be ((-24)/r)/(84/45 - 2). Suppose -f = -3*s - 0. Solve -4 = 2*g + s for g.
-5
Let t be (-3949)/(-1795) - 14/(-5). Solve -t*d - 271 + 256 = 0 for d.
-3
Suppose 6*n + 7 - 43 = 0. Let v(h) = -h**2 + 10 - h**2 + 3*h**2 - n*h - 1. Let r be v(5). Solve r*q - q = -12 for q.
-4
Let s be (-4)/6 + (-4)/(-6). Let q(i) = 20*i + 23. Let u be q(-1). Let a(k) = 2*k**2 + 34*k - 115. Let h be a(u). Solve s = 3*v - h*v - 2 for v.
-1
Let a = -34 + 32. Let v be a/(-3) - 333/(-27). Let g(l) = l**3 - l**2 - l + 4. Let f be g(0). Solve v = 3*o + f for o.
3
Let n(f) be the first derivative of -f**4/2 - 25*f**3/3 - 6*f**2 + 8*f + 35. Let p be n(-12). Suppose -8*j = p*j - 96. Solve -j = -a - 2 for a.
4
Let l = -11655 - -11710. Solve -1 = -9*v - l for v.
-6
Suppose 2 = x - 5*b, 5*x + 5*b - 2 = 8. Suppose a - 1 = x. Let u(f) = f**2 - 2*f + 8. Let h be u(4). Solve r = -a*r + h for r.
4
Let y = -10 - -361. Let x = y + -347. Solve -17*q + x = -13*q for q.
1
Let o = 765 + -789. Let s be (20/(-24))/(4/o). Solve 5*d - 15 = s for d.
4
Let p(h) = 296*h - 587. Let s be p(2). Solve 0 = -a - s + 11 for a.
6
Suppose -113*h - 68 = -115*h - 2*u, h + 3*u - 34 = 0. Solve h*j + 27 = -143 for j.
-5
Let k be 12/(-7)*(76 - 83). Let l(n) = n**3 - 8*n**2 + 9*n - 6. Let s be l(7). Solve s + k = 5*i for i.
4
Let c(i) = 12*i**3 + 36*i**2 - 7*i + 1. Let s be c(-3). Solve -8*x - 10 = s for x.
-4
Let t be 156/60 - (-8)/20. Suppose -v + 4 = -u - t*v, -u + v = -11. Solve -u = -2*y + 4 for y.
5
Suppose -304 - 228 + 596 = 8*c. Solve 40 = 16*q + c for q.
2
Let q be 6 + -1 - 3546/(-18). Suppose -q = -2*u + 4. Suppose 4*p - 3*m - 97 = 0, 4*p + 3*m - u = -0*m. Solve l - 6*l - p = 0 for l.
-5
Suppose -4*i = -2*i - 7*i. Suppose -2*a = 5*r - 6, 4*a = -i*a + 5*r + 42. Solve 0 = 3*j - 1 - a for j.
3
Let d be 27 + 7 + 0 + 5. Suppose d*r = -33 + 579. Solve -r*t + 8*t = 18 for t.
-3
Let d = 1016 + -991. Solve 18*g + 65 = -d for g.
-5
Let u(t) = -t**2 - 40*t - 361. Let o be u(-26). Solve 29 - 32 = o*y for y.
-1
Let g(x) = -108*x + 688. Let l be g(5). Solve -158 = -5*m - l for m.
2
Let p be ((-65)/(-10) + -6)*(18 + -16). Solve -4 - p = -t for t.
5
Let o = -22527 - -22583. Solve 0 = -23*i - 13 - o for i.
-3
Suppose -43 = -9*x - 7. Suppose 2*j - 43 = -x*z - 5, -2*j = -4*z + 26. Solve -s + z - 10 = 0 for s.
-2
Suppose -26*u + 30*u = 16. Suppose -k = u*w - 15, -24*w + 29*w = 3*k + 6. Solve 0 = w*v + 3 for v.
-1
Let l be (34/6 - 4)/(4 - (-804)/(-216)). Solve -l*d + 38 = 26 for d.
2
Suppose -3*c + 10*i + 44 = 0, 3*i = -885 + 888. Solve 0 = c*l - 0 - 54 for l.
3
Suppose 33*r + 14469 = 39*r + 85*r. Solve -10*a + r = 99 for a.
6
Let w = 10681 + -10663. Solve -i - 20 + w = 0 for i.
-2
Let s(d) = 2*d**3 - 32*d**2 + 30*d + 4. Let g(t) = -t**3 + 16*t**2 - 15*t - 2. Let q(h) = 11*g(h) + 6*s(h). Let c be q(15). Solve 0 = c*v + v for v.
0
Suppose -17*a = -23*a + 150. Let n = 120 - 97. Let s = 26 - n. Solve s*g - a = 8*g for g.
-5
Suppose 13 = -5*x + n - 5, -5*n = 4*x + 26. Let z be x/26 + 0 + (-4)/(-26). Solve z = -5*b + 8*b for b.
0
Let l = 355 + -352. Let m = 1 - -3. Solve -5*h = -l*h + m for h.
-2
Suppose -15 = -2*m - 3*p, -80*m + 78*m + 5 = p. Solve -34*r + 479 - 615 = m for r.
-4
Let r be (16/(7 - -1))/(4/6). Let c be (-72)/60*(-10)/r. Solve 0 = -q + c for q.
4
Suppose -d + 2*p + p + 186 = 0, -366 = -2*d + 3*p. Let r be 40/d - (-6)/(-27). Solve r = -4*f + 5 + 3 for f.
2
Let t(i) be the first derivative of -3*i**2/2 - 4*i - 1. Suppose -2*r = -5*h + 26, 0 = -3*r + 2*h - 0 - 17. Let g be t(r). Solve 0*q + q = -g for q.
-5
Let b be -5*(2/(-1) - -1). Suppose -2*r + 56 = 4*c, r + b*c - 38 + 4 = 0. Suppose -r*v = -22*v. Solve v = -y + 3*y + 8 for y.
-4
Let b = 111 - 115. Let f be (9/(-6))/(b/((-208)/(-6))). Solve 2 = 5*s - f for s.
3
Suppose d + 4*w = 1, -w = -0*d - 2*d + 11. Suppose h - 17 = -d. Suppose -7*g = -3*g - h. Solve g*j + 2*j = 0 for j.
0
Let u(z) = -309*z + 2059. Let m be u(6). Solve -7*v = 219 - m for v.
-2
Let m be (1 + -45)/(6/(-3)). Suppose 4*p + 20 = -3*g, 0*p - p = 5*g + m. Let v be p/(-15) + 1304/120. Solve 5*y = 4 + v fo