1853, -44*q + 49*q - 103110 = s. Is q a multiple of 17?
True
Suppose n + 0*k + 2*k = 6, 4*n + k = 3. Suppose -5*r - 10 = -n*r, -5*g - 5*r = -3980. Suppose 11*a - g = 8*a. Is a a multiple of 38?
True
Let j be 395/15 + ((-6)/2)/9. Let b(u) = -u**3 + 29*u**2 - 75*u - 14. Is 8 a factor of b(j)?
True
Suppose -d = -26*d - 2*r + 177333, 0 = -2*d + 3*r + 14174. Is 12 a factor of d?
False
Suppose -o + 23 = -4. Let v = o + -24. Suppose -3*d - v*g + 8 = 2*g, -g + 4 = d. Is d a multiple of 2?
True
Suppose -f = 3*u + 135 + 68, 0 = -5*u - 25. Let p = f + 281. Let c = -42 + p. Is 5 a factor of c?
False
Does 114 divide ((52/(-13))/(-8))/((-8871)/(-8870) - 1)?
False
Suppose 13*x = 3*x + 3650. Let d = x + 32. Is 29 a factor of d?
False
Suppose 9*t + 5*t - 105336 = -10*t. Is t a multiple of 33?
True
Suppose 0 = 5*x + 5*u + 320, 3*x - 3*u + 168 + 24 = 0. Let h = x - -76. Is 12 a factor of h?
True
Let v(o) = 3*o**2 - 12*o + 12. Let r be v(1). Suppose 2*w + 3*w = 0. Suppose r*i + 3*m - 69 = 0, -5*i = m - w*m - 107. Does 3 divide i?
True
Let k(u) be the second derivative of u**4/4 - u**3 + 19*u**2/2 + 3*u + 1. Let g = 14 + -5. Does 26 divide k(g)?
True
Suppose 4*a + 8509 = 4*f - 13267, -a = -4. Is f a multiple of 12?
True
Suppose n - 6 = 7. Suppose 9*y + 484 = n*y. Is 23 a factor of y?
False
Let y(o) = 2*o**3 + 2*o**2 - 3*o. Let g be y(-3). Suppose 40*n - 124 - 2156 = 0. Let k = g + n. Is k a multiple of 13?
False
Suppose -17*k + 21*k + 2*v = 35194, 2*k - 17603 = 5*v. Is 12 a factor of k?
False
Is 17 a factor of (9 - -22 - 24) + 40592/1 + -3?
True
Let h(n) = -9 - 3*n - 3*n**2 + 2 + 4*n**2. Let d be h(5). Is 10 a factor of 1/d - 2508/(-36)?
True
Let b(y) = 3*y**2 + 29*y + 10. Let a be b(-8). Let t = a - -87. Is 19 a factor of t?
True
Let o(y) = -8 + 167*y - 3*y**2 + 33*y**2 - 144*y. Does 10 divide o(-4)?
True
Suppose -1076712 = 9*n - 241*n. Is 12 a factor of n?
False
Let c be 2/(-9) + (-220)/(-18). Suppose 14*k - 16*k = -c. Is 44/k*(-24)/(-2) a multiple of 22?
True
Let h be (32/3)/((-20)/(-15) + -1). Suppose 0 = 30*a - h*a + 366. Suppose -2*l + 2*s + 66 = 4*s, -a = -5*l + 4*s. Is 7 a factor of l?
True
Suppose -r + 128 + 93 = 0. Let u = 187 + r. Is 13 a factor of u?
False
Let p(q) = 4*q - 42. Let d be p(11). Suppose -3*f + d*f = -59. Let x = f - -12. Is 15 a factor of x?
False
Suppose 6*a + 3*b = 2*a + 21, 3*a + 4*b - 14 = 0. Does 23 divide 77*((-20)/(-35) + a)?
True
Let r = 141 - 79. Suppose 0 = -f + r + 64. Suppose 5*w - f - 14 = 0. Does 16 divide w?
False
Let c = 15539 + -7799. Is 10 a factor of c?
True
Let z(q) = -1282 - 1377 + 20*q**2 + 2733 + 6*q - q**3. Is z(19) a multiple of 61?
True
Let s(p) = 2*p - 28. Let n be s(-8). Let k = n - -48. Suppose -4*q - 4*o + 108 = 0, -5*o + 97 = k*q - 12. Does 15 divide q?
False
Let j(h) = 3*h - 43. Let l be j(16). Suppose 3*r - 2*w - 3 = 11, 0 = l*w + 20. Is -2*r*2/(-1) a multiple of 5?
False
Suppose 0 = r + 2, -3*r + 237 = 5*t - 187. Does 49 divide t?
False
Let j(f) = -f - 3. Let l be j(14). Let w(v) = -4*v**2 - 9*v + 8. Let o(q) = 11*q**2 + 26*q - 24. Let b(k) = l*w(k) - 6*o(k). Is 6 a factor of b(3)?
False
Let x(l) = l**2 + 10*l - 150. Let p be (-60)/(-35)*70/(-4). Does 9 divide x(p)?
True
Let p = 15 + -10. Suppose 8 + 2 = -p*r. Is 33 a factor of r/(-10) - (-3458)/35?
True
Let x be 1/(5*(-5)/(-150)). Suppose 0 = -2*k - 8, -x*k - 506 = -3*w - k. Is 20 a factor of w?
False
Suppose 52 + 48 = -4*w. Let q(o) = o**3 + 24*o**2 - 26*o + 1. Let x be q(w). Does 10 divide (-40)/(-6)*195/x?
True
Let z = 6951 + -3756. Is 71 a factor of z?
True
Let f = -156 - -179. Suppose f - 635 = -18*u. Is u a multiple of 17?
True
Suppose 64*d + 18 = 73*d. Let m(u) = 2*u**3 + u**2 - 4*u. Is 4 a factor of m(d)?
True
Let h = 387 + 417. Suppose 0 = -5*c + h + 216. Does 6 divide c?
True
Let u be ((-12)/(-18) + -2)/(4/(-6)). Suppose u*d = -7*d + 585. Does 21 divide d?
False
Let u(t) = 17*t**3 - 24*t**3 + t**2 - 4*t + 3*t + 6. Let z be u(-4). Let f = z + -325. Does 42 divide f?
False
Let m(v) = -1445*v - 5956. Does 96 divide m(-20)?
True
Is 15 a factor of (16/(-16))/((-19902)/(-3318) - 6)?
False
Let s = -13214 + 17763. Does 69 divide s?
False
Let n be (-84)/(-7)*(-77)/28. Is 16 a factor of (-11)/n - 5074/(-6)?
False
Suppose -5*h - 2*x - 4 = -4*x, 2*x = 2*h + 4. Let y be 100 + -1*(2 - h). Suppose -y = -2*q + 46. Is 8 a factor of q?
True
Suppose 0 = -v + 6*v - 35. Let a(q) = 11*q + 1. Let b(y) = y**2 - 25*y - 10. Let k(h) = 3*a(h) + b(h). Does 14 divide k(v)?
True
Let f(q) = -q**3 - 5*q**2 - 6*q - 35. Let w be f(-5). Let o be -2 + 14 - (5 + -7 - w). Suppose -57 = -4*t - o. Is t even?
True
Let l(s) = 11*s - 69. Let q be l(9). Let j(x) = -x**3 + 29*x**2 + 43*x - 116. Does 24 divide j(q)?
False
Does 13 divide 17176/6 - (95/57 + 1)?
True
Suppose 4831 = 14*s - 2323. Let g = -226 + s. Is 19 a factor of g?
True
Let s(u) = 1267*u**2 + 689*u + 2749. Is s(-4) a multiple of 35?
True
Let r(a) = -a**3 + 44*a**2 + 115*a - 98. Is r(46) a multiple of 3?
True
Suppose a = 5 - 4. Suppose -3*r = 2*k + 5, -r + 4*r - 4*k = 19. Is 2 a factor of (r + -6)*24/(-5 - a)?
True
Let f(l) = -l**3 + l**2 - l - 1. Let b(p) = 3*p**3 - 5*p**2 + 59*p - 7. Let g(u) = -b(u) - 4*f(u). Is 11 a factor of g(10)?
True
Let m(w) = 3789*w + 6658. Is 8 a factor of m(6)?
True
Let u be -40*(-20)/30*15/4. Suppose 3*o - 2*o = -4*y - 7, -1 = 3*o + 2*y. Is (o - 9)*(-5)/(u/185) a multiple of 12?
False
Let q = -55 - -61. Suppose 4*l + 4*c = 180, l - q*c = -9*c + 47. Is 4 a factor of l?
True
Suppose -5*z = -y + 62 + 25, 127 = y + 5*z. Let h = y - 209. Does 4 divide (-5*h/60)/((-1)/(-2))?
False
Let p(r) = -r**2 + 6*r + 24. Let c be p(11). Let t be (-2)/(-7) - ((-61)/7 + -2). Let j = t - c. Is j a multiple of 14?
True
Suppose -403 = 4*v + 501. Does 33 divide (-3 - (-4)/8)*-2 - v?
True
Suppose -5*i - 3*g + 13990 + 1587 = 0, -i + 3119 = -3*g. Does 36 divide i?
False
Let u = 379 - 205. Suppose -3*t = a - u, -3*a = 2*t - 5*t - 474. Is 5 a factor of a?
False
Suppose 0 = -8*i - 0 + 8. Does 47 divide (-3 - -3)*i - (5 - 196)?
False
Suppose -30*o - 7433 = -67133. Is o a multiple of 5?
True
Let v(j) = -j**2 - 2*j - 1. Let f be v(-1). Suppose f = 7*k - 1282 - 706. Is 71 a factor of k?
True
Let q(c) = c**3 + 11*c**2 + c + 4658. Is q(0) a multiple of 19?
False
Suppose -8*l = l - 9. Is l/(6/36)*67/3 even?
True
Let k = 82 + -90. Let l = k - -11. Suppose m = -l*m + h + 806, 5*m = 2*h + 1006. Is m a multiple of 15?
False
Let b(m) = 49*m + 1643. Is b(63) a multiple of 31?
False
Let r(o) = 8*o**2 + 4*o + 1. Let u be r(2). Suppose 4*n = -3*a + u, 2*a + 10*n = 8*n + 28. Is (1300/8)/5*24/a a multiple of 13?
True
Let l = 5922 + -5292. Does 10 divide l?
True
Suppose 0 = 2*i + 2*z - 62562, 4*i + 2*z = 101057 + 24059. Is 16 a factor of i?
False
Let r be -4 + (2/(-2) - (-28 - 2)). Suppose -r*m = -15*m - 3230. Does 7 divide m?
False
Let z be 4 + 6 + -1*(4 + -3). Does 11 divide (-6)/z*(-330)/10?
True
Let g(d) = 3*d + 452. Let o be g(0). Let j = o + -227. Suppose 4*f = -3*s + 695, s - 2*f + 0*f - j = 0. Is s a multiple of 10?
False
Let q(a) = 138*a + 1322. Does 34 divide q(19)?
True
Let s(b) = 26*b + 57. Let z be s(-21). Let d = 741 + z. Is d a multiple of 18?
True
Let u = -280 - -119. Let a = u - -287. Does 28 divide a?
False
Suppose 0 = j - h - 8 - 1, j + 5*h = 9. Suppose -w = 4*u - 111, -u + j*w + 33 = 4*w. Is 7 a factor of u?
True
Suppose -3*o - 230 = -4*l + 1993, 3*l = 3*o + 1668. Is 31 a factor of l?
False
Suppose -4*k - 8 = 0, 2*k = -g - 2*k - 2. Suppose 2*t + 9 = 89. Suppose t = g*p - 38. Is p a multiple of 9?
False
Let i = 2447 - 650. Is i a multiple of 7?
False
Suppose -4 = -5*n + n. Let s(k) = -k**2 + 5*k - 1. Let m be s(4). Suppose -5*c + l = -83, 0 = -l + m - n. Is c a multiple of 17?
True
Suppose 4*t = -69*p + 70*p + 590, 4*p = -5*t - 2339. Let k = 650 + p. Is k a multiple of 8?
True
Let h = 96 - 82. Suppose h = -y + 3*y. Let q(z) = 3*z**2 - 13*z + 9. Is 11 a factor of q(y)?
False
Is 3 a factor of 40/((((-4)/7)/((-6)/(-21)))/(-5))?
False
Let u(t) = 80*t**3 - 3*t**2 - 21*t + 34. Let y be u(4). Suppose -y = -38*z + 29*z. Is 24 a factor of z?
False
Suppose -9*b = -4*b + 5. Let w be 50/15*((-10)/(-4) + b). Suppose 695 = w*h - 25. Does 24 divide h?
True
Let k(i) be the first derivative of i**3 - 3*i**2/2 + i - 4. Does 19 divide k(4)