+ 1 for f.
0
Let j = -5383 + 5385. Solve 0 = j*y - 2*q, 46 + 4 = 5*y + 5*q for y.
5
Let i = -5086 - -5087. Solve 2*v - y = i - 4, 2*v - 4*y = -18 for v.
1
Let o = 28987 + -28984. Solve o*a + 9 = 2*s, -a - 4*a + 23 = 3*s for a.
1
Let b be (-1)/3*1140/304*-4. Solve 0 = -4*l + 6*v - 4*v - 8, 0 = 5*l - b*v + 10 for l.
-2
Suppose -26*z + 21*z = 2*s - 54, -z + 81 = 3*s. Let v(w) = -2*w - 5. Let r be v(-4). Suppose r*m = 24 + s. Solve 3*b + 6 = -3*l + 4*l, m = 5*l - 2*b for l.
3
Let j be ((-4)/(-1))/(5/5)*1. Let g be ((-42)/(-6) - 3)*3/j. Solve -g*w - 3*y + 7*y + 8 = 0, -13 = -4*w + 3*y for w.
4
Let k(h) = -138*h + 9938. Let o be k(72). Solve -5*w = -q + 2, -q - 4*w = -6*w - o for q.
2
Suppose 133 - 513 = -2*s. Suppose 2*j + 186 = 4*v - 10, 4*v + j = s. Suppose -2*f = -6*f + v. Solve -h + f = 5*a - 7, 0 = -4*h - 3*a + 8 for h.
-1
Suppose t - 3 = -5*o, -o + 38*t = 40*t + 3. Solve -5*r - w = -15, 2*r + 282*w = 283*w - o for r.
2
Suppose 0 = -3*d + 76*d - 146. Solve -18 = d*k + 4*n, -k + 18 - 33 = 5*n for k.
-5
Suppose -128*h - 81*h + 231 = -132*h. Suppose -7 = 3*o - 1. Let z = o + 5. Solve -h*f + 3*c = -21, -4*c + z = 3*f - 4 for f.
5
Suppose 40 = 10*h - 2*h. Suppose 5*r - 27 = 2*q, 0 = -r - q + 3*q + 7. Suppose 3*k - 11*k = -r*k. Solve -g = -2*p - 6, 3*g + k*g - h*p = 13 for g.
-4
Let p(n) = 20*n - 2858. Let r be p(143). Solve 2*b = -5*f + 27, 3*b + 0 = r*f + 12 for b.
6
Suppose -4*d + 73 = -31. Suppose 16 = -2*r - 5*j, -d + 10 = 4*j. Solve 0 = r*i + 3*v - 18, 2*i - v - v = -2 for i.
3
Let m = -315 - -444. Suppose -m = 4*j - 3*w, j + 167 = -4*j - 2*w. Let l = -31 - j. Solve 0 = -l*y - f - 0*f, 3*y - 11 = 4*f for y.
1
Let s be (-5*(-20)/450)/(4/108). Solve 9*o + p = s*o - 13, -3*p = 5*o + 23 for o.
-4
Let z(v) = 13*v**2 - v - 30. Let r be z(-5). Let b = 301 - r. Solve -2*k + 16 = q + q, 2*q - b = 3*k for k.
3
Let q = -2564 + 2566. Solve 0 = 2*p + 2*u, -7*p + q*p = -u for p.
0
Suppose 0 = 18*c - 552 + 372. Solve -5*f + c = -3*j, 136*j - 10 = 137*j - 3*f for j.
5
Let o(n) = -12*n - 72. Let g be o(-10). Suppose 0 = h + 1, 0 = 2*d + h - 14 + 109. Let f = d + g. Solve u = -4*t + 12, -7 = -2*u + t - f for u.
4
Suppose -x = 3*c - 20, 5*x - 4*x + 36 = 5*c. Suppose -c*j - 172 = -200. Solve 0 = 4*v - 1 - 7, 5*l = -j*v + 33 for l.
5
Let d be (7 - 2) + (-495 - (-5)/(-5)). Let u = d + 494. Solve 4*g - 5*g = -u*v + 11, 3*v - 9 = 0 for g.
-2
Let d = -354 + 397. Let s(o) = -o**2 + 7*o + 5. Let v be s(-4). Let a = d + v. Solve 0 = 5*n - a*k + 17, 3*n + 5*k = 4 + 8 for n.
-1
Let t be 9*44/(-42) + 10 - 367/(-7). Solve -r = -n - 4, -4*r - 32 + t = n for r.
5
Let a = 9971 - 9969. Solve 2*c = 2*s - a, -5*c = 4*s - 0*c - 22 for s.
3
Suppose -s = 112*k - 107*k + 22, -25 = 5*s + 8*k. Solve s*n + 6 = -12*a + 9*a, 3*n - 2*a - 19 = 0 for n.
3
Let o(t) = t**3 - t. Let m be o(2). Let q be m*7/42 + 13. Solve 0 = -4*x + 3*v + q, v + 0 = 2 for x.
5
Let s = -384 - -70. Let c = s + 316. Solve c*h - 22 = -3*z, 2*z = -3*z + 20 for h.
5
Let s(d) = 2*d**2 - 388*d - 388. Let x be s(-1). Solve -3*v + 170*i + 4 = 171*i, -x*i + 4 = 2*v for v.
1
Suppose -135*r = -130*r. Suppose -2*t + 14*i - 11*i = -40, r = 4*i + 16. Solve 3*y + 0*w - 2*w - t = 0, 0 = 4*y - 3*w - 19 for y.
4
Suppose 50 = 83*v - 80*v + 8*a, 0 = -v + a + 2. Solve -f + j = -v, 5*j + 0*j + 24 = 3*f for f.
3
Suppose 0 = 14*u - 11*u - 2*h - 4, -h = -1. Solve 2*o - 5*b + b = -24, -u*b + 18 = -4*o for o.
-2
Suppose 151*n = 62*n + 445. Suppose -17 + 7 = -5*s. Suppose -33 = -5*f - 4*y, -s*f + 18 = 2*f - y. Solve f*k = t - 0 + 27, -n = k + 5*t for k.
5
Let l(y) = 3*y**2 - 3*y + 1. Let t be l(1). Let s be t*2 + -7*1/(-7). Solve 0 = -3*g - s, -2*g = -2*w - w - 1 for w.
-1
Suppose -9*w - 2363 = -2390. Solve -45 = 4*y + 5*q - 61, -w*q = -4*y - 16 for y.
-1
Suppose 0*u = 4*u + 3*v + 1, -3*u - 4*v = 6. Suppose -l + 2 = 0, -x - 6 = -u*x + 2*l. Solve 5*f - x = 5*g, -2 = -f - 2*g + 6 for f.
4
Let j be ((-6)/10)/(25/(-125)). Let w = -29 - -31. Solve -w*m = -0*m + 2*d + 12, m - j*d = 6 for m.
-3
Let z = -470 + 291. Let q = z + 181. Solve -a - 4*n = 17, 2*a + q*a = 4*n + 32 for a.
3
Let g be 3/(3/(-358)*2). Let v = 181 + g. Solve -o - 8 = v*i - 0*o, 4*o = 3*i + 1 for i.
-3
Suppose -4*t + 21 = 5*i, -11*i + 17 = 4*t - 10*i. Solve 0 = -4*z - t*a - 16, -a = -z + a - 7 for z.
-5
Suppose 22*p - 10327 = 3401. Suppose p = -13*f + 650. Solve 5*q + 21 = -4*m + f*q, -15 = 3*m + 2*q for m.
-3
Suppose -5*f - 10 - 6 = 3*s, -4*s + 7 = f. Suppose s*t = t - 2*t. Solve 4*w - 3*y - y - 12 = 0, t = -3*y + 6 for w.
5
Let i be (-2448)/(-224) + (-1)/(-14). Solve 0*x + 3*x = 4*d + i, -7 = 3*d - x for d.
-2
Suppose 50 = 79*y - 108. Solve s + 5 = -y*k, -3*k = -6*s + 3*s - 15 for s.
-5
Let a be (-91)/13 - (0 + -4 - 6). Suppose -3*b = -5*w - 5, -4*w + b - 6*b = -33. Solve a*s = -w*d + 14, 3 = 2*d + 1 for s.
4
Let l(z) = -z**2 + z + 191. Let d be l(14). Solve -3*m + 6 = -4*c - 5*m, m - d = 2*c for c.
-3
Let l(n) = 10*n + 510. Let y be l(-51). Solve 4*o = -2*h, y*o + 5*h - 24 = 2*o for o.
-2
Let t = -30 + 7. Let r = t + 22. Let p(s) = 3*s + 4. Let m be p(r). Solve -3*g - 4 = -5*h + m, -3*g - 3 = -3*h for g.
0
Let q be (-396)/(-165) - (6/(-10) - 0). Solve -q*i = -5*g - 37, -2*g - 5*i + 35 = -5*g for g.
-5
Let d(b) = 7*b**2 - 34*b + 2. Let g be d(5). Solve 14*c - 2*y + g = 13*c, 4 = -2*c - y for c.
-3
Let o(t) = 3*t**2 + t + 1. Let l be o(-2). Let g = -223363 + 223366. Solve 3 + 2 = 4*q + 3*x, 4*q - l = g*x for q.
2
Suppose 128*x + 21 = 135*x. Solve -3*d + 2*u = -22, -189 = -x*d + u - 169 for d.
6
Suppose -6*u - 21 = 5*w, u - 2*u + 9 = 5*w. Solve w*f + c + 0*c = 5, -7 = -f + c for f.
3
Let j = 1043 - 1040. Suppose y - 5 + 2 = 0. Suppose 2*g + 3 = -2*x - j, -5*g - 9 = y*x. Solve 4*b + 5*f + 5 = g, -3*b - 3*f = 2*f for b.
-5
Let d be ((-2)/4)/((12/2)/(-360)). Suppose -d = -25*y + 15*y. Let l be (1*-1)/((-3)/9). Solve -2*m + y*u = -23, l*u - u = -10 for m.
4
Suppose 55*p - 52*p = -21, 1 = 2*f + p. Solve 3*b + 279 - 282 = -4*k, -f*b - 2*k = -14 for b.
5
Let b = 8953 + -8951. Solve 5*n - b*g = -3*g - 1, 0 = -5*n + g - 9 for n.
-1
Let t(g) be the second derivative of -g**4/12 + 11*g**3/3 + 6*g**2 - 7*g. Let p be t(22). Suppose 13*h - 2 = p*h. Solve 0 = s + 5, h*m - m - 4*s = 22 for m.
2
Suppose n = -0*i - 2*i + 3, i - 6 = -n. Suppose -4*w = -w - n. Solve a - 6 + 0 = -3*b, -a = -w for b.
1
Suppose l + 5*s = 22, -5*l = 5*s - 12 - 18. Let k(v) = -15*v + 1. Let c be k(-1). Suppose c = 5*r - r. Solve 0 = 3*t + 9, l*i + 2*t = 7*i + r for i.
-2
Let r(d) = -d**2 - 31*d + 70. Let x be r(2). Solve -x*i = -20, 4*z - i + 6 = 3*z for z.
-1
Let t = -1093 - -532. Let i = t - -563. Solve -2*j - i*x - 3 = -x, 0 = 5*j - 5*x + 45 for j.
-4
Suppose -4*b + 70 = -5*q, 10 = 2*b + 5*q - 40. Solve -4*x + 2*w - 18 = 0, 4*w - 16 + b = 0 for x.
-5
Suppose -170 = -14*g - 114. Solve -g*y + 2*u = -4, -9 = y + 2*u - 5 for y.
0
Suppose -9 = -3*f + 30. Suppose 4*u + b - f = 0, -3*u + 3*b - 11 = -8*u. Solve 4*s = 3*w - 1, u*w = -0*w + s - 3 for w.
-1
Let b = 66 - 51. Let x be -2 + ((-18)/45)/((-1)/b). Suppose 2*s = -x*z - 3*s + 46, 3*s = -5*z + 51. Solve 2*o - z = -h, 2*o + 4*h = -0*h + 12 for o.
4
Let o = -524 + 491. Let g(t) = -t - 26. Let l be g(o). Solve 5*n = 4*u - 1, 2*n - 11 = -3*u + l for n.
3
Suppose 0 = 48*z - 681 - 999. Solve 4*r = -5*p + z, -6*r - 4*p = -2*r - 32 for r.
5
Suppose u = -d + 379, 10*u - 5*d - 1915 = 5*u. Suppose 381 = -2*o + u. Solve -16 = 4*t, 2*q + t = -o*q - 6 for q.
-1
Let b(u) = u**2 + 12*u - 12. Let s(r) = 1. Let q(k) = b(k) - 4*s(k). Let y be q(-15). Let g = -24 + y. Solve -g*z = 2*v - 5, 5*v = -0*v - 5*z + 20 for v.
5
Let w = 2727 - 2722. Solve -w*o + 15 = l, 3 = -4*l - 2*o - 9 for l.
-5
Let l(t) = -2*t**2 + 78*t + 348. Let r be l(43). Solve 5*w + 10 = 2*d - 23, r*w - d = -24 for w.
-5
Suppose 4*i - 2*v + 95 = v, v - 85 = 4*i. Let j be -5 + 9 + i/(-5). Solve 0 = h - 3*s + j, 2*h + 0*h + 8 = 2*s for h.
-2
Suppose 4*j - 36 = -5*s, 4*s = -0*j + 3*j + 4. Solve 5*d - 10*d + 2 = s*n, 3*n = -4*d + 2 for d.
2
Let k be -25 + (27 - 4) + 0 + 15. Solve -m - 9 = 2*t, -151*t + 149*t - 5*m = k for t.
-4
Let o be 260/117 + 3 + (42/27)/(-7). Solve -5*n = -2*b - 10, -b = o*n - 2 - 8 for n.
2
Let c be 9/216*-21*4*(-4)/7. Solve 5*t = -2*q - 12 + 25, 3*t = c*q + 11 for t.
3
Let b(z) = -z**2 + 14*z - 44. S