5. Let d = 404 - 257. Suppose 5*a - 7 - d = 3*p, -3*a - 4*p + 104 = z. Is a a multiple of 16?
True
Is 3 a factor of (-2)/(-33)*3633 + 46/(-253)?
False
Let g(o) = -29*o + 9. Let t be g(-4). Suppose -u = -c - c + t, 0 = 5*c - 3*u - 311. Is c a multiple of 36?
False
Let c be -4*(5/(-25))/((-2)/5). Does 5 divide c/8 + 1002/8?
True
Let q be 4/14 - 3946/(-7). Suppose 5*g - g - q = 0. Is g a multiple of 24?
False
Suppose -678 + 50 = -4*r. Suppose 3*c - r = -6*u + 2*u, 5*u = -4*c + 208. Does 33 divide c?
False
Let o = 26 - 22. Suppose 2*q + 0*i = 3*i + 118, 0 = o*q - 4*i - 236. Is q a multiple of 11?
False
Let i(u) = 31*u**2 - 15*u - 51. Is i(-3) a multiple of 39?
True
Let t(n) = -n**3 - n**2 + 5. Let w be t(0). Suppose -5*y + 5*z - 22 = -147, -w*y + 2*z = -122. Suppose 0 = -4*j + 184 - y. Does 10 divide j?
True
Suppose -2*r = -3*w + 7, -3*r + 0*r = -2*w + 3. Suppose -5*a + 1540 = 5*i, w*i + 889 = 3*a - i. Does 20 divide 33/(-55) - a/(-5)?
True
Suppose -z + 2 = -6. Let n be (-4)/(-16) + 6/z. Is 6 a factor of (-6)/18*(n + -88)?
False
Let q be (6/4)/((-3)/(-10)). Suppose 201 = 2*p - 5*z + 4, 5*z = q*p - 470. Is 13 a factor of p?
True
Let z = 12 - 11. Suppose 3*h - z = -10. Is 5*-1*12/h a multiple of 5?
True
Let d = -26 + 40. Suppose d*u - 6 = 15*u. Does 23 divide 93 + (u/3)/2?
True
Is (-24)/156 - (-1460)/26 a multiple of 10?
False
Let h = -332 - -474. Suppose -399 = -3*w - 3*u, 2*u - h = -w + 4*u. Suppose 2*n = 2*o - 0*n - w, -3*o = 5*n - 220. Does 14 divide o?
True
Suppose w - 14 = -11. Is 18 a factor of 15/w*((3 - -42) + -4)?
False
Let b(p) be the third derivative of 0*p + 0 + 1/24*p**4 - 13*p**2 - 1/60*p**5 + 14/3*p**3. Is b(0) a multiple of 14?
True
Suppose 4*o - 2*l = 8, 0 = 5*o + 4*l - 45 + 9. Suppose o*z = 2 + 6. Suppose 2*h = -j - 2*h + 80, -z*j + 4*h + 100 = 0. Does 20 divide j?
True
Let i be (1 + 188/8)*4. Let n = -53 + i. Does 8 divide n?
False
Let t = 233 + 639. Is 16 a factor of t?
False
Let s be 6/8 + (-1446)/8. Let u be (s/8)/((-3)/(-4)). Let j = 7 - u. Does 8 divide j?
False
Suppose 4*j + 1453 = 2*h + 423, -j - 514 = -h. Suppose 159 = 6*d - h. Is 28 a factor of d?
True
Let z(a) = -3 - 4*a + 1 - 5 - 5. Let g be 12/(-10)*(-60)/(-9). Is z(g) a multiple of 6?
False
Let c(a) = 9 - a + a - a. Let z be c(7). Suppose 0*j = z*j - 76. Is j a multiple of 8?
False
Suppose -3*h + 9 = 3*g, -6*h - 5*g = -3*h - 9. Suppose -h*d + 58 = -122. Let k = d + -21. Does 6 divide k?
False
Suppose 2*w + 7 = 3*f + 30, -3*f + 9 = 0. Is 3 a factor of w/(-40) - (-67)/5?
False
Suppose 0 = -4*p - 27*p + 37758. Is 58 a factor of p?
True
Let a = 2152 + -928. Is a a multiple of 51?
True
Let o(z) be the first derivative of z**3/3 + z**2/2 + 57*z + 8. Is 11 a factor of o(0)?
False
Let q(p) = p - 12. Let v be q(12). Let l(t) = t**3 - 4*t**2 + 3. Let n be l(4). Suppose 2*a + c = 6*c + 13, c - n = v. Does 14 divide a?
True
Is 10 a factor of -440*(7 + 0 + -8)?
True
Let a = 62 - -160. Suppose -4*j + 2*q = 4*q - a, -4*q = 5*j - 282. Is j a multiple of 16?
False
Let v(z) be the third derivative of -6*z**2 + 1/10*z**5 + 1/8*z**4 - 1/120*z**6 + 0*z - 2/3*z**3 + 0. Is 12 a factor of v(5)?
True
Let c(n) = 2*n**2 - 34*n + 11. Is 11 a factor of c(17)?
True
Suppose -3*a - 3*r + 11 = -7*r, 0 = 4*a + r + 17. Is 98/4 + ((-36)/(-8))/a a multiple of 17?
False
Suppose -20*g - 10634 = -23*g - a, -17740 = -5*g - 5*a. Does 14 divide g?
False
Let u be (-1)/(-1)*3 - -2. Suppose 8 = q + 5. Suppose -u*o + q*o = -16. Is o a multiple of 4?
True
Suppose 1 + 3 = z, 34 = 2*f + 4*z. Suppose 24 = 3*c - 3*n, f = c + n - 5. Does 11 divide c?
True
Suppose 0 = 2*w + 4*w - 18. Suppose 0 = w*d - 4 - 8. Does 2 divide d?
True
Let l be (-2 - -4)/((-4)/(-46)). Let c = l + -41. Let w(k) = -k**2 - 21*k + 2. Is w(c) a multiple of 22?
False
Suppose 0 = 40*u - 14256 - 2544. Does 60 divide u?
True
Let l(z) = -z + 219. Suppose 2*s + 0*h = 3*h, 5*s = -4*h. Is l(s) a multiple of 18?
False
Suppose -v + 32 = -4*h, 2*v + 2*v = 2*h + 72. Does 2 divide v?
True
Let l(p) = p**2 + 2*p - 3. Let q be l(5). Let n = 13 + -5. Is (-127)/(-4) + n/q a multiple of 8?
True
Suppose 2*n - v = -3*n - 166, n + 3*v + 30 = 0. Let b = n + 56. Is b a multiple of 2?
False
Suppose 118*z - 315 = 111*z. Does 11 divide z?
False
Suppose 8 = 4*m, -4*y - 6*m = -2*m - 4. Let u(n) = -87*n + 8. Does 25 divide u(y)?
False
Suppose -t = -3*g - 21, -5*t + 4*g + 53 = 2*g. Suppose 0 = -t*l + 4*l + 60. Is l a multiple of 6?
True
Let z(i) = 5*i**2 - 14*i - 4. Is 2 a factor of z(6)?
True
Let v be 10/8 + 2/(-8). Let r be -3*v*(8 - 1). Does 14 divide 98/r*(-18)/2?
True
Suppose -5 = -m + 2*m, -4*m - 18 = u. Suppose -432 = -5*i + u*x, -x = -2*i - 4*x + 188. Is 6 a factor of i?
False
Let a(w) = 4*w**2 - 15*w + 51. Is a(16) a multiple of 3?
False
Suppose 4*q - 5*p = -56, -42 - 2 = 4*q - 2*p. Let j(c) = c**2 + 8*c - 6. Let r be j(q). Suppose 0 = -a - 2*f - 14 + 38, -r*f + 45 = 2*a. Does 6 divide a?
True
Suppose -s - 4 + 10 = 5*j, 0 = 5*j - 2*s - 18. Suppose 0 = d - 9 + j. Let u(n) = 2*n**2 + 13. Is 31 a factor of u(d)?
False
Is 30 a factor of (155/2)/(5/60)?
True
Suppose 10*y - 1200 = 8*y + 5*o, -3*y + 3*o + 1800 = 0. Is 40 a factor of y?
True
Does 19 divide 17304/(-70)*10/(-4)?
False
Suppose 3 = -3*h + 18, -4*l - 5*h = -33. Is 29 a factor of (l + 240)*(1 + 2/(-4))?
False
Let x(y) = -28*y**2 + 2*y + 2. Let i(a) = a**3 - a - 1. Let f be i(0). Let t be x(f). Is (t - (-2)/(-1))*-1 a multiple of 30?
True
Suppose 0 = -329*c + 318*c + 18106. Does 16 divide c?
False
Suppose 3*c - 1810 = u, -2*c - 2*c + 2*u + 2412 = 0. Is 37 a factor of c?
False
Suppose 4*l - v + 589 = -411, 2*l + 5*v = -522. Let r = 352 + l. Let u = r + -65. Is 20 a factor of u?
False
Let v(o) = o**2 - 7*o + 29. Suppose 12 = b + 4. Is 14 a factor of v(b)?
False
Suppose -3*w - w - 12 = -5*g, 0 = 5*w - 10. Suppose 0 = -s + g*i + 125, i + 18 + 497 = 4*s. Is s a multiple of 22?
False
Suppose -4*r = 422 + 62. Does 31 divide r/((1 - 3)*8/16)?
False
Let w = 18 + -15. Is 302/6 + 0 - w/9 a multiple of 22?
False
Let l(j) = -6*j**3 - 3*j**2 + j - 1. Let v(g) = -7*g**3 - 3*g**2 + 2*g. Let x(c) = 6*l(c) - 5*v(c). Does 14 divide x(-5)?
False
Does 21 divide 1512/4 + (11 - 3)?
False
Is (-1)/(14/(-180))*672/18 a multiple of 48?
True
Suppose -13*m - 694 = -7844. Is m a multiple of 11?
True
Let h = 2248 - 2050. Is 2 a factor of h?
True
Let z = -3 - -21. Suppose -z - 14 = -p. Suppose 0 = x - 0*x - 4*k - p, x + 4*k = 0. Is 8 a factor of x?
True
Let s(o) be the first derivative of o**3 + o**2/2 + o - 2. Let w be s(-4). Suppose 4*z + w = 9*z. Is z a multiple of 3?
True
Let l = 518 + -77. Does 11 divide l?
False
Suppose 0 = -11*v - 0*v + 1309. Suppose m - 200 = v. Is 47 a factor of m?
False
Suppose 494*k = 527*k - 75273. Is k a multiple of 44?
False
Let t = 33 - 57. Let z = 30 + t. Suppose -5*c + 3*n = -78 - 101, z = -2*n. Is 10 a factor of c?
False
Let v = 992 - 561. Does 26 divide v?
False
Let l(r) = -r**2 - 4*r - 4. Suppose 4*n + 4*f + 16 = 0, 0*n + 3*f + 10 = -2*n. Let o be l(n). Suppose o = -4*y + 439 - 151. Is y a multiple of 36?
True
Suppose 5*n = -5*k + 275, -n = -6*k + 4*k - 58. Does 14 divide n?
True
Let i(x) = x**2 + 3*x - 7. Let p(d) = d**3 - 4*d**2. Let l be p(3). Does 8 divide i(l)?
False
Let j be 1/(4/76) - 4. Let r(x) = -x**3 + 14*x**2 + 16*x - 5. Is 10 a factor of r(j)?
True
Let o = -54 - -399. Does 69 divide o?
True
Suppose -64 - 376 = 8*r. Let y = r + 73. Is 9 a factor of y?
True
Let h(d) = -d**3 + 18*d**2 + 34*d + 58. Does 16 divide h(18)?
False
Let a = 262 - 112. Is 3 a factor of a?
True
Suppose 51*q - 37078 = 46460. Is 13 a factor of q?
True
Suppose 130*x = 138*x - 19296. Is 12 a factor of x?
True
Suppose 4*k = 4*u + 48, 2*k + 0*u - 4*u = 30. Suppose -112 = -k*b + 13*b. Let w = 70 + b. Is 8 a factor of w?
False
Let a = 985 + -411. Is 41 a factor of a?
True
Suppose n - 2*y = -4*n + 27, 4*n - 17 = -3*y. Suppose n*j + 10 = -15. Is (-100)/j*36/10 a multiple of 24?
True
Does 54 divide 6 + 1077 + -7 - -4?
True
Suppose -31*j - 571 + 13002 = 0. Is j a multiple of 13?
False
Is 45 a factor of 2 - (6 + -10 - 489)?
True
Let j = 23 - 32. Let t(b) = 12*b + 11*b**2 + 3*b**3 - 6 + 25 - 2*b**3. Is t(j) a multiple of 29?
False
Is ((-13)/14 - (-15)/35)*-124 a multiple of 7?
False
Suppose -10*t + 9*t - 62 = 0. Let v = t - -75. Is 13 a 