k = 5 - q for k.
-5
Let v = 2372 - 2367. Solve 10 - 25 = v*l for l.
-3
Let k be 1*(-29 + 3 + -1). Let v = 29 + k. Solve -v*y = 12 - 4 for y.
-4
Suppose 2*t = -2, 2*y = -4*t + 1 - 3. Solve -y - 2 = w for w.
-3
Let c(u) = u**2 + u + 3. Let r be c(-4). Suppose 4*q = 7*q - r. Suppose 0 = 3*k - 3*a - 21, q*a + 15 = 2*a. Solve 3*o = -k*o - 15 for o.
-3
Let n be (-10*1)/(-1 - 0). Suppose 9*t - 5*b = 5*t + 18, -5*b + n = 0. Let o(s) = 3*s**3 + s**2. Let g be o(1). Solve 3 - t = g*m for m.
-1
Suppose 2*m - 7*h = -25 - 0, -m - 5 = -2*h. Let n be ((-3)/(-2) - 1)*0. Solve g - 2*g - m = n for g.
-5
Suppose -3*j + 12 = 0, 0 = 2*m + j - 3*j + 2. Solve 0 = -4*o - 7 + m for o.
-1
Suppose 18 = 3*g + 3*r, -8 = 2*g - 2*r - 0. Solve -g = w + 4 for w.
-5
Suppose 44 = 9*k - 37. Suppose 4*f = -y + 12, -f - 6 = -y - y. Suppose y*u + 21 = 5*p, -p - 5*u - 15 = -5*p. Solve -1 = p*q + k for q.
-2
Let h(r) = -6*r. Let w be h(-3). Solve -6*y - 6 = -w for y.
2
Let z be 2/12 + 334*1/12. Let r = z - 23. Solve 0*o = -r*o - 10 for o.
-2
Suppose -4*d - 6*n = -10*n - 12, 0 = 3*d - 5*n - 11. Solve 12 = -d*c + 6*c for c.
3
Suppose 8*d - 42 + 10 = 0. Solve 2*k = d*k - 3*k for k.
0
Let h = -65 + 79. Solve 4*w - h + 10 = 0 for w.
1
Let o be ((-368)/12)/((-1)/(12/8)). Solve -v + o = 41 for v.
5
Let c be 140/84 - (-46)/3. Solve -c = 6*g - 5 for g.
-2
Let f be (-52)/(-14) + 4/14. Let p be (-4)/16 - (-1)/f. Solve -z + 4*z = p for z.
0
Let p(y) = -y**3 + 6*y**2 - 7*y - 1. Suppose 5*q - 3*o - 5 + 2 = 0, -q = 5*o - 23. Let n be p(q). Solve v - n = 2*v for v.
-5
Suppose -b + 20 = 4*u, -6*b = -u - 8*b - 2. Solve g - 3 + u = 0 for g.
-3
Suppose w = -3*w - 2*t - 10, 5*t = 3*w + 1. Let r be ((-24)/30)/(w/5). Solve 2 = -r*a + 4 for a.
1
Let x(s) = s**3 + s**2 + s + 8. Let a be x(0). Suppose a*i - 38 = 2. Solve -i*o - 10 = -0 for o.
-2
Let c(z) = -z**3 - 4*z - 37. Let b be c(-4). Solve 47*q + 4 = b*q for q.
-1
Suppose -3*o - 3 = 0, 31*l - 3*o + 6 = 34*l. Solve 20 = 2*h + l*h for h.
4
Suppose -p = -3*p - x + 11, 23 = 3*p - 5*x. Suppose 3*v = 5*c + 26 - p, -3*v + 3*c + 18 = 0. Solve 5 = 6*f - v*f for f.
5
Let k be (2 - 0)/(-6)*(-63 + 63). Solve k = 19*n - 24*n - 5 for n.
-1
Let m(a) = a**3 + 27*a**2 + 51*a + 28. Let j be m(-25). Solve -2*w + j = -1 for w.
2
Let z = 4 + 11. Let c = 18 - z. Let r = 1 + 19. Solve -c*v - v + r = 0 for v.
5
Let q(x) = x**2 - 8*x - 9. Let i be (1 - 1)*(-4 + 3). Suppose -v + 2 = i, 2*l - 8*v = -3*v + 8. Let g be q(l). Solve 0 = -g*j + 3*j - 12 for j.
4
Let p be (-34)/(-7) - (-342)/(-399). Solve -5*v = -p*v - 5 for v.
5
Let q = -138 - -165. Solve 4*f = q - 7 for f.
5
Suppose 2*s - 52 = -4*y + 6, 0 = 4*y - 4*s - 28. Let t = y - 10. Solve -b + 3*b - t = 0 for b.
1
Suppose -4*b + 4*u + 36 = 0, -u + 2 = 2*b - 19. Solve -i - 5 + b = 0 for i.
5
Let a(t) = -t**2 + 40*t + 95. Let s be a(42). Let w(i) = i**2 - 1. Let g be w(-2). Suppose -3*z + 3 + g = 0. Solve z - s = -3*u for u.
3
Let v(p) = 7*p**2 + 9*p + 3 + p**3 - p - 2*p**3. Let c be v(8). Suppose -c*d = -2*d - 5. Solve 5*y - d = -0*y for y.
1
Suppose -x + 20 = 4*x. Suppose 3*z = -4*b + 19, 37 = 3*z - 2*b - 3*b. Suppose -x*c - i + z = -10, 3 = i. Solve -c*u = u + 10 for u.
-2
Let i be 1/(-3) - 38/(-6). Suppose -39 = 4*q - 3*k, 3*q + 22 = 3*k - 8*k. Let s = -7 - q. Solve 0 = -s*o + i + 2 for o.
4
Let y be -5 + 11 - (2 + 2 + 0). Let l be (y + 14/(-6))*-9. Solve -s - l = -5 for s.
2
Let v(k) = -k**2 + 6*k - 4. Let n(w) = -w**2 - 10*w + 4. Let m be n(-10). Let s be v(m). Solve 0 = -t - s*t - 15 for t.
-3
Let j be 2/((-21)/(-18) + -1). Solve -j*k + 15*k - 9 = 0 for k.
3
Let k be (-4)/6 - ((-40)/6 - -1). Suppose -5 = -k*v + 10. Solve v*f - 4 = 2*f for f.
4
Suppose -d = 1 + 1. Let m be (7 + d)*(1 - 0). Solve 0 = -m*g + 3*g - 4 for g.
-2
Suppose b = 3*b - 30. Suppose -12 = i - b. Solve -7*q + 4 = -i*q for q.
1
Suppose -3*a = q - 3*q - 9, 4*q = 2*a - 14. Let j be 2/(-2) - -4*3/6. Let i(v) = -v**3 + 2*v**2 - 2*v + 1. Let s be i(j). Solve 3*m + a - 4 = s for m.
1
Let d = -1 + 4. Let k = 43 - 40. Suppose f - k*t - d = 3*f, -t - 1 = 0. Solve f = -3*n - 4 + 1 for n.
-1
Let n(x) = x**3 + x**2 - x + 5. Let a be n(0). Suppose -k + 80 = w + 3*w, 3*k = -a*w + 100. Suppose 4*p + l - w = 0, l = p - 6*p + 24. Solve -p*i = i for i.
0
Suppose -4*o = -m + 19 - 3, 2*m = 3*o + 17. Solve 0 = v - m + 9 for v.
-5
Let v(d) = -d**2 + 8*d - 5. Let z be v(7). Suppose 2*h + 17 = 3*t + z*t, 3*h - 2*t - 2 = 0. Solve 0 = h*y - 5 + 21 for y.
-4
Suppose 2*i = 3*i. Suppose i*l + 7 = l. Solve 3*v + 1 = l for v.
2
Let w be ((-2)/(-4))/(24/240). Suppose -15 = -w*l + 5. Solve -8*r = -l*r - 12 for r.
3
Let n be (12 + -12)*1*1/(-2). Solve n = -16*q + 18*q for q.
0
Let w = 1568 + -1564. Solve 2*v - w*v = 10*v for v.
0
Suppose 3*s = 5*m - 4, -m = -s - 2*s - 8. Let a be 14 - (-1)/(s*(-1)/(-6)). Solve -a = 6*n - 2*n for n.
-3
Let k be (-2)/3 + (-250)/(-15). Suppose 0 = 4*z - 3*z - 2. Solve -z*q = -6*q + k for q.
4
Suppose 0 = 8*m - 13*m - 40. Let l(c) = -c**3 - 9*c**2 - 9*c - 4. Let d be l(m). Let g(q) = -q**2 - 5*q + 8. Let n be g(-6). Solve -d = -0*r + n*r for r.
-2
Let l(x) = 3*x**2 - 20*x - 21. Let f be l(-1). Solve 3*s - f = 4 for s.
2
Let x(p) = -p**2 + 3*p + 2. Let d be x(2). Let b be 2/(-2) - -5*d. Suppose 451*k = 461*k - 40. Solve 3*g = k - b for g.
-5
Suppose -2*f + 0*f + 10 = 0. Suppose -f = -2*z - 19. Let o = 9 + z. Solve o*k - 7 = 3 for k.
5
Suppose r = 4*m - 62, -3*r - 406 = 2*r + 4*m. Let q be 4/(-14) - r/(-21). Let d be (32/12)/(q/(-18)). Solve -h + d = -4*h for h.
-4
Let l be (-4)/(-2)*(-1 + 2). Suppose -l*p + 5*b = 17, -5*b + 7 = p - 22. Suppose 1 = 2*r + 2*q - 7, 16 = p*r - q. Solve r*w = 3*w for w.
0
Suppose n + 0 = -7. Let h be (-3)/(((-21)/16)/n). Let x be 72/h*2/(-3). Solve x*l = 3 + 9 for l.
4
Let n = 19 + -11. Let h be (-4 + 9)/(0 + 1). Suppose w + w - 10 = -5*b, w - h = b. Solve w*o - 2 = n for o.
2
Let s be 5/(5/2) - (-6 - 14). Let x = s - 22. Solve w + 4 = -x for w.
-4
Let x(h) = -3*h**3 - 181*h**2 + 120*h - 119. Let p be x(-61). Let q(s) = s**3 + 6*s**2 + 6*s + 7. Let b be q(-5). Solve b*f - p - 1 = 0 for f.
2
Suppose 0 = 2*j - 4*j + 4. Suppose j*r - 10 = -6. Solve -2*y - 8 = -r for y.
-3
Suppose o + 134 = 7*g - 2*g, 3*g + 2*o = 83. Let t = g + -23. Solve z = t*z for z.
0
Let n(h) = 105*h - 1990. Let a be n(19). Suppose 5 = q - 1. Solve -a*j = 9 + q for j.
-3
Suppose 1014 = 51*a - 159. Solve a*r = 21*r for r.
0
Let m be (1 - 5) + (5 - -1)/2. Let i(x) = -32*x + 2. Let d(c) = 11*c - 1. Let f(u) = 8*d(u) + 3*i(u). Let o be f(m). Solve 3 = o*l - 3*l for l.
1
Suppose 5*b + f = -f - 11, 4*b + 10 = -f. Let k = b - -5. Solve -k*a = -7*a for a.
0
Let c = -829 + 832. Solve c*b + 20 = 23 for b.
1
Suppose 26 = 2*h - 28. Suppose h - 30 = -w. Solve -w = 2*x + 7 for x.
-5
Suppose -3*a = -3*w + 54, -w - 6 = -0*w + 5*a. Suppose 5*i = j + w, 0*i - j - 5 = -2*i. Solve -2 = -i*n + 4*n for n.
-2
Suppose 3*o + 5*j = o, -4*j - 33 = -5*o. Suppose -n - n + 58 = 0. Suppose -5*w - 9 = -n. Solve w*d - o*d = 0 for d.
0
Let u(k) = 2*k - 27. Let j be u(15). Suppose 5*y - 12 = j*v, -2*y - 2*y + 4 = -v. Solve y*z = -z for z.
0
Let d(s) = 2*s**2 + 55*s + 32. Let w be d(-27). Suppose 4*o + 20 = 2*n + 2*n, 2*o = -n + w. Solve 0 = -q - o*q - 3 for q.
-3
Let p = 307 - 303. Solve -1 = 5*a - p*a for a.
-1
Suppose -2*d + v - 19 = -3*d, 2*v + 46 = 2*d. Solve 7*h + 0 - d = 0 for h.
3
Suppose 5*o = -c - 32, -o = 4 - 0. Let u be 26/10 + c/20. Solve 3*x = x + u for x.
1
Let i(w) = -w**3 + 2*w**2 + 5*w + 4. Let r be i(-2). Suppose r = -6*k + 8*k. Solve -k*d + 12 = 37 for d.
-5
Let y be (0 - -2) + -25 + 23. Solve -3*w - 5 - 7 = y for w.
-4
Let p(c) = 3*c - 4. Let u be p(6). Let t be (4 - (-11 + (-2 - -6)))/(-1). Let j = t + u. Solve j*d - 1 = -4 for d.
-1
Let s be (-6)/10*(6 + (-3 - 8)). Solve -5*d + 8 = s*d for d.
1
Let u(n) = -n - 6. Let j be u(-2). Let m be j/((-24)/61) + 4/(-24). Solve -2*d - m + 4 = 0 for d.
-3
Let b = 31 - 30. Let m be (-48)/(-5) + b + (-21)/35. Solve 4*j + m = -6 for j.
-4
Suppose 3*r - 16 - 38 = 0. Let c = r + -16. Solve -c*y + 5*y = 0 for y.
0
Let t be -5 - (-11 - 27/9). Solve -t*x = -10*x - 1 for x.
-1
Let n be (-3)/(3/4)*21/(-14). Solve 24 = -6*v + n for v.
-3
Let y(u) = u**2 - 4*u - 17. Let s be y(7). Suppose 4*h + 4 = 4*n, -4*n + 2 + s = -3*h. Suppose -4*d - 8 = -