11, 0 = -3*r - 15. Solve -t = 8*v - 1 for v.
-1
Suppose -r = 3, -20*o + 22*o = -4*r + 252. Solve 36*j - o = 12 for j.
4
Suppose 12*f - 16*f + 768 = 0. Suppose f = 21*p + 66. Solve 34 = p*r + 4 for r.
5
Let u(g) = 31*g + 645. Let f be u(0). Suppose -3*l + 654 = f. Let w be (20 + -1)/(2 - 1). Solve 0 = -l*z + w - 4 for z.
5
Let v(b) = -2*b**2 - 8*b. Let j be 5/(25/6)*20/(-6). Let t be v(j). Solve s + t*s = 3 for s.
3
Let g = -17741 - -17960. Solve -26*s + g - 401 = 0 for s.
-7
Suppose 36*t = 35*t + 3. Suppose s = -t*s - 60. Let r = s + 40. Solve 0 = 6*h - h - r for h.
5
Let p = -553 + 553. Suppose p*t = -26*t + 78. Solve 0 = -t*g + g - 3*g for g.
0
Suppose 1178 + 754 + 164 = 131*c. Solve -14*g + c*g = -16*g for g.
0
Suppose 0 = -5*j + 2*h + 79, -4*h - 55 = -3*j + h. Let v be ((-18)/j)/((-6)/20). Suppose g + 33 = v*g. Solve 0 = -3*n - 1 - g for n.
-4
Let i = -152 - -172. Suppose -i = -9*m - 2. Solve 0 = 4*r - 10 - m for r.
3
Let w = 4335 + -4335. Solve w = 250*u - 243*u - 28 for u.
4
Let h(b) = b**3 + 62*b**2 + 23*b + 1440. Let q be h(-62). Solve q*g - 31*g = -34 for g.
2
Let k be 42/(-4)*(-4 - -2). Suppose 15*o - 261 = -k. Solve -o*i = -17*i + 3 for i.
3
Let m = 1102 - 862. Solve 0 = 2*w + 246 - m for w.
-3
Let d(t) be the first derivative of -t**2 + 23*t - 13. Let l be d(10). Suppose 2*p = -3*v - 7, l*p - p + 5*v = -13. Solve 3*u - p = 14 for u.
5
Let a = 332 + -344. Let d(v) = 3*v**2 + 37*v + 16. Let t be d(a). Solve -t*p = -6*p + 10 for p.
5
Suppose -60*q = -57*q - t, -4*t = 0. Let o(k) = 3*k - 1. Let j be o(3). Let z be (8/j)/((-1)/(-3)). Solve q = w + 2 - z for w.
1
Suppose 19 = 3*i - 5*y, -2*i + 5*y = -11 - 5. Let j be (1 - -2)/(i/4). Let s(r) = -r**3 + 3*r**2 + 5*r - 2. Let g be s(j). Solve g*n - 3 = -n for n.
1
Let j(l) = l**3 + 8*l**2 - 11*l. Let z be j(-9). Solve 14*w - z*w = -12 for w.
3
Let x be -75 - -78 - (163 - (1 - 1)). Let h = -147 - x. Solve 7 + h = 4*u for u.
5
Let b(q) = -2*q - 5. Let r be b(-4). Suppose -3*g + r*t + 3 = -45, 0 = g - 5*t - 32. Suppose -14*z + 18*z - g = 0. Solve z*i = 5*i + 8 for i.
-4
Let n = 303 + -288. Let o be 9 + n/(-3) - (-2)/(-1). Solve y = -y - o for y.
-1
Let y be -21 + 13 - (-5 + 2). Let t = y + 11. Suppose f - 15 = 3*q, -2*q = -3*f - t*q - 20. Solve f*w + 5*w + 20 = 0 for w.
-4
Suppose -i - k + 198 - 159 = 0, 5*i = 3*k + 227. Solve i*a + 42 = 64*a for a.
2
Let y be (-2 - (-2 - -1)) + 10432/163. Suppose -y - 39 = -3*b. Solve b = -o + 39 for o.
5
Let h = -52 + 48. Let k be -1 + 4/h - -77. Let g = k - 73. Solve g*p = p for p.
0
Let j be 1/(-22)*-4 + (-1072)/88 + 12. Solve 5*l + 1 - 16 = j for l.
3
Let j(y) = 18*y - 1108. Let u be j(62). Solve -12*l + 8 = -u*l for l.
2
Suppose 33*t - 246 + 114 = 0. Let j(b) = -2*b**3 + 2*b**2 + b. Let q be j(-1). Suppose g + o = q*o + 4, -t*o - 6 = -g. Solve 0 = -g*l + 3*l - 3 for l.
3
Suppose -q - 5*s - 10 = 0, 2*q = -0*q + s + 2. Suppose 2*w + 61 = -0*t + 5*t, 5*w - 2*t + 121 = q. Let f = w - -27. Solve -f*x + 20 = x for x.
4
Suppose -44*v - 50*v = -658. Let i(d) = -d + 2. Let z be i(-4). Solve -v*n = -5*n + z for n.
-3
Suppose -5*h - 3*x = -191, 4*h - x = x + 166. Suppose 6*t + 10 = h. Suppose 0 = f + 5*a - 18, t*f - 36 = f - 2*a. Solve -f*z - 3 = -5*z for z.
-1
Suppose 13 = -5*p - 12, -2*r + 7 = 5*p. Suppose -8*s + r = -0. Suppose -s*z + 5 = -5. Solve -2 = -z*j + 8 for j.
2
Suppose -6*b - 2*b + 242 = 3*b. Solve 19*d = -b*d - 164 for d.
-4
Suppose 77 = 2*i - z - 123, 5*z + 208 = 2*i. Suppose 22 = 11*l - i. Let v(f) = f**2 + 10*f + 9. Let m be v(-10). Solve 4*t + m + l = 0 for t.
-5
Let s be 7 - 3 - 3 - -4. Let j(i) = -i**3 + 6*i**2 - 4*i. Let d be j(5). Let r be ((15/d - 3) + -1)*0. Solve s*l - 17 + 2 = r for l.
3
Suppose -2*x + 656 = -86*d + 88*d, 4*x = 16. Solve 0 = 49*b + 5*b + d for b.
-6
Let f = -803 - -898. Solve f*s - 136*s - 246 = 0 for s.
-6
Let g(t) = -1. Let b(z) = -15*z + 20. Let x(y) = -b(y) - 6*g(y). Let i be x(2). Suppose 0 = 5*q - i*q. Solve q - 2 = -p for p.
2
Let u be (49 - 7) + (2 + -2)/2. Suppose -6*g - 4*f = -2*g - 40, -3*g + 3*f = -u. Suppose 3*q - g = -0. Solve 4*w + q = -0*w for w.
-1
Suppose -3*p = l + 4, 3*l = -202*p + 199*p - 12. Solve -37*b - 26*b = p for b.
0
Let r(h) be the first derivative of h**4/4 - 12*h**3 - 37*h**2/2 + 4*h + 16. Let k be r(37). Solve -k = -7*z + 8*z for z.
-4
Let t = 261 + -257. Suppose 0 = -3*z - 1 + 10, -t*s + z = -61. Solve 0 = -8*u - 0 + s for u.
2
Let a(y) = -14*y - 15. Let s be a(-9). Let l = s - 105. Solve 0 = -l*z + 5*z for z.
0
Let t be (-380)/76*(-2)/2. Let f(l) = -l**3 + 7*l**2 - l + 4. Let o be f(7). Let m(n) = -7*n. Let i be m(o). Solve t*j - i + 6 = 0 for j.
3
Suppose -5*i - d = -35, -7 = i - 6*d + 9*d. Solve -23 - 1 = i*b for b.
-3
Suppose u - 31 = -3*a, 3*u = 4*u - 4. Let j be 0 + 0/(4/(-2)). Suppose 5*f - 21 = p, -27 = -592*f + 591*f + 4*p. Solve j*b + f*b = a for b.
3
Let r = -7585 + 7629. Solve -52*v = -r*v + 16 for v.
-2
Let g be (-4)/((-8)/2) + 54 + -28. Solve 7*n + 55 = g for n.
-4
Let g(p) = -p**3 + 13*p**2 + 115*p + 23. Let c be g(-6). Let r(n) = n**3 - 5*n**2 - 8*n + 7. Let o be r(6). Let h = o + c. Solve -5*w - h = 13 for w.
-5
Let k be (1 + (-14)/10)/((-6042)/1525605). Solve k*o = 82*o + 114 for o.
6
Suppose -194*o = -191*o + 18, o - 136 = -2*a. Solve -10*h + a = 61 for h.
1
Suppose 3*q - 38 = -v, -19 = -3*q + 3*v - 1. Let d(x) = -2*x**3 + 25*x**2 + 11*x + 39. Let f be d(13). Solve -2*b + f = q for b.
1
Let i = -7698 + 7722. Solve 25*k - 17*k = -i for k.
-3
Let g = 7759 - 7745. Solve 13*i - g = 20*i for i.
-2
Let v = -306 + 341. Suppose v*m - 58 = 6*m. Solve 0 = 4*x - m - 14 for x.
4
Suppose 4*v - 4*n + 2*n - 12 = 0, -3*n - 14 = -4*v. Suppose 4*z - 12 = u, z + u + 1 = 9. Let o = -84 + 90. Solve v*t = o*t - z for t.
1
Suppose 17 = -3*l + 71. Suppose 84*s = 103*s - 57. Suppose -s*x = -61*x + 290. Solve -x*p - l = -8 for p.
-2
Suppose -h - 4*h - 25 = 0, h = -5*u - 3050. Let m = 636 + u. Solve -9*o - m = -0*o for o.
-3
Suppose -r + 0*u + 30 = -4*u, -2*r + 5*u + 54 = 0. Solve 85 = r*t - 47 for t.
6
Let g be (3/4)/((-42)/(-440) + (-3)/66). Suppose 4*r = 3*r + 1. Solve 0 = -7*f + r - g for f.
-2
Suppose -9 = 3*a - 9. Let d be 1*((-1)/(-1) - -2). Suppose u + d*u = 4*t - 12, -3*u + t + 1 = a. Solve -3*k = u*k - 5 for k.
1
Let f be (0/4 - 1)*41. Let h = 43 + f. Suppose -14 = -3*x - 2. Solve 2*o + h = x*o for o.
1
Let n(l) = 2*l**3 - 4*l**2 + 2*l + 1. Suppose -2*o + 7 = -t, 5*o + 0*o = -2*t + 4. Let m be n(o). Solve m*q + 10 - 5 = 0 for q.
-1
Let w be 0*(2 - -1)/3. Let l(v) = -v**2 - 34*v + 82. Let h be l(-36). Suppose h = 5*z - w*z. Solve z*o = -o - 9 for o.
-3
Let m = -7 - -18. Let z(f) = -10*f + 36. Let y be z(m). Let k = y + 77. Solve 2 = w - k*w for w.
-1
Let z be (2/(-6))/((-3)/45). Let c(y) = -7*y - 3*y + y**2 - 43 + 52. Let p be c(9). Solve -t + z*t + 16 = p for t.
-4
Let j be (8 - (5 - 1))/(-1). Let c = 0 - j. Suppose -22*p - 2*p + 96 = 0. Solve 2*z = p*z + c for z.
-2
Let u(s) = s**3 + 17*s**2 - 41*s - 785. Let q be u(-16). Solve q*c - 122*c = 10 for c.
2
Let g = -5610 + 5613. Solve j + g*j = 4 for j.
1
Let r be 2/(-10)*-1 - (-15288)/1560. Suppose 4*k - 37 = c, c = 2 + 1. Solve k = 4*d - r for d.
5
Suppose -25 = -5*d, -2*d + 7*d = t + 36. Let v(g) = g**2 + 15*g + 48. Let x be v(t). Solve -x*m - 15 = 1 for m.
-4
Let k be ((-1)/3*0)/3. Suppose 4*s + 3*f - 8 = k, 3*s + 3*f - 4 + 1 = 0. Let a(j) = j**3 - 2*j**2 - 30*j - 12. Let b be a(-4). Solve -s*z = -27 + b for z.
3
Suppose -1093*a + 24 = -1090*a. Let q be (-2)/a*(-17)/((-17)/(-12)). Solve -6 = q*l + 6 for l.
-4
Suppose 66*r + 45*r - 3060 = 9*r. Solve 56*s = -r*s - 430 for s.
-5
Let m = -6454 - -6474. Solve 8 = -m*g + 28 for g.
1
Suppose -4*w + 5*m + 13 = -99, 0 = 5*w + m - 169. Suppose 22*h - w*h + 22 = 0. Suppose 3*r - 19 = -4*p, -p + 6*p = 5*r + 15. Solve -p*b - 8 = -h*b for b.
-4
Suppose 3*u - 5*b = 4*u, -u + 2*b = 0. Suppose 7*p - 2*p + 75 = u. Let w = p + 17. Solve -4*x + w*x = 4 for x.
-2
Let u be -186 - -177 - 38*(1 - 2). Solve -20*a - 45 = -u*a for a.
5
Let o be 0*((-7)/(-2) + 4/(-1)). Let y be (2/4)/(4/240) - o. Solve 0 = c + 5*c + y for c.
-5
Let x(v) = -v**2 + 15*v - 48. Let r be x(10). Let f be r/7 - (-492)/287. Solve 0 = -4*g + 5*g + f for g.
-2
Suppose 4*n + n - 210 = -5*u, 0 = u - 4*n - 37. Let w = -32 + u. Let v(b) = b