 + y. Is a a multiple of 17?
True
Suppose 44 - 104 = -3*f. Does 3 divide f?
False
Let w(h) = 2*h**2 + 5 + 3*h - 1 - 2*h + 5*h - h**3. Is 22 a factor of w(-4)?
False
Let q = -2 - -4. Suppose 5*s - 30 = -q*i, 5*s - 5 - 5 = 2*i. Is 18 a factor of 6/s*10 - -3?
True
Let f = 98 + -88. Suppose -4*o = 3*x - 86, 4*o - 3*x + f - 108 = 0. Is o a multiple of 15?
False
Let b = -1 + 2. Let t(j) = -9*j**2 + 26*j**2 + 24*j - 47*j + 24*j. Does 10 divide t(b)?
False
Let h = 219 - 134. Is (h/10 - 0)/(1/2) a multiple of 17?
True
Let p(x) = -17 + 8 + 17*x - x**2 - 21. Let t be p(14). Let q = 38 - t. Is 13 a factor of q?
True
Let y = -6 - -36. Let t = 54 - y. Does 8 divide t?
True
Let a(i) = 3*i**2 - 24*i + 12. Is 30 a factor of a(-11)?
False
Is 18 a factor of (-25779)/(-33) - (-1 - 52/(-44))?
False
Let x(q) = 4*q + 26. Does 13 divide x(0)?
True
Let m be 0 + 0 + -1 - 6. Let t = m - -93. Does 13 divide t?
False
Let a(u) = -14*u + 4. Let m be a(2). Let h = m + 35. Is h a multiple of 8?
False
Let o = -15 - -17. Suppose o*x - 16 = 12. Is 14 a factor of x?
True
Is 25 a factor of 13431/19 + (-189)/(-171) + -1?
False
Let j be (-133)/28 - 2/8. Let y(q) = 14*q + 12. Let x(k) = -7*k - 6. Let b(w) = 7*x(w) + 3*y(w). Is b(j) a multiple of 11?
False
Suppose 25601 = 5*h - 3*i, -21*i = -2*h - 25*i + 10256. Does 13 divide h?
True
Let d(y) = -y + 14. Let j be d(2). Suppose g - 3*v = 3*g - j, 2*g - 22 = 2*v. Is g a multiple of 5?
False
Let m = 1152 - -333. Is 58 a factor of m?
False
Let h(t) = -33*t - 129. Does 5 divide h(-8)?
True
Let p(v) = 112*v + 1. Let w = -5 + 6. Let s be p(w). Let i = s - 77. Does 13 divide i?
False
Is ((-128)/320)/((-2601)/2600 + 1) a multiple of 10?
True
Is 13 a factor of 15/(-10)*(-4 + 3220/(-3))?
False
Is (450/105)/((-1)/(-182)) a multiple of 20?
True
Let x(b) be the third derivative of b**6/120 - 4*b**5/15 + 7*b**4/8 + 3*b**3 + 3*b**2. Is x(15) a multiple of 11?
False
Let l(q) = 3*q - 14. Let s be l(10). Suppose -2*a + k = -s - 64, 178 = 5*a + 3*k. Does 13 divide a?
False
Let k = -33 + -26. Let h = k - -117. Is 10 a factor of h?
False
Let o = -17 + 15. Is 8 a factor of 2*4/20*(-265)/o?
False
Let l(g) = -2*g**3 - g**2 + 3*g - 5. Let h be l(2). Let d = 162 + h. Is d a multiple of 26?
False
Let c = -181 - -376. Is 4 a factor of c?
False
Let m be (4*-5)/((-6)/75). Let n = m - 115. Suppose 6*i - n = 3*i. Is 8 a factor of i?
False
Let u(b) = 35*b - 15. Let c be u(4). Suppose -j = -5, -5*j = 4*o - 9*o + c. Is 9 a factor of o?
False
Suppose 0*r = -r + 5. Suppose 8*u - 15 = 3*u. Suppose -2*x + z = -u*x + 7, 2*x - r*z = 21. Is x a multiple of 8?
True
Let v be (-1)/((-1)/43*1). Let k = v - 88. Let m = 101 + k. Is m a multiple of 14?
True
Let p be 2/4*(2 - 2). Let i(k) = 4*k. Let o be i(p). Suppose o = -0*l + l - 39. Is l a multiple of 10?
False
Suppose -14*l = -17*l. Suppose l = 5*r - 0*r - 350. Does 14 divide r?
True
Let m = -4 + 6. Suppose 3*o - 180 = b - 4*b, -3*b = -m*o + 140. Is 7 a factor of o?
False
Suppose 2*j - 6 = -2. Suppose j*u + 3*u + 4 = -i, 3*i - 4*u - 7 = 0. Suppose 0 = c - i - 33. Is 17 a factor of c?
True
Let h be -2*1 + 34/2. Let x(m) = m**3 - 7*m**2 + 10*m + 21. Let y be x(6). Suppose -3*q = -h - y. Is 17 a factor of q?
False
Suppose 18*q = 17*q - 2. Does 11 divide (q + 4 - 53)/(-1)?
False
Suppose -2 = 2*k - 2*r, 0 = 3*k + r + 5 - 22. Let o = 2 - k. Let g(a) = 15*a**2 + a - 4. Is 18 a factor of g(o)?
True
Suppose -4*f - 382 = h, 3*h = 3*f - 2*h + 275. Let q = f - -132. Is 37 a factor of q?
True
Let f = -18 + 18. Suppose 0*w - 5*u - 29 = -3*w, f = 4*u + 16. Suppose 119 = w*l - 7. Is 21 a factor of l?
True
Let d(x) = 86*x + 20. Let y be d(6). Let c = y + -344. Does 12 divide c?
True
Suppose 5*n - 1216 = 4*b, 0 = 5*n - 3*n + 3*b - 468. Suppose 5*l - n = 2*l. Let i = l + -44. Is 9 a factor of i?
True
Suppose -15*z - y = -14*z - 176, -5*y + 340 = 2*z. Is 20 a factor of z?
True
Suppose -5*t = -3*b - 29, 3*t - 5 = -2*t - 5*b. Suppose 2*s - 2*u = 176, t*s - 69 = 3*u + 278. Is 11 a factor of s?
False
Suppose -11*l + 5788 + 1813 = 0. Is 10 a factor of l?
False
Suppose 0 = -56*v + 32*v + 17400. Does 6 divide v?
False
Suppose k - 1112 = 6. Is k a multiple of 20?
False
Suppose -13 = n - 52. Suppose -2*p = 2*i - 0*i - 22, p - n = -5*i. Is 2 a factor of i?
False
Let j(m) = -9*m**3 - m**2. Let r(q) = -q**2 + q - 1. Let b(w) = 3*w**2 - 11*w - 3. Let d(a) = b(a) + 4*r(a). Let x be d(-6). Does 5 divide j(x)?
False
Is (-7)/(-5)*60/4 a multiple of 7?
True
Suppose -3*u + 2410 = 2*u - 5*d, -u + 476 = 2*d. Does 30 divide u?
True
Let u(x) = 2*x**2 + 2*x - 9. Let t be u(-10). Let s = -94 + t. Is s a multiple of 11?
True
Suppose -4698 = -21*l - 6*l. Is l a multiple of 6?
True
Let l = -9 - -115. Is 18 a factor of l?
False
Suppose -3*c = -c - 2. Let d be c/(((-10)/(-4))/(-5)). Let h(z) = z + 4. Does 2 divide h(d)?
True
Suppose 0 = 3*f - 24. Suppose t + 2*x + 8 = -x, 4*t + f = -4*x. Is 20 a factor of 0 + t - (1 - 32)?
False
Let x(p) = 28*p**2 - 3*p + 25. Is x(5) a multiple of 10?
True
Suppose c - 30856 = -75*c. Is c a multiple of 58?
True
Does 33 divide (153/(-216)*-8)/((-3)/(-432))?
False
Let d(y) = 17*y + 152. Does 10 divide d(6)?
False
Let r(l) = -6 - 77*l + 0 + 4 + 9. Is 17 a factor of r(-2)?
False
Suppose -3*h + 5*b + 553 = 0, h = -h + 5*b + 367. Is 5 a factor of h?
False
Let c(j) = -32*j + 8. Let m be c(4). Let s = 199 + m. Is 20 a factor of s?
False
Suppose 7*k + 160 = -k. Let n = 12 - k. Does 8 divide n?
True
Let m = 404 - 172. Suppose m = 9*p - 101. Does 5 divide p?
False
Let j be 1/4 + ((-263)/(-4) - 2). Suppose 0 = 5*w - 141 - j. Is w a multiple of 17?
False
Let p = 15 + -15. Suppose -4*h + 16 = 4*z, -5*h + 5*z - 20 = -p*h. Suppose 2*q = 36 - h. Is 12 a factor of q?
False
Suppose -4*x = 5*y, 4*x + y - 2 = 14. Suppose 0 = -2*b + x*b - 18. Suppose -b*n + 30 = -5*n. Is n a multiple of 10?
True
Let t = 110 - 82. Is t/7 - 8/(-1) a multiple of 3?
True
Let a be -3*-10*3/18. Suppose o + 447 = 2*u - 2*o, 0 = 5*u - a*o - 1105. Does 24 divide u?
True
Let z = -57 + 73. Does 3 divide z?
False
Let q(h) = h**3 - 11*h**2 + 10*h + 5. Let l be q(10). Suppose l*c + 14 - 64 = 0. Suppose -3*o + c + 4 = 2*f, 0 = 5*o + 4*f - 22. Does 4 divide o?
False
Let l(z) = 38*z + 8. Is l(7) a multiple of 19?
False
Let u = 125 - 79. Does 3 divide u?
False
Suppose -6*n + 8*n + 258 = 0. Let q = -26 - n. Is q a multiple of 9?
False
Suppose p + 3*p = 12. Suppose -p*f + 2*f + 104 = 0. Suppose -f = -9*y + 5*y. Does 13 divide y?
True
Let m(q) be the third derivative of -5/24*q**4 + 1/60*q**5 - 2/3*q**3 + 0 + 2*q**2 + 0*q. Does 7 divide m(8)?
False
Let v(n) = n**2 + 2*n - 9. Suppose 30 = -2*y + 3*y. Suppose -26*m + 36 = -y*m. Is v(m) a multiple of 12?
False
Let q = 10 - 10. Suppose q = 2*p + 3*t - 6 - 0, t - 10 = -2*p. Suppose 3*f = 3*n + 27, -2*f - 3*n - 36 = -p*f. Is 3 a factor of f?
True
Let g = -134 + 335. Let b = g - 121. Is b a multiple of 10?
True
Suppose 0 = -u - 2*x - 2*x - 8, -3*u - 14 = 2*x. Is 14 a factor of ((-46)/8)/(u/16)?
False
Let t(o) = -73*o - 1. Let v be t(-1). Let g be (12 + -11)/(2/v). Is 18 a factor of (g/16)/((-2)/(-16))?
True
Let r(q) = 0*q**2 + q**3 + 11 - 6 + 3*q - 11*q - 3*q**2. Does 15 divide r(6)?
False
Let j = -44 - -49. Suppose a - 445 = -j*r - 0*a, 0 = 3*a. Does 18 divide r?
False
Is (-10222)/(-95) - 2/(-5) a multiple of 12?
True
Does 18 divide 6/(-14) + (-30174)/(-42)?
False
Let h(y) be the first derivative of 5*y**2/2 - 14*y - 12. Let f be h(4). Suppose 0 = f*a - 91 - 77. Does 28 divide a?
True
Let w = -17 - -10. Let d = 12 + w. Suppose 20 - 133 = -5*x - 4*a, d*a = -2*x + 35. Does 9 divide x?
False
Suppose -3*k + 705 = 4*c, k + 55 - 231 = -c. Is 2 a factor of c?
False
Is 1626 - -2 - 1 - (-12 - -7) a multiple of 51?
True
Let x(y) = -y**2 - 6*y - 5. Let b be x(-4). Let h be (-1)/((-2)/b + 1). Let q(g) = -22*g - 3. Is 21 a factor of q(h)?
True
Let k = -2 - -4. Let t(g) = 7*g**3 + 3 - g**3 + 1 + g - 3. Is 14 a factor of t(k)?
False
Let g(j) = -j**3 - 71*j**2 - 274*j + 42. Is 30 a factor of g(-67)?
False
Let k(i) = 5 - 12 + 3 + 4*i + 21. Let p be k(-5). Let j = 25 - p. Is j a multiple of 7?
True
Let p = 306 + -116. Suppose 169 = 9*b + 7. Suppose b*t - 23*t = -p. Is 12 a factor of t?
False
Does 37 divide (566/5)/(7/(420/8))?
False
Suppose 7*l = 3*l - 1032. Is 10 a factor o