3 - 49. Let p = -4 + 0. Is -29*(v/p)/1 a multiple of 8?
False
Suppose -30*n = -14393 + 1763. Is n a multiple of 18?
False
Let w be (27/(-6))/(-9) - 66/4. Does 7 divide (-2)/5*-49 - w/40?
False
Suppose -18 = d + 4*c - 0*c, 3*d + 14 = -4*c. Let s be -3 + 172*2/d. Let q = 241 - s. Is q a multiple of 18?
True
Suppose b - 12 = 3*o, 4*o - 2*o + 2*b = 0. Let k be -5 + 6 - (o - -1). Suppose -k*i + 7*q + 165 = 3*q, -3*q = 5*i - 246. Is i a multiple of 21?
False
Let b = 2345 - 1393. Is 28 a factor of b?
True
Let d be -30*((-2)/12)/((-6)/(-12)). Suppose d*w + 40 = 760. Is 9 a factor of w?
True
Let r(f) be the second derivative of -7*f**3/6 - 15*f**2/2 + 5*f. Let x be r(-7). Suppose -2*o + 7*o = 3*u + x, -o + 8 = -u. Is o a multiple of 4?
False
Let f = -30 + -65. Let x = -10 - f. Does 18 divide x?
False
Let b(k) = k**2 - 7*k - 15. Let o be b(8). Is 15 a factor of o/((-35)/(-15)) - -33?
True
Suppose 11 = 4*b + 3*t, -2*b - t + 4 = -b. Is 3 a factor of (b/2)/(5/(-40))?
False
Let j(x) = -25*x - 55. Does 35 divide j(-5)?
True
Let h = -91 + 230. Does 7 divide h?
False
Let s(h) = -h**2 + 22*h - 20. Let d be s(14). Suppose -4*k - d = -0*k. Let m = k - -78. Is m a multiple of 14?
False
Does 50 divide 24/16 - 25267/(-22)?
True
Suppose 22*u + 1563 = 11749. Does 10 divide u?
False
Suppose 3*y = -d + 22, -5 = y + 5*d - 3. Is (-3)/(-12) + 182/y a multiple of 21?
False
Is 39 a factor of 2 - -1 - (4 - (0 - -811))?
False
Let o = 12 + -12. Suppose o = r - 0*r. Suppose r - 25 = -h. Does 7 divide h?
False
Let k be (-2 - (-2 - -1))*(8 + -23). Suppose 104 = -11*y + k*y. Is y a multiple of 12?
False
Let k(y) = 3*y - 3. Let r(d) = -d - 1. Let a be r(-1). Suppose a = 2*x - 5*x + 9, -9 = -3*v + 4*x. Is k(v) a multiple of 7?
False
Suppose -5*s = -0*s. Suppose -o - o + 8 = s. Suppose -2*i + 82 = 4*u, -o*i = -u + 25 - 9. Is u a multiple of 13?
False
Is 76 a factor of (3 - (-380 - -6)) + 3?
True
Suppose 0 = 3*v + 6, -v + 0*v + 6 = 2*q. Suppose 4*i = 5*x + 58, -q*x - 65 = -2*i + 5*i. Is -78*(x/4)/7 a multiple of 13?
True
Let w be (-443)/(-5) - 57/95. Does 4 divide -4 - w/6*-1*3?
True
Suppose -17 = -2*y + 15. Suppose n + 3*n = y, 97 = 5*c + 3*n. Suppose 5*i = 10, 5*k = i + c + 1. Is k a multiple of 4?
True
Does 30 divide (37/2)/((-81)/(-3240))?
False
Let y(i) = -1. Let z(b) = b + 4. Let v(o) = -2*y(o) + z(o). Let w be v(-4). Suppose 0 = -w*u - u + 105. Is u a multiple of 5?
True
Let i(f) = f**3 - 4*f**2 - 6*f + 2. Let d be 3 + (-2)/5*-5. Let z be i(d). Let x = 13 + z. Is 10 a factor of x?
True
Is 48 a factor of -20*((-4905)/(-72))/(1/(-2))?
False
Let y = 313 + -291. Does 5 divide y?
False
Let f(x) = -24*x**3 + 5 - 6*x + 25*x**3 - 2*x**2 - 3*x**2. Is f(7) a multiple of 20?
False
Suppose -3*w + 1 + 14 = 0. Suppose -2*z + 7*z - k - 19 = 0, -z - w*k + 9 = 0. Suppose 3*m = -n + 100, -4*m = -8*m + z*n + 112. Does 23 divide m?
False
Let l = 315 + -260. Is 8 a factor of l?
False
Let s be ((-1)/3)/(11/(-165)). Let h be (1 - s)/(-5 + 1). Does 6 divide (1121/(-38))/(h/(-2))?
False
Suppose -242 + 2591 = 29*g. Is 8 a factor of g?
False
Let o = 3342 + -2127. Is 90 a factor of o?
False
Let x = -82 - -85. Suppose -10*u + 1196 = x*u. Is u a multiple of 46?
True
Let q(i) = i**3 + 8*i**2 + 6*i + 1. Let o be q(-7). Let b be (-3)/5*(9 - 4) + 17. Let j = b - o. Is j even?
True
Let h = -4 + 92. Let p be (h - 7)*(-2)/(-2). Suppose -5*j + 4 = -p. Is 6 a factor of j?
False
Let r be -2*2/10*(-82 - 158). Suppose -3 + r = 3*y. Is 31 a factor of y?
True
Suppose l - 348 = -2*l. Let p = -98 - -26. Let d = p + l. Is 11 a factor of d?
True
Let k = -160 - -592. Is 48 a factor of k?
True
Suppose -2*z - 2*y = 32, -2*z = 5*y - 0*y + 38. Let r = z - -111. Is r a multiple of 18?
False
Let j be (-14)/21 + (-618)/(-9). Let p = j + 14. Does 14 divide p?
False
Let l(s) be the second derivative of 0 + 4*s**4 + 7*s - 1/2*s**2 + 0*s**3. Is 14 a factor of l(1)?
False
Let z be (2/(-3))/(10/(-45)). Suppose 0*j - 2*j + 25 = -l, j = -z*l - 89. Let w = l - -70. Is w a multiple of 11?
False
Suppose 0*n + 5*n = 5, -4*c = n - 1. Is (-9)/(-2 - -1 - c) - -3 a multiple of 3?
True
Let l = -7 - 14. Is 35 a factor of 2/1 - (l/7 + -107)?
False
Suppose 0 = 5*x - 1014 + 164. Is 5 a factor of x?
True
Suppose 4*j + 586 + 654 = 0. Is 19 a factor of j/(-6) - 12/(-9)?
False
Suppose -3*x = -4*x + 15. Let o = x + -12. Suppose o*t + 60 = 5*t. Is t a multiple of 10?
True
Suppose -1440 = -112*i + 106*i. Is 7 a factor of i?
False
Suppose 5*f = d - 1111, 3*f = -0*d - 4*d + 4467. Is d a multiple of 10?
False
Suppose -t = 2*t - 2*k + 10, -t + 4*k - 20 = 0. Suppose -3*b + t*b - 9 = 0, 0 = -4*a + 5*b + 619. Does 34 divide a?
False
Let d be (0 + 4)*(-147)/(-14). Let y be 18/d + (-820)/(-14). Suppose 3*a - y = 22. Is a a multiple of 27?
True
Suppose -2*q = 2*q - 48. Is (0 + 24)/(q/8) a multiple of 3?
False
Let d = 24 + -20. Suppose j - 6*j = d*a - 10, -5*j - 2*a = 0. Let z(w) = -5*w**3 - 2*w**2 - 2*w + 1. Is z(j) a multiple of 16?
False
Suppose 4985 = 5*z + 5*j, -22*j - 1003 = -z - 21*j. Does 40 divide z?
True
Let o be ((-18)/(-4))/((-1)/2). Let s = o - -1. Let g = 11 + s. Does 2 divide g?
False
Suppose -5*u + j = -500, 200 = -0*u + 2*u + j. Let v = u + -11. Is 14 a factor of -16 + v + -1*3?
True
Let d(u) = u**3 - 4*u**2 - 4*u + 1. Let m be d(4). Let g = -12 - m. Suppose -c = -g, -5*z - 3*c = -10*z + 216. Is 9 a factor of z?
True
Let y(z) = -z + 10. Let x be y(8). Let s be 4/(56/(-30) + x). Let d = s + -24. Is d a multiple of 6?
True
Suppose 40*u - 42*u = -2730. Is 35 a factor of u?
True
Is 32 a factor of 13/(-6)*27/(-3)*18?
False
Let g be ((3 - 5)*28)/(-1). Let b = g + -27. Does 4 divide b?
False
Does 22 divide 2/(-4) - (-1294)/4?
False
Let v(s) be the third derivative of s**6/120 - 7*s**5/60 - s**4/24 + 3*s**3/2 + 4*s**2. Let f be v(7). Does 8 divide (17/f)/((-2)/(-4))?
False
Let t(v) = 12*v**2 - 7*v - 6. Does 26 divide t(-6)?
True
Suppose 71*j = 64*j + 616. Is j a multiple of 11?
True
Let f(w) be the first derivative of -w**4/4 - 8*w**3/3 - 5*w**2/2 - w + 46. Is f(-9) a multiple of 25?
True
Suppose -577 = -2*x - 3*p - 97, -4*x - 5*p = -962. Suppose -2*k = 4*u - 198, -3*u - 2*u + x = k. Is 8 a factor of u?
True
Suppose -5*j + 75 = -4*b - 275, -4*j + 280 = -2*b. Is j a multiple of 14?
True
Suppose 21*w = 33*w - 14784. Is w a multiple of 108?
False
Suppose -n - 2*b = 1, -n = -3*n - 3*b + 1. Suppose 0*v = n*v - 2*z - 76, 0 = 2*v + 5*z - 42. Does 16 divide v?
True
Let t be 2/(-5) + (126/(-35))/(-9). Let h(j) = j - 28. Let b(q) = q - 27. Let a(c) = 4*b(c) - 5*h(c). Is a(t) a multiple of 16?
True
Suppose -2332 + 28507 = 15*v. Is v a multiple of 25?
False
Let o(i) = -i**3 + i**2 + 20. Let u be o(0). Let q = u - 8. Is 12 a factor of q?
True
Suppose -120 = -2*m + b + 279, 4*m = 3*b + 797. Suppose -m = i - 3*i. Suppose -4*o - o = -i. Does 10 divide o?
True
Let o be (6/4)/((-17)/(-34)). Suppose g - 64 = -o*g. Does 12 divide g?
False
Suppose 14*n = 5*n + 4158. Does 14 divide n?
True
Suppose 4*a + 2*t - t - 1999 = 0, -5*a - 2*t = -2495. Suppose n + a = 5*n - l, -5*n + 633 = l. Does 21 divide n?
True
Let i(p) = p**3 - 6*p**2 + 10*p - 6. Let t be i(4). Suppose 3*k = 2 - 5, t*v = 2*k + 322. Is 11 a factor of v?
False
Let y = 162 + 1623. Does 17 divide y?
True
Let y(k) = 106*k**2 + 11*k - 1 - 7*k + 2*k - 3*k. Is y(1) a multiple of 24?
False
Let j = -3 - 31. Let a = j - -108. Suppose 0*u - a = -2*u. Does 8 divide u?
False
Let k(t) = -23*t - 80. Does 6 divide k(-9)?
False
Let z(i) = i**3 + 8*i**2 + 7*i + 5. Suppose t = -3*t + 12. Suppose 0 = -t*q + 15, -s - 2*s - 4*q = -5. Is 14 a factor of z(s)?
False
Let n = -575 - -1055. Is 50 a factor of n?
False
Suppose 3*r - 5*m + 80 = 405, -2*r - 5*m + 225 = 0. Let i be (-9)/(-63) - 540/7. Let s = i + r. Is 11 a factor of s?
True
Suppose -5*p + 20 = 0, 4*p = 3*s + p + 9. Is 6 a factor of (4/6*s)/((-3)/(-243))?
True
Suppose -369 - 477 = -2*m - k, 4*k + 1704 = 4*m. Is 4 a factor of m?
True
Suppose 13*q + 3*d = 17*q - 1872, -1383 = -3*q - 3*d. Does 18 divide q?
False
Suppose 12 + 14 = -2*x. Let z be 46*(x + 12/4). Is 28 a factor of z/(-7) - 10/(-35)?
False
Let w(k) = -k**2 + 41. Suppose -f + 0*f + 15 = -3*m, -4*m - 20 = f. Let b be w(f). Let d = 21 + b. Is d a multiple of 19?
False
Let b be (-84)/16*(-64)/6. Is (b/(-2))/((-15)/30) a multiple 