o = 39 + -42. Let w(t) = -18*t - 1. Is w(o) a multiple of 26?
False
Suppose 4*g = -x - 0*x - 2, -3*x + 4*g + 42 = 0. Suppose -4*s + x = 3*m - 90, -s = m - 24. Does 7 divide s?
True
Let y(a) = 3*a**3 - 9*a**2 + 3*a - 9. Let g be y(6). Suppose -13*j = -10*j - g. Does 25 divide j?
False
Suppose 183 = -5*z + 548. Let o = z - -89. Does 19 divide o?
False
Suppose 3*c - 1 = 11. Suppose 0 = -4*t + c, m + 3*t - 119 = -0*t. Is m a multiple of 29?
True
Suppose -974 = -12*z - 326. Is 9 a factor of z?
True
Suppose 51*f - 3534 = 5901. Does 3 divide f?
False
Suppose -4*m + z + 3 = 0, 7*m - 8*m - z - 3 = 0. Suppose m = 7*h - 208 - 51. Is 24 a factor of h?
False
Let i be (-64)/10 - 6/(-15). Let j be -2 - i*(-3 - -4). Suppose -k = 5*t - j*k - 43, t - 9 = k. Is 3 a factor of t?
False
Let t = 33 + -28. Suppose x + 219 = 5*x - 5*r, 2*r = -t*x + 282. Let z = 80 - x. Is z a multiple of 12?
True
Suppose -4*r + 8*r - 8 = 0. Suppose 2*d + 3*j - 44 = 3, -r*d = -5*j - 55. Does 17 divide d?
False
Let o be (8/(-36)*-3)/((-2)/(-174)). Suppose 4*k = 118 + o. Does 7 divide k?
False
Let u(g) = -g**2 - 4*g**2 + 6*g**2 - 7*g + 7. Let b be u(6). Is (-27 - b)*(-24)/28 a multiple of 12?
True
Let n(h) be the second derivative of 3*h**5/20 + h**4/6 - 2*h**3/3 + 3*h**2/2 - 13*h. Let x = -13 - -15. Is n(x) a multiple of 9?
True
Let r(o) = -2*o**2 + 13*o - 14. Let v be r(4). Let i(s) = 3*s**2 - 5*s + 1. Is i(v) a multiple of 4?
False
Let j be 2/((-3)/((-675)/6)). Is 3 a factor of j/21 + (-15)/(-35)?
False
Let d = 1338 - 666. Does 24 divide d?
True
Let t be -66 + 0 - (3 - 5). Let u = t + 113. Is u a multiple of 10?
False
Let y(z) = 17*z**2 + 30*z + 58. Is 3 a factor of y(-2)?
True
Let q = -931 - -1505. Does 25 divide q?
False
Does 44 divide (-4)/22 - 3390/(-11)?
True
Suppose -2*v + z = -2290 - 928, -3*v = 4*z - 4849. Is v a multiple of 59?
False
Suppose 5*m + 330 = 5*i, 5*i + 3*m - 324 = -2. Does 20 divide i?
False
Suppose 14 = -i - 17. Let t = i + 71. Does 40 divide t?
True
Let d = 68 - 68. Suppose -33*b + 31*b + 108 = d. Is 6 a factor of b?
True
Suppose r - 109 = -45. Suppose 0*o - 2*p = -4*o + 202, o - 5*p - r = 0. Does 6 divide o?
False
Suppose -5 = -3*s + 5*z - 0*z, 2*s + 5 = -5*z. Let b(w) = 4*w + 349. Is 52 a factor of b(s)?
False
Let l = 17919 + -12095. Is 56 a factor of l?
True
Let r be ((-12)/(-36))/(1/(-51)). Let y(p) = -p**2 - 17*p + 7. Is 7 a factor of y(r)?
True
Let p = -105 + 212. Let i = p + -71. Is 4 a factor of i?
True
Let q = 139 - 93. Suppose -2*f + q + 40 = 0. Is 4 a factor of f?
False
Suppose q - 3160 - 1027 = -5*z, -q + 839 = z. Is z a multiple of 27?
True
Let k be 1*(11 + (0 - 1)). Suppose -k = 4*v + 5*s - 3, 5*v + 2*s = 4. Suppose -86 = -v*g - c, 2*c + 122 = 2*g + g. Is g a multiple of 11?
False
Suppose 2*w + 287 = 3*p, -4*p - 10*w = -6*w - 416. Is p a multiple of 9?
True
Suppose 10*q - 6338 - 1762 = 0. Does 27 divide q?
True
Suppose -6*u = -2 - 16. Does 6 divide u + ((-240)/(-4) - 5)?
False
Let z(a) = -a**3 - 2*a**2 + a + 17. Let s = -33 - -33. Is z(s) even?
False
Suppose -4*t + 4*l = -1188, -3*t + l + 3*l + 894 = 0. Is t a multiple of 14?
True
Let d = 1894 - 762. Suppose -5*q = i + i + d, -4*i + q - 2242 = 0. Is 9 a factor of ((-2)/3)/(11/i)?
False
Let u(v) = -3*v**3 - 3*v**2 + 6*v + 7. Let p(a) = 3*a + 1. Let h be p(-4). Let r(x) = x**3 + 11*x**2 + x + 8. Let b be r(h). Is 15 a factor of u(b)?
False
Let d(x) = -12*x + 171. Is d(6) a multiple of 9?
True
Let z(r) = -r**2 + 16*r + 56. Is z(17) a multiple of 13?
True
Suppose 0 = l - 0*a + 2*a - 260, -2*l + 522 = 2*a. Does 10 divide l?
False
Let y(f) be the third derivative of -1/6*f**3 - 1/24*f**6 + 0 - 1/30*f**5 + 0*f - 3*f**2 - 1/12*f**4. Does 4 divide y(-1)?
True
Let k(m) = -82*m - 44. Does 11 divide k(-5)?
False
Suppose 1035 = 5*n + 4*w - 5*w, -w = 0. Is n a multiple of 69?
True
Is (-2 + 101 + 6)*18 a multiple of 7?
True
Suppose 0 = 14*u - 5*u - 14598. Does 23 divide u?
False
Let c = 348 + 1060. Does 33 divide c?
False
Let w(d) = -7*d + 313. Does 13 divide w(-24)?
True
Suppose 0*k + 6 = 3*k. Suppose 0 = -3*x + c + 8, -3*c + 7 + k = 2*x. Suppose 4*y - 3*g - 48 = 0, -5*y - x*g = -7*g - 59. Does 3 divide y?
True
Let q be 3 + 7/(28/(-12)). Suppose -n + 4*u = -3 - 320, -n - 3*u = -358. Suppose 4*p - 268 = -2*x + 6, 5*p + 2*x - n = q. Is p a multiple of 23?
True
Let m = 1204 + -749. Is m a multiple of 65?
True
Let o(f) = f + 85. Does 21 divide o(6)?
False
Let m(f) = 10*f**2. Let v = -20 - -18. Does 5 divide m(v)?
True
Suppose 11*x - 441 = 164. Is x even?
False
Let n(z) = -3*z - 8. Suppose -2*h - 1 - 7 = 0. Let w be n(h). Suppose 49 = s - g, g = w*s - 53 - 158. Is s a multiple of 9?
True
Let j(w) = 29*w**2 + 54*w + 578. Is 13 a factor of j(-10)?
True
Let n(j) = -2*j**3 - 5*j**2 - 7*j + 11. Let z be n(-4). Let k = 19 + z. Does 61 divide k?
False
Is (6 - 13)/((-4)/924) a multiple of 34?
False
Suppose -2*l + 20 = -2*s, -s = -5*l - 2*s + 80. Suppose 4*u = -5*v + 4*v - l, -14 = -2*v + 3*u. Let m = 16 + v. Does 14 divide m?
False
Suppose h = 2*h - 4. Let z = -3 + h. Let t(a) = 27*a + 1. Is t(z) a multiple of 7?
True
Let a be 3/(3 + 0) + -104. Let s = a + 188. Let t = s - 51. Does 12 divide t?
False
Let r(l) = 11*l**2 - 9*l - 11. Does 16 divide r(-5)?
False
Suppose -5*z + 669 = -1356. Is 12 a factor of z?
False
Suppose 98624 - 35879 = 47*w. Is w a multiple of 25?
False
Let v(f) be the third derivative of -f**6/120 + f**5/20 - f**4/24 + f**3/2 - f**2. Let a be v(3). Let m = 24 - a. Is 11 a factor of m?
False
Suppose 5*q - 701 - 439 = 0. Suppose 3*k + q = t, 3*k - t + 234 = 2*t. Does 2 divide 12*(k/(-20) + -3)?
False
Suppose 0 = 3*h - 2*k - 126 - 114, 3*k = -2*h + 147. Does 38 divide h?
False
Suppose -3*u - 18 = -66. Suppose 3*x + 4*t - 24 = t, -u = 4*t. Let s = x - -3. Is s a multiple of 5?
True
Suppose -2*i + p + p = -10, 0 = 2*p + 8. Let a(z) = 21*z**3 - 3*z + 3. Let t be a(i). Let q = 13 + t. Is q a multiple of 27?
False
Suppose 0 = -14*v + 7566 - 1406. Does 22 divide v?
True
Is 35395/10 + -3 + 7/(-14) a multiple of 17?
True
Suppose 0 = 4*s - 86 + 6. Let f = s - 11. Is 81/2 - f/(-6) a multiple of 21?
True
Let j be ((-1)/4)/(8/32). Let x be (j/4)/(4/(-16)). Is x - 2 - -49*2 a multiple of 43?
False
Let h(o) = -2*o**2 - 14*o + 12. Let p be h(-5). Let q = 59 + p. Is q a multiple of 24?
False
Let q(h) = -h**3 - 2*h**2 + 3*h - 2. Let x be q(-3). Let s be (8 - (x - -3)) + 2. Is 24 a factor of (8/12 + 2)*s?
True
Let s = 33 + -59. Let o = -48 + s. Is 16 a factor of 4/((-16)/o)*2?
False
Let m = -45 + 47. Suppose -m*o - 25 = -7*o. Does 5 divide o?
True
Let n(x) = x**2 - 15*x - 4. Is 9 a factor of n(18)?
False
Suppose 4*j - 121 + 45 = 0. Let u(v) = v + 12. Let n be u(16). Let p = n - j. Does 2 divide p?
False
Let p = -9 - 59. Let l = p - -126. Is l a multiple of 29?
True
Let m = -145 - -243. Let r = m - 70. Does 8 divide r?
False
Suppose 4*l = 3*z - 0*l - 10, -6 = -5*z + 4*l. Let g be (6/9)/(z/24). Is 50 - (-4)/g*-6 a multiple of 16?
False
Suppose -q + 9818 = 5*n, 7*n = 3*n - 5*q + 7867. Is 17 a factor of n?
False
Let u = -17 + 30. Is 2 a factor of u + 8/2 + -6?
False
Let t(f) = -f**2 - 7*f - 1. Let y(g) = 5*g**2 + 34*g + 5. Let b(w) = -11*t(w) - 2*y(w). Let r be b(-9). Is (-2 - r)*57/(-3) a multiple of 19?
True
Let l(f) = -87*f**2 + 14*f + 3. Let t(o) = -29*o**2 + 5*o + 1. Let y(r) = -4*l(r) + 11*t(r). Let u be y(-1). Let i = u + -17. Is i a multiple of 6?
True
Let a(b) = 5*b**2 + 2*b + 1. Let k be a(-1). Suppose -5*c + 3*c = -8. Suppose c*r - 3*y = y + 68, k*r - 3*y = 66. Is r a multiple of 15?
True
Suppose -5*q + 5 = -0*q. Let k(w) = -20*w**3 - 2*w**2 + 1. Let t be k(q). Is -3 + 0 - (t - 6) a multiple of 12?
True
Let h = -866 - -1465. Is h a multiple of 24?
False
Is ((-2536)/(-10))/((-20)/(-50)) a multiple of 11?
False
Suppose 6*l = -186 - 654. Let c = l + 202. Suppose -q - 13 = -c. Is q a multiple of 7?
True
Let y be 18/12*8/6. Suppose -y*j - 79 = -235. Does 26 divide j?
True
Suppose -353 = -5*r - j + 1042, 3*j = -5*r + 1385. Is r a multiple of 8?
True
Let o(w) = 2*w**2 + 20*w + 95. Is o(-27) a multiple of 54?
False
Suppose 252 = q - 2*u - 16, 0 = -q - 2*u + 248. Suppose -12*a + 162 + q = 0. Is 4 a factor of a?
False
Suppose 3*f - 4*j = 106, -63 = -2*f - 9*j + 4*j. Let i = f + -12. Is 22 a factor of i?
True
Let f(r) = -r**3 