 multiple of 12?
False
Let q(m) = 509*m**2 - 17*m + 30. Is 17 a factor of q(3)?
False
Let q(a) = 64*a**3 + 2*a**2 - a + 2. Let h be q(-2). Let u be (6/(-15))/(2/h). Suppose 0 = 6*b - b - u. Is b a multiple of 5?
True
Suppose -10 + 3 = -3*j + g, -j - 3*g - 1 = 0. Suppose -j*r + 15 = r. Is (-2 + -1)*(-1 - r) a multiple of 18?
True
Suppose -17 = -4*p + 5*p + 5*u, 25 = 3*p - 4*u. Let c be 1 - (p - 1) - -5. Suppose 3*w = -c*l + 309, l - 155 = -l - w. Is 26 a factor of l?
True
Let o(z) = z + 7. Let h be o(-3). Is 33 a factor of (-32)/(-6)*99/h?
True
Suppose -3*g + 3*r = -561, -2*g + 359 = -0*g - 5*r. Does 6 divide g?
True
Let u = -75 - -78. Suppose -5*t - 5*f + 7 + u = 0, -3*t + 8 = f. Is 3 a factor of t?
True
Let f(z) = 14*z - 31. Let s(c) = -9*c + 21. Let b(o) = 5*f(o) + 8*s(o). Let k be b(15). Let i = 28 - k. Is 15 a factor of i?
True
Is (239/1195)/(1/6415) a multiple of 17?
False
Let a = -3390 + 6720. Is 37 a factor of a?
True
Let u = -568 - -391. Let q = u + 261. Does 12 divide q?
True
Let h = 1278 + -556. Is 38 a factor of h?
True
Let x = -50 - -52. Suppose -5*b - u = -335, -x*b - 39 = 3*u - 160. Is 22 a factor of b?
False
Does 8 divide 26 + -21 - (-8)/(4/2)?
False
Let x(r) = 7*r - 18. Let o be x(10). Suppose 0 = -5*c + 5*s + 191 + 39, o = c + 2*s. Does 29 divide c?
False
Suppose v - 5 = 7. Suppose -2*k + 40 = v. Is 7 a factor of k?
True
Suppose -15 = 5*n, 3*d - 21 = 3*n - 3. Suppose 6*f - 111 = f - d*g, -3 = g. Is 5 a factor of f?
False
Let j(f) = -f**3 + 9*f**2 + 17*f + 11. Let z be j(11). Does 10 divide (315/2 - -1) + (-66)/z?
True
Let i be 203/(-3) + 20/30. Let s be (3*4)/(12/(-8)). Is i/(-2)*(s + 10) a multiple of 14?
False
Suppose 0 = -4*r + 658 - 194. Suppose 7*m - 3*m = r. Is m a multiple of 4?
False
Suppose -90 - 340 = -d. Is d a multiple of 36?
False
Is 27 a factor of (-81075)/(-235) + (-6)/(-2 - -1)?
True
Suppose -4*x + 3*z + 0*z + 6 = 0, 2 = -2*x - z. Suppose x*o - 106 = -o. Suppose 2*l - 3*i - i = o, -275 = -5*l + 5*i. Is l a multiple of 24?
False
Let w(b) = -3*b**2 + 5*b. Let s be w(4). Let r be 25/4 + 7/s. Suppose -30 = -3*q - r. Is q a multiple of 2?
True
Let y(t) = -t + 15. Let r be y(0). Suppose -380 = r*w - 20*w. Suppose 5*q + 4*x - 226 = 0, -2*q + 2*x = -0*x - w. Is 14 a factor of q?
True
Suppose -5*h - n + 636 = 0, -5*n = -3*h - 3*n + 392. Is 32 a factor of h?
True
Let z = 3592 - 2384. Is 8 a factor of z?
True
Let q = 240 + -209. Is 6 a factor of q?
False
Let i(b) = -2*b**2 + 40*b + 68. Is 12 a factor of i(20)?
False
Let w(a) = a**3 - 2*a**2 - 3. Let k be w(3). Let i(t) be the third derivative of t**4/3 - 5*t**3/3 + t**2. Does 16 divide i(k)?
False
Let n = -186 - -310. Suppose -d = -56 - n. Is d a multiple of 18?
True
Let c(d) be the second derivative of d**4/12 + 3*d**3/2 - 4*d**2 - 5*d. Let v be c(-10). Suppose 0 = w - v - 18. Does 20 divide w?
True
Suppose -5*j - 5*v + 350 = 0, -j = -2*j + 5*v + 82. Does 6 divide 1/(1/j*2)?
True
Let o be -3*(2 - 32/(-12)). Let r = 72 - o. Suppose l = -l + r. Is 33 a factor of l?
False
Suppose -256 = -5*r - 2*j, 4*r + j - 307 = -101. Does 11 divide (13/r)/(2/152)?
False
Suppose 4*g + 238 = 2*g. Let c = g - -218. Is c a multiple of 15?
False
Let l(o) = -o**2 - 15*o + 2. Let v be l(-15). Let k(g) = 4*g**3 - 3*g**2 - g + 1. Is k(v) a multiple of 19?
True
Is 29 a factor of (-40)/(-16) - (-2772)/8?
False
Suppose 3*f + 17 = 4*x, -4*f = 5*x - 3*x - 14. Suppose -x*t = -4*t - 28. Does 5 divide t?
False
Suppose -4 = -2*c + 4, -l + c - 2 = 0. Suppose 2*b + l*j = 12, 4*b - 12 = -b + 4*j. Does 2 divide b?
True
Let d(u) = 2*u**3 + u**2 + 8*u + 15. Is d(5) a multiple of 59?
False
Let v = 19 + -64. Let u = v - -88. Is u a multiple of 14?
False
Does 18 divide 66/(-12) + 5 + 253/2?
True
Suppose 2*r = 4*l + 3*r - 32, -4*r + 16 = 0. Let q(n) = 8*n + 4. Let g be q(l). Suppose 0*d = -d + g. Is d a multiple of 15?
True
Let n = -80 - -69. Is (63/(-6))/(2 - n/(-4)) a multiple of 2?
True
Suppose -5*a + 2*r = -834 - 1159, -r - 398 = -a. Does 60 divide a?
False
Suppose 0 = -q - 9*x + 5*x + 1073, 0 = q - 3*x - 1038. Does 39 divide q?
True
Let i(j) = 300*j**2 + 8*j - 7. Does 25 divide i(1)?
False
Suppose -5*q + 7 = 3*p - 8, -3*q = 3*p - 9. Suppose -2*b + 2*w = -17 + 9, -b + 1 = 2*w. Suppose 2*u - u - 207 = -b*m, u + 3 = p. Does 13 divide m?
False
Let l(p) = p**3 + 13*p**2 - 17*p + 16. Let h be l(-14). Let u = 64 - h. Is u a multiple of 3?
True
Let y = 80 - -498. Is 34 a factor of y?
True
Suppose -4*y + m - 2*m = -11, -5*y + 2*m = -30. Suppose -5 = y*z - 13. Suppose -z*q - 2*q - 4*i + 100 = 0, 0 = q + 3*i - 27. Does 12 divide q?
True
Suppose 0 = 4*u - 8, 4 = 3*m - 5*u - 1. Suppose 67 = 25*p - 24*p. Suppose -p - 38 = -m*t. Does 7 divide t?
True
Let j be (3/(-6)*-130)/(1 - 0). Suppose 3*f - 670 = j. Is f a multiple of 16?
False
Let j(g) = -g**2 + 3*g - 1. Let m be 8/36 + 25/9. Let s be j(m). Is ((-40)/(-30))/(s/(-33)) a multiple of 14?
False
Let k(h) = 5*h - 13. Let q be k(3). Suppose 15 = -3*r, -5*r + 2*r = -q*n + 75. Is n a multiple of 20?
False
Let c(f) = 2*f - 5. Let o be c(4). Suppose x - 16 = -o*x. Is 3 a factor of (-6)/(1 - 7/x)?
False
Let c(s) = 14*s**2 - 9*s - 3. Let j be 1 + (6 - 5) + 1. Is 32 a factor of c(j)?
True
Is 360/(1/(-20)*(-45)/9) a multiple of 10?
True
Let f(m) = -5*m**3 - 12*m**2 + 3*m + 3. Let b(d) = 14*d**3 + 35*d**2 - 8*d - 10. Let g(v) = 6*b(v) + 17*f(v). Is 5 a factor of g(6)?
False
Let w(a) = -a**2 - 15*a - 17. Let l(t) = -t**2 + 18. Let z be l(0). Let k = -30 + z. Does 11 divide w(k)?
False
Suppose -7*c - 6*c + 2106 = 0. Is 9 a factor of c?
True
Suppose 2*z + 2*h = 6, 2*z = -3*z + 3*h + 15. Suppose z*s - 18 = -3*t, -35 = -3*s + 3*t - 5. Does 4 divide s?
True
Is 11 a factor of (-4600)/150*66/(-4)?
True
Suppose -39*w + 1600 = -34*w. Suppose 4*d - w = -104. Is d a multiple of 6?
True
Let t(r) be the second derivative of 7*r + 2/3*r**4 + 0 - 3/2*r**2 + 1/6*r**3. Is t(-2) a multiple of 9?
True
Suppose -721 = -2*f - 23. Let h = f + -205. Is h a multiple of 12?
True
Let x(g) = -g - 1. Let q be x(-6). Suppose -a = 5*n + 16, -4*a + 0*n - 4 = q*n. Suppose 0 = a*s - 52 - 44. Is s a multiple of 11?
False
Does 12 divide 760/(22/(-231)*-3)?
False
Let w = 335 + -140. Does 2 divide w?
False
Let h(r) = -r**3 + 15*r**2 + 16*r + 14. Let m be h(16). Let u(p) = -p**3 + 15*p**2 + 3*p - 28. Does 17 divide u(m)?
False
Let j(g) be the second derivative of 7*g**3/6 - 9*g**2 + 8*g + 5. Let i = -16 - -26. Is j(i) a multiple of 13?
True
Let d be 2 + -4 + -1 + 6. Let k be 2 + 1 - (d - -1). Let u = k + 8. Is 7 a factor of u?
True
Let h be (-2 + 2*-1)/(-2). Let r(o) = -o**2 - 12*o - 6. Let g be r(-8). Does 13 divide (6/3)/(h/g)?
True
Let b(p) = 15 - 3*p**2 + 25*p - 8 + 2*p**2 - 21. Does 16 divide b(18)?
True
Suppose -117*b = -120*b + 105. Does 8 divide b?
False
Suppose -4*b - 8 = -8*b. Suppose -5*g = 10, 4*i - i = -b*g + 230. Does 23 divide i?
False
Let h(m) be the first derivative of 5*m**2/2 - m - 49. Suppose -a = -3*a + 10. Is h(a) a multiple of 5?
False
Suppose 15 = 2*j - 47. Suppose -2*r = -4*p - 12, 4*p = -3*r + j + 17. Is r a multiple of 6?
True
Let x = 1737 - 1593. Is 8 a factor of x?
True
Let t(g) be the third derivative of g**8/20160 - g**7/1680 + g**6/90 - 11*g**5/60 - 7*g**2. Let f(x) be the third derivative of t(x). Does 12 divide f(8)?
True
Does 100 divide (66/(-176))/((-1)/6184)?
False
Is 3 a factor of (580/(-150))/29 - (-3497)/15?
False
Let v = -83 - -89. Let g(z) = -3*z**3 - 6*z**2 + 6*z - 9. Let b(a) = 8*a**3 + 18*a**2 - 17*a + 26. Let y(h) = -4*b(h) - 11*g(h). Does 7 divide y(v)?
True
Suppose 123 + 45 = 12*m. Is 7 a factor of ((-4)/m)/2 + (-276)/(-21)?
False
Let g(m) be the second derivative of -m**3/3 + 11*m**2/2 + 2*m. Let j be g(-9). Suppose j + 45 = 2*z. Is z a multiple of 18?
False
Let d be (-2)/6 - (-121)/3. Let v = 49 - d. Is v a multiple of 6?
False
Suppose -42 - 826 = -14*p. Is p a multiple of 30?
False
Let y = 1063 - 942. Does 11 divide y?
True
Suppose 6*l + 8 = 8*l. Suppose -22 = -3*q - 0*p - l*p, -q + 9 = 3*p. Suppose 2*m = q*m - 60. Is 5 a factor of m?
True
Let d(z) = -z + 2222. Let p be d(0). Suppose -5*y + p = -18. Is 7 a factor of y/44 + (-4)/22?
False
Suppose 2*x + 5 = -3*j, -3*x + j = -2*j - 30. Suppose -x*h + 1338 = 4*i, 3*h - 3*i + i = 816. Suppose -h = -5*t - 0*t. Is 18 a factor