12. Let t be d(l). Suppose -9*m + 4*m - 2*r + t = 0, 5*r = 10. Is 4 a factor of m?
True
Does 5 divide 2 + (-16 - -2) - -697?
True
Let m(f) = -3*f**3 + 4*f**2 - 3*f + 3. Let a be m(-4). Let i = -149 + a. Let y = 218 - i. Is y a multiple of 48?
True
Suppose -j = o - 8836, -3*o - 22*j + 26472 = -28*j. Is o a multiple of 69?
True
Is 51 a factor of 8996 - (15 - (13 - 20))?
False
Let i(k) = -654*k - 75. Does 22 divide i(-1)?
False
Suppose -6*g = 14*g + 120. Does 38 divide (181 + (-54)/g)*(-12)/(-15)?
True
Let x(y) = -y**2 + 7*y + 6. Let k be x(6). Let f = -775 + 991. Suppose 3*h - k*h + f = 0. Is 8 a factor of h?
True
Suppose 0 = 5*r - 242 + 192. Suppose -151 = r*c - 711. Is c a multiple of 7?
True
Let z = -258 - -1306. Is z a multiple of 41?
False
Let g be (6/11)/((-29)/(-319)). Is g/((-2)/1*-1) even?
False
Suppose -3*y = -m + 749, 5*y - 667 - 886 = -2*m. Is 3 a factor of m?
False
Let g be -3 + 7 + 2 + -2 + 3. Suppose g*u = 18*u - 792. Is 24 a factor of u?
True
Suppose 0 = -i + 49 + 1. Suppose 5*d - i = -f + 72, 0 = d - 4*f - 37. Suppose -3*g - 4*w + 112 = d, -116 = -4*g - 4*w. Is g a multiple of 4?
False
Let b = 18267 - 12827. Suppose -12*f + 1880 = -b. Does 61 divide f?
True
Let g(t) = 5*t**2 + 3*t + 4. Let d be g(-1). Suppose -a - d*z + 172 = -5*z, a - z - 168 = 0. Is a a multiple of 13?
False
Let m(y) = 3*y**3 - 8*y**2 - 6*y + 8. Let v be m(4). Let n = v + -88. Is (-16)/n + 954/15 a multiple of 32?
True
Suppose 32*b + 9*b - 205 = 0. Suppose -b*v - f - f + 431 = 0, -5*v = 3*f - 429. Is v a multiple of 7?
False
Suppose 0 = 5*g - 8*g + 81. Let w = 32 - g. Suppose 3*v + 5*k - 29 = 0, w*v + k = 15 + 4. Is v a multiple of 3?
True
Let o(j) = -j**3 + 22*j**2 + 17*j + 75. Let n = -140 + 162. Does 50 divide o(n)?
False
Suppose -3*v - 111 = 4*t, -12 = t - v + 7. Does 2 divide (-800)/t*12/8?
True
Let x be 8/(-28) - (-282)/7. Suppose 0 = 8*c - 153 - 871. Let j = c + x. Is 21 a factor of j?
True
Suppose -2*l - 3*c = -9623, 3157*l - 3160*l + 14434 = 4*c. Is 13 a factor of l?
True
Suppose 41*y - 128095 = -14*y. Is y a multiple of 57?
False
Let b be 18/2*(388 - (1 + 0)). Is 13 a factor of 4*b/21 + (-12)/28?
True
Suppose -p + 0*r - 2*r = 12, -4*p - r = 55. Suppose 0 = 25*g - 852 - 498. Let h = p + g. Is 20 a factor of h?
True
Let p(s) = -1168*s + 2879. Does 57 divide p(0)?
False
Let y(w) = w**3 + 41*w**2 + 76*w + 37. Let q(c) = -38*c**2 + 15*c - 16. Let k be q(1). Is 68 a factor of y(k)?
False
Let t(a) = 209*a + 3475. Is t(-5) a multiple of 10?
True
Suppose -5*v = z - 5215, -4*z = -v - 6162 - 14593. Is 102 a factor of z?
False
Let c = -100 + 124. Suppose -c*r = -16*r - 1144. Is 11 a factor of r?
True
Suppose 15*q + 35*q = -7*q + 264936. Does 8 divide q?
True
Is 3587 + (3/5 - ((-2052)/(-30))/19) a multiple of 16?
True
Let v(k) = 13*k - 13. Let i be v(7). Suppose 45 = -i*u + 77*u. Let x = u + 66. Does 4 divide x?
False
Let x be 3 - (-4 - 38/2). Let g = x - 98. Is -3 + (1*g)/(-2) a multiple of 31?
False
Suppose 4*u - 97568 = 12*q - 14*q, -2*q = 12. Is u a multiple of 119?
True
Let g = -2024 - -13154. Is g a multiple of 82?
False
Let y = -9 - -13. Suppose y*b + 8*o - 5*o + 48 = 0, o + 26 = -2*b. Is (90/75)/((-2)/b) a multiple of 3?
True
Let a be ((-35)/2)/((-2)/(-4)). Let c = -284 - -313. Let t = c - a. Is 8 a factor of t?
True
Let j = -12 - -18. Suppose 0*d - 3*d - 21 = -4*a, -a + d = -j. Suppose -a*k = 4*o + 2*k - 560, -140 = -o + 4*k. Does 28 divide o?
True
Let a be (-44)/(-6) - (-12)/(-360)*10. Is 60 a factor of ((-254)/(-5))/((-6)/(-210)*a)?
False
Is 74 a factor of (12/(-18)*296)/(3/(-117))?
True
Suppose 74*j + 34*j - 765 = 23*j. Is j a multiple of 8?
False
Suppose -15 = -4*w - w. Suppose -4*u - 159 = w*q, 5*u = 3*q - 6*q - 198. Let g = -22 - u. Is g a multiple of 2?
False
Let j = -4034 - -8484. Is j a multiple of 20?
False
Let p = 341 + -262. Suppose -854 = p*l - 86*l. Does 7 divide l?
False
Let o(s) = 5*s**2 - 33*s + 487. Is 9 a factor of o(-26)?
True
Suppose 4*x - 5*s = 1842, 3*x + 3*s - 852 = 516. Let g be (-3)/(-9) + x/3. Let j = g + -100. Is j a multiple of 8?
False
Suppose -o + 3853 = -2*s, 3*s + 15377 = -61*o + 65*o. Is 11 a factor of o?
True
Let i = 964 - -1878. Suppose -i = l - 15*l. Is l a multiple of 22?
False
Let i(g) = -2*g - 32. Let d be i(-16). Let o be d + (-3 - -14) + -1. Suppose -327 - 663 = -o*t. Is 10 a factor of t?
False
Let w be 4 + (-6)/(-14) + (-6)/14. Suppose -8 = a - i - i, -5*a + 3*i = 5. Suppose 5*z - 197 = -a*g + 472, 543 = w*z - g. Does 26 divide z?
False
Let y = 109 + 927. Is 3 a factor of y?
False
Let o(d) = -3 - 3 + 8*d + 3*d**2 + 13*d**2. Let n be (-20)/((-180)/153) + -14. Is 49 a factor of o(n)?
False
Let i = 115 + -40. Suppose h - 537 = -i. Let p = h + -312. Is p a multiple of 40?
False
Let d(z) be the third derivative of z**5/10 - 2*z**3 - 31*z**2. Does 14 divide d(-3)?
True
Let o be 18/(-27) - ((-14)/3 + 0). Let w(u) = u**2 - 3*u - 5. Let a be w(o). Is (4 + 565/(-10))*(-1 + a) a multiple of 26?
False
Suppose -5*p = -u + 17, 0*p + 29 = -3*u - p. Let j(v) = 69*v**2 - 6 - 67*v**2 - 5 + 9*v. Does 15 divide j(u)?
True
Let p = 145 + -246. Does 5 divide (-28)/4 + 11 - p?
True
Suppose -11*n + 6*n + 130 = 0. Suppose -5*v + 28 = 4*w - n, -3*w - 2*v = -44. Suppose -w*g = -19*g + 102. Does 12 divide g?
False
Suppose -3*m - v + 48763 = 0, 0 = 2*m - 4*v - 22280 - 10224. Is 21 a factor of m?
True
Let y(z) = z**3 + 2*z**2 + 3*z + 3. Let l be y(0). Let p = l + 46. Is 30 a factor of p?
False
Suppose -t + o + 4 = 0, 13 + 31 = 3*t + 5*o. Let z be ((-8)/(-3))/((-7)/((-84)/t)). Suppose -v - 197 = -5*g + 104, -z*g + 2*v + 242 = 0. Is 5 a factor of g?
True
Suppose 4*z + 8 = 0, 2*b - 6*b + 4 = -2*z. Suppose 4*k + 5*t = t + 212, b = t - 2. Let d = -14 + k. Is 8 a factor of d?
False
Let o(y) = -138*y**2 + 7*y - 2. Let b be o(1). Let g(r) = r**3 - 3*r**2 + r - 4. Let k be g(-3). Let s = k - b. Does 36 divide s?
True
Suppose 288 = -5*h + 17*h. Suppose -h*v - 4913 = -18353. Is v a multiple of 56?
True
Suppose -135*n = -884766 - 459356 - 3035683. Does 84 divide n?
False
Suppose 0 = -2*f + 60 + 40. Let u = 52 - f. Is 25 + (3 - 3 - u) a multiple of 4?
False
Let q = -25035 + 35427. Is q a multiple of 21?
False
Let p = 119 + -116. Suppose 4*g + 577 = p*y, 7*y + 816 = 11*y + 4*g. Is y a multiple of 10?
False
Suppose -33728 - 21096 = -22*j. Is 178 a factor of j?
True
Let q(l) = -l**3 - 2*l**2 + 11*l + 5. Let d be q(-5). Let u be (-1 - 1)*d/(-10). Suppose 2*z - 267 = -u*w, z + 4*w + 412 = 4*z. Is z a multiple of 28?
False
Let d be (-1)/(-16)*-6 - (-1700)/(-160). Does 18 divide 126/1*(7 + d - -5)?
True
Let x = -184 - -172. Does 27 divide (-1 + -1)/(x/(-27))*-78?
True
Does 3 divide (9150/3)/((-78)/(-24) - (-15)/(-12))?
False
Let j(l) = 60*l + 76. Let w(d) = -21*d - 25. Let i(p) = 5*j(p) + 16*w(p). Is 8 a factor of i(-3)?
True
Let b = -3116 + 6975. Is 17 a factor of b?
True
Suppose 8*v = -1366 + 48755 + 2435. Does 173 divide v?
True
Let d(h) be the third derivative of h**6/48 - 3*h**5/20 + 5*h**4/8 - 16*h**2. Let z(p) be the second derivative of d(p). Is z(5) a multiple of 11?
False
Let l(t) = 7*t + 58. Let i(r) = r**2 - 4*r - 8. Let u be i(4). Let s be l(u). Suppose g - s = 0, 0 = 4*d - 5*g - 62 - 288. Is d a multiple of 6?
True
Let f(j) = -123*j**3 + 14. Is f(-3) a multiple of 25?
False
Suppose 12*a = 11*a + 4. Suppose 0 = -5*v - 5*n - 55, 3*v + 0*v - a*n + 40 = 0. Let u = 33 + v. Does 7 divide u?
True
Let n(y) = 11*y**2. Let x be n(1). Let v be x/2 + 1/(-2). Suppose -v*g = -4*k - 287, -5*g + 8*k = 3*k - 285. Does 21 divide g?
False
Suppose 2*k = k - 1, -4*i - 34 = 2*k. Suppose 0 = 5*q - 2 - 3. Does 10 divide (28/i + q)*-4?
True
Suppose 4*o + 2*h = -14, 5*o + 27 = -4*h + 5. Let q(u) = u**2 - 7*u + 11. Let l be q(-7). Let a = l - o. Is 27 a factor of a?
False
Suppose 10386 = 2*s - 2*d, 4*s - 26032 + 5270 = -d. Is 4 a factor of s?
False
Let o = -253 + 257. Suppose -8*m - 394 = -11*m - 5*u, -o*m + u = -556. Is 13 a factor of m?
False
Let h be -5 - -4 - (1 - 4). Suppose p - h*p + 9*p = 0. Suppose p = -3*d - 2*d + 1525. Is d a multiple of 11?
False
Let k = 237 + -113. Let p = 200 - k. Does 3 divide p?
False
Let d(u) = -6*u**3 + 26*u**2 + 9*u + 9. Let k(z) = -5*z**3 + 23*z**2 + 9*z + 10. Let r(l) = -4*d(l) + 5*k(l). Let t = -25 - -35. Does 15 divide r(t)?
False
