i = q + 288. Does 9 divide i?
False
Suppose 3*g + 2*f = 10622, 0 = 4*g + 3*f - 5763 - 8399. Is 12 a factor of g?
False
Suppose -3302250 = 94*n - 174*n - 95*n. Does 37 divide n?
True
Let r(n) = -n**2 - 9*n + 6. Let d be r(-5). Let g = 31 - d. Suppose -2*z - 3*z - 10 = 0, -g*p + 3*z = -56. Is p a multiple of 4?
False
Suppose d + 242 = -5*f, 524 = -2*d + 21*f - 23*f. Let s = -6 - d. Does 87 divide s?
True
Suppose 113*q - 43940 - 28444 = -303*q. Let s be (-4)/(-2)*(-45)/1. Let g = s + q. Is 7 a factor of g?
True
Suppose 2*d = 3*w - 74798, 2*w + 27083 = -d + 76953. Is 121 a factor of w?
False
Let f = 17942 + -16677. Is f a multiple of 115?
True
Let y = -1143 - -1623. Let c = -202 + y. Suppose 10*f = 112 + c. Is f a multiple of 5?
False
Let w = -12 - -3. Let k be (-2000)/72 - (-2)/w. Let n = k - -68. Does 5 divide n?
True
Suppose -o + 69 = -4*q, -9*o + 6*o + 191 = 4*q. Is o/((-14 - -12)*2/(-4)) a multiple of 65?
True
Let p(k) = 3*k**2 + 12*k + 31. Let g be p(7). Let s = 80 - 258. Let c = s + g. Does 14 divide c?
True
Let q = 8002 + -5336. Is q a multiple of 43?
True
Suppose 0 = 87*y + 27*y - 1056986 - 1028416. Does 11 divide y?
True
Let r = -14540 + 24055. Does 11 divide r?
True
Let p(q) = -6*q + 114. Let z be p(19). Suppose 17*u - 23*u + 360 = z. Does 12 divide u?
True
Let p(s) = -s**2 - 5*s + 19. Let k be p(-7). Suppose 0 = -2*m - 3*z - 139, m + k*z - 37 = 2*m. Let g = 162 - m. Is g a multiple of 32?
True
Let m = -68039 + 98789. Is m a multiple of 205?
True
Suppose 4*y + 2*g + 1836 - 18170 = 0, 2*g + 10 = 0. Does 32 divide y?
False
Is 13 a factor of 70/(-28)*2*-1267?
False
Let r = 3604 + -2392. Let u = r - 757. Is 14 a factor of u?
False
Let d = 2632 - 1510. Does 18 divide d?
False
Let c(z) = z**3 - 5*z**2 - 61*z + 461. Does 4 divide c(9)?
True
Let w be (-4)/2 - -8 - 0/1. Suppose 5*z = w*z - 40. Let h = z - -51. Is 19 a factor of h?
False
Let t(i) = -i + 34. Let v(w) = -w + 33. Let c(x) = 6*t(x) - 5*v(x). Let q be c(11). Suppose -q*u + 960 = -20*u. Is 15 a factor of u?
True
Let q(p) = -86*p + 807. Is 115 a factor of q(-8)?
True
Is 4 a factor of (135/10)/((-12)/(-608))?
True
Let n be (-4)/4*(-10 + 10). Suppose q - 2*q - w + 53 = n, 267 = 5*q + 4*w. Is 11 a factor of q?
True
Is 42 a factor of 22/(-55) + (-382228)/(-70)?
True
Let p(z) = -18 + 2 - 3*z + 0*z. Suppose u - 2*i + 26 = 0, -16 = -2*u - 3*i - 33. Is 4 a factor of p(u)?
True
Suppose -24*m + 6825 = -63*m. Let w be ((-358)/6)/((-4)/24). Let x = w + m. Is x a multiple of 36?
False
Suppose -12 = 5*l - 2, 0 = -2*v - 5*l - 10. Suppose 3*d = -j + 65, v = 2*j + 2*j + 2*d - 260. Is 9 a factor of j?
False
Let x(w) = 2*w**2 - 13*w + 7. Let b(d) = -2*d**2 + 13*d - 6. Let g(h) = -6*b(h) - 5*x(h). Let p be g(8). Suppose 396 = -p*f + 27*f. Is 18 a factor of f?
True
Let u be 0/((2/3)/((-2)/6)). Suppose 33 = -5*k + d, u*d - 6 = -2*d. Let g(p) = -p**3 - 2*p**2 + 5*p - 12. Is g(k) a multiple of 13?
False
Let k = 1063 - 1669. Let a = k + 1046. Does 22 divide a?
True
Let r(f) = 471*f - 10. Let j be r(2). Suppose -j = -5*z - 332. Is 27 a factor of z?
False
Suppose -3*q - 30 = -153. Let n = 46 - q. Suppose n*j - 20 = 0, 0 - 144 = -5*r + 4*j. Does 16 divide r?
True
Let v(k) = k**3 - 10*k**2 - 47*k + 64. Let w(a) = a**3 - 11*a**2 - 46*a + 62. Let l(f) = 3*v(f) - 4*w(f). Is l(16) a multiple of 8?
True
Suppose s + 3*s + 2*q = -18, s - q = 3. Let h be -203 - (s - (-4)/((-12)/3)). Let t = h - -307. Is 11 a factor of t?
False
Suppose 4*v - 49 = -5*q, 3*v - 36 = -4*q - 0. Suppose 3*t = 4*b + 7*t - 8, 2*b - t = v. Suppose -293 = b*u - 1697. Is 18 a factor of u?
True
Let l(m) = 16*m**2 + 5*m + 63. Let r(u) = u**2 - 38*u - 174. Let o be r(42). Does 109 divide l(o)?
False
Is 319447/368 + 6/(-96) a multiple of 24?
False
Let o be 10/25 + 86/10. Suppose -4*s - 2*w - 4 = -2, -2*w = -3*s + o. Is 10 a factor of -10*((-28)/4 + 4*s)?
True
Suppose -4*s = -c + 6079, -4*s - 66909 = 43*c - 54*c. Is 2 a factor of c?
False
Let b(r) = 106*r**3 - 3*r**2 + 3*r - 1. Let f(o) = -o**2 - 8*o + 10. Let w(k) = 3*k - 9. Let g be w(0). Let d be f(g). Does 15 divide b(d)?
True
Let x(n) = 44*n - 52. Let a be x(3). Let c = 105 - a. Does 12 divide c?
False
Let s = 2 - 2. Let w(g) = -g**3 - 14 + 2*g**3 + 38 - g**2 + g**2. Does 6 divide w(s)?
True
Let x = -4320 + 4438. Does 18 divide x?
False
Let u(a) = a**3 + 14*a**2 - 10*a - 6. Does 2 divide u(-5)?
False
Suppose h = 4*k + 890, 5*h + 2*k - 7*k = 4420. Suppose -h = -8*r + 3030. Does 75 divide r?
False
Suppose -4*s + 3*k = -98604, -2*s - 37*k = -38*k - 49306. Is 15 a factor of s?
False
Let a(c) = -116*c - 566. Is 26 a factor of a(-7)?
False
Suppose -5*s + 30 = -3*h, 31 = 5*s + 2*h - 24. Suppose s*l - 6870 = -6*l. Does 17 divide l?
False
Let o be (12/5)/((-4)/(-10)) + 4. Does 37 divide 4722/16 + o/(-80)?
False
Let o(y) = -6*y - 72. Let n be o(-11). Is (n/(-4))/(3/436) a multiple of 7?
False
Let v(z) = 5*z**2 - 7*z + 3. Suppose -b + 13*b = 48. Suppose -b*n - 4 + 20 = 0. Is v(n) a multiple of 11?
True
Suppose -2*w - 51 = -139. Let c = -22 + 22. Is (w - 4) + (1 - (c + 4)) even?
False
Let z = -1107 + 1117. Let j = -53 + 115. Let i = j - z. Is 13 a factor of i?
True
Let r(y) = 44*y + 43. Let s be r(15). Suppose p + s = 4*p - g, 0 = 4*g + 4. Is p a multiple of 18?
True
Let n be 13 + 0 - (1 + 0). Let a be 3/((-24)/(-20)*(-3)/n). Let c(y) = y**3 + 10*y**2 - 8*y - 11. Does 23 divide c(a)?
True
Let v = 4588 - -712. Is 190 a factor of v?
False
Suppose 395*n - 399*n = w - 9693, 0 = 3*w + n - 29013. Does 33 divide w?
True
Let f(v) = 41*v**2 - 118*v + 4191. Is f(27) a multiple of 40?
False
Let q(u) = 8*u - 14. Suppose 3*v - 1 = -y, v = 4*y + 3*v - 4. Suppose -42 = -5*h - 3*m, -3*h = -m - y - 13. Is 8 a factor of q(h)?
False
Let z = -3168 + 4762. Is 33 a factor of z?
False
Does 85 divide -6 + (-199350)/(-35) + 5 + (-6)/(-21)?
True
Suppose -6*j = -3*j - 12. Let r = 4 - j. Suppose r*p - 5*p = -4*o + 139, -o + 4*p + 32 = 0. Is 10 a factor of o?
False
Let f(y) = 5 - 6 + 2 + 9 + y**2 + 2*y. Let w be f(10). Let v = w + -38. Is 46 a factor of v?
True
Suppose -8*d + 30 = -3*d. Let w be (d/(-12))/(1/484). Let l = -150 - w. Is 23 a factor of l?
True
Suppose -o + 67882 = -236*s + 238*s, 5*s - 169714 = -o. Does 8 divide s?
True
Let s = -22670 - -24850. Is 5 a factor of s?
True
Let y(i) = -2*i**2 + 13*i - 8. Let w(u) = -u**2 + 7*u - 4. Suppose -3*m - z = 2*m + 20, -3*m + 2*z = 12. Let r(d) = m*y(d) + 9*w(d). Does 4 divide r(6)?
False
Let s(g) = -g + 2. Let k(i) = 130*i - 96. Let j(c) = k(c) - 2*s(c). Does 4 divide j(4)?
True
Let o(f) = -16*f + 7. Let m be ((-1)/(-5))/((-4)/(-20)). Let d be o(m). Let g(n) = -n**2 - 11*n - 14. Is 4 a factor of g(d)?
True
Let l(o) = o + 5. Let z be l(0). Suppose 3*c + 3*x = 414, 5*c - z*x = -0*x + 650. Is c a multiple of 21?
False
Suppose 4*j = -5*n + 137, j - 23*n = -18*n + 3. Let v be 14/6 - (-2)/(-6). Suppose v*r + 0*r - j = 0. Is 10 a factor of r?
False
Suppose 134*r - 514157 - 148473 = 0. Is r a multiple of 43?
True
Suppose 4*k - 855 = k - 3*z, -5*z + 25 = 0. Is k a multiple of 125?
False
Let h(p) be the third derivative of p**6/120 + p**5/6 + 5*p**4/24 + 7*p**3/6 - p**2. Suppose -2*t + 3*r = 1, 12 + 30 = -4*t - 2*r. Is h(t) a multiple of 10?
False
Let z = -637 - -29. Is 10 a factor of ((-220)/77)/(z/(-308) + -2)?
True
Let o = -185 + 152. Let c = 245 + o. Is c a multiple of 7?
False
Let c(u) = -590*u + 10. Suppose 7*z = 12*z + 3*r + 25, 2*z = 3*r + 11. Is c(z) a multiple of 14?
True
Let t(q) = -14*q**2 - 22*q - 26. Let b be t(-6). Let j = 641 + b. Is j a multiple of 20?
False
Suppose 5*u + 0*u = 560. Let c = u + -77. Suppose -c = -i - 2*t, 2*i - 20 = i + 3*t. Does 24 divide i?
False
Suppose 589*g = 586*g + 18. Is 12 a factor of 18 + 7 - g/(-1)?
False
Let b be (-1 - 7 - -3)*-1. Suppose h = s - 324, b*s - 994 = 4*h + 630. Is s a multiple of 41?
True
Let g(a) = -21 + 72 - 24*a - 62. Let t = 7 + -11. Does 12 divide g(t)?
False
Let h = 311 + 87. Let u = h + -238. Is 20 a factor of u?
True
Let j(d) = -21*d - 40. Let z be j(-2). Suppose -i + 281 = k, -z*i + 1411 = 40*k - 35*k. Is 12 a factor of k?
False
Let z = 8 + 148. Suppose 28*b - z = 24*b. Let v = 114 - b. Is 5 a factor of v?
True
Let m(k) = -k**2 - 28*k - 100. Let f be m(-24). Is 35 a factor of f/10*14520/(-44)?
False
Suppose 31*v - 126631 - 28906