t s = 11 + -53. Let b be s/24*(3/3 + -5). Is (b + (-314)/6)*(-1 + -2) a multiple of 17?
True
Let v(q) = -204*q - 2966. Is 5 a factor of v(-32)?
False
Let k = 8350 - 4528. Is k a multiple of 91?
True
Let b(o) = 4*o + 22. Let w be b(19). Is -10 + w + 2 + (0 - -1) a multiple of 13?
True
Let r = -565 + 8833. Is 78 a factor of r?
True
Let n(w) = -6764*w - 2758. Does 18 divide n(-8)?
True
Is 3 a factor of (-5*(-30)/25 - -14818) + (-12 - -9)?
False
Let j = 1721 + 3625. Is j a multiple of 54?
True
Suppose -738*x + 735*x + 15555 = 0. Does 85 divide x?
True
Let o = -120 + 120. Suppose -3*c + 3*y + 225 = o, -5*c + 131 = 4*y - 253. Does 8 divide c?
False
Let h(p) = p**3 + 3*p**2 + 6*p - 5. Let u be h(-4). Let t = 48 + u. Does 7 divide (7 + -9)/(t/(-120))?
False
Let w = 704 + -704. Is 202951/237 - (1/3 + w) a multiple of 6?
False
Let s be 1 + 0 + -3 - -8. Suppose 9 = 3*a, 4*w - s*w = a - 823. Is w a multiple of 10?
True
Does 4 divide ((-1)/(3/3))/(7 + 9466/(-1352))?
True
Let s(f) = -3*f**2 - 74*f + 25. Let o be s(-25). Suppose 2*b + g - 57 = 325, o = -2*g. Is b a multiple of 11?
False
Let m(b) = -b**2 - 5*b - 520. Let x be m(0). Does 13 divide ((-19)/(-5))/((-8)/x)?
True
Suppose 3*h - 1 = 8. Suppose h*g + 0*g - 142 = -5*p, -2*p + 205 = 5*g. Is g a multiple of 9?
False
Suppose -x + 91 = -m, -4*m + 5*x = 353 + 7. Let g be -13*m/(-20) - (-9)/12. Let a = -55 - g. Is a a multiple of 2?
True
Let b = 661 - 823. Does 32 divide (42/105 - b/20)*62?
False
Let b be (-36)/(-10)*(-30)/(-18). Let w(s) = 17*s - 6. Is 3 a factor of w(b)?
True
Let i be (34/(-10) + 5)*15/2. Let o(z) = 2*z**2 - 22*z - 10. Let w be o(i). Is 7 a factor of (-1000)/(-70) - 4/w?
True
Let t be -7*(-2 - (-144)/(-8)). Let u be -118 - (0 - (2 + -3)). Let x = u + t. Does 2 divide x?
False
Let k = -16688 - -17262. Is 40 a factor of k?
False
Let s(g) = -3421*g**3 + 3*g + 4. Does 58 divide s(-1)?
True
Suppose 208*p = 213*p + 45. Let b(y) = 3*y**2 - 9*y + 16. Is b(p) a multiple of 30?
False
Let g be ((-15)/1 + 1)/1. Let v(w) = 9*w - 35. Let l be v(6). Let k = g + l. Is k a multiple of 3?
False
Is 164 a factor of (524964/(-198))/(((-65)/120)/13)?
True
Suppose -19*p - 1419 + 1818 = 0. Is p a multiple of 3?
True
Let z(f) = -f**2 - 27*f - 15. Suppose -11*n + 10*n = -5. Suppose n*r - 43 + 155 = -d, 4*r + d = -90. Is z(r) a multiple of 19?
True
Let o = 11 - 5. Let u(b) = 39*b + 280. Let i be u(19). Suppose -5*p = -3*y - i, -2*p - o*y + 396 = -y. Is p a multiple of 51?
False
Suppose 280746 = 74*b - 114254 + 27368. Is b a multiple of 12?
True
Suppose 5*n = -5*o + 33290, -152*o = -2*n - 157*o + 13343. Does 94 divide n?
False
Let g(p) = 3*p**2 + 25*p + 89. Let t be g(-8). Let r(d) = 9*d**2 + 3*d - 4. Let w be r(-4). Let o = w - t. Does 4 divide o?
False
Is 187 a factor of (-1 - -5109)*(9 + (7 - 5) + -10)?
False
Suppose 5*s + 9 = -4*r, -4*r - 5*s + s - 4 = 0. Suppose -3*i = -r*i - 5, -447 = -3*d + 3*i. Let w = d - 99. Is 15 a factor of w?
True
Let c = 8152 + -7346. Does 14 divide c?
False
Let n(t) = 5 - 19 - 9 + 0 - 80*t. Does 14 divide n(-2)?
False
Let w(r) = r + 41 - 66 + 3*r. Suppose 3*s + 2*a - 66 = -26, -3*s + 5*a = -26. Does 8 divide w(s)?
False
Suppose -5*x - 38464 = -2*u + 7151, 2*x + 14 = 0. Is 106 a factor of u?
True
Suppose 2*o = -52*y + 51*y + 3122, 1 = o. Is 45 a factor of y?
False
Let h(w) = -4*w. Let u(s) = 4*s. Let c(q) = -3*h(q) - 4*u(q). Let t be c(-1). Suppose 119 = 3*o - 4*a, t*o + 4*a - 157 = -45. Does 13 divide o?
False
Let f = 5525 + -4013. Is f a multiple of 21?
True
Suppose -k + 4*c = -2, -k = -2*k - 5*c + 2. Let i be (15/k)/(((-4)/(-48))/1). Suppose -6*h = 4*h - i. Does 3 divide h?
True
Let r = 142 - 136. Let g(w) = 2*w**3 - 6*w + 62. Does 16 divide g(r)?
False
Let s(q) = 3*q**2 + q - 10. Let r be s(-5). Suppose -7*m + 5*m - r = 0. Is 1726/7 + m/(-70) a multiple of 19?
True
Let n be ((-66)/(-30) + -1)/(1/10). Let a = -8 + n. Suppose a*l + 4*j = 208, 0 = 3*l - 2*l + 4*j - 37. Is l a multiple of 17?
False
Let v(g) = 8*g + 54 + g**2 - 2*g**2 - 49. Let c be v(4). Suppose -123 = -6*f + c. Is 5 a factor of f?
False
Let v = 33 + -23. Let r(w) = 36*w - 87. Is r(v) a multiple of 59?
False
Let f(o) = 4*o**2 + o. Let l be f(-1). Let w be 3 + 1 + (-1)/(l/6). Suppose 0 = 2*h - n - 377, 263 = w*h + 4*n - 109. Is h a multiple of 44?
False
Suppose 3*b + 4*g - 38 = 0, 2*b = -0*b + 2*g + 30. Suppose 276 - 1228 = b*u. Let p = 115 + u. Does 5 divide p?
False
Let m = -9793 - -10108. Does 12 divide m?
False
Let q = -114 - -119. Let m be q + 2*(-5)/10. Suppose 4*h - 355 = -3*c, 4*h + m*c = 373 - 21. Does 49 divide h?
False
Let z = 275 + -272. Suppose p - 500 = -z*j, -3*j + 5*p + 305 = -j. Is 9 a factor of j?
False
Suppose -16983 = -4*b - 5*j, 4*b - 4*j - 2397 - 14559 = 0. Does 11 divide b?
False
Let n(p) = -p**3 - 9*p**2 + 7*p - 14. Let o be n(-10). Suppose 5*j + o = 61. Let y(s) = 2*s**2 - 9*s - 23. Is y(j) a multiple of 29?
True
Suppose -20*y = -5660 - 95260. Is 87 a factor of y?
True
Let f be ((-105)/(-5))/3 - 1345. Is 9 a factor of -3 - f/12*6?
True
Suppose -18*x = -4*x + 3955 - 35315. Is 56 a factor of x?
True
Suppose -154*b - 91*b = -18*b - 1362. Let g(l) = 42 - l + 2*l - 3*l. Is 6 a factor of g(b)?
True
Let h = -2787 + 4303. Let r be (-2 - 3)*h/(-20). Suppose -r - 61 = -8*m. Is 11 a factor of m?
True
Suppose 0 = -3*k - 0*k + 2*t + 1576, -3*k - 2*t = -1592. Suppose -31*x = -28*x - k. Is x a multiple of 11?
True
Suppose -51*q + 37*q + 7210 = 0. Does 5 divide q?
True
Let w(b) = 178*b + 2124. Is w(17) a multiple of 156?
False
Suppose 15*w = -p + 11*w + 5082, 0 = 5*p + 4*w - 25506. Does 6 divide p?
True
Let m(q) = -4 + 11*q + 2 + 0 - 19*q. Does 3 divide m(-1)?
True
Let z(f) = -12366*f - 260. Is z(-2) a multiple of 209?
False
Is 70 a factor of (4/(-58) + (-1359)/(-783))*672?
True
Suppose -529541 = -73*a + 1269339 - 509116. Does 116 divide a?
False
Suppose -487 = -0*d + 3*d - r, 2*d - 2*r + 326 = 0. Let z(a) = 284*a**2 - 1. Let l be z(1). Let j = d + l. Is j a multiple of 19?
False
Let y(c) = -11*c - 10. Let m(g) be the third derivative of g**5/60 + g**4/12 - 7*g**3/6 + g**2. Let h be m(-3). Does 31 divide y(h)?
False
Let b(x) = 30*x + 792. Suppose 16*a - 22*a = 0. Does 18 divide b(a)?
True
Let x = 17523 - 14424. Is 32 a factor of x?
False
Let k(w) = w**2 + 11*w + 7. Is k(0) a multiple of 4?
False
Let b be (-6 + 3 - 1) + (0 - 0). Let s(t) be the first derivative of -26*t**2 - 8*t - 19. Is 50 a factor of s(b)?
True
Is 42 a factor of 3654999/2898 + 3/(-14)?
False
Is 204 a factor of (1 + (-69447)/(-9))/((-178)/(-801))?
False
Suppose -107*n = 5*h - 106*n - 15928, -h = -3*n - 3192. Does 54 divide h?
True
Let o(v) be the first derivative of 4 - 4*v**2 + 10/3*v**3 - 1/4*v**4 + 14*v. Is o(7) a multiple of 21?
True
Let m = -99 + 103. Suppose -91 = -m*r - 3*w, 0 = -r + 4*r + 4*w - 63. Is r a multiple of 18?
False
Suppose -3*q + 5*c = -34444, 21*q = 16*q + 2*c + 57375. Does 12 divide q?
False
Let n be (-4)/54 + 36160/(-270). Let j = 168 + n. Does 12 divide j?
False
Let d(r) = -315*r**3 - 112*r**2 - 9*r - 11. Is 33 a factor of d(-2)?
True
Suppose -3*o + 3*j - 237 + 11178 = 0, 2*o - 3*j - 7293 = 0. Suppose -13*q = -q - o. Is 16 a factor of q?
True
Let b(n) = -2*n**2 + 15*n + 16. Let y be b(7). Suppose 2*q + 3*l + 116 = 2*l, 3*q - 2*l = -181. Let a = y - q. Is a a multiple of 14?
False
Let w(q) = -2*q. Let k be w(-8). Suppose 2*p - 11 = -5*y + 9, 4*y = -4*p + k. Suppose -3*d + 2*j + 144 = -279, -4*d = y*j - 584. Is 32 a factor of d?
False
Suppose 5*y = 2*x - 413 - 264, -5*y = -4*x + 1329. Is x even?
True
Suppose -5*n + 20 = 0, 31313 = 70*r - 65*r + 2*n. Is r a multiple of 15?
False
Let j(p) = 123*p - 2306. Is 11 a factor of j(53)?
True
Let y be (-6)/9 - (1 + 23/(-3)). Suppose 215 = y*z - 175. Suppose o = 4, -r - 3*o + z = -o. Does 7 divide r?
False
Suppose -2*u + 311 = -4*y - 691, 2*y = -4*u - 516. Let j = 290 + y. Is j a multiple of 2?
True
Let t be 8 + (-5844)/(-8) - (-1)/2. Suppose t = 5*w + 34. Is 5 a factor of w?
False
Let h = 49961 + -28610. Is h a multiple of 33?
True
Let b be ((-140)/(-15))/(3/(-225)). Let x be 2/(-12) - (4 + (-41321)/(-42)). Let k = b - x. Does 14 divide k?
False
Let c(f) = f**3 - 19*f**2 - 19*f - 28. Let y be c(20). Let l(p) = -18*p + 35. Is 21 a factor of l(y)?
False
Suppose 314899 + 14353 = 62*