s f a multiple of 34?
False
Does 13 divide (-3126)/(-5) + 47/((-4935)/126)?
True
Let c(i) = i**3 - 6*i**2 + 6*i - 3. Let h be c(6). Suppose -6*y + h + 171 = 0. Does 17 divide y?
True
Let c be 2 - 2 - 10/(-2). Suppose -c*d - m + 111 = 0, 2*d - 15 = m + 35. Suppose -95 = -5*l - 5*u, 3*u - 6 = -l + d. Does 7 divide l?
True
Let i = 164 + 491. Is i a multiple of 24?
False
Let v(o) = -20*o - 362. Is v(-28) a multiple of 3?
True
Suppose 0 = 9*w - 4*w - 1190. Is 3 a factor of w?
False
Let w(o) = o**2 + 40*o + 30. Let i be w(-24). Let r = i + 529. Is 25 a factor of r?
True
Let c be 3 + (0 - -3) + (13 - 16). Suppose -5*m + c*d = -89, -4 = -d - 2. Does 3 divide m?
False
Let c = -324 - -378. Is 9 a factor of c?
True
Let w(y) = 2*y**2 + 9*y - 679. Is 4 a factor of w(21)?
True
Let m = -11 + 15. Let o(t) = t**2 + 5. Is o(m) a multiple of 2?
False
Let q(h) = h**2 - h - 2. Let w be q(3). Suppose -2*u = -w*s - 8, -2 - 8 = -4*u + 5*s. Suppose u*c - 3*c = k - 115, -k = 5. Does 13 divide c?
False
Let a(h) = -960*h - 207. Is 27 a factor of a(-3)?
True
Let f(j) = -j**3 + j**2 - j + 3. Let s be f(4). Let i = 90 - 9. Let u = i + s. Is u a multiple of 13?
False
Let u(g) = 11*g**2 + 47*g - 49*g - 8*g**2 + 19. Is 10 a factor of u(-9)?
True
Suppose 2*y + y = 2*c - 12, 4 = -c - y. Let t be c/((2 - 0)/(-2)). Suppose -5*q + 2*m + 194 = 0, t = -5*q + 6*m - m + 185. Does 20 divide q?
True
Let b(s) = -7*s - 2. Let a be 296/(-36) + 2/9. Does 10 divide b(a)?
False
Let z(d) = 22*d**3 + 20*d - 69. Is 15 a factor of z(3)?
True
Let b(n) = -10*n**3. Let x be b(-1). Suppose -5*j - 360 = -x*j. Is 9 a factor of j?
True
Suppose -4*f + 5*q + 788 = 0, 0 = 3*f + 3*q + 20 - 584. Does 16 divide f?
True
Suppose 5*x = -2*s + 120, -5*s + 212 = -s - 4*x. Suppose 5*m = s + 35. Is 6 a factor of m?
True
Let f = 168 - 238. Let l be (12/10)/((-3)/(-10)). Is 12/(-5)*f/l a multiple of 14?
True
Let h = 4 - 18. Let x = h + 18. Suppose 0 = -3*b - 2*o + 41, 2*b + x*o = 6*b - 48. Is b a multiple of 7?
False
Let x(v) = 7*v**2 + 19. Let h(t) = -10*t**2 - 29. Let k(j) = -5*h(j) - 7*x(j). Let b be 1 - (1 + 2) - -2. Is k(b) a multiple of 4?
True
Let y be 4/(-6)*(-36 + 12)/4. Let t be ((-8)/(-2))/(2/4). Does 33 divide 165/y + (-2)/t?
False
Suppose 0*h + 275 = 3*h - 4*v, 206 = 2*h + 3*v. Let n = 166 - h. Is n a multiple of 23?
True
Let m(r) = -83*r - 7. Let i be m(7). Let z be i/(-4 + 0) + 4. Suppose 2*p = -2*p - 2*q + 122, -5*p - q = -z. Does 11 divide p?
False
Suppose 0 = 3*h - 3*u, -h = -4*u - u + 12. Is 8 a factor of 27/((-84)/32 + h)?
True
Let x = 2317 + -1089. Is 4 a factor of x?
True
Suppose -44 = -166*a + 170*a. Suppose -8 = 4*h + 8. Is 11 a factor of (a/h)/(4/32)?
True
Let b be 15 + ((-3)/(-3))/((-2)/4). Is 6 a factor of (17 - b) + 3*2?
False
Let k be (35/30 - 1/(-3))*-8. Is 6 a factor of (105/20)/(-7) - 993/k?
False
Let z = -85 - -228. Does 21 divide z?
False
Let g = 1094 + -902. Does 11 divide g?
False
Let z(c) = 10*c - 1. Let f(a) = -22*a + 11. Let g(v) = v - 1. Let p(y) = -f(y) - 11*g(y). Let t(r) = -5*p(r) + 6*z(r). Is 8 a factor of t(5)?
False
Let x = 225 + -136. Let z = x + -69. Is z a multiple of 13?
False
Let y(x) = 3*x**2 + 20*x + 21. Is y(-17) a multiple of 38?
False
Suppose -2*d = d - 432. Suppose -3*p = -4*a - 169, -3*p = -2*a - d - 29. Is 14 a factor of p?
False
Let q = 182 - -314. Does 16 divide q?
True
Is (4 + -6)*3 + 1846 a multiple of 40?
True
Let o(b) = b + 1. Let v be o(2). Let k be (v/4)/(27/72). Suppose 0 = 4*x - f - 67, -k*x = x - f - 50. Is 17 a factor of x?
True
Let r(u) = 2*u - 8. Let v be r(6). Let z be v/10 + 8728/5. Is 9 a factor of 2/7 + z/63?
False
Suppose -18*l + 15*l = -267. Let x = 56 + l. Does 29 divide x?
True
Is 14 a factor of ((-5748)/(-10))/(214/1605)?
False
Let p(h) = -h**3 - 6*h**2 + 4*h - 2. Let g be p(-4). Let b = -24 - g. Suppose -b = 3*q - 4*q. Is 13 a factor of q?
True
Let w = -55 + 29. Let n(l) = -l**3 - 27*l**2 - 41*l - 65. Is n(w) a multiple of 18?
False
Let d be (-4)/6*((-16)/2 - -5). Suppose -a = -d*s - 29, 0 = 4*a - 3*s + 7*s - 68. Is 21 a factor of a?
True
Suppose 3*v + 4*d = 21 - 2, 0 = -3*v + 4*d - 13. Let c(t) = 72*t**2. Let q be c(v). Suppose -l = l - q. Is l a multiple of 18?
True
Suppose -2*l = 4*s - 686, -4*s - 4*l = -6*l - 666. Is s a multiple of 16?
False
Suppose -76*s + 79*s + 2*x = 3769, 4*s = -x + 5017. Does 43 divide s?
False
Let t = 1313 + -845. Is 6 a factor of t?
True
Let y = -185 - -300. Does 29 divide y?
False
Suppose 15 = 8*b - 5*b. Suppose 0 = -w - 0*z - 2*z + 144, b*z = 20. Is 25 a factor of w?
False
Let c(b) = -108*b**2 - 2*b - 5. Let g(z) = 36*z**2 + z + 2. Let s(a) = 3*c(a) + 8*g(a). Let o be s(-1). Does 8 divide o*2*3/(-6)?
False
Let p = -154 + 153. Let w = -7 + 5. Does 7 divide (-27)/w - p/2?
True
Suppose 74*f - 67*f = 12600. Is f a multiple of 15?
True
Let m = 108 - 103. Suppose m*y = 50 + 310. Is y a multiple of 8?
True
Let b(h) = 6*h**2 + 3*h - 4. Let u be b(2). Let d = -5 + u. Is d a multiple of 3?
True
Suppose 4*p - 3*p = -2*h + 3, h = 5*p + 7. Let i be 0*((h - 4) + 1). Suppose i*b = -b + 40. Does 8 divide b?
True
Let k be -24*(2 + (-6)/4). Let a be (-2)/4 + 222/k. Let l = a - -54. Does 12 divide l?
False
Let o be (-18)/10*(-40)/12. Let u = -9 + o. Is 9 a factor of (-3)/((-153)/48 - u)?
False
Suppose 4*c + 5*j = -0*c + 1075, 5*j - 810 = -3*c. Suppose -2*t - 2*y + 178 = t, 5*t - 3*y - c = 0. Does 7 divide t?
True
Suppose 0 = 26*q - 28*q + 20. Is -5 + q + -5 + 51 a multiple of 5?
False
Let o = -8 - -13. Let m(y) = 7*y**2 - 8*y + 7. Let c be m(9). Is c/o - 4/10 a multiple of 22?
False
Is 15 a factor of 94*3/24*4?
False
Let k(x) = x + 10 + 7 + 0*x + 0*x. Let m be k(-12). Suppose -3*s + 179 = 5*i, 5*s - m*i - 410 = -45. Is 13 a factor of s?
False
Let l = 381 + 995. Is l a multiple of 49?
False
Suppose 2*n - n = 154. Let i = -106 + n. Does 19 divide i?
False
Let n(a) = 49*a**2 - 5*a + 1. Let p be n(-2). Suppose 5*v - 5*o - p = 483, -v + 138 = -2*o. Is v a multiple of 31?
False
Suppose 0 = 4*y - 4773 + 1813. Does 37 divide y?
True
Let z(m) = -8*m - 11. Let x(w) = 129*w + 177. Let g(c) = 2*x(c) + 33*z(c). Is 5 a factor of g(-7)?
False
Suppose -b - 3 = -10. Let q = 63 - b. Is 8 a factor of q?
True
Is 16 a factor of (-1 - (-46)/(-6))*(-23 + -25)?
True
Suppose 3*m + 9383 = 5*b, 0 = 3*m + 2 + 1. Is b a multiple of 28?
True
Suppose 4*v + v = -2*l + 64, 3*l + 6 = v. Does 10 divide (22/(-1))/(v/(-6))?
False
Let c = 15 - -88. Is 15 a factor of c?
False
Let g be (-1)/(42/15 + -3). Suppose -42 = -g*t + 4*t. Is 21 a factor of t?
True
Is 44 a factor of 6/(-10) + 1 + 265320/450?
False
Suppose 0 = -5*h - 0*h + 15. Let q be 1 + (1 + h - 3). Suppose -4*a = 2*y - 42, -q*a - 5 = 5*y - 22. Is a even?
False
Let t(m) = -m + 9. Let v be (-2)/8 - (-4 + 10/(-8)). Does 2 divide t(v)?
True
Let l(o) = o - 1. Let f(w) = 16*w + 8. Let u(d) = f(d) + 3*l(d). Does 12 divide u(1)?
True
Let d = 4 - 7. Suppose 0 = -4*f + 21 - 5. Does 16 divide ((-12)/d)/(1/f)?
True
Suppose -3*l - a = -2 - 203, l - 5*a - 47 = 0. Is 8 a factor of l?
False
Let b = -77 + 131. Let d = b + -25. Does 21 divide d?
False
Suppose 2*r - 4*c - 216 = 0, -2*c = 5*r - 472 - 32. Does 2 divide r?
True
Let z = 200 - 117. Is 3 a factor of z?
False
Suppose l = -2*w + 2 + 3, -5*l = 2*w - 1. Suppose 81 = 6*j - w*j. Does 9 divide j?
True
Suppose -12*l + 39691 = 11275. Is 16 a factor of l?
True
Suppose -2*f - 16 = 2*f, -2*h + 164 = 2*f. Is 13 a factor of h?
False
Let m(t) = t - 66. Let i(f) = -f + 44. Let c(k) = 8*i(k) + 5*m(k). Is c(-10) a multiple of 13?
True
Let g(u) = -9*u + 798. Let w be g(0). Suppose 19*p = 13*p + w. Is 19 a factor of p?
True
Does 25 divide 18948/84 - (-4)/(-7)?
True
Suppose 4*r = -4*s - 32, 3*s - 2*r = s - 8. Let v be (-48)/(-9) - 4/s. Is 2 a factor of ((-10)/v)/((-95)/342)?
True
Let b be (1 - 19/4)/((-45)/1260). Suppose 102*n + 207 = b*n. Is 23 a factor of n?
True
Does 49 divide 2 + -904*3/(-6)?
False
Does 10 divide (-78 + (2 - 4))*6/(-4)?
True
Let x be (-86)/(-6) - (-44)/(-33). Let n be -7 + x + (0 - -1). Let o = n + 0. Is o a multiple of 7?
True
Let q be (-1)/(-8) - (-5610)/176. Suppose 14 = -3*f - 34. Is 1412/q + 2/f a multiple of 11?
True
Let s(w) = w**3 - 3*w**2 + 3*w - 43. Is 4 a factor of s(8)?
False
Suppose -43*y = 6987 - 33002. Does 5 divide y?
True
Let y(t) = -6*t - 2