x, v*c + 2*q = -20 for c.
-5
Suppose 0 = -5*t + 15 - 40, -27 = -4*n - 5*t. Solve 5*x - 10 = 5*i, x - 3*i + 3 = n for x.
-2
Let u be (-1)/2 + 344/16. Let i be (5 - 10)*(-5 - -4). Let d be (8/i)/(-1 + u/15). Solve k = 2*b - 0*b - d, 0 = -3*b + 3*k + 6 for b.
2
Suppose 6*q - 2*i - 749 = 11*q, 743 = -5*q - 4*i. Let t = -151 - q. Solve t = 4*g - 5*y - 15, y = -3*y - 12 for g.
0
Let z be (2 - 1 - -3)*(-15)/(-10). Let w be 4/(-30)*-3*(z - 1). Suppose 4*j = -w*a + 8, -a + 0*j + 4 = -4*j. Solve 2*n - c = 2, 1 = -a*n + 5*c - 1 for n.
2
Let b(v) = v**2 - 9*v - 84. Let m be b(-6). Suppose -m*x + 19*x = 52. Solve x*q = -n - 7, 0 = -n + 5*q + 3 + 17 for n.
5
Suppose 18 = 3*i + 10*s - 12*s, 4*i + 5*s = 1. Solve -5*t + 3*o + 21 = 0, -i*o + 13 = 3*t - 6*o for t.
3
Suppose -37*v = 43 - 189 - 39. Solve -v*i = 0, r - 3*i = 8 - 9 for r.
-1
Let x be ((-46)/138)/(2/(-18)). Suppose 13*z = 18*z - 3*i - 4, 0 = x*z - 3*i. Suppose 0*d + 2*d - 6 = 0. Solve -g - z = g - d*t, -6 = -2*g - t for g.
2
Let k be 2 + (8*91)/2. Let a = k - 344. Solve 3*d + 5*n + a = 0, 2*d + 3*d - 4*n = -12 for d.
-4
Suppose -136 = -8*z + 16*z. Let i be (-3)/(z/(-3) - 6). Solve 0 = 3*c - 3*k + 15, -k + i = -c + 4*k for c.
-4
Let l(r) = r**3 + 18*r**2 + 23*r + 105. Let n be l(-17). Solve 0 = -n*k + 2*p, -70 + 72 = 5*k - 4*p for k.
-2
Let k be 18/27*-6*188. Let r = k + 761. Solve g = 3*q - 11, -g + r = 3*q - 10 for q.
5
Let q be (-32)/(-4) + (37 + -36)*-4. Let f(l) = l**2 + 3*l - 2. Let n be f(-4). Solve a - 5*h = q*a - 30, 0 = -4*a - n*h + 26 for a.
5
Suppose 2*r - 10 = 0, -9 = -2*y - 4*r + 21. Suppose y*w - 5*l - 10 = 0, w + 7*l - 2 = 12*l. Solve -o - 3 = 0, 0 = 4*j + 3*o - w*o + 3 for j.
0
Let f(l) = -l + 1. Let d(j) = 7*j - 7. Let q(m) = -d(m) - 6*f(m). Let b be q(5). Let a be b/6 - 42/(-9). Solve 3*k + x - 40 = -4*x, a*k - 5*x + 5 = 0 for k.
5
Suppose -46*o = -53*o + 28. Let r be (-484)/(-28) - 4/14. Suppose o*l - 33 = -r. Solve -k - 2*p = k, 0 = l*k + p + 3 for k.
-1
Let k be 1 + 4*(7 - 12/2)/1. Solve -9*g + k*g + 37 = -5*j, -2*g + 4*j = -26 for g.
3
Let q(k) = -361*k + 5054. Let c be q(14). Solve 86*f - 3*l + 6 = 89*f, 5*l + 10 = c for f.
4
Let m = 530 + -525. Solve -2*o = -5*x - 20, 0 = -x + m*o - 2 - 2 for x.
-4
Let c = 294 - 235. Suppose -68 = -c*n + 25*n. Suppose 16 = 4*u - 3*u. Solve 5*b + u = 3*g, g + 3*b = n*b for g.
2
Let l be (2/5)/(6/1335). Let d = l + -53. Suppose 0 = -19*v + 28*v - d. Solve 0 = -6*s + 4*s + 8, -v = 4*z + s for z.
-2
Let d be (12 - (-294)/(-28))/((-1)/((-42)/9)). Solve -3*k - 102*a = -101*a + 13, 0 = 2*k - a + d for k.
-4
Suppose 3*o - 7*o = -12. Let h(p) be the second derivative of -p**3/6 + 7*p**2/2 + 566*p. Let w be h(o). Solve w*t = -2*g - 6 - 14, -3*g - 5*t = 26 for g.
-2
Let b = 17 - 6. Let a be (8184/96 + -86)/(-1 + 13/16). Solve 0 = k - 0*z + 3*z - 8, -5*z = a*k - b for k.
-1
Suppose 2*v = 2*j + 4*v + 76, 3*j + 108 = -v. Let u be (-1161)/43 - 8/2. Let d = u - j. Solve 1 = 5*g - d*m - 3, 4*g - 1 = m for g.
0
Let q be 2 + (-6)/(-1) - 3. Let l = -1024 + 1026. Solve -l*v + 15 = 5*y - 0*y, 2*y + q*v - 27 = 0 for y.
1
Suppose -5*b = -8 - 2. Let y be 4/5*5 + -2. Solve -2*n = b*n - 4*r + 8, -5*n = 3*r + y for n.
-1
Let r(n) = -n**2 + 4*n + 17. Let g be r(6). Suppose -k = 4*v - 2*k - 7, 5*v = -g*k + 40. Suppose 0 = -2*s - 8*s. Solve 3*a = w - s*w - 9, -v*w = a - 7 for w.
3
Let z(w) be the second derivative of w**4/4 - 19*w**3/3 + 27*w**2/2 - 7*w + 5. Let m be z(12). Solve -c - m*v = -0*c - 2, 0 = c - 5*v + 6 for c.
-1
Let w = -2016 - -2019. Solve -u - 8 = w*x, 0*x = -2*x - 4 for u.
-2
Suppose 3*s = -7*s + 20. Let z be s*(-3)/(-18) - (-1456)/78. Solve -3*u + y = u - z, 3*u - 2*y - 13 = 0 for u.
5
Let n = 8772 + -8770. Solve 13*w - 8 = 8*w + 3*s, -2*w + n*s = 0 for w.
4
Suppose 4*d - 42 = 38. Suppose 5*g - 8 = -2*w, 3*g = -w + g + 4. Let s be 0/(w - 12/2). Solve s*n - 4*n - 32 = -4*b, -5*b + d = 0 for n.
-4
Let p = -5084 + 5088. Let j = 4 + -4. Suppose j = -z - z + 6. Solve 6*i = 2*i + v + p, v = -z*i + 3 for i.
1
Let l = 1158 - 1153. Solve 2*s + 5 = 3*v + 2, -3*v = -l*s - 12 for s.
-3
Suppose -28*t - 22*t + 31*t = -57. Solve 0 = 3*g + t*u - 24, -3*u = -2 - 10 for g.
4
Let u(q) = 17*q**2 - 16*q**3 - 7*q + 15*q**3 + 9 - 10*q**2. Let d be u(6). Solve -l - 4 = -v, 5*l + 14 = 5*v - d*v for v.
2
Let x(t) = 1481*t + 5926. Let n be x(-4). Solve -5*d - 9 = 4*f, -n*d + 5*f = 2*f - 1 for d.
-1
Suppose -3*k + 4*o + 20 + 10 = 0, -2*o - 4 = 4*k. Solve k*t = g, -2*g + 5*t = -5*g + 22 for g.
4
Let j = -23222 + 23227. Solve -j*p = -4*o + 25, 2*p - 3*o - 2*o + 27 = 0 for p.
-1
Let x(b) = -19*b - 243. Let s be x(-13). Let n = -323 + 328. Solve g + g + s = 2*r, -5*g = n*r - 40 for r.
5
Let v = 50 + -43. Suppose 3*c - v*c - 4 = 3*z, 0 = -3*c - 12. Suppose -z*s + 2*s - 6 = 0, 0 = -3*o - 5*s - 3. Solve t = -5*d - t, 4*d + 28 = o*t for d.
-2
Let s be (-21)/7 + (2 - 1/1). Let n be ((7 + -8)*-4)/((-2)/s). Solve 13 = 2*p + u, n*u = 18 - 6 for p.
5
Suppose -26 = 3*l + 6*i - 2*i, -12 = l + 3*i. Let z = l - -6. Suppose -3*r - 2*h + 23 = z, r + r - 6 = h. Solve -r*b + 2*v = -19, -3*v - 1 = 5 for b.
3
Let u(d) = -d**3 - 3*d**2 + 11*d + 5. Let v be u(-5). Suppose -2*x = -2*l - 10, v = -2*x + l - 4*l + 10. Solve -4*j = -2*h + 14, 4*j = -x*h + j - 30 for h.
-3
Let b(z) = -z**2 - 142*z - 3644. Let m be b(-34). Solve 4*j - 5*s = -32, m*s - 23 = j + 23*s for j.
-3
Let r(w) = 65*w - 515. Let v be r(8). Solve 2*n - p = 2, v*p + 0*p - 17 = n for n.
3
Let v = -8567 + 8582. Solve 2*q = 2*b - 19 + v, -2*q - 3 = -b for q.
-1
Let i(x) = 2*x**3 + 2*x**2 + x - 15. Let f be i(-5). Let t = 222 + f. Solve -2*h + 6 = z, t*h + 5*z = 11 + 11 for h.
1
Suppose 24*s - 34 = 14. Let a be (-600)/100 - (-20)/s. Solve -x = a*g + 8, -g - 2 = -0*x + 2*x for g.
-2
Suppose 2*d + 3*t = -8, -2*t + 20 = 4*d - 5*t. Let f = -183 + 194. Suppose -q - 20 = -f*q. Solve 0 = -q*b - 5*m - 9, -2*m = -d*b + 6*b + 10 for b.
-2
Suppose 4*h = 4*r - 40, 4*r + h - 17 = 2*r. Let f = r - 0. Suppose -f*g = -10*g + 4. Solve g*c = -2*n - 1 - 5, -3*n = c + 9 for n.
-3
Let i = -360 + 425. Suppose 0 = 9*b - 92 + i. Solve -3 = 3*k - j + b*j, -j = -4*k + 7 for k.
1
Let q be (11/((-330)/(-72)))/(2 - (-85)/(-50)). Solve -4*l + y + q = 0, -3*y = 5*l - 0*l - 27 for l.
3
Let f = -4369 - -4371. Solve -2*i + 10 = 0, -5*q + 0*i + 15 = -f*i for q.
5
Suppose 8 = 5*p + 3. Suppose 4*y - 22 = -q, 0 = 3*y + 4*q - 22 - p. Suppose 4*u + 12 = 5*u. Solve -2*t + k = -13, -y*k - u = t - 2 for t.
5
Let b(a) = -a**2 + 19*a - 25. Let d be b(17). Suppose -d = 2*y - 15. Solve y*c - 20 = 5*u, 0 = u + c - 5*c + 4 for u.
-4
Suppose 6*x - x - 50 = 0. Let t be (24/(-15))/(-1 - (-8)/x). Let m be (t/(-14))/((-10)/35). Solve -m*o + y = -2, -5 = o + 5*y + 5 for o.
0
Let j(b) = 33*b - 3. Suppose 0 = 5*g + 5. Let q be j(g). Let a be (q/(-63))/(2/7) + 2. Solve -2*k = 3*c - 0*k + 5, c = -3*k - a for c.
-1
Suppose -4*s = 3*n + 9, 3*s - 63*n + 59*n = 12. Solve 2*y - 12 = 2*g, 0*g - 4*g - 5*y + 21 = s for g.
-1
Suppose 35 = -w + 31. Let r be (22/w + 4)*20/(-15). Solve 3*t = 2*o + 8, 2*t = -5*o + r*o + 14 for t.
4
Suppose -6*l = 401 + 427. Let w = -123 - l. Solve -5*z - 8*j = -3*j - 5, -j = -3*z + w for z.
4
Suppose -j - 4*q = -17, 0*q - 10 = 5*j + q. Let i(g) = -g**2 - g + 6. Let d be i(j). Suppose -5*p - 5*p + 90 = d. Solve -5*t - b + p = -3*b, 5*b + 10 = 0 for t.
1
Let o be (-1623)/(-9) + -5 - 12/9. Suppose 46*f - 17*f - o = 0. Solve 0 = -2*d - 5 - 3, 0 = 2*u - 4*d - f for u.
-5
Let h = 168 + -304. Let d = 138 + h. Solve 3*j + 5*v = -2*j, d*j + 30 = 4*v for j.
-5
Let z be (-9)/((-36)/(-8))*237/(-6). Suppose -16 = 21*q - z. Solve -q*k - 11 = -4*f, 0*k + 5 = -k + 2*f for k.
-1
Let d = -536 - -536. Solve d = -4*f - 20, -2 = -2*s + 6*s - 2*f for s.
-3
Let w be ((-8)/20 + 1)*60/18. Let z(b) = 30*b - 235. Let m be z(8). Let l be (-34)/(-10) - (-2)/(-5). Solve w*x = m*h + 6, -2*h - x = h - l for h.
0
Let f(a) = 2*a + 8 + 9*a - 6*a - a + a**2. Let d be f(-2). Solve -d = -2*j - 3*o - 29, -4*o = j + 25 for j.
-5
Let b = -21 - -26. Let c(t) = -t + 13. Let s be c(6). Suppose 14*v + 8*v = s*v. Solve v = -b*w + n + 8 - 1, 0 = -5*n + 15 for w.
2
Let m be 1/12*4*45. Suppose -m = -3*u - 3*a, -3*a + 0*a + 17 = 4*u. Solve z + u*z - w = 13, w + 3 = z for z.
5
Let s be (21/14)/((-1)/(-16)). Suppose -v - x + 27 = 0