 + 18 = -0. Suppose -34 - x = -6*j. Suppose -j*o + 3*o + 135 = 0. Is o a multiple of 12?
False
Let r be (-17)/(-51) - 38/12*2. Let k(t) = -2*t - 2*t**2 - 5*t**2 + 3*t**2 - 7 - t**3 - 5. Is 11 a factor of k(r)?
False
Is 19 a factor of ((-1)/6 + 2059/42)*(-98)/(-3)?
True
Let h = 14 + -11. Let i be -13 + (-2 - -1*(h - 2)). Let x = 46 - i. Is 6 a factor of x?
True
Suppose -4*b = -3*d + 9 + 14, -5*b - 21 = 4*d. Suppose d = 3*r - 59. Is r a multiple of 5?
True
Suppose a = 3*d + 31, -3*a - 4*d + 0*d + 67 = 0. Suppose -20*b + 3*z - 841 = -a*b, 2*b = 3*z + 328. Is 6 a factor of b?
False
Does 84 divide 1 + (-22)/18 + 731584/207?
False
Let k = -6593 - -13737. Is 152 a factor of k?
True
Let m(o) = o**3 - 9*o**2 - o + 19. Let i be m(9). Suppose 10 = -2*z, i*h - 6*h = -3*z + 65. Suppose -100 = -5*v + 2*p - 4*p, 0 = -v + 2*p + h. Does 14 divide v?
False
Suppose -2*h - 2*h = -40. Let b(c) = -c**3 - 11*c**2 - 6*c + 29. Let p be b(-10). Let q = h - p. Is q a multiple of 13?
False
Let d be (-4 + -353)*16/48. Let s = d - -1137. Does 53 divide s?
False
Let p = -39599 + 87055. Does 17 divide p?
False
Suppose -y + 3*m + 4 = 3*y, -2*y = -4*m - 12. Let t be 1925/14 - y/4. Does 30 divide 4 - 1*t/(-3)?
False
Suppose 38 = -3*i + 5*w, 0 = -i - w + 3*w - 14. Does 7 divide ((-1464)/(-9) + -5)/((-2)/i)?
False
Suppose -3*m - 8 = -2*h, -3*h + 14 = 2. Suppose 8*n - 880 = -m*n. Suppose 28*u - 27*u = n. Does 10 divide u?
True
Let o be 6 + 132/(-20) + (-4706)/(-10). Suppose 0 = 7*s - 2*s + 5*h - o, 2*s - 188 = 3*h. Suppose 0 = -5*q + 284 - s. Does 7 divide q?
False
Let w be 37/370 + (-2)/20. Suppose -4*o - u + 1491 = w, 9*o - 3*u = 14*o - 1855. Is 17 a factor of o?
True
Let k(s) = -s**3 - 18*s**2 + 41*s + 25. Let h be k(-20). Suppose 255 = 2*b + 4*g - 73, -h*g = -20. Is 26 a factor of b?
True
Suppose -5*a + 12 = -3*n, 0*n + 4 = -5*a - n. Suppose 5*h + 3*b - 320 = a, 0*b - 315 = -5*h - 4*b. Is h even?
False
Suppose 3*o - 2*h - h - 14685 = 0, 4*o - h = 19604. Does 232 divide o?
False
Suppose 816181 = 134*s + 306956 - 240237. Is 7 a factor of s?
True
Let u(r) = -r**3 - 8*r**2 - 7*r + 1. Let q be u(-5). Let b = q - -107. Is b a multiple of 34?
True
Suppose -2*n - 2*h = -26 + 10, -4*h = -8. Let f(j) be the second derivative of j**4/12 + j**3/6 - 6*j**2 + 927*j. Does 5 divide f(n)?
True
Let g(w) = -2*w**2 - w + 1. Let h(i) = 6*i**2 - 86*i + 131. Let p(d) = -2*g(d) - h(d). Is 38 a factor of p(30)?
False
Suppose 0 = z - t - 18, 2*z + 2*t = -3*z + 69. Suppose 3*m - 7 = 4*o, 5*m = -o + z + 12. Suppose 180 = 3*s - s - 2*d, -4*s - o*d = -372. Does 32 divide s?
False
Let a be 2 - (-7 - (-3 - 3)). Suppose 142 = -a*b + 628. Is b a multiple of 21?
False
Let p = -78 + -166. Let q = p + 331. Does 17 divide q?
False
Suppose 28*x - 9*x - 15422 = 135400. Is x a multiple of 18?
True
Suppose 8 = 10*z - 12. Suppose z*k + 20 = -4. Does 21 divide 9/(-54) + (-590)/k?
False
Suppose c = -4*t + 7856 + 10642, -9226 = -2*t + 11*c. Is t even?
True
Let t = -2301 - -7248. Is 43 a factor of t?
False
Let b = -3908 + 5798. Is 35 a factor of b?
True
Let i(t) = t + 35. Let r be i(-39). Is (3 + 30/r)/((-1)/38) a multiple of 9?
True
Let v(f) = 3*f**2 + f - 6. Let m = 50 - 46. Is v(m) a multiple of 40?
False
Suppose -2*u - 77524 = -3*g, -4*g + 32824 = 3*u - 70530. Is g a multiple of 68?
True
Let n be (-3)/((-9)/(-12)) - 8. Let p(g) = -g**3 - 12*g**2 - 11*g - 4. Is p(n) a multiple of 4?
True
Suppose -101 = -4*c + 55. Suppose 0 = -c*m + 34*m + 815. Suppose -57 - m = -i. Is i a multiple of 44?
True
Let n(k) = -40 + 88*k + 8*k - 23*k. Is n(1) even?
False
Suppose 3 = -2*y + 1, -2*i - 10 = 4*y. Is 160 + 10 - (0 + i/1) a multiple of 28?
False
Let c = 0 - 39. Let j = c + 44. Suppose -48 - 117 = -j*r. Is 11 a factor of r?
True
Suppose 0 = -4*f - 4*k + 9556 + 5692, -8*k = f - 3840. Is f a multiple of 34?
True
Let j = 73 - 78. Is 11 a factor of j/(-10)*-2 - (-271 + -1)?
False
Does 82 divide (1 - 427/21)*(-5 + (-236)/2)?
True
Suppose -37*m + 22000 - 2797 = 0. Is 3 a factor of m?
True
Let c be (-56)/(-42)*(0 + 15/2). Let q(d) = -6*d + 9*d + 31 - 10 + 14. Does 13 divide q(c)?
True
Let c be 4 - (-5)/(0 + 5). Suppose -d + 138 = c*m - 119, -3*d + 691 = -m. Is d a multiple of 40?
False
Let q be (-2 + 1 + 3)*22. Suppose -q = 3*i + 31. Let w = -1 - i. Does 12 divide w?
True
Suppose -34*q + 36*q - 6742 = -2*k, -4*q = 3*k - 10117. Does 13 divide k?
True
Let u(j) = -j**3 + 2*j**2 + j - 11. Let n be u(-5). Let q = n + -83. Is q a multiple of 4?
True
Suppose 5*s + 0*s = 25, 0 = -l + 5*s + 102. Let t = 83 + l. Is t a multiple of 30?
True
Let n = -240 - -858. Let j = -420 + n. Is 33 a factor of j?
True
Let d = -3 + 2. Let r(k) = 2*k**3 + 11*k**2 - 9*k - 9. Let l be r(-6). Does 31 divide ((-1)/d*(-58 + l))/(-1)?
False
Let z(d) = 5*d - 29. Let a be z(6). Let q be (a - 16/12) + 1802/6. Suppose 8*p - q = -2*p. Does 30 divide p?
True
Suppose 12 = 2*n - 2*h - 2, -2*n = -h - 12. Suppose 3*o = 5*l - 8, n = -o + 3*l - 3. Suppose 0*g - o*g - 5*y = -720, 0 = 4*y - 16. Does 35 divide g?
True
Let c = -815 + 4385. Is 11 a factor of c?
False
Let p = 121 + -9. Let k = p + -83. Is 29 a factor of k?
True
Suppose 4*a = 2*q - 8352, 4*q + 5*a - 17891 = -1122. Does 9 divide q?
False
Suppose 2*z + 61 = -5*g + 2100, -1026 = -z + 4*g. Suppose 2*q - z = 2*j, -j + 2*j + 1 = 0. Does 26 divide q?
False
Suppose 2*i = -2*b + 8, -i + 0*i = -b + 2. Suppose -66 + 3 = -a - b*w, 2*a + 5*w - 125 = 0. Does 20 divide a?
True
Suppose -5*f + 5*i = 2160, -2*f + 4*i = -5*f - 1268. Let o = 509 - f. Does 50 divide o?
False
Let c(v) = -3*v + 630. Is c(-90) a multiple of 20?
True
Let p be 1/(((-1)/4)/(-1)). Let o be -3 + (4 - (-20)/p). Suppose 5*v - 520 = o*b - 4*b, 490 = 5*v + 4*b. Is 22 a factor of v?
False
Let i(l) = 48*l + 5. Let t(o) = 16*o + 2. Let y(d) = 6*i(d) - 17*t(d). Let s(r) = r. Let a(w) = -20*s(w) + y(w). Is 2 a factor of a(-3)?
True
Let a(z) = -3*z**3 - z**2 + 2*z + 2. Let b be a(-1). Suppose 0 = -5*s - b*c + 1118, 4*s - 3*s - c = 218. Is 74 a factor of s?
True
Let b = 10305 - 6292. Does 46 divide b?
False
Let k(z) = z + 45. Let m be k(11). Does 6 divide ((-32)/m)/(6/(-3759) + 0)?
False
Suppose 0 = -q + 6 - 3. Suppose -44 = -v - 6*m + 3*m, -q*v = 5*m - 128. Let j = v - -51. Is j a multiple of 12?
False
Let h = 49 - -14. Let k be 4/10 + 6/10*-39. Let s = h + k. Is s a multiple of 8?
True
Suppose -3*a - 12 = 0, 4 = 2*c - 4*c - 2*a. Suppose -2*y = c, y = -4*q - q + 9. Suppose -3*z = q*d - 234, -d = 3*z - z - 118. Is d a multiple of 17?
False
Suppose 2*t = 9*t - 84. Is (1914/(-99))/((-2)/t) a multiple of 58?
True
Suppose 2*a - 10 = -2. Suppose 0 = 4*u + 2*x + 36, -2*x - 34 = a*u - x. Let q(b) = -4*b + 5. Does 5 divide q(u)?
False
Suppose -3*a = -3*m + 7*m - 41788, -2*m = -3*a + 41818. Does 10 divide a?
False
Let d = 76988 - 51517. Is d a multiple of 54?
False
Let p(l) = -562*l**3 - 6*l**2 - 20*l - 26. Is p(-2) a multiple of 19?
False
Let r(k) = 4*k**2 + 2*k - 2. Let a be r(3). Is 30 a factor of ((-16)/a)/(10316/2580 + -4)?
False
Suppose -17*l - 104 + 3419 = 0. Suppose 2*g = 2*d - 7 + 85, 3*d - l = -5*g. Is 29 a factor of g?
False
Suppose 0 = 4*u + 4*r - 123428, 5*u + 200*r - 201*r - 154243 = 0. Does 16 divide u?
False
Let k = 1915 + -1318. Suppose -2*t + 4*z = z - 1209, -k = -t - z. Is 15 a factor of t?
True
Suppose 5*b + 4283 = 40683. Is 10 a factor of b?
True
Let z(m) be the first derivative of -13*m**2/2 + 7*m - 32. Let k be z(-7). Suppose 0 = -4*g + 266 + k. Is g a multiple of 8?
False
Let k(o) = o**3 + 6*o**2 + 3*o - 3. Let r be k(-5). Suppose -r*s - 4*s = 2068. Let q = 303 + s. Is 21 a factor of q?
False
Suppose 0 = 5*d + 15 - 5, -4*a + 2*d = -24. Suppose a*g = 5*s - 155 + 575, 5*s + 25 = 0. Is g a multiple of 11?
False
Suppose 140*t - 136*t = 3312. Suppose -5*x - t = -3*c, -3*c + 828 = 11*x - 7*x. Is 9 a factor of c?
False
Suppose -4*d - 28 = -2*c, 8 - 30 = -3*c + 2*d. Let g be 6/(-21) + 37/7. Suppose c*y - g*y = -184. Is 34 a factor of y?
False
Let z(g) = 4*g**2 + 38*g + 4. Let r be z(-7). Is (-220)/r*5/(50/144) a multiple of 28?
False
Let u(m) = m**2 - 2*m + 8. Let p be u(6). Suppose -45*j - 216 = -49*j. Let c = j - p. Does 11 divide c?
True
Suppose 0 = -6*o - 185 - 361. Does 21 divide (o/(-14) - 6) + (-501)/(-6)?
True
Suppose 123*q = 214*q - 334152. Is q a multiple of 