actor of x?
True
Let s be 3/(-6)*0/(-1). Let x(j) = -j - 5 + 21 + 12 - 2. Does 9 divide x(s)?
False
Suppose -2*a + b = 1, -2*a - 11 = -0*a - 3*b. Let j(q) = 15*q + 4*q - 2 + 3*q - 1. Does 16 divide j(a)?
False
Suppose 2 + 1 = u. Suppose -u*l + 8 = l. Suppose p - 126 = -l*p. Is p a multiple of 11?
False
Let a(h) = -26*h + 37. Is a(-6) a multiple of 49?
False
Let m = -121 + 161. Does 3 divide m?
False
Suppose 3*w = -2*w, 4*q - 2*w - 180 = 0. Suppose h - q = -7. Does 17 divide h?
False
Let r(o) = -5*o + 17. Is 31 a factor of r(-9)?
True
Let z be (-3 - 1)*3/(-6). Suppose -c - 3*c = -2*s + z, 5*c = -2*s + 11. Suppose s*w + 48 - 121 = 2*m, -5*w - 2*m + 127 = 0. Does 19 divide w?
False
Suppose -3*u - 4*o + 32 = -0*u, 2*o + 14 = u. Suppose 47 - u = 5*t. Is t a multiple of 7?
True
Suppose -16 = -0*b - b. Suppose -b*l + 19*l = 39. Is 12 a factor of l?
False
Let l(v) = 9*v + 5. Let o = 14 + -7. Does 17 divide l(o)?
True
Is 67/(11/(-3) - (7 - 11)) a multiple of 67?
True
Let l(g) = g**3 + 6*g**2 + 5*g + 7. Let m be l(-5). Suppose c = m + 11. Does 18 divide c?
True
Suppose 3*t - 3*d - 5 = -d, -3*d + 3 = -t. Suppose 4*m - t - 1 = 0, -3*i + 51 = -3*m. Is i a multiple of 9?
True
Let f(q) = 10*q - 8. Is f(6) a multiple of 26?
True
Let b be (-2)/12 - 167/6. Is (-165 + 1)*14/b a multiple of 18?
False
Suppose -5 = -a + 1. Suppose 0 = -4*z - 1 - 7. Does 19 divide a/(-15)*140/z?
False
Let m = -21 + 8. Let c = -4 - m. Suppose -95 = 4*s - c*s. Is s a multiple of 12?
False
Suppose -2*t + 2*y + 47 + 133 = 0, 4*y = -5*t + 486. Is 20 a factor of t?
False
Let s(r) = -r**3 - 10*r**2 - 17*r + 3. Is s(-8) a multiple of 3?
False
Suppose -q + 2 = 0, 3*q = 3*p + 2*q - 40. Suppose -3*b - p + 38 = 0. Does 8 divide b?
True
Let s be ((-24)/15)/((-6)/(-30)). Is ((-8)/(-6))/(s/(-288)) a multiple of 19?
False
Suppose 0 = -2*x + 7 - 11. Is 15 a factor of 2471/28 + x/8?
False
Let b(p) = -p**3 + 2*p**2 + 2*p - 2. Let s be b(-2). Let c be 6/(-9) - ((-2)/(-6) + -2). Is c/(2/s)*1 a multiple of 4?
False
Suppose 0 = -3*j + f + 923, -2*j + 347 = -3*f - 266. Does 12 divide j?
False
Let v(r) = -2*r**2 + 14*r - 1. Is v(6) a multiple of 11?
True
Suppose -4*y = y - 360. Does 18 divide y?
True
Let u(s) be the first derivative of -s**4/4 - 2*s**3/3 + s**2/2 - 4*s + 1. Let g be u(-3). Is 11 a factor of 1/(g - 1) - -21?
True
Is 8 a factor of 4/7 + 3384/56?
False
Suppose 3*l - 64 = -4*k - l, 2*l + 52 = 2*k. Is k a multiple of 7?
True
Suppose 2*q - 4*w = -2, 7*q + 2*w = 2*q - 41. Is 5 a factor of (-3)/q + 64/14?
True
Suppose 0 = -0*o - 2*o + 14. Let x = o + 58. Is 23 a factor of x?
False
Is (1 - (17 + 3))*-2 a multiple of 24?
False
Let t = -10 - -17. Suppose 36 = 11*s - t*s. Is s a multiple of 4?
False
Let b(z) = -3*z**2 + 20*z. Let k(x) = -7*x**2 + 41*x - 1. Let o(y) = -9*b(y) + 4*k(y). Is 5 a factor of o(-14)?
False
Let t(m) = m**3 - 9 + m + 36 - 2*m**3. Is 12 a factor of t(0)?
False
Let w(d) = d**3 - d. Does 2 divide w(2)?
True
Let o(z) = 2*z**2 + 4*z - 4. Is o(4) a multiple of 11?
True
Let d be 2/(21/(-9) - -2). Let v = d - -10. Is 4 a factor of v?
True
Suppose 0 = x - 2 - 2. Let f be x*-1*2*-2. Suppose -4*o + f = -2*o. Does 5 divide o?
False
Let z(p) = 7*p. Let g be z(-4). Does 9 divide g/(-16)*(13 + -1)?
False
Let h(a) = 8*a + 4. Is h(3) a multiple of 12?
False
Let b be 7 + -4 + 54 + 1. Suppose 5*f - b - 62 = 0. Is f a multiple of 12?
True
Suppose 4*x = 2*x + 6. Suppose 0 = -5*i - 2*j - 3*j + 55, -x*i - 2*j = -34. Is i a multiple of 6?
True
Let f be 35/20 + 1/4. Suppose -2*m = f*m - 164. Does 12 divide m?
False
Let g(b) = -b**3 - 8*b**2 + 10*b + 10. Let h be g(-9). Suppose a = -h + 20. Is 19 a factor of a?
True
Let o be -2 + 2 - -4 - 0. Suppose -3*b + 0*b = -12. Suppose -3*s + 84 = o*n, -b*s + 93 = -0*s - n. Does 12 divide s?
True
Does 12 divide (15/4)/(1/16)?
True
Let z = 6 - 7. Let t = -5 - z. Let n = t - -17. Does 7 divide n?
False
Let u be -1 + -16 - (-5 + 8). Is (u/3)/4*-3 even?
False
Let f = 16 - 12. Suppose f*n + 80 = 4*v - 0*n, -n = v - 28. Does 24 divide v?
True
Suppose -76 = 4*z - 8*z. Let p = 39 + z. Suppose -3*l + p = 7. Is 6 a factor of l?
False
Suppose 6*c + 29 = 83. Is c a multiple of 3?
True
Does 7 divide -2*((-521)/14 + (-8)/28)?
False
Let p(g) = g + 8. Let u be p(-6). Let b be 1 - (u + 1*-7). Suppose 0 = 4*h - b - 38. Is h a multiple of 11?
True
Suppose -60 = -2*l - 3*l. Let r = -3 + l. Is 9 a factor of r?
True
Let q = 126 + -90. Is 18 a factor of q?
True
Suppose 9*s - 29 = -l + 13*s, 2*l + 4*s = -2. Is 9 a factor of l?
True
Suppose 11*q = 10*q + 159. Does 13 divide q?
False
Let g = -13 - -26. Suppose 2*p - 33 - g = 0. Is 13 a factor of p?
False
Is -2 + 0 + 2 - -48 a multiple of 4?
True
Let w(b) = -6*b - 2. Suppose -7 = 5*j + g + 12, -5*j - 5*g - 15 = 0. Let t be (1 - -2)/(-5 - j). Does 8 divide w(t)?
True
Let v(s) = 3*s**2 - 6*s - 5. Let r be v(5). Suppose -3*a + 5*m = -30, -a + 2*m = -2*a - 1. Suppose -a*h = -0*h - r. Does 4 divide h?
True
Let n(k) = -4*k**2 - 1. Let l be n(1). Does 10 divide l + 16 - (2 - 1)?
True
Suppose 3*j + 5*o = 3541, -j = 3*j + 5*o - 4723. Is j/30 - (-4)/(-10) a multiple of 13?
True
Suppose 0 = -s + 1, 4*y - 6 = 3*s - s. Is y/(-3) - 588/(-18) a multiple of 14?
False
Suppose -4*g + 3 = -3*o - 5, -3*o - 6 = -3*g. Suppose -2*a + 0*a = -3*n - 45, g*a + 3*n - 63 = 0. Does 27 divide a?
True
Let k(r) = -r**2 - 14*r - 29. Is k(-9) a multiple of 6?
False
Let l(o) = -o**3 - 4*o - 3. Suppose p - 7*d = -3*d + 10, -2*p + 8 = -4*d. Is 6 a factor of l(p)?
False
Let h(a) = -a**2 - 2*a. Let t be h(-1). Let f be 0 + (0 - -1) + t. Suppose -f*p = 2*p + 4, -2*k = 3*p - 27. Does 9 divide k?
False
Let g = -56 + 110. Does 18 divide g?
True
Let t be 6/15 + 574/(-10). Let j = 26 - 30. Is 7 a factor of t/j + (-6)/24?
True
Let x(j) = 2*j + 43. Is 9 a factor of x(0)?
False
Let g(o) = 2*o**2 - 2*o - 1. Let w(n) = -5*n**2 + 5*n + 3. Let x(u) = -7*g(u) - 3*w(u). Let m = -5 - -1. Is x(m) a multiple of 7?
False
Let r = 14 + -10. Let k(n) = -2*n - 9. Let g be k(-6). Is 1/(14/r - g) even?
True
Let r = -2 + -1. Let m be (-3)/r*0 - -4. Suppose -k = -5*p - 39, 0 = -m*k + 2*p - 6*p + 84. Is k a multiple of 12?
True
Let s(y) = -y - 4. Is 9 a factor of s(-22)?
True
Suppose -3*t = 3*w, 3*t + 2*t = 2*w + 21. Suppose 0 = -y + 3*k - 7, 0*y = t*y + k - 19. Suppose 0*g - 10 = -y*g. Does 2 divide g?
True
Let r(l) = -l**3 - 9*l**2 + 10*l. Let u be r(-10). Suppose a = -u*a + 5. Is 2 a factor of a?
False
Let t(w) = -w**3 - 3*w**2 + w + 6. Let d(v) = -3*v**3 - 5*v**2 + 2*v + 13. Let c(x) = -2*d(x) + 5*t(x). Let r be c(4). Let h = 24 - r. Is h a multiple of 16?
True
Let x = 14 - 4. Does 5 divide x?
True
Let i(o) = o**3 - 2*o**2 - 6*o - 1. Let x be i(5). Suppose -4*w + x = 5*h, 2*w + h = -2*h + 20. Is w a multiple of 16?
True
Suppose l - 3*x = -0*l - 7, -3*x = 4*l - 17. Let w(r) = 4*r**l + 0*r**3 + r**3 - 5*r**2 - 3*r + 5. Is 16 a factor of w(4)?
False
Let r(b) = 14*b - 1. Let h be r(1). Let q be h - 0/(-4 + 1). Suppose -5*f + 97 = -q. Is f a multiple of 12?
False
Let a be 2/4*0 + 39. Let s = -7 - -43. Suppose a = 5*m - s. Is 7 a factor of m?
False
Let r = 48 - 18. Does 7 divide r?
False
Let v = 37 - 5. Is v a multiple of 27?
False
Let m(o) = 2*o + 3. Let w be m(4). Suppose 5*d - w = 9. Suppose -84 = -d*l + 4*z, 96 = 5*l - 2*z - 0*z. Is 11 a factor of l?
False
Let b = 6 + -8. Let n be 2 + 0*(-1)/b. Is (-1 + 3)/n*49 a multiple of 27?
False
Is 16 a factor of (1206/(-5))/(-3) + (-4)/10?
True
Suppose 2*c - 6*c + 40 = -5*l, 3*c + 4*l = -1. Let t be 0 + 1 - (c + -29). Suppose -n + a + 50 = -3*a, n - t = -a. Is n a multiple of 13?
False
Let w = 0 + -2. Let u be (-5)/(-10) - w/4. Is 5 a factor of (-5 - 2/u)*-1?
False
Let i = 3 - 9. Let m(b) = 2*b**2 + b + 4. Let c be m(i). Suppose 7*g - c = 2*g. Does 14 divide g?
True
Let y be (-3)/(9/6)*-12. Suppose -2*f = u - 27 - y, -f - 2*u = -33. Is 15 a factor of f?
False
Let o(u) = 8*u - 4. Is o(5) a multiple of 12?
True
Let n(y) = 14*y**3 + y**2. Suppose 3 = i + 2. Is 5 a factor of n(i)?
True
Suppose 0 = 2*j - 7*j + 25. Suppose -r = -j*s - 4*r + 686, 3*s - 2*r = 423. Suppose -3*x + 145 = -o, -4*o - s = -5*x + 91. Is 25 a factor of x?
True
Let a = -44 - -68. Does 12 divide a?
True
Let c = -35 + 50. Suppose 2*y + 0*j + c = -5*j, -3*j = 9. Suppose y*u - u + 19 = 0. Does 10 d