2 + 29*t - 9. Does 17 divide y(-5)?
False
Suppose 53*h = 66*h - 2808. Is h a multiple of 27?
True
Let j be ((-436)/(-12))/((-1)/15). Let k = -350 - j. Suppose -4*n = n - k. Is n a multiple of 18?
False
Let d = 8 + -4. Let u = d + 3. Suppose q = 4*g + g + u, -4*g - 77 = -5*q. Does 17 divide q?
True
Let d(l) = 91*l + 29. Is 12 a factor of d(4)?
False
Let g(r) = -3*r + 5. Let s be g(-3). Let a = s + -15. Is 10 - 1 - (1 - a) a multiple of 2?
False
Suppose 3*s - 39 + 9 = 0. Is (1 - 41)/(s/(-20)) a multiple of 20?
True
Let s(i) = 2*i**2 + 15*i + 9. Let d be s(-7). Suppose 3*m = -o - 4*o + 1685, -d*m - 324 = -o. Does 15 divide o?
False
Let i = 814 + -744. Does 23 divide i?
False
Let k = 1114 - -811. Is 7 a factor of k?
True
Let g(t) = -7*t**2 - 1. Let v be g(1). Let q = 47 + v. Let u = 83 - q. Does 11 divide u?
True
Is 28 a factor of ((-392)/15 - (-20)/150)*-42?
True
Let u(a) be the third derivative of -11*a**4/24 - 3*a**3 + 29*a**2. Does 9 divide u(-12)?
False
Suppose -5*z = 8 + 12. Is 7 a factor of z/12*0 + 28?
True
Let k = 26 + -28. Does 21 divide (-889)/(-14) - (-1 - 3/k)?
True
Let b be ((-18)/(-4))/((-12)/(-448)*2). Suppose z + 3*z + 72 = 0. Let t = b + z. Does 17 divide t?
False
Let o(z) = -z**3 - 2*z**2 + 17*z - 38. Is o(-10) a multiple of 29?
False
Let a(t) = -t**3 - 10*t**2 - 7*t + 2. Let k be a(-9). Let x be (k - 1) + 6/2. Does 8 divide x/63 + (-400)/(-18)?
False
Let x = -7 - -17. Let n be ((-8)/(-6))/(x/15). Suppose n*p - 15 = -3*p. Is p a multiple of 3?
True
Suppose 1 = 4*s - 5*s + 3*b, 0 = -2*s + 4*b. Let c be 5 - 1/(s/(-4)). Suppose -c*k + 204 = -3*k. Is 17 a factor of k?
True
Suppose -4*u - 944 = -4*m, 5*m + 6*u - 1171 = 8*u. Is 21 a factor of m?
False
Suppose -2*b = 4*m - 1 - 13, 0 = b + m - 7. Suppose -2*j - 75 = -b*j. Suppose -5*l = 4*i - 110 - j, -5*i + 5*l + 100 = 0. Is 7 a factor of i?
False
Let b(y) = -y**2 - 25*y + 35. Let m be b(-19). Let h = m + -94. Does 5 divide h?
True
Is 15 a factor of (745/(-5))/(((-91)/(-14))/(-13))?
False
Suppose 4*c = 18 - 26. Let x be ((-5)/3)/(c/6). Suppose x*n - 18 = 7. Is n a multiple of 2?
False
Let k(o) = 5*o**3 - 7*o**2 + 29*o + 39. Let i(a) = 2*a**3 - 2*a**2 + 10*a + 13. Let m(h) = -8*i(h) + 3*k(h). Is m(-6) even?
False
Suppose 5*n = 11 + 14. Suppose n*h - 632 = h. Let g = 221 - h. Is g a multiple of 21?
True
Let n(g) = 4*g**2 + 21*g - 25. Is n(-9) a multiple of 11?
True
Let o(c) = 8*c**2 + 1. Let u = 8 - 4. Suppose -u*h + h = -3. Is 4 a factor of o(h)?
False
Suppose 4*x + 3*r = 185, x + 2*r - 50 = -0*x. Let v = x + 31. Is v a multiple of 10?
False
Let c = 336 + 1430. Is 21 a factor of c/14 - (-2)/(-14)?
True
Suppose -2*a + 483 + 317 = -4*l, -l = -4*a + 1607. Is 3 a factor of a?
True
Suppose -12 = -3*u - 3. Is u a multiple of 3?
True
Let u be (0 - -4)/((-3)/(-18)). Let p be u/(-36) - 2/(-3). Suppose p = 5*z - 3*c - 0*c - 100, z - 42 = 5*c. Does 12 divide z?
False
Let x = -190 - -215. Is 5 a factor of x?
True
Suppose 2*l = 4*o - 146, 2*o + 0*o = 4. Let s = l + 105. Is 16 a factor of s?
False
Let u be -3*(-1 - ((-104)/6)/(-4)). Is 6 a factor of (u - -27) + -2 + 1 + 0?
True
Let j = -19 + 23. Suppose 64 = j*u - 468. Suppose 0 = 2*o - 69 - u. Is o a multiple of 31?
False
Suppose -2*f = 4*o - 1704, 0 = -f + 3*o + 395 + 442. Is 62 a factor of f?
False
Suppose 5*c = 210 + 130. Suppose -c + 205 = h. Is h a multiple of 20?
False
Suppose 5*j = -5*o + 5290, 0 = -4*o - j - 1833 + 6059. Is 31 a factor of o?
False
Let q be (2 + (-5)/3)*(-9)/(-1). Suppose -r = 3*c + c - 6, -2*r + q*c + 67 = 0. Is r a multiple of 2?
True
Suppose -4*w + 21 = -87. Suppose -5*j = -j - 440. Is (-6)/w + j/9 a multiple of 4?
True
Let b(m) = -6*m + 3*m + 2*m + 7*m. Is 3 a factor of b(1)?
True
Let k(v) = v**3 + 16*v**2 + 46*v - 22. Is k(-6) a multiple of 2?
True
Let n(u) = 46*u + 830. Let c be n(-17). Let x(a) = 19*a**3 - 2*a**2 + 1. Let g be x(-1). Let b = g + c. Is b a multiple of 16?
False
Let m(y) = -12*y**2 - 2 - 5*y**2 + 20*y**2 - y. Does 4 divide m(2)?
True
Let t be 6/(-4) + 2 + 185/(-2). Let y = t + 179. Does 29 divide y?
True
Let x(i) = -i**2 - 7*i - 3. Let v be x(-6). Let d(b) = b + 3 - 1 + 2 - v*b. Is 13 a factor of d(-11)?
True
Let k(f) = f**3 + 5*f**2 - 6*f + 12. Let b be k(-6). Is 2 a factor of (-9)/(0 - b/20)?
False
Suppose -n - 2*n = 0. Suppose 17 = -n*l - l - 5*w, -3*w = -3*l + 39. Suppose u + 0*u = l. Is u a multiple of 8?
True
Let u = 135 + 47. Does 13 divide (-3 - -1)/((-2)/u*2)?
True
Let n = -136 - -134. Let s = n + 70. Is s a multiple of 17?
True
Suppose -320 = -i + 306. Is i a multiple of 24?
False
Let o = 11 - 11. Suppose 0 = -2*a - o*a + 32. Suppose 2*n + a = 6*n. Does 3 divide n?
False
Let u be 4*(15/(-20))/(-3). Suppose 7*f - 363 = u. Is 26 a factor of f?
True
Let m be 2/((-5 + 3)/28). Let k = -6 - m. Is k a multiple of 7?
False
Suppose 0 = 20*o - 18*o. Is ((4 - o) + -3)*141 a multiple of 12?
False
Suppose 0 = z + 2*i - 970, -2*z + 4*i + 664 + 1244 = 0. Does 74 divide z?
True
Let w = 293 - 237. Does 35 divide w?
False
Let m be 48/22 - 6/33. Suppose h + o + m*o = 48, -4*o - 183 = -3*h. Is 12 a factor of h?
False
Let l(y) = 3*y**2 + 3*y + 2. Let z(b) = 2*b**2. Let g be z(1). Is l(g) a multiple of 5?
True
Let s = -229 + 554. Does 35 divide s?
False
Let w(d) = 397*d**2 - 20*d + 36. Does 12 divide w(2)?
True
Let u be ((-2)/(-1))/((-6)/(-15)). Suppose -2*h = 5*n - u - 26, -5*n - 4*h + 37 = 0. Does 4 divide n?
False
Does 8 divide (864/30 - 0)*5?
True
Let s(t) = -111*t + 1246. Does 15 divide s(-32)?
False
Suppose 7*k = 3*k. Suppose -4*z + 168 = 3*l, z + z - 5*l - 110 = k. Suppose 2*t = 5*t - z. Is t a multiple of 4?
False
Let p(t) be the second derivative of -5*t**3/2 + 5*t**2/2 + 2*t. Let y = -383 - -380. Does 10 divide p(y)?
True
Suppose 0*g + 4*g = 5*a + 15, g - 1 = 4*a. Let o be -6*(3 - 1)/(-4). Suppose 331 = 4*k - 5*j, -g*k - 140 + 557 = -o*j. Is 28 a factor of k?
True
Let g = -21 - -49. Let c(j) = 52*j**2 + 3*j. Let q be c(1). Let f = q - g. Is 6 a factor of f?
False
Suppose 5*m = 6*m - 3. Suppose -r + 23 = t, 2*r - 4*t - 40 = -m*t. Does 2 divide r?
False
Suppose -7*c + 5 = -6*c. Suppose -4 + 67 = c*o + t, -2*o + 30 = 2*t. Let f(j) = -j**2 + 15*j + 10. Does 17 divide f(o)?
False
Let k(t) be the second derivative of t**5/5 + t**2 + 14*t. Let v be k(4). Suppose 2*n - 2*i - v = -0*n, 3*i - 613 = -5*n. Is n a multiple of 25?
True
Let i = 4 - 10. Is (-8)/i*(-90)/(-4) a multiple of 15?
True
Suppose 0 = -9*k + 13*k - 44. Suppose 4 = 4*b - 4*t, 2*b - 2*t = b. Suppose 41 = b*y + k. Is y a multiple of 15?
True
Suppose 0 = q + a - 29, 2*q + 0*q - 3*a = 33. Suppose 0 = w + 16 - q. Is w a multiple of 4?
True
Let j = 19 + -16. Suppose m + j*m - 248 = 0. Suppose m = 2*v - 38. Is 8 a factor of v?
False
Let l(z) = z**3 + 14*z**2 + 25*z + 38. Does 13 divide l(-12)?
True
Let p = -5 - -10. Let f(z) = 10*z. Let l be f(p). Let k = l + -1. Is 20 a factor of k?
False
Suppose 4*g - 56 + 360 = 0. Let h = -49 - g. Does 21 divide h?
False
Let d = 467 - 67. Suppose -5*g + d = -0*g. Is 24 a factor of g?
False
Let g = 51 + -43. Suppose -95 - 337 = -g*c. Is c a multiple of 14?
False
Let a be (-3 - 2)*4/(-10). Suppose -5*w = -2*t - 831, -837 = -5*w + 5*t - t. Suppose y - w = -2*z - 3*z, a*z + 5*y = 66. Is 12 a factor of z?
False
Is (-5366)/(-6) - -5 - (-1)/(-3) a multiple of 31?
True
Let o be (-1)/(4/223) - (-18)/24. Let f = o + 85. Does 10 divide f?
True
Let b(u) = 0 + 3*u**3 - 10*u**3 - 5 + 3*u + 12*u**3. Does 23 divide b(2)?
False
Is 4 a factor of (11/(-4))/(-11) - (-1629)/12?
True
Suppose 32*x - 31*x - 815 = -5*v, -x = 4*v - 814. Is 9 a factor of x?
True
Is 2*(161 + (-1 - -7)) a multiple of 24?
False
Let w be (2 - -1)/((-10)/10). Let i = 21 + w. Is i a multiple of 12?
False
Let y(q) = q**3 + 10*q**2 + 16*q. Let b be y(-7). Let c = -18 + b. Suppose 0 = -a + c - 2. Is 3 a factor of a?
True
Let x = 9 - 10. Let q = 13 + x. Is 12 a factor of q?
True
Suppose 0 = 5*a - 3*a - 4. Suppose -2*n - a*n + 260 = 0. Suppose -5*r + 155 = 5*d, -r + n - 19 = 4*d. Does 6 divide r?
False
Suppose 7*a + 89 = 2217. Is a a multiple of 16?
True
Suppose 0 = 4*f + o - 10, 17 = 3*f - 4*o - 0. Does 3 divide 2/(-3)*f + (-5)/(-1)?
True
Let p = -4 + 7. Is 9 a factor of 91/5 + p/30*-2?
True
Let g be ((-63)/(-49) + 4/(-14))/1. Is 25 a factor of 591/g*3/(-36)*-4?
False