 x?
False
Suppose 2*l + 1 = 1. Suppose -5*k - 3*p + 1335 + 1503 = 0, 4*k - 2*p - 2288 = l. Is k a multiple of 41?
False
Suppose -20*c - 49677 = -31*c + 32823. Does 4 divide c?
True
Suppose -22*q + 212699 - 97593 = -185260. Is q a multiple of 51?
False
Let v = 111 + -109. Suppose -j + 3*j - h - 61 = 0, -v*j - 4*h + 76 = 0. Is 8 a factor of j?
True
Let l be ((-5)/(-2))/((-4)/8). Let g = l + 67. Suppose 73 = 5*f - g. Is 12 a factor of f?
False
Suppose 0 = -220*b + 3629868 - 882948. Is b a multiple of 4?
False
Suppose -49*n + 50*n - 4 = 0. Suppose -n*w - 28 = -84. Is 11 a factor of w?
False
Let w(t) = -2*t + 21. Let f be w(8). Suppose 3*x - 46 = f*r + 58, -x - r + 48 = 0. Is 11 a factor of x - ((-1)/1 + 0)?
True
Let f be -145*(-7)/21*30. Let y = 2298 - f. Is y a multiple of 42?
False
Let q(f) = -10*f**2 - 45*f + 284. Let z be q(8). Let p = -302 - z. Does 43 divide p?
False
Suppose 5*d - 34 = -u, -3*u - 12 = 5*d - 54. Is 29 a factor of 4/d*-957*-1?
True
Let k(m) be the third derivative of m**6/120 - m**5/12 + m**4/6 + 5*m**3/6 - 11*m**2. Let p be k(4). Suppose 0 = -12*x + p*x + 644. Is x a multiple of 20?
False
Let l be 1336/18 + (-16)/72. Let o = -72 + l. Let k(y) = 28*y**2. Is k(o) a multiple of 14?
True
Suppose 1 + 43 = 11*y. Suppose -y*q = -6*q + 68. Does 5 divide q?
False
Let z = -110 + 97. Let j = z + 15. Suppose 0 = 5*l + 4*q - 750, -l - j*q + 150 = q. Is l a multiple of 14?
False
Let k = -263 - -385. Suppose 131*f = k*f + 4446. Does 38 divide f?
True
Let k(x) = -x**2 - 56*x - 370. Is k(-15) a multiple of 35?
True
Let u(k) = -79*k**3 - 14*k**2 + k + 56. Is 245 a factor of u(-7)?
True
Suppose -26*k = -5*s - 28*k + 8154, -5*k = -5*s + 8175. Is s a multiple of 51?
True
Let q(t) = 890*t**2 - 2*t. Is 8 a factor of q(1)?
True
Let d = -13 + 8. Let v(b) = 12 + 3*b + 6*b + 2 - 12 + 3*b**2 + 19. Does 4 divide v(d)?
False
Let g be ((-3)/(-1) - 1) + -2. Suppose -x - 1 = -z - g*x, 2*z - x = 5. Suppose 0*c - 96 = -3*c + 4*w, -z*c = -3*w - 128. Is 7 a factor of c?
False
Suppose 0*p - 312 = -13*p. Let v be (-1078)/(-91) - (p/(-39))/4. Suppose 3*b - 6*b = -v. Is b a multiple of 4?
True
Let t(m) = 60*m + 4. Let z be t(-3). Let b(i) = i**2 + 40*i - 108. Let u be b(-36). Let o = z - u. Is o a multiple of 19?
True
Suppose 896*i + 18210 = 899*i. Is i a multiple of 93?
False
Let t(c) = 2*c**2 - 8*c + 5. Let n be t(2). Let z be ((-9)/n)/(0 - -1). Suppose -z*b + 40 = b. Is b a multiple of 10?
True
Let i(u) = 68*u**2 - 5*u - 28. Let m be i(-4). Suppose -56*r + 54*r = -m. Does 22 divide r?
False
Suppose -8 + 74 = 11*l. Let x be 41*1*(24/4)/l. Let f = x - 9. Does 4 divide f?
True
Suppose -462672 = -19*g - 29*g. Suppose 31*y + g = 40*y. Does 51 divide y?
True
Let r = 24 - 5. Let z = -34 + r. Does 16 divide (z/(-5))/(3/80)?
True
Suppose 3*v - 4*p - 1506 = 0, 3*v - 6*v + 1503 = -5*p. Does 60 divide v?
False
Let p = -411 + 691. Is 9 a factor of ((-420)/p)/((-6)/964*1)?
False
Let n = 67 - -57. Let s = 335 - n. Let c = s + -90. Is 11 a factor of c?
True
Let w = -301 + 309. Suppose -7584 = -w*l - 1840. Is 15 a factor of l?
False
Let o = 11840 + -5933. Is 173 a factor of o?
False
Let u = -2869 + 2853. Let w be (-2)/(-8) - 15/(-4). Is 4 a factor of 4/u - (-65)/w?
True
Let g be (-15)/2*(-5 - 55/(-15)). Suppose -16*x = -g*x - 12. Is (9 - -7) + (0/x)/(-2) a multiple of 6?
False
Let f = -1264 + 1310. Suppose 4*q + 6 + 30 = 0. Let n = q + f. Is 3 a factor of n?
False
Suppose 0 = 2*y + 5*x - 158 - 12, -4*y + 376 = x. Let j = y + -91. Suppose 3*d + 3*z - 303 = 0, j*z = 7*z + 3. Is 34 a factor of d?
True
Let d(b) = b**2 - 8*b + 4. Let v be d(8). Suppose 3*y + 16 - v = -3*g, -3*g = 5*y + 24. Does 2 divide (-15)/10*y - 3?
True
Let v(o) = 42*o + 342. Is v(9) a multiple of 19?
False
Let o(z) = -3*z**3 + 4*z + 11. Let b be o(-3). Is 62/(5*2/b) a multiple of 14?
False
Let d(w) = -2*w**2 + 2*w + 3. Let s be d(0). Suppose f - 3*f + 51 = -v, s*v = -2*f + 55. Suppose -f*k = -24*k - 72. Does 18 divide k?
True
Let q(a) = 99*a + 380. Let r be q(34). Suppose 0 = -2*j - 4*l + 2468, -3*j - l + r = -6*l. Is j a multiple of 27?
True
Suppose 2 = 2*j - 4*x, -2*x + 11 - 40 = -5*j. Is 28 a factor of 49/((-49)/j) - -473?
False
Let u = 95 - -31. Suppose -17 = 7*q + 10*q. Is 2 a factor of u/70 - q/5?
True
Let x(m) = 1472*m**2 - 77*m - 242. Is x(-3) a multiple of 31?
True
Is (-4548)/(-27) - (-44)/(-99) a multiple of 9?
False
Suppose -m + 18314 = 7*t - 3*t, -4*t + 4*m + 18304 = 0. Is 21 a factor of t?
True
Let o(v) = -v**3 + 57*v**2 - 38*v + 7. Is 145 a factor of o(56)?
True
Suppose 8478 = 5*g + 2*k - 8522, -2*g + 6800 = 2*k. Is g a multiple of 6?
False
Let h(i) = 7714*i**2 - 7*i + 3. Is 20 a factor of h(1)?
False
Let i = -23 + 26. Suppose -i*j = j - 2220. Is 37 a factor of j?
True
Is (-5273472)/(-558) + (-8)/(-6) a multiple of 17?
True
Let k = -31515 - -50303. Is k a multiple of 122?
True
Let t(z) = -z**2 - 2*z + 112. Let f(g) = g - 1. Let n(b) = -b + 17. Let j(m) = 3*f(m) + n(m). Let v be j(-7). Is t(v) a multiple of 16?
True
Let d(z) = z**2 + 1. Let c(y) = -27*y**2 - 9. Let q(m) = -c(m) - 6*d(m). Let o(k) = k**2 - 7*k - 32. Let w be o(10). Does 18 divide q(w)?
False
Suppose -50 = -2*b - 5*m, 4*b + 5*m - 58 - 42 = 0. Suppose -b*n = -30*n + 435. Does 29 divide n?
True
Suppose -y + 50 = -2*l, -4*y = 3*l - y + 84. Let b be l + 43 + (-2)/(-2) + -5. Let o(n) = -n**2 + 16*n - 13. Is 13 a factor of o(b)?
True
Suppose 64*v - 4899 + 739 = 0. Does 6 divide (v/10)/(3/150)?
False
Let v(r) = -r**3 + 22*r**2 + 24*r + 6. Let j be v(23). Suppose 0 = j*z - 36*z - 49. Does 24 divide ((-8468)/(-203))/((-2)/z)?
False
Suppose -97*q = 73749 - 655749. Is 10 a factor of q?
True
Let u = 34774 - 26216. Does 389 divide u?
True
Let d be 1*3858/(36/(-6)). Let w = d - -733. Is w a multiple of 5?
True
Let s(g) = -g**3 - 44. Let c be s(0). Let v be (45/18)/(-5)*(-118)/(-1). Let z = c - v. Is z a multiple of 2?
False
Let f(a) be the third derivative of -a**4/8 + 23*a**3/3 - 2*a**2 + 9. Does 5 divide f(7)?
True
Let x be (-1)/(-4*(-6)/2544). Let y = x - -118. Is 4 a factor of y?
True
Suppose -5*g - 6403 = -3*n, 3*n - 79 = -g - 1356. Let u = -710 - g. Does 30 divide u?
True
Let s(r) = -10*r**3 - 3*r**2 + 43*r + 210. Is 234 a factor of s(-5)?
True
Let i = 1878 + 111. Is i a multiple of 29?
False
Let c be 2 - 1 - (437 - 4). Let t be c/45 - (-2)/(-5). Is (-120)/18*72/t a multiple of 8?
True
Let i(r) be the third derivative of r**4/24 - r**3 + 3*r**2. Suppose 20*d - 8*d = 144. Is i(d) a multiple of 4?
False
Let a(q) = 2*q + 38. Let z be a(-19). Is (25/(-10) + z)*-70 a multiple of 25?
True
Suppose -197*x - 90*x + 72*x + 17200 = 0. Is 16 a factor of x?
True
Suppose -c = 2*b - 54131, -3*b + 2*c + 81198 = 4*c. Is 183 a factor of b?
False
Suppose 342*x + 96350 = 347*x. Does 221 divide x?
False
Suppose 0 = -564*r + 41963 + 41570 + 92999. Is 268 a factor of r?
False
Let v(c) = c**3 - 2*c**2 - 9*c + 17. Let u be v(6). Suppose 5*k = -2*i + 1652, 0 = -k + 5*i + 218 + u. Is 10 a factor of k?
True
Is (-53 - -5)/8*466/(-3) a multiple of 5?
False
Suppose 767 = 10*f - 2323. Suppose -j = -4*x + f, -3*x - 3*j + 190 = -23. Does 15 divide x?
False
Let v(u) = -u**3 + 4*u**2 + 6*u - 19. Let o = -21 - -15. Is v(o) a multiple of 31?
False
Suppose -2046*q = -2055*q + 10647. Is q a multiple of 3?
False
Suppose 3*p = -z + 9719, -5*p + 21*z - 25*z = -16203. Is p a multiple of 41?
True
Suppose 5*j = -4*f + 49441, -6*f + 74103 = 26*j - 25*j. Does 48 divide f?
False
Suppose 9*d - 19625 = 2884. Does 61 divide d?
True
Is (-45)/120*80/(-6)*(-3536)/(-5) a multiple of 52?
True
Let v = 4444 - 2549. Suppose n + v = 5*o, n = 7*o - 9*o + 765. Does 16 divide o?
False
Let b(s) = 30*s**2 - 18*s + 40. Let d be b(4). Suppose 2*p - d = 362. Does 75 divide p?
False
Suppose 60*r - 58*r + 4*l + 6 = 0, -r + 3 = 5*l. Is (43 + -1)*(-60)/r + 0 a multiple of 72?
True
Suppose -6*v = -2*v + 160. Let t be ((-54)/15)/(16/v). Does 23 divide 0 + ((-8)/(-3))/(t/297)?
False
Suppose -310*v + 67417 = 2*n - 313*v, -4*n = v - 134841. Is 17 a factor of n?
False
Suppose 107*u - 1062806 = -10*u - 149621. Is 49 a factor of u?
False
Let d = -326 - -529. Is (5/((-105)/d))/(3/(-81)) a multiple of 29?
True
Suppose -7*j = -10751 - 4411. Suppose -25*w + 6*w + j = 0. Does 19 divide w?
True
Let a(l) = 600*l**3 + 22*l - 