 = r*a - 40 for a.
-5
Suppose -15*z = -2*z - 42*z + 261. Solve -10*f + z = -19*f for f.
-1
Let c = -14653 + 14656. Solve 0 = -3*i - c - 18 for i.
-7
Suppose 0 = a - 2, 5*f + a = -2*a + 16. Suppose v + 102 = -f*v. Let h = 37 + v. Solve 2*q = -5 + h for q.
-1
Let u(i) = i**2 + 26*i + 31. Let x(b) = -2*b + 29. Let s be x(27). Let d be u(s). Solve d = 3*h - 9 for h.
5
Let j(b) = 19*b**2 - 2*b - 6. Let h(r) = 9*r**2 - 2*r - 3. Let f(d) = -9*h(d) + 4*j(d). Let w be f(2). Solve w*t = -18 + 3 for t.
-5
Let w(l) = -49 - 7 - 1 + 17 - 2*l. Let s be w(-21). Solve 0*g - 6 = -s*g for g.
3
Let c(u) = 2*u**2 - 14*u + 23. Let t be c(5). Solve -t*d = -19 + 7 for d.
4
Let s(u) = -7*u - 9. Let i = -8 - -2. Let x be s(i). Let h = -18 + x. Solve 0 = -4*d + 5 + h for d.
5
Let v = 381 + -381. Suppose v*y = -7*y. Solve y = -4*u + 17 - 5 for u.
3
Let z(x) = -x**3 - 2*x**2 + 12*x + 24. Let u be z(-4). Solve -7 = f - u*f for f.
1
Suppose 0*s + 5*a = -4*s + 149, 2*s = -2*a + 78. Solve -16*c - 496 = s*c for c.
-8
Suppose 11*t = 12*t + 3*d + 20, -5*t = -5*d + 60. Let c be ((-72)/t)/(6/42). Solve 4*p - c + 16 = 0 for p.
5
Let c(z) = -z**2 - 47*z - 128. Let j be c(-44). Solve 12*i = j*i - 32 for i.
-4
Let t = -756 - -1062. Let a = 306 - t. Solve a = -0*u + 5*u + 25 for u.
-5
Let x be (-1192)/(-1) + (-6)/(-2). Suppose 80 = -1185*t + x*t. Suppose 3*l = -3*g + 9, 6*l - 11 = 4*l + 3*g. Solve l*f = t*f for f.
0
Let v(u) = -u**3 + 5*u**2 - 1. Let g be v(4). Let h = 30132 + -30125. Solve -g = -2*a + h*a for a.
-3
Let t = -24144 + 24144. Solve t = 844*s - 862*s + 18 for s.
1
Let a(z) = z**3 - z**2 + z - 1. Let i(k) = 11*k**3 - 2*k**2 + 6*k - 7. Let w(y) = -3*a(y) + i(y). Let g be w(1). Solve 4 = -4*j - g for j.
-3
Suppose -2*j - 139*k + 144*k = -10, 0 = -j + 3*k + 2. Solve 2 = -j*w + 21*w for w.
2
Let u(h) = -3*h**2 - 8*h + 5. Suppose 10*i = -218 - 32. Let j be i/10*12/10. Let p be u(j). Solve 6*l = p*l + 12 for l.
3
Let j(g) = 7*g**2 - 64*g - 3. Let h(w) = -4*w**2 + 32*w + 2. Let z(m) = 5*h(m) + 2*j(m). Let d be z(5). Solve 0 = 2*c + 5*c + d for c.
-2
Let x(q) = 2*q - 7. Let z be x(5). Let p be 4 - z*(-5)/45*3. Solve 0*g = p*g + 5 for g.
-1
Let i be (-38 + -4)*((-126)/20 + (-15)/75). Solve 0 = 6*q + 291 - i for q.
-3
Let d be 48/378*48 - (-38)/(-399). Solve -51 = -d*t - 99 for t.
-8
Suppose -4*l = -5*k - 211 - 338, 5*k + 685 = 5*l. Solve -30*i = -44 - l for i.
6
Suppose 3*w - 53 = 2*k, 3*k - 120 = -6*w + w. Let x(g) = w + 2*g + 0*g + 8 + 3*g. Let h be x(-3). Solve -3*l = -h + 2 for l.
4
Let d = 4356 + -4331. Solve -8*j + 33*j - d = 0 for j.
1
Suppose 89*c - 2*f + 41 = 92*c, 0 = c + 3*f - 23. Solve -31 = c*g + 35 for g.
-6
Let c be 2 + 64/14 + ((-160)/(-28))/(-10). Suppose 5*j - r - 4 - 51 = 0, -3*r - 9 = -2*j. Let i = j - 7. Solve -4 = i*f + c for f.
-2
Suppose 124*l - 259*l + 129 = -92*l. Solve 783 - 765 = -l*j for j.
-6
Suppose -4*r - 2*r + 4*r = -10. Solve -5*a + 6*a - r = 0 for a.
5
Let t be (3 - -4)*(-8)/(-14) + -4. Suppose 5*d + 3*v - 50 = t, -4*d + 3*v = d - 50. Solve 2*l + d = -0*l for l.
-5
Let k = -16028 + 16116. Solve 56*r - 78*r - k = 0 for r.
-4
Let g = 733 + -719. Suppose 0 = -2*s + 16 - 4. Let w = g - s. Solve 3*m + 2 = w for m.
2
Let j be ((-4)/(-3) - (1 - -2))/((-5)/36). Solve -j - 27 = -13*g for g.
3
Suppose -b + 358 = 306. Suppose -10*p = 16*p - b. Solve -4 - 6 = p*t for t.
-5
Suppose 0 = r + 5*n - 368, -15*r + 14*r + 4*n = -368. Solve 4*f - r = -356 for f.
3
Let s(i) = -i**3 - 40*i**2 - 37*i + 96. Let n be s(-39). Suppose -y + 2*c = -4*y + 14, -5*y - 2*c = -n. Solve -18 = -8*z + y*z for z.
3
Let x = 22843 + -22775. Solve 0 = -x*o - o + 414 for o.
6
Suppose -c + 51 = -3*x, 401*x - 400*x = -3*c + 173. Solve 3*s + c = 33 for s.
-8
Let d be (-12)/27 + (-520)/(-360) + -1. Solve d = 138*m - 152*m for m.
0
Let i = 173 + -157. Suppose 86 = -i*y + 230. Solve -y = 10*z - 7*z for z.
-3
Let b be (-1)/2 + 1 + (-11)/22. Suppose b = 24*c - 179 - 61. Solve -10*y + 15*y - c = 0 for y.
2
Let r be ((-552)/(-20)*-1)/((-7)/70). Solve -241 = 7*f - r for f.
5
Let s be (-10 + 3)*6/(-21). Let p(u) = -u**3 + 22*u**2 + 56*u - 192. Let c be p(24). Solve c - 10 = -s*g for g.
5
Let w(i) = -6*i**3 - 11*i**2 - 4*i - 3. Suppose -3*g - 1 = -2*f + 2*g, 5*g + 9 = -2*f. Let r be w(f). Solve r = -4*l + 13 for l.
1
Suppose -3*y + 4 = -2*y. Let b(s) = s**3 - 21*s**2 + 35*s + 77. Let l be b(19). Suppose y*t = -l, 3*z + 5 = -t - 0. Solve -4*f = -z*f for f.
0
Suppose 3*v - 10 = 2*z, -13*v + 5*z + 20 = -8*v. Suppose -3*b + 13 = 2*i - v*b, 4*b - 20 = 0. Solve 0 = i*n - 0*n for n.
0
Let v(q) = -43*q**2 - 1331*q + 66. Let b be v(-31). Let m(c) = -c**3 + 5*c**2 + 1. Let k be m(5). Solve -b*a + k = 9 for a.
-2
Let l(m) = 28*m + 200. Let f be l(-7). Suppose y = 2*b - 4 + 1, -4*y = -4*b - f. Solve -5*u - y = 10 for u.
-3
Let d be 2/(19 + 87654/(-4614)). Solve -d*v - 64 = -761*v for v.
-8
Suppose 0 = x - 4*b - 4, -255*b + 4 = -259*b. Solve x = 3*k - 0 + 15 for k.
-5
Suppose -3*m + 31 = -4*v, -2*m + 4*v = -29 + 3. Solve -4*n + 5 = -m*n for n.
-5
Let t be (8 - 3 - (50 + -58)) + -17 + 5. Suppose 3*r + 6 = -3*p, -4*r - 5*p - 4 = -1. Let y = r - -11. Solve y + t = w for w.
5
Suppose 0 = 5*l - 0*l. Let a(n) = n**3 - 8*n**2 - 23. Let c be a(7). Let z be (-4 + 0)/(c/90). Solve l = 2*o - o + z for o.
-5
Suppose 0 = -5*z + 4*a + 84, z + 97*a = 102*a + 21. Solve 0 = -141*s + 133*s - z for s.
-2
Suppose 7*s - 11*s = 3*v - 60, v + 2*s = 18. Suppose -7 = 2*l - 21*x + v*x, -26 = -4*l + 2*x. Solve 0 = -0*g - 4*g - l for g.
-1
Suppose 5*g = 3*z + 729, 2*g + 14*z - 10*z - 302 = 0. Solve -2*d = -g + 135 for d.
6
Suppose 0 = m - 0 - 5. Suppose -2*l + 5*n - 17 = -0*l, 45 = 5*l + m*n. Let z(j) = j + 11. Let r be z(-9). Solve -r*k + 6 = -l for k.
5
Suppose -9*v - 3*u - 11 = -11*v, 4*v - 13 = -3*u. Suppose 3*z = -3*n + 3 + 12, z - 14 = -v*n. Solve 4*x = -z + 14 for x.
3
Let a = -7 + 36. Let t = -21 + a. Suppose -2*d - 6*d = -16. Solve 6*u - d*u = t for u.
2
Suppose -5*k + 40 = 110. Let t be 2/(-14)*2*k. Solve 0*s = t*s for s.
0
Let o be 32/6 + (-2)/6. Suppose o*g = 20*g - 75. Let m = 1 + 22. Solve m = -g*i - 2 for i.
-5
Suppose -800 = -4*b - 52. Suppose -3*p = b - 193. Solve 3*f = p*f - 4 for f.
-4
Suppose -2*s + q + 11 = s, -2*s + 5*q + 16 = 0. Let y(j) = -j - 3*j - 6*j**2 - 264 - j**s + 243. Let l be y(-6). Solve -l - 12 = 3*p for p.
-5
Suppose s - w - 33 = -4*w, 2*w = 2*s - 66. Solve 156 = 6*q + s*q for q.
4
Suppose -114*o = -152*o + 1026. Solve 0 = p - 22 + o for p.
-5
Let u be (-7)/(28/(-192))*1. Let a = -24 + u. Suppose -a = -3*n - n. Solve -3*h = -n*h for h.
0
Suppose -5*x - 14 = -34. Suppose 40*a - 36*a = x*j - 20, -3*a + 9 = 5*j. Solve -j*p - p - 12 = 0 for p.
-3
Suppose -171*g + 35 = -163*g + 3*o, 0 = -5*g - 5*o. Let w = 5 - 17. Let q be w/(-54) + (-2)/9. Solve j - 6 + g = q for j.
-1
Let n = -6568 + 6583. Solve -4 - 41 = n*u for u.
-3
Let h(i) = 14*i + 173. Let v be h(-12). Suppose 4*q + 5*f - v = 0, 3*q + 2*f - 2 = 7*q. Solve 11 + q = 11*z for z.
1
Let b(c) = 3*c**3 + 6*c**2 + 6*c + 49. Let k be b(-3). Let d(i) = -14*i - 1. Let v be d(-1). Solve v*y + 27 = k*y for y.
-3
Let r be 48 + -2 - (-10)/(-5). Let w be r/(-6)*((-4)/1 + 1). Solve w = 14*j - 3*j for j.
2
Suppose -572 = -7*d - 33. Let t = -73 + d. Suppose -4*n + 96 = t*l, 2*l = -4*n + 51 + 1. Solve 0 = 5*q - 7 + l for q.
-3
Suppose -319*j + 404832 = 403875. Suppose -4*o + 3 = -o. Suppose 0 = p - o - 1. Solve 0 = -3*g + p*g + j for g.
3
Let i = 10065 + -10058. Suppose -5*f - 4*o = -53, -f + o + 1 = -6. Suppose -f = 4*p - i*p. Solve -2*u + 3*u = p for u.
3
Let m be ((4/10)/(-1))/(4/(-30)). Suppose 5*x - 6 = m*x. Solve 2*j - 5 = x for j.
4
Suppose -4*v = -11 - 53. Let h be 9 - 8/2 - -23. Suppose -3*o + 6*o + 4*w = -4, -h = -3*o + 4*w. Solve 0*m - o*m + v = 0 for m.
4
Let x = -55 - -58. Suppose x*r - 1 - 5 = 3*l, -r + 6 = -5*l. Let v be (0 + r)*(0/2)/(-2). Solve h = -v*h for h.
0
Suppose 19 - 4 = -5*z. Let v be 153/36 - z/4. Solve s = v*s for s.
0
Let y be (3 - (-40)/(-12))/((-1)/(-12)). Let q be (-100)/(-125)*(-90)/y. Let l be 18/4 + 27/q. Solve o - l = -3 for o.
3
Let u(j) = 4*j + 39. Let d be u(-9). Let h(p) = -p + 10. Let t be h(d). Solve -t - 9 = -4*g for g.
4
Suppose 12*l + 1600 = -4*l. Let k be (40/l - 4/(-10))/(-1). Solve k = 2*w - 4*w for w.
0
Let p(l) = 6*l - 3