 f = 0 for q.
0
Suppose 0 = -3*o + 12 + 3. Solve 4*y + x + 24 = o*x, 2*y + 3 = -x for y.
-3
Let k(j) = j - 5. Let y be k(8). Let t be (y/4)/(8/32). Suppose 1 + t = m. Solve 5*a - m = -4*q + 6*q, -3*q - 6 = 3*a for q.
-2
Let u(c) = -c**2 - 8*c - 7. Let h be u(-7). Suppose 4*q - 15 - 17 = h. Let b = q - 6. Solve 3*z + 11 = -b*r, -z - 5*r = -r + 7 for z.
-3
Let f(w) = w**2 + 8*w + 15. Let x be f(-2). Solve -k = u - 2*u - 1, x*u = 2*k + 2 for k.
5
Suppose -72 + 24 = -3*g. Solve 5*r = 2*o + g, 9 = 2*r + 4*o - 7 for r.
4
Let k be 1 - 0/((-9)/3). Let j = 3 + k. Suppose -3 = 3*c - 9. Solve r - c*t = -t + 2, -t - 17 = -j*r for r.
5
Suppose 10 = 5*a - 5*c - 0, 4*c - 6 = -3*a. Suppose -5*j = 4*t + 2 - 7, -5 = -5*j. Let o = 1293 - 1288. Solve 0*h + 2*m + 12 = a*h, t = -4*h + o*m + 28 for h.
2
Suppose 2*m + 2*m = 20. Solve -m = w, -3*w - 9 = -2*y - 4 for y.
-5
Let j be 9 + -19 - (0 - 2). Let a be j/10*(0 + -5). Solve 0 = -f - 0*n + 4*n + 12, 3*f + a*n - 4 = 0 for f.
4
Suppose -n - 4 = -0. Let b = 4 + n. Let c be (-1 - 9)/(-2 + b). Solve 3*q = -5*g - 28, -q + 24 = c*g - 10*g for g.
-5
Suppose 5*z - 10 = 4*w, 2*z = 5*w + z + 2. Solve w = -5*h - 2*c + 8, h = c + c - 8 for h.
0
Let b(c) = c**2 - 9*c - 13. Let w be b(10). Let k = w - -5. Let a(q) = -6*q**3 + q**2 + q. Let j be a(-1). Solve -2*d + j = -4*v + k*v, 9 = 3*d - 4*v for d.
3
Let q = -4 - -1. Let g = 3 + q. Suppose -y - 6*b + b + 25 = g, 2*b = -3*y + 62. Solve -5*l + y = 0, 4*k - k - 5*l + 35 = 0 for k.
-5
Suppose -4*h + 20 = -0*h. Solve -a - 2*a = -o - 13, -25 = -h*a + 5*o for a.
4
Let m(t) = t + 14. Let v be m(-12). Let g(k) = k**2 + k. Let y be g(-1). Solve 2*f - v*j + 6 = y, 5*f + 7 = f - j for f.
-2
Let c be (5 + 1)*14/6. Solve w + o = -5, 4*w + 6 = 2*o - c for w.
-5
Let u = 18 - 3. Let d = u + -13. Solve -2*g - 5*c + 4 = -0*g, -g - 7 = -d*c for g.
-3
Let r(v) = v**3 + 8*v**2 + 7*v + 2. Let s be r(-7). Suppose -s*j = -2*n - n + 2, 3*j = n + 4. Solve 8 = 4*c - 4*u, u - 2 = -5*c + n for c.
1
Suppose 3*j = -3*n - 2*n + 17, 0 = 3*j - 2*n - 10. Suppose -j*i - i + 10 = 0. Suppose i*l = l. Solve l*p - 1 = -q + 2*p, -4*q = -5*p + 5 for q.
-5
Suppose -60 = -p - 2*p. Suppose 0 = 4*r - p. Solve -k - 7 = -4*b, -3*k + r*b - 30 = -6*k for k.
5
Let h(p) be the first derivative of p**2/2 + 7*p + 4. Let a be h(-9). Let s be (0 - a) + 1 - -4. Solve 2*z + s*v + 5 = 4*v, -4*v = z for z.
-4
Let x(s) = s - 6. Suppose -5*k + 30 = -0*k. Let q be x(k). Solve -4*a - 33 = -5*f - q, -3*f = a - 13 for f.
5
Let t(a) = -a**2 + 10*a - 10. Let s = 1 + 7. Let b be t(s). Suppose 0*g - g + 2 = 0. Solve 4*z + v = -b, 3 = g*v - 1 for z.
-2
Suppose 19 = 5*v + 4. Solve 6 = -v*m - 3*d, 5*m - 13 = 3*d + 17 for m.
3
Let g be (-5)/(-4)*-5*-4. Let d(f) = -14*f**2 - 2*f - f**3 - 2 - 3 + 10*f**2 + f. Let h be d(-5). Solve -5*j = -h, l = 6*l - 5*j + g for l.
0
Suppose 3*r + 4*s - 8 = 0, 4*s + 6 = 5*r + 14. Solve -5*c = r, -2*c + 1 = -2*w + 7 for w.
3
Let b be 3/1 - (4 + -1). Suppose -q = z - b - 7, -2*z = q - 9. Solve -2*f + 6 = -c - c, c = q*f - 7 for f.
1
Let h(i) = 3*i - 23. Let z be h(9). Solve -x + 11 = 3*g, 4*g - 3*g = -z*x + 22 for g.
2
Let t = -53 + 55. Solve 2*a + f + 2 = 0, 2*a - 2*f - 2 = t for a.
0
Let u(n) = -n + 5. Let j be u(9). Let m = 5 + j. Suppose p - m = 3. Solve -p*b - 33 = -5*q, 4*q = -q + 5*b + 35 for q.
5
Suppose -2*a = -2, 4*k - 2*a - 3*a - 55 = 0. Solve 0 = -4*p - 8, -2*y - k + 3 = 5*p for y.
-1
Let z(a) = a - 7. Let g be z(9). Solve -3*x - 15 = -0*x - 5*m, -6 = -5*x - g*m for x.
0
Let m = -6 + 5. Let w be -1 - (-1 + m + -2). Solve 2*l - 3*q + 2 = 12, -w*l - 23 = 5*q for l.
-1
Let j(k) = -2*k**2 + 0*k**2 + 2*k + 3*k**2. Let q be j(-3). Solve -4*v - 2*i - 6 = -0*i, q*i + 16 = v for v.
1
Let p = -45 - -63. Solve -2*y - 2*h + 5*h = p, 3*y - h + 13 = 0 for y.
-3
Let w = 70 + -58. Solve -4*t = -i - 8, 2*i = -i + w for t.
3
Let z be 1/4 + (-1)/4. Solve -3*g = v + 14, z*v + 3*v - 5*g = 0 for v.
-5
Let b(c) = c + 1. Let o(k) = k + 7. Let t be o(-6). Let x be b(t). Solve 0 = 4*u - 0*s - 3*s + x, 0 = -4*u + s - 6 for u.
-2
Suppose -3*r - 19 = f, 4*f = -3*r - r - 28. Let z be 1/(3/9) - r. Solve 4*q + 10 - 2 = -k, 0 = 5*q + k + z for q.
-1
Let w be ((-96)/(-18))/((-2)/(-6)). Suppose -3*k + w = -2*k. Let v = 32 - k. Solve -5*b - v = -4*u, -5*u + 8 = 5*b - 3*u for b.
0
Suppose -10*n = -6*n - 48. Solve 0*i - 4*i = n, 4*i + 18 = -2*y for y.
-3
Let p = 48 - 44. Solve 0 = -p*j - 2*z - 18, z + z = -j - 6 for j.
-4
Suppose -2*n = 2*y + 2*y - 18, y - 4*n = 0. Suppose 4*w - w + 5*c + 8 = 0, 0 = -y*c + 8. Let o = w - -10. Solve -t + l = 4*l, l = t - o for t.
3
Let g(i) = i**2 + 30*i. Let l be g(-30). Solve l = 3*m + d + 5, 5*m - 3*d = -2*d + 5 for m.
0
Suppose -2*q = 1 + 9. Let l(h) = -h**2 - 5*h + 2. Let v be l(q). Solve 0 = -4*g - 5*j + 41, -2*g + v*j + 3 = 5 for g.
4
Let j be -9 - 0/(4 - 1). Let h be 3/j - 78/9. Let n = 20 + h. Solve -2*p - 2 = -2*x, 4*p = -3*x - 7 - n for x.
-2
Let q(d) = d**3 + 8*d**2 - 2*d - 11. Let a be q(-8). Solve -4*r - 7 = k, 2*k = a*k + 2*r + 11 for k.
-3
Let j(f) = -f - 1. Suppose -2*t - 16 = 2*t. Let n be j(t). Solve -4*l - 4*w = -w + 1, 9 = -n*w for l.
2
Let z be 138/12 + (-6)/4. Suppose 2*j + 0*j - z = 0. Solve -j*o + 32 = -s + 2, 0 = s + o for s.
-5
Suppose 2*v - 12 = -3*v + r, 5*r - 27 = -4*v. Solve -3*j + 5*j = -v*i - 6, -4*i = -2*j + 22 for i.
-4
Suppose 3*f + 3 = y, -4*f + 0 - 1 = -y. Suppose -n = -0*n - y. Let v = 7 - 4. Solve 0 = r - 5*c - 10, -v*r = -c - c + n for r.
-5
Suppose r - h = 21, 2*h = 4*r + r - 96. Let g = -6 + r. Suppose 0*f = 4*f - g. Solve 3*w - 3 = f*m, w = 3*w - 5*m - 17 for w.
-4
Let x = -1 + 3. Suppose -5*q + 66 = -x*q. Solve 0 = 3*l - 2*z - 14, 0*l - 5*z = -l + q for l.
2
Let u be 6*3/(-6) - -10. Let z = 7 - u. Solve 8*s = 3*s + 3*l, s + 3*l = z for s.
0
Let s(n) = 4*n**2 - 27*n - 4. Let p be s(7). Solve -4*k + 3*k = -2*z - 4, -3*k + p*z + 3 = 0 for k.
-2
Suppose 3*j + x + 7 = -j, -3*j + 4*x - 10 = 0. Let v be 1 + j + 4 + 3. Solve 3*g - 7*g = -3*d + 2, v = -4*d + g for d.
-2
Let d be ((-8)/(-2))/(0 - (0 + -1)). Solve -k - d*o + o = 2, -5*k = -5*o - 10 for k.
1
Let f = 11 - 6. Solve f*x - 5 = -b - 23, -5*x + b = 22 for x.
-4
Let s be 3 - (-14 - 1 - -3). Suppose -k + 3*o = 0, -3*k + 4*o = -k - 2. Suppose -k*z = z - 12. Solve q - z*t - 1 = -15, 0 = -3*t + s for q.
1
Let d(z) = z**2 + 11*z - 1. Let v be d(-12). Solve 2*i - v = 5*b, 1 - 8 = 5*b - 4*i for b.
-3
Suppose 3*p - v = 5*p - 8, -16 = -4*p - 4*v. Solve 0 = p*u + 3*y - 5, u - 3*y - 6 = -1 for u.
2
Suppose -3*l - 3 = -6*l. Suppose -2*v = -3*v + a, 2*v - 4*a + 4 = 0. Let s be (-2)/(v + l - 4). Solve 3 = -4*p - s*u + 3*u, 4*p - 4*u = -12 for p.
0
Let t(u) = -u + 9. Suppose 3*f = z - 3, -4*z + 3*z = -2*f - 3. Let a be t(f). Solve -3*o = -g + 6, o + 2*o + 4*g = a for o.
-1
Let v(k) = -3*k + 25. Let m be v(8). Solve -b - 3*s - 7 - m = 0, 5*b + 4 = -3*s for b.
1
Let l be 1*-3*8/(-3). Let i be (-3)/(-12) - (-14)/l. Suppose -4*y + 9 - 9 = 0. Solve 0 = 2*m + 2*n - 14, 3*m + 4 + y = i*n for m.
2
Let j(l) = -l**2 - 2*l + 1. Let f be j(-2). Solve 4*r = 2*r + 3*b + 12, -4*b = 3*r - f for r.
3
Suppose 6*b + 150 = b. Let r be 14/6 - 20/b. Solve 2*z = r*k - 9, -5*z + 3*k + k - 19 = 0 for z.
-3
Let c = -29 + 45. Solve 0*t + 3*t = -5*b - 2, 2*b - 3*t = c for b.
2
Let l = 63 - 27. Suppose -g - l = -4*g. Solve j - 18 = -5*r, g + 12 = 5*j + 3*r for j.
3
Suppose 0 = -5*s + 3*j + 28, 0 = 4*j - 3*j + 1. Suppose -4*d - s*t + 15 = d, -d + 4*t = -8. Solve 0 = -0*h - 2*h, d*h - 2 = a for a.
-2
Suppose -f + 5 = 0, 32 = 4*d + 2*f - 2. Suppose 2 + d = -4*z, -6 = a + 5*z. Solve -u = 2*y + 9, -2*y + 2*u - a - 8 = 0 for y.
-5
Suppose -3*j + 35 = -5*m + m, 3*m + 36 = 3*j. Solve 3*r + 4 + j = -5*i, 3*i + 2*r = -10 for i.
-4
Let b = -6 - -9. Solve -2*g = -3*a - g, -4*a + 13 = b*g for a.
1
Suppose 3*y + 1 = 49. Solve 4*n + y = -j, -n + 5*j - 10 = -3*n for n.
-5
Let x = 25 + -5. Let l(k) = -k**3 - 5*k**2 + 3. Let h be l(-5). Suppose n + x = h*n. Solve -t - n = 4*f, -5*t - f + 7 = -0*f for t.
2
Let u be 7/((-21)/(-6)) + 4 + -3. Solve 0 = t + u*y - 3, -3*y + 5*y = 2 for t.
0
Let t = -5 - -7. Suppose 4*n + 4 = 4*q - 0*n, -2 = q - t*n. Solve x = 5*x + 4*m - 12, q*x + 4 = 4*m for x.
1
Let j be ((-2)/8)/((-9)/72). Solve -j*n - v + 3 = 0, 0 = -3*n - v + 2*v + 2 for n.
1
L