 f. Is 12 a factor of m?
False
Let g(y) = y**2 + 7*y - 11. Let q(u) = 8*u**2 + 48*u - 76. Let m(s) = -20*g(s) + 3*q(s). Does 13 divide m(-4)?
False
Let c(s) = -s**2 + 13*s + 14. Let n be c(14). Suppose 4*m - 33 = -2*j + 23, -4*j + m + 148 = n. Does 4 divide j?
True
Let u be 53/(3 - (1 + 1)). Let a = -17 + u. Does 19 divide a?
False
Suppose -15 = -3*w, -5*w = c + c - 21. Let h be 2*c/8*-8. Suppose -h*k - 36 = -6*k. Is k a multiple of 12?
False
Let y(d) = 171*d - 6. Suppose -247*q = -244*q - 6. Is y(q) a multiple of 16?
True
Let q(b) = -16*b + 1. Let h = -10 - -7. Let d be q(h). Let k = d - 27. Does 22 divide k?
True
Suppose 3*y + 5*h - 2426 = 0, 2*h - 4056 = y - 6*y. Is 4 a factor of y?
True
Let b = 3163 + -1569. Suppose 0 = -7*u + b - 264. Is 19 a factor of u?
True
Is 9 - (-2 + 6) - (2 - 119) a multiple of 5?
False
Is (32/(-10))/(6/(-240)) a multiple of 22?
False
Let x(w) = 2*w**2 - 14*w + 69. Does 7 divide x(5)?
True
Suppose 0 = -2*w + 3*m + 315, 4*m - 845 = -w - 4*w. Does 11 divide w?
True
Suppose 516 = -14*w + 18*w. Suppose 5*d + 2*b = w, -d + 5*d = 5*b + 123. Is d a multiple of 2?
False
Let b(r) = 3*r - 9. Suppose -j + 2*k + 0*k = -11, 0 = -j - 4*k - 13. Suppose 5*q + j*l - 55 = 0, 3*q - l = 4*l - 1. Does 5 divide b(q)?
True
Suppose 19*y = -10*y + 812. Is y a multiple of 14?
True
Suppose 4*r = 4*o, -5*r + 20 = 5*o - 0. Suppose 0 = -5*x + 2*l + 324, -4*l - 4 = -o*x + 116. Is 4 a factor of x?
False
Does 51 divide (-306)/1*(-101)/202?
True
Suppose 4*g = q - 240, -q - 231 = -2*q - 5*g. Suppose q = 5*w - 2*t - 169, 5*t - 162 = -2*w. Is 33 a factor of w?
False
Suppose 3*y - 4*y = 129. Let o = y + 253. Is o a multiple of 31?
True
Suppose -t - 2*q - 1 = -0, t + q = 2. Suppose -t*m - 30 = 30. Let l = m - -23. Does 3 divide l?
False
Let y be -2 - 7/((-28)/(-8)). Is (66/y - 2)*-2 a multiple of 35?
False
Is (-1)/(-12)*4*918 a multiple of 31?
False
Let q(a) = 19*a**2 - 7*a. Is 12 a factor of q(9)?
True
Let x = 1506 + -517. Is x a multiple of 20?
False
Suppose 3*k - 5*v - 28 = -v, -5*k = 3*v - 8. Suppose -5*j - o + 124 = 0, 2*j - k*j + o + 51 = 0. Does 25 divide j?
True
Let i(s) = -3*s + 9. Let b(l) = 5*l - 18. Let m(u) = 4*b(u) + 9*i(u). Is m(-13) a multiple of 25?
True
Let t be (-24)/108 + (-254)/(-9). Suppose 3*b = 5*b - t. Is b a multiple of 5?
False
Suppose 9842 = 4*l + m, 0 = 3*l - 2*m - 10014 + 2638. Is 47 a factor of l?
False
Suppose -a = -5*a - 4. Let b(d) = -d**2 - 7*d + 51. Let h be b(-11). Does 3 divide (-45)/(-18)*(a + h)?
True
Is 12*(-370)/(-15) + 8 a multiple of 8?
True
Let s = 2331 + -1397. Suppose -5*v + s = -36. Is v a multiple of 17?
False
Suppose 213 = c + 4*q - 302, 5*q = -3*c + 1517. Does 8 divide c?
False
Let h = -228 - -291. Is h a multiple of 24?
False
Suppose -m + d - 1 - 6 = 0, 2*m + 9 = 3*d. Let i(r) = r**3 + 12*r**2 - r - 10. Let b be i(m). Suppose b = 3*z - 7. Is z a multiple of 3?
True
Let p = 1166 + -720. Is p a multiple of 6?
False
Suppose -40 = 3*j + j. Let x = -21 - j. Is (-60)/50*(x + 1) a multiple of 4?
True
Let k(n) = 2*n**3 + 3*n**2 - 6*n + 7. Let b be k(3). Let s be 6/(-15)*-5 - -1. Suppose -b = -s*w + 26. Does 20 divide w?
False
Let r be (-22)/(-3) + (-4)/(-6). Let b(f) = f**2 - 8*f + 8. Does 8 divide b(r)?
True
Let x(h) = -116*h**3 + 5*h**2 - 7*h. Let q(j) = 58*j**3 - 3*j**2 + 4*j. Let p(k) = -5*q(k) - 3*x(k). Is 14 a factor of p(1)?
False
Let j be (-267)/4 - 2/8. Let v = -18 - j. Is 15 a factor of v?
False
Let r(l) = l**3 + 16*l**2 + 14*l + 6. Let u(d) = 14*d**3 - 2*d**2 + d + 2. Let b be u(-1). Is 21 a factor of r(b)?
True
Is 34 a factor of 4 - 20/5 - 228/(-6)?
False
Suppose h = 5*n - 3*h - 24, -5*n = h - 19. Suppose 2*a - n = a. Suppose a*c - 160 = -0*c. Is 13 a factor of c?
False
Is 4 a factor of (-7 - (-35)/(-7))*-58?
True
Let q(o) = o**3 + 8*o**2 - 86*o - 13. Is q(11) a multiple of 21?
False
Suppose 4*s - k - 366 = -3*k, -5*s - 2*k = -458. Is s a multiple of 23?
True
Let n(j) be the third derivative of -11*j**4/24 - 4*j**3/3 + 33*j**2. Let y be (-1)/(-4) - (-51)/(-12). Does 18 divide n(y)?
True
Let p = -50 - -58. Let t = p - -15. Is t a multiple of 2?
False
Let g(l) = -l**3 - l**2 - l + 39. Let y(m) = -m + 11. Let h = -32 - -43. Let u be y(h). Is g(u) a multiple of 13?
True
Suppose -4*i - 3*f + 33 = 0, 0*f + 16 = 2*i + 2*f. Let b be (6/9)/(6/i). Let n = b + 5. Is n even?
True
Let d = -220 - -412. Does 32 divide d?
True
Let o(t) = -t**2 + 5*t + 12. Let b be o(7). Let m be (-1)/(((-4)/(-18))/b). Let z = 42 - m. Does 11 divide z?
True
Suppose n = -13*n + 56. Is 21 a factor of (42 - 0)/(n*6/12)?
True
Suppose -111 = 2*r - 397. Is 9 a factor of r?
False
Is 22623/18 + (-1)/(-18)*3 a multiple of 43?
False
Let z = -11 - -21. Suppose 0 = -z*j + 5*j. Suppose 112 = 3*v + 4*s - 36, j = 2*v + 4*s - 100. Is v a multiple of 19?
False
Let l = -477 - -607. Is l a multiple of 4?
False
Let a(p) = 2*p**3 + 23*p**2 + 5*p + 9. Does 13 divide a(-11)?
False
Let p = 35 + -31. Let t = p - 10. Let a(f) = f**3 + 7*f**2 - 3*f - 4. Is 25 a factor of a(t)?
True
Let i = -162 + 511. Is i a multiple of 30?
False
Let b = 261 + 250. Is b a multiple of 7?
True
Let c = -9 + 205. Is c a multiple of 14?
True
Let j(n) = 2*n**3 - 39*n**2 + 6*n + 58. Does 87 divide j(22)?
True
Let r(u) = -31*u + 32. Is 7 a factor of r(-8)?
True
Suppose -4 = 2*g - 2, 2*g = 5*f + 25648. Let u be f/(-36) - (-2)/4. Suppose -3*t + u + 10 = 0. Is t a multiple of 9?
False
Let z(j) = 2*j**2 + 10*j + 12. Let l be z(-10). Let y = 200 - l. Does 22 divide y?
True
Let i(x) = -x**3 - 72*x**2 - 419*x + 160. Is i(-66) a multiple of 13?
False
Let t(i) = 7*i**3 + 4*i**2 - 3*i - 3. Let r be t(2). Is 8 a factor of r + 4 + (-6 - -4)?
False
Let y = 113 + 39. Suppose -26*g - y = -28*g. Is 11 a factor of g?
False
Let r be 2*8/((-64)/(-540)). Suppose -3*g + 154 = 5*b, -b + r = 5*g - 85. Is 10 a factor of g?
False
Let b(i) = -i**3 - 12*i**2 - 10*i - 51. Is b(-12) a multiple of 3?
True
Suppose q + 4*q - 5*l - 55 = 0, 4*q - 2*l = 34. Suppose -70 = -q*o + o. Does 6 divide o?
False
Let b(a) = 37*a**2 - a - 2. Let o(u) = u - 8. Let j = -10 - -17. Let q be o(j). Does 12 divide b(q)?
True
Let h(r) be the third derivative of -7*r**4/12 - 4*r**3/3 + 11*r**2. Does 12 divide h(-4)?
True
Let n = 2721 - 35. Does 158 divide n?
True
Let y(f) = f**3 - 4*f**2 - 2*f - 12. Let o be y(5). Suppose -o*t + 84 = -t. Is 13 a factor of (1/3)/(1/t)?
False
Suppose 150*b - 143*b - 3157 = 0. Is b a multiple of 59?
False
Suppose 0 = -40*w + 46*w - 4392. Is 18 a factor of w?
False
Let c = -383 + 425. Is 3 a factor of c?
True
Suppose 5*d - 275 = f, 4*d + 122 = 6*d + 2*f. Let c = 8 + -13. Let w = c + d. Does 15 divide w?
False
Is 18 a factor of 51630/130 - (48/(-26) + 2)?
False
Let c(s) = 101*s**2 + s + 1. Is c(1) a multiple of 15?
False
Suppose -6*r + 7*r - 33 = 0. Let w = r + -2. Is 7 a factor of w?
False
Suppose 5*b - 4907 = 628. Is b a multiple of 12?
False
Suppose 2 = -5*z + 6*z. Let k(p) = 0*p**2 + 4*p**z + p**2 + p**2 + 5*p. Is k(-3) a multiple of 13?
True
Let l(d) be the first derivative of 14*d**3/3 - 2*d**2 + d + 7. Does 3 divide l(1)?
False
Suppose 2*s - 1 + 5 = 0, -4*c = -4*s - 1308. Suppose -5*t = -c - 5. Is 22 a factor of t?
True
Let x(g) = -356*g**3 + 3*g**2 + 5*g + 2. Is x(-1) a multiple of 24?
False
Let c(j) = 362*j**2 - 2*j + 36. Let u be c(6). Does 29 divide u/45 + 16/(-120)?
True
Let x(c) be the second derivative of c**4/6 + 4*c**3/3 - 15*c**2/2 - 38*c. Is x(-8) a multiple of 7?
True
Let g(h) = h - 13. Let w(a) = 1. Let z(l) = -2*g(l) - 6*w(l). Does 5 divide z(-5)?
True
Let q be 0/(4*3/6). Is 26 - (2 + q + -2) a multiple of 18?
False
Suppose h = 8*h - 686. Is 6 a factor of h?
False
Suppose 4*z - 320 = -4*a, 2*z - 316 = -2*z - 3*a. Let c = z - 4. Does 36 divide c?
True
Suppose 5*a - 3*a - 5*j - 678 = 0, 998 = 3*a + 2*j. Does 18 divide a?
False
Let q be 7/3 + (-4)/(-6). Let d(r) = 2*r**3 + 4*r**2 - r + 6. Does 43 divide d(q)?
False
Suppose -3*v + 6 = -0. Suppose -v*i = 7*i - 801. Is 15 a factor of i?
False
Let h(l) = -2*l**2 + 3*l + 1. Let v be h(5). Is 119/9 + v/153 a multiple of 4?
False
Let l(o) = -o**3 + 12*o**2 + 14*o + 11. Let h be l(13). Let i(v) = v**3 - 25*v**2 + 28*v + 44. Is 10 a factor of i(h)?
True
Let c be 1*(-4 + 0) - 164. Let w = -64 - c. Does 13 divide w?
True
Let h = -6 - 0. Let q be 