
-6
Let d be -6*28/24 - -21. Solve -62 = d*x - 6 for x.
-4
Let s(t) = 2227 + 3*t - 741 - 736 - 742 - 6*t. Let r(u) = u - 4. Let m be r(4). Let z be s(m). Solve n - 5 = -z for n.
-3
Let q be 18/4*27860/1791. Solve -5*k + q = 9*k for k.
5
Let n = 454 - 451. Suppose -2*d + 3 = 3*b, -n*b - 15 = -4*d - 0. Solve -d*f + 11*f = -40 for f.
-5
Suppose -1260 = 10*k - 80*k. Solve 0 = 73*v - 82*v - k for v.
-2
Suppose -3*f + 3*t = -852, -f - t - 60 = -340. Suppose -286*l + f*l + 12 = 0. Solve -11 = -l*n - 5 for n.
2
Let f(y) be the first derivative of -y**3/3 + 17*y**2/2 + 60*y + 250. Let k be f(-3). Solve k = 2*x + x - 5*x for x.
0
Let r = -85 + 85. Suppose -3*w - m + 2 + 8 = r, -3*m = -w + 10. Suppose 19 = -w*g + 55. Solve 2*l - g = -1 for l.
4
Suppose 52 = -o - o + 4*a, 3*o + 62 = 2*a. Let i be 19 - 19 - (2 - o/(-3)). Solve i*u - 12 = u for u.
4
Let n be ((-52)/5)/((-108)/135). Solve -66 = n*g + 12 for g.
-6
Suppose -640 = 9*c - 17*c. Suppose 15*g - c = -5*g. Solve x + 0 = g for x.
4
Let w = 28 - 7. Suppose -x = -w + 20. Let m be x*(-7)/((-14)/4). Solve -m*h + 20 = 3*h for h.
4
Let z(w) = -w**2 + 2*w + 2. Let p be z(2). Suppose a = -2*k - k - 3, 0 = p*a. Let b be k - (-5 + (1 - -2)). Solve 5*r = b - 21 for r.
-4
Let h = 3379 - 3371. Solve h*w - 52 + 20 = 0 for w.
4
Suppose 10*p + 48 = 13*p. Let v be (p/(-6))/(10/(-15)). Suppose -v*k + 5 = -11. Solve k*x = -x + 25 for x.
5
Let q = 2931 + -2896. Solve 0 = q*b + 11 + 199 for b.
-6
Let u be (-26)/((8/4)/(-2)). Let p = -301 - -327. Let c = u - p. Solve c = -7*d + 2*d - 15 for d.
-3
Let c(l) = -201*l - 196. Let v be c(-1). Solve 0 = -656*h + 657*h + v for h.
-5
Suppose 1 = -2*g - 1, -2*g - 17 = -3*x. Suppose l = -4*i + 2*l - 3, -3*l + 2 = -x*i. Let u be i*0*(-2)/(-4). Solve -h + u*h = 0 for h.
0
Suppose 13*h - 10*h = -72. Let r be (-16 - -1)*16/h. Suppose r*a = 7*a + 9. Solve 0*v = -3*v + a for v.
1
Let f(z) = -143*z**2 + 3432*z + 4. Let v be f(24). Solve -5*u + v*u = -2*u for u.
0
Let t(r) = -4*r**2 - 63*r - 137. Let u(v) = 6*v**2 + 96*v + 206. Let h(n) = 8*t(n) + 5*u(n). Let c be h(-7). Solve -7*x = 18 - c for x.
-2
Let j be (-22)/(-1 + 6 - (-7)/(-1)). Let d be 1/(((-12)/10)/(-6)). Suppose -w - w + t + j = 0, -d*w - 4*t - 5 = 0. Solve 0 = -w*b + b for b.
0
Let i be (34304/(-1280))/(2/(-5)). Solve 48*y + 19 = i*y for y.
1
Suppose 341*x = 340*x + 20. Let v be (56/x + -8)*-5. Solve -2 = 8*a - v for a.
3
Let z = -2798 + 2898. Solve -z = -10*j - 10*j for j.
5
Let z(n) = -14*n - 84. Let y(j) = j**3 + 4*j**2 - 3*j + 4. Let s be y(-5). Let d be z(s). Solve -k - k = d for k.
0
Suppose -b + 2*v - 3*v = -10, -5*b + 5*v + 10 = 0. Suppose -562 - 320 = -b*w. Let d be 1/5 - w/(-15). Solve 4*p = 2*p - d for p.
-5
Suppose 4*n = -v + 13, 0 = 4*v - 26 + 6. Solve n*u - 3*u = -2 for u.
2
Let g(t) = 44*t**2 - 22*t + 42. Let o be g(2). Solve -40*y - o = 106 for y.
-7
Let y be (12/(-3) - -68)/2. Suppose -25 = -y*z + 31*z - 2*o, 2*z = 4*o + 90. Solve -3*k = 4*k - z for k.
5
Let t be ((-190)/6)/((-106)/318). Solve 301 = t*l - 52*l for l.
7
Suppose -4037 - 42006 = -41*g. Solve 64 = g*r - 1115*r for r.
8
Let z = 23 - 0. Suppose s + 3*w - z = w, s - 2*w - 7 = 0. Solve -3*n + 0 = -s for n.
5
Let i(f) = f**3 + 18*f**2 - 21*f + 61. Let b be i(-19). Suppose -19 = 16*h - b. Solve 5*g + 0*g = h for g.
1
Suppose -3*b + 28 = -2*a - 9, -3*b + 2 = 5*a. Let d be (-3)/b*-9 + 13. Let v be -1 - (d/(-4) - 1). Solve -3*h - 1 = -v for h.
1
Let g = 3373 - 3370. Solve 2*n = -g*n - 20 for n.
-4
Suppose 0 = 6*r - r - m + 131, -92 = 4*r - 4*m. Let p be (-2)/(12/r) + 5/10. Suppose n = -4*n. Solve n = -p*o - 5 - 15 for o.
-4
Suppose c - 3159 = -3145. Solve 24 = -c*v + 6*v for v.
-3
Suppose -3*x + p = 10, 0*x + 2*p = 5*x + 16. Let y(i) = i**3 + 5*i**2 + i - 9. Let g be y(x). Let w be g/1 + (-1)/(2/(-2)). Solve -d = d + w for d.
-2
Suppose p + 7*p - 80 = 0. Solve p*v - 28*v = -90 for v.
5
Let z(g) = -5*g - 66. Let o be z(-17). Suppose -y - 6 = -o. Solve -y*w - 12 = -16*w for w.
4
Let d(g) = -g**3 + g + 23. Let i be d(0). Suppose -2*r + i = 4*w - w, 3*w - 48 = 3*r. Solve w*s - 10 = 6*s for s.
2
Suppose 5*q + 2*x = 214, -216 = q - 6*q - 3*x. Let j(r) = 4*r - 104 + 6*r + q - 5*r. Let w be j(14). Solve -3*t - t = w for t.
-2
Let v be 4 + (-3)/((-141)/(-18) + -8). Solve -5*q - v = 3 for q.
-5
Suppose -87*v + 1750 - 97 = 0. Solve 43*u - v = 153 for u.
4
Let o(p) = p**3 + 31*p**2 + 27*p + 30. Let t be o(-30). Solve 24*f - 192 = -t for f.
3
Let z(c) = 9*c**2 + 6*c - 8. Let j be z(2). Suppose a + a = 3*t + 36, t + j = 2*a. Suppose 3 + a = 6*k. Solve k*i = -4 - 8 for i.
-3
Let f(l) = 93*l. Let w be f(0). Solve w = 26*a + 16*a - 252 for a.
6
Suppose -12*b + 28*b + 56 = 23*b. Solve 20 = -28*o - b for o.
-1
Let q(d) be the first derivative of -d**3/3 - 3*d**2/2 + 4*d + 108. Let c be q(-4). Solve -10*p + 4*p + 6 = c for p.
1
Let v(d) = 2*d**2 - 4*d. Suppose -10 = -5*g + 5*y, 4*y + 6 = -2*g + 5*g. Let h be v(g). Let n = 269 - 263. Solve 3*b - n = -h*b for b.
2
Suppose 9 = -3*x + 93. Let z = 20 - x. Let s be (z/6)/((-1)/3). Solve q = -s*q + 15 for q.
3
Let j = -15 + 14. Let k(t) = 56*t**2 - 2*t - 2. Let c be k(j). Let b = 56 - c. Solve 2*q + 6 = -b for q.
-3
Let i(k) be the first derivative of k**2/2 - 5*k + 2. Let c be i(7). Suppose 2*w + 2*w = -2*b + 12, 4*b = 2*w + 4. Solve c = 4*u - w*u for u.
1
Let v be 220/(-30)*(-3)/(-2). Let m(n) = -2*n**2 - 26*n - 40. Let w be m(v). Solve 12 = -w*b - 0*b for b.
-3
Suppose -82*q + 1944 = 80*q. Solve 0 = -q*z + 27*z + 75 for z.
-5
Let i(z) = 17*z - 96. Let m be i(24). Let v = -287 + m. Solve v*d - 23*d = 10 for d.
5
Let p(w) = -4*w + 8 + w**2 + 7*w - 8*w - w**3 + 2*w**2. Let j be p(2). Solve 2 + j = -h for h.
-4
Suppose -31*r + 90 = -127. Let o be (35/r)/(3/42*2). Solve -12 = o*x - 38*x for x.
4
Suppose 4*b - 2*i = 16 + 14, 17 = 2*b - 3*i. Suppose b*j + 15 = 12*j. Suppose 21*c - 56 = 14*c. Solve -j*o + c = -1 for o.
3
Let d = -165 + 167. Let a be (12/(-2))/(3/(-2)). Solve d*y = y - a for y.
-4
Let h(d) = 2*d**3 + 13*d**2 + 3*d - 16. Let y(i) = 5*i**3 - i - 2. Let x be y(-1). Let l be h(x). Solve -6 + 10 = -l*n for n.
-2
Suppose 27*p - 21*p = 60. Let d = p - 2. Let y be (-3)/((-6)/d) + 0. Solve -2*a - y = 2*a for a.
-1
Let p(b) = 50*b + 252. Let d be p(-5). Let r(w) = w**2 + 3*w + 3. Let t be r(-3). Suppose t*q - 27 = 3. Solve -3*u = d*u + q for u.
-2
Suppose -4*k - 7 = -5*k. Let x be (-20)/12*(-81)/45. Suppose -d = -x*d + 4*a + 20, 5*d = 4*a + 20. Solve k*r - 5*r = d for r.
0
Suppose 0 = 3*q + 9, -3*x + 3*q + 1331 = -x. Let h = -620 + x. Solve 11*a - 8 = -h for a.
-3
Let f(a) = a**2 - 37*a - 214. Let n be f(-6). Solve n*c = 115*c for c.
0
Suppose 163*m + 260 = 176*m. Solve 13*a + 58 = -m for a.
-6
Let i(n) = n**3 + 8*n**2 + 7*n + 5. Let k be i(-7). Suppose -c + 16 - 1 = 4*f, -4*f + 27 = k*c. Let r be 1 - -1*(c - 0). Solve 0 = 3*h - r*h for h.
0
Let n(f) = -2*f**3 + 4*f**2 + 7*f + 7. Suppose -7*r - 10 = -2*r. Let l be n(r). Solve 9*c - 4*c - l = 0 for c.
5
Let g = -12871 + 14044. Solve g*b - 176 = 1151*b for b.
8
Suppose -3*z + 4*w - 16 = -2*z, 54 = -2*z - 3*w. Let y = z + 27. Suppose 5*f - 18 = -y. Solve 5 - 17 = f*u for u.
-4
Let u(h) = -41*h**2 + 735*h + 84. Let c be u(18). Solve 18*k = 13*k - c for k.
-6
Let b(f) = f**2 + 8 - 2*f + f - 14 - 29. Let p be b(7). Solve -8*r + 1 = -p*r for r.
1
Let y be (-51)/(-12) - (-16)/(-64). Suppose 4*h = -y*h + 24. Solve -m - 7 = -h for m.
-4
Suppose -1618 = 62*s - 5648. Solve 19*r = 8 - s for r.
-3
Let d be (18/(-27) - (-10)/15)/2. Solve -27*u + 0 + d = 0 for u.
0
Let q(a) = -7*a - 26 - 2*a - 34 - a. Let d be q(-6). Suppose 0*z + 16 = 5*z - 2*l, 3*l = -3*z + 18. Solve d = f - z for f.
4
Let q = -2525 + 2530. Solve -q*p + 2*p = 3*p for p.
0
Let f(i) = -i**2 - 85*i + 1068. Let s be f(11). Solve -t + 22 = -s*t for t.
-2
Suppose -216 = -5*k - 4*m + 6*m, -3*m + 6 = 0. Let d = 71 - k. Suppose -4*j = -13*j + d. Solve 5*x - j = 7 for x.
2
Let d = -843 + 938. Solve d*o = 92*o + 3 for o.
1
Let r(h) = h**2 + 6*h - 70. Let a be r(-13). Suppose 0 = -12*u + 3 + a. Solve -u*i + i = -1 for i.
1
Let w be 12 + -2 + (7 - 5). Let b be (-283)/(-7) - 18/42. Suppose 7*n - 12*n + b = 0. Solve -n = -5*u + w for u.
4
Let z be 3/(-11) - 66/(-242). Solve 3*o + 36 - 39 = z for o.
1
Let m be (-2)/(-24) + -3 + 852/144. Solv