 + 164. Is n(z) a multiple of 5?
False
Let m = 2231 + -1401. Is m a multiple of 16?
False
Let f(g) be the first derivative of g**3/3 - 6*g**2 + 5*g - 3. Let k be f(12). Suppose c = -3*a + 70, 0 = -2*c - 0*c - k*a + 144. Does 26 divide c?
False
Let q(n) = 8*n + 11*n + 3*n. Let w be q(1). Suppose -4*f = c - 0*c - w, -9 = -3*f + 3*c. Does 4 divide f?
False
Is 20 a factor of ((-54)/(-18))/(2 - (-12052)/(-6032))?
False
Let l = 30 + -29. Suppose -3*p = -41 - l. Let r = p + 12. Is r a multiple of 9?
False
Let t(v) = 9*v - 28. Let u(y) = -4*y - 31. Let n be u(-9). Is t(n) a multiple of 17?
True
Suppose c = -12 + 17. Suppose 22 = -4*i - c*p + 53, -2*p = -3*i + 6. Suppose 16 = 3*k + 2*l - l, 0 = l - i. Is 4 a factor of k?
True
Let p = 26 - -266. Does 17 divide p?
False
Let w(u) be the first derivative of 2*u**3/3 - 11*u**2/2 + 26*u - 11. Does 5 divide w(5)?
False
Suppose -4*d + 12 = 2*i - 0, -5*d - 5*i = -20. Let o(c) = d*c + 13*c - c - 6. Does 6 divide o(3)?
True
Let o(z) = 33*z**2 - 30*z + 42. Is 14 a factor of o(6)?
True
Let g(w) = w**3 + 24*w**2 - 57*w - 20. Is 122 a factor of g(-9)?
True
Suppose 758 = 2*f - 642. Is 19 a factor of f?
False
Let a(b) = b**2 + 6*b + 2. Let y(o) = o - 15. Let x be y(7). Is 12 a factor of a(x)?
False
Suppose -170*h - 624 = -174*h. Is h a multiple of 3?
True
Let m be (1 + 35/(-5))/((-3)/2). Suppose 201 = m*f - 255. Is f a multiple of 28?
False
Let v(r) = r**3 + 7*r**2 + 5*r - 1. Let j be v(-5). Suppose -10*s - j = -11*s. Is s a multiple of 12?
True
Suppose 21*u - 80 = u. Suppose -m = -0 - 3, 0 = -u*p + 4*m + 292. Is 19 a factor of p?
True
Suppose -219*d - l = -224*d + 283, -3*d + 167 = -2*l. Is d even?
False
Suppose 0*m + 140 = 4*m. Suppose -40*y + m*y = -75. Does 3 divide y?
True
Let u = 10 + -9. Let o be 0/(3 + -2 + u). Suppose o = 2*v + 3*q - 54 - 1, v + q - 25 = 0. Does 10 divide v?
True
Suppose 0 = 3*w, -854 = -4*c + w + 2. Is c a multiple of 14?
False
Let k(j) = -j**3 - 3*j**2 - 2*j - 8. Let n be k(-3). Is ((-189)/(-14))/(n/(-8)) a multiple of 18?
True
Let n be (-1*1)/(3/(-9)). Let y = -369 + 492. Suppose -n*u + j + y = 0, 0 = 5*u - 3*j - 105 - 104. Does 17 divide u?
False
Let z = 464 + -179. Suppose 2*i - z = -3*i - 5*y, y = 4*i - 218. Does 4 divide i?
False
Let u = 1871 - 1660. Is u even?
False
Let k = 4531 - 2162. Does 41 divide k?
False
Let u = 740 - 502. Is 37 a factor of u?
False
Let d(g) = 20*g**3 + g**2 - 24*g + 26. Is 12 a factor of d(4)?
False
Let j = 2395 - 1705. Does 30 divide j?
True
Is 13 a factor of -1430*8/(-11 - -3)?
True
Suppose 0 = 5*c + 4*t - 388, -5*t = -3*c - c + 294. Is 4 a factor of c?
True
Suppose -106 = g - 6*g + 4*h, 84 = 4*g - 3*h. Suppose -g*m + 17*m = -54. Does 9 divide m?
True
Let w = 179 + -266. Let i = w + 160. Does 52 divide i?
False
Suppose -4*t - 6*v + 2*v + 168 = 0, 4*v + 47 = t. Is 43 a factor of t?
True
Suppose 40 = -6*n + n. Is 6 a factor of n/2 - -12 - -4?
True
Suppose j - 7*y - 160 = -2*y, -4*y = -4*j + 640. Is 10 a factor of j?
True
Let o(l) = 29*l**2 + 2*l + 3*l + 3 - 30*l**2. Let t be o(6). Is t + (9/(-3) - -16) a multiple of 5?
True
Let q = 5671 - 2101. Does 21 divide q?
True
Suppose -5*j - 38 = 2. Let k(c) = -6*c - c**2 - c + 6*c - 9*c - 12. Is 3 a factor of k(j)?
False
Suppose -2*g - 207 = 151. Let u = -78 - g. Suppose -5*q = -274 - u. Is q a multiple of 23?
False
Let i = 2411 - 525. Does 41 divide i?
True
Does 62 divide (-155)/(5 - 366/72)?
True
Suppose 2*z - 21 = z. Is ((-36)/z)/(4/(-14)) a multiple of 3?
True
Suppose 0 = -123*v + 118*v + 3830. Suppose 20*l - 394 = v. Is 23 a factor of l?
False
Suppose -25*j - 154 = -1329. Is j a multiple of 8?
False
Let s be 2/((-10)/(-65)) + -2. Suppose -m + s + 21 = 0. Is 18 a factor of m?
False
Let g = 1042 - 599. Is 28 a factor of g?
False
Suppose 20 = -2*c - 5*l, 0 = c - 2*l + 8 + 2. Is (2*4)/(-8 - c) even?
True
Suppose -58534 = -40*z - 19054. Is z a multiple of 21?
True
Suppose k + 434 - 1464 = 0. Suppose 7*x + 29 - k = 0. Is x a multiple of 11?
True
Suppose -11*z + 13*z = 2350. Does 28 divide z?
False
Does 7 divide (14 - -476)/(-1*(0 - 1))?
True
Let k be 6/21 - 58/7. Let j be (-2)/k - 1060/16. Let m = j - -94. Is 25 a factor of m?
False
Let m(t) = 139*t - 253. Does 62 divide m(13)?
False
Let o(h) = 8*h**2 - 2*h + 2. Let z be 1/1*(-68)/17. Let m be o(z). Suppose 0*x = -4*x - a + 171, -4*a + m = 3*x. Does 21 divide x?
True
Let y(s) = -14*s**3 + 2*s**2 + 3*s + 1. Let x be y(-2). Suppose g = 4*f - 3*g - 112, -4*f + 3*g = -x. Is f a multiple of 29?
False
Is 5*(1668/(-9))/((-25)/15) a multiple of 7?
False
Suppose -3*t - 3 = -12. Suppose 4*o - 68 = -t*x + 260, 5*x + o - 541 = 0. Is 18 a factor of x?
True
Let o(f) = f**3 - 20*f**2 + 31*f + 12. Is 20 a factor of o(19)?
True
Suppose -2*s - 5*h = -6, -3*h = -4*s - 14 - 0. Let y be 0*s/6 - -47. Suppose -79 - y = -3*t. Does 14 divide t?
True
Let y = 18 - 2. Let g = y - 4. Suppose -66 = -14*b + g*b. Is 15 a factor of b?
False
Let m(p) = p**3 - 6*p**2 - 4*p + 6. Let u be m(7). Suppose c = u + 11. Is 19 a factor of c?
True
Suppose 4*l - 3*j + 615 = 0, -453 = 3*l - 5*j - 0*j. Let n = -53 - l. Suppose -4*y = -n - 65. Is y a multiple of 14?
True
Let a = 222 + -74. Is a a multiple of 3?
False
Let x be 3 - -6 - (-6 + 2). Is 12 a factor of x + 4/(-12)*3?
True
Let n(s) be the first derivative of 4/3*s**3 + s**2 - 1 + 3*s. Is 15 a factor of n(-2)?
True
Is 111 a factor of -6 + (-456)/(-78) - (-225120)/78?
True
Suppose -2380 = -5*s + s. Suppose 5*w - 4*y = s, 3*w = 8*w - y - 610. Suppose -5*v + v + w = 5*p, 0 = -3*v - 9. Does 12 divide p?
False
Let j(b) = 4*b + 9. Let y(c) = 5*c + 8. Let u(w) = 4*j(w) - 3*y(w). Let m be u(-6). Suppose -2*x + x + m = 0. Does 6 divide x?
True
Suppose -6*u = -48 - 60. Let i = 30 - u. Does 2 divide i?
True
Let m(v) = -30*v**2 - 2*v. Let a be m(-1). Let q be (-2)/8*a/(-7). Is 6 a factor of q/(-1) - 0 - -5?
True
Let f(r) = 3*r**2 - 2*r**2 + r + 2*r**2 - 7 + 4*r**3 - 2*r**3. Suppose -22*a = -23*a + 3. Is f(a) a multiple of 17?
False
Let h(n) = n**2 + 8*n + 2. Let v be h(-8). Suppose -2*p = 4*u, -p - v = -4*u + 10. Suppose u*b - 27 = 45. Is b a multiple of 28?
False
Let j(i) = i**3 - i**2 + 93. Let m = 81 - 81. Is 8 a factor of j(m)?
False
Suppose -5*h = -h + o - 369, -4*h + 367 = -o. Suppose x - 2*l - 22 = 0, 4*x - 2*l = 8 + h. Is 7 a factor of x?
False
Suppose -10*i = -6*i + 452. Let y = -86 - i. Is y a multiple of 3?
True
Let d be -34*3/6*-2. Let n = d + 91. Let g = n + -89. Does 12 divide g?
True
Suppose 4*y = -16, 0 = -2*a - 5*y + 18 + 14. Let i = 94 + a. Is i a multiple of 12?
True
Let k be ((-5)/6)/((-11)/66). Suppose b + 3*b - 15 = k*n, 3*b = 2*n + 6. Suppose b*z + 222 = 6*z. Is z a multiple of 6?
False
Let y(g) = 3*g**2 - 8*g + 43. Is y(5) a multiple of 3?
True
Let h be (4/8)/(3 + 220/(-72)). Let w = h - -31. Is w a multiple of 13?
False
Let u be 12/((-4)/(24/(-9))). Suppose u*p - p - 378 = 0. Does 27 divide p?
True
Let s(k) = -k**2 - 12*k - 11. Let h be s(-12). Let j(o) = -5*o - 20. Does 14 divide j(h)?
False
Is 3 a factor of (-6)/(156/(-30130)) - 12/(-78)?
False
Let k(b) = -b**2 - 9*b - 14. Suppose -11 - 7 = 3*l. Let a be k(l). Suppose 0 = 2*s + i - 137, 3*s - 3*i = a*s - 61. Is 10 a factor of s?
True
Let y be (-714)/(-91) - 2/(-13). Let u(j) = -2*j + 19. Let o be u(y). Suppose 4*i = 2*a + 98, 3*i - 4*a = -o*a + 74. Does 12 divide i?
False
Suppose 2*s + 2*r - 12 = -0*s, 0 = 3*s + 4*r - 21. Suppose -5*a + 3*m = 53, 4 = s*m + 16. Let k = 0 - a. Is 13 a factor of k?
True
Let o = -2 + 4. Suppose 6*i = -22 + 64. Suppose -i*a = -o*a - 450. Does 30 divide a?
True
Let g = -166 - -77. Let y = g + 413. Suppose 0 = -5*h - 54 + y. Does 12 divide h?
False
Suppose -a = -5*a + 5*u + 8, 2 = a + u. Suppose -r + 13 = 5*s, -r + a*r + 5 = 4*s. Suppose r*j + 3*n + 279 = 7*j, j - 84 = -4*n. Is j a multiple of 24?
True
Suppose -x - 28 = 5*z, 0 = x + 2*x + 3*z + 48. Let p = x + 213. Is 40 a factor of p?
True
Does 31 divide ((-14)/3 + -10 + 14)*-3684?
False
Let l(q) = q**2 + 2*q - 6. Suppose -3*a + 19 = -3*j - 8, 0 = 3*j - 5*a + 29. Does 21 divide l(j)?
True
Let z = 147 + -108. Suppose 6*h - z = 5*h. Does 6 divide h?
False
Let p(u) = 6*u**2 - 3*u + 1. Let l = -30 - -27. Is p(l) a multiple of 32?
True
Suppose q - 6*k + 8*k + 152 = 0, 5*q - 4*k = -788. Is 32/3*(-1)/(8/q) a multiple of 2