3, 5*t + 5*k - 10 = 0. Solve t = v*c + 3 + 5 for c.
-2
Suppose 280 - 84 = 7*v. Solve d + v = 32 for d.
4
Suppose 0 = 2*c + 2*a + 3 + 1, 5*c + 2*a = 2. Solve 0*q - c = q for q.
-2
Suppose -2*o - 6 = -5*o. Let t = 37 + -25. Suppose t = -0*s + 4*s. Solve s*k = -o*k - 20 for k.
-4
Let f(u) = -u**2 - 5*u + 6. Let k be f(-6). Suppose -j = 2*w - 15, -2*w = 3*w. Solve k*m + 5*m = -j for m.
-3
Let p = -14 - -20. Suppose -p*o = -o. Suppose 5*t - 27 = -o*t + 2*l, l = -5*t + 24. Solve 2*y - 12 = t*y for y.
-4
Let y(c) = -2*c + 34. Let b be y(16). Solve -b*v - v = 15 for v.
-5
Let c = -6 - -8. Solve -2*u + 4 = c for u.
1
Suppose -2*k - 73 + 25 = 0. Let s = -12 - k. Solve s = -4*n + n for n.
-4
Let f = -16 - -22. Solve -i + 3*i + f = 0 for i.
-3
Suppose -4*n + 2*d + 4 = -4, -d = n + 4. Let t be (-1 - 0 - -3) + 4. Let q be (3/t)/((-2)/(-8)). Solve n = u - q*u + 4 for u.
4
Let f = 0 - 2. Let k be (19 + 0 + 3)/f. Let i = 11 + k. Solve i = 4*w - 0 - 4 for w.
1
Let r be (26/(-12) - -3)*6. Solve r*h - 2*h + 9 = 0 for h.
-3
Let l be 1 + 0 - (0 - 1). Suppose -2*b = l*b - 8. Solve -y = -3 - b for y.
5
Let m be (1 - 4 - -4)/(1/2). Solve 2*w - 8 = m for w.
5
Suppose -k = -2*g + 20, -6 + 16 = 2*g + 4*k. Suppose -g = -j + 2*t, -2*t = -4*j - 4*t + 36. Solve -j = -3*i + 6 for i.
5
Let o be 52/3 - (-2)/3. Suppose 0 = -q - 2*q + o. Solve 0 = m - q*m for m.
0
Suppose -3*l = -l. Suppose 3*h + 0 - 6 = l. Solve -5*s - h + 17 = 0 for s.
3
Let d = 32 + -25. Solve d*i + 12 = 3*i for i.
-3
Suppose -5*w + 83 + 42 = 0. Suppose -4*c + 9*c = -5*x + w, 4*x - c = 15. Let b be x/(-10) - 132/(-30). Solve -3*q - b = -4*q for q.
4
Let o(y) = y**2 + 19*y + 21. Let u be o(-18). Solve -u*c = -5*c + 4 for c.
2
Suppose 4*y = 2*y + 36. Let n = 21 - y. Solve 4*f + n = f for f.
-1
Let y = -25 + 18. Let k = y + 4. Let g be k/6 - (-14)/4. Solve g*v + v = -16 for v.
-4
Suppose -2*h - 13 = 13. Let q = 19 + h. Let o = 13 - q. Solve 2*l + 3 + o = 0 for l.
-5
Let p = -6 + 10. Let f(s) = -s**3 + 4*s**2 + 15*s - 14. Let u be f(6). Solve u = -p*y + 12 for y.
2
Let g(p) = 2*p - 1. Let f(v) = v - 1. Let u(k) = -f(k) - g(k). Let h be u(-3). Suppose 0 = -3*r - 2*y + 6*y - 9, -5*y = -4*r - h. Solve r - 5 = -w for w.
4
Let l = 59 + -56. Solve -l*d = 17 - 5 for d.
-4
Let y be (-6)/(-18) - (-44)/3. Solve -2*d - y = d for d.
-5
Suppose -9 = -k - s - 4, -25 = -5*k + 5*s. Solve k = -2*q - 1 for q.
-3
Let q(a) = a**2 - 15*a + 2. Let o be q(15). Solve 3*l = o*l for l.
0
Suppose 2*y = 0, -3 = -r + 5*y - 1. Solve r*f - 5 = 1 for f.
3
Suppose 17 = 3*w - 13. Suppose -2*i - 4*l - 20 + 8 = 0, -3*i = -5*l - 26. Solve i*h + w = 2 for h.
-4
Suppose -4*n + 15 = -1. Let y = n - 2. Let m be y/(-3) + (-22)/(-6). Solve d - 4*d = m for d.
-1
Suppose 0 + 5 = -v, -4*r - 2*v = -6. Solve 5*c + 16 = -r for c.
-4
Let b(v) = -v**3 - 4*v**2 + 5*v + 2. Let t be b(-5). Suppose 0 = -4*m + t*m + 40. Solve 5*q = q + m for q.
5
Let z be (-16)/(-80) + (-14)/(-5). Solve -z = 5*b + 7 for b.
-2
Suppose -8 = -2*k + 2. Solve 0*c = -k*c for c.
0
Suppose 1 + 2 = 3*y. Let p = 23 + -2. Let m = p + -19. Solve -m*d - 1 = y for d.
-1
Let y be 7/(-1) + 4 + 3. Solve 0*f - f + 3 = y for f.
3
Let l = -49 + 74. Let r be (0/2)/(((-1)/1)/1). Solve r = 6*t - t + l for t.
-5
Suppose -j - 4*d = 0, -j + 3*d + 9 = 2. Solve 4*q + 12 + j = 0 for q.
-4
Let w be 1/(-2) + (-1)/2. Let x be (2/w)/(-1) - 0. Let s(p) = p + 3. Let d be s(0). Solve -d*i - 10 = x*i for i.
-2
Let u be 4/(-3)*(-6)/2. Suppose 2*x + u*v = 18, 4*x - 14 = -5*v + 10. Let r be (-5 - -4)*-5*x. Solve -3*c + 17 = r for c.
4
Suppose -4*r - 7 = -4*k - 3, -4*r + 2 = -3*k. Let s be (-2)/k + 26/6. Solve -s*a - a = -15 for a.
3
Suppose 0*v - 5*v = -60. Suppose -i + 0*p + 4*p - 9 = 0, -3*i - p + 12 = 0. Let j be 1/(i/v*1). Solve 3*k + 5 = j*k for k.
5
Suppose 19*s = 15*s + 16. Solve 4 = -2*m - s for m.
-4
Let h(q) = -q**2 + 5*q - 2. Let a be h(3). Suppose -a*m - 2*x = -13 - 1, -4*m = 3*x - 19. Solve 2*g = m + 1 for g.
1
Let t be (-6)/9 + 11/3. Solve -4*d - t = -11 for d.
2
Let b(h) = 2*h**2 + h - 1. Suppose z - 4*v + 6 = 0, 3*z - 6 = z - v. Let p be b(z). Let f(t) = -t + 14. Let q be f(p). Solve -q*u = -31 + 6 for u.
5
Let b = 12 - 11. Let r = 66 + -47. Solve -4*n = b + r for n.
-5
Let u be 88/14 - 4/14. Suppose -4 = -2*p + 16. Let l = p - u. Solve -7*x + l*x - 3 = 0 for x.
-1
Suppose 0 = -4*h + s + 15, -h + 6 = -0*s - s. Solve 10 - 1 = h*c for c.
3
Let q = 10 + -6. Let a(f) = -f**3 + f**2 + 4*f - 3. Let g be a(2). Solve 3*v - q*v = g for v.
-1
Let h be (-12)/(-16) - (30/(-8))/(-5). Solve h = n + 4 for n.
-4
Suppose 4*n = -15 + 43. Let v = n - 5. Solve 0*g - 4 = v*g for g.
-2
Let u be 0/((-1)/(-1) - 0). Let h(i) = 1 - i**2 - 1 + 10*i + 4. Let z be h(10). Solve z*v - 4 + u = 0 for v.
1
Let s be (63/6)/(2/(-4)). Let z = -14 - s. Solve -5*p - 32 + z = 0 for p.
-5
Let q = 68 - 66. Solve q = -2*o - 4 for o.
-3
Suppose 0*w = -5*x - 3*w + 57, -5*x - w + 49 = 0. Suppose 29 = 4*k + x. Let s(a) = -a**3 + 4*a**2 - 2*a + 1. Let c be s(3). Solve c = -b + k*b for b.
1
Let w(s) = s + 7. Let t be w(-4). Let h(f) = -2*f + 6. Let x be h(t). Solve x*b = b for b.
0
Suppose -f + 1 = -4. Suppose 3 = f*z - 27. Solve z = 5*u + 1 for u.
1
Suppose 11*a - 98 = 122. Solve q + a = 5*q for q.
5
Let o be 438/30 - (0 + 6/(-15)). Solve -o = -x - 2*x for x.
5
Let n = -1 + 4. Let g(q) = -q - 1. Let s(a) = -2*a - 6. Let y(b) = -5*g(b) + s(b). Let i be y(n). Solve -4 = -3*d + i for d.
4
Suppose 3*g - 4 - 2 = 0. Let o be (0*1/3)/g. Suppose h + 2*j + 0 - 1 = o, -j - 2 = 0. Solve x = -4*x - h for x.
-1
Suppose 33*w - 35*w = -4. Solve w*i - 2 = 2 for i.
2
Let y(t) = t**2 + 4*t - 5. Let p be y(-6). Let b(s) = -3*s**2 + 18*s - 25*s + 3*s**2 + s**2 + 3. Let o be b(p). Solve -9 = 4*h + o for h.
-3
Let d(j) = 4*j + 1. Let l be d(1). Suppose l*i - 14 = 6. Suppose -q + 11 = 5*o, i = -o + 3*o. Solve 3*y - q - 11 = 0 for y.
4
Let u be (-18)/4*(-8)/6. Let a = u - 4. Suppose -v + 2*o - 5 - 3 = 0, -a*o + 8 = 3*v. Solve v*j + 2*j = -4 for j.
-2
Let o = 30 - 14. Let z = o + -7. Let f be (-44)/(-36) + (-2)/z. Solve f = v - 0 for v.
1
Let k be ((-2)/4)/(14/(-84)). Solve 6*b = k*b - 6 for b.
-2
Suppose 2*r - 28 = -2*r. Let p = r - 5. Suppose -5*d + 3 = -2*l - 8*d, l = -d + 1. Solve 20 = l*b - p*b for b.
5
Let u(h) = -h**3 - 5*h**2 + 6*h. Let j be u(-6). Solve y + j*y = 3 for y.
3
Suppose 0 = 6*s - 7*s + 9. Solve 4 = v + s for v.
-5
Let n(m) = -m**2 + 6*m - 2 + 8 + 2. Let a be n(5). Solve 5*c - 3 = -a for c.
-2
Let i(v) = -v**2. Let m(c) = 2*c**3 - 5*c**2 - 1. Let b(j) = -6*i(j) + m(j). Let x be b(1). Suppose -x*l = -l. Solve 3*u + u - 16 = l for u.
4
Suppose 0 = 4*a - 17 - 3. Suppose a*y = 19 + 6. Let u = y + -2. Solve 4*f - u*f = 4 for f.
4
Let p(r) = -4*r + 1. Let v be p(0). Solve v = u + 3 for u.
-2
Let o be (253/22)/(1/(-2)). Let j = -18 - o. Solve d + 20 = j*d for d.
5
Suppose -9*a + 5*a + 16 = 0. Solve -6*j = -2*j - a for j.
1
Suppose 4 = -f + 3*f. Let i be (0/3)/(2 + 0). Suppose n = -i*n. Solve f = z - n*z for z.
2
Let f(a) = a**3 + a**2 + a + 2. Let g(m) = -m - 2. Let r be g(-2). Let i be f(r). Solve -i*b - 15 = 3*b for b.
-3
Let v(a) = a**3 + 9*a**2 + 6*a. Let u be v(-8). Solve -x + 12 = u for x.
-4
Let j be -2*(0 + (-45)/6). Suppose -3*u + 15 = -5*r, -j = -u - 4*u + 5*r. Solve u = 3*a + 9 for a.
-3
Let u = -69 - -71. Solve -t - 5 = -u*t for t.
5
Let a(s) = -s**2 - s. Let m(l) = 8*l**2 + 6*l - 1. Let i(o) = 14*a(o) + 2*m(o). Let g be i(3). Let n = -6 + g. Solve 0*b = b - n for b.
4
Let r(v) = v**2 - 11*v + 3. Let d be r(11). Suppose -39 = -5*x - k + 3*k, 4*k + 15 = d*x. Solve -5*w - 29 = -x for w.
-4
Let q = -4 - -8. Let f(a) = q + a + 9 - 2. Let l be f(-8). Solve l*x + x + 4 = 0 for x.
-1
Let h = -408 - -414. Let m(g) = g**2 + g - 4. Let c be m(-3). Let n be 1/c - (-19)/2. Solve -x = -h*x + n for x.
2
Let o(t) = 5*t**3 - 15*t + 4*t + 8*t**2 - 4*t**3 - 4. Let j be o(-9). Suppose 31 + j = 5*f. Solve 5*x - 2*x - f = 0 for x.
3
Let d = -6 - -9. Let n(i) = -d*i**2 - 2*i + i**3 - 6 + 3*i + 4 + 3. Let u be n(3). Solve 0 = u*l - 11 - 5 for l.
4
Let s(b) = -6*b. Let v be s(-2). Solve 0 = 3*w - 0*w - v for w.
4
Suppose -n - 4 = n + 2*g, 0 = -3*g - 6. Solve -d + n - 1 = 0 for d.
-1
Suppose 2*j - 3 = -1. Suppose g - 2 = j. Solve -1 = -g*x + 5 for x.
2
Suppose 4*t + 5*k = -0*