?
False
Let z(i) = i**3 + 32*i**2 - i + 78. Does 54 divide z(-12)?
True
Let u(w) = 2*w**3 - 4*w**2 - 5*w + 3. Let t = 26 + -21. Let n be u(t). Suppose n = 2*j + 2*j. Is j a multiple of 16?
True
Let q = -76 + 82. Is (3 - (-92)/(-12))/((-2)/q) a multiple of 2?
True
Let t be (12*5/10)/2. Suppose 3*a = v + 262, -2*a - 3*v + 432 = t*a. Does 10 divide a?
False
Suppose -15*r + 608 + 202 = 0. Does 10 divide r?
False
Let f(x) = -3*x**3 + x**2 - x. Let b be f(1). Let q be (-2)/(2*b + 4). Is 22 a factor of (89 - q)/(-1 - -2)?
True
Let u be (-9)/(-6)*(-12)/9. Let s be -3*u/6 - -295. Let d = -209 + s. Is 29 a factor of d?
True
Let p be (-182)/(-8) - 15/20. Let s = 26 - p. Suppose 5*x = s*x + 25. Is x a multiple of 9?
False
Suppose 3*w = 6*w + 3*s - 810, 2*w = -5*s + 543. Is w a multiple of 2?
False
Let q(o) = 48*o - 6 - 7 - 1 - 8. Is 17 a factor of q(4)?
True
Suppose -8*u - 132 = -4*u. Let s be -2 + 4 - -1*58. Let i = s + u. Is i a multiple of 27?
True
Suppose -11*h + 5*h + 540 = 0. Is 2 a factor of h?
True
Suppose 0 = 5*v - 13*v + 1080. Is v a multiple of 45?
True
Let c = 0 - 0. Let t = c + 0. Suppose -j = -t*j - 11. Does 2 divide j?
False
Suppose -2*s - 8 = -4*s. Let i = s + 4. Suppose i*r - 5*r - 303 = 0. Is 14 a factor of r?
False
Suppose 15*a - 5740 = 10*a. Is a a multiple of 14?
True
Let s(n) be the third derivative of 1/3*n**3 + 5/6*n**4 + 0 + 5*n**2 + 0*n. Is 11 a factor of s(1)?
True
Let y(p) = 5*p - 22. Let z be y(0). Let u = 28 + z. Is u a multiple of 3?
True
Suppose -2*x + 3*s - 185 = -4*x, -365 = -4*x - s. Suppose 4*a - 5*u = -x, 0 + 150 = -5*a - u. Let q = a - -47. Is q a multiple of 18?
True
Let z(i) = -40*i + 6. Let c be z(-7). Let u be (-4)/(-8) + c/4. Let x = u - 33. Does 13 divide x?
True
Let h(n) = n**3 - 33*n**2 + 34*n + 38. Is 17 a factor of h(32)?
True
Let w be 2*(-3)/6 - 8/2. Is (-4)/w*(-435)/(-6) a multiple of 29?
True
Let x = 33 - 28. Suppose 4*a + 66 = 2*u + u, x*u - 78 = -4*a. Is 16 a factor of u?
False
Suppose -b - 55 = -4*t, b + 5*t + 97 = -2*b. Is 9 a factor of 4688/52 + 6/b?
True
Let z(i) be the third derivative of -5*i**4/12 - i**3 + i**2. Suppose 8 = -3*y - 0*a - 4*a, 5*y + 2*a + 32 = 0. Does 17 divide z(y)?
False
Suppose 2*d + 12 = -m - 3*m, 4*m - 24 = d. Let r = 10 + d. Does 16 divide -4 + (r - -3) - -51?
True
Suppose -41*w + 38*w + 1425 = 0. Does 18 divide w?
False
Suppose 5*m + 2 = -3. Let n be m - (-2 + -67) - -4. Let z = 105 - n. Does 8 divide z?
False
Suppose 11*l = 13348 + 11501. Is l a multiple of 70?
False
Suppose -2*b + r = 2*r - 9, 3*b - 26 = -4*r. Suppose b*x = x + 66. Suppose -26 - x = -4*y. Is 15 a factor of y?
False
Does 10 divide ((-66)/(-495))/(4/18)*905?
False
Let i be (-3)/(-3)*-178*1. Let l = i - -408. Does 40 divide l?
False
Let w = 1020 + -379. Is 19 a factor of w?
False
Let i be (12/(-15))/(2/5). Let g be (-8)/6*39/i. Suppose g = 3*f + z, -2*z = -8*f + 3*f + 36. Does 8 divide f?
True
Let r = 566 - 385. Suppose -1019 - r = -3*c. Suppose -5*i + c - 80 = 0. Is 11 a factor of i?
False
Let d(s) = 2*s**3 - 3*s**2 - 2*s + 3. Let w be (-1)/1 + -4 + 9. Let h be -2*(-2)/w*3. Does 12 divide d(h)?
True
Suppose -3*t - 3*y = 2*y - 494, 0 = -3*t + 3*y + 462. Let q = 10 + t. Suppose n + 28 = u, -2*n - q = -5*u - 4*n. Is 9 a factor of u?
False
Suppose 4*t - 17 - 3 = 0, -2*s - 4*t = -28. Is s even?
True
Suppose 0 = -3*p - 2*p + 10. Suppose p*r + 100 = 3*r - 5*b, 0 = -3*r + 2*b + 235. Does 28 divide r?
False
Suppose 3*c + 1500 = -6*b + 9*b, 0 = 3*b + c - 1512. Suppose 2*q - 607 = -5*j, -b = -3*q + j + 365. Does 15 divide q?
False
Let r(o) = 12*o**2 - 48 - 5*o**3 + 4*o**3 + 14*o - 38 + 108. Does 19 divide r(12)?
True
Suppose 26 = -10*h - 4. Let n = h + 50. Is 4 a factor of n?
False
Let i(t) be the second derivative of t**4/2 + 5*t**3/6 + 3*t**2/2 - 10*t. Suppose m + 7 - 3 = 0. Is i(m) a multiple of 32?
False
Let l = 480 + -450. Suppose 0 = -2*t - 3*t + 125. Let q = l - t. Does 4 divide q?
False
Let a(b) = b**2 - 4*b + 69. Let p be a(0). Suppose 0 = -2*s - 9 + p. Is 23 a factor of s?
False
Let c(k) = -k + 10. Let d be c(14). Let t be -21*((-57)/9 - d). Let p = 115 - t. Is p a multiple of 11?
True
Suppose -891*w + 8970 = -881*w. Does 5 divide w?
False
Suppose 0 = 4*f + c - 5127, -2*f - 156*c + 2577 = -151*c. Is 7 a factor of f?
True
Suppose 0 = 5*x - d - 224, -292*d = -x - 291*d + 44. Does 3 divide x?
True
Is 40 a factor of (-168)/(-10)*(7 + -12)*-10?
True
Suppose 8*j - 887 = 673. Is j a multiple of 24?
False
Let c(s) = 2*s**3 - 12*s**2 + 8*s + 6. Does 27 divide c(9)?
False
Suppose 0 = -4*s + 3209 + 2599. Suppose 4*w - 4*q = s, 2*w - w - 2*q - 362 = 0. Does 12 divide w?
False
Is 2202/4 + 6/(-12) - 4 a multiple of 13?
True
Suppose 3*o - 3 + 3 = 0. Suppose 0*a + 3*a + 45 = 4*b, -3*a - 9 = 0. Let f = b - o. Is 3 a factor of f?
True
Let s(j) = j**3 + 2*j**2 + 4*j + 1. Let d be s(-4). Let y = 91 + d. Is 17 a factor of y?
False
Let d = 3964 - -941. Is 18 a factor of d?
False
Let p(r) = r**2 + 10*r - 24. Is 22 a factor of p(10)?
True
Let c be (18 - 3)/((-2)/6). Let h = -24 - c. Is 5 a factor of h?
False
Is 195/(-12) - -16 - (-2549)/4 a multiple of 13?
True
Let z = 14 + 292. Is (z/(-45))/(1/(-15)) a multiple of 15?
False
Is 29 a factor of ((-51)/5 - 6)/((-1)/145)?
True
Suppose 0 = 11*d - 390 - 402. Does 12 divide d?
True
Let c be (-140)/(-6)*(-120)/(-100). Suppose 0 = -h + 4*z + c, -3*h = -0*h - 3*z - 111. Is h a multiple of 17?
False
Let m(q) = 1. Let s(f) = -f + 3. Let v(y) = 6*m(y) - s(y). Let g be v(-7). Is (-80)/(-2)*g/(-8) a multiple of 10?
True
Let j(v) = -v**2 + 36*v - 54. Let s be j(23). Is 1 - 9/7 - (-15995)/s a multiple of 11?
False
Let c(r) = r**2 - 9. Let h be (7/(-21))/((-2)/(-54)). Does 18 divide c(h)?
True
Suppose -2*c + 24 = 2*c. Let p(i) be the second derivative of i**4/6 - i**3 + 3*i**2/2 - i. Is p(c) a multiple of 24?
False
Let a(c) = -c**2 + 8*c - 9. Suppose 4*x + 3*l - 34 = 0, -5*x = l - 2*l - 33. Let t be a(x). Is (135/6)/((-1)/t) a multiple of 9?
True
Let g = 9 + 0. Suppose -g*p + 180 = -4*p. Is 9 a factor of p?
True
Let x be 1/(-2) - 3/6 - -1. Let a(k) = -k + 97. Is a(x) a multiple of 18?
False
Suppose -2*r - 11 = j, 0 = -3*j - j + 3*r + 11. Is -30*(3/(-12))/(j/(-6)) a multiple of 16?
False
Suppose -186*n = -188*n + 1868. Is n a multiple of 101?
False
Let q = 553 + -315. Does 34 divide q?
True
Let o(s) = 49*s - 539. Does 12 divide o(15)?
False
Let s(f) = f**3 + 21*f**2 - 13*f + 49. Does 11 divide s(-21)?
False
Suppose -3*i + 1710 = 6*i. Is i a multiple of 19?
True
Let a(o) be the first derivative of -o**4/4 - 10*o**3/3 - 6*o**2 - 11*o + 7. Is a(-9) a multiple of 10?
False
Suppose 0 = 143*r - 116*r - 66582. Is r a multiple of 18?
True
Is (-89)/(9 + (-904)/100) a multiple of 28?
False
Suppose 4*y - 3*h - 130 = -0*y, 5*y = -h + 172. Is -2 + y - (0 + 2) a multiple of 11?
False
Suppose -992 + 2572 = 5*f. Suppose 8*g - 4*g = -2*m + f, -2*m + g + 301 = 0. Is 19 a factor of m?
True
Let x(r) = 6*r**2 - 22. Is 9 a factor of x(6)?
False
Suppose -2*a + 18 = 5*d, -a - 2*a = -2*d - 8. Let v(w) = 2 - 6 + 8*w**2 - w**3 - 2*w + 2. Is v(a) a multiple of 27?
True
Let n(k) = 2*k**2 + 7*k + 3. Let h be n(-7). Let v(w) = -3*w - 8. Let r be v(-4). Suppose -h - r = -4*c. Is 12 a factor of c?
False
Let q = -1677 + 1726. Is 2 a factor of q?
False
Suppose -31724 = -6*n - 16*n. Is 14 a factor of n?
True
Let i(z) = -z + 2. Let c be i(-3). Suppose c*j = -t + 65, 3*j - 2*t - 13 = 13. Suppose d = 38 + j. Does 13 divide d?
False
Suppose 0 = 30*u - 54*u + 57528. Is 51 a factor of u?
True
Let p(c) be the first derivative of -c**5/20 + c**4/2 - c**3/6 + 4*c**2 - 3*c - 5. Let m(v) be the first derivative of p(v). Is m(6) even?
True
Let j(k) = 4*k**2 - 3*k + 4. Let d = -31 + 27. Does 20 divide j(d)?
True
Suppose 6*b + 9 = 21. Suppose b*d = 2*z - 444, 4*z = -2*d + 4*d + 894. Is 42 a factor of z?
False
Does 11 divide ((-36)/45)/((-2)/445) - 7?
False
Let o(j) = -j**2 - 14*j + 20. Let y be o(-15). Suppose 5*d = -s - 26, 3*d + 176 = -y*s + d. Let i = s - -57. Does 3 divide i?
True
Is ((478 + -35)*(-1 - -2))/1 a multiple of 6?
False
Let z(t) = -t**3 + 8*t**2 - 2. Let h be z(8). Let v be (h/4)/(-1)*4. Suppose 5 = l, -v*l + 188 = 4*i + 2*l. Does 9 divide i?
False
Let o(p) = 127*p + 25. Is 13 a factor of o(4)?
True
Suppose -g + 5 = 2, 3*g - 659 