 5*p + 7 for p.
1
Let g be 3 - (-2 + -295) - 2. Suppose -303 = -u - g. Solve 4*q + 4*k + 0*k + 24 = 0, 0 = u*q - 5*k for q.
-3
Let u(o) = o**2 + 4*o - 3. Suppose -5*l = 2*t - l - 106, -5*t = 5*l - 240. Let n = 38 - t. Let x be u(n). Solve -x*v + s + 5 = 0, 20 = 5*v + 4*s - 9*s for v.
1
Suppose 339 = 8*v - 493. Let f = v - 182. Let w = -78 - f. Solve -5 = 2*n + 5*z, w = 2*z + 2*z + 4 for n.
0
Let b(x) = 2125*x + 2. Let h be b(0). Solve h*g - 3*g + 5 = -2*n, 3*n + 2*g - 10 = 0 for n.
0
Let g(y) = y**3 - 5*y**2 - 4*y - 8. Let j be g(6). Solve -o + 2*f - 6 = 0, j*o + f - 31 + 10 = 0 for o.
4
Suppose 0 = -0*k + k - 0*k. Suppose k = b - 3 + 4. Let j be (36 - b) + -3*12/(-18). Solve f = -4*o - 24, 5*o + 2 = -4*f - j for o.
-5
Let t = 33 - 27. Let c be -1 + 4*20/16. Suppose -c*r + 50 + 10 = 0. Solve -17 = 5*l + w, -w - r = -t*w for l.
-4
Let f(t) = -2290*t**2 - 25*t + 78 + 5*t + 4583*t**2 - 2292*t**2. Let x be f(15). Solve -x = -7*s + 6*s - 4*a, 5*s - 15 = -5*a for s.
3
Suppose 10 = -5*u + 5*g, 5*u = 3*g - 11 + 9. Let r be (180/(-28) - -6)/(u/(-14)). Solve 0 = r*n - 2*n + a, n - 4 = a for n.
2
Let p = 20 - 16. Let r be (-13)/p - 2*(-5)/40. Let z(f) = f**3 + 5*f**2 + 4*f + 4. Let j be z(r). Solve 2*n = -3*q - 3, -5*q - 3*n + 4 = j for q.
-3
Suppose 126*g - 152*g = -104. Solve 2*k - 4 = g*w, 2*w - 4*k = -3*w - 2 for w.
-2
Let l(h) = 84*h**2 - 1511*h - 18. Let z be l(18). Let g be 4/(-6) + (-14)/6. Let a = 1 - g. Solve z*j + 1 = 5*d + j, a*d + 3*j + 8 = 0 for d.
1
Suppose -3*s + 52 = -3*v + 10, 2 = -2*v. Let t(l) = -7*l + 96. Let d be t(s). Solve 7*g = -d*w + 2*g + 10, 0 = 4*w - 3*g - 22 for w.
4
Suppose 7*u = -4*u + 33. Let n be (63/36)/(2/(-72)). Let z = n - -66. Solve -z*v - 4 = -h + 5, -u*h - 3*v - 21 = 0 for h.
-3
Suppose 2*m - 20 + 22 = 0, 3*m + 7 = t. Solve -5 = t*s - 4*c - 9, -s = -3*c - 11 for s.
-4
Suppose 0 = 5*a - 385 - 20. Let n = 81 - a. Suppose 2*m = -2*h + 10, m - 2*h = -m + 2. Solve 3*q + 4 = g, m*q - 7*q = n for g.
4
Let g = 27 - 25. Suppose g*v - 17 = -1. Let r = -57 - -59. Solve -d = -r*d + l - v, -2*l = -10 for d.
-3
Suppose 0*k + 6*k - 24 = 0. Suppose 0 = k*d + 16, -136 = 2*s + s + d. Let o = s + 50. Solve 15 = 3*z + 3*n, -4*n + 8 = z - o for z.
2
Suppose 273*u = 4487 + 973. Solve 0 = 4*t - 5*r - u, -17*r + 12*r = 0 for t.
5
Let b be 24*((7644/72)/(-13) - -9). Solve -5*i + 10 = 3*v, -19*i - 4 = -v - b*i for v.
5
Let z(g) = -g**2 + 33*g - 269. Let r be z(17). Solve r*q + 11*a - 13*a = -1, 5*a = 3*q + 7 for q.
1
Let g be (4 + 62/(-4))*2. Let z = g - -28. Solve -3*x + x - 7 = -c, 5*x = z*c - 10 for c.
-3
Suppose 115 - 47 = 34*j - 238. Solve -35 = 3*l + 5*z, -z = -5*l + 3*z - j for l.
-5
Let i(l) = -l**2 + 35*l + 120. Let h be i(38). Solve 3*k + h = 2*j, 23*k - 2*j + 50 = 9*k for k.
-4
Let g = 3069 - 3067. Solve 5*o - 5 = -g*r, 2*r + 2*o = 4 + 4 for r.
5
Suppose -2*k - 2*i - 850 = 2*k, -4*i = 2*k + 434. Let v = 214 + k. Solve 0 = -c + h - 4, -v*c - 2*c - 10 = -3*h for c.
1
Let r = 22 + -12. Solve -x - 15 = r*p - 14*p, 0 = -4*p + 2*x + 18 for p.
3
Let n = -693 - -703. Let l = 26 - 16. Let o(q) = -q**3 + 9*q**2 + 12*q + 5. Let x be o(l). Solve -2*j + n = 4*v, -j + x = -4*j + 4*v for j.
-3
Suppose 2650 = -5*v - 0*d - d, 2091 = -4*v + 5*d. Let i = -524 - v. Solve u + u - 8 = -4*b, 2*u - 9 = -i*b for b.
1
Suppose -10 = 4*z - 5*k, 28 = 2*z - 18*k + 21*k. Solve 12 = -2*d - d, -4*i = z*d for i.
5
Suppose 14*g = 8*g + 18. Suppose 0 = -4*s - p + 240 - 708, -g*s + 3*p = 366. Let r = s + 118. Solve -f + 1 = -a, r*f + a = 5*f - 1 for f.
0
Let s = 132 + -48. Let h be 7/(s/(-8))*15/2. Let l be (-8 - 2)*2/h. Solve -5*a = 10, 4*i + 0*a = l*a + 12 for i.
1
Let y = 7 - 7. Suppose m - 3 - 1 = y. Let v(g) = 3*g. Let s be v(2). Solve 7*l - 3*i + s = 4*l, -6 = -m*l - 3*i for l.
0
Let f(c) = -2*c**3 - 20*c**2 - 20*c + 22. Let h be f(-9). Suppose 2*t + h = 7*t - 5*u, 5*t - u = 20. Solve -5*r - 26 = -4*i, 0 = t*r - 4*i + i + 18 for r.
-2
Suppose 3*i - 83 = -b, 2*i + 4*b - 52 = -0*i. Let n be 2*40/(-12)*(-21)/i. Let p = -4 + 4. Solve 4*l + 15 = n*g - 18, -2*g + 3*l + 16 = p for g.
5
Suppose -3*d = 2*d. Let p be ((-15)/(-2))/((-6)/(-8)). Suppose 3*t - 3*s = 63, -3*t - 2*s + 38 + p = 0. Solve d = n - 3*f + 6, -3*n - f - 2*f + t = 0 for n.
3
Let h(d) = 12*d - 1. Let m(f) = -75*f - 1. Let g(k) = 6*h(k) + m(k). Suppose 0*u - 2*u - 22 = 0. Let q be g(u). Solve 0 = 5*c + n, -c - 2*n = -7*n - q for c.
1
Let o = -3688 - -3703. Solve o = 4*z - c, 5*c - 7*c - 3 = z for z.
3
Suppose -3*r = 4*j - 2, 3*r + 4*j = -r. Let i be ((-1)/r*0)/((-5)/(-5)). Solve 4*m + 0*o = -o - 4, i = 5*o for m.
-1
Let t(x) = 3*x**3 + 2*x**2 - 24*x + 22. Let w be t(1). Let k = -7 - -7. Solve 3*c - c - 2*y + 16 = k, 0 = -w*c - 5*y + 8 for c.
-4
Suppose -4*b + 4*u + 628 - 56 = 0, -576 = -4*b + 2*u. Suppose 5*n + 130 = b. Solve -y - n*t - t = 3, 5*t + 3 = -y for y.
-3
Suppose 0 = -7965*w + 7950*w + 30. Solve -2*g = 2*d + 3*g + 5, -3*d + w*g = -21 for d.
5
Let r(n) = -4*n + 56. Let k be r(7). Suppose 37*f = k + 231. Solve 3*z = 4*d + f, 0*d = d + z for d.
-1
Suppose 0 = -4*m + 6*n - n + 33, 5*m - 2*n - 20 = 0. Suppose m*h - 30 = -24. Solve 0 = h*x - r + 16, 0*x - 4*r = 5*x + 4 for x.
-4
Suppose 0 = -4*n - 4*b + 294 + 410, 3*n + b - 538 = 0. Let f = -177 + n. Solve t + 16 = 2*g + 4*t, 0 = g - f*t + 3 for g.
5
Let t be -1 + -2 - 22/((-396)/54). Solve 0 = -18*v + 14*v + 12, 4*x - 3*v - 7 = t for x.
4
Let l(n) = 14*n + 10. Let o be l(3). Let y = o + -51. Let b = -43 + 64. Solve 5*i = -r + b, 3*r + i + y = 8 for r.
1
Let m = -58 - -60. Suppose -7 = 3*x + m, 0 = h + 4*x + 9. Suppose -3 + 4 = -4*r + 3*q, h*q = 2*r + 5. Solve -5*s + 2*f = -f - 11, -r*f - 4 = 0 for s.
1
Let j(q) = -3*q**2 - 53*q - 78. Let k be j(-16). Let z = -23 - -25. Solve -5*w - 13 = z*u + k, 3*u - 6 = 2*w for u.
0
Let q be (-124)/496 - ((-375)/12 + 2). Solve -4*v - 3*n - 30 = 2*n, 5*v + 2*n = -q for v.
-5
Suppose -2*k = -a - 2 + 4, 4*k + 12 = 4*a. Suppose a*q = -5*y + 24, -1 + 14 = -3*q + 4*y. Solve 4*n - 4*c = 4, 3*c + 6 + q = -n for n.
-1
Let a be (-144)/8*(-2)/6. Suppose -4*m = 2*r - a*r - 88, 4*m = -2*r - 20. Let v = r - -18. Solve 6*t + 6 = 4*t, v = 5*w + 3*t + 24 for w.
-3
Let r be (9/18)/((-5)/(-3 + -47)). Solve s - r*s + 4*k + 32 = 0, 2*s = 5*k + 31 for s.
3
Let j(c) = c**2 - 817*c + 5680. Let l be j(7). Solve -b + l*p - 7*p = -3, -3 = -b - 3*p for b.
3
Let b = 0 - -1. Suppose 3*d - b = 8. Suppose -x - 1 = -7*s + 3*s, -4 = -5*s + 4*x. Solve s = d*r + 5*y + 31, -3*y + 8 = r - 5*y for r.
-2
Let c = 260 - 250. Solve 12 = -m - 13*o + c*o, 5*m + 4*o + 27 = 0 for m.
-3
Let a(x) = x**3 - 6*x**2 - 2*x + 15. Let c(t) = 6*t**2 + 8*t - 2. Let l be c(-2). Let q be a(l). Solve -5*h = q*w + 6, -2*h = w - 5*h + 2 for w.
-2
Let u = 6033 - 6030. Solve -m + z = 2, u*z + 6 - 9 = 4*m for m.
3
Let l(w) = w**3 - 10*w**2 + 3. Let r be l(10). Let k be r/(-4) - (-206)/8. Solve 3*i = -5*n + k, -25 = -5*n + i + 2*i for n.
5
Let t = 51 - 145. Let b be 10 + -115 + 11 + -10. Let k = t - b. Solve -r - 4*x = -2*r + k, -10 = 5*x for r.
2
Let b(a) be the third derivative of a**4/6 + 19*a**3/2 + 14*a**2 - a. Let h be b(-13). Solve 9*d - 4*d - 10 = -4*w, 0 = -5*d - h*w + 15 for d.
-2
Let m be 2/((-2)/(-16)*1). Solve -4*t - 3*s - 37 + 9 = 0, -3*t = s + m for t.
-4
Let l(r) = -15*r + 26. Let i be l(0). Suppose 0*y - 4*x = -2*y + i, 1 = -3*y - 4*x. Solve -t - y*f - 24 = -3, t + 2*f + 6 = 0 for t.
4
Suppose 30*a = 68 + 52. Let i be -33 + 32 + (-5)/(1 - 2). Solve i*h = -2*d - 2, h + 18 = -a*d - 0*h for d.
-5
Suppose 16 = t - 59*v + 62*v, -5*t - 3*v = -20. Let z = -2 - -5. Solve -2*k = -i + t + 4, -2*k = i + z for k.
-2
Suppose 3*i - 5*c - 45 = 0, -5*i - 3*c + 3 = -72. Solve -3 = -10*n + 11*n + 5*t, -5*n = -2*t + i for n.
-3
Let n be (-3)/(-6)*2 + 10/2. Let i be (-1286)/12 - 1*n/(-36). Let r = i + 111. Solve -8 - 6 = z + r*k, 0 = -3*z - 5*k - 14 for z.
2
Let f = -5 - -7. Suppose -f*m - 20 = -0*m. Let x = 10 + m. Solve 5*w = -d + 20, -5 = -x*d - 4*d - 5*w for d.
-5
Let p(l) = l**2 - 3*l - 28. Let g be p(0). Let j be (24/(-28))/(4/g). Let z be (1 + -4)/(j/(-4)). Solve 0 = -5*b + z*k - 18, 0 = -k + 4 for b.
-2
Let c(h) = h**3 - 5*h**2 - 16*h + 19. Let k be c(7). Suppose 0 = -5*v - 3*n - 17 + 21, -k*v + 12 = -n. Solve 5*a - 4*q = -q - 1, -3*a + 7 = v*q for a.
1
Let d = -249