(z) = 4*z - 13. Let q(g) = 5*p(g) - y(g). Does 3 divide q(0)?
True
Let n(a) = 12*a - 44. Let y(d) = 4*d - 15. Let z(u) = 6*n(u) - 17*y(u). Let g be z(3). Suppose -g*q + q + 2*b = -18, b = 2*q - 23. Is 14 a factor of q?
True
Suppose 28 + 2 = 3*l. Suppose 0 = -5*z + l, z = -2*h - 2*z + 202. Is h a multiple of 15?
False
Let q(n) = -n**2 - 6*n. Let i be q(-5). Suppose 404 = -i*t + 7*t. Does 16 divide t?
False
Suppose q - 440 = -5*s, q = s + 2*s - 272. Let d = 173 - s. Does 12 divide d?
True
Let f(l) = 2*l**2 + 2*l - 4. Let a be f(5). Suppose 0*r = -r + 4*h + a, -2*h + 2 = 0. Is 30 a factor of r?
True
Let t be (-1)/(2/4)*3. Suppose 4*q - 45 = -q. Let g = q + t. Is 2 a factor of g?
False
Let n = 23 - 73. Let s = 50 - n. Suppose 7*m - s = 2*m. Is 20 a factor of m?
True
Suppose 24 - 2 = 11*q. Suppose -67 = -n + 5*y - 3*y, -2*n + 152 = q*y. Does 8 divide n?
False
Let x = -10 + 11. Let g(r) = 4 - 14*r - x - 6. Is g(-3) a multiple of 13?
True
Let i(u) = 14*u**2 - 5*u + 12. Let o be i(3). Let g = o + -57. Is 16 a factor of g?
False
Suppose -3*i = -20 - 196. Suppose -4*p - i = -2*p. Let s = p + 87. Is s a multiple of 11?
False
Let o = -58 - -112. Let s = 69 - 67. Does 21 divide (o - 12)/(1*s)?
True
Let s(w) = 127*w + 272. Does 9 divide s(7)?
True
Let n be 789/7 - 2/(-7). Let v = n - 30. Does 8 divide v?
False
Let w be -3*(-2 - -3) - -9. Let q be 1/2*(-4 + w). Is 25 a factor of (-1)/q + 98 + -4?
False
Let n = 431 + 1165. Does 42 divide n?
True
Let t = 1371 - 336. Does 21 divide t?
False
Let u be 1 - 70/(-6) - 22/33. Suppose -u*s + 2*s = -950. Does 19 divide s?
True
Suppose -4*j - 2923 = -5*l, 20*l - 3*j = 24*l - 2326. Does 14 divide l?
False
Let l be -154 - (0 - (-3 + 2)). Let f = 211 + l. Does 8 divide f?
True
Suppose s = 4*o - o + 2012, 4*o - 3*s + 2676 = 0. Let p = 967 + o. Does 59 divide p?
True
Let v(r) be the second derivative of r**4/4 - 2*r**3/3 + 11*r**2/2 - 4*r. Let w(q) = -2*q**2 + 4*q - 11. Let b(k) = 3*v(k) + 4*w(k). Does 17 divide b(5)?
True
Suppose 3*v = 4*k - 13, -3*k + 4*k + 1 = 5*v. Suppose -4*a = a + 5*g - 105, -3*g + 84 = k*a. Is 12 a factor of a?
False
Suppose 3*g = -4*c + 2606, 4*g = 3*c + 2029 + 1454. Is 15 a factor of g?
True
Let b be (-12)/(-8) + (-1)/(-2). Let k be b + (0 - 1) - -108. Let o = -46 + k. Is o a multiple of 21?
True
Let z = -167 + 109. Let j = 118 + z. Is j a multiple of 6?
True
Let g(c) = -c**3 - 9*c**2 - c - 6. Let v be g(-9). Suppose -v*f - 55 + 211 = 0. Let n = -9 + f. Does 22 divide n?
False
Let y = 13 - -44. Suppose -2*a + y = -27. Does 11 divide a?
False
Let p(y) = y**3 - 2*y**3 + 4*y**2 + 3*y - 3*y. Let k be p(4). Suppose r + k*r - 33 = 0. Is r a multiple of 16?
False
Suppose 4*r = h - 10, -4*h - r + 6*r - 15 = 0. Is 29 a factor of -29*1*2*5/h?
True
Let r be (-4 - -7) + 66 + -1. Suppose r = -7*s + 453. Let u = s + -34. Is 9 a factor of u?
False
Let x be -15*4*1/10*-1. Suppose x*n - 750 = -9*n. Is n a multiple of 10?
True
Let m(f) = -2*f**3 - 23*f**2 - 53*f - 10. Is 17 a factor of m(-12)?
False
Suppose 0 = -4*z - 6*z + 1600. Is z a multiple of 16?
True
Let i be 6 + (-42)/24 + (-6)/(-8). Is (i + (-102)/18)*(-2 + -13) a multiple of 6?
False
Is (792/990)/(4/10370) a multiple of 50?
False
Suppose 8*r - 9*r + 2 = 0. Is r/5 + (-1141)/(-35) a multiple of 9?
False
Is (-150 + 149)*(-1412)/2 a multiple of 20?
False
Suppose -18*r + 23*r = 0. Suppose r = 5*j - 163 + 23. Does 7 divide j?
True
Let q = 39 + -8. Let o = q + -32. Is 13 a factor of -90*2/5*o?
False
Let d be (-1)/(-1 - -1 - -1). Is ((-880)/33)/(d/6) a multiple of 32?
True
Let j(i) = i**2 - 2*i - 7. Let h be 1/3 + (-64)/(-6). Is j(h) a multiple of 13?
False
Let k be ((-10)/20)/((-2)/24). Let l(q) = -q**3 + 8*q**2 + 9*q - 6. Let r be l(k). Suppose -5*s + 135 = -r. Is s a multiple of 16?
False
Does 2 divide (21*1)/(57/703)?
False
Let f = 73 - -324. Is f a multiple of 7?
False
Suppose -2*q - 110 = 3*q. Let n = -20 - q. Suppose -n*l + 24 = 8. Is 4 a factor of l?
True
Suppose -262 = 10*d - 1212. Does 26 divide d?
False
Is 23 a factor of 7635/4 - (-24)/96?
True
Let s(h) = -h - 3. Let x(p) = p + 4. Let a(u) = 4*s(u) + 3*x(u). Let i be a(-2). Does 30 divide (4 - 70)*(-1)/i?
False
Let h = -8 - -34. Suppose 0 = -2*l - 4*f - h, 0*f + 2*f = -6. Let k = l + 37. Is k a multiple of 15?
True
Let f = -4 - 11. Let j = -12 - f. Suppose -5*p - j*q + 45 = -q, -40 = -5*p - 3*q. Is 6 a factor of p?
False
Let f = 22 - 28. Let z(y) = -4*y + 18. Does 14 divide z(f)?
True
Suppose -141*p = -144*p + 21. Let l(n) = 2*n**3 - 12*n**2 + 10*n - 1. Does 17 divide l(p)?
False
Let r = 3462 - 1710. Is r a multiple of 8?
True
Suppose -3*g + 5*t = 2*g + 45, 0 = g + 2*t - 3. Let r = g - -10. Does 8 divide (1 - r)*(-9 - -1)?
True
Let c = -7 + 20. Suppose 0 = 2*f - 99 - c. Suppose -140 = -3*d - f. Does 27 divide d?
False
Let z(p) = -p**2 - 12*p + 5. Suppose 2*n - 7*n = 5*m - 75, 0 = 4*m - 5*n - 42. Suppose -5*q - 34 = 2*t + m, 4*t = -q - 49. Does 4 divide z(t)?
True
Let g(w) = -2*w**2 - 15*w + 12. Let i(p) = p**2 + p. Let a(k) = -g(k) - 3*i(k). Let x be a(11). Is 15 a factor of x + -2 + 67 + 2?
False
Let u(s) = s**3 - 24*s**2 + 24*s - 19. Let n be u(23). Suppose -5*k + 273 = n*i, 315 = 5*i + k - 0*k. Does 42 divide i?
False
Suppose 0 = -2*c - 10, w + 4*c - 66 - 16 = 0. Let n = -58 + 105. Suppose -o + w = 2*l - 7, -3*o + n = l. Is 21 a factor of l?
False
Suppose 0*o + 14*o - 23520 = 0. Does 105 divide o?
True
Let p(i) = i**3 + 2*i**2 - 2*i - 1. Let a be p(-1). Suppose -4*n = 2*j - 276, -241 = -a*j + n + 2*n. Is j a multiple of 32?
True
Let l = 56 + -53. Suppose 5*k = l*d - 425, 2*d - 198 = 4*k + 88. Is 15 a factor of d?
True
Let b(t) be the third derivative of -t**6/120 - t**4/12 + 37*t**3/3 + 11*t**2. Does 13 divide b(0)?
False
Let c = -1000 - -1484. Does 22 divide c?
True
Suppose 0*l - 2*r - 170 = -5*l, 0 = 2*l - 3*r - 68. Suppose 3*f = l + 182. Does 18 divide f?
True
Is 15 a factor of 2/(34541/(-17277) + 2)?
False
Let k(n) = 3*n**2 + 78*n - 13. Does 51 divide k(-34)?
False
Let y = 220 + -188. Is 10 a factor of y?
False
Let k(o) = o**3 + 9*o**2 - 15*o - 5. Let m(t) = 2*t + 4. Let p be m(-7). Let h be k(p). Suppose -5*r = i - 0*r + 9, -3*i + h = -3*r. Does 11 divide i?
True
Let c = -32 - -69. Suppose 0 = c*y - 34*y - 162. Is 3 a factor of y?
True
Let y(j) = 24*j - 2. Let o be 15/(-6) + 1/(-2). Let z be y(o). Let n = -24 - z. Is 13 a factor of n?
False
Let s be -2*((-237)/6 - 0/4). Let u = 209 - s. Does 10 divide u?
True
Is 18 a factor of ((-172)/(-3))/((-13)/(-156))?
False
Let z(s) = 4*s + 25*s**3 - 3 - 1 - 6*s**2 - 24*s**3. Let h be z(6). Suppose -5*i + w + 45 = -0*i, 0 = -4*w + h. Is i a multiple of 6?
False
Let t(b) be the first derivative of -b**3/3 - 9*b**2/2 + 3*b + 7. Let w be t(-9). Suppose 90 = w*g + 2*g. Is g a multiple of 18?
True
Does 33 divide 39/(-2 - (-70)/32)?
False
Let w(g) = -4*g - 1. Let n be w(-6). Suppose 0*m + 5*f - 47 = -m, -f - n = -m. Is m a multiple of 9?
True
Suppose -3*g - 2*g = -5*h + 1765, 1055 = 3*h + g. Is 49 a factor of h?
False
Let s be 2*1/(-6) + (-1547)/(-51). Suppose -15*h - s = -17*h. Does 4 divide h?
False
Let h(n) = n - 2. Let a be h(7). Suppose -5*j + 2*d = -149, 0*j - d = a*j - 143. Does 29 divide j?
True
Suppose -31*k + 20*k + 11286 = 0. Does 19 divide k?
True
Let b = 3398 + -2423. Does 39 divide b?
True
Let f = 20 - 18. Suppose 30 = k - f*x, -x - 1 = -0*x. Suppose 3*z = -2*n + 26, -2*z + 2*n + k = -2*n. Is z a multiple of 2?
True
Suppose 3*a + 11 + 4 = 0. Let s(t) be the second derivative of -t**3/3 + 2*t**2 - t. Does 11 divide s(a)?
False
Let l be 146/(-8) + ((-22)/8)/(-11). Is 24 a factor of (l/(-8))/(5 - (-157)/(-32))?
True
Let h(c) = -5*c**2 - 3*c - 3. Let f(u) = -4*u**2 - 4*u - 4. Let j(g) = -4*f(g) + 3*h(g). Let r be -18*(3/(-2))/(-3). Is j(r) a multiple of 21?
False
Let v(f) = -f + 7. Let p be v(-9). Let y(a) = 3*a - 6. Is 7 a factor of y(p)?
True
Let j = 114 + -128. Does 14 divide -3 - j/4 - 614/(-4)?
True
Let r(z) = 3*z - 6. Let g be r(-13). Does 16 divide -6*g/6 - 4?
False
Suppose 3*q + z - 6*z = -293, -4*q + 2*z - 372 = 0. Let x = q - -192. Is 15 a factor of x?
False
Let o(g) = -g**3 + 28*g**2 - 40*g + 57. Does 18 divide o(26)?
False
Let f(i) = 2*i**2 - 10*i + 2. Let t be f(7). Let y be (-3 + 4)*58*2/(-4). Let o = t - y. Does 13 divide o?
False
Sup