alse
Suppose 412 - 33916 = -16*j. Is 8 a factor of j?
False
Suppose 4*w + 16 = 4*r, -6*r + r = 0. Let l = -11 - -21. Let h = l - w. Is 9 a factor of h?
False
Let f(k) be the third derivative of 4*k**2 + 0*k + 0 + 7/60*k**5 + 1/120*k**6 - 7/6*k**3 + 1/6*k**4. Is 4 a factor of f(-6)?
False
Is 3 a factor of (333564/(-741) - (-4)/26)/(-1)?
True
Let l be (1*-261)/((-3)/2). Let a = -114 + l. Is a a multiple of 20?
True
Suppose 0 = 5*l + 5*l - 560. Does 7 divide l?
True
Suppose 2*r - 2*r = 3*r. Does 8 divide -1 + r - 306/(-3 - 0)?
False
Let b(s) = s**3 - 7*s**2 - 4*s - 9. Let k be b(10). Suppose 0 = 4*a - k - 189. Suppose 4*w = a + 10. Is w a multiple of 10?
True
Suppose j + 672 = 3*j. Suppose -8*s = j - 1072. Does 23 divide s?
True
Suppose -4*v + 34 = 3*w - w, 0 = 4*w + 12. Let q = 14 - v. Is (-2)/(-4)*5*q a multiple of 6?
False
Suppose -23 = -4*b - 0*b - 5*f, 17 = 4*b + 3*f. Suppose g + o - 40 = 0, -128 = -3*g - b*o + 3*o. Is 7 a factor of g?
True
Let f be 3*25/(-15)*8/10. Let g(p) = -4*p - 4. Is g(f) a multiple of 2?
True
Let i(c) = c + 5. Let h be i(-3). Let l be ((-36)/(-15))/(h/220). Suppose -96 = -5*y + l. Is y a multiple of 18?
True
Let g = -4 - -10. Let v = -3 + g. Is 25 a factor of (112/(-3))/((-1)/v)?
False
Is 3 a factor of (2/4)/((-2)/18180*-15)?
True
Let d(p) = 60*p**2 + 52*p - 28. Does 14 divide d(-7)?
True
Let r = 442 - -1754. Is 61 a factor of r?
True
Let m be (4 + 30/9)*12. Does 13 divide m + (6 - (2 - -1))?
True
Suppose -10*b = -13*b + 6. Suppose -2*t - 80 = b*t. Let y = 28 + t. Is 8 a factor of y?
True
Let t be 65/25 + (-3)/5. Suppose -t*a = -3*l - 2*l + 23, 0 = -2*l + 3*a + 18. Suppose -2*i = -l*i + 18. Does 18 divide i?
True
Let j(x) be the second derivative of x**4/12 + 7*x**3/2 + 5*x**2 + 21*x. Does 9 divide j(-22)?
False
Suppose 3*q + t - 415 = -95, -q - 5*t = -88. Is q a multiple of 54?
True
Suppose 351*n = 345*n + 5472. Does 13 divide n?
False
Is 12 a factor of 8244/14 + (-666)/777?
True
Suppose i = 3*c - 12, 0 = 2*i + 3*c - 0*c - 21. Let x be (-36)/(-6)*(-28)/(-6). Suppose 0 = -w - i*w + x. Is 7 a factor of w?
True
Let z = -11 + 25. Let x be (-4)/z - (-92)/28. Suppose 0 = 4*g - x*n - 73, 9*n - 43 = -2*g + 4*n. Does 6 divide g?
False
Let v = -67 - -72. Suppose 107 = v*i + l, -8 = -5*l + 2. Is i a multiple of 7?
True
Let x be (-2)/1 - 0/(-4). Let r(g) = 4*g**2 + 2*g. Let j be r(x). Suppose -4*y - t + 56 = 0, -5*t - 16 = -2*y + j. Is y a multiple of 14?
True
Let w(i) = -i**2 + 3*i + 3. Let r be w(3). Suppose 2*c + 5*l = -25, 3*c + 20 = -r*l - l. Suppose d = -4*a + 98, c = -3*a - 3*d + 62 + 16. Does 7 divide a?
False
Let c(v) = -93*v + 70. Does 33 divide c(-6)?
False
Is 12 a factor of -6 - ((-188)/5)/(2/45)?
True
Let p be (0 - 2) + (-3 - -71). Suppose -31*n + 29*n = -p. Does 11 divide n?
True
Let m(t) = -122 + 3*t - 4*t + 121. Let p be m(-3). Suppose 0 = -4*j + p*c + 54, j = -3*c + 6 - 3. Is 10 a factor of j?
False
Suppose 4*a - 2*y = 10 - 28, 4*y - 12 = 2*a. Let s be 6 - 0/(8/a). Suppose s*w - 3*w - 237 = v, 3*v + 243 = 3*w. Is w a multiple of 31?
False
Let l(m) = -28*m + 963. Is 2 a factor of l(26)?
False
Suppose 1504*n = 1506*n - 2698. Is n a multiple of 71?
True
Let s(l) = 5*l + 8. Let w(y) = y - 3. Let t(v) = v**2 - 3. Let h(g) = 2*t(g) - 3*w(g). Let a be h(2). Is s(a) a multiple of 9?
False
Let m = 4105 + -1213. Is m a multiple of 22?
False
Suppose 0 = 5*j - 10, -u + 78 + 72 = -5*j. Let g = 272 - u. Does 16 divide g?
True
Suppose -3*u = u - 448. Does 3 divide u?
False
Let x(a) = -a**2 - 4*a + 7. Let h be x(-5). Suppose h*s - 254 = -0. Is s a multiple of 14?
False
Let r = 2917 - 1867. Does 10 divide r?
True
Suppose 397 = 6*s - 1139. Is s a multiple of 33?
False
Let c = -4973 + 7179. Does 40 divide c?
False
Suppose -4*x + 4*p + 660 = 0, -x = -0*x + p - 171. Is x a multiple of 12?
True
Does 10 divide (-38)/(-228) - (-238)/12?
True
Suppose w = t + 69, 4*t + 140 - 8 = 2*w. Suppose -f - 4*k = 19 - w, -k + 2 = 0. Is 45 a factor of f?
True
Let x(o) = 57*o - 2. Let s be x(3). Let y be (-13 - 0)/(3/27). Let w = y + s. Does 11 divide w?
False
Let h(q) = q**3 - 25*q**2 + 29*q + 51. Is h(24) a multiple of 8?
False
Suppose 4*q - 16 + 0 = 0. Suppose -5*y - 3*j = -14, 22 = y + 4*y - j. Suppose -60 + y = -q*h. Is h a multiple of 4?
False
Suppose 0 = -9*n + 13*n - 52. Suppose 4*a + 0*c = 3*c - 85, -3*a - 3*c = 90. Let g = n - a. Does 10 divide g?
False
Let m(b) = b**3. Let c be m(-1). Let z(k) = -4*k. Let y be z(c). Is 3 a factor of (55/10)/(2/y)?
False
Let f(d) = 3*d**2 + 11*d - 46. Is f(6) a multiple of 5?
False
Let l(p) = p**2 + 26*p + 41. Suppose -78 - 78 = 6*z. Is 15 a factor of l(z)?
False
Let u(b) = 3*b**3 - 5*b**2 - 13*b + 1. Does 21 divide u(8)?
True
Is 2 a factor of (-315)/45 - -7*3?
True
Let q be 3 + (0 - -3)/(-1 - -4). Suppose -q*k + 407 - 67 = 0. Is k a multiple of 22?
False
Suppose -3*l + 0 = k - 3, -l - 4*k = -1. Let n(r) = -8 + 14*r - 10*r + l. Is 16 a factor of n(11)?
False
Let u be 27/4 - 4/(-16). Let s = u - 11. Is 29 - ((-8)/s - 4) a multiple of 14?
False
Suppose 6*d - 5*a = 2*d + 28, 0 = -2*d + 4*a + 20. Suppose -d*y - 2*y + 4 = 0. Suppose 2*n = 4*z + 22, -n = -7*z + 2*z + y. Is 9 a factor of n?
False
Let z(f) = 14*f + 2*f**2 + 9 - f**2 + 5*f - 8*f. Suppose 4*y = -g - 13 - 18, 5*g - y + 50 = 0. Does 5 divide z(g)?
False
Let o(n) = n**3 + 9*n**2 - 11*n - 7. Let h = -10 - 0. Let p be o(h). Suppose p*l + 235 = 5*i - 302, 89 = i + 4*l. Is i a multiple of 21?
True
Suppose 312 = 4*l - 360. Suppose 4*i - l = -52. Is 5 a factor of i?
False
Suppose 4*b + 4*w = 1792, 5*b = 3*w + 539 + 1701. Does 3 divide b?
False
Suppose -409 = 2*y - 3*y. Is y a multiple of 52?
False
Suppose -224 = 5*n - x - 2256, 3*n + 3*x = 1212. Suppose 76 = -2*b + n. Does 36 divide b?
False
Let t(s) = 404*s + 345. Does 13 divide t(6)?
True
Does 11 divide (8/(-24) + -5)*-444?
False
Let x = -1843 + 2292. Does 98 divide x?
False
Let k = -26 + 30. Suppose -5*s = -v - 97, -k*s = -5*s - 4*v + 32. Suppose 4*g = 6*g - s. Does 5 divide g?
True
Let k be (-3)/(-3 - 9/(-246)*83). Let u = k - -150. Does 12 divide u?
False
Let o = 7 - -8. Let z = o + -12. Does 12 divide ((-18)/7)/(z/(-28))?
True
Suppose a + 2 = -a, -2*h = -4*a. Let k(f) = 9*f**2 - 6*f - 3. Is k(h) a multiple of 5?
True
Let w(z) = -2*z**2 - 10*z - 15*z - 5*z**3 + 18*z + 2. Is w(-3) a multiple of 20?
True
Let r be 0 + (3 - 4 - -2). Let q = r - -24. Is q a multiple of 11?
False
Let n(m) be the third derivative of -m**6/120 + m**5/30 + m**4/6 - m**3/6 - 3*m**2. Let j be n(3). Suppose -5 = j*k - 49. Is k a multiple of 7?
False
Suppose -3*a = -4*r + a + 20, 2*a = -5*r + 4. Suppose -s = -l - 4, 3*s = -s + r*l + 12. Is 24 a factor of 83/2 + (-1)/s?
False
Let m(i) = 10*i**2 + 6*i + 7. Let u(z) = 21*z**2 + 11*z + 13. Let k(r) = -11*m(r) + 6*u(r). Does 4 divide k(1)?
False
Does 15 divide 12 + 205 + -11 + 4?
True
Let a(k) = k**2 - 5*k + 1. Let x be a(6). Let y(f) be the third derivative of f**5/20 - f**4/3 + 3*f**3/2 - 178*f**2. Is 34 a factor of y(x)?
False
Does 7 divide ((-19)/(-8))/(8/(-32))*-14?
True
Let m(l) = -64*l**3 - l**2 + 19*l + 58. Does 88 divide m(-4)?
False
Let g(d) = d - 1. Let i(j) = -j**2 - 4. Let c(p) = -5*g(p) + i(p). Let q be c(-3). Suppose 0*a = -a + q. Is 3 a factor of a?
False
Suppose -2*s + 54 = -36. Does 20 divide (-6)/4*(-960)/s?
False
Suppose -2*s - 6 = -5*s. Suppose 2*g = 2*o + 3*o + 36, -3*g = s*o - 16. Is g a multiple of 4?
True
Let p be (-1)/2*0/2. Let g be p*(8/(-4) + 3). Is 66 + -3 + (3 - g) a multiple of 22?
True
Let v(y) = 7*y**2 + 2*y + 13. Does 70 divide v(-3)?
True
Suppose 0 = -4*s + s + 15. Suppose 0*p - 3*p + 157 = -5*m, 5*p - 195 = -s*m. Is 22 a factor of p?
True
Let c = -20 - -18. Let h = 7 + c. Suppose 5*u + 45 = x - 0*x, -h*u = -20. Does 17 divide x?
False
Suppose -75*c + 10718 = -52*c. Does 4 divide c?
False
Let m = 111 + -105. Suppose m*a = 4*a + 270. Is a a multiple of 7?
False
Let m be 3 + -3 - 26/2. Let c = m - -13. Suppose 78 = -c*d + 2*d. Is d a multiple of 10?
False
Let q(m) = -14*m + 8. Let u be -1 - 14/(-2) - 1. Suppose u*a + 20 + 5 = 0. Is q(a) a multiple of 28?
False
Let l(f) = 17*f + 7. Let n(d) = -d + 30. Let q be n(16). Is 35 a factor of l(q)?
True
Suppose 11*i - 15*i = -312. Does 12 divide i?
False
Let x(l) = -5*l**2 - 85*l + 25. Does 12 divide x(-17)?
