s ((-27)/45 - (-2)/(-5)) + 64 a multiple of 35?
False
Let i(p) = 69*p**2 - p + 3. Does 43 divide i(2)?
False
Suppose -3*h + 2*y + 11 = 0, 5*h = -0*y - 5*y + 35. Suppose h*f - 360 = -f. Is f a multiple of 7?
False
Suppose -5*o = -0*o - 25. Suppose 5*r = -5*n + 460, 0 = 3*r - r - o*n - 219. Is r a multiple of 21?
False
Is 8 a factor of 152703/76 - (-30)/(-24)?
True
Let i = 231 - -309. Suppose -8*z + 3*z + i = 0. Is z a multiple of 13?
False
Let w(d) = 395*d + 2. Does 9 divide w(1)?
False
Let z(o) = -3*o**3 - 3*o + 4. Let h(j) = -7*j**3 - 5*j + 7. Let c(q) = 3*h(q) - 5*z(q). Let y be c(1). Is 9 a factor of (90/y)/(-2 + 0)?
True
Let h be (-2)/(-6)*(-27 + 0). Let k = h + 189. Is k a multiple of 30?
True
Suppose 0 = -8*f + 7*f. Suppose -j - j + 2*b = f, 4*j - b = 9. Suppose 4*a - 306 = -j*h, -5*h = 2*a - 0*h - 160. Is a a multiple of 25?
True
Suppose -7*v = -10*v - 42. Let c = v + 45. Does 23 divide c?
False
Suppose -15*h = 4*x - 12*h - 1660, 3*x = h + 1232. Does 49 divide x?
False
Let s = -87 + 90. Suppose -5*q = -z - 172, -q - 4*q - s*z + 184 = 0. Is q a multiple of 3?
False
Let i(v) = -v**3 + 9*v**2 + v - 4. Let u be i(8). Suppose 97 = 2*l + l + r, 0 = -2*l + r + u. Is l a multiple of 33?
True
Is (62/(-4))/(6/(-24)*2) a multiple of 12?
False
Let d(v) = 71*v - 39*v - 1 + 0 - 37*v + 37*v**2. Does 36 divide d(-2)?
False
Let j be (-47)/(-5) - 22/55. Suppose 5*d + 240 = j*d. Let t = 84 - d. Is t a multiple of 12?
True
Let f(h) = 4*h**2 + 28*h + 13 - 2*h**2 - 18*h + h**2. Suppose m = -0*m - 4*t + 6, 5*m - 5*t + 45 = 0. Is f(m) a multiple of 17?
False
Suppose -19*f + f = -1008. Does 14 divide f?
True
Let p = 10 + 1. Suppose -p*w = -7*w - 8. Suppose -4*b + 4*n + 48 = 0, w*b - 23 = -0*n + n. Does 6 divide b?
False
Let h(z) = -190*z + 114. Does 39 divide h(-15)?
True
Let g(x) = -x + 13. Let l be 300/(-35) + -3 + (-3)/7. Is 3 a factor of g(l)?
False
Suppose 20 = 4*b, 5*n + 0*n = b + 1345. Is 30 a factor of n?
True
Let a be -1*(2 - (-124)/(-4)). Suppose 2*c = 3*v - a, 0 = -4*v - 5 - 7. Let r = c + 124. Is r a multiple of 27?
False
Let q = -130 - -192. Is 12 a factor of q?
False
Suppose -314*q + 994 = -312*q. Is 12 a factor of q?
False
Let c(q) = 18*q**2 - 9*q. Does 13 divide c(8)?
False
Let f be 48*((-4)/(-10) + 93/30). Suppose 14*k = 11*k + f. Is k a multiple of 8?
True
Let z(w) = -w**3 + w + 248. Let i be z(0). Suppose -2*p + i = d, 3*d - 588 - 163 = p. Is 12/54 + d/9 a multiple of 10?
False
Let i(f) = -2*f**2 - 4*f. Let l be i(3). Let a = 44 + l. Does 3 divide a?
False
Let y be 1/5 + 2/(-10). Suppose -3*d + y*d + 4*s = 36, 4*s = 5*d + 60. Is (9/6)/((-2)/d) a multiple of 3?
True
Let o = 388 - 158. Is 10 a factor of o?
True
Let x(r) = 2*r**2 + r - 4. Let t be x(-2). Is (-40)/(-1)*(-2 - t - -5) a multiple of 2?
True
Let n = -688 + 808. Let y be 2/((-27)/(-28) - 1). Let z = n + y. Is 16 a factor of z?
True
Let s(z) = -10*z + 6*z**2 + 0*z**3 - 11 + 4*z**3 - 3*z**3. Let w be s(-6). Let a = w - -5. Does 27 divide a?
True
Let y be (-12)/8 + 9/6. Suppose d - 5*p - 19 = y, 1 = -2*p - 1. Does 6 divide d?
False
Let t(p) = -2*p**3 + 83*p**2 - 5*p - 36. Is t(41) a multiple of 30?
True
Let s = 97 - 91. Suppose -18 = -3*i + i. Does 9 divide (5 - s)*-2*i?
True
Is 18 a factor of -2 + 5 + 0 + 87?
True
Let s(r) = 3*r**2 - 33*r + 48. Is 14 a factor of s(-15)?
True
Let w = 2 - 0. Suppose -w = -j - o, 3*j - 3*o - 6 = o. Suppose 0 = -j*u - 37 + 193. Is 26 a factor of u?
True
Let l(y) = -y**3 + 4*y**2 - 2*y - 1. Let t be l(2). Suppose q - t*q - 120 = -x, -2*x + 5*q + 235 = 0. Let s = x + -66. Does 23 divide s?
False
Suppose 3*m = -4*o + 8828, 0 = -3*m + 5*o - 110 + 8974. Is m a multiple of 39?
False
Let n = 260 + -141. Suppose 137 + n = 4*w. Suppose -2*i = -0*i + 4, -i = -2*p + w. Is p a multiple of 6?
False
Suppose 481 = 13*p - 104. Does 45 divide p?
True
Is (-34)/(-119) - 472/(-14) a multiple of 3?
False
Let f(w) = -w + 4. Let v be f(-1). Suppose -2*z - z = -v*h - 165, -3*h + 9 = 0. Is z a multiple of 11?
False
Let q be (-50)/1*6/4. Suppose 90 = 3*m + 2*t - 2, -5*t = 5*m - 155. Is 7 a factor of 276/10 - m/q?
True
Let y = -19 - -51. Let v(h) = h**3 + 18*h**2 + 1. Let m be v(-18). Does 13 divide 25*m + y/8?
False
Is 51 a factor of (5 + -24)/(2/(-10))?
False
Suppose i = -5 + 2. Is 3 a factor of (-34)/i*3 + -7 + 3?
True
Let v(x) = -5*x**2 + x + 78. Is 3 a factor of v(0)?
True
Let g(x) be the second derivative of -31*x**5/20 - 5*x**4/12 - 3*x**3/2 - x**2/2 + 5*x - 8. Is g(-2) a multiple of 19?
False
Suppose -p + 7440 = 3*l, -12400 = -15*l + 10*l + p. Is l a multiple of 8?
True
Let g be (-3 - 0)*7/(-6)*14. Let y be 16/(-12)*(-9)/6. Suppose y*o - 117 = -g. Does 16 divide o?
False
Let p(o) = 12 + 3*o + 2*o - 7*o. Let m be p(5). Suppose 0 = 3*j + 15, 2*j = m*x + 6*j - 92. Is x a multiple of 8?
True
Let z(w) = w**3 - 4*w**2 + w + 4. Let n be z(4). Let f be n/(-3)*36/(-4). Is 20/6*f/20 a multiple of 3?
False
Suppose -3*q + 25 = -5*r, 5*q - 38 = -2*r - 17. Suppose q*i = 83 - 3. Is 16 a factor of i?
True
Let q = 974 + -194. Does 62 divide q?
False
Let c(o) = o**3 + 2*o**2 - o. Let m be c(4). Let u(j) = -8*j**2 + 91*j + 11. Let z be u(11). Let h = m - z. Is h a multiple of 16?
True
Let i(n) = -n**2 + 5*n - 5. Let k be i(2). Is ((-220)/(-14))/k - (-4)/14 a multiple of 8?
True
Suppose -2*k + 28 = -0*h - 3*h, 0 = 2*h. Suppose 13*g + 190 = k*g. Does 19 divide g?
True
Let v(w) = -w**2 - 372*w + 0 + 362*w - 1. Let i be v(-11). Is i/(((-18)/(-64))/(-3)) a multiple of 32?
True
Let a(m) = 0 + 2*m - 7*m**2 + m**3 - 5*m + 2 - 1. Let f be a(7). Let q = f + 38. Does 16 divide q?
False
Suppose -4*x = -3*x. Suppose x = 4*z, -l = 4*l - 2*z - 35. Is 7 a factor of l?
True
Let z(m) = 39*m - 11. Let i(q) = 20*q - 5. Let w(k) = -14*i(k) + 6*z(k). Suppose 6*v + 4 = 4*v. Is w(v) a multiple of 34?
False
Let i(z) be the second derivative of 3/2*z**2 + 17/6*z**3 + 0 - 5*z. Is 25 a factor of i(4)?
False
Let b(f) = 482*f**2 + f - 6. Is b(3) a multiple of 56?
False
Let d = 4 + -13. Let l(k) = -2*k**2 - 18*k + 2. Let v be l(d). Suppose m - v*m = -8. Is m a multiple of 4?
True
Let o(d) = 17*d - 26. Does 19 divide o(5)?
False
Let j = -25 + 22. Let d be 2 + (1 - 0) + j. Suppose -2*t + 159 - 27 = d. Does 22 divide t?
True
Does 97 divide (-442)/4*22/(-11)*3?
False
Is (8*42/36)/((-2)/(-72)) a multiple of 84?
True
Let t = -318 - -362. Is 11 a factor of t?
True
Let n(g) = 182*g + 36. Is n(3) a multiple of 13?
False
Suppose -2685 = -3*g + v, g - v = 2*v + 887. Does 14 divide g?
True
Is 2 a factor of (-277)/(-11) - 30/165?
False
Suppose -15*h - 801 + 4581 = 0. Is 28 a factor of h?
True
Suppose -14976 = 99*o - 108*o. Is o a multiple of 16?
True
Let d = 2100 + -3048. Let v be -1 - 1 - d/(-12). Let m = -29 - v. Is m a multiple of 26?
True
Let p = 265 - 215. Is p a multiple of 6?
False
Let g(t) = t**2 - 9*t - 10. Let b be g(10). Suppose 2*v + b*v = 0. Suppose 57 = 3*p - v. Is 7 a factor of p?
False
Let l(k) be the first derivative of -2*k**2 + 3*k + 22. Suppose -2*j - 15 = 3*x - 5*j, -5*x = 2*j + 32. Is l(x) a multiple of 7?
False
Let k = 2365 + -501. Let x = 2611 - k. Does 12 divide (-1)/(-2) - x/(-18)?
False
Suppose 8*n - n = 70. Does 2 divide n?
True
Let r = -2 + 6. Suppose 8*p = r*p + 40. Let s = 44 + p. Does 27 divide s?
True
Suppose 38 = 2*x - o - o, -x + 3 = 3*o. Suppose -2*f = -x - 77. Does 19 divide f?
False
Let b(t) = 14*t**3 + 2*t**2 + 30. Is b(4) a multiple of 51?
False
Let u(k) = 900*k**3 - k**2 + 2*k - 2. Is u(1) a multiple of 29?
True
Let r = -52 - -52. Let t(o) = -o**3 - o + 7. Is t(r) a multiple of 7?
True
Let j be (4/2 + -2)/(-1). Let l = 8 + j. Is 7 a factor of ((-39)/2)/((-6)/l)?
False
Suppose -504 = 294*b - 300*b. Does 17 divide b?
False
Let b be 0 - (10 - (1 - -2)). Let a(k) = k**2 - k + 13. Is 23 a factor of a(b)?
True
Let a(j) = -j**3 + 14*j**2 + 24*j + 8. Is a(14) a multiple of 86?
True
Does 9 divide -6 + -4*(-436 + 4)/3?
False
Suppose c - 3*d = -0*d + 12, 0 = -2*c - 2*d + 16. Suppose q - 25 = 5*z, 4 = -z + c. Is 6 a factor of q?
False
Let k be ((-1065)/(-25))/((-2)/(-10)). Let x = 352 - k. Is x a multiple of 29?
False
Let w(s) = s - 2. Let i = -4 - -6. Let c be w(i). Suppose -d = -c*d - 53. Is 14 a factor of d?
False
Let m(y) = 26*y - 6. Let i(b) = 26*b - 7. Let n(d) = 5*i(d) - 4*m(d). Is 24 a factor of 