Is s(o) a multiple of 12?
False
Let u = 9 + -6. Let g be 0 - (15 - u)/(-4). Suppose 0 = g*a + 2*k - 30, 0*k - 27 = -3*a - k. Is a a multiple of 8?
True
Let r(n) = 450*n**2 - 21*n + 45. Is 14 a factor of r(3)?
True
Suppose 176*k + 25 = 181*k. Suppose k*a - 272 - 53 = 0. Is a a multiple of 25?
False
Let p(j) = 2*j**2 - 3*j + 5. Let m be p(2). Does 4 divide 2 + -1 - (m + -12)?
False
Let c be 304/72 + 2/(-9). Suppose -4*l = c*l - 720. Does 9 divide l?
True
Let t be 2 + 3/(0 - -6)*6. Suppose -4*m = 5*r - 3*r - 764, t*r = -m + 182. Does 40 divide m?
False
Let d(k) = k**2 - 10*k + 16. Let q be d(11). Suppose 28*j - 2 = q*j. Suppose -4*v = -3*n + 45, -j*n - 5*v = -31 - 22. Does 5 divide n?
False
Suppose 0 = -r + 55 + 10. Let s = 103 - r. Is s a multiple of 6?
False
Let n(s) = s**3 - 6*s**2 - 14*s + 6. Let l(t) = 2*t**3 - 11*t**2 - 29*t + 13. Let m(d) = 4*l(d) - 9*n(d). Let u be m(11). Let o = u + 25. Does 10 divide o?
False
Let k(n) = -n**3 + 10*n**2 - 7*n - 1. Let x be k(6). Does 16 divide x - 1 - (6 - (-3 + 5))?
True
Let w(t) = 6*t. Does 15 divide w(17)?
False
Let g = -635 - -803. Does 24 divide g?
True
Does 96 divide (-8649)/(-6) - -1 - (-35)/(-14)?
True
Let o(d) = -3*d**2 + 4*d - 4. Let p(j) = -2*j**2 + 3*j - 3. Let v(h) = -3*o(h) + 4*p(h). Suppose 4*t = 5*b - 9, -4*b = 5*t - 18 - 22. Does 9 divide v(t)?
False
Suppose -4*b + u + 2267 = -2*u, 3*b - 1664 = -5*u. Does 52 divide b?
False
Let j(c) = 13*c + 5. Let y be j(-2). Is 8 a factor of (-14)/y + 70/3?
True
Let o(f) = -7*f + 39. Does 8 divide o(-18)?
False
Suppose -4*a = -2*h - 166, -a - h - h + 39 = 0. Suppose 0 = 5*t + 10, -3*i - 7*t + a = -2*t. Is 17 a factor of i?
True
Let o(f) = -14*f**2 + 38*f - 27. Let a(q) be the third derivative of q**5/12 - 13*q**4/24 + 3*q**3/2 + 3*q**2. Let z(w) = 17*a(w) + 6*o(w). Does 7 divide z(-9)?
False
Let n(p) = 2*p**2 - p + 2. Let o be n(-9). Let w = 288 - o. Does 9 divide w?
False
Let j = 934 + -358. Is j a multiple of 18?
True
Suppose 4*n + 0*n - 32 = 0. Let a be (18/(-15))/(n/20). Does 18 divide a*8*9/(-6)?
True
Suppose 58*m - 2709 = 51*m. Does 9 divide m?
True
Let q(v) = 3*v - 7. Let f be q(3). Suppose -3*i - f*a = 3*a - 601, 2*a = -5*i + 1027. Suppose -j = 8*j - i. Is 12 a factor of j?
False
Let z be 984/54 + (-6)/27. Suppose -4*u + 3*u = -z. Is u a multiple of 18?
True
Let b(y) be the first derivative of -23*y**2/2 - 7*y + 18. Is b(-5) a multiple of 18?
True
Let t(z) = z**2 - 12*z + 12. Let q be t(11). Is (10 - (0 - q)) + 1/(-1) even?
True
Let x(f) = f**2 + 21*f + 12. Let k be x(-21). Suppose -90 = 9*n - k*n. Is 30 a factor of n?
True
Suppose 5*y + 21 = 2*d, -5*y - 21 - 3 = -3*d. Suppose -w - 10 = -d*w. Suppose w*c - m = 85, -c + 2*m = 2*c - 58. Is 8 a factor of c?
True
Suppose -3*r - 313 = -4*k, 5*r - 1 + 16 = 0. Suppose -4*s + k + 40 = 2*y, -2*y - 124 = -4*s. Is s even?
True
Let b = -736 - -868. Does 21 divide b?
False
Suppose 0 = -28*l + 29*l - 304. Is l a multiple of 16?
True
Suppose 5*m = -h + 56, 3*h = -h + 2*m + 136. Is 6 a factor of h?
True
Suppose 0 = 4*c + 3*z - 8 - 5, 5*c - 5*z = 25. Suppose 0 = -4*t + a + 8, -t + c = t - a. Suppose g - 31 + 0 = -3*w, -t*g - 3*w = -62. Does 10 divide g?
False
Suppose -12*s + 9105 = -2127. Is s a multiple of 52?
True
Let k(j) be the second derivative of j**3/6 - j**2/2 + 4*j. Let b be (60/(-8)*-2)/1. Is 14 a factor of k(b)?
True
Suppose -5*t + 119 = -4*o - 113, 5*o = 3*t - 134. Suppose 3*i + 24 = 2*f, -2*i = -4*f + 3*i + t. Is f a multiple of 6?
True
Suppose u - g + 6*g = 19, 22 = 2*u + 2*g. Does 18 divide 339*3/u - -1?
False
Suppose 5*m = 0, -846 - 530 = -4*g + 2*m. Is 80 a factor of g?
False
Let x(m) = -2*m - 12. Let g be x(-7). Suppose g*d = -d + 255. Is 14 a factor of d?
False
Let r(h) = h**2 + h + 69. Is 11 a factor of r(-17)?
True
Is 2/3 + ((-3936)/9)/(-4) a multiple of 23?
False
Suppose 5*j - 3981 = x - 88, 0 = 5*j + 2*x - 3899. Is j a multiple of 5?
False
Suppose 4*p = 3*f - 4, 0*p = 4*p - 20. Suppose -4*r - 3*z + f*z = -611, 2*z - 464 = -3*r. Is 37 a factor of r?
False
Let z(r) = -r**3 + 34*r**2 + 35*r + 77. Is 7 a factor of z(35)?
True
Let b = -534 - -761. Does 9 divide b?
False
Let m = 25 - 25. Suppose -8*r + 371 - 11 = m. Is 5 a factor of r?
True
Let a = 149 - 70. Suppose -4*b + 11 + a = -2*j, -2*b = 2*j + 96. Let n = 13 - j. Does 12 divide n?
True
Suppose -19*g + 14*g = -15. Suppose q - 1 = -h, -30 + 1 = g*h - 5*q. Let l(s) = -12*s. Does 18 divide l(h)?
True
Let k = 509 - -526. Is 23 a factor of k?
True
Suppose 17*v + 4*a = 13*v + 20, -3*a = v - 7. Suppose 0 = 4*o - o + 4*l - 31, 3*o - v*l - 23 = 0. Does 3 divide o?
True
Let j be (-55)/(-15) + (-1)/(-3). Suppose 4*n + 8 = 0, -j*n + 70 + 8 = 2*a. Is 15 a factor of a?
False
Suppose 74*y = 75*y - 37. Does 15 divide y?
False
Let n be (-703)/6 + 6/36. Let g = -57 - n. Let s = g + -42. Does 7 divide s?
False
Let x(j) = -j**2 + 7*j - 10. Let v be x(5). Suppose 2*p - 2*q = -v*q + 26, 3*q = -2*p + 41. Let w = p + 7. Does 10 divide w?
False
Is (52992/28)/2 + 10/(-35) a multiple of 23?
False
Suppose 3*p = 13*p - 5000. Is 4 a factor of p?
True
Suppose 3*x = -2*x. Let o = -6 - -13. Is 13 a factor of x + (-32)/(-4)*o?
False
Let j(a) = -a**3 - 13*a**2 + a + 16. Let k be j(-13). Let u = -25 + 244. Suppose -4*z = l - 49 - 36, -3*l = k*z - u. Is 14 a factor of l?
False
Does 11 divide -141*((4/(-4))/1)/1?
False
Does 8 divide (2/(-3))/((-17)/20196)?
True
Suppose 2*z + 2*b - 45 = 7*z, -b = 4*z + 49. Let r = z + 54. Suppose 5*w + r + 45 = 3*d, 4*w + 125 = 5*d. Is d a multiple of 21?
True
Suppose 0 = -37*l + 4458 + 4866. Is l a multiple of 6?
True
Let d(h) = 5*h + 8. Let l(m) be the second derivative of -2*m**3/3 - 9*m**2/2 - 2*m. Let u(q) = 3*d(q) + 2*l(q). Is 19 a factor of u(5)?
False
Let p(z) = -z**2 + 10*z + 4. Let g be p(10). Suppose -102 = g*j + 34. Let s = j + 54. Is s a multiple of 15?
False
Let v = 17 + -3. Let k(q) = -10*q + v - q**2 + 2*q**2 - 3*q. Is k(15) a multiple of 15?
False
Suppose 25*h = 12*h + 962. Is 28 a factor of h?
False
Suppose 5*r = z - 80, -4*z + 196 = -2*z - r. Does 20 divide z?
True
Let m(u) = u**3 - 3*u**2 - u + 624. Does 16 divide m(0)?
True
Let z = -15 + 44. Let l = z + -13. Does 16 divide l?
True
Let f(g) = -g**3 - 4*g**2 - 3*g - 6. Let a be f(-7). Let y = -75 + a. Is y a multiple of 35?
False
Let v(y) = -6*y - 16. Let p be v(-10). Let q = -25 + p. Is q a multiple of 10?
False
Let k(q) = -3*q**3 - 3*q - 1. Let h = -17 + 21. Suppose o - 2 = h*g, -4*g = 4*o - 0*o + 12. Is 8 a factor of k(o)?
False
Suppose 4*s + 9 = -5*u, -4*u - 10 = -5*s - 6*u. Suppose 0*x - s*x = -508. Let m = -84 + x. Is m a multiple of 27?
False
Suppose 0 = 9*m - 12*m - 24. Is 11 a factor of -60*(-6)/m*8/(-12)?
False
Suppose 10 = 2*j, v + 375 = 6*v - 2*j. Let m = 160 - v. Let y = m + -46. Is y a multiple of 11?
False
Suppose -2*m - a + 0*a = 29, 5*a + 28 = -m. Let x(z) = -z + 34. Let s be x(0). Let l = s - m. Is l a multiple of 11?
False
Suppose 13*v - 5639 - 8180 = 0. Is 87 a factor of v?
False
Let d = -696 + 969. Is 94 a factor of d?
False
Does 17 divide 21624/24*(0 + 1)?
True
Suppose -q = -3*q + 40. Suppose 72 = 5*u - 83. Suppose 2*r + 5*k - u = 0, 3*r - 4*k = -r + q. Is r a multiple of 4?
True
Let d(w) be the third derivative of 7*w**5/30 - w**4/6 + 7*w**3/6 + 3*w**2. Let a be d(3). Suppose -6*u = -5 - a. Does 7 divide u?
True
Let m be (262/3)/(84/(-18) + 4). Let d = -73 - m. Does 29 divide d?
True
Is 2101/5 - 11/55 a multiple of 14?
True
Suppose 2*r = i + 371, 0*i + 4*i + 926 = 5*r. Let p = -587 + 478. Let w = p + r. Is 17 a factor of w?
False
Let n be (-6 - -7)/(2/(-20)). Let p(i) = -i**2 - 13*i - 2. Is 28 a factor of p(n)?
True
Let a = -61 + 64. Let l(s) = 2*s - 2. Let i be l(3). Suppose -93 = a*u - i*u. Is 31 a factor of u?
True
Suppose -471 = 4*i + 3*z - 1341, 0 = -3*i - 2*z + 652. Suppose -7*j + i = -3*j. Suppose 5*w = -b + 2*b - j, 5*b = 4*w + 291. Is 18 a factor of b?
False
Let j = 40 - 45. Let z(p) = p**3 + 5*p**2 - 8*p + 6. Is 15 a factor of z(j)?
False
Let b(n) = 1885*n**2 - 25*n - 24. Is b(-1) a multiple of 12?
False
Let m(h) = -h**3 + h**2 + 4*h - 1. Let z be m(2). Does 20 divide 10*z/6*12?
True
Let q(o) = 8*o + 1. Let g be q(-2). Let a(w) = -2*w + 6. Does 4 divide a(g)?
True
Is 1932/49 + 0 + (-6)/14 a multiple of 14?
False
Let t(l) = 39*l - 111. Do