/(-8)))?
False
Let u(y) = 45*y**3 - 14*y**2 - 2*y + 24. Is 123 a factor of u(5)?
True
Let d be (-4)/(-6) + (-1)/(-3) + 1. Suppose 0 = d*k - 6*k + 72. Is 6 a factor of k?
True
Is (-81)/(17577/62) - 149*(-3802)/7 a multiple of 18?
True
Suppose 7*k + 18961 = 215080. Is 17 a factor of k?
False
Let g(r) = 6 - 30*r + 13*r - 64*r. Let n(i) = -40*i + 3. Let p(q) = 6*g(q) - 13*n(q). Is 11 a factor of p(3)?
True
Let h(c) = 1. Let q(w) = 40*w - 36. Let z(y) = -24*h(y) + 2*q(y). Is 16 a factor of z(3)?
True
Suppose 0 = 3*k - 6, -4 = 14*q - 11*q - 5*k. Suppose q*c = 26 + 246. Is c a multiple of 6?
False
Suppose -3*z + 2035 - 499 = 0. Suppose -z = -14*b + 12*b. Is 6 a factor of b?
False
Suppose 11*d - 3*d = -2*d. Suppose 26*h - 270 - 510 = d. Is 30 a factor of h?
True
Suppose -1003*p = -1006*p + 39126. Is 57 a factor of p?
False
Let x = -38 + 43. Suppose -34 + 14 = -x*s. Suppose s*n - 357 = -u, -2*u + 44 - 230 = -2*n. Is 15 a factor of n?
True
Let g(a) = 1148*a**3 - 4*a**2 - 5*a + 9. Is g(1) even?
True
Let b(p) = -p**3 - 13*p**2 + 6*p + 1. Let y(a) = 2*a**3 + 14*a**2 - 7*a - 1. Let h(j) = 3*b(j) + 2*y(j). Let l be 18/(4 + -2) - -2. Is h(l) a multiple of 9?
True
Let v = 301 - 191. Let f = v - 20. Is 15 a factor of f?
True
Let n be (5/10)/((3/3)/382). Let q = -129 + n. Let g = q - 36. Is 17 a factor of g?
False
Suppose -4*r = 3 - 15. Let z(b) = 288*b - 574. Let o be z(2). Suppose -o*v + 137 = r*h, 3*h - v - 17 - 108 = 0. Does 6 divide h?
False
Let c(d) = 46*d - 13. Let z be c(7). Suppose z = 61*x - 58*x. Let w = -79 + x. Is 8 a factor of w?
True
Suppose 31*m - 10*m - 20223 = 0. Does 95 divide m?
False
Suppose -20 = -0*i - 5*i. Let z = 246 - 132. Suppose -4*x = i*a - a - 110, 3*a - z = -3*x. Does 6 divide a?
True
Suppose -8317 = -4*v + 3*q, -4*v - 43*q = -45*q - 8318. Is 34 a factor of v?
False
Let j(c) be the third derivative of -17*c**5/60 - c**4/8 - c**3/3 - 2*c**2. Let i be j(-1). Let z = 32 + i. Is 7 a factor of z?
False
Suppose 5*m - 3726 = -3*l + 1547, -m + 1056 = 2*l. Suppose -19*t + 8066 + m = 0. Is 20 a factor of t?
True
Let n = 456 - 208. Let x = n - -187. Is x a multiple of 29?
True
Suppose -29*p = 116 + 435. Let t(h) = 2*h**2 + 21*h - 85. Does 34 divide t(p)?
True
Let h(m) = 4*m - 6. Let y be -18*(-4 + (-22)/(-6)). Let k be h(y). Does 10 divide -77*(k/(-21) - 0)?
False
Suppose 5*t - 41370 = 4*r, -22*r = -4*t - 19*r + 33096. Does 42 divide t?
True
Let y = 73 + -69. Suppose -3*v - 21 = -3*i - y*v, 5*i - 33 = -v. Suppose -i*z + 110 = 2. Does 4 divide z?
False
Suppose -2*n + 3 = 5*p, 5 + 12 = 4*n - p. Let m be n/(-3 - -2) - (-269 - 32). Suppose -2*r - 51 + m = 0. Is 14 a factor of r?
False
Let d(t) be the first derivative of -t**3 + 7*t**2/2 - t - 8. Let j be d(5). Does 14 divide (j - (2 - 1))/(21/(-42))?
True
Let l(a) = -a**3 - 15*a**2 - 13*a + 8. Let x be l(-14). Let q be 21/15 + 2 - x/(-15). Suppose -q*y + 4*u = -56, -2*y - 26 + 78 = u. Does 6 divide y?
True
Let v = 406 - 161. Suppose -243*t - 1444 = -v*t. Is t a multiple of 19?
True
Let m be 8 - -7516*(-4 + 5). Suppose 2*g + m = 40*g. Does 11 divide g?
True
Let r be 3 + 18/(-4) + (-511)/(-2). Suppose 2*q = p + r, p - 381 = q - 4*q. Does 19 divide q?
False
Let h(d) = 97*d**2 - 67*d - 18. Does 113 divide h(-17)?
True
Let a(i) = -i**3 + 10*i**2 + 9*i - 16. Let b be ((-16)/10)/((12/(-60))/1). Does 23 divide a(b)?
True
Let b be (1 - 1)*3/6. Suppose 5*q = 2*i + 2072, 5 + b = -5*i. Let s = q - 153. Does 44 divide s?
False
Is 274 a factor of (-5)/((-25)/(-179320)*-4)?
False
Let z(i) = -i**2 + 3*i. Let j be z(4). Let t be 28/(9 + 5) - 73*-1. Is ((-46)/j)/(t/(-40) + 2) a multiple of 7?
False
Let t = 10 + 20. Let q(i) = -i**3 - 40*i**2 + 48*i + 284. Let j be q(-41). Let z = t - j. Is z a multiple of 11?
True
Let i = -4665 - -9425. Is i a multiple of 17?
True
Let b = -275 + 282. Suppose 0 = -41*o + b*o + 7854. Is 21 a factor of o?
True
Let y(a) = 11*a**3 + 4*a**2 + 31*a + 22. Does 9 divide y(12)?
False
Let l(b) = 7*b - 231. Let y be l(33). Suppose -4*g - 5*o + 1008 = -0*g, 5*g + o - 1260 = y. Is 40 a factor of g?
False
Is (34 - 31)/(6/4) + 538 a multiple of 2?
True
Let q(k) = 167*k - 10. Let c be q(2). Suppose 0 = -4*n + s + 3*s + c, 0 = 3*s - 6. Let h = n - 68. Is h a multiple of 15?
True
Let h(k) = -228*k + 408. Does 18 divide h(-14)?
True
Let x be 10/((-5)/((-5)/2)) + 0. Suppose 2*u + 2 = 0, -7*q + 5*q + 299 = x*u. Is q a multiple of 13?
False
Let p = -618 - -989. Let t = p + -66. Is t a multiple of 4?
False
Let z(m) = -18*m + 143. Let o be z(6). Suppose -28520 = -o*w + 4*w. Is 8 a factor of w?
True
Let m(w) = w**2 - w - 1. Let y(q) = -q**3 + 297*q**2 - 2 - 312*q**2 - 2 - 6*q. Let g(d) = -2*m(d) - y(d). Is 9 a factor of g(-12)?
True
Suppose -4*j + 14*d - 11*d + 62772 = 0, 3*j - 47100 = -3*d. Is 144 a factor of j?
True
Let p(t) = -2*t + 20. Let h be p(7). Suppose h*g - g - 5*m = 90, 2*m + 81 = 5*g. Is g a multiple of 15?
True
Let w(a) = -a**2 - 2*a + 9. Let k be w(-4). Let h be k/3 + (-1824)/(-9). Suppose 0 = i + 58 - h. Does 17 divide i?
False
Let s(a) = -a**3 + 15*a**2 + 10*a + 33. Let f be s(16). Let p = f - -111. Suppose 3*y = -r + p, 2*y + 3*r = -y + 42. Is y a multiple of 3?
False
Let q(r) = -29*r**3 - 7*r**2 - 6*r + 71. Is q(-6) a multiple of 60?
False
Let n(x) = -846*x + 132. Let a be n(-3). Let i = a + -1595. Is i a multiple of 25?
True
Suppose -v + 32 - 1 = 0. Suppose -v*o = -28*o - 189. Suppose 5*r - 119 = -4*p, 6*r = 3*p + r - o. Does 3 divide p?
False
Let h = -3938 - -6393. Is h a multiple of 57?
False
Suppose 162*h - 74*h = 337216. Is h a multiple of 8?
True
Suppose -645 = -3*l + 1713. Let a = -372 + l. Is 16 a factor of a?
False
Let d(j) = 30*j + 21. Let o be d(4). Let r = 164 - o. Is 3 a factor of r?
False
Let c(x) = 7*x**2 + 9*x + 18. Let u be c(-6). Suppose -3*i + 314 = -2*r - 6, 0 = -2*i + 2*r + u. Does 13 divide i?
True
Let z be (-12)/96 - (-830)/(-16). Let n = 59 + z. Is n even?
False
Let m be 90*(2 + (-15)/6). Let b = m - -46. Is 12 a factor of ((-80)/10)/(b + 8/(-6))?
True
Suppose -605 = -5*u - 2*j, 2*u - 4*j = -2*u + 512. Is 2726/16 - u/328 a multiple of 2?
True
Suppose -136 = 6*t + 152. Let i = 4 - t. Is i a multiple of 4?
True
Suppose -2*s - 3*s + 2275 = 0. Let l = s + -47. Does 51 divide l?
True
Suppose -5*i = 2*i - 21. Let m(p) = 7 + 7*p**2 - 4*p + 3 - i. Is 18 a factor of m(5)?
True
Is 52 a factor of (-9 - (-15 - -84))*658/(-3)?
True
Let o = 18241 - 14802. Is o a multiple of 52?
False
Let h be 44/11*86/(1*2). Suppose -p - 3*m = -321, -143 = -p + 3*m + h. Suppose -p - 171 = -3*f. Does 28 divide f?
False
Let g(h) = 5*h - 48. Let x be g(10). Suppose x = i + 4. Is 5*(8 - 3 - i) a multiple of 3?
False
Let w = -144 - -221. Let x = 170 + w. Does 19 divide x?
True
Suppose 2767*w + 4110 = 2737*w. Let x be -71 + 0 + (2 - 1). Let n = x - w. Does 11 divide n?
False
Let c = -4211 + 5978. Is c a multiple of 93?
True
Let q = 35 + -33. Suppose l - 3 = q. Is 14020/100 + (-1)/l a multiple of 13?
False
Let m be (-252)/(-30)*15/9. Let p be -2*((-9)/6 + 1). Is (p/(4/m))/(4/40) a multiple of 5?
True
Suppose 2*c + k - 107 = 0, -4*c + 0*k + 4*k = -184. Suppose c*w - 8176 = 43*w. Does 73 divide w?
True
Suppose -j + 2*k + 7029 = 0, 3*k - 35276 = -4*j - 7182. Is j a multiple of 12?
False
Let s(u) = -10*u - 135. Let v be s(0). Let t = -131 - v. Suppose -817 = -t*h + 4*o + 291, -2*o - 1108 = -4*h. Is 46 a factor of h?
False
Let w be (6 + -4 - 1846)/(3 + -1). Let g = w - -1355. Is g a multiple of 44?
False
Suppose 2*k = 4*k - 5*f - 599, -15 = -5*f. Let x = 505 - k. Is x a multiple of 20?
False
Suppose -34*q - 20*q + 223295 = -17*q. Is 71 a factor of q?
True
Let f be 0/(-2 + 0 - (-3 - -3)). Suppose f = -3*d + 10 + 50. Does 8 divide d?
False
Let m be 1/(-3) - (-129)/9. Let i(a) = a**3 + 24*a**2 - 99*a + 9. Let x be i(4). Let l = m + x. Is 15 a factor of l?
True
Suppose -24 = -8*x + 4*x - 2*w, 0 = x - 4*w - 24. Suppose -x*b = -13*b - 35. Let a(t) = -2*t**2 - 15*t + 3. Is a(b) a multiple of 5?
True
Let z(j) = 2*j - 18. Let q be z(12). Suppose 43 = -q*s - 53. Does 11 divide (14*-2 - 0)*28/s?
False
Let k = 40 + 0. Let m = 42 - k. Suppose 0 = -l + 20 + m. Is 3 a factor of l?
False
Suppose -5*w + l + 664 = 182, -3*l + 378 = 4*w. Let u = w + 0. Is 24 a factor of u?
True
Let c be 1304/120 + -11 - 124/(-30). Suppo