 for p.
3
Let m = 12 + -9. Suppose 0 = -p - m*p + 16. Solve 2*d - g + 6*g + 5 = 0, 0 = 4*g - p for d.
-5
Let v(n) = n**2 + 19*n + 18. Let r be v(-18). Solve 3*x - c - 5 = 3, r = 3*x + c - 4 for x.
2
Let j = -1216 - -1219. Solve 4*z + 0*g = j*g - 17, -22 = 4*z + 2*g for z.
-5
Let y = -377 + 390. Solve -3*f + 12 = -h, 5*f - 7*h + 3*h - y = 0 for f.
5
Let b be (8/10)/((-2)/(-5)). Suppose 56 = b*x + 2*x. Solve 3*u + u = g - 18, 3*u - g = -x for u.
-4
Let y be (-84)/(-14) + 2*(-7 + 6 - 0). Suppose 4*h - 4*s + 20 = h, 5*h - 2*s + 10 = 0. Solve -k + 4 = a + 3*k, 5*a - 4*k + y = h for a.
0
Suppose 5*x = 25, b + 2*x = 2 + 10. Solve 4*l = 5*p + 25, b*p = 6*p + 4 for l.
5
Let w = 1029 - 1024. Solve g - 12 = -2*q, -w*g + 20 = -0*q + 2*q for g.
2
Let r be 4533/27 + (-11)/(-99). Suppose -174 = -o - r. Solve -o = -2*n - p - p, -5*p = 4*n - 15 for n.
0
Let p(m) = m**3 - 8*m**2 + m - 5. Let q be p(8). Solve -2*k = -3*t + 32 - 9, 3 = 3*k + q*t for k.
-4
Let i(u) = u + 3. Let f be i(-3). Let y = 1 - f. Suppose 5*t = -j - 20, 5*t - y + 26 = 0. Solve -j*r + 5*n - 20 = 0, r = 6*r + n + 26 for r.
-5
Let s be 0/(2 + -1) + 1. Let n be s - ((-16)/(-2))/(-4). Let q be 0 + 1 - (n + -5). Solve -4*c = -2*j - q*c + 10, -3*c = -3*j + 15 for j.
5
Let k(n) = -n + 1. Let w(u) = u**2 + 13*u + 10. Let s(l) = 4*k(l) + w(l). Let v be s(-7). Solve 2*h = -2*a - 6, v = -5*a - 8 - 17 for h.
2
Let p be (-3 - 2)/(-20) + (-90)/(-24). Solve 5 = -5*t - 4*a, 2*t + p = -2*t - a for t.
-1
Suppose 2*u = 35 - 27. Suppose 10 = v + u*b, -2*v + 20 = 5*b - b. Solve -30 = -5*g - 5, -5*f - v = 2*g for f.
-4
Suppose 62*o - 35 = 89. Solve 5*x + o*t - 4*t - 23 = 0, -2*x = t - 2 for x.
3
Suppose -2*y = -0*y - l - 6, -4*y - l + 12 = 0. Suppose 4*r + y*d = 18, -r - 3*d + 4 + 5 = 0. Solve -4*h - 8 = 2*s, r*h + 0*s = -4*s - 1 for h.
-3
Suppose -14*i = -i. Solve i = -z + 4, -2*z + 11 = -h - 2*h for h.
-1
Suppose 0 = 26*w + 6*w - 800. Solve 5*i = w, -2*u + 9 = 3*i - 0*i for u.
-3
Let l = 400 + -400. Solve -4*j + 19 = 3*n, -2*j = -l - 2 for n.
5
Let o(g) = -36*g - 376. Let l be o(-11). Solve -s + 2*v - 8 = -0*v, -5*v + l = -2*s for s.
0
Suppose 0*x + 4 = x. Let c = 717 - 715. Solve -b = 2*b - c*u + 22, -b = -x*u + 24 for b.
-4
Suppose y - 29 = 3*u, 35 + 0 = -3*u - 5*y. Let m(h) = 2*h + 22. Let d be m(u). Solve n = -5*a + d*a + 2, -4*a + 2*n = -6 for a.
1
Let p = -45 - -50. Suppose -p*t + 16 = -3*t. Solve q = 3*j, 2*j - 6*j - t = -4*q for j.
1
Let d(f) = 3*f - 10. Let b be d(5). Let x be 3*(b/(-15) + 1). Solve 3*m - 2*j = 5, x*m + j = 1 - 0 for m.
1
Let k = 620 + -616. Solve -x = 3*y + 2*x, 2*y = -4*x - k for y.
2
Let w(z) = z**3 + 27*z**2 + 30*z + 109. Let x be w(-26). Solve 0 = -0*i + x*i + 2*l + 14, -2*i = 5*l + 14 for i.
-2
Let u be (20/(-13))/((-18)/117). Solve 4*k = -20, -6*k = -5*h - 4*k + u for h.
0
Suppose -8*b + 80 = -0*b. Suppose 4 - b = -2*x. Solve v = -3*a - 8, -x*v + 6*v - 32 = 5*a for a.
-4
Suppose -d - 6 - 8 = -4*k, -5*k + d + 17 = 0. Let v be k/42*2 + (-54)/(-14). Solve 0 = 5*i + b - 7, v = -4*i - b + 9 for i.
2
Suppose -7*z - 4*t + 108 = -3*z, -3*z - 5*t = -89. Suppose -18 = r - z. Solve 5*n = v - r*v - 25, n + 5 = 0 for v.
0
Let m = 53 - 51. Let k be m/(-3) - (-128)/48. Let f(c) = c**3 + 6*c**2 - c - 3. Let r be f(-6). Solve 3*h = -l, l = k*h - r*h for l.
0
Let p(k) = -k**2 - k + 3. Let f be p(-3). Let h(y) = y**3 + 3*y**2 - 4*y - 3. Let z be h(f). Solve -2*m + 5*w + z = 0, -4*m + w = -0*w + 9 for m.
-3
Let v be (-2)/8 - (-42)/8. Suppose -15 = -v*c + 5. Suppose 3*s + c = 5*s. Solve -b - 5*g = 12, 3*g - 8 = -5*b - s for b.
3
Let p be 4*(-2 + 6 + (-4)/2). Suppose 0*b = 2*b + 2*w - p, -3*b + w = -12. Solve b*m - 27 = -5*x, 5*m - 3*m = x + 3 for x.
3
Suppose 3*m = u + 5*m, 3*u - 10 = -m. Solve 6 = -5*z + u*j - 2, 5*j = -5*z + 10 for z.
0
Let s(r) = r**3 + 4*r**2 + 3*r + 3. Let g be s(-3). Let w = 9157 + -9152. Solve t = 2*b + w, 3*b = -g*t - 14 - 7 for t.
-3
Suppose 25*b - 23*b = 4. Solve 12 = 3*l + 2*a, l + 2*a - b - 2 = 0 for l.
4
Let f(w) = -w**3 + 6*w**2 + 8*w - 5. Let p be f(7). Suppose 5*a = -4*q + 18, -p = -2*q + 2. Solve 4*b = -a*u + 9 + 1, -u - b + 5 = 0 for u.
5
Let j(q) = -q. Let t be (-1)/(-2) - (-3)/2. Suppose -t*g - 2 = 2. Let s be j(g). Solve -18 = 2*p - 5*d, -2*p + 0*d - 6 = -s*d for p.
1
Let v(n) = 2*n**2 - 1. Let t = -13 - -12. Let c be v(t). Solve k - c = a - 3, -3*a = -2*k - 5 for a.
1
Suppose -4*g + 4 = 0, -2*g - 2 + 6 = l. Suppose 0 = -9*r + 4*r + 15, -3*i + 24 = 3*r. Solve 4*c + 4 + 8 = -4*m, l*m - i*c = 1 for m.
-2
Let i = -132 - -154. Let v be (-9)/(-36) - i/(-8). Solve -5*d - v*q = 12, 2*q = -5*d + 3*q + 4 for d.
0
Let o(f) = -39*f**3 + 10*f + 71*f**3 - 31*f**3 - 10*f**2 + 3. Let u be o(9). Solve 0*p = -2*c - 2*p + 8, u = -2*c + 3*p for c.
0
Suppose -29 = -3*c - 5*o, c - 3*c - 2*o + 14 = 0. Solve -2*w = c*g - 2*g, 3*w + 2 = -2*g for g.
-4
Let v be (72/408)/((-5)/(-85)). Solve 6*f + 3*g = v*f + 3, -2*g = -5*f - 2 for f.
0
Suppose 50*a - 120 = 47*a. Solve -z + 6*z - 3*s - a = 0, -20 = -z + 3*s for z.
5
Let s be 6/(-9 + -3)*-8. Solve 0 = -6*z + s*z + j - 2, j + 5 = -5*z for z.
-1
Suppose 20*g - 13*g = 7. Solve -c + 1 + g = 4*y, -4*y + 6 = -c for y.
1
Suppose -2*h - 6 = -16. Solve 5*u = 2*f - 7*f - 5, -h*u - 15 = -5*f for f.
1
Let v = -34 - -39. Suppose -2*j - 24 = -v*j. Solve 2*i + 4 = 0, -i = -3*p - 3*i + j for p.
4
Suppose 2*j + 37 = -23. Let a = 31 + j. Solve -o - 3*k - 2 = 0, -o + a = -5*k + 11 for o.
-5
Suppose 2*z = 48 - 40. Solve -z*a = g - 3, 3 = -a + 4 for g.
-1
Let y = 78 + -79. Let p = 2 + 1. Let h be 5 - 1 - (y + p). Solve 2*x + 30 = -5*w, h*x - 8 = 4*w - 2 for w.
-4
Let j = 2150 - 2146. Solve 0 = z - 3*z - 2*g + j, g + 6 = z for z.
4
Let z = -14 + 14. Suppose -3*g + g + g = z. Solve -3*x + 9 = -s, -4*s + g*x - 4*x - 4 = 0 for s.
-3
Let a be 33/(-77) - (-90)/63. Solve 5*f - 5 = -5*k, 0 = -k - 3*f - a - 6 for k.
5
Let s = 17 + -11. Let x be (-38)/s*(6 - 9). Let r = 20 - 4. Solve 2*j - 4*q + r = 0, 0*q + x = -3*j + 5*q for j.
2
Let u be (-615)/(-9) - 6/(-9). Let l = 74 - u. Solve -3*q + 13 = n, -3*n + l = -7 for q.
3
Suppose -26*b + 21*b + 80 = 0. Let d be b/(-6)*(-24 - -21). Suppose 3*j - 10 = -2*j. Solve -j*i + 11 = -6*i + 5*h, -3*i + 4*h - d = 0 for i.
-4
Let z be (5/3)/(30/108). Suppose 3*o - 6 - z = 4*r, 4*o - 6 = 2*r. Solve 3*h = -4*l - 9, o = -2*l - 2*l for h.
-3
Suppose 191*y = 193*y - 6. Let j = 88 + -47. Let u = j - 27. Solve 3*l + f = 10, -5*l + 0*l = y*f - u for l.
4
Suppose 2*r = r. Let v = -1607 - -1607. Solve -3*k = -4*b + 2, r = -3*b - 4*k - v*k + 14 for b.
2
Suppose -2*w - a + 8 = 0, -2*a = w + w - 8. Solve 0 = 3*f + 15, -5*f = w*n - 0*f + 13 for n.
3
Let j = -232 - -253. Solve -3*g - 3*o - 26 = o, -5*o = -2*g + j for g.
-2
Suppose -123*y = -125*y + 28. Solve y = 3*s + 2*g, -7*g + 3*g + 14 = -s for s.
2
Let n be ((-54)/(-24) + -3)/((-9)/36). Solve -17 = -n*h + s, s + 2 = -3*h + 15 for h.
5
Let h = 8 + -2. Let z = h + 3. Let p(m) = -m + 12. Let a be p(z). Solve a*c + 15 = -4*x, 0*x + 4*x - 25 = 5*c for x.
0
Suppose -4*p = -2 + 62. Let q = 18 + p. Let t = 5 - q. Solve -2*y - 14 = -2*d - t*d, -2*y = d - 11 for d.
5
Suppose 4*m - 3*t - 22 = 4, -3*m = -3*t - 21. Let v(h) = -h**2 + 20*h - 71. Let l be v(15). Let f = -1 - -3. Solve -x + 2*o + 4 = -2*x, f*o = -m*x + l for x.
2
Suppose 4*u = 3*z - 9, 2*z - 6*u + 2*u - 6 = 0. Suppose 2*k = z + 5. Solve x - 2*h = -1, k*x = -x + 2*h + 3 for x.
1
Let l = 1733 - 1733. Solve -2*f = 2*x - 8, x - 6*x = l for f.
4
Let g(o) = o**2 - 12*o + 10. Let n be g(11). Let b = 6 + n. Suppose b = 5*y - 5. Solve y*m + 0*q - q - 13 = 0, 3*m - 30 = 5*q for m.
5
Suppose -1 = 3*o - 2*u, 5*o + 17 = 4*u + 12. Solve -4*f - 35 = 5*l, o*l - 6*l = -f + 4 for f.
-5
Suppose 5*s + 4*c - 8*c = -28, 3*s + 14 = c. Let k = 16 - 9. Let a = s + k. Solve 2*q = -q, -n = -q - a for n.
3
Let z be ((-14)/(-21))/((-2)/(-6)). Let d be (1 + 1)/(-3*4/(-36)). Solve -4*l - d = -8*l + z*m, -9 = -3*m for l.
3
Let t(z) = -z**3 - 4*z - 3. Let a be t(-2). Suppose 4*v + 1 - a = 0. Solve 3*w - 8 = -5*q, -3*w - 31 = -4*q - v for q.
4
Let d = 91 - 88. Solve 3*h + m = 15, 0*h - 17 = -2*h - d*m for h.
4
Let t = -215 - -218. Solve t*u = 4*y + 2 - 1, -2*u - 2 = -2*y for u.
-5
Let z(g) = g**2 - 45*g + 301. Let r be z(37). Solve n - k = -r, 0 = 3*n - 0*n + 3*k - 3 for 