 98*o**2 + 2*o - 43. Does 111 divide t(7)?
True
Suppose p + 10 = 5*s - 3*s, 16 = 4*s. Is 23 a factor of -365*1*-1 + 2 + p?
False
Let s(o) = -4*o - 4. Suppose -32 = 4*m + 3*x, 0 - 16 = 2*m + 3*x. Does 11 divide s(m)?
False
Suppose 231 = 2*j + 2*w - 389, 3*j - 2*w - 930 = 0. Is 31 a factor of j?
True
Let n be (-388)/8*(-4 + 0). Suppose 178 = 2*y - 3*i, -2*y - 2*i = -i - n. Suppose 4*d + d = y. Is 9 a factor of d?
False
Suppose 2*u - 352 - 428 = 0. Let x = u - 262. Does 26 divide x?
False
Let n = 7826 + -4618. Does 105 divide n?
False
Let f = -154 + 457. Suppose 5*a = f + 52. Is 11 a factor of a?
False
Let n = 20 - -70. Is 4 a factor of n?
False
Suppose 0 = -a - 2*a + 33. Let t(w) = 17 - a*w - 6 - 9 - 4. Is 11 a factor of t(-6)?
False
Let h = 29 - 34. Let r = h + 33. Does 14 divide r?
True
Does 24 divide 1507 - (-10 + 16 + -11)?
True
Suppose -4383 + 1103 = -2*j. Does 10 divide j?
True
Suppose 25*z - 32*z = -140. Does 2 divide z?
True
Suppose 4*o = o + 5*m - 19, 0 = o - m + 3. Suppose -o*b + 2*c + 242 = 0, -4*c - 25 = 2*b - 267. Is b a multiple of 12?
False
Suppose 5*j + 2*s - 7*s - 765 = 0, 2*j = s + 303. Does 25 divide j?
True
Let c be ((-5)/(-3))/(18/54). Suppose -s + c*s = 24. Let p = 15 - s. Is 3 a factor of p?
True
Let n(d) = -3*d**2 + 6*d - 3. Let g(j) = -8*j**2 + 19*j - 9. Let t(o) = -4*g(o) + 11*n(o). Let h(p) = -p - 8. Let c be h(0). Is t(c) a multiple of 10?
False
Let q = -350 - -324. Let i be 524/10 - 2/5. Let h = q + i. Does 12 divide h?
False
Let a(u) = -2*u**3 + 4*u**2 - 10*u - 8. Does 14 divide a(-5)?
True
Let l(b) = 4*b**2 + 6*b - 55. Is l(-12) a multiple of 6?
False
Let b = -27 + 34. Suppose -214 - 318 = -b*m. Is m a multiple of 16?
False
Let v = 146 + 17. Does 18 divide v?
False
Is (-34930)/(-45) - (-2 + 20/9) a multiple of 28?
False
Let i = -103 - -391. Is 18 a factor of i?
True
Suppose 4*f - 1095 = 5*d, 3*f = 5*f + d - 537. Is 15 a factor of f?
True
Suppose -54*m + 58*m - 454 = -c, -3*c - 2*m + 1332 = 0. Does 26 divide c?
True
Let a = 248 - 160. Does 15 divide a?
False
Let r = 38 + -19. Suppose r - 53 = -2*j. Is j a multiple of 15?
False
Suppose -23 = v - 5*y, -3*v - 5*y = 2*v - 35. Let d(z) = -v*z - 7*z - z**2 + 17*z + 9. Does 8 divide d(7)?
True
Let p(z) = -1 - 7 - 5*z + 2 - z. Is 6 a factor of p(-2)?
True
Let v = -10 - -14. Is 17*(v - (0 - -2)) a multiple of 11?
False
Suppose -4*y = 2*c - 1282, 2*c + 616 = 2*y - 22. Is 10 a factor of y?
True
Let n be (-90)/(-12) + 1/2. Suppose -u + n = -56. Does 14 divide u?
False
Let t = 124 - 91. Is t a multiple of 11?
True
Let f be 16/(-120) + (-2)/30*-1082. Let l = f + -60. Does 4 divide l?
True
Let x(m) = -34*m + 10. Let q be x(3). Let z = 338 + q. Does 41 divide z?
True
Suppose -20*j + 15*j = 0. Suppose 4*c + 5*m + j = 27, -3*c = 5*m - 14. Is c a multiple of 5?
False
Suppose -23*s + 2962 = -3708. Is s even?
True
Let z = 4987 + -3335. Is 28 a factor of z?
True
Suppose -5*y - x = -1179, -632 = -3*y - 5*x + 93. Is y a multiple of 23?
False
Let n = -29 + 31. Suppose 5*l + 5*q = l + 22, -q = -n*l + 4. Suppose -r - 5*z = -76, 3 = l*z - 0*z. Is r a multiple of 21?
False
Suppose 4 = 4*s - 2*a - a, 2*s - a = 4. Let v(h) = 3*h**2 - 4*h - 4. Is 14 a factor of v(s)?
True
Suppose 3*r - u = u + 10166, 3 = -3*u. Does 44 divide r?
True
Let p(t) = 8*t**3 - 2*t**2 + 3*t - 6. Is 35 a factor of p(5)?
False
Let g = -1681 - -2617. Is 52 a factor of g?
True
Let w(o) = 93*o**3 - 5*o**2 - 2*o + 8. Let k(c) = -280*c**3 + 14*c**2 + 6*c - 23. Let y(t) = -6*k(t) - 17*w(t). Is 25 a factor of y(1)?
True
Suppose 4*z + 0 - 8 = 0. Suppose 0 = -z*y - 5*m + 52 + 35, 0 = y - 4*m - 24. Is y a multiple of 9?
True
Suppose 0 = 16*g - 15*g. Let m(v) = -v**2 - 10*v + 82. Is 7 a factor of m(g)?
False
Suppose -8*u - 10520 = -28*u. Is 35 a factor of u?
False
Let g(v) = v**2 - 2*v + 59. Let r be g(0). Suppose 21 - r = -z. Suppose 6 + z = 4*b. Does 11 divide b?
True
Let g(w) = 7*w + w**2 - 2*w + w**2 + 0*w**2 - 11. Is g(-5) a multiple of 7?
True
Let q(j) = j + 239. Is q(41) a multiple of 31?
False
Let u(t) = -t**3 + 20*t**2 - 11*t - 37. Is 10 a factor of u(19)?
False
Let c(s) be the second derivative of -3*s**5/20 - s**4/3 - s**3/2 + 3*s**2/2 - 9*s. Is c(-3) a multiple of 29?
False
Let t(c) = 2*c**2 - 3*c - 24. Does 10 divide t(8)?
True
Let t be ((-19)/(-3))/((-5)/(-165)). Suppose -5*c + t + 11 = 5*k, -5*k + 216 = 4*c. Suppose -4*q + 86 = 2*m, 2*q = -0*q + 2*m + k. Does 7 divide q?
True
Let b(l) = 1 + 2 - 2*l + 5*l**2 + l**3 - 2*l**2 - l**2. Does 14 divide b(3)?
True
Let f(r) be the third derivative of r**4/12 - 5*r**3/6 - 5*r**2. Let s be f(-4). Let a = s - -41. Does 14 divide a?
True
Let o be 2120/(-50) - 2/(-5). Let s be (2 - 106)/(-4)*-1. Let a = s - o. Does 5 divide a?
False
Let m(s) = -s**2 - 11*s + 28. Is m(-7) a multiple of 14?
True
Let f(k) = -4*k - 4*k**3 + 5*k**3 - 12*k**2 + 12 + 7*k**2. Is 23 a factor of f(6)?
False
Suppose 26*j - 9*j - 816 = 0. Does 4 divide j?
True
Suppose -4*t = -p - 294, -5*t + 4*t + p = -72. Let u = 170 - t. Is u a multiple of 15?
False
Let c(k) = k**2 - 8*k - 29. Is 36 a factor of c(13)?
True
Suppose 0 = 2*v - n - 689, -4*v + 325 = -4*n - 1063. Is v a multiple of 9?
True
Let v(k) = k**3 - 6*k**2 + k - 36. Is v(12) a multiple of 35?
True
Suppose 4*i + 1550 - 4556 = 3*m, 5*i + 3*m = 3744. Is i a multiple of 16?
False
Suppose -13*b + 48*b - 98875 = 0. Is b a multiple of 6?
False
Let p be (114/36)/(2/(-4))*-18. Let d = -30 + p. Is 21 a factor of d?
True
Let c = -25 + 7. Is 5 a factor of 0 - c - (5 - 2)?
True
Does 97 divide (-8 - -2765) + 12/2?
False
Suppose -2*q = 2*q - 492. Suppose -452 + 79 = -3*u - m, q = u + m. Suppose -2*z = -5*r - 119, -3*z - u = -5*z + 3*r. Is z a multiple of 18?
False
Suppose 0 = 4*d - 179 - 2593. Is 33 a factor of d?
True
Let u(o) = 10*o + 1. Suppose 0 = 5*n - 3 - 17. Is 14 a factor of u(n)?
False
Let w(a) = 31*a + 23. Let u be w(-5). Does 22 divide 3 + (4 + -5 - u) + -2?
True
Let c(a) = -a**2 + 6*a. Let x be 8/3*(-18)/(-8). Let z be c(x). Is (-37 + z)/(-1) - 1 a multiple of 12?
True
Is 15 a factor of (-690)/(9/(54/(-4)))?
True
Suppose 212 = 47*m - 51*m. Let u = m - -68. Is 15 a factor of u?
True
Let c be (10/3)/(56/252). Is 27/2*4 + c + -15 a multiple of 4?
False
Let a(v) = -v + 83. Let z be a(22). Let w = z - 13. Is 12 a factor of w?
True
Let y(k) = k**3 - 6*k**2 - 4*k + 14. Let p = 36 + -29. Is y(p) even?
False
Let z(r) = 6*r - 38. Does 31 divide z(27)?
True
Let m(r) = -80*r + 11. Is m(-1) a multiple of 13?
True
Let c be (1 - 75/(-9)) + (-12)/(-18). Is 4 a factor of (c - -5)/(1/1)?
False
Let t(x) = -3*x - 46. Let r be t(-11). Let u(z) = -z**3 - 15*z**2 - 27*z + 6. Is u(r) a multiple of 12?
False
Suppose 4*j - 38 - 54 = 0. Let w = j + -2. Suppose 180 = w*m - 17*m. Does 13 divide m?
False
Let g = 30 - 26. Suppose 3*f - 13 = -2*s, g*s = 4*f - f - 19. Is f a multiple of 5?
True
Let h = -726 + 1446. Suppose -m - h = -3*v - v, -4*m = -5*v + 900. Is 30 a factor of v?
True
Let o = -28 + 32. Suppose -o*q + 167 + 37 = 0. Is 17 a factor of q?
True
Suppose z + 5*h = 0, -5*z - 41 = -2*h + 13. Let o be z/25 - (-912)/5. Let u = o - 109. Does 25 divide u?
False
Suppose 32*l - 42*l = -14720. Does 32 divide l?
True
Let f = 723 - -2040. Does 9 divide f?
True
Let z be (12/3)/(-4) - -35. Let o = 57 - z. Does 18 divide o?
False
Let o = -64 + 22. Let q = o + 178. Does 34 divide q?
True
Suppose 3*a - 2*a - 2089 = -4*d, 0 = -d + 5*a + 517. Does 48 divide d?
False
Is 5/(10/(-6)) + (-4896)/(-12) a multiple of 12?
False
Suppose 3*f + 1225 - 259 = -2*h, 2*h + 1606 = -5*f. Let r = -202 - f. Is 35 a factor of r?
False
Let h = 443 + -307. Is h a multiple of 17?
True
Is 21 a factor of (6*-1)/((-11)/((-2772)/(-8)))?
True
Let j(g) be the first derivative of -g**3/3 - 4*g**2 + 11*g + 10. Is j(-8) a multiple of 2?
False
Suppose 9 - 1 = 2*b. Suppose -b*x + 25 = -y - 9*x, 25 = 5*y - 5*x. Suppose y*o + o - 11 = 0. Is o a multiple of 3?
False
Let f be 1*-6*(-1)/2. Let p = 55 - 52. Suppose 142 = p*c + 2*y, y - f + 1 = 0. Is c a multiple of 14?
False
Let x = -130 + 307. Suppose -195 = -4*p + x. Is p a multiple of 31?
True
Let p be (0 - -2)*(-2 - -3). Suppose -4*g - 5*o + 105 = 0, g + p*o = 30 - 0. Does 10 divide g?
True
Suppose -2*n - 416 = -g + n, -g - 4*n + 395 = 0. Is g a multiple of 11?
True
Let v(i) = -11