 Does 5 divide l(j)?
False
Is 13 a factor of 44 + (-2 - -2) + -2?
False
Suppose -5*d = -4*m + 30, 3*m + 0*d = 3*d + 21. Suppose -44 = -m*p - 4. Is p a multiple of 7?
False
Let n be (1 - (-2 - -3))/1. Is 14*(n - -3 - 0) a multiple of 10?
False
Let s(n) be the third derivative of 0 - 2*n**2 - 5/24*n**4 - 1/6*n**3 + 0*n. Is s(-4) a multiple of 19?
True
Let p(z) = -z**3 + z**2 + 3*z - 4. Let l be p(3). Let i = l + 22. Does 14 divide i/(-24)*-2*28?
False
Suppose -201 = 5*h + 104. Let x = -57 - -15. Let u = x - h. Does 5 divide u?
False
Let y(o) = -o**3 + o**2 + o + 2. Let j be y(0). Suppose 0*z - j*z + 4 = 0, 0 = 2*d - 3*z - 8. Does 7 divide d?
True
Let h = -6 - -10. Suppose h*n = -20, 4*f + 19 = f - 5*n. Suppose f*z - 11 = -4*g + 49, -g - 2*z + 9 = 0. Does 8 divide g?
False
Suppose -3*c + 4*c - 42 = 0. Is 10 a factor of c?
False
Suppose r + 2*r = -5*i + 227, -r + 4*i = -104. Is 28 a factor of r?
True
Does 11 divide (-6)/(7 + -4) + 67 + 1?
True
Let t(p) = 23*p - 88. Does 10 divide t(12)?
False
Is 13 a factor of 26336/96 + (-1)/3?
False
Let f be 46/(-4) + (-1)/2. Let l be 3/f - (-142)/(-8). Let h = -8 - l. Is 5 a factor of h?
True
Let y(s) be the first derivative of -s**2/2 + 2*s - 6. Let z(k) = k**2 + 6*k - 2. Let w be z(-6). Is y(w) a multiple of 4?
True
Suppose 4*f + m = 49, 2*m = 4*m - 2. Does 6 divide f?
True
Let s be (1 - 3)/((-2)/8). Suppose -5*m = -m - s. Suppose 0 = m*t - 5*t + 18. Is t a multiple of 3?
True
Let d = 7 - 5. Let y be (-12)/d*10/15. Let o = 10 - y. Is o a multiple of 7?
True
Let d = 11 - 8. Suppose -d*p + 5*q + 9 = -2*p, -4*q - 108 = -5*p. Suppose -p = -3*k - k. Is 3 a factor of k?
True
Suppose 3*a = 2*b + 2, -2*a + 4 = -4*b - 0*a. Does 5 divide -3 - (-1 + 9)/b?
True
Let x = 104 - 60. Is 11 a factor of x?
True
Suppose 0 = -z - 0*z + 9. Let a be z/(-1 - (-8)/6). Let l = a + -6. Does 10 divide l?
False
Let j = 80 + -127. Let y = -30 - j. Is y a multiple of 6?
False
Suppose 5*g - 14 - 6 = 0. Is g a multiple of 4?
True
Suppose 5*d - 4*l = 228, -d - l = -0*l - 42. Is d a multiple of 11?
True
Let i = -15 - -16. Is 8 a factor of 35 + (-3 - 0/i)?
True
Suppose -5*w + 4*w + 105 = 0. Is w a multiple of 14?
False
Let w(j) = -7*j**2 - j - 1. Let g be w(-4). Let l = -72 - g. Suppose 3*n + f + l = 6*n, 16 = -4*f. Is 11 a factor of n?
True
Suppose -59 = -i + 4*t - 3, t = -i + 46. Is i a multiple of 16?
True
Suppose 3*z + 5*h = 238, -5*z + 222 = -2*z - 3*h. Suppose 2*v = 3*v + z. Let l = -50 - v. Does 13 divide l?
True
Let c = 1 + 9. Let a(f) = -f + 3. Let t be a(c). Is t/(-2 + 2/2) a multiple of 4?
False
Let h(f) = -f**3 + 7*f**2 - 10*f + 4. Is 3 a factor of h(4)?
True
Let m(r) = -2*r**2 - 3*r - 1. Let n be m(-2). Is 60 - ((5 - -1) + n) a multiple of 19?
True
Let l(o) be the second derivative of o**3/6 + 3*o**2 + 2*o. Let x = 5 - 5. Is l(x) a multiple of 3?
True
Suppose v + 344 = -3*v. Let a = -43 - v. Is 16 a factor of a?
False
Let r = -16 + 52. Does 18 divide r?
True
Let f = -71 - -41. Let z = f - -55. Does 7 divide z?
False
Suppose 2*h + 774 = 8*h. Is 13 a factor of h?
False
Suppose -3*p = 2 - 8. Suppose -4*g = -r + 10, 2*r + 4*g - 100 = -p*r. Is 11 a factor of r?
True
Suppose 3*z - 4*s + s = 159, 136 = 2*z + 4*s. Is 23 a factor of z?
False
Let y(w) = w**3 - 20*w**2 - 17*w. Is y(21) a multiple of 15?
False
Let o = 9 + -1. Does 4 divide o?
True
Suppose -670 = -11*i + 6*i. Does 19 divide i?
False
Suppose c + 0*l = -4*l - 9, 0 = 3*c - 5*l - 24. Suppose 6*d + 27 = c*d. Let v = 27 + d. Is 9 a factor of v?
True
Let y be (-3)/((-1)/(-1)) - -2. Let a(c) = -7*c. Is a(y) even?
False
Suppose -5*q = 5, -6*y + 5*q = -y - 160. Suppose 5*v - y = 4*v. Is 8 a factor of v?
False
Let z(i) = -4*i - 3. Let m be z(-2). Suppose m*r + 0*r = 0. Suppose -5*q - 5*y + 155 = r, 0*q + 3*q - 85 = y. Is q a multiple of 14?
False
Suppose -2*i + 0*i = -8. Let x = 10 - i. Suppose 4*h - 14 = -x. Does 2 divide h?
True
Suppose 0 = 6*c - 4*c - 68. Is 17 a factor of c?
True
Suppose 2*j - 21 = -3*l, l = 3*j + 2*l - 28. Suppose j*k - 72 = 7*k. Is 10 a factor of k?
False
Let f(j) = -2*j**3 - 6*j**2 - j - 4. Is f(-4) a multiple of 16?
True
Suppose -5*l = -a - 75, 4*l - 2*a - 78 = -24. Let r = l - 7. Does 7 divide r?
False
Let g be -33*((-3)/9)/1. Let d be 2/g - 1492/(-22). Suppose 5*f = 72 + d. Is f a multiple of 13?
False
Let w(y) = y**3 - 2*y**2 + 3*y - 3. Let o be w(2). Let n(z) = 4*z**2 - 3*z + 2. Let b be n(o). Suppose 79 - b = 5*v. Is 10 a factor of v?
True
Suppose 2*d - 8 = 2*q, 12 = 5*q + 4*d - d. Suppose q*c = -c + 44. Suppose -o - c = -3*o. Does 11 divide o?
True
Let y = 1 - -56. Suppose 0 = -2*z + r + y, -5*z + 2*r - 47 = -190. Is z a multiple of 8?
False
Let u(s) = -s + 14. Suppose 0 = 2*h - 0*h. Is u(h) a multiple of 7?
True
Let a = 169 - 106. Is 7 a factor of a?
True
Let v(i) = -i**3 - i**2 + i + 1. Let d be v(-2). Suppose 0 = -u + 5. Suppose u = d*x - 13. Is 3 a factor of x?
True
Suppose u = -2 + 7. Suppose 8*h - u*h - 75 = 0. Does 9 divide h?
False
Suppose 0 = 4*z - o - 10, 3*o + 0*o = 5*z - 16. Suppose -8 - 3 = -f + z*m, 4*f = m + 58. Is (-2)/5 - (-201)/f a multiple of 7?
False
Let g(p) be the second derivative of -p**5/20 + p**4/3 - p**3/6 + 3*p. Let f be g(3). Is 196/f + 8/(-12) a multiple of 16?
True
Suppose a - 12 = 16. Suppose -3*d + 102 - a = k, -4*d + 5*k = -86. Does 12 divide d?
True
Let c(x) = -2*x + 16. Let t(v) = 3*v - 16. Let h(a) = 2*c(a) + 3*t(a). Is h(11) a multiple of 13?
True
Suppose 3*c + 110 = k + 7, -2*k - 4*c = -156. Suppose -5*n - 8 + k = 0. Is n a multiple of 14?
False
Suppose 184 = 2*c - 570. Is c a multiple of 40?
False
Suppose 2*q - 71 = -4*t + 79, 2*t + 249 = 3*q. Is q a multiple of 13?
False
Let f(l) = -2*l + 7. Let y be f(-7). Suppose 2*k = -3*q - 0*k + 31, 3*k = 3*q - y. Does 9 divide q?
True
Does 13 divide (-2 - -3)/((-1)/(-67))?
False
Let s(m) = -5*m - 1. Is s(-13) a multiple of 14?
False
Is 14 a factor of 2524/30 + (-10)/75?
True
Suppose -w + 0*u - 4*u + 97 = 0, -2*w + 254 = -4*u. Is w a multiple of 4?
False
Suppose 5*x = -5*h - 50, 0 = h - 2*x + x. Let s = 1 - h. Is 3 a factor of s?
True
Suppose 19 = -4*x - 13. Let d be x/5 - 4/10. Is 39/6 - 1/d a multiple of 7?
True
Let j(f) = -f**3 + 3*f**2 + 6*f - 3. Let n be j(4). Suppose 190 = n*m - 4*v, -3*m - 7*v + 2*v = -114. Does 13 divide m?
False
Let w = -21 + 74. Does 7 divide w?
False
Let b be 10/(-5) - (0 + -107). Let o = b + -66. Does 28 divide o?
False
Suppose 5*a - 470 = 5*l, 555 - 86 = 5*a - 4*l. Is 31 a factor of a?
True
Let w(c) = -c**3 + 2*c**2 + 4*c + 2. Let d be 2/1 + (-6 - -2). Is 5 a factor of w(d)?
True
Suppose 7*r = 2*r + 15. Suppose 4*l + 4*x + 124 = 0, 3*l + r*x - 2*x + 87 = 0. Let o = 64 + l. Does 12 divide o?
True
Suppose 11*r - 294 = -8. Is 11 a factor of r?
False
Suppose -12*q - 83 = -659. Is q a multiple of 14?
False
Let n(c) = 13*c**3 + c**2 - 1. Let h = 2 - 3. Let y be n(h). Let r = -7 - y. Is r a multiple of 6?
True
Let g(v) = 7*v**3 - 5*v**2 + 6*v - 11. Let j(a) = -2*a - 4*a**2 - a**2 + 7*a + 6*a**3 + a**2 - 11. Let o(t) = 5*g(t) - 6*j(t). Is 11 a factor of o(0)?
True
Let h(f) = -3*f**3 + f**2 - f + 1. Let s be h(1). Let v(m) = 5*m + 2. Let t be v(s). Does 4 divide 2*1 + (1 - t)?
False
Suppose 0 = 3*o + k - 37, -6*k + 4*k - 36 = -4*o. Suppose 1 - o = -2*t. Suppose 0 = t*c - 11 - 4. Does 3 divide c?
True
Let c be 5/(-7) - (-4)/(-14). Is 7 a factor of -1*0/c + 22?
False
Let o(d) = 17*d**2 + 4*d + 2. Does 19 divide o(-2)?
False
Let g(v) = 4*v - 12. Let u be g(7). Suppose 4*b + 32 = 2*t, t + 7*b = 2*b + u. Does 16 divide t?
True
Let f(x) = 2*x - 8. Let i be f(4). Suppose -3*y = -i*y - 132. Is 22 a factor of y?
True
Let h be (92/(-6))/((-2)/3). Let l = h - -23. Is 12 a factor of l?
False
Suppose 2*n = -4*f + 60, 2*n + n - 80 = -4*f. Does 2 divide n?
True
Suppose -5*t - 4*s = -185, -2*s + 0*s - 122 = -4*t. Let a = t + -15. Does 7 divide a?
False
Let j be 1/(-3*(-2)/642). Let v = j + -65. Suppose v = 2*o - 2*p, 76 = 4*o + 3*p - 43. Is o a multiple of 13?
True
Is (240/(-90))/((-4)/222) a multiple of 37?
True
Suppose -c = -5*a - 134, -2 = 2*c + 2*a - 294. Is 24 a factor of c?
True
Let p = -196 - -317. Does 21 divide p?
False
Is 19 - 2/(0 + 1) a multiple of 6?
False
Let j(y) = -y**3 - 3*y**2 + 3*y + 7. Is 11 a factor of j(-4)?
True
Suppose -2*a = -4*n - n + 436, -5*n