 + 3*l. Does 29 divide c?
False
Suppose 0 = -d - 2 + 88. Does 43 divide d?
True
Let a = 31 + -24. Let v = a - -6. Does 5 divide v?
False
Suppose -168*n = -157*n - 1903. Is 13 a factor of n?
False
Let h(r) = -9*r**3 + 15*r**2 - 8*r - 11. Let w(z) = -5*z**3 + 8*z**2 - 4*z - 6. Let d(v) = 6*h(v) - 11*w(v). Is d(-3) a multiple of 3?
True
Let m = 1465 + 1015. Is m a multiple of 124?
True
Suppose -17*o = -18*o - 5. Let c(k) = -2*k**3 - 4*k**2 + 3*k - 5. Is 26 a factor of c(o)?
True
Let z be (-3)/(-3)*(26 + -33). Suppose 2*w - 19 = 1. Let j = w - z. Is 6 a factor of j?
False
Let d(h) = 0*h + 2 + 2*h**3 + 7*h - 9*h + 14*h**2. Is d(-7) a multiple of 4?
True
Let o(v) = 30*v**3 - 11*v**2 + 9. Let b(n) = -15*n**3 + 6*n**2 - 5. Let q(r) = -11*b(r) - 6*o(r). Is 16 a factor of q(-1)?
True
Suppose 19*q - 384 = 16*q. Is 9 a factor of q?
False
Let h be 9/(18/(-4)) + 0. Is (h - -3)/((-6)/(-102)) a multiple of 4?
False
Let u(t) = -t**3 + 11*t**2 - 7*t + 2. Let o be u(10). Let x = 201 - 197. Suppose -x = r, 6*d = 2*d + 2*r + o. Is d a multiple of 6?
True
Let r(i) = -2*i + 2. Let u be r(0). Suppose -5*m + 43 = 4*a, -a + 3*m - u = -0*a. Does 7 divide a?
True
Suppose -14 = -0*z - 2*z. Suppose 4*p = -5*u + 17, -z*u = -3*u - p - 22. Suppose -7 = -3*v + u. Is v even?
True
Let x(g) = -g**3 + 4*g**2 - 2*g - 3. Let h be x(4). Let n be 1*-3*(h - -9). Suppose c - 64 = -3*m, 0 = -5*c + 2*c - n. Is 11 a factor of m?
True
Let u(y) = y + 7. Let r be u(-5). Suppose 5*s = b + 256, 5*s - 252 = r*b - 5*b. Is 17 a factor of s?
True
Let q be (-4 + 114/24)/((-2)/32). Does 9 divide (-416)/(-6) + (-20)/q?
False
Is (-2)/16 - (-249665)/520 a multiple of 15?
True
Let r(d) = d**3 + 17*d**2 - 2*d - 4. Let h be r(-17). Is 7 a factor of (-7)/(h/(-9) + 3)?
True
Is (9 - (-441)/(-45))/(4/(-30)) a multiple of 6?
True
Let l = -13 + -11. Is 49 a factor of (l/28)/(-6) - 1602/(-7)?
False
Let y = 3062 - 2035. Does 22 divide y?
False
Let i = -1 + -15. Let x be ((-162)/(-12))/(6/i). Does 16 divide (x/8)/(6/(-64))?
True
Let y(w) be the third derivative of -w**5/15 - w**3/2 - 4*w**2. Let i(v) = -3*v**2 - 3. Let t(n) = 5*i(n) - 4*y(n). Does 11 divide t(-5)?
True
Suppose -5*r = 5, 0*r = 4*c - 4*r - 508. Does 40 divide c?
False
Let h be -1*(-14 + 6/(-3)). Suppose 4*s = -h, -3*o - 5*s = -0*s - 73. Suppose 5*b = j + o, b + b = 3*j + 2. Is 7 a factor of b?
True
Let c(x) = -45*x - 65. Is 43 a factor of c(-11)?
True
Is 39 a factor of (44 + -5)/(470/155 + -3)?
True
Let h be (-5)/(-2) - (-3)/(-2). Suppose -j = -h + 3. Is 22 a factor of (1 + j)/((-1)/22)?
True
Let u(h) = h**3 - 8 - h**2 + h**3 - h + 3*h**3 - 6*h**3. Let x be u(0). Let t = x - -12. Does 3 divide t?
False
Let y = -3325 - -5005. Does 5 divide y?
True
Suppose -527 = -g - 95. Does 12 divide g?
True
Suppose -8 = 3*j - 47. Let n = j - 1. Does 4 divide n?
True
Suppose 7*y + 1141 = 14*y. Does 9 divide y?
False
Let d(j) = 9*j**3 - 22*j**2 - 13*j + 4. Let r(t) = -5*t**3 + 11*t**2 + 6*t - 2. Let n(o) = 4*d(o) + 7*r(o). Is 2 a factor of n(12)?
True
Let h(m) = 2*m - 7. Let q be h(5). Suppose -q*u = 100 + 8. Does 9 divide (u/(-42))/(2/42)?
True
Suppose -2467 = -c - 3*z, c - 4*z - 2295 = 186. Is c a multiple of 38?
False
Let i(z) = 8*z**2 + z - 29. Is 13 a factor of i(6)?
False
Let x(w) = 44*w - 2. Let d be x(1). Suppose o = d + 70. Does 28 divide o?
True
Let k be 75/(-6)*(32/(-20))/(-2). Is k/(-25) + (-208)/(-5) a multiple of 18?
False
Let t(f) = 3*f - 3. Let l(n) = -n**3 - 5*n**2 + 5*n + 1. Let h(v) = v + 4. Let q be h(-10). Let y be l(q). Is 11 a factor of t(y)?
False
Suppose 2*n - u = 100, n = -3*n + 5*u + 194. Let b = -23 + n. Is 14 a factor of ((-10)/4 + 3)*b?
True
Let r = -177 - -172. Is r/(-40) - 142/(-16) a multiple of 9?
True
Let k = 16 + -13. Let t(u) = -2*u + 2. Let v be t(k). Let a(o) = 2*o**2 - 8*o - 10. Is a(v) a multiple of 10?
False
Suppose 3*f = -p - 14, 3*f - 9 + 21 = 0. Let w(g) = -15*g + 7. Let d(i) = 1. Let k(y) = -3*d(y) + w(y). Is k(p) a multiple of 17?
True
Suppose 12 = x + 2*x. Suppose -x*f - 2 = -82. Let d = 38 - f. Does 6 divide d?
True
Suppose 0*q = 7*q. Suppose 2*d - 4*h - 204 = 0, d + q*d + 5*h = 88. Is 16 a factor of d?
False
Suppose 7 = 2*a - 3. Suppose -a*f + 192 + 58 = 0. Suppose 0 = 2*j - 4*j + f. Is 9 a factor of j?
False
Is 35 - (-4 - 10) - (5 + 0) a multiple of 2?
True
Let r(g) = 14*g**2 + 42*g + 236. Is 4 a factor of r(-7)?
True
Let q(y) = -24*y + 391. Does 2 divide q(12)?
False
Let x(y) = -y**3 - y**2 + 961. Is x(0) a multiple of 9?
False
Let n = 520 - 310. Suppose 3 - 21 = -6*l. Suppose -n = -4*h - 4*y + 6*y, l*h - 144 = -3*y. Is h a multiple of 17?
True
Let r(a) = -145*a + 102. Is r(-4) a multiple of 11?
True
Suppose 9 = -i - 4*b - 5, 5*b = -10. Let z be 12*((-8)/i - 1). Suppose 5*w + z*l = 22 + 184, l = -4*w + 167. Is 14 a factor of w?
True
Let m be ((-205)/(-10))/(4/(-8)). Let q = 79 + m. Is 19 a factor of q?
True
Let l = 151 - 54. Is 10 a factor of l?
False
Let w = -2323 + 3583. Is w a multiple of 21?
True
Let i = 14 + -21. Let y = -1 - i. Is 8/48 + 191/y a multiple of 16?
True
Suppose -5*z - 3*r + 19 = -1, -3*z + 18 = 3*r. Suppose -h + 3 + z = 0. Suppose -h*v + 52 - 20 = 0. Is v a multiple of 7?
False
Suppose -4*i + 2 - 6 = -4*g, -3*g = -4*i. Suppose -4*s + 3*s - 25 = -y, 95 = g*y + s. Is y a multiple of 6?
True
Suppose 15*m = 13*m + 280. Is 10 a factor of 3 + -6 - m/(-1)?
False
Suppose 0 = -3*n + 428 + 772. Is n a multiple of 16?
True
Let h(g) = -4*g**2 - 6*g + 1353. Is 7 a factor of h(0)?
False
Suppose 3*t - 4*l = -87, t - 140 = 6*t - 5*l. Is (-4 + 10)*t/(-2) a multiple of 25?
True
Let h(i) = 42*i**2 + 4*i + 3. Let q be h(-3). Suppose -3*r + 3*b = -q, 0 = -4*r + 3*r + 2*b + 126. Is r a multiple of 20?
True
Suppose 3 = 4*g - 17. Suppose -g*x = 0, -2*p + 3*x + 32 = 2*x. Is p a multiple of 16?
True
Let t(f) = 546*f**3 - 2*f**2 + 2*f. Let n be t(1). Let w = n - 354. Is 13 a factor of w?
False
Let l = -4759 + 6712. Is l a multiple of 93?
True
Let r(j) = j**3 - 6*j**2 + 2*j + 1. Suppose 2*l = 3*x - 8*x + 85, 2*x + 3*l = 34. Suppose 4*m - 7 = x. Is r(m) a multiple of 5?
False
Let q = -13 - -24. Suppose -3*c + q = -j, 4*j - 3 = -c + 5. Let z(l) = 27*l. Is 27 a factor of z(j)?
True
Suppose -i - 4*i + 150 = 0. Does 30 divide i?
True
Let u(d) = 5*d - 66. Let x be u(0). Is 12/x - 598/(-22) a multiple of 4?
False
Suppose 2*k + 2*u = -u - 87, 3*u = 2*k + 57. Does 6 divide 694/30 + k/270?
False
Suppose 4*f + 0 - 29 = -5*i, -i = 5*f - 10. Suppose i*x - 272 = x. Is x a multiple of 12?
False
Let g = 71 + -60. Suppose -g - 1 = -4*k. Does 3 divide k?
True
Suppose 0 = -6*v + 5*v + 69. Suppose -y - 2*y = v. Let l = 66 - y. Is l a multiple of 30?
False
Let r = -205 + 538. Does 9 divide r?
True
Let w = 4 + -4. Suppose w*l - 105 = -5*l. Is 2 a factor of l?
False
Suppose 3*c = 5*a + 25, -4*c - 17 = 4*a + 3. Is 2 a factor of (-38)/(-4) + (a - 36/(-8))?
False
Let y(j) = -2*j + 5. Let h = 28 - 36. Does 18 divide y(h)?
False
Suppose -292*m + 296*m = 688. Suppose 3*l + 0*l = 210. Suppose -4*n - l = 5*v - 183, 4*v + m = 5*n. Does 8 divide n?
True
Let n(o) = -o**3 - 13 + 14*o**2 + 4*o - 27 + 7*o. Is n(14) a multiple of 19?
True
Suppose 2*j = 3*q + 16, -4 = q + j - 2. Let f(y) = -5*y - 5. Is f(q) a multiple of 15?
True
Let h(l) = 134*l - 434. Does 59 divide h(7)?
False
Suppose 2*t = 3*q - 61, -t - 89 = -4*q - 6*t. Does 7 divide q?
True
Let x(c) be the third derivative of -c**6/120 - c**5/10 + c**4/4 + c**3/2 + 11*c**2. Is 10 a factor of x(-7)?
True
Let o(w) = 3*w**2 + w - 2. Let x(p) = -4*p**2 - p + 1. Let i(s) = -6*o(s) - 5*x(s). Let r(k) = k**2 + 3. Let f(j) = -4*i(j) + 9*r(j). Is 8 a factor of f(4)?
False
Is 20 a factor of -5 + ((-4)/(-2) - 2) + 125?
True
Let j(c) = 25*c**2 - 3*c - 11. Let d be j(4). Let f = d - 137. Is 15 a factor of f?
True
Suppose -4*d + 2*c = -648, -3*d = 2*d - c - 804. Let t be 2/(-5) - d/(-25). Is 246/14 + t/14 a multiple of 9?
True
Let c = 14 + 167. Suppose -2*r + c = 43. Is 28 a factor of r?
False
Let f = -18 - -19. Let n be 4/f - 60/(-1). Suppose -r = -0*r - n. Does 13 divide r?
False
Suppose 5*f - 3*n = 47 - 17, 4*n = 0. Suppose -f*p + 267 = -3*p. Is p a multiple of 14?
False
Suppose f - 5 = -6, 2*f = -4*c + 3126. Does 23 divide c?
True
Suppose -450 = -7*t + 726. Is 7 a factor of t?
True
Let v(y) = 4*y**2 - 96*y - 40.