 for q.
4
Suppose -5*z - 5*k + 20 = -k, 0 = 2*k. Let y be (-10)/4 + (-6)/(-4) + z. Suppose 0*h = 2*h + 2*q - 4, 4*h - 8 = 2*q. Solve h*c = -y*c + 5 for c.
1
Let d(i) = -i**3 + 3*i**2 + 5*i + 1. Let o be d(4). Suppose -2*p + 3 = 3*p + t, -5*t - 15 = -o*p. Let j be ((-3)/(-9))/(p/9). Solve j*c + 8 = -c for c.
-2
Let f(s) = -3*s**3 - 25*s**2 - 8*s + 22. Let y be f(-8). Solve y*w = 15*w - 21 for w.
-3
Suppose u = 3*u - 4*l + 16, -4*u + 3*l - 12 = 0. Solve u = 2*f + 2*f for f.
0
Suppose 2*h - 11 = 5. Let d = 11 - h. Suppose w + 10 = 4*u, -d = 4*w + 5. Solve b = -b - u for b.
-1
Let m(s) = -3*s**3 - s**2 - s - 1. Let l be m(-2). Let d be 6/l - 68/(-7). Suppose -z + 4*h - d = 2, -5*h + 15 = -5*z. Solve z = -2*t + 4*t for t.
0
Suppose 2*d + 2*d - 24 = 0. Let y be 2/((d/9)/(16/6)). Solve -y*o = -3*o - 20 for o.
4
Let u be 6/1 - (-1 + 5). Solve g + 4 = u*g for g.
4
Suppose -42 = -5*r - 0*x + 3*x, -x - 4 = 0. Suppose 2*b = -b + r. Solve b*v - 2 = -0 for v.
1
Suppose 2*z - 3*z - 5 = 0, z = -5*u + 60. Let l = 16 - 1. Let a = l - u. Solve -q - 1 = -a*q for q.
1
Suppose 0 = 6*p - p - 25. Let q be 0/((3 - 42/15)*5). Solve q*r = -r - p for r.
-5
Suppose 2*f + 296 = 8*w - 12*w, -3*w + 2*f = 236. Let t = w - -87. Solve -t*z + 13*z = -10 for z.
-5
Let x(k) = k**3 + 9*k**2 - 5*k - 19. Suppose 27 = 3*j - 6*j. Let r be x(j). Let t = -23 + r. Solve t*g + g = 4 for g.
1
Let g = 76 + -49. Let c be (31/(-3))/(9/g). Let n = c - -43. Solve 5*s = 2*s + n for s.
4
Let s(a) = a - 3. Let y be s(2). Let k(v) = v**2 - 4*v - 2. Let i(o) = 4*o**2 - 18*o - 9. Let j(x) = -2*i(x) + 9*k(x). Let b be j(y). Solve -1 = 2*q + b for q.
-1
Let q = 1 - -5. Suppose -2 + q = p. Suppose -p*s - 2*r - 2 = 0, -s + 5*r + 6 = 1. Solve s = -5*a + a + 20 for a.
5
Suppose -18*r + 14*r = -12. Let j(t) = t**2 - 3*t. Let m be j(r). Let x be m*((-12)/8 + 2). Solve -4*d + 17 - 1 = x for d.
4
Let y(u) = 6*u + 35. Let s be y(-7). Let n be 2/s*(4 - 11). Solve -7*o + n*o - 10 = 0 for o.
-2
Let l = 1506 - 1506. Let x = -5 + 7. Suppose r + x = 6. Solve n + r*n = l for n.
0
Suppose -4*q = 3*n - 25 - 139, 0 = -n + 4. Solve 5*k + q = 23 for k.
-3
Let g(t) = -6*t. Let v be g(-4). Suppose 0 = -2*c + 5*i - 23, 3*i + 84 + 51 = -5*c. Let u = c + v. Solve -z + 3*z + 6 = u for z.
-3
Let d = 986 + -981. Solve -i + d = -0*i for i.
5
Let t = 3027 + -3020. Solve 9 = t*d + 30 for d.
-3
Let h be (-3)/(-9)*-3*0. Suppose h = -i - i. Suppose -z + i = -3. Solve 0 = z*c - 5*c for c.
0
Let b = 315 - 290. Solve 16*c + b = 11*c for c.
-5
Suppose 10 - 7 = -u. Let l(a) = a**2 - 2. Let w be l(u). Solve w*k - 2*k = 0 for k.
0
Suppose 0 = -w - 3, -24 - 12 = -3*g + 5*w. Let o = 7 - -1. Suppose 0 = -10*t + o*t. Solve t = 5*a + g + 3 for a.
-2
Let w(a) = -4*a**2 + 4*a - 3. Let g be w(2). Let m = g - -19. Solve 5*o - o + m = 0 for o.
-2
Let r(a) = -a**3 + 2*a**2 + 21*a + 34. Let j be r(6). Solve -4*q - j = -32 for q.
4
Suppose 5*c = -5*q + 5, 35 = -5*c + 10. Solve 10*l - 8*l + q = 0 for l.
-3
Suppose 12*u - 54 = 3*u. Solve 0 = -4*g - u - 2 for g.
-2
Suppose n + 5 = -4*y, 2*n + 10 = -y - 0*y. Suppose 3*a = -x + 29 - 12, 4*x - 32 = -3*a. Solve -a*f - 4 = -y*f for f.
-1
Suppose 0*y + 4*y = -4*x + 32, 2*x + 6 = 0. Solve -o + y = 9 for o.
2
Let v = 82 - 76. Let s be ((-40)/24)/(((-5)/v)/1). Solve z = s - 6 for z.
-4
Suppose -6*v + 4 = -4*v. Suppose 3*j - 7 = 2*w - 1, 2 = j - 5*w. Let m be (3/(-3))/(j/(-8)). Solve m*u - 5*u + v = 0 for u.
2
Suppose 8*h - 50 = 14. Solve r - h = -9 for r.
-1
Let u = 35 - 26. Let t = u - 8. Suppose -1 = -6*k + 29. Solve -4 - t = -k*s for s.
1
Let d = -38 + 82. Let m = d - 72. Let l = m + 33. Solve -5*g + 5 = -l for g.
2
Let c(x) = x - 2. Let g be c(4). Let j(f) = 8*f - 7. Let d be j(2). Solve 5*w + d = g*w for w.
-3
Let n = 18 - 18. Suppose n = 7*j - 4*j. Solve j = -f + 2*f - 5 for f.
5
Let v = 186 - 184. Solve -v*l = -l for l.
0
Let z be (-188)/(-16) - -3 - (-13)/52. Solve -z = -2*p - 7 for p.
4
Let h(y) = -y - 2. Let o be h(-10). Suppose -11*c = -15*c - 20. Let d = c + o. Solve -d*a = a for a.
0
Suppose 2 = m - 1. Let p(a) = -a**3 + 13*a**2 - 38*a + 23. Let x be p(9). Let s(g) = g**3 - 2*g**2 - g - 4. Let y be s(3). Solve -m*d = x - y for d.
-1
Let x be 3/(-4) - (-1268)/(-16). Let q = -69 - x. Solve 0 = 4*l - 1 - q for l.
3
Let c(p) = -p**3 - 7*p**2 - 8*p + 13. Let g be c(-5). Let f be ((90/3)/g)/2. Solve -7 = 4*m + f for m.
-3
Let y(p) = 5*p + 61. Let a be y(-12). Solve -13 + a = -3*w for w.
4
Let k = 637 + -637. Solve 0 = -2*t - k*t - 2 for t.
-1
Suppose -2*l + 8 = -0*l. Let f(w) = w**3 - 2*w**2 - 5*w. Let v be f(l). Suppose v = 2*o - 0*o. Solve 3*b + o = b for b.
-3
Let k(l) = 7*l - 1. Suppose 0 = 9*c - 14*c + 5. Let f be k(c). Solve -f = 5*w - 1 for w.
-1
Let c be 130/35 - 2/(-7). Let d = c + -2. Solve -d + 5 = o for o.
3
Let k = 19 + -25. Let y(z) = z**3 + 5*z**2 - 8*z. Let g be y(k). Solve -g + 2 = 2*b for b.
-5
Let t(r) = 2*r + 16. Suppose 6*n + 88 = -5*n. Let l be t(n). Solve l = -f + 1 + 4 for f.
5
Let u = 11 + -11. Suppose u = 3*c - 4 - 8. Solve 10 = c*n - 10 for n.
5
Suppose -32 = -4*s - 8. Suppose s = -3*f + 18. Let a be ((-4)/f)/(2/(-10)). Solve -a*r + 40 - 15 = 0 for r.
5
Suppose -5*k + 2*w = -237, -5*w + 10*w = k - 29. Solve 0 = -3*c + 64 - k for c.
5
Suppose -2*z - 12*z = -98. Solve 0 = z*x - 15 - 13 for x.
4
Let v be (-21)/14*(1 + -3). Suppose -3*n + 0*n - 67 = -5*c, 21 = v*c + 3*n. Solve 2*j + 1 - c = 0 for j.
5
Let s(b) = -b**3 + 3*b**2 + 8*b + 6. Let q be s(4). Solve 0 = -i - 17 + q for i.
5
Suppose 0 = -0*a + 5*a. Let c be 6*(16/12 + a). Suppose -3*u = -5*u - 10, -2*u - c = d. Solve 4 = -m + d*m for m.
4
Let o(s) be the third derivative of s**4/6 - 2*s**3/3 - 11*s**2. Let a be o(2). Solve -a = -5*w + 11 for w.
3
Let l be (34/8)/(3/12). Let k = 0 + l. Suppose y = -y + 3*q + 7, 3*y + 2*q = k. Solve -5*d - y = -0 for d.
-1
Let v = -40 + 47. Solve v = f + 11 for f.
-4
Let s(w) = w**2 + 2*w - 8. Let g(r) = r**2 - 5*r - 2. Let x be g(4). Let b = x + 2. Let a be s(b). Solve z + 6 - 5 = a for z.
-1
Let x = 22 - 21. Let g be (5 + 0)*(x - 0). Solve b + 4 = g*b for b.
1
Let w be (91/21 - 4)/((-1)/(-45)). Solve w*a = 4*a + 11 for a.
1
Suppose 12*g + 10*g - 20*g = 0. Solve -4*o - o = g for o.
0
Suppose 5*k - 10 = 0, s - 4*k + 62 = 85. Solve 27*c + 8 = s*c for c.
2
Let n(h) = -h**3 - 2*h**2 + 5*h + 3. Let g be n(-3). Suppose 5*p = -3*x + x + 18, 5*x = 2*p - 13. Let d be (p + g + 1)/2. Solve 2*u - d = 3 for u.
2
Suppose 5*b + x - 15 = 0, -x = 2*b + 4*x - 29. Suppose -q - b*q = -9. Let u be (-780)/1040 + (0 - (-6)/8). Solve u = q*t + 2*t - 15 for t.
3
Let n = -19 + 66. Let x = n + -26. Let w = -9 + x. Solve -2*a = 2*a - w for a.
3
Let o be 80/22 + (-4)/(-11). Solve -20*c + 24*c = o for c.
1
Let q be (-38 + 39)/((-1)/(-1)). Solve -7*b + 6*b = -q for b.
1
Suppose -22*j - 274 = -846. Solve 0 = -13*u - 0 + j for u.
2
Let z(s) = -2*s + 26. Let i be z(-12). Let j = i - 20. Suppose 0 = -6*p - 0*p + j. Solve -p*u - 28 = -3 for u.
-5
Suppose -4*n = 5*o - 17 - 19, 3*o - 2*n - 26 = 0. Solve 21 = -o*x + x for x.
-3
Let z(u) = -5*u**2 - 6*u + 3. Let p be z(2). Let a = -8 - p. Let q = 37 - a. Solve 0*f = -4*f + q for f.
4
Let b(m) = -m**2 - 6*m + 11. Let z be b(-6). Suppose 16 = z*p - 6. Solve -t + 0 = -p for t.
2
Let b(n) = -3*n. Let q be b(-1). Suppose 0 = q*s + 5 + 1. Let v be (s/6)/(4/(-12)). Solve 3*o - v = 11 for o.
4
Let j(w) = -w**3 + 4*w**2 + 2*w + 19. Let h be j(5). Solve 3*t - 5*t = h for t.
-2
Let c = -713 + 725. Solve 0 = -3*z + c - 12 for z.
0
Suppose -4*q - 2*k = -219 - 175, 0 = 4*k - 20. Solve -4*j = -116 + q for j.
5
Suppose -2*h + 7 = -h. Suppose -72 = 4*d - h*d. Let c be (3/6)/(3/d). Solve 0 = z - c*z - 3 for z.
-1
Let m = 72 + -79. Let q be (-2 - (-7 - 2))/1. Let t = m + q. Solve w - 3*w = t for w.
0
Suppose 2*o = 2*u - 32, 32 = -2*o + 3*u - 0*u. Let c(k) = k**3 - 6*k**2 + 12*k - 14. Let y be c(5). Let j = o + y. Solve -7 - j = 3*v for v.
-4
Suppose w = -4*w + 3*n, -4*w = 4*n. Solve w = 5*m + 9 - 14 for m.
1
Let w(m) = m**3 - 7*m**2. Let i be w(7). Suppose t - 6 = -3. Solve t*u + i*u + 15 = 0 for u.
-5
Let n = 9 - 4. Let q(f) = f**2 + 6*f - 51. Let z be q(-11). Solve z = n*c + 14 for c.
-2
Let w be (-24)/64*(-4)/(-6)*-12. Solve w*f = 2*f - 3 for f.
-3
Let c = 2809 + -2804. Solve -2*v = c*v - 21 for v.
