= -3*p, -1 = 5*p + q for b.
-4
Suppose -v + 12 = -0*v. Let k(r) = -r**3 + 12*r**2 + 3*r - 16. Let z be k(v). Let l = -16 + z. Solve -l*f - 1 = 4*u + 3, -9 = -3*f + u for f.
2
Suppose -3*l + 13 = 4*k, 2 = -l + 8*k - 3*k. Solve -2*j - z = 2*z + 14, -j + l*z = -2 for j.
-4
Let t = -4 - -22. Let b(a) = 2*a**2 + 7*a - 1. Let g be b(-5). Let y = 20 - g. Solve -y - 9 = -5*f, 0 = 3*q - 5*f + t for q.
-1
Let g be 5/3 + (-110)/165. Solve 0 = -y + g, -2*y - 2*y = -v for v.
4
Let w = 612 + -600. Solve 0 = -3*s + w, 4*d - 18 = -5*s - 2 for d.
-1
Let o be (4/3)/((-20)/(-9) - 2). Let s(y) = y**3 - 5*y**2 - 4*y - 3. Let b be s(o). Solve -4*c - b = -3*c - f, 0 = -3*c - 4*f + 1 for c.
-5
Let p = 10 - 8. Solve j = -5*r + 10, 2*j - p*r + 3 - 11 = 0 for j.
5
Let y = 54 - 29. Solve 0 = -5*c + 3*i - y, -6*c - 19 = -4*c - 3*i for c.
-2
Let z = 0 - -3. Suppose 2*h + 5*p = 20, z*h = -h - 3*p + 40. Let v be (8/h)/((-22)/(-55)). Solve v*m + 4 = -2*m, -5*d - 5*m + 5 = 0 for d.
2
Let p be -18*(-1)/(-21)*7. Let k be (-24)/(-14) + (-4)/(-14). Let a be k*2/(-8)*p. Solve 0 = 3*s + a*q + 15, -5*s - q - 3 - 2 = 0 for s.
0
Suppose -3 = 2*a - 11. Suppose -k + 6*k + 2*l = 18, -a*k + 24 = 4*l. Solve -5*o + 2*q = -q - 8, -k = 2*q for o.
1
Let l = 32 + -29. Suppose l*k + 5*k = 8. Solve 0*i = 3*x + 2*i - 5, i + k = -5*x for x.
-1
Let b(o) = 10*o + 146. Let i be b(-14). Solve 3*m - i*m - 10 = s, 4*m = 5*s - 7 for m.
-3
Suppose 6 = -11*t + 17. Solve -4 = -4*k, 2 = 4*r - 5*k - t for r.
2
Let s be ((-1660)/16)/(-5) - (-1)/4. Solve -4*d + 3*t + 19 = 0, s = d - 5*t + t for d.
1
Suppose -3*a = -5*q + 14, -4*q = -2*a + q - 16. Suppose -5*d - a*y + 28 = 76, 0 = 4*d - 5*y + 12. Let v = d + 11. Solve -4*o - 5 = o, 2*h + 1 = v*o for h.
-2
Let i be (4/(-10))/((-4)/30). Solve -i*g = -3*n + 9, 3 = -2*g - 3*n + 7 for g.
-1
Let i = -6 + 13. Let x = i - 1. Solve -2*j + 18 = 4*t, 4*t = -j + x + 7 for t.
2
Suppose -4*p + 28 = -h, -2*h - 14 = -2*p + p. Let v be (45/p)/((-3)/(-4)). Solve -m + 4*g + 5 = -v, -3*m = -5*g - 17 for m.
-1
Let d = 37 - 32. Let y(i) = 3*i + 4. Let b be y(d). Solve 5*q - f = 4 + 15, 4*q + 3*f = b for q.
4
Suppose 0 = 3*z - 4*j - 22, 4*z = -3*j - 0*j - 4. Suppose z*s - 8 = 6*s. Let p be (-6)/s - (9 + -9). Solve -f - 3 - 5 = 3*t, 2*f - p*t = -7 for f.
-5
Let f(r) be the first derivative of 0*r**2 + 20*r + 1/3*r**3 - 9. Let l be f(0). Solve 2*o - 7 = -4*t - 1, -5*t = 5*o - l for t.
-1
Suppose -2*g = -0 - 10. Solve 2*a - 8 = -4*c, -g*a = -3*a + 8 for c.
4
Let r = -116 + 132. Solve -2*f = -2*s - 6*f - 28, s - 4*f - r = 0 for s.
-4
Let b(h) = h**3 + 8*h**2 + 4*h + 5. Let n be b(-7). Suppose 15 = 5*x + r, -n = -4*x + 2*r - 0*r. Solve -a - x*q = 15, -2*q - 6 = 5*a - 3 for a.
1
Let a be 12/(-9)*(-3 - 3)*1. Suppose -23 - 17 = -a*i. Solve -7*q + 4*q - 10 = f, 4*f - 11 = i*q for f.
-1
Suppose 5*u = 4 + 96. Solve -u = -5*x, -x = -5*r + 2*x + 8 for r.
4
Let r be 0 + 1 - 8/(-8). Suppose -7*y = -r*y. Let a = y + 5. Solve 5 = 5*q - a*z, 23 = 5*q + 6*z - 2*z for q.
3
Suppose -k + 3*k + 78 = 4*h, 3*k = 5*h - 97. Let c = 936 - 934. Solve -h = -2*m + m - 5*o, -11 = -m - c*o for m.
5
Let l be 12/(-28) - ((-752)/7 - 3). Suppose 0 = -48*w + 43*w + l. Solve -4*h = -0*z + z - 19, -5*h = 3*z - w for z.
-1
Let v(j) = -j**3 - 13*j**2 - 12*j + 5. Let z be v(-12). Suppose 5*g + 15 = 0, 10*g = -2*f + z*g - 7. Solve 4*t - s + 20 = 4, f*s + 21 = -t for t.
-5
Let a be ((-112)/(-36))/(4/18). Suppose -5*q + 11 = -14. Solve -4*u = -2*y + 16, 2*y - q*u - 4 = a for y.
4
Let t(r) = r**3 - 6*r**2 - 6*r - 2. Let j be t(7). Suppose j*v - 11 = -y, -y - y - 8 = 0. Solve 0 = 3*o - 1 + 4, -4*l - v*o + 17 = 0 for l.
5
Let h = -499 + 515. Solve 0 = -5*t - 4*w - 26, -h = t - 3*t + 5*w for t.
-2
Let z be ((-45)/(-2))/9*4. Suppose 104*b - 102*b = z. Solve -b*w = s - 15, 4*s - w + 6*w - 15 = 0 for s.
0
Let y(t) = -t**3 + 3*t + 6 - 9 + 6*t**2 + 0*t**3. Let c be y(6). Let w be 33/c - 4/20. Solve w*l - 3*f - 2*f = -4, -10 = 5*l + f for l.
-2
Let k = 211 - 202. Solve f + 3 = -5*m + 2*f, k = -m + 3*f for m.
0
Let u be 1 + 5 + 13 + -14 - 3. Solve -u*i + 4 = -4*v, 0 = 2*i + 2*i + 2*v + 2 for i.
0
Suppose 3*g + 0 = p - 3, 3*p - 5*g = 9. Solve -2*z + 5*x + 22 = z, z + p*x + 2 = 0 for z.
4
Let t(j) = 5*j + 9. Let h be t(-4). Let m(r) = -r**2 - 10*r + 11. Let p be m(h). Solve -4*f + p*w + 2*w - 12 = 0, 2*w - 2 = -f for f.
-2
Let d = 16 + -16. Suppose j - p = 14, j + d*p - 14 = -5*p. Suppose 3*i + 5 = 5*y, -3*y = 4*i - j - 18. Solve -4*u - 12 = y*b, -2*b - 10 = 3*u + 2*b for u.
-2
Suppose -2*g + 38 = 2*v, 0 = -5*v - g - 21 + 96. Let r be (84/v)/(3/(-2)). Let t be 4/(0 - r/10). Solve -3*u - y + 20 = 3*y, 2*y - t = 0 for u.
0
Let v = -358 - -362. Solve t + 11 = -4*j, -2*j + v*t + 2 = 3*j for j.
-2
Suppose 2 = -2*s + o + o, -2*o + 16 = 5*s. Suppose 0 = s*x - x - 2. Solve -11 = x*m + 3*m + 3*a, 4*a = -m - 9 for m.
-1
Let g be (-5)/(20/12) + 21. Suppose -2*p = -5*z + 115, 0*z - 2*p = 3*z - 53. Let x = z - g. Solve -x*f = 5*q + 12, 0 = -f + 4*f - q + 12 for f.
-4
Let l be 1296/312 - 2/13. Solve l = 4*x, -u + 0 + 4 = 4*x for u.
0
Let u = -1 + 4. Suppose 42*i = -29*i + 60 + 224. Solve -u*m - 20 = i*o, -2*m - 3*m - 26 = 3*o for m.
-4
Let z = -130 + 85. Let a = -5 - z. Suppose 4*x - a = -0*x. Solve 0*k = 2*k + x, -5*k = 3*s + 37 for s.
-4
Let r(s) = -3*s - 69 + 145 - 142. Let x be r(-24). Solve -4*p - i = -3*i + 6, 0 = 2*i - x for p.
0
Suppose -1 - 3 = w. Let o = w - -6. Let m be 0/(4*o/(-4)). Solve m*q - 3*q - 14 = -a, -23 = q - 4*a for q.
-3
Let t be -4 + (56 - -4)/(-3). Let c be (-2 - 0)/(16/t). Solve -5*p - 3*g - 20 = -g, c*p + 2*g = -12 for p.
-4
Let m(a) = -a + 15. Let i be m(7). Suppose g + 5*s = s - 4, -4*s = i. Solve -5*x - 2*q = -3*q - 15, -g*x = 3*q - 31 for x.
4
Suppose -5*t = -106 + 31. Let c(b) = 2*b**3 - 3*b**2. Let o be c(2). Suppose -3*i = 3*x, o*i + 0*x = x + t. Solve 5*h + 2*y = -2*y - 11, -5*y - 23 = -i*h for h.
1
Suppose 2*o + 3*z + 54 = 0, -4*o - o - 3*z = 135. Let l be (-12)/54 + (-141)/o. Suppose 7*i - 2*i = 25. Solve -3*u + 23 = i*h, u - 2*h = -2*u - l for u.
1
Let s be ((-114)/(-15))/(3/(-15)). Let k = 41 + s. Let r = 3 - 3. Solve -u = -k*u + 10, -5*h + u + 10 = r for h.
3
Let m be 11/88 + 2/(-16). Let z be 24*(1 - (m - 0)). Solve -k - 2*k = -f + 1, -4*f - 2*k - z = 0 for f.
-5
Let t(a) = -a**3 + 28*a**2 - 72*a - 71. Let l be t(25). Suppose 2*c + 7 = 5*v - 7, 0 = -v - 3*c - 4. Solve v*h - 3*f + 3 = -0*f, -2*h + l*f = 2 for h.
-3
Let o = -4 - -12. Suppose -5*l + o = -l. Let i be 21/(-6)*l/(-1). Solve -i = -4*x - 2*p + 7*p, -p + 1 = -2*x for x.
-2
Let c = -17 - -46. Let j = -14 + c. Solve 0 = 3*h - 0 + j, 3*h = 3*y - 15 for y.
0
Let w(v) = -1 + 2 + 4 + 0 - v. Let u be w(5). Suppose u = 5*t + p - 6, 0*t + p = 2*t - 8. Solve 4*f = -t*o - 0*f - 22, -5*o + 5 = -2*f for o.
-1
Let y be 9*((-154)/63)/(-11)*2. Solve -4*b + 12 = 3*u - 4*u, -2*b + 24 = y*u for u.
4
Suppose -2*h - 3*h + 115 = 0. Let v = 54 + -51. Suppose -2*j = a + 2*j + 16, 3*j = -a - 11. Solve -5*c - h = v*f, f - a*f = -3*c - 9 for c.
-4
Let h be (20/(-15))/(4 - (-98)/(-24)). Suppose h*w = 40 + 8. Let g = 0 - 0. Solve -3*t = g, 2*t = a - w*t for a.
0
Suppose 5*q + 0*q = g + 3, -2 = g - 4*q. Suppose 0 = 5*o - m - 17, 3*m - 2*m - 7 = -3*o. Solve 14 = y - o*h, -h + 16 = g*y - 3*h for y.
5
Let m(c) = 7*c + 6. Let k be m(-3). Let o be k - (24/2)/(-4). Let p = o + 17. Solve p*q = 4*z - 24, -2*q - 3*z - 6 = -z for q.
-4
Let x = 12 + 0. Let j(c) = c**2 - 15*c - 10. Let f be j(15). Let q = x + f. Solve l = 3*p + 4, 2*l - 3 = -3*l - q*p for l.
1
Suppose 3*m = -5*g + 30, -g = -2*m - 3*g + 20. Solve -5*n + k = m, -n + 0*k + 2*k + 7 = 0 for n.
-3
Let y = 18 - 31. Let r = y - -11. Let g = r - -12. Solve 0*d - 5*d + g = 3*i, 4*i = 5*d - 10 for d.
2
Let m = -122 - -126. Suppose 0 = -3*o + 2*c + 29, -5*o + 49 = -7*c + m*c. Solve 0 = 2*q - j - o, 5*q + 4*j + 1 + 4 = 0 for q.
3
Let a be 7 + 7*(4/2)/(-2). Solve -20 = 5*m, -3*m - 4 = -4*r - a*r for r.
-2
Let j be (-90)/(-21) - (-20)/(-70). Suppose 0 = -16*b - j*b + 60. Solve 2*m = 4*m + 5*n + 3, -b*m + 3*n = 15 for m.
-4
Let j = -49 + 69. Suppose 2*w + 14 - j = 0. Let i(u) = -u**3 + 4*u**2 + 3. Let o be i(4). Solve -w*x - 3*r - 6 = -6*x, o*r = 0 for x.
2
Let u = -16 + 67. Suppose 0 = -5*r + u + 9. Solve 5*c + r = 4*g, -2*g + c + 3 = -g for g