t d(o) = 3*o - 8. Let w(b) = -5*d(b) - 4*j(b). Is w(-8) a multiple of 8?
True
Let a be 2/66*-6 - (-158)/22. Suppose -a*r + 1 = -13. Suppose -r*q - 4 = 0, 3*s - 292 = -2*s + q. Is s a multiple of 17?
False
Let u = 13198 + -7068. Does 93 divide u?
False
Does 4 divide (8 - (-68510)/91) + (-12)/14?
True
Suppose 23 + 1 = i. Let b be (108/6)/(2/i*3). Suppose 0*y = -4*y - 4*s + b, -y - 4*s = -21. Is 3 a factor of y?
False
Let h = -73 + 15. Suppose 2*f + 1018 = -4*m, -7*m + 9*m + 2*f = -514. Let c = h - m. Is c a multiple of 18?
False
Let l(f) = -f + 102. Let j be l(8). Let n(v) = -v**3 - 6*v**2 + 8*v + 1. Let c be n(-6). Let x = c + j. Is 14 a factor of x?
False
Let w(j) = 2*j - 34. Let c be w(22). Suppose c*t = -531 + 3731. Is 40 a factor of t?
True
Let t be 2 + (-106)/(-4) - 36/72. Let w = t + 68. Is w a multiple of 6?
True
Let u be -3*(-6)/(-9) - 100/(-5). Suppose -u*x + 5257 = -2933. Suppose 5*o = 2*i - x, 3*i = o + o + 710. Does 15 divide i?
True
Suppose 0 = -7*m - 170*m + 2126124. Is 21 a factor of m?
True
Suppose 2310 + 5170 = -22*u. Let z = u + 620. Is 9 a factor of z?
False
Let x be (-7 - -6)*(-3 + 4). Does 7 divide x/((-45)/10) - 338/(-18)?
False
Suppose 2*i - v = 6*i - 34858, 24 = -4*v. Does 20 divide i?
False
Let k(p) = -11*p - 65. Let d be k(-17). Suppose d*b = 119*b + 390. Is b a multiple of 26?
True
Does 7 divide (-61)/(-5) - (-636)/795 - -42218?
True
Let d = 49686 + -27054. Does 23 divide d?
True
Does 29 divide ((-379316)/(-48) + 2/24)*2?
True
Let u(x) be the first derivative of x**4/4 + 5*x**3 - 13*x**2 + 39*x - 21. Let p be u(-17). Let j = 205 + p. Does 9 divide j?
True
Let r be (-2)/(-21) + 4136/231. Suppose -r*a + 4815 = -15*a + 4*g, 4812 = 3*a + 3*g. Is 50 a factor of a?
False
Suppose 4*l - 95 = -63. Is 6 a factor of 169 + 6 - -1*l?
False
Let c(w) = w**2 + 3*w - 13. Let j be c(-6). Suppose j*a = -5*z + 55, 2*z - a - 22 = 3*a. Suppose 80 = z*g - 7*g. Is 5 a factor of g?
True
Let f = 17406 + 1795. Is 34 a factor of f?
False
Suppose 0*y + 4*y - 9812 = -2*u, y - 2451 = -u. Is 18 a factor of y?
False
Let t be 2 + 15/(-9) + 10/6. Suppose t*h - 4*h = -0*h. Suppose h = -2*a - 19 + 299. Is 44 a factor of a?
False
Suppose 5*d = -4*k + 210 + 303, 0 = 2*d + 5*k - 195. Suppose -10*w + 5*w = d. Let q = w - -46. Is q a multiple of 3?
False
Let i(c) = -4*c - 49. Let o be i(-13). Suppose -a + o + 3 = 2*y, -a - 2 = 0. Suppose -5*m + 4*m = -x - 69, 0 = -3*m + y*x + 203. Does 13 divide m?
False
Suppose -50*x = 79*x - 159*x + 282240. Does 12 divide x?
True
Suppose -171*n + 159*n - 48 = 0. Let g(w) = -7*w**3 + 2*w**2 - 4. Let l(k) = -3*k**3 + k**2 - 2. Let j(q) = -2*g(q) + 5*l(q). Is 50 a factor of j(n)?
False
Suppose 23*j = 216576 - 2998. Is 29 a factor of j?
False
Suppose 5*l = 5*x + 5, -10*x - 3 = -5*x - 3*l. Suppose -2*y + 2*k + 514 = x, y = -2*y - 3*k + 795. Does 40 divide y?
False
Let z = -64 + 71. Let u(t) = 5*t**2 + 9*t - 7. Is u(z) a multiple of 9?
False
Let u(w) = 2*w**2 + 28*w + 21. Let m be u(-19). Let x = 156 + m. Is 30 a factor of x?
False
Let n = 14 + -35. Let d = 23 + n. Suppose -2*k - 63 = -s, -2*s + d*k - 53 + 171 = 0. Is 11 a factor of s?
True
Let v be -125*(35/7 - 6). Suppose -133*s + 1648 = -v*s. Is 3 a factor of s?
False
Suppose -s = -5*l - 4 + 3, 4*l = -s + 1. Suppose -t = 2*k + 4 + 1, l = -2*k - 2*t - 2. Does 6 divide (2816/36)/1 + k/18?
True
Let v = -18745 - -27097. Is v a multiple of 72?
True
Let m be (-1)/((-7)/(-42)) + 67. Let y = 356 - m. Is y a multiple of 38?
False
Let t = 436 - 86. Suppose 6*v - t + 110 = 0. Is v even?
True
Let t(p) = -27*p**3 - 2*p**2 + 17*p + 47. Is t(-4) a multiple of 27?
False
Suppose z - 4*m = -28, 0*z + 4*m = 4*z + 64. Let d be 4/(-6)*36/z. Suppose 0 = -5*j - d*q + 425, 2*j - 2*q = 2*q + 170. Is 17 a factor of j?
True
Is ((-15204)/(-48))/((-4)/(-10) - 22/80) a multiple of 14?
True
Let h = -779 + 791. Suppose -7*o + 855 = j - h*o, 2*j = -4*o + 1710. Does 15 divide j?
True
Is 114 a factor of ((-13)/(-2))/((-471)/(-6280))*(-624)/(-5)?
False
Let b = 686 + 1574. Suppose 340 = 4*m - b. Does 50 divide m?
True
Let s = 159 - 159. Suppose 4*n = 3*v - 140, s*n = -v + 2*n + 48. Does 10 divide v?
False
Suppose 3*y = -2*y - 22640. Let i be y/(-48) + 4/6. Suppose -3*s + i = -u, -2*u = s + 3*s - 110. Is s a multiple of 10?
True
Let o(i) = 5*i**2 - 26*i + 27. Let c be o(7). Suppose -151*g = -152*g + c. Is 30 a factor of g?
True
Let m(l) = -l**2 - 34*l - 7. Let k(t) = 2*t**2 + 67*t + 11. Let a(r) = -3*k(r) - 5*m(r). Let i(s) = -2*s**3 + 2*s**2 + 1. Let f be i(2). Is 26 a factor of a(f)?
False
Suppose -174*b + 169*b - 1135 = 0. Let v = -187 - b. Is v a multiple of 40?
True
Suppose -3*i = -984 - 1896. Let s = 1000 - i. Does 4 divide s?
True
Let x be 21/(-14) - (-4)/(-8). Let i(g) = -12*g**3 - 3*g**2 + 2*g + 13. Is i(x) a multiple of 44?
False
Let i(j) = j**3 + 11*j**2 - 8*j - 4. Let u be i(-11). Suppose -k - u = 18. Let z = -60 - k. Is 9 a factor of z?
False
Suppose -4*g + 3144 = -4*h, 0 = 2*g + 21*h - 26*h - 1575. Is 5 a factor of g?
True
Suppose -5*d - g + 8 + 15 = 0, -d = 3*g - 13. Suppose -i + 3*i = -3*f + 483, d*i - 981 = -f. Is i a multiple of 17?
False
Let a(j) = -5*j + 51. Let s(i) = -11*i + 103. Let r(d) = 5*a(d) - 2*s(d). Suppose -20*o = -24*o + 5*u + 39, -o = 2*u - 13. Does 5 divide r(o)?
False
Suppose 21*l - 69976 - 307940 = 0. Is 22 a factor of l?
True
Let o(l) = -2*l**3 - 12*l**2 - 21*l - 12. Let y be o(-6). Suppose 2*z - b - y = 0, -263 = -5*z - 4*b + b. Is z a multiple of 11?
True
Let m = 2868 - 1578. Is m a multiple of 30?
True
Let f = 1984 - -265. Let i = f - 1127. Is 34 a factor of i?
True
Let t(m) = -m**2 - 14*m - 82. Let b be t(-28). Let g = b + 1389. Is g a multiple of 19?
False
Suppose -w + 222288 = -547*x + 551*x, 5*x - 2*w = 277860. Is x a multiple of 11?
True
Let j(o) = 2*o**2 + 27*o - 51. Let m be j(-20). Let y = m - 44. Does 5 divide y?
True
Let y be ((-4600)/(-30) - 3) + 2/3. Suppose -3*g - 3*f = -501, -2*g + 3*f + 188 = -y. Does 42 divide g?
True
Let o(p) = p**2 - p - 14. Let z be o(7). Let b be z + 1/2*-8. Suppose -s = 3*y - 18, y - 6 = s - b. Is 9 a factor of s?
True
Let d(g) = -g**3 + 16*g**2 + 12*g - 89. Suppose 143 = 4*b + 87. Is d(b) a multiple of 27?
False
Suppose 4*s = 3*y - 68155, -3452*y + 3457*y = 5*s + 113600. Is 13 a factor of y?
False
Let w be (-2)/2*(-226)/(-2). Let j = 818 + -835. Let m = j - w. Does 24 divide m?
True
Suppose 445*k = 2774601 + 2115949. Does 38 divide k?
False
Suppose 3*h + 2*u - 3 = 7, -5*h - u + 5 = 0. Suppose 4*s + g + 13 = h, 10 = -5*s - 2*g - 10. Is (135/s)/(-1) - 2/4 a multiple of 36?
False
Let v be (2/(-3) + 0)/((-1)/6). Suppose -3*d = 4*z - 2*z - v, 2*z - 3*d = 16. Is 13 a factor of ((-78)/z)/(0 + (-6)/20)?
True
Suppose -10*k + 27575 + 61385 = 0. Is 56 a factor of k/(-24)*(-3)/2?
False
Is 30 a factor of (-765356)/(-18) - (-82)/369?
False
Let g = 488 - 484. Is -20*(-818)/8 - g a multiple of 104?
False
Is -30*(-6 - -23)*(144/(-20) + -2) a multiple of 69?
True
Suppose 2*l + j = -3016, -3373 - 4149 = 5*l - 2*j. Let g = -1047 - l. Is 36 a factor of g?
False
Suppose 0 = -7*j + 2*j + 15. Let n(i) = 2*i**3 - 4*i**2 - 2*i + 8. Let w be n(j). Let y(z) = -z**2 + 20*z + 10. Does 5 divide y(w)?
True
Let z(g) = -3 + 0 + 4 - 3*g**2. Let y be z(5). Let h = y - -155. Does 9 divide h?
True
Is (-2 - 181828/(-19)) + (-21)/(2793/(-14)) a multiple of 75?
False
Suppose -4*i + 34 = -5*z, 4 = 3*i + z - 12. Suppose i = -4*n + 2. Is (-1536)/(-14) + ((-14)/49)/n a multiple of 11?
True
Let g be 36/(-8)*-2 + -3. Let j be (g/3)/((-8)/(-60)). Let o(b) = 4*b - 42. Is 3 a factor of o(j)?
True
Let w(k) = -k**3 - 2*k**2 + 15*k + 2. Let o be w(-5). Suppose 5*p + o*n + 1518 = 7*p, 2*n + 759 = p. Is 23 a factor of p?
True
Let c(q) = -2*q**3 - 97*q**2 + 19*q - 435. Is 109 a factor of c(-49)?
False
Suppose 122*l = 125*l + 42. Let z(i) = 2*i**2 + 6*i - 84. Is z(l) a multiple of 4?
True
Suppose x + b - 8 = 94, -b = 3*x - 308. Suppose -x*t = -97*t - 204. Is 25 a factor of t?
False
Suppose -28*i = -45*i + 221. Is 16/((1/27)/(i/78)) a multiple of 11?
False
Suppose 4*z + 12 = 0, -2*z + 3*z = s - 7. Suppose -s*t - 11 = -5*t. Is t a multiple of 7?
False
Let y(j) = 89*j + 5200. Does 43 divide y(30)?
False
Let l(y) = -751*y**3 + 11*y**2 + 44*y - 7. Is l(-3) a multiple of 61?
False
Let o = -953