 a(z) = -4*m(z) + 5*t(z). Does 5 divide a(9)?
False
Suppose 2*k + 2*g = 16330, 403*g - 407*g = 3*k - 24492. Is k a multiple of 158?
False
Let h = -2562 + 8841. Is 94 a factor of h?
False
Let f = 4514 - -3604. Is 9 a factor of f?
True
Let p(h) = -h**3 - 4*h**2 + 21*h + 54. Suppose -638*s - 48 = -634*s. Does 48 divide p(s)?
False
Suppose n + q = 402, 2*n - 10*q = 1291 - 523. Does 6 divide n?
False
Let s = 3 + -4. Let p be ((-28)/35)/((-14)/175). Is s/p*-5*12 a multiple of 3?
True
Suppose 0 = -z + 2*w + 212, -16*w - 424 = -2*z - 19*w. Is z a multiple of 146?
False
Suppose -31 = -3*d - 8*k + 3*k, -3*k - 27 = -2*d. Let m(n) = -6*n + 3. Let u be m(2). Is (d/18)/((-2)/u) - -57 a multiple of 12?
True
Let y(j) = -j**3 - 5*j**2 - 8*j - 8. Let q be y(-8). Let g = -227 + q. Is 3 a factor of g?
True
Let v(h) = -115*h - 15. Let q = -98 - -95. Is v(q) a multiple of 47?
False
Let r = -42091 - -102644. Is r a multiple of 16?
False
Is 16 a factor of 2*(-9)/2 - (-1628620)/140?
False
Let h = -703 - -702. Is 19 a factor of 475 + (-1 - h)*9/(-9)?
True
Let k be 4/6 + (-56)/(-6). Let o(h) = 25*h - 14. Let n be o(k). Suppose 12*d = -n + 608. Is d a multiple of 3?
False
Let o(m) = 1 - 2*m - 4 + 90*m**2 + 2*m - 4*m. Is o(-3) a multiple of 41?
False
Let d be 0 + -16 + (0 - -4). Let y(i) = -i - 12. Let o be y(d). Suppose o = -4*q + 7*q - 360. Is 15 a factor of q?
True
Let s = 92 - 87. Suppose 4*c + 0*c - 3*u - 291 = 0, -s*c = -3*u - 363. Does 12 divide c?
True
Suppose 0 = 2*t - 7*n + 6*n - 76, -5*n = t - 27. Suppose 5*a - a = 0. Is (a + -1)/(4 + t/(-9)) a multiple of 6?
False
Suppose 0 = 8*y + 180 - 23596. Is 115 a factor of y?
False
Suppose -6*f + 1900 = 4*f. Let t = -87 + f. Is t a multiple of 9?
False
Let y be 50/15*5 + 2/(-3). Suppose -t + 0 + 13 = -3*n, 0 = -t + 4*n + y. Does 10 divide 280/30 - t/(-6)?
True
Let z(o) = 10*o**2 + 28*o + 147. Suppose 5*r = -3*v - 33, 3 + 6 = -3*v + 3*r. Is z(v) a multiple of 62?
False
Let w = -24395 - -27670. Does 131 divide w?
True
Suppose 21*z - 36 = 18*z. Is -2 + 2380/z + (-15)/(-9) a multiple of 26?
False
Let b(r) = 2*r**3 - 16*r**2 + 17*r - 16. Let j be b(7). Suppose 4*x - 5*n = 281, j*x = -0*x + 4*n + 340. Is 2 a factor of x?
True
Is 63/4*2576/(-21)*(-3)/2 a multiple of 42?
True
Let p(d) = d**3 - d**2 - 10*d - 4. Let f be p(4). Suppose f*j - 840 = -4*u, 416 = 2*u - 0*j + j. Does 50 divide u?
False
Let o(n) = -2*n**3 + 2*n**2 - 3*n + 1. Let y be o(-4). Let q = y + -62. Suppose 5*i - 181 = -3*w, 3*i - w = -4*w + q. Does 5 divide i?
True
Suppose -22*d + 14811 = -49*d + 63600. Does 139 divide d?
True
Let m(j) = 57 + 13*j + 9*j - 2*j - 38*j. Let n be m(-12). Suppose 7*b + n - 1596 = 0. Is b a multiple of 25?
False
Suppose -8*m + 7*m = -k - 1097, -3259 = -3*m - 5*k. Is m even?
False
Suppose 0 = 8*v - 7*v + d - 1049, -d - 1 = 0. Suppose v = -35*u + 38*u. Is 25 a factor of u?
True
Suppose -99*d = -96*d - 6. Suppose -d*t + 247 = -f + 2*f, 4*f = t + 988. Is f a multiple of 5?
False
Suppose 4*f = -0*f - 4*p + 100, 5*p = -5. Let r = -20 + f. Suppose -8*n + 78 - r = 0. Is 2 a factor of n?
False
Suppose -3897 = -16*c + 7*c. Let p = 400 + c. Is 27 a factor of p?
False
Let r = -162 + 315. Let c = r + -217. Does 13 divide 1*c/(-5) - (-10)/50?
True
Let a = 2819 + -2735. Does 7 divide a?
True
Suppose -3*l - 2*r + 18 = l, 2*r - 10 = 0. Suppose -2*z = -3*b + 463, 0 = -l*b + 4*z - 2*z + 310. Is 14 a factor of b?
False
Is (4 - 1)/((-174366)/14532 - -12) a multiple of 15?
False
Let l be (12/(-8))/((-6)/112). Suppose -33*i = -l*i. Suppose -2*c + 125 = 5*j, j = -i*c - c + 22. Is 6 a factor of j?
False
Let m(d) = -d**3 - 2*d**2 - 14. Let i be m(-8). Suppose -1870 + i = -6*k. Is k a multiple of 25?
True
Let t be ((-8272)/(-235))/(-44)*-1*50/(-4). Let w(o) = -3*o**3 - 4*o**2 - 2*o - 1. Let y be w(-3). Let a = y - t. Does 30 divide a?
True
Suppose 0 = 21*b + 3401 - 9911. Is 9 a factor of b?
False
Let s(g) = 12*g + 33. Let h be s(-3). Let j be -20 + 2 + 1*2. Is 18/h*j/3 a multiple of 7?
False
Let m be (2 + -3)/((-2)/6). Suppose -15 = 3*b, 5*k = -0*k - m*b + 70. Suppose -v + 4*p + 20 = -k, 2*v - 4*p = 94. Is v a multiple of 19?
True
Let i = 198 - 191. Does 15 divide ((-14)/i)/(3/(-39))?
False
Let o(k) = 6*k**2 - 56*k + 600. Does 31 divide o(32)?
False
Let z = -86 - -142. Is 16/z - (-9234)/21 a multiple of 44?
True
Suppose -45*m + 667539 - 10331 = -106217. Is 23 a factor of m?
False
Suppose 0 = -2*x - 3 + 5. Is (-3 - -1) + 72/x a multiple of 19?
False
Let u = -64 + 187. Suppose -u*x + 648 = -114*x. Does 4 divide x?
True
Let l be (-108)/9*(-1)/2. Let q(r) = 2*r**2 - r + 10. Is 19 a factor of q(l)?
True
Suppose 204 = 4*n + 156. Let u be 2/1 + (1 - 4). Does 33 divide (-3*(u + n))/(1 - 2)?
True
Let u(o) be the second derivative of -7*o**5/20 + 10*o**2 + 79*o. Does 26 divide u(-4)?
True
Suppose 0 = -5*h - 0 + 185. Let p = -34 + h. Suppose -p*r - r = -64. Is r a multiple of 2?
True
Let z(u) = -u**2 - 7*u - 7. Let d be z(-4). Suppose 82 = d*p - 28. Suppose -98 = -6*c + p. Is c a multiple of 20?
True
Suppose -4*d + 4983 = 5*n, 4754 - 770 = 4*n + 4*d. Is 14 a factor of n?
False
Suppose -2*z - 1 + 11 = 2*c, 17 = 3*c + 5*z. Let b be ((-3)/(-2))/(2/c). Suppose 0 = -5*r - l + b*l + 88, -3*r - 5*l + 59 = 0. Does 6 divide r?
True
Let p = -49 + 53. Suppose -2*f = -0*f - p. Suppose 232 = 5*x - f*n, -x + 43 = 3*n - 17. Is x a multiple of 3?
True
Let l = 33 + -30. Let q be -11 + 18 + -1*l. Let m = q + 2. Is 5 a factor of m?
False
Suppose -151 - 959 = 3*q. Let l = q + 748. Does 22 divide l?
False
Let c = 398 - 686. Suppose 5*v - 4*q + 5*q = 2338, 5*v = q + 2342. Let m = v + c. Does 20 divide m?
True
Let v(w) = -w**2 - 12*w - 24. Let u be v(-9). Let q be 37/4 - (u - 4)/(-4). Suppose q*l + 7*l = 3776. Is 19 a factor of l?
False
Let h = -135 + 137. Does 36 divide h/(-13) + 37500/52 + -1?
True
Let c be ((-18)/(-12))/(12/664). Let g = -45 + c. Does 3 divide g?
False
Let w be 36/42*84/24. Suppose -22*c + 29925 = -w*c. Is 43 a factor of c?
False
Suppose 11 = -5*p + 6. Let b be 5 + 0 + -21 + (-1 - p). Does 9 divide 24/b*((-440)/6)/2?
False
Let q(b) = -45*b + 312. Is 49 a factor of q(-42)?
False
Suppose 0*p + 4*p + d - 10 = 0, -4*p + 4*d = 0. Suppose 5*j - 73 - 106 = -p*z, 3*j = -3*z + 282. Does 4 divide z?
False
Let c be (-17796 + (15 - 7))*(-2)/8. Suppose 0 = -18*a + c - 865. Is 30 a factor of a?
False
Suppose -1774 = -x - o + 5*o, 2*o = 8. Does 30 divide x?
False
Does 33 divide 3531*60/(-80)*(-6 + 2)?
True
Let b = -388 + 399. Suppose 7 = f - 5*k, 12*f - b*f = 2*k + 22. Is f a multiple of 7?
False
Let b be 33/6 + 35/(-10). Is 27 a factor of (9 - 7) + (b - (-320)/1)?
True
Let s = 95 - -21. Let z(n) = n - 1. Let b be z(1). Suppose -p - p + s = b. Is p a multiple of 8?
False
Let j(d) = -d - 1. Let h(t) = -t - 35. Let g(a) = -h(a) + 4*j(a). Let b be g(-6). Let u = 1 + b. Is 4 a factor of u?
False
Let r(a) = -18062*a - 288. Is r(-2) a multiple of 269?
False
Suppose -5*h - 132 + 25841 = 4*g, 17*h + g = 87461. Does 50 divide h?
False
Let r(j) = 11*j**2 - 5*j + 2. Let k be r(2). Let g(t) = -60 - 11*t - k*t + 51. Is 33 a factor of g(-3)?
True
Suppose 4*y - 86790 = -3*s, -s - y = -6*s + 144650. Is s a multiple of 171?
False
Suppose 5*i - 5*h - 1894 = 1206, 3*i - 1828 = -5*h. Suppose -t + 2*o = 3*t - i, -2*o = 2*t - 296. Is 38 a factor of t?
True
Let x(b) = -b**3 - 2*b**2 + 37*b - 107. Does 11 divide x(-14)?
True
Let b be (-1)/3 + (-79152)/(-72). Suppose 47*z - b = 54*z. Let h = 101 - z. Is 17 a factor of h?
False
Suppose -4704 = 135*w - 144*w + 381. Is 5 a factor of w?
True
Let d = -117 - -117. Is 42 a factor of 416 - d - (-714)/(-119)?
False
Suppose 29*v - 31*v = 0. Suppose v = -0*t + 4*t - 24. Suppose h + 3*f = t*h - 392, 4*f - 60 = -h. Is 10 a factor of h?
False
Suppose 3*p - 114 = -288. Suppose 281 = -11*t - 214. Let d = t - p. Does 4 divide d?
False
Let k(p) = -63*p**2 - 5. Let z be k(2). Let r = -215 - z. Does 3 divide r?
True
Suppose -939 = -f - 2*n, 2*n = f - 2*n - 963. Is f a multiple of 2?
False
Suppose 14*m = -1529 - 8453. Let q = -448 - m. Suppose 4*i + 305 = 6*p - 3*p, -4*i + q = 3*p. Does 16 divide p?
False
Let d(u) = 3*u**2 - 139*u - 15. Is 4 a factor of d(49)?
False
Let a(d) = -7599*d**3 - 16*d**2 - 19*d. Is a(-1) a multiple of 181?
True
Suppose -176*a + 177*a = 1123. Suppose 11