4*x. Suppose 2*i - 248 = -3*i - 3*a, 0 = x*i + 2*a - 200. Does 17 divide i?
False
Suppose -1365 = -3*l + k - 3*k, -l - 3*k = -455. Is l a multiple of 13?
True
Let t = -104 - -109. Suppose 72 = -t*y + 677. Does 7 divide y?
False
Let s(m) = 6*m + 3. Let y be s(-2). Let n = y + 79. Suppose 0 = -2*f - 2*p + n, -11 = -5*p - 1. Is f a multiple of 13?
False
Let q = 7 + -3. Suppose 0 = 4*b - 3*u - 1557 + 414, 2 = -2*u. Suppose r - b = -q*r. Does 16 divide r?
False
Suppose 0 = -3*n + 6, -n + 9 = m + 2*n. Suppose 38*g - 43*g = -255. Let o = g - m. Does 16 divide o?
True
Suppose 5*x - 388 = -2*w + 959, 4*x + 4 = 0. Is w a multiple of 44?
False
Suppose 5*s + 1210 = 5*k, 0 = -6*k + 5*k + 3*s + 240. Is 30 a factor of k?
False
Let b = -430 + 811. Is 76 a factor of b?
False
Let h be -13 + (0/1)/(0 + 2). Let b(w) = -4*w + 2. Is 18 a factor of b(h)?
True
Suppose 24 = -4*h + 10*h. Suppose -h*f + 92 = -4*c, 4*f - 38 = -2*c + 36. Is f a multiple of 4?
True
Let u be (-2)/11 - 222/(-11). Is -50*(-7)/(175/u) a multiple of 11?
False
Suppose 0 = z - 3*d - 14, -3 = -2*z - 5*d - 30. Is 7 a factor of z - (2 + -84 - 6/2)?
True
Let t = -24 + 27. Suppose -w + 288 = t*w. Does 24 divide w?
True
Suppose -13 = 5*q - 38. Suppose 0 = -4*d, -2*g + 54 - 20 = 5*d. Suppose h - 77 = -q*l, -2*h + g = 2*l + 3*h. Is 8 a factor of l?
True
Let b = -92 - -131. Does 8 divide b*2 - (-8 - -6)?
True
Suppose 133 - 52 = j. Let q be -6*((-112)/12 - -2). Let m = j - q. Is 12 a factor of m?
False
Suppose -3*h - 18 = 5*z - 53, 4*h - 20 = -4*z. Does 5 divide (0 + z)*15/6?
True
Suppose -58*v = -53*v - 840. Is 76 a factor of v?
False
Let m be (0 - -2)*(-17)/2. Let p = m + 15. Is p + 9/(-3)*-5 a multiple of 3?
False
Let z(o) = o**3 + 7*o**2 - 12*o - 20. Let g be z(-8). Let r(p) = -2*p**2 + 26*p + 17. Does 31 divide r(g)?
False
Let o(w) = w**3 + 7*w**2 + 4*w - 8. Let u be o(-6). Suppose 6*x = -x + 3*x. Suppose x*v = -u*v + 168. Does 21 divide v?
True
Suppose l + p - 105 = -4*p, -p + 329 = 3*l. Is 30 a factor of l?
False
Let x(o) = -15*o - 12. Let s be x(-13). Suppose 4*i - s - 318 = -3*z, 0 = -3*z + 3*i + 480. Does 30 divide z?
False
Suppose 2 = -2*k + 6. Suppose k*v - 103 = 137. Is v a multiple of 10?
True
Suppose -4*f - 4*t + 645 + 215 = 0, f - 5*t - 191 = 0. Is f a multiple of 14?
False
Suppose 2550 = 3*i - 5*q, 32*q - 2577 = -3*i + 28*q. Is 15 a factor of i?
True
Suppose -4*w - 142 = -3*v + 301, -2*v + w = -302. Is 2 a factor of v?
False
Let n = 1204 + -952. Is 14 a factor of n?
True
Does 5 divide 4064/160 - (-4)/(-10)?
True
Let n(j) = -12*j + 14. Is 10 a factor of n(-23)?
True
Suppose 2*l = 5*g + 8734, l - 3*g + g = 4369. Does 16 divide l?
False
Let f = -1188 + 1874. Is f a multiple of 8?
False
Let v be 6 - (-3)/(-4)*4. Let b be (-3)/v*42/(-6). Let w(d) = -d**3 + 6*d**2 + 8*d + 4. Is 5 a factor of w(b)?
False
Let v = 3022 - 78. Is 32 a factor of v?
True
Let p(a) = a**3 - 5*a**2 + 3*a + 4. Let q be p(3). Let m(w) be the third derivative of -w**6/120 - w**5/20 + w**4/4 + w**3 + 8*w**2. Does 13 divide m(q)?
True
Let l(x) = 9*x**2 + 6*x + 29. Does 12 divide l(-3)?
False
Suppose -t - 109 = -c, 5*t - 313 = -4*c + 150. Is 14 a factor of c?
True
Let t be (-8)/(-16)*(-12)/2 - 62. Let m = t - -91. Is 16 a factor of m?
False
Suppose -5*d = 4*p - 1072, -d - 4*p = -248 + 24. Is d a multiple of 20?
False
Let s = 3609 + -2011. Is 34 a factor of s?
True
Let n(f) = 6*f**2 + 20*f + 14. Is n(-10) a multiple of 3?
True
Let f be 3*4/(-12)*-4. Suppose -5*d + 10*d + 3*x - 192 = 0, 113 = 3*d + f*x. Does 9 divide d?
False
Let q(a) = -181*a - 85. Is 18 a factor of q(-2)?
False
Let d be 4 + ((-324)/(-4))/(-1). Let j = d + 86. Is 9 a factor of j?
True
Is (1072/67)/(2/216) a multiple of 48?
True
Suppose 3*u + 6*u = 18. Suppose u*c - 7*c + 1025 = 0. Is c a multiple of 49?
False
Let u = -8 - -10. Suppose -m + 161 - 36 = 4*l, u*l - 76 = 4*m. Let v = 20 + l. Does 26 divide v?
True
Let m(y) = y - 3. Let a be m(6). Suppose 3*s - 4*s + 2 = -b, 0 = -a*b - s - 2. Let t = 2 - b. Is t a multiple of 2?
False
Suppose -3*t + 1715 = 5*b - 8*t, -3*b + 1028 = -4*t. Let x = 609 - b. Suppose 5*g + 0*g = x. Is g a multiple of 28?
False
Let j = 17 - 18. Let v(g) = g**2. Let r be v(j). Is 19 - (r - -1)/2 a multiple of 7?
False
Let g(u) = 5*u**2 + 5*u**3 - 6*u**3 - 3*u + 3 - 2*u**2. Let n be g(2). Does 12 divide (n/(-2))/((-2)/48)?
True
Let i(w) = -w**3 + 4*w**2 + w - 1. Let f be i(4). Suppose -49 + 4 = f*o. Let p = 2 - o. Is 17 a factor of p?
True
Let h be (6/(-18))/(1/(-15)). Suppose -h*v + 316 = -224. Suppose 5*a = a + 4*p + v, 0 = -5*a + 4*p + 134. Is 22 a factor of a?
False
Suppose -3*w = 5*d - 556, 3*w - d - 772 = -w. Suppose -86*v - w = -90*v. Is 11 a factor of v?
False
Let d = -2113 + 3073. Is 40 a factor of d?
True
Suppose -3*b = -0*b - 0*b. Suppose b = -6*n + 1528 - 268. Is n a multiple of 21?
True
Let b = -345 - -707. Does 11 divide b?
False
Let y be 333/(-2) + 21/(-14). Let a = y + 423. Suppose 0 = -5*s + 5*d - 2*d + 260, 5*s - 4*d = a. Is 12 a factor of s?
False
Suppose 10*d = 22*d - 3240. Is d a multiple of 5?
True
Let p(h) = h**2 + 14*h + 2. Let c be p(-14). Let k(l) = 20*l**2 + l - 3. Is k(c) a multiple of 16?
False
Let t be -11*(1 + (0 - 0)). Let r(z) = -z**3 - 12*z**2 - 13*z + 4. Does 9 divide r(t)?
False
Suppose 5*r + 85 = 3*f, 0 = -f + r - 0*r + 31. Suppose -y + f = 12. Is 12 a factor of y?
False
Let j = 197 - 121. Suppose 2*v - 140 = -5*b + 7*v, -4*b + j = 5*v. Is b a multiple of 9?
False
Suppose -5989 = -4*n - 3*b, 0 = 2*n - 5*n + 3*b + 4476. Does 13 divide n?
True
Suppose -49*j = 1289 - 6287. Does 3 divide j?
True
Suppose 3401 + 8411 = 3*z - 4*k, 3933 = z + 3*k. Is 16 a factor of z?
True
Suppose x - 35 = 263. Suppose -5*h = -0*h + 2*r - 304, 5*h - x = r. Suppose -4*u - 4*o = -100, 5*u - 2*o = 2*u + h. Is 22 a factor of u?
True
Suppose 4*s - 3357 = -1125. Does 31 divide s?
True
Let h(w) be the third derivative of -w**4/24 + 35*w**3/6 + 25*w**2. Is 5 a factor of h(0)?
True
Suppose -4*l - 5*q - 11 = 0, -3*q = -4*q + 1. Let j(a) = 6 - a**2 - a**3 + 3*a - a**2 + 2*a. Is 7 a factor of j(l)?
False
Suppose -i + 564 + 1038 = 2*n, 2*i + 3987 = 5*n. Does 17 divide n?
True
Let c(z) = z**3 - 12*z**2 + 12*z - 11. Let v be c(11). Does 5 divide v/(-4) - 5*12*-1?
True
Let i(q) = -3*q**3 - 5*q**2 + 7*q + 12. Is i(-4) a multiple of 12?
True
Let d = 6552 - 3924. Is 36 a factor of d?
True
Let o(a) = 2*a**2 - 30*a + 57. Is 3 a factor of o(21)?
True
Suppose 0*w + 3*w + 187 = z, 3*w - 4*z = -190. Let s = -26 - w. Is s a multiple of 18?
True
Suppose 3*b - 1 = u, -9 = -3*u - 0*u + 5*b. Suppose -u*f = -3*f. Suppose -2*w + 60 = -f*w. Does 15 divide w?
True
Suppose -64150 - 94016 = -87*j. Is j a multiple of 108?
False
Let f(z) = -z**2 - 4*z + 5. Let h be f(-5). Suppose -5*k - 3*y = -98 - 287, -4*k + 4*y + 340 = h. Is 21 a factor of k?
False
Let g(v) = 848*v - 8. Does 105 divide g(1)?
True
Let v(i) = 15*i**2 + i + 60. Is v(-6) a multiple of 33?
True
Let o be (-10 + 3)/((-3)/(-3)). Let w(y) be the first derivative of -y**3/3 - 7*y**2 + 3*y + 14. Does 11 divide w(o)?
False
Let v(n) = 3*n**2 - 10*n - 17. Is 4 a factor of v(9)?
True
Let j = 241 - 221. Let g be 1/4 - (-78)/8. Let k = j - g. Is k even?
True
Let r(v) be the first derivative of 3*v**4/4 - 8*v**3/3 + 2*v**2 - 2*v - 5. Is r(3) a multiple of 5?
False
Let r = -169 - -565. Is r a multiple of 4?
True
Let o(f) = 18*f + 70. Is 12 a factor of o(0)?
False
Let n be ((-1)/(-2))/((-3)/(-444)). Is 2*1 + (n - 5) a multiple of 25?
False
Is (-18)/(-4)*(55 - 1) a multiple of 4?
False
Let j be -2 + -5 - (0 - -1 - 2). Does 5 divide 31*(-6)/(-4)*j/(-9)?
False
Let k be 1/((1/(-3))/((-30)/18)). Let t(u) = u**3 - 4*u**2 + 6*u - 4. Does 36 divide t(k)?
False
Is 9 a factor of (-27)/18*4 - -451?
False
Suppose 0 = -2*r - r - 12. Let v be 32/(-5) + (-6)/(-15). Is 13 a factor of (-52)/(-6)*v/r?
True
Let o = -35 - -37. Suppose 5*l - f = -0*f + 926, -2 = o*f. Is l a multiple of 37?
True
Let d be -3*(4/(-2) - -1). Suppose 0 = -n - 4*o + 41, -3*o = -d*n - 0*o + 123. Is (-3 - (3 + -7))*n a multiple of 11?
False
Suppose -g = -4*p - 82, -2 = -4*p + 6. Does 90 divide g?
True
Suppose 1963 = 14*s - 5093. Does 49 divide s?
False
Let u(s) be the second derivative of s**4/12 - 7*s**3/3 - 10*s**2 + 4*s. Does 12 divide u(16)?
True
Suppose 