)/(-2))/(-10 - -11)*-16. Let k be ((-2)/(-10) - (-568)/x)/2. Let p(z) = -27*z - 4. Does 27 divide p(k)?
False
Suppose 4*k = 5*o - 10 - 12, -o - 34 = 4*k. Let y be (-39)/(-4) + (-2)/k. Suppose 3*v - 284 = 3*j - 5*j, y = -5*v. Is 29 a factor of j?
True
Suppose 17*l - 13*l = 20. Suppose -l*j = p - 9 + 32, 0 = -3*p - 4*j - 14. Suppose 0 = p*o + 38 - 104. Is o a multiple of 11?
True
Suppose 6*b - 1 + 13 = 0. Let s be (-6)/(-3)*(-15)/b. Let u(v) = 3*v + 9. Is 10 a factor of u(s)?
False
Let i = -42 - -61. Suppose -343*a = -339*a - 124. Suppose c - a = i. Is 11 a factor of c?
False
Let t = -11731 + 83257. Is 262 a factor of t?
True
Is ((-82)/(-60) + 4/(-24))*9645 a multiple of 9?
True
Suppose 122*b + 94484 = 539418. Is b a multiple of 17?
False
Let a = -59 + 70. Suppose 0 = -5*s - 1 + a, 3*h - 1806 = -3*s. Is h a multiple of 40?
True
Suppose -l = 17*y - 15*y - 2507, y = -2*l + 1252. Does 3 divide y?
True
Let j(q) = q**3 + 2*q**2 - 2*q + 225. Let a(v) = -v**3 - 12*v**2 + 2*v + 24. Let w be a(-12). Does 32 divide j(w)?
False
Suppose -1589*v + t + 107908 = -1585*v, -3*v = 3*t - 80916. Is 23 a factor of v?
False
Suppose -v + 73*g + 3627 = 70*g, 0 = 4*v + 2*g - 14606. Does 152 divide v?
True
Let h be 7/3 - (30/45)/2. Does 22 divide ((-198)/h)/(1/4*-3)?
True
Let y(g) be the first derivative of g**4/12 - g**3/2 - 7*g**2 - 37*g - 6. Let k(d) be the first derivative of y(d). Does 20 divide k(-6)?
True
Suppose 1013*n - 862*n - 1546089 = 0. Does 174 divide n?
False
Suppose 2*v + 2165 = -903. Let p = 2206 + v. Is 21 a factor of p?
True
Suppose 3*u = c - 5*c + 4, 0 = 4*c + 4*u - 4. Let j = 76 - c. Is j a multiple of 6?
False
Let f be (-456)/(0 - 0 - (0 - -1)). Is f*(-2)/8*-2 a multiple of 6?
True
Suppose 8 = h - r, -3*h + 5*r + 21 = -13. Suppose -5*v + x + 33 = h*x, -2*v = -2*x - 2. Is v a multiple of 3?
False
Let j be 15*(-4 - 44/(-10)). Suppose -4*a = -j*a + 8. Suppose 173 = l - a*c, 4*l - 650 = 3*c - c. Is l a multiple of 16?
False
Let x = 248 + 44. Suppose -2*g = 2*g - 4*o + x, 2*g - 4*o + 138 = 0. Is 16 a factor of (-13230)/g + 4/22?
False
Let l(t) = -t**3 - 2*t**2 + t + 7818. Is 6 a factor of l(0)?
True
Let c(v) = 151*v**2 - 63*v + 262. Is 15 a factor of c(5)?
False
Let h = 2041 + -175. Is 14 a factor of h?
False
Let u(n) = -n**3 - 4*n**2 + 18*n + 22655. Is 23 a factor of u(0)?
True
Let c(j) be the third derivative of -13*j**2 + 1/2*j**4 - 7/6*j**3 + 0 + 0*j. Is 20 a factor of c(7)?
False
Let l(t) = -t**2 - t + 731. Let k be 8 - (13 + (-20)/4). Does 59 divide l(k)?
False
Let j(x) be the second derivative of -x**7/2520 + x**6/720 + 101*x**5/60 + 8*x**4/3 - 24*x. Let i(d) be the third derivative of j(d). Is i(0) a multiple of 34?
False
Let f be (-8)/40*-1 + 2239/5. Suppose 5*n = -3*c + f, 136 = c + 6*n - n. Does 26 divide c?
True
Let a = 5938 + -4049. Suppose 21*c - a - 1009 = 0. Is 57 a factor of c?
False
Is (575958/472)/(1*9/48) a multiple of 7?
False
Suppose -2*l = -11 + 1, -4*l = -4*x - 12. Does 22 divide -22 - -120 - 0*1/x?
False
Let g be ((-10)/(-60) - 2/(-6))*-30. Let w = g + 111. Is w a multiple of 2?
True
Suppose -24*o + 23*o - 35 = 0. Is 16 a factor of (-3 + (-567)/o)*5?
False
Let h(s) = -s**2 + 16*s - 13. Let i be h(15). Suppose -i*x - 8*x + 2110 = 0. Let q = -127 + x. Is q a multiple of 28?
True
Suppose 2*u - 1251 = -2*u - 5*a, 5*a + 663 = 2*u. Suppose k + 4*q - 165 = 0, -5*k + u = -3*q - 621. Is 37 a factor of k?
True
Does 12 divide 2904/((2/(-8))/(160/(-128)))?
True
Let d = 29992 - 14228. Is 154 a factor of d?
False
Suppose -5*v = -3*v - 6. Suppose d - v + 1 = j, 0 = j + d - 2. Suppose 2*q + i - 6 = 10, j = 2*i - 4. Is 2 a factor of q?
False
Suppose 37230 = 229*b - 227*b - 3*t, 2*b + 2*t = 37270. Is b a multiple of 21?
True
Let i be 894/12*(-1 + 5). Let c = i - 155. Suppose d + c = 3*k, -k - 236 = -6*k + 4*d. Is 16 a factor of k?
True
Let m(v) = -9*v**3 - 7*v**2 - 130*v - 15. Is m(-6) a multiple of 91?
True
Let m = -278 - -41. Let n = -181 - m. Is n a multiple of 14?
True
Let o = -243 - -243. Suppose -2*y + 3*q = 7*q - 26, 4*y - 5*q - 117 = o. Is y a multiple of 3?
False
Let m(l) be the first derivative of -23*l**2 + 3*l + 36. Does 7 divide m(-1)?
True
Let a(t) = 168*t**3 - t**2 + t. Let u = -16 - -31. Let o be (u/(-6) - -2)/(2/(-4)). Is a(o) a multiple of 12?
True
Let v(c) = -5*c**3 - 11*c**2 - 23*c + 26. Is v(-5) a multiple of 14?
False
Suppose 13460 = 8*j - 3*j + 2*s, -4*s = 0. Suppose 0 = 9*c - j + 226. Is c a multiple of 12?
False
Let w(z) = -z**3 - z**2 - z + 84. Suppose 0 = 4*a + s - 8, -3*a + 5*s = -1 - 28. Suppose 3*q = a*q + q. Is 14 a factor of w(q)?
True
Let u(k) = k**2 - 57*k. Suppose -v - 23 - 8 = 4*c, -c + 5*v = -8. Does 32 divide u(c)?
True
Let k(c) = -79*c + 54*c + c**2 + 9 + c**2. Is k(19) a multiple of 32?
True
Let a(z) = 30 + 8*z - 14 - 16. Let f be a(1). Suppose -11*p + 312 = -f*p. Is p a multiple of 26?
True
Suppose 18124 = 2*k - 5*z, 3*k + 2222 - 29426 = 3*z. Is k a multiple of 16?
True
Let v(d) be the second derivative of d**4/3 - 2*d**3/3 - 37*d**2 - 36*d. Does 65 divide v(15)?
False
Suppose 2*v + 2*o + 230 = 0, -v + 5*o - 86 - 29 = 0. Let b = v + 306. Is 3 a factor of b?
False
Let g(d) = d**3 + d**2 - d - 9. Let c be g(0). Let j(h) = -2*h - 16. Let r be j(c). Suppose -3*m = -6*m + r*y + 100, -y = 4*m - 126. Does 8 divide m?
True
Let b = 7239 - -710. Is 35 a factor of b?
False
Suppose 0 = 1653*t - 1677*t + 94697 + 80119. Does 12 divide t?
True
Let z = 209 + -197. Suppose 0 = k - z*k + 5566. Is k a multiple of 23?
True
Let l = -86 + 154. Let z = l - 58. Suppose z*b = -29 + 139. Does 5 divide b?
False
Suppose -16*f = -3901 - 17987. Does 3 divide f?
True
Let x be (3/15)/(2/20). Suppose 0 = -2*h + 3*v + 351, -2*h + 667 = x*h + v. Is h a multiple of 12?
True
Let l be (7/(-14))/(956/952 - 1). Is -4 - (26928/l + (-2)/(-7)) a multiple of 21?
False
Let t = -234 - -656. Let c = -240 + t. Does 13 divide c?
True
Let f = -10484 - -18211. Does 163 divide f?
False
Let n = -38846 - -58214. Is n a multiple of 14?
False
Let k(v) = -35*v**3 - 5*v**2 + 21*v + 84. Does 24 divide k(-4)?
True
Suppose 0 = 97*j - 115082 + 31759. Is j a multiple of 3?
False
Let u be (791/226)/(14/8). Suppose -3*d - 4*v + 1578 = 0, 0 = d + u*v - 754 + 226. Is d a multiple of 9?
True
Suppose -40215 - 32027 - 42418 = -52*y. Is 15 a factor of y?
True
Let s(a) = -a**3 + 9*a**2 + 13*a + 4. Suppose -4*g + 117 = -267. Suppose -g*n = -101*n + 45. Is s(n) a multiple of 9?
False
Suppose -3*q = -4*q + 315. Let l = -7736 - -7742. Is (-8 - -12)/(l/q) a multiple of 10?
True
Suppose -4*y = -5*d - 7*y + 544, -4*d + 4*y = -416. Let f = 140 - d. Is 11 a factor of f?
True
Let p = -594 + 613. Suppose -p*f = -5883 + 1456. Is f a multiple of 2?
False
Is 23 a factor of (-8)/14 + 1530/(-1428)*70628/(-5)?
True
Let m(g) be the first derivative of g**4/4 - 13*g**3/3 + 6*g**2 + 5*g + 17. Let k be m(12). Suppose -2*f = k*n - 48, 4 = -n - 5*f + 9. Is n a multiple of 10?
True
Let w(f) = -f**3 + 2*f**2 + 8*f - 4. Let i be w(4). Let m be (-170 - (-5 + 5))/(2/i). Suppose -7*n - m = -12*n. Does 17 divide n?
True
Let q(m) = 2*m**3 + 535 - m**3 - 605 - 29*m**2 - 42*m. Does 55 divide q(31)?
True
Suppose g - 551 = -541. Suppose 1588 = 14*d - g*d. Is 20 a factor of d?
False
Is 7 a factor of (-4000)/(-26) - (120/260)/(-3)?
True
Suppose -29*k + 21*k + 2640 = 0. Let f = -290 + k. Is f a multiple of 5?
True
Suppose -3*b + 22 = 2*z, 3*b - 26 = -b - 2*z. Let o(m) = m**3 + 17*m**2 - 2 - 2*m - 4 - b - 11. Does 2 divide o(-17)?
False
Let w(s) = 4*s**3 - 7*s + 32. Let u(f) = f**3 - 2*f + 8. Let k(r) = 9*u(r) - 2*w(r). Let c be k(-4). Let v = c + 49. Does 9 divide v?
True
Suppose 5*y = -28 - 12. Let v = 15 - y. Suppose g + v = 5*w, 0*g + g = -5*w + 17. Is w a multiple of 4?
True
Suppose 111021 = 40*l - 162899. Does 58 divide l?
False
Let m(p) = -7*p + 1. Let c be m(-3). Suppose 61*u = 60*u + c. Suppose -75 = -u*d + 17*d. Is d a multiple of 5?
True
Let i(p) = 5*p**2 - 14*p + 116. Does 102 divide i(-21)?
False
Is 28 a factor of 19/(-8550)*-36 - 72098/(-25)?
True
Suppose 123*j = 130*j + 42. Is 35 a factor of 36 - -2 - (j - -9)?
True
Let y = 33207 - 12028. Is y a multiple of 22?
False
Let h(a) = -a**2 - 25*a + 9. Let g be h(-22). Let k be 8/(-60) + 160/g. Suppose k*w + 2*d - 24 = 0, d + 14 - 77 = -4*w. Is 4 a fact