*f + 12 for f.
-2
Let x be 1*((0 - 28) + 3). Let t(s) = -s**3 + 3*s**2 + 185*s + 27. Let g be t(-12). Let b = x - g. Solve 13*w = b*w + 10 for w.
2
Let u = 687 - 337. Let i = -294 + u. Solve -i*d + 59*d + 15 = 0 for d.
-5
Suppose 15*f - 18*f = 0. Suppose f = 24*m - 15*m - 27. Suppose 14 = 4*x - 2*u - m*u, -x - 1 = u. Solve 1 = w - x for w.
2
Suppose -623 = -2*h - b, 711 + 842 = 5*h + b. Solve 20*g = h - 130 for g.
9
Let q(x) = -x**3 - 56*x**2 + 180*x + 3727. Let r be q(-58). Solve 0 = r*d - 15 - 15 for d.
2
Let r = -40629 - -40666. Solve -r = -16*j - 165 for j.
-8
Suppose -23*r = -24*r. Suppose -3*m + 118 + 176 = r. Suppose 14*q - m = -0*q. Solve -9*j + q*j = -2 for j.
1
Let h(z) = -z**2 - 5*z. Let r be h(-5). Let c(m) = 4*m - 19. Let d be 9*1/(-2)*4/(-3). Let l be c(d). Solve l*w - 5 - 5 = r for w.
2
Let b = 50 - 20. Suppose -3*k + 3*u + 33 = 0, -u + 2351 = -3*k + 2370. Solve -2*j = k*j - b for j.
5
Suppose -u + 4*o = u - 14, -4*o - 20 = -4*u. Suppose 5*v - 31 + 11 = -5*x, -2*v - 20 = -5*x. Suppose v = 8*r - 33*r + 125. Solve -u + 23 = -r*w for w.
-4
Let d = 11839 - 11836. Suppose 5*c = 24 + 1. Suppose -c*k - y + 9 = 0, 4*k = y + y + 10. Solve k = d*p - 4 for p.
2
Let h(y) = y**3 - 13*y**2 - y + 13. Let c be h(13). Suppose -5*q = -15, c*p = -p - 5*q - 26. Let x = p + 45. Solve 3*b = x - 13 for b.
-3
Suppose -2*p - 607 = 5*h + 241, -2*h = 5*p + 2078. Let n = p + 417. Solve -n*d - 3*d + 24 = 0 for d.
4
Suppose 4*x + 64 = 2*n + 80, 4*x = -5*n + 16. Solve -x*a = -302 + 290 for a.
3
Let g = -1440 - -1450. Solve g*l + 55 = 21*l for l.
5
Suppose 6*c - 5*c + 3*v = 16, -4*v = -3*c + 87. Solve -33*h = -c*h - 8 for h.
1
Let n = 45191 + -44925. Solve -14*r - 24*r - n = 0 for r.
-7
Let u be (1/3)/(27/(-81)). Let q be (-1)/1*u - (-36)/12. Solve 0 = m + 4 - q for m.
0
Suppose 2*u = -m + 23, -2*m - 3*m + 4*u = -171. Suppose 5*y - m + 1 = 0. Let k = -230447 + 230457. Solve -y*a - k = -a for a.
-2
Suppose -516*a = -1668 - 2736 - 7980. Solve -a*h - 39 = -11*h for h.
-3
Suppose -117 = -520*u + 531*u - 898. Solve 82*b + 44 = u*b for b.
-4
Let y(b) = 4*b - 13. Let f be y(-4). Let h = -27 - f. Suppose 2*l = 2*r + 10, 3*l - 43 = -2*r - h*r. Solve 4*k + 3 + l = 0 for k.
-3
Suppose -289*f + 287*f + 20 = 0. Let n = 12 + -8. Solve -q - f = n*q for q.
-2
Let x(i) = 95*i**2 - 473*i - 10. Let a be x(5). Solve 3*o + 3 - 24 = a for o.
7
Let l be 18/(-24) - (184/(-20))/(8/5). Solve 11*y + 17 = -l for y.
-2
Suppose -13*k + 10*k = -2*o - 792, 0 = -3*k - 2*o + 780. Let f = k - 257. Solve -8 + 3 = f*v for v.
-1
Suppose 0*q = q, -5*q = 3*x + 822. Let z = -209 - x. Solve 5*h + 40 = z for h.
5
Let w = 262 - 151. Let d = w + -107. Solve 0 = 3*l - d*l + 5 for l.
5
Let t(j) = -j**3 - 15*j + 8*j**2 + 41 + 19*j - 14*j. Let k be t(7). Solve 3*c - 26 = -k for c.
2
Let c(v) = -187*v - 2035. Let y be c(-11). Solve 0 = 10*g + y*g for g.
0
Suppose 0 = -5*g + f + 34 + 62, 2*g = -5*f + 33. Solve -7 = -2*k - g for k.
-6
Let w(f) = f**3 - 9*f**2 + f + 13. Let i be w(10). Suppose -26*g - 32*g = 7018. Let p = i + g. Solve -p*u + 8 = 2*u for u.
2
Let l = -54 - -57. Suppose 4*c - 36 = -5*m, -l*m - 16 + 39 = c. Suppose -m*v + 12*v = 0. Solve -5*a + 14 + 1 = v for a.
3
Suppose 107*z = 127*z - 360. Solve 18*h - 24*h = z for h.
-3
Let p = 3246 - 3242. Solve p = -41*i + 39*i for i.
-2
Suppose -4*k - 2*a = -726, -5*k + 7*a + 900 = 11*a. Let c be (k/(-2))/(11/((-132)/8)). Let y = c - 134. Solve 0 = 3*x - y - 2 for x.
2
Suppose 4*o = 7*r + 154, -146*r + 144*r = -o + 38. Solve -289*q - o = -282*q for q.
-6
Let r be 98*(9 + 1)*(-69)/(-161). Suppose 32*x = 12*x + r. Solve x - 1 = 5*m for m.
4
Suppose -3*q + 15 = -3*i, -82 = -6*q - i - 10. Solve 35*k - 24*k = -q for k.
-1
Suppose -37 - 83 = 15*d. Let m be d*(21/12 - 2). Solve -1 = m*y - 3 for y.
1
Let l(z) = -4*z. Let s(d) = -8*d. Let k be (-7)/(-35) + 2/(-10). Let m be s(k). Let i be l(m). Solve i*a = 2*a - 4 for a.
2
Let z be ((-88)/55)/((-4)/(-10)). Let k = -37 - -31. Let t be ((k/z)/(-1))/((-5)/30). Solve 3*r - t = -0*r for r.
3
Let f = 5 - 1. Let t = -1196 + 846. Let a = -350 - t. Solve a = -0*r + r + f for r.
-4
Let j(w) = -w**2 + 4*w - 4. Let c be j(2). Suppose -466 = -2*t - 82. Let h = 192 - t. Solve c = 2*n + 2 - h for n.
-1
Suppose 15*r + 16 = 17*r. Suppose 4*i - 8*i + r = 0. Let z = 10 - 7. Solve 0 = -i*m - 13 + z for m.
-5
Suppose 16*m - 4*m - 60 = 0. Suppose 2*g - 11 = -5*z, 15 = -4*z - m*g + 34. Let a be (14/8)/((-2)/(-8)). Solve 3*d + a = z for d.
-2
Let b = -410 + 241. Let c = b + 171. Solve c = 2*v + 4 for v.
-1
Let a = -98 - -79. Let r = 19 + a. Solve r = 2*z + 7 - 5 for z.
-1
Let g be 387/(-7) + (-6)/(-21). Let u be 3/(g/(-50) + (-10)/(-25)). Solve u*o - 4 = -10 for o.
-3
Let i = 12518 + -12473. Solve 18*g + 117 - i = 0 for g.
-4
Suppose 0 = 4*p - 4*u - 192, 2*p + p + 3*u - 144 = 0. Let q = p - 43. Suppose l - q*s = 17, -l + 2 = -4*s - 12. Solve 0 = -n + l - 7 for n.
-5
Let p(b) = 3*b**3 - 4*b**2 - 2*b + 6. Let t be p(3). Suppose 0*u - 3*u = -t. Suppose 4*z = -2*m + 4, 4*m + 1 + 18 = z. Solve -z*c - 3 = -u for c.
4
Let k be -4 + 0 + 210/21 + 5. Solve -3*c + 56 = k*c for c.
4
Suppose 0 = 5*g + 4*y - 32, 79*y - 80*y + 3 = 0. Solve g*n + 21*n - 75 = 0 for n.
3
Let k be 63/4 + ((-2)/(-20))/((-22)/165). Solve -90 = -0*f - k*f for f.
6
Suppose -39*l + 65 = -52. Suppose 4*s - 86 = -2*z, 113 - 12 = 4*s + 5*z. Suppose -3*f - y = -s, y + 15 = -2*y. Solve -f = -j - l*j for j.
2
Let q be 18/4*2/3. Let n = 328 - 324. Solve q*g - n*g - 5 = 0 for g.
-5
Let y(c) = 9*c**3 + c**2 - 4*c + 4. Let f be y(2). Suppose 3*t - f = -3*t. Let x be (-75)/(-20) + (-9)/12. Solve -t - x = 3*p for p.
-5
Let c(w) = 10*w - 281. Let a(n) = 4*n - 141. Let j(t) = -9*a(t) + 4*c(t). Let r be j(-35). Solve r - 8 = 3*x for x.
-1
Suppose h + 9 = 4*k - 0, 0 = -3*k - 3*h + 3. Suppose -j - k*j = -69. Let b(w) = -w - 23. Let z be b(-25). Solve -5*a + j = -z for a.
5
Suppose -46*d + 112 + 854 = 0. Solve -d = -12*w + 3 for w.
2
Suppose -2*a = c - 11, 17*a = 13*a. Solve 17*v = -c*v - 28 for v.
-1
Let w = 1077 - 1041. Solve 105 = w*z - 21*z for z.
7
Let v = 29 - 27. Let r(l) = 4*l**2 + 37*l + 13. Let z be r(-9). Solve 3*m = z + v for m.
2
Suppose 58*m - 16878 - 26698 - 35304 = 0. Solve 16 = -1364*d + m*d for d.
-4
Let i = 90 - 52. Let n be (i/14 - 2/(-7))/(-1). Let p be -1*(4 - (8 + n)). Solve 0 = m - p - 1 for m.
2
Let q = 3 - -1. Suppose -j + q*j + 48 = 0. Let z be 6/(-12)*j/2. Solve -3*h + z = 7 for h.
-1
Let f(d) = -d**3 + 3*d**2 + 5*d - 1. Let z be f(-2). Suppose -z*h = -100 + 73. Let l be -5*((-27)/15 - -1). Solve h*p - l = 2 for p.
2
Let w(b) be the second derivative of -10*b**3/3 - 15*b**2/2 - 233*b. Let t be w(-1). Solve 2*o - t = 7*o for o.
-1
Suppose 0 = -2849*y + 1361*y + 1503*y - 120. Let l(a) = -a**2 - 7*a - 6. Let u be l(-5). Suppose -u*t + 52 = -12. Solve -4*j = -y*j - t for j.
-4
Suppose -129 = 48*i - 129. Suppose -3*g - 3 = -6*g. Solve i = -6*o - g - 5 for o.
-1
Suppose -185 = -4*p + 5*k, -4*p - 212 = -8*p - 4*k. Suppose -10*i - 45 = -5*z - 9*i, -4*i = 3*z - p. Solve -2 = 8*d - z for d.
1
Suppose -4*i = -37*w + 41*w - 2172, 2 = -2*w. Solve 0 = 537*h - i*h - 7 for h.
-1
Let l be 284/6 + 52/78. Suppose -62*r = -50*r - l. Solve 5*b + 1 = r*b for b.
-1
Let o be 42/9*(-4650)/(-20). Solve 3*y = 1100 - o for y.
5
Suppose 0 = l + 3, 3*f + 4*l - 18 = 5*l. Solve -f*x - 139 = -144 for x.
1
Let l = -26059 + 26140. Solve 3*b = -l + 90 for b.
3
Let s be ((-4)/(-20))/((-30)/(-4650)). Solve s*t = 112 - 19 for t.
3
Suppose 15*x = -301 - 1259. Let l = -79 - x. Solve 0*q + l = 5*q for q.
5
Let z = -676 + 971. Let q be z/177*(-12)/(-10). Solve q*p + 10 = 2 for p.
-4
Suppose -54*w - c + 7 = -55*w, 0 = w - 3*c + 21. Solve -7*i + 16*i - 63 = w for i.
7
Let u = 20 - 10. Suppose -h + u = 4*h. Let w be (0 + (-2 - -3))*h. Solve f - 5 = -w for f.
3
Let n(o) = -4*o + 34. Let l be 5/((-15)/21)*17. Let d = 125 + l. Let a be n(d). Solve a*v - 15*v = 0 for v.
0
Suppose 2*o + 296 - 375 = -3*x, 0 = -3*x - 4*o + 89. Solve 5*a - 43 + x = 0 for a.
4
Let m = -587 + 597. Let t be 480/9 + 2*m/12. Solve t*x - 5 = 54*x for x.
5
Suppose 3*s - 8*g + 7*g - 250 = 0, -4*s - 5*g + 308 = 0. Suppose -s*v - 160 = -86*v. Solve n - v = -45 for n.
-5
Suppose -5*x - 4 = 1, 5*x + 5 = 4*d. Suppose d = -4*t + 3*t - 0*t. Suppose 3