j - 3*z. Suppose j*c - 65 = -3*c. Let n = c + 1. Is 14 a factor of n?
True
Suppose 0 = -8*u + u + 294. Is 6 a factor of u?
True
Let r(g) = -g**3 - 4*g**2 + 7*g - 1. Suppose 15 = -4*p + p. Let q be r(p). Let n = -6 - q. Does 3 divide n?
False
Let q(d) = 2*d + 20. Is q(-8) even?
True
Let w = -21 + 24. Suppose -w*s = -106 - 62. Is 16 a factor of s?
False
Is 76/5*35/14 a multiple of 12?
False
Let p(g) = -g**3 + 6*g**2 + 6*g + 2. Let a be p(6). Let h be (3/3 + -2)*a. Let f = 72 + h. Does 19 divide f?
False
Suppose -d = 4*d + 1550. Is 14 a factor of 4/(-22) + d/(-11)?
True
Suppose 2 = 2*d - 0*s + 4*s, -2*d + 16 = -3*s. Suppose d*k - 28 = 212. Suppose 2*b - k = -0*b. Is b a multiple of 16?
False
Let r(g) = g**2 - 6*g + 6. Let s be r(6). Is 3 a factor of 110/15 - 2/s?
False
Let p be (-2 - (-2 - 1))*9. Suppose -5*i - p + 4 = 0. Is 2 + (-2)/i*1 even?
True
Suppose 4*h - 348 = -5*b + 260, 3*b + 3*h - 366 = 0. Is 15 a factor of b?
True
Suppose 0 = -n + 2*n + 1, -4*n + 14 = 3*y. Is 2 a factor of y?
True
Let z be 18/2*-3 + -1. Let n = 40 + z. Is 9 a factor of n?
False
Suppose 2*q + 3*q - 25 = 0. Suppose 0 = -q*a + 157 - 22. Does 9 divide a?
True
Let x(b) = b - 12. Let y be (-8)/(-4*2/12). Let o be x(y). Suppose 3*a + 17 - 80 = o. Is 9 a factor of a?
False
Let q(b) = -b**2 + 9*b - 4. Let g be q(4). Suppose 0 = 2*p - g - 20. Suppose -2*n = 4*o - 96, 0 = -n + o + 3*o + p. Is 15 a factor of n?
False
Let a(t) = 2*t**2 + 6*t + 12. Is a(-5) a multiple of 8?
True
Suppose -r = -5*r + 8. Suppose 2*v + 2*w = 44, r*w + 107 = 5*v + 4*w. Is 8 a factor of v?
False
Let a(s) = -s**2 - 6*s - 1. Let w be a(-5). Suppose 0 = -0*j - w*j + 4*f + 156, -53 = -2*j - 3*f. Is 17 a factor of j?
True
Suppose 2*g = 7*g - 5. Does 8 divide (-334)/(-12) - g/(-6)?
False
Let i = 74 - 46. Is i a multiple of 14?
True
Suppose -o + 1 = -r, -4*r = -r - 5*o + 9. Suppose 0 = r*m - 8, 2*d + 2*m = -0*m + 56. Suppose -2*a + 4 = -d. Is 8 a factor of a?
False
Let h(d) = -2*d**3 + d**2 + 5*d + 2. Let t be h(-4). Let n = -40 + 74. Suppose 4*w - t + n = 0. Is 17 a factor of w?
False
Is (-3 - 1)/(-16)*76 + 0 even?
False
Suppose x = -3*x + 20. Suppose 1 = -3*v + 5*w - 12, 0 = w - x. Suppose -b + 4*n - 46 = -4*b, 0 = -v*b - 3*n + 52. Does 3 divide b?
False
Is 14 a factor of 4/18 + (-32)/(-18) + 34?
False
Let x(l) = 7 + l**3 - 4*l**2 + 4*l - 10 + 5. Let c = -5 + 9. Is x(c) a multiple of 11?
False
Let m(y) = 1 + y - 3 - y + 2*y. Does 3 divide m(4)?
True
Suppose -2*z + 830 = 170. Suppose 5*v + 0*v = z. Is 22 a factor of v?
True
Let y(g) = -g**3 - g - 4. Suppose j - 15 = -4*f, 5*f + 5*j + 10 = 25. Let s = 1 - f. Is 12 a factor of y(s)?
False
Let z = 80 - 26. Does 12 divide z?
False
Let o(k) = -4*k**3 + k**2 + k + 1. Let j be o(-2). Let l = 52 - j. Is l a multiple of 17?
True
Let s be 9/6*(-8)/(-6). Does 3 divide (5 + 5)*1/s?
False
Let x(v) = -v**2 - 9*v + 7. Suppose w + 2*n = 4, 0 = -w - 0*n + 2*n + 8. Suppose -2*o = 5*z + 23, -w*o - 41 = -2*o + 5*z. Does 7 divide x(o)?
True
Let l(v) = -v**2 - 11*v - 1. Is l(-9) a multiple of 9?
False
Suppose j = -3, 4*p + p - 7 = -j. Suppose -p*c + 0*t = -t + 2, -t + 2 = -5*c. Suppose 2*h - 22 = -c. Is h a multiple of 4?
False
Let w be (30/8)/((-1)/(-12)). Let h = w + -65. Is 8 a factor of -1 + 3 - (h + -1)?
False
Let h be (10/(-25))/(1/(-35)). Let i = 10 - h. Does 15 divide (-178)/(-4) - (-2)/i?
False
Let u(k) = -k**2 - 22*k + 52. Is u(-23) a multiple of 6?
False
Let v = -8 + -42. Suppose -5*f = -0*f - 465. Let l = f + v. Is 11 a factor of l?
False
Suppose 26 = 3*j + 5*p, -3*p = -5*j + 2*p - 10. Suppose s - 3*a = -2*s, j = 5*s - 4*a. Suppose 0*k = -k + 4*m - 8, -s*m + 2 = -k. Does 2 divide k?
True
Let f(k) be the second derivative of -4*k**3/3 - 2*k. Suppose -1 = 5*b + 4. Is f(b) a multiple of 7?
False
Is 3*12*6/9 a multiple of 12?
True
Let j = 74 + -63. Does 3 divide j?
False
Let z(g) = 319*g**3 - g. Let l be z(-1). Let a = l + 489. Is 2/(-4) + a/6 a multiple of 14?
True
Let p(u) = -2*u**3 - 13*u**2 - 12*u - 8. Is p(-6) a multiple of 3?
False
Let m = 4 + 1. Suppose -t - m*r + 27 + 10 = 0, 4*t = -2*r + 130. Is 16 a factor of t?
True
Let r = -5 - 24. Let f = 49 + r. Is 19 a factor of f?
False
Let w(s) = -16*s + 1. Let r = 7 - 8. Is 14 a factor of w(r)?
False
Let v(t) = -t + t**3 + 11*t**2 + 0*t**2 + 4*t - 5*t. Let j be v(-11). Suppose 2*d + 3*d + x = 54, 2*x + j = 3*d. Is 4 a factor of d?
False
Suppose 0 = -15*m + 5*m + 1200. Is m a multiple of 20?
True
Is 103 - 1 - (-5)/1 a multiple of 14?
False
Suppose 0*l + 210 = 2*l. Let b be (-3 - l/(-6))*8. Suppose -2*i + i + b = 3*j, 0 = -2*j - 2*i + 72. Is j a multiple of 17?
False
Let k = 13 + -10. Suppose -4*y + 67 = 5*o - 8, y - k = 4*o. Is y a multiple of 3?
True
Suppose 3*z + 2*d - 5*d - 27 = 0, -z + 17 = -3*d. Let p = z - 6. Is 3 a factor of 2*p - -5 - -2?
False
Let o = -35 - -71. Let m = -29 - -31. Suppose 7*i = 5*i - 4, -m*w + o = -5*i. Does 6 divide w?
False
Is 19 a factor of 99/2 + (-17)/34?
False
Let q(n) = -n**3 - 8*n**2 + 3. Let k = 13 + -21. Let r be q(k). Suppose -3*x + r = -5*s, -5*s + 11 = -4. Does 6 divide x?
True
Suppose -4*p + 22 = v, -5*v + p + 3*p + 14 = 0. Suppose -v*y = -3*y - 117. Is 9 a factor of y?
False
Let b = -4 - -11. Suppose 0*q + 45 = -3*q. Let a = b - q. Is 18 a factor of a?
False
Suppose 0 = -2*h - 4, -2*h = 3*f - 7 + 2. Suppose -82 = -2*k - 2*t, 88 = 2*k + t + f*t. Does 14 divide k?
False
Let t(s) = -s + 9. Let v = 15 + -11. Let x be t(v). Suppose x*l - 51 - 14 = 0. Is l a multiple of 7?
False
Let r be (-105)/10 - (-9)/6. Does 6 divide -2*r*8/12?
True
Suppose -4*m + 456 = r, 0 = 4*m - 7*r + 12*r - 472. Does 7 divide m?
False
Let m(q) = -q**3 + 3*q**2 + q + 1. Let c be m(3). Let s be (c/(-6))/(1/(-72)). Suppose 2*u = -2*u + s. Is u a multiple of 6?
True
Suppose r = 3*b + 37, -5*r - 5*b + 0*b + 285 = 0. Does 6 divide r?
False
Let s = 5 + -3. Suppose 2*h + 23 = m, m + 4*h = s*m - 31. Suppose 3*y = 2*w - m, -7*w = -3*w + 4*y. Is 3 a factor of w?
True
Let s(w) = w**2 + w + 3. Let i be s(0). Suppose 0 = -3*d + 3 + i. Suppose -d*q - 65 = -7*q. Does 13 divide q?
True
Let t(c) = c**3 + 7*c**2 + 5*c - 4. Let y be 6/(-3 - -2)*1. Let a be t(y). Suppose -3*k = -6*m + a*m + 41, -3*m - 2*k = -35. Is 4 a factor of m?
False
Let a = 1 + 3. Suppose -x - a*x = 2*p - 64, -3*p = 4*x - 54. Suppose -5*l + 2 + 4 = 3*z, 3*l - x = -3*z. Does 7 divide z?
True
Let x(z) = -z**2 + 4*z + 6. Let t be x(5). Let v = t - -2. Is 10 a factor of 68/v + 2/(-3)?
False
Suppose -r + 1 = -m - 2, -r + 3 = 0. Suppose m = 4*v - 20, 2*v - 31 = -2*t + v. Is 10 a factor of t?
False
Is 16 a factor of 10/20 - 3/((-6)/335)?
False
Suppose 0 = y - 5*y + 260. Is y a multiple of 7?
False
Suppose -13*o = -9*o - 680. Is o a multiple of 17?
True
Suppose 5*o - 12 - 8 = 0. Let l be -7 - (-1 + (o - 2)). Let d = l + 11. Is d a multiple of 3?
True
Suppose -p = -5*h - 0*p + 374, -h + 2*p = -73. Let m = -53 + h. Is m a multiple of 22?
True
Suppose 3*s + 120 = 7*s. Suppose j + 1 = 5*a + 16, -2*j + 4*a + s = 0. Is j a multiple of 14?
False
Let a(w) = 2*w**2 + 5*w. Let j be a(6). Suppose 14 = 4*l + 5*t - 6, 16 = -4*l + 4*t. Suppose 3*v = -l*v + j. Does 17 divide v?
True
Suppose x + x - 316 = -4*z, -z = 2. Is 33 a factor of x?
False
Suppose -4*c + 2 = 6. Let q = 43 + c. Is 13 a factor of q?
False
Let c = 43 + 10. Does 16 divide c?
False
Let c be (-2)/3*612/(-24). Let s = -12 + c. Does 3 divide s?
False
Suppose 2*p - 46 = -2*o - 0*o, 4*p - 42 = -2*o. Does 21 divide o?
False
Suppose 0 = -4*g + 3*g + 28. Let y(i) = i**2 + i - 2. Let d be y(-6). Suppose g + d = 4*b. Does 11 divide b?
False
Suppose -200 = -0*x - 4*x. Is x a multiple of 25?
True
Let i(m) = -9*m - 4. Let v be (1 + -3)/2 + 7. Let a be i(v). Let o = a - -84. Does 10 divide o?
False
Let t = -37 + 79. Does 11 divide t?
False
Suppose -4*r + 3*w + 1 = -4, 2*w + 15 = 5*r. Let n(z) = z + 4 + 2*z - 9*z + r*z. Does 2 divide n(0)?
True
Suppose 0 = 3*k - 4*f - f - 25, 0 = -4*k - 5*f + 10. Let i(u) = u**3 - 9 + 3 - 6*u + 0 + k*u**2. Is i(-5) a multiple of 14?
False
Let f be 0 + 7/(-2 - -3). Let q = 24 - f. Does 14 divide q?
False
Let h = -68 - -124. Does 7 divide h?
True
Let q = -43 + 61. Does 2 divide q?
True
Let z(d) = 4*d - 3. Does 6 divide z(6)?
False
Suppose -5*n + 0*n + 60 = 0. Suppose 20 - 110 = -2*g - u, 3*u = -n.