.
-1
Let v(s) = 10*s**2 - s - 1. Let z be v(1). Suppose -12*j + z = -8*j. Solve 2*b = -j - 6 for b.
-4
Let u = -476 - -498. Solve -4*c + u - 18 = 0 for c.
1
Let j(a) = a + 5. Let r be j(-6). Let l = r + 2. Let d be -1 + 3 - (l - -1). Solve d*g - 16 = -4*g for g.
4
Suppose q = -2*q + 2*f + 12, 2*f = -5*q + 4. Let c = 3 - q. Let v = -73 + 77. Solve -5*g + v = -c for g.
1
Let h(c) = -c - 1 + 1 + 0*c + 4. Let l be h(12). Let q = -6 - l. Solve 0 = q*r + 2*r - 8 for r.
2
Let o = 864 - 858. Solve 3*b + o - 12 = 0 for b.
2
Let s(v) = -v**3 - 12*v**2 - 12*v - 9. Let y be s(-11). Suppose -2*h + 5*g - 1 + 0 = 0, -3 = -y*h + g. Solve -2*z + 0*z = h for z.
-1
Let b = -37 - -140. Let p = -99 + b. Solve -4 = p*h - 12 for h.
2
Let k(b) = -2*b**3 + 11*b**2 - 9*b + 4. Let c(g) = -g**3 + g**2 + g + 1. Let w(j) = c(j) - k(j). Let l be w(9). Solve -l + 1 = d for d.
-5
Let p(i) = -i + 1. Let s be p(-4). Let k(o) = o**2 + 4*o - 14. Let x be k(s). Suppose 2*a + 2*a = 24. Solve -x = -5*n - a for n.
5
Let d be (-5726)/(-98) - 6/14. Suppose 0 = 2*u + 3*z + d, 2*u + 4*z + 38 = 6*z. Let l = u - -26. Solve -l - 1 = s for s.
-4
Suppose 89 - 35 = 3*n + 5*w, -w + 72 = 4*n. Solve 4*x - 2 = -n for x.
-4
Let b(f) = -217*f - 651. Let j be b(-3). Suppose 5*k = -4*i + 33, -4*i - 4*k + 23 = -k. Solve j - i = u for u.
-2
Let i(q) = q**2 - 6*q + 13. Let b be i(4). Suppose -b*d - 7 = 2*s, -2*d + 6*d + 20 = 2*s. Solve j - s = -1 for j.
3
Let f(o) = o**2 + 8*o - 19. Let w be f(2). Solve 3 = -n + w for n.
-2
Let x be (4 - (4 + 0))/(-2). Solve x = t - 0 - 5 for t.
5
Let o(s) = -2*s**2 - 24*s - 69. Let n be o(-5). Suppose 0 = -2*j - j + 3*c + 18, -4*c = 4. Let r = j - n. Solve -r*x = -x for x.
0
Let q(m) = m**2 + 5*m + 3. Let t be q(-5). Suppose 1 = -t*n + 5*x, -3*n + 2*x + 5 = -0*x. Solve -n*l + 0*l = 0 for l.
0
Let a be (-22 + (-4 - -8))/2. Let d be 92/18 + a/81. Solve 0*b - 15 = -d*b for b.
3
Suppose 8*h - 673 = 695. Let y be 2622/h + 1 + (-8)/6. Solve 3*q - 8*q - y = 0 for q.
-3
Let c be 7/(-4) - (-1)/(-4). Let o be (3/((-9)/42))/c. Let r = 19 - o. Solve 4*j = j + r for j.
4
Let c(b) = -26*b - 2. Let o be c(1). Let d = o + 33. Let n be 5*d/(-4 - -9). Solve -n*x - 15 = -2*x for x.
-5
Suppose -14 = -5*d - 3*y + 11, -2*y = -5*d. Suppose -4*m + 0*t + 26 = t, -t = -d. Solve m*h - h = 5 for h.
1
Suppose 231*o - 236*o = -50. Solve -2*l + o = 8 for l.
1
Suppose 3*y - 7 = 2*g, -3*g - 3 = -4*y + 5. Let c be 36/8 - 2/g. Solve c*d = 13 - 5 for d.
2
Suppose -3*z + 92 = 4*c - 4*z, -2*z = -4*c + 96. Solve 0 = -c*j + 16*j for j.
0
Let x be ((-2)/4 - 21/(-6)) + -5. Let g = x - -9. Solve 0 = 3*b - g*b for b.
0
Let a = -79 - -91. Suppose 1 = l - 1, l = -3*n + 20. Suppose -2*r = 5*w + 19 + 2, -2*r - 4*w = 16. Solve r*h + a = n*h for h.
3
Let r(p) = -2*p**2 + 92*p - 173. Let q be r(44). Solve 4*g - q - 5 = 0 for g.
2
Let x(z) = -z**2 - 37*z - 331. Let c be x(-21). Solve -c*i - 7 = 8 for i.
-3
Let p(d) = d**3 + d**2 + d + 36. Let g be p(0). Suppose 3*i - g = -i. Let n(s) = -s**2 - 3*s + 5. Let w be n(1). Solve -4*t + i = w for t.
2
Suppose -5*h - 36*k = -39*k - 53, 4*k + 24 = 2*h. Solve -h = -47*o + 45*o for o.
5
Let z(u) = u + 30. Let g be z(-15). Suppose -c + g = 4*s, -c + 9 = s + s. Solve o = -s*o for o.
0
Suppose 40 = 5*j - 3*t, 16 = 3*j - 3*t - 14. Solve j = -4*r - 3 for r.
-2
Suppose -28*j + 27*j = 5*n - 28, -5*n - 3*j + 34 = 0. Solve 0 = -6*t + n*t + 9*t for t.
0
Suppose -50*a = -46*a - 12. Solve a*c + 5 = 2*c for c.
-5
Let m be (33 - (-3 + 2))*(-11)/(-22). Solve -7*z = m + 18 for z.
-5
Suppose -4*p + 5*p = 0, 0 = s + 4*p - 14. Let c = -33 - -19. Let n = s + c. Solve d + 1 = -n*d for d.
-1
Let x(y) = y**2 - 15*y + 24. Let l be x(14). Solve 2*p = -l + 4 for p.
-3
Let r be 21/(-14)*(-16)/6. Solve 22 - 6 = -r*z for z.
-4
Suppose -4*d - 16 = 0, -2*d + 4*d - 28 = 2*t. Let p = t + 34. Solve p = -4*w - 0*w for w.
-4
Let t(g) = 5*g**2 - 17*g + 9. Let v(z) = 4*z**2 - 16*z + 9. Let s(o) = 3*t(o) - 4*v(o). Let a be s(12). Solve -a*n + 5*n = -4 for n.
-2
Let q(p) be the first derivative of 2*p**3/3 + 2*p**2 - 3*p - 7. Let d be q(1). Suppose 0 = 4*b - d*b - 4. Solve w - b = -3*w for w.
1
Let i be (-8)/(-36) + (-490)/18. Let x = i - -29. Solve x*z = 3 + 3 for z.
3
Suppose -4*q = 0, 0*r + 6 = 3*r - q. Suppose -2*v - 64 = -4*n, -8*n = -4*n + v - 40. Solve -y = r*y + n for y.
-4
Let k be (-15)/(-10)*(-64)/(-6). Suppose -6*x + k = -3*x + 4*j, x + 2*j = 8. Suppose 5*c + 10 + 23 = 4*i, -i - 3*c - 13 = x. Solve i*u = -2*u for u.
0
Let c(b) = -15*b - 2. Let q be c(1). Suppose -f - f = -5*n - 54, -4*n + 36 = 2*f. Let g = f + q. Solve -g*p - 6 = 14 for p.
-4
Suppose x - 7 = -4. Let l = -4879 - -4883. Solve -l*g = -x*g for g.
0
Let n be 3 + 8/(-1 + 0). Let w(l) = -7 + 21*l**2 - 40*l**2 + 17*l**2 - 13*l. Let p be w(n). Solve -k = -5*k + p for k.
2
Let m be 4/(-14)*-1 - (-10434)/1554. Solve -6*p + m*p + 2 = 0 for p.
-2
Suppose 2*b + 5*y - 5 = 6*b, 0 = b - 5*y + 20. Suppose -b*t = 5*t - 50. Solve -4*z = -1 + t for z.
-1
Let t = 1037 - 1023. Solve -15*y = -t*y - 4 for y.
4
Suppose 0 = -63*a + 45*a + 270. Solve -a*j = -6*j + 36 for j.
-4
Let x be (4 - 2) + (-7 - 1). Let c be (2/x)/(8/(-96)). Let m = c + 1. Solve -3*n = 2*n - m for n.
1
Suppose 2*m = -5*b + 60, 2*b + 32 = -m + 3*m. Solve 52*q - m = 56*q for q.
-5
Let h(p) = -p**2 + 16*p - 28. Let l be h(14). Solve 13*n - 18*n + 15 = l for n.
3
Let t(i) = -i**3 - i**2 - i + 3. Let q be t(0). Suppose -q*x - 3 = -4*x. Suppose -2*d = -5*n + 9, -3*n - 2*n = x*d - 24. Solve 4*z = d*z - 3 for z.
-3
Suppose -5 = -3*q + 8*q. Let i be (-15)/(-3) - (q - -2). Suppose -5 = i*o - 21. Solve -3*u + o*u = -5 for u.
-5
Let v be -3 + 2 + -52*7/(-28). Solve 0 = -3*u - 0*u + v for u.
4
Let m(w) = -w**2 + 16*w + 62. Let k be m(19). Solve -k*t - 46 = -21 for t.
-5
Suppose 5*u - 181 = -4*l, -53 = -u - 3*l - 2*l. Solve u*n + 2 = 31*n for n.
-1
Let y = -209 + 223. Solve -5*i + y = -11 for i.
5
Let u(l) = -l + 2. Let x = -3 + 3. Let o be u(x). Let t = 139 + -135. Solve 2 = -o*k - t for k.
-3
Suppose 91 + 21 = 56*l. Let k(d) = 3*d - 2. Let t be k(-2). Let s be (t - -9)/(l/6). Solve 0 = 3*c - s for c.
1
Let j = 102 - 99. Suppose -j*x - 7*x = -2*x. Solve x*p = 4*p - 16 for p.
4
Let w be (42/(-28) - 89/(-2))*1. Solve 11*z + w = 10 for z.
-3
Let g be 494/114 - (-2)/(-6). Let l = 34 - 17. Solve l = -g*h + 5 for h.
-3
Let w(k) = 2*k**2 - 22*k + 67. Let j be w(4). Solve -10*v = 9 + j for v.
-2
Suppose -4 = -4*h - 5*b + 4, 0 = 2*b. Let t be (-5)/(-10) - h/4. Let q(d) = d + 2. Let n be q(t). Solve 3*i + 4 = -n for i.
-2
Let t = 246 + -139. Let h = -107 + t. Solve -3 = 3*x - h*x for x.
-1
Suppose -3*r = -5*y + 17, 0 = -y + 2*r + r + 1. Solve 0 = 5*q - 21 - y for q.
5
Suppose 2*c - 36 + 11 = k, -k = 2*c - 19. Solve 37 = 12*l - c for l.
4
Suppose 144 = -12*u + 276. Solve 0 = u*m - 5*m - 6 for m.
1
Let n(t) = -2*t**3 - 3*t**2 - t - 2. Let a be n(-2). Suppose -4*d = 3*w - 34, -a*w - 3*d + 7 = -36. Solve 15 = 7*p - w*p for p.
-5
Let i(j) be the first derivative of j**4/4 - 4*j**3 + 15*j**2/2 - 9*j - 8. Let t be i(11). Suppose 40*l = t*l + 25. Solve -l - 5 = 2*b for b.
-5
Suppose 2*q + 0*q + 4 = 0, q + 17 = f. Solve -f*j - 9 = -18*j for j.
3
Let t(r) = -r**3 - 27*r**2 - r - 7. Let i be t(-27). Let p be 25/4 + 1/(-4). Suppose 0 = p*z - z - i. Solve j = -0*j + z for j.
4
Let t = -446 + 448. Let v(i) be the first derivative of -i**4/4 + 2*i**3/3 + i**2/2 + 1. Let j be v(t). Solve j*u - 1 = -9 for u.
-4
Let z(w) = 5*w**3 + 2*w - 2. Let m be z(1). Solve 1 = p + m for p.
-4
Suppose -a + 10*a + 72 = 0. Let r(b) = b**2 + 5*b - 19. Let f be r(a). Solve -s = -2*s + f for s.
5
Suppose -3*t - 2*t + 4*r = -27, 0 = -3*t - 2*r + 3. Suppose 4*w + k - 44 = t*k, -3*k = -w + 16. Solve -2*c - w = -0 for c.
-5
Suppose 3*b - 5*b = 0. Suppose b = a - 3 - 6. Suppose 7 = -k + a. Solve i - k = -i for i.
1
Suppose 0 = 56*w - 255 - 81. Solve 2*k + w*k = 8 for k.
1
Suppose -j = -12 + 9. Suppose 2*y - 3*l = -9, 5*y - j + 6 = l. Solve y = f + f - 6 for f.
3
Let m(l) = l**3 - l - 1. Let o(f) = 7*f**3 + 14*f**2 - 5*f + 9. Let u(v) = -6*m(v) + o(v). Let c be u(-14). Solve 3*x - 2 - c = 0 for x.
1
Suppose 0 = -5*c + 5, -3*c = -5*z - 2*c - 1. Suppose -61*w + 60*w = z. Solve -3*y + 8*y + 20 = w for y.
-4
Suppose -3*x = 138 + 114. Let k = x + 99. Solve -2*d