*3/6 + 4*b**2. Let h be (9 - 9)*(-2)/(-4). Is 7 a factor of m(h)?
True
Let g(q) = -113*q**3 - 2*q**2 - 2*q - 1. Let c be g(-1). Let f = c - 80. Does 16 divide f?
True
Is (2 - -9)/((-5 - -3)/(-90)) a multiple of 9?
True
Let y = 5 + 23. Let g = y + 0. Is g a multiple of 7?
True
Suppose 4*t - 1 = -g + 45, t + 230 = 5*g. Suppose g + 4 = 2*k. Is 3 a factor of k?
False
Suppose -4*m = -2*m, -w - 3*m = -4. Let h(s) = 4*s + 3*s + 16*s + w. Is h(3) a multiple of 21?
False
Let v = 24 + -16. Suppose 2*x = q + 1, x = 2*x - 3*q - v. Is -2 + 3 + (-14)/x a multiple of 5?
True
Let l(j) = 90*j - 27. Is 27 a factor of l(3)?
True
Is 30 a factor of (-13358)/(-6) + 236/354?
False
Suppose 32 = 3*m + 6*u - 2*u, -5*m = 2*u - 30. Suppose -2*v + 0*v + m = 0. Suppose -39 = -z - j, -z - v*j + 38 = -0*j. Is 17 a factor of z?
False
Suppose 3*h - 116 = -d + 219, 4*h - 1030 = -3*d. Is 35 a factor of d?
True
Let m(f) = -f**3 - 11*f**2 - f - 4. Let k be m(-11). Let o(u) = -u**3 + 7*u**2 + u - 9. Let d be o(k). Does 7 divide 0 + 75/(-6)*d?
False
Let g be (3/2)/(1/12). Suppose 2*s + s = g. Suppose 4*o - 23 = 4*h + 9, 3*h - s = -2*o. Does 3 divide o?
True
Let s be ((-2 - 28)*-1)/2. Let a = -15 + s. Suppose -q + 22 = -a*q. Does 20 divide q?
False
Suppose 2*a + 0*a = 0. Suppose 3*q - 7 - 5 = a. Suppose 0 = q*z - 0*z - 256. Is 17 a factor of z?
False
Is (-3)/2*(-3236)/3 a multiple of 47?
False
Let c be (3/(-9))/((-1)/12). Suppose -3*d - 60 = c*l, -l + 0*d - 16 = d. Does 2 divide (2 - (-32)/(-12))*l?
True
Let f be 4 + (0 - (-15)/(-3)). Let g = 9 + f. Is g a multiple of 8?
True
Let i(o) = -4*o**2 - 15 - 6*o**2 + 9*o + 4*o**3 - 2*o**3 - 3*o**3. Let d be i(-11). Suppose 21 = -g - 0*w - 5*w, 2*g + d = -3*w. Is 2 a factor of g?
True
Suppose 11*i - 1573 = 605. Is i a multiple of 9?
True
Let y be (4*-8)/(-4)*2. Let k(r) = -r**2 + 18*r + 12. Is 22 a factor of k(y)?
True
Let j = 333 - 28. Is 5 a factor of j?
True
Let v = -5 - -39. Let z = v + 8. Does 12 divide z?
False
Let f(a) be the second derivative of a**5/20 + 3*a**4/4 - a**3/3 - 13*a**2/2 + 9*a. Let l be f(-6). Let r = l + -17. Is 15 a factor of r?
True
Suppose f + 9 - 15 = 0. Is (-2 - -4 - -4)*f a multiple of 12?
True
Suppose 130*l = 145*l - 11400. Is l a multiple of 19?
True
Let s(g) = -415*g + 925. Is 42 a factor of s(-5)?
False
Suppose 5*p + 3*y + 7 = 1, -4*p + 2*y = 18. Is 17 a factor of 88 + -1 + p + (-4)/(-4)?
True
Suppose -4*i = -i + 3, -2*i = 3*g + 2. Suppose 5*b + 5 = g, -5*s - b = -2*s - 14. Suppose 5*n = 4*o - 210, 4*o + s*n = 73 + 117. Does 13 divide o?
False
Let i be (-1)/9 + (-18927)/243. Let x = i - -107. Is 4 a factor of x?
False
Let w = 15 - 26. Let y = -8 - w. Let h = 12 - y. Is h a multiple of 5?
False
Is 31 a factor of (-2 - (-1)/3) + 27922/69?
True
Let q be ((-570)/(-19))/((-4)/(-38)). Suppose 0 = 3*n - 2*n. Suppose n = -6*i + i + q. Does 19 divide i?
True
Let w(y) = -30*y - 62*y + 11*y. Let b = 95 + -96. Does 27 divide w(b)?
True
Suppose 2*q + 64 = 3*z, 5*q - 15 = -3*z + 14. Let x(f) = f**3 - 5*f**2 + 4*f - 3. Let t be x(3). Let p = z + t. Is p a multiple of 9?
True
Suppose -r - 6 = a, 3 - 1 = -3*r + 5*a. Let k be (14 + -6)/(1/r). Let f = 65 + k. Is f a multiple of 11?
True
Let l(n) = n + 5. Let v be l(-5). Let k(s) = -s**3 - 4*s**2 - 2*s - 9. Let u be k(-4). Is 4 a factor of (2 + u)*(18 + v)?
False
Suppose 0 = 12*h + 528 - 1536. Does 12 divide h?
True
Suppose 20 - 4 = q. Is (3*5/(-4))/((-3)/q) even?
True
Suppose -78*a = -86*a + 192. Is 2 a factor of a?
True
Let g(p) = p**2 + p - 2. Let a be (1*6)/((-14)/(-21)). Is 14 a factor of g(a)?
False
Let a(x) = x**3 + 14*x**2 + 11*x - 8. Let c be a(-13). Suppose c*f - 280 = 22*f. Is 18 a factor of 3/5 + (-4368)/f?
False
Does 22 divide 1 - (2295/5)/(-3)?
True
Let a = 286 - 135. Let p = a - 86. Does 13 divide p?
True
Suppose -6*m - 51 + 33 = 0. Let j = 1 - 2. Is (m + (-2 - j))*-2 a multiple of 8?
True
Let u(i) = -i**2 + 11*i - 6. Let o be u(8). Let x = o + 12. Does 10 divide x?
True
Let d(h) = 58*h + 21. Let q be d(-6). Let i = -187 - q. Does 14 divide i?
True
Let k(a) = -93*a - 6. Suppose 3*y - 18 = 2*y - 4*h, -3*y - 2*h = -4. Is 36 a factor of k(y)?
True
Let t = -944 - -1316. Is 12 a factor of t?
True
Let i = -30 + 133. Does 6 divide i?
False
Suppose 0 = -5*a + 4*a + 4. Suppose f + a*f + 27 = 3*n, -5*n = -5*f - 25. Is 17 a factor of ((-87)/f)/((-1)/(-2))?
False
Suppose 182 = 4*c - 5*j - 62, 3*j = 12. Does 6 divide c?
True
Let d = 1 - -22. Suppose 23 = y - d. Does 16 divide y?
False
Let m(g) = 130*g - 8. Let v be m(2). Suppose 7 = 3*k - 5. Suppose k*n = n + v. Does 28 divide n?
True
Suppose 4*q = a + 28, -35 = -5*q + 8*a - 5*a. Suppose 201 + 261 = q*v. Is v a multiple of 33?
True
Let i(n) = 6*n**2 - 2*n - 1. Let v be i(2). Is 27 a factor of (17 - v)*111/(-2)?
False
Let l be -3 - 1/((-4)/108). Let u = 52 - l. Is u a multiple of 14?
True
Let k(w) = 25*w - 1. Let d = -5 - -8. Suppose d*v - 1 = 2*v. Is 8 a factor of k(v)?
True
Let z(y) = -235*y - 338. Does 5 divide z(-8)?
False
Let s be (-68)/(-3) + 3 + 1/3. Suppose -3*f - 3*h = -258, -f = 2*h - 61 - s. Is 21 a factor of f?
False
Suppose -4 = -5*g + 11. Suppose -g*v + 2*v + 42 = 0. Suppose -34 = -k - 4*w, -2*w = -2*k + 3*w + v. Is 3 a factor of k?
False
Let r = 3 - 4. Is (-12)/(-4) - (2 + r - 132) a multiple of 14?
False
Suppose 0 = -2*i - 5 - 3, 3*i - 443 = -5*z. Is 20 a factor of z?
False
Let x(o) = -o**2 + 336. Let r be x(0). Suppose 6*f - r = 180. Is f a multiple of 3?
False
Let q(w) = -w**3 + 2*w**2 + w + 1. Let v be q(-2). Let p(z) = v*z**2 + 5*z**2 - 6*z**2 + 24*z**2. Is p(-1) a multiple of 19?
True
Let i(x) = 19*x**3 - 7*x**2 - 9*x + 1. Let h(a) = 57*a**3 - 20*a**2 - 26*a + 4. Let m(r) = 6*h(r) - 17*i(r). Is 23 a factor of m(2)?
False
Is 23 a factor of 21653/177 + (-2)/6*-2?
False
Is 1567/4 - 39/(-156) a multiple of 7?
True
Is (-3 - 24)*258/(-9) a multiple of 13?
False
Suppose 3 = 2*x - 2*h + 7, 2*x - 1 = h. Let g(o) = -x*o - o**2 + 0*o**2 - 5*o + 4. Does 11 divide g(-7)?
True
Suppose -4*r + 5*f + 3490 = -407, -3*r + 2937 = f. Does 36 divide r?
False
Let t(u) = u**2 + 2*u + 3. Let z be t(-5). Suppose 0 = 14*q - z*q + 64. Is 4 a factor of q?
True
Let q(w) = 21*w + 36. Is q(9) a multiple of 15?
True
Let q = 9 - 6. Suppose 5*z - 434 = -5*u - 159, -2*z = -q*u - 85. Is z - (1 - (-3 + 2)) a multiple of 12?
True
Suppose -h + z = -748, 5*z = -5*h + 1648 + 2122. Let m = 502 - h. Is (0 + (-4)/12)*m a multiple of 15?
False
Let m be 88/(-12) + (-1)/(-3). Let r = 35 + m. Is r a multiple of 14?
True
Let w(b) = -b**3 + 8*b**2 + 2*b - 9. Suppose -5*j + 2*v + 48 = -0*j, 3*j + v - 20 = 0. Let y be w(j). Suppose -g + y = -30. Does 19 divide g?
False
Suppose 0 = 5*v - 7*v + 64. Let d = v + -10. Suppose 0 = -2*y - 0*y + d. Does 11 divide y?
True
Let r be (-1 + 3)*(-848)/(-16). Let y be (-58)/(-6)*(-1 - 5). Let j = r + y. Is j a multiple of 10?
False
Let w = -17 + 11. Is w*(-5)/6*3 a multiple of 5?
True
Suppose -109 = 5*c + 6. Let b(z) = z**2 + 14*z + 33. Is 15 a factor of b(c)?
True
Suppose -25*m + 9*m + 14784 = 0. Does 87 divide m?
False
Suppose 5*l = -22 + 122. Is 10 a factor of l?
True
Suppose v = -11 + 4. Suppose -u = 2*u + 45. Let r = v - u. Is r a multiple of 8?
True
Let a = -13 - 27. Let k = a - -16. Let r = 0 - k. Is r a multiple of 12?
True
Let d(m) = m - 10. Let g be d(10). Suppose -3*x = -g*x - 573. Is x a multiple of 32?
False
Let m(u) = -29*u + 13. Let l(c) = 146*c - 64. Let z(g) = -3*l(g) - 16*m(g). Does 11 divide z(6)?
False
Let p = 4 - -7. Suppose 0 = -16*g + p*g + 725. Does 29 divide g?
True
Let t(v) = 2*v**2 - 9*v + 13. Let w(o) = o**2 + 13*o + 4. Let l be w(-13). Is 2 a factor of t(l)?
False
Suppose 6 = -s + 3*s. Let k = -18 + s. Let g = 17 - k. Is 8 a factor of g?
True
Let f = -832 - -412. Does 13 divide (12/(-10))/(9/f)?
False
Suppose -s = -2*v + 1240, -15*v - 1236 = -17*v + 3*s. Is 12 a factor of v?
False
Suppose 18 = 4*g + 2. Suppose 5*l - b - 150 = -g*b, 4*b - 60 = -2*l. Does 9 divide l?
False
Suppose -3*r - 12 = -3*h, 2*h - 5*r + 36 = 4*h. Suppose -3*u + 37 = -4*u. Let x = h - u. Is 9 a factor of x?
True
Suppose 4*p - 21 = -z, 4*p + p = -5*z + 30. Let u(w) = -p*w + 2 - 10*w**2 + 18*w**2 - 6*w**2. Does 9 divide u(5)?
True
Suppose 5*c + 2*k - 45 = 202, 100 = 2*c + 2*k. Let v = c + 16. Is v a multiple of 11?
False
