se
Let l = 7457 - 1569. Is l a multiple of 32?
True
Let n(f) = 17*f + 1741. Is n(68) a multiple of 44?
False
Suppose 4*b - 5933 = -p - 1185, 5*p - 2*b - 23586 = 0. Is p a multiple of 10?
True
Suppose -4*q + 3*u + 7107 = 0, -41*q + 2*u = -42*q + 1774. Is q a multiple of 37?
True
Let x = -166 + 170. Suppose 0 = -2*k, 2*v - x*k + 3*k = 136. Is 21 a factor of v?
False
Let r = 552 + 794. Is r a multiple of 21?
False
Let m be (-122)/(-4) + 7/14. Suppose 0 = -7*f + 360 - m. Let b = 9 + f. Does 14 divide b?
True
Let d(v) = 10*v - 15. Suppose 12*a = 5*a + 21. Suppose 5*x + a + 3 = 3*k, 0 = 4*k - 5*x - 13. Does 11 divide d(k)?
True
Let n be -1 - -5 - 14070/42. Let l = -247 - n. Is 2 a factor of l?
True
Is (-15)/(165/(-11)) + 2412 a multiple of 8?
False
Let c be -1*(-6)/(-14) + 187/77. Suppose -188 + 986 = c*y. Is y a multiple of 19?
True
Let o be (60/8)/((-6)/(-8)). Let p(t) = -5*t**2 - 18*t + 11. Let r be p(-4). Suppose m + 2 = 0, -3*s + 70 - o = -r*m. Is 17 a factor of s?
False
Suppose 111*c = 1103743 + 762056. Is 39 a factor of c?
True
Let m(x) = -x**3 - 7*x**2 - 24*x - 76. Is m(-11) a multiple of 14?
True
Let w(i) be the third derivative of i**6/120 - i**5/20 - 11*i**4/12 - 5*i**3/6 + 46*i**2 - i. Is 9 a factor of w(7)?
False
Suppose 181*p = 66*p - 127*p + 2249148. Does 6 divide p?
True
Let z(k) = -k - 7. Let x be z(-7). Let j(s) = 2*s + 52. Let p be j(x). Suppose -2*m - p = -6*m. Does 8 divide m?
False
Suppose -9 = -3*y + a, -5*a + 3*a + 9 = 3*y. Suppose 2*c - 401 = -y*r, -3*c - 4*r + 411 = -192. Is c a multiple of 5?
True
Let u = -6603 - -9867. Is 11 a factor of u?
False
Let n(w) = 782*w**2 - 26*w - 49. Let g be n(-2). Let p = g + -1597. Is 13 a factor of p?
True
Suppose -264*q + 660 = -263*q. Suppose -3*i + 13*i = q. Does 14 divide i?
False
Let u(y) be the second derivative of -3/2*y**2 + 3/2*y**3 + 5*y + 0 + 1/3*y**4. Does 4 divide u(-5)?
True
Let b be 6/(-8) + (-795)/(-20). Let c be (32/b + (-10)/65)*3. Suppose -5*q = 2*g - 212 + 22, 4*g + 52 = c*q. Is 4 a factor of q?
True
Let n = 711 - 11. Suppose 17*m - n = 3*m. Does 13 divide m?
False
Does 39 divide 4/(-3)*(-2)/4 - (-30080)/60?
False
Suppose -34377 = -10*c - 1947. Does 141 divide c?
True
Suppose 4*l = -5*t + 19, -4*t + 6*t + 21 = l. Suppose 4200 = l*k + 14*k. Does 42 divide k?
True
Let o = 129 - -516. Suppose -o = -9*s + 525. Is s a multiple of 13?
True
Suppose -2*a + 8 = -4*c, -3*c + 5*c = -4. Suppose -3*w = -263 - 301. Suppose -z - 47 = -0*o - o, a = -4*o + z + w. Is 24 a factor of o?
False
Let k(j) = 80*j**2 - 92*j + 422. Is 2 a factor of k(5)?
True
Suppose 1755 = -6*i + 7*i + 3*b, -3521 = -2*i + 5*b. Let o = i - 1042. Is 14 a factor of o?
False
Let r(d) be the first derivative of 71*d**2 - 9*d + 48. Is 8 a factor of r(1)?
False
Let o be 5/15 + (-5)/(-3). Let n(p) = -2*p + 5. Let m be n(-8). Let i = m - o. Is i a multiple of 7?
False
Suppose 30*x - 3483 = 31*x. Let s be x/(-63) - 4/14. Is ((-4)/4 - -1) + s a multiple of 11?
True
Suppose -17*v = -19*v + 36*v. Let o(r) = 31 + r**3 - r**2 - r + 2*r + 2*r. Is 8 a factor of o(v)?
False
Let h = -1154 + 33859. Is 123 a factor of h?
False
Suppose -a = -5*u - 38, -46 = -3*a + 2*u + 120. Suppose -a*d = -57*d - 113. Does 58 divide d?
False
Suppose 3*h + 3*y = 55989, 34836 + 21201 = 3*h - 3*y. Does 23 divide h?
False
Suppose -4*c = -2*a - 38726, 21*a - 19*a - 38754 = -4*c. Is 53 a factor of c?
False
Let h be -21*5/5*2/6. Let k(o) = -o**3 - 3*o**2 - 7*o - 9. Is 12 a factor of k(h)?
False
Let n = 13474 + -11153. Is 9 a factor of n?
False
Let s = -44 + 46. Suppose 3*j - 66 = -s*i, 0 = 5*j + 4*i - 82 - 30. Suppose 18*w + 46 = j*w. Does 10 divide w?
False
Let c(b) = 10*b + 149. Let x be c(-22). Let u = 985 - x. Is u a multiple of 12?
True
Let o = -191 + 183. Let i(s) = -15*s - 111. Does 9 divide i(o)?
True
Suppose 4*a = -5*h + 77, -4*a + 2*a = -6. Let m = h - -3. Suppose -m*g + 136 = -12*g. Is 16 a factor of g?
False
Let r(p) = p**3 - 13*p**2 + 58*p - 27. Is r(9) a multiple of 2?
False
Suppose 0 = -3*h + 4*a - 67, 5*h + a + 0*a = -150. Let y = -26 - h. Suppose y*k - 5*k = -62. Does 4 divide k?
False
Let a(y) = -32*y - 11. Let d be a(7). Let q = -169 - d. Does 6 divide q?
True
Let i(o) = 3*o**3 - 3*o**2 - 6*o + 12. Let n be i(3). Suppose -63*u = -n*u - 4680. Does 6 divide u?
True
Suppose 11*f - 87 = 1750. Suppose 9 = p - f. Is 44 a factor of p?
True
Let r = -420 + 1003. Suppose 4*h - 584 = -2*m, 5*h + 3*m - r - 146 = 0. Is 2 a factor of h?
False
Let w = 4169 + -2124. Suppose 3*t = -w + 2465. Is 12 a factor of t?
False
Let c be -1 - -3 - (-2 + 6/(-6)). Let d(i) = -i**3 + 5*i**2 + 7*i + 2. Is 4 a factor of d(c)?
False
Let b(v) = -16*v - 110. Let q be (-5 - -3*44/6)/(-1). Does 27 divide b(q)?
True
Let x be ((-232)/6)/(7/((-25410)/20)). Suppose -11*a + 0*a + x = 0. Is a a multiple of 9?
False
Let c = 65 + -60. Suppose 0 = 2*x + 2*i - 16, -c*x - 4*i + 6*i = -40. Is x a multiple of 8?
True
Let u(p) = p**3 + 6*p**2 - 4*p + 15. Let j(b) = -b**3 + 7*b**2 - 7. Let r be j(7). Let x be u(r). Does 44 divide 2/x*(-2 - (161 + -7))?
False
Let w(v) = -v**3 - 12*v**2 - 7*v + 16. Let r be w(-11). Let n be -1 + r/(-20) - 54/(-15). Suppose z - k - 139 = 0, -n*z + z + 5*k + 415 = 0. Does 10 divide z?
True
Let f = -47 + 50. Suppose f*h = -0*h - 15, -5 = -5*i + 2*h. Let v = 49 + i. Is v a multiple of 9?
False
Suppose 29*j = 33*j - 4356. Suppose 1355 = 13*t - j. Is t a multiple of 26?
False
Suppose -3*l - 5*b + 235 = 0, l + 7*b - 10*b - 55 = 0. Suppose -2*s - 14 + l = 0. Suppose -o = y - 29, -s - 85 = -4*o - 5*y. Is o a multiple of 3?
False
Let j(x) = -1469*x - 7501. Is j(-24) a multiple of 17?
False
Let u = 405 - 426. Is 26 a factor of (32/336 - (-8374)/u)*-3?
True
Is 56 a factor of 3/48 - (-4)/128*337214?
False
Let p(u) = 5*u - 64. Let i be p(15). Suppose -5278 = -15*l - i*l. Is 38 a factor of l?
False
Let j be (-1)/(-13) - 4824/13. Suppose 2*n - 3 + 0 = z, 0 = n - z. Is 6 a factor of 1/n - j/21?
True
Let u be 21*-7 - 19/(209/22). Let n = u - -262. Does 56 divide n?
False
Let h(z) = 36*z**2 - 143*z + 1518. Is 4 a factor of h(10)?
True
Let c be 1407/(-6)*720/(-105). Suppose -7*m + h = -9*m + 812, -4*m + 2*h + c = 0. Is 7 a factor of m?
False
Let l(c) = -102*c + 2863. Is 25 a factor of l(19)?
True
Suppose -22*k + 136945 - 69530 = -176301. Does 47 divide k?
False
Let b be (((-616)/35)/(-4))/(1/5). Suppose -6251 = -b*s + 15*s. Is s a multiple of 33?
False
Suppose 29 - 6 = 2*j - 3*n, -2*n = -5*j + 63. Suppose -j*r = -410 - 45. Is r a multiple of 21?
False
Let p(k) = 41*k**2 - 119*k - 1415. Is p(-20) a multiple of 23?
True
Let s(o) = -o**2 - 9*o - 42. Let w be s(13). Let q = w + 425. Is q a multiple of 31?
False
Suppose 0*b + 3977 = -8*b + 23049. Is b a multiple of 4?
True
Let r(n) = -n**3 - 4*n**2 - 5*n - 3. Let x be r(-2). Let l(z) = -1. Let s(i) = -16*i + 19. Let f(q) = x*s(q) - 4*l(q). Does 21 divide f(9)?
False
Let p(h) = -6*h**3 + h**2 + h - 2. Let d be p(-2). Does 49 divide d + ((-18)/(-21) - (-3)/21)?
True
Let h = 1195 + -1177. Does 9 divide h?
True
Is 4151488/836 - 6/76*(-20)/15 a multiple of 49?
False
Let x be 1/2 + 259/(-2). Let q be x - (2/(-1) - 1). Let j = q - -240. Is 18 a factor of j?
False
Let q(k) = 10*k**2 + 10. Let m(a) = 3*a**2 + 3. Suppose -5*t + t + 8 = 4*d, -3*d + 3*t = -12. Let c(n) = d*q(n) - 8*m(n). Is c(-2) a multiple of 15?
True
Let m(q) = -3 - 3 - q**2 + 2*q**2 + 0 + q. Let t be m(6). Is 6 a factor of 84/8*t/7?
True
Let z = 218 + -205. Suppose z*b - 8234 = -10*b. Is b a multiple of 28?
False
Let t(f) be the first derivative of 254*f**3/3 - f**2/2 - 3*f + 22. Let y be t(-1). Suppose -24*x + y = -22*x. Does 14 divide x?
True
Suppose 15*j = 20*j - 30. Suppose 0 = -j*d - 425 + 1181. Is d a multiple of 15?
False
Let u(w) = 24*w + 2*w**2 + 4*w**2 + 12 - 41*w - 4*w**2. Let m be u(8). Suppose -m*y + 413 = -259. Is 24 a factor of y?
True
Let g(y) = 7*y**2 + y - 1. Let n = -54 + 55. Let b be g(n). Suppose 0 = 11*i - b*i - 140. Is i a multiple of 17?
False
Let p = -842 + 842. Suppose 4*g - 2856 = -4*m - p*g, 5*g = -20. Does 44 divide m?
False
Let m be 8/10 + (-72)/90. Suppose m = -19*s + 682 - 245. Suppose 2*q + s = 181. Is q a multiple of 11?
False
Suppose u - 3356 + 73 = 0. Is 7 a factor of u?
True
Suppose -98*v = -5*u - 96*v + 3751, -u - 5*v + 761 = 0. Does