
False
Suppose -345 = -5*d - 5*q, d + 2*q = 7*q + 57. Suppose -59 = -z + y, z - d - 8 = -3*y. Is z a multiple of 14?
False
Does 6 divide (12 - (12 - 1284)) + -12?
True
Let t(n) = -759*n**2 + 9*n + 8. Let m be t(-1). Let u = m - -885. Is u a multiple of 3?
False
Let u(a) = -a**3 - a**2 + a. Let g be u(0). Let q be 1/(3/2) - 400/(-48). Suppose -711 = -g*n - q*n. Does 12 divide n?
False
Is (-66225892)/(-2190) - (0 - (-2)/15) a multiple of 140?
True
Suppose -4*k = -5*p - 18714, -16*k - 13*p + 18*p = -74826. Is k a multiple of 7?
True
Let o(s) = 3*s - 14. Let y = -25 - -76. Let f = -45 + y. Is 2 a factor of o(f)?
True
Suppose 0 = -122*f + 115*f - 21. Does 46 divide f/5 + 37280/50?
False
Let b(r) = -r**2 - 26*r - 45. Let n be b(-24). Suppose -l - n*l = -1344. Is 48 a factor of l?
True
Let f = -4506 + 7680. Is f a multiple of 23?
True
Suppose 3920*k - 3885*k - 56280 = 0. Is 8 a factor of k?
True
Let n(g) = -g**2 - 15*g - 22. Let w be n(-13). Suppose 6*s - w*s - y - 856 = 0, -2*s - 3*y = -864. Does 61 divide s?
False
Let r = -425 + 425. Is 7 a factor of (r + 27/12)*(-18 - -74)?
True
Let m(q) = -q**2 + 12*q - 16. Let l be m(10). Let k be 3879/(-6)*l/(-6). Let b = k - 222. Does 11 divide b?
True
Let z be (-582)/(-21) + 4/14. Suppose 0 = -4*q - 5*u + 63, -z = -q + 3*u + 9. Suppose -q*v + 19*v + 210 = 0. Does 10 divide v?
True
Is 3/(-5) + (-1046695)/(-325) a multiple of 21?
False
Let f(t) = 16*t**2 + 48*t + 5. Let q be f(-5). Let b = q + -111. Is b a multiple of 18?
True
Suppose -119*h - 17*h + 91040 = -149408. Is 221 a factor of h?
True
Let g(t) = -748*t + 5901. Does 67 divide g(0)?
False
Let n = 16586 - 10879. Is n a multiple of 47?
False
Suppose -2*v = -c + 115, 2*v + 148 = -c + 35. Suppose -14*d + 18*d - 2530 = -19*d. Let a = v + d. Is 8 a factor of a?
False
Let b(k) = 169*k**2 - 55*k**2 - 71*k**2 + 20*k + 211*k**2. Let c(n) = 85*n**2 + 7*n. Let u(v) = 6*b(v) - 17*c(v). Does 20 divide u(1)?
True
Let k = 120 - 178. Let z = k + 261. Suppose 0 = 3*j - z + 11. Does 16 divide j?
True
Let a = 96 - -226. Suppose 5*h - 3*m - 336 = 0, 5*h - 3*m + 7*m = a. Is h a multiple of 6?
True
Suppose -15 = 3*o, -7*n + 3*o + 13355 = -3*n. Is 22 a factor of n?
False
Let u(l) = -l**2 - 41*l + 62. Suppose -3*n - 10*p = -11*p + 50, -8 = -4*p. Does 14 divide u(n)?
True
Let s(n) = -8*n**3 + n - 1. Let l be s(1). Let y(h) = 7*h**2 - 123*h - 6. Let v(t) = -6*t**2 + 101*t + 7. Let b(o) = 6*v(o) + 5*y(o). Is b(l) a multiple of 9?
False
Let l(n) = 14*n + 443. Is 15 a factor of l(28)?
False
Suppose 111*a + 527577 - 1708051 = 397613. Is a a multiple of 27?
False
Let l(w) = w**3 + 24*w**2 - 42*w + 165. Does 8 divide l(-19)?
True
Does 74 divide (-38 - 54)/((-2)/74)?
True
Is 35 a factor of 20508/92 - ((-4459)/(-299) + -15)?
False
Suppose -5*o + 2*i = 4*i - 3600, 4*o - 2880 = 5*i. Is (-80)/o + (-15122)/(-18) a multiple of 15?
True
Let r(h) = h**3 - 7*h**2 - 4*h - 3. Let u be r(10). Let c = -186 + 97. Let o = u + c. Is 42 a factor of o?
True
Let d = 28 - 24. Suppose 26 = -5*y + 3*z + 1006, 0 = y + d*z - 173. Let l = y - 138. Is l a multiple of 25?
False
Suppose 3*u - 328 = -u. Let l = 238 - u. Is l a multiple of 6?
True
Let t be 4 - ((-30)/(-6) - (-1 + 18)). Let m(s) = -s**3 + 16*s**2 + 19*s - 10. Is m(t) a multiple of 49?
True
Suppose -10 = -2*c, -m + 493 = 4*c - 1526. Does 32 divide m?
False
Suppose 12*c - 7*c = -4*k + 150, -177 = -5*k - c. Suppose 2592 = k*g - 26*g. Is g a multiple of 24?
True
Let t = 104 + -103. Let d(v) = 614*v**2 - 8*v + 6. Is 25 a factor of d(t)?
False
Let k be (-73)/(-4) - (-1)/(-4). Suppose -16*y = 7*y - 92. Let a = y + k. Does 11 divide a?
True
Let z(d) = 2*d**2 - 17*d - 6. Let a be z(10). Suppose -a = -v - 4. Does 2 divide v?
True
Let q(z) = 26*z**3 + 13*z**2 - 18*z + 39. Is q(6) a multiple of 15?
True
Is 4067 - (-34)/14*-7 a multiple of 27?
True
Let o = 2362 - -6378. Does 81 divide o/36 + (-2 - (-80)/36)?
True
Suppose -n = -6*n. Let s = 2622 - 2617. Suppose -61 = 3*l + s*k - 447, -4*l - k + 526 = n. Is l a multiple of 12?
True
Suppose -10*w = -14*w. Suppose 9*c - 529 + 16 = w. Suppose 4*h - c = h. Does 5 divide h?
False
Suppose 0 = 5*o + 64 + 176. Let r = 50 + o. Suppose -3*z = -r*s - 405, 4*z + 5*s - 517 = -0*z. Is 19 a factor of z?
True
Let d(l) = -8585*l**3 - 13*l**2 - 13*l - 1. Does 116 divide d(-1)?
True
Suppose -4*y + 3*r = 2*r - 108, 0 = -2*y - 3*r + 54. Suppose 26*o - 23*o = y. Suppose 2*n = p + o + 17, 0 = -4*n + p + 52. Does 10 divide n?
False
Let f = -1811 + 6473. Is 18 a factor of f?
True
Let m(f) = f**3 - 6*f**2 + 12*f - 21. Let a be m(6). Suppose -a = 5*u - 8*k + 12*k, -4*u - 5*k = 48. Let g(w) = -3*w**2 - 26*w - 2. Is g(u) a multiple of 11?
True
Suppose 0*q + 59 = q. Suppose 53*m - 54*m - 49 = 0. Let g = m + q. Is 7 a factor of g?
False
Let y be (3/(18/580))/(41/123). Let n(a) = 4*a - 138. Let q be n(0). Let w = q + y. Is w a multiple of 19?
True
Let p(s) = 4*s**2 - 38*s + 36*s + 2*s**2 - 8 + 21*s**2. Does 24 divide p(-4)?
True
Suppose 2*q + 14 = -12*j + 15*j, 5*q = 2*j - 13. Suppose 3*t - j*y = -6*y + 786, -y + 783 = 3*t. Is t a multiple of 14?
False
Suppose -5*g = -2*u + 24 + 22, -20 = g - 4*u. Is (-5)/(20/(-4227)) - 2/g a multiple of 19?
False
Suppose 3000952 = 295*t - 99*t + 1192852. Is t a multiple of 25?
True
Let y(d) = 2*d**3 - 29*d**2 + 24*d + 42. Is y(20) a multiple of 46?
True
Suppose -b = -3*l + 4685 - 754, b = -l + 1309. Is l a multiple of 131?
True
Suppose 2*v + 0*o - 2*o - 4 = 0, 0 = -3*v + 5*o + 6. Suppose 4*u - 20 = 0, d - 2*u - 210 = v*u. Does 23 divide d?
True
Suppose 43*i - 849 = -5*t + 39*i, 326 = 2*t + 5*i. Is 2 a factor of t?
False
Suppose -u + 645 = 2*o, -4*u - 73 + 385 = o. Does 3 divide o?
True
Suppose -2366*s + 2358*s + 102424 = 0. Is 61 a factor of s?
False
Let z be 4*(-3 - (-3 + 3/(-2))). Let q(c) = -z + 10 + 0 + 7*c - 4*c + c**2. Is q(-4) a multiple of 7?
False
Suppose 0 = -278*u + 3288658 + 764304. Is u a multiple of 61?
True
Let h be (-10)/(-7) + (-297505)/(-1393). Suppose c = -5*n - 104, -4*c - 6*n = -3*n + 467. Let r = c + h. Is 16 a factor of r?
True
Is (-620)/(-496) + 14023/4 a multiple of 20?
False
Suppose 0 = -89*b - 94*b + 184*b - 8234. Is b a multiple of 8?
False
Let k(z) = -z**2 + 4*z**2 - 6 + 21*z - z**2. Let o(b) = b - 6. Let h be o(-6). Is 8 a factor of k(h)?
False
Let c(o) = 49*o + 2 - 10*o + 16*o + 30*o. Let m be c(4). Suppose -6*r = 3*r - m. Is r a multiple of 9?
False
Suppose -3*v + 1440 = 5*c - c, 0 = 5*v. Suppose -22*r + 16*r = c. Is 19 a factor of -946*6/r - 2/(-5)?
True
Let r = -257 - -263. Is (-114)/((-15)/(-30)*r/(-8)) a multiple of 38?
True
Suppose 0 = -4*k - 4*r + 20432, 58*k - 50*k = 5*r + 40760. Is 5 a factor of k?
True
Let m = 52 + 440. Suppose 25 + 28 = -22*j + 251. Suppose 0 = -j*x + m + 48. Is 6 a factor of x?
True
Let f be -1667*5/(-10) - 3/2. Let i = f - 496. Is i a multiple of 24?
True
Let n(a) = 698*a**2 - 95*a - 111. Is 124 a factor of n(5)?
True
Is 63 a factor of (-130515)/(-28) - ((-135)/20)/9?
True
Let m = -5459 + 7667. Suppose 0 = 39*v - 34*v - 3*n - 2196, n - m = -5*v. Is v a multiple of 49?
True
Let l = 326 - -10592. Is 82 a factor of l?
False
Suppose 4*h - 2*z = 428, -23*z + 27*z = 8. Does 18 divide h?
True
Let y(d) = 16*d + 92. Let g(x) = -17*x - 90. Let b(m) = 6*g(m) + 5*y(m). Does 4 divide b(-8)?
True
Let s be -1*(9 + (-1 - 0))/(-2). Suppose 4*d = -s*n + 2196, 5*d - 2*n = 699 + 2046. Does 61 divide d?
True
Let t = -5741 + 19616. Does 20 divide t?
False
Suppose 16730*l + 270480 = 16751*l. Does 46 divide l?
True
Let g = -230 - -228. Let n(p) = -110*p - 12. Is 13 a factor of n(g)?
True
Let i(c) = 281*c - 584*c + 235*c + 167*c - 213. Is i(10) a multiple of 24?
False
Suppose 4*x - 3 = -4*f + 5, 2*f = 2*x - 16. Suppose 29 = 4*d + x. Suppose 102 = d*h - 648. Is 12 a factor of h?
False
Let f = -852 + 856. Suppose 0 = -f*a + 10*a - 1422. Is 23 a factor of a?
False
Let k = 161 - 97. Let x = k + -31. Suppose x = 2*h - 5*z, -19 = 2*h + 4*z - 7. Is h a multiple of 3?
False
Let q = -194 - -796. Suppose -3*g + 5*b + q = 0, 2*g - g + 4*b = 229. Does 19 divide g?
True
Suppose -39*k - 67*k + 1156854 = -5*k. Is 18 a factor of k?
False
Suppose 5*p = 3*d - 1 - 50, 3*p = -4*d + 39. Let m be 0/((-1)/((-4)/d)). Suppose -11*l + 12*l - 100 = m. Does 10 divide l?
True
Let d = 285 + -245. Suppo