47*a + d for a.
1
Suppose -13*t + 3519 = 38*t. Solve -4*q - 65 = -t for q.
1
Let i = -11 + 12. Let w(f) = 5*f**2 - 2*f + 1. Let z be w(i). Suppose -3*c - 12 = -2*m, -z*m - 7*c - 12 = -4*c. Solve -g - g = m for g.
0
Suppose 14*t = 15*t - 5. Let f be (-56)/(-8) - (0 - -2). Suppose -c = f - 3, 0 = 5*w - c - 12. Solve -w*z = -t*z for z.
0
Suppose 4*p = 7 + 1. Suppose -3*j + 0*j = p*f, -2*j = 5*f. Let g(y) = y**2 - 1. Let v be g(-2). Solve v*i + i + 4 = j for i.
-1
Let p be 111/(-407) - 168/(-11). Solve 25 = p*z - 10*z for z.
5
Let n = -87 - -59. Let c be 20/(-12) + 2 - n/6. Solve 0 = -m - c - 0 for m.
-5
Let h(a) = -2*a - 2. Let n be h(-3). Suppose t + 5*c = 25, -4*c - n = -2*t - 2*t. Let f(q) = q**2 + 12*q + 30. Let x be f(-9). Solve -x*d - t = -4*d for d.
5
Let x = 124 + -210. Let r = x + 150. Suppose 2*l + 4*y - 16 = 0, -3*l - 2*y - r = -8*l. Solve -8 - l = -5*u for u.
4
Suppose -2 = -5*c - 2*x, 3*c + 2*c - 30 = 5*x. Let d(m) = 0*m**2 - m**2 + 0*m**c - 7*m. Let q be d(-6). Solve k - q*k = 25 for k.
-5
Let z(f) = -f + 8. Let h(p) = 40*p - 17*p + 3 - 22*p. Let l be h(5). Let s be z(l). Solve 3*u - u - 4 = s for u.
2
Suppose 0 = -76*a + 24*a + 1040. Solve 15*t = 10*t - a for t.
-4
Let i = 22 + -18. Suppose -i = -5*r - 2*z + 8, -5*z = -4*r + 3. Solve -r*h + 0*h = 2 for h.
-1
Let f = 42 + -42. Suppose -4*g + 68 + 8 = f. Solve 3 - g = 4*b for b.
-4
Suppose 0 = -4*m + 5*m. Suppose 2*l + 3*l - 40 = m. Let c be (-20)/15 + l/6. Solve u + c*u - 4 = 0 for u.
4
Let k = 221 + -205. Solve -10*y - 56 = -k for y.
-4
Suppose 42 = -2*c + 3*d, 4*d + 21 = -c + 6*d. Let g = c - -30. Solve -4*w = -7*w - g for w.
-3
Let n be ((-6)/(-8))/(1/4). Solve 3 + n = -3*q for q.
-2
Suppose -4*g = -4, 3*g = -s + 6*g + 25. Solve -54 = -10*a + s*a for a.
-3
Let g be 3/15 - 22/10. Let f be 2*(2 - g/(-2)). Suppose 0 = 5*t - 3*c - 43, -5 = c - 4. Solve f*o + 0 - t = 0 for o.
4
Suppose -5*c - 28 = -i, -2*i + 546 = 5*c + 565. Solve 0 = -3*p + i + 12 for p.
5
Suppose 0 = 3*i + 2*r - 11, 4*i = -3*r - 0*r + 15. Suppose -6*k - 3*k = -495. Let b = 63 - k. Solve -i*s = s - b for s.
2
Let q(d) = 9*d - 9. Let j be q(1). Solve j = -108*h + 107*h + 4 for h.
4
Let f be 4/(-22) - (-334)/22. Let y be 5/f + 5/3. Solve -y*m = -3*m for m.
0
Let i(u) = -23*u - 138. Let f be i(-6). Solve 5*p + 12 + 8 = f for p.
-4
Suppose 4*q - q = -15. Let f = q - -6. Let d be 4/1 - f/1. Solve 7*i - 12 = d*i for i.
3
Let i = -157 + 163. Solve -i*b = -5 - 7 for b.
2
Suppose 0 = -u - 5*n - 15, 0 = -2*u - 3*n + 2*n - 3. Suppose 4*c - 71 = -59. Suppose 0*b = -b. Solve b = -u*z + c*z for z.
0
Suppose p + 5 = 2*p. Suppose p*x + 10 = 55. Let g = 13 - x. Solve g*k = k + 9 for k.
3
Let g(u) = -29*u - 264. Let m be g(-12). Solve -m*a + 86*a + 4 = 0 for a.
-2
Suppose 15 = -3*u + 51. Suppose 0 = 2*h - 5*o + u, 4*h - 6*h + 16 = 2*o. Solve -3*k = -h*k for k.
0
Let j = 16 + -11. Suppose -j*v + 7*v - 4 = 0. Solve 0 = v*i + 3*i + 25 for i.
-5
Let v = -552 - -563. Solve -7*d = -v*d + 20 for d.
5
Let o = 3 + 1. Suppose 29 = 5*p - u, o*u - 2*u + 23 = 3*p. Solve -4 = -p*n - 14 for n.
-2
Suppose 0 = -2*z + 13 + 47. Let o be 100/z + 4/6. Suppose -3*v + x = -3*x - 6, 0 = -3*x. Solve -s - o = -v for s.
-2
Suppose 0*w - 27 = w - h, -4*w - 5*h = 81. Let l = w - -12. Let y = l - -16. Solve -y*g = -8 - 4 for g.
3
Suppose 0 = x - 3*j - 18, -321 = 5*x + 5*j - 311. Solve x*y + 3 = -3 for y.
-2
Suppose 45 = 3*j - 120. Let p = j - 52. Solve p*f = 2*f for f.
0
Let m be 15/4 - (4 - (-104)/(-32)). Solve m*w = 10 - 16 for w.
-2
Suppose -3*t + 15 = 0, 0 = 5*p - 4*t - 25 - 10. Solve 19*l = p*l + 24 for l.
3
Let h be ((-7)/5 - 1)/(2/(-5)). Solve -h*l + 2 + 4 = 0 for l.
1
Suppose 3*s - 1 = -u + 4, -4*s = -2*u. Suppose 2*z - 11 = -o, u*z + 2*z + 3 = 3*o. Solve z = -r - 0 for r.
-3
Let z(b) = -b**3 - b**2 + 2*b + 3. Let s(d) = -d**3 + d**2 - 3. Let w be s(0). Let l be z(w). Let v = l + -15. Solve 5*q = -v*q for q.
0
Suppose 5*c - 2*w = 31, -13*w = 3*c - 12*w - 12. Solve c = -4*u + 9 for u.
1
Let s(q) = q**2 - 7*q + 1. Suppose r = -2*n + 4, r + n = -3*n. Let t be s(r). Solve t = -3*a + 21 for a.
4
Suppose -466*u = -458*u - 128. Solve u = -43*i + 51*i for i.
2
Suppose -13*j + 39*j - 390 = 0. Solve -13*i + j*i = 0 for i.
0
Suppose 9 + 15 = -2*u. Let b(p) = -2*p - 15. Let c be b(u). Solve 4*h - h = -c for h.
-3
Suppose 17 = -133*j + 134*j. Solve -78 = -j*a - 10 for a.
4
Let m(q) = 2*q**3 - 6*q**2 + 15*q - 6. Let x be m(2). Solve 9*y = x*y - 7 for y.
1
Let z be ((-3)/9 - 0)/((-7)/189). Let v = -43 - -19. Let n be v/9*z/(-4). Solve -5*u - 21 = -n for u.
-3
Let z(l) = 11*l**2 + 2*l - 1. Let m be z(1). Suppose o - m = -2*o. Let a be (-1 - 0)/(-1) - -1. Solve o*t = -a + 6 for t.
1
Suppose 428 = -12*r + 488. Solve -16 = -7*w + r for w.
3
Suppose -4*p + 4 = -12. Suppose 0 = -4*a - 4, 112 - 8 = 5*w - p*a. Solve 0*k - w = -4*k for k.
5
Suppose 0*w - 13 = -5*w + 2*i, 5*i + 17 = -3*w. Let n(a) = 2*a**3 + a - 1. Let v be n(w). Solve 10 = v*k + 2 for k.
4
Suppose 0 = -2*r - 3*r + 2*c + 30, 15 = 5*r + c. Let m(b) = -b**2 + 7*b - 10. Let w be m(5). Solve w = s + r*s - 20 for s.
4
Suppose 0 = 7*k - 31 - 11. Suppose -4*d + 17 + 8 = 5*y, -2*d + 4*y = -k. Solve -x = -0*x - d for x.
5
Let b = 9 - -29. Let y = -426 + 390. Let g = y + b. Solve -g*v - v = 12 for v.
-4
Let w be 7 - (-5 + 27)/11. Solve -w*m + 14 = 4 for m.
2
Let y(v) = -v**3 + 5*v**2 - 1. Let n be y(5). Let g be n/(1/2 - (-91)/(-156)). Solve 0 = -0*z + 4*z - g for z.
3
Let c be 8/12*-3 - 21. Let p = c - -28. Suppose p*h + 6*v - 50 = v, 2*h - v - 5 = 0. Solve 0 - 5 = -h*l for l.
1
Suppose -2*n + 17 + 13 = 0. Let f = 25 - n. Solve 3*i + f + 5 = 0 for i.
-5
Let w = -638 - -647. Solve 0 = -y + w - 7 for y.
2
Suppose -240 = 3*v - 7*v. Let z = -57 + v. Solve -z = -2*a - 1 for a.
1
Suppose 0 = -w - 4*r - 15, -2*r = 4*w - 0*r + 4. Solve 4*t + 15 = -w for t.
-4
Suppose 2 = -v + 2*f, 2*f - 2 = -0*v - 4*v. Solve 5*h + 16 + 9 = v for h.
-5
Let l(c) = 4*c + 2. Suppose -2*o = -0*o + 406. Let h be (-2)/9 + o/(-63). Let q be l(h). Solve -2 + q = -3*r for r.
-4
Suppose 60 = 6*q - 11*q. Let i be (q/14)/((-8)/28). Solve 1 = -n + i for n.
2
Let b be -11 - 5 - (3 - 1). Let k = -1 - b. Let w(n) = -n + 19. Let c be w(k). Solve 0 = 2*r + c - 8 for r.
3
Let p(m) = -m + 19. Let y be p(11). Let n be 1 - (y + -4)/4. Solve 2*q - 6 = -n*q for q.
3
Let v(r) = r**2 + 9*r + 11. Let o be v(-8). Let m(k) = k**2 - 39*k - 124. Let j be m(42). Solve -j*f - o*f = -25 for f.
5
Let x be ((-10)/6)/(-5)*-6. Let f(p) = p**3 + 2*p**2. Let g be f(x). Solve g - 3 = -3*v for v.
1
Let s(o) = -o**2 - 19*o - 19. Let b be s(-12). Suppose 5 = -12*t + b. Solve 0 = -t*f - 2 - 3 for f.
-1
Let m = 2 + 28. Suppose h - m = -5*y - h, -2*y + 2*h = 2. Solve -y*f - 16 = -0*f for f.
-4
Let m = 901 - 894. Solve 23*q + 122 = m for q.
-5
Let v be 1 - -1 - 1*-1. Suppose -15 = -p + 5. Suppose -6*i + p = -i. Solve -v*h + i = -h for h.
2
Suppose -7*o - 10*o + 102 = 0. Solve 14*v + 16 = o*v for v.
-2
Suppose 6*r - 5*r = 29. Let z = -27 + r. Solve 3*n = -z*n for n.
0
Let a(r) = -10*r - 24. Let o be a(-3). Solve -s = -7*s - o for s.
-1
Let d(p) = 3*p**2 + 40*p + 16. Let j be d(-13). Solve -j*g - g = -g for g.
0
Let o = -80 - -82. Suppose 4*f - 10 = -g, 0 = -2*f - 0*f - 4*g + 12. Suppose z - 37 = -5*w, 0 = 2*w - 0*w + 2*z - 10. Solve -o*t + w = f*t for t.
2
Let r(c) = -c + 12. Let z(p) = 1. Let w(y) = r(y) - 6*z(y). Let v be w(2). Solve 0 = -o - v*o + 20 for o.
4
Let b(p) = -p**2 + 8*p + 4. Let u be 6 - 12/3 - -22. Suppose u = -0*o + 6*o. Let y be b(o). Solve 4*t = -t - y for t.
-4
Let h(v) = -v**3 + 4*v**2 - 4*v + 2. Let u be h(2). Let k be -6*5/(-15) + (-1 - 1). Solve 3*m - u*m = k for m.
0
Let a(n) = -25*n + 105. Let k be a(4). Solve 0 = 6*y + k + 7 for y.
-2
Suppose 2*y = 7*y - 2*p + 4, -y - 4*p = -8. Solve -2*s - s = y for s.
0
Let h(b) = -b**2 + 0*b**2 - 8*b - 6 - 3*b. Let u be 32/(-12)*30/8. Let k be h(u). Solve j + k = 3*j for j.
2
Let z(d) = -4*d**3 + 2*d**2 + 3. Let m(t) = 3*t**3 - t**2 - 2. Let q(j) = 5*m(j) + 4*z(j). Let g be q(3). Solve -3*y + g = -5*y for y.
-1
Let r be (-210)/(-18) + 1/3. Suppose -3*w = 3*w - r. Suppose -w*x - 12 = 4*n, x - 12 = -2*x + 4*n. Solve x = -m - 6 + 3 for m.
-3
Let q be -2 + 15*(-6)/(-9). Suppose 0 = -62*j + 68*j + 228. Let u = -13 - j. Solve q*c - 3*