-2*r = -r - 3*k - 18. Let l(t) = 12*t - t**2 - 4*t**2 - t**2 + 5*t**2 + 9. Is l(r) a multiple of 9?
True
Let n = 2451 + -1191. Does 12 divide n?
True
Let q(n) = 31*n**2 + 3*n - 11*n**2 + 13*n**2 - 3. Let a be q(2). Suppose 7 = 3*x - 8, x = 5*y - a. Is y a multiple of 14?
True
Let o(u) = -7*u + 421. Is o(0) a multiple of 39?
False
Suppose -6 = 6*y - 24. Let p(b) = 2*b**3 - b**2. Does 44 divide p(y)?
False
Let v(g) = 23*g + 16. Let h be v(5). Let l = h - 51. Is 13 a factor of l?
False
Let c(d) = 5*d**2 + 5*d. Let s = 5 - -17. Let a = -25 + s. Is 30 a factor of c(a)?
True
Let o = -474 + 544. Does 14 divide o?
True
Let d be (-3 - (1 - 0)) + 35. Suppose -3*r = -d - 77. Is r a multiple of 8?
False
Suppose n - 96 = 4*k, 5*n + k = -k + 414. Suppose -2*h + 4*h + 5*i = n, 0 = 5*h - i - 264. Is h a multiple of 13?
True
Let f(c) be the third derivative of -c**4/24 + 3*c**2. Let b be f(-1). Is (-1 - b)*(-74)/4 a multiple of 10?
False
Let q = -58 + 122. Suppose 3*g - 29 = 2*g - 5*o, -4*o + 40 = 5*g. Suppose -5*c + 390 = 3*n, g*c + 2*n - 246 - q = 0. Is c a multiple of 33?
False
Suppose 513 = -t + 2966. Is 47 a factor of t?
False
Let x = 14 - -19. Let c = 55 - x. Is 11 a factor of (-4)/c - (-10332)/198?
False
Let d(q) = -3*q**2 + 11*q + 11. Let n(c) = -10*c**2 + 32*c + 32. Let b(s) = -7*d(s) + 2*n(s). Let g be b(14). Let m = g - -22. Is m a multiple of 10?
False
Let n(v) = -3*v**2 - 9*v + 3. Let m be n(-3). Suppose d - 5*g = 92, m*d - 256 = -5*g - 0*g. Is 20 a factor of d?
False
Suppose c - 3*c = 0. Suppose -4*y + 2*y + 36 = c. Let b = y + 24. Is 21 a factor of b?
True
Suppose -293 = 2*q - 41. Let s = -68 - q. Is 14 a factor of s?
False
Does 5 divide (-19)/(-114*7/(-161) + -5)?
False
Suppose -5*y - 635 = -25. Is 1*2/((-4)/y) a multiple of 19?
False
Let t = 5 + -4. Let b be (189/(-15))/(t/(-5)). Suppose b + 49 = 4*v. Is v a multiple of 13?
False
Let t(v) = -2*v - 18. Let w be t(14). Let d = -4 - w. Is d a multiple of 12?
False
Let l(c) = -4*c**2 + 3*c - 3. Let s be l(-3). Let m(x) = -x**2 - 17*x - 36. Let f be m(-15). Let n = f - s. Does 14 divide n?
True
Let w be -26*(3/21 + 45/(-70)). Let y = 178 - w. Is y a multiple of 55?
True
Suppose -10*r + 246 = 5*h - 14*r, -h + 30 = 4*r. Does 23 divide h?
True
Let n(r) = r**3 + 2*r**2 + 70. Let m be n(0). Suppose -5*x = -m - 15. Is x a multiple of 3?
False
Let b = 52 + -50. Suppose b*x + 386 = 3*k, -3*k = -8*x + 4*x - 376. Is k a multiple of 33?
True
Let w = 296 + -42. Is w a multiple of 25?
False
Suppose 0 = r + p - 37, r - 3*p = 31 + 26. Is r a multiple of 6?
True
Let h = -43 + 35. Let g(u) = -u**2 - 5*u + 11. Let v be g(h). Is (-1 + v)/((-1)/5) a multiple of 35?
True
Let i(n) = 5*n**3 + 6 - 31*n**3 - 9*n**2 + 0*n**3 - 11*n - 4. Is i(-2) a multiple of 9?
False
Suppose -75*v + 67*v + 2640 = 0. Is 66 a factor of v?
True
Let y(x) = 10*x**2 + 2*x - 82. Is y(11) a multiple of 46?
True
Let c(l) = -4*l - 17. Let j be c(-5). Suppose -6*n = -3*v - j*n + 609, -v + 3*n + 201 = 0. Does 17 divide v?
True
Suppose -10*n = -17*n + 21. Let q(z) = -8*z**3 - z**2 + z - 2. Let l be q(2). Is (l/(-2))/(n/6) a multiple of 17?
True
Let b be (-75 - -1)*2/(-4). Let n = 146 - b. Is n a multiple of 13?
False
Suppose 2*x = 5*f - 327, -199 = -3*f - 0*x + 4*x. Is 2*(-5)/((-50)/f) even?
False
Let b(o) = o**3 + 18*o**2 + o + 7. Let d be b(-14). Let y = d + -433. Is 43 a factor of y?
True
Let r(t) = 6*t**2 - 7*t - 1. Let f(a) = 13*a**2 - 15*a - 2. Let j(k) = -4*f(k) + 9*r(k). Suppose 2*z + 1 + 3 = 0. Does 13 divide j(z)?
True
Let k(u) = -u**3 + 19*u**2 - u - 75. Is k(18) a multiple of 79?
False
Suppose -2*a - 1554 = -r - 302, 2*r - 2494 = 2*a. Is r a multiple of 69?
True
Let n(l) = 7*l - 10. Let b(c) = -c**3 + 3*c**2 + 3*c. Let h be b(3). Let x(d) = -15*d + 20. Let t(f) = h*n(f) + 4*x(f). Is t(10) a multiple of 5?
True
Let i(s) = -s. Let z be i(0). Suppose z = -3*a - 4*n + 72, 2*a - 3*a = -n - 17. Does 27 divide (-60)/(3 - 75/a)?
False
Let n = 961 - 366. Is n a multiple of 13?
False
Let d(g) = -5*g - 4. Let k be d(-3). Suppose k = 2*a - 3. Let v = 28 + a. Is v a multiple of 30?
False
Suppose c - 2*r = -5*r + 99, -3*r = 3*c - 279. Let z = c - 39. Is 14 a factor of z?
False
Let w = 129 + -103. Let g = w + -12. Is 7 a factor of g?
True
Suppose -4 = 7*p - 9*p. Does 4 divide p/((6/(-9)*-3)/4)?
True
Let x = 6 - -16. Let h = x - 34. Is h/((4 + -3)*-1) a multiple of 6?
True
Let t(h) = -h**3 + 7*h**2 + 4*h + 1. Suppose 7*s - 30 = s. Is t(s) a multiple of 19?
False
Does 27 divide 1/(89528/(-11192) - (-24)/3)?
False
Let o(n) = n**2 + 8*n - 11. Let a be o(-9). Does 15 divide (-292)/(-8) - -3*(-1)/a?
False
Let i(x) = -5*x**3 + 6*x**2 + 3*x - 2. Does 2 divide i(-1)?
True
Let a(z) = 91*z**2 + 48*z - 45. Is a(-6) a multiple of 35?
False
Is 70 a factor of (-1311)/76*(-1400)/15?
True
Let s be 0/1 + 5 + 11. Suppose 400 = s*o - 6*o. Is 11 a factor of o?
False
Suppose -2*b - 1058 = -4*j, -2*j = 3*b + 2*b - 547. Let l = 378 - j. Is l a multiple of 28?
True
Suppose 3 = 2*z - 5. Suppose 4*x + 100 = 4*b, 3*b - x = z*b - 23. Let u = b - -3. Is u a multiple of 18?
False
Let p(w) be the first derivative of -w**3/3 - 23*w**2/2 + 17*w - 7. Is p(-22) a multiple of 9?
False
Let l(i) = 128*i**2 + 7*i + 5. Let d be l(-4). Let h be (8/(-10))/((-1)/d). Is h/50 - (-2)/(-5) a multiple of 10?
False
Is 17 a factor of ((-13)/(39/(-36)))/(4/170)?
True
Let c = 18 + 70. Is 17 a factor of c?
False
Let m(l) = 51*l + 17. Does 17 divide m(5)?
True
Suppose -k = -4*j - 40, -7*k = -5*k + j - 80. Is k a multiple of 8?
True
Suppose -2*w = -j - j + 78, -2*w = 8. Is 45 a factor of (2 + -212)*(-30)/j?
True
Let w(a) = 6*a**2 - 22*a + 284. Does 34 divide w(12)?
True
Suppose -9008*a = -9003*a - 8840. Is 34 a factor of a?
True
Let p = 116 + 164. Does 28 divide p?
True
Suppose 0 = 5*m - 8*a + 3*a - 3635, -4*a = 5*m - 3680. Does 14 divide m?
False
Suppose 32 + 52 = n. Is 7 a factor of n?
True
Let a(l) = -40*l + 4. Let b be a(-7). Suppose -3*v - b = -5*v. Is 28 a factor of v?
False
Let u(n) = -n**3 - 7*n**2 - 4*n + 3. Let g(l) = 2*l**3 + 7*l**2 + 5*l - 2. Let d(a) = -2*g(a) - 3*u(a). Is d(7) even?
False
Let i(k) = -8 - 6*k - 3*k + 2*k + 4*k. Is i(-9) a multiple of 3?
False
Suppose -30 = -q - 3*q + o, 16 = q + 4*o. Suppose 9 = -5*j + q*j. Is (2/6)/(j/234) a multiple of 14?
False
Is 89 a factor of -10 + 15069/12 + 2/8?
True
Suppose -522 = 38*v - 32*v. Let p = 196 + v. Does 11 divide p?
False
Let v = 9141 + -4437. Does 21 divide v?
True
Suppose -33511 = -30*l + 7*l. Is l a multiple of 31?
True
Suppose 13*b = 1249 + 8033. Is 14 a factor of b?
True
Let c = -1378 + 2392. Does 39 divide c?
True
Let c(l) = l**2 + 4*l + 1. Let j be c(-5). Let h = j - -1. Suppose h = -2*y + 3*y. Does 2 divide y?
False
Let c = 294 + -174. Let v = c + -102. Is 3 a factor of v?
True
Let q = -156 + 316. Does 16 divide q?
True
Let x(q) = 213*q - 255. Is x(8) a multiple of 42?
False
Suppose 5*c = -2*k - 19 - 15, 3*k + 9 = 3*c. Let h(q) = -2*q + 2. Let i be h(6). Let x = k - i. Is x a multiple of 2?
False
Let b be (-112)/18 - 18/(-81). Let g = 12 - -3. Let i = b + g. Is i a multiple of 3?
True
Suppose u - p - 119 = 4*p, -2*u = -p - 265. Suppose 0 = -0*k - 7*k + 21. Suppose 3*q - k*x = 201, 3*q - 4*x - 68 - u = 0. Does 21 divide q?
False
Let t(a) = a**3 - 6*a**2 + 2*a - 7. Let d be t(6). Suppose 5 - 13 = -2*y, 0 = -5*q - d*y + 270. Let i = q + 6. Does 19 divide i?
False
Suppose -11*k = -12*k + 5*u + 182, 4*k = -2*u + 728. Is 7 a factor of k?
True
Let h(a) = -a**3 + 14*a**2 - 14*a + 1. Let b be h(13). Let l(i) = 2*i**2 + 17*i - 24. Is 10 a factor of l(b)?
True
Let d = -10 + 19. Suppose 216 = -5*x + d*x. Is x a multiple of 27?
True
Suppose 2*h = 3*z + 1305, 3*h - 2090 + 130 = 4*z. Is 15 a factor of h?
True
Suppose -8*m + 296 = -4*m. Let o = -42 + m. Does 16 divide o?
True
Let b be (-3)/(-9) - 670/3. Let j = b + 328. Does 17 divide j?
False
Is 16 a factor of (-1)/3 + 43736/231?
False
Does 46 divide (42/8)/(4/112)?
False
Suppose 2*f - 10 = -3*f. Is (1/(f/(-41)))/((-2)/4) a multiple of 16?
False
Let h = 354 + -120. Suppose -3*k = -6*k + h. Is 14 a factor of k?
False
Let i(t) = -7*t. Is i(-4) a multiple of 7?
True
Let d = 181 - 178. Let a = 10 + 2. Does 12 divide -41*(-4)/a*d?
False
Let r(m) = -180*m - 8. Does 12 divide r(-3)?
False
Let m = -991 