tiple of 41?
True
Let n = -131 + 858. Does 30 divide n?
False
Does 11 divide 354/(-295)*(3/5 - (-54924)/(-40))?
False
Let f(j) = -j**2 - 3*j + 18. Let u be f(-6). Suppose -2*b + 30 = -u*b. Is b a multiple of 8?
False
Let q = 216 - 201. Suppose t = y - t - 2, -3*y = -3*t - q. Does 8 divide y?
True
Does 30 divide 59847/18 - 26/(-156)?
False
Let g(m) = m**3 + 3*m**2 - m + 3. Let i = 23 + -25. Let x(s) = -s**2 - 5*s - 3. Let a be x(i). Is g(a) a multiple of 54?
True
Let y(b) = 239*b**2 - b. Let f be y(1). Let t(k) = 31*k**2 - 3*k - 3. Let c be t(-2). Let g = f - c. Does 45 divide g?
False
Let t = 558 - -1165. Does 6 divide t?
False
Let i = -43352 - -65193. Is i a multiple of 98?
False
Does 14 divide 22 + 570/(-26) - 1036851/(-39)?
True
Let s be 25482/18 - 6/9. Suppose 7*b - 1142 = -4*j + 5*b, 5*j = -5*b + s. Is j a multiple of 24?
True
Let d be (58/87)/((-4)/(-6006)). Suppose 4*x + 881 = 5*o - d, -1506 = -4*o + 3*x. Does 21 divide o?
True
Let c = -7 - -11. Let n be (-465)/10*2*-1. Suppose 0 = -c*w + 251 + n. Is 20 a factor of w?
False
Suppose -87*r = -81*r - 9012. Suppose -26*q - r = -5246. Is q a multiple of 6?
True
Let x(z) = -z**2 + z + 2. Let s(w) = w. Let g(c) = 6*s(c) - x(c). Let i be g(-6). Suppose 169 = i*r - 39. Does 13 divide r?
True
Suppose 3*w + 15 = 0, 4*w - 60 = -h + 67. Does 18 divide (-5)/(((-2)/(-8))/(h/(-12)))?
False
Let t(h) = -2083*h + 890. Does 95 divide t(-5)?
True
Let s(b) be the third derivative of -b**6/60 - b**5/10 + b**4/6 + 2*b**3 - 3*b**2 + 5*b. Is s(-5) a multiple of 23?
True
Let x(m) = 17*m**2 - 22*m + 3422. Is x(30) a multiple of 10?
False
Let z = -16174 - -21887. Is z a multiple of 29?
True
Suppose -206*g = 254*g - 4640480. Does 104 divide g?
True
Let i be (10/(-8))/((-1)/4). Suppose -2*b = 2*j, 0 = -j + i*j + 2*b - 10. Suppose 8*p - j*p - 273 = 0. Is p a multiple of 13?
True
Suppose 6*n = 3*n - 5*l - 1, -n + l = -5. Suppose 64*m + h - 1228 = 63*m, 2*m - 2454 = -n*h. Is 11 a factor of m?
False
Suppose 22*v - 9 - 79 = 0. Suppose -v*g + 196 = -872. Is 23 a factor of g?
False
Let h(y) = y**3 + 5*y**2 + 6*y + 5. Let c be h(-4). Let o be ((-30)/9)/(2/c). Let g(s) = 2*s + 26. Is 9 a factor of g(o)?
True
Let t = -74 + 15. Let f = 17 + t. Let y = 18 - f. Is 18 a factor of y?
False
Suppose -4195 = -5*n + v, 0 = -3*v - v + 20. Let q = 1110 - n. Is q a multiple of 15?
True
Let s(c) = 5*c - 34. Let w be s(7). Let n(r) = 171*r**3 + 2*r - 3. Does 17 divide n(w)?
True
Let q be 3 + (0 - 0/((-8)/4)). Suppose 4*y - 3 = -q*d, -3*d + 2*d = -5. Is 16 a factor of (y/1)/(336/119 - 3)?
False
Let m(j) = -6*j**3 - 2*j**2 - 50*j + 12. Does 107 divide m(-8)?
False
Suppose 75*p = 390278 - 94328. Is 98 a factor of p?
False
Does 4 divide (-503 - -3)*6*((-4)/60 - 0)?
True
Let g(j) = 27*j - 129. Let m be (12/11)/(24/132). Does 6 divide g(m)?
False
Let d be 160/12*6 - 3 - 5. Let x = d + -19. Is 5 a factor of x?
False
Let g(a) = a**2 + 23*a + 20. Let r = -443 + 463. Is g(r) a multiple of 80?
True
Let u(q) = q**2 + 7*q - 24. Let t be u(-7). Let f be ((-8)/(-3))/(-4)*t. Suppose -78 = -f*s + 13*s. Is s a multiple of 26?
True
Suppose -2*h + 13392 + 3839 = q, 0 = -3*q + 5*h + 51748. Is q a multiple of 134?
False
Let c(u) = -u**3 + 25*u**2 - 15*u - 396. Is c(21) a multiple of 27?
True
Suppose -4 = -5*s + 3*i, -3*s - s + i + 6 = 0. Suppose 24 = -3*j + 5*k, -s*k - 3 = 4*j + k. Does 9 divide 4/(-48)*j - 585/(-12)?
False
Let i(p) = 7*p**2 - 3. Let w(g) = g**3 + 24*g**2 - 25*g - 37. Let k be w(-25). Let v = -34 - k. Does 20 divide i(v)?
True
Suppose -f = 2*x + 12, 3*f + 26 = -4*x - 0*f. Let w be (-12)/x + -2 + 418/55. Suppose -93 = -w*a - 5. Does 11 divide a?
True
Suppose 696 + 21284 = 28*k. Is 16 a factor of k?
False
Let r = -11969 - -23121. Does 31 divide r?
False
Let b = 86 - 140. Suppose k = -4*k - d - 621, -4*k + 4*d - 492 = 0. Let j = b - k. Does 12 divide j?
False
Suppose 5*q - 3*g - 2220 = 2540, 2*g = -3*q + 2837. Is 10 a factor of q?
False
Let y = -75 - -71. Let k be y*(-3 + 373/4). Let m = 648 + k. Is 31 a factor of m?
False
Let c(y) = -y**3 - 2*y**2 + 9*y + 9. Let u be c(-4). Let b be (-2)/(-3 + u)*(-3 + 6). Is 28 a factor of (0 - 0) + 72 + (b - -4)?
False
Let r(f) = 2*f**3 - 22*f**2 - 13*f - 7. Let l(h) = 3*h**3 - 21*h**2 - 13*h - 6. Let j(g) = 4*l(g) - 5*r(g). Does 9 divide j(-11)?
False
Suppose -654*y + 732*y = 8112. Suppose 5*z = -72 + 627. Let b = z - y. Does 2 divide b?
False
Is 21/(3822/(-868))*-13 a multiple of 12?
False
Let v be 13 - (-6 + 4) - (2 + -5). Is (v - 16) + (-5)/(10/(-24)) a multiple of 4?
False
Let l be 1/(-3)*(-2 + -4)*-1. Does 8 divide (-1)/2 - l - 26271/(-54)?
True
Let f(t) = -t**2 - 10*t + 10. Let y be f(-11). Let k be 7 + y + 774 - (-1 - -1). Suppose -2*c - k = -5*c. Is 24 a factor of c?
False
Suppose y - 10700 = 5*l, -11*y + 2*l + 21352 = -9*y. Is 55 a factor of y?
True
Suppose -25*v - 4*j = -29*v + 4316, -j = -4*v + 4334. Is 7 a factor of v?
True
Suppose -f = 2*f - r - 5, f - 4*r = -2. Suppose f*c - p - 78 = 0, 0*p - 158 = -4*c + p. Is 20 a factor of (-1598)/(-10) - (-8)/c?
True
Let u(b) = 1 - 5*b - 2 + 2 - 2*b. Let k be u(-4). Let i = 2 + k. Is i a multiple of 3?
False
Suppose -69*d - 2300220 = -72*d - 387*d. Does 4 divide d?
False
Let p(m) be the second derivative of m**5/20 - m**4/4 - 5*m**2/2 - 61*m. Let f be 3/((-6)/(-4)) - -2. Is p(f) a multiple of 4?
False
Let s(v) = 12*v**2 + 4*v - 5. Let r be s(3). Let q = r - 59. Let k = q - 25. Does 16 divide k?
False
Let w(j) = 5*j + 101. Let a be w(-18). Suppose -a*v = 257 - 6637. Does 21 divide v?
False
Let b(v) = -61*v**3 + 3*v**2 + 3*v + 1. Let x be ((-20)/(-30))/(-2 - (-8)/6). Let i be b(x). Let w = i + -34. Is w a multiple of 19?
False
Let s be -1*4 - (-24)/6. Suppose -2*t = -4*g - 0 + 2, s = -5*t - 5*g + 25. Suppose -t*k + 8*k = -2*r + 85, 55 = 5*k - 4*r. Is k even?
False
Suppose 1364 = y + n, n - 930 = -2*y + 1799. Suppose 28*d + y = 41*d. Is d a multiple of 14?
False
Suppose -5*v = 3*o - 5956, 3*o - 4*v - 5246 = 746. Does 24 divide o?
True
Let i = 70344 - 49105. Does 17 divide i?
False
Suppose 0 = 104*c - 102*c + 748. Let k = 549 + c. Does 5 divide k?
True
Let r(h) = -2*h**2 - 30*h - 22. Let o = 155 - 166. Does 8 divide r(o)?
False
Let r = 6101 - 3291. Is 11 a factor of r?
False
Let w(j) = j**2 - j + 8. Let o be w(5). Suppose -2*u + 2*v - o = 0, 0 = -2*u + 3*v - 4*v - 19. Is (-77)/u - (3 + 1) even?
False
Let i(q) = 2140*q - 2440. Does 35 divide i(5)?
True
Let i(j) = 45*j + 12. Let c be i(10). Suppose 2*k + 614 = 4*z, -k = -3*z - 0*z + c. Suppose -3*b + z = -298. Is b a multiple of 14?
False
Suppose 3*i - 28 = -2*u, 5*i + 3*u - 10 = 7*u. Suppose -3*v + 3*g - 30 = 0, -i = v + g - 4*g. Is (124/(-6))/(8/v) a multiple of 6?
False
Let y(p) = p**3 + 8*p**2 + 11*p + 10. Let j be y(-7). Let a be (j/(-15))/(3/10). Suppose a*v - 219 = v. Does 17 divide v?
False
Let i(c) = 48 + 33 - 42 - 9*c. Let y be i(4). Suppose y*v = 2*v + 19. Is 6 a factor of v?
False
Let w(l) = -4 + 0 + 16 - 2*l**2 + 4*l - 6*l**3 - 3. Does 15 divide w(-4)?
True
Let m be 14/(-56) + (-33)/(-4). Suppose -5*h - 2*r + 17 = -62, 4*r = m. Suppose -2*d - 5 - 5 = -2*x, 4*x - 5*d - h = 0. Is 2 a factor of x?
True
Let k(p) be the third derivative of -3*p**4/4 - p**3/2 + 6*p**2. Let s be k(-2). Suppose -30*t - 222 = -s*t. Is 8 a factor of t?
False
Suppose 11*v - 2 = 10*v. Suppose 9*u - 55 = -v*u. Suppose 376 = 2*f + 2*s - u*s, -5*s - 384 = -2*f. Is f a multiple of 13?
True
Let y = -15732 - -21306. Does 70 divide y?
False
Suppose -371*y = -376*y. Does 18 divide 4/(16/306)*(4 + y)?
True
Let j be (-7)/21*18/(-4)*122. Suppose -5*r - 4*n = -105 - 117, 5*n = -4*r + j. Is 3 a factor of r?
True
Let m(z) = z**3 - 20*z**2 + 14*z. Let l be m(18). Let o = -209 - l. Is 15 a factor of o?
False
Let w be 115/35 + (-6)/21. Let c(r) = -167*r - 72*r + 0 - 3 - w. Is c(-1) a multiple of 12?
False
Suppose 0 = 3*n + 4*y - 268, -33 + 126 = n + 5*y. Let l = n - 84. Suppose -2*d - 1062 = -l*v - 148, 0 = v - 5*d - 233. Does 18 divide v?
False
Suppose 0 = -23*q + 52465 + 15362. Does 3 divide q?
True
Suppose 4*x = 2*w - 148, -5*x = -x - 3*w + 146. Let o = -25 + 14. Let a = o - x. Does 27 divide a?
True
Suppose -3*r - 2*u + 707 = 0, -246 = 5*r - u - 1420. Suppose 16*h = 17*h - k - r, -2*h + 458 = -5*k. Is 37 a factor of h?
False
Let n be (-1)/