02*b + 16324 = -4*w, 3*w - 12249 = -3*b. Is b even?
True
Let h = -7493 - -15431. Is h a multiple of 21?
True
Suppose -2*g + 10 = o, g + 0*g - 5*o = -6. Suppose 5*p - 32 + 7 = 0, j - 29 = -g*p. Suppose -7*q - 74 = -j*q. Is 11 a factor of q?
False
Let j(n) = -n**2 + 5*n - 4. Let q be j(4). Suppose -3*m + 2*u = -4, -5*m - u - u + 12 = q. Does 37 divide (2266/33)/(m/6)?
False
Let n(y) = 13*y - 83. Let t be n(7). Is 50 a factor of (-2)/(t/300)*60/(-18)?
True
Let g(d) = 27*d - 136. Let s be g(11). Let p = -11 + s. Is p a multiple of 10?
True
Let q = -43 - -48. Suppose q*o = -o + 3*o. Suppose -p + 72 = -o*p. Does 9 divide p?
True
Let p(i) be the first derivative of -12*i**2 + 2*i - 4. Let h(j) = -j - 1. Let l(o) = 3*h(o) - p(o). Does 46 divide l(9)?
True
Suppose -74 - 1086 = -4*f. Let u = f + 348. Does 24 divide u?
False
Let k be 1/(-2)*-4 + 20. Let q = k - 24. Is 19 a factor of q/7 + 12210/105?
False
Suppose -1089 = 3*p - 36*p. Is p a multiple of 11?
True
Suppose 0 = -6*g + 11*g - 5*c + 25, 3*c - 15 = 0. Is 11 a factor of g - (-12970)/9 - (-6)/(-54)?
True
Let z = 16684 - 8863. Is 10 a factor of z?
False
Let a(o) = 2261*o**2 - 40*o + 135. Does 148 divide a(4)?
False
Let v = -46 + 111. Let r = 3152 + -3107. Let l = v - r. Is l a multiple of 10?
True
Let h be 0 - (1/(-2))/(6/60). Suppose -3*y - 621 = -8*z + h*z, -4*z - 5*y + 846 = 0. Does 11 divide z?
True
Suppose -12190 = -5*n - 2*l + 7803, 4*n - 15976 = 3*l. Is 34 a factor of n?
False
Let b(m) = 1800*m**2 + 25*m - 84. Does 54 divide b(3)?
False
Does 8 divide 7 + 2 + -3 - (-63)/14*612?
True
Suppose 222*m - 224*m + 10 = 0. Suppose -4*y + 4*s = -1232, 0*y - 5*s = m*y - 1490. Does 52 divide y?
False
Suppose 2 = -0*m - 2*m. Let h be m + 5 - (-62 + -1). Let f = h + 49. Is f a multiple of 31?
False
Suppose 10*a = -44 + 104. Suppose 520 = a*n - 140. Does 5 divide n?
True
Let a = 10 + -5. Let v(f) be the second derivative of f**4/4 - 3*f**3/2 + 7*f**2 + 9*f. Is 11 a factor of v(a)?
True
Suppose -567*o + 9010 = -584*o. Let h(t) = -37*t**2 + 4*t + 1. Let w be h(3). Let n = w - o. Does 14 divide n?
True
Let v be 1 + 255 + 4 - (-1 - -2). Suppose -4*r - y = -2*y - 334, 3*r - v = 5*y. Suppose 37 = 4*p + 3*q - r, -5*p = -4*q - 181. Does 7 divide p?
False
Let z = -48 + 56. Is ((-4)/10*z)/(1/(-15)) a multiple of 5?
False
Let w(c) = -2*c + 3*c + 109*c**3 + 3 + 35*c**3 - 4*c**2. Is w(1) a multiple of 9?
True
Let n(f) = 80*f - 2088. Is n(57) a multiple of 10?
False
Suppose -2*l - 4*v + 47 = -1015, -5*v + 2655 = 5*l. Is 3 a factor of l?
True
Let y = -82 - -54. Let n = y + -5. Let t = 31 - n. Is 4 a factor of t?
True
Suppose 3*b - 2*q = -0*b - 1460, -b - 478 = -5*q. Let p = 760 + b. Is p a multiple of 68?
True
Let h be (-660)/(-15)*((-2)/4)/(-1). Let g(f) = 40*f - h*f - 13*f. Is g(15) a multiple of 15?
True
Suppose 5*b + 18 = 4*m + 3*b, 4*b = -12. Suppose 5*z + 3*q - 937 = 0, 5*z - m*q - 933 = 10. Is 78 a factor of z?
False
Let h be (-200)/15*((-3)/(-8) + 81/72). Suppose 4*w + 265 = 1. Is (h/(-3))/(-2 + (-134)/w) a multiple of 22?
True
Let v(w) = -w**2 + 15*w + 6. Let m be v(12). Let g = 44 - m. Suppose -3*o = -g*o - 60. Is 17 a factor of o?
False
Let u = -35233 + 50317. Is u a multiple of 18?
True
Suppose -10*v + 15*v = 15. Suppose 3*j = v*s + 4*j - 289, -j = 5. Let y = 212 - s. Does 6 divide y?
True
Let s = 3834 - 1179. Is s a multiple of 4?
False
Let w(q) = 68*q**2 + 8*q - 19. Suppose 7*h = 203 - 175. Is 24 a factor of w(h)?
False
Let i = 269 + -340. Let s = 82 - i. Does 17 divide s?
True
Let p(z) = -15*z - 99. Let x be p(-7). Is 17 a factor of (4/x)/(10204/1020 - 10)?
True
Let p be 0 - ((-14 - -3) + 3 + 0). Let n(t) = -5*t + 55. Is n(p) a multiple of 5?
True
Suppose 0 = -10*z + 132*z - 51340 - 424826. Is 95 a factor of z?
False
Let l = 37269 - 17871. Is l a multiple of 108?
False
Let b = 180 - 177. Suppose 5*o - b*m - 45 = 4, 5*m = o - 1. Does 11 divide o?
True
Let r = 2260 - 3477. Let o = 1720 + r. Is o a multiple of 13?
False
Let u be 2/(-8) - (-1 + (-9)/4). Suppose 0 = 2*v - 4*h - 108, 3*v - 111 = -u*h + 87. Is v a multiple of 2?
True
Let f be (-8)/((-3 - (-20)/6)*-6). Suppose 12*l = f*l + 32. Suppose 0 = -l*t + 16, -3*o + 466 = 2*t + 14. Is o a multiple of 37?
True
Suppose 2*x + 4*z = 374, 216*x - 4*z = 212*x + 688. Is x a multiple of 26?
False
Suppose -3*j - 241*g + 1539 = -244*g, 3*j = 4*g + 1542. Is j a multiple of 6?
True
Let m = 16389 - 2557. Is 56 a factor of m?
True
Suppose -n = n - 4. Suppose -22*s + 27*s = 10. Suppose 4*j = p + n*p + 654, -p = s*j - 332. Is j a multiple of 17?
False
Let z(g) = 195*g**2 + 64*g - 361. Is 16 a factor of z(8)?
False
Let n be ((-12)/18)/(-1 + (-22)/(-18)). Let i be 5*4/30 - 16/n. Suppose 0 = i*c - 254 + 80. Does 6 divide c?
False
Let t(w) = -w**2 + 10*w - 13. Let x be t(7). Suppose x*u - 10 = 3*u, 2*g = -5*u + 58. Does 5 divide g?
False
Let k = 8735 - 8308. Is k a multiple of 4?
False
Let k = -23 - -123. Suppose 2*x = 10, 0 = 2*p + p + 5*x - k. Is 8 a factor of 130/4 - (3 - p/10)?
True
Suppose 0 = -2*j - 4*x + 9362, -j + 4*j = -5*x + 14040. Does 55 divide j?
True
Let r = 1262 - 2805. Let j = r + 2207. Is 48 a factor of j?
False
Let s be (-46)/7 + 63/(-147). Let d be -4*s/(-4)*-1. Suppose 4*a = -3*w + 18, -5*a - 2*w + d + 19 = 0. Is 6 a factor of a?
True
Let m(f) be the third derivative of f**5/5 - 13*f**4/24 + 5*f**3/3 - 4*f**2. Is 5 a factor of m(4)?
True
Suppose -20 = 5*z - 5*u, 5*z = -8*u + 12*u - 23. Let i(t) = 14*t**2 - 97*t + 2. Does 15 divide i(z)?
False
Suppose 2*u = -5*q + 13, 4*u + q + 19 = 9*u. Is 0/36 - (-64 - (-2 + u)) a multiple of 7?
False
Let z(x) = x**2 - 34*x + 4715. Is 25 a factor of z(0)?
False
Let q(h) = -h**3 + 16*h**2 + 26*h - 34. Suppose y = 5*a - 84, y + 37 - 4 = 2*a. Is q(a) a multiple of 20?
False
Is ((-45612)/(-30))/((3/25)/((-6)/(-15))) a multiple of 7?
True
Let l = -5016 - -2100. Is 53 a factor of 10/((-240)/l)*(-8)/(-6)?
False
Let j(w) = -2*w**2 + 9*w + 40. Let g be j(7). Suppose 2*x + g*d = 123, 0 = 4*d + 4. Does 8 divide x?
True
Let r = -6 - -9. Suppose 0 = 2*l - y - 638, 247 - 1203 = -r*l + 2*y. Is l a multiple of 7?
False
Let d be 45/(-900) + 1041/20. Suppose 0 = -3*a - 3 + 138. Suppose -n = t - a, -2*n - 4*t + 48 = -d. Is 5 a factor of n?
True
Let z(b) = 22*b**2 + 6*b + 186. Is 17 a factor of z(-9)?
False
Let l = 12553 + -12295. Does 52 divide l?
False
Suppose 27*o - 7295 = 22*o. Let s = o - 692. Is 10 a factor of s?
False
Let s(r) = 16*r - 11. Let m(y) = -y**3 - 8*y**2 + 10*y + 10. Let k be m(-9). Let d be s(k). Suppose 3*v + d*i - 175 = 0, -8 = 5*i - 3. Is 9 a factor of v?
False
Let p(t) = -11*t**2 + 3*t - 2. Let r be p(6). Let s be (-82)/492 - (-7)/6. Is 21 a factor of s/(5*(-2)/r)?
False
Let q be (-4)/((-3)/(18/(-4))). Let t(u) = 3*u**2 - 25*u + 11. Let z be t(8). Is (z*15/q)/(5/(-40)) a multiple of 24?
False
Let n(i) = 11*i - 45. Let u(z) = 7*z - 30. Let f(y) = -5*n(y) + 8*u(y). Let w be f(18). Suppose -3*o - 162 = -b - 4*b, o + 94 = w*b. Is 10 a factor of b?
True
Suppose 9*d = 6*d + 624. Let a = 1090 - d. Is a a multiple of 61?
False
Suppose 2*k + 3*p - 9508 = 0, k - 4752 = 18*p - 20*p. Is k a multiple of 17?
True
Suppose -4*y - 39 + 11 = 3*v, 3*y - 3*v = 0. Does 53 divide 4671/12 - ((-3)/y)/(-1)?
False
Suppose p + 80 = 6*p. Suppose 0 = p*g - 9*g + 455. Is 25 a factor of (1*5)/((-13)/g)?
True
Suppose 45*d - 44*d + 2307060 = 316*d. Is d a multiple of 137?
False
Suppose 30 = 4*m + 3*c, -5*c + 5 - 19 = -4*m. Suppose -m*j + 5*j + 95 = 3*i, -1 = -i. Does 2 divide j?
True
Let a(u) = 0 - 4*u**2 + 1 - 48*u**3 + 47*u**3 + u. Let r be a(-4). Let j(l) = l**2 + 2*l + 6. Does 3 divide j(r)?
True
Let x be 5 + 130/(-25) + 1612/10. Let f = 114 - x. Does 28 divide f/(-2 + (2 - 1))?
False
Suppose 241*m = 614916 + 299679. Is 11 a factor of m?
True
Let w(g) = 198*g + 168. Is w(28) a multiple of 102?
True
Let n be -1 + (-75)/(-6) + 4/8. Suppose n*f - 19*f = -35. Suppose f*y - 239 = t, t + 24 = -y + 73. Is y a multiple of 24?
True
Suppose 52806 = 61*o - 368216. Is 17 a factor of o?
True
Let c be 14/(-2)*(-3)/21. Suppose 0 = 2*o - p + c, -5*p + 0*p = -o - 23. Suppose 6*r = -o*r + 1560. Is 15 a factor of r?
True
Suppose 5*m = -15, -4*n - 3*m + 32 = -7*m. Suppose n*q - 523 = 57. Suppose 4*g - q = 2*g. Is 29 a factor of g?
True
Let z = -960 + 1518. Is z a m