 j = -97 - -72. Is 8 a factor of (-30)/j*4*10/6?
True
Suppose -11194 = -4*j - h, -16*j - 2804 = -17*j - 3*h. Is j a multiple of 11?
False
Suppose 5913 + 5967 = 10*u. Does 22 divide u?
True
Let v(q) = 7*q**2 - 6*q + 8. Let n(x) = -6*x**2 + 7*x - 8. Let f(i) = 5*n(i) + 6*v(i). Is f(4) a multiple of 28?
True
Let z(c) = c**3 + 10*c**2 - 2*c - 4. Suppose 2*u + u + 5 = w, 4*w = -2*u - 50. Does 7 divide z(w)?
False
Let f(p) = p**2 - 35*p + 67. Does 10 divide f(35)?
False
Suppose -l + 104 = -0*l. Let f = -50 + l. Is 18 a factor of f?
True
Suppose p + 3*h - 22 = 134, -3*p - 5*h + 460 = 0. Suppose 0 = -6*m + 9*m - p. Is 14 a factor of m?
False
Let w(b) = -2*b + 3. Let n(i) = i - 4. Let j(q) = -3*n(q) - 2*w(q). Let l be j(6). Is 17 a factor of (-3 - (-33)/l)*-172?
False
Suppose 0 = 22*l - 24*l + 10. Suppose 5*a = k - 93, 0 = -k - l*a + 103 - 30. Is k a multiple of 16?
False
Let g(j) be the second derivative of -53*j**3/6 - j**2/2 + 5*j. Let i be g(-3). Suppose 0 = -5*m + 4*h + i - 57, -4*h - 59 = -3*m. Is 7 a factor of m?
True
Suppose -8*i + 27 = -5*i. Let c(d) = -d**3 + 11*d**2 - 9*d + 3. Is c(i) a multiple of 26?
False
Let d(v) = v**2 + 14*v + 18. Let b be 4/(-2)*(-156)/(-24). Let w be d(b). Suppose -i - 5*a - 105 = -6*i, 0 = -i - w*a + 27. Does 22 divide i?
True
Is 38 a factor of (4755*10/(-45))/((-14)/21)?
False
Suppose -3*u + 772 = -95. Is 8 a factor of u?
False
Suppose -5*z - 61 = -u, -91 - 149 = -3*u - 4*z. Does 19 divide u?
True
Let f be (-3 + 6)*-1 + 332. Suppose 7*p - 91 = f. Does 15 divide p?
True
Let d = 534 - -1767. Is 27 a factor of d?
False
Is 22 a factor of 420/25*(-385)/(-14)?
True
Suppose 34*s = 22*s + 6588. Is 67 a factor of s?
False
Suppose 97*w - 100*w + 1014 = 3*y, 0 = -5*y + w + 1714. Does 6 divide y?
True
Let i(c) = 2*c**2 - 2*c + 14. Let p(s) = s**2 - 10*s + 17. Let v be p(4). Is 21 a factor of i(v)?
True
Suppose 0 = -37*m + 40*m + 48. Does 17 divide 621/4 - (-4)/m?
False
Suppose -31*j + 38*j = 4438. Is 28 a factor of j?
False
Suppose -3*g - 4*r - 4 = 0, 0 = -2*g + r + 4 - 3. Suppose g = 5*w - 3*w - 186. Is w a multiple of 31?
True
Let x be (-7 - -1)*(-6)/18. Suppose -x*u + 3*m + 2*m - 23 = 0, 0 = u + 4*m - 21. Does 12 divide u + -4 + 2 - -25?
True
Suppose -3*i + 412 = -2564. Is i a multiple of 73?
False
Let w be 273 + 0 + -27 + 32. Suppose -149 = -g + w. Is g a multiple of 61?
True
Suppose -4*x - 4*v - 60 = 0, 4*v = 4*x - 0*x + 76. Suppose -4*k - 106 = 3*w, w = 5*k - 21 - 8. Let h = x - w. Is 17 a factor of h?
True
Is 4 a factor of (-1)/((-2)/10) - 61506/(-102)?
True
Is (154 - -315)*(-4)/(-7) a multiple of 14?
False
Suppose 3*a = -7*r + 8*r - 1729, -5*r = 2*a - 8611. Is 81 a factor of r?
False
Let u(g) be the first derivative of -g**4/4 - g**3/3 + 3*g**2 + 16*g - 22. Does 2 divide u(-3)?
True
Let s(j) = -13*j**3 + 4*j**2 - 12*j - 36. Does 22 divide s(-3)?
False
Suppose 26 = 4*b + 2. Suppose w = b*w - 20. Suppose -w*s - 2*u = -0*u - 38, u = -5*s + 49. Is s a multiple of 4?
False
Let o = 38 + -17. Suppose r - 3*w = -41 - o, 2*r = 2*w - 104. Let n = r - -75. Does 7 divide n?
True
Suppose -3*k = n + 2*k + 68, -n = 3*k + 60. Let h = n - -60. Does 7 divide h?
False
Let w(r) = 8*r**2 - 6*r - 74. Is w(11) a multiple of 12?
True
Suppose -2*y = -37 + 41. Is 37 - (-5 + y/(-2)) a multiple of 8?
False
Suppose w = y - 3, -4*w = -3*y - 6*w + 14. Suppose y*b - 122 = 42. Let a = b - 7. Is a a multiple of 8?
False
Suppose -2*r - r + 4*b = -1846, 5*r - 3062 = 3*b. Is 10 a factor of r?
True
Let b(a) = 2*a**2 - 45*a + 159. Does 49 divide b(31)?
True
Let g(n) be the second derivative of n**5/20 - n**4/6 - n**3/3 - n**2/2 - 7*n. Let v be g(3). Does 4 divide (v - (-3)/(-2))*46?
False
Let m(s) = s**3 + 11*s**2 + 9*s - 9. Let b be m(-10). Let d be b/(-3) - 7/(-21). Suppose -5*y - 106 = -3*i - 0*y, d = -i - 2*y + 28. Is 12 a factor of i?
False
Suppose 3 + 85 = -i - 3*c, 0 = -2*i + 5*c - 220. Suppose -718 = -5*l - y, -6*y + 3*y = 6. Let x = l + i. Is x a multiple of 8?
False
Let m(a) be the first derivative of -a**3/3 + 6*a**2 - 14*a + 4. Does 14 divide m(7)?
False
Suppose 3*d - 4*d + 1346 = -2*j, 0 = d + 3*j - 1366. Suppose -894 = -8*g + d. Is g a multiple of 27?
False
Does 22 divide ((-10530)/(-156))/((-2)/(-4))?
False
Let f(j) = 2*j + 144. Does 8 divide f(0)?
True
Suppose -3*b - 11 = -14. Let c(r) = 360*r**3 - r**2 + r - 1. Does 13 divide c(b)?
False
Let w be (6*2/(-4))/(-1). Is 26 a factor of w - ((2 - 5)*-1 + -122)?
False
Let c(y) = 144*y**3 + 2*y**2 + y - 3. Is c(1) a multiple of 6?
True
Let x = -153 - -276. Suppose -18*y + 21*y = x. Does 9 divide y?
False
Let m(s) = -6*s - 10 - 2*s + 3*s + 4*s. Let v be m(-9). Let j(z) = 32*z**2 + z + 1. Is j(v) a multiple of 16?
True
Let f(u) = -72*u + 34. Is f(-17) a multiple of 26?
False
Let o be (-4)/(-10) - 81/15. Let m(i) = -3*i**3 - 15*i**2 + 9*i - 9. Let d(g) = -g**3 - 5*g**2 + 3*g - 3. Let q(y) = 17*d(y) - 6*m(y). Is 18 a factor of q(o)?
True
Let k(s) = -227*s + 452. Is k(-8) a multiple of 28?
True
Let x = 2704 - 1424. Is 40 a factor of x?
True
Let h(a) be the first derivative of a**3 - a**2/2 - 16*a - 16. Is h(4) a multiple of 14?
True
Let q = -122 - -374. Let w = q - 129. Suppose -w + 41 = -2*b. Does 13 divide b?
False
Suppose -3*y + 664 = y. Is y a multiple of 8?
False
Is 38 a factor of (-26)/4*260/(-10)?
False
Let y(h) = -h**3 + 10*h**2 + 3*h - 13. Let b be y(10). Suppose 0 = -4*j + 175 + b. Let a = j + -23. Is a a multiple of 9?
False
Let d be -10*(-3)/12*2. Suppose a = 5*o + 507, -45 - 42 = o - d*a. Does 17 divide (o/(-9))/((-10)/(-45))?
True
Suppose 63 = f - 3*v, 3*f - 65 = -2*v + 124. Suppose 3*r = 3*s + 129, -f = -4*r - 2*s + 97. Let l = 95 - r. Is l a multiple of 18?
True
Let d(y) = -4 - 6*y**2 + y**2 + 7*y**3 - y**2 + 7 + y. Is d(2) a multiple of 12?
False
Suppose -228 = -z - 5*z. Suppose -4*g = n - 40 - z, -264 = -3*n - 2*g. Is 10 a factor of n?
True
Let t(z) = 41*z**2 + 1. Let a(h) = -7*h + 1. Let b(m) = 8*m. Let j(i) = 5*a(i) + 4*b(i). Let x be j(2). Does 18 divide t(x)?
False
Let c(w) = w**3 - 13*w**2 + 11*w + 6. Let h be c(12). Let r(d) = d**2 + 4*d - 6. Let g be r(h). Let z = g - -30. Does 18 divide z?
True
Let b = 124 - -5. Let u = b - 71. Is 26 a factor of u?
False
Suppose -5*a - 682 = -1162. Does 6 divide a?
True
Suppose -4*m + 50 = 3*c - 0, -3*c - m + 35 = 0. Suppose -2*g = c - 36. Suppose -z + g = 3*x - 12, -3*z + 67 = x. Is z a multiple of 22?
True
Suppose -38*c + 37464 = -30*c. Does 21 divide c?
True
Does 3 divide 1 - -3 - (-1722)/21?
False
Let o = -3330 - -5937. Is 79 a factor of o?
True
Let v be ((-9)/4)/(1/16). Let t = v + 71. Let w = t - 2. Does 13 divide w?
False
Suppose 3*w = -w - 2*s + 38, 4*s = -w - 1. Suppose -w = -3*i + 2*u + 11, 4*u = -2*i + 20. Is i a multiple of 8?
True
Let r(p) = 40*p + 1. Let f(m) = m**2 - m - 4. Let l be f(3). Suppose 4*y - 2*v - 8 - l = 0, 0 = 5*v + 5. Is r(y) a multiple of 27?
True
Let m = 583 + -444. Is m a multiple of 3?
False
Suppose 3*x - 5*g = 1, -12 = x - 5*g + 1. Suppose -3*q - 20 = -x*q. Suppose q*i = -3*n + 70, i + 3*i = 4*n - 72. Does 5 divide n?
True
Suppose 3*b - 4*t = 18, -4*b - 2*t + 7 = -17. Let y(f) = -f**2 - b + 10*f + 3*f**2 - 3*f**2. Does 7 divide y(4)?
False
Suppose -4*z + 5*b + 3 = -12, -3*z + b = -14. Is 6/z*(-10)/4 + 37 a multiple of 34?
True
Suppose 6*a - 5991 = 1293. Is 9 a factor of a?
False
Let d = 0 + 4. Let b be 5*(-2)/d*-2. Is (20/(-6))/(b/(-30)) a multiple of 5?
True
Let g(t) = -2*t - t + 2*t. Let n be g(0). Suppose 2*u - 7 = -5*m, 3*m + 12 - 3 = n. Is 11 a factor of u?
True
Let d(n) = -7*n**3 + 29*n**2 + 11*n. Let r(i) = 3*i**3 - 14*i**2 - 6*i. Let m(z) = 4*d(z) + 9*r(z). Is 2 a factor of m(-9)?
False
Suppose -57*d + 6 = -55*d. Suppose -k + d*k + 10 = 2*w, k = -2*w + 22. Is 3 a factor of w?
True
Is 2 a factor of (-112)/(-6) + (130/(-30))/(-13)?
False
Let m(b) = -4*b**3 + 28*b**2 - b + 44. Is m(6) a multiple of 91?
True
Suppose 54*f - 56*f + 384 = 0. Let p = f + -98. Is p a multiple of 12?
False
Let p(o) = o + 19. Let f be p(-16). Suppose 2*d - 398 = 2*j + 78, -4*j = f*d - 693. Suppose 5*b = 3*v + d + 62, -3*v + 243 = 4*b. Is 10 a factor of b?
True
Suppose -25 + 15 = -2*z. Let g(u) = 5*u + 11. Does 6 divide g(z)?
True
Suppose 4*b = l - 0*b - 4, 0 = -2*l - 4*b + 20. Suppose -l*v - 107 = -523. Is v a multiple of 20?