
Suppose 3*k + 2*l + 4 = 0, 5*k - 4*l - 30 = -0*k. Let o(r) = 4*r + 53 - 5*r + k*r. Does 53 divide o(0)?
True
Suppose -j - 2*u = -10179, 2*j + u - 21006 = -648. Is j a multiple of 13?
True
Let o = -360 - -367. Suppose 6*x - o*x + 448 = 4*j, -4*x + 1712 = -4*j. Is x a multiple of 72?
True
Let h be (-5990)/60 - (-2)/(-12). Let k be (-60)/50*h/3. Suppose s - k = -s. Is s a multiple of 5?
True
Let r(s) = -55*s + 97. Let v(w) = 58*w - 97. Let m(j) = -3*r(j) - 4*v(j). Does 9 divide m(-12)?
False
Let n(g) = g**3 - 7*g**2 + 3*g - 21. Let x be n(7). Let l be (x + (1 - -4))*(-184)/(-115). Does 7 divide ((-2)/3)/(l/(-1092))?
True
Let c = 48 - 41. Suppose 243 = c*p - 4*p. Let m = 175 - p. Is m a multiple of 47?
True
Is (-54192)/(-17 - -5) - 11 a multiple of 5?
True
Let k(l) be the first derivative of 22*l - 151 + 117 + 44*l + l**2. Is k(-13) a multiple of 4?
True
Let c(q) = -q**2 + 19*q + 19. Let u be c(19). Let d = 189 - u. Does 34 divide d?
True
Let k = 976 + -432. Does 32 divide (-15 + 3)*k/(-12)?
True
Let v(d) = 2*d**2 - 3*d - 10. Let w be v(-2). Suppose -w*t = 2*t - 312. Does 16 divide t?
False
Suppose 161*t = 3*t + 58049 + 41491. Is t a multiple of 21?
True
Suppose -184 = -y + 3*y. Let q = -1682 - -1826. Let s = q + y. Is s a multiple of 13?
True
Let u be 2 + 4016/(-6) + (-3)/(-9). Let a = -435 - u. Let b = a - 113. Is 23 a factor of b?
False
Suppose -355 = -18*h + 13*h. Suppose 0 = -4*d, 2*c = -67*d + h*d + 910. Is c a multiple of 35?
True
Let q = -2933 - -3982. Is 4 a factor of q?
False
Let i = -63 - -72. Let w be 2/((-12)/(-2971)) + i/(-54). Let t = -348 + w. Is 15 a factor of t?
False
Let y(a) = 2*a**3 - 5. Suppose 10*l = 11*l. Let b be y(l). Is (-54)/b + 1/5 a multiple of 2?
False
Let k(f) = -82*f + 6801. Is k(30) a multiple of 14?
False
Let i be (-5)/((-50)/4)*5. Suppose 0 = -4*s + 2*q - 2, 5*s + 2*q - i = s. Suppose -22*j + 28*j - 132 = s. Does 4 divide j?
False
Let p(t) = t**2 + 26*t + 53. Let z be (-17 - (-9)/(-3)) + (-8)/2. Is 2 a factor of p(z)?
False
Let f = 3 + -6. Let d(a) be the second derivative of 3*a**4/4 + 5*a**3/6 + 7*a**2 + a + 507. Does 10 divide d(f)?
True
Let p = -48969 - -76976. Is p a multiple of 34?
False
Suppose -344 = -127*g + 164. Is 4 a factor of g?
True
Does 2 divide ((-6*1/8)/((-21)/1036))/1?
False
Let x(a) = 6*a**2 + a + 111. Is x(-9) a multiple of 21?
True
Let g(b) = 30362*b**3 - 4*b**2 + 17*b - 15. Is g(1) a multiple of 115?
True
Let i(s) = s**3 - 15*s**2 + 97*s - 531. Is i(27) a multiple of 172?
True
Let b = -37238 + 77138. Is b a multiple of 42?
True
Suppose -24715 = -22*s + 57653. Does 26 divide s?
True
Is 54 a factor of (-7386)/(-6) - (2 - -12)?
False
Let i(k) = 33*k + 27 + 0*k**3 + k**2 + k**3 - 22*k**2 - 56*k. Let v be i(22). Suppose 0*z - 225 = -v*z. Is 25 a factor of z?
False
Let k = 62 - 51. Suppose -k*l - 168 = 10*l. Does 14 divide 2/((-8)/(-387)*(-6)/l)?
False
Let s(z) = 199*z - 1089. Does 142 divide s(30)?
False
Let j = -40 + 42. Let g(w) = -w**3 + 3*w**2 - 4*w + 5. Let k be g(j). Does 11 divide k*165/(-20)*-4?
True
Suppose -5*j + 10 = -5*s, 4*s = 5*j - 26 + 11. Suppose 3*a - j*a = -860. Is a a multiple of 10?
False
Suppose -31 = -4*k - 5*n, 5*n - 10 = -5*k + 25. Suppose 182 = -c + 2*c - l, -k*c + 758 = 2*l. Is 17 a factor of c?
True
Let m be 671/99 + (-2)/(-9). Suppose -m*i + 956 = -3*i. Suppose 3*d - i = -p, 6*d - 4*p - 404 = d. Is 16 a factor of d?
True
Let h(t) = 532*t**2 - 60*t - 180. Is h(-3) a multiple of 18?
True
Let h = -15 - -19. Suppose 3*g = -h*a + 271, -3*g = -a - 141 - 125. Is 8 a factor of g?
False
Let p = 4807 - -11648. Is 15 a factor of p?
True
Let o(q) = 2*q**3 - q**2 - 14*q - 35. Let v(d) = -3*d**3 + d**2 + 21*d + 52. Let z(k) = -8*o(k) - 5*v(k). Is z(5) a multiple of 2?
False
Let y(w) = 94*w - 2103. Does 14 divide y(29)?
False
Suppose -255*d = -302*d + 27072. Is 12 a factor of d?
True
Let b = 9152 - -13390. Does 221 divide b?
True
Let n(z) = -31*z + 15. Suppose 59 - 14 = -15*b. Let i be n(b). Let g = -68 + i. Is 10 a factor of g?
True
Suppose -3*f + 8*f = 3*s + 31, f - 15 = 5*s. Suppose -f*c = -3*c - 648. Is 36 a factor of c?
True
Let t = 108376 + -48666. Is 35 a factor of t?
True
Suppose 0 = -5*y + 6*y - 18. Let m be y/(-15)*(-30)/12. Let k(v) = 4*v**2 + 8. Is k(m) a multiple of 11?
True
Suppose 5*s = -0*f + f - 1253, 2*s + 6173 = 5*f. Is 10 a factor of f?
False
Suppose -2*d = 20 + 36. Let i = d + 20. Let a(g) = 3*g**2 + 13*g - 4. Does 14 divide a(i)?
True
Let u(l) = -3*l**3 - 10*l**2 + 5*l + 3. Let z be u(-6). Is (20/8 - 1) + z/6 a multiple of 15?
True
Let z be 66 - -1882 - ((-1 - -1) + -2). Suppose 32*l - 42*l = -z. Is 7 a factor of l?
False
Let c(i) = i**2 - 4*i + 13. Let t be c(8). Let l = 48 - t. Suppose -5*u = -l*z + z - 270, z = 0. Is u a multiple of 8?
False
Let r be (-9)/((-152)/(-32) - 4). Is 16 a factor of (-3081)/(-6) - r/(-8)?
True
Let x(b) = 38*b + 39. Let h be (9/(-3) - -6)*(6 - 3). Let s be x(h). Suppose 0 = -5*m + s + 24. Is 17 a factor of m?
False
Suppose 0 = -y + 66 - 69. Does 42 divide y*(8 - -1042)/(-3)?
True
Suppose 0*z = 14*z - 336. Suppose 2*t - 6*t + 20 = 0, -3*q - 3*t + z = 0. Does 14 divide (-67 - (-5 + q))*-1?
False
Suppose 0 = 10*p - 2*p + 16. Is 13 a factor of 4/p*-269 - (5 - 0)?
True
Let p(r) be the third derivative of r**5/30 + r**4/3 + 187*r**3/6 - 2*r**2 + 10*r. Is p(0) a multiple of 3?
False
Let u(r) = -16*r**3 + 6*r**2 - 2*r - 4. Suppose 4 = 4*i, -5*g + 0 = -2*i - 23. Let t be u(g). Is t/(-56) + 4/(-14) a multiple of 11?
True
Let u(a) = -a**2 + 5*a - 4. Let t be u(3). Suppose t*d - 146 = 42. Let i = d + 56. Does 25 divide i?
True
Let q(i) = -3*i**3 + 37*i**2 + 17*i - 27. Is 3 a factor of q(9)?
True
Suppose -34 = -6*b - 10. Suppose 64 = -b*o - 5*r, 4*r = 3*o + o + 64. Does 22 divide 175 + o/(-2) + -3?
False
Suppose 23 = -7*n + 44. Suppose -26 = -5*v - 11, -5*f = n*v - 1729. Is 17 a factor of f?
False
Suppose -19*y + 23*y - 1576 = 0. Is 3 a factor of y?
False
Suppose 23*d + 10*d = 0. Suppose -4*o + 2424 = -101*j + 105*j, d = -j + 4. Is 8 a factor of o?
False
Suppose t = 23 - 21. Is 37 a factor of (-24)/60 - ((-1657)/5 - t)?
True
Let p(f) = 11*f**2 + f + 24. Let t be p(-6). Suppose -3*c = 2*o + 10, 3*o + 2*c + 17 = -2*c. Does 20 divide 4/14 + o/((-231)/t)?
True
Let x = 361 - 231. Let f = x - 33. Does 9 divide f?
False
Let m = 95084 + -30476. Does 96 divide m?
True
Let t(j) = 51*j + 562. Let o be t(0). Let f = -422 + o. Is 6 a factor of f?
False
Suppose 3*d + 0*c + 484 = -2*c, -d - 166 = 3*c. Does 24 divide (43 - -1)*110/d*-4?
False
Let j = -820 - -825. Does 6 divide (13338/(-65))/(j/(-25))?
True
Let f be 1/((-11)/(-51) - 22/(-187)). Suppose 0 = 5*p - 3*p + f*m - 1411, -2*m - 10 = 0. Does 31 divide p?
True
Suppose -2*m + 0*m + 32 = 0. Let w(l) = 54 - m*l - 28 - 36. Is 14 a factor of w(-5)?
True
Suppose 7*w - 520 = -170. Is 6*(-115)/w*-5 a multiple of 3?
True
Suppose -8 = -7*c + 4*c + s, 0 = 2*c - 2*s. Suppose 990 = w + c*w. Is 11 a factor of w?
True
Let n = 25677 - 17181. Does 12 divide n?
True
Let t = -196 - -279. Let a = t + -56. Is a a multiple of 5?
False
Does 9 divide (-202)/(-303) + (-294125)/(-15)?
False
Let p be (86/(-3))/(8/(-24)). Let u = -212 + p. Is (2/(-4))/(3/u) a multiple of 21?
True
Let l be (-42)/12*(-8)/14. Suppose 3*n - 4 = -n, l*t = -5*n + 19. Is t even?
False
Let j(l) = -525*l - 2443. Is 72 a factor of j(-9)?
False
Let c = 7788 - 4800. Does 9 divide c?
True
Is 11 a factor of ((-11)/3)/(13*(-11)/292149)?
True
Let l = 33407 - 32633. Is l a multiple of 9?
True
Suppose 89*s = 99*s - 20720. Suppose 4*v = -2*j + 2072, 4*v + j = -2*j + s. Is v a multiple of 37?
True
Suppose -6*o + 167 = 791. Is 3 a factor of (o + 3)*(-4)/(4 - 0)?
False
Let v = 16 - 13. Suppose p = -2*a + v + 6, 5*a - 24 = -3*p. Suppose -120 = -9*q + p*q. Does 10 divide q?
True
Suppose -11403 = 22*l - 385535. Is l a multiple of 44?
False
Let t(p) = -p**2 + 6*p + 4. Let r be t(6). Let d be -1*-6*4/r. Suppose 0 = 8*v - d*v - 128. Does 13 divide v?
False
Let i = -30 - -26. Let y be (-6 - -2)/(i/5). Suppose 635 = y*b - 5*d, 0*b - 4*d - 379 = -3*b. Does 43 divide b?
True
Let i be 6/21 + 96/56. Suppose j - 111 = 3*z, 0*j + 2*z + 238 = i*j. Suppose j = 4*s - 397. Does 13 divide s?
True
Is 101 a factor of (-2)/2*(1 + 100)*1184/(-32)?
True
Let k(v) = -v**3 + 5*v**2 + v - 7. 