= s + 9, -4*r = -d*s - 15 for r.
0
Let c = 28 - 13. Let k = c - 34. Let i be k/(-6) - 6/36. Solve p + 4*y = 18, i*p + p + 5*y = 17 for p.
-2
Let k = -208 + 208. Solve -5*l - 5*s = k, 4*s - s = 0 for l.
0
Suppose 73 - 328 = -5*x. Suppose 3*l - 5*j - x = 0, l + 3*j - 3 = -0*j. Let a = 22 - l. Solve -5*z + 5*h = -a, z + 4 = -3*z + h for z.
-2
Let v = 796 - 763. Solve -5*o = 2*a + 2*a + v, 0 = -o + 3*a + 1 for o.
-5
Suppose -44*c = -19*c - 200. Solve 0 + 3 = v, 2*s - c = -4*v for s.
-2
Let x(w) = -w**3 - 7*w**2 + 21*w + 29. Let g be x(-9). Solve -2*i + 3*i + g = -3*c, 3*i + 10 = -5*c for c.
1
Suppose 3*n + 4 = 13. Suppose -j + 11 = -n*l, -9 - 4 = -5*j + l. Solve -j*p - 37 = -4*q - 11, 5*q - 4*p = 37 for q.
5
Let q(l) = 117*l + 824. Let z be q(-7). Solve -7*r = -6*r + z, -4*r = 5*f + 10 for f.
2
Let w(i) = 12*i - 475. Let p be w(40). Solve 5*k - 4*b = 21, -16*b = p*k - 14*b + 3 for k.
1
Let l(y) = 6*y + 7. Suppose 0 = j + 3*d + d + 5, -3*j - 15 = 4*d. Let w be l(j). Let o = w - -26. Solve 2*a - g - o = 0, 18 = 2*a - 0*a + 2*g for a.
4
Let t be -2 + (5 + -2)*2. Let d be (-6)/(-2*t/(-4)). Let f be (1 - (-9)/d) + 7. Solve 4*l + 0*s - 4 = -2*s, -s - 1 = f*l for l.
-1
Suppose 7*o = -11 - 31. Let f(i) = -3*i - 18. Let v be f(o). Solve 5*y + 5*p = -5, 0*p - p - 5 = v for y.
4
Let s be 1/(-2)*(12 + -12). Suppose p - 3*q = 20, 2*p + 3*p + 3*q - 10 = s. Solve 11 = 4*l - 3*w, p*l - 3*w - 14 = 4*l for l.
-1
Let b = 135 + -190. Let a = b - -61. Let n(t) = 2*t. Let v be n(1). Solve -v*k - a = -2*x, 0 = 2*k + 2 + 2 for x.
1
Let x(p) = 3*p**2 - 3*p - 1. Let u be x(2). Let g be (u + -4)/((-3)/(-15)). Solve 17 = 3*r + 3*j + g, 2*j - 2 = 0 for r.
3
Suppose 0 = 2*z - 16*z + 70. Solve 3*x - 8 = 2*o - x, -4*x + 8 = z*o for o.
0
Suppose 6*m - 75 = -19*m. Solve 9 + 0 = -3*h, m = x - 2*h for x.
-3
Let t(l) = -5*l**2 - 3*l - 9. Let w(x) = 6*x**2 + 4*x + 8. Let i(d) = -7*t(d) - 6*w(d). Let v be i(-5). Solve v*m - 5 = 5*s, 4*m + 13 = -m - 4*s for m.
-1
Suppose -n = -1, -4*l + 16 = -l + n. Solve 0 = -l*s + 2*t - 25, -3*s - t = t + 15 for s.
-5
Let r be (4/(-5))/((-16)/360). Let n be (-6)/r + (-86)/(-6). Solve i = -3*w + n, -2*w = -0*w - 10 for i.
-1
Let n = 684 + -680. Solve 2*u = -4*y + 2, 4*u + 4*y + n = -0*u for u.
-3
Let b(d) = d**2 + 16*d + 72. Let j be b(-7). Solve 4*c - 5*r + 30 = 0, -r = -c + r - j for c.
-5
Suppose 0 = v + l - 52, 7*l - 3*l + 27 = v. Let u = -23 + v. Let r = -18299 - -18299. Solve 5*i + r - 18 = q, 0 = -5*i + 3*q + u for i.
3
Suppose 4*n - 4*l - 24 = 0, -12*l + 16 = -8*l. Solve 4*q - n*x = -5*x - 20, 0 = -3*x for q.
-5
Let s = -36 + 15. Let y = -38 - -68. Let o = s + y. Solve -q - 3*f = o, f + 14 = 3*q - 7*q for q.
-3
Suppose 37 = 2*t + u - 0*u, -7 = -2*t + 5*u. Suppose -5*h - t = -41. Let v be (38/(-6))/(2/(-6)). Solve h*w + 22 = 4*s + 3*w, 2*s + 5*w + v = 0 for s.
3
Suppose 0 = 2*m + 14*o - 9*o - 22, 4*o = -5*m + 55. Solve -5*l = -3*i + 40, -m*i + 8*i - 10 = 5*l for i.
5
Let t be 5/(-5)*1*13/(-1). Let c(x) = x**2 + 8*x - 3. Let z be c(-7). Let l = z + t. Solve -2*a + 6 = l*v - 7, 0 = -5*a + 5*v - 30 for a.
-1
Suppose -w = -5*p + 15, 2*w = -3*w - 25. Solve -4*o - p*n = 2, n + 18 = 4*o - n for o.
2
Let b(o) = 9*o**2 + 2*o + 1. Let a be b(-1). Let f = a - 5. Let g = -223 + 226. Solve 5*z = -f*u + 6, 3*z = -u + z + g for u.
-3
Let t be 0 + 4 - (-13 - -12). Let y(a) = 2*a**2 - 8*a - 7. Let q be y(t). Let b be 1/q*(-9 - -9). Solve 4*p - p + 12 = 3*l, b = -l + 4*p + 4 for l.
4
Let r be (-6)/21 - 3/((-84)/344). Let m(t) = t**2 + 6. Let n be m(-3). Solve -4*x = 5*g + r, 2*g - n = 4*x - 3 for g.
0
Let f(k) = -k**2 + 16*k - 8. Let z be f(11). Let p = 52 - z. Solve 0 = -p*u + 4*y + 27, -2*u + 5*y + 10 = -11 for u.
3
Let x be ((-15)/(-10))/((-3)/(-4)). Let p be (x + 1)*(-4)/(-3). Suppose 2*a - a = -4*q + 18, -q - 5*a + 14 = 0. Solve -q*y - 16 = -p*l, -y - 2*l + 12 = 1 for y.
1
Let m be (57/(-38))/(4/((-16)/3)). Solve -m*p = -2*f - 14, -f - 4*p - 4 = -12 for f.
-4
Suppose 72 = -b + 6*b - c, 4*c - 20 = -2*b. Let p(f) = -f + 12. Let t be p(10). Suppose t - 14 = -3*r. Solve -r*o + 4 = 2*s, 3*o + b = 2*s + 3 for s.
4
Suppose -3*z - 6 = -6*z. Solve 5*j - 5*q = 45, 2*j - 7*q - 30 = -z*q for j.
5
Let f(a) = -3*a + 13. Let q be f(1). Solve -3*h = 15, -4*s - h - q = -3*h for s.
-5
Let y(n) = n**3 + 10*n**2 + 6*n - 27. Suppose -k = -5*o - 5*k - 65, -4*k - 20 = 0. Let m be y(o). Solve m*u - 2*u = -2*x + 2, 2 = x for u.
1
Suppose 3*w = -l - 11, -45*w + 13 = 2*l - 46*w. Solve -5*c - 3*i = -0*c - 21, 5*i = 2*c + l for c.
3
Let q = 135 - 132. Solve -v = 3*h - 4*h + 1, -q*v = h + 3 for v.
-1
Let l(j) = -j**3 + j**2 + 30*j. Let o be l(6). Solve -5*y = 10, o*y = 4*b + y - 2 for b.
1
Let c be (-30)/(-55) - (-738)/99. Solve -2*o - s + 1 = 0, 5*o + 25 = 11*s - c*s for o.
-2
Suppose 107*i + 60 = 122*i. Solve 2*o = -0*g - 2*g, -4 = -i*g for o.
-1
Let t = 22 - 32. Let g = t + 11. Let v be 16/8*g/1. Solve -7 = 4*s + 5*c - 0, -5 = s - v*c for s.
-3
Suppose 2*a + 27 = 5*a. Suppose -15 = -6*o + 3*o + s, -2*o + s + 11 = 0. Suppose -2*k = -3*f + o, 4*f - 3 - 4 = k. Solve h - 4*h = -n + a, 5*h - f = -4*n for h.
-2
Let t(k) = -2*k - 7. Let h = 26 + -32. Let g be t(h). Suppose -g*f = 4*o - 2, -4*f = -2*f + 2*o. Solve -10 + 2 = -f*n, n = 3*j + 19 for j.
-5
Suppose 12*j + 42 = 90. Solve -n + 4 = -j*s, n = 3*s - s + 2 for s.
-1
Let a be 0*(-4)/32*-4. Suppose x - 5*x + 4*g - 12 = a, -3*g + 13 = -5*x. Let r be x/3 + (-8)/(-12). Solve 3*f = -2*s + 11 - 1, 2*s - 3*f + 2 = r for s.
2
Suppose 4*g - 151 = 121. Let m = g + -52. Solve q - 1 + m = 3*d, -7 = 2*d + 5*q for d.
4
Let o = 757 - 747. Solve -4*n - 8 = -2*v, -4*n - o = 3*v + n for v.
0
Let n(u) = -100*u - 496. Let h be n(-5). Solve -h*k = -5*l - 4, 4*k - 5*l = -l for k.
-4
Let b(q) = -2*q + 16. Let p be b(7). Solve 16 = -4*r, r = -m + p*m + 1 for m.
-5
Suppose i = 2*b - 39, 93*b = 95*b + 2*i - 42. Solve -b = -4*c - 4*a, 6*a - 6 = -2*c + 8*a for c.
4
Let h be (1 + 17)*(-21)/(-42). Solve q - h = -4*i, -2*i + 4*q + 18 = -0*q for i.
3
Let i(h) = 5*h - 1. Let c be i(1). Let d = -4 - -9. Let o = -61 - -69. Solve -c*r = r - 3*l + o, 2*l = d*r + 12 for r.
-4
Suppose 8 = 5*o + 3. Let n(a) = -a + 3. Let d be n(o). Solve 0 = -d*h - 2*v - 6, 5*v = -h - 6 - 13 for h.
1
Suppose -3*z = 5*g + 350, 3*g - z + 297 = -g. Let m be (-3 - 0)/3 - g. Let v be m/28 + 6/14. Solve -3*i + 25 = 5*y, -i = -v*i for y.
5
Suppose -18*o - 3 = -15*o. Let k be -6*(o - 3/(-6)). Solve 4*u - f + 6 - 18 = 0, -4*u - k*f = 4 for u.
2
Let x = -15 + 14. Let n be (105/(-45))/(x/3). Let g(d) = d - 4. Let l be g(n). Solve l*m = -u - 7, -24 = 2*u + 3*u + 4*m for u.
-4
Suppose -6*m - 92 + 104 = 0. Solve -5*k - 5*g + 20 = 0, m*k - 3 = 2*g + 5 for k.
4
Let h(j) = -2*j - 10. Let f be h(-6). Suppose -b + f*b = 2. Let k be 4 + 0 - b/1. Solve -3*r - r = 5*o - 45, 3*o = -k*r + 25 for o.
5
Suppose -11*x + 5*x + 234 = 0. Let c = x + -31. Solve 5*p - c = -b, 3*b + 7 = p - 1 for b.
-2
Let v = -36 + 40. Suppose y - v*h - 56 = -y, 2*h + 112 = 4*y. Let u = y + -24. Solve -u*o = 5*z - 15, o + 0*o = -5*z for o.
5
Let t be 30/12*(1 - 11). Let o = t + 27. Solve 0 = o*s - s + 2, s - 10 = 4*p for p.
-3
Suppose -14 = -q - q. Let k(s) = -5*s - 30. Let o be k(-7). Suppose -3*i - 3*v - 1 = -8*v, i - 4*v + o = 0. Solve y = -2*c - 8, 5*y + i = -4*c - q for y.
2
Suppose -101 - 75 = -11*v. Suppose v - 22 = -2*s. Solve 0 = 3*a + c + 1, -5*a = -0*a + s*c + 7 for a.
1
Let m(c) = 5*c - 4. Let f be m(1). Let j(n) = n**2 + 1. Let x be j(f). Solve 5*s - 5*h = 0, -2 = 3*s - x*h - 3*h for s.
1
Let v(s) = -3*s**3 - s**2 - 5. Let d be v(-3). Let o = d + -64. Solve -3*k = -o*q - 12, 3 + 10 = -4*q + k for q.
-3
Suppose 7 = -3*m + 16. Let p be m/3*(3 - 3). Suppose 2*d - 5*f = -4*f + 5, -f = -5. Solve 14 = -2*a + h, -a - d*h + 15 = -p*a for a.
-5
Let l be 4/2 + -3 + 14 + -10. Solve -2*m + 5*x - 12 = 0, l*m - 27 - 1 = -4*x for m.
4
Let n = -17 - -21. Suppose -12*y = -13*y - 15*y. Let k(h) = -h**3 + 6*h**2 + h + 6. Let o be k(6). Solve o = a - 3*i - n, y = 5*a - 4*i - 25 for a.
1
Let g be 60*((-8)/(-15) + 8/(-40)). Solve 2*v - g = 4*q, 18 = v + 2*v - 3*q for v.
2
Let h(f) = -73*f + 314. Let j be h(4). Solve 0 = 2*y + 4*m, -4*y + j = -0*m - 3*m for y.
4
Suppose -42 = -4*b + 5*r - 7, 0 = 4*b + 3*r - 11. Suppose -2*o + b*m = 12, -3 - 5 = 2*