e q(2)?
False
Suppose -5 = -2*r + 11. Suppose -6*v + r = -4*v. Is 3 a factor of v?
False
Let a = -18 - -5. Suppose 0 = -0*g + 3*g + 5*s - 196, -5*g + 295 = 2*s. Let q = g + a. Is 22 a factor of q?
True
Suppose g + 0*g - 33 = 0. Is 20 a factor of g?
False
Let m(u) = 12*u - 3 - 3 + 0. Does 19 divide m(4)?
False
Is -1*(1 + 1*-64 + 3) a multiple of 20?
True
Let m = 13 + -8. Suppose -n - 291 = -4*n. Suppose -m*g = -2*l - n - 6, -l = -g + 23. Does 13 divide g?
False
Let y = 34 + -12. Is 14 a factor of y?
False
Suppose -418 - 41 = -9*j. Does 8 divide j?
False
Suppose -5*y - s + 112 = 0, 43 + 34 = 4*y + 5*s. Is 4 a factor of y?
False
Let q(o) = o**2 + 7*o + 9. Let w be q(-6). Suppose -x = w*s - 28, -2*s - 48 = -2*x + 8. Is 14 a factor of x?
True
Let p = 50 - -356. Is p a multiple of 58?
True
Let t(v) = v**3 - 2*v**2 + v. Suppose n + 9 = 12. Is t(n) a multiple of 3?
True
Let k be 3/(-12) + (-2775)/(-12). Suppose 42 = -3*m + k. Is m a multiple of 21?
True
Suppose 150 = -4*m + 9*m. Suppose -4*f - o = -12 - 8, 3*o = 3*f - m. Is 20 a factor of 10/((15/f)/5)?
True
Let o(v) = 13*v - 78. Let f(k) = -1. Let w(g) = -65*f(g) + o(g). Is 25 a factor of w(8)?
False
Suppose 4*z + 190 = 2*m, -4*m + z - 4*z + 424 = 0. Is 18 a factor of m?
False
Let n(h) = -h**2 - 7*h + 3. Let w be n(-6). Suppose 1 + w = 5*z. Is z even?
True
Is 2 a factor of (-12)/(-10)*50/20?
False
Let g(q) = -24*q + 18. Is 18 a factor of g(-3)?
True
Let y = -3 + 3. Let o(x) = x**2 + 5*x - 4. Let w be o(-6). Suppose -w*a + 44 = 4*n + a, -5*n - 5*a + 55 = y. Does 11 divide n?
True
Let l(h) be the second derivative of h**8/6720 + h**7/360 - h**6/90 + h**5/24 + h**4/6 - 3*h. Let r(a) be the third derivative of l(a). Is 2 a factor of r(-8)?
False
Suppose t = 52 + 32. Suppose -44 = 4*r + t. Let z = -17 - r. Is z a multiple of 7?
False
Let k = 158 - 148. Is 4 a factor of k?
False
Let c = 2 - -36. Is c a multiple of 11?
False
Let r(l) = -7*l**3 - l**2 + 6*l - 36. Let c(b) = -20*b**3 - 3*b**2 + 17*b - 107. Let s be 0*1/2 + 17. Let q(f) = s*r(f) - 6*c(f). Does 15 divide q(0)?
True
Let k(p) = 5 + 5 - 4 + 3*p. Is 21 a factor of k(5)?
True
Suppose -r = -5*d + 145, d + 5*r = r + 8. Let f = 18 + d. Is f a multiple of 19?
False
Let z = -9 - -21. Is z a multiple of 6?
True
Suppose -4*s = -19 - 5. Is (-9 - s)*18/(-10) a multiple of 9?
True
Let z be (15/(-3) + -1)/1. Does 7 divide z/(-27) - (-61)/9?
True
Let s(p) = p**2 - 9*p + 12. Suppose -3*k + 65 = 2*k. Does 18 divide s(k)?
False
Let h = -16 - -10. Is 4/6 + (-98)/h a multiple of 17?
True
Let t = 9 - 4. Let o = 15 - 15. Suppose -2*i + 25 = -5*q + 103, 5*q - t*i - 75 = o. Does 16 divide q?
True
Is 3 a factor of (-3)/9 - (-552)/9?
False
Let c(b) = 7*b - 7. Let z(t) = 1. Let o(x) = c(x) + z(x). Let r be 185/75*3 - 2/5. Is o(r) a multiple of 18?
False
Let k = -34 + 106. Is 21 a factor of k?
False
Let f(z) = -23*z + 2. Let b be f(-7). Suppose 0*o + 3*o - b = -c, 3*o - 155 = c. Is o a multiple of 16?
False
Does 14 divide 1*3*(-84)/(-12)?
False
Suppose -37*k + 1400 = -30*k. Is k a multiple of 40?
True
Let i(y) = y**3 - y**2 + y + 160. Is 40 a factor of i(0)?
True
Let v be 6/9 + (-10)/6. Let s = v - -40. Does 13 divide s?
True
Let l = 15 - 6. Suppose -5*w - 11 - l = 0. Does 16 divide (w/(-2) - 4) + 34?
True
Suppose 0*s = 2*s + 20. Let y = 12 - s. Is 9 a factor of y?
False
Suppose 2*c - 451 = -3*h, 6*h + 5*c = 3*h + 457. Suppose 5*d = -4*w + 350, 226 = 5*d - w - h. Is 22 a factor of d?
False
Let h(a) = 2*a**2 + 2*a + 4. Let n(r) = r**3 - 2*r**2 - 4*r. Let s be n(3). Is h(s) a multiple of 13?
False
Let b = 13 + 4. Is b a multiple of 17?
True
Let u(r) = -10*r. Let h(q) = -q - 1. Let p(w) = 6*h(w) - u(w). Is 9 a factor of p(6)?
True
Let j be (-3 - -4) + 0 + 8. Let x be (-2 - 1)/(j/(-246)). Suppose -5*o = -x + 12. Does 14 divide o?
True
Let x(c) = 2*c**2 - 6*c - 4. Is 14 a factor of x(-5)?
False
Let o(b) = -4*b**3 - 3*b**2. Suppose -7*f + 3*f + 12 = 0. Suppose t - f = 3*h + 6, -4*h + t - 11 = 0. Does 10 divide o(h)?
True
Let b be (9 + 2)*1/1. Suppose t = 1 + b. Does 12 divide t?
True
Let m(k) = k**2 + 9*k + 6. Let s be m(-5). Does 7 divide (-374)/(-14) - 4/s?
False
Let m be (-3)/(-3 + 0 + 2). Suppose -m*c = -22 + 1. Is 6 a factor of c?
False
Suppose -2*z - 8 = 0, -3*n - 4*z - 22 = -4*n. Is (-616)/11*n/(-8) a multiple of 21?
True
Is 33 a factor of ((-2 + 0)*(-26 - 7))/2?
True
Let c(n) = -2*n**2 - 6*n + 2. Let p be (-6)/4*10/(-15). Let s(b) = b**2 + b. Let q(v) = p*c(v) + 6*s(v). Is 18 a factor of q(-2)?
True
Suppose -2*v + 5*v - 24 = 0. Does 5 divide v/(-12) - (-70)/6?
False
Let y = 1 - -1. Suppose -74 = -y*s - 12. Is 15 a factor of s?
False
Let n(i) = 39*i**2 + 4*i + 2. Let k be n(-2). Suppose -2 = 3*y - 14. Suppose 0 = 4*h, 9*q - k = y*q + 5*h. Is 15 a factor of q?
True
Let v be 3*((-4)/(-6))/1. Does 3 divide 0/v - (-3 - 7)?
False
Suppose 0 = -6*c + c + 40. Suppose -2*q + 54 = j, 3*j + c = 2. Is 11 a factor of q?
False
Let v = 72 + -50. Is v a multiple of 15?
False
Let q be (-1*5/1)/1. Is (0 - 2) + (-70)/q a multiple of 4?
True
Let b(d) = -d - 3 - 3 + 2. Let r be b(-6). Suppose 3 = 3*o, -7*o - 39 = -2*q - r*o. Is 12 a factor of q?
False
Suppose -3*l + 5*g = -34, -4*l + 5*g = -42 + 5. Suppose -l*p + 7 + 53 = 0. Is 10 a factor of p?
True
Let m = 92 - 41. Does 17 divide m?
True
Suppose -70 = -j - 2*p, 5*j + p = 3*p + 326. Suppose -26 = 3*f - 4*x - 95, 0 = 2*f + 4*x - j. Is f a multiple of 9?
True
Let s = -14 + 21. Suppose -5*p - 3*u - 56 = -s*p, 4*p - 112 = -3*u. Is p a multiple of 15?
False
Let a = -10 + 7. Let z(n) = -5*n - 6. Is z(a) a multiple of 8?
False
Suppose -185 = -6*i + 5*i. Is i a multiple of 22?
False
Let m = 80 - 30. Is m a multiple of 10?
True
Suppose -q + 6 = -3*f + 3, 2*f = -3*q + 64. Suppose 2*w - 3*w + q = 0. Does 18 divide w?
True
Let m = -1 + 2. Let h be 0 + m/1 - 2. Is 39 - (h + 1) - 0 a multiple of 20?
False
Let y(p) be the first derivative of 2/3*p**3 + 1 + 0*p - 1/2*p**2. Does 14 divide y(3)?
False
Suppose 76 = 8*g - 332. Does 43 divide g?
False
Suppose h = 5*d - 728, 4*d + h - 586 = 3*h. Is d a multiple of 29?
True
Let t(x) = -5*x - 14. Is t(-6) a multiple of 5?
False
Let t(y) = 3*y**2 + 8*y - 5. Is t(-6) a multiple of 7?
False
Let l be (5 - 1)*28/(-16). Let t = l + 26. Does 8 divide t?
False
Let v = 36 + -6. Does 11 divide v?
False
Let j be (36/3)/(2/1). Suppose -j*o + o - p - 4 = 0, 3*o = -4*p - 16. Suppose 3*f + 4 = 2*d - o*f, -6 = -3*f. Is d a multiple of 5?
True
Let x be 612/5 + (-18)/45. Suppose a - 157 = -5*y, -2*y + 6*y = -2*a + x. Is 16 a factor of y?
True
Is 6 a factor of (-3 - (-12)/20)*-55?
True
Let c be ((-1)/(-2))/((-2)/(-72)). Let m = 35 - 31. Suppose -2 = -3*k + 5*b + c, 0 = 2*k - m*b - 12. Does 10 divide k?
True
Let x = 18 + -4. Let n = 7 + -5. Suppose -g + 95 = 4*o, -3*o + 3*g + x = -n*o. Does 12 divide o?
False
Is ((-4)/(-6))/((-4)/(-126)) a multiple of 21?
True
Suppose 3*w = -2*w + 80. Let s be -3 - 1/((-2)/6). Suppose -4*v + w = 0, s = -2*l - l - 3*v + 39. Is l a multiple of 6?
False
Suppose 3*q - 673 = -0*w + 4*w, 3*q - 3*w = 678. Does 42 divide q?
False
Let g(v) be the first derivative of -v**4/4 - 5*v**2/2 - v - 1. Let j be g(-4). Is 14 a factor of 2/6 + j/3?
True
Let o(p) = -2*p**2 - p + 8. Let i(g) = 2*g**2 + 2*g - 7. Let m(h) = 4*i(h) + 3*o(h). Is 2 a factor of m(-4)?
True
Let s(k) = -k**3 + 11*k**2 + 16*k - 4. Does 9 divide s(12)?
False
Suppose 2*o + 5*i + 25 = 0, 0 = -2*o + 3*o + 5*i + 25. Suppose 4*d - 95 = -0*d - 3*q, o = -2*d + 2*q + 44. Is 19 a factor of d?
False
Let h(l) be the third derivative of -3*l**4/8 - 5*l**3/6 + l**2. Is h(-5) a multiple of 14?
False
Let k be (2/4)/(1/(-10)). Let i = 14 + k. Is 10 a factor of 1000/45 + (-2)/i?
False
Suppose -3*p - 7 = z - 6*p, p - 3 = 0. Let l be (16 + z)*4/(-6). Let x = 30 + l. Is 9 a factor of x?
True
Is 5 a factor of -3*40/(-12) - 3?
False
Suppose 3*p + 5*g + 178 = 6*p, -4*g = -5*p + 301. Is 15 a factor of p?
False
Let x(y) = -y**2 - 4*y. Let h be x(-4). Suppose h = -s + 4*b + 4 + 16, -b - 27 = -3*s. Is 5 a factor of s?
False
Suppose 5*n - 11 = -6. Is (2/(-4))/(n/(-12)) a multiple of 4?
False
Let o(w) = -42*w**3 + w + 1. Does 12 divide o(-1)?
False
Let t(k) = 2 + 2*k - 6*k + 5. Is 11 a factor of t(-4)?
False
Let a(p) = -p**3 + 8*p**2 + 5*p - 12. Let y be a(8). Let f = -15 +