n + 330, -3*n = -2*a - 248. Is 7 a factor of n?
True
Let j = -9610 - -22659. Is 23 a factor of j?
False
Suppose 0 = 12*l + 45 - 153. Let s(m) = m**3 - 7*m**2 + 4*m - 22. Does 23 divide s(l)?
False
Suppose -2*n - a = 127, -n + 37 = a + 100. Let v = -58 - n. Suppose 0 = -v*u - 199 + 1063. Is 18 a factor of u?
True
Let a = 313 + -248. Suppose -a*q = -71*q + 2772. Is 11 a factor of q?
True
Let h(g) = 6*g**3 + 5*g - 3. Does 19 divide h(7)?
True
Let z(k) = -8*k - 3. Let h be z(-1). Suppose 3*f + h*q = 456 - 85, 2*f = 4*q + 218. Is f a multiple of 9?
True
Suppose -28 = 4*l, 346*l + 221642 = 5*x + 345*l. Does 84 divide x?
False
Suppose 0*j - 5*j = 5*a + 450, 4*a = 0. Let c be 3/5 + 0 - j/(-25). Let u(h) = -2*h**3 + 2*h**2 - 4*h + 4. Does 11 divide u(c)?
True
Is (465 - 72318)*((-2)/(-12))/((-4)/8) a multiple of 303?
False
Let k(i) be the first derivative of 33*i**3/2 - 20*i + 13. Let a(u) be the first derivative of k(u). Is 9 a factor of a(1)?
True
Suppose -5*z = -337 - 128. Suppose -95*q = -z*q - 6. Does 3 divide q?
True
Suppose v - 2*y - 1002 = 0, 2*v - 3198 = 2*y - 1196. Suppose v = 7*q - 1275. Is 11 a factor of q?
False
Suppose -64 = -4*d - 0*q + q, -3*d + 5*q = -31. Let s = d + -17. Suppose -8*p - p + 90 = s. Is 2 a factor of p?
True
Suppose -8*w = 127 - 111. Suppose 3*t - f + 32 = 0, t - 4*f + 3 = -4. Is (-790)/t + w/(-11) a multiple of 24?
True
Suppose 3*c = -0*c + 5*d + 10350, 0 = c - d - 3450. Suppose -36*x = -c - 438. Is x a multiple of 27?
True
Let f(c) = -40 - 10*c + 0*c**3 + 0*c**3 - 2*c**3 + 15*c**2 + 3*c**3. Is f(-12) a multiple of 36?
False
Let x = -10885 + 12732. Is x a multiple of 59?
False
Let l(j) = 25*j - 1 + 2 + 9. Suppose 0 = -57*p + 49*p + 16. Is 15 a factor of l(p)?
True
Suppose 2*s + 32 = 38. Suppose -4*g - 449 = -s*l + 269, -3*l + 710 = -2*g. Is l a multiple of 18?
True
Let y be (-35)/(-5) + -6 + -895. Is ((-15)/5)/(9/y) a multiple of 28?
False
Let z = 66 - 66. Suppose -5*w - 34 - 110 = 2*c, z = -2*c - 4*w - 140. Let v = c - -77. Is v a multiple of 15?
True
Let j(r) = r**3 - 13*r**2 - 11*r - 5. Let g = -7 + 21. Let o be j(g). Suppose x = 3*v - o, v = 6*v - 3*x - 63. Does 12 divide v?
True
Suppose 158*r + 5208 = 172*r. Is 62 a factor of r?
True
Let k(b) = 102*b + 113. Let v = -442 - -447. Is 18 a factor of k(v)?
False
Suppose -52*y + 30*y = -17358. Is y a multiple of 20?
False
Let g = 345 + -562. Let r = -187 - g. Is 2 a factor of r?
True
Let p be ((-1)/(-3))/(1 + (-6)/9). Let w(c) = 395*c + 5. Is w(p) a multiple of 10?
True
Let s(v) = -5*v**2 + 5*v - 11. Let x(u) = u**2 + u. Let k(q) = s(q) + 4*x(q). Let d(c) be the first derivative of k(c). Is d(-4) a multiple of 3?
False
Let a(k) = -22*k - 348. Let n be a(-16). Suppose 12 = 2*p + 2*p. Is 5 a factor of (-45)/(p - n) + 0?
True
Let t = -314 + 610. Does 6 divide t?
False
Suppose 0 = 6*v - v + 20, -2*k - 5*v - 68 = 0. Let p = k - -26. Suppose 5*q - 636 = -n - 115, p*n = 3*q - 310. Is q a multiple of 26?
True
Let c(g) = -6*g + 2*g + 0 - 5 + 12*g**2. Suppose -23 + 2 = 17*j + 4*j. Is 11 a factor of c(j)?
True
Let m = 174 + -172. Suppose -2*k = -m*q - 663 - 483, 5*k = -2*q + 2879. Is k a multiple of 25?
True
Let o(v) = 4328*v - 1911. Is 109 a factor of o(10)?
False
Let a be (9/(-6))/(3/(-4)). Suppose -a*b - s - 10 = -1, -s = -b. Is 4 a factor of 8 - (3 - 2)*b?
False
Let j(n) = -10*n**3 - 35*n**2 - 56*n - 158. Does 15 divide j(-9)?
False
Let s(q) = 271*q**2 - 398*q - 796. Is 41 a factor of s(-2)?
False
Let n = -3745 + 5086. Is 21 a factor of n?
False
Let n = -5866 + 10487. Does 107 divide n?
False
Does 53 divide (-78178)/(-3) + (-6)/2 + 388/582?
False
Let s(l) = -l**3 + 9*l**2 + 21*l + 10. Let u be (22/(-10))/(8/(-40)). Let t be s(u). Is 20 a factor of -411*t/3 - -3?
True
Let g(p) = 6 - 4 - 2 - 5 - 7 - 396*p. Is g(-3) a multiple of 15?
False
Let s = -1763 + 10089. Is s a multiple of 18?
False
Let s be (-1*62/8)/((-35)/140). Suppose -s*a + 27*a = -888. Does 6 divide a?
True
Let n(p) = 12 - 16 + 9 - 3*p + 472*p**2. Let k be n(2). Suppose -687 = 10*a - k. Is a a multiple of 15?
True
Let u be 27 + 3/(12/(-16)). Let l = -20 + u. Suppose 0*n + l*n - 45 = 0. Is n a multiple of 6?
False
Suppose -4*v = -5*b - 57141, v - 76*b + 79*b - 14264 = 0. Is 131 a factor of v?
True
Let j(b) = 1015*b - 3361. Is j(37) a multiple of 139?
True
Let p be (-2)/(-1 + (-4)/(-12)). Let u(z) = -95 + 37 + 14*z + 38 + 33. Is 5 a factor of u(p)?
True
Let b be (-26)/(-22) + -1 + 656/22. Is ((-10)/((-100)/b))/(6/824) a multiple of 36?
False
Does 16 divide (-1*(2 + 11) - -8) + 3477?
True
Let t(a) = -a**3 - a**2 + a - 3. Let o = -8 - -10. Suppose -2*b = 5*f - o, 0*b + 2*f = 2*b + 12. Does 6 divide t(b)?
False
Is (-2948)/(-6) + 216/(-648) even?
False
Let i be (-1 + 183)*(104/16 - 6). Suppose i = f - 5*o, -7*f + 273 = -4*f + 5*o. Does 13 divide f?
True
Let o be (-3 + 4/((-48)/(-44)))*-3. Let m(l) = 26*l**2 + 14*l + 4. Is 41 a factor of m(o)?
False
Suppose 0 = -6*h + 10*h - 156. Let b = 6 + h. Is 17 a factor of 4/(-6) + 1065/b?
False
Suppose 0 = -3*i - 5*k + 11561, -4*k + 4 = -0. Suppose 0 = -8*u - u + i. Is 24 a factor of u?
False
Is 27/(27/(-19850))*(-40)/16 a multiple of 16?
False
Let s = -2840 - -7890. Is 22 a factor of s?
False
Let h(j) = 2*j**3 + 8*j**2 + 3*j - 4. Let i be h(-3). Suppose 61*x = 60*x + i. Suppose -x*g = c - 5*c - 456, c = -2*g + 172. Does 22 divide g?
True
Let q be (14/(-4) - -7)*692. Let m = q - 1440. Is 17 a factor of m?
False
Suppose -a - 33*f + 29*f = -11180, -4*a + 44690 = f. Is 57 a factor of a?
True
Suppose -42*d + 41633 = 5*u - 39*d, 0 = d - 6. Is u a multiple of 41?
True
Suppose 3*p + 10*o - 5*o - 8380 = 0, 2804 = p - o. Is p a multiple of 100?
True
Suppose -1073 - 4351 = -8*j. Let o = j - -39. Is o a multiple of 8?
False
Let d = -526 - -1048. Let m = -368 + d. Does 22 divide m?
True
Let o(z) = 5*z**3 - 10*z**2 + 7*z - 6. Let m(c) = -5*c**3 + 8*c**2 - 6*c + 7. Let g(j) = -5*m(j) - 4*o(j). Let b = -1 + 4. Does 17 divide g(b)?
False
Let a(x) = x**2 - 18*x + 51. Let i be a(9). Is (-13)/(-6) + -2 + (-33055)/i a multiple of 38?
True
Let c be (-9)/((-60)/(-45)*18/16). Is 24 a factor of c*8*(-5 + 15 + -11)?
True
Does 34 divide (-208)/1560 - (2*12047/(-30) - -1)?
False
Let y(g) = 24*g - 18. Suppose 4*f - j = 11 + 20, 4*j + 20 = 3*f. Is 48 a factor of y(f)?
False
Is (26 - 346)/(-4 - (-916)/230) a multiple of 58?
False
Suppose 0 = 30*w - 47666 - 17224. Does 6 divide w?
False
Let n = 289 + -266. Let b = 26 + n. Does 2 divide b?
False
Let z be (-10 - 0)/(2/4). Let l = 34 - z. Suppose -4*k + l = -2*k. Is k a multiple of 3?
True
Suppose 0 = 8*i + 59 - 75. Let q(r) = r**2 - 5*r - 1. Let n be q(-6). Suppose -i*c = -3*z + 4*z - n, 2*c = 5*z + 59. Is c a multiple of 32?
True
Suppose -x + u - 2 = 1, 3*x + 24 = -2*u. Let k(g) be the first derivative of g**3 + 2*g**2 + 13*g - 1. Does 26 divide k(x)?
False
Let c be (3 - -499) + (3 - 7). Suppose 3*p - 1068 + 321 = -5*r, 2*p - 3*r = c. Suppose 2*g - 11 = p. Is g a multiple of 26?
True
Suppose 20*h - 147 = 21*h. Let o be (30/(-8))/(h/(-56) + -3). Suppose 0 = 14*r - o*r - 512. Is 16 a factor of r?
True
Let s(m) = 4*m**3 - 45*m**2 + 65*m - 743. Does 7 divide s(24)?
False
Is (-8 - -6)*(-5 - 2094/4) a multiple of 3?
False
Suppose 0 = 1275*z - 1298*z + 168636. Is z a multiple of 26?
True
Suppose 0 = -5*b + 2*w + 176, -6*b + 5*w + 151 = -2*b. Suppose 9*u - b - 56 = 0. Is 10 a factor of u?
True
Let b(g) = -7*g**3 - 18*g**2 + 16*g - 21. Does 10 divide b(-9)?
True
Let u = -25 + 79. Let c be u/12*(8/(-6) - -2). Suppose -c*o - 140 = -752. Does 17 divide o?
True
Suppose 2*v = 8, 5*c - 6*v + 8*v - 13643 = 0. Suppose -425 = -8*m + c. Does 33 divide m?
False
Suppose 4*o - 4*s = 84920, -5*o + 24178 + 81956 = -s. Is 111 a factor of o?
False
Suppose 2*j + 4 = 0, -2*t + 158 = -0*t - 3*j. Suppose s - t = -17. Does 4 divide s?
False
Let j be 2 + (-5)/(-10) - 6/(-12). Suppose -2*y + 7*y - 3362 = -3*p, 2*y + j*p - 1352 = 0. Is y a multiple of 12?
False
Suppose -10*r - 533 = 137. Let m = 20 - r. Is 58 a factor of m?
False
Let j be (-1 - ((6 - 4) + -2)) + -1. Does 6 divide (4 - 375/j)*2?
False
Suppose 209*k - 210*k = 3*b - 9010, 6002 = 2*b + 3*k. Does 31 divide b?
False
Suppose 4*x = -2*y + 1818, 4*x = -x - 3*y + 2272. Let k = 910 - x. Is k a multiple of 23?
False
Let v(a) be the first d