1
Let l = 1024 + -1019. Solve l*p - 11 + 6 = 0 for p.
1
Let d(y) = y - 3. Let w be d(5). Let z(f) = -f - 3 - f**w + f**2 - 3*f**3 + 2*f**3 - 8*f**2. Let u be z(-8). Solve 24 = -u*l + 4 for l.
-4
Suppose -3*z = -4*c + 61, -3*c + 27 = -0*z + 4*z. Let i(s) = s**3 - 5*s**2 + 9*s + 4. Let a be i(3). Let d = a - c. Solve -3*k + 2*k + 1 = d for k.
1
Suppose 2*w - 24 = -8. Solve 8*r - w = 4*r for r.
2
Suppose -25*c + 6*c = -57. Suppose -23 - 86 = -5*k + 3*a, 65 = 4*k + 5*a. Solve -c*r = r - k for r.
5
Let k(t) be the first derivative of 7*t + 1/2*t**2 + 3. Let y be k(-5). Solve y*c - 7*c + 15 = 0 for c.
3
Let k(g) = 2*g**2 + 2*g. Let u be k(-2). Let l(z) = -20*z + 56. Let y be l(3). Let t = y + u. Solve t = 2*v - 6*v for v.
0
Suppose 0*x - 4*x + 60 = 3*w, -2*w + 40 = -2*x. Solve w*a = -6*a + 130 for a.
5
Let h = -1264 - -1285. Solve 8 = 13*u + h for u.
-1
Let m = -54 + 62. Suppose 0 = -4*k + 3*k + m*k. Solve b - 2 + 0 = k for b.
2
Let h(r) = 4*r - 6. Let w be h(4). Suppose -3*v + 23 = 5*n, 0*n + 2*n = 4*v + 4. Suppose -i + n*i = 0. Solve i = -5*z - w - 0 for z.
-2
Suppose -3*d + 20 = 5*i + 2*d, -4*i + 5*d = -7. Suppose 5 = 2*u + 1, 2*u = 3*o - 20. Suppose 3*s + 2*h - 13 = 0, 3*s - s = 2*h - o. Solve -i = -k - s for k.
2
Let g = -424 - -431. Solve 10*d - 3 = g for d.
1
Let s be -1 + 0 - (-3 - -2). Suppose -3*b + 9 = -s*b. Suppose -3*y - 2*m = -3*m - 2, -4*y + 2*m + 4 = 0. Solve y = 2*x + b - 9 for x.
3
Let z be ((-9)/4 + 7 + -6)*-4. Solve 0 = z*w - 10*w + 5 for w.
1
Suppose 26*s = 21*s + 85. Let o = s - 14. Solve -5*k - 8 = -o*k for k.
-4
Let k(m) = 2*m**3 - 4*m**2 + 3*m - 2. Let x be k(2). Suppose 5*g - 29 = o, -4 = 2*o + x. Suppose -5*c = 4*s + s - 5, 5*s - 13 = 3*c. Solve s = g*v + 22 for v.
-4
Suppose -4 = 3*z - 4. Let a(h) = h**2 - 2*h + 2. Let w be a(3). Suppose 6 = -6*o + 3*o - w*f, 2*o - f = 9. Solve z = 2*u + o*u for u.
0
Let y(l) = -l + 1. Let n(r) = -4*r - 2. Let w(u) = n(u) - 3*y(u). Let k be (-1 - -4)/((-5)/15). Let z be w(k). Solve -b = -3*b + z for b.
2
Suppose 10 = 2*w + 2*o, 3 + 4 = w + 2*o. Suppose w*t = 4*t - 11. Suppose j = -4*i + t, 6*i + 3*j - 1 = 2*i. Solve -3*q - i = -13 for q.
3
Suppose 5 + 16 = -3*q. Let o = 3 + q. Let t = o + 24. Solve 5 = -5*r - t for r.
-5
Let n(b) = -5*b**3 - 6*b**2 + b - 2. Let c be n(-2). Solve c + 8 = 5*j for j.
4
Let z be (8/(-6))/((-12)/9). Let f = z + 2. Suppose f*p = -p, 3*c + p = 9. Solve -2*j = -c*j - 4 for j.
-4
Suppose m - 3*m = 10*m. Solve -3*x - 21 + 12 = m for x.
-3
Let b(d) = 2*d**2 - 38*d - 164. Let c be b(23). Solve -2*m - 90 = -c*m for m.
5
Let t be (12/(-3) + 34)*3. Solve -g = -19*g - t for g.
-5
Let u(p) = p. Let a be u(4). Suppose 23*b - 9 - 14 = 0. Solve -a*c + b = -3*c for c.
1
Let f be (9 - 1)*(-2)/(-4). Suppose 2 + f = g. Let b be ((-12)/(-1))/(9/g). Solve 0 = -4*c + 4 - b for c.
-1
Let w = 1085 + -1080. Solve -w*f - 79 = -59 for f.
-4
Suppose 3*x = -2*s + 1 + 22, 3*s + 2*x = 22. Suppose 5*y + s*i = -2, 3*y + 0*i - 3 = -i. Suppose y*q - 4*q = 0. Solve -4*l - 4 = -q for l.
-1
Suppose -120*i = -430*i + 620. Let m(x) = 2*x - 8. Suppose -g = 3*g + 2*a - 28, -5*g + 22 = -4*a. Let c be m(g). Solve 0 - c = -i*f for f.
2
Suppose -3*d + 5*u + 23 = 0, 0*u = -4*d - u. Suppose -5*z + 16 = 4*o - z, 0 = -z + 1. Suppose o - d = r. Solve -r = -0*i + i for i.
-2
Let h be 6/(-4) - (-234)/12. Let v(s) = -s**3 + 16*s**2 + 36*s. Let c be v(h). Solve c*p - p - 1 = 0 for p.
-1
Let y(j) = -j**3 + 33*j**2 - 162*j + 6. Let c be y(27). Solve c*p - 30 = -0 for p.
5
Let s(j) = 3*j + 22. Let v be s(-6). Solve -v*u - 5*u = -4*u for u.
0
Let n = 603 - 584. Solve -n - 9 = 7*w for w.
-4
Suppose -4*t - 2 + 12 = o, -o + 8 = 3*t. Suppose 3 + o = b. Suppose 2*h - b = -2*x - 1, 10 = 2*x - 4*h. Solve -n = -x*n + 10 for n.
5
Let q(r) = -r + 7. Let j be q(3). Let g(m) = 9*m - 79. Let v be g(10). Solve -31 = -j*n - v for n.
5
Let n = -6 + 12. Let k(l) = -l**3 - 4*l + 41. Let t be k(3). Solve n = t*w - 0 for w.
3
Suppose 0 = -8*b - 53 + 77. Solve -6 = b*s + 3 for s.
-3
Suppose -3*d - d + 60 = 0. Let w be (6/d)/((-2)/(-10)). Let t be (-2)/10 + w/10. Solve -4*u + 12 = -t for u.
3
Suppose 2*a = -2*b + 12, 11*a = 8*a + 2*b + 8. Solve 2 = a*c - 10 for c.
3
Let a(x) = x**2 + 15*x - 44. Let o be a(-18). Solve -11*f - 2 = -o*f for f.
-2
Let m(c) be the second derivative of c**5/20 + 5*c**4/4 + 5*c**3/2 + 10*c**2 + 28*c. Let x be m(-14). Solve 4*l + x = l for l.
-2
Let t(w) = w**2 - w + 2. Let r be t(0). Let b = 106 + -79. Solve -b + r = 5*k for k.
-5
Suppose c - 2*d + 10 = 0, 2 = -4*c - 2*d + 12. Suppose 10 = -k - 5*u - 4, 3*k + 42 = 2*u. Let b = k - -14. Solve c = -b*p - 3*p + 3 for p.
1
Suppose 323 = 3*f + 290. Solve 0 = f*m - 57 + 2 for m.
5
Let q = -13 + 17. Suppose 4*j = l - 11, -2*j + 59 = q*l - 3*j. Let f = -126 - -129. Solve -f*d - 2*d = l for d.
-3
Suppose -2*o - 2 + 7 = -l, -10 = -o - l. Solve 0 = 2*a - 1 - o for a.
3
Suppose -13 = 3*g + 5*z, 3*g = 2*g - z - 1. Let j(q) be the second derivative of q**4/12 - 2*q**3/3 + 2*q**2 - 3*q. Let f be j(g). Solve f*m - 2*m = 0 for m.
0
Let i(p) = 5*p + 40. Let v be i(0). Let w = v + -36. Solve -20 = -w*z - 0*z for z.
5
Let h(c) = 7*c - 58. Let l be h(9). Solve -l*q + 8*q = 9 for q.
3
Let u be (0 - 0) + -7 + 10. Solve u*d + 2*d + 15 = 0 for d.
-3
Let q = -7 - -10. Suppose q*g + 0*g - 6 = 0. Let s = -1171 - -1174. Solve -g*p - 3 - s = 0 for p.
-3
Let y(b) = -b**3 - 5*b**2 + 7*b + 1. Let z be y(-6). Let r = z - -9. Let a(n) = 2*n - 48. Let k be a(24). Solve k = -r*x - 4 for x.
-1
Let v be 102/27 + 24/108. Let n(t) = -t**3 + 5*t**2 - 3*t - 2. Let m be n(v). Solve m*j - 2 + 8 = 0 for j.
-3
Suppose 0 = -2*s + 6*s - 44. Let f = -75 - -167. Let l = f - 91. Solve -l = -4*o + s for o.
3
Suppose 4*n + z = -4, -n + 3 - 7 = z. Solve n = -5*i + i for i.
0
Let t be (-172)/(-6) + ((-12)/9)/(-4). Solve 20*l = t*l + 36 for l.
-4
Let l(x) = 1 + 16*x - 8*x - 11*x. Let v be l(7). Let h = -17 - v. Solve 3 = -h*b - 0 for b.
-1
Let i be (-66)/(-14) - 6/(-21). Suppose -m = -2*m + i, -40 = -5*y - m. Solve 0 = y*r - 2*r + 25 for r.
-5
Let v be (-48)/(-7) + (-20)/(-140). Solve v*y + 5 + 9 = 0 for y.
-2
Suppose -15*o + 19*o - 36 = 0. Solve 9 = o*w - 9 for w.
2
Let d(k) = -11*k - 148. Let a be d(-14). Solve a*b = -0 + 12 for b.
2
Suppose -3*j + 7*j = 2*k + 18, 0 = -5*j - 3*k - 5. Solve -j*r = -6*r + 4 for r.
1
Let c be (0/(-3))/(-1 - -3). Suppose 0 = -c*t + 5*t - 15. Let z be 10 + -6 + (0 - t). Solve -q + 1 = -z for q.
2
Let v = 68 - 66. Let m(g) be the first derivative of 7*g**4/4 + 1. Let z be m(1). Solve z = 3*h - v for h.
3
Suppose -6*x + 1 = -7*x. Let c(s) = s**3 - 2*s - 1. Let l be c(x). Suppose -2*b + l*b + 22 = -4*r, -4*r + 8 = 4*b. Solve b*i - 2*i + 3 = 0 for i.
-1
Suppose 0 = -18*d + 101 + 7. Solve 6*h + 6 = -d for h.
-2
Suppose 10*z - 53 = 17. Suppose -2*l - 1 = -z. Solve c = l*c for c.
0
Suppose -5*l + 0*l = -5, 1 = -4*z + l. Solve 3*f - 7*f = z for f.
0
Let l(g) = 3*g**2 + 32*g + 64. Let c be l(-8). Solve 82*k - 79*k - 15 = c for k.
5
Let t be 6 + -4 + (-1 - 7). Let m be ((-15)/(-9))/((-5)/t). Suppose 4 = -m*f + 8. Solve 0*k - 10 = -f*k for k.
5
Let k(d) = d - 8. Let f be k(11). Suppose b + 5 - 18 = -2*v, f*v + 3 = 3*b. Solve i - v = -0 for i.
4
Let o(f) = -22*f + 241. Let b be o(9). Solve 35 = 36*i - b*i for i.
-5
Suppose 5*s - 20 = -0*s. Suppose t = -0*t - 2*c + 1, -s*t - 3*c = -14. Solve -t + 0 = u for u.
-5
Suppose -9 = 8*c - 9*c - 5*z, c - 4*z = 0. Solve -2*b - 8 + c = 0 for b.
-2
Let f be (-1 - -1)/(-13 + 22/2). Suppose -r = -k - 6*r - 7, -4*k + 16 = -2*r. Suppose -5*n = -3*x - 2*x, -k*x - 2 = -4*n. Solve f*b = x*b - 8 for b.
4
Suppose -4*g - 4*b + 168 = 0, 2*g = -5*b + 6*b + 84. Solve -g*o + 44*o = -8 for o.
-4
Let z = 29 + -29. Suppose -3*d - 2*d = -5*t + 10, z = -4*d. Solve t*u - 2 = -12 for u.
-5
Suppose -43*s + 290 = 15*s. Solve s*p = 23 - 3 for p.
4
Suppose 2*a = 5 + 3. Let v be (-144)/(-66) - (-3)/((-66)/a). Solve -v = 2*o - 4 for o.
1
Let q be ((-24)/(-4) - 6)/(1 - -2). Suppose i - 7*i + 18 = q. Solve i*l + 4 = -8 for l.
-4
Let c(n) = -n**2 + n - 3. Let u be c(0). Let q be u - -4 - (-9)/3. Suppose -2*j + 0 + q = 0. Solve v + v = -j for v.
-1
Let t(g) = -3*g + 47. Let s be (-7 - -4) + 7 + (-11)/(-1). Let a be t(s). Solve 0 = -k - a*k + 3 for k.
1
Let p(b) = b + 9. Let k = 18 + -16. 