s*v = -16877 + 6269. Is 17 a factor of v?
True
Let w(y) = 5*y - 159 - y + 185. Let x be w(-7). Does 41 divide (x/13 - (-14847)/91) + 1?
True
Let r be (-8)/2 + (-1 - -7). Let m(y) = -y**3 + y + 5 + y**r + 42 + 108. Does 26 divide m(0)?
False
Let o = 23 + -17. Suppose 4*n = -0*v + 5*v - 28, 2*v - o = -n. Let f = 30 - v. Does 13 divide f?
True
Let n be ((-9)/12)/((-2)/8). Suppose -g - x = -2, -n*g = x - 3*x - 6. Does 14 divide -3 - (-7 - 15)/(2/g)?
False
Suppose 0*r = -13*r + 65. Suppose 0 = -u - 5*b + 640, -r*u - 3*b + 1513 = -1753. Does 49 divide u?
False
Let a = 5703 + -3399. Suppose 0 = -42*k + 18*k + a. Does 4 divide k?
True
Let n be 8030/(-30) + 6/9. Let d = 332 + n. Is 18 a factor of d?
False
Let t be 2*1 - 4/(-32)*0. Does 30 divide ((-24)/4)/2 + (t - -331)?
True
Let v = -118 + 141. Suppose v*j + 1755 = 28*j. Does 68 divide j?
False
Let m(z) = 3*z**2 - 25*z + 15. Let w be m(8). Is 9 a factor of w + 0 + -5 - (-148 - 3)?
True
Suppose -7 = 2*z + i + 4*i, -6 = -3*z - 2*i. Suppose 8*a = z*a. Let s(m) = -2*m**2 + m + 3. Is 3 a factor of s(a)?
True
Is 15 a factor of ((-100)/(-48))/(-25) - 10141/(-12)?
False
Let f(z) = -z**3 - 42*z**2 - z - 42. Let q be f(-42). Suppose 5*b + 4*y - 428 = 0, 2*b = -q*b + y + 179. Does 12 divide b?
False
Let i = -51 - -54. Suppose i*x = 5*x. Suppose -4*m + 183 - 43 = x. Is m a multiple of 7?
True
Let l = 3040 - 2533. Is 5 a factor of l?
False
Suppose 0 = -4*m + 161 - 3309. Let d = 1399 + m. Is d a multiple of 15?
False
Let w = 5028 - 2860. Is 4 a factor of w?
True
Let i be (-21)/(-4) - (-3)/(-12). Suppose 3*d - 12 = 0, -3*p - d = -i*d - 59. Does 5 divide p?
True
Suppose -a + 5*w + 60 = 2*a, -5*w = -5*a + 100. Is 8 a factor of 315 + -3 - 0*(-5)/a?
True
Suppose 0 = -5*w + 5036 + 5464. Let a = w + -1245. Is a a multiple of 15?
True
Let w = 1948 - 1015. Suppose 0 = 14*h - w - 1685. Is h a multiple of 13?
False
Suppose -d + 724 = 716. Does 3 divide d?
False
Suppose -3*d + 5*d - 4*z - 8 = 0, d - 14 = -3*z. Suppose c = -5*b + 570 + 407, d = 4*c. Does 13 divide b?
True
Let l = 7 + -9. Let n be -2 - -2*(-45)/(-6). Let t = l + n. Does 2 divide t?
False
Suppose 5*s - 11 = 3*d, d - 3*d = 4*s - 22. Suppose -13*v + 34 = 4*v. Suppose -68 = -2*j - s*c, -v*c - 47 + 13 = -j. Is 34 a factor of j?
True
Let g = -20 + 25. Let s(z) = 7*z - 31. Let y be s(g). Suppose -5*x + 277 = 2*h, -y*h + 4*x + 358 = -h. Is 14 a factor of h?
True
Let s = -9 - -5. Let b be (-4)/s*(-1 + 1). Suppose 3*d - 116 - 55 = b. Is d a multiple of 24?
False
Suppose 4*k - 110 = -30. Let b = -57 + k. Let l = -10 - b. Is l a multiple of 27?
True
Let g be (12/(-2 + 4))/((-8)/(-1360)). Suppose b + g = -3*b. Let z = b - -488. Does 14 divide z?
False
Let t(o) = -11*o**2 + 56*o + 31. Let k(q) = -9*q**2 + 52*q + 30. Let y(x) = -4*k(x) + 3*t(x). Does 45 divide y(18)?
True
Let l(t) = -t**2 - 9*t - 10. Let h be l(-7). Suppose y - h*y = -6. Suppose 5*j - y*d - 265 = 0, -3*j + 212 = j + 5*d. Does 8 divide j?
False
Suppose -78727 - 158332 = -4*m - 39*m. Is m a multiple of 37?
True
Suppose 0 = 2*n - 2*x - 52, -n - 56*x + 32 = -54*x. Does 7 divide n?
True
Let a = 125 - 130. Does 14 divide (6 + a)*(-534)/(-2)?
False
Let n = -58 + 63. Let q be n + -5 + 48/2. Suppose q = 2*f - 0*f. Is 4 a factor of f?
True
Let g(o) = o**2 + 2*o - 1. Let r be g(-4). Suppose 41 = -i - r. Let w = i - -72. Is w a multiple of 8?
True
Let k(j) = 4*j**3 - 128*j**2 - 70*j + 169. Is k(34) a multiple of 98?
False
Let y(i) = 2*i**3 - 10*i**2 - i + 5. Suppose 0 = -4*k + g + 24, 2*k = k - g + 1. Let c be y(k). Suppose b - 123 - 133 = c. Is b a multiple of 64?
True
Suppose -10*m + 5*m + 3*m = 0. Suppose m = -5*a + 4*a. Suppose a = 4*k - 2*k - 20. Is 2 a factor of k?
True
Let u = -15 - -19. Suppose 0 = 5*j - u*z + 714 - 2344, -2*j - 2*z = -652. Let q = j + -146. Does 18 divide q?
True
Suppose 13*j = -4 + 56. Let m(u) = 9*u**3 + 10*u - 4. Is m(j) a multiple of 17?
True
Suppose 4*s + 2*f + 5 = 115, -5*f - 25 = 0. Let i = -74 - -78. Let g = s + i. Is 13 a factor of g?
False
Let w = 178 - 47. Let a = 220 - w. Is a a multiple of 23?
False
Let s(o) = -561*o - 2011. Is 80 a factor of s(-14)?
False
Let h = 6557 + -5120. Is 100 a factor of h?
False
Let d be (250*20/32)/(5/20). Let f = -303 + d. Is f a multiple of 46?
True
Let c = 8311 - 7894. Is 139 a factor of c?
True
Suppose -223 = -7*i - 1399. Let r = -15 - i. Does 19 divide r?
False
Let h(k) = 74*k**2 - k - 1. Let t be h(-1). Suppose 0 = -2*b - 2*z + t, b = -2*b + 5*z + 95. Suppose -300 = b*f - 39*f. Is f a multiple of 25?
True
Does 46 divide (33968100/(-185))/(-12) + (-8)/(-148)?
False
Let y(i) = -2*i**2 + 4263. Is y(0) a multiple of 29?
True
Suppose -5*z + 6220 = -5*k, 17*k - 4944 = -4*z + 13*k. Is 20 a factor of z?
True
Let f = 6163 + -80. Does 14 divide f?
False
Let o(x) = 7*x + 3. Let t be o(2). Let k = -14 + t. Suppose -k*w - 21 = -198. Does 13 divide w?
False
Let j(l) = l**3 + 17*l**2 + 42*l - 20. Let r(m) = m - 31. Let p be r(21). Does 13 divide j(p)?
True
Suppose 5136 = -2*s + 50*s. Let n = -76 + 152. Let b = n + s. Is b a multiple of 20?
False
Let h(q) be the third derivative of 5*q**4/4 - 106*q**3/3 + 36*q**2 + 1. Does 7 divide h(15)?
True
Let b(h) = 24*h**3 + 10*h**2 - 16*h**3 - 7*h**3 + 8*h**2 - 19*h. Let d be b(-19). Let l = d + 40. Is l a multiple of 13?
False
Suppose 149409 = 28*d - 108611. Is d a multiple of 13?
False
Suppose -5*l - 406 = -31. Let z = 100 + -277. Let o = l - z. Is 36 a factor of o?
False
Suppose 6*q + q = 28. Suppose -q*k + 174 = -3*a, 71 = k - 4*a + 21. Is 5 a factor of k?
False
Does 8 divide (407330/(-275))/((-1)/10)?
False
Let b(z) = 200*z + 20. Is b(2) a multiple of 12?
True
Let u(q) = q**3 - 20*q**2 - 15*q + 26. Let x be 3/(6/10) - 9/(-9). Let d be (-64)/(-3) + x/(-18). Is u(d) a multiple of 40?
False
Let u = -7 + 202. Suppose 0*r = -5*r + u. Does 13 divide (28/(-12))/(-1)*r?
True
Suppose 5*p + 5 = 6*p. Let d be (p - -3)/((-3)/(-12)). Suppose -d = -4*r + 4*y, -r + 3*r = -y + 19. Does 2 divide r?
False
Let b(n) = 26*n + 176. Let s be b(-7). Is s*((-19760)/600 - 2/5) a multiple of 20?
True
Let x(u) = -470*u**3 - 2*u**2 - u - 1. Suppose -z = -c - 4, 5*c + 5*z = 2*z + 4. Is 36 a factor of x(c)?
True
Let v(z) = 2*z**2 - 18*z + 14. Let t = 425 + -415. Is v(t) a multiple of 15?
False
Suppose 1000*z - 18 = 1006*z. Is 20 a factor of z*10/(-45) - (-1574)/6?
False
Does 2 divide (6/(-5))/((-219)/30295) - (3 - 4)?
False
Suppose -3*q + 12386 = -8*h + 13*h, 3*h - 4130 = -q. Is q a multiple of 21?
False
Suppose 174 = 3*v + 5*g, v - 2*g = -6*g + 65. Does 13 divide (-56 + v)*(-286)/3?
True
Let p(o) = o**2 - 16*o - 20. Let t be p(18). Let m(r) = 9*r - 64. Is 10 a factor of m(t)?
True
Suppose -3*q + 30*x - 24844 = -66934, -2*q - x = -28081. Does 93 divide q?
False
Suppose -6 = -4*n + 2, -4*d = -4*n + 4. Let j be d*((-4)/(-8))/((-1)/8). Is ((-2)/j)/((-7)/(-252)) a multiple of 9?
True
Let k(g) = 172*g**2 - 4 - 17*g - 354*g**2 - 17*g**3 + 178*g**2. Is k(-3) a multiple of 47?
True
Let n = 7002 + 718. Does 20 divide n?
True
Suppose 0 = 37*n - 23104 - 9041 + 2138. Is 22 a factor of n?
False
Let q = 335 - 116. Let o = q + -128. Is 40 a factor of o?
False
Let f(n) = 266*n**2 + 2. Suppose -5*t - 8 + 3 = 0. Let l be f(t). Let w = -112 + l. Is 39 a factor of w?
True
Suppose 2*c + 0*z = -2*z + 10, 2*c - 5*z = -4. Let s be 6*((0 - 2) + c)/3. Suppose s*f = 2*a - 76, 4*a - 2*a - 104 = -5*f. Is 24 a factor of a?
False
Let d(v) = -6*v + 55. Let m be d(0). Suppose -5*o = c - 512, 5*o + m = -4*c + 573. Is 34 a factor of o?
True
Let w = -133 + 78. Let r = w + 91. Suppose -3*q + r = 5*z, 5*z - 14 = 2*q + 12. Is z a multiple of 3?
True
Let w = -17056 - -31897. Is 51 a factor of w?
True
Let m be (-1)/(-3)*116*(-15)/10. Let f = m - -62. Suppose -f*h - 154 = -3*t, 4*h + 43 = -3*t + 237. Does 29 divide t?
True
Suppose -923925 + 256713 = -169*i. Is i a multiple of 7?
True
Suppose 169*m - 173*m + 165554 = 5*x, 4*x + 3*m - 132442 = 0. Is 74 a factor of x?
False
Let j(h) = h**3 - 10*h**2 - 10*h - 3. Let t be j(11). Let i = 21 - t. Suppose d - 4*k + i = 209, 0 = 5*d + 4*k - 860. Is d a multiple of 44?
True
Let o be 3/(12/8) + 203. Let n = o - 123. Let h = -67 + n. Is h a multiple of 6?
False
Let m be 58/18 + 70/9 + -8. Suppose -y + 210 = j - m*y, -2*y + 1098 = 5*j. Is j a multipl