s 3 divide l?
True
Let o be (-1885)/(-7) + (-12)/42. Suppose 2*g = -53 + o. Suppose 5*l = l + g. Is l a multiple of 9?
True
Suppose 2330 = 4*q - 5*i, -5*q + 3*q + 1174 = 2*i. Does 19 divide q?
False
Let g = 12 - -23. Let r = -17 + g. Is r a multiple of 4?
False
Let w = 10 - 8. Suppose 5*y = z - 5, w*z + y + 10 = 31. Suppose z = -v + 2*v - 5*d, -d - 26 = -5*v. Is 3 a factor of v?
False
Let n = -746 - -1374. Is 3 a factor of n?
False
Let h(t) = 10*t**2 - 18*t - 44. Is 8 a factor of h(-3)?
False
Suppose -4 - 12 = 4*r, -4*r = -2*o + 4. Let j be 8*(1365/o)/(-7). Suppose -2*k + j = 3*k. Is k a multiple of 13?
True
Suppose 9*c + 1015 = 3607. Does 38 divide c?
False
Let y = 9 + -7. Suppose 3*o - 15 = -y*o. Suppose 0 = -o*h - h + 124. Does 10 divide h?
False
Suppose -4*k + 504 = 4*z, -4*z = -4*k + 6*k - 500. Does 11 divide z?
False
Let w(s) = 2 - 4*s**3 - s + 0 - 4*s**2 + 2*s**2. Let l(a) = -a + 3. Let z be l(5). Is 14 a factor of w(z)?
True
Let y(c) = c**3 - 9*c**2 - 13*c + 6. Does 12 divide y(11)?
False
Suppose 5*k = 38 - 3. Let l = k + 71. Suppose -2*z - l = -212. Is z a multiple of 21?
False
Let w be (-4)/(-14) + (-361)/(-133). Let r(v) = -v**3 + 5*v**2 - 3*v. Is r(w) a multiple of 4?
False
Let v(s) = -s**3 - 6*s**2 - 2*s + 7. Let j be v(-6). Suppose j*t - 28*t = -243. Does 4 divide t?
False
Suppose 71 = 3*i - h, 0*i + 4*i + 2*h - 78 = 0. Is 11 a factor of i?
True
Let w(x) be the first derivative of 8*x**3/3 + x**2 - 2*x - 1. Is w(-2) a multiple of 26?
True
Let h be (2 - 8)*(-5)/(-3). Let s(f) be the first derivative of f**4/4 + 10*f**3/3 + 9*f + 2. Does 5 divide s(h)?
False
Let h = 90 - 88. Suppose -2*x - 2*l + 28 = 0, x - l = h*l + 18. Is x a multiple of 15?
True
Let c(n) = -n + 19. Let v be c(15). Suppose v*m - 457 = -5*q, 2*m + m - 3*q = 363. Is m a multiple of 14?
False
Let c = 285 + -115. Is 3 a factor of c?
False
Let p be -5 - -2 - -1*8. Suppose -40 = -0*v - p*v. Does 4 divide v?
True
Suppose -2*k = t - 0*t - 321, -3*k + 482 = 2*t. Is 20 a factor of k?
True
Let q(r) = 3*r**2 + r + 8. Let s be -9*((-6)/(-9) + 0). Let f(p) = p**2 + 8*p + 7. Let b be f(s). Is q(b) a multiple of 17?
False
Let n = 15 + -7. Suppose -4*t + 8 + n = 0. Suppose t*z - 5*m = -2*m + 123, -76 = -3*z - m. Does 9 divide z?
True
Is 22 a factor of (-1089504)/(-1040) + 1*(-2)/(-5)?
False
Let a = -675 + 703. Does 7 divide a?
True
Suppose -6*h - 317 = -1193. Let u = h + -36. Does 27 divide u?
False
Suppose -5*w = -11*o + 14*o - 4370, 2*o = w - 874. Is 46 a factor of w?
True
Let q(z) = -z**2 + 2*z - 5. Let a be q(12). Let y = a + 182. Let r = y + -41. Is 16 a factor of r?
True
Let o be (-1)/(-6) - 71/(-6). Suppose -17*j + 40 = -o*j. Does 8 divide j?
True
Let v(w) = 5*w**2 + 11*w - 3*w - 4*w**2 + 17 + 4*w. Let t(l) = -4*l**2 + 2*l - 2. Let d be t(2). Is v(d) a multiple of 15?
True
Suppose -5*d + 3756 = 4*i, -6*d + 7*d + 2*i - 750 = 0. Is d a multiple of 30?
False
Let z(q) = -q**2 - 20*q - 8. Let y(d) = d**2 + 12*d + 17. Let w be y(-8). Is z(w) a multiple of 13?
False
Is -90*(5 - (259/5)/7) a multiple of 30?
False
Let z be ((-3)/6)/((-2)/252). Suppose -97 = -2*q + z. Is 10 a factor of q?
True
Suppose 21*h + 1182 = 18822. Is h a multiple of 84?
True
Suppose v - 5*v + 160 = 5*z, -3*z = 0. Suppose 6*w - 3*w - 120 = -2*s, -5*s - v = -w. Does 5 divide w?
True
Let a(j) = 3*j**2 - 3*j - 2. Let i be a(-1). Let k(n) = -n + 3. Let h be k(3). Suppose -148 = -h*u - i*u + 2*o, -6 = 3*o. Does 12 divide u?
True
Let v = 3439 + -1883. Is 27 a factor of v?
False
Let i = -42 + 103. Let t = 109 - i. Is t a multiple of 2?
True
Let l = 253 + -169. Is 21 a factor of l?
True
Let b(u) = -u**2 + 10*u + 30. Let f be b(13). Let i = f + 20. Is 3 a factor of i?
False
Let i(h) = 159*h**2 + h - 4. Is i(1) a multiple of 18?
False
Suppose 69545 = 37*k + 24257. Does 72 divide k?
True
Suppose 5*g + 1116 = 8*g. Suppose 4*l + l - 474 = s, -s + g = 4*l. Does 11 divide l?
False
Suppose 0 = 5*t - 4*n - 290, -2*t + t - 4*n + 34 = 0. Let d be 1200/12 - (-2)/(-1). Let y = d - t. Does 22 divide y?
True
Suppose 1369 + 183 = h. Is 16 a factor of h?
True
Let m = -25 + 22. Let o = 61 - 33. Is (60/o + m)*-63 a multiple of 20?
False
Let t(o) = 41*o + 150. Is 39 a factor of t(19)?
False
Let u = 914 - 342. Is 11 a factor of u?
True
Let q(i) = 274*i**2 + 9*i - 4. Is q(2) a multiple of 15?
True
Let s = -36 - -48. Suppose s*n - 1344 = -0*n. Is 8 a factor of n?
True
Suppose 71*l = 15568 + 15246. Is l a multiple of 31?
True
Let k(z) be the first derivative of z**2/2 + 15*z - 5. Let c be k(-7). Suppose -c*y + 36 = -7*y. Is 13 a factor of y?
False
Let y(w) = -w + 6. Let g be y(7). Let s(p) = -6*p - 1. Let k be s(g). Let n(d) = d**3 - 4*d**2 + 2*d - 11. Does 8 divide n(k)?
True
Suppose -40 + 17 = -l. Suppose l*b - 480 = 20*b. Is b a multiple of 32?
True
Let p be 5 + 1 + -3 - (-246 - 2). Suppose -p + 60 = -i. Is 34 a factor of i?
False
Let f(r) = -3*r**2 - 42*r - 13. Does 3 divide f(-13)?
False
Let x(y) be the second derivative of y**4/12 + y**3/6 - 9*y**2 - 9*y. Does 6 divide x(-8)?
False
Suppose -3*u - 199 = -2*j, -16*j - 3*u = -20*j + 389. Is j a multiple of 19?
True
Let p be 0/((1 + 0)*-1). Suppose 4*w - m = 53 + 39, p = -w - m + 18. Suppose -4*d + 42 = -w. Is d a multiple of 4?
True
Let o = 771 + -429. Is o a multiple of 38?
True
Let i = -1004 + 1802. Is i a multiple of 21?
True
Let n(c) = -21*c + 2. Let m be n(-3). Suppose 0*h - 5*h = -m. Suppose h = 3*r - 23. Does 11 divide r?
False
Suppose -9*l + 234 + 387 = 0. Let f = l + -42. Is f even?
False
Let m = 1960 - -344. Does 9 divide m?
True
Let o(j) = 13*j**2 - j - 5. Let v(w) be the second derivative of -7*w**4/12 + w**3/6 + 3*w**2/2 + 5*w. Let u(k) = 6*o(k) + 11*v(k). Is u(-6) a multiple of 3?
True
Let s = 2626 + -332. Is 16 a factor of s?
False
Suppose 4*k + 3*v = -17, -3*k - 39 = -v - 2*v. Let r = 11 + k. Is (-16)/((-8)/r - -2) a multiple of 8?
True
Let p = 26 - 39. Is 3 a factor of 4/1 + (p - -21)?
True
Suppose -95 = 3*z - 8*z. Is 15 a factor of ((2 - 1) + z)*(-18)/(-12)?
True
Let m(y) = y**3 + y**3 + 13*y - 2 - 15*y + 3*y**2. Is m(2) a multiple of 8?
False
Let m(n) = -n - 7. Let j(v) = 1. Let f(o) = -3*j(o) - m(o). Let p be f(0). Suppose 32 = t - 2*h, p*t - 122 = -2*h + 7*h. Does 14 divide t?
True
Let v(n) = -8*n - 8. Is v(-13) a multiple of 24?
True
Let a(k) = k**3 - 7*k**2 + 4*k + 2. Let h be a(6). Suppose -3*m - 24 = -3*s, 0 = -6*s + 4*s - 5*m - 12. Is 7 a factor of 34/(-5)*h/s?
False
Let o be (-9 - -1)*49/(-14). Let r = o - 15. Suppose -t = -5*z - r, 0 = 5*t - 2*z - 3*z - 125. Is t a multiple of 12?
False
Let h(p) = p**2 - 4*p + 3. Let m be (12/18)/((-3)/243). Let z be (-36)/m*(-27)/(-2). Is h(z) a multiple of 10?
False
Let f(w) = 2*w - 12. Let b be 1*22/(-3 - -5). Is 5 a factor of f(b)?
True
Suppose 0 = 2*v + v - 6. Suppose 2*y + 5*d = 6*d - 41, -v*y = -5*d + 61. Let o = y - -50. Does 16 divide o?
True
Let y(v) = -v**2 + 12*v + 13. Let i(s) = -s**2 + 10*s - 16. Let c be i(5). Does 8 divide y(c)?
True
Let s = 9 + -9. Is (-30*1 - -5)/(s - 1) a multiple of 6?
False
Let i(q) = -3*q**2 - q - 8. Let s be i(3). Let b = 70 + s. Is b a multiple of 8?
True
Let b be -1 - -4*(-2)/8. Let n be 0/(0/(-1) - b). Suppose n = 2*a + 71 - 287. Does 28 divide a?
False
Suppose 12*t = 3*t + 261. Suppose 4*z = i - 56, -5*i + 190 = -5*z - 60. Let x = i - t. Is x a multiple of 13?
False
Let h(u) = 24*u**2 - 6*u + 22. Does 29 divide h(2)?
False
Let c(i) be the second derivative of 7*i**4/12 + 3*i**3 - 3*i**2/2 - 4*i + 5. Is 25 a factor of c(-7)?
False
Suppose -2*t = 2 - 10. Suppose -g + 36 = g + t*x, 4*x = -g + 12. Is g a multiple of 12?
True
Suppose -2*w = -3*u - 50 + 176, 0 = 2*u - 2*w - 84. Let a be 1*u/(-9)*3. Does 8 divide (-444)/a + (-16)/(-56)?
True
Let d = -19 - -17. Let l be 4 - (d - -1074)/(-4). Suppose -5*y + 125 = 2*c - 215, -4*y - 5*c = -l. Is y a multiple of 17?
True
Suppose 3*r + 5341 = 2*t, -43*t + 44*t - 2663 = 3*r. Is 103 a factor of t?
True
Let d = 147 + -77. Is 2 a factor of 9*((d/(-3))/(-5) + -2)?
True
Let x be ((-18)/(-5))/(20/150). Suppose x = 2*o - n, 34 + 39 = 3*o + 5*n. Does 14 divide o?
False
Let g = 9 + 1. Suppose -7 = -s + g. Is 7 a factor of s?
False
Suppose 8*k = -18*k + 156. Does 6 divide k?
True
Let v be (-880)/(-6)*30/25. Suppose -13*q = -15*q + v. Does 44 divide q?
