7 - 1) + (9 - 11). Let f be (-20)/(b/(-24)*4/(-10)). Let j = 61 - f. Is 3 a factor of j?
True
Let o(w) = -113*w - 563. Suppose -7*p + 10*p = 4*i + 21, 2*p - 22 = 4*i. Is 47 a factor of o(i)?
False
Is 20 a factor of (565/3 + 0)*(-7 + 25)?
False
Let r be (-117)/(-6)*-1*(-80)/(-6). Let b = -78 - r. Is b a multiple of 13?
True
Let z(o) = 106*o - 1249. Is z(18) a multiple of 4?
False
Suppose 17 - 42 = -5*t. Suppose -5*c + 12 = -i, -t*i - c - 48 = -i. Is i/(-21) - (-8412)/28 a multiple of 43?
True
Let w be (1 - 1) + 6/(30/205). Let r = w + -27. Suppose 8*f = 7*f + r. Is f a multiple of 12?
False
Suppose 31*s = 30*s + 68. Suppose -67*w - 113 = -s*w. Is w a multiple of 14?
False
Suppose -19*u = -1404 - 1560. Is 12 a factor of u?
True
Let t be (10220/50)/((-18)/(-15) + -1). Suppose -20*c + t - 122 = 0. Is c a multiple of 3?
True
Let y(s) = 105*s + 49. Is y(14) a multiple of 7?
True
Suppose 0 = -43*y + 157 + 445. Let k(o) = 4*o**2 - 46*o - 23. Does 46 divide k(y)?
False
Let h(j) = j**2 + 26*j - 14. Let o be h(-27). Let k(c) = 17*c - 41. Let g be k(o). Let t = 260 - g. Is 5 a factor of t?
True
Suppose -2*m = -7 + 3. Suppose -5*k - 4*v = -21, -k + m*v - 7 = -0*k. Suppose i + k = 136. Is i a multiple of 27?
True
Let b(q) = 5*q**2 - q - 7. Let w = -53 - -56. Does 7 divide b(w)?
True
Let s(n) = 14 - 2*n**2 - 19*n + 4 + 2*n. Suppose -3*c + 4 = -2*j, 0 = 4*j + 3*c + 2*c + 52. Is 10 a factor of s(j)?
False
Let m(c) = 2575*c - 643. Is m(4) a multiple of 87?
True
Suppose 84 = c + 3*c - 4*o, -4*c = -2*o - 94. Suppose -c*b + 696 + 1904 = 0. Does 11 divide b?
False
Suppose 27*t + 4*h - 12706 = 22*t, -2*h - 10144 = -4*t. Is t a multiple of 11?
False
Let x be (5 - -2)*(-60)/(-14). Let a = x - 30. Suppose -5*n - 2*m + 54 = a, 4*m = 2*n - 1 - 35. Is n a multiple of 4?
True
Let o(a) = 2*a**2 - 82*a + 763. Is 11 a factor of o(47)?
False
Suppose 0 = -3752*w + 3742*w + 5950. Does 16 divide w?
False
Let p(j) be the second derivative of -3*j**5/4 + j**4/12 + j**3/6 + j**2/2 - 6*j. Let q be p(-1). Is (-2)/16*-2 - (-476)/q a multiple of 16?
False
Let t(h) = -91*h**2 - 117*h + 17. Let x(p) = 45*p**2 + 57*p - 8. Let u(m) = 4*t(m) + 9*x(m). Is 22 a factor of u(-6)?
False
Let n(d) = 20*d**3 + 204*d**2 + 3*d - 30. Is 37 a factor of n(-7)?
False
Let y = 619 - -4793. Is y a multiple of 22?
True
Suppose 0 = 3*c - 3 - 9. Suppose -f - 21 = -c*y, -1 + 8 = 2*y + 3*f. Suppose -y*l + 603 = 5*i - 7*l, 4*l - 367 = -3*i. Is i a multiple of 29?
False
Let l be (1 + -3)*(-5019)/(-21). Let x = -226 - l. Is x a multiple of 36?
True
Is (63/18)/(126/678168) a multiple of 15?
False
Let q(s) = s**2 + 2*s - 1. Let v(n) = -7*n**2 - 6*n + 1. Let z(u) = -3*q(u) - v(u). Suppose -2*c + 2 = k, -2*k - 3*k = -4*c + 46. Does 14 divide z(k)?
False
Suppose 0 = -m + 48 - 16. Suppose 3*i = -3, 3*i - 10 = -h + m. Suppose 0 = 9*y - 45 - h. Is 4 a factor of y?
False
Suppose 274 = u - 306. Suppose 0*w - 4*w + u = 5*f, -w = 3*f - 145. Is w a multiple of 5?
True
Let z = 23 - 7. Suppose -8*q + z*q = 1024. Does 7 divide q?
False
Suppose 2124 + 2816 = 5*a + 5*t, -3*a + 2*t = -2949. Suppose -6*b + a = -1073. Is b a multiple of 20?
False
Suppose -5*l = 43*g - 40*g - 5313, 5*l = -5*g + 8875. Is g a multiple of 13?
True
Suppose 0 = -3*c - 12, -2*s + 4*s = 2*c + 3374. Is 11 a factor of s?
True
Let s(p) = p**3 - 26*p**2 - 25*p - 51. Let q be s(27). Suppose 0*n - 1 = n, -q*c + 3*n = -2532. Does 38 divide c?
False
Suppose 5*w + 49915 = 3*r, 51*r + 3*w + 16629 = 52*r. Does 45 divide r?
True
Let x(m) = m**3 - 5*m**2 + 4*m + 2. Suppose -12 = -2*l - 0*h - 2*h, -5*l + 12 = -h. Let d be x(l). Does 38 divide (d/6)/(-5*(-6)/(-4095))?
False
Let u be (-4)/(-40)*-4 - 18/(-45). Is 12 a factor of (16 - -2)/(u + 3/2)?
True
Let x(k) = -k**3 + 9*k**2 + 15*k - 4. Let w be x(13). Let v = 905 + w. Does 70 divide v?
True
Suppose -24 - 12 = 6*v. Is 38 a factor of ((-523)/1)/(-3 + (v - -8))?
False
Let r(n) = -n**2 + 5*n + 15. Let b be r(4). Suppose b*s - 6840 = 4*s. Does 24 divide s?
True
Let j = -1751 - -1894. Does 54 divide j?
False
Suppose -12 = -a - 0*a + 2*k, -4*a - 2 = 2*k. Let d be 2368/6 + a/(-3). Suppose 4*m = 2*j - j + d, -4*j - 91 = -m. Does 13 divide m?
False
Suppose h = -l - 1, -3*h + 5 = 4*l + 9. Suppose d = -3*x + 28, h = 4*d - 5*x + 4 - 31. Is 2 a factor of d?
False
Let f(s) = 73*s + 2370. Does 10 divide f(8)?
False
Is 150 a factor of (-36)/(-24)*(-76)/6*(-67 - 826)?
False
Let s be (90/(-20))/((-267)/(-276) + -1). Let z = s - 34. Suppose -w = -5*j - z, 15 = w + 3*j - 65. Is w a multiple of 9?
False
Let z(v) = 9*v - 5. Let o be z(-1). Does 9 divide 114/133 - 2382/o?
True
Let w = -301 + 517. Let u be w/40 + 2/(-5). Suppose 0 = 2*s - 4*s - u*k + 127, 4*k = -3*s + 173. Is s a multiple of 7?
False
Suppose -2*l + 22668 = 2*a, -2*l = -3*a + 2*a + 11337. Is a a multiple of 227?
False
Let h = -89 - -94. Suppose h*g + 3 = -p - 7, 2*p = g + 2. Suppose -2*x - 7*x + 693 = p. Is x a multiple of 10?
False
Suppose 3*r - 2*d - 2822 = 0, 15*r - 11*r - 5*d - 3772 = 0. Does 12 divide r?
False
Is 68 a factor of 18815/1 + 2898/138?
True
Let s = -75568 - -116064. Is 18 a factor of s?
False
Let a = -443 + 448. Suppose 22*f - 17*f - 1721 = -2*w, 4*f = a*w - 4385. Is w a multiple of 16?
False
Let i(a) = a - 7 - 7*a + 6*a + a. Let l be i(3). Does 20 divide ((-466)/(-4) - 2) + 6/l?
False
Let z = 1216 + -646. Suppose -5*w - z + 845 = 0. Is w even?
False
Is 25 a factor of (-6)/(-39) + 45392/26 + 1?
False
Let z = 34578 - 6552. Does 9 divide z?
True
Let b be 875 - (-2 - -2) - -2. Suppose 0 = -k - 5*i + 188, 5*k = -6*i + 2*i + b. Let d = k - 101. Is 13 a factor of d?
False
Let g = -184 + 190. Suppose -j = -g*j + 3*c + 972, j + 4*c = 199. Is 15 a factor of j?
True
Suppose 98 = -0*i + 7*i. Let t be (i*3)/2 - 4/(-2). Let h = 35 - t. Does 10 divide h?
False
Let g(y) = 29*y**2 + 48 + 5 - 2 - y**3 + 14 - 12 - 5*y. Is g(27) a multiple of 14?
False
Let f = -317 - -205. Let y = f + 157. Let n = y + 10. Is n a multiple of 17?
False
Let a(q) = 313*q + 3826. Does 7 divide a(-5)?
True
Let k = 78 + -90. Is 29 a factor of k/(-4) + -9 - -296?
True
Suppose -3*p = 3*p - 504. Suppose -5*i - p + 104 = 0. Suppose 0 = -a + i, z - 3*a + 6 = 0. Is 3 a factor of z?
True
Suppose m = -j, -5*m + 8*j = 4*j - 18. Let v(s) = 67*s**2 - 16*s + 38. Is v(m) a multiple of 39?
False
Suppose 4*p + 3*l = -20, -2*p - 22 = 3*p + 3*l. Let d be p/(-14) + (-1538)/(-14) + 0. Is d/4*(-2)/(-3)*6 a multiple of 17?
False
Let c = -983 + 4450. Is c a multiple of 122?
False
Suppose 38*t - 372940 = -0*t + 282256. Does 19 divide t?
False
Suppose -a = -2*n - 1862, -a + 2000 = -3*n - 793. Let m = -520 - n. Is m a multiple of 11?
False
Suppose -8*u = -21*u + 897. Let n = 186 - u. Does 13 divide n?
True
Suppose 3*q + 4*i - 64 - 4 = 0, -q = -2*i - 16. Is 3 a factor of ((-42)/3)/(-1) - 80/q?
False
Let r(j) = -418*j + 418*j + 74 - 4*j**2 + 0*j**2. Does 2 divide r(0)?
True
Let x(t) = 165*t**2 - 2*t. Let i(r) = 165*r**2 - 2*r - 1. Let y(c) = -2*i(c) + 3*x(c). Is y(1) a multiple of 33?
True
Suppose -259 = -2*b - 19 + 3162. Is 7 a factor of b?
True
Suppose -4*z + 728 = 720. Suppose 2224 = 2*x + z*x + 4*a, -3*a - 9 = 0. Is 13 a factor of x?
True
Let u(h) = h**2 + 5*h - 32. Let r(i) = -11 + 3*i**2 + 18*i - i**3 - 14*i**2 + 17*i**2. Let k be r(8). Is 15 a factor of u(k)?
False
Suppose -4*c + 56 + 16 = -3*m, 2*c - 4*m - 36 = 0. Suppose -26*z + c*z + 24 = 0. Suppose 4*u + 201 = r, 4*r + z*u = -u + 844. Is r a multiple of 15?
False
Let n(l) = -l**2 - 11*l - 13. Let m be n(-9). Suppose m*g - 1956 = g. Suppose 0 = 4*f - 307 - g. Is 36 a factor of f?
False
Let a(t) = 3*t + 16. Let h(j) = -j**3 - 10*j**2 - 2*j - 18. Let z be h(-10). Suppose -z*x - 13 = l, -3*x - 2*l - 32 = 2*l. Is 4 a factor of a(x)?
True
Let l(q) = 738*q + 2913. Does 105 divide l(9)?
True
Let o(t) = 7042*t - 8378. Is 75 a factor of o(6)?
False
Let t = -12 + 6. Let m(y) = -3*y + 4*y + 28 + 41269*y**2 - 7*y - 41270*y**2 - 3. Does 24 divide m(t)?
False
Let q(c) = -c**3 - 6*c**2 - 6*c + 2. Let x be q(-6). Let w = -38 + x. Suppose 3*y - 51 - 3 = w. Does 9 divide y?
True
Let q = -1124 - -2364. Is 62 a factor of q?
True
Suppose -31*k + 390489 = -146586. Is 11 a factor of k?
True
Let u(z) = 15*z - 27. Let m(s) = -14*s + 28. Let d(o) = 4*m(o) + 5*u(o). Let y(g) = -6*g + 8. Let h(n)