13 = -3*v for v.
4
Let f = -3399 + 3405. Let h = -13 + 17. Solve 4*r - 16 = -2*x + f*x, x = h*r - 13 for r.
3
Let a(x) = x**3 + 11*x**2 - 12*x + 14. Let p be a(-12). Let s = 22 + p. Let q = -10 + s. Solve 3*j + 10 = -w, -3*j - 9 = -4*w + q for w.
5
Suppose 4*k - 2*k = -3*k + 15. Solve k*t + 28 = 5*d, 36*t + 18 = 3*d + 33*t for d.
5
Suppose 12*j = 52 + 8. Suppose 0 = -j*b + 20 - 10. Suppose -r = -b*d - 19 - 5, 51 = 3*r + d. Solve -4*c + c = -3*z + 15, 2*z - r = 4*c for c.
-4
Let q be (-5)/2*(9 - 11). Let y be q + (-11 - -4) - -7. Solve a + 3*l = 2, 6*l - l - y = 0 for a.
-1
Suppose 37*x = 69*x + 122*x - 1078. Solve 2*b = -o + 3, -4*b - 2*o - 8 = -x*b for b.
2
Suppose 0 = 2*k + 4*z - 26, 4 - 7 = -3*z. Suppose -2*y + 2 = 2*q, -9*y + k*y = 2*q + 18. Solve 0 = t - 4, -12 = y*b + t + 4 for b.
-4
Let p be 3/84*248 - 7 - 2/(-14). Solve 5*m = 5*x - 20, 8*x - 33 = p*m - 7 for x.
3
Let k(y) = -y**3 - 5*y**2 - 2*y - 44. Let m be k(-6). Solve -2*w - 3*w - m*u + 5 = 0, -5 = 10*w + 5*u for w.
-3
Let j be (-63)/(-8) + 4/32. Let p(d) = 3*d + 5. Let h be p(j). Suppose -3*w + 2 = k - 6, 5*k + 4*w = h. Solve v - 5*x + 23 = 0, v - 5*v = -k*x + 32 for v.
-3
Suppose -6*m - 21 = -2*j + 23, 3*m = -5*j + 128. Solve j = -5*f - 5*w, 15*f + 5*w + 25 = 14*f for f.
0
Let g be 10/(-4) + (-4403)/(-238). Solve 5*k + g = -0*w + w, 0 = -4*k + 3*w - 15 for k.
-3
Let a(t) = 5*t**3 + t**2 + 89*t - 91. Let s be a(1). Solve -3*p + 8 - 3 = z, -4*p - 4 = s*z for z.
-4
Let f = 11 + -12. Let x be 0/((-5)/f) + 4. Let m be 2 + -4 + x + (2 - 2). Solve b = c - 2, m*c - 5*c = -b - 6 for b.
0
Let a(p) = -34*p - 4653. Let w be a(-137). Suppose -z = 2*r - 4, 0 = -z + 3*z + 5*r - 5. Solve 2*h + 2*n = 6*h + z, 4*h - w*n = -7 for h.
-3
Suppose 24*s = 70 + 2. Solve -s*y + 5 = -5*d, 0 = 2*y + 2*y for d.
-1
Let y = 11435 - 11389. Solve z = -3*k + 17, 45*k - 4*z + 24 = y*k for k.
4
Let y be (15/(-12))/((-15)/9) + (-2248)/(-32). Solve -q = g, 69*g = y*g + 10 for q.
5
Let z(k) = k**2 - 8*k - 22. Let t be (-16)/(-88) - (-3 + 291/(-33)). Let q be z(t). Solve 3*v - 3*c = -24, q = -4*v + 2*c - 0*c for v.
-5
Let n be (-3)/4*7*(-128)/112. Solve -4*i + n = -6*i, 5 = -5*b - 5*i for b.
2
Suppose 120 = -5*o + o. Let g(r) = -r**3 - 8*r**2 + 12*r - 7. Let m be g(-9). Let t = o - m. Solve 4*u + 5*z + 6 = -29, 3*u - t*z = -3 for u.
-5
Let k(q) = 4*q**2 - 39 - 41 + 3*q + 82. Let o be k(-1). Suppose 0 = o*u + 5*p + 4, -2*u - p + 4 = u. Solve 4*b + b = -n + 11, -u*n = -b for b.
2
Let q = 65 + -60. Suppose 10 + 14 = 2*r + q*x, -5*r + 2*x + 89 = 0. Suppose r*i = 6*i. Solve -2*p + 2*m - 8 = i, 2*p = -2*p - 3*m + 12 for p.
0
Let p be -3*1 + 9/(9/(-2)). Let i be -1 + -1 + (4 - (p + 1)). Suppose i*w - 7*w + 4 = 0. Solve 5*l + 9 = -w*b, -b + 0 = -4*l - 3 for l.
-1
Suppose -45 = 5*g - 60. Solve 0*q = 5*b - 2*q - 13, 2*b + g*q = -10 for b.
1
Let f be -8 + -3*1/3 + 4. Let j be (f/6)/(14/(-84)). Solve -10 = -2*o - 5*k, 0 = o - 3*o + j*k - 10 for o.
0
Let z(m) = -19*m + 6*m**2 - 227 - 2*m**2 + 207. Let y be z(-1). Solve 0 = 5*i - 2*o + 17, i - y*o - 10 = -3 for i.
-5
Let r = -6811 - -6813. Solve 0 = -r*q - 5*y + 13, 5*y + 3 - 8 = 0 for q.
4
Let a = -173 + 170. Let o(p) = -21*p - 59. Let x be o(a). Solve 2*u + 12 = 3*f + u, x*u = 0 for f.
4
Suppose -i + 26 = l + 2*l, 5*i - 34 = -3*l. Suppose -l*o + 16 = -10*o. Let z be -1*o/12 - (-19)/3. Solve 5*p + 15 = m - z, p = 3*m + 4 for m.
-3
Suppose -2*c = 2*p, -4*c - 3*p - 74 = -78. Solve c*g = 2*j + 6, 3*g + g - 3 = 3*j for g.
3
Suppose -221 = -5*f - 3*n, 40*f = 36*f - 3*n + 181. Solve -3*c = 2*r - 9, f*c = -3*r + 35*c + 14 for r.
3
Let p(h) = 15*h - 31*h + 10*h + 70 - 4. Let s be p(9). Solve 4*y + 5*v - 1 - 15 = 0, 3*y + 3*v - s = 0 for y.
4
Let b = -9450 + 9479. Solve -d - 7 = 26*u - b*u, 4*u = d + 8 for d.
-4
Suppose -163 = 5*y - 268. Suppose -5*b + 4 = -y. Solve 0 = 2*j - x + 4, -22 = b*j - 5*x - 2 for j.
0
Let o(k) = 10*k - 55. Let b be o(7). Let g be 2/b - 473/(-165). Solve 3*x + 2*r = -x - 24, 4 = g*x - 4*r for x.
-4
Let n = -144319 - -144323. Let k be (2 + -1)*(-1 + 5). Solve 5*f = k*b - 2, n*f + 20 = -4*b + 4 for f.
-2
Let w(c) = c**2 - 7*c + 16. Let d be w(3). Let k be ((-2)/d)/((-3)/36*2). Suppose 29 = k*f - 25. Solve l - 4*z = -f, 0*l + 2*z = 2*l + 12 for l.
-2
Let w(t) = -5*t**3 - 30*t**2 - 2*t - 11. Let r be w(-6). Solve -3*k + q = r, -5*q = 5*k - 0*q - 5 for k.
0
Suppose 6 = 3*y - y. Suppose 6 = -y*s + 27. Suppose -n - s = -19. Solve 2*q = 4*d - n, -2*d - 4*q = -2*q for d.
2
Suppose -47 = -15*j + 28. Suppose -9*t = -2*t. Suppose -2*r - 2*r + 48 = t. Solve 3*v + v = -j*i - 21, 0 = 3*i + 3*v + r for i.
-5
Let f be (-2)/(3 - (-465)/(-153)). Let p = 78 - f. Let b = p + -27. Solve 2*j - 5*r = -3 + 5, 4*j - 3*r + 10 = b for j.
-4
Let t be (7/((-14)/(-99)))/(5/60). Suppose -36*a + 9*a = -t. Let u be (-1)/(1*2/(-10)). Solve -a = -2*o - u*q, -3*o + q + 3 = 4 for o.
1
Suppose -2*g = 4*b - 7*g - 70, 0 = -4*b - g + 82. Suppose -4*t = -16, -4*t + b = -3*w + 4*w. Solve -w*r + 3*v + 13 = 0, 3*r - 4*v = 5*r - 12 for r.
4
Suppose 0 = 4*i + 2*d + 356, -4*i = -i + 3*d + 261. Let k = i + 95. Let q = 21 - 18. Solve -2*t - 1 = l + k, -q*l = t + 10 for t.
-1
Let g(d) = d**2 - 6*d + 8. Let u be g(7). Suppose -22*k = -17*k - u. Suppose 3*s - 7 = 2*c, 0*s + 4*s - 32 = -k*c. Solve -c = m - 2*y - 3, 2*y + 3 = -3*m for m.
-1
Let j be (-15)/((-40)/4*11/132). Suppose -j*x - 44 = -116. Solve 2*c - 2 = x*c + 2*o, 2*c - 18 = 3*o for c.
3
Suppose -1832 = -3*n - n. Let c = n + -454. Solve -2*j + 2*u = -10, c*j - 3*u + 1 = 16 for j.
0
Let d be -9 - -1 - 8*-1. Solve 4*g = -a + 2*a, d = -4*a - g for a.
0
Let t(p) = 31*p + 494. Let b be t(-15). Solve -1 = -l - w, -26*w - 7 = l - b*w for l.
-1
Suppose -4*m + 197*j - 193*j = -40, -4*m - j + 15 = 0. Solve 27*v - 28*v - 15 = -3*z, -m*v - 4*z = -20 for v.
0
Suppose 3*r + 2*x - 67 = 0, -13 = -5*r + 3*x + 67. Suppose 46 = r*u - 11. Solve 2*h + 3*v - 1 = 2, -u*h = -2*v + 15 for h.
-3
Let x(v) = -v**2 + 63*v - 528. Let o be x(10). Solve -o*j - 15 = g, 75*g - 70*g = -5 for j.
-7
Suppose 42*i + 9*i - 4212 = -111*i. Solve 0 = -25*o + 22*o - 5*t - 18, 0 = 5*o - t - i for o.
4
Suppose -327 = -53*t + 7 + 37. Solve -h = 3*w + t, 22*w - 3 = 17*w + 2*h for w.
-1
Suppose -4*b - 32*u + 34*u - 62 = 0, -b = -3*u + 28. Let n = b + 18. Solve t + 9 = -3*q + 26, -35 = -5*t - n*q for t.
2
Suppose -7*j = 12*j + 114. Let o be 5/2 + j/(-12). Solve 0 = -2*a + 5*z + o, 5*z + 3 = a - 1 for a.
-1
Let w = 7 + -2. Suppose 11 - 3 = -4*c + 5*t, -w*c + 5*t = 5. Suppose -32*g + 18 + 110 = 0. Solve -c*a = -k + 7, -k - 5*a - 45 = g*k for k.
-5
Suppose -3*w - p + 8 = 19, 5*p = -4*w - 22. Let k be w*((-10)/(-18))/((-7)/21). Solve 4*a - k*o = -33, -23 = 4*a - 2*o - 5 for a.
-2
Suppose u = 4*m + 45, 5*m + 114 = 3*u + 7. Solve 6*t - 11*t = -4*o - u, 2*o = 5*t - 27 for t.
5
Let z(b) be the first derivative of 59*b**2/2 - 228*b + 176. Let x be z(4). Solve 10 = -5*g + 4*n, 9*g = 5*g - 4*n - x for g.
-2
Suppose 0 = -136*k + 3 + 48 + 357. Let d be (-4)/(-6) - 26/(-6). Solve -k*y - 3*x = -12, -20 = -6*y + 5*y - d*x for y.
0
Let q = -358 + 498. Let u = 144 - q. Solve n - 10 = 3*v, u*v + 9 = -3*n - 0*v for n.
1
Let s(k) = 2*k - k + 0*k. Let d be s(2). Let x = 21147 - 21147. Solve -f = 5*q + 19, 2*q + x*q + 14 = -d*f for q.
-3
Let k be 5/45*-3*-6. Suppose k*s - 8 + 16 = 0, -4*s = -4*g + 16. Solve 4*x + 25 = -5*c, g + 10 = -5*x - 2*c for x.
0
Let n = 2413 - 2409. Solve 2*m - n*i + 0*i = -6, -4*m + i = 12 for m.
-3
Let g be (45/10*24/18)/(2/1). Suppose 0 = -3*m + 4*m. Solve -3 = p, -g*p + m = -5*z + 14 for z.
1
Let v be (-100)/(-60)*(8/(-10) + 2). Let s = -188 - -190. Solve 5*w - 2*h + 30 = 0, v*w - s*h - 8 = -26 for w.
-4
Suppose -5*a = -n + 17, 2*n - 5*a - 23 = -2*n. Let z be 5/(-3)*(-5 - -2). Suppose l + 12 = z*l. Solve 6 = -5*y - t + n, -l*y + 2*t = -8 for y.
0
Suppose 37 = 3*g + 4*s, -2*s - 161 + 208 = 3*g. Solve t - g = 4*t - 2*d, 8 = -t + d for t.
-3
Suppose q - 4 - 6 = 0. Let c(s) = s**3 + 5*s**2 - 4*s + 3. Let z be c(-6). Let v be -1 - z/4 - (-21)/28. Solve -2*a + 2 + q = v*t, a = 1 for t.
5
Let o(g) = 2*g**2 - 31*g + 21. Let w be o(15). Suppose 4*f = -2*z, -w*f - 12 = -2*f. Solve 0 = 2*m - 4*s + z*s + 2, 0 = 3*m + 4*s + 1 for m.
-3
Let n = -312 + 315. Solve -t - 13 = 5*g + 3*t, -3*g - n*t = 6 for g.
-5
Let 