divide f(7)?
True
Does 2 divide 29 + -34 - 138*2/(-3)?
False
Suppose -9*w - 4 = -10*w. Suppose -2*q + 380 = k, -4*q = -6*q + w*k + 390. Let l = q - 107. Is l a multiple of 14?
True
Let i(m) = 5*m**3 + 13 + 6*m**2 - 454*m + 454*m. Is i(5) a multiple of 38?
False
Let d be 16/(-104) - (-706)/26. Suppose 0*u + 4*m + d = -u, -u + 8 = -3*m. Is 164/(-8)*(u - -3) a multiple of 36?
False
Suppose 84567 = 13*t - 10*t + 9*v, 2*t - 56358 = 4*v. Does 17 divide t?
False
Suppose 51 = 5*h + 16. Let b be (-8188)/(-4) + 0 + 0. Is 13 a factor of b/161 + 2/h?
True
Suppose 952848 = 100*z + 248465 - 4079617. Is z a multiple of 13?
True
Let l = -2975 + 3061. Is l a multiple of 3?
False
Let n(m) = -30*m**3 - 11*m**2 - 10*m. Let g be n(-2). Is 12 a factor of 3/(-4) - (-82674)/g?
False
Suppose -c + 20206 = 2*l, -c = 2*l - 7*l + 50501. Suppose -8*u = -21*u + l. Is u a multiple of 15?
False
Suppose 3*w - n + 4 = 8*w, -4*w - 2*n + 8 = 0. Let t be (2 + -3 + 161)*(w + 2). Let b = t + -223. Is b a multiple of 9?
False
Let t = -430 - -356. Is 9 a factor of ((-2)/4)/(t/70596)?
True
Let p be 6*(-2)/(-4)*(-6)/(-6). Suppose -p*s + 0*j = 4*j + 179, 167 = -3*s + 2*j. Let u = -37 - s. Is u even?
True
Let m = -14730 + 24502. Is 7 a factor of m?
True
Let w be (11/(-44))/(3/(-24)). Let u be (4 - 5)*-1 - (w - 5). Suppose -3*r = 0, 2*r = -4*l + u*r + 448. Is 19 a factor of l?
False
Suppose -2*k - k - 2 = 4*q, -4*q = -16. Let y = k - -6. Suppose 0 = -x, x + 192 = 2*p - y*x. Is 24 a factor of p?
True
Let t = -5778 - -30760. Is 96 a factor of t?
False
Suppose 0 = -441*w + 478*w - 375365. Is 15 a factor of w?
False
Suppose -94*s - 2555 = -4*x - 99*s, 2*x - 1275 = -3*s. Let z = -603 + x. Is z a multiple of 14?
True
Let v = -11642 - -14304. Is v a multiple of 13?
False
Let c = -70 - -2. Let r = -32 - c. Let m = -15 + r. Does 7 divide m?
True
Suppose 142*d = 1825759 + 272007. Does 10 divide d?
False
Let f be (3/6)/(3*3/72). Suppose 6*r - r = f*i - 80, r = -3*i + 79. Suppose l = -4*q + i, -4*q + 3 = -q. Does 6 divide l?
False
Suppose 16*s = 24*s - 120. Is 3/(9/s) - -425 a multiple of 16?
False
Let i = 11 + -8. Let g be i/(-27)*3 + (-1670)/(-6). Is -1 + g/6 - (-1)/(-3) a multiple of 13?
False
Suppose 11735 = 94*o - 8818 + 1847. Is o a multiple of 3?
False
Let x(z) = 16*z - 26. Let k be x(-13). Let u = k + 319. Does 17 divide u?
True
Let r be (5/3)/((-56)/(-5040)). Let x = r - -136. Is 22 a factor of x?
True
Suppose -230202 = 92*q - 179*q. Is q a multiple of 49?
True
Suppose -3*h + 464 + 1669 = 0. Suppose -2*w + 965 + h = 0. Is w a multiple of 18?
False
Let y(c) = -c**3 - 9*c**2 + 13*c + 30. Let z be y(-10). Suppose 2*p + q + 80 = 236, 5*p - q - 390 = z. Does 39 divide p?
True
Let m = 299 - -499. Suppose 4*g - 2*v - 980 = 0, 4*g - m - 186 = v. Is g a multiple of 13?
True
Let w = -315 - -455. Let a be (-381)/19 + 26/494. Let v = w + a. Is 15 a factor of v?
True
Suppose 0 = -70*q + 54*q + 101024. Is q a multiple of 7?
True
Let n(l) = 1162*l**3 - 7*l**2 + l - 13. Is n(3) a multiple of 144?
False
Let z(p) = p + 1. Let w be z(4). Let x = -15 - -272. Suppose -2*k - a + x = 0, -276 = -4*k + w*a + 231. Is 23 a factor of k?
False
Suppose -21*y = 64 + 104. Is 69 a factor of -1*(-1287 + (-4 - y))?
False
Let s be (32/96)/((-2)/(-6)). Does 9 divide 312 - (4 + (-6 - s))?
True
Let k = 62 + -41. Let u = -4873 - -2367. Is 38 a factor of u/k*12/(-8)?
False
Let s(j) = 30*j**2 - 1492*j - 5. Is 51 a factor of s(64)?
True
Suppose -15 = -6*v + 3*v, 0 = -4*m + v + 151. Let d = m - 35. Suppose -5*x + 369 = -d*w, 1 = 2*w - 7. Is x a multiple of 46?
False
Let t = 56 - 28. Let x = t + 32. Suppose 2*o + x = 6*o + b, -2*o + 36 = 2*b. Is 3 a factor of o?
False
Is 20 a factor of 47*(-3 - (7 + -118 + -1))?
False
Let i(v) = -v**2 - 22*v + 9. Let z be i(7). Let d = 285 + z. Is 31 a factor of d?
False
Suppose 101459 = 6*h + 13985. Does 50 divide h?
False
Suppose 212 = -2*z + 4*c - 8*c, 3*c - 517 = 5*z. Let s = z + 139. Does 3 divide s?
False
Suppose 11*d = 14*d - 6. Is 7 a factor of (1288/(-12))/(d*(-2)/6)?
True
Let n be -13 - ((-156)/38 + 8/76). Let u(h) = -h**3 - 8*h**2 - 6*h - 25. Does 20 divide u(n)?
False
Suppose 5*p - 5986 - 23084 = -5*o, 3*o + 2*p - 17446 = 0. Suppose -15*w - 1693 = -o. Is 11 a factor of w?
True
Let q = 536 + -221. Suppose 4*h = 1453 + q. Is 20 a factor of h?
False
Let a be ((-14)/(-4))/((-1)/10). Let i(x) = -x**3 - 35*x**2 + 18. Does 18 divide i(a)?
True
Suppose -178*h + 183*h - 2135 = 0. Let i = h - 275. Is i a multiple of 22?
False
Let m(r) = 2*r. Let n be m(6). Suppose -2*k = -0*k - n. Is 15 a factor of ((-3)/k + -4)*-30?
True
Suppose 0 = -6*j + j - 2*d + 119, 0 = -j - d + 22. Suppose 2*b + 0*b - 522 = 2*i, 5*i = j. Is 14 a factor of b?
True
Let p(r) = 180*r**2 + 19*r - 35. Let a be p(2). Let o = a + 277. Is o a multiple of 25?
True
Let x be -2 + (0 - 4)*(2 - 3). Suppose x*d + 51 = 5*k - 115, 5*k + 2*d = 154. Suppose 2*y - 274 = -k. Is 20 a factor of y?
False
Let x be (22/4)/((-13 + 11)/(-196)). Suppose -66*q = -55*q - x. Is q a multiple of 49?
True
Let s be (-36)/(-378) - (-61)/21. Suppose 4*h + s*m = 168, 2*m = -0*h - 2*h + 86. Is 13 a factor of h?
True
Let f(i) be the second derivative of 421*i**4/12 + i**3 + 3*i**2 + 18*i. Let l be f(-1). Suppose -l = -4*o - 93. Is 41 a factor of o?
True
Let a(l) = -37*l - 10. Let v(s) be the second derivative of -s**5/20 - s**4/2 + s**3/6 + 3*s**2/2 - 11*s. Let g be v(-6). Is 21 a factor of a(g)?
False
Let i(q) = 7*q**3 + 13*q**2 - 44*q + 25. Does 65 divide i(9)?
True
Let s(u) = 48*u**2 + 258*u + 20. Is s(-10) a multiple of 40?
True
Let o = -5536 + 1549. Is 11 a factor of o/(-33) - (-16)/88?
True
Suppose 0 = -7*n + 1112 + 1422. Suppose -3 = -o - 8, -3*q + n = -o. Is 19 a factor of q?
False
Let g be (-252)/54*9/(-6). Suppose -2*i = g*j - 11*j - 636, -1272 = -4*i + 3*j. Does 14 divide i?
False
Suppose 0 = w + 3*i - 1889, 5*w - 5779 = 4*i + 3818. Is 5 a factor of w?
False
Let t be (3 - -3)*218/4. Suppose -12 = x - t. Is x a multiple of 63?
True
Suppose -12*u - 9 - 3 = 0. Let n(o) = 94*o**2. Let y be n(u). Suppose -3*v = -5*c + 92 + 151, -y = -2*c - 2*v. Does 16 divide c?
True
Let h(b) = -11*b - 2. Let w be h(-2). Let s(a) = 63 + 33 + w*a - 26*a + 110. Is s(0) a multiple of 45?
False
Suppose -8*k - 768 + 3424 = 0. Suppose o + 0*o = k. Does 19 divide o?
False
Let u(a) = -a**2 + a + 19. Suppose -220 = -4*w + 36. Let c = w + -64. Does 2 divide u(c)?
False
Let j(o) = -o**2 - o + 101. Let d(i) = -1. Let w(k) = 5*d(k) + j(k). Suppose 4*y + 4*r = -r - 15, 2*y = 3*r + 9. Is 24 a factor of w(y)?
True
Suppose 6 = 8*f - 10. Let d be (-7)/14*(-26 - f). Does 15 divide (-4)/d - (-636)/21?
True
Let t be (-1 + -3)/(7/(-5) + 1). Is 29 a factor of 9/6 - (-825)/t?
False
Let y(f) = 1118*f - 2188. Is 12 a factor of y(2)?
True
Let a(l) = l**2 - 8*l + 12. Let b be a(8). Suppose 2*z = 5*u - 4*u - b, 3*z - 3*u + 12 = 0. Let p(y) = -y**3 - 6*y**2 + 8*y - 16. Does 24 divide p(z)?
True
Let b(y) = -11*y**2 - 16*y - 25*y - 9*y**2 + 19*y**2 - 88. Is b(-33) a multiple of 44?
True
Let s(r) = 7010*r + 113. Is 47 a factor of s(4)?
True
Let x(j) = -j**2 - 6*j - 4. Let c be x(-5). Let n be 30/(-300) + (-9)/10 + 2. Is 10 a factor of n*(59 - -5 - c/(-1))?
False
Let y(n) = 5*n + 26. Suppose 0 = -3*t - 3, 5*q + 343 + 22 = -5*t. Let l = q + 80. Is y(l) a multiple of 9?
False
Suppose 4*f + 661 = -119. Let h = -121 - f. Does 3 divide h?
False
Let a(i) be the second derivative of i**4/12 + 5*i**3/3 - 7*i**2 + 19*i. Suppose 5*p - 56 = 4*o, 6 - 20 = o - 5*p. Is a(o) a multiple of 14?
True
Let k = 3643 + -3603. Suppose c = 3*w + w + 1697, 4*c - 838 = 2*w. Is (4 + 0)/((k/w)/(-4)) a multiple of 35?
False
Let r = 88 - 88. Suppose 4*l + 7*l - 825 = r. Is 25 a factor of l?
True
Suppose -6*g = -22 - 38. Suppose -48 + 228 = -g*i. Is 258/i*-9 - (1 + -4) a multiple of 33?
True
Let o(v) = 173*v + 7. Let w be o(-2). Let f = -139 - w. Suppose 3*i - 2*g = f, -3*g - 8 - 187 = -3*i. Does 24 divide i?
False
Let m(b) = b**3 + 8*b**2 - b - 9. Let d be m(-8). Let w = 44 + d. Suppose w = l - 50. Is l a multiple of 36?
False
Let u(y) = y**2 - 4*y + 4. Let r(t) = -2*t + 13. Let a be r(4). Let p be u(a). Suppose p*n = 102 + 78. Is n a multiple of 5?
True
Let c(s) = 6*s + 117. Let m be c(-19). Is 54 a factor of 2 + m + -1 + (3 - -198)?
F