 (3 + -1534) a multiple of 2?
False
Let d be -3 + (-4)/((-4)/3). Let w be (6/(-12))/((-1 - d)/50). Suppose 0 = -2*h + y + w, -5*y - 13 = -2*h + 16. Is 12 a factor of h?
True
Does 5 divide (-41 - (53 - 36))/((-1)/242)?
False
Let s be ((-71368)/66)/((-8)/(-6) - 2). Suppose 0 = 5*p + 192 - s. Does 13 divide p?
True
Let d be 11/(-4) + (-27)/108. Let o be (d/2)/((-10)/20)*-1. Let k(y) = 17*y**2 + 5*y + 3. Does 8 divide k(o)?
False
Let d be 4 + -52 + (2 - (3 - 4)). Let q = 52 + d. Suppose -1 = 3*p - q, 3*y = 3*p + 456. Is 14 a factor of y?
True
Let g be (2 + (-5)/2)/(4/(-16)). Does 43 divide -1 + 3/g + 2199/6?
False
Suppose 3*y - 76 - 60 = 4*i, 2*i = 4. Let q be (-3)/(-4) + 108/y. Suppose 4*s = 2*m + 306 + 656, q*s - 738 = -4*m. Does 11 divide s?
True
Suppose 161414 - 8907 = 9*k + 23609. Is k a multiple of 231?
True
Let p be ((60/3)/4)/1. Suppose -3*a + p*b = -184, a = 4*b + b + 68. Is 14 a factor of a?
False
Let p(h) = h. Let i(d) = -22*d + 2. Let a be (-15)/(-6)*(-6)/15. Let z(s) = a*i(s) + 10*p(s). Does 10 divide z(1)?
True
Let p be 26/143 + (-75)/(-11). Suppose -p*o + 3*o + 1608 = 0. Suppose 3*l - o = -75. Is 17 a factor of l?
False
Let d = -2277 - -5967. Does 9 divide d?
True
Suppose 4*u = -o - 13, -7 - 5 = 4*u. Does 4 divide (o - (-2)/3)/((-41)/984)?
True
Is 15/(2560/22716 + 34/(-306)) a multiple of 12?
False
Let y = 5206 - -8806. Is 113 a factor of y?
True
Let i = -189 - -144. Is 24 a factor of 324/i*(-40)/3?
True
Let u be 156 - -1 - (-6 - -10). Is 24/(-80) - u/(-10) a multiple of 15?
True
Let i be 3 - (1/1)/(-1). Suppose 0 = y + 3, -5*f + 3*y + 621 = -i*f. Does 17 divide f?
True
Suppose -1 + 3 = q. Let w(p) = p**3 + 13*p**2 - 13*p + 14. Let g be w(-14). Suppose q*k - 88 = -g. Does 22 divide k?
True
Let z = 139 + -899. Let h = -520 - z. Does 20 divide h?
True
Let u(n) = -2*n**3 + n**2 + n. Let z be u(-2). Let v = z + -15. Does 21 divide 143 - (-1 - 0) - v?
False
Let o be 6/(-12)*(-10 + 100). Let u(b) = -b**2 - 49*b + 39. Is u(o) a multiple of 21?
False
Let i(l) = 3*l**2 - 22*l + 101. Does 74 divide i(11)?
True
Let r(i) = 2*i**2 + 10*i - 72. Let x(m) = -17*m**2 - 7*m + 5. Let t be x(1). Is 46 a factor of r(t)?
True
Suppose 3*s - 15 = -m, -s = 4*s + 3*m - 29. Suppose q = -w + 103, s*w + 0*q = q + 437. Is 12 a factor of w?
True
Suppose 9*c - 4*c - 25 = 0, 23021 = 4*l + 5*c. Is 69 a factor of l?
False
Let l(q) = -18*q**3 + 3*q**2 + 10*q + 7. Let s be l(-1). Does 27 divide (-10968)/(-14) - ((-216)/(-28))/s?
True
Suppose 5*g = -4*o + 368, 0 = -11*g + 15*g. Suppose 2*x = 0, 4*d + 4*x - 2*x = o. Is d a multiple of 15?
False
Let a = -10032 + 13340. Is 10 a factor of a?
False
Suppose 0 = c - 2 - 1. Suppose c*u - 6 = 9, -3*l - 132 = -3*u. Let a = l - -72. Does 14 divide a?
False
Let i = -50273 - -82025. Is i a multiple of 21?
True
Let q(y) = 403*y**2 + 12*y + 180. Is 37 a factor of q(5)?
False
Let r = -31 - -19. Let z be r/(-10)*5*3/6. Suppose 17 = z*v - 103. Is 18 a factor of v?
False
Let b = -1628 - -1974. Is b a multiple of 18?
False
Suppose c - 8*c = -3136. Suppose -c = -3*z + 608. Suppose -3*q + z = 5*q. Does 44 divide q?
True
Suppose 2*i + 8 = g + 1, i + 5 = 2*g. Let b(z) = z**2 - 4. Let s be b(i). Suppose -s*t + 41 = -t + 5*n, 2*t + 3*n - 23 = 0. Does 3 divide t?
False
Suppose 33*s + 655 = 32*s. Let d = -462 - s. Does 15 divide d?
False
Suppose -5*h = 5*d - 550, -h - 3*d = -41 - 63. Let u(q) = -4 + h*q - 123*q + 11 - q**2. Does 9 divide u(-8)?
False
Suppose -68*q - 2*k - 14094 = -70*q, -4*k + 12 = 0. Is q a multiple of 75?
True
Let q(o) = -25*o - 2. Let h be q(2). Let w = h - -55. Suppose -w*a + 100 = 4*m + 38, a + 54 = 4*m. Is m a multiple of 4?
False
Suppose 0*b - 1812 = -3*b. Let q = b - 565. Is q a multiple of 3?
True
Suppose -18*a - 1356 = -16008. Let s = -443 + a. Is s a multiple of 7?
True
Let h be ((-2172)/18)/(-2 + 4/3). Let j = h + 7. Is j a multiple of 23?
False
Let j = -4 - -7. Let w(u) = 6*u**3 - 84 - 37*u**j - 2*u + 83. Is w(-1) a multiple of 8?
True
Let p = 129 - 125. Suppose 5*b = -4*s + 2208, s - 3*s + 1770 = p*b. Is b a multiple of 32?
False
Let g(r) = 10*r + 16. Let x(j) = 7*j + 11. Let m(n) = 5*g(n) - 7*x(n). Let q be m(1). Suppose 3*h = v - 4*v + 273, q*h = -3*v + 268. Is 16 a factor of v?
True
Let l = -84 + 87. Let y = 30 - l. Let h = 10 + y. Is 6 a factor of h?
False
Let v = -116 + 195. Suppose v + 89 = 2*w + 3*k, 0 = 4*w - 4*k - 376. Is w a multiple of 10?
True
Let q be (-7)/(-35)*-1 - (-32)/10. Let p be 9*q/9 + (0 - 0). Let z = 36 - p. Is z a multiple of 3?
True
Suppose 5*z = -20, -4*m + 3*z + 8 + 4 = 0. Suppose 3*h - 49 = -0*g - g, m = 4*h. Is g a multiple of 49?
True
Let i(f) = 2*f**2 + 38*f + 200. Is i(17) a multiple of 17?
False
Let p = -129 - -143. Suppose -p*z - 301 = 49. Let s = z + 67. Does 7 divide s?
True
Suppose 5*x - 898 = -3*a, 5*a = -0*x - 3*x + 542. Let z = -266 + x. Let u = z - -135. Is 13 a factor of u?
False
Let h(a) = a**3 + 9*a**2 - 10*a + 1. Let k be h(-9). Suppose -2*b + 571 = k. Does 16 divide b?
True
Let s(z) = -229 + 127 - 11*z + 123. Is s(-8) a multiple of 8?
False
Suppose 3*q + 9 = -4*l - 8, 2*l = 5*q + 11. Suppose 6*p - 26 = -14. Is 14 a factor of 40 - (p/(-5))/(q/(-15))?
True
Suppose -n + 6 - 34 = -5*x, 5*n - 22 = -2*x. Is ((-1)/(x/440))/((-12)/90) a multiple of 50?
True
Let u(a) = -a + 4. Let v be 72/33 + 14/(-77). Let l be u(v). Suppose l*r = 4*r - 36. Does 9 divide r?
True
Let p(a) = -a**3 + 37*a**2 - 129*a - 19. Is p(33) a multiple of 4?
True
Let a = 11672 - 8000. Is 68 a factor of a?
True
Let a(l) be the first derivative of 3*l**4/2 - l**3/3 - 2*l**2 + 8. Is a(5) a multiple of 46?
False
Let u be (-14)/(-63) + 158/18. Suppose -u*i - 119 - 205 = 0. Let t = i + 65. Is 2 a factor of t?
False
Let d(u) = -9*u**2 + 170*u + 26. Let t be d(19). Let n be 10 + (-4)/(-4 - -2). Suppose t*k - 8*k = -n. Does 6 divide k?
True
Let a(l) = 2*l**2 + 31*l - 49. Let b be a(-17). Suppose -38*o - 2345 = -43*o - c, 0 = 5*o + b*c - 2350. Is 9 a factor of o?
True
Suppose 0 = 2*u + 5*m, 0 = 5*u - 2*m + 20 + 9. Let t(a) = 33*a**2 + 11*a + 19. Is 35 a factor of t(u)?
False
Let h = 20 + -19. Let j be (-38)/14 + 45/(-35) + h. Is (0 + j - -48) + 2 a multiple of 17?
False
Suppose -2*y = -5*f - 2226 - 2569, 7181 = 3*y + 4*f. Is y a multiple of 43?
False
Is 55 a factor of 2144952/527 + (-1)/(17/2)?
True
Let w(u) = -u + 11. Let z be w(7). Suppose -1263 = -3*q + z*j, 3*j = -7*q + 8*q - 416. Does 14 divide q?
False
Suppose -r - 9 = 4*v, 4*v + 4*r = -0*v - 24. Let a be (v/((-4)/(-56)))/(-2). Suppose 185 = 8*s - a*s. Is s a multiple of 15?
False
Let q = -16308 + 22855. Is 36 a factor of q?
False
Let j(s) = -s**2 - 100*s - 1659. Is j(-54) even?
False
Let t be 2 + 1150/(-5)*4. Is 29 a factor of -7 + (t/(-1))/3?
False
Suppose o - 3*g = -20, -o - 12 = o + g. Is 4 a factor of (82/o)/(1/(-12))?
False
Let z = -290 + 275. Let w(g) = -20*g - 95. Is w(z) a multiple of 10?
False
Suppose 30*w = 224 + 436. Let i = -35 + 25. Does 15 divide 155 - ((-16)/i)/(w/55)?
False
Let u be (-70)/(-22) + 18/(-99). Suppose -u*g + 18 = -4*o, o + 2 = -1. Suppose 4*k = g*j - 10, 0 = 5*j - k - 3*k - 19. Is 3 a factor of j?
True
Suppose 3158 = 5*k - 5*f - 1372, 0 = f - 4. Does 14 divide k?
True
Suppose -4*j - 21*t + 18937 = -18*t, 3*t = 4*j - 18943. Is j a multiple of 111?
False
Let i(s) be the first derivative of -s**4/2 - 14*s**3/3 + 19*s**2/2 + 48*s - 140. Is 3 a factor of i(-9)?
True
Suppose 44*p = 40*p - 1452. Suppose 2*u = 5*z - 1426, -5*u - z = z + 3623. Let k = p - u. Is k a multiple of 15?
True
Let b(p) be the second derivative of -55*p**4/12 - p**3/6 + p**2/2 - 10*p. Let a be b(1). Is ((-44)/(-2))/((-22)/a) a multiple of 16?
False
Let l(g) = -5*g**3 + 4*g**2 + 2*g + 25. Is 220 a factor of l(-13)?
True
Let t(a) = -6*a + 5. Let d be t(-3). Suppose -5*u - d = -2*p, -2*p + 3*u + 17 = -0*p. Suppose 3*r - 6*r + 103 = 4*n, p*r - 159 = -n. Is 4 a factor of r?
False
Let m = 6244 - -900. Does 38 divide m?
True
Let i(z) be the first derivative of -z**3/3 - 6*z**2 + 5*z + 65. Is i(-7) a multiple of 5?
True
Let u(n) = -n**2 - 10*n - 27. Let a be u(-3). Let b(i) be the third derivative of -9*i**4/8 - 37*i**3/6 - 3*i**2. Is 36 a factor of b(a)?
False
Is 7 a factor of (-4064)/8*-4*6/24?
False
Let o = 391 - -1337. Is o a multiple of 54?
True
Is ((-70947)/(-2))/(-