Suppose -w = -7*g + 4*g. Does 8 divide g?
True
Is -8 - -94*3/6 a multiple of 3?
True
Let t(z) = 4*z**2 + 2 + z**3 + 22 + 14. Does 10 divide t(0)?
False
Suppose 0 = -2*b - 5*l + 950, -40*b - 2*l = -44*b + 1852. Is b a multiple of 26?
False
Let y(t) = 23*t + 98. Is y(42) a multiple of 35?
False
Let r(x) = -9*x - 15. Let d(n) = 5*n + 8. Let c(y) = -5*d(y) - 2*r(y). Let h be c(-6). Let b = 66 - h. Is b a multiple of 24?
False
Suppose 0 = -3*i + 3*w, 1 = 3*w - 5. Suppose -5*f + i*l + 330 = 5*l, 20 = 4*l. Is f a multiple of 13?
False
Is 6 a factor of (16290/(-20))/((-12)/8)?
False
Let o(n) = 92*n**2 - 33*n**2 + n - 5*n + 3*n. Is o(-1) a multiple of 20?
True
Let c(n) = n**3 - 13*n**2 + 2*n - 42. Is c(15) a multiple of 18?
False
Suppose 0 = q - 5*q + 12. Suppose u - 26 - 5 = -3*s, -q*s = 5*u - 107. Is u a multiple of 8?
False
Is 11 a factor of (-6940)/(-8) + 45/30?
True
Let b = -25 + 58. Let s = b + -31. Suppose -4*g + 422 = -f - f, -5*f - 207 = -s*g. Is g a multiple of 24?
False
Let d = -1394 + 4838. Is d a multiple of 164?
True
Let n = -1 - -2. Suppose -68 = 15*s - 11*s. Let o = n - s. Is 6 a factor of o?
True
Is 12 a factor of (94 + 0)/((-4)/(-24)*3)?
False
Let y(n) = n**3 - 4*n**2 - 2*n + 8. Let f be y(4). Suppose 0*u = -5*u + 4*l + 394, f = 5*u + 3*l - 422. Is 8 a factor of u?
False
Suppose 423 = 4*r - 2*r - 5*z, -z - 213 = -r. Does 12 divide (-16)/(-48) - r/(-6)?
True
Let u(w) = w**2 - 3*w + 12. Let b be u(5). Suppose -g - 3*h = -2*g + 6, h = -g + b. Is g a multiple of 10?
False
Suppose 0 = -5*q + 5*w + 785, -773 = -3*q - 2*q - w. Suppose 3*o + a - 102 = -0*a, 4*o - 5*a = q. Does 5 divide o?
True
Suppose -3*t = 11 + 4. Is 15 a factor of ((-25)/t)/(-5) + 25?
False
Suppose -4*x = 4*r - 15880, 76*r + 5 = 81*r. Is 22 a factor of x?
False
Suppose -t - t = 10. Let g be 2/(-3 - t)*63. Suppose -2*r + 47 = -g. Is 11 a factor of r?
True
Let y(r) = r**3 - 12*r**2 + r - 10. Let q be y(12). Does 3 divide (q + -3 - -21) + (-16)/4?
False
Suppose 5*r = 3*r - 12. Does 11 divide (-2)/r - 3393/(-27)?
False
Suppose 5*f - 180 = 5*i, 3*i + 3*f + 87 = -39. Let z = 153 + i. Is z a multiple of 29?
False
Suppose 2*c - 6*c - 138 = p, -706 = 5*p + 4*c. Let v = 29 - p. Is v a multiple of 57?
True
Is 2403/(1/(9/27)) a multiple of 13?
False
Is 258/860 - 21557/(-10) a multiple of 77?
True
Does 3 divide 118 + (-4 - -5) + -1?
False
Let o(u) = u**3 + 13*u**2 - u - 2. Let n be o(-13). Let p(z) = -n*z - 5 + 0 + 4 + 2*z. Does 5 divide p(-2)?
False
Suppose 7*t - 12*t + 230 = 5*n, 4 = -t. Is 28 a factor of n?
False
Is 157 + 0 + -5 + 1 a multiple of 17?
True
Let g(u) = 2*u**3 - 4*u**2 + 15*u - 69. Is g(5) a multiple of 39?
True
Let u(m) = -m**2 + 12*m + 283. Is u(0) a multiple of 32?
False
Let m(c) = -8*c. Suppose -11*q = -5*q + 24. Is 16 a factor of m(q)?
True
Suppose -10*i - 1576 = -w - 11*i, -4*i + 4 = 0. Is w a multiple of 17?
False
Suppose 599 - 3329 = -7*g. Does 10 divide g?
True
Let s be (3 - 27/(-6))*-38. Let p = s + 489. Is 51 a factor of p?
True
Suppose -2*u - 8 = -h - 2*h, -u - 4 = h. Let l = 12 + u. Suppose -4*j - 200 = -l*j. Is j a multiple of 25?
True
Is 582/679*(1189 + 1) a multiple of 15?
True
Let p(x) = 8*x**2 + 36*x - 20. Is p(-17) a multiple of 4?
True
Let n(r) = 7*r**2 + 2*r - 1. Let o = 4 + -12. Let i be (-3)/6 + (-28)/o. Is n(i) a multiple of 17?
True
Let k(q) = q**2 - 2. Suppose 2*g - 2 = 4. Let h be k(g). Let b(n) = -n**3 + 9*n**2 - 5*n - 6. Does 19 divide b(h)?
True
Suppose 4*p - 12 = -2*d + 162, -2*p + 184 = 2*d. Does 4 divide d?
False
Let w(h) be the third derivative of -h**5/30 + h**4/24 + h**3/3 - 2*h**2. Let y be w(2). Let r(a) = a**3 + 6*a**2 + 4*a - 4. Is 12 a factor of r(y)?
True
Let l(c) = -119*c**3 + 4*c**2 - c - 7. Is 14 a factor of l(-3)?
False
Is 13 a factor of 1*5*(-6 - (-4036)/10)?
False
Suppose 15756 = 46*h - 20*h. Is 10 a factor of h?
False
Let c(z) = 2*z - 3. Suppose 3 = -0*k + k. Let d be c(k). Suppose -d*o + 60 = 2*o. Is 6 a factor of o?
True
Let h(o) = -80*o**3 - o**2 + 1. Let k be h(-1). Suppose -84*i + 408 = -k*i. Is 17 a factor of i?
True
Let n be 11 - 2 - (-2 - (5 - 10)). Is 11 a factor of 2 - n - 3*552/(-18)?
True
Let i = 513 - 393. Is 30 a factor of i?
True
Let c(n) = 32*n - 88. Is c(12) a multiple of 26?
False
Let f(d) be the first derivative of 5*d**2/2 + d - 1. Let z(h) = -4*h - 99. Let w be z(-25). Does 2 divide f(w)?
True
Let l = 434 + -723. Let n = l - -440. Suppose 2*t - c - n + 52 = 0, c + 48 = t. Is t a multiple of 17?
True
Let r = -200 + 338. Suppose 0 = -9*g + 1239 + r. Is 9 a factor of g?
True
Does 59 divide (-5429)/(-4) + (-20 - 1659/(-84))?
True
Let u(l) = -2*l**2 + 35*l + 24. Let p be u(16). Is 1856/p + 0 + (-2)/(-9) a multiple of 2?
True
Suppose -18 = -3*g - 4*y, -20 = -2*g - 5*y - 1. Suppose -3*f - g*f = -10. Does 11 divide 5*((-156)/(-15) - f)?
False
Let u(a) = a**3 + 14*a**2 + 10*a + 41. Is u(-10) a multiple of 40?
False
Is (-19)/(-171) - (-1 - (-101048)/(-36)) a multiple of 26?
True
Let q(k) be the second derivative of -k**5/20 - k**4/2 - k**3 - 2*k**2 - 6*k. Is q(-6) a multiple of 5?
False
Suppose b - 6 = 201. Is 10 a factor of b?
False
Let i(h) = -h**3 + 7*h**2 - 7*h + 1. Let g = -17 + -1. Let f = -13 - g. Is i(f) a multiple of 3?
False
Suppose 3*h = -4*q + 69, -4*q = h + h - 46. Let o = h - 16. Is o a multiple of 7?
True
Suppose -4*g - g = 3*t + 14, -2*t - 2*g = 4. Suppose -3*j = 0, 5 = -5*y + t*j - 6*j. Is y/((-2)/(-32)*-1) a multiple of 16?
True
Suppose -2*j - 82 = -4*j. Suppose 7*o - 309 = j. Is o a multiple of 10?
True
Suppose -1583 = -2*q - k, q = 4*q + k - 2375. Is 24 a factor of q?
True
Suppose -2*i + 158 = 110. Is i a multiple of 6?
True
Suppose 2 + 4 = 2*l. Suppose 6 = -2*h + l*h. Suppose 7*p - 72 = h*p. Does 24 divide p?
True
Let p(o) = -o**3 - 12*o**2 + 6*o + 28. Is 7 a factor of p(-13)?
True
Suppose x - 5*z + 600 = 2*x, z = 0. Does 24 divide x?
True
Let z = -168 - -251. Let f = 58 + z. Is f a multiple of 28?
False
Does 24 divide (-44 + 38)*(2030/(-4) - 2)?
False
Let i be 32/(-20)*(-100)/8. Does 14 divide (-1)/(-2)*2440/i?
False
Suppose 0 = l - 2*x - 571, 0 = 4*l + 9*x - 4*x - 2219. Is 54 a factor of l?
False
Suppose 10*c - 3850 = -c. Is c a multiple of 10?
True
Suppose 4*x = 282 + 3874. Is x a multiple of 19?
False
Let q = 3 + -8. Let w(p) = -p - 2. Let f be w(q). Suppose f*x + 3*t + 58 = 154, 4*t + 160 = 5*x. Is x a multiple of 11?
False
Let z be ((-4)/3 + 1)/((-4)/24). Suppose u = -5*i + 480, 2*u - u - 195 = -z*i. Does 25 divide i?
False
Suppose 3*m = 5*j - 673, 0 = -4*m + j + 2*j - 890. Does 13 divide m/2*(-6)/(-1 + 4)?
True
Let h be 0 - 1 - (79 - 6). Let x = h - -319. Suppose 0*u = 5*u - x. Does 14 divide u?
False
Suppose 2*s + 12 = -0*s. Let r be (-1 - (4 + s))*1. Suppose p + r = 27. Is 13 a factor of p?
True
Let f(m) = -m**3 - 3*m**2 + m + 4. Let o be f(-3). Suppose 9 = 2*h - o. Suppose -38 - h = -2*v + 5*b, -5*b + 5 = 0. Is 14 a factor of v?
False
Let n = 12 + 24. Let g = 55 - n. Let i = g + 12. Does 19 divide i?
False
Suppose -g = 13*g - 10150. Does 56 divide g?
False
Let c(n) = -4*n**3 + n**2 - n + 1. Let g be c(1). Let t(d) = 2*d**2 + 3*d - 4. Does 5 divide t(g)?
True
Suppose -v = 4*v - 105. Suppose q = -4*m + 22, -2*q = -q + 5*m - v. Does 26 divide q?
True
Let p be (9/(-12))/((-2)/1080). Is (p/(-60))/(2/(-8)) a multiple of 10?
False
Let p(o) = 4*o**2 - 24*o + 85. Is 12 a factor of p(7)?
False
Let g(k) = -20*k**3 - 3*k**2 + 3*k - 20. Is g(-4) a multiple of 12?
True
Let t = -22 + 26. Suppose t*z + 2 - 66 = 0. Does 3 divide z?
False
Suppose -4*x + 5*o = -401, x + 13*o - 17*o = 103. Is 33 a factor of x?
True
Let g(s) = -2*s**3 - 6*s**2 + 5*s + 2. Let p = -17 + 13. Does 14 divide g(p)?
True
Let k(t) = -t**3 + 8*t**2 + 10*t + 3. Let y be k(9). Let s(h) = -3*h - 1. Let q be s(-1). Is 14 a factor of 6/y - (-55)/q?
True
Let o = -3694 + 6210. Does 89 divide o?
False
Let b(o) = -3*o + 31. Is b(-25) a multiple of 5?
False
Let o = 56 + -166. Let c = 161 + o. Is c a multiple of 6?
False
Suppose -13433 = -9*z + 3559. Is z a multiple of 42?
False
Let a(y) = -y**2 - 25*y - 27. Suppose -2*z + 6 + 2 = 0. Suppose g = -z - 16. Is 21 a factor of a(g)?
False
Let r(i) = 164*i**2 - i + 1. Let b be r(1). Suppose 4*p + 5*y - b = -0*y, p = y + 32. Suppose -2*k - p - 4 = -2*n, 5*n - 106 = 3*k. Is n a multiple of 