 4*a = 1 + g for a.
1
Let i be 2*(30 + 1 - 30). Let a be 2/(1*(-4)/(-150)). Solve i*u - 69 + a = 0 for u.
-3
Suppose -4*l - 5*g - 5 = 1, 0 = -4*l - g - 14. Let q be 2 + -1 - (-12 - l). Let v = q + -7. Solve 0 = v*u + u + 3 for u.
-1
Let p be 27 - (-1 - -2)/((-41)/(-123)). Solve -15*n + 54 = -p*n for n.
-6
Let b be (0*2/4 + 0)/(-1). Suppose b*q = -4*q + 32. Suppose -4*n - q*t - 4 = -4*t, -5*t = 2*n + 11. Solve -n*d = -d for d.
0
Suppose -4*f + 32 = -4*v + v, 3*v - 67 = -5*f. Suppose 0 = -3*k, 3*g + f*k = 6*k + 6. Solve u + 3 - g = 0 for u.
-1
Suppose 14*l - 380 = -2. Let p(f) = -2*f**2 + 55*f - 25. Let w be p(l). Solve -r + w*r = -3 for r.
-3
Suppose -3*z - 28 = -2*l, -8*l + 2*z + 72 = -4*l. Let s be -1 - ((-16)/l + (-44)/20). Solve 0 = -6*h + 20 - s for h.
3
Let a = 14474 + -14391. Solve -9*z = -47 + a for z.
-4
Let h(a) = a**3 + 23*a**2 + 34*a + 5. Let d(o) = 2*o**2 + 1. Let j(u) = -2*d(u) + h(u). Let n be j(-17). Solve 0 = n*v - 8*v - 25 for v.
-5
Let c be (-4452)/(-48) - 135/36. Solve 9*x = c - 71 for x.
2
Suppose 20 + 19 = 5*m + j, -3*j = 4*m - 29. Suppose m*t - 57 = 23. Suppose n + t = 6*n + 4*c, -5*c - 19 = n. Solve p + n = 3*p for p.
3
Suppose 4*l = 2*l + 124. Suppose 4*h + l = 5*d + 302, -d + 271 = 5*h. Suppose -3*m + 2*w = -h, 3*m = 8*m + 5*w - 50. Solve 0 = 5*p + m + 10 for p.
-5
Let g = 223 - 220. Suppose -g*n + 16 - 7 = 0. Solve -m + 2*m = -n for m.
-3
Let v(n) = -n**3 + n**2 - 3*n. Let j(y) = 4*y**3 + 2*y**2 + 32*y - 9. Let x(g) = j(g) + 6*v(g). Let b be x(5). Solve 5*m + b + 14 = 0 for m.
-5
Suppose x + 7 = 2*r, 4*x = -9*r + 13*r - 16. Suppose -r*f = -f + f. Solve 7*d - 46 + 11 = f for d.
5
Suppose -7 - 7 = -l. Let q be 45/((-1800)/16) - 22/(-5). Solve q = l*n - 10 for n.
1
Let z(h) = 17*h**2 - 1904*h + 32. Let w be z(112). Let p(m) = m**3 - 6*m**2 - m + 2. Let d be p(3). Let a = w + d. Solve 11*c - 7*c - a = 0 for c.
1
Let x = -1 - -2. Let o be (-4)/(-3)*(531 - 9). Let b be o/144 + (-2)/(-12). Solve b*w - x = 4 for w.
1
Let r be (-74)/((12/(-42))/((-18)/21)). Let u = r - -232. Solve u = 10*l - 5*l for l.
2
Let w(h) = 10*h**2 - 46*h**2 + 10*h**2 + 33 + h**3 + 9*h**2 + 28*h. Let p be w(15). Solve -1 = -i + p for i.
4
Suppose -215 - 1453 = 6*y. Let i = y - -286. Solve 0 = -3*t - i + 20 for t.
4
Let a(r) = 4*r + 3. Let c(i) = -11*i - 11. Let x(p) = -8*a(p) - 3*c(p). Let o be x(-9). Solve -6*n + 36 - 6 = o for n.
5
Let m(b) = -3*b - 149. Let l be m(-51). Suppose 3*u = -4*a + 23, -6*u = l*a - 5*u - 13. Solve a = g - 2 for g.
4
Let p(g) = g**2 + 8*g + 3. Let z be p(-7). Let x(n) = -n**2 - 6*n - 5. Let q be x(z). Suppose 0 = 7*w + w - 8. Solve 7 - w = -q*s for s.
-2
Let q(j) = j + 1. Let m(d) = d**3 - 12*d**2 - 14*d + 12. Let a be m(13). Let y be q(a). Suppose 0 = 3*t - 15 - 3. Solve y = 3*b - t*b + 3 for b.
1
Suppose -2*b - 4*a - 316 = 0, -52*b + 775 = -57*b - 5*a. Let m be (9/6)/((-57)/b). Solve 3*o - m = -7 for o.
-1
Let d = -53 - -5. Let j be 7/(d + 6) + 37/6. Solve 3*u + 3 + j = 0 for u.
-3
Let j be ((-9 + 14 - 12/5) + -2)*5. Solve -j*d = 2*d - d for d.
0
Let s = 28391 - 28375. Solve 1529 = s*r + 1625 for r.
-6
Let s(h) = h**3 - 8*h**2 + 7*h + 6. Let v be s(7). Let l be (-121)/(-5) + (5 + -1)/(-20). Let f be (2/l*10)/(21/630). Solve v*j - f = j for j.
5
Let a be (-3)/(-30)*(-18)/(-9)*10 + 443. Solve -442*x + a*x = -15 for x.
-5
Let a = -174 + 243. Suppose -2*k + 85 + 47 = 0. Let g = a - k. Solve b = -2*b + g for b.
1
Suppose -440*f + 63*f + 7752 = 79*f. Solve -44 - 41 = f*u for u.
-5
Suppose -2*j + 24 - 15 = -3*o, -5*j = -3*o - 27. Solve -757*r + 763*r + j = 0 for r.
-1
Let o = -9481 + 9641. Solve o = -133*n + 153*n for n.
8
Let j be 0*((-34)/204)/((-1)/(-2)). Solve j = 4*h - 3 - 5 for h.
2
Let u be (-5 + 25)/((-4)/(-2)). Suppose -j - 2*w = -0*j + 5, -5*j + u = 3*w. Suppose -j*x = -2*o - 18, 2 = -3*x - 4*o + 2*o. Solve -13 + 3 = x*c for c.
-5
Suppose 135*h - 3*u - 132 = 131*h, -2*h - 2*u + 66 = 0. Solve -5*p - 38 = -h for p.
-1
Let a be (0*2/4)/(-2). Let x = 49 - 500. Let n = -448 - x. Solve -w + a*w = n for w.
-3
Suppose y - 3 = 4. Let u = 780 - 774. Suppose 11 = -3*b - 2*o + 35, 0 = -2*o + u. Solve -b = -y*c + 4*c for c.
2
Let o be ((-6)/4)/((-6)/4)*5. Let q(l) = -2*l**3 + 8*l**2 + 4. Let g be q(4). Solve o - 1 = -g*u for u.
-1
Suppose 4*i - 39 = -5*h, 5*h - 13*i = -9*i + 31. Suppose -2*b - d = -3, -4*b - 4*d + 1 = -3. Suppose -j = -b*j. Solve j = h*r - 2*r - 15 for r.
3
Let i be ((-20)/6)/((-16)/(-72)*-3). Suppose 0 = -4*w + 4, 9*v - 6 = 8*v + i*w. Solve -v*f = -14*f for f.
0
Let j be 62/(-279) - -7*1112/36. Solve 0 = 34*o + 12 - j for o.
6
Suppose -15*k - 5*k = -100. Suppose 0 = -9*o + 6*o + 15, k*c + 2*o = 25. Solve c = -5*g - 2 for g.
-1
Let q = 314 + -314. Suppose q = -6*o + 184 - 154. Solve o*j - 10 = -5*j for j.
1
Let i be (-35 - -31)*(-1 - 1/2). Let l be (i*5/20)/(2/(-28)). Let v be 6/(-42) - 3/l. Solve t + t = v for t.
0
Suppose -4*l = 4*m - 36, 2*l - 3 - 3 = 2*m. Suppose -2*k - 3 + 31 = 0. Let u = k + -9. Solve -u*n = 1 - l for n.
1
Let q(p) = 12 - 23 + 8 + 3*p - p**2 + 7. Let t be q(3). Suppose -6*y + y + 5*o = 0, 20 = t*o. Solve -y*m = -3*m for m.
0
Suppose 2*a - 15 = 5*t, -11*a - 2*t = -13*a + 6. Let n = -3 + 11. Suppose -3*d + n*d = 0. Solve c + d*c - 1 = a for c.
1
Let i(f) = 5*f**2 + 34*f - 114. Let b be i(3). Solve 10*k = -k - b for k.
-3
Suppose -7*k = -4*n - 11*k - 712, 0 = n - 4*k + 163. Suppose 3*r - 6*r = -6. Let o be n/(-20) + r/8. Solve -5*z - 24 = -o for z.
-3
Suppose -5*c = g - 223, 2*c = -2 - 6. Let y = g + -234. Solve n + 5 = y for n.
4
Suppose 2074 - 244 = -15*i. Let d = i - -125. Let r(t) = -t**2 + 5*t. Let o be r(5). Solve m + o*m = -d for m.
-3
Let p = 250 - 810. Let u = p + 564. Solve -2*i + 0 = u for i.
-2
Let n be (11/((-55)/285))/(-1) + -8. Solve 3*w - 76 + n = 0 for w.
9
Let q = 824 + -798. Suppose -3*t + 9 = -5*n, -4*t = -4*n + 14 - q. Solve 11*i - 5*i - 12 = n for i.
2
Suppose -2*z - 5*o + 5 = 1, -2*z + o = 8. Let x be 6 - -1*(z + 5). Solve i = -i - x for i.
-4
Suppose 0 = 2*k + 17 + 15. Let q(v) = 4*v + 65. Let p be q(k). Solve 1 = -z - p for z.
-2
Suppose -n = -0*n - 4*k - 6, 7 = 4*n + k. Suppose 0 = 3*a + 15, 40 = 5*r + n*a - 3*a. Let p = 46 + -41. Solve 3 + r = p*l for l.
2
Suppose -i = 2*b + 17, 3*i + 119*b = 116*b - 36. Let a be 8/6 - (-2)/3. Let d be (i + -7 - -6)*(-2)/a. Solve 4*x + d = -8 for x.
-4
Let w be 25530/259 + (1 - 4/7). Solve -347 = -31*d - w for d.
8
Suppose -4*z - 5*a = -23, 3*a = z + 3 + 4. Let w be (-8)/((-1)/(z/4)) + -2. Suppose f + 34 = 2*r, -4*r - w*f + f + 62 = 0. Solve -c - r = -5*c for c.
4
Let h(w) = w**2 + 50*w + 94. Let x be h(-34). Let m = -444 - x. Solve -3*a - m - 3 = 0 for a.
-3
Suppose -378 + 1148 = 77*v. Solve -6*i - 22 + v = 0 for i.
-2
Suppose 65 + 171 = 2*x + 4*g, 3*g - 569 = -5*x. Suppose 2*j = -3*j - 4*k - x, -j = -k + 17. Let d = j - -40. Solve 5*m - m = -d for m.
-5
Let w = -287 + 296. Suppose -g + 3*l = 12, 3*g + w = 5*l - 11. Solve g = 5*j - 15 - 5 for j.
4
Suppose 22*m = -3*a + 20*m + 154, 5*a - 250 = -5*m. Solve 52*p - 61*p = -a for p.
6
Suppose 32*o - 9*o - 2484 = 0. Let h be 27/o*2*-1*0. Solve h = 5*k - 8 + 28 for k.
-4
Suppose 0 = -105*w + 87*w + 1350. Solve 3*b + 22*b - w = 0 for b.
3
Let l = -31769 - -31785. Solve 386 - 370 = -l*o for o.
-1
Let q(w) be the first derivative of w**2/2 + 6*w + 142. Let t be q(-3). Solve t*v = 7*v - 12 for v.
3
Let r(y) = y**2 - 14*y + 30. Let d be r(6). Suppose -2*w + 5*w + 3*v = -18, -4*w = -3*v + 45. Let z = w - d. Solve 6 = x + z for x.
-3
Suppose 60*m + 20*m - 52334 = -57*m. Solve m = 4*x + 390 for x.
-2
Let k(q) = q**2 + 2*q - 2. Suppose -5*w + 8*w = -15. Let f be k(w). Suppose -f*c + 8 = -9*c. Solve 4*i - c*i + 6 = 0 for i.
-3
Let z = -708 - -908. Solve -71 + z = 43*p for p.
3
Let a = -125 + 123. Let x be 168/(-2 + 8) + -4 - a. Solve -x*k + 30*k + 12 = 0 for k.
-3
Suppose -10*v = -9*v - 57. Let c(l) = -59*l - 23 - 17 + v*l. Let z be c(-20). Solve -5*n + 4*n = z for n.
0
Suppose -107 = 4*r + 2*s - 95, -4*r = -2*s - 12. Solve -6*c - 5 + 41 = r for c.
6
Let y(g) be the first derivative of -4*g**2 - 35*g - 28. Let l(o) = 15*o + 69. Let r(z) = -3*l(z) - 5*y(z). Let x be r(-7). Solve x*p = 7*p for p.
0
Let c(l) = -l**3 + 24*l**2 - 53*l + 226. Let h be c(22). Solve -12*r - 20 = h for r.
-4
Let g(b) = -10