Is 5 a factor of j(-4)?
True
Let h = -47320 - -85512. Does 112 divide h?
True
Let h(l) = l**2 + l - 12. Suppose 4 = 10*u - 11*u. Let c be h(u). Suppose 4*g - g - n - 205 = c, 0 = 3*g - 5*n - 209. Is 21 a factor of g?
False
Let n = 3887 + -2312. Is 5 a factor of n?
True
Let f be (-2)/((3/(-9))/((-5)/(-1))). Let d be ((-4)/(-2))/(f/7 - 4). Suppose -d*v - 6*v = -260. Is 15 a factor of v?
False
Let d be 26/(-4)*22/(-11). Suppose d*q - 640 = -3*q. Does 10 divide q?
True
Suppose 6*d - 41 = 133. Is 50 a factor of (3 - 45/9) + d*15?
False
Let z(s) = 11*s**3 - 4*s**2 - 2*s + 139. Does 66 divide z(8)?
False
Let m be (3/2 + -2)*(-36 - -40). Let j(p) = 240*p**2 + 11*p + 22. Is j(m) a multiple of 64?
True
Let s(d) = 236*d - 28 + 133*d + 383*d - 224*d. Is s(2) a multiple of 49?
False
Suppose 3*t - 4183 - 4085 = -5*g, t = -g + 2756. Is t a multiple of 52?
True
Suppose 10*v - 18*v - 320 = 0. Let x = v - -42. Suppose x*w + y = 95 + 212, -463 = -3*w - y. Is 13 a factor of w?
True
Suppose 5*d - 2*y - 2314 = 0, -105*y - 6 = -107*y. Is d a multiple of 3?
False
Let h(o) = 33*o**2 + 37*o - 120. Does 6 divide h(4)?
False
Suppose 0 = -2*h + 85 + 37. Let w = 29 + h. Is 5 a factor of w?
True
Let g(c) = c - 387. Let h(a) = 195. Let x(f) = 3*g(f) + 7*h(f). Is 20 a factor of x(-28)?
True
Let m = 28103 + -19535. Suppose 2*p = 20*p - m. Is 6 a factor of p?
False
Suppose -294*n + 185*n = -1888425. Is n a multiple of 105?
True
Suppose -4*y - 709 = -3*k, -2*y = -327 + 317. Is 2 a factor of k?
False
Let p(b) = 13 - 8 - 3 + 134*b. Let u be p(3). Suppose 0 = -4*r - 76 + u. Is r a multiple of 15?
False
Let d(m) = -m**3 + 69*m**2 + 52*m + 704. Is d(69) a multiple of 116?
True
Let l = -249 - -265. Suppose 17778 = l*c + 786. Is c a multiple of 51?
False
Let o(q) be the second derivative of -1/2*q**2 - 23/6*q**3 + 32*q + 0. Is 4 a factor of o(-2)?
False
Suppose -2*x + 6*x - 3*k + 206 = 0, -5*x + 2*k = 254. Let i = 180 + x. Is i a multiple of 10?
True
Let u = -275 - -275. Suppose 3*v - 5*q - 683 = -u*v, 3*v - 693 = 3*q. Is v a multiple of 8?
False
Let m be (0 + 2)*(4 - 119/34). Suppose -3*o + 9 = -4*o + 3*d, 0 = -4*o + 5*d - 36. Is (-2 - -162)*m + (o - -9) a multiple of 12?
False
Suppose 13*n + 163968 = 74*n. Does 24 divide n?
True
Suppose -2*k - 4*m = -7*m + 3, -3 = -4*k + 3*m. Suppose 3*a + 3*i - 297 = 0, k*a + 2*i + 0*i = 294. Let c = -46 + a. Is 14 a factor of c?
False
Suppose 3*p + 2*l = 10, 5*p + 7 - 22 = -3*l. Suppose a + p - 5 = 0. Is (-20)/150 - a/((-150)/1564) a multiple of 7?
False
Let q be 6/10 - (-2142)/(-595). Does 9 divide ((-30)/(-5))/(2/(-147)*q)?
False
Suppose -725*j - 2*i = -724*j - 528, -3*j + 5*i = -1518. Does 2 divide j?
True
Let f(a) = 13*a**3 - 15*a**2 + 23*a + 20. Let b(c) = -15*c**3 + 15*c**2 - 22*c - 21. Let i(x) = -6*b(x) - 7*f(x). Is 10 a factor of i(12)?
True
Let w = -1181 - -1971. Suppose -d = -5*a - 790, -2*d + a = -d - w. Is d a multiple of 9?
False
Let g = 308 + -145. Let w = 233 + g. Is 11 a factor of w?
True
Suppose 624 = 2*i + 3*b, 0 = i - 2*b - 417 + 119. Is 23 a factor of i?
False
Suppose -20185 = -5*s - 5*y, 23*y + 16156 = 4*s + 19*y. Does 11 divide s?
False
Does 38 divide (5154/(-4))/3*(6 - 8)?
False
Let s be (-576000)/920 + 3/((-207)/(-6)). Let c = 14 - s. Is 7 a factor of c?
False
Let z(f) = 23 + 52*f + 7 - 95 - 67. Does 27 divide z(15)?
True
Suppose -35897 - 25573 = -10*j. Is j a multiple of 31?
False
Let s be -4 - (-789 + (-25)/5 + -2). Suppose 60*a - 63*a + s = 0. Does 74 divide a?
False
Let f(g) = -4512*g - 600. Is f(-3) a multiple of 24?
True
Let h = -270 - -261. Let n(x) = -x**3 - 8*x**2 + x + 27. Does 10 divide n(h)?
False
Suppose 0 = 10*v + 3208 - 128. Let i = v - -419. Is 8 a factor of i?
False
Let n be ((-1)/(-15))/(19/8493)*5. Let s = n + -51. Is 32 a factor of s?
False
Suppose -12*l = -1994 - 10822. Does 23 divide l?
False
Let w(s) = 332*s + 121. Let y be w(25). Suppose 2229 = -12*u + y. Is u a multiple of 12?
True
Suppose 82*b - 688506 = 35*b - 50*b. Is b a multiple of 13?
True
Let t(q) = 4*q**2 + 36*q - 18. Let p be t(-15). Let j = 1148 - p. Is 62 a factor of j?
True
Let t = 2703 - -5763. Is 51 a factor of t?
True
Suppose 970 = -2*c + 7*c. Suppose -y = j + 4*y - 36, -4*j + 5*y = -c. Is j a multiple of 2?
True
Suppose 95 - 29 = 11*g. Suppose 18*y + 2556 = g*y. Let f = y - -312. Is f a multiple of 16?
False
Let d be (-1 - 4/(-2)) + 1/(-1). Suppose d = 7*w - 553 + 2184. Let v = 365 + w. Is v a multiple of 22?
True
Let b(m) = 6*m**3 + 2*m - 7. Suppose -5*q - 10 - 4 = -3*o, 13 = -4*q + 3*o. Let f be 144/(-64)*q*(-4)/(-3). Does 11 divide b(f)?
False
Let d = 112 - 36. Suppose 4*o - 1016 = -d. Is o a multiple of 27?
False
Suppose -5*j = -12*j - 9*j. Suppose j = 19*a + 20*a - 10920. Does 28 divide a?
True
Let z = -17399 + 36147. Is 9 a factor of z?
False
Let j be 3/2*1218 + -3. Suppose 3*n - j = -4*i, 2454 = 3*n + n - 2*i. Is 4 a factor of n?
True
Let y(s) = s**2 - 11*s + 15. Let j be y(10). Suppose -281 = j*m - 721. Let h = 185 - m. Is h a multiple of 24?
False
Suppose -32*i = -33*i + 13. Suppose 0 = -2*p + 5*h + 33, -3*p = -6*p - 5*h - i. Suppose -p*d - 7 + 23 = 0. Is 4 a factor of d?
True
Let t(j) = -j**3 + j**2 + 5*j - 8. Let p(l) = -12*l - 16. Let z be p(-1). Does 3 divide t(z)?
False
Let o(l) = -9*l + 35. Let f be (4 - (2 + (21 - -3))) + -1. Does 11 divide o(f)?
True
Let l(m) = m**3 - 8*m**2 - 8*m - 7. Let c be (-4)/10 - 141/(-15). Let j be l(c). Is 17 a factor of j + 82 - (2 - 4)?
False
Suppose 2*i = 4*s - 1576, -33*s + 4*i - 1160 = -36*s. Suppose -z = 4*u - 116, -s = -4*z + 10*u - 8*u. Is 13 a factor of z?
False
Let r be (-5790)/(-63)*6 + (-8)/(-14). Suppose -k = -2*n + r, -3*n + k + 942 - 115 = 0. Is n a multiple of 25?
True
Let g be 76/22 + (-132)/(-242). Suppose 1034 = 5*m - g*a, 0*a = 5*m + 5*a - 1070. Is m a multiple of 3?
True
Let z(u) = 5*u**3 + 22*u**2 - 86*u - 6. Is z(10) a multiple of 8?
False
Does 4 divide (6 - 400/(-150))*(241 + -1)?
True
Suppose 3*q - 2 = 4*j + 8, 14 = -3*q - 2*j. Suppose 2*l + 5*a = 7*l - 270, -a + 252 = 5*l. Let d = l + q. Does 7 divide d?
True
Let m = 20915 - 12347. Is 51 a factor of m?
True
Let d(c) = -7*c**2 + 2*c + 26. Let p(r) = 13*r**2 - 6*r - 51. Let s(h) = -11*d(h) - 6*p(h). Is s(7) a multiple of 23?
True
Let l = 132 + -132. Let m be (10/(-25))/((-2)/60). Suppose l = m*i - 11*i - 72. Is 18 a factor of i?
True
Suppose 5*d + 5*w = 4*w + 3562, -3*d + 5*w = -2126. Let u = -400 + d. Is 12 a factor of u?
True
Let i(v) = v**3 + 8*v**2 - 4*v - 27. Let m be i(-8). Suppose 64 = 2*j + m*n, 0*n + 4 = n. Let g = 17 + j. Is g a multiple of 3?
True
Let k(v) = -161*v - 28. Let r be k(-1). Let b = 274 + r. Is b a multiple of 23?
False
Let c = 124 - 175. Let d be 8/(-32) + c/(-12). Suppose d*z = 2*z + 52. Does 13 divide z?
True
Suppose -44 = -h + 2. Suppose -2*k + 4*q - 36 = -q, -3*q - h = 4*k. Let b = 51 + k. Is 5 a factor of b?
False
Let t be 132/(-16)*(-40)/10. Suppose 713 = t*w + 20. Does 6 divide w?
False
Suppose 2*v + 3*o = 7703 + 2949, 0 = -3*v - 3*o + 15972. Is 24 a factor of v?
False
Let q = -1087 + 2965. Is 50 a factor of q?
False
Let a(h) = h**2 + 9*h + 10. Let o be a(-7). Let f be ((-133)/(-4) - 0) + o/16. Let w = -13 + f. Is w a multiple of 5?
True
Let h(g) = 28*g + 5. Let y be h(2). Suppose 5*o - 166 = m, -3*o + 5*o = -5*m + y. Is 6 a factor of o?
False
Suppose 0 = 5*j - 2*p - 32241, p + 33721 = 5*j + 1483. Is 12 a factor of j?
False
Let x(b) = -2*b**3 + 3*b**2 - 8*b - 13. Let k be -2 + 0 + 0 + (-129)/43. Does 9 divide x(k)?
False
Suppose -9774 = -708*y + 690*y. Is 3 a factor of y?
True
Suppose o - 3*n = 126, 3*o + 0*n + 3*n - 342 = 0. Is (-78)/o + (-818)/(-3) a multiple of 16?
True
Suppose 4*i - b = 34 + 14, 24 = 2*i - 3*b. Is i a multiple of 2?
True
Suppose 0 = -89*x + 91*x - 16*j - 60680, 0 = 5*x - 5*j - 151910. Does 54 divide x?
False
Let m(g) = 7*g + 3. Let d be m(3). Let k(y) = 3*y**2 - 48*y - 224. Let f be k(-4). Let t = d + f. Is t a multiple of 5?
True
Let g be ((-8)/6)/((-19)/(2223/52)). Is 46 a factor of ((-13248)/(-480))/(g/50)?
True
Let u = -5072 - -5486. Is 18 a factor of u?
True
Suppose 2*o - 5*i - 3 = 0, -24 = i - 27. Suppose -3 = -o*r + 8*r, 4*r = -k + 61. Does 10 divide k?
False
Suppose 0 = -50*n + 190044 + 478106. Is n a multiple of 22?
False
Let z be (0 + -5)*(3 - 4). Sup