 Solve x = 3*a + 19 - 4 for a.
-5
Let k = 14 - 8. Let r = k - 4. Suppose 32 = 6*y - 64. Solve y = -2*b - r*b for b.
-4
Suppose -c = 3*u - 19, 17*c - 22*c = -5. Solve -26 = -u*z - 8 for z.
3
Suppose 3*s - 9 = -r, 0*r = -3*r + 4*s - 25. Let i be r*(0 + (-15)/9). Suppose -2*h - 18 - 32 = -2*p, 0 = -i*p - 2*h + 111. Solve -7 = 4*k - p for k.
4
Let b(v) = -v**3 - 22*v**2 - 21*v + 18. Let t be b(-21). Suppose s = -t + 21. Solve s*l = -l for l.
0
Let s(c) = 2*c**2 + 2. Let m be s(-2). Let h be ((-1197)/54)/19*-6. Solve 2*q - h*q = m for q.
-2
Let f(l) = -161*l + 658. Let w be f(4). Solve -w*p - 24 = 10*p for p.
-1
Let t(k) = 2*k**2 + 10*k + 6. Let p be t(-10). Solve -p = -32*x - 10 for x.
3
Suppose 0*l + 3*l = 5*h - 26, 3*h + 5*l - 2 = 0. Let k be 6/(-1)*(-20)/5. Suppose h*b - k = -0*b. Solve -2 = -2*c - b for c.
-2
Suppose r - 4*b = 24, 4*r + 4*b = -b + 54. Let w(p) = p**2 - 17*p + 21. Let x be w(r). Solve -3 = x*c - 18 for c.
3
Let q be ((-6)/4)/(6/16). Let r be 20/3*(-6)/q. Let w be 1*3 - (r + -10). Solve -w*i + 2*i - 4 = 0 for i.
-4
Suppose -3*b - 50 = -2*o, o - 3*b + 136 = 5*o. Let g = -31 + o. Solve g = h - 2 - 3 for h.
5
Let q(v) = -2*v + 8. Let l be q(0). Suppose -c = -1 - l. Suppose 0 = 2*b + b - 4*a - c, 4*a - 9 = -3*b. Solve 0 = -2*h + b*h for h.
0
Let h(g) = -g**2 + 8*g - 7. Let z be h(6). Suppose 4*t = -5*s - 17 + 53, -5*s = -3*t - 78. Solve z*p + s = 2*p for p.
-4
Let l be (7 + (6 - 6))*1. Solve 4*z - 3 = -l for z.
-1
Suppose -q - 100 = 4*l, 2*l = -q - q - 56. Let z = l + 29. Solve -4*k = -z*k - 5 for k.
-5
Let x(k) = -2*k + 139*k**2 + 0*k - 138*k**2 + 3. Let v be x(0). Solve v = -2*h + 9 for h.
3
Let s = 5 + 1. Let l be 6/7*(-28)/(-6). Let z(g) = -g**2 + g + 5. Let p be z(0). Solve -p*u - l = -s*u for u.
4
Suppose 86 - 962 = -6*a. Solve 6*w = -a + 116 for w.
-5
Suppose -27 + 7 = -2*k. Let g(x) = 4 + x - 12*x + k*x. Let w be g(4). Solve w*i = -5*i + 10 for i.
2
Let x(p) be the second derivative of -9*p + p**3 + 0 + 7/2*p**2 - 1/12*p**4. Let o be x(7). Solve -5*t + t = o for t.
0
Let o(w) = -3*w**2 + 12*w. Let g be o(5). Let c(b) = -b**3 - 17*b**2 - 32*b - 28. Let t be c(g). Solve 8 = t*i - 2 for i.
5
Let j be (3/(-24))/((-4)/32). Solve -j = -4*n - 5 for n.
-1
Let b be 9*1*3/9. Suppose x - 27 = -b*x - t, -27 = -3*x - 3*t. Let z be x/(-9) - 340/(-15). Solve 5*g + 7 = z for g.
3
Let w(s) = -4*s + 96. Let p be w(24). Solve 26*a - 23*a - 9 = p for a.
3
Suppose -135*s + 140*s - 4*r = 37, -2*s - 3*r + 1 = 0. Solve 10*q + s = 11*q for q.
5
Let i be (-66)/9*(-75)/50 + -5. Solve 10 - 10 = i*c for c.
0
Let u(x) = -2*x + 3. Let c be u(-6). Suppose -w - 3 = -3*g + 15, 3*g - 4*w - 27 = 0. Solve -2*f + g = c for f.
-5
Let a = 179 - 96. Let b = a + -83. Solve 2*y + b*y = -8 for y.
-4
Let m = -660 - -668. Solve 336*j + m = 332*j for j.
-2
Let r = -29 - -43. Suppose 7 = -3*l - 5, 3*f - 2*l = r. Solve f*y - 8 = 2 for y.
5
Let g be (-6)/(-8) - (-11)/(308/(-357)). Let z = g + 12. Solve z*x = 3*x + 3 for x.
-1
Let a be (2 - (0/1 - (-45)/15)) + 7. Let g(p) = 5*p**2 - 2*p + 1. Let j be g(1). Suppose -16 = -5*z + 4. Solve j*f = a*f - z for f.
2
Suppose -3*q - 36 = 5*j, -2*q = 3*q + 2*j + 79. Let a = -12 - q. Let f be (-7 - -3 - -2) + a. Solve 2*i + f*i = 0 for i.
0
Let z(i) = 7*i**2 + i + 3. Let c be z(-2). Let p = c - 29. Solve 0 = -p*w + 3*w + 12 for w.
-4
Suppose -t = 3*j + 137, 5*j - 2*t = 2*j - 149. Let g = -42 - j. Solve g = 4*a + a for a.
1
Suppose 2*f + 66 = p, 0 = -8*p + 11*p + 2*f - 198. Solve -60*j + p*j = 12 for j.
2
Let p be 1*29 + (-12)/6. Let k be p/6*(-16)/(-6). Suppose -8*z + 5*z + k = 0. Solve -2*b - z = -0*b for b.
-2
Suppose -9 = -7*t + 5. Let s be ((-2)/4 - 0) + 7/t. Solve -4*q + s = -1 for q.
1
Suppose 2*k = -3*w + 5, 0*w + k = 3*w + 7. Let x = 3 + w. Let a = 124 + -114. Solve -4*u + a = x for u.
2
Let l(x) = -x**3 + 7*x**2 + 7*x + 10. Let j be l(8). Suppose -j*i = i + 4*g - 2, 2*i - 2*g - 20 = 0. Solve -i*z = -2*z for z.
0
Let t be 5 + 4*(0 - -1). Let i(q) = -q**2 + 12*q - 22. Let g be i(t). Solve g*z = -0*z - 15 for z.
-3
Let d = -100 - -104. Solve 0 = d*m - 12 for m.
3
Let n be ((-32)/(-3))/(36/54). Solve 3*q - n = -1 for q.
5
Suppose 0 = 107*k - 102*k. Solve 3*s - 8*s + 10 = k for s.
2
Let z(d) = d**3 - 3*d**2 - 10*d - 17. Let o be z(6). Solve 5*j = o - 11 for j.
4
Let w = 138 - 136. Suppose w*j - 74 + 68 = 0. Solve 0 = -j*z + z for z.
0
Let n(i) = i**3 + 4*i**2 - i - 5. Let q be n(-4). Let f be -2 - (-18)/(2 + q). Suppose -c + f = 5*p, 5 + 7 = -3*c. Solve -4*b = -8 - p for b.
3
Let t(i) = 2*i + 23*i**2 + 2 - 44*i**2 + 24*i**2. Let w be t(-1). Suppose -v - w*v = -12. Solve v = -5*f + 2*f for f.
-1
Let h = 109 - 92. Suppose 2*v + 25 = 5*n, -n - h = 4*v - 0*v. Solve -1 = n*f - 2*f for f.
-1
Suppose -3*g + 54 = 5*c, -28 = -4*c - 5*g + 10. Solve 46*s + c = 40*s for s.
-2
Suppose 3*c = 7*c - 12. Suppose 0*j = 3*j - c. Solve 3*u - 2 = j for u.
1
Suppose -2*w - 3*s = 5, 4*s + 28 = 2*w - 2. Let a = -34 - -38. Solve a - 14 = w*y for y.
-2
Let l be (-1 + 4 - (6 - 2)) + 3. Solve -5*z = -l*z - 3 for z.
1
Suppose -1 = -n + 2. Suppose -n*c - 80 = -7*c. Solve 4*x = 8*x - c for x.
5
Let f = -21 - -33. Let x(v) = -v**3 + 12*v**2. Let j be x(f). Suppose -2*z = -6 - 0. Solve j = q + z*q - 20 for q.
5
Suppose 94*x - 1018 - 674 = 0. Solve -x*n = -4*n + 42 for n.
-3
Let b(x) = x**2 - x - 7. Let u be b(4). Suppose -4 = -u*i - 2*d, 2*i - 12 = -i + 2*d. Solve 0*a - i*a = 4 for a.
-2
Let d = 414 - 408. Solve 4*s + 18 = d for s.
-3
Let s(h) = -4*h + 35. Let z be s(8). Solve -2*k = 5 + z for k.
-4
Suppose 0 = z - 3*z + 8. Let u be 10/6 - 1/(-3). Let b = z + u. Solve -b*d = -d + 20 for d.
-4
Let x be (-72 + -16)*(-3)/6. Solve -40*m + x*m = 16 for m.
4
Let a be (9 - (18 - 2)) + 31 + 0. Solve 9*m - a = 3*m for m.
4
Let q(d) = -d**3 - 7*d**2 - 10*d - 10. Let z be q(-6). Suppose z*a - 12 = 11*a. Solve a*j + 8 = -0 for j.
-2
Let x be (-10)/3*(-594)/165. Solve c + 2*c = x for c.
4
Suppose -5*h + 3*h = 0. Solve h*i - i = 2 for i.
-2
Suppose -2*t - 3*h - 2*h + 239 = 0, -h - 511 = -4*t. Solve -5*l = -t + 132 for l.
-1
Suppose 0*v - o = 4*v - 58, -48 = -3*v - 3*o. Let h = v - 9. Suppose 0 = h*p - 3*z + 2, -4*p + 1 = -3*z + 5. Solve w = -p*w for w.
0
Suppose -15*q + 13*q = -6. Let d(w) = 4*w**2 - w + 1. Let u be d(2). Let f = 23 - 19. Solve -f*a - u = -q for a.
-3
Let p(a) = a**2 + 1. Let c be p(-2). Suppose -4*d + 2*d + 23 = -3*t, t = 1. Solve -12 = c*o + d for o.
-5
Let k(u) = u**3 + 3*u**2 - 10*u + 12. Let r be k(-5). Solve -r*n + 8 = -14*n for n.
-4
Let u be 4/(-3) + (-96)/(-72). Suppose 4*z = u, 2*z = -2*k - k. Solve j - 4*j = k for j.
0
Suppose -4*n + 5*n = 0. Suppose 2*u - 6 = -n*u. Solve 2*y = u*y + 5 for y.
-5
Let p be (-1360)/(-140) - (-2)/7. Solve -21*o - p = -23*o for o.
5
Let a(l) = l**2 - 10*l + 24. Let x be a(3). Solve -x*v = -8*v - 20 for v.
-4
Suppose -11*k + 45 + 32 = 0. Solve -2*r = -k*r + 5 for r.
1
Let g = 11 - 6. Suppose 6 = 2*k - 4*k + 4*t, 4*t = g*k + 9. Let x be 1 + (2 + k - 0). Solve -2*o - x*o = 4 for o.
-1
Let c(k) = 2*k**2 - 4*k - 13. Let h be c(4). Solve 0*g + 6 = -h*g for g.
-2
Suppose 0 = -y - 11*y + 96. Suppose -42 = -11*t + y*t. Solve -5*h = 1 + t for h.
-3
Suppose 4*u + 1 = 5. Let q(h) = -h**2 + 9*h - 6. Let o be q(7). Suppose -o*t = -8 - 16. Solve a = -t + u for a.
-2
Suppose 18*d - 8*d - 20 = 0. Solve 0 = -p - 0 + d for p.
2
Let t = -80 - -82. Suppose 2 - t = 3*u. Solve x = -u*x for x.
0
Let y = -12 + -30. Let q be 4/14 + (-198)/y. Suppose 2*u = -5*d + 17 + 3, -3*d + 12 = 0. Solve q*x = -u - 10 for x.
-2
Suppose 9*v - 8*v + 70 = 3*u, 0 = -5*u - v + 130. Solve -2*o + u = 21 for o.
2
Let j(r) = -r**2 + 56*r - 295. Let d be j(7). Solve 5*q = -7*q - d for q.
-4
Let b = -102 - -107. Let u(q) = -2*q**2 + 14*q - 12. Let s be u(b). Solve -v + s = v for v.
4
Let a = -223 + 226. Solve -10*g - 35 = -a*g for g.
-5
Suppose -27*a - 16*a = -172. Solve -2*w = -w + a for w.
-4
Let y(k) = -k**2 - 10*k + 25. Let x = 22 - 34. Let o be y(x). Solve -5 + o = -c for c.
4
Suppose 6*d - 2*d = 44. Suppose -2*x + 5*x - 4*c = 5, c = 4*x - d. Solve 0 = -0*v - x*v for v.
0
Let o be 123/(-410) - (-219)/30. Let z be -2*((-69)/6 + 2). Solve z - o = 3*j for j.
4
Let k be (9 - (-256)/(-24))*54/(-15). Solve 7*m - k*m = 1 for m.
1
Let n = 4 - -6. Suppose 27*t = 22*t + n.