multiple of 44?
False
Suppose -8*c + 14 = -6*c. Suppose -2*i + c*i - 180 = 0. Is 18 a factor of i?
True
Let l(b) = -2*b**2 + 7*b + 8. Suppose -q + 3*q = 14. Let n be l(q). Let g = n - -63. Is g a multiple of 11?
True
Suppose 2*d - 2*g = 18 - 6, 14 = 3*d + g. Is d a multiple of 2?
False
Let h(p) be the third derivative of -p**6/120 - 3*p**5/20 - 3*p**4/8 - p**3/2 + 2*p**2. Let c be h(-8). Is c/(75/(-102))*-5 a multiple of 10?
False
Suppose -6*l = -18*l + 2280. Is 18 a factor of l?
False
Suppose 0 = -5*t - 5*q + 1675, 6*t = 7*t + 3*q - 341. Does 13 divide t?
False
Suppose -5*n = -16 - 9. Let p be -4*4/((-8)/57). Suppose d = -3*w + 25, n*d - 4*w = -8*w + p. Is d a multiple of 11?
True
Suppose -2*r = 2*r + 2*l - 14, -3*r = 3*l - 15. Let u be r - (-18 + 0 + 2). Let b = 36 - u. Is b a multiple of 13?
False
Suppose -2*k = -5*i + 9, -5 = -4*i + 3*k + 5. Suppose 0 = 3*d - 7*d + 4. Does 10 divide i*(9 + d/1)?
True
Suppose 5*t + 14 = 34. Is 17 a factor of (-6)/t*(-340)/15?
True
Suppose -2*k + 29 = 75. Let q be (k/(-2))/((-2)/16). Is q/(-6)*3/2 a multiple of 9?
False
Let s(w) = 10*w**2 - w - 2. Is 9 a factor of s(-1)?
True
Let w be (-6)/4*(-8)/6. Let u(r) = 4*r**2 - 4*r + 2. Does 5 divide u(w)?
True
Suppose a = -l - 2*l + 11, -5*l + 22 = -2*a. Suppose 5 = 5*k, 20 = l*x + x + 5*k. Let v(z) = 5*z - 1. Is 14 a factor of v(x)?
True
Let i = 20 + -33. Let z = 24 + i. Does 11 divide z?
True
Is (-1)/3*(-11 + -13) a multiple of 8?
True
Let u be (-2)/6 + 110/33. Suppose u*g = 7*g - 144. Is 9 a factor of g?
True
Let p(s) = s**3 + 4*s**2 - 3*s + 4. Let c be p(-4). Let v = c + 16. Is 14 a factor of v?
False
Suppose -4*w + 38 - 2 = 0. Does 5 divide 84/w + 4/6?
True
Suppose 0 = -2*g + 5*c - 3*c + 32, 0 = 5*g + 5*c - 50. Is g even?
False
Is 31 a factor of 36/(-45)*1130/(-4) + -1?
False
Suppose -7*j + 35 = -2*j. Is 7 a factor of j?
True
Let m = -62 - -105. Suppose -2*u = -o - m, 2*u - 7 - 61 = -4*o. Suppose p - 5*p + u = 0. Does 4 divide p?
False
Let s be 0 + (-2)/(-1)*2. Let o be (s + -2 + -1)*65. Suppose -35 = -5*b + o. Does 10 divide b?
True
Let z(l) = -l**2 + 11*l - 3. Let c be z(9). Suppose -g + c + 9 = 0. Suppose 5*s - g = 6. Is s a multiple of 3?
True
Suppose 2*h = -2*f + 146 - 6, h - 73 = -2*f. Is h a multiple of 12?
False
Let s be ((-4)/(-3))/((-2)/(-144)). Suppose -26 = -2*x + s. Does 22 divide x?
False
Let r(b) = 32*b + 2. Let k be r(-1). Let l = k + 58. Is 28 a factor of l?
True
Let o(u) = 7*u**3 - 16*u**2 + 10*u + 9. Let f(l) = -4*l**3 + 8*l**2 - 5*l - 5. Let x(s) = -5*f(s) - 3*o(s). Is 13 a factor of x(6)?
False
Is (2/((-4)/(-1)))/((-2)/(-336)) a multiple of 19?
False
Suppose 0 = 5*h - 2*c - 43, -h + 8 = -0*h - c. Let f = h - 6. Suppose 5*w - 3 = 4*b - b, -5*b + f*w = -11. Is 2 a factor of b?
True
Suppose -233 = -5*o + 4*l, l = -2*o + 2*l + 92. Is 15 a factor of o?
True
Let z(o) = o**2 + 6*o + 8. Let x be z(-8). Suppose 0 = r + 2*r - x. Let b = 18 - r. Does 5 divide b?
True
Let c be (-2 + -3 - -2) + 58. Let u = c + -30. Is 7 a factor of u?
False
Suppose c + 0*c = 77. Does 26 divide c?
False
Let t be (-6)/4*(-4)/3. Let f = t + 2. Suppose 2*p - f = -0. Does 2 divide p?
True
Is 11 a factor of -1 - 2/((-4)/106)?
False
Let k be ((-8)/6)/((-4)/(-12)). Let t(r) = -r**2 - 5*r - 5. Let x be t(k). Is 15 a factor of -10*x*(0 + 3)?
True
Let j(m) = m + 9. Let k be j(-4). Suppose -k*y = -5*q - 137 - 118, 4*q = 5*y - 259. Is 18 a factor of y?
False
Suppose -3*r + 6 = -m - 2*m, -m + 2*r - 5 = 0. Suppose -3 = -z - m. Suppose -y - l + 26 = z*l, 4*y = -3*l + 104. Is 13 a factor of y?
True
Let k = 7 - 7. Let y(o) = -o**3 + 5*o**2 - 3*o. Let j be y(2). Let i = j - k. Does 6 divide i?
True
Is 12 a factor of 40 + 2/1 + 2?
False
Let h(w) = w**3 - 2*w**2 - w - 2. Let s be h(-2). Let b = -7 - s. Does 3 divide b?
True
Suppose 8*m + 330 = 13*m. Does 22 divide m?
True
Suppose d = -5*a + 63, d - a + 5*a - 58 = 0. Does 25 divide d?
False
Let d be 5/25 - (-42)/(-10). Let w(j) = j**2 + 2*j + 5. Is 12 a factor of w(d)?
False
Suppose 2*u - 4*q = u + 33, -5*u + q = -222. Does 9 divide u?
True
Let b(c) = -c + 3 - 3 - 1. Let f be b(-2). Let l(u) = 29*u**2 + 2*u - 1. Does 12 divide l(f)?
False
Let c(o) = -o**3 - 2*o**2 + 2*o + 1. Let z be c(-3). Suppose 0*g = -4*d - 3*g + 25, z*d = 2*g + 10. Suppose 3*w = d*w - 5. Is w a multiple of 5?
True
Let q(t) = 23*t**3 + 7*t**2 + 10*t + 5. Let x be q(-4). Is x/(-36) + (-1)/(-4) a multiple of 17?
False
Suppose c + 196 = 5*p + 4*c, -c = -3*p + 126. Suppose -p = n + 6. Let g = -25 - n. Is g a multiple of 11?
True
Suppose 5*s + 0 = n - 5, -3*s + 5*n = -19. Is (-1)/(s/10)*1 a multiple of 4?
False
Suppose -5*f + 712 - 32 = 4*g, 0 = 5*g - 25. Is f a multiple of 22?
True
Suppose 0 = 4*g - 0*m - 2*m - 188, 4*g - 174 = -5*m. Is 17 a factor of g?
False
Let u be (4/(-3))/(8/(-12)). Let y(n) = 3*n**2 + u + 4*n + 2*n + n. Is y(-5) a multiple of 18?
False
Let c be (8/10)/(2/5). Does 10 divide 2*c/(-4)*-35?
False
Let l = 273 - 188. Does 12 divide l?
False
Suppose -n = 2*f - 26, 2*n - 65 + 1 = -f. Is n a multiple of 34?
True
Suppose 0*o = 5*o - 60. Let z = o - 4. Is 8 a factor of z?
True
Let t = -134 + 35. Let z be t/(-21) + (-4)/(-14). Suppose 0 = -z*k + 3 - 23, 2*k - 2 = -5*u. Is u a multiple of 2?
True
Let j be (-8)/6*6/(-4). Let r be 1*(0 + j + -6). Let i = 12 + r. Is i a multiple of 7?
False
Let c = 6 + 8. Let u be 60/(-9)*6/(-5). Let l = c - u. Does 3 divide l?
True
Let h = 0 + -2. Let s = 5 - -4. Let i = h + s. Is i a multiple of 7?
True
Let y be ((2 + -5)/(-3))/1. Does 23 divide (21 - (-2)/y)*1?
True
Suppose -2*o - 5*b - 118 = -5*o, -2*o + 5*b = -77. Is 14 a factor of o?
False
Suppose -6 = -3*s + s. Suppose s*w + 0*w = -6. Let j(c) = -21*c - 2. Does 20 divide j(w)?
True
Suppose 6*i - 18 = 2*i - 2*d, -3*i + 11 = -d. Suppose i*r + p - 93 = 0, -3*p + 66 + 52 = 5*r. Suppose 4*u = 4, -u - 18 = -3*t + r. Is 7 a factor of t?
True
Suppose 0 = 5*g + 20, -4*o + 5 = 3*g + 1. Suppose 0 = o*u - 13 - 3. Suppose -t - 24 = -u*t. Does 8 divide t?
True
Suppose -12 = -2*a - 3*z, 2*a + 3*z - 16 = -2*z. Suppose a*g - 55 + 1 = 0. Is 6 a factor of g?
True
Is (187 - (-4)/1) + 3 - -1 a multiple of 13?
True
Does 12 divide 1/2 + 1144/16?
True
Suppose 0 = 2*x - 0*r - 5*r + 216, -3*x - 324 = 5*r. Let j = -54 - x. Is j a multiple of 18?
True
Let k(w) = 34*w + 1. Let q be k(1). Let d be 4/(4/q) + 1. Let l = -21 + d. Is l a multiple of 7?
False
Let f(n) = 5*n**2 - 9*n + 13. Is 14 a factor of f(4)?
False
Let m = -202 + 491. Is 13 a factor of m?
False
Let s(a) = -a**2 + 6*a - 2. Let l be s(4). Let u = -3 + l. Suppose -2*i = -3*x - 8 - 29, 67 = 2*i + u*x. Is i a multiple of 13?
True
Suppose -5*n = -2*j + 41, -2*j = 2*n - 27 - 35. Is j a multiple of 4?
True
Suppose x = -0*x. Suppose 0 = 2*n + 4*d + 16, x*n + n + d = -3. Is n a multiple of 2?
True
Let d(h) = h**2 - 3*h - 2. Let w = -4 - -5. Let x be w/(-1)*(-7 - 0). Does 13 divide d(x)?
True
Let c(u) = u**2 + 3*u. Let o be c(3). Let k be 40/o + 8/(-36). Is 2 + 7 + 2 + k a multiple of 12?
False
Let n be (-1 + 13/2)*-8. Let k = n + 98. Is 27 a factor of k?
True
Suppose 5*t - 14 = -2*j, t + 2 = 3*j - 2. Does 7 divide 22 - t/(-4)*-6?
False
Let i = 116 + 44. Is 32 a factor of i?
True
Let u(p) = -3*p**3 - 4*p**2 + 2*p + 3. Suppose 0 = -4*h - 16, l + 5*h = 2*l - 17. Is 11 a factor of u(l)?
False
Suppose -2*y - 7 = 5. Let n(z) = -z**2 - 8*z + 4. Is 13 a factor of n(y)?
False
Let p = 6 - 1. Suppose 4*a - 36 = -u + a, -p*a + 38 = u. Is 11 a factor of u?
True
Suppose -5*u = 3*h + 5 - 70, 4*u + 76 = 4*h. Suppose h + 4 = p. Let d = p - 10. Does 8 divide d?
False
Suppose 0 = -z + j - 1, -3*j = z - 8*j + 21. Let f be (z - 2)/(2/(-4)). Is f/6 + (-11)/(-3) a multiple of 3?
True
Suppose -4*r = -q + 19, -q + r - 6*r = 26. Does 3 divide -3*(2 - (2 - q))?
True
Let y(l) = -l - 7. Let j(g) = g + 6. Let b(n) = -6*j(n) - 5*y(n). Let f be b(5). Does 4 divide 3/(f/16*-1)?
True
Let m(u) = 10*u + 6. Is 22 a factor of m(6)?
True
Let i = -9 - -16. Let z(o) = o**3 - 6*o**2 - 7*o - 3. Let j be z(i). Let q = 4 - j. Does 7 divide q?
True
Suppose -5*u - 5*r = 1730, 3*u + 2*u + 1780 = 5*r. Is 3 a factor of u/(-18) + (-1)/(-2)?
False
Let i(c) = c**3 + 3*c**2 - 3*c - 4. Let u be i(-4). Is 7 a factor of (-52)/u - (-1)/2?
True
Let g(t) = t**2 + 6*t - 6. Let i be g(-6). Let c(q) = -q**2 