 factor of (r/(-2))/(5/(-10))?
False
Let w(a) = -2*a**3 - 4*a**2 - a + 2. Let p be w(-2). Suppose 0*u - 3 = u, p*u - 12 = -2*o. Is o a multiple of 12?
True
Let f(s) = -23*s - 9. Let o(b) = -34*b - 13. Let i(j) = 7*f(j) - 5*o(j). Is i(7) a multiple of 16?
False
Let b(c) be the first derivative of 5*c**2 - c + 3. Let g be b(-1). Let j = g + 21. Is j a multiple of 10?
True
Let n(q) = -q**3 + 11*q**2 + 2*q - 8. Let s be n(11). Let w = s - 10. Does 3 divide w?
False
Let v be 2 + 10 + 3 + 0. Suppose -r + 24 = 4*p, 4*r + p + v = 51. Is 4 a factor of r?
True
Suppose -3*w - 11 = 5*l, -w = -l - 2*l - 15. Suppose 0 = m - w*m + 40. Is m a multiple of 14?
False
Let q(f) = f**2 + 13*f + 9. Let w be q(-10). Let v(u) = 4*u + 1. Let g be v(-4). Let b = g - w. Is b a multiple of 3?
True
Let x(t) be the first derivative of -t**7/840 + t**6/60 + t**5/15 + t**4/12 - 2*t**3/3 + 1. Let c(p) be the third derivative of x(p). Does 7 divide c(7)?
False
Suppose 0*j = -5*j. Suppose 5*t = -5, j = p + 2*t - 2 - 0. Let d(w) = w**3 - 4*w**2 + 3. Does 3 divide d(p)?
True
Let j(n) = 3 + 3 + 3*n - n**2 - 4 + 11*n**2. Is 12 a factor of j(-2)?
True
Is 6 a factor of (3 - 5)*(0 + -3)?
True
Suppose -4*o - o - 16 = 4*b, 0 = 3*b + 12. Let u be 0/((o - -3)*1). Suppose 5*c + 2*y - 35 = u, -c - 5*y + 10 = -4*c. Is 5 a factor of c?
True
Let a be 5 - (0 - 9/(-3)). Suppose -5*t + 235 = -n + a*n, -4*t + 182 = 2*n. Does 16 divide t?
True
Let o(n) be the second derivative of -n**5/20 - 7*n**4/12 - 7*n**3/6 + 4*n**2 - n. Does 7 divide o(-6)?
True
Let d(m) = -10*m - 1. Let c be d(-1). Suppose -f - 5*x + 10 = 4*f, -3*f + 4*x + 13 = 0. Suppose 3*l = -c, -a = -3*a + f*l + 17. Is a even?
True
Let d(v) = v + 6. Does 2 divide d(6)?
True
Suppose -3*v - 4*o = -15, -v - o = -0 - 4. Let s be v/(3/(-9)*-1). Suppose -3*l = 4*i - 31, i + 2 = -s*l + 3. Does 5 divide i?
True
Let g = 9 - -5. Suppose f - g = -1. Is f a multiple of 13?
True
Let m = -1 - -5. Let z = 7 - m. Suppose -z*g = -2*g - 30. Does 15 divide g?
True
Suppose -5*x = 3*c + 2, -x - 6 = 5*c - 3*c. Is x a multiple of 2?
True
Let g = 53 - 34. Is g a multiple of 19?
True
Suppose 5*q + 9 - 24 = 0. Suppose b = w + 21, b + 3*w = q*b - 42. Is b a multiple of 9?
False
Let k = -11 - -35. Is k a multiple of 10?
False
Suppose -100 = 17*g - 491. Does 23 divide g?
True
Let a(g) = -9*g**2 - 18*g - 16. Let j(x) = 13*x**2 + 27*x + 24. Let c(h) = 7*a(h) + 5*j(h). Does 11 divide c(-7)?
False
Let p = -25 - -61. Is 6 a factor of p?
True
Suppose -4*q = 14 + 38. Suppose 0 = 3*x - 44 - 112. Let t = q + x. Does 20 divide t?
False
Suppose 30 = 3*y - 18. Is 12 a factor of y?
False
Let q = 106 + -61. Is 9 a factor of q?
True
Suppose 32 = w + 4*k, 0*k + k - 74 = -3*w. Does 8 divide w?
True
Let q(h) be the second derivative of 0 - 4*h + 1/12*h**4 + 1/6*h**3 - 4*h**2. Does 28 divide q(6)?
False
Suppose w - 3 = 0, 0*s + 3*w = 3*s - 3. Let i = -3 + s. Suppose -4 = -m - i. Does 3 divide m?
True
Let c = -137 - -304. Does 35 divide c?
False
Suppose 4 = -4*z + 476. Suppose 0 = h + 5, 0*h + z = 4*a - 2*h. Is a a multiple of 9?
True
Let v(q) = 27*q - 6. Is 32 a factor of v(4)?
False
Suppose 0*z - 5*z + 210 = 0. Let k = z - 30. Does 6 divide k?
True
Suppose -f - 2 = -0*f. Let h be 1/(-2) + (-81)/(-2). Is (-3)/(6/h*f) a multiple of 10?
True
Let l(r) = -r + 5. Let v be l(8). Let f(t) = -t**3 + 5*t + 4. Does 8 divide f(v)?
True
Let m(p) = 22*p**3 + 6*p**2 + 5*p + 3. Let s(q) = 7*q**3 + 2*q**2 + 2*q + 1. Let f(g) = 4*m(g) - 11*s(g). Does 12 divide f(1)?
True
Let n(k) = -k + 19. Let d be n(15). Is 2 a factor of 2*(12/(-8) + d)?
False
Suppose -2*v - 30 = -r + 13, -4*v = -5*r + 191. Is r a multiple of 20?
False
Suppose 63 = -3*s + 4*s - m, 2*s - m - 123 = 0. Is 6 a factor of s?
True
Is 8*(-4)/(4 - -4) + 254 a multiple of 25?
True
Suppose -28 + 314 = 3*t + j, -4*t + 376 = 4*j. Is 12 a factor of t?
True
Does 16 divide (16*1)/(-5 - -6)?
True
Let j(w) = -w**3 + 5*w**2 - w + 7. Let x be j(5). Suppose 3*i + x - 11 = 0. Is 3 a factor of i?
True
Does 5 divide -1 + ((-12)/4 - -24)?
True
Suppose -k = -0 - 2. Suppose -4*a - 26 = -w, 2*a + k*a = -8. Is w a multiple of 9?
True
Suppose 59 + 66 = 5*p. Suppose 5*c = -4*n + 22, 0 = -5*n - 4*c - c + p. Is 16 a factor of n*10 - (3 + -1)?
False
Let i = -59 + 111. Suppose 3*y + i = r, 0 = 5*r + 3*y - 119 - 231. Does 21 divide r?
False
Let h = 1 + 2. Suppose -61 + 13 = -h*f. Is 8 a factor of f?
True
Let c = -88 - -218. Does 33 divide c?
False
Suppose 3*j - j = -80. Let u = j - -68. Does 10 divide u?
False
Does 31 divide (-7)/(-28) + 1982/8?
True
Let m be ((-1)/(-2))/((-5)/40). Let f be ((-6)/m)/((-12)/208). Let y = f - -38. Is 6 a factor of y?
True
Does 14 divide ((-7)/4)/((-5)/120)?
True
Let x = 4 + -1. Suppose k = -x*i - 4, -5*i - 58 = -2*k - k. Suppose -2*j + 22 = -2*a, -4*j - a - k = -50. Is 10 a factor of j?
True
Let v be 3/(0 + 1/11). Suppose -2*h = -33 - v. Is h a multiple of 12?
False
Does 18 divide (8 + -3)/5 + 34?
False
Let n(p) = 2*p + 1. Let d be n(1). Let u(l) = -3*l**2 - l + 2. Let o(b) = 2*b**2 - 2. Let x(k) = -4*o(k) - 3*u(k). Is x(d) a multiple of 20?
True
Let p be 6/(-4) - (-74)/4. Let r = p - 9. Is 8 a factor of r?
True
Suppose 0 = -3*o - 2 - 4. Let t = 2 + o. Suppose 2*a - 5*a + 24 = t. Does 3 divide a?
False
Let c be (3/9)/((-2)/(-48)). Suppose -1 + c = l. Suppose -l*m + 56 = -3*m. Is 11 a factor of m?
False
Let z be -71 - (-3 + -1 + 4). Let s = -38 - z. Is s a multiple of 11?
True
Let l = 47 - 17. Let z be 2/(-10) + (-1314)/l. Let o = -12 - z. Does 21 divide o?
False
Let d = 66 + 19. Is d a multiple of 17?
True
Let b(w) = -w**2 - 8*w - 10. Let s be b(-12). Let m = s - -82. Does 10 divide m?
False
Let g = 356 + -191. Suppose 6*r - r = g. Is r a multiple of 12?
False
Does 13 divide -4 + 8 + -4 + 59?
False
Let a = 61 + -44. Does 7 divide a?
False
Let q(s) = -2 - 4 + 3 + 2*s + 4*s**2. Is q(2) a multiple of 14?
False
Suppose -4*q - 12 = -3*h, 12 = -h - 4*q - 0. Suppose -i = h, 3*d - 4*i = -0*d. Suppose -5*u - 3*y + 4*y + 48 = d, u - 18 = -4*y. Does 9 divide u?
False
Let a(v) = -v**2 - 6*v - 4. Suppose 4*k + 18 = 2. Is 4 a factor of a(k)?
True
Let f = -16 - -10. Let s = 0 + f. Is (-3)/(s/8 - 0) a multiple of 4?
True
Let g = 1 + 27. Is 14 a factor of g?
True
Suppose -3*a + 7*d - 11 = 3*d, 0 = 4*a + 3*d - 27. Suppose a*y + 90 = 4*n + 2*y, 3*y = n - 28. Suppose -5*c + 13 = -n. Does 3 divide c?
False
Let x be (-25)/(-5)*(-3)/(-5). Suppose z - x*z = -62. Is 17 a factor of z?
False
Suppose -5*d = -12 + 2. Suppose 0 = -p - d*p + 114. Does 19 divide p?
True
Does 34 divide (-2*(-71)/4)/((-6)/(-12))?
False
Suppose 4*r + 259 = 5*d, -3*d = 4*r - 3*r - 169. Is d a multiple of 11?
True
Suppose 0 = -0*z + z. Suppose 4*g + z*g - 20 = 0. Is g a multiple of 3?
False
Suppose -n = -5*n. Suppose -g + n*t + 26 = -3*t, 5 = -5*t. Is g a multiple of 10?
False
Let z = 10 - 4. Suppose 4*m + 2*n = z*n + 64, -82 = -4*m - 2*n. Is 10 a factor of (-1 - -2) + 0 + m?
True
Let w(p) = 2*p - 1. Let n be w(2). Let a = n - -1. Suppose 6 = -2*t, -t + 3*t + 38 = a*u. Does 5 divide u?
False
Let p(k) = -k**2 - 4*k. Let z be p(-4). Let f(g) = -12*g + 5. Let c be f(-5). Suppose 2*r - 3*w - 17 - 29 = 0, z = 5*r + 5*w - c. Does 13 divide r?
False
Suppose -d - 2*d - 8 = u, 5*u + 12 = -d. Does 11 divide (-136)/(-6) + u/3?
True
Suppose -4*k + 3*o = -152, k - 5*o = 28 - 7. Does 10 divide k?
False
Let t be 12/((-2)/(-4) + 1). Suppose -p - 1 = -t. Let y(s) = 4*s + 5. Is y(p) a multiple of 13?
False
Let l = 33 + 99. Does 12 divide l?
True
Suppose 0 = -4*z - 3*g + 8, z + 4*z - 5*g - 45 = 0. Suppose 92 = z*v - v. Does 7 divide v?
False
Let z = 104 + -14. Does 10 divide z?
True
Let g = -13 - -18. Suppose 3*j - 21 = -3*w, 4*w = g*j + 6*w - 29. Is 3 a factor of j?
False
Let s(p) = p**3 + 2*p**2 + p + 2. Let k be s(-3). Let n = -6 - k. Suppose n*i + y - 70 = -0*y, 93 = 5*i + 4*y. Does 17 divide i?
True
Let v(h) = 2*h + 0*h - 3*h + 3*h + 5. Is v(7) a multiple of 13?
False
Suppose -2*l + 130 = 3*l + 2*n, 0 = -l - 5*n + 3. Does 7 divide l?
True
Suppose -3*h - 4*i = 45, 4*h + 7*i - 2*i + 60 = 0. Let v = 67 + h. Is 13 a factor of v?
True
Suppose 3*v = -2*d + 25, 3*d - d - 4*v = -10. Is (d - 3)/6*102 a multiple of 14?
False
Let y(x) = -4*x - 3. Let l be y(-2). Let n be 41/l + 3/(-15). Suppose -2*z + 4*z + n =