)/(2/(-6)). Suppose k + m*k - 2*c = 570, 2*k - c = 227. Is k a multiple of 12?
False
Suppose 105 = -13*u + 16*u. Let p = -7 + u. Is 28 a factor of p?
True
Let n(z) = -13*z - 7. Let j(r) = -3 + 2*r**2 + 2*r - 5*r - 3*r**2 + 0*r. Let u be j(-4). Does 15 divide n(u)?
False
Let y = -1583 - -1948. Is 4 a factor of y?
False
Suppose 46*s - 6*s - 18400 = 0. Does 43 divide s?
False
Let b(o) be the third derivative of -o**6/60 - o**4/24 + o**3/6 - 9*o**2. Let z(f) = -2*f**2 + f. Let m be z(-1). Is 25 a factor of b(m)?
False
Let f(d) = 2*d**2 - 9*d - 5. Let s(l) = -l. Let p(v) = f(v) - 4*s(v). Let n(r) be the first derivative of p(r). Does 11 divide n(10)?
False
Let x = -1307 + 1342. Is 4 a factor of x?
False
Let z be 0*(3/1 - 4). Let n(c) = -2*c - 11. Let k be n(z). Is (k - 11)/(4/(-2)) a multiple of 4?
False
Let x(d) = 3*d**2 - 4*d + 1. Is 4 a factor of x(-3)?
True
Let r be ((-6)/(-4))/((-30)/(-200)). Suppose -d + 3*d = -r, 7 = 3*i - 2*d. Is (i - -37) + (-40)/(-10) a multiple of 10?
True
Let h = -813 - -1391. Is h a multiple of 16?
False
Suppose -4*y + 6965 = -i, i + 4451 + 774 = 3*y. Is 14 a factor of y?
False
Let j(c) = -c - 8. Let w be -6 + (-5)/((-15)/6). Let v be j(w). Let f(s) = -5*s. Does 10 divide f(v)?
True
Let z = -1 - 5. Let y(t) = -5*t + 0*t + 3*t. Is 3 a factor of y(z)?
True
Let s = 1001 + -762. Is s even?
False
Suppose 0 = -f + 4*r + 348, -1024 - 641 = -5*f - 5*r. Does 48 divide f?
True
Let i be (96/(-18) - -5)/((-2)/12). Is 19 a factor of i - 765/(-12) - (-1)/4?
False
Let r(a) = -a**3 - 10*a**2 - 9*a + 2. Let g be r(-8). Let n = -100 - g. Let z = -22 - n. Is z a multiple of 6?
True
Let b(m) = -m + 8. Let h be b(6). Suppose 4*r = h*r - 6. Does 2 divide 1*5/r*-3?
False
Suppose -p = 2*k + 183 - 791, -4*p = 5*k - 2420. Is p a multiple of 12?
True
Let m = -21 + 70. Let h = -7 + m. Does 21 divide h?
True
Let v(f) = 12*f**2 + 2*f - 1. Suppose 2*l = 3 + 1. Does 11 divide v(l)?
False
Let t(s) = -s**2 + 29*s + 70. Is 5 a factor of t(30)?
True
Suppose 70*g + 25072 = 86*g. Does 9 divide g?
False
Suppose 0 = 3*j + 5*r - 7*r - 3837, -12 = -4*r. Does 5 divide j?
False
Suppose -5*r = 2*k + 3*k - 20, 12 = 5*r + k. Suppose r*j - 96 - 54 = 0. Is j a multiple of 15?
True
Let d(o) = 5*o**2 - o - 1. Is d(2) a multiple of 10?
False
Let q(w) = w**2 - 20. Let y be q(0). Suppose -1924 = -37*m - 0*m. Let l = y + m. Is l a multiple of 8?
True
Let h(w) = -5*w - w + 2*w - 9 + w**2. Does 2 divide h(-3)?
True
Let f(t) = -t**2 + 20*t - 3. Let y(k) = k**3 + 2*k**2 + 2. Let d be y(-2). Let l be 4/d*16/4. Does 31 divide f(l)?
True
Let f be 114*3*(-1)/(-9). Let b = f - 29. Is b a multiple of 5?
False
Let k be 4/18 + -2*(-1)/(-9). Suppose 2*y + 4*r - 84 = 0, k = -4*r + 2 + 2. Is y a multiple of 16?
False
Suppose -4 = j, 39 = 4*a - 5*j - 49. Suppose 160 = 4*c + 3*k + a, -5*c + 5*k + 135 = 0. Is 16 a factor of c?
True
Let q(a) = -128*a + 200. Is 11 a factor of q(-9)?
False
Let r = -1476 - -1585. Is 9 a factor of r?
False
Suppose -683 = -2*g - 5*n, 1441 = 4*g + 20*n - 25*n. Is 7 a factor of g?
False
Let i = 2567 + -1802. Does 9 divide i?
True
Suppose z = 4*r - 16 + 328, 3*r + 1274 = 4*z. Does 53 divide z?
False
Let i = -2855 + 4513. Is 18 a factor of i?
False
Suppose x + 5*y = 0, -3*y - 11 + 34 = -4*x. Is 6 a factor of ((-42)/x)/((-8)/(-40))?
True
Suppose 0 = -82*s + 62152 + 122512. Is s a multiple of 15?
False
Let b(w) = -3*w - 6. Let z be b(-3). Suppose -g - 474 = 3*r, z*r + 5*g + 239 + 223 = 0. Let y = -88 - r. Is y a multiple of 18?
False
Does 27 divide (114/(-19))/((-6)/260)?
False
Let a = 44 + -35. Let u(w) = w**3 - 8*w**2 - 3*w + 11. Is 13 a factor of u(a)?
True
Suppose 5*o + 2 + 8 = -2*n, o = 2*n - 14. Suppose 5*z - 19 = s, -2*s + 18 = 2*z - 5*s. Suppose -n*h - c = -91, c = -h + z*c + 16. Does 9 divide h?
True
Let f = 1 - -4. Is 7 a factor of (-7 + f)/(4/(-14))?
True
Let o be (-2)/(-5) + ((-7452)/20)/9. Let k = -18 - o. Is k a multiple of 17?
False
Does 47 divide -2585*((4 - 1) + -4)?
True
Suppose -m + a - 2*a + 87 = 0, -4*m = 3*a - 351. Is 10 a factor of m - (4 + -6 - -2)?
True
Let z(u) = -u**3 - 7*u**2 - 11*u - 5. Let p(k) = k**2 - 12*k + 20. Let m be p(9). Is z(m) a multiple of 18?
True
Let d(q) = -10*q + 126. Is d(-21) a multiple of 12?
True
Suppose -m - 250 = -6*m. Suppose -3*z + 10 = -4*z - 2*t, 4*z - 3*t = -7. Is 26 a factor of m + (z - (-5 - -3))?
False
Let i(h) = -5 - 6*h + 2*h**2 - 7*h**2 + 4*h**2. Let d be i(-6). Let q(w) = -w**3 - 4*w**2 + 4*w + 3. Does 2 divide q(d)?
True
Let a = -7397 - -11149. Is a a multiple of 134?
True
Let f be 12/10*(-30)/(-12). Suppose 3*c - 9 = 5*v, c + v = f*v + 4. Is 28 a factor of ((-42)/(-1))/((-3)/c)?
True
Suppose -2770 + 8308 = 13*q. Is q a multiple of 4?
False
Suppose -g + 3*c + 5 = 0, c = 5*g - 4*c - 15. Suppose -s - 134 = -g*s. Suppose -2*u = -4 - s. Is 19 a factor of u?
False
Suppose 0*b + 21 = -3*b - 3*n, -4*b = -4*n + 36. Let k be (-6)/(-4)*(21 + 1). Let g = k - b. Is g a multiple of 8?
False
Suppose 10717 + 8459 = 24*a. Does 73 divide a?
False
Is 276/10*8320/192 a multiple of 4?
True
Suppose 4*p + 5*q - 34 = 0, 3*p - 5*q + 4 = 2*p. Suppose p = 4*u - 2*u. Suppose 0 = -b - 2*o + 6, -u*b + 0*o + 5*o = -29. Is b a multiple of 4?
True
Let p = -4 - -12. Is 2205/20 + (-2)/p a multiple of 27?
False
Let s(r) = -35*r - 1. Let c be s(11). Let d = -211 - c. Does 25 divide d?
True
Suppose 238377 - 18465 = 68*g. Does 77 divide g?
True
Suppose -3*o - o = 24. Let l(a) = -a**3 + 3*a**2 + 3. Let y be l(4). Does 6 divide -3 - (o + 2) - y?
False
Let c be (-1)/(-3) + (-10)/(-15). Is 4 a factor of ((-17)/c - 3)*(-48)/15?
True
Let s(n) be the second derivative of n**6/120 + 11*n**5/60 + n**4/4 - 5*n**3/3 - n**2 + n. Let y(i) be the first derivative of s(i). Is 10 a factor of y(-10)?
True
Suppose -2*p - 98 = -2*q, -3*q + 4*p = -165 + 14. Does 7 divide ((-216)/q)/(1/(-5))?
False
Suppose -12*o = 3*o - 1410. Let b = 166 - o. Is 18 a factor of b?
True
Suppose 4*o + 27*o - 18879 = 0. Is 87 a factor of o?
True
Suppose -14*b = -18*b + 520. Does 5 divide b?
True
Let i = 70 - 14. Let t = i - -43. Is t a multiple of 14?
False
Suppose 5*c = 4*r - 821, 3*c + 1022 = 5*r + c. Suppose -5*k + 684 - r = 0. Does 8 divide k?
True
Let j = 1154 - 668. Is 21 a factor of j?
False
Let d(m) = -9 - 13*m**2 - 7*m + 3*m**3 + 9. Does 46 divide d(6)?
True
Let j(y) = -y**3 - 23*y**2 - 19*y + 95. Is 19 a factor of j(-23)?
True
Suppose -3*p - p = -332. Suppose 3*a - 136 - p = 0. Suppose -a - 182 = -5*h. Is h a multiple of 17?
True
Let q(l) = 18*l**2 - 3*l**2 - 7*l + 0*l**2 - 3 + 1. Let c(n) = -n**2 - n. Let d(h) = -3*c(h) + q(h). Does 3 divide d(-1)?
False
Let b(s) = 2*s**3 + s - 3. Suppose -5*j + 3*m = -26, -4*m + 9 = -3*j + 29. Is 25 a factor of b(j)?
False
Suppose -j - 3*f = -0*j + 3, f + 1 = 0. Suppose 3*v + j*v = 27. Suppose v*n + 58 = 10*n. Is 21 a factor of n?
False
Suppose -3342 = -3*a + 3*l, -5*l + 469 - 1587 = -a. Is 107 a factor of a?
False
Let j(g) = g**2 - 15*g - 3. Let y be j(16). Suppose 8*c = 301 - y. Does 3 divide c?
True
Suppose -3*a + 10 = 2*a. Suppose -6*t = -286 + 34. Suppose 2*j + a = t. Is 10 a factor of j?
True
Let a(s) = -s + 8. Let g be a(6). Suppose 0*n + 2*b = -2*n - 18, g*n + 4*b + 26 = 0. Is 11 a factor of -10*(88/n)/4?
True
Let i = 10495 + -5879. Is i a multiple of 22?
False
Let h = -41 - -3. Let g = -8 - h. Is g a multiple of 3?
True
Let n(r) = 2*r**2 - 3*r + 3. Let y be n(-3). Suppose y = 4*v - 66. Does 12 divide v?
True
Let k be (-18)/90 - (-1908)/(-10). Let f be -1 - ((-1 - -1) + k). Suppose a = 6*a - f. Is a a multiple of 19?
True
Let v(i) = -i**2 - 26*i - 20. Let a be v(-25). Is 10 a factor of a/(3/(-15)*4/(-16))?
True
Suppose -709 = 13*t - 3283. Does 9 divide t?
True
Let f(d) = -6*d - 12. Does 52 divide f(-28)?
True
Let b = -13 + 17. Suppose -d = 3*d, 20 = b*z + 5*d. Suppose -5*l - 23 = -3*q + 180, z*q + 5*l = 365. Is 15 a factor of q?
False
Suppose 6*c - c - 4*f = 7, 0 = 3*c - 4*f - 9. Let i be -2 - c - (0 - 5). Suppose i*d + 13 - 49 = -g, -2*d + 26 = g. Is g a multiple of 8?
True
Let p be ((-3)/(-3) + -2)*-2. Suppose -2*h = p*h. Is 12 a factor of (h - 1) + (-2093)/(-23)?
False
Suppose 5*a = -5*l + 723 + 612, 780 = 3*a - 4*l. Is 21 a factor of a?
False
Suppose 0 = 14*g - 13 - 155. Does 6 divide g?
True
Suppose 2*n = -8*u + 4*u + 180