alse
Let c = 33 + -17. Is 3 a factor of c?
False
Suppose 0 = b - 15*b + 29806. Does 10 divide b?
False
Let l be ((-1)/2)/((-1)/(-2)). Is 13 a factor of (9/(-6))/(l/(178/3))?
False
Let d = 82 + -88. Let q(i) = -i**3 - 4*i**2 + 4. Does 19 divide q(d)?
True
Let d(o) be the second derivative of 6*o**2 + o**3 + 5*o - 4*o - 3*o**2. Does 16 divide d(7)?
True
Let d = 292 - 179. Suppose 4*x = -2*n + 78, -5*n - 2*x + d = -2*n. Is 15 a factor of n?
False
Let z(s) be the second derivative of -s**5/20 + 5*s**4/4 + 11*s**3/3 - 5*s**2 - 2*s. Is 43 a factor of z(16)?
True
Suppose -15*d + 3488 = -1372. Is d a multiple of 3?
True
Suppose m - 3*m + 14 = 5*z, 3*z - 12 = 0. Does 28 divide (1 - (m - (-249)/(-3))) + -3?
True
Suppose 5*d + 5*z + 283 = 3598, 0 = d + 2*z - 659. Does 4 divide d?
False
Let d(u) = -u**3 + 4*u**2 - 5*u + 3. Let b be d(3). Let g be b - (-532 + -2)/2. Suppose 5*c - g = 66. Is 22 a factor of c?
True
Let c = 36 - -2. Suppose -6*f - 20 = -2*f, 0 = 2*r - 4*f - c. Is r a multiple of 5?
False
Let i = -4697 + 7413. Does 97 divide i?
True
Let d(a) = -5*a**3 - 6*a**2 - 4*a + 3. Let t(b) = -b**3 + 9*b**2 - 2*b + 14. Let v be t(9). Is 18 a factor of d(v)?
False
Let k(y) = -11*y - 6. Let f be k(-4). Let i = f + -20. Does 18 divide i?
True
Suppose -5*s + 0 = -75. Suppose -6 = -3*u - 33. Let l = s + u. Is 3 a factor of l?
True
Let x(z) = -27*z + 3. Let r(u) = -u**2 + 6*u - 12. Let h be r(5). Let m be x(h). Is (m/(-20))/((-9)/60) a multiple of 16?
True
Let m(f) = 20*f - 10. Let c be m(9). Let a = c + -104. Is a a multiple of 11?
True
Let r = -4987 - -7627. Is 26 a factor of r?
False
Suppose -3*v - 2*v + 40 = 0. Suppose -2*l = -0*j - 4*j + 144, 5*j - 2*l = 180. Suppose v*m - j = 6*m. Is m a multiple of 9?
True
Let r(g) = -117*g - 90. Is r(-2) a multiple of 9?
True
Let y be ((-12)/9)/(4/(-42)). Let x = y - 1. Does 24 divide (-19725)/(-195) - 2/x?
False
Suppose -50*k = -32*k - 1008. Is 8 a factor of k?
True
Let g = 332 + -187. Is g a multiple of 10?
False
Suppose v - 471 = -3*o - 109, -2*v + 714 = -4*o. Suppose 5*s - v = 61. Is s a multiple of 21?
True
Suppose -6*f = -f + 4*r - 12, -6 = -5*f - 2*r. Suppose f*n + 390 = 5*n. Does 21 divide n?
False
Let d(r) = r**2 + 6*r - 10. Let s be d(-8). Let i(w) = 5*w + 3*w - 13 - s*w. Is i(11) a multiple of 4?
False
Let v(a) = -117*a**3 + 3*a**2 + 2*a - 1. Let m be (3 + -4)/(-3 + 3 + 1). Does 39 divide v(m)?
True
Suppose z = 2 + 2. Suppose 5*o + 3*s = 10, -o = o + z*s + 10. Suppose -g = -o*v + 58, -3*g + 34 = 5*v - 32. Is v a multiple of 6?
True
Suppose 5*a - 83 + 23 = 0. Suppose 0 = f + 2*f - a. Suppose -3*v = 3*m - 142 - 95, 3*m - f*v = 251. Is 27 a factor of m?
True
Let l = 463 + -244. Is 17 a factor of l?
False
Let k(v) = 8*v + 7. Is 2 a factor of k(2)?
False
Let b = 40 - 29. Let z(r) = r**2 - 10*r - 3. Does 8 divide z(b)?
True
Let m(s) = s**2 - 42*s + 496. Is 3 a factor of m(0)?
False
Suppose -29 - 6 = -7*p. Is 42 a factor of 58/2*(p + (-30)/(-6))?
False
Let s be 2/9 + 2080/36. Let i = -29 - -159. Let c = i - s. Is c a multiple of 24?
True
Suppose -3*k + 6*i - 4*i = -2130, 0 = -4*i + 12. Is 89 a factor of k?
True
Suppose 0 = y + 5*k, -2*y - y = 5*k. Suppose -40*r + 45*r - 155 = y. Is r a multiple of 19?
False
Let j be -12 + 20 + 2/2*-2. Suppose -9*y = -j*y - 39. Is 6 a factor of y?
False
Let h be 3/2*(-8 + 2). Let c be 496/3 - (-3)/h. Suppose -2*p - p - 2*f + c = 0, 3*p - 165 = f. Is 12 a factor of p?
False
Let q = 193 - 286. Let a = q + 117. Does 12 divide a?
True
Let z = -10 + 12. Suppose -4*j = -v + 7 - 0, 5*j + 5 = z*v. Is 17 a factor of 2/j*(-99)/2?
False
Suppose 0 = -21*z + 74*z - 66038. Is z a multiple of 63?
False
Suppose 5*l = 181 + 34. Suppose 461 = 4*t - l. Suppose -r = r - t. Does 21 divide r?
True
Suppose 192 = -0*x + x + 3*k, x - 194 = -k. Is x a multiple of 65?
True
Suppose 4*y - 2*u = -0*y + 5208, -4*u = -4*y + 5216. Is y a multiple of 13?
True
Let u = -52 - -142. Suppose 5*i - u + 0 = 0. Is 9 a factor of i?
True
Suppose -276 - 2004 = -5*z + n, 2*z - 2*n = 920. Is z a multiple of 7?
True
Suppose 6*m + 8 = 260. Is m a multiple of 21?
True
Suppose 4*o + 4*j = -304, 364 = -5*o + 2*j + j. Suppose -w - 5*c = 35, -5*w = 4*c + 237 + 1. Let v = w - o. Is 24 a factor of v?
True
Suppose 0 = 2*z + 7*l - 3*l - 52, 26 = z - 4*l. Let x be (-1)/(z/(-8) - -3). Suppose j = -x*j + 250. Is 16 a factor of j?
False
Let x(g) = g + 9 + 8*g**2 - g**2 - g**3 - g**2 + 6*g. Let d be 12/(-8) + 51/6. Is 9 a factor of x(d)?
True
Let u = 18 + -38. Let i = 24 + u. Suppose -i*h + 112 = -64. Is h a multiple of 10?
False
Let k(d) = d + 3. Let f be k(-8). Let m(q) = 10*q - 5. Let p(r) = -9*r + 5. Let y(g) = f*p(g) - 4*m(g). Is 20 a factor of y(9)?
True
Let o(c) = 3*c**2 + 4*c - 5. Let r(d) = -d**3 - 3*d**2 + 3*d + 1. Let g be r(-4). Is 15 a factor of o(g)?
True
Suppose 4*w - 1431 = -3*r, -r + 2*w + 320 + 147 = 0. Is 45 a factor of r?
False
Let p(h) = -h**3 + 28*h**2 - 13*h - 90. Is 32 a factor of p(27)?
True
Is -4 + 424*1/(-2 - -3) a multiple of 27?
False
Suppose -15 = -n - 3*a + 2, 5*n + 5 = 3*a. Suppose 8*x - 2244 = n*x. Is 22 a factor of x?
True
Does 10 divide -26 + 1291 - (-7 + -6)?
False
Suppose 12*n - 1136 = 16*n. Let c be n/(-6) + 8/(-24). Suppose 2*y - 181 = 4*w + c, 4*y - w - 484 = 0. Is y a multiple of 25?
False
Let f(y) = -y**3 + y**2 + 3. Let a be f(4). Does 4 divide ((-132)/(-10))/(a/(-150))?
True
Let p be (-30)/9*(-6)/4. Suppose p*l + 4*j - 7 - 124 = 0, -4*l - j + 107 = 0. Does 9 divide l?
True
Let u = 105 - -120. Is u a multiple of 5?
True
Let p be ((-4)/6)/(5/(-30)). Suppose p*t - t = 6. Suppose -t*f - q = -35, -f - q - 2*q = -10. Is f a multiple of 15?
False
Suppose -549 = -3*f - 2*z, 0*f + 734 = 4*f + 2*z. Does 15 divide f?
False
Let n be 1760/11 - (-2 + 4). Suppose -5*v + n = 18. Suppose 45 = v*h - 27*h. Is h a multiple of 15?
True
Let s(d) = d**3 + 9*d**2 + 1. Let z be s(-9). Let u be (-3)/6 + z/2. Suppose u = -v + 4*v - 54. Does 6 divide v?
True
Does 92 divide 3/(-24) + (981870/(-16))/(-23)?
True
Suppose 3*g + 3*g - 294 = 0. Is g even?
False
Suppose 3*n - 206 + 44 = 0. Let h be (-407)/3 - 18/n. Let o = 199 + h. Is o a multiple of 11?
False
Let l = 4171 + -1511. Is 28 a factor of l?
True
Let b = 10 + -163. Is (b/2 - 1)/((-3)/6) a multiple of 44?
False
Let m = -25 - -20. Let x be m/25 - 1471/(-5). Suppose -3*u = -u - 5*o - 105, 2*o + x = 5*u. Does 20 divide u?
True
Suppose h + q - 122 = 0, 14 - 264 = -2*h - 5*q. Is 15 a factor of h?
True
Let v be ((-1)/3 + 1)/(3/(-477)). Let h be 3/(-12) - 1262/8. Let o = v - h. Is o a multiple of 13?
True
Let q be 1/((20/(-16))/(-5)). Let w be (q/6)/(2/(-24)). Let p(d) = d**2 + 3*d - 10. Is 10 a factor of p(w)?
True
Let u(d) = -d**3 - 7*d**2 + 7*d - 14. Let g = -8 - 1. Is u(g) a multiple of 17?
True
Let o = -131 - -62. Is (-3)/3*2*o/6 a multiple of 7?
False
Let b(r) = 2*r**2 - 5*r - 3. Is b(12) a multiple of 63?
False
Let u = -519 - -796. Is u a multiple of 30?
False
Let r(p) = p**3 - 3*p**2 + 2*p + 2. Let s be r(2). Suppose 5*k - 4*a = 410, -s*k + 189 = -a + 25. Is k a multiple of 24?
False
Suppose 5*l = -3*b + 223, 6*l - 20 = 2*l. Let p be 1 + 2 - (4 - 3). Suppose -p*o + o = -b. Is o a multiple of 22?
True
Suppose -h - 3*h = 132. Let b = 52 + h. Is b a multiple of 3?
False
Let g = -729 + 1268. Is g a multiple of 49?
True
Let b = 6 - 8. Let j be (-1 - -1)*1 - b. Suppose -u + 30 = 2*r - 4*r, j*u + 3*r - 25 = 0. Is 6 a factor of u?
False
Let i(l) = -3*l - 10. Let x be i(-4). Suppose 2*b + 8 = -x. Let t(w) = -w + 6. Does 9 divide t(b)?
False
Let u = 4123 - 1692. Is 17 a factor of u?
True
Suppose 1248 = 7*h - 10596. Is h a multiple of 18?
True
Let u be 0 + (-14 - (4 + -5)). Let n = u + 42. Is n a multiple of 8?
False
Suppose 3*k - 2*x = 6*k - 5, 0 = -3*k + 4*x + 17. Suppose k*q - 30 = -o + 3, 4*o - 42 = -3*q. Is 14 a factor of 105/2 + (-5)/q?
False
Let u(j) = j**3 + 7*j**2 + 4*j - 12. Let l be u(-6). Suppose l = 3*t - 144 - 36. Is 30 a factor of t?
True
Suppose 25 = 3*d + 5*i, -i + 2*i - 7 = -d. Suppose 3*q - 5*s - 43 = q, -4*q = -d*s - 61. Is 2 a factor of q?
False
Let h be -2 + (2440/2)/(-2). Let q(d) = -2*d**3 - 2*d**2 - 8*d + 10. Let t be q(1). Is t/(-7) + h/(-14) a multiple of 11?
True
Let w(a) be the second derivative of -271*a**5/20 - a**4/12 + a**3/3 + 2*a**2 + 17*a. Is 16 