(g) = 53*g + 436. Let t(l) = -35*l - 291. Let q(i) = 5*d(i) + 7*t(i). Is 7 a factor of q(-6)?
False
Suppose -120359 = -5*y + 3*z, -148*y + 3*z = -150*y + 48173. Is y a multiple of 26?
True
Let v be 907/6 - (-12)/(-72). Let z = v + -75. Is 21 a factor of z?
False
Let u be ((-46)/92)/((-2)/12). Suppose -344 = u*s - 1514. Is 28 a factor of s?
False
Suppose -44*x + 723241 = -422519. Is x a multiple of 12?
True
Suppose 0 = -x + 9 - 4. Suppose y = -c - 4 - 3, -x*c - 3*y - 25 = 0. Does 24 divide (c/3)/(-1) - (-6888)/36?
True
Suppose -35*r + 45*r - 30 = 0. Suppose -10*q + 1470 = -r*q. Is 15 a factor of q?
True
Suppose 532 = -5*t + 10044 + 8548. Does 12 divide t?
True
Let n(u) = -3*u**3 + 2*u**2 + 41*u - 7. Let z be n(-5). Is 5 a factor of (0 - (-115)/3) + (-284)/z?
False
Suppose -18*n + 15*n = 27. Let s(b) = -7*b - 18. Is s(n) a multiple of 2?
False
Let b(v) = -2604*v + 1992. Does 43 divide b(-3)?
True
Let z be ((-720)/140)/(2/(-14)*2). Does 11 divide ((-49)/(-7) - z)*(2 + -31)?
True
Suppose 0*u - 3*o = 4*u - 245, 0 = -2*u - 5*o + 105. Let a = u - -39. Does 7 divide (-10)/(-30) - a/(-3)?
True
Let j(d) = -d**3 + 12*d**2 - 6*d - 2. Let t be j(7). Suppose 2*h - 2*m = -0*m + 252, 0 = m - 4. Let l = t - h. Does 11 divide l?
False
Let o = 18385 - -3502. Is 44 a factor of o?
False
Is 108 a factor of (1/15)/((-3)/(-6)) + 20050205/525?
False
Suppose 283*j = 5630962 + 2885038 - 651147. Is 16 a factor of j?
False
Suppose 13*i + 43 = 108. Suppose 4*n - 49 = 5*z, -i*z + 12 = 4*n - 67. Is n a multiple of 3?
False
Let t be 1 + 4 + (4 - (5 + -1)). Suppose j + 49 = 3*q - 32, 3*q - t*j = 81. Is q even?
False
Let z = -435 - -442. Let d(r) = 2*r**3 - 4*r**2 + 7*r - 36. Is 12 a factor of d(z)?
False
Let b = -27634 - -48057. Is b a multiple of 10?
False
Let i be (4 - (-15)/(-9))*-75. Let k = i - -227. Does 12 divide k?
False
Let b = 356 - 250. Let g = 84 - b. Is 3 a factor of (-28 + 26)/((1/g)/1)?
False
Let k(w) = 18*w + 253. Let r be k(-14). Does 82 divide r/(-1) - (-3 + -397)?
False
Let n be (-1276)/176*-1*4. Let o = -14 + 23. Let z = n - o. Is z a multiple of 12?
False
Let a(q) = 30692*q**2 + 118*q + 116. Is a(-1) a multiple of 33?
True
Let k(r) = 667*r**2 + 6*r - 1. Suppose 7 = -10*t - 3. Does 10 divide k(t)?
True
Let u = 43 + -67. Let j = u + 9. Does 3 divide -2 + (-99)/j + 6/(-10)?
False
Suppose 4*s - 2 + 10 = z, 0 = 3*z - 2*s - 14. Let o(i) be the second derivative of -i**4/12 + i**3 + 5*i**2 - 6*i. Does 9 divide o(z)?
True
Let q = -19 + 5. Let z be (15/6)/((q/60)/(-7)). Let p = z - 4. Is 11 a factor of p?
False
Let p = 351 + -130. Suppose -t + p = 229. Is 31 a factor of t/(-16) + (-493)/(-2)?
False
Let v(l) = -l**3 + l**2 + l. Let d(c) = 4*c**3 + 6*c**2 - 4*c - 8. Let k(r) = -d(r) - 3*v(r). Let p be k(-9). Does 3 divide 13*(0 - p) - 0?
False
Let t(c) = c**2 + c + 31. Suppose g - m = -6 + 2, 3*g - 2*m + 8 = 0. Let x be t(g). Suppose -z + 29 = 3*z + 3*o, -4*o - x = -z. Is z a multiple of 3?
False
Let a(m) = 5*m**3 + 3*m**2 + 2*m. Let c be a(3). Let w = 1040 - 1036. Suppose -t = -w*t + c. Is t a multiple of 7?
True
Let q(u) be the second derivative of 5*u**6/144 - u**5/30 - 7*u**4/6 + u. Let s(p) be the third derivative of q(p). Does 8 divide s(4)?
True
Suppose -267 = -3*i - 5*v, 5*i - 5 = 4*v + 403. Suppose -5*y + 4*z + 1115 = 0, 4*y = -3*z - i + 1007. Is 24 a factor of y?
False
Let n(y) = 12*y + 84. Suppose 3*m = 2*r - 4, 3*r + 2*r = 4*m + 10. Suppose -p = -0*p + 2*w - 21, 0 = -p + r*w + 25. Is 60 a factor of n(p)?
True
Let h(o) be the first derivative of 2*o**3 - 15*o**2/2 + 133*o - 23. Is h(9) a multiple of 48?
False
Suppose -4 = -4*j - 4*p, p - 28 + 19 = -5*j. Let t(h) = -155*h - 9. Let o be t(-6). Is 2*o/12*j a multiple of 17?
False
Suppose 5*s + 2*b - 528 = 0, 3*b = 3*s - 226 - 74. Let o = s - -238. Suppose -o + 134 = -h. Does 12 divide h?
False
Suppose -2*g = -2*w - 22370, 230 = -w + 234. Does 21 divide g?
False
Suppose -4889 - 4486 = -5*l + 2*l. Is 5 a factor of l?
True
Let a(m) = 14*m + 60. Let k be 2/14 - 4209/(-427). Is a(k) a multiple of 8?
True
Let n(l) = -l**2 - 7*l - 6. Let m be n(-5). Suppose -m*o + 315 = -3*o - k, k - 4 = 0. Is o a multiple of 29?
True
Let m be (18 + 2)/((-18)/(-1080)). Suppose -4*r + 980 = d, -5*r + 6*d + m = d. Does 4 divide r?
True
Let s = 40 - 38. Suppose 0*o + 50 = 5*u + 5*o, 3*u = s*o + 55. Suppose u*v - 17*v = -208. Does 12 divide v?
False
Let y = 205 + -148. Let x = -37 + y. Is x a multiple of 10?
True
Let l(k) = 210*k**2 - 57*k + 169. Is 8 a factor of l(3)?
True
Let y = 25 + -20. Suppose y*b = 87 + 13. Suppose b*a - 25*a = -80. Is a a multiple of 7?
False
Suppose -53*m + 54*m + 45 = 0. Let i be (-1332)/m + (-2)/(-5). Suppose -i - 50 = -4*g. Is 10 a factor of g?
True
Let t(f) = -8*f**2 + 861*f - 760. Is 223 a factor of t(61)?
False
Suppose 146 = 2*z - 2*c, 0 = -3*c - c - 20. Let y = -64 + z. Suppose -194 - 22 = -y*b. Does 6 divide b?
True
Let j be (-372 - -2)*1*(-7 - 7). Suppose -j = 4*x - 11*x. Does 13 divide x?
False
Let u = -149 - -151. Does 63 divide (-2092)/(-18) - (16/(-9) + u)?
False
Suppose -4*f + 9*f = 5*y + 25, -10 = -4*y - 2*f. Let z = 2217 - 1303. Suppose y = -13*g + 490 + z. Is 18 a factor of g?
True
Suppose -3*g + 61 - 58 = 0. Does 31 divide 3 - 0 - g - -117?
False
Suppose -28 + 1 = 9*h. Let x be h + (-431)/(1 - (6 + -4)). Suppose -4*z + x = -288. Is z a multiple of 27?
False
Suppose -3*a + 4*n - 8 = 3*n, -2*n + 10 = 0. Let o be ((-2)/(-2))/(a*3/(-21)). Suppose o*m - 532 = -0*m. Is m a multiple of 19?
True
Let o = 39724 + -26714. Does 8 divide o?
False
Let v(u) = -2*u**2 - 15*u - 3. Let c(i) = 1. Let w(q) = q**3 + 6*q**2 + q + 16. Let o(f) = 4*c(f) - w(f). Let b be o(-6). Is v(b) even?
False
Suppose 5*c + 0*n + 5*n = 780, -140 = -c - 5*n. Let o = c + 349. Is 5 a factor of o?
False
Suppose k - 89 = -72. Suppose -2016 = -h - k*h. Does 16 divide h?
True
Let d = 27 - 72. Let q be (12 - 30)*(-1 + 8)/(-1). Let x = d + q. Is 14 a factor of x?
False
Let q(f) = 78*f**2 + 16*f + 50. Let g(m) = -16*m**2 - 3*m - 10. Let u(b) = -11*g(b) - 2*q(b). Is u(5) a multiple of 23?
False
Suppose 2*v - 2 = -3*o + v, -2*o + 5*v + 24 = 0. Let x = 26 - o. Suppose 85 - x = f - u, -5*u - 113 = -2*f. Is 16 a factor of f?
True
Suppose -39*f + 141 = 24. Suppose g = f*g - y - 59, 2*y - 6 = 0. Does 2 divide g?
False
Let x(v) = -3*v**3 - 20*v**2 - 23*v + 4. Let s be x(-5). Is 642/(-1)*4/16*s a multiple of 19?
False
Let r = 32093 - 21869. Is 21 a factor of r?
False
Let u(j) = j**3 - 7*j**2 + 5*j - 23. Let r be u(10). Let o = -177 + r. Is 5 a factor of o?
True
Let o = -225 - -478. Suppose -w = o - 427. Is w a multiple of 4?
False
Let f be (3 - (1 + -1))/(-1). Let y be f/(9/156) - 0. Let d = 98 + y. Is d a multiple of 4?
False
Suppose 19*q - 12199 = 16*q + 5*l, 0 = -2*l + 2. Is 36 a factor of q?
True
Let a(f) = 37*f**2 - 27*f - 731. Is a(-34) a multiple of 19?
True
Let n = -230 + 230. Suppose 384 = 2*b - g, n*b - 5*b + 960 = -3*g. Does 9 divide b?
False
Is 13 a factor of (498 - -8) + -8 + -4?
True
Let k = -1583 - -17675. Is k a multiple of 27?
True
Let u(z) = -14*z**2 + 6 + 19 - 20*z**3 + 19*z**3 - 9 + z. Let t be u(-14). Suppose t*m + 10*m = 1992. Does 11 divide m?
False
Let o be (-16)/88 + (-105)/(-33). Suppose 0 = 2*j + o*p - 239 - 187, -3*p + 1074 = 5*j. Suppose -11*n - j = -19*n. Does 5 divide n?
False
Let p = 84 + -69. Let c(r) = 4*r + 71. Is 4 a factor of c(p)?
False
Suppose 4*f - 3377 = -s, 3*s + 1976 = 2*f + 291. Is 55 a factor of f?
False
Let z(x) = x + 2. Let j be z(3). Let o = 552 + -516. Suppose 4*c + 4*q - 75 = c, -c = j*q - o. Is 21 a factor of c?
True
Let p be (1/(-2))/((-1)/(-48)). Suppose 2*y = -4*n + 639 - 141, 0 = 2*n + 3*y - 243. Let b = n - p. Does 20 divide b?
False
Suppose 2*r - 4*c + 3*c = 3125, -7775 = -5*r - 5*c. Does 52 divide r?
True
Let x(t) be the third derivative of t**6/120 + 3*t**5/20 + t**4/3 + t**3/3 + 6*t**2. Let z be x(-8). Suppose z*f - 20 = 20. Is 5 a factor of f?
True
Let p be -38 - (-66)/(-99)*9/(-2). Is ((-45)/p)/3 - (-4401)/21 a multiple of 13?
False
Let u = -135 + 142. Let o(h) = 4*h**2 + 20*h - 14. Is o(u) a multiple of 23?
True
Suppose 0 = 3*v + 76 - 91. Suppose p - 17 = -5*i, v*i - 26 = -0*i + 2*p. Suppose 5*g + 0*g - 93 = n, 49 = 3*g - i*n. Is g a multiple of 2?
False
Let t(g) = 100*g**2 + 101*g 