s 3 a factor of j(-6)?
False
Suppose -7*j + 30 = -2*j. Let c be (-1 + 3 + 131)*1. Suppose 4*u - c = -d, 13 = u + 5*d - j. Does 34 divide u?
True
Let z = -8408 - -14688. Is 14 a factor of z?
False
Let r(o) = -4*o**3 - 27*o**2 - 6*o - 80. Let y(l) = 5*l**3 + 26*l**2 + 6*l + 79. Let j(a) = 4*r(a) + 3*y(a). Does 97 divide j(-30)?
True
Suppose 0 = f + 7*f + 9624. Does 20 divide (-2)/8 - f/12?
True
Let g be (4 + 2)/12 - (-3)/2. Suppose -5*x + 6 = -g*x. Suppose -5*q + 115 = x*h, -4*h + 0*q = -4*q - 188. Is 6 a factor of h?
False
Let r(d) = 2*d**3 - 36*d**2 + 35*d - 5. Let t be r(17). Suppose 0 = 9*u + t - 246. Does 12 divide u?
False
Suppose 17*q - 296521 - 31647 = -17*q. Is q a multiple of 19?
True
Let w(y) be the third derivative of -y**6/30 - y**5/60 - y**4/12 - y**3/6 + 36*y**2. Suppose -3*n = -2*l + 2, -5*l - 2*n - 3 - 11 = 0. Is w(l) a multiple of 2?
False
Suppose -5489 = 3*v - 5*q - 27619, -3*v - 2*q = -22165. Is 49 a factor of v?
False
Suppose 2*b - 90 = 10. Let i(a) = -8*a - 5*a**2 - b*a**3 + 24*a**3 + 3 + 3*a**2 + 29*a**3. Does 32 divide i(5)?
True
Suppose -16*h + 21*h - 3*f - 17770 = 0, 4*h - 5*f = 14229. Does 31 divide h?
False
Suppose -7*g = -26 - 2. Suppose g*i = 3*h - 226, 0*i + 2*i + 8 = 0. Does 7 divide h?
True
Let f(n) = -59 - 44 - 17*n - 47 + 3*n**2 + 82. Is f(24) a multiple of 44?
False
Let x = -4918 + 5468. Does 11 divide x?
True
Suppose 5*f + 5*g = 1440, -231 - 61 = -f - 3*g. Suppose o = f + 140. Does 7 divide o?
False
Is 4 a factor of (337/3)/(20 + 2459/(-123))?
False
Does 23 divide 1000/16*(-12 - -46)?
False
Let f(y) = 2*y**2 - 9*y - 3. Let j be f(5). Suppose -z + 14 = 5*o, 2*o = 5*z - j*z + 9. Does 44 divide 2*(0 - (-42 + (-3 - z)))?
True
Suppose 10*b = 6*b + 16. Let v(w) = 13*w + 2*w + 12 - 18*w - w + w**2. Does 2 divide v(b)?
True
Does 35 divide (35/4)/(64/2560)?
True
Suppose -18*r + 13*r = 0. Suppose 0 = 3*q - 5*l - 2213, r = -4*q - 0*l - 4*l + 2972. Is 13 a factor of q?
True
Let w(s) = 47*s**2 - 12*s - 14. Suppose -p + 3*f + 9 = -0*p, 2*f = -10. Is 17 a factor of w(p)?
False
Is (7040/(-33))/((220/(-4653))/10) a multiple of 47?
True
Suppose -1432 + 14482 = 5*w. Suppose 20*s = 2*s + w. Is 29 a factor of s?
True
Suppose 15*v - 139 = 26. Let k be 9/(99/(-2)) - (-2)/v. Suppose k = -16*z + 15*z + 15. Does 4 divide z?
False
Let y be 5/(-2)*(16/(-5))/2. Suppose y*z = -5*g - 881 + 2397, z - 4 = 0. Suppose -4*h + 2*u = -g, 4*h - 130 - 166 = 3*u. Is h a multiple of 11?
True
Suppose -3*z + 44 = -2*v, 0 = 2*v - 0*v - 10. Let p be ((-444)/z)/((-4)/6). Suppose -6*x + p + 47 = 0. Does 6 divide x?
False
Is 36 a factor of (-4)/(36/21)*(-68688)/53?
True
Let z = 1522 - -1327. Does 11 divide z?
True
Let f be 2 - (2 + -1 + -2). Suppose 2*c + 3*c - 5*v - 50 = 0, -f*v + 30 = c. Does 6 divide c - 2*(-15)/(-10)?
True
Does 6 divide ((-36)/(-24))/(6 - (-478863)/(-79814))?
False
Suppose 860*i = 849*i + 104214. Is i a multiple of 8?
False
Suppose -24*i = c - 28*i - 29733, 0 = -5*c + 4*i + 148745. Does 22 divide c?
False
Let w(a) be the second derivative of a**5/60 + 53*a**3/3 + 2*a**2 - a. Let y(j) be the first derivative of w(j). Does 33 divide y(0)?
False
Suppose 5*w = 2*w - 0*w. Suppose 8*k - 48 - 352 = w. Is k a multiple of 3?
False
Let g(r) = -15*r + 39. Suppose -7*z + 17 = 108. Does 11 divide g(z)?
False
Let b be 19 - (-2)/2 - 0. Let a(r) be the second derivative of 2*r**3/3 + 2*r**2 + 5088*r. Is 14 a factor of a(b)?
True
Suppose -16866 = -4*l + f, 2*f - 5 = -1. Suppose -3*t = -4*o - 2528, 23*t + l = 28*t - 3*o. Is 104 a factor of t?
False
Let t be (-2254)/7*1/2. Let c = -354 + 120. Let a = t - c. Is a a multiple of 13?
False
Let k be 48/10 - (-1)/5. Suppose 568 = k*t - 232. Let h = t - 64. Is 24 a factor of h?
True
Let k = -1171 - -2070. Let a = k + -1513. Let l = -406 - a. Is l a multiple of 32?
False
Suppose 3*a - 2929 = 4*k - 0*k, -2*k + 1962 = 2*a. Let x = a - 660. Does 29 divide x?
True
Let t = -23 + 29. Suppose -345 + 1617 = t*u. Is u a multiple of 17?
False
Let h(q) = 6*q**2 + 7*q + 5. Let k be h(-2). Suppose 25*f = 28*f - k. Suppose -7*d = -f*d - 128. Is 16 a factor of d?
True
Let f(j) = j**3 + 35*j**2 - 218*j - 53. Is f(-36) a multiple of 67?
True
Let y = 12063 + -8051. Is y a multiple of 17?
True
Suppose 0 = 5*d + 21 + 19. Let l be -34 - d/(-2) - 1. Let p = l + 123. Is 14 a factor of p?
True
Let n(g) = 347 + 10*g + g**2 - g**3 + 2*g**3 - 10*g**2 + 8*g**2. Does 7 divide n(0)?
False
Let d(z) = -118*z + 236. Let b(l) = -119*l + 233. Let g(r) = -6*b(r) + 5*d(r). Does 18 divide g(5)?
False
Suppose 5*b + 5*l = 50115, -2*b - 39*l + 34*l + 20046 = 0. Is b a multiple of 24?
False
Let g be 1/8 - (-234)/(-48)*-1. Suppose 3*o - 22 = 2*o - g*c, -2 = -5*o + 2*c. Suppose -540 = -8*j - o*j. Is 9 a factor of j?
True
Let j = -387 - -234. Let u be -8 + -200 + -10 + -3. Let h = j - u. Is 4 a factor of h?
True
Let y be 5/(((-1)/2)/(-17 + 19)). Does 13 divide ((37952/y)/(-8))/(4/20)?
False
Let f = 198 + -194. Suppose 4*i = f*y + 396, -2*i + 203 - 5 = -5*y. Is i a multiple of 7?
False
Suppose -a + 74 = 2*x, x + 5*a = -3*x + 142. Let r = 38 - x. Suppose -6*v + 0*v + 990 = r. Does 39 divide v?
False
Suppose 3*u + 304 = 1900. Let q = 1767 - u. Is q a multiple of 22?
False
Let y = 364 - 302. Suppose -67*n + y*n = -625. Does 11 divide n?
False
Suppose g + 23*g - 12186 = 6*g. Is 2 a factor of g?
False
Let m(x) = -x**2 + x + 1. Let h(u) = 30*u**3 + 4*u**2 - 2*u. Let b(y) = h(y) - m(y). Is 11 a factor of b(2)?
True
Let f(w) = w - 2*w**2 - w**3 - 3*w**2 + 2*w. Let t(p) = -p**2 + 115*p - 960. Let d be t(9). Is f(d) a multiple of 18?
True
Suppose -2*j + 4*q = -q - 28861, 6*j = q + 86485. Is 12 a factor of j?
False
Let i(o) = 572*o**2 - 12*o. Suppose 14*h - 78 = -64. Is i(h) a multiple of 80?
True
Let c = -1303 - -2787. Is 47 a factor of c?
False
Let c(y) = -61*y - 107. Is 16 a factor of c(-17)?
False
Suppose -12*m + 2544 = -660. Let p = m + -154. Is p a multiple of 18?
False
Suppose -4*m + 3*s + 213 = 0, -3*m + 6*m - 167 = -5*s. Suppose 3*g + 6*g - m = 0. Is (-206)/(-14) - g/(-21) - -2 a multiple of 5?
False
Suppose 5*t - 9579 = -2*h, 102*t - 100*t + 3*h - 3825 = 0. Does 71 divide t?
True
Let t(w) = 22*w**2 + 50*w - 258. Is t(8) a multiple of 35?
False
Let w(a) = a**3 - 12*a**2 - 5*a - 14. Let n be w(13). Suppose -2*t = -7*t + n. Is 6 a factor of t?
True
Let j(l) = -l**2 - 12*l + 103. Let z be j(6). Let p(u) = -16*u + 92. Is p(z) a multiple of 4?
True
Suppose -5*j = -0*j - 50. Let h be (j + 4)/(2/4*-2). Does 6 divide (-308)/33*36/h?
True
Suppose 33 - 39 = -x. Suppose 3*l = -k - 43, -3*k - 6 = x. Let t = l + 82. Is 4 a factor of t?
False
Suppose 4*k = 3*g + 43 + 41, -g - k = 35. Let m be (-3)/(-3)*2 - -54. Let u = m - g. Does 22 divide u?
True
Let b = 14018 - 4048. Is b a multiple of 18?
False
Let c = -13324 - -20142. Does 9 divide c?
False
Let y(i) = -2*i**2 + 53*i + 37. Let f(o) = o**2 - 27*o - 19. Let w(u) = -7*f(u) - 3*y(u). Let c be w(21). Let p = -121 + c. Does 45 divide p?
True
Let i = -4741 + 8685. Is i a multiple of 29?
True
Let u(g) = g - 1. Let i be u(3). Let k(h) = h + 15 + 0*h + 33 - i*h. Does 22 divide k(16)?
False
Suppose -32 = 5*o - 2*w, 2*o - 6*o - 5*w = 52. Let q = 62 + o. Does 8 divide (-3 + 5)*(1 + q/4)?
False
Does 36 divide (46 - 17 - -7)*440*1?
True
Let n = 1460 + -2156. Let g = n + 1043. Is 26 a factor of g?
False
Let s = 159858 + -113519. Does 311 divide s?
True
Suppose -10*v + 38*v - 92400 = 0. Does 12 divide v?
True
Let p(h) = h**3 + 3*h**2 - 9*h + 12. Let z be p(-7). Let f = 351 + z. Does 12 divide f?
False
Suppose 2*i + 18 - 6 = 2*m, 5*m = -2*i + 9. Suppose 47 = m*l - 7. Suppose l = 3*a - 6. Is 8 a factor of a?
True
Let p = 59 + 136. Suppose -r - c - 1 = -3, 2*r - 5*c = 4. Suppose -r*o = 3*o - 3*u - p, 0 = -4*o + 5*u + 156. Is o a multiple of 14?
False
Let q be -3 - (-4 + (4 - 3)). Suppose -3*g - g = -t + 15, q = 2*t + g + 6. Does 17 divide -1 + 3 - t - 33*-1?
False
Let f(o) = 32*o**2 + 6*o - 10. Suppose -2*g + 21 = 5*b, 0*g - 3*g = -9. Is 8 a factor of f(b)?
True
Is 109 a factor of (-122875222)/(-5268) - (-2)/12?
False
Let p = 55 - 53. Is -8 + (p - (-4 + -221)) a multiple of 8?
False
Let o = -10168 - -10569. Is 5 a factor of o?
False
Suppose 67 = -3*l + 3*g + 1036, 1619 = 5*l - g. Suppose 2*v + l = -390. Is ((-2)/(-6))/((-7)/v) a multi