 -2*o. Is 5 a factor of z?
False
Let t(x) = -627*x - 204. Does 7 divide t(-1)?
False
Let j(a) = -101*a - 32. Let b be j(-8). Let p = 1286 - b. Is p a multiple of 34?
True
Let n(w) = 4*w**2 + 5*w + 12. Let k(p) = p**2 - 1. Let u be ((-2)/(-3))/(18/27). Let f(r) = u*n(r) - 3*k(r). Is 5 a factor of f(5)?
True
Suppose 0 = -7*u + u - 513 + 687. Does 3 divide u?
False
Let r = 10314 + -2790. Does 57 divide r?
True
Let w(g) be the third derivative of -47*g**4/24 - 20*g**3/3 + 2*g**2 - 9. Is w(-10) a multiple of 15?
False
Let w(j) = -152*j + 7. Let p be w(-2). Let g = 169 + p. Is 32 a factor of g?
True
Let b(n) = -3*n - 18. Suppose -4*x - x + 25 = 0. Suppose 0 = d - x*a + 6, 2*a + 7 = 3. Does 6 divide b(d)?
True
Suppose 13*q = 19277 - 2741. Is q a multiple of 6?
True
Suppose 11*r - 3*r - 13440 = 0. Suppose 0*i - 7*i + r = 0. Is i a multiple of 18?
False
Does 15 divide 543501/126 + 6/4 + -7?
False
Is 5*(12194/2 + (-13 - 19/(-1))) a multiple of 17?
True
Let n = 9 + 11. Suppose 0 = -5*h + 5*t + 5855, 4*t = n*h - 23*h + 3478. Does 22 divide h?
True
Suppose 40*h - 166378 = -51978. Does 55 divide h?
True
Let y be (1 - 7*-2) + -4. Let d be y/3 + ((-6)/(-6))/3. Is d/6 + (-366)/(-18) a multiple of 3?
True
Let h(y) be the second derivative of y**5/20 + 5*y**4/4 + 10*y**3/3 + 9*y**2 - y + 36. Is 42 a factor of h(-12)?
True
Let x(z) = 4*z**2 + 7*z + 2. Let f = -31 - -29. Let p be x(f). Suppose 2*t - 6*t = -16, p*m - t = 280. Does 12 divide m?
False
Let k = -7 - -9. Let a = -97 - -102. Suppose a*q + 2*v = 679, 557 = 2*q + k*q - 3*v. Is q a multiple of 27?
False
Suppose 3*x + 68738 = 8*c, -5*x + 7224 = 4*c - 27106. Does 10 divide c?
True
Suppose 6*p - 211 = -139. Suppose -1144 = -p*y + y. Is 13 a factor of y?
True
Let u = 902 - 583. Let r = u + -112. Does 14 divide r?
False
Let y(l) = -25*l**2 + 11*l + 2*l - 20 + 24*l**2. Let c be y(11). Suppose 2*x = -4, -x + 6*x = c*u - 124. Is 17 a factor of u?
False
Let r(a) = a**3 + 13*a**2 + 13*a + 16. Let q be r(-12). Let g(n) = n**2 - 5*n + 11. Let x be g(q). Suppose v - 57 + x = 0. Does 25 divide v?
True
Let f(q) = q**2 + 2*q - 1. Let i be f(2). Let s(k) be the first derivative of -k**4/4 + 7*k**3/3 + 9*k - 21. Is 3 a factor of s(i)?
True
Let q = 13229 - 4765. Does 29 divide q?
False
Let u be 88/(-20) + (-4)/(-10). Is 6/12 - (158/u + -1) even?
False
Suppose 0 = -5*b + 4*p + p + 55, -p + 1 = b. Suppose -40*k = -b*k - 13464. Does 36 divide k?
True
Suppose 0 = -49*f + 59*f - 2640. Suppose 168 = 270*z - f*z. Does 7 divide z?
True
Let a = -18 + 25. Let i be -3 - (-159)/a - 2/(-7). Let g = i - 4. Does 4 divide g?
True
Suppose 46*k - 4*r = 50*k - 51164, -2*r = -12*k + 153506. Is k a multiple of 243?
False
Is 32 a factor of (-14 - 10528)/(47/10 + -5)?
False
Let o(m) = 6*m**2 - 5*m + 11. Let q(s) = 3*s + 39. Let i(b) = 3*b - 30. Let c be i(6). Let w be q(c). Does 5 divide o(w)?
True
Let v be (-2 + (-20)/8)*12/(-9). Let z be 16/(-20)*15/v. Does 19 divide 226*z/(-20) + (-2)/(-5)?
False
Let n(b) = 2*b**3 + 7*b**2 + 10*b + 21. Let w be n(-6). Let v = -189 - w. Is v a multiple of 3?
True
Let k be (1327/4)/((-2 - 4)/(-24)). Let l = -802 + k. Is l a multiple of 15?
True
Let m(h) be the second derivative of 161*h**3/6 - 151*h**2/2 - 16*h - 2. Is 20 a factor of m(7)?
False
Let v(x) = -x**3 - 5*x**2 - 3*x. Let f be v(-4). Let d(m) = -2*m**3 - 8*m**2 - 5*m + 8. Let b be d(f). Is b + 1 - (-4 + -2 - -7) a multiple of 4?
True
Let u = 79 - 74. Let x be (-2)/(-6) - 59*u/(-15). Let l = x - -13. Does 15 divide l?
False
Let a(o) = 7*o**2 + 50*o - 293. Does 165 divide a(-38)?
False
Suppose 4*f = -6*u + 8*u - 18, -2*u + 3*f = -23. Suppose u*z - 24*z = -1260. Is z a multiple of 28?
True
Suppose -4*x = m - 58, 2*m + 27 + 52 = 5*x. Suppose -56*a + 61*a - p - 26 = 0, 0 = 4*a + 3*p - 36. Suppose -a*s + 9 + x = 0. Is s a multiple of 3?
False
Let r = 4089 + -2509. Is 2 a factor of r?
True
Does 29 divide (-75696)/(-15) + -2*(-6)/(5 - 35)?
True
Suppose -80*h + 310 = -85*h. Let k = -58 - h. Is 3/((-1)/k + 31/100) a multiple of 18?
False
Suppose 17248 = -0*c + 3*c + 5*c. Does 28 divide c?
True
Let r = 4412 - -213. Does 4 divide r?
False
Let u(c) = 4*c - 94. Let h be u(24). Does 3 divide -10 + 83 + 16/h?
True
Let y be 6/(-4) + -3*290/60. Is ((-564)/8)/(24/y) even?
False
Let t be (-45)/63 - 72/(-42). Let r(b) = -1387*b**2 + 133*b + 133. Let d(z) = -21*z**2 + 2*z + 2. Let m(a) = -133*d(a) + 2*r(a). Is 2 a factor of m(t)?
False
Is 1674 + (20 - -10) - 14/(-4)*-2 a multiple of 9?
False
Let i(m) = -9*m - 8. Suppose 16*c - 15*c = 0. Let v be (540/6)/(-6) + (c - -3). Is 20 a factor of i(v)?
True
Let h = -13971 - -33123. Is h a multiple of 228?
True
Let u = 104 - 20. Let c(q) = q**3 - 2*q**2 - 5*q + 8. Let l be c(3). Suppose u = l*f - 74. Is f a multiple of 8?
False
Suppose -6*q - 192 = -3*q + 2*x, 5*x = q + 64. Is 12 a factor of (-6)/16 + 0 + (-19992)/q?
True
Suppose 5*m = -10 + 10. Let g(y) = y**3 - 15*y**2 - y + 1800. Does 55 divide g(m)?
False
Suppose 14*l - 9 = 11*l. Let j = l + -4. Is 2 a factor of -1*1/j*2?
True
Let t be (-11 - 8096/(-11))*1*6. Suppose -7*w - 3*w + t = 0. Does 29 divide w?
True
Suppose 68*m + 79*m - 1219270 = -79*m. Is m a multiple of 13?
True
Suppose -h = -2*m + 28636, 3*m - 3*h - 38837 = 4111. Is 14 a factor of m?
False
Let s(r) = -5*r**3 + r**2 - r - 1. Let c be s(-1). Suppose -3*z = 5*l, -5*z + 13 = c*l - 2*l. Let g(v) = -2*v**3 + 5*v**2 + 3*v - 2. Is g(l) a multiple of 22?
True
Is (-32 + 17 + -7)*-491 + 8 a multiple of 26?
False
Suppose g + 85 = 4*s - 70, 0 = 4*g - 20. Let v = 38 - s. Is 3 + 83 + (5 + -3)/v a multiple of 20?
False
Suppose 0 = 5*w - 2*l - 5177, -221*w - 5*l = -225*w + 4128. Is w a multiple of 17?
True
Suppose 16*p - 19061 = -2*v + 17*p, -8*v - 3*p = -76279. Is v a multiple of 28?
False
Let j be (-2)/2 - 4*-1. Let m(h) = h**2 - 10*h + 29. Let q be m(9). Suppose j*y - 89 + q = 0. Is 9 a factor of y?
False
Let a = -9 - -13. Suppose -4*r + 3475 = w, -2*w - 2*w + 3472 = a*r. Does 73 divide r?
False
Suppose -2*p = 2 - 12. Let c = -3406 - -3532. Suppose p*i + c = 466. Does 17 divide i?
True
Let g(x) = -x**2 - 66*x + 1281. Is g(-73) a multiple of 17?
False
Is 34219185/1650 + 2/20 a multiple of 65?
False
Let b be (-308)/16*(41 + -5). Is 99 a factor of (b/14 - 0)*(-60)/5?
True
Is 14 a factor of (-3 - -4)/((-54)/(-5562))?
False
Let i(a) = -3*a + 28. Let z be i(11). Let h be -1 - (2/(-7) - z/(-7)). Suppose h = 6*f - 1398 + 108. Is 43 a factor of f?
True
Suppose 5*q - 5083 = -4*y + 5327, -2*y - q + 5196 = 0. Is y a multiple of 111?
False
Let v(h) = -99*h - 69. Is v(-5) a multiple of 106?
False
Suppose 0 = 43*v - 126704 + 21354. Does 18 divide v?
False
Suppose 4*t + 2*s = 156, -5*t + 81 = -2*s - 96. Let v = t + -5. Suppose 0 = -33*l + v*l + 195. Is l a multiple of 19?
False
Suppose 954*l = 974*l - 365300. Is 65 a factor of l?
True
Does 117 divide (-76)/(-12)*1578 - (6 - 12/3)?
False
Suppose p - 191518 = -3*j, -127674 = -48*j + 46*j - 3*p. Does 76 divide j?
True
Let v = -172 - -148. Does 17 divide (-1)/((-6)/4*v/(-6012))?
False
Let y(b) = -7*b - 67. Let t be y(-9). Let h(s) = -38*s - 32. Is h(t) a multiple of 4?
True
Let r(k) = 30 + 27 + 45 - 7*k - 28. Is r(8) a multiple of 18?
True
Suppose 338*g - 317*g = 106029. Is g a multiple of 10?
False
Let g = 106 + -100. Let y be (-2 + g)*(-17)/4. Let o(s) = -7*s - 47. Is o(y) a multiple of 18?
True
Let n = -41 - -54. Is 8 a factor of 20/(-50) + n/(-5) - -103?
False
Suppose -15*q + 6*q = 0. Suppose q = -30*k + k + 2842. Does 14 divide k?
True
Let k(j) = 6 - 18 + 12*j - 2*j. Let f be 338/34 - ((-100)/85)/20. Does 19 divide k(f)?
False
Let y(c) = 8*c**3 - 3*c**2 + 21*c + 26. Is 39 a factor of y(10)?
False
Let v = 316 - 320. Does 4 divide (-6)/v + 32625/250?
True
Let c(g) = -216*g - 1294. Does 13 divide c(-22)?
True
Does 17 divide 17/(-34) - 0 - 123423/(-6)?
True
Let i(l) = -4*l**2 - 56*l + 42. Let j be i(-24). Is -2 - 0 - -2 - j/6 a multiple of 51?
True
Let m(q) = -15*q + 59. Suppose -3*l = 14*l + 6*l. Does 3 divide m(l)?
False
Suppose y = 9*y + 3176. Let w = 590 + y. Does 10 divide w?
False
Let u(v) = -2*v + 19. Let o be u(7). Suppose -c - o + 6 = 0. Does 8 divide (-10*8)/(0 - c)?
True
Does 9 divide ((-15678)/(-804))/((-1)/(-30))?
True
Suppose 2*k - 52 = -12. Is 5 a factor of k?
True
Let z = 20036 +