0, q - 4*q + 1095 = -5*r. Let v = 577 - q. Does 21 divide v?
False
Suppose 71*h + 52096 = 87*h. Is 37 a factor of h?
True
Suppose 3*k = 8*k + 10. Let u be k - (2 + -4)*95. Suppose z + u = 4*a - 0, 3*a - 3*z - 132 = 0. Is 16 a factor of a?
True
Let t(d) be the second derivative of d**5/20 + d**4/2 + 2*d**3/3 - 2*d**2 - d. Suppose 12 = -2*s - 4*b - 12, 2*b + 8 = 0. Is t(s) a multiple of 12?
True
Does 2 divide ((-30)/35)/((-15)/70)?
True
Let a = -93 + 59. Let r = 20 + a. Is 29 a factor of (r/5)/(2/(-70))?
False
Let s(b) = b**2 - 2*b - 8. Let l be s(-6). Let x = -62 + l. Let h = x + 31. Is h a multiple of 4?
False
Let f(a) = a**3 - 13*a**2 + 15. Let c(t) = -2*t - 21. Let d be c(-17). Is f(d) a multiple of 14?
False
Is (-1485)/(-66)*9*(-8)/(-10) a multiple of 7?
False
Let v = -72 - -155. Suppose -4*f - 52 = -4*b + 64, 0 = 3*b - 5*f - v. Suppose -18 = b*x - 32*x. Is x a multiple of 9?
True
Let s(w) = -w**3 - 8*w**2 - 5*w + 1. Let v be s(-7). Let i = v + 17. Suppose i*h + 86 = 2*z - 88, 0 = 2*z + 3*h - 174. Is 29 a factor of z?
True
Let i be (6/9)/(3/(-387)). Let o = -58 - i. Is o a multiple of 3?
False
Let w be -2 - 2 - 514/(-2). Suppose -2*a = -z - 4*a + 87, -2*a + w = 3*z. Does 4 divide z?
False
Let y(f) = 12*f**2 + 4*f - 4. Is y(7) a multiple of 18?
True
Let n = 1 + -3. Let p be (-28)/36 + (-10)/45. Is 4 a factor of 150/12 - p/n?
True
Suppose 9*j - 4*j = -2*h + 402, 0 = -4*h + 5*j + 834. Is 23 a factor of h?
False
Let k be 5/(-2) - 2/(-4). Let l = 30 + 102. Does 22 divide (k/3)/((-2)/l)?
True
Let k(o) = -3*o**2 - 4. Let j be k(-5). Let q = -2 + j. Is q*(-1 - 4/(-6)) a multiple of 27?
True
Let z = 23 - 18. Suppose 2*c = z*c - 171. Suppose 5*s + d - c = 0, 26 = 2*s - 5*d - 13. Is 4 a factor of s?
True
Let f = -55 + 89. Let i = -18 + f. Is i a multiple of 13?
False
Suppose 0 = -8*q + 11*q - 105. Suppose -q*z + 69 = -34*z. Is z a multiple of 24?
False
Let z be (-4 - 3/(-1)) + 1122. Suppose 4*l + 5*p = z, 0*l - 3*l - p + 827 = 0. Suppose -3*x + 191 = 6*k - k, 0 = -4*x + 3*k + l. Is x a multiple of 15?
False
Suppose 5*a - 21 = 4*v, -3*a + 10*v - 9*v + 14 = 0. Is 2 a factor of a?
False
Suppose -3*n - 3*v = -5*n + 45, -4*n + 105 = -3*v. Let c = 23 - n. Let s = c + 12. Is s a multiple of 2?
False
Suppose -4*w = -7*w. Suppose w = 2*x - 4*x + 14. Let m(a) = a**2. Is m(x) a multiple of 7?
True
Suppose 73*v + 3080 = 87*v. Does 20 divide v?
True
Let l = 53 - 49. Is 18 a factor of 1*l/(-8)*-46?
False
Let q(w) = -125 + w**2 + 7*w + 69 + 75. Is 21 a factor of q(-17)?
True
Let t = -2926 + 4208. Is 20 a factor of t?
False
Let x(d) = d**3 - 21*d**2 - 2*d + 50. Let o be x(21). Suppose 4*s - 76 = -o. Is 11 a factor of s?
False
Suppose -2652 = 22*w - 28*w. Is w a multiple of 26?
True
Let s(z) = 414*z**3 + 2*z**2 + 11*z. Is 40 a factor of s(2)?
False
Suppose 4*o - 9 - 7 = 0. Suppose c - 28 = o*w - 8, -5*w = c + 34. Is 119/3 + (-2)/w a multiple of 8?
True
Let l(y) = -y**3 + 35*y**2 + 31*y - 187. Is 18 a factor of l(32)?
False
Let b(r) = -16 + 2*r - 3*r + 3*r + 3*r + r**2. Does 15 divide b(-11)?
False
Let w = 6 - 4. Let u(k) = -2*k**2 + 27*k - 43. Let x be u(13). Let b = w - x. Is 18 a factor of b?
False
Let h = -24 + 27. Suppose 13 = h*i - 29. Suppose -65 + i = -3*q. Is q a multiple of 10?
False
Let h(p) = p**3 - 19*p**2 + 19*p - 22. Let c be h(18). Is 6 a factor of (-3)/(c/(-88)*-1)?
True
Let s be -6*6/(-8)*2. Suppose -16 = 4*l + 2*n - 2, -5*l - 3*n = 15. Is (l/(-5))/(s/135) a multiple of 3?
True
Let b(m) = m**3 - 12*m**2 - 3*m + 19. Let t(d) = 3*d**3 - 36*d**2 - 8*d + 58. Let y(r) = -8*b(r) + 3*t(r). Is y(12) a multiple of 10?
False
Let t(f) = 33*f**2 - 6*f + 1. Let h be t(3). Suppose 0 = -5*y + 5*z + h, 0 = 2*y - 4*z - 49 - 67. Is 10 a factor of y?
False
Is 17 a factor of 9 + -17 + 483 - (0 + 1)?
False
Let q be 6/(-36) - (-57)/18. Suppose 3*l + 162 = 5*h, 0 = 4*l - 9*l + q*h - 254. Let s = -35 - l. Is s a multiple of 7?
True
Let a(n) be the third derivative of n**5/60 - 13*n**4/24 - 37*n**3/6 + 30*n**2. Is 60 a factor of a(-9)?
False
Let q(z) = -600*z - 28. Is 34 a factor of q(-3)?
False
Suppose 0*g + g + 24 = 0. Let z = g + 40. Suppose -c = -45 - z. Is 22 a factor of c?
False
Let g be (-2)/5 - ((-294)/35 + 4). Suppose -2*v - v - 3 = 0, -5*p + g*v + 729 = 0. Does 29 divide p?
True
Suppose 17*t - 7322 = 3*t. Is 13 a factor of t?
False
Suppose -5*r = -3*k + 387, -419*k = -420*k - 4*r + 112. Let d be (-82)/(-7) - 4/(-14). Suppose d = -2*p + k. Is 14 a factor of p?
True
Let l(m) = 7*m**2 + 3*m - 16. Is 49 a factor of l(8)?
False
Suppose 0 = 97*x - 96*x - 245. Is x a multiple of 14?
False
Is 15 a factor of (1 - (10938/(-6) - 0)) + 6?
True
Suppose -6*z - 2279 = -4*s - 9*z, -5*s + 3*z = -2842. Is 31 a factor of s?
False
Let v be 52*(3 + -2) + -2. Suppose 0 = -5*w - v + 500. Does 45 divide w?
True
Suppose 0 = -2*o + 4*s + 268, 34*o - 29*o - s = 634. Is 18 a factor of o?
True
Let f(b) = b**3 + 10*b**2 + 23. Let m be f(-10). Let h = m + -20. Is (81/6)/(h/16) a multiple of 24?
True
Let n = 7 + -4. Suppose -4*s + 2 = -n*s. Suppose 4*w - 100 = -2*i - i, -3*w = -s*i + 78. Is i a multiple of 12?
True
Does 11 divide -2 - (5/((-20)/12) + -229)?
False
Let q = -1597 + 3949. Is 28 a factor of q?
True
Let w = 7 - 5. Suppose 0 = -5*r - w*o + o, 0 = -3*r + o - 8. Is 17 a factor of (-51)/(r*(2 - 1))?
True
Suppose 3*h = 2454 + 2637. Suppose -5*x - 3*n = -197 - h, 766 = 2*x + 4*n. Does 58 divide x?
False
Let z be 2430/30 + -1 + 1. Let s = z - 59. Is 11 a factor of s?
True
Let m(y) = y**3 + y**2 - 5*y + 3. Let r be m(2). Is 11 a factor of (-2)/r - (-1768)/20?
True
Suppose k = -3*k + 1004. Suppose 7*y = -267 - k. Let n = y + 107. Is 11 a factor of n?
True
Let r(n) = 23*n + 34. Is 11 a factor of r(8)?
False
Suppose l = -l + 6. Suppose -l*i = -6*i + 6. Suppose -4*z + i = -3*z. Is z a multiple of 2?
True
Does 61 divide (-1098)/6*(-10)/6?
True
Let j be 5/10*2*-1. Let l = j + 5. Is 20 + l + -4 + 1 a multiple of 11?
False
Suppose 3*b - 6*p = -3*p + 33, 0 = b - 5*p + 1. Let f be b/21 + 17/(-3). Let u(g) = 4*g**2 - g - 6. Is u(f) a multiple of 33?
True
Is 23 a factor of (-27839)/(-63) + 7/63?
False
Let n(u) be the second derivative of -u**3/6 + 3*u**2 - 5*u. Let i be n(6). Suppose 2*v - v - 29 = i. Is v a multiple of 14?
False
Suppose 3*v - 197 = -2*o + o, -o + 187 = v. Is o a multiple of 25?
False
Let r = 94 - 100. Let n be (-1)/(-4) - (-1)/(-4). Is 2 a factor of n + r*1/(-2)?
False
Suppose 0*q = -q + 124. Suppose q = -3*n + 5*n. Suppose -2*r + f + 3*f + n = 0, -91 = -4*r - 3*f. Is 7 a factor of r?
False
Let k(i) = -70 + 51 - 2*i + 11*i. Does 13 divide k(8)?
False
Let s(w) = -8 - 9 - 4*w - 2. Suppose 2*m = 3*r + 10, -3*m + 6*m + 24 = -2*r. Is s(r) a multiple of 3?
False
Let i = -210 - 113. Is 5 a factor of 4/38 + (-8041)/i?
True
Suppose -10 - 5 = 5*z. Let m(a) = -5*a**3 - a**2 - a. Let f be m(z). Suppose 5*p - f - 6 = 0. Does 7 divide p?
False
Is 19 a factor of ((-741)/(-4))/((-17)/(-68))?
True
Let i be 17227/42 - (-2)/(-12). Suppose 0*d = 2*d - i. Suppose -3*g + 8*g - 5*o = 500, -2*g + d = -3*o. Is g a multiple of 22?
False
Let i = 858 - -213. Is i a multiple of 51?
True
Suppose -10*l - 1156 + 256 = 0. Let z(y) = -y - 1. Let p be z(2). Does 10 divide l/(p + 0) + 0?
True
Let c(a) = -a**2 - 5*a - 1. Let g(j) = j**3 - 6*j**2 + 5*j - 4. Let h be g(5). Let n be c(h). Suppose -n*q - 55 = -163. Does 18 divide q?
True
Does 2 divide -7 + 2 - (-276)/4?
True
Let g(u) = -8*u**2 - 3. Let j(l) be the third derivative of 23*l**5/60 + l**4/24 + 5*l**3/3 + 10*l**2. Let m(v) = 11*g(v) + 4*j(v). Is 5 a factor of m(-2)?
True
Suppose 0*x - x + 542 = 0. Suppose -4*l = -2*l - 3*s - 221, -4*s - x = -5*l. Does 15 divide l?
False
Suppose -4*y + 9 = i + 317, 1450 = -5*i - 2*y. Does 8 divide 1/(4/18)*i/(-54)?
True
Does 6 divide (-23193)/(-21) - (-6 + (-315)/(-49))?
True
Suppose -4*o = -j + 983, j - 1449 = 5*o - 221. Let m = -168 - o. Does 19 divide m?
False
Let c = -202 + 220. Does 18 divide c?
True
Let v(j) = j**2 - 8*j + 18. Let a be v(7). Is (a/9)/((-2)/(-6))*21 a multiple of 17?
False
Let o = -228 - -179. Let y(m) = m**3 - 2*m**2 - 8*m - 5. Let r be y(6). Let a = r + o. Is a a multiple of 21?
True
Let c = -28 + 33. Suppose c*j = -b + 257, 5*j + 150 - 413 = b. Does 13 divide j?
True
Let u(t) = -t**3 + 10*t**2 - 8*t + 11.