6)/9?
False
Let w(p) = -9*p - 8. Let r = -17 - -23. Suppose 0 = -3*t + 4*t + r. Is 23 a factor of w(t)?
True
Let i(y) = -y**2 + 32*y - 112. Does 31 divide i(12)?
False
Let n(j) = -j**3 + 10*j**2 + 32*j - 8. Does 15 divide n(11)?
False
Suppose 15*k = 3617 + 10078. Is 23 a factor of k?
False
Suppose 5*b = 252 + 148. Does 8 divide (b/(-50))/((-2)/20)?
True
Let f = -47 - -52. Let k(u) = 5*u**2 - 2*u + 5. Does 30 divide k(f)?
True
Let m(t) = -3*t. Let x be m(7). Let d be (2 + x/(-6))*-2. Let z = d + 24. Is z even?
False
Let n be (7 - 11)/((-2)/15). Suppose 17 = -3*s - 1. Does 25 divide n*2 - (s + 3)?
False
Suppose -5*n = -4*q - 3331, -2*q = -4 + 2. Does 23 divide n?
True
Let i(t) = 25*t**2 + 16*t + 196. Is 20 a factor of i(-10)?
False
Suppose 0 = 3*w - 3*g + 4*g - 788, 20 = -5*g. Is w a multiple of 12?
True
Suppose -2*f - 2*r + 7*r - 26 = 0, 0 = -3*f + 5*r - 29. Let n be (-4)/(f/(-2) - 2). Suppose -60 = -n*q + 5*q. Is q a multiple of 10?
True
Suppose 3*x - 2750 = -524. Suppose -k = -8*k + x. Is 23 a factor of k?
False
Let t(o) = o**3 + 12*o**2 - 2*o - 1. Let a be t(-6). Suppose -2*i + a = -n + 30, 0 = i - 2*n - 91. Let y = i + -5. Does 24 divide y?
True
Suppose 884 = 15*t - 61. Is t a multiple of 4?
False
Suppose 5*u - 98 = 2. Suppose -g = 5*r - 15 - 1, 0 = -5*g - u. Is 4 a factor of r?
True
Suppose 18*o = -29*o + 20304. Is o a multiple of 12?
True
Let x(h) be the second derivative of 5/12*h**4 + 1/20*h**5 - 11/6*h**3 - 5/2*h**2 + 0 + h. Does 10 divide x(-6)?
False
Let r(a) = -a**2 - 8*a. Let q be r(-7). Let z(f) = 4 - f + 0 + q + 0. Is z(-8) a multiple of 13?
False
Let b(f) = 3*f**2 + 117*f + 437. Is 16 a factor of b(-50)?
False
Is 24 a factor of 1/(-17) + (-155078)/(-646)?
True
Let n(q) = -q**2 + 10*q - 2. Let l be n(3). Suppose 3*y - 5*d - 31 = 0, 2*d = 4*y - l - 13. Is 94/14 - (-2)/y a multiple of 2?
False
Let d be 300/27 + 4/(-36). Let p(z) = z**3 - 9*z**2 - 20*z + 13. Is 35 a factor of p(d)?
True
Suppose -5*r - 6 + 22 = -3*p, 3*r = 15. Suppose -i + 30 + 217 = -2*w, -726 = -3*i + p*w. Does 19 divide i?
False
Let u(m) = -44*m**3 - 2*m**2 - 2*m + 1. Is u(-2) a multiple of 6?
False
Suppose -2*b + 55 + 278 = -o, 4*b + 2*o - 686 = 0. Let h = -81 + b. Is h a multiple of 8?
True
Is (-10)/(-2) - (-2)/(-3)*-363 a multiple of 19?
True
Suppose -7*u + 12*u + 130 = 0. Does 4 divide (273/u)/(6/(-8))?
False
Let p(o) = 15 + 3*o + o**2 + 15*o + 1 - 5*o. Let f be p(-12). Suppose -5*g + h + 25 = 4*h, -h = f*g - 27. Does 2 divide g?
True
Let u be 0 - (92 - (1 + 2)). Let o = -29 - u. Is 15 a factor of o?
True
Let z = 1066 + 844. Does 121 divide z?
False
Let o = -40 + 42. Suppose o*a - 131 = 69. Is a a multiple of 50?
True
Let p(r) = 2*r**2 + 5*r - 54. Is 14 a factor of p(12)?
True
Let q be (-82)/4*(7 - 9). Suppose 0 = -5*k - 3*h + 205, 2*k - q = k + 4*h. Is k a multiple of 12?
False
Suppose -4*m - 4*p = -220, 3*m - 4*p = -m + 260. Does 15 divide m?
True
Let z = -27 - -269. Suppose z = 15*b - 133. Is 16 a factor of b?
False
Does 2 divide (-1)/(-2) + 3726/92?
False
Suppose -k + 381 = 120. Let n = k + -145. Is 7 a factor of n?
False
Suppose p - l = l + 31, 4 = -4*l. Suppose 4*x + 9 - p = 0. Suppose -x*y + 2*y + 42 = 0. Does 3 divide y?
False
Suppose 10893 + 843 = 18*b. Is 53 a factor of b?
False
Let x = 9 + -4. Suppose -x*q + 3*o = -645, 3*q = -q + 5*o + 503. Does 22 divide q?
True
Let g(t) = 47*t + 1. Let w be g(-2). Let m = 142 + w. Does 8 divide m?
False
Let r(n) = -49*n - 11. Let m be r(3). Let z = 268 + m. Does 21 divide z?
False
Let h be 819/4 + 6/24. Suppose -5*m - 3*n + h = 0, -m - 5 = -3*n - 28. Is m a multiple of 38?
True
Suppose -29*q = -5456 - 30475. Does 21 divide q?
True
Suppose 2*o = n - 72, 0 = -7*n + 3*n - 5*o + 236. Does 8 divide n?
True
Let j be 26/104 - (-2)/16*-2. Suppose -y + 59 - 34 = j. Is 25 a factor of y?
True
Suppose -3*h = 2*w + 402 - 1475, -1805 = -5*h + 5*w. Does 28 divide h?
False
Suppose -409 = -4*x - 73. Does 6 divide x?
True
Let c be (0/10)/(-1*1). Suppose -5*h + 9 = -5*a - 6, c = -2*h - a + 15. Is (-1267)/(-14) - h/(-4) a multiple of 23?
True
Is 18 a factor of 12/(-10)*(-12 + -3)?
True
Suppose -k + 5*k - 68 = 0. Let j = -8 + k. Does 3 divide j?
True
Let d be 10/(-4)*(-54)/45. Suppose -4*j = l - 18, -1 = d*j - 13. Suppose -3*x + l*g + 82 = -0*g, -4 = 2*g. Is 12 a factor of x?
False
Let p(s) = 6*s**3 - 3*s**2 + 2*s + 7. Let j be p(-3). Let k = 294 + j. Is 31 a factor of k?
False
Let k(h) = 5*h**2 + 3*h + 4. Suppose 3*f - 12 = -3*f. Suppose 2*j = -f*u + 4*j - 10, -j = -5*u - 13. Is 9 a factor of k(u)?
True
Let c = 25 - 10. Let u = c - 8. Suppose 4*t = u*d - 2*d - 55, -3*d + t = -33. Does 4 divide d?
False
Is 20 a factor of (5 - 6) + 166 - 4?
False
Suppose 99*l - 101*l + 2*k = -5630, -4*l + 11242 = 5*k. Is 97 a factor of l?
True
Suppose -3*f + 2*c = 14, -3*c + c = 3*f - 2. Let x be (-86)/(-14) + f/14. Is (-144)/(-15) + x/15 a multiple of 4?
False
Let b(v) = -2*v + 3*v**2 - 35 + 11 + 10 + 8. Is 6 a factor of b(-3)?
False
Suppose 0 = 4*o + 4*p - 375 - 5, 0 = 4*o + 3*p - 377. Let m be (-2)/9 - (-29)/9. Suppose -4*l + o = -m*r, 69 = 3*l - 2*r + 3*r. Does 9 divide l?
False
Let l(p) = 6 + 0*p - 9 - 8*p - 7. Let h be l(-4). Suppose -3*m + 161 = -h. Is 14 a factor of m?
False
Let q be (6 - 0)*(4/3)/1. Suppose 2*l = q*l - 84. Is l even?
True
Let y(w) = 1 - 2 + 19*w**2 - 16*w**2. Let j be y(1). Suppose -4*f + j*f + 12 = 0. Does 2 divide f?
True
Let c = -1 - -5. Suppose 4*b = -c*b + 864. Is 21 a factor of b?
False
Let i(u) = -722*u + 5. Is 69 a factor of i(-2)?
True
Let n(b) = 126*b + 38. Is n(7) a multiple of 3?
False
Suppose -217 = 2*n - 3*q - 706, -3*n = -5*q - 735. Suppose -6*d = -d + n. Let y = d + 67. Does 16 divide y?
False
Is (11/(-44))/(1/(-1876)) a multiple of 67?
True
Suppose -3*k + 75 = -8*k. Let c = -7 - k. Suppose f - 30 + c = 0. Is f a multiple of 11?
True
Let t(s) = 17*s**2 - 36*s - 20. Does 46 divide t(-8)?
False
Suppose -2*o + 74 = 3*a + 23, 78 = 4*o - 2*a. Let y be 17/7 + (-9)/o. Suppose -g = -2*i + y*g + 33, -57 = -3*i + 2*g. Does 7 divide i?
True
Let v(t) = 34*t + 272. Is 10 a factor of v(17)?
True
Suppose 0 = -3*z - 8 - 67. Let j(r) = -14*r. Let i be j(-3). Let x = z + i. Is 17 a factor of x?
True
Let o = 6 + -3. Suppose 0*y - y = -o. Suppose -17 = -y*t + 31. Is t a multiple of 8?
True
Let b(r) = r**3 - 6*r**2 - 9*r + 16. Let z be b(7). Suppose -5*m - 6*n + 988 = -2*n, -z*n = 6. Is 20 a factor of m?
True
Let m(l) = l**2 + 3*l. Let h be m(-15). Let c(s) = -s. Let a be c(-4). Suppose -k + h = a*k. Does 23 divide k?
False
Let v(w) = w**2 + 6*w + 2. Let u be v(-6). Suppose 14 = 3*j - 4*i, -j - i = -u*i - 4. Suppose -q + 4*s + 116 = 0, -q - j*q = s - 283. Is q a multiple of 32?
True
Suppose i = -2*i + 2139. Is 23 a factor of i?
True
Let x = -19 - -22. Is 18 a factor of 51 + x - 0/2?
True
Let u(a) = 2*a**2 + 5*a + 14. Let c be u(7). Let r = -36 + c. Is r a multiple of 20?
False
Let i = 641 - 482. Is i a multiple of 10?
False
Let q(a) = a**3 - 11*a**2 - a + 16. Suppose 55 = -16*v + 21*v. Does 2 divide q(v)?
False
Let n be 3 + 1/(-2)*-6. Let d = 5 - n. Is 16 a factor of ((-15)/(-21) - d)*56?
True
Suppose 107*x = 93*x + 4662. Does 111 divide x?
True
Let u = -203 - -328. Is 10 a factor of u?
False
Let x(p) = 84*p - 1. Let n be x(3). Let z = n + -155. Suppose a = 3*w - 65 + 8, 5*w - z = 2*a. Is w a multiple of 6?
True
Suppose 4*p - 5*s = 214, 0 = p + 2*s - 36 - 24. Is p a multiple of 14?
True
Suppose -4*d + 8*d = 0, -2*r + 14 = 3*d. Suppose -r*o = -76 - 246. Suppose -o = -2*q + 5*l, 3*q + 5*l - 142 + 23 = 0. Does 11 divide q?
True
Let o = -2 - -535. Does 41 divide o?
True
Suppose -2*f - 2*n + 244 = -0*f, 0 = 3*f - 5*n - 350. Suppose -2*a + 20 = -2*w + 152, -2*w - 4*a = -f. Does 32 divide w?
True
Let p = -4 + 8. Suppose -5*u + 3*i = -140, p*u - 23 = i + 89. Does 7 divide u?
True
Suppose 4*o - 792 = -108. Suppose 3*f + 9 = 0, 2*f = -3*z + 7*f + o. Suppose z - 8 = u. Does 11 divide u?
True
Suppose -3*t - 8 = -5*m - 0*m, -3*m = -2*t - 4. Does 12 divide m + -2 + 136/4?
True
Let c(t) = 3*t - 1. Let v be c(1). Suppose -7 = v*z - 43. Is z a multiple of 7?
False
Let r be 62/5*30/12. Let f = 29 + r. Does 15 divide f?
True
Does 38 divide (-4152)/(-10)*(-190)/(-76)?
False
Suppose -1373 = -14*c + 13*c - 4*a, -2*a + 2734 = 2*c. Does 39 divide c?