 -3*k, -2*k + 33 = -k - 3*w. Is 14 a factor of k?
True
Let u(y) = -y**2 + 6*y - 7. Let h be u(5). Let t be (h - 2) + (4 - 4). Is 13 a factor of 2*2/t*-26?
True
Let z(n) = n**2 + 4*n + 2. Let p be z(-4). Is 3 a factor of 7 - (-4 + (5 - p))?
False
Let q = 78 + -63. Is 13 a factor of q?
False
Let a be 1/1 + (1 - -1128). Is a/35 + 4/(-14) a multiple of 16?
True
Is 35/(-7)*26/(-10) even?
False
Suppose 2*j - 3*i + 47 = 0, 5*j + 124 = 2*i + 23. Let c = j - -32. Is 13 a factor of c?
True
Does 9 divide (105/14)/(9/42)?
False
Suppose 3*b - 4 - 11 = 0. Suppose -18 = 3*w - b*w. Does 9 divide w?
True
Let c(i) = i**2 + i + 4. Does 20 divide c(7)?
True
Suppose 3*d + 4*u + 98 = -0*u, 5*d = -u - 152. Is 4 a factor of (-2)/(-10) - 474/d?
True
Suppose -3*k + k - 4*p + 18 = 0, 38 = 5*k + 3*p. Is 2 a factor of k?
False
Let o(d) = d**3 + 6*d**2 + 6*d - 4. Let g be o(-5). Let m be -4*(g/3)/(-6). Is 9 a factor of 27/m*(-2)/3?
True
Let l be 12/18 - 266/(-6). Suppose 0 = 2*m - 3*a - a - 28, -3*a = 4*m - l. Does 6 divide m?
True
Suppose 0 = -4*x - x, 5*x + 18 = 2*k. Let q be (-10)/(-1 + k/11). Suppose q = 4*g + g. Is 11 a factor of g?
True
Let t(r) = -r + 11. Let c be t(10). Suppose 20 + c = s. Is s a multiple of 7?
True
Suppose -3*w + 4*y = -205, 5*w - 2*y + 0*y - 337 = 0. Is w a multiple of 7?
False
Let w(g) = 34*g**2. Let i be w(1). Suppose 69 = c + 2*c. Let z = i - c. Does 5 divide z?
False
Let l = -46 - -68. Does 2 divide l?
True
Let p(c) be the third derivative of 0*c - 1/120*c**6 + 3/2*c**3 - 1/24*c**4 + 0 - 7/60*c**5 + c**2. Is 7 a factor of p(-7)?
False
Let q = 5 + 30. Is 7 a factor of q?
True
Suppose 5 + 7 = -2*u. Let m = 24 + u. Does 5 divide m?
False
Is (4 - 863/(-3)) + (-2)/3 a multiple of 15?
False
Is (-2)/(-8)*4 + 80 a multiple of 13?
False
Does 22 divide (258/18)/((-1)/6)*-2?
False
Suppose o - 75 = -0*o + 4*x, 0 = 5*o + 4*x - 495. Is o a multiple of 11?
False
Let b(q) = 5*q**2. Let g be b(-1). Let v(h) = -3*h - 3. Let i be v(-2). Suppose 0 = g*m - 3*o - 59, o + 52 = 4*m - i*o. Does 10 divide m?
True
Let p(h) = h**2 + 11*h + 11. Let g be p(-10). Let l be (g + 0 - -2)/1. Let u = 3 + l. Is u a multiple of 6?
True
Suppose -r = 5*z - 0*r - 31, 5*r = -4*z + 29. Is 3 a factor of z?
True
Suppose -y = -5*y + 200. Suppose 2*s - y = 5*z, -2*s = 4*z - 2*z + 6. Is 3 a factor of ((-6)/(-7))/(z/(-56))?
True
Let w(h) be the third derivative of -h**4/24 + 4*h**3/3 + 4*h**2. Let z be w(6). Suppose -3*s + z*s = -12. Is 5 a factor of s?
False
Suppose 5*y = 12*y - 609. Is 29 a factor of y?
True
Suppose 8*l - 6*l = 46. Is l a multiple of 5?
False
Suppose 16 = 4*w, 3*a - 104 = a - 2*w. Is 28 a factor of a?
False
Suppose 0*b = 2*b - 148. Suppose 0*q + b = 2*q. Let s = 60 - q. Is s a multiple of 11?
False
Suppose -y = -s - 0*y + 170, -3*s + 486 = 5*y. Suppose -5*v + 83 = -s. Is v a multiple of 13?
False
Suppose 1 = 4*k - 11. Suppose -k*l + 252 = l. Is l a multiple of 22?
False
Let i = 56 - 34. Is 6 a factor of 256/44 + 4/i?
True
Suppose -3*s - 2*s = 605. Let o = -82 - s. Is 13 a factor of o?
True
Is (6 + 140)*(4/(-2))/(-2) a multiple of 17?
False
Let b(x) = 25*x**3 - x**2 + 3*x - 2. Is b(1) a multiple of 4?
False
Suppose -29 = -x + 5*v, 3*x - v - v = 35. Let y(w) = -w**2 + 13*w - 2. Is 23 a factor of y(x)?
False
Let z(h) = -h**2 - 4*h - 1. Let p be z(-3). Suppose -p*d - 3*d = -10. Suppose 3*i + 22 = n, -2*n - 38 = -6*n + d*i. Does 7 divide n?
True
Suppose -x - 12 = -3*x. Let z = 8 - x. Is 12 a factor of (6/8)/(z/48)?
False
Let u be 120/(-21) + (-2)/7. Let r = 9 + u. Is (r/2)/((-3)/(-52)) a multiple of 13?
True
Let j(g) = -7*g**3 - 2*g**2 + 1. Let l(d) = -d**3. Let f(p) = j(p) + 6*l(p). Suppose 0 = -5*a - 5. Is 6 a factor of f(a)?
True
Suppose 3*g = 165 + 24. Does 7 divide g?
True
Suppose -2*f + 6*f = 72. Is 18 a factor of f?
True
Let b(g) = -g + 9. Suppose 5*q + 2*t = -3*t + 15, q = 5*t + 21. Does 3 divide b(q)?
True
Let d be (-14)/(-5) - 4/(-20). Suppose -d*s - 41 = -5*s + t, 0 = 4*s - 3*t - 87. Is 4 a factor of s?
False
Let m(y) = -y**2 + 5*y + 4. Let p be m(3). Let d(b) = 2*b + 4. Is 8 a factor of d(p)?
True
Suppose -2*y + 94 - 32 = 0. Does 31 divide y?
True
Let j = 0 - 1. Let o be 1*15/(2 - j). Suppose 4*v + 0*g + 5*g - 82 = 0, 2*v - 26 = o*g. Does 11 divide v?
False
Let f(k) = -k**2 + 10*k + 1. Suppose 0 = -4*n - 3*z + 128, -5*n = -0*n + 3*z - 160. Suppose -s + n = 3*s - 2*t, -3*t - 6 = 0. Is 9 a factor of f(s)?
False
Is 32 a factor of 1770/20 + (-3)/2?
False
Suppose -3*z + 3 + 9 = 0. Let h be 1*-2*(-10)/z. Suppose h*y - 111 = -n + 5*n, -5*n - 20 = 0. Is y a multiple of 19?
True
Let i = 3 - 4. Let x be -1 + (6 - i)*1. Suppose -x*u + 60 = -u. Does 4 divide u?
True
Let z(d) be the second derivative of -d**3/2 + 2*d**2 - 7*d. Is 3 a factor of z(-4)?
False
Suppose 0 = 2*x - 5*i - 198, i + 247 = 3*x + 6*i. Does 6 divide x?
False
Suppose -10 = -2*l - 2*m, 17 = 3*l - 5*m - 14. Let r = -17 + 10. Let q = l - r. Is 6 a factor of q?
False
Let s be (-8)/(-2 - 0) - 2. Suppose -o + 5*h - s = -21, 4*h = -o + 1. Is o a multiple of 5?
False
Is (-562)/(-7) - 2/7 a multiple of 10?
True
Let b be 38/(-8) - 1/4. Let c be (b/(-3))/((-2)/(-6)). Suppose 3*o = -2*u + 6*o + 73, u = c*o + 47. Does 16 divide u?
True
Let x be (-32)/14 + 14/49. Is 13 a factor of ((-7)/21)/(x/222)?
False
Let g = 197 + -314. Let f = -69 - g. Does 16 divide f?
True
Let t(s) = 6*s**2 + 4*s**2 + s + s**3 + 7*s - 9. Let n be t(-9). Suppose 39 + n = 3*z. Does 5 divide z?
False
Suppose 0 = s - 10 - 2. Suppose 4*a = -4*o + 33 - 5, -3*a = -s. Suppose -2*v + 82 = o*v + 2*t, 34 = v - 4*t. Is v a multiple of 10?
False
Suppose -3*r + 9 = 4*s + 2, -21 = -3*r + 3*s. Let y(l) = l**3 - 5*l**2 + 2*l - 7. Let b be y(r). Is 130/6 - (-1)/b a multiple of 16?
False
Let d be 3 + 6 + -3 + 159. Suppose -p + 6*p - d = 0. Does 11 divide p?
True
Suppose 4*h + 5*v - 10 = 0, 10 = 2*h + v + 2. Let r(s) = -2*s - h + 5. Is 8 a factor of r(-4)?
True
Is 1*(4 - 5) + 4 a multiple of 2?
False
Suppose -d - 107 = -4*d + 2*g, -5*g = 20. Does 6 divide d?
False
Let s(p) be the second derivative of p**5/20 - p**4/2 + p**3 + p**2 - 2*p. Suppose 18 = 4*b - 6. Does 16 divide s(b)?
False
Let o = -41 - -106. Is 3 a factor of o?
False
Let u(p) = -2*p - 1. Let r be u(0). Does 15 divide (-10)/(r/(-12)*-2)?
True
Let y be 598/(-6) + (-2)/(-3). Does 19 divide (y/(-22))/((-1)/(-6))?
False
Suppose 0 = 2*q + 2*q - 8. Suppose 2*n + 25 = 3*r, 0 = 5*r + 2*n + q*n - 71. Does 11 divide r?
True
Let n(x) = x**3 + 2*x**2. Let i be n(-2). Suppose i = -8*t + 3*t + 4*p + 400, -3*p + 160 = 2*t. Suppose 0 = -2*c - 3*c + t. Is c a multiple of 16?
True
Let i be (-1)/(3 + 30/(-9)). Let r = 6 - i. Does 3 divide r?
True
Let y = 291 + -187. Does 26 divide y?
True
Let j(k) = 2 + 5 - 2 + 17*k. Let d be j(-7). Let w = -77 - d. Is w a multiple of 15?
False
Let t be 2 - (1 + -1 + -4). Let x = -3 + t. Is 3 a factor of x?
True
Let a be (0 - 2/2) + 0. Let o(w) be the second derivative of -w**5 + w**4/6 + w**3/3 + w**2/2 + w. Does 11 divide o(a)?
False
Let f be 4/7*14/4. Suppose f*w = -2*t - 0 + 30, 5*t + w - 55 = 0. Is t a multiple of 10?
True
Let k be (15/(-6) - -3)*4. Suppose 105 = l + k*l. Is 23 a factor of l?
False
Is (39 - 9)/(1 + 1) a multiple of 6?
False
Suppose 0 = -2*n - b - 4 + 5, 3 = -3*n + 3*b. Suppose y + n*y = 46. Is y a multiple of 18?
False
Suppose q + 8 = 4*w, q = 2*w - 2 - 0. Suppose -5*y = g - 165, w*y + 3*g + 49 = 4*y. Does 19 divide y?
False
Let m(c) be the third derivative of c**4/24 + 19*c**3/6 + 2*c**2. Is 5 a factor of m(0)?
False
Let f be 7*(3 - 2) + -2. Does 4 divide (12/f)/((-12)/(-40))?
True
Let m be (-6)/(-9) - (-50)/6. Let a = 0 - -9. Is 232/a - (-2)/m a multiple of 13?
True
Suppose 2*p = -0*p - 10. Let r be (160 + p)*(-2)/5. Let b = r + 100. Is 23 a factor of b?
False
Let j(q) = -q**3 + 10*q**2 - 10*q + 12. Let v be j(9). Let g be (-3)/3 - (2 - v). Suppose o + 5*m - 38 = g, 4*o + 5*m - 34 = 58. Is o a multiple of 7?
False
Let m be (-2)/(4/(-6)) + -1. Suppose m*w + 138 = 5*w. Is w a multiple of 12?
False
Suppose -2*q - q + 12 = -5*x, 0 = -5*x + q - 4. Suppose -j - b = -67 + 24, x = -j - 4*b + 55. Does 13 divide j?
True
Suppose -5*t + 4*q = -209, 2*q - 167 = -3*t - 24. Is 15 a factor of t?
True
Let g = 9 - 7. Let h = -4 + 4. Is 5 a factor of 5*4/(g - h)?
True
Suppose -3*k