/159 a multiple of 5?
False
Let z(a) = 2*a**3 - 3*a**2 - 7*a + 15. Let i be z(2). Suppose 0 = -4*q + 5*n + 1736, 0 = -q - n + i*n + 423. Is q a multiple of 19?
False
Let k(v) = v**3 + 29*v**2 + 88*v + 30. Does 11 divide k(-17)?
True
Does 72 divide 16/(-60)*-5*-108*-3?
True
Let m = 21289 - 15938. Is m a multiple of 2?
False
Suppose -6282 = 2*y + 4*y - 215370. Is y a multiple of 99?
True
Suppose -3*u - 288 = -2*i, 3*i = -4*u - 2 + 434. Let v(b) = -2*b**3 - 65*b**2 + 99*b - 12. Let d be v(-34). Let z = i - d. Does 27 divide z?
True
Let v be 5/(-30) - 19/(-6). Let x be (v + 1)/(5/(-10)). Does 4 divide (-144)/x*(-28)/(-6)?
True
Let h(j) = -2341*j + 235. Is 8 a factor of h(-1)?
True
Suppose -5*w + 2*w + 2100 = 0. Suppose 363 = -2*i - k + 1777, i - w = -4*k. Does 45 divide i?
False
Let i be (-288)/(-80) - ((-6)/5)/3. Let u be (1 + 1)*(-2 + i). Does 2 divide ((-33)/(-6) - u)*2/1?
False
Is 14 a factor of 15/30 + 24459/2 + (-12)/4?
False
Let z(g) = 348*g**2 - 329*g - 1943. Is 13 a factor of z(-6)?
False
Suppose -w + 5*h + 16460 = -4310, 0 = -4*h - 28. Is w a multiple of 29?
True
Suppose -2*s = 18*s - 36940. Is 10 a factor of s?
False
Suppose 29 = 14*b - 97. Is (-1830)/b*186/(-155) a multiple of 4?
True
Let j = 38 + -35. Suppose j*i - 3*i = -8*i. Suppose i = -3*x + 44 + 61. Is x a multiple of 32?
False
Let u(x) = x**3 + 20*x**2 - 24*x - 51. Let a be u(-21). Let y(l) = -5*l**2 - 4*l**2 + 104*l - 95*l - 5*l**2 + l**3 - a. Is 38 a factor of y(14)?
True
Let h = -496 - 1959. Let n = -1169 - h. Does 49 divide n?
False
Let s(d) = -d + 28. Let i be s(23). Suppose 0 = -i*k - 2*k + 168. Is ((-8)/k)/(1/(-102)) a multiple of 6?
False
Let z(t) = -166*t - 116. Let d(k) = 496*k + 348. Let v(c) = -5*d(c) - 14*z(c). Does 44 divide v(-3)?
True
Let s be 80*(-3 + (-9)/(-4)). Let x = s + 30. Is (-295)/x - 3/(-18) a multiple of 8?
False
Suppose 2*p = 3*p - 49. Suppose -9 = 5*r - p. Is 13 a factor of r/(-24) + 22*(-11)/(-6)?
False
Let y(x) = 590*x + 190. Is 50 a factor of y(4)?
True
Let b(u) = u**3 - u**2 + u - 1. Let i(n) = -2*n**3 + 7*n**2 - 7*n + 19. Let v(j) = -3*b(j) - i(j). Let w be v(-6). Suppose -l + w = -24. Does 28 divide l?
True
Let q be 4/28 - (-1012)/(-28). Let c = 20 + q. Is 42 a factor of c/6*(-5253)/68?
False
Suppose -2*g = 5*w - 73, -3*w + w + 2*g + 18 = 0. Suppose -m + 4*a = -2*m - w, -4*a = 5*m + 1. Suppose -p + 115 - m = 0. Is 24 a factor of p?
False
Suppose 24479 = -38*t + 45*t. Is 8 a factor of t?
False
Suppose -23*y - 20*y = -25*y - 93366. Is y a multiple of 13?
True
Let t = 401 - -918. Suppose -2*j = 3*q - t, 5*j + 4 = 3*j. Is q a multiple of 21?
True
Let i(k) = 3*k**3 + 106*k**2 - 48*k - 207. Is i(-33) a multiple of 125?
True
Suppose -100*n = -89*n - 17292. Let i = 2290 - n. Is i a multiple of 63?
False
Let s = -67 - -73. Let c = s + -53. Let z = c + 173. Does 18 divide z?
True
Suppose 0*s + 2*s + 28 = 0. Suppose 0 = -2*y + 5*q - 13 + 44, -3*y = -q - 53. Let f = y + s. Is f a multiple of 3?
False
Suppose 2*i = -5*h - 341, -10*h - 4*i = -12*h - 146. Does 5 divide (168/(-18))/(2/h)?
False
Let u(w) = 1 - 81*w + 15 + 1. Is u(-1) a multiple of 12?
False
Let z be (-4)/6*273/(-14) + 2. Suppose -1366 = -z*h + 4094. Is 22 a factor of h?
False
Suppose 5*m + 8632 = 13*m. Suppose m = 23*c - 117. Is 26 a factor of c?
True
Suppose 5904 + 216 = -15*m. Let d = m - -740. Is d a multiple of 9?
False
Let p be (2*(-106)/4)/(-1). Let q = p - 50. Suppose 5*h - 2*i = 152, -q*h + 3*i + 73 + 20 = 0. Is h a multiple of 5?
True
Let j(f) = 5*f**2 + f + 2. Let p be j(-6). Suppose -2*g = 3*n - 25, -5*n - 250 = 4*g - 293. Suppose n*l - 932 = -p. Does 9 divide l?
True
Let v = 212 - -84. Suppose v + 186 = 2*r. Let c = -107 + r. Does 18 divide c?
False
Suppose -5*c - 30 + 0 = 0. Let w be (-2)/c - (-240)/(-72). Does 7 divide (-3)/w + -3 - -23?
True
Let o(u) = -u**3 - 7*u**2 + 3. Let h be o(-7). Suppose h*p + 227 = -2*n, -4*p = -5*n - 5*p - 574. Does 12 divide (-4 - n)/(0 + 3/2)?
False
Suppose 5*f + 3955 = i, 3*i + 7*f - 6*f = 11833. Is 76 a factor of i?
False
Suppose -6*i + 3*i - 31635 = -3*s, -5*s = 4*i - 52797. Is s a multiple of 15?
False
Is 70 a factor of (-1 - -3)/((-52)/3510)*1268/(-10)?
False
Let p be ((-5)/(-10) - 3)*2/(-1). Let i(z) = 4*z**3 - 11*z**2 + 9*z - 10. Is i(p) a multiple of 61?
False
Suppose b + 2*s = 3, 38*b = 36*b - 3*s + 6. Let t(u) = -18*u**2 + 9*u + 2. Let h(o) = -17*o**2 + 8*o + 1. Let z(m) = -6*h(m) + 5*t(m). Is 6 a factor of z(b)?
False
Let b(x) = -x**2 + 7*x + 18. Let u be b(9). Suppose u = -4*w - 64 + 352. Is w a multiple of 6?
True
Let d(r) = -15*r + 130. Let n be d(8). Let k(w) = 2*w**2 + 43. Does 21 divide k(n)?
False
Let v = -8149 + 8237. Is v a multiple of 22?
True
Let j = 165 + -162. Let i(t) = -t + 2. Let r be i(0). Suppose 0 = j*w + r*b + 107 - 433, -b = -4. Is w a multiple of 24?
False
Let t be (0 - 25)*240/(-50). Let o = t - 121. Let m(l) = 160*l**2 - l + 1. Is 9 a factor of m(o)?
True
Let b(d) = d**2 - 6*d - 15. Suppose 1 = w + 6. Let g be b(w). Let i = g + 281. Is 15 a factor of i?
False
Suppose r = 3*r - l - 8, 3*r = 5*l + 19. Is 11 a factor of 273/3 + r + -6?
True
Let m(n) = -14*n + 37. Suppose -2*b + 76 = 60. Suppose -b*f + 108 = -20*f. Is 50 a factor of m(f)?
False
Suppose -1782 = 1209*l - 1215*l. Does 12 divide l?
False
Suppose -1304*s - 1128 = -1305*s. Is s a multiple of 5?
False
Suppose 13*t - 1748 = -10*t. Suppose 1755 = 4*v + n, 2109 = 5*v + 3*n - t. Is 20 a factor of v?
True
Let r = -3006 + 8781. Is 8 a factor of r?
False
Let w be (-2 - 0)/(14/(-147)). Let j be (14/w)/(6/27). Is 12 a factor of (-3)/j - (-6 + -45)?
False
Let r be 0/((10 - 0)/(-5)). Suppose -2*m + i + 1858 = m, r = m - 5*i - 638. Is 18 a factor of m?
False
Suppose 5*z = 5*d - 425, -4*z - 97 + 3 = -d. Let s = d + -53. Suppose 7 = y - s. Is 12 a factor of y?
True
Let v be 1/2 - (-14)/28. Let x be v + -2 + (-2)/(-2)*141. Suppose 4*n + x = 3*y, 8*y + 3*n - 195 = 4*y. Does 8 divide y?
True
Suppose 17*o = 12*o + 210. Let u = o + -1. Let g = u - 1. Does 8 divide g?
True
Suppose -37*u = -145420 - 253440. Is u a multiple of 21?
False
Let l(o) = 3*o**2 + 9*o + 9. Let c = -61 - -64. Suppose 13 = -c*a - 2. Does 29 divide l(a)?
False
Suppose 3*v - 2052 = r, -2*v + r = -592 - 775. Does 9 divide v?
False
Suppose -179*k = -3*q - 175*k + 1369, -5*k + 2200 = 5*q. Is q a multiple of 7?
False
Let u(y) = -1 - 1 + 141*y - 46*y. Let k be u(-1). Let v = k - -172. Is v a multiple of 15?
True
Does 5 divide (-1 - -4238) + (688 - 703)?
False
Let q(y) = -2*y**2 + 28*y - 23. Let u be q(13). Suppose -2*z + 36 = -4*l, -28 - 44 = -3*z - u*l. Is z even?
True
Let p(d) = -39*d**3 + 72*d - 50. Is p(-8) a multiple of 38?
True
Let o(i) = -i**3 - i**2 - i + 1216. Is 19 a factor of o(0)?
True
Suppose 0 = 4*k + 4028 - 12900 - 23588. Is k a multiple of 59?
False
Suppose -63801*v + 90210 = -63791*v. Does 97 divide v?
True
Suppose g = 5*g - 12. Suppose -10*z + 294 = -g*z. Suppose -z = -5*j + 28. Is 7 a factor of j?
True
Suppose 0*k + 5*f + 124 = -k, 0 = -k + 5*f - 164. Let u(i) = 26*i + 1161. Let b be u(-48). Let h = b - k. Does 19 divide h?
True
Let f(r) = -r**3 - 27*r**2 + 16*r - 278. Is f(-34) a multiple of 17?
False
Let i = -1714 - -10796. Does 19 divide i?
True
Suppose -30796 = -4*d + 3*n, -4*n = -d + 4185 + 3527. Is 16 a factor of d?
True
Suppose 0 = -2*o + 3*z - 2, z - 8 = -5*o + 2*o. Let f be 9/2 - (-1)/o. Let w = 104 + f. Is w a multiple of 23?
False
Suppose 232062 + 160086 = 42*u + 66*u. Is u a multiple of 5?
False
Suppose 0 = -5*p + 38*m - 40*m - 1225, -5*m + 218 = -p. Does 40 divide (p/(-4))/((-732)/(-240) + -3)?
False
Let v(w) = -w**3 - 19*w**2 - 16*w + 39. Let i be v(-18). Suppose -609 = -3*r + 5*z, i*z + 3 = 12. Is r a multiple of 26?
True
Let l = 417 + -417. Suppose -7*s + 1160 + 1920 = l. Is s a multiple of 44?
True
Let t = 7215 - 4276. Is 13 a factor of t?
False
Let h = -1692 + 2529. Is h a multiple of 6?
False
Let w be (21/6)/7*6. Suppose 5*i - 4 = w*i. Is (24/(-2) + 2)*(-9)/i a multiple of 8?
False
Suppose -5*x + 2*x - 12 = 0. Let z be (-3 + x/12)*-15. Suppose -6*f + z = -5*f. Does 17 divide f?
False
Let p = 44166 - 21342. Is p a multiple of 248?
False
Let g(s) = -10*s - 12. Let u(m) = -3*m - 4. Let a(w) = -2*g(w) + 7*u(w). Let n be a(-6). Suppose n*v - 4*d - 28 = 0, 3*v + d = -v + 47. Is v