
1
Suppose -3*f = 4*b + f + 8, 4*f + 20 = 2*b. Let y be -867*((-80)/15 + 5). Let g = 294 - y. Solve 3*l - b*l = 5*x - 10, -g*l - 28 = -3*x for l.
-5
Let p(t) = -t**2 - 14*t - 18. Let b be (-1 - -1)/((-5)/(-15)*-3). Suppose d + 77 - 65 = b. Let x be p(d). Solve 3*c = 3*q + x, -2*c = q - 2 - 8 for q.
2
Suppose -284*j + u + 57 = -281*j, -5*u = 3*j - 75. Solve -2*f + 3*g = 8, 61*f - g + j = 56*f for f.
-4
Suppose -100*y = -48*y - 216 + 60. Solve 2*u = 3*u, -y*u + 6 = 2*s for s.
3
Suppose -3*u - 10 = -5*s + 49, 4*s - 60 = -4*u. Let x be 1 + (-1 - 0) + 0. Suppose x*c - 2*c = 0. Solve 5*d + c*d - 2*k = -s, 3*d - 5*k = -23 for d.
-1
Suppose -2*j + 6*j = y - 6, -7 = -3*y + j. Solve 6 = -2*t - 4*a, -a = -y*t - 3 - 3 for t.
-3
Suppose 171*y - 151 = 58*y + 188. Solve -y*u + m - 14 = 0, 307*m - 304*m = u + 18 for u.
-3
Let b be 4/(-46) + 58/667. Solve -2*z - 5*a + 4 = -0*z, b = 4*z + 4*a - 8 for z.
2
Suppose 0 = 5*d - 2*p - 18, 0 = -4*d - 3*p + 4*p + 15. Suppose -4*t - 10*a - 4 = -6*a, -5*t - 2 = d*a. Solve -3*q = -2*h + 16, -2*q + 0*q - 4 = t*h for q.
-4
Let u(c) = 7*c**2 + 296*c - 848. Let n be u(-45). Solve 3*t + 2 = -s + n*t, -2*s - 4*t + 8 = 0 for s.
2
Let k(f) = -f**2 + 4*f - 1. Let w be (-14)/(-18) + (-4)/(-18). Let p be k(w). Suppose 28 = -0*c + p*c. Solve -11 - 3 = -x + 3*v, 0 = -5*x + v + c for x.
2
Let g(n) = -n**3 + 6*n**2 + 6*n - 13. Let s be g(6). Let t = s + -20. Let o = 2727 + -2726. Solve -3*h - 5 = y, t*y + o = 4*y + h for y.
4
Let g = -2788 - -2793. Solve -5*w + 10 = -u, -45*w + g*u + 23 = -47*w for w.
1
Let c be (1 - 20)*(-65)/13. Let m = c - 91. Solve 4*q = -d - 0*d + 25, 0 = 4*q - m*d for q.
5
Let g(a) = 5*a + 12. Let x be g(-5). Let v = x - -16. Suppose v*h - 24 = -h. Solve 2*p + 5*f = -p - 26, -5*p = -4*f - h for p.
-2
Suppose -4*j + 49 - 13 = 0. Solve 4*u - j*u = k - 11, -2*u - 2 = 2*k for k.
-4
Suppose 145*o - 634 = 671. Solve 8*j = 5*j + 4*k, o = -3*k for j.
-4
Let w(f) = -2*f - 3. Let k be w(-4). Suppose 76*i = 73*i + 12. Let u(s) = s**2 + 15*s - 74. Let m be u(i). Solve z + m*v = 3, 9 = -2*v + k*v for z.
-3
Suppose 5*o = 5*n + 25, -3*o = 237*n - 232*n - 7. Solve 0 = 4*d + 2*k + o, 9*k = 3*d + 4*k + 3 for d.
-1
Let x(a) = -403*a**2 + 1 + 17*a + 401*a**2 - a**3 + 9. Let g be x(-5). Solve -5*f = -g*f + 3*v - 22, -2*f - 5*v + 24 = 0 for f.
2
Let l(j) = -1 - 7 - j + 15. Let o be l(2). Solve 4*i - o*f = -12, f - 3 = -0*i + i for i.
-3
Let a be 0/(5*(-2)/(-5)). Let l be 15/5 - (a + 6/3). Suppose -l = -2*z + 5. Solve -3*i + 4*i = k - 6, 2 = 5*i + z*k for i.
-2
Suppose -5*x - 20 = -5*a, 2*a - 5*a = -4*x - 12. Solve 4*n = a*g - 20, 0 = -g - 0*g - n + 1 for g.
3
Let i = 29 + -34. Let k be (-2 - 2)/2 - i. Let y = 2221 - 2219. Solve y*h = -2*g + 6, -5*h - 7*g = -k*g - 13 for h.
1
Let q = 159 - 162. Let x be q/(-12)*-2*-2*4. Solve -x = -3*v - 4*n, 4*v - 4 + 0 = -4*n for v.
0
Let c = -3962 - -3963. Let n(i) = -i**3 - 5*i**2 + 8*i + 2. Let l be n(-6). Let h = l - -14. Solve -3*d = 5*k + c + 4, 4 = -h*k for d.
0
Suppose 10*t = -772 - 558. Let p = t + 135. Solve 15 = -2*h - o - p*o, -3*o - 15 = -h for h.
0
Suppose 4 - 5 = -o. Suppose -3*x = -5*r + 158, 6*r - 5*x - 160 = r. Suppose 14 + r = 4*z - 3*f, 5*z - 42 = -f. Solve -4*c + 8 = -4*h, 5*h + 4*c = -z - o for h.
-2
Let r(k) = 88*k + 1237. Let b be r(-14). Solve 5*p + 0 = v - b, p - 25 = -5*v for p.
0
Let k = -31684 + 31689. Solve 35 = 5*q + k*p, p = 22 - 17 for q.
2
Let l(x) = 5*x**3 - x**2 - 9*x + 10. Let d be l(1). Solve -4*h + o - 20 = 0, h - 2*o - o + d = 0 for h.
-5
Let l = 161 - 187. Let o = 28 + l. Solve -3 = 3*m, -o*m = -5*t - 3*m - 11 for t.
-2
Let z = 123 + -121. Suppose -10 = -z*l, -3*l + l - 17 = -i. Solve -20 = -4*n, -3*f - i = -5*n + 7 for f.
-3
Suppose -4*q + 168 = 5*x - 319, -q + 98 = x. Suppose j = x + 1. Suppose -39*w = -42*w + j. Solve -4*m - 5*p - w = 0, 4*m - 4 = -0*p + 4*p for m.
-3
Suppose 3*o + 76*c - 40 = 80*c, 13 = 5*o + c. Let l = 23 - 16. Solve 7*v + l = 2*v - 3*f, 4*v = -o*f - 4 for v.
-2
Suppose 0 = -2*a - 8, 0 = 10*z - 6*z + 4*a + 4. Solve 3*q - 7*d + 6 = 0, z*q = -q + d + 17 for q.
5
Let u be (2 + 10)/3 + -1. Suppose -3*o = 15, 43*y + 1 = 46*y + o. Solve -y*i - 10 = -3*g, 3*i - 4 = -g + u for g.
4
Let y = -11483 - -11485. Solve 4*t - 2 = -3*i, 5*t = -y*i - 13 + 12 for t.
-1
Suppose -q + v = 0, -5*v + 16 = 3*q - 8. Let m(s) = -2*s**3 + 24*s**2 + 23*s - 271. Let z be m(12). Solve -q*c - 19 = u, u = -z*c - 13 - 16 for c.
-5
Let g(o) = 29*o + 1099. Let h be g(-37). Solve -4*l - 4*b + 2 = -h, 5*l - 5*b = 5 for l.
4
Suppose -5*h = 10*p - 100, -9*p + 10*p - 24 = 3*h. Solve -1 + p = f - 3*n, -3*f + 21 = -5*n for f.
2
Let r = -308 + 308. Suppose 0 = 9*f - 13*f - g, r = -f + 3*g + 13. Solve -3*h + 15 = -4*w + 5*w, -f = -3*w + 2*h for w.
3
Suppose -58*l = -50*l - 240. Let w be (4/3)/(40/l). Solve -d - w = -3, d = 5*z + 7 for z.
-1
Let g = 5610 - 5608. Solve 3*t + 2*p - 9 = 5, -g*t = -p for t.
2
Let j be (-86)/(-30) + (-208)/15 + -104 + 118. Solve -4*g + 4*t + 7 + 5 = 0, 5*g - 31 = -j*t for g.
5
Let h be 1*(3 - (-3 - (1 + -4))). Let z be (-4 + h)/(2/(-6)). Suppose u = -z*k - 8, 0*k = 2*u - 3*k - 20. Solve -3*n - u*p = -7*n - 36, -4*n + 4 = 4*p for n.
-4
Let w(m) = -2*m**3 + 327*m**2 + 170*m - 980. Let j be w(164). Solve 0 = -2*r + 2*x - 1 + 3, 0 = -r - j*x + 6 for r.
2
Let x(p) = -p + 119. Let y be x(-28). Let f be (126/y)/((-3)/(-14)). Let l be 1/(-4) + 42/8. Solve -b + f = -3*w - 3*b, -b = -l*w + 15 for w.
2
Suppose 3*v + 0*v = 48. Suppose 7*p + 2 = v. Let i(k) = -k + 4. Let c be i(p). Solve c*w + 23 = -3*o, 2*w + 0*w - 5*o = 17 for w.
-4
Let x = 15784 - 15770. Solve r + 4*o - 9 = 0, 4*o - 19 + x = 3*r for r.
1
Let x(y) be the second derivative of y**5/20 - y**4/3 + 2*y**3/3 + y**2 + 92*y. Let m be x(3). Solve 5 = 2*o - 7*o - m*q, -5*o - 15 = -5*q for o.
-2
Suppose 0 = -15*a + 30. Let r(l) = -a*l**2 - 40*l + 25*l + 3*l**2 + 38. Let b be r(12). Solve s + 3*h + 2 = 0, s - 4*s - b = 5*h for s.
1
Suppose 121*u - 20 = 118*u + d, -5*u + 38 = -4*d. Let k(c) = -3*c**3 + 2*c**2 - 1. Let z be k(-1). Solve 3*f - z = -4*l, 5*f - l - u = -30 for f.
-4
Suppose 2*c - 30 = -4*z, -5*c - 7*z - 26 = -86. Solve c*m - 23 = -3*n + 7*n, -2*m + 2 = 2*n for m.
3
Let i = -268 + 262. Let q be -7 + (i - -6 - -10). Solve 4*n - q*a = -7, 1 = -n + a - 2 for n.
2
Suppose -3 + 18 = 5*i. Let y = -4888 - -4888. Solve 6 = -2*w - 4*h, y*w - 4*h - 5 = i*w for w.
1
Let l(d) = -8*d**2 + 70*d - 45. Let q be l(8). Solve -2*y + 22 = 4*u, 8*y = q*y + 3*u - 10 for y.
1
Let t(w) = w**2 + 7*w + 4. Let g be t(-5). Let n be (g/4)/((-6)/104). Let s = 206525 - 206521. Solve -n = 4*h - 6*h + 4*a, s*a = 3*h - 29 for h.
3
Let m = 143 - 139. Suppose -m*c = -16, -23*c + 24*c = 2*y - 2. Solve 2*h - y*n - 27 + 6 = 0, -5*n - 10 = 5*h for h.
3
Suppose -2*c = -3*z - 3 + 7, -2*c = 6*z - 32. Solve -z*t = -5*w - 10, 5*t = 4*w + 13 - 5 for w.
-2
Let g(b) = -2*b**2 + 8*b + 7. Let x = 0 + 4. Let w be g(x). Suppose 54 = 2*a + 4*r, w*a - 56 = 4*a - r. Solve 4*d - l + 2 = -a, 4*l - 16 = d for d.
-4
Suppose b = 2*s - 5, -3*b = -s + 3*s + 15. Solve s = -3*v - 5*w + w + 22, -3*v + 10 = w for v.
2
Suppose 0 = -75029*j + 75039*j. Solve -9*y + z = -10*y - 4, j = -y + 5*z - 10 for y.
-5
Let s = -3065 - -3065. Let j(t) = 6 + t - 3 + 11 + 0. Let q be j(-4). Solve -2*k - q = 5*p, 4*p + k - 2*k - 5 = s for p.
0
Suppose 92 - 80 = -7*u + 13*u. Solve 0*p - u*x = -p + 5, p = -4*x - 13 for p.
-1
Let q(i) = 0*i - 136 - 4*i + 51*i. Let m be q(3). Solve 0 = 3*d - 4*c + 26, -3*c - 7 + 32 = -m*d for d.
-2
Let l(k) = k**3 - 4*k**2 + 13*k - 4. Let b be l(-5). Let y be (22/12 - 0) + (-49)/b. Solve 4*a + 18 = -5*u + 5, -5*a + y*u - 8 = 0 for a.
-2
Suppose 1026*h - 1028*h + 4*q + 30 = 0, 5*h - 51 = 2*q. Solve 21*s + 5 = 5*u + 16*s, -3*s = -5*u + h for u.
3
Let g be 20/3*15/20. Let a be -4 + (-15)/(-10)*4. Solve g*l = 3*i - 5, 0 = 3*i + a*l + 2*l + 31 for i.
-5
Suppose f = 3 - 6. Let n(d) = 0 - 10*d + 18*d - 4 - 12*d. Let g be n(f). Solve 4*o - 2*a = 6, o - g = 2*a + 1 for o.
-1
Let k = 7286 - 7279. Solve -10*q = -13*q - 2*j - 17, -k = q + 2*j for q.
-5
Let l(q) = 2*q**2 - 25*q + 13. Suppose 70 = 9*d - 38. Let j be l(d). Solve 5 + j = 3*h, -2*h = u - 5 for u.
1
Let h = 68 - 94. Let q(j) = -50 - 12*j - j**2 + 3 - 16*j. Let a be q(h). Solve 0*d + a*t - 15 = 5*d, -d