
Suppose 0 = k + 3*k - 56. Does 7 divide (-49)/k*(-20)/7?
False
Let g = 84 - 38. Is 13 a factor of g?
False
Suppose -38 + 14 = -4*v. Let y(h) = 3*h - 3. Does 5 divide y(v)?
True
Let q = 105 + -47. Let m = q - 32. Is m a multiple of 7?
False
Let k be 4/(-10)*(-11 + 1). Suppose 2*p + 0 = k. Suppose 0 = p*y - 4*y + 70. Is y a multiple of 12?
False
Suppose 20 = 4*g + g. Suppose g = -b + 17. Is 6 a factor of b?
False
Suppose 84 = -3*d - 102. Suppose -12 = 2*m - m. Is d/(-8) + (-3)/m a multiple of 6?
False
Suppose -228 = -3*h - c + 406, 5*h = -2*c + 1056. Does 39 divide h?
False
Is 12 a factor of 130/11 + 14/77?
True
Suppose i - 12 = 5*t, 5*t + 73 = 4*i - 35. Does 16 divide i?
True
Let g = 66 + -48. Is 17 a factor of g?
False
Suppose 2*f + 50 = -54. Let p = 101 + f. Is 17 a factor of p?
False
Let n(b) = -10*b**3 - 3*b**2 - b + 2. Is 8 a factor of n(-2)?
True
Let l be 42/(-70) + 1906/10. Let g = 275 - l. Does 16 divide g?
False
Let k = -16 - -29. Suppose -b = -q + 19, -2*b = -5*q + 41 + 39. Let w = k + q. Is w a multiple of 13?
False
Suppose -95 = -3*c + 265. Does 10 divide c?
True
Let n(l) = -l**2 - 7*l - 7. Let f be (8/3)/(1/3). Suppose 2 = -u - 3*w, 5*u - 2*w + 35 = f. Does 3 divide n(u)?
True
Is 17 a factor of 0/(-1 - -2) + (-1 - -69)?
True
Suppose 3*l - 7*l + 16 = 0. Suppose -l = -5*z + 6. Suppose 4*x - 3*q - 20 = 0, -2*x - 6 = -z*q - 16. Does 2 divide x?
False
Let w(y) = y**2 - 4*y - 3. Let k be w(5). Suppose 0 = -k*b + 5*b + t - 60, 2*t = 4*b - 80. Is b a multiple of 7?
False
Suppose 4*g = -5*o - 0 - 2, 0 = -5*o + 3*g + 19. Is o even?
True
Suppose 220 = n - 3*o, o + 103 + 357 = 2*n. Let b be n/28 + (-2)/7. Let q = b - 3. Is q a multiple of 3?
False
Is 2*(-4)/8 - -33 a multiple of 16?
True
Suppose 2*h + 25 = -1. Let u = h + 25. Does 4 divide u?
True
Let j(b) = -b**3 - 10*b**2 - 12*b - 8. Is 4 a factor of j(-9)?
False
Let u = -1 - -60. Let a = 83 - u. Is 12 a factor of a?
True
Let p = 8 - 4. Is 16 a factor of 246/15 + p/(-10)?
True
Suppose 4*r + 102 = 2. Let b be (-515)/r - 4/(-10). Suppose 5*p - 13 = -5*y + 7, -5*p - 4*y + b = 0. Is 5 a factor of p?
True
Let y(n) = 3*n + n**2 + 2 + 0*n**2 + 2*n. Let t = -10 + 4. Is y(t) a multiple of 7?
False
Let f be 2*2/(-10)*35. Is 15 a factor of (-4)/f + (-3536)/(-119)?
True
Let n be (-2202)/12 + (-2)/(-4). Is n/(-6) - (-6)/4 a multiple of 14?
False
Suppose q = -4*q + 435. Is 9 a factor of q?
False
Suppose -5*f = 12 - 32. Suppose -f*d = -12 - 8. Suppose 3*j - 23 = -a - 3, -20 = -d*j. Is a a multiple of 3?
False
Let a(m) = m**2 - 5*m + 4. Let o be a(4). Let h = 2 - o. Suppose 6 = -4*c + h*c, 0 = 4*n - 2*c - 34. Does 7 divide n?
True
Let m(d) = -3*d + 3. Does 12 divide m(-3)?
True
Let w(o) = -3*o**3 + 3*o**3 + 51 + o + o**3. Is 17 a factor of w(0)?
True
Is ((-8)/(-6) - 0)/((-24)/(-468)) a multiple of 9?
False
Let f = -143 + 246. Is f a multiple of 27?
False
Suppose 2*v - 26 = -2*s + 12, -4*s - 68 = -5*v. Let b = 3 + v. Does 4 divide b?
False
Let f(x) = x**2 + 2*x + 3. Let l be f(-4). Let p = 33 + l. Does 22 divide p?
True
Suppose 0 = 5*z - 4*d - 31, 2*z - 2*d - 17 = -5. Suppose 10 = -2*j + z*j. Is 2 a factor of j?
True
Let f(i) = -4*i - 19. Does 22 divide f(-22)?
False
Let j(i) = 6*i**3 - 2*i**2 + 13*i - 3. Let z(d) = 2*d**3 - d**2 + 4*d - 1. Let f(k) = -2*j(k) + 7*z(k). Does 5 divide f(2)?
False
Let o(p) = 5 + 0 + 4 - 3 + 2*p. Let s be o(-4). Does 3 divide 2 + (-8)/s + -1?
False
Suppose y = 3 - 2, -81 = -5*r + 4*y. Suppose -2*g = -3*g + r. Does 17 divide g?
True
Let b(m) = -2*m**3 - 12*m**2 + 4*m - 1. Let r(j) = j**3 + 6*j**2 - 2*j. Let a(k) = 4*b(k) + 9*r(k). Is 12 a factor of a(-5)?
False
Let o(u) = 39*u**2 - 2*u - 1. Let b be o(-1). Let t be 1/3 - b/(-6). Let k = 27 - t. Is 10 a factor of k?
True
Suppose h + 0*h + 3*v - 352 = 0, -2*h - 3*v = -716. Is 14 a factor of h/6 + (-6)/9?
False
Is (-3)/(-6) + 105/2 a multiple of 13?
False
Let t(w) = -11*w - 12. Is 16 a factor of t(-4)?
True
Suppose 0 = -2*o - g - 0*g + 169, 0 = 5*o + 3*g - 420. Does 20 divide o?
False
Let s(l) = 1 + 2*l**2 + 3*l**2 + 0*l**2 + 3*l + l**3. Suppose -2*b + 30 = 38. Is s(b) a multiple of 4?
False
Suppose -10 = 2*j, 53 = l + 4*j - 11. Is 8 a factor of l?
False
Let v(c) = 4*c**2 + 3*c. Let i be v(-2). Let s be 4 - (-2 + 4)/(-2). Let u = i - s. Does 2 divide u?
False
Suppose 0 = y - 0*y - 1. Let t = -1 - y. Is 6 a factor of ((-24)/14)/(t/21)?
True
Suppose 4*p - p = 18. Suppose -p*u = -4*u - 22. Is 5 a factor of u?
False
Suppose a + 2 - 31 = 0. Suppose t = a + 13. Is 14 a factor of t?
True
Let s be (10/8)/(8/32). Let i(y) = 4*y + 3*y**2 - 5 + s - 5. Does 19 divide i(-5)?
False
Let a(w) = 17*w - 10. Is 18 a factor of a(5)?
False
Suppose 3*t = t - 32. Let b(n) = 2*n + 1. Let p be b(1). Is 10 a factor of -1 - t/(3/p)?
False
Let f(j) = 10*j + 3. Let q be f(3). Let x = q - 17. Suppose a - x = -0*h - h, 4*a = -2*h + 64. Is a a multiple of 8?
True
Let x(j) = j**2 + 12*j - 7. Let r be x(-12). Let s(f) = f**2 + 6*f + 2. Does 9 divide s(r)?
True
Let s = -153 - -170. Is s a multiple of 17?
True
Let j = -101 + 159. Is 10 a factor of j?
False
Let q(t) = 23*t + 2. Suppose -f = -6*f + 15. Is q(f) a multiple of 12?
False
Let r = -13 + 17. Is 3 a factor of r?
False
Let j(c) = -c**3 - 7*c**2 - 2*c - 2. Let y be j(-7). Let r be (-3)/y*2*-10. Suppose -11 = -2*q - 3*b - 4, 4*b + 75 = r*q. Is 6 a factor of q?
False
Suppose -2*g + 4*x - 11 = 65, -152 = 4*g + x. Let j = -26 - g. Does 8 divide j?
False
Suppose 0 = 3*h + 2*d - 19 + 3, -2 = 2*d. Let n = -11 + h. Let a(j) = j**3 + 7*j**2 + 7*j + 6. Is a(n) a multiple of 8?
False
Suppose -p + 0*j = -4*j - 58, -267 = -5*p - 3*j. Let k = p - 34. Does 4 divide k?
True
Suppose -2*x + 10 = 3*x. Is 2 a factor of x?
True
Let n(v) = -10*v - 6. Suppose -2*h - h - 4*q - 21 = 0, -5*q = 0. Is n(h) a multiple of 27?
False
Let r = 44 - 23. Does 12 divide r?
False
Suppose 0 = -5*i + 3*i. Suppose i = -4*t + 110 + 18. Does 8 divide t?
True
Is (-66)/(-9)*(-3)/(-2) a multiple of 5?
False
Suppose 24 + 62 = 2*g. Let n = g + -24. Is 13 a factor of n?
False
Let g(f) = -f**2 + 13*f - 5. Let a(y) = -2*y + 4. Let v be a(-3). Is 25 a factor of g(v)?
True
Let o(q) = -q**3 + 11*q**2 + q - 12. Let w be o(11). Let g be -1 - 2 - (1 - 3). Is 13 a factor of (w - -3)*-7*g?
False
Let o = -7 + 12. Is ((-2)/3)/(o/(-375)) a multiple of 17?
False
Let m(l) be the third derivative of -31*l**4/24 - l**3/6 + 2*l**2. Is m(-1) a multiple of 19?
False
Is 4 a factor of 124/(-2)*(-1)/2?
False
Let w(x) = x + 16. Let v be w(-12). Suppose -v*k + 3*k + 55 = 0. Is k a multiple of 23?
False
Let b be (-568)/(-40) + (-1)/5. Suppose -l + b = -16. Is 10 a factor of l?
True
Suppose -3*h + 3*g = -12, 0 = -2*h - 2*g + 3*g + 11. Does 7 divide h?
True
Suppose -2*u = 2*h + 68, -3*h + 144 = -4*u + h. Let m = u - -155. Suppose -4*r - x = -125, 2*r - 4*x = -2*r + m. Is 14 a factor of r?
False
Let s(k) be the third derivative of k**5/20 - k**4/12 + k**3 - k**2. Does 17 divide s(4)?
False
Let j(g) = -g**3 + 6*g**2 - 4*g. Suppose -x + 5*x - 20 = 0. Let z be j(x). Suppose -z*s + 15 = -5*a, -8 = -5*s - 2*a + 14. Does 2 divide s?
True
Let d(h) = -h**3 + 4*h**2 + 4*h - 2. Suppose -4*g = -3*c - 1, 3*c - 19 = -2*g + 4. Let j be d(g). Suppose -1 = -r, 2*t - 10 = 4*r + j. Is 7 a factor of t?
True
Suppose -3*b = -2*z - 19, 3*z + 13 + 2 = 0. Let n be b*(-3)/(-9) - -1. Suppose -a - 4*o - 24 = -2*a, -n*a + 20 = -o. Does 8 divide a?
True
Suppose 3*j + 7 - 19 = 0. Let k(c) = -c**2 + 6*c - 5. Is k(j) a multiple of 3?
True
Let c(l) = l**3 - 8*l**2 + 3*l - 11. Let h be c(8). Suppose -4*s + 11 + h = 0. Is 3 a factor of s?
True
Let g(f) = -4*f**3 - f**2 - 2*f - 1. Let t be g(-1). Suppose -3*i = -i. Suppose i = t*h + h - 65. Does 7 divide h?
False
Let z(c) = -c**3 + 4*c**2 + 2*c - 3. Let l be z(5). Let o = l + 40. Is 11 a factor of o?
True
Let a(j) = j**3 - 7*j**2 + 7*j + 1. Suppose 0 = -8*v + 3*v + 30. Is a(v) a multiple of 7?
True
Let a = 41 + -14. Is 4 a factor of 1*4*a/9?
True
Let y(u) = -u**2 + 8*u - 3. Let h be y(7). Suppose -2*g + h*g = 8. Suppose -8 - 16 = -g*o. Is o a multiple of 6?
True
Let v = 65 - 32. Does 11 divide v?
True
Let u(p) = -p**2 + 8*p + 8. Let s be u(9). Let o = 5 + s. Suppose 0 = -4*j + o*m + 44, 5*m - 5 = -2*j + 10. Is 10 a factor of j?
True
Let y(z) = 3*z. Let x be y(-1). Let 