(-300)/(-240))/(2/88 + 0). Does 30 divide (-1774)/(-10) + (-22)/f?
False
Let t(m) = -11*m + 3. Let d be t(6). Is 16 a factor of (0 + -1)*d + 1?
True
Suppose -3*z = n - 0*z - 513, -4*n + 2122 = -2*z. Is n a multiple of 6?
True
Let u = -519 + 650. Let w(d) = -d**3 - 4*d**2 + 4*d - 3. Let a be w(-5). Suppose -m - u = -a*g - g, 0 = m - 1. Is g a multiple of 11?
True
Suppose -5*a + 349 - 41 = -3*w, 3*a - 4*w = 176. Suppose 33 + a = c. Suppose -29 = -7*p + c. Is 18 a factor of p?
True
Suppose -3*p + 29 = -13. Does 11 divide ((-40)/(-2))/2*77/p?
True
Suppose 3*m = 3*q - 753, -5*q + 0*m + m = -1251. Does 10 divide q?
True
Let l(y) be the second derivative of -y**4/12 - 8*y**3/3 - 4*y**2 + y. Let w be l(-6). Let g = -28 + w. Is 12 a factor of g?
True
Suppose -4 = 2*g - 6. Does 11 divide (-3 - 0) + g + 35?
True
Suppose 0 = -4*h - 5*t - 6, -h - 3*t = 2*t - 6. Let x be 9/6 + (-6)/h. Is (3/6)/(x/534) a multiple of 15?
False
Suppose -19*z + 18460 = -6*z. Is 7 a factor of z?
False
Let q(a) = 584*a. Is q(1) a multiple of 15?
False
Let w(n) be the first derivative of n**3/3 - 2*n**2 - 21*n - 24. Does 12 divide w(9)?
True
Suppose -566 = -3*g + o, 0 = -4*g + 2*o - o + 754. Is 4 a factor of g?
True
Suppose -42 = -r - 0*v + 5*v, 4*r - 78 = 2*v. Let b = 123 + r. Is b a multiple of 28?
True
Let q(w) = 3 + 8*w + 0 + 0 - w**2 + 0. Let k be q(8). Suppose -4*c + 4*t + 72 = -0*c, 0 = -k*t. Is 3 a factor of c?
True
Suppose 5*g - 3*m - 616 = -m, -3*m = -6. Suppose -2*u - d - 30 = 0, 0 = -5*u + 3*d + 38 - g. Does 10 divide -25*(-2 + u/(-10))?
True
Let v(w) = w**3 + w**2 - w. Let m be v(0). Suppose -i = -r + 3*r - 64, m = 2*i - 4*r - 160. Is 18 a factor of i?
True
Suppose 4*a = -3*y + 3958, -y - a = 85 - 1403. Is y a multiple of 6?
True
Let o be (-2)/(-10) + (-3504)/(-80). Suppose 0 = -5*l + 119 - o. Is 4 a factor of l?
False
Let v be (-11 - -14) + (3 - (9 - -2)). Let h(m) = m - 8 - 17*m - 4. Is 17 a factor of h(v)?
True
Let m(i) be the third derivative of i**6/120 + 7*i**5/30 - i**4/8 + 3*i**3/2 - 19*i**2. Is 11 a factor of m(-14)?
False
Let t = 7 + -6. Let c be (7 - t)/(-3) - 2. Is 9 a factor of (18/4)/(c/(-8))?
True
Suppose 33*a = 28*a - 1120. Let s = a - -391. Is s a multiple of 26?
False
Suppose -3*z = 2*k - 16, 4*k - 3*z + 22 = 9*k. Let y(a) = -k - 3 - 2*a - 1 - 3*a. Is 14 a factor of y(-4)?
True
Suppose -384 = -6*d + 1632. Is d a multiple of 12?
True
Let o(h) = -h**3 - 5*h**2 + h + 5. Let f(d) = -d**3 - 5*d**2 + d + 6. Let x(i) = 4*f(i) - 5*o(i). Suppose 6 = -3*g - 6. Is x(g) a multiple of 7?
False
Let d(m) = 2*m**3 - 9*m**2 - 4*m + 12. Let i be d(6). Let n = i + -41. Is 5 a factor of n?
True
Let i be 3/((-36)/(-8))*3. Suppose i*j = 3*q - 96, -2*j - 7 + 1 = 0. Does 15 divide q?
True
Suppose x + 4*x = 20. Suppose x*y - 5*y - 1438 = -5*n, 12 = -4*y. Suppose -3*a = -34 - n. Is 26 a factor of a?
False
Suppose -10*m + 17280 = 6*m. Is m a multiple of 36?
True
Suppose 0 = 8*c - 2261 - 643. Suppose 5*m + c = 853. Does 18 divide m?
False
Suppose -3*j = -0*j - 12. Let k = 71 - 3. Let x = k - j. Is x a multiple of 17?
False
Suppose 2*t - 654 = 4*f, -2*f = -3*t + 2*f + 973. Does 11 divide t?
True
Let d(r) = -r**3 - r**2 + r + 1. Let f(l) = -7*l**3 + 5*l**2 + 13*l + 22. Let j(y) = -6*d(y) + f(y). Suppose -4*m + 53 - 9 = 0. Is 33 a factor of j(m)?
False
Let u = -417 + 858. Is 49 a factor of u?
True
Suppose -5*t = y + 14, -2*t - 20 = -4*y + 6*y. Let d = y + 12. Suppose -5*l - 10 = 0, 4*l = d*c - 0*c - 17. Is 2 a factor of c?
False
Suppose 43*s + 243 = 46*s. Let i = s + 117. Is 11 a factor of i?
True
Let o be (-3)/((-143)/78 + (-1)/(-3)). Does 5 divide o/4*(-288)/(-12)?
False
Let j be (3 - 1)*1 - -1. Let i(l) = 2*l**2 + 8*l - 5. Is i(j) a multiple of 8?
False
Is 5 a factor of (19 - 285)*(0 + -5)?
True
Let t = 648 + -456. Is 23 a factor of t?
False
Suppose 0 = v + 2*v - 12. Suppose 3*s - 123 = -5*h, 0*s - 65 = -3*h - v*s. Does 9 divide h?
True
Let g(x) = -x**3 - 5*x**2 + 2*x - 11. Let r be g(-5). Is (-144)/(-3)*(-28)/r a multiple of 32?
True
Suppose 3*d = 8*d - 15. Suppose -q + 50 = 3*q + u, -d*u + 54 = 4*q. Is 4 a factor of q?
True
Let g(j) = -j**3 - 2*j + 37. Let t be g(0). Suppose 0 = -4*f - 137 + t. Let w = 35 + f. Is w a multiple of 5?
True
Suppose 0 = y + 5, -p - 15 = 6*y - 2*y. Does 12 divide 504/15 + (-3)/p?
False
Let j(p) = -p**2 + p - 3. Let g be j(-6). Let r(w) = -26*w - 3. Let t be r(4). Let x = g - t. Is x a multiple of 17?
False
Suppose g + 3*l - 5 = -15, 3*l = -3*g - 6. Let f(k) = 5*k**3 - 2*k**2 - 4. Does 6 divide f(g)?
False
Suppose -13*n + 1304 + 14179 = 0. Is n a multiple of 34?
False
Let s be 3/(9/(-12)) - 68. Let h = s - -121. Is 15 a factor of h?
False
Let o(l) be the first derivative of -4 + 5/3*l**3 - l**2 - 1/4*l**4 - 2*l. Is 4 a factor of o(4)?
False
Is 16 a factor of (-2 - 1)*(-562)/6?
False
Is 41 a factor of 6/(-9)*(-69)/2*2?
False
Let h(l) = -l + 2. Let d be h(-3). Suppose -d*x + 9 = -11. Suppose -x*w - 3*i + 55 = 0, 3*w + 5*i + 0*i = 33. Is w a multiple of 8?
True
Let y = -35 + 33. Suppose 0*p - 28 = 4*p. Let i = y - p. Is i even?
False
Suppose 0 = -y - 17*k + 22*k + 66, -k + 176 = 2*y. Is 2 a factor of y?
True
Suppose 0 = i + 5*q - 41 + 13, -5*i + 2*q = -5. Does 11 divide (4*(11 - 0) + i)*5?
False
Let g(x) = 3*x**2 + 8*x + 9. Let m(r) = r**2 + 1. Let h(b) = -g(b) + 2*m(b). Is h(-5) a multiple of 2?
True
Let i = 101 + -7. Does 27 divide i?
False
Suppose 3*n + 5*x = -66, 2*x - 7 - 55 = 4*n. Let i = n + 27. Is i even?
True
Let a(s) = -3*s**2 + 14*s + 38. Is a(6) a multiple of 3?
False
Suppose -5*r - 8 = -6*r. Suppose r*k = 48 + 112. Is k a multiple of 4?
True
Suppose 15*p - 31*p = -512. Is p even?
True
Let d(c) be the first derivative of 3*c**2 - 38*c + 47. Is d(10) a multiple of 4?
False
Suppose 40 = -3*y + 5*y. Suppose -y = -3*i - 8. Suppose -i*o + 37 = 1. Is o a multiple of 5?
False
Let p be 12/(-21) - (-370)/35. Suppose 4*q = -5*n + 37, -2*q + p = 5*n - 7*q. Is ((-72)/3)/(-6 + n) a multiple of 24?
True
Let q be (-7300)/(-70) + (2 - (-16)/(-7)). Suppose -7*r = -q - 29. Does 3 divide r?
False
Let n be (-8 - -14)/(6/4). Is (n/(-12))/((-1)/60) a multiple of 3?
False
Let d be 24/(((-3)/(-12))/(4/(-12))). Does 18 divide -4*476/d - 3/2?
False
Let t = 53 + 123. Is t a multiple of 11?
True
Let f(d) = d**3 + 7*d**2 + 5*d - 3. Let y be f(-6). Suppose 12 + 12 = -y*z. Is 33 - z/20*-5 a multiple of 13?
False
Suppose -3*w + 5 + 10 = 0, 3*n - 5*w + 25 = 0. Suppose 16 - 4 = 3*u. Suppose n = -4*z + 4*q + 108, -89 = -3*z - u*q - 8. Is z a multiple of 9?
True
Let h = 1752 + -966. Suppose 0 = -4*u - 194 + h. Is 14 a factor of u?
False
Let f(w) = w**3 + 28*w**2 + 21*w + 23. Does 19 divide f(-27)?
False
Let b(i) = i**3 + 3*i**2 - 22*i + 59. Is 6 a factor of b(8)?
False
Let b = -235 + 327. Does 15 divide b?
False
Suppose 7 = -5*m - 18. Let i(v) = v**3 + 12*v**2 - 5. Is i(m) a multiple of 34?
True
Let r(o) = -2*o**2 + o + 51. Let u be (-69)/115 + 6/10. Is 21 a factor of r(u)?
False
Let h = -22 - -24. Suppose -h*a + 14 = -18. Suppose 0 = -x + 14 + a. Does 15 divide x?
True
Suppose 8 = 2*t - 0, -3*g + 122 = 5*t. Let o be (-2)/9 - 187/9. Let k = g + o. Is 12 a factor of k?
False
Is 9 a factor of 8125/100*(-8)/(-2)?
False
Let t = 15 - 14. Suppose -s + t = -2. Is 29 a factor of (1/s)/(2/348)?
True
Let v(r) = 7*r**2 + 15*r - 6. Let o = -106 - -100. Does 26 divide v(o)?
True
Let t(p) = p**3 + 23*p**2 - 36*p - 5. Let a(s) = -s**2 - 4*s + 36. Let h be a(-10). Is t(h) a multiple of 17?
False
Let t = 893 - 336. Is 20 a factor of t?
False
Does 11 divide (-2 + 5)*(-4816)/(-42)?
False
Let u = 456 + -258. Suppose -2*a + 4*s + 208 = 0, -4*a + 2*s + u = -194. Let h = a + -54. Does 13 divide h?
False
Let v(c) = -17*c + 38. Let w be v(2). Let n be (-2)/4 + (-18)/(-4). Suppose -n*b + p + 208 = 0, -b + p = w*p - 52. Is 13 a factor of b?
True
Let p(k) = k - 1. Let o be p(4). Suppose -5*i + 8 = -o*i. Is i/(-28) + (-213)/(-21) a multiple of 3?
False
Suppose -3*d + 17 = 5*r - 27, -d + 11 = -2*r. Let k(b) = -4*b - 16. Let m be k(-4). Suppose -5*g + 2 + d = m. Is g a multiple of 3?
True
Suppose 2*o - 10 = -4*l, -o + 2*l - 14 = -3. Let q = 3 + o. Suppose -5*b = -q*b - 330. Is b a multiple of 14?
False
Suppose 3*r + 1 = -n + 29, 3*n + 6 = 0. Is r even?
True
Let c(f) = -f. Let u be c(3). Let p be 18/12