q(-3). Suppose 5*n + b = 320, z*n + b + 64 = n. Does 32 divide n?
True
Suppose -24*l + 8 = -20*l. Suppose -5*s + 70 = -5*w, 14 = 2*s - 5*w - l. Is s a multiple of 10?
False
Let y(a) = 28*a - 68. Does 10 divide y(8)?
False
Suppose 12 = 2*d + 4. Let k(w) = -w**3 + 5*w**2 - 2*w - 2. Let f be k(d). Let j(u) = 4*u + 6. Does 9 divide j(f)?
False
Let i(a) = 14*a + 8 - 2*a**2 + a**2 + 0*a**2. Suppose 2*m = -2*m + 56. Is 8 a factor of i(m)?
True
Let y = 65 - 63. Suppose 5*m - s = -12 + 111, y*m - 3*s = 37. Is 3 a factor of m?
False
Suppose -4*n - 2*r = 2*r + 620, 3*n = -r - 475. Is (n/(-15))/(2 + (-4)/3) a multiple of 16?
True
Let g = -2768 + 5080. Is g a multiple of 11?
False
Does 4 divide (3 - -2) + -3 + 263/1?
False
Let g(d) = -61*d - 367. Is g(-9) a multiple of 7?
True
Suppose -5*y - 3*n + 11 = 0, -5*n - 13 = 2. Suppose 3*r = -3*m + 138, -5*r + y*r + 2*m = -37. Does 11 divide r?
False
Let j = -71 - -243. Does 3 divide j?
False
Let l(f) be the second derivative of 3*f**5/10 - f**4/12 - f**2 + 26*f + 1. Suppose -4*h = k - 2, -k + 5*h + 2 = 2*h. Is 14 a factor of l(k)?
True
Suppose -57*o = 8*o - 294515. Is o a multiple of 25?
False
Let p be 7 - 7 - (-2 + -1 + 1). Let c(z) = 25*z**3 - 4*z**2 + 2*z + 2. Does 38 divide c(p)?
True
Suppose -7326 = 5*o + 6*o. Is 59 a factor of o/(((-3)/6)/(2/6))?
False
Let o = 1674 + -886. Is o a multiple of 7?
False
Let p = 1797 - 1242. Does 15 divide p?
True
Let d(i) = -i**2 - 6*i**2 - 2 + 4*i**2 + 5*i**3 - 36*i + 34*i. Is 20 a factor of d(3)?
True
Does 12 divide 40/(-5 + -3) + 161?
True
Let n(i) = -8*i**2 - 26*i - 1. Let o be n(-4). Suppose 3*s = -99 + 279. Let f = o + s. Is f a multiple of 20?
False
Let l(x) = -x**3 + 17*x**2 - 29*x + 16. Let u be l(15). Suppose u = -4*o + 371. Does 17 divide o?
True
Let o(j) = j**3 + 16*j**2 + 19*j + 4. Is 14 a factor of o(7)?
False
Let c(u) = u**3 - 5*u**2 - 2*u + 4. Let h be c(8). Suppose p + 2*b - h = 6*b, 699 = 4*p + 5*b. Does 19 divide p?
False
Let h be (235/(-15))/((-1)/6). Suppose 48 + h = 2*u. Is 15 a factor of u?
False
Suppose -5*j = -v - 6 - 4, 0 = 4*v + 3*j - 6. Suppose -4*t + 242 = 5*b, 3*b = -v*t - t + 64. Does 29 divide t?
True
Suppose -2*q + 3 = -3. Let p(v) = -34*v + 32. Let o(g) = 11*g - 11. Let j(f) = -17*o(f) - 6*p(f). Does 23 divide j(q)?
True
Let i be 3/(12/(-8)) - -2. Suppose n + q = -0*q + 37, i = n - 2*q - 28. Is 11 a factor of n?
False
Let m(q) = 446*q**2 - 10*q + 11. Does 12 divide m(1)?
False
Does 11 divide (9 - 8/4)*-11*-3?
True
Let r = 2 - -1. Let f be r/(-6 - -3)*-57. Let t = 99 - f. Is t a multiple of 14?
True
Let x = -14 + 20. Let z = x - 6. Suppose z = -3*c - u + 110, -u - u = 4*c - 144. Does 17 divide c?
False
Suppose 4*q - 2*o = -4778 + 14510, 3*o + 4870 = 2*q. Is q a multiple of 32?
True
Suppose -6*h = -3*h + 6, 174 = v - 2*h. Is 17 a factor of v?
True
Let n = 669 - 449. Does 12 divide n?
False
Let n(b) = b**2 + 48*b + 90. Does 9 divide n(-55)?
False
Let y be -1 + (-1 - (3 + -5)). Suppose y*b - 3*b + 39 = 0. Does 3 divide b?
False
Let z(q) be the third derivative of q**5/15 - q**4/4 + 11*q**3/6 + 3*q**2. Does 11 divide z(5)?
False
Let v(g) = g + 15. Let o be v(-4). Suppose -u = 3*z + o - 0, -50 = 2*u - z. Does 4 divide ((-2)/(-2))/(u/(-529))?
False
Let s = -941 - -1403. Let t = s + -206. Does 24 divide t/3 - (-2)/(-6)?
False
Let g = 72 + -36. Suppose -2*x + 4 = -g. Is 20 a factor of x - (0 + (3 - 3))?
True
Let t(h) = -2*h**3 - 9*h**2 + 27*h - 36. Is 35 a factor of t(-10)?
False
Suppose 0*f - 11*f = -451. Suppose -n - 4*m = -f, -5*n + 208 = m + 3. Is 22 a factor of n?
False
Suppose -945 = -w - 2*k - 21, 4*w = 3*k + 3696. Suppose 4*o + 3*o - w = 0. Is o a multiple of 12?
True
Suppose 0 = -f + 2 + 3. Let n be 5*(102/f)/1. Suppose -5*w = -3*w - n. Does 15 divide w?
False
Let z(x) = 3*x**3 + 2*x**2 + 3*x - 66. Is 42 a factor of z(6)?
True
Let a(h) = -3*h + 19. Let s be a(21). Let y = s - -65. Does 7 divide y?
True
Suppose 0 = -7*q - 667 - 1174. Let v = -175 - q. Does 44 divide v?
True
Let z = 19 + -19. Let a(x) = -11*x**3 - 2*x**2 - x. Let c be a(-1). Let h = c - z. Is 10 a factor of h?
True
Suppose -2*j + 0*j = -4. Suppose -8*k = -j*k - 282. Does 7 divide k?
False
Suppose 2*x = -11 - 7. Let m(q) be the first derivative of -q**2/2 + 3*q + 7. Does 12 divide m(x)?
True
Suppose -14*g - 260 = -16*g. Does 18 divide g?
False
Suppose v + 1 = 24. Is 16 a factor of (-2 - v)*12/(-15)?
False
Suppose -4*w = -15*f + 12*f + 1340, 5 = -w. Is f a multiple of 10?
True
Let k(j) = j - 8. Let h be k(12). Suppose -213 = -h*i - 21. Does 24 divide i?
True
Let z = 272 + -228. Does 22 divide z?
True
Let c(f) = f**2 + 47*f + 675. Is 2 a factor of c(-21)?
False
Suppose 2*i + 8*z - 4*z = 74, 2*i - z - 89 = 0. Is i a multiple of 8?
False
Let v(l) = 15*l**2 - 28*l + 29. Is v(-11) a multiple of 6?
False
Let r(u) = u**2 + 6*u + 12. Let f be 4/(1 + -1 - 6/9). Does 6 divide r(f)?
True
Let b(k) = -26*k - 3. Let s be 70/(-28)*(-4)/(-5). Let g be b(s). Let f = g - 28. Is f a multiple of 3?
True
Let d be -34 - 16/(4/1). Let g be ((-10)/4)/(19/d). Suppose -w = -4*w - g*i + 222, 3*w + 2*i = 213. Does 23 divide w?
True
Let a be -6 + (3 - 0/(-2)). Let x(i) = 24*i + 2. Let c be x(a). Let y = 3 - c. Is y a multiple of 24?
False
Suppose 34 - 14 = 4*k. Suppose i = k*c + 105, i = 6*i - c - 597. Suppose 0 = 2*h + 4*s - i, h + 333 = 6*h - s. Is h a multiple of 15?
False
Suppose 3*l + 3*l = 450. Suppose -7*q + l = -2*q. Does 15 divide q?
True
Let u = -144 - -166. Does 15 divide u?
False
Suppose 3*v - 30 = 5*w + v, v = -w - 6. Is 2 a factor of w/(-27) + 172/36?
False
Suppose -k + 322 = -2*r, -6*r + 2*r = 4*k - 1228. Let l = 0 + 0. Suppose l = 4*j - 8*j + k. Does 24 divide j?
False
Let u = 15 - 15. Suppose -3*w + w + 98 = u. Is w a multiple of 21?
False
Suppose 0 = -7*n + 358 + 419. Does 3 divide n?
True
Let y = -145 + 428. Is y a multiple of 5?
False
Let p(a) = -3 + 4 + 10*a**3 + 1 - 3. Let g = 12 - 11. Is 4 a factor of p(g)?
False
Let p = -2 + 5. Suppose -s - 11 = -p*j, 5*s + j - 36 = -11. Suppose 0 = -s*k + 23 + 41. Does 15 divide k?
False
Let h be 1/((-2)/(-4)*1). Let f(s) = 10*s - 34. Let u be f(4). Suppose h*o + 3*r - 26 = 0, o + 4*r - 6*r = u. Is o even?
True
Suppose 3*v - 5*v = -3*q + 1162, -1526 = -4*q - 2*v. Is 16 a factor of q?
True
Let y be (-33)/(-9) + 10/(-15). Suppose -v + 10 = y*z, 0 = -2*z + 2*v + 15 + 5. Suppose -l = -q + 19, -2*l = -z*l - 9. Does 4 divide q?
True
Let t(p) = -p**3 - 8*p**2 - p. Is 30 a factor of t(-10)?
True
Suppose -6*j = j - 217. Let r = j + -25. Does 3 divide r?
True
Let v(g) = g + 5. Let l be v(-2). Suppose u + l*u = 220. Does 26 divide u?
False
Let i be (-2200)/28 + 8/14. Let o be (-846)/i + (-2)/(-13). Let u(q) = q + 8. Does 16 divide u(o)?
False
Let z = 1329 + -1158. Is 16 a factor of z?
False
Let z(n) = 2*n**2 + 5*n. Let v be z(7). Let c(k) = -9*k - 4. Let u be c(-1). Suppose 5*s - 20 = 0, -u*a - 4*s + 2*s = -v. Is 25 a factor of a?
True
Let n be 186 - ((-6)/(-3) + -4). Let i = 268 - n. Is i a multiple of 16?
True
Let f = -202 + 120. Let c = f + 252. Is c a multiple of 34?
True
Let c = -2524 - -1349. Let o = -814 - c. Suppose 3*n = 2*f + 217, -5*n + 4*f - f + o = 0. Is 41 a factor of n?
False
Let u be -24*((-12)/(-3) + -8). Let m = u - 81. Is m even?
False
Let a(v) = v**3 - 12*v**2 + 21*v + 4. Let l be a(10). Suppose -49 + l = -f. Does 7 divide f?
True
Let y(s) = -s**3 - 7*s**2 - s - 5. Let l be y(-7). Is 20 a factor of (2/(-4))/(l/(-240))?
True
Let p = 278 + -90. Let z(k) = -23*k - 5. Let q be z(-7). Suppose p = 4*o - q. Does 27 divide o?
False
Suppose -5*y - 3*l + 2563 = 0, 4*y + 574 = l + 2621. Does 25 divide y?
False
Let d(z) = 1213*z - 55. Does 3 divide d(1)?
True
Let c(r) = -2*r**3 - 3*r**2 + 4*r - 2. Let d(m) = -2*m**3 - 15*m**2 - 5*m + 11. Let k be d(-7). Is c(k) even?
False
Let z(m) = -2*m**3 + 7*m**2 + 2*m - 13. Is z(-4) a multiple of 23?
False
Let z = -73 + 43. Let t = -25 - z. Suppose -t*p + 2*r = 3*r - 79, -3*r - 35 = -2*p. Is 16 a factor of p?
True
Let p(k) = -9*k - 1. Suppose 0 = -4*r + 2*y + 8, 0*y + 2*y = -r + 7. Suppose 0 = r*l + 2*l + 5. Does 8 divide p(l)?
True
Let c be -12*(12/9)/(-2). Suppose -2*b = 5*g - 20, 0*g + 2*g = 5*b + c. Suppose -2*z + 76 - 22 = b. Is 23 a factor of z?
False
Let x(a) = 18*a - 1 - a**2 - 2 - 10. Does 2 divide x(1