-1)/((-3)/45) - 3?
True
Let o = -35 - -96. Is o a multiple of 28?
False
Let l be (80/6)/((-1)/(-3)). Suppose l = 2*p + 2*g, -2*g = p + 2*p - 60. Does 10 divide p?
True
Let x = 9 - 9. Let i(n) = n**3 + n**2 + 65. Let b be i(x). Suppose 3*v + 4*k - b = 0, -k + 73 = 3*v - 4. Is 19 a factor of v?
False
Let i(d) = d**3 + 10*d**2 - d - 8. Let s be i(-10). Let o(p) = p**2 + 0*p**s - 2*p**2 + 2*p**2 - 3 - 2*p. Does 4 divide o(-2)?
False
Let d be 54/8 + (-1)/(-4). Let v = -4 + d. Is 17 a factor of -34*((-6)/4)/v?
True
Let p be 2/(6/9) - 11. Let q(w) = -5*w - 1. Is 13 a factor of q(p)?
True
Let l(b) be the first derivative of 9*b**4 - 2*b**3/3 + b**2 - b - 2. Let d be l(1). Suppose -5*v - 5*y + d = 0, -5*v + 10*v - 53 = 4*y. Is 9 a factor of v?
True
Suppose -2*h + 8 = -3*h + s, -h - 32 = 5*s. Let l = -7 - h. Let x = 11 - l. Is x a multiple of 6?
True
Suppose 10*i - 605 = 515. Does 16 divide i?
True
Suppose -17*c - 135 = -22*c. Does 16 divide c?
False
Suppose f - p = -2*f + 249, 0 = -4*f + 2*p + 334. Is 17 a factor of f?
False
Is ((-6612)/(-133))/((-1)/(-7)) a multiple of 62?
False
Suppose -2*y + 4*y = -10. Let n(s) be the second derivative of s**5/20 + s**4/2 + 5*s**3/6 + 3*s**2 - 3*s. Does 3 divide n(y)?
True
Let o be 1106/(-4 + 2) - 0. Let u be 7/(21/6) - o. Does 12 divide 9/12 + u/12?
False
Let k(f) = 41*f**2 - 2. Is 16 a factor of k(1)?
False
Let p = 12 - 6. Is 16 a factor of (-3)/6 + 177/p?
False
Suppose 0 = -w + 2*w + 14. Let u = -8 - w. Suppose 0 = -2*a + u + 24. Is 4 a factor of a?
False
Let p be (5 - -7) + (1 - 3). Suppose -8 - p = -2*x. Does 9 divide x?
True
Let b(h) = h**3 + 5*h**2 + 5*h + 6. Let o be b(-4). Suppose 2*d = 4*w + 20, 3*d + 3 = -o*w + 1. Suppose s + 3*u = 23, -s - d*u = -2*s - 2. Does 8 divide s?
True
Suppose 0 = -t + 326 + 81. Does 11 divide t?
True
Suppose -n = a - 81, 0*a + 404 = 5*n + 4*a. Is 16 a factor of n?
True
Let s be (-8)/(-10)*10/(-2). Let d = s + 6. Suppose -110 = -3*v - d*v. Is v a multiple of 11?
True
Suppose 2*m - 324 = -3*f - 0*m, -4*f + 428 = 4*m. Suppose f + 16 = 2*r. Does 33 divide r?
False
Let b(p) = p**3 - 3*p**2 - 3*p - 2. Let l be b(4). Let g = 10 + l. Suppose 2*r = 6*r - g. Does 3 divide r?
True
Let q be 252/(-12)*(-1 - 0). Suppose 2*k - q + 3 = 0. Is 2 a factor of k?
False
Suppose 83 = u + 5*o, 2*u + u - 314 = -2*o. Is 36 a factor of u?
True
Let j be (8/(-10))/((-7)/35). Let q(w) = w**2 - 2*w. Is 5 a factor of q(j)?
False
Suppose -2*z = 2*l + 10, -4*z - 18 = 5*l - 6*z. Let g(w) = -1. Let t(r) = -11*r - 4. Let x(k) = -5*g(k) + t(k). Does 19 divide x(l)?
False
Let q(h) = h**3 + 10*h**2 - 13*h + 7. Let a be q(-11). Suppose -8 = -2*d + 3*j, 2*j = -3*d - 7 + 19. Suppose d*b = a + 7. Does 4 divide b?
False
Let v = -43 + 101. Does 10 divide v?
False
Suppose -3*g + 1032 = -4*c, -9*g - 5*c - 355 = -10*g. Is 20 a factor of g?
True
Suppose -3*c + 4*c = 150. Let g = -106 + c. Is 25 a factor of g?
False
Let k be 110/15 + 2/(-6). Let f = -3 + k. Suppose 4*x - 3*l - 20 = 18, -3*x + 32 = -f*l. Does 7 divide x?
False
Suppose -i - 10 = -0*i. Is 23 a factor of (2/1)/(i/(-435))?
False
Let s = -208 + 313. Is 15 a factor of s?
True
Let r(y) = 7*y**3 + 7*y**2 + 3*y - 14. Let p(b) = 11*b**3 + 10*b**2 + 4*b - 21. Let g(k) = 5*p(k) - 8*r(k). Let l be g(-5). Is (l/4)/(2/44) a multiple of 5?
False
Suppose 5*k + u - 21 + 2 = 0, 3*u = -5*k + 27. Suppose -k*h - h = -36. Does 5 divide h?
False
Suppose 3*w = -5*j - 9, -30 + 13 = -4*w + 3*j. Suppose -w*v - 1 + 3 = 0, 179 = 5*p - v. Is p a multiple of 12?
True
Let p(q) = q**2 - 3*q + 3. Let b be p(3). Suppose 5*z - 4*j - 41 = 72, b*j = -5*z + 99. Does 15 divide z?
False
Let t(m) = m**3 - 7*m**2 + 3*m + 12. Let s(x) = -6*x**3 + 35*x**2 - 14*x - 61. Let o(i) = 2*s(i) + 11*t(i). Does 17 divide o(-8)?
True
Let m = 267 + -120. Is m/14*(-4)/(-3) a multiple of 7?
True
Let u(j) = -6*j - 3. Let x = 16 - 23. Does 10 divide u(x)?
False
Let m be ((-18)/15)/((-3)/10). Let q = -5 + m. Let y = q + 5. Is y a multiple of 4?
True
Let n(l) = l**2 - 7*l + 7. Let p be ((-2)/3)/(6/(-45)). Let k be n(p). Does 19 divide 2*3/k*-19?
True
Is (1 + -2)*(-2 - 11) a multiple of 7?
False
Suppose -h = -j + 66, 5*j = -4*h - 87 + 435. Is 17 a factor of j?
True
Is 18/(-99) - (-994)/22 a multiple of 18?
False
Suppose q + 19 = u, 0*q + 3*q + 23 = u. Let c = u - 9. Does 7 divide c?
False
Let g = 69 - 26. Is g a multiple of 9?
False
Let u be 3 + 8/(-4) + 3. Suppose -4 - 8 = -4*a, -u*g = 4*a - 72. Is 15 a factor of g?
True
Let n be (-1196)/(-6) + 2/(-6). Suppose n = 4*m + 43. Is m a multiple of 13?
True
Let x = 169 - 111. Does 12 divide x?
False
Let q = 2 + 0. Suppose -r + 144 = r. Suppose 0 = -5*i - 2*s + r, 6*s = -i + q*s. Is 8 a factor of i?
True
Suppose -2*h - d = 15, -3*h - d - 25 = -2*d. Let g = h + 5. Does 15 divide 17 - -1 - (g + 2)?
False
Let h be 6/(-21) - 102/(-14). Let q = -4 + h. Suppose -62 - 46 = -4*z - 3*s, -q*z + 81 = -4*s. Does 19 divide z?
False
Let a(b) = -b**3 + 4*b**2 + b. Let q be a(4). Let x be (30/8)/(q/16). Suppose 2*t + 2*l - 4*l - 12 = 0, 3*l = x. Is 3 a factor of t?
False
Let n = 86 + -11. Does 25 divide n?
True
Does 15 divide (-2)/(-11) - (-986)/22?
True
Suppose z - 3*u + 8 = 3, 3*u - 13 = 5*z. Let g = z - -2. Suppose 2*j + 6 - 76 = g. Is 13 a factor of j?
False
Let j(t) = -5 - 3*t - 3*t + 3*t. Is 13 a factor of j(-6)?
True
Let o(u) = 19*u + 4. Suppose 3*r = -r - 5*w - 13, 2*w + 1 = -r. Let d(a) = -38*a - 9. Let n(m) = r*o(m) - 3*d(m). Is n(-1) a multiple of 17?
False
Suppose -5*m + 26 = -9. Does 15 divide (m/(-2) + 3)*-30?
True
Suppose -3*k - 18 = -5*y - 4*k, y - 2*k = -3. Does 2 divide y?
False
Suppose 0 = -2*q + 5*q - 51. Let b = -8 + q. Suppose 0 = -2*t + b + 13. Is t a multiple of 4?
False
Suppose -94 = 2*b - 28. Let g be ((-12)/(-9))/2*b. Let f = 2 - g. Is 9 a factor of f?
False
Is (-80)/24*((-46)/2 - -2) a multiple of 11?
False
Let i = 1 + -6. Let l(j) = -j**3 - 5*j**2 + 3*j - 1. Let h be l(i). Let k = -10 - h. Is 6 a factor of k?
True
Let z(f) = 2*f - 12. Let d be z(8). Suppose -28 - 8 = -d*m. Does 4 divide m?
False
Suppose 5*j = j. Suppose -f - 4*b + 14 = b, 3*f + 5*b - 32 = j. Does 5 divide f?
False
Suppose 12 - 174 = -3*i. Does 29 divide i?
False
Let a = 6 - 31. Let t = -3 - a. Is t a multiple of 6?
False
Does 4 divide (-3)/(2 - (-19)/(-8))?
True
Let a = 56 - -112. Is a a multiple of 42?
True
Let b(t) = 7*t**2 + 1. Let r be b(1). Suppose z = -r + 2. Is ((-32)/z)/(-2)*-6 a multiple of 8?
True
Is 13 a factor of 4/(4/(-3)) - -78?
False
Is 23 a factor of (-9 + 6)/((-2)/46)?
True
Is -2 + 498/10 - 6/(-30) a multiple of 5?
False
Suppose -m + 6 = -3*k, -4*m - k = -6*k - 3. Let z(c) = c**3 + 4*c**2 + 2*c + 1. Let p be z(m). Suppose 2*d - p = 0, y - 23 = -0*y + 3*d. Is 20 a factor of y?
False
Suppose 0*p = 2*p + 718. Let s = -180 - p. Suppose -2*f - 3*h - 2*h = -111, -3*f + 5*h + s = 0. Is f a multiple of 17?
False
Suppose 3*k = 4*k - 5*a, 3*k - 4*a = 55. Is k a multiple of 2?
False
Let i = 182 - 126. Is 4 a factor of i?
True
Suppose 60 = 2*i + 10*i. Does 5 divide i?
True
Let g(j) = 4*j - 11. Let o(a) = 3*a - 11. Let z(c) = -3*g(c) + 2*o(c). Let b(m) = 5*m - 10. Let v(x) = 5*b(x) + 4*z(x). Is 7 a factor of v(13)?
True
Suppose -2*c + w = -8, -2*c = 3*c - w - 26. Suppose 5*n + 10 = -5*v, 5*n - 2 = -2*v - c. Suppose n = -3*a + 206 - 2. Is a a multiple of 25?
False
Does 20 divide (-3 - -21)/((-8)/(-116)) + -3?
False
Suppose 1672 = 5*y + 437. Suppose -5*j - y = -3*w, -2*w - 2*j + 166 = -6*j. Is w a multiple of 38?
False
Suppose 74 + 36 = 5*y. Suppose -3*j - 7 = -y. Suppose -45 + 20 = -j*z, 5*z + 110 = 3*a. Does 12 divide a?
False
Suppose -2*i - 2 = -3*f + 2, -f = -2*i - 4. Let k(d) = -d**2 + 53. Does 14 divide k(f)?
False
Let o(p) = p**2 - 5*p + 2. Let v be o(5). Suppose 0 - v = -2*w. Let r = w - -8. Is r a multiple of 9?
True
Is 11 a factor of -2 - ((-163)/1 - 4)?
True
Let u = -23 - -29. Does 6 divide u?
True
Let d(k) = k**2 + k + 9. Let y = -4 + 0. Let r = y - -4. Is d(r) a multiple of 8?
False
Let j = 34 + 20. Let z be (j/(-45))/(2/(-5)). Suppose 4*g = -z*c + 78, -2*c - g + 61 = 9. Does 9 divide c?
False
Suppose -93 - 7 = -5*n. Let k be (-331)/(-4) - (-5)/n. Let s = 120 - k. Is 15 a factor of s?
False
Let o be (-1374)/(-42) + 4/14. Suppose -o = 3*m - 213. Is m a multiple of 20?
True
Let c be 1/