 - u/(-5). Is 4 a factor of 32/(-24)*m/(-4)?
False
Suppose -1730 = -5*m + o, -1329 - 71 = -4*m + 4*o. Is m a multiple of 14?
False
Suppose -q - 5*h + 52 = 8, 5*q + 2*h - 289 = 0. Is q a multiple of 5?
False
Suppose 0 = -9*q + 3760 - 880. Is 20 a factor of q?
True
Suppose 2*y + 676 = 4*k, k + 4*y - 87 = 100. Is k a multiple of 2?
False
Let s be (-6)/(-36) - (-17)/6. Suppose -s*m = 4*m. Suppose -2*q + 4 = m, 3*b + b = -4*q + 148. Is 17 a factor of b?
False
Suppose -q + l = 2*q - 68, -3*l + 108 = 4*q. Is ((-19)/2)/((-3)/q) a multiple of 22?
False
Let z(k) be the first derivative of -k**4/4 - 11*k**3/3 - 13*k**2/2 + 13. Is 5 a factor of z(-10)?
True
Suppose 4*b + b + x - 849 = 0, -4*b = 3*x - 688. Suppose -b + 453 = 4*f. Is f + (6 + -4)*2 a multiple of 19?
False
Let p be (-367)/(-6) - 2/12. Suppose p = 2*r - 59. Is r a multiple of 7?
False
Let j = -19 - -89. Is j a multiple of 14?
True
Suppose -47*y = -50*y + 396. Is 33 a factor of y?
True
Let b = 75 + -81. Let w(y) = 4*y**2 + 3*y - 16. Is w(b) a multiple of 22?
True
Suppose 5*p + 37 - 1407 = 0. Is 11 a factor of ((-34)/(-6))/(p/39 - 7)?
False
Let t(c) = -c**2 + 13*c - 6. Suppose 4*z + 3 = s + 6, -2*s = -2*z - 6. Let u be t(s). Suppose v = 2 + u. Is 9 a factor of v?
True
Suppose 0 = -5*w - 23 + 128. Suppose w = 5*h - 4*h. Is h a multiple of 7?
True
Let f be (-2 - 2)/(-2) - 0. Suppose 3*v - 39 = 2*w + 11, -f*v - 4*w = -28. Is v a multiple of 3?
False
Let r = -10 + 13. Let o be (-1)/(1/(-261)*r). Suppose 2*b = -b + 6, 5*h - o = 4*b. Does 4 divide h?
False
Let z(r) = 3*r**2 - 4*r - 1. Let l be 144/27 - (-4)/6. Let o be z(l). Let v = o + -30. Is v a multiple of 12?
False
Let t = -7 - -8. Let o be (-6)/12 + t/2. Suppose 7*b - 2*b - 80 = o. Is b a multiple of 16?
True
Suppose -79 = -5*n - 139. Suppose 3*v + 2*v - 20 = 0. Let u = v - n. Is 12 a factor of u?
False
Suppose 18 = -5*x + 14*x. Does 10 divide (-7)/42 - (x - (-301)/(-6))?
False
Let w be ((-4)/8)/((-3)/30). Suppose -4*r - w*n + 709 = 0, 0 = 5*r - 4*n - 609 - 226. Suppose -5*j = -244 - r. Is j a multiple of 15?
False
Suppose -2*t - 6 = 24. Let i(w) = -w**3 - 14*w**2 + 8*w - 9. Let j be i(t). Suppose -3*p + 41 = 5*r - j, -2*r = p - 54. Is r a multiple of 6?
False
Let i = 40 - 28. Suppose -i*h - 27 = -99. Is 2 a factor of h?
True
Let r = -280 + 161. Let p = -75 - r. Suppose l - p = -l. Is 9 a factor of l?
False
Does 17 divide (-2436)/(-56) - 6/4?
False
Let t(s) = 2*s**3 - 22*s**2 - 7*s + 22. Let f be t(11). Is 7/((-35)/f) - -4 a multiple of 3?
True
Let o = 5 - 10. Does 41 divide 116 + 1 + (-10)/o?
False
Let t(z) = 2*z**2 - 12*z + 4. Let n(f) = 9*f - 5. Let g(y) = 6*y - 3. Let r(p) = 8*g(p) - 5*n(p). Let j be r(2). Is 9 a factor of t(j)?
True
Suppose 4*a + 4*i - 1631 = -235, 3*a - 1062 = 2*i. Is a a multiple of 30?
False
Suppose -2*u - h = -2233, 8*u + 1116 = 9*u + h. Is 10 a factor of u?
False
Let c(k) = 6*k**2 + 4*k + 1. Let n be c(-3). Let m be 25*((-1)/(-5) - 0). Suppose n = m*h + 2*u, u - 11 - 7 = -2*h. Does 3 divide h?
False
Let f(c) = -c**2 + 10*c + 9. Let b be (3/(-6)*7)/(9/(-18)). Does 2 divide f(b)?
True
Suppose o + h = 34 + 26, 0 = 5*o + 3*h - 292. Is 9 a factor of 6/(-6) + o/2?
True
Let n(j) = -2*j - 6. Let v be n(-5). Suppose 0 = -c + v*c. Suppose -g + 3*f + 22 = 0, c = -3*g + f + 46 + 12. Is 19 a factor of g?
True
Let l(o) = 64*o + 14. Let b be l(4). Let t = b + -157. Does 13 divide t?
False
Is 525*(-4)/(-10)*1 a multiple of 15?
True
Let l(t) = -8*t + t + 2*t + 9. Let f be l(8). Does 9 divide 0 - f - (-13 + 15)?
False
Does 16 divide (-7 + 714/35)*20?
False
Suppose 2*d = -10, 0 = -0*z - 2*z + d + 49. Suppose -z = -3*i - 5*x, 2*i + 0*x = -3*x + 14. Suppose 5*k + 12 + 1 = -3*y, i*k + 36 = 4*y. Is 4 a factor of y?
True
Let i be 3/(3 - 27/12). Let u be (0 - i)*18/(-24). Does 5 divide (-48)/(-3) - 3/u?
True
Let o(t) = t**2 - t - 6. Suppose -3*w - 1 = -5*a, 5*w - 5 = 4*a + 2. Suppose 15 = -c + 5*k, -2*c - 5 = k + w. Is 12 a factor of o(c)?
True
Let g(v) = 33*v**2 + 4*v + 4. Let p be g(-3). Suppose -p = -5*a - 5*y + 686, 0 = -2*y. Let h = -133 + a. Does 17 divide h?
False
Let p be 6*((-7)/(-3) + -2). Suppose p*n - 66 = n. Is 22 a factor of n?
True
Suppose 2*h + 0*h = 5*i - 396, -5*i + h = -393. Does 3 divide i?
True
Suppose -g = -2*g + 21. Suppose 0 = -3*m - g + 84. Does 27 divide 1222/14 - 6/m?
False
Let g(r) = -r**2 + 10*r - 7. Let w be g(8). Let q(f) = -2*f**2 - 28*f - 9. Let h be q(-13). Let l = h - w. Is 4 a factor of l?
True
Let p(l) = 11*l**2 - 11*l - 1. Let r(h) = -5*h**2 + 6*h. Let b(j) = -3*p(j) - 7*r(j). Let i be ((-4)/(-6))/((-2)/(-18)). Is b(i) a multiple of 5?
False
Let a be ((-12)/36)/(1/3). Let p = a + 3. Suppose -4*d - p*d = -54. Is 3 a factor of d?
True
Let z = 204 + -60. Does 7 divide z?
False
Let r(b) = -b**2 + 27*b - 53. Is r(15) a multiple of 8?
False
Suppose 770 = 2*p + 4*v, -1490 = 3*p - 7*p + 2*v. Is 25 a factor of p?
True
Suppose -5*o - 4*w + 32 = -2*o, 5*o + 3*w = 46. Suppose -5*r + 4*b + 70 = 0, -r + o + 6 = -b. Suppose -4*s + 210 - r = 0. Does 21 divide s?
False
Let f(u) = -2*u + 3*u**2 + 2*u - u + 1. Let j = 129 + -126. Is 19 a factor of f(j)?
False
Let y = 53 + -55. Suppose -3*z + 14 + 22 = 0. Is (16/z)/(y/(-36)) a multiple of 12?
True
Let x(y) = y**3 - 9*y**2 + 4. Let r be x(9). Let w be (-3 - -5)/(r/6). Is -1 + 15 + (4 - w) a multiple of 15?
True
Suppose -f + 1 = -3*m - 6*f, 2*m - 3*f - 12 = 0. Let k be 33/11*(-19)/m. Let b = 31 + k. Is 3 a factor of b?
True
Let z(q) = -7*q - 18. Let y be z(-6). Does 28 divide (72/(-16))/((-1)/y)?
False
Let j(w) = w**3 + 7*w**2 + 6*w + 4. Let t = -20 + 32. Let x = t + -16. Is 7 a factor of j(x)?
True
Let t be (-2)/1*(-6 + (-30)/(-6)). Suppose -2*r = -2*f - 26, -f - 73 = -5*r + t*f. Is r a multiple of 11?
False
Suppose -5 = d + 5. Let r be 5 - (d/5 - -3). Suppose -2*o = -w + 2*o + 86, -r*o - 12 = 0. Does 15 divide w?
False
Let d be (-8)/(-3) + (-2)/3. Suppose 0 = 3*i, -d*m + 81 = m - i. Does 9 divide m?
True
Let o(i) = i**2 + 18*i - 17. Let d be o(-19). Is 148/1*(d - (-25)/(-20)) a multiple of 19?
False
Let s(l) be the first derivative of l**4/4 - l**3/3 - 5*l**2 + 7*l - 5. Is 14 a factor of s(6)?
False
Let y be 69/9*(-1 - -4). Let d = y + -26. Let f(s) = 5*s**2 - 3*s - 2. Does 11 divide f(d)?
False
Let q(r) = -25*r - 139. Does 7 divide q(-10)?
False
Suppose -58 = 5*a + 62. Is (-18)/a - 507/(-12) a multiple of 7?
False
Is 35 a factor of 4 + 10 + -9 + 702?
False
Let i be (-1)/(2/6*-1). Suppose i + 2 = n. Suppose 4*c - 72 = 2*k, -c - 86 = -5*c - n*k. Does 12 divide c?
False
Suppose -o + 16 = 5*t, t = -5*o + 2*t - 24. Let l be 6 + 2 + o + 1. Suppose 2*p + 49 = 3*p + f, -l*p - 2*f + 248 = 0. Does 25 divide p?
True
Suppose 5 = -2*z - 3. Does 27 divide ((-28)/8 - z)*216?
True
Does 10 divide 3127 - 18*(-10)/20?
False
Let k(r) = 9*r + 1. Let i be k(-1). Let v(z) be the third derivative of -z**5/60 - 19*z**4/24 - z**3/3 - z**2 - 19*z. Does 18 divide v(i)?
False
Suppose -355 = -4*y + 29. Suppose -y - 212 = -2*w. Suppose -2*o + 80 = 2*k - 6*o, -4*k = -2*o - w. Is 19 a factor of k?
True
Let p = -26 - -43. Suppose -3*t + p = -28. Let y = t + 3. Is y a multiple of 7?
False
Suppose -18*o = -8544 - 16242. Does 27 divide o?
True
Let d(u) = u - 2. Let w be d(9). Suppose 13*h - w*h - 204 = 0. Is 17 a factor of h?
True
Suppose -2526 = 13*u - 10261. Is 53 a factor of u?
False
Let m(h) = -h**2 - 5*h - 2. Let k be m(-5). Let b be 56/(-40) - k/5. Does 11 divide (-756)/(-16) - b/(-4)?
False
Let b = 9 + 61. Suppose 2*x = -4*i + 154, -x + 6*i - i = -b. Is 8 a factor of x?
False
Suppose -2*o = l - 24, 5*l - o - 165 = 4*o. Let n = l + -25. Does 2 divide n?
False
Suppose 5*s - 3*l - 21 = 2*s, 5*s + 5*l - 5 = 0. Suppose -s*j + 409 = -271. Is j a multiple of 17?
True
Suppose 0 = -42*t + 6*t + 31500. Does 25 divide t?
True
Suppose -16*x = 13*x - 18618. Is x a multiple of 49?
False
Suppose 0 = 8*c - 3*c - 10560. Suppose -3*f + 4*i = -2*f - 411, i + c = 5*f. Is 29 a factor of f/15 + (-16)/(-20)?
True
Let o = -503 + 479. Suppose -13 = r + 3. Let h = r - o. Is h a multiple of 5?
False
Suppose 30058 = 170*l - 151*l. Is 79 a factor of l?
False
Suppose -38*c + 44268 + 7602 = 0. Does 7 divide c?
True
Suppose m + m = 74. Let q = m + -17. Is q a multiple of 14?
False
Suppose 0*y - 5*y = 70. Let d(u) = 11. Let s(g) =