3
Let j(n) = -4*n - 23. Let d be j(-8). Suppose -2*l + 4*p + 12 = 0, 18*l + d = 16*l - 3*p. Solve -3*x + 5*x + 8 = l for x.
-4
Let w = -918 + 906. Let d be (28/w + 2)*(5 + -11). Suppose 39 = 3*y + 5*r, -7*y = -3*y - 2*r - 26. Solve 0*f - y = d*f for f.
-4
Let y be 49*(0 + 20/14). Suppose y*p - 36 = 64*p. Solve 48*q - 46*q + p = 0 for q.
-3
Suppose 5 = -5*u, 2*a + 2*u - 131 = 17. Suppose -7*b + a = 8*b. Let p be (1 - -4 - -1) + -1. Solve b*t + 0*t = p for t.
1
Suppose -3*d - 309 = 5*l, 6*d - d + 179 = -3*l. Let v = 903 - 966. Let w = l - v. Solve w = -4*r - 6 - 10 for r.
-4
Let n be 2/(-9) + (-14)/(-63). Let q be (35 + n)*(-12)/(-15). Suppose z - 2*r + r = q, 3*z - 69 = -2*r. Solve 0 = -3*i + 8*i + z for i.
-5
Suppose -68*y + 383 + 359 + 74 = 0. Solve -21*z - y + 33 = 0 for z.
1
Suppose -10*z + 16 = -14. Let h be (1 - z) + (-66)/(-11). Solve 0 = -6*q + 10*q + h for q.
-1
Suppose 0 = 2*l + 19*l + 7*l - 5460. Solve -162*p - 297 = -l*p for p.
9
Suppose -2*q + v + 9 = 0, -541*q + 5*v = -546*q - 15. Solve 4 + q = -3*o for o.
-2
Suppose -3*u = 6, -5*u - 14 = 5*m - 19. Solve m*o + 29 = 14 for o.
-5
Suppose 4*w = w + 6, -5*w - 115 = -5*c. Suppose -t = k - 13, 5*t - 10 - c = -2*k. Solve -5*x - k = 15 for x.
-5
Let c be 8*(-7)/(-42)*(-1 + (-35)/(-20)). Solve -9*w = -c + 10 for w.
-1
Suppose 3*x + 4*x = 35. Let r be x + (-8)/4 - 2. Solve -g = 2 + r for g.
-3
Let x be (-2)/4 - 54/(-12). Let u be (21 - 9) + (-12)/(-9)*-3. Solve u*t - x = 10*t for t.
-2
Let t = 9 - 5. Suppose 5 = t*u + 1. Let d be 8 - (-23)/(-5) - 12/30. Solve d*s - u = 2 for s.
1
Let o be (5*(-4)/70)/((-2)/14). Suppose -9 - 3 = -o*w. Suppose 2*l - 16 = v + w, -v = -2. Solve -2*k - k + l = 0 for k.
4
Let o(t) = 819*t - 4338. Let c be o(6). Solve 576 = -11*i + c for i.
0
Let q = 2947 - 2943. Solve q*s + 78 = -9*s for s.
-6
Let q = 6 - 4. Suppose 0 = 6*w - 20*w - 14 + 84. Solve -w*r = -q*r for r.
0
Let r be 130*(0 - (4 + 18/(-5))). Let k be (-2)/13 - (268/r - 1). Suppose 53 = k*n - 7. Solve 3*x = x + n for x.
5
Suppose 0*d - 4*d + 5*z - 106 = 0, 0 = -2*z - 4. Let h = 29 + d. Let v be h - -1 - (-4)/((-12)/(-9)). Solve 2*w - 2 = -v for w.
-1
Let t(r) = 3*r**2 + 6*r + 8. Let c be t(-9). Let k = -100 + c. Let l = -94 + k. Solve -a = -l + 7 for a.
-4
Suppose 0 = -158*f + 14*f + 860 + 436. Solve -30 - 24 = -f*z for z.
6
Suppose 2*w = -4*m + w + 17, -m + 18 = 3*w. Let h be 25/1*(-7)/((-35)/m). Solve -4*o = o - h for o.
3
Let f(v) = -v**2 + 5*v + 6. Let h(s) = s**2 + 2*s - 4. Let r be h(-5). Suppose 6 = -i + r. Let w be f(i). Solve -4 = -w*n + 2*n for n.
1
Let h = 7603 + -7594. Solve -11*i = -14*i - h for i.
-3
Suppose -h + 5 = -5*n + 4*h, 0 = 4*n - 3*h. Suppose 5*k = 3*k - 3*y + 54, 38 = k - 4*y. Let a be 27/(-18) + k/4. Solve n*w - 15 = a*w for w.
-5
Suppose 0 = -2*n - 4*m + 42, 0 = -2314*m + 2318*m + 24. Solve 0 = n*z - 275 + 176 for z.
3
Let q(d) = -d**2 - 26*d + 38. Let p be q(-27). Let m be 1/2*(p + -9). Solve -o - m = -4 for o.
3
Suppose 0 = -6*x + 12*n - 15*n, 0 = x + n + 2. Solve -35*w - x*w = 74 for w.
-2
Let x be -5 - (-2)/(-6)*-27. Let i = 2 + 1. Suppose 0 = -u - i*g + 32, g = -2*u + 5*g + 54. Solve -u + 9 = -x*f for f.
5
Let b = -21 + 23. Suppose 2*r + b*a - 16 = -a, -24 = -4*r - 2*a. Suppose -r*l + 28 = 2*l. Solve 0 = 5*p - l*p - 3 for p.
3
Suppose 2 = -b + 3*i, 7*i = -3*b + 5*i - 6. Let q be b/7 + 30*48/140. Solve 6 = -4*c - q for c.
-4
Suppose -6*q + 1422 - 1404 = 0. Let m(y) = y + 13. Let f be m(q). Solve 0*z = -4*z + f for z.
4
Let v(p) = p**3 - 11*p**2 - 11*p + 17. Let t(n) = -n**3 + n**2. Let w be t(-2). Let x be v(w). Let k = x - 25. Solve k = 3*o + 7 for o.
-1
Let b = -23889 - -23894. Solve -717*l - b = -722*l for l.
1
Let u be 3 + (2*(-6)/12)/1. Suppose 2*o = -4*f + 13 + 15, 30 = o - u*f. Solve -9*x - o = 5 for x.
-3
Suppose -54*l + 2859 - 159 = 0. Solve 45*i - 30 = l*i for i.
-6
Let a be 23115/(-134)*((-3)/(-9) - 1). Solve 120*p - a*p + 15 = 0 for p.
-3
Let f = -18 + 38. Suppose 7*o - 28*o - 95*o = -348. Solve -23 = -o*t - f for t.
1
Suppose -38 = -2*v - 30. Suppose 2*u + 78 = -2*n, -n = -v*u - 118 - 63. Let f be -5*((-8)/12 + u/15). Solve f*z = 23*z - 10 for z.
2
Let t(d) = -d**3 + 16*d**2 - 60*d + 33. Let m be t(10). Solve -4*i - 41 + m = 0 for i.
-2
Suppose 149*z - 449*z + 3344 = -5356. Solve 0 = -t + z - 30 for t.
-1
Let n(l) = 69*l + 209. Let h be n(-3). Let d(m) = m**3 - 9*m**2 - 10*m + 5. Let t be d(10). Suppose -5 = h*o + t*j, 0 = -4*j - 7 + 3. Solve g = -o*g - 4 for g.
-4
Suppose -12*s + 11*s = 9. Let p be (-35)/(-1) - (-45)/s. Let r be p/(-4)*4/(-6). Solve -r*o + 14 = 39 for o.
-5
Suppose 5*r + 96 - 6 = 0. Let l = r - 41. Let z = -59 - l. Solve z = -2*q - q + 9 for q.
3
Let x(s) = 31*s + 316. Let a(k) = -k**2 - 2*k + 38. Let v be a(-8). Let t be x(v). Solve 8*m - 10 = t for m.
2
Let s be (0 - (11 - (-84)/(-7)))/(2/42). Solve -37*v = -s*v - 48 for v.
3
Suppose -3*d + 6*d = 6. Suppose 739*i - 776*i = -74. Solve d*l + i - 12 = 0 for l.
5
Let r(a) = -a**3 + 14*a**2 + 50*a + 34. Let m be r(17). Suppose 16*f - m*f = 0. Solve f = 2*c - 6*c for c.
0
Let t(m) = m**3 + 15*m**2 + 14*m + 2. Suppose -17*q = -19*q - 28. Let l be t(q). Solve l*z = -z for z.
0
Let y be (-411)/(-30) - (-9)/(-30)*-1. Solve 0*w - y = 7*w for w.
-2
Let i be ((-1560)/(-416))/((-30)/(-1008)). Solve -12*f + i = 42 for f.
7
Suppose -206 = -2*u - 4*z, -19*u + 2*z = -14*u - 587. Solve -21*t - u = 2*t for t.
-5
Let p be (20/(-8))/(35/(-2030)). Solve -47 = 49*g - p for g.
2
Let o = -3490 - -3493. Solve o = m - 4*m for m.
-1
Let i be (-3)/2*(-560)/42. Let o(b) = -b**3 + 21*b**2 - 21*b + 22. Let v be o(i). Let t = -1 + 4. Solve -h - v*h = t for h.
-1
Suppose 3*q - 8 - 28 = -9*q. Solve -23*y - q*y = 104 for y.
-4
Let r = 217 + -96. Solve -r + 120 = -k for k.
1
Let a = 177 - 151. Let p = 31 - a. Solve 9*c + p = 10*c for c.
5
Suppose 3*g - 6*g + 90 = 2*i, 0 = g + 5*i - 4. Solve -153 = -17*o - g for o.
7
Let z = 31 + -31. Suppose -4*d = -1 - 31. Suppose 0 = 6*a - 44 + d. Solve j - 1 + a = z for j.
-5
Let k be 0 + -10 + -2 - 0. Let m be 1 + 13 + (18 - 9) + -5. Let w = m + k. Solve d = -d - w for d.
-3
Let f(g) be the first derivative of 5*g**3/3 - g**2 + 2*g - 1. Let n be f(2). Let z be (n/(-10))/((-6)/20). Solve 2*k = 4*k + z for k.
-3
Let q be (-134)/((-5)/(-2)*28/(-70)). Let f = q - 127. Solve 0 = 4*t - f*t for t.
0
Let j(y) = y**3 - 3*y**2 - y + 9. Let b(k) = -k - 1. Let m(a) = -2*a + 2. Let w(n) = 3*b(n) - m(n). Let l be w(-8). Let s be j(l). Solve 0 = o - s*o for o.
0
Suppose 0 = 3*y - i + 102 - 122, 0 = 3*y - 3*i - 24. Solve 13*n = y*n + 7 for n.
1
Let q(c) = c**2 + 21*c + 3 + 1 + 2 - 26*c. Let n be q(1). Solve -n*i = 2*i for i.
0
Let x be 7/4 - 33945/(-1860). Solve -37*r + 57 = x*r for r.
1
Let w = 2248 + -2194. Solve -b - w = 8*b for b.
-6
Let z be (-714)/(-24) + (-4)/(-16). Suppose -z*w - 30 = -33*w. Suppose 0 = -3*c + w*c - 35. Solve 5*p - c - 5 = 0 for p.
2
Let i = -9620 - -9820. Solve -14*j = 26*j + i for j.
-5
Suppose -2*h + 3*h - 424 = -2*g, 0 = 2*h - 4*g - 872. Suppose h = -10*z + 30. Let q = -35 - z. Solve -q*u - 6 + 1 = 0 for u.
-1
Suppose -5*c + 12 = 3*q, -q + 3*c + 2 + 2 = 0. Suppose -7*z + 432 = 5*z. Suppose 0 = -55*v + z*v + 190. Solve -y = q*y + v for y.
-2
Let g be ((-15)/(-4) - 9/(-36)) + -2. Suppose -2*q + 108 = -g*n - n, 56 = q - 2*n. Let s be (-33)/24*-5 + 6/q. Solve -4*o - 3 + s = 0 for o.
1
Let a be (63/(-12))/(384/(-1024)). Solve -123 = -a*k - 151 for k.
-2
Let j = 415 + -258. Let s = 159 - j. Solve -k = 2 + s for k.
-4
Let h be (2 + (-30)/(-12))*4/3. Suppose 0 = 5*o + 5*y - 20, o + h*y - 4 = 2*y. Suppose 5*a = -3*f + 17, -4*f + 17 = -a + 2*a. Solve 3*l - a + o = 0 for l.
-1
Suppose -285 = 8*q - 211 - 170. Solve -q = -9*v - 30 for v.
-2
Let y = 38 + -37. Let r(w) = -w + 9. Suppose 18 = 3*v + 3*g, 0 = -5*v + 4*g + 34 + 23. Let p be r(v). Solve -y = k - p for k.
-1
Let t(v) = 3*v**2 - 4*v - 9. Let s(i) = 8*i**2 - 11*i - 26. Let j(u) = 4*s(u) - 11*t(u). Let g be j(-4). Let d be 2*6/g*-7. Solve d*m + 20 = -0*m for m.
-5
Let p = 45822 - 45815. Solve p*x + 99 - 85 = 0 for x.
-2
Suppose 65*r = 66*r - 14. Let m(w) = -w**2 - 48*w - 562. Let k be m(-22). Solve k = -4*u + r for u.
1
Suppose 61*y - 7805 = -2559. Solve -8*a + 22 = y for a.
-8
Let l = 275911 + -275910. Let q be 1 + 2 - (1 - 1). So