 60 = 0. Is 11 a factor of x?
False
Let x = 22 + -17. Suppose -2*k = 5*r + x, -3*k + 3 - 2 = -r. Suppose k = -5*l - 0*m - m + 60, 5*l + 2*m = 60. Is l a multiple of 8?
False
Let n(w) be the second derivative of 4*w**3/3 - w**2/2 + w. Suppose -6*r + 9*r + 3*t - 15 = 0, -2*r + t + 10 = 0. Is n(r) a multiple of 13?
True
Let m(h) = 7*h**2 + 33*h - 12. Does 20 divide m(-12)?
True
Let r(c) be the second derivative of 4*c**3/3 - 19*c**2/2 + 12*c. Does 12 divide r(6)?
False
Let o(s) = -s**2 + 14*s - 8. Let y be o(13). Suppose 0 = 6*f - y*f. Suppose -229 = -5*k + i - 47, 5*k - 5*i - 190 = f. Is k a multiple of 13?
False
Let y be ((-66)/4)/((-7)/(-154)). Let c = -252 - y. Is c a multiple of 37?
True
Suppose 34*t - 1728 = 10*t. Is t a multiple of 12?
True
Suppose 7*a = 20 + 3074. Is 17 a factor of a?
True
Let v(n) = -n**3 - 8*n**2 - 9*n - 6. Let c be v(-7). Is (-13)/(1/(c/(-4))) a multiple of 4?
False
Suppose 0 = -2*r - 20. Let o(n) = -n**3 - 9*n**2 + 3*n + 4. Let m be o(r). Let d = -34 + m. Does 20 divide d?
True
Suppose 2*w + 140 = 4*q, 0 = 3*q - 5*q + 5*w + 70. Let f = 224 - q. Is 11 a factor of f?
False
Let p(x) = -59*x - 65. Is p(-6) a multiple of 17?
True
Is (-3)/2 + (-3834)/(-36) a multiple of 21?
True
Suppose 10*z - 130 = 7780. Suppose 6*v - z = 67. Is v a multiple of 11?
True
Let t be (8/(-3) - -3)*(1 + -1). Suppose t = 2*p + 4*k - 182, -p + 21 + 52 = -4*k. Is p a multiple of 34?
False
Does 5 divide 1*(-238)/(-21)*9?
False
Let u(l) = 54*l**2 - l - 2. Let x be u(-1). Let r = x + 32. Does 17 divide r?
True
Suppose -2380 = -22*v + 15*v. Is 34 a factor of v?
True
Let j(l) = 8*l + 88. Is 15 a factor of j(12)?
False
Let g = -89 + 42. Let r = -539 + 357. Let o = g - r. Does 31 divide o?
False
Let o = -6 + 15. Suppose -2*a + 66 = 4*n, 4*n - 4*a - 66 = n. Is n - 0*3/o a multiple of 5?
False
Suppose -404 - 116 = -2*u. Is 10 a factor of u?
True
Suppose -b = 1 - 4. Let a be 1 + b/((-9)/(-3)). Is 7 a factor of (-5)/(45/(-21) + a)?
True
Let q(t) be the third derivative of 0*t - 3/2*t**3 + 0 - 4*t**2 + 7/24*t**4. Is q(6) a multiple of 11?
True
Is 2562/5 - 8/20 a multiple of 16?
True
Let b = 149 - 146. Suppose 4*n - 1060 = x - 3*x, -795 = -b*n - x. Is n a multiple of 26?
False
Let q(i) = i**2 + 2*i - 3. Let c be q(2). Let v(d) = -5*d - 4. Let p be v(c). Let u = p - -59. Is u a multiple of 15?
True
Let a be (-3 - (6 - 5)) + 0. Let n be (-50)/18 - (-4)/(-18). Does 11 divide n/((a/4)/22)?
True
Let y(a) = 3*a**2 + 13*a + 5. Let z(n) be the second derivative of 5*n**4/12 + 10*n**3/3 + 7*n**2/2 - 3*n. Let j(s) = -8*y(s) + 5*z(s). Does 16 divide j(-3)?
True
Let r be (-476)/(-52) + -3 - (-2)/(-13). Suppose -r*b + 7*b + 922 = 5*o, 0 = -2*o - 5*b + 358. Does 8 divide o?
True
Let g(j) = -3*j**2 - 7*j - 10. Let l(c) = -4*c**2 - 6*c - 11. Let b(v) = -3*g(v) + 2*l(v). Let r be b(-8). Suppose r*k = 3*k - 126. Is k a multiple of 14?
True
Let q = -13 - -14. Suppose -x - q = -2, -2*z - 5*x = -453. Is 28 a factor of z?
True
Does 16 divide 6*((-6)/(-6) + 31)?
True
Let c(h) = -2*h**3 - 5*h**2 - 3*h + 1. Is c(-3) a multiple of 17?
False
Suppose -3*l + 13 = 2*w, w - l + 10 = 3*l. Suppose 0 = -w*t + 3*z - 8*z + 245, -5*z = 4*t - 485. Is 24 a factor of t?
True
Let k = -2049 - -2190. Is 3 a factor of k?
True
Let j = -31 + -2. Let c = 29 + j. Is 28 a factor of (-42)/(-4 - 10/c)?
True
Suppose -r + 2*p = 5*p - 168, -2*r + 352 = 2*p. Is r a multiple of 9?
True
Let q(m) = 5*m**3 + m - 1. Suppose -5*f + 30 = u + 4*u, 4*f = -3*u + 23. Let d be q(u). Suppose -3*g - b - b + 115 = 0, -d*g + 2*b = -213. Does 15 divide g?
False
Let c(l) be the third derivative of 7*l**5/30 - l**4/24 - l**3/3 - 4*l**2. Let j be c(-5). Let z = -233 + j. Is z a multiple of 30?
True
Let b(m) = 16*m - 56. Is 6 a factor of b(9)?
False
Let q(b) = b**2 - 68*b + 316. Does 2 divide q(64)?
True
Suppose 5*l - 537 - 1225 = -3*o, 1064 = 3*l - 5*o. Does 41 divide l?
False
Does 22 divide 14/(-21)*8766/(-12)?
False
Suppose 0*m + 4*b - 1160 = -4*m, -m = 4*b - 296. Is m a multiple of 24?
True
Suppose -5*j + 1383 = 3*t, 3*t - 361 = -2*j + 194. Suppose -3*q + 2*q + j = 0. Does 23 divide q/9*(-6)/(-4)?
True
Let u be 20*(-3)/((-45)/(-6)). Let p = 0 - u. Is 4 a factor of p?
True
Let o be (-4)/8*3*-4. Let r be 10/30 - 2/o. Suppose 15*u - 12*u - 168 = r. Does 29 divide u?
False
Let g(i) = i + 6. Let m be g(-8). Let f be 776/(-16) - m/4. Is 9 a factor of -2 - 0 - f/3?
False
Let x(k) = -k**3 - 8*k**2 - k - 6. Let d be x(-8). Suppose -m + d*r = -r + 74, 296 = -4*m - 3*r. Is (-4)/6 + m/(-3) a multiple of 24?
True
Let y(v) = v**3 - 14*v**2 + 22*v + 15. Let f be y(12). Is (-2)/2 + 3*f/(-1) a multiple of 11?
False
Let n(v) = v**3 - 4*v**2 + 4*v. Let c be n(3). Suppose 0 = -x - f + 235, c*f + 1151 = 4*x + x. Does 29 divide x?
True
Let r(b) = 5*b - 10 - 2*b**2 + 3*b**2 + 10 + 3. Let f(g) = g**3 - g**2 - 3*g - 4. Let x be f(3). Is 18 a factor of r(x)?
False
Let o(i) = 14*i**2 - 14*i - 14. Does 22 divide o(-5)?
False
Let b(p) = p**3 + 11*p**2 - 25*p + 17. Let z be b(-13). Suppose -s = -3*s + 68. Suppose z*i - s = 46. Is i a multiple of 8?
False
Let f be (-2)/4 - 3/(-2). Let d(i) = 3*i. Let o be d(f). Suppose -3*h + o*p = -78, 0 = 2*h - 4*h + 3*p + 48. Is h a multiple of 10?
True
Suppose o - 183 = m, -5*o + 3*m + 875 = 6*m. Does 3 divide o?
False
Does 64 divide (747/(-6))/((-57)/152)?
False
Let h(w) = 0*w - 4*w + 2*w. Suppose 3*y - y + 16 = -3*a, 2*a - 6 = 2*y. Is 2 a factor of h(a)?
True
Is (3 + 0)*(-12852)/(-324) a multiple of 4?
False
Let n(m) = -m**3 + 11*m**2 + 11*m + 2. Let z be n(12). Let v = -6 - 5. Is 3 a factor of (-28)/z + v/(-55)?
True
Suppose -1321 = -23*g + 3808. Is 58 a factor of g?
False
Let h be ((-6)/(-5))/(((-6)/(-5))/3). Suppose h*y = 10*y - 777. Is 30 a factor of y?
False
Let g(q) = 2*q**3 + 4*q**2 - q - 1. Let s be g(-2). Is 3 a factor of 12*3 - (-5 + s)?
False
Let i(c) = c**2 - 12*c - 37. Is i(29) a multiple of 57?
True
Let f(o) = -2*o**3 - 11*o**2 - 5*o + 10. Let p be f(-5). Suppose p*i = 3*i + 161. Does 21 divide i?
False
Suppose 4*h = 17 - 1. Suppose 21 + 32 = 5*n - v, h*v = -12. Does 4 divide n?
False
Suppose 0 = 3*g - 5*j - 20, 3*j + 14 = 2*g - 0*j. Does 36 divide g/50 + (-1078)/(-10)?
True
Let b(s) = -s**3 + 5*s**2 + 4. Let n be b(5). Let j be (-3 + n + 0)*32. Suppose 2*g + 0 - j = 0. Is 4 a factor of g?
True
Let k = 6 - 4. Let f(x) = 11*x**3 + 5*x + 2. Let d(q) = -10*q**3 - 4*q - 1. Let t(s) = -3*d(s) - 2*f(s). Does 39 divide t(k)?
False
Suppose -5*b = -3*q + 863, -15*b = -q - 10*b + 301. Is q a multiple of 42?
False
Let s(k) = -4*k**3 + 2*k**2 - 5*k - 6. Let n be s(-2). Let h = n + -18. Is 15 a factor of h?
False
Suppose -2512 = -27*n + 19*n. Does 14 divide n?
False
Let y(w) = -w**3 - 17*w**2 - 2*w - 13. Suppose 0*d = -5*d - 85. Is y(d) a multiple of 15?
False
Suppose 0 = -14*r + 8643 + 13169. Is 29 a factor of r?
False
Is 20 a factor of (220/14)/(2 - (-747)/(-378))?
True
Suppose 3*z - z = 668. Suppose 2*p + 4*x + 334 = 3*p, -p + 5*x + z = 0. Suppose 79 - p = -5*o. Is 21 a factor of o?
False
Suppose z = -3*r + 284 + 66, 4*r - 1025 = -3*z. Is z a multiple of 8?
False
Suppose -3*p = 2*x - 513, 269 = x + 25*p - 26*p. Does 11 divide x?
True
Suppose 3*r + o = 8101, -2*r + 457*o = 460*o - 5403. Is 30 a factor of r?
True
Let d(r) = 1 - 2*r**2 + 18*r**2 - 48*r + 50*r. Is d(-1) a multiple of 3?
True
Suppose 6*q = -2*p + q + 207, 5*p - 2*q - 445 = 0. Is p a multiple of 2?
False
Suppose 24*x + 362 = 25*x - i, 0 = -5*x + 2*i + 1795. Is x a multiple of 7?
True
Let m(s) = -4*s**2 - 9*s - 11. Let n(o) = -o**2. Let k(r) = -m(r) + 3*n(r). Let p be k(-8). Suppose d - 64 = -p*d. Does 7 divide d?
False
Let n(g) = -21*g + 17. Let h(p) = -6*p + 6. Let y be h(2). Is 20 a factor of n(y)?
False
Let q(n) = -n - 1. Let y(k) = 9*k + 7. Let w be (12/15)/(6/(-105)). Let v(m) = w*q(m) - 2*y(m). Is v(-4) a multiple of 8?
True
Suppose -4*h - w = -187, -3*h + 7 = -2*w - 147. Is h a multiple of 8?
True
Suppose -k - h + 210 = 0, -5*h - 1045 = -5*k - 9*h. Is k a multiple of 5?
True
Let p be 3 - (-3 + 1 + 2). Is 19 a factor of 1532/20 - p/5?
True
Suppose -4*g - 2*p = -1388, -2*p - 352 = -10*g + 9*g. Is 48 a factor of g?
False
Suppose 4*d - 210 = -3*b, -4*d - 6*b = -b - 206. Let m = d + -31. Let g = -8 + m. Is g a multiple of 4?
False
Suppose 39 = -v + 3*