1
Let b(n) = 5*n + 19. Let w be b(-3). Let z = -4 + 6. Suppose -y = -2 - z. Solve -x = y*r + 20, -3*x + 3*r + w = -11 for x.
0
Let a be (-8)/(-1 + 3) + 16. Suppose 2*d - 18 = -b, 3*b - 58 = 2*d - a. Solve -19 = o - 6*o - 2*n, -2*o + b = 5*n for o.
3
Suppose -2*f + 5 = -3*v, -5*f + 0*v = v - 4. Let x be f - (1 + 1 - 19). Solve 2*r = 4*o + x, 3*r = 4*o + 7*r - 12 for o.
-2
Let h be (-17 - -21)*((-3)/(-4) + 1). Solve 2*k = -4, -2*o = -h*o - 5*k - 30 for o.
-4
Let u = 161 + -161. Solve 5*f + 4*v = -u*v + 6, -f - 14 = -3*v for f.
-2
Let a = 78 - 60. Suppose 3*l + 7*w = 4*w + a, 2*l - 18 = -4*w. Solve -r - 4 = 5*p - l*r, 5*p = -5*r + 10 for p.
0
Let j be -19 + 3 + -4 + 3. Let k = j - -23. Let r be ((-20)/k)/(10/(-105)). Solve r = -3*d - 5*v, -d - 4*v - 7 = 14 for d.
-5
Let h(d) = -4*d - 6. Let b be h(-2). Suppose -2*p = -2*y - 12, -2*p + 3*y + b + 14 = 0. Solve 0 = t - 3, -18 = -p*l - l - t for l.
5
Let v = 12 - 8. Suppose -2*i - v = -4*i. Suppose -3*y - 26 = -5*o, 4*o = 2*y + 10 + 12. Solve 4*l + 7 = 3*l + 3*z, -3*l = -i*z + o for l.
-1
Let z(w) = -11*w - 66. Let i be z(-7). Solve 5*r + 2 = 3*n - 5, 0 = -4*n + 5*r + i for n.
4
Let m = 8 - -3. Let c be (30/45)/(4/18). Solve -4*x - 10 = 3*v, 4*v + m = -0*v - c*x for v.
-2
Let i be (-25)/(-20)*-4 - -9. Solve 2*l = -0*t + 2*t - 8, i*l - 9 = -t for l.
1
Suppose 0 = -3*w - 3*u + 12, 0 = 4*u - 10 + 2. Suppose 0 = 3*c - q - 4, -w*c + 2 = -q - 2. Solve 5*f + 4*o + c = 11, 5*f - 14 = -o for f.
3
Let d be (17 - 19)/(2/(-16)). Suppose 2*y = -8 - d. Let f = -7 - y. Solve f*w + 20 = -5*b, -5*b = -3*w + w - 1 for b.
-1
Let j be (-2)/15 - (-20)/150. Let f = j - 0. Solve 0*x + 3*x + 13 = -5*i, f = 2*i + 10 for x.
4
Suppose -96 = 4*c + 2*c. Let k be (3/6*c)/(-2). Solve 0 = a + 1, 3*a + 3 = -k*g + 4*a for g.
-1
Suppose -884*q + 36 = -878*q. Solve 5*g - 30 = -2*d, d + 5 = q*d - 5*g for d.
5
Let o(j) = 6*j**2 + 0*j + 6 - j**3 - 7*j + 9 + 2. Let r be o(5). Solve -y - 15 = -5*m, r*y = 3*y + 5*m for y.
5
Let k(r) = -3*r**2 + 24*r - 15. Let f be k(7). Solve -2*b + 3*w = -11, f*b = 5*b + 3*w + 13 for b.
-2
Let w(s) = s**3 - 29*s**2 + 170*s - 32. Let l be w(21). Solve 0*d + 2 = 5*c - d, -5*c - l = 5*d for c.
0
Suppose 5*g = 4*z - 2*z - 21, -51 = -3*z + g. Let w be 6*2*3/z. Solve 2*u + o = w, -6*u + 14 = -u - 2*o for u.
2
Let x(s) = -8*s + 2. Let w be x(2). Let u = -29 - -15. Let z = w - u. Solve -2*c = -4*o + 10, 3 = o - z*o for c.
1
Suppose -a + 5 = -1. Suppose 0 = -5*l - 15, l = 3*v - a*v + 15. Let i(u) = -u**2 + 6*u + 7. Let t be i(v). Solve 20 = -5*w + y, t = -3*w + 5*y - 5 for w.
-4
Let y be 15*((-1)/(-1))/(-3). Let v(m) = 10*m - 1. Let k be v(y). Let h = -36 - k. Solve 0 = -3*q - b + h, q - 2*b + 4 = 2 for q.
4
Suppose -89*v - q = -90*v, -5*q = 3*v - 16. Solve -v*s = 3*z + 12, -4*z = -5*s + 11 + 5 for z.
-4
Suppose -6*g = -4*k - 4*g + 22, 0 = -4*k + 4*g + 28. Let c = 19 + -12. Suppose 18*q + 38 - 92 = 0. Solve -4*u = l - c, -q*l = -k*u - 2*l + 17 for u.
3
Let a be (-22)/99 - 148/(-18). Suppose 0*q = 2*v + q - a, 3*v - 12 = -4*q. Solve -2*o + p + 6 = -3*p, 5*o + v*p = 29 for o.
5
Suppose 5*o - 90 = 5*p, o - 43 = -o - 5*p. Let n = 105 + -60. Suppose 4*s = -5*u + n, -51 + 6 = -4*u - 5*s. Solve -2*d - 8 = m - u*d, -4*m - o = d for m.
-5
Suppose -5*x + 0*x = 120. Let s = -20 - x. Solve -2*m + 5*m - 3*t = -3, s*m = -4*t + 4 for m.
0
Let x(s) = -s**3 - 4*s**2 - 3*s + 6. Let o be x(-4). Let c be 4/1 + (9 - 11). Solve -7*m + 2*k + 18 = -c*m, 3*k + o = 3*m for m.
2
Let j be (116/20 - 3) + (-1)/(-5). Solve 0 = b + 2*i + 9 + 6, -2*b + j*i + 5 = 0 for b.
-5
Suppose -68*j + 20 = -63*j. Let d be -3*2/(-3)*1. Suppose -3*z + 62 = j*b, -34 = -d*b - z - 2*z. Solve 20 = 4*q, -2*q + b = 4*a - 2*a for a.
2
Let y be (5 + 76/(-12))/(9/(-27)). Solve y = f + 3*n, 4 = -n + 3*n for f.
-2
Let g be 60/(-12) + (10 - 2). Solve y = g*m - 4*m - 6, 0 = -m + 5*y for m.
-5
Suppose 6491*d + 72 = 6503*d. Solve 3*q - 2*g = -8, g + 22 = -11*q + d*q for q.
-4
Let d = 11 - 13. Let s be d/8 + (-1125)/(-100). Solve 3*t - 3*w - 6 = 0, -2*t - s - 5 = 3*w for t.
-2
Let p(u) be the first derivative of u**2/2 - 14*u - 6. Let g be p(9). Let i be (-8)/20*g*10. Solve 3*n + 2*n = j - i, -5*j = n + 30 for n.
-5
Let w = 618 + -616. Solve -2*z = -t - 2, 5*t - w*z = z - 3 for t.
0
Let w be (22/99)/(3/27). Solve 5*v - 7 = -3*c, 2*v + w*c + 6 = 3*c for v.
-1
Suppose -19 = 4*s - 27. Suppose -q - 5*b + s = 0, -4*b - 1 = -5*q + 9. Suppose 0 = -q*n + 12 + 6. Solve -3*z + 10 = -2*x, -3*x + 4*z - 24 = -n for x.
-5
Let z(b) = -b**3 + 18*b**2 - 11*b - 24. Let n be z(17). Suppose -x - 10 = 43. Let j = x + n. Solve -2*k + 0*a + 3*a + j = 0, -a - 10 = -k for k.
5
Let u(d) = d**2 + d + 2. Let n be u(-2). Let g = -367 + 122. Let y = -210 - g. Solve 5*w - n*f - 32 = 0, 0*w - 5*w + y = -5*f for w.
4
Suppose -3*b = 2*b + m - 62, 0 = 2*b - 2*m - 32. Suppose -2*d = 4*q - 12, -2*q + 1 = 3*d - b. Solve 0*x + 4*n = 4*x - 28, -2*n - 22 = -d*x for x.
4
Suppose 3*t - 57 = 3*h, -t + 6*t = 4*h + 77. Let u(q) = q**3 + 17*q**2 - 18*q + 5. Let z be u(h). Solve -3*a + b = z*b + 3, -5*b = 15 for a.
3
Let l(v) = -v**2 + 6*v - 4. Suppose -1 + 5 = j. Let s be l(j). Solve t - s*q = -4*t + 30, 4*t + 17 = -5*q for t.
2
Suppose 10*r = 15*r - 25. Suppose 0 = 3*x - 4*x + 1. Solve 4*d + 3*y + r = 0, 0*d + 3*y = -2*d - x for d.
-2
Let r(d) = 3*d**2 - 2*d + 4. Let p be r(-2). Let z be (-30)/(-25)*p/8. Solve -2*a + 8 = b, -5*a + z + 2 = -5*b for a.
3
Let g(c) = c**2 + 28*c + 2. Let w be g(-28). Solve 5 + 10 = -3*a + 3*k, -w*k - 25 = 5*a for a.
-5
Let v(y) = -y**3 - 19*y**2 + 12*y - 50. Let a be v(-20). Let i = 114 - a. Solve 5*w = 4*n - 45, -i*n - 40 = 4*w - 8*n for w.
-5
Let b = 37 - 35. Solve g + a + 7 = -3, -2*g = -b*a for g.
-5
Let x be (-3)/(-1 - (-5)/8) - 3. Suppose -2*i - 4*s + 52 = 0, -x*i - 4*s + 109 = -s. Solve -4*p = -m + 22, 2*m - 2*p = -3*m + i for m.
2
Suppose 0 = k - 5*y, k - 1 = 4*y - 0. Suppose 5*a = -j + 7, 3*a + 0*a = k*j - 7. Suppose -14*s = -11*s. Solve -5*r - j - 5 = 3*v, -2*v - 3*r - 5 = s for v.
-4
Let j = 35 + -58. Let b = j + 46. Solve 5*l + 6 - b = -n, -2*l + n + 4 = 0 for l.
3
Let b(p) be the second derivative of -p**3/6 - p**2 + 2*p. Let k be b(-2). Solve -4*f - 14 = 3*u, -5*u - f + 5 = -k*u for u.
2
Let l(t) = -t**3 + 7*t**2 - t + 3. Let j be l(8). Let b = j - -72. Solve 6*w - 7 = -5*p + 3*w, b*p = -5*w + 1 for p.
2
Suppose -2713*c = -2725*c + 36. Solve 5 = -3*d - c*l - 1, 3*d = -2*l - 3 for d.
1
Suppose 0 = 2*r - 0*j + 3*j - 5, -3*j = -3*r. Suppose -3 = -5*p - z, -5*z + 0*z = -4*p - 15. Solve 3*q - 4*b - r = p, 4*b - 23 = -8*q + 3*q for q.
3
Let m = 400 + -397. Solve -5*r + 26 = m*u, -4*u + 24 = -r + 5*r for r.
4
Suppose 5*h - 63 = -z - 3*z, h = 3*z - 33. Suppose 4*y + 2*x - z = 0, 4 + 8 = 4*y - x. Solve -2*g = 2*v - 2, 0 = y*g - 0*g for v.
1
Let j(l) = -13*l + 38. Let i be j(6). Let d be i/(-30)*(7/2 + -2). Solve d*u = -3*f - 14, -5*f + u + 4 - 23 = 0 for f.
-4
Suppose -235*s + 2*c - 12 = -237*s, 0 = 4*s - c - 19. Solve -j - 3*w - w + 7 = 0, 11 = -s*j + 3*w for j.
-1
Suppose 4*x - 4 = 8*x. Let y be x*(-2)/(-4)*0. Let t(j) = 19*j. Let r be t(0). Solve r = 3*a - y*a - 6, -2 = 2*b - a for b.
0
Let r(y) = 51*y - 559. Let h be r(11). Solve -p + 15 = 4*p, -4*c = -2*p - h for c.
2
Let q be 4 - ((-8 - -2) + 6). Solve -2*x + s + 10 = 0, -3*x + q*s + 16 + 4 = 0 for x.
4
Suppose r + 11 = v, -r - 5*v - 7 = 10. Let g be 3 - 3/r*0. Suppose 0 = g*x - 2*w - 48, 2*x + w = -x + 39. Solve -4*m = -o + 24, 2*m = o - 0*m - x for o.
4
Let y = 610 + -605. Solve c - x = 3, 7 + y = -4*x for c.
0
Let w = -21 + 26. Suppose n + 4*h - 5 = 2*n, 4*h - 23 = -w*n. Solve -4*b = -2*i + 12, -n*i + 11 = -3*b - i for b.
-1
Suppose -9*h + 3*h = -18. Solve 3*a + v - 9 = 5*a, 0 = 5*a - h*v + 25 for a.
-2
Let n = 10908 - 10903. Suppose -3*v = v. Let k(x) = x**3 - x**2 + 24. Let y be k(v). Solve 3*f - n*c = y, f = -2*c + 3 - 6 for f.
3
Suppose -4*z + 39 = 27. Let p be (0 + (-4)/(-10))*5. Suppose -l + z = -p. Solve -2*u + 6 = -2*j - 0, u - 5*j = -l for u.
5
Suppose -2*d = -0*d - 16. Let w be (5 - 5) + 1 + (-4)/(-2). Suppose -w*i + 5 = -4. Solve 21 = -2*t + i*c + d, -t = 3*c + 2 for t.
-5
Let g = 7 + -10. Let j(r) = -r**2 + 4. Let z be j(g). Let c = z - -7. Solve -5*x + 30 - 5 = -3*n, 15 = -c*n + 3*x for n.
0
Suppose 4 = -4*j - 4