= 0 for p.
1
Let i be 4/6 + (-21)/(-9). Suppose -5*z = -16 - 14. Suppose k + z = i*k. Solve -a = 1 + k for a.
-4
Let q(c) = -c**3 - c**2 + c + 17. Let j be q(0). Let t = j + -12. Let z(w) = -w - 3. Let i be z(-3). Solve -3*l - 4 - t = i for l.
-3
Suppose 2*x = -t + 3, -3*x + 0 - 3 = 0. Solve t*m = 1 + 4 for m.
1
Let j be 4/2*(-4)/8. Let h = j - -2. Solve 21 - h = 5*q for q.
4
Suppose -48 = 5*c + 7. Let d = 2 + c. Let t be (12/d)/((-4)/6). Solve -s = -t - 3 for s.
5
Suppose -8*a - 6 + 38 = 0. Let h(l) = -l**3 + 2*l**2 + 3*l + 4. Let s be h(3). Solve -2*g + a = -s*g for g.
-2
Suppose 3*z + 3*c = -3 - 0, -5*c = 2*z + 17. Let v = -3 + z. Let k(g) = g**3 - g**2 - g + 1. Let o be k(1). Solve -q + 0 + v = o for q.
1
Let v(j) = -j**3 - 11*j**2 - 9*j + 12. Let k be v(-10). Solve 10 = k*s + 3*s for s.
2
Suppose n - 9 + 4 = -4*y, -2*n + 10 = 4*y. Solve 5 = -r - y*r for r.
-5
Let l = -52 + 57. Suppose 0 = -2*r + x - 2*x + 17, 0 = -3*r + 5*x + 6. Let w be (-4)/10 - 4/(-10). Solve w = 2*i - r*i + l for i.
1
Let f be 8 + 3 + 8/(-2). Let g be f/2 + 4/8. Solve g*j = 2*j + 2 for j.
1
Let r(h) = -h**3 - 8*h**2 + 8*h - 6. Let p be r(-9). Suppose 0 = 5*i + 20, 2*g = -2*g + p*i - 20. Let j = -5 - g. Solve -a + 8 = -j*a for a.
-4
Let i be ((-8)/4 + 2)/(-2). Solve 0 = -5*f - i*f for f.
0
Let s be 0 + (0 - -1) + 0. Let t(b) = -3*b**3 + 2*b + 1. Let y be t(-1). Solve y - s = p for p.
1
Suppose -3*h - 11 = -4*w, 3*w - 9 = -2*h + 5*h. Let f be (-2 - -2)*h + 3. Solve 0*z + f*z = 12 for z.
4
Let s(c) = -c**2 - 5*c + 7. Let f be s(-5). Let j = 3 + f. Let t = 18 - j. Solve 2*b + 0 = t for b.
4
Let z be (15/3)/((-4)/(-4)). Let w = 6 - z. Solve 0 = y - 1 - w for y.
2
Suppose 5*x = 5*h + 10, 3*h + 16 = 4*x + x. Suppose w = a + h - 1, 4*a + 3*w = 6. Suppose 3*q + 4*s = 17, 0 = -4*s + 2 + 6. Solve a = d - q - 2 for d.
5
Let x = -110 + 115. Let p(h) = h**3 + 7*h**2 + 6*h + 2. Let a be p(-6). Let b be 4/a + -3 - -1. Solve 5 + b = x*l for l.
1
Let v be (9/6)/(2/(-4)). Let g be v - 1 - -2 - -5. Let l be 1/4*-2*0. Solve 0 = g*c - l*c for c.
0
Let x(s) = -s**2 - 6*s - 7. Let j be x(-5). Let t be (j - -3)/(3/(-9)). Let r = -3 - t. Solve -f = -r*f + 5 for f.
-5
Suppose -2*u + 4*s = -8, 2*u + 3*s - 4 = u. Suppose -2*p = -4*m + u, 2*m - 5 - 1 = -p. Solve -2*v - p + 0 = 0 for v.
-1
Let f(h) = 15*h - 2. Let a(i) = -14*i + 1. Let j(x) = 4*a(x) + 3*f(x). Let s be j(-2). Let p be ((-2)/(-3))/((-4)/(-18)). Solve -2*b - p*b = -s for b.
4
Let u(s) = 26*s - 1. Let m be u(1). Suppose 4*d - m = -d. Suppose -x + 2*x + 5 = 0, -5 = -2*h - x. Solve h*t - d = -0 for t.
1
Let w(z) = z**3 + 4*z**2 + z - 1. Let y = 2 + -9. Let j = -9 - y. Let s be w(j). Solve s*d - 3 = -28 for d.
-5
Let i(b) = b - 5. Let k be i(5). Suppose k*y - 4 = -y. Suppose -2 = -4*w - 14, n + 2 = -2*w. Solve y*p = 3*p - n for p.
-4
Let d be 1*(3 + -4 + 1). Solve -2*g + d*g = 8 for g.
-4
Let x = -8 + 16. Solve 4*j = x + 4 for j.
3
Suppose 0*c = -2*c + 6. Suppose -2*i - n = -12, c*n = -3*i - n + 28. Solve -3*t = -2*t - i for t.
4
Suppose 0 = -4*k - 17 - 15. Let f = k + 8. Solve -3*i = -f*i for i.
0
Suppose 8*u - 6*u = 2. Solve -4*b + u - 5 = 0 for b.
-1
Let d = -63 + 37. Let z = d - -41. Solve -5*b = -5 + z for b.
-2
Suppose 0 = -2*r + 3*i - 11 + 2, 0 = 3*r + 4*i - 12. Let g be r*(5/(-2) + 3). Suppose b + b = g. Solve b = 2*c - 3*c + 5 for c.
5
Suppose -3*r - 7 = h + 4, -2*h + r + 6 = 0. Let v be 0 - (-2)/4*0. Suppose v = 3*i + i. Solve m - 2 - h = i for m.
3
Let g = 0 - -5. Suppose 0 = -g*a + p - 3 + 7, 7 = 5*a + 2*p. Suppose -8 = -d + w - a, -4*d - 3*w + 35 = 0. Solve -5*i = -i - d for i.
2
Let g(p) = 5*p**2 + p. Let b be g(-1). Suppose b - 2 = x. Let t = 3 + x. Solve 0 = k - t for k.
5
Suppose 0 = 2*a - 5*a + 5*x + 299, 3*x + 200 = 2*a. Let k be 2/7 + a/7. Solve 3 = -4*f + k for f.
3
Suppose -z = -2*z. Let r be 12/(-3) + 15 - 2. Solve -4*u + u - r = z for u.
-3
Suppose 2*s - 48 = 32. Suppose 2*n + 3*n = s. Solve -3*k - n = -2 for k.
-2
Suppose 3*j - 4 = j - d, -5*d = -2*j + 16. Suppose 3*g - j*s - 8 = 5*g, 2*s = -8. Let r = 2 - g. Solve 3*a = -r - 3 for a.
-1
Let o(l) = l + 1. Let x be o(9). Let v = -6 + x. Solve -2 + v = -2*w for w.
-1
Suppose 3*h = 7*h. Let a be (-5 + 3 + 1)*0. Suppose 2*z = 5*k + 6, -2*k - 5*z + 15 + h = a. Solve 5*b - 4 - 1 = k for b.
1
Suppose 29 = -3*v + 4*d - 17, 5*v + 85 = 5*d. Let b = 31 + v. Solve -3*n - b + 3 = 0 for n.
-2
Let b be 2/(-6) + (-26)/(-6). Let s(d) = -d**2 - 5*d + 5. Let m be s(-5). Suppose -m = -b*x - 1. Solve 4*q - 3 = x for q.
1
Suppose 4*t = 2*d - 14, -3*t - 8 = -d + 2*d. Let g be d/(((-6)/(-9))/2). Suppose -g*j = -o - 5, -3*j = 2*o - 0 - 8. Solve -j = -4*b - 18 for b.
-4
Let p(i) = 4*i + 68. Let z be p(-16). Solve 4*l - 2*l = -z for l.
-2
Let x be (3/6)/(1/(-6)). Let a be 1 + x + (15 - -2). Solve -k + a = 2*k for k.
5
Let z(m) = m**3 + 7*m**2 + m - 10. Let n(r) = r**3 + 7*r**2 + 2*r - 10. Let b(q) = 2*n(q) - 3*z(q). Let a be b(-7). Solve d + 0 = a for d.
3
Let g(p) = 7*p - 7. Let b(m) = -3*m + 3. Let i(q) = -5*b(q) - 2*g(q). Let f be i(-6). Let r = -7 - f. Solve r*z = -z - 2 for z.
-2
Suppose -4*t - 59 = -3*h, -h + 4*t = -0*h - 9. Let j be (3/(-9))/(2/(-24)). Suppose -6 = j*u - 22. Solve r + h = -u*r for r.
-5
Let k(o) = -o - 7. Let d be k(-13). Let f be d + (-4 - (2 - 3)). Solve -2*a - f = 3 for a.
-3
Let g(m) = -2*m**3 + 17*m**2 + 11*m - 16. Let q be g(9). Suppose 0 = 2*o + 3*o - 20. Solve -2*b + o*b + q = 0 for b.
-1
Suppose -7*c - 20 = -2*c, 4*n - 12 = c. Let q(j) = j**3 + 3*j**2 + 2*j + 1. Suppose 2*t + 5 = 1. Let w be q(t). Solve -n*z - w = -5 for z.
2
Let i(y) = y**3 + 2*y**2 + 2*y - 2. Let a be i(-2). Let q = a - -13. Suppose -5*b + 0*r + 15 = 5*r, 3*b = -r + q. Solve b*t + 6 - 16 = 0 for t.
5
Let b = -5 + 9. Suppose -a - 9 = -b*a. Solve 0 = -a*c + c for c.
0
Let q(i) = -2*i**2 - 12*i + 3. Let h be q(-6). Solve y = -h*y + 12 for y.
3
Let f = -3 + 7. Suppose -f*g = 2*n - 10, 3*g + g = -4*n. Suppose t = g*t. Solve b - 2*b - 1 = t for b.
-1
Suppose 5*m = -9 - 1. Let c be -1 - -1*m/1. Let h be (-8)/(c*2/3). Solve -h*r + r = 6 for r.
-2
Suppose 0 = 41*a - 45*a + 16. Solve p - a*p = -6 for p.
2
Let f be (18/6)/((-6)/(-20)). Solve 2 = 2*y + f for y.
-4
Suppose -84*x = -82*x - 8. Solve 2*w + 6 = x*w for w.
3
Let x(f) = -f**2 - 7*f - 5. Let u be x(-4). Suppose 4*o - 1 = u. Solve -v + 0 = o for v.
-2
Let q(t) = t**2 - 5*t. Let j be q(-5). Let y = -30 + j. Solve n + y = -4*n for n.
-4
Let n be (-6)/(2/((-12)/9)). Let k = -4 + n. Let i be (2 + 6/(-4))*k. Solve x + i*x - 5 = 0 for x.
5
Let k = 4 + -4. Suppose -10*g + 8 + 12 = 0. Solve g*x + x = k for x.
0
Let z = -11 - -29. Let f be (-4)/(-18) - (-158)/z. Suppose -5*k + 1 = -f. Solve -k*o + 3 = -3*o for o.
-3
Suppose -3*c = -2*c. Suppose c = b - 2. Solve 0 = -0*j + b*j - 10 for j.
5
Suppose -5*w + 2*w = 0. Suppose -2*g = -g - 3. Solve w*d - g*d = -6 for d.
2
Let b be 36 + (-3 - -4)/1. Let c = -25 + b. Solve 4*f - c = f for f.
4
Let c be 16/4 - (-2)/2. Let n = 0 - c. Let t(m) = m**2 + m - 1. Let y be t(n). Solve -5*h - 1 = y for h.
-4
Let p be (0 - 2)*1*-1. Let k(n) = n**2 + 10*n + 20. Let w be k(-8). Suppose -p = u - w. Solve 0 = -3*f - u*f + 15 for f.
3
Let w = -14 + 12. Let m be (-5)/w + 4/(-8). Solve -2*g - 16 = m*g for g.
-4
Let x be 4/(-12) + 242/6. Suppose -4*q - 3*v + x = v, 2*q + v - 25 = 0. Suppose -2*s + q = 3*s. Solve -5 = s*c + 2*c for c.
-1
Let l(q) = q**2. Let u be l(1). Let r = 0 - u. Let g = 0 - r. Solve 3*o - g = 2 for o.
1
Let d = -23 + 33. Let v = d + -3. Solve 3*z = v*z - 20 for z.
5
Suppose 0 = 2*n + n - 27. Solve -4*f = -f + n for f.
-3
Suppose 3*y + d - 6 = 0, -21 = y - 4*y + 4*d. Suppose -y*b + 8 = 4*o, 0*o - 3*o + 4*b = -6. Suppose -o*c - c = -27. Solve -4*z - 7 - c = 0 for z.
-4
Suppose -9 - 1 = -5*n. Solve 0 = c - n*c + 1 for c.
1
Suppose 0 = 2*j - 6*j - 24. Let y be 62/22 + j/(-33). Solve -y*p = -4*p for p.
0
Let f(y) = 4*y**2 + 5*y + 3. Let k(z) = z**2 + 1. Let r(t) = -f(t) + 6*k(t). Let i be r(3). Let j(h) = h - 1. Let n be j(i). Solve n*m = 10 - 30 for m.
-4
Let x = 1 + 0. Suppose -q + 3 = -x. Suppose r = q*r - 18. Solve 10 = -4*s + r*s for s.
5
Suppose 5*h - 39 = -2*a, -h = -4*a + 13 + 32. Solve -a + 2 = 2*w for w.
-5
Let l(o) = o**3 - 6*o**2 + 8*o + 2. Let b be l(4). Solve 0 - b = u for u.
-2
Suppose 64 = 5*