. Is n a multiple of 7?
False
Let m = -90 + -61. Let y be (-8 - -9)*(-2 - (m + -2)). Let u = y - 7. Does 18 divide u?
True
Let j(q) = q**2 - q - 1. Let b be j(3). Suppose b*y = 2*k + 1182, -2*y + 5*k + 460 = k. Does 17 divide y?
True
Let w(n) = -2*n**3 + 14*n**2 + 79*n - 49. Is 9 a factor of w(-11)?
True
Let j = -76 + 83. Suppose 3*z = -2*r + j*r + 9, 3*r = 0. Suppose -545 = -z*m - 5*o, 871 = 8*m - 3*m - o. Is 28 a factor of m?
False
Let w be (1852/(-6))/(240/360). Let v = w - -536. Does 3 divide v?
False
Let y = 3290 + -1586. Is y a multiple of 24?
True
Let o = 2818 + -2253. Does 113 divide o?
True
Let b(u) = u**2 + 35*u + 129. Let p be b(-31). Suppose 0 = -5*w + 4*z + 59, 5*z + 69 = p*w + 14. Does 2 divide w?
False
Let b(g) = g**2 - 19*g + 4. Let r be b(31). Suppose 5*k - r = -4*i, 23 = i - 5*k - 46. Does 5 divide i?
False
Suppose 654804 = -703*a + 721*a. Does 129 divide a?
True
Suppose -5*n = 5*i - 6*n - 291, 240 = 4*i + n. Let c be 46 - 0/(-3 - 1). Let b = c + i. Does 21 divide b?
True
Let f(b) = -113*b - 10. Let h be f(-10). Suppose h = -9*v - 7*v. Let p = v - -160. Is p a multiple of 15?
True
Suppose -24 = -5*p + 91. Let s = p + -14. Suppose -s*j + 1980 = -0*j. Is j a multiple of 44?
True
Suppose -2*r - 6 = -3*b, -3*r + 3*b + 17 = 5*b. Suppose 3*t - 44 = 5*w + t, 2*t + 36 = -r*w. Is 11 a factor of -3*(22/15)/(2/w)?
True
Let i(a) be the first derivative of -a**4/4 + 4*a**3 + 6*a**2 + 19*a - 9. Let l(q) = -3*q - 2. Let k be l(-5). Is i(k) even?
True
Suppose -116241 = -6*d + 3*d - 2*r, 4*d - 154962 = 6*r. Is d a multiple of 41?
True
Let a(w) = 5*w**2 - 92*w - 4237. Is 27 a factor of a(-34)?
True
Let h(y) = -y - 6. Let m be h(-8). Let i(t) = -1 + 12*t - 2 + 1 - 7 - t**m. Is 2 a factor of i(10)?
False
Suppose x - 4*x = 4*r - 1862, -3*r + 3*x + 1407 = 0. Let c = r - 936. Let k = -133 - c. Is k a multiple of 42?
True
Let n(q) = -q**2 + 14*q + 5. Let x be n(14). Suppose -5*k - x = 0, -4*a + 3*k + 2 = -1. Let f(i) = -i**2 - 2*i + 42. Does 19 divide f(a)?
False
Let f = 499 - 219. Suppose -s + 3*s - 9 = -5*i, 5*s - 33 = -2*i. Suppose s*h + f = 9*h. Does 35 divide h?
True
Let v(t) be the third derivative of t**6/120 + 13*t**5/60 - 13*t**4/24 + 23*t**3/6 - t**2. Let a = -1225 + 1211. Is v(a) a multiple of 9?
True
Suppose -2 = 5*k - 27. Suppose z + 403 = 3*d - 0*z, -k*d - 4*z + 649 = 0. Let y = -45 + d. Is y a multiple of 22?
True
Let i(o) = 2 - o + 15*o - 6*o. Let n be i(-4). Let q = n - -51. Is 21 a factor of q?
True
Let a(o) be the first derivative of 33*o**2 + 81*o - 76. Does 18 divide a(2)?
False
Let w be -3 - (-3*7 + 4). Let x(j) = j**2 - 12*j - 10. Let i be x(w). Let m = 66 - i. Is m a multiple of 12?
True
Suppose 65919 = -8694*w + 8737*w. Does 73 divide w?
True
Suppose 1062*p - 1065*p - l = -105031, -3*l = 5*p - 175053. Is p a multiple of 10?
True
Let n = -1557 + 13979. Is 7 a factor of n?
False
Let j = -10772 + 16169. Is 6 a factor of j?
False
Let c = -6472 + 15914. Does 19 divide c?
False
Let o be (-6)/(-4) + ((-4)/(-8) - 0). Is 17 a factor of 3 - -372 - o/(-1 - -3)?
True
Is 72 a factor of (-231)/(-21)*(-21 - -2037)?
True
Suppose 5*v - 3*v - 1958 = -4*a, -4*v + a + 3898 = 0. Suppose 3*p = v + 1257. Is 31 a factor of p?
True
Let z(w) = 5 + 2*w - 10 - 13. Let l be z(8). Does 5 divide (11/(11/(-10)))/l?
True
Let g = -92 - -130. Let w be (-34029)/g*(-4)/6. Suppose -60 = 3*j - w. Does 43 divide j?
False
Suppose -2*j + 4*s + 32474 = 0, -4*s = 184*j - 179*j - 81143. Is 9 a factor of j?
False
Suppose 2*k + v + 3 = 4*k, 2*v = -6. Suppose 5*l + 5*p - 320 = 0, k = -9*l + 4*l + 4*p + 320. Is 4 a factor of l?
True
Does 20 divide 31970 + 73/7 + 444/(-1036)?
True
Let u(z) = -z**3 + 14*z**2 + 6*z - 6. Let v be u(6). Let a = v + -201. Is 21 a factor of a?
False
Let m(j) = 3*j - 43. Let z(s) = -s + 1. Let w(c) = -c**2 - 4*c + 28. Let a be w(4). Let q(b) = a*z(b) - m(b). Is q(0) a multiple of 13?
True
Let o(b) = -4*b**3 + 7*b**2 + 5*b**3 - 15*b + 24*b. Let m be o(-4). Is 8 a factor of (-3)/12 + 375/m?
False
Let g(x) be the first derivative of -18*x**2 - 29*x - 99. Is 6 a factor of g(-4)?
False
Let d(j) = j**3 - 2*j**2 + 3*j - 6. Let c be 27 + -19 + (1 - 5). Is 19 a factor of d(c)?
True
Suppose 7*u - 20 = 8*u. Let h be ((-48)/u)/(4/10). Does 18 divide (-1 - 65)/((-4)/h)?
False
Let w = -7 + 5. Let s be (9/(-6))/(1/w). Suppose 3*a + 3 = -s, -4*t = 2*a - 1236. Is 14 a factor of t?
False
Suppose 4*b - 11670 = 7*j - 9*j, 5*b = 5*j - 29145. Does 103 divide j?
False
Suppose -56*k + 158490 = 21*k - 129336. Is 3 a factor of k?
True
Suppose 2*s = -3*g + 12126, -3*s - 87*g = -91*g - 18257. Does 135 divide s?
True
Let f = 1648 + -493. Is f a multiple of 3?
True
Let x(f) be the second derivative of f**3/2 + 15*f**2 + 28*f. Let g be x(8). Suppose -a + 42 = -g. Is a a multiple of 17?
False
Let w be 4*(-4)/8 - -3*3. Let b(j) = -j**3 + 7*j**2 + 13*j - 3. Let p(x) = x**3 - 7*x**2 - 14*x + 3. Let o(n) = 5*b(n) + 4*p(n). Is o(w) a multiple of 5?
True
Suppose -64124 = -38*c + 250668. Is c a multiple of 16?
False
Suppose -2*s - 16 = -5*g, 5*g + 4*s - 1 = -3. Suppose -2257*w - 8352 = -2259*w. Suppose 18*k = g*k + w. Does 39 divide k?
False
Let o(v) = -8*v - 47. Let x be o(-6). Let p be (-3 + 0 + 320)/x. Let k = 533 - p. Does 27 divide k?
True
Let h(r) = 5 - 18*r + 18*r + r. Let p be h(0). Is (-280)/12*(-42)/p a multiple of 28?
True
Suppose -4*g + 2*d - 1162 = 0, -g - 15*d - 289 = -16*d. Let t = 886 + g. Is t a multiple of 99?
True
Let m = -44 - -35. Does 8 divide -1 + -4 + 7 - m?
False
Let t(w) = -200*w + 728. Does 72 divide t(-23)?
True
Let q(x) be the first derivative of -3*x**4/4 - 6*x**3 - 19*x**2/2 - 7*x - 143. Does 26 divide q(-8)?
False
Let m(h) = 3*h**2 - 4*h - 44. Let c be m(-6). Suppose -54 = -89*k + c*k. Is k + 1 + (3 + -8 - -6) a multiple of 14?
True
Let c = -6859 + 7046. Does 78 divide c?
False
Suppose -5*t = 2*i + 16, t = i - 4 - 2. Suppose 3*w = -2*f - 5, 2 = 2*w + i*f + 8. Does 35 divide (-11 + w)/((-1)/14)?
True
Suppose -3*l - 4*q + 8 = -350, -5*q = 3*l - 359. Suppose 11 = j + 4*y, 2*j - 7*j + y = -l. Suppose -840 = 18*d - j*d. Is d a multiple of 12?
True
Let b(a) = 441*a + 1811. Is 65 a factor of b(4)?
True
Let u = -10337 - -14990. Is u a multiple of 141?
True
Let z = 11 - 19. Let j = -5 - z. Is j - (188/(-10) - (-6)/(-30)) a multiple of 13?
False
Let t(f) = 61*f - 15. Let y be t(15). Is 45 a factor of (y/(-105))/(2/(-63))?
True
Suppose 2 = 2*z, -15*z + 17*z + 5692 = 2*b. Suppose 19*l - 2568 = b. Does 21 divide l?
False
Let i = -5 + 11. Suppose i*z + 8 = 2. Let k = z + 17. Is k a multiple of 8?
True
Let z = -120 - -272. Let n(i) = -4*i - 44. Let h be n(-12). Suppose -7*c + 2*c + h*f = -z, -3*c + 5*f = -99. Is 14 a factor of c?
True
Suppose 0 = -j - 3, -5 - 2 = -4*y + j. Is (y - 0)*(-4 - -8) a multiple of 4?
True
Suppose 805 = 7*d + 2128. Let t = d - -323. Is t a multiple of 67?
True
Let r = -1233 + 2503. Suppose -5*y - r = -3*x + 254, x = 5*y + 518. Is 15 a factor of x?
False
Let d = 23 - -4. Let f = 42 - d. Does 22 divide (-12)/(-4) + f*3?
False
Suppose -5*c + 6 = -8*c. Let o be ((-57)/c)/((-6)/(-16)) - 0. Suppose -4*q = 7*u - 4*u - 108, 0 = -3*q - u + o. Is 24 a factor of q?
True
Suppose -3*p - 4*o - 28 = -2*o, 0 = 5*p - 2*o + 20. Let n be ((-15)/p)/((-1)/(-18)). Let d = n - 0. Is 16 a factor of d?
False
Let a = -135 + 134. Is 18 a factor of 1 + 215*1 + (-2 - a)?
False
Let o(l) = 1101*l - 3168. Is o(14) a multiple of 6?
True
Suppose -640595 + 1978162 = 319*d. Is d a multiple of 11?
False
Is 101 a factor of (-5)/15 + 10/(-15) - 2778*-2?
True
Is 5 a factor of (31 + 5)/(-6) + 71390/10?
False
Suppose 4*h = -5*w + 4 + 16, 21 = 2*w - h. Suppose -o = -w*o. Suppose 5*j - 2*k - 31 - 11 = o, -4*j + 4*k = -36. Is 5 a factor of j?
False
Let t(f) be the third derivative of -f**5/60 - 13*f**4/12 - 8*f**3 - 54*f**2. Does 8 divide t(-18)?
True
Let g(y) = 8*y + 322. Let s be g(-40). Suppose -s*l = -3*b + 2651, -5*b + 3*l - 426 = -4843. Is b a multiple of 32?
False
Suppose 10*g - 36451 - 17625 = -4*s, -g = -3*s + 40506. Is s a multiple of 32?
True
Let o(j) = 5*j - 7. Let c be o(2). Let f be ((-12)/10)/c - 284/(-10). Let m = -18 + f. Does 5 divide m?
True
Suppose -5015*z - 40222 = -5032*z. Is 169 a factor of z?
True
Let z(p) = 24*p**2 - 56*p + 1126. Does 59 divide z(27)?
True
D