e ((75/250)/(4/(-30)))/((-3)/8). Solve -18*d + x = -12*d for d.
1
Suppose 4*c = -11 - 9. Let b be 1/c + (-144)/(-20). Suppose b*k = 4*k. Solve k*t = t - 4 for t.
4
Suppose -z - 6*d = 36, d = 2*z - 4*d - 30. Solve z = -6*n + 132 - 138 for n.
-1
Suppose -377 = -3*o + 136. Suppose g - o = -168. Solve -g = -5*s - 8 for s.
-1
Let p(u) = -u**2 - 13*u - 31. Let a(w) = -w**3 - 9*w**2 - 8*w + 2. Let x be a(-8). Let c be -3 + 4*(-3)/x. Let s be p(c). Solve -3 - 2 = s*y for y.
-1
Suppose 0 = -z + p - 3, -5*p - 27 = 2*z - 0*z. Let m be z*2*6/(-9). Let c be (-4)/m - 5/(-2). Solve 0 = -w + c + 1 for w.
3
Let i = -178 - -180. Suppose 15 = i*b + 3*k, -3*b + 2*k = -10 - 19. Solve -b*p = -6*p + 9 for p.
-3
Let m be (-32)/(-1) + (37 - 50). Solve -56*w = -m*w for w.
0
Let k(m) = -m**3 - 6*m**2 - 7*m - 7. Let p be k(-5). Suppose 58*y + 754 = 56*y. Let f = y - -378. Solve f = v + p for v.
-2
Let w = -1 + 2. Suppose 0 = 3*a - 4 + w. Suppose -h = y, -3*y - 31 = -4*h - 17. Solve l - h*l = a for l.
-1
Suppose 13*k = 5*k. Suppose -4*o - 8 = -4*t, k = -6*t + 5*t + 5*o - 6. Solve 3*x = -t*x + 14 for x.
2
Let y be (-312)/(-1482)*(-19)/(-2). Suppose 18*l - 4*l - 42 = 0. Solve -3*a + y*a = -l*a for a.
0
Let f be ((-6)/(-18))/(10/(-1410)). Let j = 71 + f. Solve y - j = -7*y for y.
3
Suppose -23 = 15*v - 203. Suppose 0 = -v*x + 56 - 20. Solve -x*g + 18 = 15 for g.
1
Let d(t) = -4*t - 99. Let w = -67 + 41. Let n be d(w). Solve -n*h - 15 = -10*h for h.
3
Let a(j) = -j**3 + 22*j**2 - 11*j - 30. Let y be a(21). Suppose 0 = 11*c + 4 - y. Solve -5*k = -k + c for k.
-4
Suppose -2*r - 4*k = -68, -4*r - 126*k + 38 = -132*k. Let n(v) = v**3 + 6*v**2 + v + 6. Let o be n(-6). Solve -r = 4*x - o*x for x.
-5
Suppose -56*u + 66*u = -8850. Let j = u - -953. Solve -10*p + j = 7*p for p.
4
Let z be 0/(0 - 1) + 8. Suppose 0 = -l - 0*x - x + 4, 3*l + x = z. Suppose 0 = 4*f - 0*u + u + 4, 20 = -4*f - 5*u. Solve i - l + 1 = f for i.
1
Suppose 13*g + 4*b + 238 = 18*g, 4*g = 2*b + 188. Suppose 18*i + g*i = 6*i. Solve -5*z + 15 - 5 = i for z.
2
Let l(r) = -130*r - 8980. Let w be l(-70). Solve -23*u + 8*u + w = 0 for u.
8
Let x = 5230 + -4979. Solve 5 = -x*g + 256*g for g.
1
Let a = -8182 - -8188. Solve 16 - 28 = -a*y for y.
2
Let v(x) = 17*x**2 - 95*x - 220. Let h be v(14). Solve 0 = -7*a + h - 1803 for a.
-3
Let y(k) = 2*k**2 - 11*k - 8. Let q be y(6). Let x be q - -7 - 1 - -5. Solve 0 = -8*m + x*m + 5 for m.
-5
Suppose -3*p = -5*s - 95, 4*p - 175*s - 124 = -171*s. Solve 212*f - 202*f = -p for f.
-3
Let r(v) = v**3 - 33*v**2 + 31*v + 36. Let p be r(32). Let u be (-4)/p + -4 - (-6 - 5). Solve -3 + u = 3*f for f.
1
Let v(w) = 4*w**2 + 32*w + 8. Let q be v(-12). Suppose 86*d - 96*d + q = 0. Solve -d + 23 = p for p.
3
Suppose -v = -3*d - 3*v - 20, 0 = -3*d + 4*v + 4. Let c be (d/(-2))/(-6 - (-21)/3). Solve -k = -c*k + 2 for k.
2
Suppose 5*i + 19 = 77 + 57. Solve -2*p + i = 21*p for p.
1
Suppose -4*j + v + 38 = -60, -j - v + 27 = 0. Suppose 18*w - 3*w - 405 = 0. Let m = w - j. Solve 0*i = m*i for i.
0
Let i = -99 - -103. Suppose -4*x + 21 = -7. Solve -i*c = -x*c + 15 for c.
5
Suppose 5*q - 10 = 0, -5*q + 0*q = 4*b - 210. Suppose -8*u - 2*u + b = 0. Solve -4 - 6 = -u*l for l.
2
Suppose s - 4*q = -281, -2*s - 489 = 2*q + 33. Let r = 267 + s. Solve -5*t - 18 - r = 0 for t.
-4
Let a be ((-20)/(-14))/(-20*(-10)/1680). Solve 44 = h - a*h for h.
-4
Suppose 19*y = 25*y - 180. Suppose 8*a + y = 14*a. Solve a*n = -6 + 31 for n.
5
Let u(i) = -4*i + 16. Let o be u(-8). Let f = -48 + o. Suppose -n - 6 + 10 = f. Solve n = 3*w + 1 for w.
1
Let g be (-2)/(-8) - 133/(-28). Let u(t) = -t**3 - 3*t**2 + t - 6. Let h be u(-4). Suppose -2*o + 30 = -l + h*l, -l + 6 = -5*o. Solve l*r - r = -g for r.
-1
Suppose c - 2*w = -3*c + 8, 2*w - 28 = -5*c. Suppose c*s = -2*b - 196, -3*b - 2*s - 298 = 2*s. Let d = 104 + b. Solve 8 - d = 2*f for f.
3
Suppose 0 = 12*a - 31*a + 95. Suppose -a*x - 4*z = 0, -4*x + z - 4 + 25 = 0. Solve -c = x*c for c.
0
Suppose -59*o = 2*o + 26*o - 2697. Solve 9*q + 14 = -o for q.
-5
Let d be 135 + 2 + (5 - 2). Let m = 144 - d. Solve -10 = m*z - 2*z for z.
-5
Let k(g) = 8*g**2 - 42*g + 53. Let z(m) = 24*m**2 - 127*m + 158. Let p(j) = -17*k(j) + 6*z(j). Let u be p(1). Solve -u*r - 28 = -0*r for r.
-4
Let n(a) = -2*a**2 - 20*a + 27. Let t be n(-11). Let u be 1*8/(-16)*0. Solve u = -r + t for r.
5
Let q = 11 + -9. Suppose -s + 2 = -q. Let i be (5/(-2))/(6 - 588/96). Solve n = -s*n - i for n.
-4
Suppose -18*r + 7*r = 1210. Let d = 1 - 113. Let o = r - d. Solve 3*m + 7 = -o for m.
-3
Let f = 21 - 10. Let u(j) = 3*j**2 - 102*j + 200. Let i be u(2). Solve -i*p = -f*p + 6 for p.
2
Suppose 92*d - 90*d = 2. Let v be 15/(-20) + d + 407/4. Let h = -94 + v. Solve 0*a + h = 4*a for a.
2
Let h be 81715/413 - (40/14 - 3). Solve h - 188 = -2*v for v.
-5
Let v = -579 - -601. Solve v*x = -6*x - 28 for x.
-1
Let k = 24645 + -24585. Solve 130 + 230 = -k*p for p.
-6
Let o(l) = l**3 - 27*l**2 - 57*l - 36. Let v be o(29). Let k(s) = -s**2 - 8*s + 2. Let f be k(v). Let r be ((-2)/6)/(-2 - (-15)/f). Solve 2*h - r = -7 for h.
-3
Let x(n) = -n**3 - 9*n**2 + 4*n - 35. Let i be x(-10). Solve -i*j + 30 = -19*j for j.
5
Let r(o) be the first derivative of -2*o**2 + 15*o - 13. Let j be r(3). Suppose j*x = -5*d + 4*x + 13, 2*d = -3*x + 12. Solve -d*l + 2*l - 1 = 0 for l.
-1
Let f = -12602 + 13382. Solve -24 = -772*q + f*q for q.
-3
Suppose -10*v - 1743 + 3423 = 0. Solve -v = 2*k - 166 for k.
-1
Let v(f) = -f**2 - 25*f - 76. Let j = 3 - 23. Let w be v(j). Solve 5*z + w + 1 = 0 for z.
-5
Let k = -3875 + 3880. Solve k*l + 15 = 20 for l.
1
Let k be 7 - (-23 + -582 - (-2)/((-2)/(-3))). Solve -35 = k*j - 616*j for j.
5
Suppose 1568*z - 1482*z + 3 - 3 = 0. Suppose 0 = -5*t + 134 - 19. Solve z = -2*v + t - 19 for v.
2
Suppose -2*g - 74 = -4*o, -2*o - 3*g = o - 69. Suppose -32 = -5*j + 8. Suppose -5 = f - j. Solve -k - o = f*k for k.
-5
Let r be 7 + 260/(-35) + 2529/21. Suppose i + r - 122 = 0. Solve -n + i*n = -n for n.
0
Suppose 5*c - 25 = -3*j + 26, 3*j - 33 = -3*c. Let f be c/(-5)*4/(4/5). Let h = f + 9. Solve 3*d - d - 6 = h for d.
3
Suppose 27*w - 24*w - 12 = 3*t, 4*t + 5*w = 20. Solve -31*u + 32*u - 3 = t for u.
3
Let h = 25 + -23. Suppose h*q + 11 = -9. Let u be 2*(-3 + q/(-4)) - -7. Solve -u = 2*d + 2 for d.
-4
Let s(u) = -2*u**2 - 18*u + 92. Let k be s(-12). Suppose 5*c - 12 = c. Suppose 3*m + c*q = 8*m - 28, 0 = -2*m + q + 12. Solve 3*v = m*v + k for v.
-4
Let d(x) = 263*x + 6434. Let f be d(-22). Solve -f = -r - 655 for r.
-7
Let u = 21989 + -21939. Solve 0 = 508*m - 498*m - u for m.
5
Let q = -8899 - -8945. Solve -q = 25*m + 29 for m.
-3
Suppose 3*u - 97*i - 3974 = -102*i, 6630 = 5*u + 5*i. Solve -u*v + 7 = -1321*v for v.
1
Let y = 290 + -57. Solve -y*r = -247*r + 28 for r.
2
Let z = -36 + 44. Let c be z*((-90)/12)/(-15). Solve c = n + 9 for n.
-5
Let k(r) = -4*r**2 + 112*r - 739. Let i be k(14). Solve 23*y - 44 = i*y for y.
-2
Let z = -232 - -255. Suppose -43 = -4*x - z. Solve -x = -y - 3 for y.
2
Let l = -150 + 236. Suppose p - l = -84. Solve -4*a + p*a = 4 for a.
-2
Let t(o) = 3*o**2 + 76*o + 58. Let h = 352 - 377. Let s be t(h). Solve 8 = 37*l - s*l for l.
2
Suppose -5*d = 7*d - 2616. Let b = 221 - d. Solve w + 10 = b*w for w.
5
Let n(o) = -2*o**2 + 52*o - 31. Let i be n(26). Let v(h) = -h**2 - 33*h - 57. Let f be v(i). Solve -4*z + f + 7 = 0 for z.
3
Suppose -2*j - 3*o = -44, 5*o = -116 + 96. Solve -j + 28 = -3*i for i.
0
Let c(p) = -2*p + 14. Let k(u) = -u**3 - 3*u**2 + 17*u - 1. Let q be k(-6). Let s be c(q). Let j = -33 + 58. Solve -n = s*n + j for n.
-5
Let l be (30/(-42))/((-6)/42). Suppose 4*k - 13 = 4*t + 23, -43 = -l*k + 4*t. Solve -9*p = -k*p - 8 for p.
4
Suppose 20*f - 37*f - 51 = 0. Let j be 8/(-24) + (-31)/f. Solve j*l + 4 = 12*l for l.
2
Suppose -16*z = -15*z + 78. Let o = 91 + z. Let a = 17 - o. Solve -s - 12 = -a*s for s.
4
Suppose 15*d + 8688 = -d. Let x = d + 545. Solve 0 = x*w - w + 5*w for w.
0
Let l be ((-27)/12)/((-2)/8). Let r(b) = b**2. Let u(x) = -4*x**2 + 10*x - 9. Let f(t) = 3*r(t) + u(t). Let w be f(l). Solve 0 = -w*d + 5*d for d.
0
Let y(i) = -154*i**2 - 150*i + 4. Let f be y(-1). Solve 5*b - 60*b - 275 = f for b.
-5
Let q = -1368 - -1368. Let s(t) = t**2 - 3*t - 1. Let m be s(4). Suppose -m*h + 14 = -r