?
True
Suppose 8*l - 6 - 2 = 0. Let k be (15 - 19) + 842*l. Suppose -18*d + k = -1322. Does 12 divide d?
True
Let h = -2417 + 3447. Let p = h - 696. Does 10 divide p?
False
Let w(n) = n**2 - 29*n - 732. Does 46 divide w(-51)?
False
Let y(a) = 6*a + 14. Let s be y(-2). Suppose s = v, 8*j - 6*j - 412 = 4*v. Is 15 a factor of j?
True
Is ((-103092)/8 - (-24)/16)*(-24)/9 a multiple of 297?
False
Is 26 a factor of ((-26)/104)/(2/4) - 14043/(-2)?
False
Let u(x) = 366*x - 177*x - 182*x + 94. Is 4 a factor of u(6)?
True
Let b(v) = 5*v**3 - v**2 - 8*v - 6. Let k be b(3). Is 40 a factor of (5 + -4 - -6) + k?
False
Let o(t) = -8*t**3 + 2*t**2 + t - 1. Let x(y) = -y**3 + y**2 + y - 1. Let l(s) = o(s) - 3*x(s). Is l(-4) a multiple of 9?
False
Let w(i) be the third derivative of 0*i - 19/6*i**3 + 0 + 13/24*i**4 - 4*i**2. Is w(4) a multiple of 11?
True
Let h be -1504 - ((-6)/(-9))/((-5)/30). Let j be (h/4)/(-5)*5. Suppose 5*z - 3*n = j, z - n - 293 = -3*z. Does 12 divide z?
True
Let m = 2622 + -1890. Is 10 a factor of m?
False
Let z(r) = -3476*r - 46. Is 28 a factor of z(-2)?
False
Let y be 1 - (-4)/(-2)*(-27)/18. Suppose -93 + 557 = y*o. Suppose -88 = -o*i + 114*i. Is i a multiple of 11?
True
Suppose 5*d = 0, -4 = -4*c - 2*d + 20. Let m be c*(-4)/(-10)*5. Let p(l) = 11*l - 38. Is 15 a factor of p(m)?
False
Let c(f) = 2*f**2 - 3*f - 12. Suppose 4*q = -3*o - 6 + 37, -q = -4*o + 16. Suppose 4*d = -o*w + 12 + 23, 5*w - 15 = 0. Is 19 a factor of c(d)?
False
Suppose 219*w - 598967 - 2535741 + 350342 = 0. Is 78 a factor of w?
True
Suppose -f - 5*r = 2*f - 865, 2*f - 535 = 5*r. Suppose 71*d = 78*d + 1141. Let s = d + f. Is s a multiple of 11?
False
Let c = 5973 - 2817. Does 206 divide c?
False
Let s be -1 - (104/(-2))/4. Let b be (-66)/(-14) + 1/(42/s). Suppose -b*p = -5 - 70. Does 3 divide p?
True
Does 8 divide 226300/100 + (2 - 3)*-9?
True
Suppose 2*b = 4*y + 40, -82 = -33*b + 28*b + y. Is b a multiple of 8?
True
Suppose -3*k = 0, -9*d + 873 = -4*d - 2*d - k. Does 97 divide d?
True
Suppose 2403 = 3*t - 4*p, 3*t + 4*p - 2153 = 226. Suppose 4 = c + 2. Suppose -3*w + c*x = -t, -7*x + 526 = 2*w - 3*x. Is 23 a factor of w?
False
Suppose -12*w - 5 = -29. Suppose w*k = -16*k + 828. Is 11 a factor of k?
False
Let y(g) = -8*g**3 + 0*g - g - g**2 + 0*g**2 - 5. Let v be -9 - 7*(-3 + 2). Does 23 divide y(v)?
False
Suppose -6*o + 13689 + 4275 = 0. Suppose -4*f = 2*v - o, 0 = v - 0 + 3. Is f a multiple of 30?
True
Let h be 19*(31 - 2) - 3. Suppose -252 = -8*a + h. Is 20 a factor of a - 1/((-2)/(-2))?
False
Let f be 8/1 + (-174)/29. Let l(i) = 299*i**2 + 6*i - 9. Does 78 divide l(f)?
False
Let k(b) = 16*b**3 + 7*b**2 + 20*b + 13. Is k(5) a multiple of 52?
True
Suppose -8 = -u + 5*z, z - 14 = -2*u - 3*u. Suppose 246 = 2*n + 5*b - 39, -2*b = u*n - 400. Is 26 a factor of n?
True
Let h be -5 + 3 - (0/3 + -4). Suppose q + 1 = 0, 3*c + 267 - 1558 = -h*q. Is c a multiple of 14?
False
Let d(u) = 2*u**2 - 2*u - 25. Let m be d(-3). Is 2 a factor of (-6)/(14/49*m)?
False
Let p(d) = -d**2 + 10*d - 6. Let t be p(13). Let m = -98 - t. Let o = m + 107. Is o a multiple of 6?
True
Let d = 121 - 118. Let z(g) = -3*g + 18. Is 3 a factor of z(d)?
True
Let g(o) = 4*o**2 - 61*o + 299. Does 21 divide g(23)?
False
Is (79 + -61900)*((-2)/(-7) + 13/(-21)) a multiple of 7?
False
Is 80 a factor of (8/8)/(1*(-5)/10) + 12413?
False
Let q(v) = -v**3 - 7*v**2 + 15*v - 19. Let h be q(-9). Suppose -h*n + 27*n - 1235 = 0. Is 13 a factor of n?
True
Suppose -2*d + d - 2*z = 4, 3*d + 4*z + 8 = 0. Suppose -5*m - 4*s + 90 = s, d = s - 3. Does 15 divide m?
True
Suppose -16 = -4*d - 2*u + 10, 2*u - 31 = -5*d. Let r = -577 - -582. Suppose -2*y = y - r*l - 135, -3*l = -d*y + 241. Is 7 a factor of y?
False
Suppose a - x - 144 = -4*x, -2*a + 288 = 2*x. Let b = a - 200. Let n = 112 + b. Is n a multiple of 26?
False
Let m(z) = -24*z**2 + 3692*z - 42. Does 18 divide m(150)?
False
Suppose 2*q = 4*n + 13 + 5, 4*n + 4*q + 36 = 0. Does 9 divide (n + (-17)/(-3))*-669?
False
Let v(g) be the first derivative of 2*g**3/3 + 10*g**2 + 51*g - 41. Is v(-6) a multiple of 2?
False
Suppose -3*o + 104 = -37. Suppose -2*c = -6*c + 132. Let g = o - c. Is g a multiple of 12?
False
Let r(t) = -414*t + 141. Let c be r(-7). Suppose -12417 = -23*f + c. Is f a multiple of 55?
False
Let k = 82 + -80. Let d(n) = n**2 - n. Let b be d(k). Suppose -b*x + 0 = -c - 13, 2*x + c - 23 = 0. Is x a multiple of 6?
False
Let l = 38 - 48. Let r(n) = -98*n - 1. Let c be r(l). Suppose 11*g = c + 517. Is g a multiple of 10?
False
Let d(x) = 23*x - 29. Let p be d(11). Let z = 421 - p. Is z a multiple of 32?
False
Let j = -44 - -44. Suppose d = -3*s + 569, -8 = -4*d - j*d. Is 7 a factor of s?
True
Let c = -5 - 9. Let p(y) = 3*y + 47. Let h be p(c). Suppose -i + 101 = 2*o, 4*i - o = -h*o + 392. Does 19 divide i?
True
Suppose -25*u + 4 = -23*u. Suppose -5*f + 192 = -f - u*k, -k = 3*f - 134. Is 8 a factor of f?
False
Let m = 52 - 47. Suppose 5 = 3*o - 4*o + m*a, 2 = 4*o + 2*a. Let r(p) = -2*p**3 + p**2 + p + 28. Does 7 divide r(o)?
True
Suppose 6*a = -8*a. Suppose -765 = -5*b - w + 2*w, -4*w = a. Is 17 a factor of b?
True
Let s be (-153 - 0/(-4))/(0 - 1). Suppose -35*l + s = -26*l. Does 2 divide l?
False
Let d(n) = 13*n**2 - 13*n - 19. Let t be d(-7). Let h = t - 1975. Is 18 a factor of h/(-15) - ((-18)/(-15))/3?
False
Is 108 a factor of 1140/(-266)*1436/(-3) - (-4)/7?
True
Suppose 3138554 + 963061 = 265*l - 2461375. Is l a multiple of 203?
True
Let p(t) = -8*t**3 - 52*t**2 - 307*t - 73. Is 13 a factor of p(-6)?
True
Let c be -2 + 4/2 - (5 + 388). Let s = c + 632. Does 20 divide s?
False
Does 24 divide 462*(12/(-8))/(((-9)/(-3))/(-24))?
True
Let w(s) = 2*s + 23. Let q be w(-15). Let y = q + 6. Is 26 a factor of ((-14)/(-28))/(y/(-204))?
False
Suppose -97*v + 1038180 = 145*v. Does 27 divide v?
False
Suppose -3*b - 26 = -35. Suppose 5*z = c - 277, b*c - 5*z - 1472 = -601. Let s = c - 113. Is s a multiple of 9?
False
Suppose 0 = -4*m + m - 39. Let s = -13 - m. Suppose 3*l + s*x - 58 = -5*x, -4*x = 16. Is l a multiple of 21?
False
Suppose 12*b + 68 = 8*b. Let q be (b - -16)*(0 + 1). Is 19 a factor of -1 + 75 - 3*(-2 - q)?
False
Let c = 5 + -9. Let a(f) = -f**2 - 5*f - 10. Let z be a(c). Does 11 divide ((-792)/(-27))/((-2)/z)?
True
Let j be -2 - (-309 - (-2 + 6)). Suppose 0 = -4*h - 5*d + 1120, -d = 2*h - 249 - j. Is 56 a factor of h?
True
Let y be ((-3564)/(-171))/11 + (-2)/(-19). Suppose y*u + 1078 = 3*f, -4*f + 3*u = -f - 1077. Is 92 a factor of f?
False
Let c(i) = -6*i**2 + 8*i + 21. Let n(h) = 7*h**2 - 9*h - 20. Let o(f) = -4*c(f) - 3*n(f). Is o(-7) a multiple of 70?
False
Let n(q) = 779*q**3 - 67*q**2 + 145*q + 4. Is 128 a factor of n(2)?
False
Let i(g) = g**3 + 19*g**2 - 23*g + 8. Let y be i(-20). Let x = 68 - y. Is 6 - x - 4*-1 a multiple of 10?
True
Let o(x) be the second derivative of -2*x**5/5 + x**4/4 + x**3/2 + 5*x. Let i = -49 - -47. Is o(i) a multiple of 13?
False
Let i(a) = 6*a + 37. Let s be i(-24). Let v = s - -218. Suppose -4*t + 45 = f - 78, -3*t + 3*f + v = 0. Is 8 a factor of t?
True
Suppose -5*s - m - m = -264, 123 = 2*s - 5*m. Suppose 0 = 41*d - s*d + 897. Is d a multiple of 9?
False
Suppose 25*c - 932 = 23*c - 2*s, 4*s = 4*c - 1872. Let k = 22 + c. Is k a multiple of 5?
False
Let s(u) = u**3 - 6*u**2 + 10*u - 3. Let n be s(5). Suppose 4*j - 6 + n = 0. Is 12 a factor of (-3)/(-1) - -58 - j/(-4)?
True
Let k(i) = i**2 - i + 1075. Let u be k(0). Suppose -v - 1 = -0, 3*w = -5*v + u. Does 6 divide w?
True
Let u = -5390 + 11469. Is 10 a factor of u?
False
Let j = 14354 + -3746. Is j a multiple of 68?
True
Let v = 238 - 162. Suppose 760 = -66*r + v*r. Is r a multiple of 76?
True
Let s be 0/(13 + -6)*3/(-12). Suppose -37*w + 25*w + 6108 = s. Is w a multiple of 46?
False
Let b(j) = j**3 - 8*j**2 + 2*j - 12. Let a be b(8). Suppose 3*u + 15 = -4*o + a, u - 5*o - 28 = 0. Is 18 a factor of 1/(u/102) - -2?
True
Let v(s) = s**3 - 34*s**2 + 49*s - 132. Is v(36) a multiple of 192?
True
Does 130 divide (-1126*(-8 - -10))/(14/(-21))?
False
Let u = 226 - -132. Suppose -13 + u = 15*p. Is p a multiple of 4?
False
Suppose -20*w - 400 = -24*w. Suppose 26*p = 23*p - 3, -4*p = 2*q - w. Does 26 divide q?
True
Let h be ((-6)/15 + 10/25)*-1. Suppose h = 3*w + 6 - 36. Suppose t 