 s(u) = 270*u**2 - 92*u + 330. Is 97 a factor of s(5)?
False
Let b(a) = -7*a - 11. Let q(c) = 8*c + 12. Let j(x) = -4*b(x) - 5*q(x). Let k be (-18 + 2)/((-88)/(-44)). Does 10 divide j(k)?
True
Is (-176)/(12 + -1) + 2597 a multiple of 34?
False
Suppose -6*g + 2*i = 6*i - 42892, -21441 = -3*g - 3*i. Is g a multiple of 4?
True
Suppose 3*l = 404 - 65. Let w = 135 + -58. Let n = l - w. Is n a multiple of 18?
True
Suppose 0 = -3*a + 2*s + 12433, 3489 = a + 3*s - 670. Does 143 divide a?
True
Suppose -l + 5 = 0, 3*l + 80 = d - 149. Is 4 a factor of d?
True
Let z(h) = -2*h**2 + 43*h - 9. Let c be z(21). Suppose -38 = -10*i + c. Suppose -17 + i = -2*k - 5*y, 4*y - 48 = -4*k. Is 8 a factor of k?
True
Suppose 303*o - 295*o - 4512 = 0. Does 3 divide o?
True
Suppose 25 = 5*p - p - r, 4*p - 3*r - 35 = 0. Suppose -p*b - 4*k + 457 = -k, b = -5*k + 109. Suppose -45 = -h + 5*g, -3*h + g + b = -88. Is 12 a factor of h?
True
Let a(z) = z**2 - 24*z + 39. Let w be a(22). Is 10 a factor of ((-2)/(-6))/(w - (-9155)/1830)?
False
Suppose -68077 = -207*f + 15516 + 243674. Does 51 divide f?
True
Does 49 divide (-912)/760*(-26270)/4?
False
Let j(q) = -q**3 + 31*q**2 + 639*q + 77. Is j(44) a multiple of 55?
True
Suppose -331*q = -325*q - 1248. Let x = q - 146. Does 14 divide x?
False
Let a = 54 - 52. Suppose 0 = 5*p + 4*h - 1404, a*p + 3*h - 5 - 558 = 0. Let o = -25 + p. Is o a multiple of 51?
True
Let x(g) be the second derivative of 81*g**4/4 + 2*g**3 + 15*g**2 + 206*g. Is x(-2) a multiple of 15?
False
Suppose 39*j - 33*j + 8490 = 0. Let h = -887 - j. Does 44 divide h?
True
Let c be ((-2)/1*24)/1. Does 58 divide 7/((-28)/c)*(-29)/(-2)?
True
Let l = 4277 + 214. Does 15 divide l?
False
Suppose -135 = -5*n - 865. Let i = 11 - n. Let s = i + -87. Is 10 a factor of s?
True
Let q be 0*(-2)/(-6 - -8). Suppose 3*c - 1131 - 213 = q. Is 56 a factor of c?
True
Suppose 0 = 5*k - 12*k - 4*k. Is 27 a factor of k*(-1 + 0) + -3 + 462?
True
Let y(w) = 187*w**2 - 16*w + 492. Does 168 divide y(10)?
False
Suppose 5910 = 57*v - 54966. Is 4 a factor of v?
True
Let u be 10 + -12 + (1 - 1 - -1). Let c(q) = 4*q**2 - 2*q - 2. Let m be c(u). Suppose 0 = -w - m*w + 435. Is w a multiple of 13?
False
Let b(c) = 35*c**2 + 3*c**3 + 4*c - 11*c**2 - 20*c**2 - 12. Does 2 divide b(3)?
False
Let a = 45 + -42. Suppose 529 = 3*m + 4*w, -m + 141 = a*w - 42. Suppose 2*k - 135 = 5*d, 7*d - m = -3*k + 4*d. Does 8 divide k?
False
Let p(n) = -13*n**3 - 5*n**2 - 8*n - 6. Let s be p(-2). Let b = s + -91. Suppose -m + b*u - 3 = -13, -m + u = -16. Is m a multiple of 4?
False
Is 7 a factor of 1*-6 + (68 - 66)/(4/39702)?
True
Let b be -1 - -3 - (-5)/((-25)/(-55)). Suppose 3*i - 2*o - 5 = -2*i, 0 = -i - 2*o + b. Suppose i*u = -2*c + 3*c + 81, -108 = -4*u + 4*c. Is u a multiple of 13?
False
Suppose 5*f - 3*p - 7 = 35, 12 = -3*p. Let h be (-3)/(-2)*(-8)/f. Let b(v) = -29*v - 11. Is b(h) a multiple of 26?
False
Suppose 0 = 14*p - 2163 + 553. Suppose 2*c + 5*m - 85 = 0, -m - p = -c - c. Is c even?
False
Suppose -5*o + 24786 = r, -52452 = -5*r + o + 71478. Does 9 divide r?
True
Let k(d) = 16*d**2 - 28*d + 6. Let q(x) = 34*x**2 - 57*x + 11. Let o(c) = 9*k(c) - 4*q(c). Does 44 divide o(6)?
False
Suppose -4*j - 2*q + 54463 - 9091 = 0, 2*q - 22684 = -2*j. Is 8 a factor of j?
True
Does 36 divide ((-2042)/2)/(98/(-392))?
False
Let r be 1/((-1)/6*(-3)/2). Suppose -2*f - r + 2 = 0. Does 7 divide (0 + f)/(1*(-1)/34)?
False
Let m(i) = 15*i + 294. Let w be m(-14). Is 62 a factor of 12/(-126) - (-26048)/w?
True
Let x be 6 - (3 + -6) - 4. Suppose x*b + 9 = -6, -205 = -t - 4*b. Is t a multiple of 23?
False
Suppose 0 = 2*s - 0*d - 2*d - 220, 20 = 4*d. Let w = s - 161. Let k = 78 + w. Does 6 divide k?
False
Let q = 390 - 387. Suppose -3*l = q*u - 1713, -10*l + 12*l + 10 = 0. Does 16 divide u?
True
Let k = 289 - 174. Suppose j + 3*m = k, 3*j - 2*m + 53 = 387. Does 65 divide j?
False
Is 26 a factor of (-10)/12 - 5160/360*(-502)/4?
False
Let t = 3333 + -1209. Does 5 divide t?
False
Suppose o + 2580 = 4*c + 2*o, -2*c = -o - 1284. Does 39 divide (5/(-7) + -1)/((-8)/c)?
False
Let s(w) = w**3 + 2*w**2 + 3*w + 4. Suppose -11 - 1 = 3*l. Let j be (-6)/l - (-105)/42. Is s(j) a multiple of 28?
True
Let l be (0 + 3)*2*5/(-6). Does 5 divide l - (-6 + 96)/(-6)?
True
Is 50 a factor of 10800/9 + 18/(-3) - -6?
True
Let q(a) = a**2 - 9*a + 15. Let t be q(2). Suppose g - t + 1 = 0. Suppose 0 = -5*j + h + 673, g*j - 2*h = -5*j + 671. Is 23 a factor of j?
False
Let o be 6*3 - (-1 + (-3)/(-1)). Let g(p) = -p**2 + 18*p - 32. Let z be g(o). Suppose z*f = -4*f + 488. Does 13 divide f?
False
Let x = 2550 - 913. Does 6 divide x?
False
Suppose 2*c + 682 - 1742 = 0. Suppose 0*l + 5*l = 2*k + 545, 5*l - c = 5*k. Is 25 a factor of l?
False
Let j(h) = -h**3 - 68*h**2 + 619*h - 185. Is j(-79) a multiple of 27?
False
Let o(n) = n**3 + 7*n**2 - 7*n + 10. Suppose y - 3*y = z, -2*z + y = 20. Let i be o(z). Suppose i*c - 94 + 20 = 0. Does 3 divide c?
False
Let d(f) = 2*f**2 - 8. Let m = 54 + -57. Let n be d(m). Does 10 divide 808/n + (-24)/(-20) + -2?
True
Suppose 0 = 4*w + 5*n - 1276 - 11618, 5*w - 16116 = -7*n. Does 74 divide w?
False
Let y = 23359 + -13609. Is 13 a factor of y?
True
Suppose -3*o + 6 + 0 = 0. Let q = -3144 - -3155. Suppose o*j + q = 27. Does 4 divide j?
True
Let r be (-15)/(-55) + 146/(-11). Let y(g) = g**3 + 18*g**2 - 14*g + 41. Is y(r) a multiple of 12?
True
Let m(n) = -n**2 + 11*n + 13. Let b be 3 + (-1 + -1 - 2). Let j be ((0 + 44)/(-4))/b. Is 2 a factor of m(j)?
False
Let v be 4 - ((-7)/(14/20) - -4). Suppose v*n = 1762 + 1818. Does 19 divide n?
False
Let v = -35 + 8. Let q be 2 + -4 + 5 + 3. Is 28 a factor of q/v + 1912/18?
False
Let q = 24297 - 19269. Does 4 divide q?
True
Is (-121)/(2 - -9) - -4584 a multiple of 5?
False
Let t(u) be the third derivative of u**5/12 + u**4/12 + 16*u**3/3 + 69*u**2. Does 54 divide t(9)?
False
Suppose v = 2*p - 26, -11*p + 8*p = -2*v - 39. Let u(j) = j**2 + 2*j - 7. Let m be u(p). Let y = -29 + m. Does 53 divide y?
True
Let l = -5185 + 10338. Is l a multiple of 26?
False
Let s = 4139 + 8611. Does 64 divide s?
False
Suppose -10*k + 518 = 778. Suppose 0 = 2*g - 77 - 103. Let s = g + k. Is s a multiple of 8?
True
Let b = -23 - -23. Suppose b = -4*n + 9*n + 40. Does 31 divide ((-94)/n + -4)*8?
True
Suppose 3*u - 1899 = 3*c, -5*c = 8*u - 10*u + 1281. Does 2 divide u?
True
Suppose -9*h + 12*h - 60 = 0. Suppose 2*v = -3*v - h. Is 9 a factor of (-77 + -5)*2/v?
False
Let o(p) be the first derivative of 33*p**4/4 - p**3/3 + 2*p**2 - 6*p - 105. Does 14 divide o(2)?
False
Let p(v) = -20*v - 115. Let l be p(-6). Suppose l*o = 832 + 1143. Is 16 a factor of o?
False
Suppose -25*h + 14*h = 0. Suppose -4*s + 4*c + 1800 = 0, c + c = h. Is s a multiple of 9?
True
Let w be (-81)/(-18) + (-2)/(-4). Let c be (15/12)/(w/4 + -1). Let p(k) = 2*k**3 - 5*k**2 - 9*k + 4. Is p(c) a multiple of 14?
True
Suppose -79*o + 247276 = -217007. Is 86 a factor of o?
False
Suppose 4*i = i + 15. Suppose -i*u - 74 = -314. Does 6 divide u?
True
Let j = 116 - -17. Let z = -201 + j. Let c = 200 + z. Is c a multiple of 22?
True
Suppose -96*b = -98*b - 5*w + 640, -5*b + 1579 = 2*w. Is 63 a factor of b?
True
Suppose 3*c + 46 = 52. Let v be 3*(-2)/3 + c. Is 25 a factor of (-36 - -6)/((-6)/20 - v)?
True
Let b(g) = 2*g**3 + 42*g**2 - 22*g + 26. Let n be b(-21). Let s = -203 + n. Is 19 a factor of s?
True
Let r(j) = -80*j + 3. Let w be r(2). Let x = 60 + w. Let h = 115 + x. Does 6 divide h?
True
Let d = 15 - 21. Let c be (-1 - (-2 + 0))*-2 + -5773. Does 31 divide ((-8)/d)/(7*(-10)/c)?
False
Let l(k) = 2*k**2 - 28*k + 20. Let s(a) be the first derivative of -2*a**3/3 + 27*a**2/2 - 20*a - 25. Let i(r) = -4*l(r) - 5*s(r). Does 17 divide i(15)?
False
Let l(q) = -12*q - 32. Let j be l(-3). Suppose 2*z - 686 = -4*s + 44, 0 = 3*z - j*s - 1095. Is z a multiple of 12?
False
Let v(h) = 15*h**3 + 12*h**2 - 106*h + 49. Does 7 divide v(7)?
True
Let z be ((-14)/(-12))/7 - 1/6. Suppose z = -y - 5*f + 569, 4*y = 2*y + f + 1182. Is 19 a factor of y?
True
Suppose 3*v + 5*i - 8754 = 2*i, -5*v = -4*i - 14608. Suppose -42*n = 31*n - v. Does 5 divide n?
True
Let b = -2047 + 3433. Does 9 divide b?
True
Let c(i) = i**3 + 6*i**2 - 5*i + 4. Let n be c(-7). Is (-5)/3*-3 + (8 - n) a multiple of 5?
F