k = -3*p for p.
0
Suppose t + 3 = 13. Let s = 15 - t. Suppose 0 = -2*q + s*a + 20, -2 - 10 = -5*q + 3*a. Solve 0*n + 5 = 2*b - 3*n, q = 4*b - n - 15 for b.
4
Let s(j) = j**3 - 8*j**2 + 2*j + 11. Let a be s(7). Let k = a - -34. Let i be 10/(3/(3/2)). Solve -i*v = 3*m - k, -2*v - 5*m = 3*v - 10 for v.
2
Let f = 78 - 137. Let z = f + 61. Solve 3*k - 26 = -0*k + 5*j, z*j = -2*k - 4 for k.
2
Let k be -2 - 12/(-9)*3. Solve k*w - l - 22 = 3*l, -3*w - 3*l + 6 = 0 for w.
5
Suppose -5*w = 5*g + 21 - 66, -5*g = 3*w - 43. Solve -h + 2*h - 5*p = g, 0 = 3*h - 5*p - 4 for h.
-2
Let q(c) = 3*c + 35. Let z(v) = -3*v**2 + 11*v - 17. Let l be z(3). Let u be q(l). Solve -o = 5*p + 7 - 2, -2 = u*p - 4*o for p.
-1
Suppose 0*y = 2*y - 3*g - 10, -4*y + 20 = 2*g. Let b be (136/(-51))/(2/(-3)). Solve -2*r - b = 0, -5*r + 2*r = o + y for o.
1
Let c(d) = -83*d + 7. Let v be c(0). Solve 5 = -5*q + 5*j, v = -2*q - 4*j + 7*j for q.
4
Let f be (-15 - (-3 + -4)) + 13. Solve 3*q - c - 2 = f, -4*c - 16 = 0 for q.
1
Let q be (-13)/(3 - (-4)/(-1)). Suppose 0 = -3*o + 4*o + k - 8, -q = -5*o + 4*k. Suppose o*i - 6*i = 0. Solve -4*u = -2*h - 12, -2*u + 6 + i = h for u.
3
Let g = -16 - -17. Suppose 2*h - 3*o - 9 = 0, -3*o - g = -h + 8. Suppose -a - 2*b = -10, -a - b - 8 = -5*b. Solve 3*t - x - 1 - 5 = h, -5*t + a*x + 3 = 0 for t.
3
Suppose 0 = 4*u - 2*a - 18, -3*u + 2*a = -0*a - 11. Let p be u/((-7)/15)*2/(-6). Suppose 0 = -3*b - 0*b + 27. Solve 0 = 3*x - b, -p*h + 2*h = -4*x + 3 for h.
3
Suppose 4 = -4*t - 0. Let f(l) = -13*l**3 + l**2 + 2*l + 2. Let y be f(t). Solve 2*a + 3*u = -y, -u + 5*u + 8 = 0 for a.
-4
Suppose -7*l + 10*l = 42. Suppose c = -4, -l = y - 2*y + 2*c. Solve 2*p = y*p - 20, 3*w - 8 = -p for w.
1
Let s(j) = -46*j - 36. Let u be s(-1). Solve 0*z + 5*h - 13 = -z, 5*h = u for z.
3
Let r(l) = l**3 - l**2 + l - 3. Let p = 19 + -17. Let b be r(p). Solve 2*s - 6*s + 2 = w, -b*w + 2*s = -6 for w.
2
Let r be (-4)/6 - 47/(-3). Let v be (-3 - -2*2)*r. Suppose 3*w = -2*w + v. Solve 4 = 4*u, 2*c + w*u - 5 = 6*u for c.
4
Let p(f) = 3*f**2 - 9*f + 4. Let r be p(3). Solve 2*l = -r*d, -d = -6*d + 2*l for d.
0
Let o = 14 + -9. Let v(u) = -2*u**2 + 1. Let s be v(-1). Let q be (-13)/(-65)*(16 + s). Solve -c - 27 = -o*w + c, 4*c - 11 = -q*w for w.
5
Suppose 1 = b - 2*h - 1, 4*h + 4 = b. Suppose b = 3*u - 20 + 5. Solve -4*k + 10 = -u*i, -5*k = -4*k + 4*i - 13 for k.
5
Suppose 52*n = 43*n + 9. Solve -n = -u, 0 = 4*r - 3*u + 1 + 6 for r.
-1
Let f = 1169 - 1164. Solve 0*n + f*n + q + 3 = 0, n + q + 3 = 0 for n.
0
Suppose 5*k = 5*u + 1 + 4, -5*u - 2*k + 2 = 0. Let l = u + -4. Let m be 42/l*16/(-24). Solve 0 = -4*g + 3*t + 1, 2*g + m = 5*g + 4*t for g.
1
Suppose 4*q + 24 = 4*x - 4, 0 = -5*x - 2*q + 14. Let g(b) = 2*b**2 + b + 2*b**2 - 1 - 2*b**3 + b**3. Let l be g(x). Solve a + 0*j = 3*j - l, j = 2 for a.
3
Let b = 1288 - 1285. Let i(c) = -3 - c + 0*c + 0. Let r be i(-7). Solve -15 = -b*o, 5*k - r = 4*o + 1 for k.
5
Suppose 12 = -3*w, 3*w - 6*w = -5*x - 533. Let v = 112 + x. Solve 0 = 4*c - t + 12, -4*c - 17 = -v*t + 3 for c.
-2
Suppose -j - 12 = -2*a + 3*j, 5*a = 5*j + 15. Suppose a = -p + 2 + 2. Suppose 0 = -f - f + p. Solve 4*t + 0 + f = -k, -5*k + 5 = 5*t for k.
2
Suppose 92 = 4*o - r - 3*r, -2 = -r. Let t = o + -6. Solve -4*s - 5*a + t = 0, -9 = -3*a - 0 for s.
1
Let m = 10 - 7. Let u = 3 + 0. Suppose -8*o + 35 = -u*o. Solve -3 = -3*j + m*l, -o = -j + 4*j - l for j.
-4
Let k be -4 - (-3 + (2 - 9)). Solve k = -4*z + c - 3, -z - 3*c + 1 = 0 for z.
-2
Suppose 5*j = -0*j + 2*f + 38, 5*f - 5 = 0. Let q = j - 5. Suppose -r - r = 3*m, q*m = -4*r. Solve m = -2*v - 3*s - 11, 24 = 2*v - 0*v - 4*s for v.
2
Let y be 0 + ((-6)/27 - (-43)/(-9)). Let s be 6/(-15) - 12/y - -1. Let c be -1 + (0 - (1 - 3)). Solve -4*z = s*x - 13, -c = z + 5*x - 0*x for z.
4
Suppose 7*g = 2*g + n + 292, -g = n - 56. Let u = g - 30. Suppose -5*r + u = 3. Solve 0*x - r*x - 5*l = -30, -8 = -2*l for x.
2
Suppose -5*h - 7 = -32. Suppose 0*p - h*p = -120. Let a = -13 + p. Solve -5*j - l = a, -4*j - 4*l = -8 + 4 for j.
-3
Let t = -23 + 35. Let q be 2/10 + t/15. Suppose 4*l = 2*k + 16, 2*k + 4*l = -9 + 33. Solve w + q = k*c - 0*w, -4*w - 4 = -3*c for c.
0
Let k be (-3)/(30/4)*-5. Suppose 5*l - 132 = 3*c, l - k*c = -c + 28. Let g be l/15 + (-3)/5. Solve -x = x + 10, -g = -4*f + x for f.
-1
Let m be 10*3/6*82/205. Solve -3*d = i + d + 8, 5*d + 23 = m*i for i.
4
Let o = -10 + 12. Let i = 0 - 0. Let z = i - -2. Solve 16 = -z*f - o*f - 2*k, 31 = -5*f + 3*k for f.
-5
Suppose 2 = n - 9. Suppose 6*m - n = 13. Solve 3*a = m*h + 8, -4*a = 3*h - 31 + 12 for a.
4
Suppose 5*b + 3*h + 15 = -0*h, 3*b + 4*h + 20 = 0. Suppose b = -0*y - y + 4. Suppose 3*q - 15 = -0*q. Solve 0 = y*f - 8, q*r + 3*f - 8 = -f for r.
0
Suppose 4*t - 104 = -16. Solve 3*o = -5*i - 40, -5*o + t = 5*i + 72 for o.
-5
Suppose -321*u + 10 = -316*u. Solve -3*x + u*c + 3*c = -22, -5*c - 28 = 3*x for x.
-1
Suppose 0*c + 40 = 4*c. Suppose -3*m - 3*m = -6. Let x be 276/60 - ((-6)/15)/m. Solve -6*y = x*o - y + c, -4 = -2*y for o.
-4
Let n(a) = -a**3 - 5*a**2 + a + 6. Let b be n(-5). Let m = 1668 + -1651. Solve 4*u = -2*j + 24, u + m - b = 5*j for j.
4
Let q(f) = f**3 - f. Let v(r) = 7*r**3 + 6*r**2 - 6*r. Let c(h) = 6*q(h) - v(h). Let x be c(-6). Solve -8*k - 16 = -4*k, m - 3*k - 15 = x for m.
3
Let p be (-1 - -3)/((-1)/(-2)). Suppose 2*m - 2 = p. Suppose v - 8 = -m*v. Solve -5*b - 3*z - 5 = 0, v*b - 2*z = -6*z - 16 for b.
2
Let m be (4 - 8)*(-42)/(-8). Let c = -6 + m. Let r be 1/2 - c/18. Solve -2*p + 3*q = -4*p - 11, r*q + 4 = -3*p for p.
2
Let z(u) = 3*u - 5. Let k be z(6). Suppose 0 = 3*m - k - 17. Solve -5*r - m = 0, -r - 2 = 4*y + y for y.
0
Let b be (-14)/(-3)*54/36. Suppose -c = t - 7, -5*t + 3*c - b*c + 31 = 0. Solve -l - 6*z = -z + 6, 0 = 2*l - 5*z - t for l.
-1
Suppose -5*l = -5, -5*v - 2*l = -v - 58. Suppose d + v = 17. Solve -b + d*b = -4*o + 20, -4*b = -5*o + 25 for b.
0
Let q(v) = 2*v**2 + 29*v + 18. Let d(a) = 3*a + 22. Let h be d(-12). Let c be q(h). Solve -3*m + 12 = 0, -3*m + m - c = 3*l for l.
-4
Suppose 3*w + 12 = 3*j, 38 - 46 = w - 2*j. Solve 0 = z + 5*r - 6, -4*z - 5*r = -w + 6 for z.
-4
Suppose -g + 154 = g. Let h be (-1)/(-4) + g/28. Solve 4*p = b - 21, h*b - p - 12 - 7 = 0 for b.
5
Suppose -t + 12 = 3*t. Let r = 17 - 10. Let d = r - t. Solve -d*k - 5*m = 19, 3*m = -k - 9 - 1 for k.
-1
Let t(i) = -19*i**3 + 3*i**2 + i - 1. Let d be t(-1). Solve -d = 4*g + 2*n, -n = -g - 4 - 1 for g.
-5
Let m(u) = u**3 - u**2 - 1. Let g be (-219)/(-7) - 4/14. Let z = g + -29. Let j be m(z). Solve 5*y + 0 = a + 23, 0 = j*y - 12 for a.
-3
Suppose -3*g + 7 = 1, 5*g - 37 = -o. Let t = -5 + o. Suppose -4*h - 6 = -t. Solve 4*r + q - 3*q = 6, h*r + q = 15 for r.
3
Suppose 4 - 11 = -a. Suppose -a*c = -8*c. Solve c = -u - u - 4*d + 6, 0 = -3*d for u.
3
Let m be 6/(-21) + 296/56. Solve -p - m*o = 3, p - 2*o - 4 = -0*p for p.
2
Let q(v) = 3*v + 29. Let h be q(-9). Solve 4*n - n - 3 = -o, h*o = n + 6 for o.
3
Suppose 0 = -5*p - 0*p. Let z be 6/(-21) - 2/(-7). Let q = 22488 - 22482. Solve 5*v - 2*g - 5 - q = z, -2*v - 2*g + 10 = p for v.
3
Let w(d) = d**2 + 5*d - 1. Let k be w(-6). Suppose -k*t = -3*s - 60, 4*t + s - 41 = 2*s. Solve 5*z - 4 = u + t, -2*u = -z + 8 for u.
-3
Suppose 20*p - 25 = -5*v + 19*p, v - 5 = p. Solve -12 = -3*d, -k + 4*d - v*d = 0 for k.
-4
Suppose 0 = -4*x - 5*u + 8, -5*x + 20 = -u + 10. Solve -2*i = -4*y + 12, -5*i + 13 = -y - x for y.
5
Suppose 9*p - 12 = 3*p. Suppose 4*k + 7*b - p*b - 33 = 0, 3*k = 4*b - 14. Solve -2*t - 6 = 2*a, -2*a - k = 6 for t.
1
Suppose 4*g + 2*v - 8 = 6, 5*g = 5*v + 10. Solve -3*l = -3*j - j - 16, -3*j = g*l - 9 for j.
-1
Let m = -46 + 46. Suppose m = -3*s - 12, 6*s = 3*r + 3*s - 42. Solve 0 = -4*o - 20, -5*y - o = -0*y + r for y.
-1
Let r = 836 + -834. Solve -u = 3*g - 12, 8 = -r*u + u + g for u.
-3
Suppose -k + i = 5*i + 9, 2*i + 15 = 3*k. Suppose 0 = 4*g - 2*m - 30, 0 = -2*g + 7*m - k*m + 30. Solve g*q = -0*q + 4*r, r = -q for q.
0
Let f be (-38)/(-6) + (-3)/((-36)/(-16)). Solve -f*h + 1 = -2*a + 25, -2*h - 10 = -a for a.
2
Suppose 0 = g + 1 - 2. Let l be ((-24)/4 - -3)*(0 + -6). Suppose 2*q = 4*q - p + 3, 3*q + 3*p - l = 0. Solve 3*o = -4*u + q + g, 5*o = 4*u - 18 for u.
2
Suppose 0 = 113*d - 106*d. Solve d = 4*k - 12, -2*k = -3*