d. Is 17 a factor of b?
True
Let c = 472 + -458. Suppose c*l - 12840 = 1440. Is 34 a factor of l?
True
Suppose -j + 5*z + 16462 = 0, -5*j + 46602 = -5*z - 35648. Is 58 a factor of j?
False
Suppose -3*j - 2*l = -16, -5*j + 5*l + 52 = 2*l. Let o(g) = 2*g + 16. Let z be o(j). Is 19 a factor of 2 + z/(-14) - (-6696)/63?
False
Let b = -553 - -896. Does 49 divide (b/(-2) + 2)*(-6 + 4)?
False
Suppose -2*z + 39310 = 2*c - 20788, 5*z + c = 150273. Is 13 a factor of z?
True
Let y = -22 + 33. Is 367 - (y + -2 + -4) a multiple of 24?
False
Let u = 0 - 8. Let z be (-1 + 0)/(u/184). Suppose -z*s + 1536 = -7*s. Does 12 divide s?
True
Let x = 149 + 386. Let l = x + -220. Suppose -3*h - 60 = -l. Does 17 divide h?
True
Does 21 divide -561*(-305)/45*3?
False
Let q = -41 - -43. Suppose 3*j + 3 = -q*d + 10, 2*j - 2 = -4*d. Suppose -3*y = -2*a + 3*a - 45, -j*a = 2*y - 128. Is 14 a factor of a?
True
Let y(l) = 7*l**2 + 17*l - 50. Let x(b) = -4*b**2. Let i(t) = -2*x(t) - y(t). Is i(16) a multiple of 2?
True
Suppose -2*o + 2*q - 4 = -6*o, 2*o = -5*q + 2. Let t(u) = 33*u**2 - 3*u + 4. Let l be t(o). Suppose -4*s + l = -98. Is s a multiple of 8?
False
Suppose 3*s = -2*u + 5190, 2*s - 586 + 3167 = u. Is 8 a factor of u?
False
Let u = -9483 + 15810. Is 13 a factor of u?
False
Suppose -4*i + 0*v = -3*v - 2049, -3*i + 3*v = -1533. Let c(l) = l**2 + 75*l + 219. Let t be c(-72). Suppose -t*n = 3*n - i. Is 12 a factor of n?
False
Suppose -22*x + 9962 = -43894. Does 34 divide x?
True
Let g(y) be the third derivative of -3*y**4/8 + 2*y**3 + 22*y**2. Does 14 divide g(-22)?
True
Let b = 804 - 437. Let q = b + -279. Is 30 a factor of q?
False
Let g = 36707 + -20427. Is g a multiple of 10?
True
Does 23 divide 4/(-2) + 20 + (20 - -17994)?
True
Is 1016/(-381)*(1 + -973) a multiple of 8?
True
Suppose 11909*p = 11897*p + 91956. Is p a multiple of 135?
False
Let l(y) = 11*y - 85. Let n be l(15). Suppose -n*r + 81*r - 301 = 0. Is r a multiple of 7?
True
Let f = 64 - 79. Let m = f - -14. Is (2 + -95)/(-2 - m) a multiple of 36?
False
Suppose -222*v = -212*v - 1080. Suppose -2*a + 868 = -v. Does 7 divide a?
False
Let m be ((-16)/(-4))/(28/5474). Let p = 1008 - m. Is p a multiple of 2?
True
Let p(l) = -287*l - 4216. Is p(-26) a multiple of 120?
False
Suppose -463*o + 466*o - 2*x = 2835, 0 = 3*o - 5*x - 2844. Is o a multiple of 3?
False
Suppose 4*g - 1088 = -o, 0 = 5*o + 5*g - 1226 - 4274. Is 16 a factor of o?
True
Let z be 171/15 + (-12)/30. Suppose -2*o + 5*w + 414 = 0, -z*o = -9*o + w - 438. Is o a multiple of 7?
True
Suppose 0 = -3*i - 4*w + 108 + 3, 0 = 5*i - w - 185. Let u = 138 - i. Suppose -3*r - 4*k = -42, 0 = 4*r - 4*k + 17 - u. Is r a multiple of 4?
False
Suppose 3*p + 246 = h, 8*h - 5*p = 7*h + 240. Suppose -3*i - 2*k = -7*k + 1, 0 = k - 2. Suppose -2*x + h = i*x. Does 17 divide x?
True
Let w be (-10)/(120/(-6)) - (-1)/(-2). Suppose 46*l - 39*l - 931 = w. Is l a multiple of 7?
True
Let z be (-6)/(-27)*-3 - (-4)/6. Let h be -2 + 1/1 - -6. Suppose 9*n - h*n - 76 = z. Does 6 divide n?
False
Suppose -y + 2*z + 62 = 6*z, -2*y + 3*z + 80 = 0. Let d = y + -32. Is d a multiple of 3?
False
Suppose -21*d - 8013 = -24*d + 3*v, 0 = -4*d + 5*v + 10681. Is 8 a factor of d?
False
Let h = -2338 + 4588. Suppose 0 = -136*p + 145*p - h. Does 10 divide p?
True
Let b = 141 - 55. Let u = b - -171. Does 8 divide u?
False
Let k be (-84)/9*9/(-6). Let m be ((4 - 10) + 18)*(0 - -1). Suppose -k*x + 32 = -m*x. Does 7 divide x?
False
Suppose -5*g - i = -11162, 0 = -2*g + 2*i - i + 4462. Does 93 divide g?
True
Let r be ((-3)/2)/(13/(-9750)*9). Suppose c = -0*h + 3*h - 12, c = 0. Suppose -5*z - 2*m = -125, h*m - 2*m = 5*z - r. Is z even?
False
Does 61 divide (366/(-5))/(8424/5655 - (-6)/(-4))?
True
Suppose 2*o - 7*o + 11 = 4*g, 4*o + 24 = 5*g. Suppose -g*m - 8472 = -5*h, m - 4364 - 2422 = -4*h. Is 106 a factor of h?
True
Let w(t) = t**3 + 38*t**2 - 248*t - 53. Is 72 a factor of w(-43)?
False
Suppose -h + 668 = 203. Suppose 3*w + 740 = 5*k - 35, h = 3*k + w. Suppose -f + k = 2*z, 0*z - 5*f = 5*z - 380. Is 12 a factor of z?
False
Suppose 69 - 127 = -c. Suppose 6*k + 6 = 4*k, 4*k = -g + c. Is g a multiple of 10?
True
Let b(c) = -86*c + 38. Suppose 5*u - p = -35, 2*p - 7 = u + 6*p. Let h be b(u). Suppose 9*d = 4*d + h. Is d a multiple of 16?
True
Let f(r) = -5*r**3 + r**2 + 3*r + 1. Let l be f(6). Let m = l - -1672. Is 12 a factor of m?
False
Let x(o) = 64*o - 246. Let d be x(20). Let i = -746 + d. Is 9 a factor of i?
True
Suppose 2*v - 24 = -18. Let c(a) = 4*a**2 + 2. Let w be c(v). Suppose 0 = 5*k - w - 52. Does 18 divide k?
True
Let q = 468 + -345. Is (15*-5)/((-41)/q) a multiple of 10?
False
Let y be (-5800)/(-1624) - -4*(-2)/14. Suppose -y*k - 935 = 5*q - 7*q, 4*k = -20. Is 10 a factor of q?
True
Suppose -8*q + 9*q = 2*i - 2235, 5*i + 2*q - 5610 = 0. Suppose -2*h - 5*x + 565 = -6*x, -4*h = -4*x - i. Is 24 a factor of h?
False
Is (59934/(-28))/(12/(-16))*66/4 a multiple of 98?
False
Let h = 273 - 265. Is 4 a factor of (h*1 - (10 - 7)) + 75?
True
Let o = -6 + 4. Let b be (o - 13)/5 - (-229 + 1). Suppose -5*h - b = -5*l, -4*h = h. Is l a multiple of 9?
True
Let w be 2 - (7 + (-9 - -2)). Suppose 430 = w*d + 322. Is d a multiple of 18?
True
Let v(i) = i**3 + 6*i**2 + 5*i + 17. Let c be v(-5). Suppose c*r - 20*r = 0. Suppose -5*g + 370 = p - 119, r = -3*g - 4*p + 290. Is g a multiple of 14?
True
Does 12 divide (-3)/(-6)*14862 + (51 - 46)?
False
Let p(o) = -23*o - 15*o**3 + 10 + 25*o + 8*o**2 + 14*o**3. Does 22 divide p(-6)?
False
Suppose 10*c + 3802 = 11*c + 3*d, -2*c + 2*d + 7556 = 0. Does 164 divide c?
False
Let i(h) = 42*h + 3. Let s be i(1). Is 20/s*3*96 a multiple of 8?
True
Let q = -1 - 65. Let u = q + 480. Does 9 divide u?
True
Let h(d) = d**2 - 9*d + 12. Let o be h(8). Suppose -4*c - 7 = -3*i + 6*i, 2*c = o*i + 24. Suppose -6*b + 464 = c*y - 4*b, b + 1130 = 5*y. Is y a multiple of 13?
False
Let p(o) = -7*o**2 - 1. Let m be p(3). Let r = -153 - -245. Let s = r + m. Is s a multiple of 14?
True
Let r = 62 + -12. Let o = r + -50. Suppose 18 = t - o*t. Is t a multiple of 18?
True
Suppose -40 = -5*i - 10. Let a(b) = -b + 12. Let r be a(i). Suppose -48 = -r*j + 5*j. Does 11 divide j?
False
Suppose -75869 = 112*y - 262125. Does 10 divide y?
False
Suppose 5*b - 20 = -0*b. Let w(j) = -j**3 + j + j**2 + 16 + 19 - b + 17. Is w(0) a multiple of 6?
True
Suppose 5*o - 1280 = -11*o. Suppose o*h - 82*h + 1530 = 0. Does 45 divide h?
True
Let i be (-12)/(3/1) + (1 - -3). Suppose -v + 83 = -2*b - 94, i = -4*b - 4. Is 5 a factor of v?
True
Let b = 188 + -188. Suppose 528 = 4*s + 3*a, b = s + 7*a - 3*a - 119. Is 15 a factor of s?
True
Suppose 4*r + y = 22395, -5*r + 31*y + 28005 = 36*y. Is r a multiple of 18?
True
Suppose 13017 - 49611 = -9*c. Does 32 divide c?
False
Let c = 1235 + 469. Is c a multiple of 6?
True
Let j(p) = p**2 - 24*p + 4. Let z be j(6). Let k = 109 + z. Does 7 divide 41 + -1 + k/(-1)?
True
Suppose 3*b - 6*l = -3*l - 36, -5*b + 3*l - 52 = 0. Let a be (52/4)/((2/b)/(-1)). Suppose -35*p = -33*p - a. Is p a multiple of 13?
True
Let h(w) be the third derivative of 2*w**5/3 - w**4/24 + w**3/6 - 20*w**2. Is 26 a factor of h(-3)?
True
Let m(v) = v**2 - v. Let d be m(-3). Suppose 7*a + 305 = d*a. Suppose 0*g + l + a = g, 0 = -2*g + 5*l + 107. Does 6 divide g?
True
Suppose 0 = 2*p + g - 6581, -80*p - 2*g + 6584 = -78*p. Is p a multiple of 11?
True
Suppose 0 = -2*d - l - 15, 4*d - 6*l + 25 = -7*l. Is ((2/d)/1)/((-9)/945) a multiple of 7?
True
Let w(u) = -97*u + 57. Let a be w(-19). Suppose 11*n - a = -85. Does 15 divide n?
True
Let i(l) = l**2 + 6*l - 12. Let o be i(-12). Let h = -46 + o. Is 7 a factor of (-48)/(-7) + 2/h?
True
Let v(b) = 44*b + 4. Let q be v(3). Let x be ((-48)/(-60))/(10/1725). Does 17 divide ((-10)/(-8))/(-1 + x/q)?
True
Let l(w) = w**2 - 6*w + 16. Let n be l(4). Let y(q) = 46*q - 185. Is 21 a factor of y(n)?
False
Suppose -2*r - 2*r = -364. Let x = 22 + r. Does 6 divide x + (-5 + 2 - 2)?
True
Let z = 386 + 140. Suppose -488*p = -490*p + z. Is p a multiple of 17?
False
Suppose -3*m = 4*p + 2*m - 15, 0 = p + 5*m. Suppose -p*r + 3 = -z - z, -3*r = -3*z. Let d(k) = 123*k**3 + k**2 - k + 1. Is d(r) a multiple of 31?
True
Let r(a) = 4*a**2 + 7*a - 24. Let f(t) = -18*t + 208. Let y be f(12). Does 12 divi