 factor of 724/10 + f - 3/(-5)?
False
Let v = 24346 + -23041. Does 5 divide v?
True
Let n(t) = -4373*t**3 + 15*t + 14. Is 42 a factor of n(-1)?
False
Suppose -32 = 5*w - w - 4*g, 0 = 5*g. Let h(v) = -v**3 - 9*v**2 - 8*v + 4. Let t be h(w). Suppose -2*z + 458 = 3*p + 98, -480 = -t*p - 3*z. Does 6 divide p?
True
Let k = 2252 - 1252. Suppose -r = 5*f - k, -11*f - 403 = -13*f - r. Is f a multiple of 14?
False
Let p(g) = -g**2 - 13*g - 27. Let o be p(-10). Suppose -o*u - 2*h + 883 = -0*h, -4*u - 4*h + 1176 = 0. Suppose -12*m = -17*m + u. Is 3 a factor of m?
False
Suppose 3820 = -4*i + 4*j - 9*j, -3*j = 12. Let n = -665 - i. Suppose -2*t + 2*s - 285 = -5*t, n = 3*t + 4*s. Does 19 divide t?
True
Let g(s) = -6*s**3 - 11*s**2 - 6*s + 9. Let z(b) = b**3 - 1. Let p(r) = g(r) + 5*z(r). Is 17 a factor of p(-11)?
False
Suppose 5*q = -5*z + 330, 3*q - 2*z + 0*z - 173 = 0. Let a = q - -14. Let p = 79 - a. Does 2 divide p?
True
Let g = -511 + 483. Let o(u) = -u**2 + 2*u + 4. Let q be o(4). Let d = q - g. Does 4 divide d?
True
Suppose 0 = 3*v - 0*v + 3*w + 12, -v + 5*w - 28 = 0. Let y(t) = 8*t**2 + 18*t + 61. Does 42 divide y(v)?
False
Let o = -30 + 32. Suppose -2*b - 206 = o*b - 2*q, q + 113 = -2*b. Let k = b + 74. Does 5 divide k?
True
Suppose -618733 = -131*q - 215122. Is q a multiple of 3?
True
Let n(u) = u**3 - 7*u**2 - u - 3. Suppose 2*g + 64 = 10*g. Does 13 divide n(g)?
False
Let g(p) = 3549*p**2 + 2*p - 1. Let x be g(1). Suppose -4*y = -2*y + z - 1420, -x = -5*y - z. Does 38 divide y?
False
Let q(y) be the first derivative of 2*y**3 - y**2 - 3*y - 50. Let k be q(2). Is 36 a factor of 289/2 - k/34?
True
Let c = -191 + 193. Suppose -h = -3*g - 84, -23 = -3*h + c*g + 201. Is h a multiple of 18?
True
Let b = 45394 - 29634. Is b a multiple of 111?
False
Suppose 0 = -3*z - 3*o + 1701, 0*o + 2308 = 4*z - 4*o. Suppose -56*x - z = -60*x. Suppose -3*f = -2*f - x. Is f a multiple of 16?
False
Let v be ((-3)/5 - -1) + (-38208)/320. Let s = -68 - v. Is 4 a factor of s?
False
Let o(i) = -i**3 - 8*i**2 + 8*i - 9. Let v be o(-9). Suppose 5*f - 15 - 20 = v. Is (-54)/(f/((-63)/6)) a multiple of 27?
True
Let y(k) be the second derivative of -32*k**3/3 + 9*k**2/2 + 17*k + 2. Is 15 a factor of y(-6)?
False
Let j(z) = -10*z**2 - 13*z - 25. Let x be j(-6). Let w = x - -332. Is w a multiple of 25?
True
Suppose 2*y + 2*n = -0*n - 194, 5*y = n - 503. Suppose 1081 = 5*m + 4*s + 348, s = 5*m - 723. Let d = m + y. Does 15 divide d?
True
Let d(q) = -q**2 + 14*q + 18. Let o be d(15). Suppose -o*a - 3 = 0, 5*a = 3*m + 2*m + 105. Let p = m - -57. Is p a multiple of 10?
False
Let y(q) be the second derivative of -q**4/12 + q**2/2 - 7*q. Let u be y(8). Does 5 divide u/(-5) - 4/(-10)?
False
Suppose -g + 3*m + 2835 = 0, -5*g + 5181 = 3*m - 8994. Is 21 a factor of g?
True
Is 5 a factor of (-2 + -3 + 2)/((-102)/50116)?
False
Suppose 1772 + 623 = 2*u + a, 3*u = 3*a + 3588. Is 13 a factor of u?
False
Let c be (25 + -25)*1/(-2). Let z(s) = 2 + 6 + c - 3 + 6*s**2 - 4*s. Does 27 divide z(5)?
True
Let z(c) = 30*c**2 + 50*c - 896. Is z(13) a multiple of 134?
True
Suppose 20 = 4*f + f, -4*f - 300 = -4*l. Let s = -51 + l. Suppose 20 = 6*y - s. Does 4 divide y?
True
Let v = 652 + -630. Suppose -2*o - 4*j = -1844, -4618 = -5*o - v*j + 20*j. Is o a multiple of 14?
True
Let j be (-4)/10*(-1 + (-253)/22). Suppose 5*o = -5*q + 6595, 4*o = -0*o + j*q + 5312. Does 67 divide o?
False
Suppose 2*p = -3*u + 25317, 3*u - 25335 = 19*p - 18*p. Is u a multiple of 176?
False
Let l(b) = -22*b - 13. Let s(f) = f**3 - 2*f - 2. Let g be s(3). Suppose 7*y = -9 - g. Is 22 a factor of l(y)?
False
Let w be 6/(-30)*(5 - 390). Let z be (-4)/18 - (-40)/18. Suppose -5*b = -4 - 1, -5*b + w = z*s. Does 13 divide s?
False
Let u(i) = i**3 - 29*i**2 + 99*i + 44. Let n be u(25). Is 60 a factor of (-2 - -4) + 629 + (20 - n)?
False
Let m(o) be the second derivative of o**5/10 - o**4/3 - o**3 - 4*o**2 + 51*o. Is 32 a factor of m(4)?
True
Let t(q) = 67*q**3 + 7*q**2 - 6*q - 11. Does 108 divide t(4)?
False
Let f(w) = 5*w**3 + 18*w**2 + 4. Let h(x) = -4*x**3 - 15*x**2 - 5. Let a(t) = -3*f(t) - 4*h(t). Does 55 divide a(6)?
True
Let d = 3066 + -2026. Is d a multiple of 13?
True
Let k(p) = -3*p + 12. Let h be k(3). Suppose 4*b + 4*j + 28 = 0, 4*j - 21 = h*b - j. Does 4 divide 48/112 + (-25)/b?
True
Let o(z) = -z**3 - 6*z**2 + 3*z + 6. Let u be o(-4). Let k = -35 - u. Suppose k*n + 19 = 49. Does 2 divide n?
True
Let f(r) = 5*r - 10 - r - 6*r. Let d be f(-13). Suppose -d*w = -18*w + 210. Is w a multiple of 15?
True
Let j(r) = -r**2 + 4*r - 6. Let b be j(4). Does 12 divide b + 257 + 2 + -3?
False
Let s(u) = -6*u**2 + 3*u. Let z(k) = 7*k**2 - 3*k - 1. Let m(b) = -5*s(b) - 4*z(b). Let l be m(11). Let t = 321 - l. Does 27 divide t?
True
Suppose -7*c + 60 = -4*c. Suppose -5*x - 67 - c = 3*w, w + 30 = -2*x. Is (112/w)/(2/(-30)) a multiple of 18?
False
Is (6/(-9))/((-82)/761124) a multiple of 91?
True
Let x = -2195 - -3830. Suppose -x = 6*y - 21*y. Does 9 divide y?
False
Let o(k) be the second derivative of 3*k**3 + 2*k**2 - 3*k. Let p be o(3). Suppose 2*h - p - 158 = 0. Is 18 a factor of h?
True
Suppose 9*u - 501562 - 1384469 = -110*u. Does 27 divide u?
True
Let w = 3205 - 1138. Suppose 2064 = 5*s - 2*z, -3*z + 4*z = 5*s - w. Does 23 divide s?
True
Let g(j) = -2*j**3 - 4*j**2 - 6*j - 9. Let d be g(-3). Let l = 19 - d. Let a(z) = -2*z**3 - 16*z**2 + 7. Is a(l) a multiple of 4?
False
Let o(g) = 7*g - 102. Let u be o(14). Is 8 a factor of 2/u*(-111 - -17)?
False
Let c(y) = -33*y - 11. Let f be 68/18 + (-14)/(-63). Suppose f*t + 11 = -4*s + t, -2*s + 3*t = 1. Is 7 a factor of c(s)?
False
Suppose 129*z - 1965585 = 2662419. Does 44 divide z?
False
Let t(u) = -63*u**3 - 19*u**2 - 268*u - 33. Does 17 divide t(-8)?
False
Let t(r) = 35 - 167*r + 36 - 1426*r**2 + 1431*r**2. Is t(33) a multiple of 4?
False
Let x(t) = t**2 + 8*t + 1598. Does 73 divide x(-34)?
True
Let c(y) = -y**2 - 21*y + 26. Let r be c(-22). Let t(i) = 194*i - 7. Let a be t(r). Suppose 5*o - a = -4*h + 187, -5*o - 214 = -h. Is 16 a factor of h?
False
Let z = -233 + 238. Suppose 0 = -4*y - f - 399 + 2642, 15 = z*f. Does 70 divide y?
True
Suppose 34464 - 86064 = -10*s. Does 8 divide s?
True
Suppose -2*p = -u - 8, 4*p = 3*u - 2*u + 14. Is 236 + -8*1/u a multiple of 20?
True
Let w(s) = s**2 + 9*s - 9. Let f be w(-9). Let k(a) = 2*a**2 - 16*a + 18. Let v be k(f). Let q = -206 + v. Does 13 divide q?
False
Suppose 301347 = 16*l - 289485. Is 236 a factor of l?
False
Let r = 25929 - 25433. Does 31 divide r?
True
Let l(t) = t + 148. Let u be l(33). Let c = u + -131. Does 11 divide c?
False
Let y = -456 + 461. Suppose y*v - 220 = 885. Is 69 a factor of v?
False
Suppose 7*n = 9 - 37. Let l(j) = -j**2 - 7*j + 16. Is l(n) a multiple of 2?
True
Suppose -865830 = -392*y + 278*y. Does 16 divide y?
False
Let p(u) = -3*u**3 + 29*u**2 - 15*u + 15. Let w be p(9). Suppose 0 = w*v - 44*v. Is 17 a factor of -102*(v + -1)*13/39?
True
Let r = -226 + 229. Is 15 a factor of (-2)/4 - r*(-3297)/6?
False
Suppose -3*w + 24 = 3*t, 0 = 2*t - 2*w - 6 - 2. Suppose -4*n + 1070 = t*n. Suppose 0 = -13*q + 101 + n. Is 8 a factor of q?
True
Let x be (-72)/1 - (12/(-3) + 2). Is 32 a factor of 34/((-4)/x + 0)?
False
Let f(m) = -739*m + 224. Does 47 divide f(-10)?
True
Suppose 10*n = -267*n + 167308. Is n a multiple of 31?
False
Let c(i) = 25*i**2 + 52*i + 516. Is 45 a factor of c(-12)?
False
Suppose -52*j + 8 = -48*j. Suppose -4*t + 2*p + 80 = 0, j*t - 3*p + 8*p = 52. Is 10 a factor of t?
False
Let c(z) = 528*z**2 - 295*z + 2407. Is c(8) a multiple of 13?
True
Let y = -63 + 13191. Is y a multiple of 12?
True
Suppose 0 = 4*r - r + 5*s - 232, -4*r + 2*s + 318 = 0. Suppose -2*c + 4*c - y - r = 0, 3*c - 3*y - 120 = 0. Suppose c = z - 31. Is z a multiple of 10?
True
Let g = -8 + 18. Let m = 10 - g. Suppose 3*d - 2*h + 56 = 4*d, m = 2*h. Is 13 a factor of d?
False
Let a be ((-1)/7)/((-10)/4690). Is a - (5 + 4 + -6) a multiple of 4?
True
Let r = 27 + 9. Suppose -c + r = 4*f, -5*c + 48 = 5*f - 3*c. Let h(z) = z**2 + 10*z - 14. Is h(f) a multiple of 13?
True
Suppose 2*p - 175 - 15 = 0. Let m = p - 91. Does 8 divide 104/2*1 + m?
True
Let b = 2734 + 7158. Is b a multiple of 182?
False
Let s = -5 + 12. Suppose -6 = 3*k, a + 5*k + 39 = -28. Let 