p for i.
1
Suppose -3*p + 102 = 3*p. Suppose 2*v = k + p, -k + 1 = -0. Suppose -7*w + v = -4*w. Solve -5*t - 13 = w*f, -3*t - 3*f - 5 = -2*t for t.
-2
Let u(o) = -o + 40. Let s(v) = v - 40. Let a(z) = 2*s(z) + 3*u(z). Let k be a(10). Solve 4*g + g + k = 5*d, 4*d - 12 = g for d.
2
Suppose 5*f + 2*c = 23, 0 = 2*f + 5*c - 2*c - 18. Let h = 8 - f. Suppose 3*l - 2*y = 6, 13 = 5*l + h*y + 3. Solve 2*x + i = -l, x = 5*x - 2*i + 12 for x.
-2
Suppose 42*p = 36*p - 6. Let z be (207/(-27))/(p/3). Solve o + 5*d - z = -4, -4*o = d - 19 for o.
4
Let i = 7 + 35. Suppose -i = -9*h + 2*h. Solve 5*f = 4*q + h, 3*f + 2 - 8 = 3*q for q.
-4
Let a be ((-3)/(-7))/(((-135)/63)/(-15)). Solve 5*n = -3*i + 4*i + 22, -4*i = -a*n + 20 for i.
-2
Let z = 0 + -1. Let f(t) = 0 - 1 + 6*t**3 - 24*t**3 + 12*t**3. Let l be f(z). Solve -21 = b - l*d, -4*b - d = -0*d - 21 for b.
4
Let c = -436 + 438. Solve 5*q - c*i - 32 = -3, -6 = 3*i for q.
5
Let u(n) = n + 13. Let w be u(-12). Suppose 17 = 6*o - w. Solve -40 = 5*d - 5*q, 0 = -2*q - o*q + 15 for d.
-5
Let s = -8 + 12. Suppose 0*c - 32 = -s*l + 4*c, -2*c + 19 = 5*l. Solve -5*d + q + 3 = -0*q, -q + l = 3*d for d.
1
Let d(a) = -a**3 - 6*a**2 + 5*a - 3. Let i be d(-6). Let h = 37 + i. Solve -5*t + 5*z - 5 = 0, h*t + 2*z = 3*t - 4 for t.
-2
Let q be (5 - 2) + -3 + 4. Suppose -q*n = -n. Suppose 4*z + 5*v + n*v + 13 = 0, -4 = 2*z + 2*v. Solve -5*p = -3*h - z*p - 16, 2*p - 24 = 5*h for h.
-4
Let a = -55 - -70. Solve 4*n = 4*z + 40, -n = z + 3*n - a for z.
-5
Let h = 37 + -37. Suppose 7 + 3 = 3*v - 4*l, h = -4*v - l + 7. Solve -16 = 4*y - 4*d, 0*y - v*y + d = 5 for y.
-1
Suppose 2 = -a + 5*q - 17, 3*a + 1 = q. Suppose 4*b = 16, 3*b = -3*r + 4*r - a. Solve 3*w + t - 2*t = r, -11 = -2*w + 3*t for w.
4
Let f = 264 + -228. Solve -7*q + 2*q + 3*o - 5 = 0, -4*q - 4*o - f = 0 for q.
-4
Let s = 547 - 545. Solve 2*l + 5 = -d, -4*d = -0*l + s*l + 8 for d.
-1
Suppose 6*t = 20 - 14. Solve 0 = -5*f - 5, -f = -y + 7 - t for y.
5
Suppose -3*g + 11 = -f, -g = 3*f + 16 - 3. Solve -3*b + 16 + g = -s, -4*b = -s - 23 for s.
-3
Let x(h) = 4*h - 4. Let z be x(6). Suppose -10*d + z = -5*d. Solve d*i = 3*v + 4, 0*i - 18 = 4*v + i for v.
-4
Let y be (-1)/((0 + 2)/2). Let u = 9 - y. Let a = -4 + u. Solve 3*b = -3*z + 5*z + 6, -2*z = -a for b.
4
Let k be (-81)/(-18) - 5/10. Solve 3*q = k*n - 8, 5*q - 4*n = -0*q - 8 for q.
0
Suppose 4*g - 3*u = -0 - 30, 2*g = -2*u - 8. Let y be 44/12 + 10/g. Solve -y*q - 2*q = 20, -3*q = 3*b + 3 for b.
4
Let v be 4*(-1 - -2 - (-3)/(-6)). Suppose -13 = -4*l - k - 2, -3*l - v*k + 12 = 0. Solve -d + 3*p = -9, 13 = -5*d - 5*p - l for d.
0
Let r = -103 - -68. Let l be 8/12 - r/15. Solve 0 = -l*k + 5*k - 6, k + 22 = 5*x for x.
5
Suppose -23 = -w - 14. Suppose -4*l - 4 = 3*v, v - 3*l - 7 = w. Solve v*n - 19 = -3*h, -h + 3 = 2 for n.
4
Let c = -829 - -833. Solve 31 = 5*h + 2*t, 27 - c = 4*h + t for h.
5
Let q = 5 - 3. Suppose -3*b = -12, -b = q*i + 2*i - 20. Suppose 5*m + 4*c = -0*c + 73, -5*c = 3*m - 36. Solve -2 = -i*t + f - m, t + 3*f - 6 = 0 for t.
-3
Let r(c) = c - 1. Let s be r(3). Let m be -4 + 9/(36/(-16)). Let u be m/7*7/(-2). Solve 30 = 5*b - u*d, 2*d = -b - s*d - 18 for b.
2
Let s be (1 - 9/(-3)) + (-5)/1. Let u be 3/((1/s)/(-1)). Solve -u*c + 2*x - 15 = 0, -4*c = -3*x + 10 + 10 for c.
-5
Suppose -10*d = -13*d + 27. Let v = d + 10. Solve -5*h = 3*q - v, -h = -2*h - q + 3 for h.
5
Let y be (1/2)/(2/24). Let r(b) = -2 + 45*b - 89*b + 45*b. Let s be r(y). Solve -i - 7 = -2*x, s*x - 19 + 8 = 3*i for i.
3
Suppose 5 = -i, 3*y + i - 3 = -y. Suppose -4*w + 6 = -y*w. Suppose 2*h = 9 - w. Solve -4*l + 2 = -2*p, 0*p + 4*l = h*p + 1 for p.
1
Let f be 18*(-2)/(2 - 8). Suppose 1 = -7*a + f*a. Let s = a + 3. Solve -s*d + 20 + 0 = 4*x, -d + 5*x - 18 = 0 for d.
2
Suppose d = 10*d - 36. Solve d*u = 2*o + 12, -o - 4 + 1 = u for u.
1
Let t be ((-12)/4)/1*2/(-3). Solve -t*b - 5*q + 26 = 0, 3*b + 0*q - 21 = -3*q for b.
3
Suppose 2*o = y - 80, 4*o + 4*y + 153 = 17. Let a be (-2)/(-32)*4 - o/8. Solve c - 33 = -5*s + a*c, -6 = 3*c for s.
5
Let o(z) = -z - 7. Let i be o(-8). Suppose 13 - i = 4*y. Let c be ((-6)/(-4))/((-3)/(-6)). Solve y = 5*v + 8, c*b - 4*v = 16 for b.
4
Suppose 4*a + 13 = -x, 2*x + 13 = -3*a - 2*x. Let p be (0/a)/(-2) + 0. Let u be 2/((-4)/(-30)*3). Solve 3*m = 0, m - 15 = u*z - p*z for z.
-3
Let s be (-1 + -6 + 4)*-2. Suppose 0 = 3*v - s. Solve 6*u - u = -5*i + 30, -v*i + 7 = u for i.
1
Let u(r) be the second derivative of -r**3/3 + 8*r. Let h be u(-4). Suppose 0 = 11*m - h*m. Solve 4 = -2*w, 3*y = 4*w - 4 - m for y.
-4
Let j = -4600 - -4608. Let l(h) = h - 2. Let g be l(6). Solve 2*a = -1 + 3, g*b - 4*a = -j for b.
-1
Let g be (-2 - 4)*2*-1. Suppose 5*k - 75 = 10. Suppose 5*d = k + 3. Solve -4*j = 5*t + g, 2*j + 5 + 1 = -d*t for t.
0
Suppose -15*g - 8 = -19*g, 3*n = 5*g + 2. Solve 21 = x + n*j, 3*j - 45 = -5*x - 2*j for x.
5
Let n be (-22)/(-4) - (6825/(-70))/(-65). Suppose -d - 29 = -5*y, 6*y - 2*y + d - 16 = 0. Solve 3*h + 25 = 4*l, -n*l - y*h = 2 - 3 for l.
4
Let f = -283 + 285. Let m be (-1 + 0 + 1)/(-1). Suppose m*w - 5*w = -65. Solve -i - w = 3*n, n - f*n = i + 7 for i.
-4
Let r = 6 + -5. Let g be (8 + -2)*r - 4. Solve -2*v = -2*u - 4*v, -g*u = -5*v for u.
0
Let s be 1095/146*(-6)/(-5). Solve -j = 8*l - 7*l - 4, j - s = -2*l for l.
5
Suppose -5*a = -o - 8, -5*o - 3*a - 7 = -23. Solve 0 = -z + 2*n, -z = z + o*n - 12 for z.
4
Suppose -5*g = 10, 3*g - 4 = -70*a + 65*a. Solve 0 = d + a*d - x + 13, 0 = d - 5*x - 5 for d.
-5
Suppose -2*g - 3*l = l - 32, 4*g = l + 64. Suppose 2*z - 4*z + g = 0. Let y = 11 - z. Solve -y*d + 2*n = -6, n = d + 1 - 4 for d.
0
Let y(j) = -37*j - 23. Let q be y(-4). Let o = 130 - q. Solve -8 = 3*s - z + 4, z + 28 = -o*s for s.
-5
Let o(r) = 0 - 3 + 3 - 3*r. Let x be o(2). Let v be 4/(x/45*-3). Solve 2*n + n = 2*q + v, -n = 4*q + 6 for q.
-2
Suppose 2*b + 3*b - 20 = 2*k, -b - 4*k + 4 = 0. Suppose b*s - 8 = 8. Solve 4*w = -3*z - 3, z + w = -2*w + s for z.
-5
Suppose 2 - 2 = -2*j. Solve 0*u - u - 3*f = -5, j = 4*f for u.
5
Suppose 5*w = 4*l + 9*w - 20, -5*l + 5*w + 45 = 0. Let p be 0 - (l + 1)/(-2). Solve 20 = -4*b, 0*r + 4*b = -4*r - p for r.
4
Let z = 17 - 12. Solve 5*c + 5*d - 4 = 1, -z*d = 2*c - 11 for c.
-2
Suppose -5*p - 20 = 0, 5*p + 24 = 4*a - 0*p. Let j(k) = 0*k - 3*k**3 + 2*k**3 - k - a. Let r be j(-1). Solve 4*s + 5*n = -14, -3*s + 2*n + r = -0 for s.
-1
Let l(c) = -c**3 - 14*c**2 + 15*c + 3. Let z be l(-15). Solve 0 = -3*w - 2*m - z + 16, -4*w = -m - 10 for w.
3
Suppose 0 = -4*k + o + 31, 15*k - 10*k + 5*o = 20. Solve -u - k = -4*z, -2*u - 1 + 0 = 5*z for u.
-3
Suppose g + 3*g = 0. Suppose 0*t - 50 = -10*t. Solve -3*m + 0*h - t*h - 11 = g, 0 = -3*m - 4*h - 10 for m.
-2
Let i(q) = -22*q + 156. Let j be i(7). Solve -4*r = 5*f + r - 15, -j*f + 5*r - 8 = 0 for f.
1
Suppose 5*i - i = -68. Suppose 80 = -5*o + 10. Let d = o - i. Solve -4*f + 5*u + 15 = 0, -4*f + u - d*u - 6 = 0 for f.
0
Let v = 11 + 0. Suppose v = 2*i - 3*u, -4*i + 12 = 3*u + u. Solve -28 = -3*o + i*f, -o - 2*f - 4 + 0 = 0 for o.
4
Let y be ((-48)/2)/2*-2. Let j be ((-60)/(-8))/(-5)*(-76)/6. Suppose 0*l = -3*l + 4*d - 6, 5*l = -3*d + j. Solve -2*u + 4*u + 4*q = y, -q = l*u - 9 for u.
2
Let v = -48 - -47. Let y(u) = -12*u - 3. Let z be y(v). Solve 3*c + z*n = 4*n + 37, -5*c - n + 25 = 0 for c.
4
Let b be 0/((4 - 5) + 3). Suppose b*o + 41 = 5*o + 4*s, -s + 9 = o. Solve -2*i - 5*j + 16 = 0, 2 = 5*i - o*j - 3 for i.
3
Let d be 2/6*(-2)/(-4)*24. Suppose 0 = -5*o + 3*o - 3*g + 12, d*g - 5 = o. Solve -x = f - 4, -o*f + 3*x - 7 = -f for f.
1
Let s be (1/2*0)/(-1 - 2). Suppose s = 5*k - 10*k + 20. Solve 1 = -3*y - r + 3, 12 = -2*y - k*r for y.
2
Suppose -4 = 20*y - 22*y. Solve -y*h = 2*q - 6*h - 24, 2*q + 1 = -h for q.
2
Suppose -5*t = -3*r + 23, 0*r + 2*t = -r + 15. Let m be 25 + (-16 + 6)*1. Let o be 5/4*(2 - -2). Solve o*u - r = -4*z - 32, 4*z - u = -m for z.
-4
Let w be (-1*48/18)/((-2)/3). Solve -w*z - 13 = 3*v - 4, -5*v + 2*z = 15 for v.
-3
Let k(q) = -q**2 + 16*q - 12. Let m be k(15). Suppose s - 5*i = 5*s - m, 4*s - 7 = -i. Solve -d - 6 = s*v + 8, -4*d = -v + 11 for v.
-5
Let m(u) = 261*u + 8*u**3 - 258*u + 12*u**3 - 1 - u**2. Let a be m(1). Let y be (-5)/((-60)/a)*8. Solve 0*r = -2*r - 4*n + y, 2*n = -2*r + 6 for r.
-1
Let v(o) be the