8*l + 178*l. Is 22 a factor of l?
True
Suppose -197*q + 7537216 = -29*q + 94*q. Does 32 divide q?
True
Let p be -12*(-9)/(-12)*15. Is (-2 - 57/(-27)) + (-3765)/p a multiple of 7?
True
Let k(x) = -5*x + 5. Let j be k(-2). Let p(l) = 2*l**2 - 33*l - 12. Let z(b) = b**2 - 17*b - 6. Let o(y) = 4*p(y) - 9*z(y). Is o(j) a multiple of 24?
True
Suppose 154*y - 61950 = 124*y. Is y a multiple of 59?
True
Let z(k) = 27*k**3 - 30*k**2 + 15*k - 97. Is 51 a factor of z(6)?
False
Suppose 109*t + 38*t - 495801 - 92493 = 0. Is 46 a factor of t?
True
Suppose -r - 885 = -4*x, 0 = 2*x + 2*r - 247 - 193. Let c = x + -175. Is c even?
True
Let h = 40192 - 14445. Does 185 divide h?
False
Let u be (12/(-5))/4 - (-14)/(-10). Let a be 3195/(-25) - u/(-10). Let s = a + 224. Is s a multiple of 16?
True
Suppose 0 = -372*v + 362*v. Suppose v = 2*r + 3*r - 2800. Is 7 a factor of r?
True
Is 27 a factor of (-648)/27 + 23 + 138*158/4?
False
Let u(k) = 56*k**2 + 1402*k - 22. Is u(-27) a multiple of 31?
False
Let k be (-15 - -2 - -17) + 8/(-2). Let z(g) = g**3 - 2*g**2 - 4*g + 647. Does 44 divide z(k)?
False
Suppose 2*c - 3*k - 12640 = 0, -c - k = c - 12640. Is c a multiple of 71?
False
Let t = -2830 + 5560. Is t a multiple of 26?
True
Suppose -2*b + 5 + 3 = 0. Suppose b*o + 2*q - 158 = 60, o - 5*q = 27. Does 13 divide o?
True
Let z(q) = 2*q**2 + 30*q - 9. Let l be z(-15). Let d = -6 - l. Suppose -82 = -t - t - 2*w, d*w - 15 = 0. Is t a multiple of 18?
True
Let c = 52 + -52. Suppose -3*t + 12 + c = 0. Suppose -3*w = v - 127, -428 = t*v - 8*v + 4*w. Is v a multiple of 8?
True
Let p(h) = -2*h**2 + 2*h - 2. Let j be p(1). Let v be -2 - -4 - j/(-1). Suppose v = -3*n + 30. Is 2 a factor of n?
True
Let z = 693 + -345. Suppose j - z = -63. Is j a multiple of 19?
True
Let g(h) = h**2 - 50*h - 17. Let j be g(40). Does 10 divide (-2 + (-4 - j))*(-2)/(-2)?
False
Let h be 4 + ((-1602)/10 - 2/(-10)). Let q = h - -188. Is 8 a factor of q?
True
Suppose -84 = -4*f - 5*y, 9*f - 5*f + 4*y - 84 = 0. Suppose 18*v + 582 = f*v. Is v a multiple of 23?
False
Suppose -371 + 20243 = 69*m. Is m a multiple of 8?
True
Let n(r) = -109*r + 5. Let l be n(2). Does 16 divide 44/77 + l/(-7) + -1?
False
Is ((-114)/18)/(-2*8*4/41280) a multiple of 43?
True
Let r be (4/(-20))/(8/(-80)). Suppose -1277 = -r*p + 5*i, 5*p - 3220 = 4*i - 2. Does 19 divide p?
True
Suppose -4*z = -9*z + 20, 1226 = j + 2*z. Does 27 divide j?
False
Let x = -153 - -8. Let n = -65 - x. Suppose -5*i + 96 = -i - 4*v, 3*i - 5*v = n. Is 10 a factor of i?
True
Suppose -3*h = -h - 3*h + 351. Does 10 divide h?
False
Suppose a + 7*a + 152 = 0. Let u = 19 + a. Suppose -4*p + 860 = 5*c, u = 4*p - 3*p - 5. Is 24 a factor of c?
True
Let c(j) = -j**2 + 19. Let b be c(-4). Suppose -o - 866 = -b*o. Does 24 divide o?
False
Suppose 160 - 484 = -108*d. Let b(o) = -2*o - 1 - 3 + o**3 - 2*o + 3*o**2. Is 19 a factor of b(d)?
True
Let b(k) = 327*k**2 - 3*k. Let i be b(-4). Let t be 1/2 + i/24. Suppose 2*j + 186 = 4*q, 0 = -5*q - 3*j + j + t. Does 8 divide q?
False
Suppose -32*x + 18292 = -29*x - 1418. Does 13 divide x?
False
Does 13 divide (558/12)/(7/1372)?
False
Suppose -9*r - 4893 = -111381. Does 29 divide r?
True
Suppose -m - 131 = -4*r, -5*r + 333 = -3*m - 60. Let k be m/(-7) - (-6)/21. Suppose k = i - 23. Is 7 a factor of i?
True
Let j(t) = t**2 + 9*t + 30. Let b(w) = -2*w**2 + 25*w + 68. Let d be b(15). Is j(d) even?
True
Let x be (-308841)/(-507) - 2/13. Does 15 divide x/12 - 11/(-44)?
False
Let l be (-4)/(-14) - 3210/14. Let c = -2408 - -2733. Let u = c + l. Is u a multiple of 16?
True
Let p be 626/(-30) + 16/(-120). Let q = -19 - p. Suppose 2*z - 30 = 3*w, -q*w + 6 - 92 = -5*z. Is z a multiple of 3?
True
Suppose -130*c = -127*c + 6. Does 16 divide 172 + (c - 7/(-1))?
False
Does 17 divide (-2*(6 + -4))/(6/(-4236))?
False
Let z = 50 + 33. Does 26 divide (-15)/5 + z + -2?
True
Suppose 4*p = -2 - 22, 2*g - 518 = -5*p. Is g a multiple of 4?
False
Let y be 43/4*(-38 + 6). Let h = 649 + y. Is 9 a factor of h?
False
Let n(v) = -48*v + 81. Let s be n(5). Let x = -121 - s. Does 12 divide x?
False
Let p be 6 + (-1)/(-2)*52. Suppose p = -0*l + 4*l. Does 8 divide l?
True
Let h(d) = -d**2 + d + 37. Let l be h(6). Is (-94)/329 + 1626/l a multiple of 5?
False
Does 73 divide (-6*3/27)/(2/(-23871))?
True
Let t(k) = -588*k + 4668. Does 24 divide t(-11)?
True
Let r = 245 + -162. Let l = r - 19. Is 16 a factor of l?
True
Let h(d) = 2 + 14*d**2 + 2*d**3 + 0*d - 5*d + 5 - 13*d**2. Let l be h(3). Let o = l - 46. Is 3 a factor of o?
True
Suppose 5613 = 15*g - 507. Let a = g + -168. Is a a multiple of 28?
False
Suppose -104*w + 103*w = -300. Suppose -54 = 3*v - w. Is v a multiple of 26?
False
Suppose 3*p + 16 = 3*u + 4*p, -3*u + 46 = -5*p. Is 161 - 1*28/u a multiple of 22?
False
Suppose 2*q + q = -3*r + 15, 3*q = -r + 1. Let v(z) = z**3 - 7*z**2 - 7*z - 11. Let g be v(r). Let i = -49 - g. Is i even?
False
Let g = -2545 + 5002. Suppose -18*z - 1017 = -g. Is 16 a factor of z?
True
Let q be 25/(-175) - 68/14. Does 10 divide ((-5)/10)/((-341)/68 - q)?
False
Let w(q) = -18*q**3 - 2*q**2 - 96*q - 360. Does 11 divide w(-4)?
True
Let w = -329 + 450. Suppose 4*x = q - 1116 + w, 5*q = -4*x + 4999. Is 56 a factor of q?
False
Let y(f) = -3*f**3 - 3*f**2 - 10. Let b be y(-5). Suppose b = 31*g - 30*g. Is g a multiple of 58?
True
Let y be ((-1)/2 + -1)/(3/(-16)). Let v(r) = -4*r + 17. Let c be v(-5). Let p = c + y. Does 5 divide p?
True
Let u(c) be the first derivative of -c**5/12 - 5*c**4/8 + 17*c**3/3 + 1. Let r(v) be the third derivative of u(v). Is 45 a factor of r(-6)?
True
Suppose 0 = 61*s + 46*s - 936999. Is 10 a factor of s?
False
Let k(o) = o**3 + 8*o**2 - o - 10. Let q be k(-8). Let p(a) = -4*a**3 - 3*a**2 + 4. Let x be p(q). Let i = 143 - x. Does 17 divide i?
True
Suppose -2*s - 2*s = -960. Let q be 4/(2/s*4). Does 24 divide (q/25)/(4/20)?
True
Suppose 16*k = 7*k + 34479. Is 44 a factor of k?
False
Let h be (25/(-10) - -1)/(6/(-8)). Suppose r + d - 56 = 0, -3*r + 3*d + 52 = -h*r. Let s = -36 + r. Is s a multiple of 3?
False
Let k(m) = -m**3 - 10*m**2 + 10*m. Let b be k(-11). Let g(a) = 11*a**2 + 4*a**3 - b - 2*a**3 - 4*a**3 + 7*a + 3*a**3. Is g(-10) a multiple of 3?
False
Let g be 3/(-6) + (-2)/((-12)/195). Let l be (-4)/14 - g/(-14). Suppose -l*m = -6*m + 36. Is m even?
False
Let p(o) = 344*o**2 - 70*o + 11. Does 19 divide p(-4)?
True
Suppose -10*v = -9*v + 4. Is 33 a factor of 4/(8 + v) - -299 - 3?
True
Let z(v) = 7*v**2 + 35*v + 59. Let p be z(-18). Suppose 1363 = l + 3*l - r, r = -5*l + p. Is 10 a factor of l?
True
Let l = 327 + 435. Let p = l - 675. Does 2 divide p?
False
Let a = -337 - -971. Let l = -229 + a. Is l a multiple of 35?
False
Suppose 5*u - 4*d - 95 = 0, 4*u + 4*d = 25 + 51. Suppose 0 = -j - 2*w + 33, 4*j - 13 = w + 74. Suppose -j*q + 16 = -u*q. Does 2 divide q?
True
Suppose -7*g - 8 + 36 = 0. Suppose 1 = 5*i + g*s - 3, -s = i. Suppose 2*q - 3*q + 230 = i*n, -n + 230 = q. Does 17 divide q?
False
Suppose 4*k - 2*b - 181 = 145, -k - 5*b = -65. Is k even?
True
Let g(d) = -d**3 - 122*d**2 + 229*d - 239. Is 103 a factor of g(-124)?
False
Suppose 9*h - 624 = -7*h. Suppose -64 = -3*z - a, -3*a - h = -z - z. Is z a multiple of 2?
False
Does 15 divide 4 + -15*(-15)/((-75)/(-638))?
False
Does 19 divide 38947 - (-23 + -3 + 23)?
True
Suppose -70*r = -440916 - 283660 + 93456. Does 46 divide r?
True
Let r(y) = 2*y**2 + 5*y + 3. Let w be r(-3). Let j be 17 - -4*(-8)/2. Is 26 a factor of j*(61 - 4*3/w)?
False
Let a = 29 - 1. Suppose 2*m = -5*q + a, 2*q - 24 = -5*m + q. Is 3 a factor of m?
False
Suppose 5*m + 3143 - 13542 = -7*y, 4144 = 2*m - 5*y. Does 7 divide m?
False
Let h(a) = 4*a - 8. Let w be h(2). Suppose w = 4*s + n - 4510, 5*s - 5630 = -0*s - 5*n. Is s a multiple of 12?
True
Let a(o) = 771*o**2 - 154*o + 313. Is 10 a factor of a(2)?
False
Suppose f - 39 + 33 = 0. Does 41 divide (-10963)/(-133) + f/(-14)?
True
Suppose -36*n = -31*n - 5. Suppose 2*b - 29 = -5*k, 2*b = k - 2 + n. Suppose 2 = -m, -k*m + 160 = 5*i - 3*i. Is 17 a factor of i?
True
Let b be (-3)/6 + (-25923)/(-6). Suppose -4*q = 11*q - b. Is 48 a factor of q?
True
Let j = 0 - -3. Suppose -4*a + 2*b = -3176, -5*a = j*b - 3973 + 25. Suppose -4*g = 5*x - a, -x = 5*g - 56 - 94. Does 40 divide x?
True
Let q = 2369 - 