 12, q*j = 4*i + n. Solve i = 3*p - 18 + 3 for p.
5
Let y = -1000 + 1965. Let w = -960 + y. Suppose -4*a = -10 + 2. Solve -15 = a*z - w*z for z.
5
Suppose 158*c - 124*c = 68. Solve -18 = -4*o + c for o.
5
Let g be 1176/(-147) + 1*11. Let o = 2 + -1. Let j be o + 1/(2 - 1). Solve -j*a - 3 = g for a.
-3
Let w = 80 - 78. Let l be (5 - 2) + (w - 2). Solve -v - l*v + 20 = 0 for v.
5
Let d = 7 + -4. Let v(z) = 2*z**2 + 65*z - 99. Let s be v(-34). Solve 0 = -d*f + s + 3 for f.
2
Let a be 1 + (-3 - -1*2). Suppose 3*h - 13 = 47. Suppose -5*i + a*i + h = 0. Solve -3 = i*q - q for q.
-1
Suppose 24199*u + 42945 = 24234*u. Solve 1235*r - u*r = -24 for r.
-3
Let p(c) = -24 - 45*c + 33*c + 1 - 6. Let z be p(-3). Solve 0 = -z*u + 2*u for u.
0
Suppose 23*i = 699 - 9. Let t be (45/i)/(6/(-8))*-5. Solve x = t*x + 9 for x.
-1
Let z be (70 + -70)/(0 - -1). Solve -26*b - 11 + 37 = z for b.
1
Let f be (-4)/(40/(-15))*40/15. Suppose f*i + 38 = 54. Solve i = -10*o + 12*o for o.
2
Let d(s) = 2*s**3 - 2*s**2 - s + 1. Let c be d(3). Suppose c*u = 40*u - 78. Suppose u*h - 46 = -7. Solve h*w + 15 = 6*w for w.
5
Suppose 0 = -8*v - 2*f + 66, 13 = -13*v + 12*v + 4*f. Solve -v + 42 = 5*g for g.
7
Let j be 4 - (-4 + 1) - -2. Let g(l) = l**3 - 7*l**2 - 18*l + 3. Let k be g(j). Solve -o = k*o - 20 for o.
5
Let m(z) = 33 - 63 - 18 + 2*z. Let s be m(15). Let a be 238/12 - 3/s. Solve -u - a = 3*u for u.
-5
Let c = -40 + 28. Let m be ((-18)/c)/((-6)/(-4)). Let h be -4*m + (4 - -9). Solve -2*n + h = n for n.
3
Let b(n) = n - 407*n**3 - 4 + 204*n**3 + 4*n**2 + 202*n**3. Let w be b(4). Solve w = -8*g - 16 - 0 for g.
-2
Suppose 0 = -91*c + 95*c - 164. Suppose -2*g + 29 = -5*o, -5*o = c - 16. Suppose -g*m - 4 = 0, 3*l - l - 3*m - 18 = 0. Solve 8*s - 6 = l*s for s.
3
Let i = 562 - 1080. Let v = i - -523. Solve b - v*b = -20 for b.
5
Let p = -106 - -135. Suppose -13*b + p = -75. Solve b*a + 52 = 12 for a.
-5
Let b(n) = 12*n + 215. Let s be b(-19). Let z(m) = -2*m**2 - 16*m + 133. Let a be z(s). Solve 0 = a*f + 1 - 4 for f.
1
Let s(w) = -4*w**2 + 761*w - 34395. Let h be s(74). Let l(i) = i**2 + 2*i. Let q be l(4). Solve -h = -3*c - q for c.
-3
Let c(v) = -4*v + 0 + 5*v + 1 + 13. Let l be c(-5). Let t = -5 + l. Solve w = -3*w + t for w.
1
Let a = 9 + -4. Let l be ((2/2)/(-4))/(178/(-712)). Suppose -2*b - l + a = 0. Solve -5*f + b = -8 for f.
2
Let y be (-297)/(-44)*(-9 - 62/(-6)). Solve 32*r = y + 183 for r.
6
Suppose b = -3*f + 2*b + 52, -61 = -4*f + 3*b. Suppose f = -u + 20. Suppose 0 = 5*c + 3 - 18. Solve u = -j - c for j.
-4
Let g be (-1)/(-6) + (595/(-30))/17. Let u be (-38)/(-19)*(-4)/g. Let d be (1 + -1)*(3 - 4). Solve d = -2*a + u for a.
4
Let y = -14435 - -14435. Let u be -6 + (-1 - -4) + 9. Solve y = -7*v + 4*v + u for v.
2
Let j = 2625 + -2592. Solve 5 = -7*w + j for w.
4
Suppose 4*q + 3 = 27. Suppose 0 = -19*k + 54*k - 70. Solve 2 - q = -k*p for p.
2
Let v = -502 + 479. Let s be (-66)/(-9) - v/(-69). Solve s + 3 = 2*o for o.
5
Suppose -22*t + 21*t + 21 = 5*p, -5*t + 9 = p. Suppose 2*j - 12 = -3*i, 2*j + 2*i + 2*i - 16 = 0. Solve j = -p*u + u for u.
0
Suppose -5*a - 2*t - 18 = -591, -3*a + 341 = 4*t. Suppose a = -5*r - 140. Let b = -43 - r. Solve 0*u + b = 2*u for u.
4
Let k(m) = 4*m + 8. Let t(z) = -3*z - 8. Let n(a) = -2*k(a) - 3*t(a). Let u be n(-6). Let v = 38776 + -38762. Solve -v + 8 = u*o for o.
-3
Let f(z) = -63*z + 4667. Let n be f(74). Solve -n*x + 34 - 9 = 0 for x.
5
Let p be 9 - -6*5/(-10). Let m be ((-64)/30 - p/(-45))*-1. Solve -m*h + 7*h = 15 for h.
3
Let u = 74 - 69. Suppose 0 = -u*v - 29 + 39. Suppose -2*k + 7*k - v*i = 110, -4*k = 5*i - 55. Solve -z - 4*z = -k for z.
4
Let m be 26/(3/(-6) + 9/6). Let b be (210/25)/((-3)/(-10)). Let q = b - m. Solve -q*s - 6 = 4 for s.
-5
Let s(o) = -478 + 19*o + 320 + o. Let f be s(8). Solve -f*n = -1 - 1 for n.
1
Suppose -4*d + 2*j - 126 = 0, d + 32 = 4*j - 10. Let o be 1 - d/9 - 2/(-3). Suppose 1 = o*z - 4*u, 0 = -2*z + 4*z - 5*u + 3. Solve -2*b = -z - 3 for b.
2
Let d be ((-11)/22)/((-3)/594) - (-5)/1. Solve g = -d + 108 for g.
4
Let g(o) = 4*o**2 + 20*o - 76. Let j be g(8). Solve 78*h + 106 - j = 0 for h.
3
Let j = -9844 + 9916. Solve 17*r + j + 47 = 0 for r.
-7
Suppose -41*i + 43*i + 60*i - 5270 = 0. Solve 14*g - 31*g = -i for g.
5
Let u = -39 - -54. Suppose 4*c = -2*f + 26, -5*c + 9*c + 4*f = 20. Solve -3*g = -c*g - u for g.
-3
Suppose 1 = a - r, 0 = 3*a + 2*r + 4931 - 4929. Solve 68*w - 16*w - 52 = a for w.
1
Suppose 120 = 3*g + 2*b, 80*g + 192 = 85*g + 2*b. Solve p - g = -38 for p.
-2
Let i be (-12 - 0)*(-87 + 95)*4/(-6). Solve -12 = 60*g - i*g for g.
3
Let z be (3/(-5))/(1/(-35)) + (5 - 11). Suppose 2*i = -2*t + 32, 2*t - 20 = -i - 0. Solve -18*y = -z*y - i for y.
4
Let i be -4*(6*-1)/((-21)/(-14)). Suppose 0 = -0*z - 2*z + i. Solve 6*x - 2*x - z = 0 for x.
2
Let a be 253/11 - 1*-3. Let p = 28 - a. Suppose 51 = 5*l - p*l. Solve -5*d + l = 2 for d.
3
Let p(c) = c**2 - 10*c - 50. Let l be p(14). Let h be 1*(-6)/9*l/(-2). Solve 0 = -2*d - h*d + 4 for d.
1
Let z be ((-78)/52)/((-651)/(-132) - 5). Solve 8*m = z - 86 for m.
-8
Let d(a) be the first derivative of 5*a**3/3 - 12. Let t be d(2). Let v be t/8 - 12/(-8). Solve 0 = -5*m + 19 - v for m.
3
Let n = 4786 - 4768. Solve 0 = -9*g + n + 9 for g.
3
Suppose -2*y - 3*y + 150 = 0. Let c = -19 + y. Let j(p) = -p**3 + 10*p**2 + 9*p + 22. Let u be j(c). Solve u + 1 = x for x.
1
Let o = -67 + 69. Suppose 2*j - 5*x = -3, -2*j + o*x - 6*x + 24 = 0. Suppose -j = 2*i - 12. Solve a - 12 = -i*a for a.
3
Suppose v + 160 = 6*v. Suppose 4*x - v = -0*x. Suppose 2*f + x = -2*q, 6*q + 16 = 2*q. Solve f = -3*l - 20 + 8 for l.
-4
Suppose 9*z - 4*z - 55 = -k, -z = 2*k - 20. Let d = z - 8. Let b = -2 + d. Solve -2*o + 5*o = b for o.
0
Let u = -11 - -7. Let j = -43 + u. Let f = j + 48. Solve 4*g = f - 13 for g.
-3
Suppose 353034*j = 352940*j + 564. Suppose -3*c + 11 = -4*o - 10, -2*c - o = -14. Solve -j*x - c = 5 for x.
-2
Let p = 32 - 30. Suppose 0 = -3*i - 3, k - i + 1 = p. Solve -3*b + k*b + 3 = 0 for b.
1
Suppose f = -5*y + 9, -6*y = -f - 2*y. Suppose -f*z + 11 = -45. Solve -4 = z*x - 10*x for x.
-1
Let y be (-4)/(-50) - (-20930)/875. Let b be 1/(y/(-16)*4/(-18)). Solve b = 4*q - 5 for q.
2
Let b(s) = 315*s**2 + 15*s + 4. Let c be b(-1). Solve 0 = 47*v + c - 69 for v.
-5
Let k be (-1 + -4)/10*2 - (-17 - 0). Solve -1 = -k*v + 15*v for v.
1
Suppose 0 = 2*q + 3 - 11. Let c(s) = -4*s + 70. Let i be c(17). Suppose i*a - q*k = a - 20, 5*k = 25. Solve a*h = h + 3 for h.
-3
Let i(k) = -9*k - 101. Let l be i(-13). Let r be (2 - l)*8/(-28). Solve -r*h + 13 + 3 = 0 for h.
4
Suppose o - 12 = 2*t, -3*o = 2*t + 750 - 738. Solve 13*y + 112 - 73 = o for y.
-3
Let z = -21 - -71. Let d be 3/2*(-6)/(-18)*z. Suppose -d = 45*l - 50*l. Solve x - l = -1 for x.
4
Suppose 157*w + 29*w = 312108. Solve 1675*h - w*h - 24 = 0 for h.
-8
Let d(b) = -b**3 + 52*b - 34*b**2 + 5*b**2 + 67 + 16 + 2*b**3. Let u be d(27). Solve u*v - 14 = 36*v for v.
-2
Let z be (-26)/8*(-25 + -3). Suppose 4*c - 8 - 2 = -g, -2 = 3*g - 4*c. Suppose g*j - z = -73. Solve 1 = -5*x - j for x.
-2
Suppose -45*t + 186*t + 24*t = 495. Solve 0 = -53*q + t*q - 100 for q.
-2
Let z(y) = -y**2 + 9*y + 2. Let g be z(9). Solve 28 = -9*c + g*c for c.
-4
Let w(t) = t**3 + 4*t**2 - 3*t. Let c be w(-3). Let g be (-4)/(-6) + c/(-27). Suppose 3*z = 39 + 6. Solve -i - 4*i + z = g for i.
3
Suppose -3*q - 128 = -5*k - 401, q + 5*k = 51. Solve 0 = -35*d - q - 59 for d.
-4
Let c = -39190 + 39365. Solve -127*s = -152*s + c for s.
7
Let i be (-9)/(-2)*(-16)/(-6). Suppose -9*x + 14 = -7*x. Suppose -x*a + 11*a = 0. Solve -4*k + a = i for k.
-3
Suppose 2*w - j + 0*j + 82 = 0, 5*w + 196 = -2*j. Let k = 42 + w. Suppose v - 6*g + k*g + 4 = 0, -3*g = -4*v - 3. Solve -6 = -2*i - v*i for i.
3
Let i(j) = -j**3 - 5*j**2 - j - 3. Let f be i(-5). Suppose 10 = 5*d, -f = -2*u + d + d. Suppose k + m + 82 = 5*k, 0 = m + 2. Solve u*l + k = -2*l for l.
-4
Let c = 248 + -147. Let p = -93 + c. Solve 2*n - p = -2 for n.
3
Let i(l) = -277*l + 2559. Let v be i(9). Solve -99 - 99 = v*d for d.
-3
Let d = -14687 + 14687. Let z be -6*(-1)/2*1. Let s be 4 + (2 - 1)*1. Solve d = z*b + s - 11 for b.
2
Suppose 220*w = 242*w - 2 - 240. Solve -u = -w*u - 50 for u.
-5
Suppose 4*g - 5*k - 194 = 0, 2*g = -0*g 