 246 - f = 0. Is m a multiple of 12?
True
Let q be (106/18 - 1) + 1/9. Suppose -48*g + q*y = -45*g - 4404, -5*y = -5*g + 7330. Does 11 divide g?
True
Let x be ((-5)/(-25))/(2/30). Suppose s - 213 = -n + x*s, 2*s = -4*n + 812. Is n a multiple of 53?
False
Let r(w) = 2548*w - 15. Does 17 divide r(1)?
True
Let k = 11221 - 9323. Does 3 divide k?
False
Suppose -o + 95*o + 58*o - 1002136 = 0. Is o a multiple of 156?
False
Let a(b) = -b**3 + 10*b**2 + 14*b - 26. Let s be a(11). Suppose s*u + 0*u = 252. Let f = -6 + u. Is 15 a factor of f?
True
Let t(h) = -2*h**3 - h**2 - 4*h - 35. Does 7 divide t(-7)?
True
Let c = -338 + 1757. Suppose 3*d - 3*u - c = -0*u, 0 = -d - 5*u + 443. Suppose 35*r = 39*r - d. Is r a multiple of 9?
True
Let x be -595 + 6/2 - 6. Let a = x - -1060. Does 32 divide a?
False
Let v be (-2)/(-4) + (-63)/(-14). Suppose v*y - 195 = -10. Suppose -y = -o - 1. Does 6 divide o?
True
Suppose 80 = -2*z + 6*z. Let o(p) = 104*p**2 + 4*p**3 - z*p - 92*p**2 + 72 - 5*p**3. Is o(10) a multiple of 16?
False
Let k(j) = -2160*j - 59. Is 30 a factor of k(-2)?
False
Let s = -98 + 104. Suppose 0 = 4*t + o - 5, 2*t - 5*t + s = 3*o. Does 10 divide t*3 - (5 - 88/4)?
True
Suppose 25*y = -47*y + 363838 + 662666. Does 36 divide y?
False
Let p = -118 + 161. Let d = 71 - p. Does 5 divide d?
False
Let x = 71 - 106. Is (196/x)/((-2)/310 - 0) a multiple of 25?
False
Let v be (30/(-75))/((-2)/10). Suppose -3*d = -d + h - 57, -60 = -v*d - 2*h. Is 9 a factor of (-6)/d - (-1304)/36?
True
Let c(t) be the first derivative of 2*t**3 + 3*t**2 + 47*t + 75. Is c(7) a multiple of 13?
False
Let a(c) = -8 - 410*c**3 - 3 + 409*c**3 + 12*c + 10*c**2. Let s be a(11). Is 9 + (s - -1) + (-6)/(-6) a multiple of 2?
False
Let z = 2 - 133. Let c = z + 139. Is c a multiple of 4?
True
Suppose 14*l + 68*l - 51215 = 141567. Is 40 a factor of l?
False
Suppose 20*k - 60 = 21*k. Let p be (-3)/(k/8)*440. Suppose 4*m - 7*s = -2*s + p, -4*m - 5*s + 216 = 0. Does 7 divide m?
True
Let b(h) = 42*h**2 + 12*h - 888. Is b(-23) a multiple of 58?
True
Let a(q) = -2*q**2 - 15*q - 5. Let s be a(-7). Suppose -s*w - 2*l + 33 = l, -2*l - 2 = 0. Suppose 0*i + w = i. Is 6 a factor of i?
True
Let p be 38/14 - (-14)/49. Suppose p*x = 2*r + 8, -4*x + r = 6*r - 3. Suppose 487 = 3*g - 5*i, -7*g + 3*i + 817 = -x*g. Is 41 a factor of g?
True
Suppose -14*k = m - 11*k - 6675, -m = 4*k - 6674. Is 18 a factor of m?
True
Let d be (12 - 18/2)*(-1 - -2). Suppose t - 1043 = -f + 4*t, 3*t + 3123 = d*f. Is f a multiple of 20?
True
Let t(n) = -n**2 - 5*n + 209. Let g be t(10). Let x = g + 1781. Is x a multiple of 23?
True
Suppose -18*g = -175 - 23. Suppose -3*v = -3*a + 606, -4*v = -g + 31. Does 30 divide a?
False
Suppose -65*a = -28*a - 176009. Does 25 divide a?
False
Let a(u) = -u**3 + 5*u**2 - u + 63. Let z(k) = -2*k**3 + 11*k**2 - 2*k + 126. Let f(h) = -9*a(h) + 4*z(h). Let q be f(0). Let d = 49 - q. Is 16 a factor of d?
True
Let b = -7100 - -10805. Is b a multiple of 39?
True
Suppose 2*f = 1391*x - 1390*x - 17337, -f - 34659 = -2*x. Does 17 divide x?
False
Let p = 93 + -47. Suppose 0 = i + 33 - p. Suppose -i*d + 436 = -9*d. Is 22 a factor of d?
False
Suppose 53*m - 881646 - 1051611 = 1777008. Does 15 divide m?
True
Suppose 0 = 3*t + 4*d - 46824, -11*d = 5*t - 6*d - 78030. Is 12 a factor of t?
True
Suppose -14 = -5*o - 4. Let a be (-10)/(-210) + (-22674)/(-126). Suppose -5*z + 7*c - o*c = -a, 4*c - 16 = 0. Does 20 divide z?
True
Suppose -610*i + 3*v = -606*i - 69614, -i - v = -17400. Does 19 divide i?
False
Let p be 4 + 14 + (-25)/5. Let o(z) = 6*z**2 + z**2 + 13 + 8*z**2 - 5*z - z**3. Is o(p) a multiple of 22?
True
Let b = 27946 + -14182. Is b a multiple of 222?
True
Suppose 3*h - 780 = -2*h. Let p = h - 119. Suppose -5*b = -5*a - 95, 0*b + b + 5*a = p. Is b a multiple of 11?
True
Suppose -99 = -20*j - 13*j. Is j + ((-1330)/(-5) + -2 - 1) a multiple of 38?
True
Let f be (11/(-3)*-2)/((-12)/(-270)). Suppose 0 = u - f + 23. Is u a multiple of 4?
False
Let u = 40 - 37. Suppose 3*w - u*c = -1053, 2*w = -c - 4*c - 709. Let l = w - -517. Is 32 a factor of l?
False
Suppose -137*g = -48*g - 312924. Does 12 divide g?
True
Suppose -25*m = 3474 + 1226. Let x = 278 + m. Is x a multiple of 18?
True
Let u(q) = 96*q**2 - 5*q - 37. Let l be u(12). Suppose -18*d = -l - 5857. Is d a multiple of 17?
True
Let n(p) = -2*p**3 + 82*p**2 + 286*p + 99. Is n(41) a multiple of 11?
True
Suppose -45*v + 40*v + 2*x + 100253 = 0, -3*v = 3*x - 60156. Is 21 a factor of v?
False
Let x(f) = -2*f**3 + f**2 + f + 40. Let b be x(5). Let u = b - -209. Is 4 a factor of u?
False
Suppose -4*j + 4*x = -53668, 1096*j = 1099*j - 5*x - 40253. Is j a multiple of 86?
True
Let y be 81/(-54)*(-1 + -5). Is (y - (-2 + 4)) + 167 a multiple of 13?
False
Is 56/4 - (21 + -34107) a multiple of 20?
True
Let b(t) = 3844*t**2 - 241*t + 9. Is 276 a factor of b(-3)?
True
Let w = 276 - 272. Suppose w*u = 165 + 87. Is u a multiple of 7?
True
Let m = 584 - 380. Let r = 281 - m. Does 11 divide r?
True
Let i = 6641 + 7741. Is i a multiple of 153?
True
Is 15 a factor of (-42)/(-4)*(-592)/(-3)?
False
Suppose 0 = -5*s + 45 + 10. Suppose 4*m - 5 = s, 4*r - 3*m = 16. Suppose 2*p + 220 = r*p. Does 11 divide p?
True
Let p = 2902 + -43. Is p a multiple of 21?
False
Let z(d) = 6*d - 20. Let h be z(-8). Let w = h - -65. Is (4/w)/(4/(-30)) a multiple of 5?
True
Suppose 3*y = -y + 2*x + 2, -28 = -y - 5*x. Suppose -4*g + 139 = -y*g. Is 5 a factor of g?
False
Let d be ((0/(-3))/(-3))/(-2). Suppose d = o - 4*o - 9. Does 11 divide ((-12)/(-8))/(o/(-44))?
True
Suppose -3156 - 444 = 18*l. Is (120/l)/(-1 + 1604/1605) a multiple of 9?
True
Suppose -66*b = -63*b - 342 - 6. Does 29 divide b?
True
Suppose -24 = -94*q + 88*q. Suppose 4*s - 3*s = 2*c - 427, q*c - s = 859. Is c a multiple of 24?
True
Let w(s) = s**2 + 11*s - 44. Let b be w(5). Is 20/((-24)/b*(-3)/20) a multiple of 25?
True
Suppose -28*a + 25651 + 147769 = -51784. Is a a multiple of 21?
True
Suppose -4*y - 32168 = -5*z + 12056, z - 8822 = -3*y. Does 136 divide z?
True
Let a = -297 - -306. Suppose 0 = 6*l + a - 117. Is l a multiple of 3?
True
Let i be (-6)/27 + 215/(-45). Does 10 divide ((-1)/(-3))/(i/(-1050))?
True
Suppose -11592 = -3*y + 4*w, 255*y - 256*y - 3*w = -3838. Does 13 divide y?
False
Let k = 11689 - 652. Does 13 divide k?
True
Let z(j) = -210*j. Let m(p) = -p**2 - 10*p - 19. Let k be m(-8). Let d be z(k). Suppose 86*t - d = 81*t. Is 42 a factor of t?
True
Suppose -87 = -4*g + 3*y, 4*g + 12*y - 16*y = 88. Suppose g*j - 2772 = 9*j. Is 17 a factor of j?
False
Suppose 0 = -7*b + 59 - 458. Let z = -13 - b. Suppose u + z = 5*u. Is u a multiple of 2?
False
Let m = 750 - 757. Let t(a) = -125*a - 173. Does 13 divide t(m)?
True
Let m(t) = -3*t + 93. Let p be m(23). Suppose -p*n - 340 = -25*n. Does 7 divide n?
False
Let u be ((-35)/(-21))/(3/63). Is (-20)/u + 326/7 a multiple of 5?
False
Suppose -12*h - 288 = 792. Is 4 a factor of -2 - h - (-15)/(3/(-1))?
False
Suppose 148 = 6*h + 16. Suppose 3776 = h*f - 3088. Is f a multiple of 24?
True
Suppose 2 = -2*p, -4*j - 40*p = -45*p - 10373. Is 27 a factor of j?
True
Suppose -165 = 4*i - 133. Is (45/(-20))/(i/3072) a multiple of 6?
True
Is 131887/16 - 60/(-960) a multiple of 44?
False
Suppose n + 0*n = 2. Suppose 24 = 4*g + 5*s + 6, -n*g + 2*s = -18. Suppose -g*v + 41 + 15 = 0. Is 2 a factor of v?
True
Let y be (132/36)/(1/(-33)). Let s = 275 + y. Is 21 a factor of s?
False
Let r = -1351 - -1603. Is 18 a factor of r?
True
Suppose 2*t - t + 106 = 5*u, -t - 1 = 0. Let c = 165 - 168. Let a = u - c. Is 22 a factor of a?
False
Suppose -2*k = -0*c + 3*c - 7, -3*c = 15. Suppose s = 5*q - k, q + 9*s + 3 = 4*s. Suppose 2*f - 5*m = 7, 3*f + q*m = 2*f + 8. Is 2 a factor of f?
True
Let a be (-3 + (-95)/(-25))/((-4)/(-10)). Is 15 a factor of 47788/91 + 0 - a/14?
True
Let b(u) = -u**3 + 3*u**2 + 6*u - 4. Let t = -4 + 2. Let q be 1/t - (63/(-2))/7. Is b(q) a multiple of 4?
True
Let w(f) = 16*f**2 - 25*f - 9. Let j be w(12). Suppose -2933 = -22*u + j. Is 4 a factor of u?
True
Let k(y) = 101*y**3 - y**2 - 2*y + 2. Let z be k(1). Is (-5*30/z)/(1/(-420)) a multiple of 63?
True
Let x(o) = -86*o - 24*o - 211 - 91. Is x(-4) a multiple of 46?
True
Let s be -20*(-4)/16 + -7. Is 68*((-43)/s - 7) a multiple of 58?
True
Let n