3, p*n + w*r = -16 for n.
-1
Let y = 30 + -42. Let c(w) = w**2 + 12*w + 10. Let j be c(y). Let f = j + -7. Solve -f*t + t + 3*i - 7 = 0, 5*i = -3*t + 18 for t.
1
Suppose 3*d = -y - 17, -y + 7 = -3*d - 0*d. Let l(w) = -6*w - 9. Let m be l(d). Suppose -3*x - m = -6*x. Solve -q + 2 = 3*b, -3*q - 22 = -x*b - 0*q for b.
2
Let z = 472 - 470. Solve -z*r = -4*d + 2, 2 = -d + 4 for r.
3
Let f = 22 + -10. Suppose a + 3 = 5. Solve a*v + 11 = p, -p - 5*v = 5 + f for p.
3
Suppose -2*b - 3*b + 10 = 0. Let u(h) = -13*h**3 + h**b + 10*h**3 + 0 + 0. Let q be u(-1). Solve -4*n = -2*t - 24, -n + q = -0*n for t.
-4
Suppose 0 = -2*i, 5*o = o - 3*i. Solve -2*y = -o*c - 2*c - 8, 3*c - 12 = -5*y for y.
3
Suppose 7*x - 991 = -865. Solve -2*j + 4 = 2*n + x, -5*j - 31 = 3*n for n.
-2
Suppose -6 = -h + 2*o, 4*h + 3*o - 3 = -1. Let c = -93 + 103. Solve -2*w + i + i + c = 0, 0 = h*i for w.
5
Suppose -4*q - 12*r = -10*r - 40, 0 = q - 5*r + 12. Solve 12*o + 3 = -3*g + q*o, -1 = g + 2*o for g.
-1
Suppose -2*g + 1 = -15. Suppose d - 16 = 2*v + 5*d, -2*d - g = 0. Let y = -7 + 11. Solve v = 4*i + 5*n + 20, -4*i + 16 = -0*i - y*n for i.
0
Let q = -307 + 307. Solve -3*j + q*j - 2*r - 2 = 0, j + 9 = r for j.
-4
Suppose 3*a = -2*r + 7, 0*a = 5*r + 3*a - 13. Solve -2*q - 15 = -5*q - 3*g, -3*q = r*g - 13 for q.
3
Let w = -7 + 17. Let f be (w/(-25) + 0)*-5. Solve -b + 2 + 2 = 2*l, -2*l + 4 = f*b for l.
2
Suppose -3 + 23 = 5*g. Suppose -2*x - 4*z + 13 = z, -2*x = -z - 7. Suppose g*j - 4 = x. Solve -3*d = 8 - j, 4*d = 5*q - 28 for q.
4
Let u(r) = -24*r - 528. Let t be u(-22). Solve t = -q - s + 5, 3*q + 4*s = 5*q - 10 for q.
5
Let b = -344 + 357. Solve -l + 4*n + 21 = -0*n, b = 5*l + 3*n for l.
5
Suppose -2*i + 63 = 55. Suppose 12 = i*b - 0. Solve 3*n - 5*s - 17 = 0, -n = -b*n + 3*s + 11 for n.
4
Let j be (-2 + -1)*(-4)/(-6)*-3. Solve -v + j*a = 7*a, -2*v = -3*a + 20 for v.
-4
Let a be ((-57)/12 + (-76)/(-19))*-12. Solve -a = -h + 4*j, j = -4*h - h + 24 for h.
5
Let u(v) = 3*v + 11. Let y be u(-5). Let t(c) = -c**3 - 5*c**2 - 8*c - 12. Let q be t(y). Solve -a - q = d, 0*d - 2 = -4*a + 5*d for a.
-2
Let t = 6 - 4. Suppose 0 = t*u - 5*s + 10, -4*s = -3*u - s - 6. Suppose 0 = -8*g + 4*g - p + 20, 5*p + 20 = u. Solve v - 4*i + 8 = 0, -v - i + g = 2*i for v.
0
Let l be ((-5)/(-15))/((-3)/(-27)) + -11. Let s be l/28 + ((-23)/(-7) - 2). Solve 20 = 5*y - 2*v, 2*y + 3*v - s = 7 for y.
4
Let k(c) = 4*c**2 - 2*c + 1. Let m be k(1). Let i be -1 - (m - 8/2). Let v = 64 - 58. Solve 2*f = -g - v, 3*g + i*g = 3*f - 9 for f.
-1
Suppose 5*f = -49 - 111. Let q = -28 - f. Solve 0*t - 4*t = n - 3, -3*t = 2*n + q for t.
2
Suppose 4*c = -4*p + 156, 3*p - 60 - 57 = -c. Let d = -19 + p. Suppose 0 = 4*m - 0*m - d. Solve 4*b = -5*q, m*b = 23 + 2 for q.
-4
Let c = -2 - 2. Suppose -p - 6 = -3*p - j, 2*p = 4*j + 16. Let b be p/(0 - c) - -3. Solve 6*d - 5*l - 15 = d, -b*l + 2 = 3*d for d.
2
Let h be -5 + ((-28)/8 + 1)/((-14)/28). Let u(z) = -3*z - 3. Let q be u(-5). Solve 3*k = -5*m - 5, 3*m - m + 4*k - q = h for m.
-4
Let n = 63 - 42. Suppose n*t = 23*t - 4. Solve 2*i + 0 = b + t, 0 = b for i.
1
Let q(x) = x**3 - 8*x**2 + 15*x + 18 - 39 + 17. Let l be q(6). Solve -4*y = 4*k + y + l, 0 = 4*k - 2*y for k.
-1
Let d = -121 + 128. Solve 3 - d = -2*k + 2*p, -k = 5*p - 2 for k.
2
Suppose -83*j - 8 = -85*j. Suppose 7*u + u = 0. Solve -2*x - 14 = 2*n, j*x + 2*n + n + 23 = u for x.
-2
Let x(u) = u**3 - u - 1. Let r be x(3). Let k = r + -21. Solve 4*l - 2*w - 4 = k*w, -5*l - 2*w = 30 for l.
-4
Let l(z) = -z - 7. Let g be l(-7). Suppose -34 = -5*k - 4. Suppose -13 = -3*f - 4*c, -3*f + 1 = -2*c - k. Solve -i + 2*w + 1 = 0, 4*i - f*i - w = g for i.
-1
Let n = 4336 - 4333. Suppose 7 + 2 = 3*y. Solve -q - y = 2*p, -5*q + 6 = -n*p - 31 for q.
5
Suppose -3*l - l = -2*o - 284, -213 = -3*l + 5*o. Let x = l + -55. Solve -2*g - t - 13 = 2*t, -5*g - 2*t = x for g.
-2
Suppose 4*u + 39 - 47 = 0. Let i be (-5 + 99/18)*8/u. Solve 2*s + 3*c = -16, 0*c - i*c = 5*s + 29 for s.
-5
Suppose 88*j - 97*j = -45. Solve j*h + 7*r - 15 = 3*r, 0 = 2*r for h.
3
Suppose -35*q = -47*q + 36. Solve 5*n + 13 = 3*i + q, -20 = n + 3*i for n.
-5
Let i be 30/4*(-5)/((-105)/28). Suppose -u = u - i. Solve 2*b + 4 - 1 = q, -u*b + 5*q - 15 = 0 for b.
0
Suppose 2*k + 0 = 2*l + 6, 0 = -5*k + 2*l + 18. Suppose k*x = -3*z - 0*z + 32, 2*x + 2*z = 18. Solve -x*q - 2 = 3*m, 0 = q + 5*m + 16 + 2 for q.
2
Suppose 29*m - 130 = -43. Solve -5*l - 11 = b, -l + 2 = -m*b + 1 for b.
-1
Let g be (6/9)/((-156)/27 + 6). Solve -m + 16 = 5*p, -g*m + m = 3*p - 4 for p.
4
Let c = 613 - 613. Solve 0 = -y - g - 3*g + 2, c = -5*y - g - 9 for y.
-2
Suppose -k - 148 + 163 = 0. Suppose -51 = -12*w - k. Let y(m) = -3*m - 2. Let j be y(-6). Solve 6 = 3*a + 5*b - 13, 2*b - j = w*a for a.
-2
Let k(q) = q**3 - 6*q**2 + 8*q - 8. Let v be k(5). Let r = 11 - v. Let s(y) = -y**2 + 4*y. Let p be s(r). Solve -3*l = 4*j - 8, -3*j - l = -p*l - 11 for j.
5
Suppose -63 = 19*u + 51. Let t be -2*-3*(-1)/u. Let d(r) = r**2 - 2. Let h be d(3). Solve -h*s - 3 = -2*s + 2*b, -4*b + t = 3*s for s.
-1
Let z(d) = -5*d**2 + 8*d - 1. Let m be z(4). Let j = -47 - m. Solve 3*q - 4*k + 8*k + 23 = 0, j*q + 7 = -k for q.
-1
Let a be ((-8)/22)/2 + 90/11. Let y(x) = -x**2 + 12*x - 32. Let b be y(a). Solve 0 = -2*f + 3*f + q, b = 5*f - 5*q + 20 for f.
-2
Suppose 5*h - 3*h = 6. Let m be h/(-24) - (-27)/24. Solve -2*d + 17 = -3*x + m, -3*d + 2*x + 14 = 0 for d.
2
Suppose 0 = 6*d - 8*d + 36. Suppose 2 + d = 5*l. Solve 5*n + 0*n = m - 18, -l*m = -5*n - 12 for n.
-4
Suppose 23*o + 6*o - 145 = 0. Solve o*d = -4*b - 4 + 1, 4*d - 2 = -b for d.
1
Let v = -10 - -12. Let y be v - (3 + -3 + 0). Let l(w) = w**3 + w + 2. Let q be l(0). Solve -q*r + 4 = 3*d, r + 0*r = d + y for r.
2
Let n(v) = -v + 5. Let u be n(-1). Let s be ((-2)/20*u)/(2/(-10)). Solve -4*f + 2 = -s*r - 24, 4*r = 3*f - 23 for f.
5
Let b be 3*(8/3)/2. Let l = 59 - 56. Suppose -4*k + 2*v + 2*v + 24 = 0, 0 = 2*k - 5*v - 24. Solve -l*g + k*z - b*z = -9, -2*z = 6 for g.
5
Let j = 171 + -169. Solve 2 = -3*n + 4*p, 5*n - j - 10 = -p for n.
2
Let q(c) = -13*c**2 + 170*c - 11. Let l be q(13). Solve -l*t = t - 4*r + 24, -3*t + r = 15 for t.
-4
Let d(q) = -q**3 + 10*q**2 - 16*q + 5. Suppose -9*u = -13*u + 32. Let y be d(u). Solve 3*f = -3*r - 30, -2*f - 4*r = -5*f + y for f.
-5
Let i(h) = -4*h**2 - 2*h + 2. Let u be i(2). Let r = -150 - -137. Let p = r - u. Solve -c - 5 = -p*a, -c - 3 = -3*a + 4*c for a.
1
Let w be 98/(-42)*27/(-21). Solve 4*b + w = -q, -25 = 3*b - 5*q + 6 for b.
-2
Suppose -4*p - 2*p + 12 = 0. Suppose 7*q + 24 = 4*h + p*q, 0 = -3*h - q + 37. Solve 2*g - 2*s = -h + 1, 4*g = -2*s + 4 for g.
-1
Let q(k) = k - 3. Let a be q(7). Let v be ((-9)/12)/((-1)/a). Suppose 0 = -4*r - r - 2*i + 60, -12 = -r - v*i. Solve 2*w + r = -4*g, 3*w + 2*g = w - 6 for w.
0
Let i be 62/4 - (-7 + 0)/14. Suppose -2*y - 16 = -4*q, 3*y - i = 8*q - 10*q. Solve 5*j = 4*r - q + 31, 2*j - 2*r = 12 for j.
2
Let r = -1 - -1. Let b(l) = -14*l**2 + 3*l**2 + 14*l**2 + 2*l + 3. Let f be b(0). Solve -4*x = -f*z, z = -r*z for x.
0
Let p = 7 - 5. Suppose 2*x - 27 = -9. Solve -3*i + 5*q - x + 4 = 0, i = -p*q - 9 for i.
-5
Let f(m) = m**2 + 17*m + 74. Let r be f(-9). Solve 0 = 4*t + 3*b + 7, 9 = -3*t - r*b - b for t.
2
Let j = 1 - -11. Let n = 181 + -179. Solve 3*p + 2*m = -j, -3*m = p - n*p + 7 for p.
-2
Let d(t) = -t - 10. Let h be d(-16). Suppose 0 = -3*i - 3*m + h + 6, 14 = 2*i + 4*m. Solve 3*c - 3*n = -c - 6, -3*c - i = -4*n for c.
-3
Let l be ((-4)/(-5))/(-1 - 28/(-20)). Solve -4 = 4*f + 3*u + l, 4*f - 5*u + 22 = 0 for f.
-3
Let f(a) = -a + 1. Let n be f(-4). Let l(q) = q**2 - 6*q - 12. Let i be l(9). Suppose i = 4*v - v. Solve -h + 18 = 5*y, -n*y = -3*y + v*h + 2 for y.
4
Let w be 6*(8/3 + -2). Let a(r) = -r**2 + 8*r - 4. Let d be a(w). Solve -4*t - 4*c = -8*t - d, 4*t + c + 7 = 0 for t.
-2
Let k be (-11 + (-324)/(-24))*2. Solve -23 = -3*x - k*y, 4*x + 5*y - 20 = 4 for x.
1
Suppose 27*d - 4*u = 23*d, -8 = -3*d + u. Solve j - o = 7, 4*j + 3 = -d*o - 9 for j.
2
Let q(o) = o**3 - 2*o**2 + o. Let t be q(2). Let n be t + 9*1/3. Solve n*z - 16 = -3*w - 46, -z + 17 = -4*w for w.
-5
Suppose 12 = -7*c + 9*c - 4*i, 6 = c - 3*i. Solve -2*f + c = -3*y - f, -5*y + 5*f - 20 = 0 for y.
-1
Let g = 6 - 10. Let m be (4 + 