133 = -52*d + 111*d - 369. Solve -1 = d*i - 5*i for i.
1
Let q(y) = 69*y - 24. Let x be q(2). Suppose -174 + x = -10*i. Solve -35*o = -41*o - i for o.
-1
Let k = 22838 - 22782. Solve -265*l + k = -273*l for l.
-7
Let t = 47 + -45. Suppose -2*k + 0*h + 4*h = 0, t*h - 10 = -4*k. Solve 1 = k*j - 3*j for j.
-1
Suppose -85*s + 5403 = 1153. Solve s*c - 56*c + 24 = 0 for c.
4
Let j(z) = -8*z - 117. Let l be j(-15). Suppose -10 = -l*k - 0*m - m, 4*k - 14 = -2*m. Solve -k = -5*u + 12 for u.
3
Let u(i) = -i**2 + 2*i + 1. Let m be u(2). Suppose 3*f = -q - m, -2 = -4*f + 6*f. Solve 6*c = -32 + q for c.
-5
Let k = -3407 + 3429. Solve -f + 21 = -k*f for f.
-1
Suppose -201*r + 12*r = 33*r - 6882. Solve -r*f - 34*f = -260 for f.
4
Suppose -3*q + 3*i + 12 = 0, -2*q + 9 - 11 = 3*i. Solve -g + 1 = -q*g for g.
-1
Let w = 27 + -26. Let y be (-19)/(-19)*(-1 + w). Solve y = 3*m - 7*m for m.
0
Let o(t) = 61*t - 240. Let k be o(4). Suppose -5*x - 2 = -3*w, -9*w + 4*w + k*x = -12. Solve w*y = -0 - 16 for y.
-4
Let v(s) = -3*s**2 - 23*s - 42. Let z be v(-3). Solve z = 16*g - 10*g + 12 for g.
-2
Let f be ((-56)/(-21))/(1/9*3). Suppose 3*h - 4*h - 2*a - f = 0, -3*h = -2*a - 8. Solve -3*n = -h + 15 for n.
-5
Let v = -16350 - -16358. Solve v*y - 725 = -701 for y.
3
Let c(w) = -5*w + 122. Let o be c(20). Let k be (-3 - -3)/(o/(-11)). Solve k = 5*y + 22 - 7 for y.
-3
Suppose -353*v + 333*v + 36849 - 13129 = 0. Solve 0 = -2*w + 1198 - v for w.
6
Let k(h) = h**3 + 7*h**2 + 14*h + 57. Let i be k(-6). Solve -i*q + 426 = 471 for q.
-5
Let h = 1222 + -1025. Solve -b = h - 205 for b.
8
Let f = 0 + 5. Suppose -3*a = -9*a - 16*a + 396. Let o be a/f - -3*(-12)/(-90). Solve 0*x = -o*x for x.
0
Let v = 1070 - 1038. Solve 19*u = v*u - 26 for u.
2
Let h be (3 - (-738)/(-234)) + (2660/26)/2. Solve -11*c + h - 29 = 0 for c.
2
Let q(h) = h**3 + 3. Let m be q(0). Suppose 10 = 5*d - m*g, 5*d - 6 = 2*g + 4. Suppose 5*c = -d*c + 14. Solve 0 = -4*s + 2 + c for s.
1
Suppose -4*s - 5*k = -357, 5*k - 67 = 4*s - 334. Solve s*z = 88*z - 60 for z.
6
Suppose 82*z = 86*z - 4. Let o be (z/(-3))/((8 + -14)/90). Suppose 0*v + v = 2. Solve i + o = v for i.
-3
Suppose 155 = -40*y + 45*y. Suppose -4*k = -0*w + 5*w - y, -40 = -5*k - 5*w. Solve -2*l + k = 1 for l.
4
Let w(k) = -3*k**3 + 3*k**2 + 11*k + 11. Let o(i) = 4*i**3 - 3*i**2 - 13*i - 11. Let b(q) = 4*o(q) + 5*w(q). Let s be b(-3). Solve j - s = -4 for j.
-2
Suppose -3*j + 2 = 4*t - 6*t, 3*t + 5*j - 16 = 0. Suppose t*s = 5*v - 12, 0 = 25*v - 26*v + s. Solve v*o - 8 = 4 for o.
3
Let z(s) = -3*s**2 - 2*s + 1. Let w be z(1). Let v be 0/(5/(-20)*w). Suppose 4*y - 24 = -3*l - 0, v = -l - 4. Solve -y = -o + 4*o for o.
-3
Let p be (-1 - -1)/(-2) - (-84)/6. Suppose -2*c - 58 = -p. Let y(h) = -h**3 - 23*h**2 - 23*h - 21. Let a be y(c). Solve 0 = -5*q + a + 19 for q.
4
Let i be -2*(-1 - (-2)/(-2)). Let c be 5082/363 + 18/4*-2. Solve -d = -c*d + i for d.
1
Let y(m) = m**2 + 81*m - 612. Let a be y(7). Let t = 45 - 25. Solve -a*u = u + t for u.
-4
Let v be (-14)/(-21) + (-134)/3. Let t = v - -49. Solve -2 = 4*h - t*h for h.
2
Suppose 5*r - 10*r = -4*r. Let y = r + 138. Let h = y + -133. Solve -2 = 3*s - h*s for s.
1
Let u(k) = -3*k + 51. Let b be u(17). Suppose b = -25*r + 19*r + 30. Solve -l + r*l = 0 for l.
0
Let l = 142 - 142. Let y be (-2)/(-6) + l + (-66)/(-18). Let b be -1*(1 + -3) + 2. Solve -2*d - y = -b*d for d.
2
Suppose 4*z = -4*c + 12, 2*c = -5*z + 6 - 0. Solve z = 17*a + 3*a for a.
0
Let y = -459 + 476. Suppose 4*c = -2*x + 52, -2*c + y*x = 14*x - 42. Solve -54 = -c*k + 21 for k.
5
Let l = 386 + -374. Suppose -j = -14 + l. Solve 0*n = j*n for n.
0
Let p(b) = 2*b. Let s(j) = 56*j - 23. Let q(w) = -4*p(w) + s(w). Let o be q(1). Solve 0 = 8*z - 13*z + o for z.
5
Suppose -6 = -3*b + 39. Suppose -3*h - 2*h = -b. Let c(z) = z**3 + 4*z**2 - 8*z - 9. Let n be c(-5). Solve h*i + 3 = n for i.
1
Let w(d) = -d**3 + 18*d**2 + 24*d - 72. Let u be w(19). Suppose -22*g = -u*g. Solve g = 4*s - 13 + 1 for s.
3
Suppose -15 = -3*s - 59*u + 57*u, 4*s + 4*u = 16. Solve -s*p - 87 = 22*p for p.
-3
Suppose -2*w - 3*f + 2 = 3, -2*w + 7 = -5*f. Let g = 11339 + -11333. Solve -g*r = 29 + w for r.
-5
Let o = 35239 - 35223. Let i = -1 + 2. Solve i = -3*a + o for a.
5
Let r(x) = -x**3 + x**2 + 3*x - 3. Let u be r(1). Suppose 12*o - 134 - 58 = u. Solve 4*j = -0*j + o for j.
4
Let g(i) = i + 10. Let z be g(-10). Suppose 15*v - 6*v + 486 = z. Let o = v - -58. Solve -o*q - 2 - 2 = 0 for q.
-1
Let u be ((-5)/10)/((-26)/12 + 2). Let a(n) = -23 + 2*n + 3*n - n**u + 27. Let v be a(-2). Solve 2*y + 8 + v = 0 for y.
-5
Suppose -c + 14 = 3*h, 20 + 6 = 2*h + 4*c. Solve -41*o - 38 = -h*o for o.
-1
Suppose -9*t - 41 + 23 = 0. Let a be 28*(-1)/7*t. Solve 2*v + 0*v - a = 0 for v.
4
Suppose -1651 = 22*o - 4731. Solve 60*a = o*a - 80 for a.
1
Let t be 2/5 + (-42)/35*-13. Suppose -3*n = -o + 4 + 8, -4*n = -o + t. Solve -q + 2*q + 2 = o for q.
-2
Suppose -n + 152 = -x + 140, -5*n - 5*x = -20. Solve 9*k + n = 8*k for k.
-8
Let p be (-16)/12*3*-1. Suppose -503*d = -469*d - 68. Solve p = 3*y - d*y for y.
4
Let y(q) = -4*q + 95. Let f be y(18). Suppose b + c = 10, -2*b + 4*b - f = -3*c. Solve -b + 2 = 5*w for w.
-1
Let x(m) = 9*m + 25. Let z be x(5). Let a be 51/(-34) + z/4. Solve -11*n + 7*n - a = 0 for n.
-4
Suppose -40*k + 87 = -633. Let f be (-3 - -5)*171/k. Solve f = 5*l + 4 for l.
3
Let z = -1239 - -1243. Solve -z*d = 21*d for d.
0
Suppose 2*n - 66 = 5*b + 10, -4*b = 4*n - 96. Let l(y) = 2*y**3 - 56*y**2 + 2*y - 47. Let q be l(n). Solve a = 7 - q for a.
-2
Suppose 0 = -x + 2*y + 156 - 148, 2*x + y + 4 = 0. Solve x = 6*q + 13*q + 114 for q.
-6
Let a be (78/(-208))/((-6)/240). Solve a*b - 63 = 24*b for b.
-7
Suppose 0*z + z = 3*b - 11, -3*b = -3*z - 3. Solve -2*g = z*g + 6 for g.
-1
Suppose -5*t - u = -648, -2*u - 2 = -18. Solve 152 = -35*n - t for n.
-8
Suppose 5*d = -248 + 693. Let w = -10072 + 10146. Solve d = 3*l + w for l.
5
Let i(v) be the third derivative of -v**4/12 + 4*v**3/3 - 23*v**2 + 2*v. Let d be i(4). Solve d = g - 2*g - 1 for g.
-1
Let c(p) = -p**3 + 7*p**2 + 15*p - 28. Let n be c(8). Let h(l) = -6 + 8*l**2 - 10 - l**3 - 13*l + n*l - 12*l. Let t be h(8). Solve 0 = -3*s - s + t for s.
2
Let g be ((-144)/(-252))/(((-2)/(-7))/2). Suppose 3*x - g = 2*x, -4*x + 79 = 3*n. Suppose -18 = 12*v - n*v. Solve -3*b + 5*b = -v for b.
-1
Let l(i) = -i**2 + 5*i. Let z be l(4). Suppose 2*w = 20 - z. Let n be 2 + 28/(-13) - 100/(-650). Solve n = p + p - w for p.
4
Let a(m) = m**3 + 5*m**2 + 32*m - 64. Let t be a(2). Suppose -x = 3*i + 4, -2*x - i + 4 = -x. Solve -x*r + t = -r for r.
4
Let q(c) = -5*c - 17. Let s be q(-4). Suppose -4*k + 39 = 5*u, -2*u + s*u - 4*k - 27 = 0. Suppose u*x - 7*x = 0. Solve 8*m - 3*m - 5 = x for m.
1
Let g(q) = -8*q + 65. Let c be g(10). Let o(s) = -s**2 - 16*s - 15. Let t be o(c). Solve t = -4*x - 0*x for x.
0
Suppose 0 = 4*w - 4*x - 76, 0*w - 5*w + 3*x + 93 = 0. Solve 1862*i + w = 1859*i for i.
-6
Let y be ((-140)/(-21))/((-8)/300). Let z = -232 - y. Solve 7*v = v - z for v.
-3
Suppose 6192 = 72*g + 113*g - 13*g. Solve 695*w - 704*w = g for w.
-4
Let n be (-3)/6 - -1*3/6. Let i be (-4 - -4)/(1 - n). Suppose i = 7*f - 0*f - 42. Solve -3*c + 5*c - f = 0 for c.
3
Let f = -2235 - -2250. Solve -544*y - f = -541*y for y.
-5
Suppose -184 = -3*z + 4*z - 3*v, 2*v = 2*z + 356. Let g = z + 197. Solve -l = g - 18 for l.
-4
Let p = 14 - 14. Let v = 143 + -285. Let q = -138 - v. Solve q*x + p*x = 16 for x.
4
Let w(u) = -25. Let c(s) = s - 24. Let n(k) = -3*c(k) + 4*w(k). Suppose 3*g - 5*r + 5 = 0, 0 = -2*g - 2*r - 15 - 15. Let b be n(g). Solve -p = b*p for p.
0
Suppose -4171*i + 4178*i = 210. Solve 102 = -22*f - i for f.
-6
Let r = -12273 + 12294. Solve 0 = -36*w + r*w - 90 for w.
-6
Let q = -369 + 420. Suppose 55*h - q*h - 28 = 0. Suppose 22 = 4*k - 5*y - 6, 5*y + 10 = -5*k. Solve -h + 13 = k*l for l.
3
Let x be (-9)/(-6) - (-9)/(-6). Suppose 4*r - 4*n - 40 = -0, -3*r + 4*n + 35 = x. Solve r*t = -t for t.
0
Suppose 3*v = 3*c - 122 - 34, 4*v - 208 = -4*c. Solve c*h = 42*h + 40 for h.
4
Let q(p) = 6*p**2 + 1. Let o be q(1). Let c(s) = -4*s + 26. Let y be c(o). Let f be y*(-85)/30*3. Solve f - 42 = 5*z for z.
-5
Let v(i) = -i**3 + 12*i**2 - 34*i + 177. Let s be v(10). Solve 0 = -23*c + s*c 