) = 19*a - 98. Is 15 a factor of n(17)?
True
Let p(x) = -x - 5*x - 1 - x**3 + 87*x**2 - 95*x**2 - 3*x. Let k be (-140)/21 - (-2)/(-6). Is p(k) a multiple of 13?
True
Suppose 185 = 27*n - 787. Is n a multiple of 4?
True
Suppose 3*u = -4*t + 36, -9 = -t - 2*u - 2*u. Is 18 a factor of 18*4 + t + -9?
True
Let m be 2/(-6) + (-86)/(-6). Suppose m = 6*x - 10. Let v(p) = 2*p**3 - 7*p**2 + 5*p + 2. Does 19 divide v(x)?
True
Let t = -1777 - -2128. Is t a multiple of 7?
False
Is ((2 + -1)*106)/(68/34) a multiple of 53?
True
Suppose 3*d + 8*k - 100 = 3*k, -k - 118 = -4*d. Let x be (-3604)/d + (-10)/(-75). Does 20 divide (x/2)/(2 - 3)?
True
Suppose 2*y = 3*y - 1. Let l = y - -1. Let g(r) = 19*r. Is g(l) a multiple of 19?
True
Suppose 5*s + 21 = -54. Is 9 a factor of (-24)/(-40) - 396/s?
True
Let t(p) = p**2 + 5*p - 3. Let l be t(-6). Let u be ((-24)/9)/(l/(-54)). Suppose 2*s - s - 19 = -3*f, -u = -2*s - f. Does 8 divide s?
False
Suppose -5*x = 3*z - 1059, -10*x + 205 = -9*x + 4*z. Does 5 divide x?
False
Is (82 + -1 + -2)/((-31)/(-434)) a multiple of 20?
False
Let p = -567 - -723. Is p a multiple of 11?
False
Let u be 174/(-21) - (-6)/21. Let h = 6 + u. Is (h - -35)/(3/2) a multiple of 22?
True
Let d(p) = -4*p - 4. Let z be d(-2). Let q be ((-16)/10)/(z/(-750)). Suppose 0*r + 4*r - q = 0. Does 25 divide r?
True
Suppose k + z - 265 = 0, 4*k - z - 1284 = -204. Is k a multiple of 8?
False
Let a(n) = -n + 5. Suppose -28 = 4*s + 2*w, 0 = s - 2*w + 7*w + 7. Is a(s) a multiple of 8?
False
Let w(z) = -z**3 + 32*z**2 - 40*z + 190. Is w(30) a multiple of 42?
False
Let u = -355 + 399. Is u a multiple of 4?
True
Let q = 867 + -245. Does 49 divide q?
False
Let n(z) = 20*z**2 + 6*z - 25 - 20*z - 21*z**2. Does 5 divide n(-10)?
True
Suppose 7*t - 2*t + 45 = 4*z, -3*z - 3*t = 0. Let s be 6/(-4) - (-5)/2. Let q = s + z. Is 6 a factor of q?
True
Let q(m) = -11*m + 7*m + 2*m + 15. Does 37 divide q(-11)?
True
Suppose -8*a + 11*a = b + 7823, 0 = 5*b - 5. Does 16 divide a?
True
Let d(q) be the third derivative of -q**6/120 + q**5/15 - q**4/12 + q**3/6 + 9*q**2. Let n be d(3). Is 14 a factor of n*-21*6/(-9)?
True
Let j(h) = -h**3 + 4. Let m be j(0). Let i be 19/m - 6/8. Suppose 5*l - i*r - 141 = 0, -5*l + 105 = 3*r + 2*r. Is l a multiple of 9?
False
Suppose -36 = 14*n - 16*n. Is (-18)/10*(-12 - n) a multiple of 6?
True
Let o = 66 - 57. Suppose -o*l + 29 = -25. Is l a multiple of 3?
True
Is 91 a factor of (-12)/36*(-2376)/2?
False
Let i = -30 + 56. Let o = i - 10. Suppose w - o = 32. Is 12 a factor of w?
True
Let i(z) = z**3 - 2*z**2 - 4*z - 13. Let s be i(5). Does 35 divide (56/6)/((s/90)/7)?
True
Let n(s) = 10*s**2 - 21*s + 311. Is 65 a factor of n(16)?
True
Suppose -50 = -6*h + 4*h. Suppose -3*d = -2*r + 2*d + h, -4*d = -2*r + 24. Suppose z = 3*z - r. Is 5 a factor of z?
True
Suppose 5*s - 2160 = 5*y, 3*s = -s + y + 1728. Does 27 divide s?
True
Let b = 93 + -68. Is 2/(-1) + 985/b*5 a multiple of 22?
False
Suppose -112*r + 104*r = -544. Is r a multiple of 13?
False
Let g(n) = 3*n**2 + n. Let o be g(2). Let t be (-350)/(-14) - (1 - 4). Suppose o*b + t = 15*b. Is 8 a factor of b?
False
Suppose 5*p + 10 = -5*d, -4*d - 2*p = 4 + 8. Let n = d + 0. Is n/8*-86 - 2 a multiple of 9?
False
Let p(x) be the second derivative of x**3/6 - x**2 + 2*x. Let d be p(4). Suppose -l + d*k = -3 - 1, -3*k = 3*l - 48. Does 4 divide l?
True
Let i be (700/40)/(23/24 + -1). Let l = i - -602. Is l a multiple of 26?
True
Suppose 7*w - 463 = 3*z + 2*w, 5*z + w = -809. Let b = -115 - z. Let j = b - 32. Does 14 divide j?
True
Does 3 divide (-306)/12*20/(-15)?
False
Let z be -2 + -1 + (-140)/(-5). Let n = z + -13. Does 20 divide (-38)/(3/n*-2)?
False
Let u(j) = j**2 - 11*j + 18. Let g be u(9). Suppose g = 4*k - b - 75, 4*k = -k + b + 93. Is k a multiple of 6?
True
Let t(b) = -b**2 + 18*b - 30. Let n be t(16). Suppose -n*u + 0*u - 5*y + 106 = 0, -27 = -u + 4*y. Is 10 a factor of u?
False
Does 8 divide 135/90 + 90/4?
True
Let b(j) be the third derivative of 3*j**5/20 + j**4/24 - 10*j**3/3 - 9*j**2. Is b(5) a multiple of 21?
True
Is (-263 + -1)*((-34)/8 - -2) a multiple of 22?
True
Suppose 0 = 4*q + 2*i - 9182, 94*q = 89*q - 2*i + 11476. Is 31 a factor of q?
True
Let y(k) be the first derivative of -k**4/4 + 8*k**3/3 - 2*k**2 - 3*k + 6. Is y(4) a multiple of 5?
True
Let t(g) = -g**2 - 7*g + 10. Let c be t(-8). Suppose -192 = -n - c*n. Suppose -4*h + n = 2*o, -5*o = h - 90 - 34. Is 8 a factor of o?
True
Let w = -3 + -3. Does 6 divide (-957)/(-55) - w/10?
True
Suppose 0 = 5*i + 3*n - 2385, -3*n - 20 + 5 = 0. Is i a multiple of 48?
True
Let i = 279 + -79. Is i a multiple of 20?
True
Suppose 60 = 2*l - 180. Is 21 a factor of l?
False
Let h be 6/(-4 - -2) - 2. Is 17 a factor of 86 + h*(-12)/20?
False
Let w(k) = k**3 - 9*k**2 - k - 5. Let f be w(9). Let i = 10 - f. Is 7 a factor of i?
False
Let p(f) = 16*f. Suppose 6 + 4 = -2*u. Let k = u + 7. Does 14 divide p(k)?
False
Let r = 128 + 2034. Does 11 divide r?
False
Let z(i) = -35*i + 49. Is z(-3) a multiple of 39?
False
Let i(f) = -f**3 + 13*f**2 - 12*f + 8. Let b be i(12). Suppose -3*q = u - 92, 4*u + 38 = q + b*u. Is q a multiple of 10?
True
Let v = -740 - -1147. Does 11 divide v?
True
Let h(i) = 54*i + 1. Let y be h(4). Suppose 0 = -5*s + y + 3. Does 4 divide s?
True
Suppose 0 = -4*w - 3*m + 71, 0 = -2*w + w - 5*m + 5. Suppose -14*b = -12*b - w. Is 3 a factor of b?
False
Suppose 0 = -3*h - 4*s + 8036, 31*h = 32*h + 3*s - 2672. Is h a multiple of 11?
True
Suppose 4*j + 0 = -4. Let z be (156 - -9) + j + 4. Suppose 3*y = -y + z. Does 14 divide y?
True
Let t(m) = m**2 - 40*m - 94. Is 30 a factor of t(56)?
False
Let b(s) = 15*s + 156. Is b(4) a multiple of 18?
True
Suppose -2*m + 4*m = -5*m. Suppose m = -8*f + 41 + 183. Is 6 a factor of f?
False
Let c(b) = b**2 + 2*b. Let f be c(-5). Suppose -17*j + 216 = -f*j. Is j a multiple of 18?
True
Suppose -3344 = -509*c + 501*c. Does 18 divide c?
False
Suppose 5*z - 2580 = -5*t - 0*t, 2*z = 4. Let d = t - 205. Does 18 divide d?
False
Let q be (-4)/(-2)*126/48*4. Suppose 7*c - 77 - q = 0. Is c a multiple of 14?
True
Let f(m) = m + 61. Is 37 a factor of f(11)?
False
Let a = 1314 + 57. Is 10 a factor of a?
False
Does 2 divide 87 - 23/(207/108)?
False
Let u(o) = 5*o**2 - 3*o + 15. Is u(4) a multiple of 18?
False
Let h be ((-4)/2)/(12/(-5) - -2). Suppose 54 = 4*f - 5*t - 291, -390 = -h*f - 2*t. Is 23 a factor of f?
False
Let z(w) = 3*w - 6. Let b be z(3). Let y = b + 7. Is 7 a factor of (-3 - 0) + 1*y?
True
Suppose 4*g + 4*y = 7 + 21, -4*y = -2*g - 4. Suppose -5 = -g*v + 3. Is 28 a factor of v/(-7) - 1352/(-28)?
False
Let c(m) = -3*m + 6 - m + 2*m + 4*m. Does 12 divide c(3)?
True
Let q = 312 - 207. Suppose -4*l = l - q. Is 10 a factor of l?
False
Let r = -11 - -3. Let f be (-9)/6 - 141/(-6). Let z = r + f. Is z a multiple of 7?
True
Suppose -64*c + 4860 = -10*c. Is c a multiple of 5?
True
Let y(t) be the first derivative of 3*t**2/2 - 7*t - 1. Let r be y(3). Suppose o = -r*o + 123. Is o a multiple of 19?
False
Suppose 0*a - 3*a - 27 = 4*z, 3*z - 9 = 0. Let o(c) = -c**2 - 29*c + 28. Does 36 divide o(a)?
False
Let j(z) = -z + 10. Suppose 4*w + 18 = -18. Let i be j(w). Is (-2 + 3)/(1/i) a multiple of 18?
False
Suppose 23*j = 155*j - 46860. Is j a multiple of 24?
False
Let m(p) = 19*p**2 - 41*p + 93. Is m(6) a multiple of 9?
True
Let y(u) = 7*u**3 - 19*u**2 + 13*u - 4. Let t(j) = 3*j**3 - 9*j**2 + 6*j - 2. Let g(b) = -9*t(b) + 4*y(b). Let l be 10/6*(5 - 8). Does 6 divide g(l)?
True
Suppose 3*c = 7*c + 180. Let a = c + 90. Does 20 divide a?
False
Suppose -4*i - 12 = 3*v, 0*i - 2 = -3*i - 5*v. Let t = 51 - i. Suppose -r = 2*r - t. Does 19 divide r?
True
Let k be 6 - (-2 - 3*-2). Suppose -3*u = o + k*o + 114, 155 = -4*u - o. Let b = u - -77. Is 16 a factor of b?
False
Let y(k) = k**3 - 28*k**2 - 27*k - 41. Let r be y(29). Let a be 18 + 2*2/4. Let t = a + r. Is t a multiple of 18?
True
Let h = -1551 + 2199. Is h a multiple of 36?
True
Suppose -o - 5*f + 10 = 0, -2*o - 5*f - 5 = 2*o. Let q = o - -16. Suppose -13 - q = -m. Is m a multiple of 12?
True
Let s be 5 - (-2)/(-8)*0. Suppose 4*v = -0*v - 3*b + 119, 149 = s*v + 4*b. Does 7 divide v?
False
Suppose -89*n - 936 = -91*n. Is 12 a factor of n?
True
Suppose -24*h = 1588 - 5452. Is 2 a factor 