e 0 = h*i - 3 - 2 for i.
1
Let y(d) = -17*d**2 - 159*d + 63. Let h be y(-9). Solve 0 = 109*b - h*b + 8 for b.
1
Suppose 8*i - 6*i = 7*i. Solve 14*n + 83 - 27 = i for n.
-4
Let k(a) = a**3 + 25*a**2 + 35*a - 206. Let u be k(-23). Solve -u*j = -19*j for j.
0
Let g(a) = 27*a**2 - 313*a - 40. Let x be g(12). Solve -24*l = -47*l - x for l.
-4
Suppose -k - 3*w + 8 = w, 2*k - 6 = -3*w. Let q(p) = -p**2 - 9*p. Let s be q(k). Solve -2*g - 2*g = s for g.
0
Suppose -4*w - 5*t - 30 = 0, 2*w + 4 = 6*t - 3*t. Let h be 2 - 0/(w + 3). Suppose 4*q - 3*i - 2 - 7 = 0, 0 = -2*q - 5*i + 11. Solve h*r - q*r = 0 for r.
0
Suppose 2*b = 4, -b + 1 = o - 3*b. Let u be 1/((-5)/(-6))*o. Let t = 73 - 68. Solve -u*i + i - t = 0 for i.
-1
Let z = -7547 - -7553. Solve -z*i - 153 = -135 for i.
-3
Let y(p) = -5*p - 4. Let o be y(-1). Let i be o/3*42/28*12. Solve 0 = -2*f + i*f - 4 for f.
1
Suppose -19562 = 373*x - 75405 - 7940. Solve 175*s = x*s - 20 for s.
-5
Let z be 33*(-4)/(-12) + 1. Suppose 3*t - 16 = -5*j, -12 = 663*j - 666*j - 3*t. Solve j = -2*n + z for n.
5
Let a be (((-180)/27)/10)/(4/18). Let b(o) = -o**2 + 6*o + 27. Let p be b(a). Solve -8*q + 29 + 3 = p for q.
4
Suppose -a - 2 + 1 = 0. Let z be 4 + (-2 - -1)*a. Suppose 3*k + 12 = -z*c, -c + 0*c + 4*k = -16. Solve -2 = q - c for q.
-2
Let d = 17 + -13. Suppose 22*r - 36 = 4*r. Solve -r*c - 24 = d*c for c.
-4
Let h = 805 - 792. Solve -h*x = 6 + 7 for x.
-1
Let v be (2 - (-5 + 7))/(5 - 9). Let k(w) = w**3 + 2*w**2 + 3*w + 13. Let r be k(v). Solve r*o = 16*o - 12 for o.
4
Suppose -2*v = n - 24, -n + 4*n - v - 44 = 0. Suppose 5*y = 2*w - 6*w + n, -w = y - 4. Let c be 8/w + -1 + 2. Solve -d + 0*d = c for d.
-3
Let a(p) = p**2 + 6*p + 9. Let s be -8*(4 + -1 + 31/(-2)). Let k = s - 103. Let v be a(k). Solve v = n + 3 - 7 for n.
4
Let l(r) = -2*r**3 - 2*r**2 + 3*r + 3. Let p be l(-2). Suppose -2*q - 5*c = -16 + 14, -2*c = -2*q + 16. Solve q = -2*b + p*b for b.
2
Suppose -2*v - 7 = -5*z + 38, 4*z = 4*v + 48. Solve -23*p + 76 - z = 0 for p.
3
Let q be (-7)/(189/750) + (-2)/9. Let o = -25 - q. Suppose -5*t = -18 + o. Solve -8 = t*s + 4 for s.
-4
Let q(z) = -3*z**3 + 15*z**2 - 6*z - 8. Let t be q(4). Solve 21*o + 15 = t*o for o.
-3
Let s = -13 + 15. Let q be (18/648*36)/(46/22 + -2). Solve -q*k = -s*k + 18 for k.
-2
Let i(k) = -k + 4. Suppose -8*m - 2 - 6 = 0. Let p be i(m). Suppose -46 = -p*v + 19. Solve -v = -5*o + 7 for o.
4
Let p(x) be the first derivative of -3*x**2/2 - 8*x - 53. Let v be p(-4). Solve v*m - 5 = -21 for m.
-4
Let t = -301 - -556. Let g = -255 + t. Solve 0 = 5*o - g*o - 20 for o.
4
Let p(o) = -3*o. Let a be p(-1). Suppose 90*d + 168 = 69*d. Let q be 2 + (-9)/((-36)/d). Solve l - a + 0 = q for l.
3
Let k be ((-10074)/12045 + 8/(-22))*340/(-3). Solve 2*v + k - 132 = 0 for v.
-2
Let r(w) = w**3 + 3*w**2 - 18*w + 10. Let t be r(-6). Suppose -t*m + 19 + 131 = 0. Solve 2*z - m + 11 = 0 for z.
2
Let b(j) = j**2 + 14*j + 37. Let n be b(-11). Suppose 3*a = -3, 5*a + 7 = 2*i - n*i. Let q be 0/((4 - 3)*(-3 - i)). Solve 12 = -4*t - q*t for t.
-3
Let s be ((-2880)/(-1280))/((63/20)/3 + -1). Solve 68*a - 23 = s for a.
1
Suppose -9*o + 10 = -4*o. Suppose -o*h - 69 = -5*y, 4*y = -4*h + y - 73. Let n be (h/(-5))/(4/10). Solve 2*f - 3 = -n for f.
-4
Let b(v) = -5*v**3 + 2*v**2 + 19*v - 15. Let f(r) = 4*r**3 - 18*r + 14. Let t(x) = 3*b(x) + 4*f(x). Let q be t(-8). Solve 0*c - q*c = 3*c for c.
0
Let w be 1224/510*(-10)/(-8). Let t(z) = 2*z**3 - 4*z**2 + 3*z. Let d be t(2). Suppose 0 = p - w*p + d. Solve p*s = s + 2 for s.
1
Suppose -f - c + 0 = 12, 0 = -5*f + 5*c - 100. Let g be 28/f*-4 - 3. Solve -9 = g*y + 11 for y.
-5
Suppose 27*u = 26*u + 4. Let j(s) = 2 + 7*s**2 + 5 - 5 + s**3. Let f be j(-7). Solve u*b + 2 = -f for b.
-1
Let w(r) = -r**3 + 4*r**2 + 7*r + 1. Let p be w(5). Let t be (20/15)/(40/150). Suppose 2*a = p - t. Solve a*f = -0*f for f.
0
Suppose -28*j - 16*j = 14*j - 986. Solve -32*x - 241 = -j for x.
-7
Let f be (-4 - (-1158)/24)/(6/16). Let d = f - 117. Solve v + 0 = -d for v.
-1
Let d = 12713 + -12685. Solve 38*z = d + 48 for z.
2
Suppose -196*c = -203*c - 791. Let o = c + 117. Solve -7*j = -o*j + 12 for j.
-4
Let h be ((-1312)/(-533))/((-4)/(-26)). Solve -7*j + 30 - h = 0 for j.
2
Suppose 3*y - 2*y + 6 = 0. Let r be (2/y)/(7/(-21)). Let l = 988 + -984. Solve l*w + r = 5 for w.
1
Let j = -33 - -45. Let f be (16/j)/4 + (-17)/(-3). Suppose 5 = 3*s - i, 0*i = 2*s - 3*i - 15. Solve s = 3*k - 0*k + f for k.
-2
Let v(h) = -7*h + 2. Let n be 0/((13/(-39))/(1/6)). Let c be v(n). Solve 0 = -c*m - 3*m + 20 for m.
4
Let a be ((-2)/2*4)/(12/(-18)). Let i be ((-6)/4)/(a*(-7)/56). Suppose 4*u + i*u = 30. Solve 0*v = -5*v + u for v.
1
Let m = 6050 - 6043. Solve -4*j + 66 = m*j for j.
6
Suppose l + l = -5*t + 286, l - 2*t - 161 = 0. Let m = l - 148. Solve -8 = u - m*u for u.
2
Let b(q) = 116*q - 77 + 123*q - 351*q + 116*q. Let t be b(20). Solve -5*y + 28 = t for y.
5
Suppose 0 = -h + 7*i + 5, -2*h + 5*i = h - 31. Solve h = -8*n + 28 for n.
2
Suppose -14*f + 106 + 790 = 0. Solve -15*c - c + f = 0 for c.
4
Let o(i) = i + 9. Let u be o(-6). Let l(k) = k**3 - k**2 + k - 1. Let f(y) = -3*y - 3. Let z(n) = f(n) + l(n). Let c be z(u). Solve -3*p - p - c = 0 for p.
-2
Suppose -608 = -26*t - 296. Solve t*l - 3*l - 54 = 0 for l.
6
Let h(b) = -b**3 + 6*b**2 + 2*b + 28. Let f be h(6). Solve -212*m - f = -204*m for m.
-5
Let q be 118*(-2 - (3 - 3)). Let s = 236 + q. Suppose -15 + 0 = -3*g. Solve -2*y + y + g = s for y.
5
Let t(c) = -2*c + 4 - 3*c + 0*c + c**2 - 2*c - c. Let f be 2/(-6) + 50/6. Let p be t(f). Solve 5*j = -6 - p for j.
-2
Let b(k) = k**3 + 23*k**2 + 21*k - 16. Let p be ((-16)/20)/((-6)/(-165)). Let y be b(p). Solve 0 = t + 2*t + y for t.
-2
Let a = -6167 - -6239. Solve 24 = -16*u + a for u.
3
Let m(q) = q**3 + 8*q**2 - 2*q. Let z be m(-8). Suppose -4*j + k = -1155, -344 - 525 = -3*j - 2*k. Let u = 291 - j. Solve -z = u*i + 2*i for i.
-4
Suppose 92*h = -143*h + 3760. Solve 109*l = 234 - h for l.
2
Suppose -4*b + 58 = 15*j - 14*j, -2*j - 5*b = -110. Solve -43*a - 21 = -j*a for a.
3
Let a = 81 + -95. Let z(w) = -w**2 - 18*w - 54. Let g be z(a). Suppose g*b + m = 3 + 5, m = 4. Solve 0 = -b*n - n for n.
0
Let a be 3/((0 + -6)/96*-6). Let h be (-24)/a + 1/((-2)/(-24)). Solve -o = 2*o - h for o.
3
Suppose 115*s = 2*b + 118*s - 615, 308 = b + s. Solve -b + 237 = 9*z for z.
-8
Let r be (-655)/262*8/(-5). Solve -80 = r*w + 36*w for w.
-2
Let n(h) = h**2 + 17*h + 36. Let j be n(-15). Suppose -269 = -16*b + 403. Suppose -b = -j*s - s. Solve 1 - s = -w for w.
5
Suppose -17 = -3*f + 58. Let c = 50 + f. Let q be ((-24)/10)/((-5)/(c/6)). Solve -3 = q*b - 5*b for b.
-3
Let g(u) = u**2 - 16*u - 7. Let i(a) = -2*a**2 + 34*a + 15. Let m(d) = -5*g(d) - 2*i(d). Let o be m(0). Solve 2*y + o = -5 for y.
-5
Let n(l) = -l + 11. Let m be n(8). Let o(z) = 4*z**2 - 1. Let h be o(1). Suppose -m*u + 9 = h. Solve u*a = -2*a - 4 for a.
-1
Let m = 0 - -3. Let w be 51/15 - ((-18)/5)/(-9). Let x be ((0 + -3)/w)/(4/(-4)). Solve -x + m = l for l.
2
Let d(j) = -j**3 - 12*j**2 - 8*j + 13. Let r be d(-11). Let x(h) = 2*h**3 + 40*h**2 + h + 25. Let u be x(r). Solve -2 = 3*y - u*y for y.
1
Suppose -607 = -3*x + 4*j, 5*x + 3*j - 412 = 619. Suppose -x = 10*f - 51*f. Solve 0 = f*h - 0*h for h.
0
Let d be 0*((-2)/5 + 90/100). Suppose d = -27*r + 43*r - 128. Solve 2*l = -r + 6 for l.
-1
Let l = 6 - 4. Suppose -161 = 2*u - 162*u + 159. Solve u*y + l = y for y.
-2
Suppose -c = -4*o + 13, -3*c - 11 = 5*o - 3*o. Suppose 0 = -o*i + 3*g + 8, -i + g - 6 = 2*g. Let t be i/3 + (2 - 2/(-3)). Solve t*z - 5 = 1 for z.
3
Let r = -28 + 32. Suppose 2*a + r*a = 12. Let q be 12/12*(-6)/(-2). Solve q = -a*u - 1 for u.
-2
Let c(i) = 139*i**2 - 3059*i + 26. Let w be c(22). Solve 8*n - 6*n + w = 0 for n.
-2
Let h be 255/5 - (-6 - -5). Let b be 528/h + 2/(-13). Solve -q = -6*q - b for q.
-2
Let d be 5/3 + (-6)/9. Suppose 28*m + 28*m = -5*m + 7*m. Solve 4*b - 3*b + d = m for b.
-1
Suppose 9 = 7*o - 10*o. Let a be 60/18*((-54)/(-10) - o). Suppose -12 = -8*f + a. Solve -3*h + f*h + 4 = 0 for h.
-2
Let y(g) = 9*g**2 - 648*g - 5762. Let i be y(-9). Solve -12*h + 751 = i for h.
-4
Suppose -2*j + 38 = 24. Suppose 9*u - j*u = 4. Solve 0 = 4*d - u*d + 10 for d.
-5
Let l be 4/(-1)*23*6/(-24). Solve 