, 0 = -r*f - x + 15. Is f a multiple of 6?
True
Does 28 divide 96/(-14)*(-441)/42?
False
Suppose -4*h + 24 = -16. Suppose -h = 2*l - 16. Suppose 160 = b + l*b. Is 40 a factor of b?
True
Suppose 4*f + s + 20 = 0, 4*f = 5*s - 23 - 21. Let k = 66 + f. Is (k/16)/((-3)/(-24)) a multiple of 15?
True
Suppose 4*n = 5*n + 4*t - 610, t = 3*n - 1804. Is 19 a factor of n?
False
Let d = 850 - 436. Is d a multiple of 18?
True
Suppose 13 = t + 10. Suppose 2*d - 4 = 5*z, -2*z - d - 1 = -t*z. Let p(h) = -2*h**3 - h**2 - 4. Does 3 divide p(z)?
False
Let b = 26 - 17. Let p be 2*(-3)/b*-3. Let c(h) = 17*h - 4. Is c(p) a multiple of 22?
False
Let h(o) = o**3 + 9*o**2 + o - 15. Is 3 a factor of h(-6)?
True
Let t be -6 + (-2)/(-6)*6. Let a(x) = -x**3 - 4*x - 2. Does 21 divide a(t)?
False
Let d(a) = -43*a - 100. Is d(-13) a multiple of 18?
False
Suppose -5*g - 2*t - 418 = 0, -5*g - 62 = 3*t + 360. Let w = g + 95. Is 6 a factor of w?
False
Suppose 5*j - 2784 = -4*w, 2*w - 2223 = -4*j + 3*w. Is 7 a factor of j?
False
Let g = -170 + 176. Is 6 a factor of g?
True
Suppose -3*b - 2*o + 42 = 0, -3*o - 15 = -0*b - 2*b. Suppose 4*k = 144 + b. Is 13 a factor of k?
True
Let r = 16 - 16. Suppose 2*h + 0*i = 4*i + 128, -2*h + 3*i + 125 = r. Does 12 divide h?
False
Suppose 0 = -18*o - 3*o + 12768. Does 38 divide o?
True
Let f = 16 - -1. Suppose 5*k = 2*u + 5, -u + 5*u = k + f. Suppose -k*g + 67 = -a, -5*g + 69 + 32 = a. Is g a multiple of 7?
True
Let y(i) = -i**2 + 15*i + 4. Let g be y(12). Let z = g + -22. Suppose 14 + z = d. Is 16 a factor of d?
True
Suppose 0 = -2*p + 46 - 40. Is p a multiple of 3?
True
Let k = 562 + -366. Is 14 a factor of k?
True
Let f = 7 - 7. Let o = f + 9. Is (1 - 14)/((-3)/o) a multiple of 13?
True
Let u(d) = -66*d - 18. Let k be u(-4). Suppose 3*y - k = -4*c, 5*y + 4*c - 5*c - 387 = 0. Suppose 0 = -3*j + 57 + y. Is 9 a factor of j?
True
Let h = -463 - -919. Is 19 a factor of h?
True
Let r = 45 - 42. Suppose -r*s - 72 = -5*s - p, 5*s = 3*p + 180. Is s a multiple of 12?
True
Let y be ((-432)/10 - -2)/(18/(-45)). Suppose 0 = -7*c - y + 1391. Does 19 divide c?
False
Let t = -195 + 559. Is 19 a factor of t?
False
Let y be ((-6)/10)/(2/30). Let w(c) = -c**3 - 9*c**2 - 6*c + 2. Is 28 a factor of w(y)?
True
Let u(a) be the first derivative of 9*a**2/2 - 3. Let m be u(10). Suppose -5*x = -0*x - m. Is 9 a factor of x?
True
Let p(u) = 2*u**2 + 2*u + 17. Let y be p(6). Suppose -d - y = -4*d + 5*o, 3*o - 93 = -3*d. Is 6 a factor of (2/4 - 0)*d?
False
Let h(m) = m**2 - 3*m - 17. Suppose -5*z = -4*o - 53, -2*z = 2*o - 19 + 5. Does 4 divide h(z)?
False
Let q be 2/2 - (-1 - (20 - -2)). Suppose -3*k + h + 36 = -0*k, -q = -3*k + 5*h. Does 13 divide k?
True
Let n = -825 - -1785. Does 20 divide n?
True
Suppose 0 = -11*y + 4*y - 14. Does 23 divide (-1 + -1 + 0)/(y/191)?
False
Let j(y) = 8*y - 13. Suppose -30 = -5*w - 2*r, 3 - 15 = -2*w - 2*r. Is j(w) a multiple of 7?
True
Is 31 a factor of (22/(-2))/(-5*(-4)/(-620))?
True
Let l(v) = 6*v - 2. Let w(b) = 60*b - 21. Let t(k) = 63*l(k) - 6*w(k). Is 8 a factor of t(2)?
False
Let x(k) = 3*k**2 - 8*k - 1. Let q be x(12). Let d = -233 + q. Suppose -3*s = -0*s - d. Is s a multiple of 17?
True
Suppose -128 = -4*r + 4*y, 9*y - 78 = -3*r + 6*y. Does 2 divide r?
False
Let d = 2376 + -1040. Does 8 divide d?
True
Suppose 5*z - d + 2*d = 166, 3*z = -4*d + 86. Let r = 12 + z. Let o = -29 + r. Is o a multiple of 17?
True
Does 4 divide 954 - (6 + 80/(-10))?
True
Does 67 divide (32756/42)/1 - (-24)/252?
False
Suppose 45*o = 4*d + 48*o - 9010, -3*o + 2248 = d. Is 16 a factor of d?
False
Suppose -4*f = 5*u - 2965, 156 = f - u - 574. Is f a multiple of 4?
False
Suppose 3 + 3 = c. Does 11 divide 131/c + 16/96?
True
Let q(d) = 4*d**2. Let y be q(-1). Suppose y*u = 3*l - 52, 2*u = -l + 7*u - 1. Does 12 divide l?
True
Is 17 a factor of 131/(-2)*(11 + -13)?
False
Suppose 11 = -2*f - p, f - 4*p - 4 - 4 = 0. Is ((-128)/6)/(f/12) a multiple of 16?
True
Suppose -4*k + 24 = 8. Suppose 7*z = k*z + 144. Is 14 a factor of z?
False
Let a(o) = -o. Let j(c) = 7*c - 5. Let h(u) = 6*a(u) + j(u). Let l be h(7). Does 22 divide 870/40 - l/(-8)?
True
Suppose j = -3*j - 8. Let p be (-1)/(31/(-23)*-3 - 4). Is 5 a factor of -4 + j/(2/p)?
False
Suppose 3*i + 2*i - 5*k - 590 = 0, 0 = -2*i - 5*k + 250. Suppose 2*z + i = 4*z. Is 15 a factor of z?
True
Suppose 47*i - 5358 = 44*i. Does 51 divide i?
False
Let z = -7 - -10. Suppose 3*o - 14 = -0*o + t, z*o - 12 = 3*t. Suppose -24 = -o*r + 31. Does 4 divide r?
False
Let l(a) be the first derivative of -19*a**4/4 + 2*a**3/3 - 4. Let j(s) = 9*s**3 - s**2. Let g(y) = -5*j(y) - 3*l(y). Is g(1) a multiple of 7?
False
Suppose 1796 = 7*a - 2544. Is a a multiple of 10?
True
Suppose 0 = -2*k - 69 + 135. Suppose -145 - k = -d. Does 25 divide d?
False
Let o(v) = -v**3 - 12*v**2 - 9*v + 12. Does 20 divide o(-12)?
True
Suppose 0 = -2*t + 1250 + 38. Is t a multiple of 35?
False
Suppose -4*l + 2246 = 2*f, 2251 = -5*f + 7*f + 5*l. Is 21 a factor of f?
True
Suppose 92 = x - 69. Is x a multiple of 7?
True
Suppose 500 = 5*b + 4*g, g + 52 = 3*b - 231. Is b a multiple of 12?
True
Let o(w) = 5*w**2 + 160*w + 56. Does 9 divide o(-38)?
False
Let x(w) be the third derivative of -w**4/4 + 5*w**3/3 - 16*w**2. Does 2 divide x(-2)?
True
Let z = -61 - -70. Suppose z = 3*f, -4*f = 4*a - 2*f - 1090. Is 34 a factor of a?
False
Let h = 49 - 38. Suppose 3*j + 3*v = 2*j + h, 2*j - 2*v = -2. Is j a multiple of 2?
True
Let a be -9 - -5 - (-4)/(-6)*-12. Suppose y + 5*r = 79, y + a*r - r - 81 = 0. Is 28 a factor of y?
True
Let x be (3 - (-20)/(-12))/(3/(-18)). Let j(u) = -7*u**2 - 5 - 4*u - u**3 + 4*u + 6*u. Does 11 divide j(x)?
True
Suppose -4*u + 6 = 66. Let j be 10/u - 17/(-3). Suppose -98 = -3*t - j*c, -4*c - 9 = -3*t + 80. Does 11 divide t?
False
Let t = 936 - 629. Is t a multiple of 18?
False
Let d(w) = 15*w**2 - w**3 + 2 - 14 - 4 - 2*w - 6. Let j be d(15). Let g = -28 - j. Does 12 divide g?
True
Let j(u) = 2*u**3 - u**2 - 2*u - 1. Let q be j(-1). Let w be (-12)/((-6)/(-1)) - -47. Is (w/(-18))/(q/28) a multiple of 11?
False
Let l(n) = -15*n - 75. Is l(-26) a multiple of 21?
True
Suppose 44149 = 3*o + 14*o. Is o a multiple of 12?
False
Suppose 5*r - 5*q = -30, r - 6*r - 2*q = -5. Let l = 29 - 27. Is 5 a factor of 7 + 13 + l + r?
False
Let k = 83 - 76. Suppose y = k*y - 306. Does 17 divide y?
True
Let a(h) be the first derivative of h**6/72 - h**5/24 + h**4/8 - h**3 - 4. Let y(o) be the third derivative of a(o). Is 11 a factor of y(3)?
True
Let t be 64/24*(-102)/4. Let l = -39 - t. Suppose d + 1 = 0, 2*y + y + d - l = 0. Is y a multiple of 10?
True
Let q = -65 - -68. Is q/(-9) + 1/(9/219) a multiple of 6?
True
Let t = -28 + 18. Let z = 156 + -91. Let h = t + z. Is h a multiple of 8?
False
Let z be 0/3 + -2 + 0. Let g be -1 - -3 - 2/z. Suppose -116 = -g*l + 136. Does 28 divide l?
True
Suppose -8360 + 170 = -35*r. Is r a multiple of 9?
True
Let h = 5056 - 3188. Is 22 a factor of h?
False
Let g = 21 - -45. Suppose -1266 = g*d - 72*d. Is 22 a factor of d?
False
Suppose 4 = -0*l + l. Suppose -l*d + 3*d - 6 = 0. Does 6 divide ((-4)/d)/((-2)/(-27))?
False
Let a = -24 + 25. Suppose 0 = -i + a + 23. Is 4 a factor of i?
True
Let f = 15 - 82. Let s = f - -204. Is 8 a factor of s?
False
Let k(i) = -i**2 + 14. Let l be k(0). Suppose 4*z = 3*z + l. Does 4 divide (-1)/(-2)*(-2 + z)?
False
Let g(w) = 9*w**2 - 4*w - 13. Is 38 a factor of g(-7)?
True
Let p be 27/9*246/9. Let o be (-4)/(-7) - 1570/(-70). Let l = p - o. Is l a multiple of 15?
False
Let d be 2/(-8) - 659/4. Is 20 a factor of (-30)/d - ((-1118)/22 - 0)?
False
Let n be -2 - (-29 - (-1 + -2)). Suppose -t + n = -2*q, -3*t + 3*q + 75 = -2*q. Suppose 2 = m - t. Is m a multiple of 16?
True
Let m be 216/90*10/6. Suppose -4*d + w = -436, -m*w = -d + w + 128. Does 6 divide d?
True
Suppose 92 = 4*u - 4*n, -95 = -5*u - n + 2*n. Let z be (u/(-27))/(4/(-246)). Suppose 6*j - 5*j - z = 0. Is 13 a factor of j?
False
Suppose 15*d - 14084 = 106. Does 20 divide d?
False
Let k be 18/153 - 412/34. Is (-170)/3*k/8 a multiple of 18?
False
Let y(b) = 2*b**2 - 2*b - 8. Let z(w) = -w + 11. Let l(n) = -1. Let o(v) = -2*l(v) + z(v). Let q be o(8). Is 11 a factor of y(q)?
False
Let d(q) = -76*q**3 - 1. Let w(p) = -p**3 + p**2 - 1. Let r be w(1).