7 + 1 = 0 for r.
4
Let n = 164 + -167. Let y be (n/(-6) - 1)*0. Solve 3*b + 0*b = y for b.
0
Let r(g) = -2*g + 2. Let x be r(-2). Let i be 16/x*(-27)/(-18). Suppose 2*n = -2*a + 2, -a - 5*n - 19 = -i*a. Solve a*z = 6 + 6 for z.
4
Let h = -712 - -727. Solve h*q - 21*q - 30 = 0 for q.
-5
Let v(f) = -5*f**2 - 6*f + 14. Let h be v(-6). Let n = h - -187. Suppose -12 = 5*g - n. Solve -k - 2*k = g for k.
-3
Let o be -9*((-155)/279 + (-4)/9). Solve -6 = j - o for j.
3
Suppose 54*v - 41*v - 221 = 0. Solve w - v = -20 for w.
-3
Let c be (228/24)/((-2)/(-4)). Let f(o) = -o**3 + 18*o**2 + 19*o + 6. Let u be f(c). Solve 0*t - u = 2*t for t.
-3
Let n = -167 - -174. Solve 20 = n*y - 3*y for y.
5
Let o = 21 - -4. Suppose 3*n + 2*n - 95 = 0. Let g = -15 + n. Solve 5 - o = -g*q for q.
5
Suppose -3*g - 10 = u - 30, 0 = -2*u + 10. Solve 0 = 5*i - 0 + g for i.
-1
Let y be (1 - 0) + 2 + 0. Let x be (-9)/(-4)*(-280)/(-15). Let t be y/(-18) + 49/x. Solve t = a + 5 for a.
-4
Suppose -6*z + 11 + 7 = 0. Suppose -2*v + 6 = -3*a, v - 6 + 0 = z*a. Solve -1 + v = -n for n.
1
Suppose 2*s = 3*u + 10, 12 = s - 0*u - 5*u. Let z be (1 + 1)*(s - 1). Solve 0*w + 4 = -z*w for w.
-2
Let h be 52/(-5)*(-85)/34. Let r = -24 + h. Solve r + 1 = p for p.
3
Let r(b) = b**3 - 10*b**2 + 8*b + 13. Let k be r(9). Suppose 5*q = -3*w - 52, -w + 6*w + 4 = 2*q. Let o be (-1 - 4/q)*-26. Solve -k*j - o = 7 for j.
-5
Suppose -3*q + q = 12*q. Solve 12*l + 77 - 17 = q for l.
-5
Let n(l) = 9*l - 69. Let a(q) = -q + 7. Let p(o) = -21*a(o) - 2*n(o). Let t be p(4). Solve 2*z - z = -t for z.
-3
Let r(n) = 4 - 2 - 3 + 6*n**2 + 2 - 2*n. Let l be r(1). Solve l*z = -0*z + 5 for z.
1
Suppose -4*u + 7*u + 4*f - 6 = 0, -3 = -3*u - 5*f. Suppose 4*t = -3*q - 12, -t + 15 = 4*q - u*t. Solve v - 6*v = q for v.
0
Suppose -21*l + 54 = -12*l. Solve 4*v = 10*v - l for v.
1
Let n = 71 - 64. Suppose 0 = -u - j - 4 + n, -2*j = -2*u - 6. Solve u*l = -3*l + 3 for l.
1
Let p(x) = -x**3 - 5*x + 2*x**3 + 13*x**2 + 17*x. Let m be (3*-4)/(-4 + 5). Let c be p(m). Solve 0 = z - c*z for z.
0
Let m be (-6)/21 + (-160)/(-70). Solve 5*o - 13 = m for o.
3
Let z = -738 - -742. Solve -6*s = -2*s + z for s.
-1
Let m be (-1)/(-5) - 3/15. Let q = -80 + 84. Suppose m = -2*c + 5*k + 27, 4*c + 4*k + 20 = q. Solve -4*r + c = -3 for r.
1
Let d be 9 + 9/(45/(-25)). Solve -d*b = -12*b - 16 for b.
-2
Suppose 44 = 4*g - 3*p, 150 = 4*p + 166. Solve k - 5 = -g for k.
-3
Suppose 72*l - 66*l - 30 = 0. Solve 0 = 55*r - 50*r - l for r.
1
Suppose 0 = 12*y - 8*y - r - 6, -y - 3*r = -8. Solve 9*i = 11*i - y for i.
1
Let o(y) = y**3 - y**2 - 2. Let q be o(2). Suppose 4 = q*g - 0*g. Solve -g*l = l for l.
0
Suppose -59*c = -60*c + 13. Solve -5*g - 8 = -c for g.
1
Let g be 2*10 - (-1152)/(-96). Solve -54*k + g = -52*k for k.
4
Suppose -2*z = d - 3*d + 38, z - 119 = -5*d. Solve -7*t - 30 = -d for t.
-1
Let t be (6/12)/((-89)/30 - -3). Suppose 16 = c + 3*c. Solve -r - c*r = t for r.
-3
Let l be 7*(6 - (26/7 + 2)). Solve -l - 46 = -16*a for a.
3
Suppose -5*h + 5*s + 16 - 1 = 0, 4*s = 2*h - 4. Let a = -561 - -571. Solve -h*y - a = -2 for y.
-2
Suppose -1 + 5 = 2*y - 2*h, y + h + 4 = 0. Let x be y/2 + (-90)/(-12). Suppose 2*j - x + 3 = 0. Solve -j*l + l = 4 for l.
-4
Suppose 70*a = 67*a + 90. Suppose -8*g + a - 6 = 0. Solve -6*f = -g*f - 15 for f.
5
Suppose -6*i = 11*i - 153. Solve -2*f + i = 7 for f.
1
Suppose 2*m = 2*h - 130, 7*h + 65 = 8*h - 5*m. Solve 62 = g + h for g.
-3
Let x = 1491 - 1491. Solve x = 7*q + 2 - 16 for q.
2
Let u be (21/(-14))/(3/(-4)). Suppose 3*f - o + 2 = 32, -u*o + 17 = f. Suppose 0 = 3*q + 2 - f. Solve 0 = -2*i + 1 + q for i.
2
Suppose 0 = 19*w - 109*w + 1800. Solve -w*t + 6*t = 0 for t.
0
Suppose -3*n - 36 = -7*n. Suppose -n = -2*v - v. Let i be (0/4)/(-4) + v. Solve -8*z + 10 = -i*z for z.
2
Let h = 0 - -3. Suppose -22 = -2*n + 2*q, 52 = 4*n - q + 20. Suppose -d = -4, -3*z + n*z = -3*d + 28. Solve -k = -z*k - h for k.
-1
Let w be (-1)/(-3*3/(-585)). Let h be 315/w + 2/(-13). Let x = h + 11. Solve 4*r - x = r for r.
2
Let f = 780 - 776. Solve b - f = -b for b.
2
Let y(q) = q**3 + 6*q**2 - 8*q + 2. Let g be y(-7). Let t be 8 - (-6 + 5)*-4*1. Suppose 43 = 5*u + 8. Solve t*l + g = -u for l.
-4
Let s be 6 + (5 - 15) + (7 - 1). Solve -s*i + 0 = -2 for i.
1
Let v(n) = 2*n**2 + 7*n + 5. Let h be v(-7). Solve h*x - 8 = 58*x for x.
-2
Let n = 357 + -355. Solve 4*j + 12 = -n*j for j.
-2
Let z be 20/6 - 1/3. Suppose -h - 8 = 3*h, -5*u + 5*h + 55 = 0. Let m = -7 - -10. Solve -m*c - u + z = 0 for c.
-2
Let a be ((-91)/56)/13 + (-1158)/(-48). Solve 25*m + 1 = a*m for m.
-1
Let z be (0 + 2 + (3 - 2))*3. Let h = z + 4. Solve -3 + h = 2*v for v.
5
Let z(o) = -o**2 - 24*o - 140. Let d be z(-12). Solve 0 = d*n + 5 + 3 for n.
-2
Let g be 7 - (78/52)/((-1)/2). Solve 0 = g*p - 14*p + 4 for p.
1
Suppose -24 = 3*t - 7*t. Suppose -3*y = 3*j - t*y - 6, -3*j - 3*y + 6 = 0. Solve 0 = -g - j for g.
-2
Suppose -26*p - 5*p + 124 = 0. Solve 3*o - 7 = -p for o.
1
Suppose 0 = -3*m + 6*m - 4*f + 3, 4*m - f = 9. Solve m*z - 4*z - 1 = 0 for z.
-1
Let v(s) = -s**2 - 5*s. Let m(i) = -i**2 - 1. Let t be m(-2). Let f be v(t). Suppose a = 3*c + 14, 0 = 5*a + 2*c - f - 2. Solve a*o = o for o.
0
Let v be (4/3 - 1)/((-13)/(-78)). Let x be v*(-6)/(-15)*5. Solve 6 = 5*o - x for o.
2
Let i(t) = -11*t - 2 + 12*t - 3. Let a be i(8). Solve 10 = -h + a*h for h.
5
Let u = -1674 + 1674. Solve 15*n - 10*n + 20 = u for n.
-4
Let h(s) = -25*s + 266. Let b be h(10). Solve 1 - b = 3*z for z.
-5
Suppose -i - 63 = 6*i. Let z = 9 + i. Solve z = -2*h - h - 15 for h.
-5
Suppose 0 = -2*t + t + 1. Let c(i) = i. Let r be c(2). Solve -r*q + 1 + t = 0 for q.
1
Let l(z) = -5*z - 28. Let o be l(-6). Solve f = -o*f - 6 for f.
-2
Suppose -3*p + 2*z = -8 - 0, -11 = -3*p + 5*z. Solve 0 = -p*u - 3 + 5 for u.
1
Suppose -4*b - 41 = -121. Suppose 4*k = 9*k - b. Suppose -129 = -5*c + w, 0*c - 2*w - 33 = -c. Solve c = -l - k*l for l.
-5
Suppose 0 = q - 0 + 3, 17 = 4*i - 3*q. Let x be (6/(-4))/(2/(-4)). Suppose 4*d = 5*g, i*g - x*d = -0*g. Solve -c = -g*c - 4 for c.
4
Suppose 0 = -2*o - o. Let d be (-6)/8*-2*2. Let k be ((-216)/45)/6*5/(-2). Solve k*m - d*m - 2 = o for m.
-2
Let k be 0*(-3 + 8/3). Suppose -4*y + k*y = d + 2, -2 = 5*y + d. Suppose -2*u - 6 = -3*u. Solve n - 3*n - u = y for n.
-3
Suppose 7 = 4*v - 5. Suppose -4*o = -3*x + 12, 3*o = 2*o - 3. Solve -v*g - g = x for g.
0
Suppose 0 = -t - t - 2*t. Suppose -3*c + t*l + 10 = -l, 0 = 4*c + 3*l - 35. Solve -k + c = 4*k for k.
1
Suppose -91 = 192*j - 205*j. Solve -13*n = -j*n + 18 for n.
-3
Let f(a) = a**3 + 30*a**2 + 140*a - 26. Let b be f(-24). Solve -b*y = -74*y + 20 for y.
5
Suppose 3*u = 3, -4*c - 7 - 10 = -u. Let d be (c + 6)/((-1)/(-3)). Solve l + d = -l for l.
-3
Let t(d) = -3*d**2 + d. Let j be t(2). Suppose -162 = w - 147. Let n be w/(-9)*(-18)/j. Solve 5*m = n*m - 2 for m.
-1
Let l(p) = p**2 - 15*p + 4. Let h be l(8). Let u = -32 - h. Suppose -2*f = -3*t - 15, 2*f - 4*f - 4*t - u = 0. Solve f = 5*d - 15 for d.
3
Let p be 8*((-21)/14 - -2). Solve -c - 9 = -p*c for c.
3
Let j = 17 - 11. Suppose 0 = 2*n - 3*t + j*t - 21, 5*n + 4*t = 56. Suppose x + n = 5*x. Solve 2*g + 5 = -x*g for g.
-1
Let h(i) = -34*i**3 + i**2 + i. Let q = -6 - -5. Let f be h(q). Let t be 18/(-27) + f/6. Solve -5*z = -t - 10 for z.
3
Let h = 27 - 39. Let r = -24 - h. Let q be 36/21 - r/42. Solve q = -2*b + 4*b for b.
1
Let b(k) = 9*k - 34. Let g be b(4). Solve -l + 6 = g*l for l.
2
Let u be (-1)/(-6)*-4*-3. Let r = -49 + 53. Solve 0 = r*z - 22 + u for z.
5
Let a(z) = -2*z**3 - 5*z**2 - 2*z + 6. Let x be a(-3). Suppose 3*l = d - x, -7*d - 2*l = -4*d - 8. Solve -s = -3*s - d for s.
-3
Let u(l) = -l**2 + 28*l + 68. Let a be u(30). Suppose 0 = -q + 12 - 6. Solve 0 = -11*k + a*k - q for k.
-2
Let i be (-1 + (1 - 0))/3. Solve i = -2*j - 5 + 7 for j.
1
Let h be (-140)/(-1 - 6) - 2. Solve -2*a = -8*a + h for a.
3
Let a = -121 + 128. Let i(b) = 3*b - 9. Let v be i(a). Solve -3*g + v = g for g.
3
Suppose -2*w = -8 + 2. Let h be w/6*12 + 3. Let n(y) = -y + 9. Let q be n(h). Solve 2*l = -q - 8 for l.
-4
Suppose p - 6*p + 15 = 0. Let d(h) = 6*h + 12 + 8*h**2 - 17 - p*h**3 + 4*h**3. Let t be d(-7). Solve t*j + 15 = -j for j.
-5
Suppose -5*k + 4*a + 35 = 0, 31*k - 27*k + a - 28 = 0. Solve -28 = k*h -