 0)*r/(-1). Let c = i - -19. Is c a multiple of 12?
True
Let t(v) = 6*v + 1. Is 11 a factor of t(9)?
True
Suppose -2*c - 3*n + 65 = 0, -c + 30 - 5 = -n. Does 7 divide c?
True
Does 11 divide (-88)/12*(-9)/2?
True
Let c(f) = -f**3 + 8*f**2 - 4*f + 5. Is 20 a factor of c(5)?
True
Let w(a) = a**3 + 13*a**2 + 9*a + 12. Is w(-12) a multiple of 24?
True
Let s = 18 - 18. Suppose 64 = -s*o + o. Does 24 divide o?
False
Let w(z) = 12*z - 4. Let f = -6 - -9. Let g be w(f). Suppose -g = -l + 2*r, -3*l - 5*r = 3 - 55. Is l a multiple of 12?
True
Let b(z) be the second derivative of z**3/3 + z**2 + 3*z. Let o be b(5). Suppose -o = -4*n + 12. Is n even?
True
Suppose 2*q - 3*b = 7*q - 3, -5*q - 1 = 4*b. Let c be 1 + (12*-1)/q. Is 12 a factor of (40/c)/5*-9?
True
Suppose 3*i - l = 14, i - 10 = 6*i + 5*l. Suppose -2*z - i = z. Is 11 a factor of 24 + z - (-3 + 1)?
False
Let a(p) = -2*p. Is a(-10) a multiple of 10?
True
Suppose 0 = -3*h + 2*h. Let j be h + 3 + (-1 - -9). Let k = 15 + j. Does 13 divide k?
True
Let a(r) = r**3 + r + 3. Let f(j) = j**3 + 4*j**2 - 6*j - 5. Let n be f(-5). Let i be a(n). Suppose i*x + v = -2*x + 44, 4*v + 4 = 0. Is x a multiple of 6?
False
Suppose -24*g + 24 = -22*g. Is g a multiple of 2?
True
Suppose 4*v + 2*s = 48, -14 = 5*s + 6. Let t be 2/(-7) + 942/v. Suppose 0 = -2*n + t + 33. Is n a multiple of 17?
False
Let o be 4/(1/((-1)/(-2))). Suppose -f = -o - 8. Does 5 divide f?
True
Let x(j) = 15*j + 1. Let s(u) = 4*u**3 - u**2 + u. Let y be s(1). Suppose 4*r = -0 + y. Is 8 a factor of x(r)?
True
Suppose 0*b = -4*b + 20. Does 3 divide b?
False
Let y be 0 + 1 + (0 - -4). Suppose 4 - 1 = -3*n + 3*w, -y*n = 2*w - 23. Suppose 5*d = 2*r + d - 18, 0 = 4*r - n*d - 26. Is 5 a factor of r?
True
Suppose -22 + 154 = 4*u. Does 14 divide u?
False
Let s = -54 + 92. Does 19 divide s?
True
Suppose 12 = -2*l - 5*b, -4*b = 3*l - 0*b + 11. Is 16 a factor of l + (-3 + 2 - -27)?
False
Let j = 4 - 6. Let q = -1 - j. Is 12 a factor of q/(3/78)*1?
False
Let s = 71 - 24. Suppose 2*z = 47 + s. Is z a multiple of 16?
False
Suppose 4*g - 46 - 50 = 0. Suppose 5*b - g = 5*m + 86, 0 = 3*b - 4*m - 71. Does 17 divide b?
True
Is ((-434)/6)/(-7)*3 a multiple of 12?
False
Let o be 2/((12/14)/3). Suppose 12 = o*x - 3*x. Suppose 2*q = -n + x*n + 32, -4 = 4*n. Does 8 divide q?
False
Is 2 a factor of 0 - (-36 - (-20)/5)?
True
Let q = 199 + 14. Is 17 a factor of q?
False
Let f(q) = q**3 - q - 2. Let k be f(0). Let s be ((-3)/(-2))/((-1)/k). Suppose 0 = -4*u + 5*a + 82, s*u = 5*a - 11 + 75. Does 6 divide u?
True
Let v = -99 + 205. Does 10 divide v?
False
Let o(g) = 2*g - 10. Let h be o(8). Let d be (3/h)/(1/98). Suppose -2*p + 9 + d = 0. Does 17 divide p?
False
Suppose 0 = -0*g + 4*g - 28. Is 4 a factor of g?
False
Let v(b) = -b**3 - 2*b**2 + 3*b. Let u(z) = -z**3 + 6*z**2 - 4. Let f be u(6). Is 16 a factor of v(f)?
False
Let v(m) = -m**3 - 4*m**2 + 4*m - 7. Let s be v(-5). Let p = s + 37. Is 7 a factor of p?
True
Let z = -7 + 16. Suppose -5*d + 54 = z. Is 2 a factor of d?
False
Let w(b) = -4*b - 19. Does 13 divide w(-8)?
True
Let o = 4 + -2. Suppose o*m + 12 = -m. Is 2/4 + (-18)/m a multiple of 4?
False
Is 4 a factor of (-4)/22 - 3894/(-121)?
True
Let m be (1*-5)/(1 - 0). Let z = 9 + m. Suppose -z*t + 0*t + 12 = 0. Is t a multiple of 3?
True
Let i = -6 - 0. Let c(d) be the first derivative of d**3/3 + 3*d**2/2 - 5*d - 2. Is c(i) a multiple of 10?
False
Let i = -33 + 97. Is i a multiple of 35?
False
Let r(z) = -z + 4. Let n be r(2). Suppose n*j = -j + 6. Suppose 15 = 2*o - 3*i, 0*i = -2*o + j*i + 14. Does 3 divide o?
True
Let b be (-84)/(-18) + 2/6. Suppose 2*g = b*o + 26, 2*o + 0*o - 12 = -2*g. Is 4 a factor of g?
True
Suppose -5*x - f + 18 = -5*f, -3*x - 2 = 4*f. Let t(n) = 2*n + n + 3*n**x - 2 + 6. Is t(-3) a multiple of 14?
False
Let v = 416 + -206. Is v a multiple of 35?
True
Let d(v) = 4*v + 7. Let q be d(6). Let x = q - 13. Let r = x + 12. Does 11 divide r?
False
Let h(c) = -27*c - 2. Is 16 a factor of h(-1)?
False
Let h = 24 + -5. Does 19 divide h?
True
Suppose 0 = -2*f + 2*j + 28, 0*f + 5*j - 38 = -4*f. Suppose -4*q = -6*q + 4*i + f, 5*i + 10 = 0. Let b = q - -22. Is 8 a factor of b?
True
Suppose 3*f + m + 0*m - 328 = 0, m = -5. Is 16 a factor of f?
False
Let r(q) be the first derivative of 10*q**3/3 + q + 2. Is r(-2) a multiple of 12?
False
Suppose 22*k = 17*k + 75. Is k a multiple of 4?
False
Let q = -49 + 64. Is 3 a factor of q?
True
Let b(m) = -9*m - 14. Is 20 a factor of b(-6)?
True
Let m = 118 - 66. Is m a multiple of 3?
False
Suppose -4*h + 38 = 2*b, 0 = b - 2*h + h - 10. Let j(z) = -z**3 + 13*z**2 + 16. Does 16 divide j(b)?
True
Let p(q) = q**3 - 6*q**2 - 5*q - 10. Let t be p(7). Suppose 4*k - t = -4*f, 0 = 5*k + 36 - 11. Does 6 divide -1 + 11 + (f - 4)?
True
Let o be (-2)/(-5) + (-264)/(-15). Let z be ((-38)/6)/((-6)/o). Suppose -4*t = 4*g - 72, -3*t + 2*g + 25 = -z. Is 8 a factor of t?
True
Let i(p) = -p - 4. Let s be i(-7). Let z = s + 7. Does 5 divide z?
True
Suppose -5*j + 116 = 4*u, -76 = -4*j - 0*u + u. Suppose g + 4 = 2*x, -x - x = 3*g - j. Suppose -5*q + 30 - 5 = g*c, 4*c - 16 = -4*q. Does 9 divide q?
True
Let u be 2 - (-1 - 0/(-2)). Is 18 a factor of (0 - 1)/(u/(-162))?
True
Let p(x) = x**2 - 8*x - 1. Let a = 22 + -11. Is 16 a factor of p(a)?
True
Let q(r) = 8*r - 4. Let f be (-2)/(0 + -2) - -3. Is 14 a factor of q(f)?
True
Suppose -11 - 44 = -5*i. Is 4 a factor of i?
False
Let m = 111 - 51. Suppose 2*b - m = -2*b. Is b a multiple of 15?
True
Let j = 92 + -42. Does 20 divide j?
False
Let a(d) = d**3 - 4*d**2 - 9*d + 9. Let y be a(6). Suppose -y = 5*b - 117. Is 5 a factor of b?
False
Suppose -3*h - 2*n + 171 = -24, 0 = -h + 4*n + 51. Suppose r = -2*r + h. Is r a multiple of 21?
True
Let o be (2/(-6))/(1/(-6)). Suppose v - o*h - 33 = 0, -3*v + 3*h + 65 = -v. Suppose 2*q - 6 = 0, -v = -r + 2*q - 5*q. Is r a multiple of 11?
True
Let b(n) = -12*n**3 - n**2 - 4*n - 3. Does 6 divide b(-1)?
True
Does 15 divide (330/(-44))/(22/(-20) - -1)?
True
Is 111 - 3*3/9 a multiple of 22?
True
Suppose 3*j = 5*d + 78 + 40, 100 = 3*j + 4*d. Suppose -g - h = 3*g - 127, -g = -4*h - j. Is g a multiple of 32?
True
Let q = -17 + 28. Let j = q + -7. Does 2 divide j?
True
Suppose 20 = 5*o - 0*o. Suppose -2*q = 3*q + z - 200, o*q - 159 = -z. Suppose -5 = 2*i + 3*i, -3*k + 2*i = -q. Is k a multiple of 12?
False
Suppose 3*p = -p + 56. Suppose 0 = -5*k + p + 11. Is k a multiple of 5?
True
Let f(a) = 3*a**2 + 33*a - 21. Is f(-15) a multiple of 17?
False
Suppose 0*t + 2*t = 50. Let z = t - -7. Is z a multiple of 11?
False
Let s(p) = 2*p**2 + 8*p + 3. Let c be s(-8). Let y = c - 32. Is 7 a factor of y?
True
Let o(h) = h + 28. Let d be (-1)/1*1 + 1. Is 14 a factor of o(d)?
True
Suppose 2*t - 9 = -4*w + 9, -2*w - 6 = -2*t. Suppose -2*v - 20 = w*v. Does 5 divide ((-16)/(-10))/(v/(-25))?
False
Suppose 3*z = 5*w + 23, 3*w - 63 = 4*z - 7*z. Suppose 0 = -3*a - 4 + z, 3*a + 132 = 3*f. Does 14 divide f?
False
Let t(v) = 4*v - 3. Let a be t(2). Let g = 8 - a. Suppose -95 = -5*j + 3*z, -j + 32 = -g*z + 1. Is 6 a factor of j?
False
Let u = 98 + 14. Is 16 a factor of u?
True
Suppose -y = 4*l - 34, 0 = -4*y - 3*l + 160 - 37. Does 6 divide y?
True
Suppose 3*w - 40 + 4 = 0. Let f = 27 - w. Is f a multiple of 11?
False
Let j = -7 + 5. Let q = 7 + j. Suppose 2*v - r - 25 = -2, 3*r + 55 = q*v. Is v a multiple of 14?
True
Let y = -2 - -1. Let m(n) = -13*n - 2. Is 11 a factor of m(y)?
True
Suppose c - 8 = 32. Is 8 a factor of c?
True
Suppose 0 = u - 19 - 4. Is u a multiple of 6?
False
Suppose 4*m - 7 - 9 = -4*s, -s = 2. Let v = 1 + m. Let j = -5 + v. Is j even?
True
Suppose 2*z + 3*z + 2*k - 31 = 0, -22 = -2*z - 4*k. Suppose -z*y + 7 + 23 = 0. Let d = 8 - y. Is d even?
True
Let d(s) = -7*s + 5. Let w be d(-4). Let f = w - 19. Does 10 divide f?
False
Let b = 65 + -110. Let p = b + 81. Is 18 a factor of p?
True
Suppose 2*q = -2*q + 16. Suppose 2*w = -q*l + 34, 0 = 2*l - w + 5*w - 32. Is 2 a factor of l?
True
Let v(m) = 11*m**3 - m. Let b be v(1). Let p be ((-12)/10)/((-4)/b). Suppose 7*s = p*s + 44. Does 5 divide s?
False
Let c(h) = -2*h**2 - 7*h - 5. Let a(p) = 2*p**2 + 8*p + 6. Let m(t) = -5*a(t) - 6*c(t). Let o be 3*(4/(-3))/2. Is 4 a factor of m(o)?
True
Suppose 0 = 3*i - i + 4. Is (i/4)/((-4)/200) a m