
-3
Let n be -1 + 0/(-1) + -27. Let d be (-343)/n - (-1)/(-4). Suppose 4*b = 6*b - d. Solve 10 + b = 4*q for q.
4
Suppose 4 = -4*z - 4*p, 0 = -4*z - 0*p + 2*p - 10. Let j be (-1 - -2)*(z + 2). Suppose -4*m + 0 + 16 = j. Solve m*l = 3 - 23 for l.
-5
Suppose -4*c = -n - 9 + 34, c = 2*n - 15. Let v = 114 - 112. Suppose v*m - n = -1. Solve -m*f + 20 = 3*f for f.
4
Let d = 1100 + -1078. Solve -3*w + d = 16 for w.
2
Let l(u) = 3*u**2 + 7*u + 4. Let n(b) = -13*b**2 - 29*b - 16. Let j(x) = 9*l(x) + 2*n(x). Let g be j(-6). Let z = g + -5. Solve 0*i - 15 = -z*i for i.
3
Let c = 4 + -7. Let t = -1448 - -1442. Let s = c - t. Solve u + s = -2*u for u.
-1
Let d be 777/28*16/6. Let q = -49 + d. Suppose -r - 3 = -2*n - 12, -3*r + 5*n = -q. Solve 0 = r*f - 0*f for f.
0
Suppose -5*k - 12 = 33. Let o = k - -12. Solve -15 = -2*c - o*c for c.
3
Let o = -668 - -674. Solve -o = 2*h - 5*h for h.
2
Let z be -10*1/(0 + -2). Let m(d) be the first derivative of d**2 + 22*d - 23. Let f be m(-10). Solve -f*l + l = z for l.
-5
Let m(h) be the third derivative of h**5/30 + 7*h**4/12 + h**3/3 - 33*h**2. Let x be m(-7). Solve x*t = -t - 9 for t.
-3
Suppose -364*s = -357*s. Solve s = -7*j + 5*j for j.
0
Suppose 146 = 64*x - 46. Solve 36*z + x = 39*z for z.
1
Let v be (6/(-8))/((-22)/88). Suppose 0 = 4*j + 5*z - 41, 2*j + 2*z = 3*z + v. Solve j + 11 = -5*c for c.
-3
Let t(w) = -w**3 - 20*w**2 + w + 24. Let l be t(-20). Let z be ((-3)/l)/(30/(-80)). Solve 27 - z = 5*s for s.
5
Let z be (-4)/((-12)/(-3))*-4. Let g = -7 + z. Let v be 3 - (g + -6 - 3). Solve -4*j + v = 3 for j.
3
Suppose 0 = -3*u + 4*i + 47, -2*i - 51 = -3*u + i. Suppose -5*n - 16 = -u. Let y = 0 + 0. Solve -h + 3 + n = y for h.
4
Let s(x) = 2*x**2 + x - 1. Let f(v) = -v**3 - 12*v**2 + 12*v - 12. Let a be f(-13). Let o be s(a). Let n be (-3)/(-6)*o - -3. Solve 0*u - n = 2*u for u.
-2
Suppose 4*x = -2*f + 3*x + 31, 0 = 4*f + 4*x - 68. Suppose -2*y - 3*l + 35 = 0, 5*y = 5*l + f + 11. Let q be 24/y - 3/(-5). Solve 0 = q*t - 6*t + 6 for t.
2
Suppose -h - 5*h + 54 = 0. Solve -68*o + 71*o = h for o.
3
Suppose o - v - 9 = 0, 5*o + 5*v - 15 = -0*v. Suppose q - o*l - 1 = -5*l, -l = -5*q + 1. Solve q = -3*j - 3 for j.
-1
Let l(y) = -y**3 - 7*y**2 - 2*y - 10. Suppose 4*x - 23 = x - 4*b, -3*x - 3*b = -24. Let m = x + -16. Let f be l(m). Solve -f*c + 2*c + 6 = 0 for c.
3
Suppose 67 - 187 = -10*o. Solve 4 + o = 8*d for d.
2
Let l(j) = -218*j - 1293. Let f be l(-6). Solve -9 = 12*x + f for x.
-2
Let x(r) be the first derivative of -r**4/4 + 14*r**3/3 - 13*r**2/2 + 5*r - 4. Let s be ((-2)/(-2) - -12) + 9 + -9. Let h be x(s). Solve -p = 3 - h for p.
2
Suppose 42 = 3*i - h - 2*h, i + 2*h = 2. Solve 8*k = i*k + 6 for k.
-3
Let v = -325 + 329. Solve -2*x + 4*x + v = 0 for x.
-2
Suppose 0*c - 14 = -2*c + 3*q, -4*c - q + 14 = 0. Let r be ((-18)/4 - -3)*c/(-2). Solve -13 = 4*j + r for j.
-4
Suppose 2*b - 2 = -3*u, -5*u + 5 = -4*b + 53. Suppose -6*g = -b - 5. Let t(j) = j + 4. Let y be t(-4). Solve -5*x + g*x = y for x.
0
Let h(i) = 3*i**2 + 14*i + 33. Let f be h(-3). Solve f*o = 20*o + 8 for o.
-4
Let r = 204 - 173. Solve -r = 15*i + 14 for i.
-3
Let s(d) = -4*d - 44. Let f be s(-11). Solve 9*z - 6*z - 9 = f for z.
3
Let g = 0 - -8. Let k be (-29)/(-9) - g/36. Solve 4*m = m - k for m.
-1
Let j be 7*(-12)/(-42) - -1. Solve j*i = 4*i + 1 for i.
-1
Let u(g) = -g**3 - 58*g**2 - 109*g + 188. Let q be u(-56). Solve -47 = q*p + 33 for p.
-4
Let y = -29 - -38. Let n(g) = g**3 - 10*g**2 + 12*g - 6. Let f be n(y). Suppose -z + 5*w = 16, -2*z + w + 4 = -0*w. Solve 5*p = f + z for p.
5
Let v be (-1 + (-6)/(-3))/(2/12). Let c(x) = -x + 20. Let m be c(0). Let p = 23 - m. Solve -3*f + p = -v*f for f.
-1
Let v = 41 - 0. Suppose -2*f - v = 5*t - 10, -5*f + 3*t = 62. Let q = f + 15. Solve -q = -w + 1 for w.
3
Suppose m - 6*m - 6 = 2*r, 0 = -4*r + 2*m + 12. Let d = -3 + -5. Let z = d - -10. Solve z*o + 12 = r for o.
-5
Suppose 15*a - 16*a + 37 = 2*o, 4*a = -12. Solve -38*f = -43*f - o for f.
-4
Let b = -62 + 70. Suppose 18*k - b = 16*k. Solve -k*f + 0 = 4 for f.
-1
Let j = -1245 - -1344. Solve -j*k = -95*k - 12 for k.
3
Let l(z) = -z - 3. Let m be l(-14). Suppose 3*g - 2*t = 12, 4*g - 23 = 5*t - 0*t. Let j be g/m + (-420)/(-110). Solve -k = 3*k + j for k.
-1
Let h = 9 + -26. Let v = -13 - h. Solve -3*z + 2 = -v*z for z.
-2
Let i(y) = 177 + 2*y - 170 + 0*y. Let c be i(-2). Solve c*m - m = 0 for m.
0
Let h = -40 + 42. Let t be (h/(-2) - -1)*1. Solve t = -3*g - 0*g for g.
0
Suppose -4*x - 12 = -10*x. Suppose 6 = x*s - 2*a - 8, a = -5*s + 5. Solve s*m = 9 - 1 for m.
4
Let r be 7/(-2)*(-100)/35. Suppose -2*a + r*a = 32. Solve 13 = 3*n + a for n.
3
Suppose -3*i = -4*i. Suppose -3 = -63*v + 62*v. Solve i = -7*x + v*x - 4 for x.
-1
Let n(z) = -19*z - 93. Let l be n(-5). Solve l*v = 4*v + 6 for v.
-3
Suppose b - 9 = -3*v, -v = 2*v + 5*b - 9. Suppose 6*q - 3 = v. Solve -q = a + 3 for a.
-4
Suppose 28*j = 23*j + 3*m + 500, -m - 5 = 0. Solve -101*o - 20 = -j*o for o.
-5
Suppose 0*r = -r + k + 45, -4*k - 36 = -r. Let i = -12 + r. Suppose -5*z - 4*a = -i, -5*z + a = -0*a - 16. Solve z*l - 5 = -l for l.
1
Suppose -5*z + 5 = -4*z. Suppose z*p = 11*p. Solve p = -0*g + g + 3 for g.
-3
Let w(a) = -4*a + 79. Let m be w(19). Solve m = 6*b + 21 for b.
-3
Suppose -73*h = -74*h + 5*y + 33, 0 = -5*h - 5*y + 105. Solve 10 = 11*k - h for k.
3
Suppose -5*z = y - 19, 3*y + 7 = 4. Solve -2*q = -z*q - 10 for q.
-5
Let u = 84 - 64. Suppose 8*j = 20 + u. Solve -j*p + 3*p = 2 for p.
-1
Let r(i) = i - 4. Let w be (45 + 1)*(-3)/(-6). Let c = w + -16. Let x be r(c). Solve x = -0*m + 3*m for m.
1
Let s be 7 - -4*2/(-4). Suppose s*w - 44 = -2*m, -4*w + 3*m = -30 - 19. Let i be (-2)/(-10) - 2/w. Solve k + 1 = -i*k for k.
-1
Let u be 1/5 + (-4)/(-5). Let h(t) = -t - 5. Let v be h(3). Let j(q) = -q + 1. Let a be j(v). Solve -4*x + a - u = 0 for x.
2
Suppose 2*a = -3*a - 15, 0 = 4*r - 2*a - 178. Let k = 48 - r. Solve -k*p + 0*p = -5 for p.
1
Let w(b) = 3*b**3 - 3*b**2 - 2*b - 6. Let y be w(3). Solve 0 = -41*g + y*g + 3 for g.
-3
Suppose -5*z - 271 = 4*m, -4*z - 58 = 4*m + 214. Let v = -67 - m. Solve -v*x + 3 = -1 for x.
2
Suppose a = 0, 2*a - 1 = 2*t - 5. Solve 22 = -t*w + 20 for w.
-1
Suppose 2*w - 19 = 125. Suppose -i - w = i. Let g = i - -56. Solve -5*a = -0 - g for a.
4
Suppose -24 = z - 13*z. Solve -5 = -k - z for k.
3
Let z = -355 + 357. Solve z = 9*o - 7 for o.
1
Let y = -3 - -16. Let t(o) = -o**2 + 15*o - 26. Let i be t(y). Solve i*w + 25 = 5*w for w.
5
Let q(m) = -m - 5 + 3*m + 0*m + 3. Let z be q(-1). Let a be ((-50)/z)/((-6)/(-12)). Solve -3*t = 2*t + a for t.
-5
Suppose q = -0 + 6. Suppose 5*l - 65 = 2*p + 40, 4*l - 84 = p. Suppose -l*y + 26*y - 10 = 0. Solve q = y*m - 4*m for m.
-3
Let z(i) = -2*i - 6. Let y be z(-8). Suppose 15 = 5*w + o, -2*w - 5*o + 6 = -0*w. Solve 5 + y = w*g for g.
5
Let l(q) = -3*q**3 - 2*q - 1. Suppose 0 = -2*y + 29 + 7. Suppose -3*i + 2 = x, -y = -2*i - x - 3*x. Let f be l(i). Solve 3 + 1 = -f*m for m.
-1
Let u be (1/(-6))/((-6)/180). Let z(j) = -j**2 + j + 3. Let r be z(0). Suppose -n - r = -x, 5*x + 2*n + 4 = 19. Solve -u*g - 22 = x for g.
-5
Let y(k) = k**2 - 5*k - 3. Let z be y(6). Suppose -2*o = z*o - 15. Suppose -5*n + o*l = -10, 2*n - 4 = -0*l + 2*l. Solve -3 - 5 = -n*d for d.
4
Let n(j) = j**2 - 4*j - 3. Let t be n(3). Let o = t + 6. Let s be 20/9 - 10/45. Solve o = -s*p - p - 15 for p.
-5
Let o = 1309 - 1306. Solve o*i - 2 = -5 for i.
-1
Suppose x - 12 = -4*o, -6*x + 2*x - 15 = -5*o. Let z be -1 + 1 + 3 + -5. Let l be (8/10)/(z/(-5)). Solve x = l*n - 2 + 6 for n.
-2
Suppose 5*n = -x - 0*x + 53, 4*n + x = 43. Solve 0 = 18*t - 20*t - n for t.
-5
Let n = -356 + 362. Let t be (-4)/14 - 32/(-14). Solve 0 = -t*c - n + 2 for c.
-2
Suppose -y + 36 = 4*u, -5*u + 45 = 2*y + y. Let p(o) = 2*o - 15. Let k be p(u). Solve 1 - 4 = k*j for j.
-1
Let z(h) = 5*h**2 - 2*h + 1. Let o(g) = -6*g**2 + 3*g - 1. Let u(p) = 4*o(p) + 5*z(p). Let m be u(0). Solve -5*s + 4*s + m = 0 for s.
1
Suppose y = 3*b - 5, 0 = 4*b - y + 1 - 6. Suppose -l = 2*l - 36. Let r be (6 - 7)/(2/(-6)). Solve b*p - l = r*p for p.
-4
Let c be 12/(-27)*(0 + (-63)/14). Solve 7*i + 5 = c*i for i.
-1
Let d be 5*-119*(-9)/63. Solve 12 = -82*r + d*r for r.
4
Suppose 12 - 8 = -2*o - 4*r, -3*o - 2*r = 2. So