(-20) a multiple of 22?
False
Let a be ((-2)/3)/((-2)/60). Suppose -4*j = v, -2*j = -3*v - 4*j + a. Let z = v + 12. Is 5 a factor of z?
True
Let t(z) = 3*z + z**3 - 4*z**2 + 11*z**2 + 4*z. Let i be t(-5). Does 7 divide 246/i - 2/5?
False
Let r = -45 - -47. Let s = r + 108. Is s a multiple of 10?
True
Let m(s) be the first derivative of s**4/4 + 7*s**3/3 + 7*s**2/2 + 5*s + 3. Let y be m(-6). Let j(a) = -42*a**3 - a**2 + 1. Is 17 a factor of j(y)?
False
Let r(p) be the third derivative of -p**6/120 - p**5/30 - p**3/6 - 5*p**2. Let n be r(-2). Is (n + 2)/((-7)/(-112)) a multiple of 16?
True
Is ((-44)/(-3))/((-50)/(-1050)) a multiple of 28?
True
Let i = 18 + -74. Let s = i - 5. Let o = s + 102. Is 15 a factor of o?
False
Suppose 2*y = -4*n + 68, -3*y + 5*n - 20 = -155. Is 8/12*6 + y a multiple of 16?
False
Let h be ((-28)/(-8))/((-1)/(-4)). Let n be (-4)/14 - 1676/h. Let z = -82 - n. Is z a multiple of 19?
True
Let k(v) = -28*v**2 - 42*v + 21. Let r(n) = 19*n**2 + 28*n - 14. Let i(q) = -5*k(q) - 7*r(q). Does 14 divide i(-5)?
True
Suppose -17*f = -25*f + 12672. Is f a multiple of 22?
True
Suppose -13*n - m = -14*n + 94, -2*n + 185 = m. Is n a multiple of 58?
False
Suppose -16 = 4*b, 0*b = t - 2*b - 6. Let k be t + -14*4/(-8). Suppose 101 - 457 = -4*j - 5*f, 0 = 3*j - k*f - 302. Does 27 divide j?
False
Suppose -o + 5*q = 3*o - 80, -4*o = 2*q - 80. Let t = -8 + o. Let s = -9 + t. Is 2 a factor of s?
False
Let o be (24/(-15))/(0 - 4/20). Let r(l) = 7*l + 13. Does 7 divide r(o)?
False
Suppose 553 = -15*w + 8*w. Let o = -69 - w. Does 3 divide o?
False
Suppose 0 = -5*w - 30 + 90. Let g be ((-9)/(-6))/(w/(-496)). Let f = 113 + g. Does 11 divide f?
False
Let v be (-22)/(-26) - (164/(-52) - -3). Is (-13)/2*1/v*-20 a multiple of 22?
False
Let w = -10 + 14. Suppose u + 5 - w = 0. Is 10 a factor of 21 + (u + 2)*4?
False
Let p be (-46)/2*(3 - 4). Suppose -p = 4*j - 35. Suppose -44 = -2*u + o, -2*o - j*o + 44 = u. Is u a multiple of 11?
False
Suppose 0 = 897*v - 902*v + 1335. Does 24 divide v?
False
Does 23 divide 0 - (-12)/(10/((-2720)/(-12)))?
False
Let d = 41 + -37. Suppose -5 = -d*c + 7. Suppose -4*z + 55 = c*p, -3*z - z + 4 = 0. Is p a multiple of 17?
True
Suppose b + 6*n = 5*n + 14, -5*n = -4*b + 65. Suppose 0 = 2*o + 5 + 15. Let q = b + o. Is q a multiple of 5?
True
Suppose 0 = -2*q - m + 1575, -2*q - 27*m = -30*m - 1579. Is q a multiple of 27?
False
Suppose 3*q + 3 = 0, -5*x - 13*q = -12*q - 6969. Does 41 divide x?
True
Let g(r) = -r**3 + 4*r**2 - r - 4. Let n be g(3). Suppose -n*x + 138 = 12. Is 21 a factor of x?
True
Suppose -5*n + 15 = -0*n. Let t(c) = 9*c**2 - 10*c + 0*c**3 + 8 - 1 - 2*c**2 + c**n. Does 5 divide t(-8)?
False
Let p be -2 - ((-202)/(-2) + -3). Let n be (p/(-2))/2 - 1. Suppose s - n = 12. Is s a multiple of 12?
True
Suppose 7*p + h - 18 = 2*p, 2*p - 14 = 3*h. Suppose -4*g + p*o = -116, -3*g + 2*o = -2*o - 83. Is 6 a factor of g?
False
Let x(w) = 9*w + 3. Suppose -3*n + 15 = -0*n. Let b = n + 0. Is x(b) a multiple of 13?
False
Let a be 8/(-3)*117/26. Is 20 a factor of (-3)/(-18) + (-238)/a?
True
Suppose -4660 - 1385 = -31*c. Is 13 a factor of c?
True
Suppose -2*a + 4 = 0, -11*a + 2842 = 2*d - 16*a. Is 31 a factor of d?
True
Let w(v) = 3*v**2 + 4*v + 8. Let a(d) = d**2. Let t(m) = 4*a(m) - w(m). Let p be t(6). Suppose 2*n - 12 = -n, -4*q + 324 = p*n. Is q a multiple of 38?
False
Let i = 471 + -133. Is 13 a factor of i?
True
Suppose -4*s + 1196 = n, 2*n - 19*s + 21*s - 2404 = 0. Is 5 a factor of n?
False
Suppose -5*r + 15100 = 5*k, -6*k = -26 - 4. Does 67 divide r?
True
Let u(b) = -b**3 + b + 1. Let y(r) = 4*r**2 + 5. Let f(p) = u(p) - y(p). Let w be f(-4). Let a = w + 17. Is 5 a factor of a?
False
Let k(z) = z**2 - 10*z + 11. Let x be k(9). Let d(h) = 26*h**2 - 6*h - 3 - 3 - 17*h**x - h**3. Does 10 divide d(8)?
True
Let l(x) = -2*x**2 + 3*x + 2. Let b be l(4). Let d = b - -22. Suppose 0 = d*p + p - 30. Is p a multiple of 6?
True
Let f(u) = -110*u - 2. Let o(y) = -78*y - 1. Let j(n) = 79*n + 1. Let h(z) = -5*j(z) - 6*o(z). Let g(s) = -5*f(s) - 8*h(s). Is g(-1) a multiple of 9?
True
Let b be (447 - (2 - 1)) + 1 + -3. Suppose 7*d - 2250 = -b. Is d a multiple of 43?
True
Let r(z) = z**3 - 5*z**2 - 4*z - 4. Let m(k) = -k. Let o be 2/(-1) - (-4 - -8). Let s be m(o). Is 8 a factor of r(s)?
True
Let x(p) = p**2 - 3*p + 1. Let l be x(5). Suppose -l*f = -f - 2250. Is 45 a factor of f?
True
Does 43 divide -3 + (-5 + 0 - -266)?
True
Let u(q) = -q + 12. Let f be u(8). Suppose 6 = 3*y, 3*a = -4*y + 3*y - f. Is (1 + a)*(-104 + -5) a multiple of 30?
False
Let z(m) = -21*m - 14. Let d = 71 - 85. Is z(d) a multiple of 40?
True
Let r(s) = -s**2 + 23*s - 11. Is 13 a factor of r(20)?
False
Suppose -10 - 2 = -3*x. Is 13 a factor of (26/(-7))/((x + 1)/(-35))?
True
Suppose -4*a + 114 = 2*a. Let n(t) = t**2 - 14*t - 15. Does 8 divide n(a)?
True
Let z = -18 - -32. Let f(q) = q**3 - 13*q**2 - 12*q - 19. Let r be f(z). Suppose 7*g + 30 = r*g. Is 5 a factor of g?
True
Suppose -4*a - 4 + 56 = 0. Let i = 114 + a. Suppose -2*w = 3*w - 3*g - i, g = -4*w + 105. Does 13 divide w?
True
Let l(a) = 45*a**2 - 2*a + 29. Is 6 a factor of l(5)?
False
Let q = -14 - -18. Does 27 divide ((-17)/q)/((-3)/36)?
False
Let n = -371 - -666. Is 85 a factor of n?
False
Suppose -f + 322 = 5*k, 4*k + 5*f - 266 = -0*f. Let u = -18 + k. Is 41 a factor of u?
False
Let j(v) = 102*v**2 + 2*v - 1. Let o be j(1). Let m = -67 + o. Suppose 3*y - 5*f = 16, 0*y + 3*f - m = -2*y. Is y a multiple of 9?
False
Let d = -612 - -1676. Does 56 divide d?
True
Let x = 873 + -466. Does 15 divide x?
False
Suppose -3*f - 3*z + 22 - 4 = 0, -z = 3*f - 14. Is 2*(-4)/32 + 193/f a multiple of 4?
True
Let w be 2/5 + 6/10. Let x be 0*(2 - w)*-1. Suppose x*m - k = -m + 45, 0 = -4*m - 2*k + 174. Does 11 divide m?
True
Let c(u) = 558*u + 60. Does 51 divide c(3)?
True
Let r(m) = 25*m**3 - m**2 + m + 1. Let f be r(-1). Let y = 28 - f. Does 18 divide y?
True
Let z = -10 - -12. Suppose 0 = 3*a + f - 296, -3*f = -z*a - a + 300. Is a a multiple of 9?
True
Suppose -4*m + 7*m = 3855. Does 12 divide m?
False
Let m(p) = -3*p + 2. Let b be m(-1). Suppose -4*k + 5*c - 44 = -214, b*c = -2*k + 100. Is k a multiple of 23?
False
Let f(d) = d + 13. Let m be f(7). Let o = 29 - m. Let s = 36 - o. Does 27 divide s?
True
Suppose -m = -v - 2*v + 18, -2*v + 7 = m. Let c be (3/v)/(2/10). Suppose -77 = -c*z + 37. Does 38 divide z?
True
Let c = 1986 + -222. Is 15 a factor of c?
False
Suppose -r = 2, 0*s + 5*r = 4*s - 1150. Is s a multiple of 12?
False
Suppose 3*i + 3*z = 2*i - 14, i = -z - 10. Let n = 19 + i. Is 9 a factor of n?
False
Let j be ((0 - -3) + -5)*-1. Suppose -j*l + 58 = -66. Let d = -28 + l. Is d a multiple of 17?
True
Suppose -137 - 59 = -s. Is 0 + s + -7 + 3 a multiple of 44?
False
Let v(k) = 42*k**2 + 4*k - 3. Let p be v(1). Let f = 88 - p. Is 15 a factor of f?
True
Let v(a) = -a + 4. Let b be v(5). Let m = b - -4. Suppose -m*x = 3*p - p - 37, 3*p = 3*x + 33. Is p a multiple of 14?
True
Let k be ((-34)/6 + 6)*3*1. Does 7 divide 11 - 6/(-2) - (k - 0)?
False
Suppose -16*x = -17*x + 4. Suppose -21 = -5*l + 4. Suppose 5*g - x*g = 5*u + 17, 0 = 5*g + l*u - 205. Is 13 a factor of g?
False
Let s(u) = -6*u + 51. Let n be s(19). Let v = 129 + n. Is v a multiple of 10?
False
Let l(m) = m**3 + 17*m**2 - 24*m - 9. Let g be l(-18). Suppose 3*r - 4*y - g = 367, -4*r + 613 = 3*y. Is 7 a factor of r?
True
Let x(y) = -y**3 - 5*y**2 + 11*y - 9. Let o be x(-7). Does 16 divide 2 + 2 - (0 - 0 - o)?
True
Let d = 505 + -97. Is d a multiple of 8?
True
Suppose 0*i + 4*i = 16. Let y(m) = m**3 + 8*m**2 - 7*m - 16. Let f be y(-8). Suppose 0 = i*h - f - 4. Does 11 divide h?
True
Suppose -56*x + 53317 = -19*x. Is 6 a factor of x?
False
Let u(m) = -2 - 2 + 5 + m - 8. Let j be u(0). Is ((-2)/5)/(j/595) a multiple of 16?
False
Let o(x) = 6*x**2 - 58*x + 20. Is 18 a factor of o(20)?
True
Let r = -133 + 453. Does 64 divide r?
True
Let i = 15 + -13. Suppose -4*t = -i*n + 46, n - t + 0*t - 28 = 0. Suppose 5*r - 7 = n. Does 5 divide r?
False
Let m(o) = -2*o**2 - 6*o. Let g be m(-3). Suppose -p + 0*p + 68 = 5*j, g = -p + 2*j + 68. Is p a multiple of 4?
True
Does 9 divide 3*3/(-18)*(-350 - -4)?
False
Suppose -q = -s - 129, 0*q + 3*q - 417 = -3*s. Does 18 divide q?
False
