z) = -5*z**3 - 7*z**2 - 7*z - 9. Let w be s(-5). Suppose -25 = -3*i + w. Does 24 divide i?
False
Let y(p) be the second derivative of p**4/2 + p**3/2 + p**2/2 - 5*p. Let l be y(3). Suppose 0 = j - 2*j + l. Does 32 divide j?
True
Let o be 15 - (-3 - -2) - -2. Suppose 2*s + s = w + 7, 2*w - 26 = -4*s. Let p = w + o. Is 3 a factor of p?
False
Let b = -2271 - -2559. Is b a multiple of 9?
True
Let s = -748 - -1077. Let d = s + -209. Is 24 a factor of d?
True
Let h(m) = m**3 - m**2 + 2*m + 34. Let c be h(0). Suppose 85 = 3*z + c. Does 17 divide z?
True
Let i(g) = 183*g**3 - 2*g**2 - g. Is 13 a factor of i(1)?
False
Is 12 a factor of (-6 + (-256)/(-40))/((-2)/(-480))?
True
Let k = 183 + 177. Does 18 divide k?
True
Suppose 3*v = 3*l - 51, -3*l + 4*v + 47 = 3*v. Suppose -n = 3*y - l, 2*n - 2*y + 11 - 1 = 0. Suppose 3*r + n*r = 84. Is r a multiple of 14?
True
Let k = -40 - -47. Suppose -k*y + 3*y = 2*o - 230, y = 3*o - 317. Is 12 a factor of o?
False
Let j(m) = -5*m - 5. Let z(s) = -s**3 + 6*s**2 + 4*s - 6. Let n be z(6). Let a be (-68)/n + 2/(-9). Is j(a) a multiple of 12?
False
Let v be (-10)/(-15)*15*2. Let d = v - 22. Does 4 divide (-5 - d)/((-18)/60)?
False
Suppose 11*y + 1092 = 32*y. Is y even?
True
Suppose 4*t + s - 540 = 0, 2*t + 3*s - 185 - 95 = 0. Let a = t + -71. Does 15 divide 5/(-2 + a/30)?
False
Is (7 + 1 + 2)/(10/1235) a multiple of 62?
False
Suppose -38*w - 12*w - 20*w = 0. Suppose -8 - 4 = -4*k. Suppose 0*q - 108 = -q - j, k*q - j - 336 = w. Is 37 a factor of q?
True
Let a be (-4)/((-1766)/(-590) - 3). Suppose 0 = l + i - 148, 2*i = 2*l - 6*l + a. Suppose -4*b = -b - l. Does 15 divide b?
False
Let i(f) = -f + 12. Let h be i(5). Let w(o) = o**3 - 6*o**2 - 7*o - 2. Let u be w(h). Let j(d) = -12*d - 4. Does 5 divide j(u)?
True
Suppose 11*v = 3850 + 693. Is 7 a factor of v?
True
Let p(i) = -20 + 3*i**2 + 694*i - 694*i. Does 11 divide p(-6)?
True
Let y(j) = -j**2 + 2*j - 2. Suppose 0 = 3*n + l - 9, n = 6*n - 5*l + 5. Let o be y(n). Is 10 a factor of (39 - 6/3) + o?
False
Suppose 2*l + 2480 = 3*y - 490, 3949 = 4*y + l. Is 13 a factor of y?
True
Suppose 69 = 5*k + 9. Let d = 10 - k. Is ((-16)/6)/(d/18) a multiple of 12?
True
Suppose 5*g = l - 3*l + 189, 0 = -4*g + 12. Is l a multiple of 13?
False
Let a(z) = 3*z**2 - 4*z + 4. Let i(b) = -b**2 + b - 1. Let p(k) = -3*a(k) - 12*i(k). Let g be p(1). Suppose 0 = g*j - 235 + 31. Is 16 a factor of j?
False
Suppose 4*p + 0*h - 46 = -h, -2*p + 12 = -5*h. Suppose -92 = -3*x + 4*q, 9 = -4*q - p. Is 12 a factor of x?
True
Let t be 3*(-6420)/18 + 4. Is 53 a factor of t/(-10) - (96/(-40))/(-4)?
True
Let n = -903 - -1686. Is 29 a factor of n?
True
Let c be (0 + -3)/(15/20). Let m = c + 6. Let z = m + 2. Is 3 a factor of z?
False
Let x(n) = n**2 - 2*n - 24. Let j be x(-9). Let o = j - -14. Is o a multiple of 18?
False
Suppose 3*d + 6 = -2*w, -7*w - 2*d = -2*w - 7. Suppose -9*h + 1170 = -w*h. Does 7 divide 4/(-18) - h/(-27)?
True
Suppose -3*b + 2*p - 4*p = -109, 5*b = 3*p + 188. Let d = b - 33. Does 2 divide d?
True
Suppose -515 = j - 4*j - 5*v, 0 = 2*j - 3*v - 375. Let q be ((-11)/(-2))/(-2*(-1)/4). Suppose 7*d = q*d - j. Is 15 a factor of d?
True
Let v be ((-1 - -1) + (-207)/(-6))*6. Suppose v = 5*u - 3*y, 0 = 4*u - 3*y - 71 - 97. Does 5 divide u?
False
Suppose -5375 = -14*t + 3109. Does 35 divide t?
False
Let w(b) = 3*b**2 + 3*b + 4. Let k be w(-3). Let l = -2 + k. Is 4 a factor of l?
True
Let h(j) = -6*j**2 + 3*j + 7*j**2 + 0*j**2 - 6 + 0*j**2. Let x be h(-5). Suppose -x*i + 36 = -12. Is 12 a factor of i?
True
Suppose 28 = 4*b + 8. Suppose -4*o - b*q = -60, -2*o - 2 = -4*q - 32. Does 15 divide o?
True
Suppose 5*c = c + 140. Suppose w - 28 = c. Is 9 a factor of w?
True
Let k(g) = -g**3 - 18*g**2 + 26*g - 58. Does 13 divide k(-23)?
True
Let d be (-1 + 2)*(-2 - (2 - 3)). Let g(l) = 40*l**2 + 2*l + 2. Is g(d) a multiple of 10?
True
Is 33 a factor of -1617*((-72)/(-14))/(-6)?
True
Suppose -9*i - 6 = -15. Does 4 divide 122/(i - -1) + -5?
True
Let n = 2506 + -812. Is n a multiple of 22?
True
Let i = 4980 - 1592. Is 26 a factor of (3/2)/(42/i)?
False
Let y = 318 - 143. Is y a multiple of 7?
True
Let p(v) = 3*v. Suppose -4*x + 12 = -z, z - 10 = 5*z + 3*x. Let s be p(z). Let a(h) = -4*h - 12. Is 6 a factor of a(s)?
True
Let h = -929 + 1585. Is 35 a factor of h?
False
Let w(r) = 6*r**2 + 32*r + 5. Is 9 a factor of w(18)?
False
Suppose 16*j - 7*j = 693. Is j a multiple of 3?
False
Let h = 620 + -354. Suppose -3*j = 5*p - 393, -2*j = -2*p + 4*p - h. Is j a multiple of 34?
True
Let u(y) = 2*y**2 + 19*y - 5. Let c be u(-10). Suppose c*n + 71 = 2*w, -w + 30 = -5*n - 3. Does 19 divide w?
True
Let m(v) = -v**2 + 7*v + 14. Let r be m(6). Let d = r + -15. Does 5 divide d?
True
Let s be 6*12/42*(0 + 616). Suppose 11*w - s = 3*w. Does 6 divide w?
True
Let n be (0/2)/(1/(-1)). Suppose 0 = -a - 6*u + 4*u + 13, 5*a + 3*u - 37 = n. Suppose -2*o + p + 45 = 0, 135 = a*o - 0*o + 2*p. Does 13 divide o?
False
Let o(u) = 20*u**3 + u**2 + 2*u + 2. Let d be o(-1). Let q(n) = n**2 + 16*n - 2. Is q(d) a multiple of 7?
False
Let h(j) = j**2 + 6*j - 6. Let p be h(-8). Let q = p - -65. Is q a multiple of 26?
False
Let v(o) = -4*o**3 - 33*o**2 - 8*o - 1. Is 4 a factor of v(-9)?
False
Suppose 4*u + 3 = 5*h - 12, 0 = 3*u + 3*h - 9. Suppose -6*f + 15*f - 2835 = u. Is f a multiple of 35?
True
Let c(l) = 4*l - 7. Let r(j) = 1. Let t(u) = -c(u) + 4*r(u). Let w be t(-6). Let p = w - -66. Is 23 a factor of p?
False
Let c be ((-6)/4)/((-12)/40). Suppose 5*v + 125 - 9 = 2*q, -3*v + 259 = c*q. Is 6 a factor of q?
False
Let f(p) = -16*p**2 + 725. Is f(0) a multiple of 6?
False
Let o(c) = -3*c**3 - 5*c**2 + c - 2. Let u be o(-4). Suppose 5*v - u = 2*t + 397, -5*v = 4*t - 479. Is v a multiple of 31?
False
Let l(a) = a**2 - 7*a + 5. Let q be l(7). Suppose -q*j + 335 = -5*c, 5*j - 3*c - 452 + 107 = 0. Is j a multiple of 12?
True
Suppose -20*q + 15*q - i = -12359, 0 = 2*i + 2. Is q a multiple of 103?
True
Let x(k) = 621*k**3 + k**2 - k - 1. Is 57 a factor of x(1)?
False
Let j(h) = -1 - 2 + 0*h**2 - h**2 + 3*h - 1. Let o be j(3). Does 10 divide 10*4/(-16)*o?
True
Let u(x) = -3*x + 2. Let l be u(-6). Let a = l - -6. Suppose -3*r + 4*r - a = 0. Is r a multiple of 13?
True
Suppose 267 = i - 2*h, i - 4*h - h = 267. Is i a multiple of 16?
False
Let k(x) = -x**3 + 9*x**2 + 9*x + 8. Let t be k(10). Let s = 3 - t. Suppose -2*f = 6, 0 = s*n + 2*f - 144 + 25. Is n a multiple of 14?
False
Does 16 divide 715 + -2 + -2 + 9 + -3?
False
Let s(q) = 2*q**2 + 17*q + 660. Is s(-36) a multiple of 20?
True
Let h(f) = -3*f - 2. Let s be h(-3). Let y(o) = 6*o**2 - 11*o - 16. Is 31 a factor of y(s)?
False
Let b = 24 - 18. Suppose -5*s - b + 22 = 4*o, -5*s = 5*o - 15. Let w(i) = -64*i. Is 16 a factor of w(o)?
True
Suppose -4*i = c + c, 5*c + 36 = 2*i. Let a(t) = -3*t - 4*t**3 - 4*t - 11 + 5*t**3 + 6*t**2. Does 19 divide a(c)?
False
Let s be 18/27*(-3)/(-2). Suppose 0 = -4*t - 3*l + s + 125, 0 = -5*l + 10. Is t a multiple of 6?
True
Suppose 2*s = -2*s - 2*h + 1078, 1375 = 5*s - 3*h. Suppose -92 + s = 2*r. Is r a multiple of 17?
False
Suppose 0*u - u - 32 = 0. Let o = 473 + -470. Is (u/(-6))/(2/o) a multiple of 4?
True
Let t = -330 + 521. Is t even?
False
Suppose -68*q = -78*q + 520. Does 2 divide q?
True
Suppose 5*i - 4*i - 8 = -3*j, -i = -2. Suppose -83 + 241 = j*x. Does 14 divide x?
False
Suppose 2 + 13 = 5*x, 5*i + 3*x = 4779. Is 18 a factor of i?
True
Let w be -1 - 2*(0 - (-4)/(-8)). Is 3 a factor of (w + 5 + -6)*20/(-1)?
False
Suppose 3*x + 2*x - 165 = 0. Suppose 2*h + 3*b - 8*b - x = 0, -51 = -4*h + 5*b. Suppose h*z - 144 = 5*z. Is 9 a factor of z?
True
Suppose 3*f - 54 = -3*f. Let b(o) = o**3 - 9*o**2 + 5*o + 7. Is b(f) a multiple of 26?
True
Let p(x) = 7*x - 22. Let o be p(11). Is (7 - 6) + 1*o a multiple of 9?
False
Suppose -3*i = -3*f + 6, f + 3*i - 15 = -1. Let d(a) = -a**2 + 5*a + 6. Let k be d(f). Let y(z) = z**2 - 4*z + 6. Is y(k) a multiple of 11?
False
Let b be (-3)/6*3/(9/(-102)). Let w = b - -5. Is 4 a factor of w?
False
Let j(v) = 17*v. Let k(o) = 273*o. Suppose 3*a + 0*a + 195 = 0. Let f(u) = a*j(u) + 4*k(u). Does 21 divide f(-6)?
False
Let y(a) = -2*a + 50. Let c be y(25). Let z(v) = v - 4*v + 24 + v. Is 19 a factor of z(c)?
False
Suppose -2*s = 3*k - 4190, 0 = 5*