- 9, -w = 1. Let i(x) = 0 + v - x - 4*x**2 - 5 + 16*x**2. Is 6 a factor of i(-1)?
True
Suppose -y + 119 + 25 = -3*q, q + 456 = 3*y. Is y a multiple of 9?
True
Let q(i) = i**3 + 62*i**2 - 136*i + 91. Is 67 a factor of q(-64)?
True
Let i(l) = 11*l**2 + 26*l + 18. Does 34 divide i(-16)?
False
Let i(t) = t**2 - 4*t - 34. Let u be i(-19). Suppose -n - 759 = -4*x, 4*x + 2*n - 1153 = -u. Is x a multiple of 21?
True
Suppose 0 = -n + 5*v + 46, -2*n = -n - 2*v - 31. Suppose q + 2*q = n. Let k(c) = 7*c - 10. Is k(q) a multiple of 13?
True
Suppose 11*t = 13*t - 84. Suppose -t = -6*d - d. Is 2 a factor of d?
True
Suppose 3*s = -2*s + 15. Suppose 4*c = 2*c + 108. Is ((-1)/s)/((-3)/c) a multiple of 6?
True
Let x be -4 - -8 - (1 - -5). Let g be ((-10)/3)/(x/3). Suppose 2*r = 3*a - 113, -a + 44 + 22 = g*r. Is 23 a factor of a?
False
Let a(d) = -2*d - 5. Suppose 5*m - 10 - 30 = 0. Suppose -5*p = z + 17, 4*z = m*z - p + 47. Is 12 a factor of a(z)?
False
Let h(v) be the second derivative of v**4/12 - 2*v**3/3 + 3*v**2 - v. Is h(4) a multiple of 3?
True
Let z(g) = -g**2 + 7*g + 11. Let d be z(8). Let f be (8 + 74)/(-1 + d). Suppose 3*n = -5*m + 209, -m - 4*n + f = 6. Is 10 a factor of m?
False
Let q(c) be the first derivative of -3*c**2 + 8*c - 14. Let n(m) = m - 1. Let r(j) = 4*n(j) + q(j). Is 12 a factor of r(-13)?
False
Suppose 5*x - 4*x = 38. Is 11 a factor of (-2)/(0 - 4/x) + 3?
True
Let u = -1491 - -2112. Is u a multiple of 9?
True
Let x(a) = a + 6. Let j be x(5). Let o(l) = 4*l**2 - 20*l + 43. Is 38 a factor of o(j)?
False
Let m = 13 - 10. Suppose -20 = m*l - 443. Is l a multiple of 12?
False
Suppose -24*q + 9955 + 1493 = 0. Is q a multiple of 5?
False
Suppose -9*l + 211 + 149 = 0. Is l a multiple of 5?
True
Let h = 812 - 648. Does 8 divide h?
False
Let f(s) = 102*s + 21. Let h(i) = 51*i + 11. Let x(b) = 6*f(b) - 11*h(b). Is 4 a factor of x(1)?
True
Let o(q) = -q**3 + 7*q**2 - 3*q + 15. Let w be o(6). Let i = 56 - w. Does 8 divide i?
False
Let b = 174 + -38. Let w = b + -61. Is 15 a factor of w?
True
Suppose -4*n - n = -15. Suppose 0 = -n*t - 20 + 2. Is -34*3/t*1 a multiple of 13?
False
Let l(m) = -7*m + 11. Let u be l(-13). Suppose 0 = -2*t + 5*t - u. Let n = -24 + t. Is 6 a factor of n?
False
Let o(j) = j**3 - 14*j**2 + 14*j + 11. Let b = 15 + -2. Is 19 a factor of o(b)?
False
Suppose -58*v + 44136 = -17460. Is v a multiple of 14?
False
Suppose 1179 = 5*j - 3*b, 3*b - 5*b = 6. Is 9 a factor of j?
True
Let n be 3 - 0*(0 + 1). Let p(s) = s + 20. Let u be p(0). Suppose n*o - 52 - u = 0. Does 13 divide o?
False
Let h(p) = -2*p**3 - 9*p**2 + p + 46. Does 3 divide h(-10)?
False
Let c = -341 - -736. Is c a multiple of 63?
False
Suppose 3*k + 20 = -t, 5*t + 64 = 4*k - k. Let n be (-1490)/(-70) + 4/t. Is n/(5 + -4 - 0) a multiple of 8?
False
Let u(h) = h**3 - 17*h**2 + 19*h - 24. Does 20 divide u(16)?
False
Let a(n) = -n**3 + 13*n**2 - 18*n. Let t be a(12). Let k = 153 + t. Does 11 divide k?
False
Suppose 3 = 2*a - 7. Suppose -a*f + 10 = -40. Suppose 2*u = -f, 2*u - 52 = -2*q - 2*u. Is q a multiple of 18?
True
Suppose 3*k - 5*y = -2*k + 1000, 3*k - 4*y = 603. Does 8 divide k?
False
Suppose -145 = 4*g - 1237. Suppose 3*w + g = -4*v, 5*w - 164 = 2*v + w. Let p = v + 122. Is 11 a factor of p?
False
Suppose -7*l - 277 = -3*k - 2*l, -3*l = k - 83. Let q = k + 173. Does 44 divide q?
False
Is (4 - 12)/(3/(-219)) a multiple of 18?
False
Let p(g) = -11*g**2 - 11*g**2 + 9*g - 20*g**2 + 47*g**2 + 7. Is p(-4) a multiple of 4?
False
Suppose -4*k - 8 = 0, -2*i + 3*k = -k - 16. Suppose -5*b - 14 = -2*c - 0*c, i*c + 4*b = 84. Is 2 a factor of c?
False
Let d(u) = -8*u - 4*u**2 + 2*u**3 - 3*u**3 + 12*u**2 + 7. Let w be d(7). Does 29 divide (-246 + w)/(12/(-6))?
False
Let g(s) = -2*s**3 - 4*s**2 - 7*s - 6. Let q(v) = v**2 + v + 1. Let c(y) = -g(y) - 5*q(y). Suppose 8 = 3*j + j. Is c(j) a multiple of 6?
False
Let g(o) = 63*o - 533. Is 7 a factor of g(38)?
False
Suppose -51 = -8*o + 125. Does 3 divide o?
False
Suppose -g + 0 = 3*h - 6, -5*g + 80 = 5*h. Is 21 a factor of g?
True
Let s be (-6 - 2)/(0 + -2). Let o(f) = 5*f**2 + 6*f - 5. Is 27 a factor of o(s)?
False
Let z(x) = 3*x**3 + x**2 + 7*x + 4. Is z(4) a multiple of 16?
True
Let o be ((-87)/2)/(12/(-16)). Suppose -k - 5*h = -1 - 23, 0 = -2*k - 5*h + o. Is -2 + k - (-3 + 5) a multiple of 8?
False
Let k = 30 + -12. Let n = k - 15. Suppose 0 = -s + 4*r + 40, 0 = s + 3*s + n*r - 84. Is 8 a factor of s?
True
Suppose 0 = -3*o + 2*z + z + 27, -3*o + 4*z + 32 = 0. Let b be 19/3 - o/12. Is 10 a factor of 352/b + 2/6?
False
Is (15 - -1) + -16 + (1647 - 0) a multiple of 9?
True
Let m be (-16*3)/(15/10). Let g = 11 - m. Suppose -5*w + 27 = -g. Is w a multiple of 5?
False
Suppose -3*i - 2 = -i, -2*i = t + 1. Suppose 5*j = 5*z + 535, -2*j + 6*j - 410 = -2*z. Is (-1)/((-2)/j)*t a multiple of 13?
True
Let b(r) = 232*r**2 - r - 2. Suppose 5*a = 0, 2*o - 2*a + 1 = o. Does 21 divide b(o)?
True
Let a = 2932 + 200. Is 29 a factor of a?
True
Suppose -30*t + 24*t = -24. Suppose 2*g = t + 108. Does 7 divide g?
True
Suppose -d + 4*d + 5*u = -84, 147 = -4*d + 5*u. Let a = d - -62. Is a a multiple of 7?
False
Suppose -2*a - 5840 = -4*n, -n - 3*a + 0*a = -1446. Suppose 0 = g + 5*g - n. Does 9 divide g?
True
Suppose 5*a + 5*d = 15, -2*a + 2*d + d + 11 = 0. Let o = 6 - 6. Suppose o*k - 51 = -3*k + 3*q, -2*k + 4 = a*q. Is k a multiple of 12?
True
Let r(p) = -p - 9. Let o be r(0). Let g = o + 15. Suppose 0 = 10*x - g*x - 240. Does 20 divide x?
True
Suppose 0 = x - 4, 0*x + x = d - 251. Is d a multiple of 11?
False
Let v be 0 + 1 + -36 - (-4 + 7). Is 4 a factor of 12/(v/(-32) + -1)?
True
Suppose -229*s + 52 = -233*s. Suppose -4*r = -29 - 39. Let n = s + r. Is 2 a factor of n?
True
Suppose 0 = -w + i + 1011, -4*i - 597 - 426 = -w. Is 19 a factor of w?
True
Let h = 18 + -9. Let a(r) = 5*r - h + r**2 + 7*r + 0*r. Is a(-13) even?
True
Let h(d) be the second derivative of d**6/180 + d**4/8 + d**3/3 + 2*d. Let c(o) be the second derivative of h(o). Is c(3) a multiple of 21?
True
Let y(k) = 78*k - 143. Is 11 a factor of y(7)?
False
Let h(d) = 3*d + 9. Let z = 48 - 22. Suppose 2*t = 4*o + z, -3*t + 5*o = 18 - 54. Is h(t) a multiple of 13?
False
Suppose 0 = -2*u + u. Suppose u = -t - t. Suppose -3*l - 4*g + 3*g + 198 = t, 0 = 5*l - 2*g - 330. Does 21 divide l?
False
Let b(z) = -5*z**3 + z**2 + 0 - 5 + 0*z**2 + 2*z + 1. Let t be b(-3). Suppose 0*n - t = -2*n. Is 17 a factor of n?
False
Let q(p) = -21 + 14*p + 14 - 37. Does 4 divide q(10)?
True
Suppose -2*q = -27*q + 4400. Does 11 divide q?
True
Let q be (-18)/7 + 6/(-14). Let s be 2 + (-3 - q)/4. Is (s/4)/(1/10) a multiple of 2?
False
Suppose 0 = 5*k - 6*k - 1. Is (k/1)/(21/(-147)) even?
False
Let v(q) = -q**2 - 7*q - 10. Let x be v(-3). Suppose -x*t + 354 = -24. Is 27 a factor of t?
True
Suppose -34*f = -117 - 9267. Is f a multiple of 23?
True
Suppose 13*u - 10 = 8*u. Suppose -5*a - 86 = -2*o, 3*a = -u*o + 4*a + 94. Is o a multiple of 22?
False
Suppose 61*a = 78*a - 18989. Does 19 divide a?
False
Let x(v) = -v**3 + 3*v**2 - 3*v + 3. Let p be x(2). Suppose -l - p = -5. Suppose 7 = y - l. Does 2 divide y?
False
Is (1692/(-21))/((-9)/42) a multiple of 8?
True
Let l = -33 + 25. Is (1 + 6 + l)*(-1 + -294) a multiple of 48?
False
Let j be 560/(-2)*432/(-64). Suppose 0 = -5*g + j - 430. Suppose -2*c - 2*u - g = -6*c, -140 = -2*c - 2*u. Is c a multiple of 12?
True
Let m(u) = 3*u**3 - 6*u**2 - 47*u + 225. Is 39 a factor of m(6)?
False
Let g(u) = 20*u - 3. Let k be g(1). Let o = 18 + k. Is o a multiple of 8?
False
Let f be -6 + -5 + -3 + 7. Is 3/(-7) + (-395)/f a multiple of 14?
True
Suppose -3*k = 4*h + 2*k - 181, -h + 5*k + 64 = 0. Suppose 2*a = q + h + 2, 0 = 3*a - 5*q - 66. Is a a multiple of 27?
True
Let q(i) = 19 - i**2 + 3*i - i - 2*i + i**3. Is 19 a factor of q(0)?
True
Suppose 4*x + 36 = 3*n, -3*n - 2*x + 75 - 21 = 0. Suppose -12 = 4*k + n. Let b(q) = q**3 + 9*q**2 + 9*q - 10. Is b(k) a multiple of 25?
True
Suppose -2*j + 3 + 3 = 0. Suppose -6*u + j = -5*u. Suppose -u*l + 48 = 9. Is 13 a factor of l?
True
Let l be 3 + ((-27)/3 - -2) + 65. Let i be (3/1 - 2) + 3. Suppose k + 7*m - i*m = l, -5*m = -15. Is k a multiple of 13?
True
Let g(d) = 7*d**2 + 55*d - 3. Is g(-9) a multiple of 3?
True
Let f = 409 - 361. Is f a mult