ppose 2*r - 30 + 0 = 0. Let m be (2125/r + 7)*3/2. Suppose 3*p = -g + 187, 0 = -g + 3*p + m - 30. Is 19 a factor of g?
True
Suppose 143*y - 148*y + 20 = 0. Suppose -3*v + 4*t = -4, y*t = -t + 25. Is 12/(-9) + v/(-12) - -194 a multiple of 8?
True
Let j be (-1 + 6)*5/(1 - -4). Suppose 2*y + 2*r - 26 = 5*y, 2*y - 8 = -j*r. Is (-3)/y + (-2)/(8/(-350)) a multiple of 7?
False
Suppose 0 = -2*h + 14*h - 900. Let m = h - -32. Is 30 a factor of m?
False
Suppose 0 = 4*i + 3*r + 1059, 2*i + 485 = -r - 44. Suppose 33*w - 2843 - 9829 = 0. Let m = w + i. Does 31 divide m?
False
Let i(m) = 2*m + 10. Let z be i(-4). Suppose 3*v - 15 = 0, z*v + 1327 = 3*d - 2*v. Is 13 a factor of d?
False
Let u(j) = 3*j**2 - 17*j + 18. Let x be u(6). Suppose 18*y - 120 = x*y. Let z(q) = q**2 + 13*q + 42. Does 14 divide z(y)?
True
Let f(w) = 114*w**3 + 5*w**2 + 19*w - 51. Does 24 divide f(2)?
False
Let c(k) = k**3 - 17*k**2 - 26*k - 14. Is c(19) a multiple of 107?
True
Suppose 0 = -3*i - 4*v + 344 + 1014, 2*i = -5*v + 910. Suppose -3230 + i = -20*c. Is 7 a factor of c?
False
Let q(f) = 322*f**2 - 323*f + 12. Does 18 divide q(6)?
True
Suppose 0 = -145*p + 827852 + 1039023. Is p a multiple of 30?
False
Let w(o) = 4*o + 85. Let v = 77 - 94. Does 12 divide w(v)?
False
Suppose 2*q + 9 = n, 0 = -4*n + 20*q - 18*q + 6. Is (n + (-1444)/8)*16/(-12) a multiple of 7?
False
Let g be ((-10320)/(-9))/5 + 8/12. Suppose -5*u + 0*u = g. Does 15 divide u/(-1) + 6/(-6)?
True
Let j(o) = 15*o**2 + 16*o - 316. Is j(-22) a multiple of 8?
True
Suppose -24 = 3*z - 4*z. Let w(o) = z + 1 + 4*o - 4*o + 2*o. Is w(11) a multiple of 13?
False
Let l(y) = 4*y**2 + 50*y - 389. Let v be l(11). Let s = -273 + v. Does 31 divide s?
True
Suppose -5*f + 3128 = 3*f. Suppose 0 = -3*x + f + 101. Suppose -3*c - x = -4*c. Does 41 divide c?
True
Let r = 67 - 13. Let y = -123 + 86. Let t = y + r. Is t a multiple of 3?
False
Suppose 5*h = -5*v + 3389 + 1461, 5*v - 3875 = -4*h. Let k = h - 366. Is k a multiple of 26?
False
Suppose -5*b = 31 + 9. Let l be b/(-2) + 5 + -9. Suppose 5*v + 99 = 4*o - l*o, -2*v - 128 = -5*o. Does 4 divide o?
False
Suppose 7*s - 25*s = -8583 - 2685. Does 2 divide s?
True
Suppose 5*l + 37 = n, 3*l = -5*n + l + 185. Let c = n + -32. Suppose -11*z + 174 = -c*z. Is z a multiple of 26?
False
Let m be (-1198)/(-10) - (-18)/90. Suppose m*p - 3110 = 115*p. Is p a multiple of 11?
False
Let i(g) = -70*g - 344. Is 27 a factor of i(-8)?
True
Suppose -6*m - 17*m + 69 = 0. Suppose 869 = z - 5*s, -z + m*s = -6*z + 4261. Does 30 divide z?
False
Suppose -66*q - 685518 = -4428378. Is 19 a factor of q?
False
Let q = -802 - -1342. Does 15 divide q?
True
Suppose -83*l - 40521 + 246195 = 0. Is 21 a factor of l?
True
Let f(c) = 81*c**2 + 38*c - 168. Does 7 divide f(4)?
False
Suppose 51791 = 29*c - 10849. Does 24 divide c?
True
Suppose 0 = -2*g - n + 2301 - 9960, 3*g + 11487 = -2*n. Let x = -2292 - g. Does 14 divide x?
False
Let i(p) = 15*p**3 + 8*p**2 - 294*p + 1443. Is 16 a factor of i(5)?
True
Let k(t) = -87*t - 44. Let u(n) = n - 1. Let m(p) = k(p) + 2*u(p). Let c(o) = 17*o + 9. Let h(f) = -11*c(f) - 2*m(f). Does 7 divide h(-3)?
False
Let n(p) = p**3 + 7*p**2 - 4*p - 19. Let t be n(-7). Is 17 a factor of 102/t*456/16?
True
Let q(c) = -8*c + 433. Let r be q(59). Suppose 71 = -a - 3*h, 2*h + 33 = -2*a - 89. Let z = r - a. Is z even?
False
Let k = 360 - 227. Let n(p) = -28*p + 393. Let z be n(7). Let x = z - k. Does 8 divide x?
True
Suppose -3*d + 6009 = 3*p, 0 = 5*p - 8*p - 4*d + 6008. Suppose 9*n - 345 = p. Does 4 divide n?
False
Let d(v) = -14*v**3 + v**2 + 70*v - 22. Is 20 a factor of d(-6)?
False
Suppose 10284 + 16986 = 45*g. Does 7 divide g?
False
Suppose 3*y - 5*v = 17375, -4*y + v + 11567 = -11594. Does 53 divide y?
False
Suppose 5*x + 9 - 159 = 0. Does 3 divide 49 + (4/(-6) - (-110)/x)?
False
Let y = -258 + 258. Suppose 4*a - 7*a + 469 = h, -5*h + 2*a + 2277 = y. Is h a multiple of 24?
False
Suppose 53155 = 4*h - 18*y + 13*y, 2*y - 53106 = -4*h. Is h a multiple of 244?
False
Let a = -203 - -226. Suppose -a*f = -5*f - 4824. Is f a multiple of 5?
False
Let z(w) = 10*w. Let d be z(-3). Does 24 divide d/50 + 4065/25?
False
Suppose a + 3*r - 3 = 0, -3*a + 4 = 3*r + 1. Suppose a*d - 4*t + 15 = d, 2*t = 0. Is 12 a factor of d?
False
Suppose -3*k = -u - 5543, -k - 30*u + 25*u = -1821. Is 76 a factor of k?
False
Let v(g) = -g**3 - 2*g**2 + 7*g + 16. Let j be v(-2). Suppose -32*r - 56 = -33*r + j*l, -2*r = 5*l - 157. Is 3 a factor of r?
True
Suppose 6*p + 4*z + 48861 = 9*p, 5*z = p - 16276. Is p a multiple of 19?
False
Suppose -39*w - 42840 = -69*w. Let d = w - 944. Is 44 a factor of d?
True
Let j be -84*2/24*20*(-6)/(-14). Let m(k) = -k**2 + k - 100. Let u be m(0). Let z = j - u. Is z a multiple of 12?
False
Let y be 203 - (2 + 0 - 2). Let z(g) = 204*g**3 + 15*g + 6 + 20*g**2 + 2 - y*g**3. Does 42 divide z(-19)?
True
Suppose 0 = -5*o + 7 + 228. Let c = o - -73. Does 7 divide c?
False
Let f be ((-1 - -2)*-77)/(107 + -108). Suppose -z + c + f = 0, -6*c + 9*c = z - 87. Is z a multiple of 6?
True
Let f(r) = -6*r**3 - 56*r**2 + 45*r + 78. Is f(-13) a multiple of 154?
False
Suppose 6558 = 5*x - 3*s, 7*x + s - 1318 = 6*x. Does 14 divide x?
False
Let y(r) = -r**3 - 3*r**2 + 25*r + 108. Suppose -7*d + 14 = 91. Does 56 divide y(d)?
False
Suppose 6*b - 101 = -3*t + 2*b, 4*t - 5*b - 114 = 0. Suppose 3*n = 2*n + 37. Let i = n - t. Does 3 divide i?
True
Let x(n) = -2*n**3 - 5*n**2 - 21*n - 5. Let c be x(-5). Is 14 a factor of 3 + -7 + 4 + -1 + c?
True
Let o be 1 + (-18)/14 + 4/14. Suppose 2*t = -3*x + 2 + 2, o = -x + 5*t + 7. Suppose 9*a = x*a + 238. Is 3 a factor of a?
False
Let u(g) = -2*g**2 - 18*g - 6. Let k be u(-8). Suppose 13*a - k*a - 9 = 0. Suppose -3*x - 4*f = -5*f - 409, a*x + 2*f = 424. Is 15 a factor of x?
False
Let g = -26 + 26. Let p be (1 - -1*(-4 + 4)) + g. Let x(f) = 221*f**3 + f**2. Is x(p) a multiple of 37?
True
Let g = -765 + 769. Suppose -5*r + 6*r = -g*s + 684, -675 = -r - s. Is r a multiple of 14?
True
Let o(l) = -l**2 + 1. Let i be o(-5). Let f be (-771)/15 + (-18)/30. Let c = i - f. Is 14 a factor of c?
True
Let l be (1500/225)/((-2)/(-36) + 0). Suppose l*a = 123*a - 1728. Does 32 divide a?
True
Let g(k) = k**2 + 17*k + 16. Let t be g(-11). Let n be (-3)/(t/15 + 3). Suppose 0 = 8*v - n*v + 27. Does 23 divide v?
False
Suppose 21*i - 20*i - 12231 = -2*k, -3*i + 36684 = -3*k. Is i a multiple of 13?
False
Let t(o) = 103*o + 77. Let f = 284 - 280. Is 15 a factor of t(f)?
False
Is (-96999)/(-63) - (16/(-12) + 2) a multiple of 36?
False
Is 13 a factor of 32/208 - 779860/(-65)?
False
Let k(f) = -309*f + 513. Does 40 divide k(-3)?
True
Let z(u) = -3*u - 97. Let m be z(-33). Suppose 9 + 6 = 5*d. Suppose 125 = 3*w + 7*f - d*f, 0 = -m*w - 4*f + 86. Is w a multiple of 38?
False
Let s(r) be the first derivative of -r**4/4 - r**3 + 2*r**2 + 77*r - 29. Is 8 a factor of s(-6)?
False
Suppose 3*v = -2578 + 310. Let a = v - -1380. Is a a multiple of 25?
False
Does 83 divide (1 - 805)*(1225/(-75) - -13)?
False
Let f(w) be the third derivative of w**5/20 - 5*w**4/12 - 6*w**3 + 2*w**2 - 15. Is f(-5) a multiple of 14?
False
Let g = 193 - -47. Let s = -107 + g. Is s a multiple of 7?
True
Let m be (-4)/6 - (-151)/(-3). Let c be 5 - (6 - (6 - 520/5)). Let k = m - c. Is 12 a factor of k?
True
Let y(h) = 19*h + 2867. Does 9 divide y(-69)?
False
Let d(v) = -125*v + 52. Let c be d(-10). Let z = c + -609. Suppose -3*t + z = m + 2*m, 1140 = 5*t + 2*m. Is t a multiple of 11?
False
Suppose -2*u - 13*m + 13068 = -9*m, -13110 = -2*u + 3*m. Is 39 a factor of u?
False
Let f be (1/((-9)/(-6)))/(6/99). Suppose -q + 0*q = -2*o + 9, -3*o + f = -q. Does 13 divide (-383)/(-5) + (-2)/q?
False
Let s = -40 + 55. Suppose 8*b - 9 = s. Is 13 a factor of ((-3)/(-2))/(b/(-4)) + 39?
False
Let v(l) be the first derivative of -l**5/20 - 13*l**4/6 - 25*l**3/6 + 57*l**2/2 + 33*l - 13. Let t(s) be the first derivative of v(s). Does 10 divide t(-25)?
False
Suppose -9*d = -7*d - b - 9, 0 = 2*d - 4*b - 12. Suppose 1497 = 5*l + 3*w - 1014, d*l - 2031 = 5*w. Is 25 a factor of l?
False
Suppose 105*h + 443506 = 204*h - 2103962. Is h a multiple of 213?
False
Suppose 0 = 9*s - 27. Let l be (s/(-3) + 2)*0. Suppose l*z - 5*n = z - 63, -z - 3*n + 67 = 0. Is z a multiple of 9?