ple of 11?
False
Let o be (-4)/6 - (-184)/6. Suppose -231 = 17*a + 4*a. Let f = o + a. Is f a multiple of 11?
False
Let u be (-1 - (-2 - 2)) + 1. Suppose u*l - 11 = 1. Is (l - (-21)/(-9))*27 a multiple of 9?
True
Suppose -4*a + 408 = 5*d, -4*a = 7*d - 9*d - 436. Does 20 divide a?
False
Suppose 0 = -0*l - 5*l + 7*l. Suppose 2*u - 5*r - 39 = l, r - 6*r = -3*u + 56. Is 7 a factor of u?
False
Let b be (12/(-4) - -4) + 1. Let a(f) = 8*f**b - 3*f + f**3 - 8 - f + 5*f. Is 17 a factor of a(-7)?
True
Let g be -1*68/16*-8. Let u = -24 + g. Is 18 a factor of (-267)/(-5) - (-6)/u?
True
Suppose d + 2*y + 62 = -0*d, 2*y - 8 = 0. Does 14 divide (d/(-25))/(2/60)?
True
Let j = 44 - 18. Let l = j - -10. Is l a multiple of 7?
False
Let d(p) = 42*p**2 - 15*p - 39. Is 13 a factor of d(-3)?
False
Let z be (-153)/34*1*-2. Suppose 4*p - 6 = -2*c, 6 = 3*p - p. Is (z/(-6))/(c/16) a multiple of 4?
True
Suppose r = -0*r - 4*n + 36, -5*r + 138 = -n. Is 25 a factor of -1*1 + r + 1?
False
Let x = -11 - -14. Let i(m) = 0*m - 2 - x*m + 5*m. Is i(10) a multiple of 9?
True
Suppose 0 = -s + 3, 5*o + 4*s = o + 13004. Does 58 divide o?
True
Let g = -2509 + 5209. Does 15 divide g?
True
Let z(m) = -m**3 - 13*m**2 - 12*m + 3. Let x be z(-12). Suppose x*h + 28 = 2*i - 0, -i = 3*h + 13. Let d(p) = -2*p. Is 6 a factor of d(h)?
True
Let b = 1892 + -1055. Suppose -6*k = -b - 285. Suppose 4*d - k = -4*a + a, d - 5*a = 41. Is d a multiple of 11?
False
Suppose 0*h - 3 = -h, -3*k + 24 = -2*h. Let t(p) = p**3 - 11*p**2 + 12*p + 12. Is 10 a factor of t(k)?
False
Let w be 2*2*61/(-4). Suppose -244 = -2*d + 4*d - l, -464 = 4*d + 4*l. Let f = w - d. Is f a multiple of 20?
False
Let c be 8130/42 - 12/(-28). Suppose y - 2*b - c = 0, 8 = 6*b - 2*b. Is y a multiple of 11?
True
Suppose 15*j = 16*j + 4. Does 6 divide 72*(76/16 + j)?
True
Suppose u + 2*a = -5*a + 147, 141 = u + 5*a. Is u a multiple of 7?
True
Suppose -2*n + 2*m + 247 = -3*m, -5*n = -m - 629. Suppose 0 = 9*p - 666 + n. Is 45 a factor of p?
False
Suppose 0*o + b + 48 = -4*o, 3*o + 25 = 2*b. Let z(f) be the second derivative of -f**3/3 - f. Does 6 divide z(o)?
False
Suppose -24*r = -16*r - 5136. Does 3 divide r?
True
Let n = -4 + 0. Let a = 7 + n. Suppose y + 2*q - 15 - 30 = 0, -a*y - q = -130. Does 11 divide y?
False
Is (8 - 2)/((-4)/(-824) - 0) a multiple of 96?
False
Does 53 divide (-13506)/(-15) - (6/10)/(-1)?
True
Let m(t) = -26*t - 15. Is 7 a factor of m(-17)?
True
Let c = -2 - -11. Let j = -5 + c. Let v(h) = 8*h - 2. Is v(j) a multiple of 11?
False
Let j(s) = -2 - 3*s + 1 + 7. Let r be (-2 + -1)*(-42)/(-18). Is 13 a factor of j(r)?
False
Let h(a) = 11*a - 1. Let k be (-3)/((35/(-10))/7). Does 13 divide h(k)?
True
Suppose 0 = 5*m + 2*x + 30, -5*m - 5*x = 15 - 0. Is (0 - m/(-10))*-65 a multiple of 15?
False
Let m = -1962 + 3458. Does 22 divide m?
True
Suppose 0 = -5*u + 3*u - 286. Let h = -49 - u. Is 22 a factor of h?
False
Let b = -2854 - -4588. Does 10 divide b?
False
Suppose 20 = -3*z - 439. Let h = 169 + z. Is h a multiple of 11?
False
Suppose 14 = -h + 4*h + 4*b, 5*b - 2 = 4*h. Let d = -10 - -14. Suppose 5*g - 3*n = 96, 62 = -h*g + 5*g - d*n. Is 9 a factor of g?
True
Let x = 450 + -352. Does 7 divide x?
True
Suppose 2*f = -2*h + 1182, 2*f + 726 - 123 = h. Is 17 a factor of h?
True
Is 3 a factor of 183 + -12 + (-7)/(21/(-12))?
False
Let n(b) = b**3 + 7*b**2 - 5. Let i(r) = r**2 - 1. Let v(l) = 2*i(l) - n(l). Suppose -3 = -2*u - 3*a - 1, 4*a - 41 = 5*u. Is v(u) even?
False
Suppose -8 = 2*a + 20. Let o = -6 - a. Is 2 a factor of o?
True
Let v = -6 - -125. Suppose 0*l = 5*l + d + 149, d + v = -4*l. Let o = -9 - l. Is 7 a factor of o?
True
Let j = 18 - 4. Let o(w) = w**2 - 13*w - 11. Let a be o(j). Suppose 16 = a*u - u. Does 4 divide u?
True
Let r = 14 + -8. Suppose -5*a - r = -46. Is a a multiple of 4?
True
Suppose 5*a = 5*z - 1012 - 1158, 0 = 4*z - 2*a - 1732. Is 48 a factor of z?
True
Let k(s) = -251*s - 1107. Does 13 divide k(-7)?
True
Suppose 12*a - 9*a - 9 = 0. Suppose a*w = -6*w + 1674. Is 16 a factor of w?
False
Suppose 3*s = -9, 3*d - 5288 = s + 3067. Is d a multiple of 44?
False
Suppose -7*w = -11*w + 1224. Suppose 0*y + w = 3*y. Suppose 2*v = -0*v + y. Is v a multiple of 12?
False
Let r(b) = -40*b - 177. Is r(-6) a multiple of 2?
False
Suppose u = -0*u - 2*h, u - 3 = -h. Suppose -u*b + 136 = -4*b + k, -3*k + 268 = 4*b. Is b a multiple of 16?
False
Let y(o) = o**3 - 11*o**2 - 12*o + 2. Let i be y(12). Suppose n = i*n - 255. Suppose 2*q = 4*u + u - n, -2*u - q = -93. Does 10 divide u?
False
Suppose 0 = 33*d - 179 - 4177. Is 22 a factor of d?
True
Let f be (267/3)/(3 + -2). Suppose -2*k + 3*k = f. Suppose 4*q + 33 = k. Does 7 divide q?
True
Suppose 3*t + 4*s = 6*t - 645, -3*t + 2*s = -639. Is 5 a factor of t?
False
Let l(d) be the third derivative of 17*d**6/720 - 13*d**5/120 - d**4/8 - 8*d**2. Let n(q) be the second derivative of l(q). Is n(6) a multiple of 16?
False
Let q(h) = 4*h - 16. Let l be q(5). Does 28 divide l - (-37 - 6/(-3))?
False
Let w be 1 - 4 - 6/(-2). Let g = 26 - 16. Suppose w = -5*i + 10 + g, -2*j - 5*i + 154 = 0. Is j a multiple of 29?
False
Let l = 177 + -130. Suppose 3*i + 3*d = 495, i - 133 = -4*d + l. Does 40 divide i?
True
Suppose -3*w = -c - 6, 2*w + 4 = 4*c - 2. Let u be (1/(-3))/(w/18). Let p(a) = -4*a**3 - a**2 + a + 2. Is 14 a factor of p(u)?
True
Let k(o) = 2*o - 4. Let b be k(4). Suppose 4*i - 83 = -l, 3 = b*i - 1. Let m = -38 + l. Is m a multiple of 20?
False
Let h(g) = -17*g**2 + g + 1. Let d be h(-2). Let p = 43 + d. Let q = 38 + p. Is 12 a factor of q?
True
Suppose -23266 = -11*y + 5411. Is y a multiple of 71?
False
Suppose -21 = u - 8*u. Is -1 + 196/(1 + u) a multiple of 16?
True
Let z(u) be the third derivative of -5*u**4/24 + u**3 + 8*u**2. Let b be z(-6). Does 22 divide 2384/b + 4/(-18)?
True
Suppose -l = 2*t - 59, 5*t + 3*l - 7*l = 141. Let q = t + 66. Is q a multiple of 13?
False
Suppose 4*p = -0*p - 504. Let h = 144 + p. Does 18 divide h?
True
Suppose 2*v = 3*v - 5. Suppose -5 = -s + 5*z, 0*s + 3*z = -v*s + 81. Does 14 divide s?
False
Is (-4)/12 + -2*60/(-9) even?
False
Suppose -11*r + 6*r = 5*d - 9240, -d = -2. Is 26 a factor of r?
True
Let m be (14/21)/(2/(-66)). Let c(a) = a**3 + 23*a**2 + 19*a - 11. Is 10 a factor of c(m)?
False
Let k(w) = 36*w**3 + 2*w**2 + 5*w - 4. Let t(x) = -36*x**3 - 2*x**2 - 4*x + 3. Suppose -24 = -5*v - 9. Let q(f) = v*k(f) + 4*t(f). Is 14 a factor of q(-1)?
False
Let n be (4/10)/((-2)/5). Let s(m) = -180*m**3 - m**2 + 4*m + 5. Does 8 divide s(n)?
False
Suppose -7*b + 8 = -3*b. Let m(g) = 71*g + 14*g**2 - 71*g + b. Is 9 a factor of m(2)?
False
Does 47 divide (-9)/(315/(-20))*1281/6?
False
Suppose -5*v + 542 = -583. Is v a multiple of 15?
True
Let j = 40 - 66. Let z = j - -110. Is 21 a factor of z?
True
Let v = -15 + 19. Suppose 0 = v*s - 87 - 1. Does 2 divide 24/(-16)*s/(-3)?
False
Suppose 0 = -q + 36 + 3. Let i = -8 + q. Let g = i - 19. Does 8 divide g?
False
Suppose -5*y + 10*y - 460 = 0. Let g = -6 - -14. Suppose -2*u + y = -g. Is u a multiple of 11?
False
Let f = -46 - 73. Let s = f - -219. Is 10 a factor of s?
True
Let r(q) = q**3 + 9*q**2 - 12*q - 7. Let j be r(-10). Let g = j - 11. Does 5 divide (0 - g*-11) + 1?
False
Let v = 28 + 8. Does 36 divide v?
True
Suppose 67*d - 1161 = 66*d. Is d a multiple of 50?
False
Let c(x) = -x. Let v be c(-3). Let y(n) = -2*n - n + v + 2*n**2 - n. Is y(-4) a multiple of 17?
True
Let v = 12 - 18. Suppose 0 = 3*y - 0*y + 9. Is 23 a factor of 3/v*(-179 + y)?
False
Suppose -5*r - 6 + 31 = 0. Suppose h + k + 10 = 65, 2*k - 290 = -r*h. Does 7 divide h?
False
Suppose 14*q - 2414 = 12*q - 4*y, 5*q - 5996 = 3*y. Is q a multiple of 34?
False
Let q(i) = 23*i**2 - 14*i + 2. Does 33 divide q(4)?
False
Suppose -4*s = 2*v + 96, 3*s + 58 = 5*v - 10*v. Let i be (-4)/s - (-132)/(-13). Does 21 divide (-10)/i + (1 - -40)?
True
Does 24 divide (-86)/(0 - 2/3)?
False
Suppose 9*q - 12*q + 3 = 0. Let r(i) = 25*i + 1. Let x be r(q). Is (x/6)/((-2)/(-6)) a multiple of 5?
False
Suppose k = 4*s + 23, 4*k = -2*s - k - 17. Is 33 a factor of s/21 + 970/14?
False
Let k = -576 + 717. Is k even?
False
Let x(t) = -2*t - 36. Let s be x(-19). Suppose 28 - 184 = -s*i. Is 26 a factor of i?
True
Let p = 106 + -102. Is 104 - p/10*10 a multiple of 10?
True