or s.
-3
Let d(u) = 8*u + 19. Let c be d(-2). Let s be c/(2*(3 - (-84)/(-32))). Solve 2*k = -2*k - s for k.
-1
Let w = 36 + -66. Let r = w - -33. Suppose 6*c = r*c - c. Solve 2*f + 2*f = c for f.
0
Let h(d) = -4*d - 4. Let p be h(-1). Let i(n) = -n + 1. Let v be i(-8). Suppose -v*b = -4*b + 2*s - 56, 4*b = -4*s + 40. Solve p = -r + 4*r + b for r.
-4
Let p(t) = -5*t**2 - 24*t + 40. Let f be p(-6). Let a(c) = c**3 + 5*c**2 - 6*c - 1. Let v be a(-6). Let w be (-3)/(-2)*(f/12 - v). Solve 5*m = w*m - 9 for m.
-3
Suppose 4*m + 6*i - i - 15 = 0, 12 = -4*m + 4*i. Solve -3*j - 131 + 134 = m for j.
1
Suppose 1001*k - 979*k - 66 = 0. Solve 0 = 36*x - k*x - 33 for x.
1
Suppose -5*a = -j + 269, -2*a - 106 = -0*a - 2*j. Let q = a - -64. Solve -q = 2*x - 12 for x.
1
Suppose 19*u - 80 = 23*u. Let o(d) = -2*d - 37. Let q be o(u). Let f(j) = -j**2 + 6*j - 5. Let l be f(5). Solve l = y + 5 - q for y.
-2
Let q be (1 + 316/(-52))/((-112)/1456). Solve -6*z - q = -108 for z.
7
Let b be ((-9)/6)/(-3) - (-12)/8. Suppose 35 = -u + 3*u - 3*z, -5*u + b*z = -71. Solve 11 = h + u for h.
-2
Let m(j) = j**2 + 6*j + 11. Let h be m(-7). Suppose -2 = g - h. Suppose -a = 4*o + g, -6*a + o + 4 = -2*a. Solve 0 = -a*b - b + 1 for b.
1
Let m be (-768)/(-32) - (-1 + -17). Solve 0 = -13*t - m + 146 for t.
8
Suppose 468*z - 2516 = -1580. Let w be 3 + 1 + 1*-1. Solve -z*c = c + w for c.
-1
Suppose -4*b + 2*b = -3*t - 3, 4*t = 4*b - 8. Let h(x) = -x + 5. Let v be h(5). Solve -7*k + b*k - 12 = v for k.
-3
Let r = 3469 - 2573. Solve -12*i = 908 - r for i.
-1
Suppose 5*p - 1203 = -4*x, 10*x = -5*p + 14*x + 1187. Solve 199 - p = 8*q for q.
-5
Suppose -2*c + 7 = 5*s, -3*c + 13 = -s - 6. Suppose -c*q = -37 - 53. Let v(p) = p**2 + 16*p - 17. Let w be v(-17). Solve -3*m + w*m = -q for m.
5
Let s(m) = -10*m + 138. Let p be s(13). Let x be p + -5 + 4 - 15/5. Solve -7 = -x*w + 5 for w.
3
Let m(g) = 5*g + 58. Let c be m(8). Suppose 0 = 99*v - c*v. Solve v = 4*z - 12 + 20 for z.
-2
Suppose 2869 = 13*c + 529. Suppose 29*m + c = 33*m. Solve 4*r - 37 + m = 0 for r.
-2
Let k be (8/20)/((-3)/(-15)). Suppose 0 = 3*t - 4*t + 2*z + 12, -k*t + z + 15 = 0. Suppose 14 = 4*v + 14. Solve v = h - t*h + 20 for h.
4
Let x(d) = d + 14. Let a be x(-10). Let v = 102 - 104. Let r be (v/(-4))/((-21)/(-126)). Solve 2 = -r*t - a for t.
-2
Suppose 0 = -2*w - 2*g - 112, 2*w + 77 = 3*g + 2*g. Let l be (-3)/6 + (8 - w/2). Solve -u - l = -36 for u.
3
Let h(k) = -k**3 - 4*k**2 - 51*k - 140. Let g be h(-3). Solve -162 = g*i + 23*i for i.
-6
Let t = 60 - 55. Suppose t*u - 12 = 3*u + 4*c, 0 = 3*u - 5*c - 17. Suppose -2*r - 52 = -a - u*a, -4*a + 43 = -3*r. Solve -2 - a = -4*q for q.
3
Let l be ((-875)/15 - (-56)/42)*(3 - 5). Solve -l = 27*z - 8*z for z.
-6
Suppose 4*j - 53 + 41 = 0. Suppose 4*r + 20 = 0, 4*c - j*r - 33 = -6. Let a be (-2 + 0)/(-2*4/32). Solve 7*v - a = c*v for v.
2
Let a be 4 - -5*6/(-15). Let s be -24 + 4/a - -1. Let u be (-14)/s*9/3. Solve -7*m = -u*m - 20 for m.
4
Suppose 0 = -2*b - 2*h + 2, -3*h = -4*b + 17 + 1. Solve 27 - 24 = b*c for c.
1
Let x = 4 - -4. Let j = x - 6. Let t be 11*(-364)/(-286) - 11. Solve -j*u - t*u = -20 for u.
4
Let x be (-1386)/(-385) - (((-72)/10)/(-2) + -3). Solve x*p + 4 = 13 for p.
3
Let u = 2 - 4. Let b be 4/(-3)*3/u. Suppose -568*h + 595*h - 81 = 0. Solve -h*m = b - 14 for m.
4
Suppose -2*b - 18*z = -13*z - 5, 0 = -5*b - 3*z + 22. Let p(a) be the third derivative of -a**4/24 + a**3/6 - 4*a**2. Let k be p(-5). Solve k*w - w = -b for w.
-1
Let d be (-3*3370/(-12))/((-3)/(-6)). Solve -d*c + 1680*c - 15 = 0 for c.
-3
Let o(x) = 2*x**2 - 18*x - 39. Let s be o(-2). Solve 0 = 15*y - s*y - 4*y for y.
0
Let z = 5 + 143. Suppose -5*t = -10*t - 650. Let k = z + t. Solve -3*j = -k + 6 for j.
4
Let r = 29 - 27. Suppose -r*d = d - 12. Let o = 208 + -206. Solve -d*z + 4 = -o*z for z.
2
Let g(b) = b**2 - 33*b - 20. Suppose -4*p - 71 = 5*l - 249, 0 = 5*l - 3*p - 164. Let k be g(l). Solve 16*w = k*w for w.
0
Suppose 156 = -89*b + 141*b. Suppose 0 = -5*u, b*u = -4*f + 8*u + 24. Let y = 4 - -1. Solve y*k = f*k - 5 for k.
5
Let j = 16667 + -16667. Solve j = 16*l + 57 - 121 for l.
4
Let u(z) = 126*z + 835. Let l be u(-5). Solve 16*m + l = 189 for m.
-1
Let d(p) = -15*p - 137. Let i be d(8). Let g = 273 + i. Suppose 0 = -3*z + 8 + 16. Solve 4*o - z*o = -g for o.
4
Let r(q) = -108*q - 2476. Let i be r(-23). Suppose -c = 4*c. Suppose 4*a + 0*a = c. Solve f + f - i = a for f.
4
Let i(o) = -289*o + 3204. Let p be i(11). Solve 0 = p*v - 188 + 63 for v.
5
Let x = -1313 - -1315. Solve -13*p + x*p = -66 for p.
6
Suppose 15*z - 29 = -3*u + 11*z, 5*u + 4*z = 35. Suppose 4*r + 0*r = -4*c + 32, -4*r + c = -12. Solve u*n + r = -11 for n.
-5
Let d be ((3 + -2)*4)/2. Let b be (0*8/40)/((-2)/d). Solve b = 4*f + 3*f + 21 for f.
-3
Let q(v) = -18*v + 42. Let f be q(3). Let x be f/42 - (-172)/14. Solve x*a - 11*a = 3 for a.
3
Suppose -14*m + 58 = -54. Let p = 435 + -431. Solve -o - p = -m for o.
4
Let r be ((-40)/70)/(3/(-21)). Suppose r*m = -v - 2*v + 25, -2 = -2*m. Solve v*f - 2*f - 5 = 0 for f.
1
Let v be 5 + -1 - 8 - 22. Let j be 4/v + (-424)/(-52). Suppose -2*x = 4*t - 16 - 30, 5*x - 3*t - 63 = 0. Solve -3*z + x = -j*z for z.
-3
Let b(r) = r**2 - 11*r + 15. Let x(j) = -j**3 + 12*j**2 - 8*j - 23. Let t be x(11). Let v be b(t). Solve 3*f = v*f - 6 for f.
3
Suppose -12 = 154*x - 160*x. Let n be ((27 - x)/5)/1 + 1. Solve -n*a - 5 = 7 for a.
-2
Let n be 1*5 - (16 - (-25 + 52)). Solve 0*w - 2*w = -n for w.
8
Let q be -1 + (0 - 0) + 1. Let s = 18818 - 18809. Solve s = -3*n - q*n for n.
-3
Suppose 0 = -38*l + 63 + 51. Suppose l*q + y - 10 = -2*q, -2*q + 4 = 3*y. Solve -4*f = -q*f for f.
0
Suppose 2*i = 2*h - 129 + 23, 5*i + 281 = -3*h. Let j = i - -58. Suppose -5*d - 6 = c - j*c, -4*c = d - 12. Solve r = c*r + 8 for r.
-4
Suppose 237*o = 130*o + 2461. Solve 21 = -o*r + 2*r for r.
-1
Let j be 7*-8 + (-2)/2 - 1. Let i = 66 + j. Solve 2*x = i*x + 6 for x.
-1
Let x(z) = z**2 + 98*z + 1046. Let o be x(-12). Solve o*i + i + 30 = 0 for i.
-2
Let o = -121 - -125. Let j be -11 + (20/(-8) - (-6)/o). Let f be 128/6 + (76/j - -6). Solve -1 = 5*b - f for b.
4
Suppose 11*a - 13209 = -10*a - 4830. Solve 40 = a*b - 389*b for b.
4
Let m be (15/(-10))/(18/(-1380)). Suppose -16*t - m = -39*t. Solve 14 = -t*n + 9 for n.
-1
Suppose -10*a - 1045 = -65*a. Solve -6*p - 26 = -a*p for p.
2
Suppose 0 = 2*g - 3*r - 22, -24*g = -26*g - 4*r - 6. Let y(u) = -5*u - 1. Let c be y(-1). Suppose 98 = c*h + 18. Solve g*a - h = 5 for a.
5
Suppose -19*q = -37*q + 486. Suppose x + 3*p + 21 = 3*x, -4*x + 3*p = -q. Solve x*z - 6*z - 6 = 0 for z.
-2
Suppose 5 = -4*g - 4*t + 21, 3*g + 3 = 2*t. Let w(s) = 62*s**3 - 3*s**2 + s + 1. Let v be w(g). Let r = -57 + v. Solve j + 3 = r*j for j.
1
Let t be (5 - -2) + (-2)/(-1). Solve -t*r - 2 = 7 for r.
-1
Let p = -5 + 8. Let b be -17*(-10)/4*240/5100. Solve -k + b*k + p = 0 for k.
-3
Let i(n) = -n**3 + 4*n**2 - n + 6. Let o be i(3). Suppose -9*f + 5*f = -o. Let d be ((-84)/147 - (-52)/(-7)) + 14. Solve -k - d = -f*k for k.
3
Let q be (-105)/14*(-5)/((-75)/(-20)). Suppose 5*o + 8 = -x, q*o - 11*o - 8 = -3*x. Solve 0 + x = -z for z.
-2
Suppose 4*v = 5*f - 11, 2*f = -3*f + v + 14. Suppose 0 = 6*i - i - 20. Suppose -i*q + 10 = q. Solve -f*y = 4 + q for y.
-2
Let w(f) = f**3 + 31*f**2 + 80*f + 158. Let k be w(-27). Solve -919*l + k*l = -5 for l.
1
Suppose -113 + 894 = -11*l. Let r = -69 - l. Solve 3*n = n + r for n.
1
Suppose -11*k + 3705 + 1377 = 0. Let s = -445 + k. Solve s*d + 10 = 15*d for d.
-5
Let b = 7166 - 6882. Solve b = -9*w + 329 for w.
5
Let p be 1/2*-6*-2 + -1. Suppose 3*z - 12 = -3*b, p*b - 15 - 1 = -4*z. Let q(w) = -w**3 + 3*w**2 + 6*w - 5. Let a be q(z). Solve a = 4*h + 15 for h.
-3
Suppose -4*s + s = 6, 5*m + 3*s = -6. Suppose m = -8*k - 57 + 177. Solve 5*x + k = 2*x for x.
-5
Suppose -5*t + 0*t - 200 = 0. Let a = t - -61. Let l = -15 + a. Solve 2*u + l = 4*u for u.
3
Let v = -2 + 2. Let r(g) be the third derivative of 11*g**6/120 + g**5/30 - g**3/6 - 69*g**2. Let i be r(1). Solve v = -4*m + 8*m - i for m.
3
Suppose 0 = 60*y + 502 - 2962. Solve 0 = 31*g - y*g - 70 for g.
-7
Let o = -1188 - -1223. Solve 50 - o = -3*w for w.
-5
Let s be 4/20 - 888/(-10). Solve -11*n - s = -100 for n.
1
Let v be ((-4)/7)/(3656/(-280