*2 + 32*z - 18. Does 53 divide f(16)?
False
Let o = 89 + -60. Does 10 divide (-27)/18 + (o/2 - -1)?
False
Let z(o) = -o**3 - 21*o**2 - 5*o + 52. Let a be z(-20). Let k = a - -1172. Is k a multiple of 21?
True
Suppose b = -c - 2*b + 70, -c - b + 66 = 0. Suppose -4*x + 176 = -c. Is 4 a factor of 2/12 + 230/x?
True
Suppose 0 = -124*t + 127*t + 2*o - 98696, 5*o = -10. Does 35 divide t?
True
Is (1 + 42/12)/((-7893)/1974 - -4) a multiple of 53?
False
Suppose 421*k - 750*k + 7214970 = 0. Is k a multiple of 19?
False
Let t = 12877 + -6119. Is 109 a factor of t?
True
Let r = 961 - 555. Suppose -12*l + r = -5*l. Suppose 0 = -2*a - 34 + l. Is 9 a factor of a?
False
Suppose -4*s = -3*o - 46601, 43*s - 23299 = 41*s + o. Does 26 divide s?
True
Let j(w) = -184*w - w**2 - 186*w + 12 - 183*w + 540*w. Is 6 a factor of j(-10)?
True
Suppose 13*n - 18*n = 0. Suppose 0*q - q + 5*q = n. Does 12 divide 2 - 4 - (-75 + q/1)?
False
Does 12 divide -4 + (-116)/(-28) - 75875/(-35)?
False
Suppose -2*y - 1178 + 8200 = 5*u, 0 = -y - 2*u + 3511. Is y a multiple of 21?
False
Suppose -2*q + 4*r = -76, 4*r = 2*q + 3*r - 67. Suppose -29*k - 444 = -q*k. Suppose -5*b + 3*f = -k, b - 4*b = -f - 88. Is 4 a factor of b?
False
Suppose 0 = 16*i - 7*i - 63. Suppose -x = -12 + i, 3*x = -h + 99. Is h a multiple of 10?
False
Let o be ((-8)/6)/(42/(-189)). Let x(d) = 39*d - 78. Is x(o) a multiple of 26?
True
Suppose 4*m + 8*a - 24048 = 10*a, 0 = -2*m + 3*a + 12016. Is 80 a factor of m?
False
Suppose -11*o = -21*o + 70. Suppose 0*d + 105 = o*d. Is d a multiple of 2?
False
Let l(r) = -4*r**2 + 319*r - 19. Does 241 divide l(54)?
True
Let c be -10*(4338/(-10) - (-7 - -2)). Suppose 386*j = 382*j + c. Is j a multiple of 16?
True
Suppose -43*v + 434173 + 15693 = 0. Is v a multiple of 8?
False
Suppose 0 = -h + 4 + 11. Let n(b) = b**3 - 15*b**2 + b - 10. Let w be n(h). Suppose -y - w*l = -47, 2*y - y + l = 27. Is y a multiple of 11?
True
Let l(t) = 525*t**2 - 953*t + 18. Is 264 a factor of l(6)?
True
Let w(g) = 45*g**2 + 33*g + 378. Is w(16) a multiple of 57?
True
Let g(j) = 5*j**3 - 2*j**2 + 6*j - 5. Let m(t) = t - 5. Let a be m(9). Let b be g(a). Suppose -5*z - r = -b, -3*z + 189 - 14 = -4*r. Does 18 divide z?
False
Suppose 669*t - 590*t - 452907 = 0. Does 39 divide t?
True
Suppose -5*d = -5, -28*t + 3*d = -23*t - 2912. Suppose u + 110 = t. Does 57 divide u?
False
Let r = 18070 - 16562. Is 26 a factor of r?
True
Let k(u) = -10*u**2 - 9*u - 19. Let g(f) be the first derivative of f**2/2 - 13. Let m(z) = -3*g(z) - k(z). Is m(-4) a multiple of 17?
False
Let l(p) = 21627*p**2 - 199*p + 204. Is l(1) a multiple of 208?
True
Suppose -5*f + 22335 = 4*s, -f = 5*s - 0*f - 27903. Is 45 a factor of s?
True
Suppose -183*f + 185*f = 4*q + 34460, 0 = f + 3*q - 17230. Is 10 a factor of f?
True
Is 38 a factor of ((-192)/(-30))/((-6)/(-1095))?
False
Let w = 10711 + -7405. Is w a multiple of 12?
False
Let b = -452 + 454. Suppose -q + 5*z + 521 = -975, 5*z = -b*q + 3037. Is 39 a factor of q?
False
Suppose 5*d - 1962 = -14*m + 16*m, -2*d - m = -783. Is 7 a factor of d?
True
Let u(l) = 2473*l**2 + 842*l - 3366. Does 16 divide u(4)?
False
Suppose 5*v = 4 - 14. Is 269 - -5*(v - -1) a multiple of 22?
True
Let b = 15 + -9. Let n(r) = -18*r + 42 + r**2 + 3*r**2 - 36. Is n(b) a multiple of 7?
True
Is 7 a factor of (39/5)/(1893/2227430)?
False
Let b(t) be the first derivative of -10*t**3/3 - 3*t**2 - 2*t - 3. Let q be b(-4). Does 27 divide 3/3 - 4*1 - q?
True
Let b be 2/(-9) + (28/(-36) - -5). Suppose -b*q + 8352 = 5*q. Is 58 a factor of q?
True
Let z(s) = 5*s + 25. Let u(n) = 21*n + 101. Let x(f) = -6*u(f) + 26*z(f). Let b be x(0). Is b - (2 - (-2 + 3)) a multiple of 22?
False
Let s be -3*(-7)/((-28)/(-8)). Let n(k) = 11*k + 24. Let l be n(s). Suppose f = -f + l. Does 15 divide f?
True
Suppose 0 = 3*w - 3*i - 3 - 0, -w + 11 = 4*i. Suppose w*o - 6*o = -279. Is o a multiple of 31?
True
Let r = -1413 + 1739. Is r a multiple of 9?
False
Let c = 10163 + 28954. Does 13 divide c?
True
Is (((-75)/(-10))/5 + 198)*(61 - 1) a multiple of 35?
True
Let h be 4*(-9)/6 - -748. Suppose 2*d - h = 5*i - 0*i, -4*i = 0. Is 14 a factor of d?
False
Let j(m) = 15*m + 19. Let n(p) = -7*p - 9. Let w(u) = 3*j(u) + 5*n(u). Let b be w(-13). Let y = b + 190. Is y a multiple of 24?
True
Let f be ((-3)/(-2))/(4 + 118/(-28)). Is ((-6)/7)/(f/((-2744)/(-8))) a multiple of 2?
True
Let s(l) = -244*l**2 - 8*l + 4. Let j be s(3). Let t = -1462 - j. Is 29 a factor of t?
True
Let h(o) = 3*o**2 - 8*o - 32. Suppose -2*f + 8 = -0. Suppose f*c - 19 = 13. Is 16 a factor of h(c)?
True
Let c(o) = 68*o - 115*o - 141 + 67*o. Is c(20) a multiple of 21?
False
Suppose -2*r + t = -5*r + 643, 5*r - 5*t - 1105 = 0. Suppose 6*c = 7*c - r. Let o = c - 125. Is 13 a factor of o?
True
Let f(r) = -41*r + 23. Let a(h) = h**3 - 19*h**2 + 34*h - 4. Let o be a(17). Let q be f(o). Let g = 267 - q. Does 14 divide g?
False
Let h = 7327 + -6352. Is h a multiple of 7?
False
Let t(p) = 2*p**3 - 97*p**2 + 170*p + 57. Is t(47) a multiple of 4?
True
Suppose 13*t = 32715 + 26479 - 9508. Is t a multiple of 7?
True
Let a(l) = l**3 + 15*l**2 + 31*l + 32. Let n be a(-13). Let c(o) = o**3 + 35*o**2 + 55*o + 15. Is c(n) a multiple of 42?
True
Suppose 0 = 5*s, 2*w + 3*w = -s - 430. Let g = w + 352. Is 19 a factor of g?
True
Suppose 8*d = -50 - 54. Let k = 114 - d. Suppose -4*x - 35 + k = 0. Is 15 a factor of x?
False
Let h be -1*(-5 + 16/4). Let u be ((-6)/(-10) + h)/((-16)/(-1480)). Let d = -97 + u. Does 23 divide d?
False
Let v(n) = -11541*n - 910. Is 23 a factor of v(-2)?
True
Is 18 a factor of ((-912)/266)/(8/(-84))?
True
Let b(a) = 7*a**2 + 20*a + 44. Let y be b(-9). Let f = y - 108. Is 19 a factor of f?
True
Let x = -1362 + 1532. Is x a multiple of 2?
True
Suppose 7*c = 2*c + d + 963, -3*c + 4*d = -588. Suppose -4*p = -0*p - c. Suppose 2*n = f - p, -f + 5*n + 46 = 2*n. Is f a multiple of 4?
True
Let n = -184 + 186. Suppose 2*m - 75 = 5*w, 2*w + 162 = 5*m - n*w. Does 10 divide m?
True
Suppose 3*a = -2*s - 15, -7 = 2*s - 1. Does 8 divide (4/a)/((-52)/2925)?
False
Does 52 divide 27/(-144)*52*-44?
False
Is (-59449808)/(-3520) + (-12)/80 a multiple of 23?
False
Let s(w) = -w**3 + 31*w**2 - 20*w + 6. Is 13 a factor of s(16)?
False
Let f(p) = p**2 - 7*p. Let d be f(4). Let a be d/14*(-49)/1. Suppose -10*j + a + 18 = 0. Does 3 divide j?
True
Is (-4)/((-160)/2462798) + (-120)/(-2400) a multiple of 10?
True
Let t = -1758 - -7123. Does 185 divide t?
True
Suppose -8*r + 13070 + 1194 = 0. Is 5 a factor of r?
False
Let r be 2*4 + (0 - 3). Suppose -928 = -r*s + 417. Does 11 divide s?
False
Let l(y) be the first derivative of -y**3/3 - 21*y**2/2 - 41*y + 11. Let m be l(-19). Is 6 a factor of -6*m/45*(3 + 72)?
True
Suppose f - 30*k + 25*k = 25730, 2*k = 4. Does 33 divide f?
True
Let y = 17540 - 10164. Does 23 divide y?
False
Let y(n) = 6*n**2 + 10*n + 473. Is 3 a factor of y(-29)?
True
Let c(k) = 3*k - 2*k + 8 - 5. Let f be c(-3). Suppose f = 9*g - 3*g - 678. Does 19 divide g?
False
Suppose 456*g = 3152 - 1328. Let l be 1 + 7 - (-3 + 2). Suppose 720 = l*i - g*i. Is i a multiple of 24?
True
Let i = 151 - -336. Let w = -469 + i. Does 2 divide w?
True
Let x(t) be the second derivative of t**6/180 + 7*t**5/120 + t**4/3 - 5*t**3/2 + 9*t. Let w(f) be the second derivative of x(f). Is 48 a factor of w(7)?
False
Let w(k) = -k**2 - 24*k + 4. Let p = 10 - 34. Let u be w(p). Suppose 16 = 2*x - u. Is x a multiple of 4?
False
Let o = -12382 - -21502. Is o a multiple of 40?
True
Suppose 10*m - 6*m = 0. Suppose m*y - 5*y = 225. Let p = y - -50. Is p a multiple of 5?
True
Is 7 a factor of (-428393)/(-76) + 32 + (-5)/(-4)?
True
Suppose -173970 + 110321 = -189*j + 222119. Does 12 divide j?
True
Let t = 40 + -35. Suppose -7*r + t = -23. Is 14 a factor of 294/(-4)*r/(-3)?
True
Let u(o) = o + 6. Let m be u(-3). Suppose 15 = m*q - t, 2*q + 2*q - 2*t - 22 = 0. Suppose -q*l + 315 = -l. Is l a multiple of 11?
False
Let s(h) = 18*h**2 - 2*h + 16. Let p be s(4). Suppose -4*i = -3*o - 1049, -1342 + p = -4*i + 2*o. Is 26 a factor of i?
True
Let n = 101 - 145. Let m = n + 60. Does 8 divide m*(-6)/9*45/(-6)?
True
Let o be (-9)/(-4) + -2 - (-10812)/16. Let k = o - 68. Is 76 a factor of k?
True
Let p(s) = -s**3 + 10*s**2 + 2*s + 7. Let t be p(7).