-6) a multiple of 2?
False
Suppose 0 = 46*l - 45*l - 189. Is 7 a factor of l?
True
Let j(r) = 2*r + 24. Let d be j(-10). Suppose -5*o = 2*m - d*m - 504, 0 = 3*o + 3*m - 315. Is 29 a factor of o?
False
Let p(w) = 7*w + 26. Let b be (-3 - 13/(-2))*(8 - 6). Is p(b) a multiple of 25?
True
Does 25 divide 8262/17*6/9?
False
Let s be 193 - ((1 - 7) + 4). Suppose -6*n = -n - s. Is n a multiple of 4?
False
Let f = 74 + -69. Let q = 50 + f. Does 5 divide q?
True
Let m be (-2)/(-1 + -1) + 9. Suppose -2 = -3*p + m. Suppose f = 2*f + p*n - 68, f - 4*n - 44 = 0. Is f a multiple of 14?
True
Suppose x = r - 1901, -2*x + 14 - 12 = 0. Is r a multiple of 10?
False
Let g be (-5)/(-1) + 9/(-3). Let f(z) be the second derivative of z**5/20 - z**4/12 + z**2 + 6*z. Does 6 divide f(g)?
True
Suppose 3*f - 4*t = 122, 5*t - 28 = -f - 0. Is f a multiple of 19?
True
Let t = -7 + 10. Suppose 0*d + 3*d = -5*o + 1, -2*o = t*d + 5. Suppose -a + 144 = o*a. Is a a multiple of 13?
False
Let s be (4 - 4)/(2/(-1)). Suppose 0 = -4*y + w + 314, s = -8*y + 3*y + 3*w + 396. Does 30 divide y?
False
Let r(d) = 24*d**2 - 7*d + 8. Is 30 a factor of r(-4)?
True
Let t(v) = 4*v - 9. Let n be t(5). Suppose 5*k = n*k - 72. Is k even?
True
Let h = -10 + 14. Suppose h*b - 2*b - 3*x = -4, x = -5*b + 7. Is 1/(2*b/50) a multiple of 11?
False
Suppose 0 = -38*r + 44*r - 240. Does 40 divide r?
True
Let d(g) = -g**2 - 5*g + 4. Suppose -5*a + 37 - 7 = -3*z, -9 = 3*z + 2*a. Let h be d(z). Suppose -86 = -h*m + 2*m. Is m a multiple of 16?
False
Let z(t) = 7*t + 7. Let c(h) = h - 1. Let o(g) = -6*c(g) + 2*z(g). Is o(11) a multiple of 18?
True
Let l = -581 + 2513. Is l a multiple of 7?
True
Let a(p) = p - 15*p**3 - 8 + p**2 + 17*p**3 + 1. Let x be a(-5). Is 3 a factor of x/(-33) - 12/66?
False
Let h(y) = -18*y + 506. Is h(5) a multiple of 32?
True
Suppose 4*f - 20 = -4*v, 2*v = 4*f + 4*v - 14. Does 33 divide (-1 + f)*((-9)/3 + 215)?
False
Suppose y - 1264 = -3*u + 40, 3*y + 4*u = 3902. Is y a multiple of 118?
True
Let i(w) = -2*w**3 + w**2 + 6*w - 5. Let v be i(1). Suppose 3*z - 8 + 25 = s, 0 = s + 5*z - 9. Suppose j - s - 3 = v. Is j a multiple of 17?
True
Suppose -16*m + 3575 = -3833. Does 17 divide m?
False
Let o be ((-6)/(-4))/3*-2. Is 18 a factor of ((-55)/(-33))/(o/(-15))?
False
Let g(b) = 19*b + 14. Let h(r) = 18*r + 13. Let x(a) = 4*g(a) - 5*h(a). Let z be x(-9). Suppose z + 15 = 3*i. Is 22 a factor of i?
True
Suppose 5*r + 0*r = 115. Let w = r - -73. Let b = 135 - w. Does 10 divide b?
False
Does 4 divide (112/21)/8*(-441)/(-2)?
False
Let f be 2/((-2)/(-9)) - 4. Suppose 0 = b + 4*n - 13, -f + 12 = b + 2*n. Is ((-76)/16)/(b/(-24)) a multiple of 36?
False
Is 2 a factor of (-3)/9 - (-150)/18?
True
Suppose -3*v - 20 + 8 = 0. Is 13 a factor of (v - (-72)/16)/(2/104)?
True
Let b(d) be the second derivative of d**3/6 - 3*d**2 + 2*d. Let r be b(10). Suppose -r - 6 = -m. Does 9 divide m?
False
Suppose 5*n - n = -4*z + 16, 3*n - 2*z - 12 = 0. Suppose -n*s - c = -4*c + 10, -2*s - 10 = c. Is ((-8)/12)/(s/30) even?
False
Let u(i) be the first derivative of -i**3/3 - 11*i**2 - 33*i + 45. Is 30 a factor of u(-8)?
False
Suppose -16*r = -437 + 373. Let d(t) = 7 + 0 + 3 + 3*t. Is 4 a factor of d(r)?
False
Let v be (-7)/(-35)*-1 + (-31)/(-5). Suppose -4*q + 6 = -v*q, 5*z = 5*q + 490. Is z a multiple of 19?
True
Is (-13 + 3 + 0)*-21 a multiple of 15?
True
Suppose -3*c + 7 = -5. Suppose 41*r + 4*i = 38*r + 3, 4*r - 11 = -3*i. Suppose -80 = -5*l - r*m, -5*l + 4*m - c = -4*l. Does 4 divide l?
True
Let f be (-34)/(120/(-28) + 4). Let b(x) = -7*x + 6. Let p(h) = 140*h - 119. Let z(d) = f*b(d) + 6*p(d). Is z(3) a multiple of 7?
True
Suppose -37*a - 270 = -39*a. Is 28 a factor of a?
False
Suppose -2 = -5*k - 12. Let g be (k + 295 - 1)/(-1). Is 21 a factor of g/(-7) - (-2)/7?
True
Is 6*(1/((-12)/(-94)) - 2) a multiple of 6?
False
Suppose 9*w = 4*w + 45. Suppose -w = 5*o - 59. Let j = o - 2. Is j a multiple of 8?
True
Suppose -7*o + 84 = -3*o. Is (-36)/7*o/(-2) a multiple of 27?
True
Does 27 divide 2706/7 - 68/119?
False
Let c(y) be the first derivative of -y**2/2 + 10*y + 1. Let r be c(8). Suppose 0*h - 5*v - 250 = -5*h, -h + r*v = -52. Does 12 divide h?
True
Let n(p) = p**2 + 8*p - 2. Suppose 4*m = -j - 2*j - 49, 3 = -j. Is n(m) a multiple of 12?
False
Suppose 2*n = 3*z - 1062, -3*z + 0*n + 1062 = 3*n. Is z a multiple of 51?
False
Suppose 7*z - 88 = 1032. Is z a multiple of 32?
True
Let h(p) = -2*p**3 + p**2 + 4*p - 7. Is h(-7) a multiple of 50?
True
Let m = -4 + 59. Suppose 10 = 3*l - l. Suppose -l*p = -0*p - m. Does 7 divide p?
False
Let k(q) = -q**3 + 5*q**2 + 4*q + 10. Let g be k(6). Does 29 divide g - 2/(550/(-182) - -3)?
False
Let z(f) = 2*f**2 - 12*f - 2. Let y(a) = -1. Let u(k) = 3*y(k) + z(k). Is u(7) a multiple of 5?
False
Let g = 323 - -1011. Does 58 divide g?
True
Let o = 3 - 1. Let f(z) = 10*z + 12*z + 75 - 38 + 10*z - 40. Is f(o) a multiple of 12?
False
Let a(q) be the second derivative of q**5/20 + q**4/3 - q**3/6 - q**2 + 8*q. Let x be a(-4). Suppose 4*z = -n + x, -5*n + z = -4*n - 7. Is n a multiple of 5?
False
Let y(p) = -p**3 + p**2 + 9*p + 1657. Is y(0) a multiple of 11?
False
Suppose -h + o + 1298 = 0, 3*h - 5275 + 1389 = -o. Is 12 a factor of h?
True
Let g(r) = 2*r**2 + 14*r - 13. Let b be g(-12). Let d = -87 + b. Is 10 a factor of d?
True
Let v(h) = h**2 + h - 30. Let n be v(0). Does 10 divide (9/(-6) + 0)*n?
False
Suppose -6 + 6 = -3*x. Let s(n) = n**3 - n**2 - 3*n + 80. Does 20 divide s(x)?
True
Let w(i) = -i - 4*i - 7*i + 48. Does 8 divide w(0)?
True
Let x = -20 - -22. Suppose 0 = a + x*y - 144, 0 = y - 6*y. Is a a multiple of 24?
True
Let f = 904 + -584. Does 16 divide f?
True
Suppose -3*y - 5*o - 3 + 28 = 0, o = -2*y + 5. Suppose -4*i + 0*i = y. Let z = i + 22. Is z a multiple of 8?
False
Let z = -115 + 138. Is z a multiple of 23?
True
Suppose 0 = 5*n + 20, -2136 = -5*j + 5*n - 6*n. Let i = 21 + -42. Is 10 a factor of i/(-49) + j/14?
False
Let y(w) = 91*w**2 - 16*w - 25. Let t(g) = 23*g**2 - 4*g - 6. Let i(z) = 9*t(z) - 2*y(z). Is i(-2) a multiple of 13?
True
Is 8 a factor of (-2 + 3)*109 + -7?
False
Let d(l) = 2*l**2 + 12*l + 24. Is 10 a factor of d(11)?
False
Let l(h) = h**2 + 1. Let i be l(-1). Let j = -5 + i. Let m = j + 25. Does 13 divide m?
False
Let y(v) = v**2 + 3*v - 66. Let x be y(-10). Suppose 5*r + 457 = 2*a, 5*a + 4*r = 1668 - 542. Suppose x*l = a + 26. Is 21 a factor of l?
True
Let n(t) = -5*t**2 + 25*t + 4. Let j be n(5). Suppose 153 = 3*b - 0*b - g, j*b + g - 197 = 0. Is 17 a factor of b?
False
Let p(f) = -11*f**3 - f + 2. Let x(v) = 2*v - 12. Let s be x(5). Is p(s) a multiple of 23?
True
Let j be (120/(-18))/(4/(-6)). Let f(t) = 3*t**2 - 10*t + 2. Let b(w) = w**2 - w. Let h(s) = -2*b(s) + f(s). Does 13 divide h(j)?
False
Let y = -23 - -603. Is 20 a factor of y?
True
Let p(t) = 8*t**3 + 7*t**2 + 12*t + 18. Let y(v) = 7*v**3 + 7*v**2 + 11*v + 17. Let z(c) = 6*p(c) - 7*y(c). Let k = 3 - 10. Is z(k) a multiple of 10?
False
Suppose 0 = -3*u + 6*u + 4*i + 196, 4*u = -i - 270. Let z(o) = 13*o - 4. Let q be z(-7). Let g = u - q. Is 27 a factor of g?
True
Let h = 53 + -47. Does 6 divide h?
True
Suppose 270 = 16*r - 11*r. Let z = -46 + r. Is z a multiple of 8?
True
Let l be (-4)/14 - (-90)/21. Suppose -2*s - c + 15 = -0*s, 40 = 4*s + l*c. Suppose 47 + 13 = s*g. Is 5 a factor of g?
False
Does 20 divide (-358)/16*-34 - 72/96?
True
Suppose 770 = 16*p - 3694. Is 20 a factor of p?
False
Let o = -63 - -261. Does 17 divide o?
False
Suppose -22 = 9*g - 130. Let z = -2 - 62. Does 2 divide (z/g)/((-4)/6)?
True
Let g(y) = -1. Let j(x) = -2*x**2 - x + 1. Let i = -3 + 2. Let k(b) = i*j(b) + 4*g(b). Does 11 divide k(4)?
False
Suppose -2*k = -4*z + 14, k = 4*z - 0*k - 17. Suppose 324 + 296 = z*f. Is 16 a factor of f?
False
Let d(x) = x**2 + 14*x + 30. Is d(0) a multiple of 25?
False
Let v = 161 + -78. Suppose -4*p - 208 = -2*n, -n + 30 = p - v. Is 11 a factor of n?
True
Let i = 61 + -57. Suppose 5*p + 4*f - 366 = 0, 9*f = -i*p + 4*f + 300. Is p a multiple of 10?
True
Let s(c) = -c**3 + 6*c**2 - c + 980. Is s(0) a multiple of 20?
True
Let q(f) = 7*f - 2. Let p be q(1). Suppose -4*r - p = -13. Suppose -r - 44 = -2*j. Is j a multiple of 6?
False
Suppose 6*b - 738 = -42. Suppose -3*k - 2*k = 2*x - 596, -k -