. Let i = -3 - -6. Let x be 4/3*i/2. Is s(x) a multiple of 13?
False
Let b(t) = -t**3 - 4*t + 2. Let l be b(3). Let v be 0 - (l + -3 + -1). Let a = v - 24. Does 17 divide a?
True
Let t = 11 - 17. Does 11 divide (4/t)/(1/(-111))?
False
Suppose -5938 = -5*g - 3*u, -4*g + 3*g + 4*u = -1206. Is 42 a factor of g?
False
Is -3*(-1*(18 + 5) + 0) a multiple of 2?
False
Suppose -w = 1, 5*t + w = 3*t + 9. Suppose 3*h = t*h - 18. Does 3 divide h?
True
Let s(j) = 5*j**2 + 3*j. Suppose 5*g = -4*f + 75, -4*g + 3*f + 37 = 8. Suppose g*q - 6*q = -15. Is s(q) a multiple of 12?
True
Let p(l) = l**3 + 9*l**2 - 11*l - 10. Let w be p(-7). Suppose w + 50 = 3*x + z, -75 = -x - 2*z. Is 17 a factor of x?
False
Let f be (-1)/4 + 21/4. Is -6*f/10 - -6 even?
False
Let q be ((-92)/69)/((-12)/(-45)). Let j(z) = -z**3 - 3 - 4*z**2 - 7 + z + 4. Is j(q) a multiple of 4?
False
Suppose -2*c = -u - 2 - 2, -2*c = 3*u - 20. Suppose -c*d = -2*d - 22. Does 3 divide d?
False
Suppose -548 + 167 = 3*p. Let j = p + 193. Suppose 5*h = 74 + j. Is 14 a factor of h?
True
Let r(u) = -u**3 + 6*u - 2*u - 3*u - u**2 + 49. Is 16 a factor of r(0)?
False
Let x = 1400 + 778. Does 11 divide x?
True
Let t(u) = -3*u**2 + 9*u + 12. Let w be t(8). Let l = w + 218. Is l a multiple of 32?
False
Let v = -238 + 129. Let o = -58 - v. Is o a multiple of 6?
False
Let v = 254 - 177. Suppose -2*y + v - 23 = 0. Suppose 12 = -f + y. Is f a multiple of 6?
False
Let m = 437 + 307. Does 12 divide m?
True
Let s(z) = -7*z - z**3 - 19*z**2 - 6*z - 4*z + 4*z**2 - 6. Let a = -41 - -27. Is s(a) a multiple of 12?
True
Let f(h) = 13*h - 114. Is 10 a factor of f(18)?
True
Suppose r - 2*v = 3*v - 19, -5*r - 95 = -v. Let j = 7 - r. Suppose 4*q = -2 + j. Does 6 divide q?
True
Let k = 88 + 78. Is k a multiple of 15?
False
Let f = 9 + -3. Let n(a) = -a + 7. Let t be n(9). Is 11 a factor of t/f - (-79)/3?
False
Is (0 - -2)/(147/5145) even?
True
Is 1/((-6)/(-5443)) + (-1)/6 a multiple of 26?
False
Suppose s + 4*s = 0. Is 14 + 31 - (s + 1) a multiple of 22?
True
Suppose 12*t = 3*t + 36. Let d be 74 + (1 - 0) + -1. Suppose -2*f - 4*o + 26 = 0, 5*o - d = -t*f - 28. Does 9 divide f?
True
Suppose 5*a - 10 = 0, 3*f + 2*a = 5*f - 120. Suppose -63*y + f*y = -176. Is y a multiple of 22?
True
Suppose 14*p + 46*p - 4920 = 0. Does 2 divide p?
True
Let w(t) be the third derivative of -t**4/8 - 7*t**3/6 - t**2. Suppose 0 = -23*l + 30*l + 35. Is w(l) a multiple of 8?
True
Does 11 divide (1 - 5/(-10))*44/2?
True
Suppose 16*v = 22*v - 1320. Is 16 a factor of v?
False
Let a be ((-40)/(-5)*-1)/(-2 - 0). Let c(u) = 5*u**2 - 3*u + 5 + 5 - 4 - u**3. Is 10 a factor of c(a)?
True
Suppose -48176 + 12602 = -21*p. Is p a multiple of 14?
True
Suppose 4*q - 19 = -q - 3*v, -4*v + 22 = 5*q. Let m(w) = 3*w + 2. Is m(q) a multiple of 2?
True
Let q(g) = -30*g - g**3 - 24*g + 11 - 11*g**2 + 44*g. Let s be q(-10). Suppose -4*t - k = -23, 2*t - s = k - 2*k. Is 4 a factor of t?
False
Let z(w) = w + 1. Let c(y) = 3*y + 4. Let a(p) = -4*c(p) + 11*z(p). Let o be a(-7). Suppose 0 = -o*j + 2*q + 74, 3*j - j - 3*q - 74 = 0. Does 11 divide j?
False
Let k = 38 + -78. Let y = -21 - -2. Let d = y - k. Is 9 a factor of d?
False
Suppose 18375 = 4*h + 3*t, 0 = -2*t - 5 + 7. Is 64 a factor of h?
False
Suppose -b + f = 5, 5*b + 2*f + 0 - 3 = 0. Let z(u) = u**2 - 1. Let s be z(b). Suppose 0 = -s*m - 5*m + 300. Is m a multiple of 12?
True
Let r = 5440 + -3250. Is r a multiple of 73?
True
Let l be 3 + (-3 - 0) + 5. Suppose 0 = l*s - 0 - 15. Let y = s + 10. Is 4 a factor of y?
False
Let m(w) = -93*w - 3. Let q(s) = s**3 + 21*s**2 + 19*s - 21. Let t be q(-20). Is m(t) a multiple of 10?
True
Let c = 1896 + -666. Is 82 a factor of c?
True
Let m(v) = 28*v + 4. Let p(y) = 7*y + 1. Let b(c) = -2*m(c) + 9*p(c). Let u be b(9). Let k = -41 + u. Is k a multiple of 17?
False
Let a(z) = 6*z**2 + 20*z + 34. Is a(-5) a multiple of 11?
False
Let l(v) = -60*v**2 + 2*v - 2. Let k be l(1). Let j be 4/(-30) - (-952)/k. Let h(s) = s**3 + 16*s**2 - 3*s - 24. Is 6 a factor of h(j)?
True
Suppose -4*m = -999 - 185. Suppose 14*u - m = 292. Does 9 divide u?
False
Does 6 divide -2 + 481 + (38 - 36)?
False
Suppose 1453 = -5*y + 2*z - 242, 4*z = 4*y + 1356. Let a = -159 - y. Is 12 a factor of a?
True
Suppose -2*q + 1810 = m, 281*m - 5*q - 3602 = 279*m. Is m a multiple of 11?
False
Suppose -27 - 69 = 12*x. Does 15 divide 33 - (5 - x/(-4))?
True
Let s = 103 - -92. Is s even?
False
Suppose -12 = -2*n - 4. Let o(q) = 3*q**2 + 11*q + 4. Let a(d) = 8*d**2 + 32*d + 11. Let g(y) = n*a(y) - 11*o(y). Does 4 divide g(5)?
False
Let r be 0/(9/(-6)*-2). Let f(n) = 2*n**2 + 2*n + 130. Does 13 divide f(r)?
True
Let g = 1735 + -1004. Is 12 a factor of g?
False
Let y(q) = -13*q. Let b be y(-1). Suppose 4*v - 3 - b = 0. Suppose 4*h + 2*w - 28 = -h, 28 = v*h + 3*w. Is h a multiple of 4?
True
Suppose -4*n = 5*f - 155, -n - 5*f + 35 = -0*f. Suppose j + 22 = 3*j. Let r = n - j. Does 13 divide r?
False
Suppose 4*a - 37 = 223. Let r be (-5)/35 - 58/(-14). Suppose -2*i + 4*y + a = i, 5*i - 103 = r*y. Does 19 divide i?
True
Let m(q) = 31*q**2 - 483*q + 6. Is m(-6) a multiple of 12?
True
Is 20 a factor of (315/14 + -4)*40?
True
Let a(b) = b**3 - 7*b**2 + 6*b - 2. Let i be a(6). Does 16 divide (-3)/i - (10668/8)/(-7)?
True
Let c = -6 + 17. Let r = -1 + c. Does 2 divide r?
True
Suppose -4*p = -p - 3. Let g(n) = -n**3 - 3*n**2 + 4*n - 2*n + 2 - p. Is 4 a factor of g(-4)?
False
Let y(p) = -5*p**2 - p + 5. Let z = -8 - -12. Let t be y(z). Let h = t - -118. Is h a multiple of 13?
True
Let d = -178 - -202. Does 20 divide d?
False
Suppose 2990 = -9*q + 14*q. Does 13 divide q?
True
Suppose -41 = -b - 34. Suppose -5 = b*p - 922. Is 35 a factor of p?
False
Suppose 0 = -4*s + 2*y + 64, -2*s + 2*y = -20 - 16. Suppose 3*c - 5*v = 81, 0 = -4*v - 3 - 9. Suppose 0 = -2*t + s + c. Is t a multiple of 6?
True
Suppose 15 = 8*d - 17. Let y = 28 - d. Is 17 a factor of y?
False
Let q = 1156 - 597. Does 12 divide q?
False
Suppose -j + 5*i + 16 = 0, 4*i = -4*j + 39 + 49. Does 3 divide j?
True
Let h = -3 - -7. Suppose 26 = h*s - 58. Is 7 a factor of s?
True
Suppose 7*w = 231 + 399. Is 5 a factor of w?
True
Suppose -80*x + 63552 + 27648 = 0. Does 20 divide x?
True
Let a = 4838 + -2843. Is 57 a factor of a?
True
Let w be (-4)/(16/(-2))*0. Suppose w = 14*l - 12*l - 144. Is l a multiple of 9?
True
Suppose 14*v - 12*v - 393 = -3*c, 3*c + 930 = 5*v. Is v a multiple of 11?
False
Suppose -4*w - w = -15. Suppose 2*k + 3*o - 2*o - 238 = 0, -w*k + o = -357. Is k a multiple of 24?
False
Let v = 18 + -16. Let n = 1 + v. Does 15 divide (n - (-23)/(-3))*-6?
False
Let w(i) = -i**3 + 31*i**2 + 76*i - 22. Is 21 a factor of w(32)?
True
Suppose -10*t + 15*t = 3725. Does 58 divide t?
False
Let b = -377 + 643. Does 14 divide b?
True
Suppose 153 - 121 = 4*q. Suppose 5*m - 166 = -w, -434 = -3*w + q*m - 7*m. Does 14 divide w?
False
Let i(y) = 12*y + 16. Let w(a) = 25*a + 32. Let z(b) = -13*i(b) + 6*w(b). Is z(-12) a multiple of 14?
True
Let t(j) = -18*j - 2. Let p be t(-1). Suppose -2*q = 3*d - p, 2*d + 2 - 16 = -3*q. Suppose 217 = 4*m + q*s - 63, -5*m - 5*s = -355. Is m a multiple of 13?
False
Let o(c) = -188 - c**2 + 178 + 2*c**2 - 5*c. Does 4 divide o(-4)?
False
Suppose -5*i + 5 = 0, -l + 5*i = -6*l + 230. Suppose 13*u = 8*u + l. Suppose -2*g + t + u + 27 = 0, 0 = -5*g - 4*t + 64. Is 4 a factor of g?
True
Let k be 2 - ((-466)/6)/((-1)/(-3)). Suppose 2*r - 2*b = 122, 2*r - 5*b = 6*r - k. Does 15 divide r?
True
Let y be -57*(1 - (-9)/(-3)). Let k = 13 + y. Is k a multiple of 36?
False
Let u(k) = 31*k**2 - 44*k - 377. Is u(-7) a multiple of 10?
True
Let h(i) = -i**3 - 4*i**2 + 3*i - 6. Let a be h(-5). Suppose -5 = 4*n + j, n - 2*j = 3*n + 10. Suppose -a*p + 82 + 38 = n. Does 26 divide p?
False
Let i(f) = 8*f**2 - 208*f - 14. Is 31 a factor of i(29)?
True
Suppose -4 + 0 = 2*a, -4*d = a + 42. Let s(m) = m**2 + 7*m - 4. Is 13 a factor of s(d)?
True
Suppose -3*o + 26*p - 22*p = -2886, 3*o - 3*p - 2886 = 0. Does 37 divide o?
True
Does 34 divide (-7 + 1274/(-8))*4/(-1)?
False
Suppose 75 = w + 4*y, -285 = -4*w + 4*y - 5*y. Suppose -17 + 2 = -5*j. Suppose -w - j = -2*v. Is v a multiple of 10?
False
Suppose -61335 = -45*p + 7470. Is p a multiple of 62?
False
Suppose 7*f + 1782 = 10*f - 3*h, 3*f - 177