
True
Let a(k) = -k**2 + 12*k + 13. Let z be a(13). Let p = 3 - z. Suppose -3*v + 26 - 2 = 3*o, 5*v - p*o - 64 = 0. Does 7 divide v?
False
Suppose -5*b = -307 - 148. Let c = b - 70. Does 7 divide c?
True
Let d(n) = 2*n + 5. Let s be d(0). Suppose -151 = -g - w, s*g - w + 158 = 931. Does 14 divide g?
True
Let m = -11 + 11. Suppose m = -6*d + d - 985. Let l = -140 - d. Is l a multiple of 15?
False
Let z(c) = 2*c**2 - 4*c + 6. Let f = -58 + 53. Does 18 divide z(f)?
False
Let l(s) = 6*s**2 + s + 5. Let w(x) = 7*x**2 + x + 4. Let t(p) = -3*l(p) + 4*w(p). Is t(-2) a multiple of 13?
True
Suppose 3*t - 15*t + 1428 = 0. Is 10 a factor of t?
False
Let s(a) = -a**3 - 18*a**2 + 5. Let w be s(-18). Is w/30*51*2 a multiple of 15?
False
Suppose 43*h - 9147 = 38*h - 3*a, 2*h = -5*a + 3655. Does 15 divide h?
True
Suppose 12*u + 12*u - 864 = 0. Let c be -9*(0 + (-2 - 0)). Let o = u - c. Is 8 a factor of o?
False
Let y(t) = 15*t + 22. Suppose 11*w = -4*w + 75. Is 10 a factor of y(w)?
False
Is (336 - (-2 - -7))/((-1)/(-1)) a multiple of 43?
False
Let y = 1491 + -788. Is 37 a factor of y?
True
Let c(n) = -2*n - 7. Let g be c(-6). Let t(w) = -7*w**2 - 4*w + 5. Let l(y) = -11*y**2 - 6*y + 8. Let k(v) = g*l(v) - 8*t(v). Is 8 a factor of k(-6)?
True
Let j(p) = -2*p**3 - 17*p**2 - 5*p - 10. Is j(-9) a multiple of 28?
False
Suppose 5*p + 2*n - 1 = 0, 5*p - 5*n + 2 = 17. Suppose g = 24 - p. Does 6 divide g?
False
Let d(x) = 2*x + 29. Let o be d(-13). Suppose 3*y = z - 18 - 3, o*z - 88 = 4*y. Is z a multiple of 9?
True
Let i(y) = -2*y**2 - 6*y + 5. Let a be i(5). Let o = 87 + a. Does 4 divide o?
True
Suppose b + 2*b + 5*z = -68, 0 = -2*b - z - 43. Let o = 53 + b. Is o a multiple of 3?
False
Let y(x) = -2*x**3 + 5*x - 2 + 3*x + 5*x**3 - 56*x**2 + 53*x**2. Is y(3) a multiple of 19?
True
Let h be (-2)/3 + 2/3. Suppose -1188*l + 87 = -1187*l. Suppose h = 2*k - 3*g - l, -k - g = -3*k + 77. Is k a multiple of 20?
False
Suppose 33*f = 9382 - 2617. Is f even?
False
Suppose -12 = 4*o - 40. Let v = o - 2. Suppose 4 = -4*t, -2*t - 243 = -v*s + t. Is s a multiple of 28?
False
Suppose -5*c + 63 = 563. Is 20 a factor of -3 + 4 + -3 - c?
False
Let l(o) = o**3 + 6*o**2 - o - 1. Let h be l(-6). Suppose -h*u + 131 = -4*s, 4*s = u - 5*u + 76. Suppose -94 = -p + u. Is 39 a factor of p?
True
Let n(h) = h. Let r(b) = -17*b**2 - 10*b - 5. Let m(o) = 5*n(o) + r(o). Let d(v) = -v**2 - v - 1. Let q(p) = 6*d(p) - m(p). Does 15 divide q(-2)?
True
Let j be (2/(-6))/(-1)*0. Let g(m) = -3*m - m + 2*m + j*m. Is 2 a factor of g(-1)?
True
Let w(n) = 14*n**2 - 1 + 1. Suppose -4*i - 2*c + 0 - 12 = 0, -2*i + 2*c + 6 = 0. Is 9 a factor of w(i)?
False
Let h(b) = 88*b - 171. Is 2 a factor of h(2)?
False
Let z(b) = -b**3 - 7*b**2 + 8*b + 2. Let f be z(-8). Let u be 1/(-2) - (-553)/f. Is (-4)/10 + u/15 a multiple of 11?
False
Let n(w) be the first derivative of 3*w**3 - 4*w**2 + 8*w - 4. Let u be n(5). Suppose 4*h - u = -h + 4*d, -5*d = 4*h - 138. Does 8 divide h?
False
Let i be 45/10 - (-3)/(-2). Suppose t = -i*t + 36. Is t a multiple of 6?
False
Let t = -12 + 28. Suppose 12*z - t*z = -156. Is 8 a factor of z?
False
Let r(y) = -2*y**2. Let a(h) = -h**2. Let o(c) = -7*a(c) + 5*r(c). Let u be o(1). Is (u - -2)/(2/(-182)) a multiple of 32?
False
Suppose -5*d - 2*h - 9 = 0, 0 = -h + 5 - 2. Is 2 a factor of -3 + 1 - (-3 + d)?
True
Suppose -4*a = 4*y - 3*a + 56, 0 = -3*y + 5*a - 42. Let h(s) = s**3 + 15*s**2 + 5*s - 1. Is 25 a factor of h(y)?
True
Suppose 1665 - 4872 = -3*a. Suppose 7*f - a = -47. Does 10 divide f?
False
Let v(y) = 11*y**3 - 4*y**2 - 20*y + 35. Is 86 a factor of v(6)?
False
Suppose -5*y - 20 = -2*c, 8*c - 3*c + 20 = -5*y. Suppose c = 4*s + s - 30. Suppose -s*j - 185 = -4*u - 5*j, 130 = 3*u + j. Is 15 a factor of u?
True
Let f(q) = -37*q - 101. Is 22 a factor of f(-12)?
False
Suppose 23*g + 222 = 26*g. Suppose -5*j + 506 + g = 0. Is j a multiple of 29?
True
Let w = 69 - 51. Suppose -w + 62 = 2*q. Is q a multiple of 11?
True
Let n = -1106 + 1829. Does 9 divide n?
False
Let y(m) = -m**3 + 12*m**2 + 3*m - 9. Let k be y(12). Does 41 divide (-365)/(-3) - (-9)/k?
False
Suppose 5*r = -0*c - 2*c + 24, -4*r + 20 = 2*c. Let v be (4 - 1)*c/3. Suppose -3*o + 128 = v*x - 34, 5*o - x = 283. Is 26 a factor of o?
False
Let v(p) be the third derivative of 3*p**5/10 - p**4/24 + 4*p**3/3 + 8*p**2. Does 40 divide v(-3)?
False
Let v(x) = -7*x - 16 + 11*x + 0 + 6*x. Let c be v(-13). Let i = 216 + c. Is 14 a factor of i?
True
Suppose 0 = -5*l + 9*l + 4. Does 7 divide ((28/6)/(-2))/(l/54)?
True
Let o(i) = -i**3 - 5*i**2 - 2*i + 3. Let y be o(-4). Does 7 divide (y - -8)*160/12?
False
Let f be (3 - -1)/(-4) - -85. Let b = f - 56. Suppose 0*p = -4*p + b. Is p even?
False
Let d = -29 - -41. Suppose -4*t - 8 - d = 0. Let o = t - -29. Does 5 divide o?
False
Let x = -19 + 29. Let c(o) = -x*o**3 + 19 - o + 2*o + 11*o**3. Does 11 divide c(0)?
False
Suppose 4*o - 5 = 2*k - 5*k, -5*o + k + 11 = 0. Let m be 2/((3*1)/((-396)/(-88))). Suppose m*w - o*a - 138 = -w, 4*a - 48 = -w. Is w a multiple of 18?
True
Suppose 0 = -8*j - 7*j + 1170. Is j a multiple of 40?
False
Let s(k) = 36*k**2 + k + 2. Let l be (-4 - -8) + -3 + 1 + -4. Is 16 a factor of s(l)?
True
Suppose -3*q = -60 - 48. Let m be (-1016)/(-10) + 16/40. Let h = m - q. Does 22 divide h?
True
Let u(m) be the first derivative of 7*m**3/3 + m**2/2 + 4*m + 23. Does 39 divide u(5)?
False
Suppose 0 = -o - 4*v + 473, -5*o + 5*v = 3*v - 2431. Suppose -5*i + 65 = -o. Does 15 divide i?
False
Let p(o) = o**2 + 6*o - 8. Let z(a) = 8*a + 1. Let q be z(-1). Let l be p(q). Does 15 divide (5/(-2))/(l/16)?
False
Suppose -3*y + 3 = -3*j, 0*j = -4*y - 4*j + 36. Suppose -2*v = 4*g - 224, -g = -y*v + 4*g + 620. Is 8 a factor of v?
True
Let l(s) be the second derivative of 2*s + 0 + 1/3*s**3 + 11/2*s**2. Is 26 a factor of l(11)?
False
Let c(f) = 4*f**2 + 6*f + 2. Let s = -38 - -47. Is c(s) a multiple of 55?
False
Let m(d) = 70*d + 22. Is m(0) a multiple of 3?
False
Suppose -15735 = -5*h + 5*c, -9441 = -3*h - 5*c + 7*c. Is 22 a factor of h?
False
Suppose 62 = -3*h + 1604. Is 48 a factor of h?
False
Let h(s) = -s**2 - 6*s + 31. Let n be h(19). Let g = n + 692. Is 31 a factor of g?
True
Let z(v) = v - 6460. Let b be z(0). Does 8 divide (-4)/(-26) + b/(-260)?
False
Let k be (3*-1 - -2)/((-10)/(-300)). Is 9 a factor of k/75*180/(-4 - -2)?
True
Let m(i) = -38*i**2 + 14*i - 9. Let j be m(6). Is 1 + j/(-12) - 6/8 a multiple of 12?
True
Suppose 0 = 2*v - 15*v + 7878. Is v a multiple of 6?
True
Suppose -4*f = 4*q - 7705 + 2961, 0 = 5*q - 2*f - 5951. Is q a multiple of 50?
False
Suppose p = -3*k - 7, -2*k - 11 = -p + 2. Is (-3)/(105/(-1460)) - k/14 a multiple of 12?
False
Let c(w) = 5*w + 36. Let t be c(-8). Let h(n) = -8*n + 11. Does 43 divide h(t)?
True
Suppose 5*q - 3*u = -57, -q = 3*q + 4*u + 20. Let w be (135/(-12))/(q/48). Suppose -3*g = -3*i + 90, -g = -2*i - 0*g + w. Is 10 a factor of i?
True
Suppose 7*l - 10*l - 15 = 0. Is (-15 - 1)*(-7 - l) a multiple of 6?
False
Suppose -d - 1 = -10. Suppose -i - 3*n - d = 0, n + 59 = -2*i - i. Does 11 divide (-12)/i - (-1216)/28?
True
Let c be (-8)/((-1158)/291 + 4). Let b be (1 + c/(-8))*-2. Does 11 divide (-2 + 3)/((-9)/b)?
True
Suppose 0 = -8*g + 4*g + 48. Let n(l) = l + 15. Is 4 a factor of n(g)?
False
Is 259248/1056 + 1*(-1)/(-2) a multiple of 5?
False
Let k be 452/6 - (-2)/(-6). Suppose 0 = -4*q + 4, -5*h = -q - 194 + k. Suppose m = -3*f + 7 + h, 56 = 4*m - 5*f. Is m a multiple of 7?
False
Let g(x) = 5*x - 1. Let q be g(1). Suppose -5*u + f + 542 = -3*f, -q*u - 5*f + 409 = 0. Suppose -u + 21 = -5*r. Is 17 a factor of r?
True
Suppose -4*j = -3*b - 0*b + 8, -5*b = j + 25. Let u(a) = a**2 + 3*a - 1. Let r be u(b). Suppose -q - q - 3*z + 41 = 0, -r*z - 127 = -4*q. Is q a multiple of 25?
False
Let b = -15 + 8. Let f be (16/(-28))/(2/b). Suppose -f*a = 2*a - 116. Does 8 divide a?
False
Let r(d) = -d + 9. Let w(o) = o - 10. Let m(g) = -4*r(g) - 5*w(g). Let x be m(11). Is 4 a factor of 8/1 - (x - 3)?
True
Let p(z) be the third derivative of -5*z**4/12 - 5*z**3/6 - 18*z**2. Does 4 divide p(-6)?
False
Let c be ((-15)/6)/(-5)*-30. Let a(p) = -13 - 3 + 13 + 16*p**2 + 8*p + 5*p + p**3. Does 27 divide a(c)?
True
Let c(t) = t**2 - 8*t - 5. Let s be c(10). Suppose 13*m - s*m 