iple of 22?
False
Let n be (2/(-4))/(3/6). Let w be n*-1*(-52)/(-4). Let p = 36 - w. Is p a multiple of 12?
False
Let n(o) = -219*o - 248. Is 41 a factor of n(-6)?
True
Let x(c) = c**3 - 20*c**2 - 22*c + 22. Let z be x(21). Is 2 a factor of (48/(-42))/(z*2/(-7))?
True
Let x = 207 - 12. Suppose 2*l = 3*y + 6*l - x, -2*y + 3*l + 130 = 0. Suppose 2*m - 173 = -5*g, 0*m - y = -2*g - 5*m. Does 24 divide g?
False
Suppose -3*i = -0*i + 3*o - 222, 0 = 2*i - o - 160. Let a be i/2 - 6/2. Suppose -2*f + a = f. Is f a multiple of 6?
True
Let c be 7 + -4 + 0 + 2. Suppose 0 = c*t + 5*x - 145, -4*x = -24 + 4. Does 13 divide (-520)/t*6/(-2)?
True
Let i(v) = v**2 + 5*v - 22. Let w be i(-8). Suppose -5*l = 5*c - 300, -2*c = -w*l + c + 140. Is l a multiple of 8?
True
Suppose 3*m + 4*g = -14, -4*m + 4*g - 7 = -35. Suppose 613 = 4*x - 5*d, 3*x = -m*x + 5*d + 765. Is 33 a factor of x?
False
Suppose 0 = 5*y - g - 1567 - 6099, -5*y - 2*g = -7663. Is y a multiple of 60?
False
Suppose 7*b = -50 + 8. Is 0 - 429/b - 1/(-2) a multiple of 12?
True
Let v(g) = g**3 + g**2 - 13*g + 3. Let b be v(-4). Suppose 0 = b*c + 3*c - 200. Is c a multiple of 5?
True
Let u be ((-11)/(44/(-24)))/(-1). Does 5 divide (37/(-7) - u/21)/(-1)?
True
Let i(h) = h**3 - 2*h**2. Let a be i(1). Let y(p) = 13*p**2 - 1. Let s be y(a). Suppose -s = -4*n, -7*n - 21 = -3*x - 2*n. Does 7 divide x?
False
Let t(z) = -5*z**3 + 7*z**2 + z + 5. Let a be t(6). Is 6 a factor of (a/(-76))/(1/4)?
False
Let y(q) = 4*q + 201. Is 17 a factor of y(20)?
False
Let z be (4/(-6))/((-18)/135). Let v = -5 + z. Suppose -n - n + 32 = v. Is n a multiple of 9?
False
Suppose 12*u - 10080 = -0*u. Suppose 10*m + 0*m - u = 0. Is 12 a factor of m?
True
Suppose 2*j + 2*w - 222 = 738, -5*j - 3*w = -2406. Is j a multiple of 22?
False
Suppose 2*g - 5*d - 303 = 406, -5*d - 1443 = -4*g. Does 50 divide g?
False
Let a be (-9)/(-12)*8/3. Suppose 5*u - 13 - a = 0. Suppose u*y = 8 - 2. Is y a multiple of 2?
True
Suppose -v - 3*c + 2 = 0, c = -5*v - 3*c + 10. Suppose -v*o + 246 = -58. Suppose -8*p = -4*p - o. Is 10 a factor of p?
False
Let g(o) be the first derivative of 5*o**2 + 19*o + 18. Is 15 a factor of g(6)?
False
Let j be ((-15)/6 + 1)*-4. Suppose 44 = j*g - 46. Suppose o + g = 6*o. Does 3 divide o?
True
Let n(r) be the third derivative of r**5/12 - 3*r**4/8 + 19*r**3/6 - 25*r**2. Is 6 a factor of n(3)?
False
Suppose -5*k + 468 = -2*k. Suppose 3*r - k = -r. Let u = r + -25. Is 7 a factor of u?
True
Let f(p) = -3*p**3 + p**2 - 6*p - 4. Does 19 divide f(-4)?
True
Suppose 5*h + q = 905 - 140, 3*q - 765 = -5*h. Let c = h - 78. Suppose 2*m - c = 45. Is m a multiple of 16?
False
Suppose 2*v - 54 + 12 = 0. Suppose -v = 5*c - 1. Let r = c - -11. Is r a multiple of 2?
False
Let s(a) be the second derivative of 11*a**4/12 + a**3/6 + 2*a**2 + 18*a. Is s(-3) a multiple of 20?
True
Let l(p) = 11*p**2 - 27*p - 144. Is l(-5) a multiple of 2?
True
Let a(t) = t**3 + 6*t**2 + 3*t. Let o be (3/(-6))/((-1)/(-10)). Does 5 divide a(o)?
True
Suppose -5*o + 9*o - 4 = 0. Let s be 2 - (3 + o + -5). Suppose -4*z - s = -15. Is z a multiple of 3?
True
Let p(l) = -83 - 50*l + 83. Is 25 a factor of p(-1)?
True
Let v(y) = -2*y**2 - y - 4. Let o = -4 + 1. Let l be v(o). Let k = 23 - l. Is 14 a factor of k?
True
Let f = 417 + -373. Is f a multiple of 11?
True
Let f = 1591 + -1051. Is f a multiple of 5?
True
Suppose -2*j + 763 = -7*z + 6*z, -4*j = -5*z - 1529. Is 40 a factor of j?
False
Suppose -4*x + 30 = -2*x. Suppose 39 = 5*n - 6. Let c = x + n. Is 12 a factor of c?
True
Let y = 29 + -13. Suppose -3*n = -k + 43, -5*n - 3*k - 20 - 33 = 0. Let s = n + y. Does 2 divide s?
False
Suppose 4*l - 112 = -4*s, 112 = -s + 5*s - 3*l. Let z be (-12)/(-5)*(s - -2). Suppose -z - 16 = -4*c. Is 11 a factor of c?
True
Does 115 divide (504/(-15))/(6/(-280)) - 4?
False
Let m be -2*(1/3)/(26/(-195)). Suppose m*i - 4*o - 338 = 0, 0 = 2*i - o - 46 - 88. Is i a multiple of 12?
False
Let m = 244 + -145. Suppose 4*u = 2*u + 5*b + 21, 15 = u - 4*b. Suppose -u*h = -3*r + 18 - m, -1 = -r. Does 17 divide h?
False
Let c be 54/(-4)*12/(-18). Suppose -4 = h - c. Does 5 divide h?
True
Let i be (-6)/(-10) - 2/(-5). Suppose 15 = 2*h - i. Let w(g) = g**2 - 6*g - 3. Is w(h) a multiple of 4?
False
Let y = -43 + -10. Let g = 77 - y. Is 22 a factor of g?
False
Let k(v) = -v**2 + 21*v + 22. Suppose -5*c - 45 = -8*c. Is k(c) a multiple of 16?
True
Is 39 a factor of -736*(-6)/108 - (-2)/18?
False
Suppose -5*b + 19 = 3*m, 3*m + 4*b = 5*m + 24. Is 29 a factor of 2*(2/(-8))/(m/692)?
False
Suppose 4*i + 4*t = 3344, 3649 = 4*i + 2*t + 297. Is i a multiple of 24?
True
Suppose 27*p - 4*p = 2645. Is 5 a factor of p?
True
Suppose -8 = -3*v + d, -5*d = -2*v + 7*v - 40. Suppose 6*x = 28 - v. Is 2 a factor of x?
True
Suppose -6*g + 277 = i - 4*g, g + 268 = i. Is i a multiple of 8?
False
Let a(j) = j**3 - 6*j**2 + 5*j + 2. Let b be a(5). Let t(c) be the third derivative of 5*c**4/24 - c**3/3 + 35*c**2. Is 4 a factor of t(b)?
True
Suppose 0 = -4*g - 3*n + 3 + 3, -2*g - 4*n = 2. Suppose 0 = u + 1 - 6. Suppose -u*p - 86 - 51 = -2*w, 3*p = g*w - 192. Is 18 a factor of w?
False
Let q be 3 + 4 + 9/(-3). Suppose -3*s = -2 + 5, q*g - 38 = 2*s. Let z(l) = -l**2 + 10*l - 7. Is z(g) a multiple of 2?
True
Let l(b) be the third derivative of -1/20*b**5 - 10*b**2 + 1/8*b**4 + 0 + 1/40*b**6 + 0*b - 2/3*b**3. Is 7 a factor of l(2)?
True
Let l be 6/6*(87 + 0). Let g = 53 + l. Does 14 divide g?
True
Let n(o) = o**2 - 2*o - 4. Let t be n(-4). Suppose -t = -0*d - 2*d. Suppose -b - 104 = -2*h + d, h + 4*b = 66. Is 16 a factor of h?
False
Let q = 12 + -14. Let p be q/(-3)*(328 - -2). Suppose -p = -5*c - 20. Does 8 divide c?
True
Let b(d) = d**2 - 10*d + 2. Let j be b(10). Let y be (-1)/1 - j*-8. Suppose 4*r - y = 113. Is 16 a factor of r?
True
Suppose -5*x + 3*x = -4. Suppose 4*w - 20 = x*w. Is (-15)/w - (-35)/2 a multiple of 8?
True
Let g(r) = -r. Let i(h) = 12*h - 3. Let x(o) = 3*g(o) + i(o). Let q = 73 - 69. Is 11 a factor of x(q)?
True
Let g(p) = -40*p**3 - 3*p**2 + 4. Let h be g(-6). Is 17 a factor of (-6)/45 + (h/15)/8?
False
Is 7 a factor of (17/(595/(-30)))/(2/(-196))?
True
Let c = 160 - 58. Let m = 247 - c. Is 29 a factor of m?
True
Suppose 2*u - p - 6 = 2*p, -u - 4*p - 8 = 0. Suppose -16 = 2*o - 3*a - u*a, -a - 8 = 2*o. Is 7 a factor of 1 + (-2 - o) + 3?
True
Suppose 42 = 5*u - 13. Suppose 0 = -4*m + u + 13. Suppose -q + m*q - 75 = 0. Does 9 divide q?
False
Suppose -4*c = -250 - 234. Let y = -36 + c. Let s = -59 + y. Does 14 divide s?
False
Let x(a) = 2*a**3 - 5*a**2 - 11*a + 12. Is 3 a factor of x(6)?
True
Suppose 601 = 3*y - 5*m, 5*m + 217 = 2*y - y. Is 27 a factor of y?
False
Let t(v) = v**2 + 5*v - 10. Let j = -45 - -38. Is t(j) a multiple of 4?
True
Let u = 128 - 108. Is 10 a factor of u?
True
Let k = 26 + -27. Does 22 divide (33/(-12))/((-1)/(-40)*k)?
True
Suppose 8*i = 20*i - 2268. Does 27 divide i?
True
Suppose -4*o = -2*h + 948, 2*o = -3*o + 20. Suppose 0 = -3*f - 3, -4*p + h = -2*p + 2*f. Let v = p - 118. Is v a multiple of 31?
True
Let i(q) = 5*q + 3*q**3 + 11*q + 20 - 15*q**2 - 2*q**3. Is 12 a factor of i(14)?
True
Suppose 0 = -9*g + 7 + 11. Is -1*(g + -2) + 2 + 26 a multiple of 7?
True
Let m = 1964 + -1228. Does 32 divide m?
True
Let o = -7 - -12. Let z be (-1 + o/2)*2. Suppose -z*i + 35 + 37 = 0. Is 12 a factor of i?
True
Suppose 5*g + 1342 - 5767 = 0. Does 59 divide g?
True
Let j = 5 + -1. Suppose 2*x = -j*h - 54, 2*h + 0*h + 2*x + 24 = 0. Is 9 a factor of (24/20)/((-1)/h)?
True
Suppose 3*w - 12 = 0, 0*w - 3*w + 27 = 5*r. Suppose -3*v + 45 = 4*p, -4*v + r*p = -17 - 43. Is 15 a factor of v?
True
Let z = -2243 + 3563. Is 22 a factor of z?
True
Let h be -8*((-21)/12 - -3). Is h/(15/18 + -1) a multiple of 20?
True
Let q(l) = 4 + 7*l**2 - 6*l + 2*l**3 - 3*l**3 + 0. Let k be q(6). Suppose -f - 4*f - 4*n = -81, k*f - 32 = 5*n. Is 4 a factor of f?
False
Is 14 a factor of 35560/(-15)*(-8 - 104/(-16))?
True
Let u be ((-128)/(-1) - -2)/2. Suppose 523 = 7*t - u. Is t a multiple of 14?
True
Let c(p) = -31*p + 7. Let w be c(-6). Let l = -111 + w. Does 12 divide l?
False
Suppose 3*i + 5*n - 2199 = 0, i - 677 = n + 48. Is 13 a factor of i?
True
Let n be (-14)/(-4) - 4/(-8). Let x be (n + -5 + -29)*-2. Suppose 4*v - 208 = -4*q, q - x =