- h + 3 = f for d.
1
Let t(d) = 3*d**2 - 5*d - 4. Let h be t(-1). Suppose 0*j = -h*j + 20. Solve 4*v + 3*c - 20 = 0, 15 = 4*v - v + j*c for v.
5
Let s = 306 - 206. Suppose 85*m = s*m - 75. Solve -l = -5*d + m, 2*d - 1 = d - l for d.
1
Suppose 19*v - 226 - 528 = -10*v. Solve -5*j - 4*o = -6*o - v, -3*j + 15 = -o for j.
4
Let c(h) = 1 + h**2 - 15 + 4 - 2*h - 2. Let j be c(5). Suppose -2*u + 3*b - 8 = 0, 3*u + 3*b = -u + 20. Solve -4*y = -j*p + 9, -u*y - 2*p = 2*y - 6 for y.
0
Suppose 4*g + g = 0. Suppose g*a + 12 = 3*a. Solve -a*u = 4*c + 20, -3*c + 25 = -2*u - 3*u for u.
-5
Suppose -2*k + 2*o = -8, 74*k - 70*k - 2*o = 14. Solve 0 = -q, 6 = 2*y + k*q - 6*q for y.
3
Let y be -2 + (-2)/(2/(-5)). Let h = -317 + 320. Let p be -3 - -12 - (-3 + h + 4). Solve 2*n + p + 5 = 0, -y*n = 4*v - 1 for v.
4
Let u(b) = 34*b - 256. Let y be u(15). Suppose 24*g - 130 = y. Solve 5*v = d + g, 20 = d + 4*d for v.
4
Let q = 10873 + -10868. Solve t + 5 = -x - 2*x, -q*x = -t + 3 for x.
-1
Let d = 69 - 33. Suppose -5*s + 2*k - 85 = -2*s, s + 11 = 5*k. Let y = s + d. Solve 0 = -5*x - y*c - 30, 4*c - 2*c = -4*x - 16 for x.
-2
Let d(a) = a**3 + 10*a**2 + 2*a + 20. Let q be d(-10). Suppose -5*v = -n + 5, q = -2*n + 5*v + 2 + 18. Solve -5*u - 17 = -0*z + 2*z, n = 5*z + u for z.
4
Suppose -76 = 5*o - 9*o. Let w(b) = -b**2 + 20*b + 48. Let k be w(o). Let q = 67 - k. Solve -4*t = -3*c - 11, 2*c + 5*t - 2*t - 4 = q for c.
-1
Let a(t) = t**2 + 6*t + 11. Let c = 30 - 32. Let d be a(c). Solve 0*x = 5*m - 5*x - 25, 2*m = -d*x - 5 for m.
2
Suppose -4*a + 14 = -2*r, -31*r = -3*a - 30*r + 12. Solve 5*z - 25 = -5*d, -a*d + 10 + 11 = 3*z for d.
3
Suppose 0 = -125*i + 7141 - 1266. Solve 0 = 5*h + p - i + 35, 3*h - 18 = 3*p for h.
3
Let n be 1 + -2 - 13/((-26)/4). Let o be -18*n/(-3) - 5. Solve 11 = -2*h + o, 2*r + 2*h = -18 for r.
-4
Let m = 209 - 333. Let b = -121 - m. Let d be 1/(1*1/2). Solve 4*c - 3*t - 31 = -0*t, -d*c + b = t for c.
4
Suppose -25217*j = -25193*j. Solve 143*w = -2*f + 148*w + 3, j = 3*f - w + 2 for f.
-1
Let i(v) = 2*v - 6. Let b be i(12). Suppose 12*g - b - 18 = 0. Solve g*s = -4*h + 3, 2*h + 6 = -h - 5*s for h.
3
Suppose -2*g - 8*g + 1457 = 1397. Solve b - g*b = -4*o - 7, -5*b - 3*o + 21 = 0 for b.
3
Let k(w) be the first derivative of -14*w**3/3 + 5*w + 98. Let s be k(0). Solve -5*u - 2*c + 0 - 5 = 0, 25 = -s*c for u.
1
Let t = 7457 - 7457. Solve t = f + 1, 25*s + 4*f = 20*s - 24 for s.
-4
Suppose 140 = 3*y + 44. Let q = y - 23. Suppose 7*o + 10 = 9*o. Solve -l - 23 = -o*c, q*c = 4*c + 20 for l.
-3
Let j = -106 + 106. Suppose j = 100*k - 105*k. Suppose k = 3*l - 15*l + 48. Solve 4*m = -c + 11, 0*m + 2*m + l*c = -12 for m.
4
Suppose 7*d - 10 = 5*d. Suppose 2*u - 3*p + 11 = 0, u - 40 + 13 = -d*p. Suppose -100*k + 228 = -43*k. Solve -3*m + 11 = k*f, 0 = -u*m - 3*m + 3*f - 1 for m.
1
Let c(a) be the second derivative of -a**4/12 + a**3/2 + 2*a**2 - a + 54. Let q be c(-1). Solve -5*v - 11 = -v - 5*k, k - 3 = q for v.
1
Let m(n) = n**2 - 75*n + 1602. Let j be m(39). Solve 0 = j*l - 202*l - 3*f + 1, -3*l + 6 = -3*f for l.
1
Let q be (-11835)/(-405) - 2/9. Suppose 2*h = -25 + q. Solve 4*j + 14 = -h*p, -4*j - 19 + 2 = p for j.
-5
Suppose -l = -w - 3*l + 32, -138 = -5*w + l. Solve 22*k - 17*k - 3*h + w = 0, 2*k + h + 9 = 0 for k.
-5
Suppose 4*m - 78 = t, 5*m + 2*t - 104 = -0*t. Suppose -5*q = -3*n, -5*q + 0*n = n - m. Let s = 497258 - 497253. Solve 2*r - 5 = s*c, -c - q*r - 18 = -0*r for c.
-3
Suppose 110 - 114 = -2*v, -4*s - 4*v + 8 = 0. Solve s = -10*k + 9*k + r + 3, 4*k - 4 = 2*r for k.
-1
Let j be 36/(-10) - ((-18)/15)/(-3). Let l be j/8 + 3/6. Suppose 0 = -2*s - 4, l = -2*d - s + 2*s + 8. Solve -13 + 6 = d*p - u, 4*u - 16 = 0 for p.
-1
Suppose 0 = -c + v + 1, -2*v + 8 = 0. Let k(y) = -y**2 - 6*y + 9. Let o be k(-7). Suppose o*t - 18 = -2. Solve -c*z = -5*b + 30, t = -z - 0*z + 3*b for z.
-5
Suppose 0 = -8*z + 7*z - 572. Let o = z - -572. Solve -5*g - 5*y = o, 2*y + 24 = 5*g - y for g.
3
Suppose -13*t = 22*t - 3*t - 96. Solve -t*g - 18 = -3*s, -10 = 5*s + 19*g - 14*g for s.
2
Let i = -28 + 49. Let x = i - -4. Suppose -4*u + 9*u = x. Solve u*t - p = 0, -t - t - 3*p = -17 for t.
1
Let h(g) = -5*g**2 - 193*g - 39. Let j be h(-38). Solve 4*c = 4, -j*y + 70*y - 2*c = -27 for y.
5
Let h = -5 - -9. Suppose -30 = -5*z + 2*z - 2*p, h*p + 12 = 3*z. Suppose v = -3*v + z. Solve 2*r = j, v*r = -5*j - 9 - 3 for r.
-1
Let c be 0/(-8 - 5*108/(-45)). Solve c = -3*r - 3*l - 9, 5*r + 2 = -l + 3 for r.
1
Suppose 31*u - 128 = -33*u. Solve 0*a = -3*a - 5*f - 34, -u*f - 10 = 0 for a.
-3
Suppose 0 = -54*g + 136*g. Solve 5*i + 9*w - 5*w - 2 = 0, g = 4*i - w + 11 for i.
-2
Suppose 5*u - 57 = -5*p + 28, 0 = -p - 2*u + 23. Solve -a = -3*h - p, 32*a + 7 = 33*a - h for a.
5
Let h(v) = -v - 12. Let l be h(-15). Suppose -u + l*b = -9, -2*b = 11*u - 9*u - 2. Solve -k - 1 = -u*g - 15, 0 = -5*g + k - 20 for g.
-3
Let j be 8*((-126)/(-28) - 4). Solve 5*w = -2*i - 28, 18 = -j*w - 5*i - 18 for w.
-4
Let k be (2*2/3)/(5/15). Suppose 0 = 2*a - 4*a + 2. Suppose -d + k = a. Solve d*b + 0*r - 2*r + 7 = 0, b + 4 = r for b.
1
Let h be 1/5 + (50512/40)/11. Suppose -99 = 8*t - h. Solve 2*x = j - 2, -6*j - 25 = 3*x - t*j for x.
-3
Let o = -1043 + 1046. Solve -3*b = 2*g - 12 + 34, 5*b = o*g - 5 for g.
-5
Let l = 13175 + -13158. Solve -4*k + 4*g = 53 - l, -2*k - 33 = -5*g for k.
-4
Let v = 241 + -241. Suppose 0 = 3*h + t - 35, v = -7*t + 10*t + 12. Solve a - 4*m + h = -8, -3*a + 4*m = 23 for a.
-1
Let t(z) = -27 - 2 - 31 + 29 - 9*z. Let f be t(-4). Solve f*g - 25 = b, -5*g + 7 = -3*b - 18 for b.
0
Let d = 10 - 37. Let g = 50 + d. Let m = -18 + g. Solve 2*y - m*i + 5 = 0, 2*i - 2 = 4 for y.
5
Let y(l) = 13*l**2 - 131*l + 10. Let f be y(10). Let u be 2/(f + -5 + 6). Solve u*h = -4*n + 22, 4*n = -h - n + 23 for h.
3
Suppose -18*x + 0*x = -33*x + 60. Solve -3*v = 3*l + 21, x*l = 3*l + 2*v - 1 for l.
-5
Let m = 289 + -522. Let a = -226 - m. Solve -d - a = -5*h, -d - 2*h = -3*d + 2 for d.
3
Let f be 2/6 + (-104)/(-12). Let l be -2 + 6 + -1 + -3. Suppose -5*v = -k - 222, -3*k + l + f = 0. Solve -4*c = -20, 5*b + 7*c - 3*c = v for b.
5
Let k = -5970 + 5978. Solve -6*d + 2*l + k = -4*d, 3*d = -5*l - 12 for d.
1
Let p(c) = 5*c**2 + 9*c + 10. Let x be p(-5). Suppose -7*y + x - 27 = 0. Suppose -y = 3*z - 24. Solve 15 = -2*k + 4*g + g, -4*g - 21 = z*k for k.
-5
Suppose -k + 2*k = 2. Let y(m) = m + 25. Let l be y(-20). Suppose 8*b - 21*b = 0. Solve -4*p = -2*s - 16, 0 = 3*p - b*s + k*s - l for p.
3
Suppose -n = -z - 3*z - 48, 0 = -4*n + 2*z + 122. Let x be 2/(((-2)/(-186))/(10/(-60))). Let f be 5/2 + x/62. Solve f*p + 4*c = -n, 4*p + 31 = -c - 2*c for p.
-4
Suppose 1176 = 9*n - 13*n. Let k = n - -303. Solve 4*j = 2*d - 8, 5*d = -4*j - k + 1 for j.
-2
Suppose -3*m - 2*u = -7, 3 = -3*m + 3*u - 0. Suppose -17*x = -3*x - 308. Let n = -20 + x. Solve -3*q - 3*a = n*q - 2, m = -q - 2*a for q.
1
Let u = 9399 - 9399. Solve -h + 5*j - 1 = u, j + 9 - 2 = -h for h.
-6
Suppose 13*w = -25*w - 9956. Let v = 268 + w. Solve v*y - 2*y = -j + 4, 0 = 5*j + 5*y + 10 for j.
-4
Suppose -3*d = 3*l - l - 184, 3*l + 3*d - 276 = 0. Let n = l - 57. Solve 4*o + 0*r - 5*r = 45, 0 = 5*o - 2*r - n for o.
5
Let z(x) = -28*x**3 + 141*x**2 + 23*x - 137. Let c be z(5). Solve 3*k - 14*v = -17*v, -3*k + c*v = 18 for k.
-3
Let f = 17 - 55. Let d = -14 - f. Let w be ((-7 - -3)/(-16))/(2/d). Solve 2*r = -w*q + 7, -r - 2 = r for q.
3
Suppose 4*j - 8 = -0*j. Let o = 145 - 137. Suppose 0 = -3*u + o*u - 10. Solve 3*f - 3*i + u*i + 3 = 0, 2*f + j = 4*i for f.
-1
Let v = 7175 + -7170. Solve -5*q + v*u - 20 = 0, 9 = -q + 4*u - 4 for q.
-1
Suppose 159 = 30*z - 81. Solve 3*n + 4 = -s + z, 0 = 3*s - 3*n + 24 for s.
-5
Let s be (-1)/(-4) + (-95)/(-20). Suppose 5*i + 2*x = 9*i - 16, 0 = s*x + 10. Solve 5*c = -3*u + 26, -i*u - 4 = -2*c - u for c.
4
Let j be 11/6 - 0 - (-74 + (-886)/(-12)). Solve -4*f = 6*h + j, -4*h = 2*f - 3*f + 5 for f.
1
Suppose -88 = 476*h - 564*h. Solve 0*r - r - 13 = 4*f, -4*r = -f + h for f.
-3
Suppose 18*n - 10*n - 56 = 0. Let y be (5/(-15))/(n/(-63)). Solve y*p + 2 = -1, 7 = -d - 5*p for d.
-2
Let q be (10 - 11)/((-2)/(-30)). Let s be ((-2)/((-6)/q))/(-1). Suppose -s*f - 2*z = -6, -z - 4*z = -5*f + 20. Solve -4*v = 2*l - 16, -3*v + 8 = v - f*l for v.
3
Let