 - 20178, -2*y + 5*l = -40266. Is y a multiple of 22?
False
Let z be 2/(7/(420/(-8))). Let r = z - -20. Suppose 3*q - r*q + 104 = 0. Is 13 a factor of q?
True
Let n be (-1547)/(-52) + 6/(-8). Let v be 2 - -251*(-7 + 9). Suppose -n*f = -25*f - v. Is 21 a factor of f?
True
Let y be 2/9 - 50/(-18). Let h(g) = 2*g**2 - 7*g + 12. Let r be h(y). Suppose -6*b + r*b - 411 = 0. Does 13 divide b?
False
Let j(y) = -6226*y - 10154. Does 18 divide j(-8)?
True
Let r = -1301 - -1856. Let w = r - 294. Is 28 a factor of w?
False
Let v(i) = -i**3 + 19*i**2 + 35*i - 111. Suppose -3*t - 30 = -90. Is v(t) a multiple of 30?
False
Let s(i) = 4*i**2 + 8*i + 10. Let a be s(-5). Suppose -20*x = -25*x + a. Let p(m) = m**2 + 12*m - 29. Does 49 divide p(x)?
False
Let d(r) = 158*r**2 - 5*r + 0 + 8*r - 2*r + 1. Is 40 a factor of d(1)?
True
Suppose 14*m - 264 = -10*m. Suppose -4*v - 920 = -4*p, m*p - 12*p = v - 220. Is 9 a factor of p?
True
Let a be (-99)/66*4/(-3). Suppose -u - 3069 = -5*t + 2*u, a*t - 1218 = -2*u. Is t a multiple of 51?
True
Suppose -49441*j + 49425*j = -179200. Is j a multiple of 16?
True
Suppose -15*n = 84*n - 235521. Does 32 divide n?
False
Suppose 5*c + 15 = -5. Let a(w) = -4*w**3 - 2*w**2 + w + 3. Let l be a(c). Let y = -149 + l. Is y a multiple of 23?
False
Let r(h) = 3*h - 10. Let y be r(-20). Let d = y + 91. Is 7 a factor of d?
True
Let t(k) = 1189*k - 1212. Is 17 a factor of t(5)?
False
Let v = 20176 - 17176. Is 15 a factor of v?
True
Let f = 15610 + -7942. Does 27 divide f?
True
Let d(h) = 10 + 21 + 14*h + 23*h**2 - 22*h**2. Is d(-13) a multiple of 6?
True
Is (3 - (-24)/3) + 2077 a multiple of 47?
False
Suppose -2*i = -58 - 64. Let s = i - 62. Does 8 divide (-9 - -13)/(s/(-6))?
True
Let h(k) = -k**3 - 12*k**2 - 13*k - 15. Let f be h(-11). Suppose -f - 132 = -l - z, 2*l + 3*z - 278 = 0. Let q = l - -22. Is 15 a factor of q?
False
Let w(s) = s**3 + 7*s**2 - 8*s - 17. Let d be w(-7). Suppose -6*p + 33 + d = 0. Suppose p*i - 396 = -0*i. Does 33 divide i?
True
Let b(f) = 51*f**2 + 23*f + 55. Let r be b(-4). Let q = r - 551. Does 17 divide q?
False
Let t be (-1 + 1/(-2))*(-3400)/(-15). Let x be 54/243 - (1 - t/(-9)). Is 21 a factor of (5 - 2)*x - (4 - 3)?
False
Suppose -60*z + 25960 = -16974 + 10234. Does 109 divide z?
True
Suppose h = -5*x + 3, -5*h + 4*x = 2*x - 150. Suppose -h*v + 9450 = -3*v. Is v a multiple of 18?
True
Suppose -w + 6*w = -335. Let r = w + 169. Suppose n - 3*d + r = 6*n, -5*d + 16 = n. Does 3 divide n?
True
Let u(d) = -83*d**3 - 772*d**2 - 4671*d - 8. Is u(-6) a multiple of 58?
True
Suppose -134402 = -115*k + 451638. Does 14 divide k?
True
Let m be 15/3 - 1 - -231. Suppose 4*q - 149 - m = 0. Is 12 a factor of q?
True
Let m(v) = -13*v**2 - 3*v + 9. Let l be m(4). Let c = 306 - l. Is c a multiple of 10?
False
Let x = 31660 - 19249. Is 21 a factor of x?
True
Suppose -2*v = -4*v - v. Suppose v = -17*q + 14*q + 195. Suppose -2*p = -7*p + q. Is p a multiple of 6?
False
Suppose -16*b + 15944 = -25000. Is 25 a factor of b?
False
Let b(o) be the third derivative of 29*o**4/8 - 3*o**3 + 29*o**2. Is 33 a factor of b(4)?
True
Let c(h) = -h**3 + 12*h**2 + 3*h + 2. Let s be c(-5). Suppose s + 1568 = 10*v. Is v a multiple of 11?
True
Suppose 5*r = y + 11, 5 = 4*y - 5*r + 19. Let v be -5*7/5*y. Suppose g = v*g - 1620. Is g a multiple of 30?
True
Suppose 0 = 4*y - 0*w - 4*w, -w = y - 4. Suppose 7*b = y*b - 5*i + 395, -5*i = -2*b + 158. Does 6 divide b?
False
Let n(t) = -t**3 - 2*t**2 - 12*t - 48. Is n(-12) even?
True
Let b(a) = 1 + 7*a - 6 + 6*a**2 + a**3 + 2. Let f be b(-6). Is 9 a factor of (24/10)/((-3)/f)?
True
Does 9 divide 31474/2 - (-23 + 7)?
False
Let r(j) = j + 40. Let f be r(-17). Suppose 7 + f = -5*p. Does 10 divide ((-630)/28)/(p/32)?
True
Let v be 6/15 + 1521/(-15). Let d = v - -108. Suppose 0 = -2*c + 5*p + 51, p - 40 = -2*c - d. Does 6 divide c?
True
Let z(l) = -l**3 + l**2 - l. Let d be z(2). Let f(m) = -12*m + 5. Let a(h) = h. Let y(t) = -5*a(t) + f(t). Does 29 divide y(d)?
False
Let r = -7 + 11. Suppose 7*v = r*v + 15. Suppose -41 = -g + 5*i, 0 = i - 4 + v. Does 18 divide g?
True
Suppose -14*x + 43*x - 25*x - 10704 = 0. Does 4 divide x?
True
Suppose f + 77228 = 4*m, -5*f + 212382 = 11*m - 9*f. Does 98 divide m?
True
Let p = 116 - 127. Let s(t) = -5*t + 44. Is 6 a factor of s(p)?
False
Suppose -d + 24 = -0*d + 4*b, d = 3*b - 11. Suppose -3*r = m - 406, -r + 0*r = d*m - 117. Is r a multiple of 5?
False
Suppose 40 = l - 2*v, -4*l + 39 = -2*v - 133. Let c be (-10)/(-55) + (-448)/l. Let g = 85 - c. Is 35 a factor of g?
False
Suppose -28665 = 2199*p - 2206*p. Is p a multiple of 9?
True
Let y(n) = 271*n**3 - 2*n**2 - 14*n + 13. Is 67 a factor of y(1)?
True
Suppose -41 = 3*z - 56. Suppose -z*a - 2083 = -5*g - 683, g = -a + 276. Is g a multiple of 13?
False
Let p be 444/259 + (-4)/(-14). Suppose -n + 201 = -5*a, 3*n + p*a = 8*n - 1028. Does 14 divide n?
False
Let x(p) = 24*p**2 + 4*p. Let v be x(3). Let s = 447 - v. Does 4 divide s?
False
Suppose -3*i - 5*x + 20 = 0, -2*x - 8 = -i - i. Suppose -i*c + 1253 = 2*c. Is 11 a factor of c?
False
Suppose 152 = 3*u + 146, 2*u + 416 = z. Does 28 divide z?
True
Let o(l) = -73*l**2 - l + 1. Let r(h) = 4*h. Let k(q) = -o(q) - 3*r(q). Does 13 divide k(-2)?
False
Suppose 0 = 6*t + 21 + 7767. Let m = t + 1856. Does 31 divide m?
True
Is 36 a factor of 36*(8 + (-3618)/(-90))*(-5)/(-3)?
False
Let r = -42 - -41. Let z be 2/(r + (-2)/(-6)). Is (1/((-6)/z))/((-4)/(-216)) a multiple of 9?
True
Is 30 a factor of -4 + (58 - 60) + 3372/2?
True
Let p(x) = -x**3 - 24*x**2 - 30*x - 4. Let s be p(-21). Let r = 1077 + s. Is 33 a factor of r?
False
Let d = 88 - 73. Suppose -7 = d*v - 16*v. Let b(y) = 11*y - 53. Is b(v) a multiple of 7?
False
Let v(f) be the third derivative of f**4/24 + 77*f**3/6 + 11*f**2. Let i be v(6). Suppose 7*h = 4*h - l + 199, h = 3*l + i. Is 13 a factor of h?
False
Let n = 12108 + -8023. Does 10 divide n?
False
Suppose -4*w - 2 = -h, -2*h + w + 34 - 9 = 0. Suppose o - 427 = h*n - 15*n, -3*n + 2*o + 1306 = 0. Does 48 divide n?
True
Let c(t) = t**3 + t**2 - 447. Let o be c(0). Let m = o - -634. Let q = -137 + m. Is q a multiple of 25?
True
Let f(k) be the first derivative of 22*k**3/3 - 2*k**2 - k + 3. Let g be f(-3). Suppose 0*u - 4*w + 292 = 5*u, -g = -4*u + 5*w. Is u a multiple of 26?
False
Suppose -5*j + 126 = -z, -2*z - 313 = 2*j - 61. Is 9 a factor of z/294 - (-2082)/7?
True
Suppose -1956 = -y + a, -5*y - 5*a + 7343 = -2457. Is 11 a factor of y?
True
Suppose 3*d = -q + 13574, -5*q + 38 = 28. Does 13 divide d?
True
Suppose -z + 557 - 551 = 0. Suppose 2*s - d = 1901, 9*d = -3*s + z*d + 2838. Is s a multiple of 13?
True
Let p(i) = -2*i**3 - 204*i**2 - 130*i - 466. Is p(-102) a multiple of 14?
False
Suppose 0 = -6*g - 416 - 292. Let t = g - -180. Does 2 divide t?
True
Suppose 34*j - 14*j = 83780. Does 71 divide j?
True
Let c be (12/20)/((-27)/(-90)). Suppose -5*t = 15, x + 7*t - c*t = 1. Does 4 divide x?
True
Let p(z) be the third derivative of -z**4/4 + 20*z**3/3 + 15*z**2. Let h be p(9). Is 19/(4 - (-54)/h) a multiple of 19?
True
Let x(p) = -p**3 - 5*p**2 + p + 5. Let l be x(-5). Suppose -n + 36 + 114 = l. Let o = -42 + n. Does 27 divide o?
True
Let w(q) = q**3 + 5*q**2 - 2*q - 2. Let p be w(3). Let i = p + -30. Suppose 4*d - 5*r = -3*r + i, -2*d = 2*r - 20. Does 8 divide d?
False
Suppose 7*o - 2*o - 4495 = 0. Let n = -527 + o. Suppose -18*c = -22*c + n. Is 31 a factor of c?
True
Let v = 49 + -45. Suppose b + v = -0*b, -5*b = -2*f + 28. Let c(i) = 17*i + 23. Is 15 a factor of c(f)?
False
Let y(u) = 1394*u - 74. Let a be y(11). Suppose -69*v - a = -83*v. Does 20 divide v?
False
Let p(v) be the third derivative of -v**4/8 + v**3/6 + 23*v**2. Let m be p(-8). Does 22 divide (-10 + 16)/(2/m)?
False
Suppose 18 = -a + 73. Does 12 divide a/(-15)*18*-8?
True
Suppose 14*l = 15*l - 1422. Is 4 a factor of l/12 + 9/6?
True
Suppose -72*q = -69*q - 24. Suppose -6*k + q + 52 = 0. Does 3 divide k?
False
Is 12/(-15) + (-6)/35*481530/(-10) a multiple of 183?
False
Let a(j) = j**3 - 19*j**2 + 119*j - 34. Does 40 divide a(15)?
False
Let r = 4483 - 3797. Is r a multiple of 5?
False
Does 52 divide 5*(1136688/420 - (-7 + -1))?
True
Let a(w) = 2*w**2 + 5*w + 17. Suppose 5*m + 56 = 4*q, 7 = -3*m - 2*q - 9. Is 5 a f