e (-408)/170*(1 + u). Is -1 + (-327)/q - (-3)/8 a multiple of 2?
False
Suppose 3*t = 4*p - 26, p + 2*t = 3*p - 14. Suppose 731 = -p*j - 109. Let k = -99 - j. Does 10 divide k?
False
Suppose 0 = -17*o - 1511 + 16998. Let x = o - 503. Does 24 divide x?
True
Suppose 34*k = 121*k - 971529. Does 57 divide k?
False
Suppose -2287*s + 2291*s - 90416 = -4*q, -113041 = -5*q + 2*s. Is 4 a factor of q?
False
Suppose 2*w - 3*r = -7, 0*w + 5*w = 2*r + 10. Suppose w*a = 2*x + 842, 3*a = 3*x - 4*x + 629. Is 35 a factor of a?
True
Suppose 3*m = m + 58. Suppose -m + 3 = -13*q. Suppose -3 = w, 120 = q*a - 4*w + 6. Does 6 divide a?
False
Let w(o) = -4*o**2 + 8*o - 6. Let p be w(2). Let v be 4/(-6) - 736/p. Let j = v + -114. Does 2 divide j?
True
Suppose y + 57*t - 39861 = 61*t, -4*t - 159552 = -4*y. Does 13 divide y?
True
Let h = -37 + 67. Suppose 0 = -9*s + 3*s + h. Suppose 0 = s*u + 3*v - 155, 2*u = -5*v + 2*v + 71. Does 7 divide u?
True
Let v(g) be the third derivative of 0*g - 22*g**2 + 1/3*g**3 + 0 - 1/120*g**6 + 1/12*g**4 + 0*g**5. Is v(-3) a multiple of 23?
True
Let p = 424 + -109. Does 17 divide p/15 + 4/(4/3)?
False
Suppose 2*o - p - p - 8 = 0, 2*o + 2*p - 24 = 0. Suppose 4*u = -o*u + 48. Suppose -u*r = 2*n + 3*n - 343, r = -5*n + 337. Is 12 a factor of n?
False
Suppose a = -1, -9*n = -8*n - 5*a - 11. Suppose 697 + 1031 = n*d. Does 18 divide d?
True
Let o(w) = -3*w - 29. Let m be o(-12). Suppose -4*y - m*c = -2*c - 296, -2*y + 3*c + 126 = 0. Suppose v - y = -f, 5*f = -2*v + v + 53. Is v a multiple of 22?
False
Let x(v) be the third derivative of v**4/8 + v**3 - 24*v**2. Let k be x(1). Suppose k*t + 86 = 239. Is 2 a factor of t?
False
Let t(k) = 1598*k - 6021. Does 8 divide t(7)?
False
Is (2 - 2055)/(2*(-2)/4) a multiple of 114?
False
Let l(x) = -x + 2. Let m be l(-2). Suppose -5*a + o - 3 = -m*a, a + 4*o - 17 = 0. Let y(u) = u + 8. Is y(a) a multiple of 3?
True
Suppose 0 = 23*g - 22*g - 7. Let i be 6*(-4 - (3 - g/2)). Does 7 divide 6/i - 1128/(-28)?
False
Suppose 0 = 3*d + 2*d + 20. Is 7 a factor of ((d - -1) + 2)*4 - -153?
False
Let z = -28 - -90. Let k(y) = -y**3 + 17*y**2 - 12*y - 12. Let b be k(16). Suppose 2*o - b = -2*t - 0*o, -z = -2*t - 4*o. Does 7 divide t?
True
Let d(k) = -k**3 - 6*k**2 + 4*k - 15. Let z be d(-7). Let l(p) = 7*p**2 - 119 + 134 - z*p - 3*p. Is 7 a factor of l(4)?
True
Suppose 3*h + 183 = 3*i, -h + 2*h - 5*i + 65 = 0. Let w = h - -63. Suppose j = 2*n - 148, -3*n + w*j + 2*j = -236. Is n a multiple of 11?
False
Let f(d) = 4 - 67*d**3 - d - 2 + 0 - 2*d**2 - 163*d**3. Let k be f(1). Let z = k + 406. Is 15 a factor of z?
False
Is (14/2 - 54832/46)*(-10 + -1) a multiple of 7?
False
Let b be 6*(1 - 4/8). Suppose 2*y + 63 = -b*a + 403, -a + 4*y + 104 = 0. Is 19 a factor of a?
False
Let z(d) = 26 - 21*d + 9*d + 11*d. Is z(4) a multiple of 3?
False
Suppose 3*b + 35 - 26 = 0, 4*b = -n + 75. Is 2 a factor of n?
False
Suppose 5*t + 3 = 4*n - 4, 5*t - 3*n + 4 = 0. Let d be -2 - (t - (0 - -5)). Suppose 2*j - 41 = 5*a, j - d*a = a + 22. Is j a multiple of 2?
False
Suppose -3*c - 335 = 5*p - 6458, -4898 = -4*p - 2*c. Is p a multiple of 19?
False
Is (-6)/(-63) + 11/(1386/1505940) a multiple of 18?
True
Let h(m) = -2*m**3 - 14*m**2 + 10*m + 13. Is 12 a factor of h(-8)?
False
Suppose 41*k - 5892 = 100785 + 38094. Is 11 a factor of k?
True
Suppose 3*q = -3*h - 28254, 0*q - 4*q = -8. Let d be h/(-105) - 2/(-7). Suppose 78 + d = 3*f. Is f a multiple of 43?
False
Let u(o) = -96*o - 3468. Is u(-64) a multiple of 26?
False
Suppose -3*w = -4*w - 4*d, 4*w - 17 = d. Suppose 0 = -4*i + w*n + 2363 - 311, 0 = 3*i + 5*n - 1579. Does 37 divide i?
True
Suppose 20*y + 52 = 18*y. Let d = y + 192. Is 14 a factor of d?
False
Let d be -1*(2 - 1) + 1 + 35. Is 42 a factor of 879/4 + d/140?
False
Let t = 164 - 177. Let i = t - -541. Does 24 divide i?
True
Suppose 5570*y = 5526*y + 2397384. Is y a multiple of 18?
True
Let i(o) = o**2 + 30*o + 120. Let j be i(-13). Is 12 a factor of -6*j/2 - (-366)/(-122)?
True
Suppose 0 = -38*o + 37*o - 4, -s + 5186 = -5*o. Is 42 a factor of s?
True
Is -1 + 109836/(31 - 19) a multiple of 143?
True
Let v be 2*(-1)/8 - 21544/(-32). Suppose -2*f = -o + v, 5*f - 32 + 699 = o. Does 35 divide o?
False
Suppose 0*s + q + 4 = 3*s, 4*q - 20 = 0. Suppose 0 = s*u + p + 4*p - 2525, 2521 = 3*u + 4*p. Suppose j - u = -4*j. Is 36 a factor of j?
False
Suppose 12*y - 8*y = 24. Let w be -55 - 8*(-3)/y. Let a = 69 - w. Does 30 divide a?
True
Let h be ((-2)/7 - (-492)/7) + -2. Suppose h = 13*c - 12*c. Suppose 266 - c = 3*j. Is j a multiple of 6?
True
Let h = -53 - -62. Suppose -5*p = -4*n - h, -33 = -3*n + n - 5*p. Suppose w - 216 = n*m, -m - 58 = 3*w - 654. Is 51 a factor of w?
False
Let f = -32 - -54. Let h = -20 + f. Is (-6)/(h - (-16)/(-7)) a multiple of 21?
True
Let a = 22959 + -17685. Is 42 a factor of a?
False
Let q be 15/(-10) + -619*(-6)/(-12). Let w = q - -464. Is w a multiple of 9?
True
Let u = 145 + -151. Is 30 a factor of (u*15/(-27))/((-1)/(-36))?
True
Suppose -36*n = 184*n - 92*n - 2395136. Does 41 divide n?
False
Suppose 0 = -2*a - 2*a - 24. Let f(c) = -3*c - 15. Let u be f(a). Suppose -61 = -u*d + 38. Does 9 divide d?
False
Suppose -54*i - 71604 = 43*i - 106*i. Is 153 a factor of i?
True
Let g(c) = -3*c + 3. Let i(r) = 4*r - 3. Let k = -33 + 30. Let j(n) = k*g(n) - 2*i(n). Is 12 a factor of j(15)?
True
Let a = 1 + 13. Let n(x) = -x**2 - 2*x + 4. Let j be n(0). Suppose 5*o + j = a. Is o even?
True
Suppose -18523 = -2*r - 5*y + 4315, 0 = y + 2. Does 21 divide r?
True
Suppose -2*c - 3*c + 280 = 0. Let u be ((c/20)/7)/((-1)/15). Let k = 17 + u. Is k a multiple of 11?
True
Let k be (-423)/6*28/(-21). Suppose 4*h = k + 86. Is h/6*(-196)/(-6) a multiple of 35?
True
Let g(d) = 11*d**2 + d + 40. Let v be g(12). Suppose 1908 + v = 4*m. Is 14 a factor of m?
False
Suppose 89*q - 97*q = -36264. Is 121 a factor of q?
False
Is 17 a factor of (209/(-33))/19*-97*459?
True
Suppose 0 = -4*b + 4*a - 24, 0 = 2*b - 5*a - 16 + 43. Is 19 a factor of (5 + (-7 - b))*-346?
False
Suppose 2*b - 46 = 2*s, 2*s + 34 = -0*s - 4*b. Suppose -107*p - 67*p + 1728 = -142*p. Let v = s + p. Does 9 divide v?
False
Let z be 44/(-6) + ((-4)/6 - -1). Let g be -4 - (4/(-10))/(z/35). Is (4/6 + 20/g)*-3 a multiple of 8?
True
Let r(z) = 17*z - 11. Let h be r(3). Suppose -12*m + 2*m = -h. Suppose 0 = 3*p + m*i - 368, -2*i - 9 = -1. Is 60 a factor of p?
False
Suppose -10*r = 13*r - 118599 - 7326. Is 73 a factor of r?
True
Let r(j) = j**2 - 5*j - 14. Let z be (-1*6)/(2 - 105/48). Suppose -z*q - 72 = -36*q. Is r(q) a multiple of 44?
True
Let q be ((-205)/4)/((-12)/192). Suppose 299*g + q = 301*g. Does 10 divide g?
True
Does 82 divide 3936/(5 - 3) - (29 - 22)?
False
Suppose 27 = 4*m + 5*q, -2*m - q = -m - 6. Let i(d) = -9*d**3 + 14*d**m + 84 - d**2 - 6*d**3 + 5*d - 4*d. Is 14 a factor of i(0)?
True
Suppose 2*w = -8, 5*w - 79 + 27 = 4*u. Is ((-28)/(-10))/(u/(-990)) a multiple of 14?
True
Suppose 5*b + 6*x - 276 = 4*x, -x + 219 = 4*b. Let q be b/8 + (-2)/(-8). Let o(t) = 13*t + 4. Is 25 a factor of o(q)?
False
Is 18 a factor of 22103/2 - 78/(-156)?
True
Suppose n - 31 = 2*z, 0*n + z + 68 = 3*n. Let w be 4*3/n*7. Suppose w*j - 3*j = 108. Does 35 divide j?
False
Suppose -299*f + 303*f + 683 = 2891. Is f a multiple of 3?
True
Suppose -q - 5*a = -28, -4*a - 48 = -4*q - 32. Suppose q*l = 4*l - 16, 876 = 2*s + 3*l. Does 8 divide s?
False
Let l(t) = -177 - 35*t + 5*t**2 + 25 + 22. Is 59 a factor of l(-9)?
True
Let m(f) = 2*f**2 + 15*f + 2. Let i be m(-8). Does 22 divide (3 - (-20)/8)*(i + 2)?
True
Let j(m) = m + 10. Let r be j(-7). Let y be (-7)/49 - r*(-12)/7. Does 29 divide ((-76)/(-6))/(y/30)?
False
Let d(k) = -k**2 + 4*k + 15. Let s be d(0). Suppose -c + 29 = 5*v, s = -c + 6*c - v. Suppose -o - 3 + 48 = 5*r, c*r = 2*o - 20. Does 11 divide o?
False
Suppose 1829767 = 176*q + 387927 - 1611056. Is q a multiple of 49?
True
Let k(v) = v**2 - 4*v - 19. Let u(m) = 3*m**2 - 12*m - 58. Let j(a) = -7*k(a) + 2*u(a). Let o be j(8). Is (o/(-10))/((-3)/(-56)) a multiple of 17?
False
Let d = -403 - -593. Let m be 4*(-9)/(-12) + d/2. Suppose -l = -2*c + 3*c - m, -l + 92 = 4*c. Is 17 a factor of l?
False
Suppose 645*d - 602*d - 4515 = 0. Does 5 divide d?
True
Let x(w) = 3*w**2 - 30*w - 27. Is x(-8) a multiple of