4*c + 3*a - 0*a - 8 for c.
1
Suppose 0 = -3*z + 833 + 175. Suppose -f - z = -22*f. Solve 12 = -5*t - 2*l, t - 2*t - f = -3*l for t.
-4
Suppose 4 = -0*p + 4*p. Let q = 31 + p. Let f = -30 + q. Solve 4*b + 18 = f*w, -8 = 2*b + 2 for w.
-1
Let f(l) = 120*l - 230. Let z be f(2). Solve -4*m - 5 = -s, 16*s - z = 14*s - 4*m for s.
5
Let r = -321 + 325. Let b(v) = 5*v - 14. Let s be b(r). Solve -4*p = 4*f + 12, -23 = 3*f + 5*p - s for f.
1
Suppose 0 = -5*b - 149 + 359. Let k = b + -38. Let h be (-44)/(-12) + (k/6)/(-1). Solve -5*q = -3*i + 25, -3*i = -h*q - i - 15 for q.
-5
Suppose -3*x + 0*x = 5*j - 628, 4*x - 3*j = 847. Let g = x - 208. Solve -3 = 3*u, -5*p - g - 6 = -u for p.
-2
Suppose 0 = 5*r - 16 - 9. Suppose x + 2*z + z - 12 = 0, 4*x + 2*z + 2 = 0. Let s be (-15 - x)/4 + 3 + 0. Solve c + 25 = r*f - 4*c, s = -2*f + 4*c + 18 for f.
1
Suppose -152 = -61*r + 214. Solve 0 = -k - 3*h - r, 5 - 15 = 3*k + 5*h for k.
0
Let k(w) = -240*w - 2878. Let m be k(-12). Solve 2*o - 9 = -j, 0 = -m*j + 6*o - o for j.
5
Let h be -2*((-24)/9 + (-20)/(-30) - 1). Solve -4*v - 5*b - h = 9, -3*v + 5*b = 20 for v.
-5
Let s = -161 + 170. Suppose -s*d + 32 = -d. Solve -2*t = -0*g - 2*g + 8, -3*t + d*g - 17 = 0 for t.
1
Suppose -238 = 105*i - 227*i + 108*i. Solve -41*j + 3*n + i = -36*j, 4*n = -16 for j.
1
Let d(r) = 280*r - 1115. Let z be d(4). Solve -20 = z*a, -262*u = -267*u - 4*a + 9 for u.
5
Suppose 851 + 1119 = 41*y + 617. Solve 5*k = -4*z + 4, -2*z = 3*k - 35 + y for k.
0
Let g = -25026 - -25031. Solve 42*t - 37*t - z = -16, -3*t - g*z = 32 for t.
-4
Let y be -2*(-3)/15*(20 - (-135)/(-9)). Solve 0 = -y*l - k - 1, 3*l = -2*k - 3 + 2 for l.
-1
Suppose -1118*a + 1110 = -1081*a. Solve -2*x = 5*o + 15, -264*o + 260*o = -2*x + a for o.
-5
Suppose 3*k - 48 = -39. Suppose 37 = 3*o + 5*d, 2*d + 72 = k*o + 2*o. Solve -2*s = 2*f + o, -s = -2*f + 2 - 1 for f.
-2
Suppose -2*o = -g + 3*g - 20, -5*g = 4*o - 45. Let r(t) = 2*t - 9 - t**2 - t + g + t**3. Let x be r(2). Solve -b = x, l + 4*b = 2 - 5 for l.
5
Suppose 17*o = 54 + 14. Suppose -3*n + 5*n - 10 = 0. Solve -2*g = o*u + 21 + n, -4*g = -4*u - 8 for g.
-3
Let n = -105 + 108. Suppose -16*d + n = -15*d. Solve r + 2*r - d = -3*s, -4 = 2*s + 5*r for s.
3
Let b(i) = i**2 + 14*i + 58. Let x be b(-6). Solve -4 = -4*o + 4*w, -o - 12 + x = -2*w for o.
4
Suppose -3*w + 3*f - 16 = -13, 0 = -3*w + f + 5. Solve 0 = 5*n - 4*n - l - w, -4*n - 4*l = -28 for n.
5
Let f(y) = 10*y - 238. Let k be f(24). Solve -k*m - 4*v - 10 = 0, 4*m + 1 = m + v for m.
-1
Let t be (-4)/(1 - -11)*10*(-6)/4. Let n = 0 - -4. Suppose n*m - 2*z - 3*z = 29, m - 5*z = -4. Solve -t*w = -4*j + 3*j + 15, -3*w = -j + m for w.
-2
Let f(i) be the third derivative of i**4/24 + 5*i**3/6 + 7*i**2. Let q be f(-2). Let s be (-28)/(-8) + q/(-6). Solve 2*x = 6*x + u - 24, -s*x = 5*u - 35 for x.
5
Let w = 8 + -5. Let l be ((-2)/(-5))/(119/(-85)) - 68/(-238). Solve l*k = 4*k, -w*k = -p + 5 for p.
5
Let i = 47 - -4. Solve 4*t + i - 20 = 3*y, -y - 7 = 3*t for y.
5
Let v(z) = -z**3 - 12*z**2 - 4*z - 17. Let x be v(-12). Suppose -35 + x = -y. Solve 4*n + a + a + y = 0, -3*a = -5*n + 6 for n.
0
Let m be (-38 + -18)/14 - (4 + -8). Solve -t + r + 3 = m, 15*t - 2*r - 13 = 20*t for t.
-1
Suppose -3*c = -5*k + 35, -4*k - 8 = 5*c + 1. Suppose -10*x - 24 = -13*x. Suppose 8 = -o + 3*z, 3*z + 2*z - x = 3*o. Solve n + s = -o, -n - k*s - 8 = -s for n.
-2
Suppose 228*h = 221*h - 91. Let l be h/(-52)*(6 + -2). Solve -6 = -2*g + 2*x, -5*x - 16 = -3*g + l for g.
-1
Suppose 4248 - 11056 = 23*a. Let u = a + 301. Solve u*k - 11 = t + 2, -2*t + 3*k = 12 for t.
-3
Let a(p) = 1098*p - 6583. Let v be a(6). Solve -v*i - 3*x = -13, -105*x + 110*x = -5*i + 15 for i.
2
Let b be (169/78)/13*30. Solve b*k + 10 = 2*a, -10 + 30 = 5*k + 4*a for k.
0
Suppose 0 = -20*x - 23 + 63. Suppose 4*l + 3*i = 24, -l - 2*i + x = -9. Solve m - 14 = 2*j - 5*j, l*m - 2*j - 9 = 0 for m.
5
Suppose 269*z - 534*z = -530. Solve -z*t = 4*v + 14, -4*t + v - 4*v - 3 = 0 for t.
3
Let g = 81 - 79. Suppose 10*u = 4*u + 12. Let a be u + 4 - 3/3. Solve g*c = 8, -3*p + c = -a + 24 for p.
-5
Suppose -4*r - 4*y + 2372 = 0, 5*y + 2417 = 34*r - 30*r. Let p = -596 + r. Solve -2*h - p = 2*x, 4*h - 4*x - 10 = 2*h for h.
1
Let n(t) = -10*t - 164. Let i be n(-15). Let j(a) = -a**3 - 12*a**2 + 29*a + 17. Let g be j(i). Solve -3*r - 26 = 4*x, -3*r + g = -5*x - 16 for x.
-5
Let c(y) = -2*y**2 + 9*y + 32. Let r be c(14). Let j be (-4)/(-10) + (r/(-30))/3. Solve 3*s + 5*x = 4*s - 12, -j = -3*s + 4*x for s.
-3
Suppose -4*f + 5*w = -21, 2*f = 4*w - 0 + 12. Let m(j) = -4 - j + 6 + 4. Let z be m(f). Solve 5*n - 3*o + 31 = 0, z*n - 2*o + 5*o + 4 = 0 for n.
-5
Let t(q) be the first derivative of 5 - 5*q - 1/3*q**3 - 3*q**2. Let w be t(-4). Solve 3*g + 5 = 2*k - 12, -2*g - 18 = -w*k for g.
-3
Let n(u) = 7*u - 162. Let f be n(23). Let s be ((-60)/(-24))/(f/(-2)). Solve 2*c - 1 = s*m, -3*m + 6 = c - 0*m for c.
3
Let m be 30/70 + -11*1/(-7). Suppose 0*s - m = -2*s. Solve 2*n - s = -g, 23 = 4*g - g - 4*n for g.
5
Suppose -18*q + 21*q = -3, 5*p - 16 = -4*q. Suppose -p*s - 8*s = -72. Solve c - 2*m = -1, 3*m = 3*c - 3 + s for c.
-1
Let k = -8579 - -8597. Solve -c - 3*c + k = -o, c = o + 3 for o.
2
Let k(t) = -10*t - 5. Let j be k(-3). Let x = 27 - j. Suppose 3*r + b + x*b - 15 = 0, 0 = r - 3*b + 15. Solve r = 5*a - 4*f - 15, -1 = a - 3*f - 4 for a.
3
Suppose 397 - 198 - 199 = 112*o. Suppose 3*s + 7 = 16. Let r(g) = -g**3 + 4*g**2 - 2*g. Let u be r(s). Solve o*w + 2*l - 3 = -u*w, -l = w for w.
3
Let v = -1 + 7. Let g(i) = -5*i - 240. Let w be g(-52). Suppose -w = v*k - 11*k. Solve -k*j = -3*z - 7, -7*j + 2*j + 4*z = -10 for j.
-2
Suppose 3*j + 3 = 0, 13*j = -3*i + 12*j + 26. Solve -4*s + 8*a - i*a = -19, 5*s - 29 = -3*a for s.
4
Suppose -1140 = -23*s - 289. Solve -3*d = 28*h - 30*h + 9, 4*h + s = -5*d for h.
-3
Let z = 14677 + -14672. Solve 3*n - 12 = o + z*n, 3*n + 15 = 0 for o.
-2
Suppose -4*f + f = -186. Suppose -4*c - 311 = -5*i, 2*i + 3*c - 30 = 76. Let g = f - i. Solve 2*h + 3*t + 25 = 0, -4*h - g*t - 2*t = 45 for h.
-5
Let a(i) = -3*i - 4*i - i**2 + 2*i**2 + 9*i + i**2 - 2. Let r be a(1). Solve k + 17 = 4*f, -3*f + r*f = -k - 2 for f.
5
Let n be ((-6)/(-4) + -1)/(16/256). Suppose -z + n = z. Suppose z*k - 2*k - 6 = 0. Solve 2*q + 13 = -k*u, 0 = 2*u - 6*u - 4 for q.
-5
Let w = -275 - -408. Let k = 112 - w. Let v = -13 - k. Solve 3*x + 6*i = 3*i + 21, 0 = 2*i - v for x.
3
Suppose -m + 22 = -d + 11, 2*m = -d + 25. Solve -8*y = -13*y - 5*t, 4*t + m = 0 for y.
3
Suppose l = 6 - 1. Suppose -64*v + 22*v + 24150 = 0. Let f = v + -573. Solve -l*r + 24 = -m, 4*m - r + f*r = -12 for m.
-4
Let p(c) = 2*c**2 - 4*c - 119. Let u be p(10). Solve 21 = -5*n - 2*h + u, -20 = -5*n - 4*h for n.
4
Let j(y) = y**3 - 16*y**2 + 35*y - 95. Let s be j(14). Solve s*w - 2 = -2*r, 4*r - r - 3 = 4*w for r.
1
Suppose 12*u = 21*u + 17*u - 104. Solve -19*b = -24*b - 3*l + 8, u = 5*b - l for b.
1
Suppose -25 = -2*c - 3*f, -5*c + 50 = 5*f - 0*f. Let t be -3 - c/(10/(-16)). Suppose 2 = 3*z - 7, 5*u - 5 = t*z. Solve -3*a - j = -u, -18 = -a + 2*j + j for a.
3
Let y = -36 - -53. Suppose y = 5*z - 8. Suppose 0 = -z*s + 4*s. Solve -h = -3*h + 5*m - 10, -4*h + 2*m - 4 = s for h.
0
Let t be (-68)/(-16) + (-12)/(-16). Suppose k - t = -0*k. Suppose -34 - 11 = -k*n. Solve -6 + 21 = 5*v - 3*l, 3*v + 3*l - n = 0 for v.
3
Let g be 89352/(-255)*30/(-24). Solve j = 3, -435*b + g*b - 4*j + 6 = 0 for b.
2
Let o be -66 + ((-1)/1)/(-1) + 2. Let h = 94 + o. Suppose 0 = f + h - 36. Solve w + f*j + 17 = -w, -5*w + 4*j = -7 for w.
-1
Suppose 0 = -2*d - 2*n, 0 = -5*d + 39*n - 40*n + 20. Solve 0 = -d*q - z + 1, -2*q - 3 + 25 = -5*z for q.
1
Let o(z) = -16*z + 1. Let q be o(0). Let c(r) = -r**2 - 4*r + 3. Let p be c(-4). Solve 0 = -p*j + 3*g - g + 1, j + q = g for j.
3
Suppose -a = -354 + 357. Let p be (3 + (a - 1))*(2 + -6). Solve 12 = -p*d, 2*d + 2 = 4*r + 8 for r.
-3
Let g be (-9)/((-405)/(-144))*-5. Suppose 0 = -4*q + g, -4*t - 9 + 33 = 5*q. Solve -2*i + 9 + t = 0, -4*p + 4*i = 40 for p.
-5
Let p(t) = -15*t - 115. Let r be p(-30). Let i = r + -333. Solve 4*l + 2 = -i, -2*n + 5*l = 1 for n.
-3
Let i = 11927 + -11925. Solve 0 = -5*k + 5*s - s + 27, i*k + 9*s = 32 for k.
7
Let g be -981*((-50)/15 + 3). Let b = -323 + g. Solve 