- o. Is g a multiple of 12?
False
Let y(z) = -2*z**2 + 16*z + 10. Suppose -43*r = -40*r - 21. Is 6 a factor of y(r)?
True
Let x(s) = -s + 29. Let y(b) = -14. Suppose 0*l = 3*l - 12. Let g(u) = l*x(u) + 9*y(u). Does 3 divide g(-5)?
False
Suppose -3*d = 2*d - 4*o + 319, -3*d - 189 = -3*o. Let k = 121 - d. Is 20 a factor of k?
False
Let n = 5 + 0. Let a(z) = -10*z**2 + 26*z + 24. Let m(s) = -7*s**2 + 17*s + 16. Let d(k) = n*a(k) - 7*m(k). Is d(10) a multiple of 6?
True
Let i = 77 + -77. Suppose -2*l = -i*s - 4*s + 60, -75 = -5*s + 2*l. Is s a multiple of 3?
True
Let n(u) = -u**2 - 57*u - 272. Does 20 divide n(-29)?
True
Suppose -2*u = -0*u - 8, 2*l = 5*u - 40. Let a be l*-7*(-3 - -4). Suppose -3*k = -11 - a. Is 8 a factor of k?
False
Let j(y) = y - 6. Let a be j(3). Let f be ((-15)/2)/(a/6). Is f/5*(-38)/(-2) a multiple of 19?
True
Let y = 4 + 1. Suppose y*f - 2*n = 2 - 3, 4 = f + n. Is f + (-9)/(36/(-376)) a multiple of 19?
True
Suppose 20 - 24 = -a. Suppose -2*q + 146 = -14. Suppose -a*o + q = 32. Does 10 divide o?
False
Let n(a) = -a + 5. Suppose -4 = 2*t + 4. Let o be n(t). Let f(p) = p - 6. Is f(o) even?
False
Suppose 3*p - 9*u - 2204 = -11*u, -3665 = -5*p + 5*u. Is 20 a factor of p?
False
Suppose -3*o - 5*q = -68 - 232, -537 = -5*o + 4*q. Is 8 a factor of 378/49 - (-5)/(o/6)?
True
Let o = 12 + -51. Let y = o - -65. Is y a multiple of 11?
False
Suppose -5*q + 4*q = 6. Let i be q/(-12)*(-1 - 11). Let g(r) = -r**2 - 6*r + 6. Is 2 a factor of g(i)?
True
Suppose 23*g = 7*g + 17280. Is g a multiple of 40?
True
Suppose -d + 10 = d. Suppose 3*k + 28 = d*k. Is 3 a factor of k?
False
Suppose 92*n - 91300 = -11628. Is n a multiple of 15?
False
Let a(m) be the second derivative of m**3/6 + m**2 - 7*m. Let h be a(0). Let j(n) = 5*n**2 - 6*n + 7. Is 5 a factor of j(h)?
True
Let f be 25229/9 - (-8)/(-36). Suppose f = 5*p + 348. Suppose -8*z + 157 = -p. Is z a multiple of 17?
False
Suppose -h = -4 + 2. Suppose h*f - 47 = f + 2*v, -3*v = 4*f - 210. Is f a multiple of 17?
True
Let c = 602 - 173. Does 72 divide c?
False
Let o = -66 + 439. Does 14 divide o?
False
Let f(c) = 3*c**2 - 3*c - 1. Let r be f(4). Suppose 4*s = 7*q - 2*q - 114, 0 = -5*s - 5. Let u = r - q. Does 4 divide u?
False
Let j(l) = 3*l**3 + 16*l**2 + 2*l. Does 3 divide j(-5)?
True
Suppose 7*g - 3031 - 973 = 0. Is g a multiple of 23?
False
Suppose -3*x - 167 = -f + 64, 0 = -3*f - x + 673. Let c = -123 + f. Is 34 a factor of c?
True
Suppose 0 = -5*r + 2*r + 15. Suppose -2*a - h = -49, -2*h - 44 = -a - 17. Suppose -2*o - 1 + 3 = 0, -r*o = -3*m + a. Does 8 divide m?
False
Let n(l) = l**2 + 19*l + 34. Is 14 a factor of n(11)?
True
Suppose 5*c - 14 = 11. Let p be (-14)/(-7)*c/(-2). Let i = 25 - p. Is i a multiple of 15?
True
Suppose -4 = 2*d, -5*d + 2*d + 992 = 2*c. Is 18 a factor of c?
False
Let m be -2*3*4/(-6). Suppose -9 - 11 = -m*z. Let j = z - -3. Is j a multiple of 8?
True
Suppose 0 = -27*o + 7*o + 79800. Is 29 a factor of o?
False
Let d be (1 - 0)/(5 + (-1197)/240). Suppose -5*g + 18 = u, 14*u = 16*u - g - d. Is 19 a factor of u?
True
Let u be (3*10/15)/2. Let g(s) = -s**3 - 6*s**2 - 3. Let b be g(-6). Does 3 divide (-30)/b - -4 - u?
False
Let z(n) = 5 + 1 - 39*n + 28*n + n**2. Let p be z(11). Does 4 divide (0 - (-2 - -1)) + p?
False
Let r(m) = m**3 + 4*m**2 - 32*m + 24. Is r(10) a multiple of 8?
True
Is 16 a factor of (79/(-158))/((-1)/466)?
False
Let j = -30 + 11. Let c = 46 - j. Let f = -36 + c. Does 29 divide f?
True
Let z = -44 - -41. Let p(g) = 8*g**2 - 10*g. Does 17 divide p(z)?
True
Suppose -6*i + 48 = -7*i. Let m(q) = -71*q**3 - q**2 + 1. Let c be m(1). Let v = i - c. Does 12 divide v?
False
Suppose 3*o + o - 8 = 0. Let c = 43 + o. Does 18 divide c?
False
Let h(f) = -2*f**3 - 2*f**2 + 3*f + 384. Does 32 divide h(0)?
True
Let r = -17 - -48. Let d = r + -28. Suppose -d*c + 285 = 2*c + 5*v, 5*c - 288 = -4*v. Is c a multiple of 30?
True
Let o(s) = -s**3 - 9*s**2 + 18*s - 23. Let p be o(-11). Suppose -2*y = y - 219. Let t = y - p. Is t a multiple of 13?
True
Let t be -18 - (3 + (-15)/3). Let i = t - -40. Does 11 divide i?
False
Let w(x) = -x**3 - 10*x**2 - 29*x + 2. Is w(-9) a multiple of 26?
True
Suppose 0 = 5*n - 37 - 33. Suppose 6*q = 3*q + 4*i - n, -5*q - 4*i = -30. Suppose -q*h = h - 138. Is 7 a factor of h?
False
Let a = -1624 - -3485. Is 4 a factor of a?
False
Let f(r) = -6*r + 14. Is 4 a factor of f(-9)?
True
Suppose 0*n - 12 = -l + 4*n, n = -l + 22. Suppose l*d + 220 = 24*d. Is 11 a factor of d?
True
Let p(l) be the first derivative of -l**2/2 + 3*l + 1. Is 7 a factor of p(-4)?
True
Suppose -y + 5*q + 9 = 0, 0 = 3*y - y + 2*q - 6. Suppose 4*u - 72 = -y*h, -3*h + 6*h - 5*u - 54 = 0. Does 9 divide h?
True
Is (-26)/(-169) + 71910/39 a multiple of 37?
False
Suppose -5*d = j + 635, -363 = -3*d + 6*d - 3*j. Let c = d + 170. Does 11 divide c?
True
Let u(y) be the first derivative of -y**4/24 + 11*y**3/3 + y**2 + 1. Let d(o) be the second derivative of u(o). Is d(10) a multiple of 4?
True
Let y = -17 - -9. Suppose -3*q - q = -4*x + 16, 0 = 3*x - 4*q - 14. Does 15 divide 335/20 - x/y?
False
Suppose -84 = -2*m - z, 20 = 2*m + 5*z - 48. Suppose m = -3*j - 10. Let f = 36 + j. Does 5 divide f?
False
Let y = -20 + 18. Does 17 divide y*(-1)/4*92?
False
Suppose -5540 = -40*c + 620. Does 2 divide c?
True
Is (-2 + 5 + -6)*-8 a multiple of 9?
False
Let p(u) = 2*u - 17. Let n be p(-17). Let y = n + 95. Is 28 a factor of y?
False
Let v(o) = 34*o**2 - 4*o + 4. Let s(n) = -68*n**2 + 9*n - 9. Let a(p) = -3*s(p) - 7*v(p). Let j(k) be the first derivative of a(k). Does 23 divide j(-1)?
True
Let p be -28 - (1 + -1 + -4). Does 24 divide (p/5 + 0)/((-12)/60)?
True
Suppose 6*z - 11*z = 4*p - 874, 4*p - 860 = 2*z. Does 18 divide p?
True
Suppose 75*y + 3*z - 328 = 71*y, -5*y + 5*z + 375 = 0. Is 30 a factor of y?
False
Let x = -309 - -671. Does 26 divide x?
False
Let k be -1 + -1 + 2 + -102. Let q = k - -57. Is (-10)/q + (-536)/(-18) a multiple of 15?
True
Let n be (-3)/(-15) + 717/15. Suppose -5*z = -z - n. Is z a multiple of 6?
True
Let o(n) = 4*n + 107. Is o(-8) a multiple of 5?
True
Suppose -378 - 1023 = -b + d, 5*b = 2*d + 7014. Is 78 a factor of b?
True
Let b(h) = 2*h + 20. Let o be b(-9). Suppose -4*i = -5*y + 65, 3*y - 37 = -i + o. Does 2 divide y?
False
Let v be (-20)/35 + -6*8/(-84). Suppose v = g - 73 - 35. Does 18 divide g?
True
Let x(l) = 2*l**2 - 13*l + 11. Let q be x(5). Let s be -1*(-1 - 4/(-2)). Is -3*1*(s + q) a multiple of 8?
False
Suppose -5*c = -c - 4032. Is 12 a factor of c?
True
Suppose -f - 3 = 0, 2*k - 4*f - 2902 = -3*k. Is k a multiple of 15?
False
Let y = -4 - -9. Let l be (y + -5 + 1)*2. Suppose x = -l*f + 41, x = -2*x - 4*f + 127. Is 15 a factor of x?
True
Let z(r) = 2*r**3 - 3*r**2 + 2*r + 5. Let x be z(3). Suppose 0 = -5*w + 107 + x. Is w a multiple of 29?
True
Let j be 2 + (-12)/48*2*-4. Suppose 167 = j*l - 365. Is l a multiple of 12?
False
Let q be (1 + 5)*(155/(-10) + 7). Let r(b) = b**3 + 1. Let g be r(-3). Let d = g - q. Does 14 divide d?
False
Let a be 4 - 5 - 36/(-1). Suppose -3*j - a = -r - 5*j, -4*r - 4*j + 160 = 0. Does 15 divide r?
True
Suppose 13 + 51 = -2*o. Let j = -3 - o. Is (-2)/6*-3 + j a multiple of 10?
True
Let b = 11 - 18. Let w(m) = -m**2 - 9*m + 4. Let n be w(b). Does 23 divide (-81)/n*(-34)/3?
False
Is 394 - 0*4/(-8) a multiple of 10?
False
Suppose -8*j + 2691 = 5*j. Is j a multiple of 23?
True
Suppose 0 = -4*o - o + 25. Let c(m) = m**3 + 2*m**2 - 4*m + 6. Is 9 a factor of c(o)?
False
Suppose -2*z - 12*p + 3786 = -14*p, p + 1 = 0. Is z a multiple of 16?
False
Let n(c) = -4*c + 63. Let t be n(15). Suppose -j = -3*j - 10, 200 = 5*f + 4*j. Suppose -162 = -5*v + l - f, t*v - 80 = -4*l. Is 17 a factor of v?
False
Suppose 0 = -5*c - 50 - 20. Let r = 50 + c. Does 6 divide r?
True
Let m be (-12)/(-10)*45/18. Let g be -2*(44/2 + m). Let u = -29 - g. Is u a multiple of 21?
True
Let h = -131 - -237. Suppose b = k + h, -b - k + 326 = 2*b. Is b a multiple of 16?
False
Suppose 0 = -f - 22 + 4. Is 26 a factor of 10/45 + (-2228)/f?
False
Let k = -9 - -8. Let o(c) = c**3 - 8*c**2 - 9*c - 3. Let r be o(9). Is 20 a factor of k/r - 239/(-3)?
True
Let f = 12 - 2. Let n be ((-6)/4)/((-1)/f). Suppose 0*z - 5*z = -n. Is z a multiple of 3?
True
Let t(f) = 4*f**2 - 3*f + 13. Let