*j - 12*j. Is j a multiple of 17?
True
Suppose 3*h + 200 = 7*h. Let m = 30 + h. Let n = -28 + m. Is 13 a factor of n?
True
Let j be 2/1 + -5 + -237 + 0. Let t = j + 320. Is 7 a factor of t?
False
Let j = 185 + -43. Suppose -2*f - 105 = d, 4*f + 0*f = 3*d - 205. Let l = f + j. Is l a multiple of 18?
True
Is 21565 - (21 + (-697)/17) a multiple of 19?
False
Let o(u) = -9*u - 70. Let w be o(-8). Is (w*1)/(14/28) + 172 a multiple of 9?
False
Let h(d) = -19*d**3 - 2*d**2 + 18*d + 4. Let q be h(-5). Suppose -300 - 265 = -r - 4*x, 0 = 4*r - 5*x - q. Is r a multiple of 51?
True
Does 10 divide (764/(-8) - -5)*-2?
False
Suppose 0 = 5*u - 2*j - 1121 + 384, 149 = u - 2*j. Let x = u - 133. Let q(n) = 2*n**2 - 25*n - 4. Does 17 divide q(x)?
False
Is (5 - (8 + (-7 - 7)))*159 a multiple of 14?
False
Let j(v) = v**2 + 27*v + 5. Suppose -90 = -10*m - 20. Is j(m) a multiple of 6?
False
Let x(c) = -1052*c**3 + 2*c + 1. Let u be x(-1). Let d = -644 + u. Does 11 divide d?
True
Let h(c) = -15*c - 25. Let k be h(-21). Suppose f + r = -k, r - 1450 = 5*f + 2*r. Is 2 a factor of f/(-35) - 4/14?
True
Suppose 0*v - 18 = -3*v. Let t be 22/(16/10 - v/10). Suppose t*n - 21*n - 184 = 0. Is 14 a factor of n?
False
Is 10717/21 + (-20)/(-12) a multiple of 2?
True
Let m be 4/(4/2 - 0). Suppose 0 = -3*c + 5*v + 11, 4*c + 0*c - 10 = m*v. Suppose -3*y = 2*k - 67, 107 = 5*y - k + c*k. Is y a multiple of 15?
False
Let t(m) = 78*m**2 + 126*m + 127. Does 23 divide t(-16)?
False
Suppose 2*j - 9978 = -112*y + 110*y, -5*j + 24889 = -3*y. Is 106 a factor of j?
True
Suppose 3*m - 1477 = 4*q, -m + 365 = 3*q - 123. Does 5 divide m?
False
Suppose -2 - 2 = -4*v. Let b be (-44)/(-8) + v/2. Does 32 divide (-10)/(1 - b/5)?
False
Suppose 0 = 9*p - 6*p - 2286. Suppose 4*k - p = 1802. Does 42 divide k?
False
Let u be (-124)/16 - (-2)/((-24)/(-9)). Let q be -5 - u/((-14)/(-32)). Suppose -1404 = -q*h - 2*h. Does 18 divide h?
True
Let u(f) = 3*f - 1. Let a(p) = p**2 + 26*p - 2. Let w(i) = -a(i) + 6*u(i). Let y = -4 + -2. Does 4 divide w(y)?
True
Suppose 0 = 4*c - 16 + 4. Suppose 0 = -4*s + 4*d - 196, 177 = 3*s - 6*s - c*d. Let u = 38 - s. Is u a multiple of 27?
False
Suppose 0*p + 4*t + 125 = -5*p, -43 = 3*p - 4*t. Is 3/(p/(-1316)) + 3 a multiple of 17?
False
Suppose -293*l + 1400262 = -151*l. Is 19 a factor of l?
True
Does 5 divide (13 + 3*(-2 - -5))*1?
False
Does 5 divide (374/(-8) + -12)*(-136)/1?
True
Suppose -276*j + 15 = -273*j. Suppose 0 = 3*r - 3, 6*i - 5*i = -j*r + 48. Is i a multiple of 16?
False
Suppose -4*f + 4*c = -12192, -11*f + 3*c - 15272 = -16*f. Is f a multiple of 5?
False
Is 17934/(100/(-40)*(-2)/5) a multiple of 16?
False
Let o(r) = 2*r**2 - 5*r + 7. Let a be o(6). Let c = a + -44. Suppose 0 = 3*f - c*f + 40. Is 6 a factor of f?
False
Suppose -67 = -8*k + 69. Is 51 a factor of 5918/k + 14/(-119)?
False
Suppose 0 = -17*p + 14*p + 9. Suppose -5*u = -q + 81, -p*q = -2*q + 3*u - 89. Does 4 divide q?
False
Let y(s) = 19*s**3 - s**2 - 4*s + 4. Let a be y(1). Let i be 2/(-6)*53*-15. Let h = i - a. Does 17 divide h?
False
Suppose -8610 = -45*y + 4*y. Does 23 divide (3 - 3/(-3) - 7) + y?
True
Let h = -281 - -691. Let q = -178 + h. Is 29 a factor of q?
True
Let f = -24824 + 35056. Does 14 divide f?
False
Suppose 0 = -o + 3*p - 606 + 2105, 2*p = 0. Does 2 divide o?
False
Let q(o) = 14*o**2 - 3*o - 3. Let r(s) = 27 - 6*s - 12 + 27*s**2 - 12 - 8. Let d(v) = -5*q(v) + 3*r(v). Is 5 a factor of d(-2)?
True
Let g(a) = a**3 - 19*a**2 - 18*a + 211. Does 47 divide g(23)?
False
Let q(o) be the second derivative of -o**5/20 - 3*o**4/4 + 4*o**3/3 - 2*o**2 + 39*o. Let b = -81 + 70. Is q(b) a multiple of 30?
True
Suppose -156*g + 594592 = 78076. Does 24 divide g?
False
Suppose 30*b - 1130566 + 272506 = -12*b. Does 10 divide b?
True
Suppose 3*q = -2*h + 106, -5*h = 3*q - 214 - 33. Suppose 35385 + 2403 = h*c. Is c a multiple of 48?
False
Let v be -2*(5 + (-28)/8). Let s be (0 - -3)/v + 1646. Suppose -5*y - 85 = -s. Is 13 a factor of y?
True
Let v(f) = -8*f - 8. Let y be v(-2). Suppose -36 = 5*c - y*c. Suppose 6*b = c*b - 126. Is 7 a factor of b?
True
Let c(g) = 101*g**2 + 4*g + 5. Let w be c(-2). Suppose -4*z - 4*s = -536, 8*z + 4*s - w = 5*z. Suppose -4*i = -i - z. Does 5 divide i?
True
Let q(h) = -4*h**2 + 34*h - 16. Let g be q(8). Suppose 19 = -r + 4*j + 95, 2*r + j - 143 = g. Is r a multiple of 8?
True
Let o be (2 - (-4)/(-3))/((-54)/(-891)). Suppose -o*n + 51*n = 40000. Is 71 a factor of n?
False
Let f(x) = 76*x**2 + 5 + 7*x - 77*x**2 - 2. Let w be f(7). Suppose 2*v = -w*l + 106, 0 = 3*v + 4*l + l - 160. Is v a multiple of 10?
True
Suppose 544 = 2*c - c - 5*j, -5*c + 2605 = -2*j. Suppose 59*d - 111 - 66 = 0. Suppose d*x + 4*a - 782 = 0, -4*x + 4*a + c = -533. Is x a multiple of 51?
False
Suppose -2*p + 8324 = 2*p. Let s be 3/(12*(-12)/(-528)). Suppose -s*t + p = 321. Is t a multiple of 20?
True
Let y = -60 - -72. Let l(v) be the first derivative of 19*v**2/2 - 12*v - 6. Is 12 a factor of l(y)?
True
Let t(w) = -w**3 - 7*w**2 - 8*w - 8. Let u be t(-7). Suppose 0 = -5*z - u + 388. Suppose 2*r + m + z = 251, -4*r = -5*m - 373. Does 23 divide r?
True
Is 11 a factor of 116012/34 + 12/(-102)?
False
Suppose 9*a - 8*a - 82026 = -8*a. Is a a multiple of 93?
True
Suppose -5*l - 15 = 0, -775 = -4*b - 20*l + 21*l. Suppose 5*w + b = -3*g + 1049, -3*g + 337 = 2*w. Is w a multiple of 2?
False
Let j be 1/2 + 2128/32. Suppose 10 = -j*d + 69*d. Suppose 2*i = -d*l + 23, 73 = 5*i - 4*l + l. Is 5 a factor of i?
False
Let g(m) = m**3 - 6*m**2 + 7*m - 1. Let r be g(5). Suppose -16*y + r = -17*y. Is 13 a factor of 1 - 516/(-10) - y/(-15)?
True
Let s(n) = -n**2 + 33*n + 89. Let u be s(24). Let r = 445 + u. Is r a multiple of 50?
True
Let u(d) = -10*d**3 + 5*d**2 + 16*d + 32. Let o be u(-4). Suppose 3*v = 302 + o. Does 22 divide v?
True
Is (-150)/(-18 + 43) + 1375 + 0/(-1) a multiple of 7?
False
Let p(q) = -q**2 + 2*q + 27. Let g be p(7). Let t(s) = -s**3 - 7*s**2 + 4*s + 4. Is 5 a factor of t(g)?
False
Suppose 20 = 10*h - 0. Suppose h*w = 4*v - 1910, w - 15 = -2*w. Is 30 a factor of v?
True
Suppose 2*b - 5*k - 7683 = 0, 7680 = 2*b + 91*k - 93*k. Is b a multiple of 50?
False
Let p(z) = 101*z**2 + 401*z - 6044. Is p(15) a multiple of 38?
False
Let c be (-3 - (-760)/2)*(0 - -1). Suppose c = 88*k - 89*k. Let v = -184 - k. Is 40 a factor of v?
False
Let z = 50 + -50. Suppose x + z*t - 10 = t, 2*t + 4 = 0. Suppose -4*u - 3*g + 299 = -x*g, -142 = -2*u + 4*g. Is u a multiple of 22?
False
Let z(m) = -3*m**3 - 2*m**2 + 9*m - 12. Let w be z(-6). Let p = w + -275. Does 22 divide p?
False
Let r(g) = -114*g - 1494. Is 18 a factor of r(-54)?
True
Let c = -126 - -663. Suppose 10*x = c + 603. Is 17 a factor of x?
False
Let a be (-14)/((-168)/(-738))*-44. Suppose 10*v - a - 744 = 0. Is v a multiple of 3?
True
Suppose 2*j = -18 - 16. Suppose -340 = -471*x + 461*x. Let l = x - j. Does 17 divide l?
True
Suppose 1023 = 81*a - 80*a. Does 6 divide (22/(-44))/(a/512 + -2)?
False
Suppose 32 = 2*f - v - 3*v, 46 = 2*f + 3*v. Let o be (f/(-12))/((-3)/9). Suppose -2*a = -2*s + 80 + 124, 2*s - o*a = 210. Is s a multiple of 25?
True
Let d(w) = 1336*w**2 - 154*w + 489. Does 103 divide d(3)?
True
Suppose 1 = -2*y + 3. Let u be 0/(-2 - (0 - y)) + -46. Let c = u - -134. Is 11 a factor of c?
True
Let v(m) = 11*m - 152. Suppose 87 + 2 = 5*z + s, 5*s = 2*z - 41. Does 4 divide v(z)?
False
Let w = -17089 - -19788. Does 6 divide w?
False
Let a = 134 - 127. Suppose -12*i = a*i - 2888. Is i a multiple of 42?
False
Let c(z) = -3*z + 71. Let v be c(9). Let a = v + -39. Suppose -a*o + 1050 = -0*o. Is o a multiple of 38?
False
Let z(r) be the second derivative of r**5/20 + r**4/6 - 11*r**3/3 + 22*r**2 + 17*r. Does 59 divide z(6)?
False
Suppose -2 + 10 = 4*a. Let s be (-8)/(2 + a) + 104/(-2). Let i = -21 - s. Is i a multiple of 11?
True
Let s(v) = -v**3 + 17*v**2 + 17*v + 20. Let l be s(18). Suppose -2*b = 5*m + 31, m + 5*b + 18 = -l. Does 4 divide m*((-9)/6)/((-15)/(-20))?
False
Let o(u) = -28*u + 45. Let n(c) = -29*c + 44. Let x(w) = 2*n(w) - 3*o(w). Does 15 divide x(7)?
True
Suppose 40*v - 138356 = -7836. Is 13 a factor of v?
True
Suppose 5*v + 5*m - 7 = 53, v + 2*m - 10 = 0. Suppose -v*n = -43*n + 25491. Is 64 a factor of n?
False
Let h = 213 + -195. Suppose -h*p = -16072