0) a multiple of 11?
False
Suppose 6*d + 2*f - 66718 = 0, -5*d + 88045 = 4*f + 32456. Is 33 a factor of d?
True
Let r = 43753 + -29669. Is 7 a factor of r?
True
Let o = -72 + 74. Suppose -o*i = 2*j + 74, -i + 74 = -2*j - 2*i. Let d = j - -97. Is 30 a factor of d?
True
Let i(n) = -104*n - 88. Let c be i(-17). Suppose 8*m - c = -13*m. Is 29 a factor of m?
False
Suppose 0 = 18*z - 2*z - 32. Suppose -z*q - k + 1702 = k, -6*k + 1690 = 2*q. Is 14 a factor of q?
True
Let b be 20*17/((-425)/(-4020)). Suppose 199*c = 202*c - b. Does 67 divide c?
True
Suppose -5*l - 20 = 0, -3*l - l - 20 = 4*m. Let u(s) = 14*s + 4. Let b be u(m). Let n = 28 + b. Is n a multiple of 3?
True
Suppose -26*t + 25*t + 11325 = -5*b, 4*t - 45277 = -3*b. Does 74 divide t?
False
Is 2 a factor of (160/8)/((-24)/(-7248))?
True
Let z(s) = -814*s - 2165. Is 17 a factor of z(-14)?
True
Let s = -98 + 95. Let q be s + 440/3 - 4/6. Suppose -5*p + q + 7 = 0. Is p a multiple of 5?
True
Let n(l) = 4*l + 248. Let z be n(47). Let h = z - 106. Is h a multiple of 28?
False
Let t(s) = s**3 + 6*s**2 + 4*s + 12. Suppose r = -55 + 65. Suppose -11*u - r = -9*u. Is t(u) a multiple of 2?
False
Let t = -213 - -244. Suppose t*h = 33*h - 474. Is 14 a factor of h?
False
Suppose 0 = -5*f + 5*d + 270 - 0, 0 = 4*f + 4*d - 216. Let m(s) = 24*s + 195. Does 42 divide m(f)?
False
Does 38 divide (-168 + 166)/(8/(-21884))?
False
Let p = 402 - -357. Is p a multiple of 11?
True
Let f be 37*1 + (-27 - -22). Suppose 3*r - f = -2*u, r - 4*u + u = 7. Is 6 a factor of r?
False
Does 12 divide ((-348)/68 - 1 - (-76)/646)*-1098?
True
Let r = 12 + -18. Let p be (12 - 15)*242/r. Let z = -61 + p. Is z a multiple of 6?
True
Let k be 0 - -3 - (-32)/16. Suppose 2*a = -0*a + 10, k*a = 4*t + 9. Suppose t*s + 324 = 3*j + 1, -5*s - 429 = -4*j. Does 11 divide j?
False
Suppose 4*b - 3*b + 16 = 4*n, 0 = 4*b - 16. Suppose 3*s = n*h - 335 - 204, 3*h - 303 = -5*s. Is 8 a factor of h?
False
Let s(q) = -q**3 + 6*q**2 - 5*q - 2. Let o be s(5). Let c = o + 4. Suppose -5*n = -5, -g = -3*g + c*n + 166. Is g a multiple of 21?
True
Let k be 88/(-396)*(-99 - 0). Suppose 4*u = 6 + 110. Suppose a = u + k. Is a a multiple of 17?
True
Let x(l) = 161*l - 687. Does 7 divide x(33)?
False
Let g be -5 + 9/9 - 3/(-1) - -142. Let s(n) = -6*n - 4. Let c be s(-3). Let d = g + c. Does 31 divide d?
True
Let b be 9*(4/6 + 16/(-48)). Suppose 0 = -0*l + b*l - 3*k - 159, -3*l = -4*k - 163. Is 10 a factor of l?
False
Is 6584 - (1 - 80/(-10)) a multiple of 11?
False
Let j be 5*((-243)/(-5))/3. Is (-1)/(15/(-54))*38610/j a multiple of 30?
False
Let y(u) = 4*u - 8 - 4*u + 2*u + u. Let q be y(-7). Let c = 69 + q. Is c a multiple of 20?
True
Let j = -337 - -9663. Is 10 a factor of j?
False
Let m be (4/4)/1 - 1. Suppose 0 = -o + v + 634, m*v + 20 = 5*v. Suppose b + o = 12*b. Is b a multiple of 27?
False
Let s(w) = -248*w - 1056. Does 10 divide s(-22)?
True
Let w(h) = -2*h**2 + 68*h - 454. Let v be w(26). Let i be 32/3*(-6)/(-1). Let u = v + i. Is 6 a factor of u?
False
Let o be -8*((-1 - -1) + 4/(-8)). Is 12 a factor of (-2)/o*-1117*(30 + -28)?
False
Let d(k) = 361*k**2 - 18*k + 173. Does 7 divide d(7)?
False
Let d = -6244 - -4006. Does 14 divide d/(-8) + (-1 - (-15)/12)?
True
Let d be -1 - 3/(-3) - (2 - -24). Let t be 8/(-44) - d/22. Is 6 a factor of (31 - t)*(-7 - -8)?
True
Suppose 15 = f - 4*s, -2*f + s - 20 = 3*f. Does 12 divide 4/(f - 567/(-112))?
False
Suppose 40*v + 5*l = 37*v - 13, 0 = -3*v + 3*l - 21. Let j(t) = -50*t + 154. Is 16 a factor of j(v)?
False
Suppose -s + 5 + 4 = -2*d, -5*d = -2*s + 23. Let n(m) = 3*m**2 + 7*m + 10. Let j be n(d). Does 16 divide 3 + j/(-6)*-15?
True
Is 393 a factor of (-186264)/(-3) - (-3)/12*24?
True
Let t = 121 - 127. Is 28 a factor of 12208/84 - 4/t?
False
Let b be (164/(-3))/((-14)/3045*5). Suppose -15*z + b = -592. Does 68 divide z?
False
Suppose -5*r = 5*n - 10505, -15*r = -14*r - 5*n - 2083. Suppose -r = -8*f + 1126. Does 61 divide f?
False
Let t(u) = -u**3 - 2*u**2 + 3*u + 2. Let z be t(3). Let v = z - -36. Suppose -4*p + 0*p + 408 = v*q, 0 = -2*p + 3*q + 204. Is p a multiple of 17?
True
Suppose -5*h + 3 = 5*l - 47, 0 = -5*h - 3*l + 44. Suppose -9*n + h*n = -310. Suppose 3*b - 10 = n. Does 17 divide b?
False
Let d = -91533 - -139071. Is 15 a factor of d?
False
Suppose -5*i + 3 + 46 = -n, -67 = n + 4*i. Let c = n + -21. Let u = -76 - c. Is 3 a factor of u?
False
Let r = 99757 + -67571. Is 7 a factor of r?
True
Suppose -6*n - 6*n = -3*n. Suppose p + 18*p - 2907 = n. Is 9 a factor of p?
True
Let d = 167 + -167. Suppose d = -3*x + 36 + 207. Is 9 a factor of x?
True
Let t(p) = 2*p**2 + 133*p + 1322. Does 38 divide t(-192)?
True
Let w = 64 - 61. Suppose 0 = -b - w*b - 240. Let g = 106 + b. Does 23 divide g?
True
Let l(y) be the first derivative of -1/4*y**4 + 35 + 3*y**2 - 11/3*y**3 + 18*y. Does 15 divide l(-12)?
True
Let j(c) = 5*c**2 + c - 8. Let w be j(2). Suppose w*p - 13*p = 514. Does 46 divide p?
False
Let m be -4*(-2)/44 + (-3264)/44. Let w be (63/12)/(2 + (-38)/16). Is (w/6)/(m/72 + 1) a multiple of 22?
False
Let m be 4/(-14) + 1936/14. Suppose -49 = -3*b - 22. Let r = m - b. Is 15 a factor of r?
False
Let c(s) = -12*s + 3344. Does 5 divide c(-13)?
True
Let y = 7 - 23. Let n be 3 + 4/(y/(-237))*4. Suppose 2*a + 0*a = n. Is 21 a factor of a?
False
Suppose 2*c = 3*r + 5, 2*c + 1 - 10 = -r. Suppose 20 = 2*w - 6*w, -4*w + 264 = c*m. Does 9 divide m?
False
Suppose 1 = 7*z - 34. Suppose z*p - p = 276. Is 12 a factor of p?
False
Suppose -20*t - 3268 = -22*t + d, -4*t - d + 6524 = 0. Is 15 a factor of t?
False
Let f(i) = i**2 + 5*i - 48. Let a(o) = 13*o - 10. Let y be a(2). Is f(y) a multiple of 18?
True
Suppose 6*w - w - 65 = 0. Let d(m) = -2 - 2263*m - 1 - 11 + 2266*m + 2. Is 17 a factor of d(w)?
False
Suppose 24849 = 11*b - 28633. Is b a multiple of 5?
False
Suppose -2*j = 4*m - 10984, 0 = -4*m - 28*j + 34*j + 10968. Is m a multiple of 15?
True
Let c be (-4)/(24/(-42)) - 3. Suppose c*u - 120 = 336. Does 19 divide u?
True
Let s(h) = h**3 - h**2 - 5*h - 10. Let c be s(-2). Does 4 divide (c/(-15))/(6/1395)?
False
Let m(x) be the third derivative of 127*x**4/24 + x**3/6 - 18*x**2. Let r be m(2). Suppose 4*p + 17 = -2*c + r, -107 = -c + 4*p. Does 23 divide c?
True
Let x(i) = -11*i**2 + i + 12. Let r be x(4). Let t = r - -220. Is t a multiple of 30?
True
Let d be 1*2/(-8) + (-14)/8. Let t be (62 - d)/((16/6)/4). Suppose -6*x + 8*x = t. Is 6 a factor of x?
True
Let r(k) = 2*k - 3*k**2 - k**2 + 251 - 325 + 5*k**2. Is r(-12) a multiple of 23?
True
Let z be (37/(-2))/((-3)/6). Let h = 43 - z. Suppose -h = 3*k, -3*k - 18 + 732 = 3*a. Is 30 a factor of a?
True
Let l(o) = o - 9. Let u be l(5). Let d(y) = 5*y**2 + 11*y + 4. Is d(u) a multiple of 8?
True
Suppose -4*l = -3*u + 27651, -11*l + 3762 = 5*u - 42323. Is u a multiple of 8?
False
Suppose 5*h = -57 - 18. Let q(l) = 19 - 108*l + 21 - 15 + 109*l. Is q(h) a multiple of 10?
True
Let i(k) = -88*k**3 + 2*k**2 + 3*k - 2. Suppose g = 26*g + 50. Is i(g) a multiple of 64?
True
Let d(l) = 25*l + 131. Let h be d(-5). Suppose 1091 = h*g - 1405. Is g a multiple of 13?
True
Suppose -3559 = -10*b + 3110 + 5201. Is b a multiple of 16?
False
Let j(q) = 6*q**2 + 19*q + 35. Let h be j(-14). Let x = 1691 - h. Is 44 a factor of x?
False
Let g = 11339 - 10307. Is g a multiple of 3?
True
Suppose 0 = -3*x + 4*z - 296, -199 - 102 = 3*x + z. Is 6 a factor of -4*x/16 - 1?
True
Let n(h) = 8*h**3 + 11*h**2 + 44*h - 207. Is n(6) a multiple of 5?
False
Suppose 2*a + 36 = 6*a. Suppose -4*v = -7 + 3. Does 3 divide a - (1/(v/(-3)) + 2)?
False
Let r be (-3582)/22 + (-30)/165. Let n = -109 - r. Is n a multiple of 7?
False
Is 121 a factor of (539/196)/((-3)/(-12672)*3)?
True
Let p(o) = o**2 - 30*o + 50. Let n be p(26). Let h = n + 117. Is h a multiple of 9?
True
Suppose 2*h - 2522 = 2*f + 1820, -h + 3*f + 2179 = 0. Suppose 5*o - 1458 = h. Does 13 divide o?
False
Suppose 40 = 2*v + 5*f - 10*f, 4*v + 3*f = 28. Suppose v*r - 12989 = -1089. Is r a multiple of 85?
True
Let z(j) = 23*j**2 - 2*j - 4. Let m be -3 + 4 + -4 - -6. Let n be z(m). Suppose -3*c - 5*f - 57 = -n, -f - 89 = -2*c. Is c a multiple of 9?
True
Suppose 2*l + 5*p + 46 = 0, 5*p = -l - 34 + 6. Is 8 a factor of 1*723*(-6)/l - 1?
True
Let l = 84 - 28. Suppose -1369 