 308, d = r - o - 117. Does 9 divide r?
False
Suppose -2*n - y = -1172, y + 1768 = -3*n + 6*n. Is n a multiple of 21?
True
Suppose 3*x - 255 = 150. Let h = x + -66. Is 15 a factor of h?
False
Suppose 12542 = 4*s - 2*x, -74*s + 76*s - 6236 = -4*x. Is 87 a factor of s?
True
Let t(k) = k**3 + 25*k**2 - 146*k - 10. Is 16 a factor of t(15)?
True
Let u(i) = 2*i**3 - 113*i**2 - 264*i + 268. Is 67 a factor of u(61)?
False
Suppose 0 = -5*x - 7 - 8. Let f be -2 + (x - (-9)/3) - -2. Is 10 a factor of 1 + f/(-3) - (-2 - 58)?
False
Is (1/(-1))/(9 + 4) - (-194026)/182 a multiple of 35?
False
Let g(w) = 27*w**2 - 460*w - 7. Is g(23) a multiple of 42?
True
Suppose 3*k - 4*k - 25 = -5*n, n = 4*k + 5. Suppose 4*y + 4*p = 72, k = -3*y - 21*p + 19*p + 51. Is 15 a factor of y?
True
Suppose 0*z = 3*z - 3. Suppose 8*b - 7*b = z. Let s(i) = 18*i**2 + 2*i. Is s(b) a multiple of 6?
False
Let j = 88 + -53. Let n be (25/(-7) - -7)/(2/j). Is ((-4)/(-6)*6)/(6/n) a multiple of 8?
True
Let o = 17 - 7. Let k(n) = -3*n**2 + 24*n + 18. Let s(i) = -i**2 + 8*i + 6. Let q(r) = -6*k(r) + 17*s(r). Is q(o) a multiple of 5?
False
Suppose 144 - 26 = 2*c. Let g(l) = -l**3 + 8*l**2 - 4*l + 6. Let w be g(6). Suppose z - c = -w. Is 2 a factor of z?
False
Let l be 3/(5 + 5 + -11). Is (25/(-5) - l)*-96 a multiple of 12?
True
Does 248 divide (-24)/396 - (-68467438)/1551?
True
Suppose 2*u = -3*n - 22, 4*n + 13 = -4*u - 23. Does 5 divide (0/u + (-82 - 4))/(-1)?
False
Suppose -26*l = -5*l - 49140. Let a be (-26)/(-2)*(6 - 5). Suppose a*b - 4*b = l. Is b a multiple of 13?
True
Suppose -31*k + 30*k = 20. Is 14 a factor of (392/k)/(101/(-50) - -2)?
True
Let s(z) = -603*z**3 + 2*z**2 - z - 4. Is 7 a factor of s(-1)?
True
Suppose 5*f - 84 = -59. Suppose -4*k + 1602 = 2*n, 19*k - 24*k - f*n + 1995 = 0. Does 10 divide k?
False
Let a(g) = g - 4. Let u be a(0). Let n be -4*(14/u - (-9 - -8)). Suppose -4*m + 2*y = -170, -2*y = -4*y + n. Is m a multiple of 15?
True
Suppose 5*z = a + 34, 3*a - 5 = -2. Suppose 4*k - z = 17. Suppose -k*c + 234 + 18 = 0. Does 14 divide c?
True
Let c = -18348 - -32082. Is 7 a factor of c?
True
Suppose 0 = -37*g + 25533 + 360562. Is 120 a factor of g?
False
Let l = -2 + 142. Let o = l - 62. Let u = 111 - o. Is u a multiple of 11?
True
Let p be ((-2)/8)/(15/(-180)). Suppose p*u - c + 3*c = 1193, u - 407 = 4*c. Is 19 a factor of u?
True
Suppose -34*l = -46*l - 8268. Let r = 997 + l. Is 11 a factor of r?
True
Suppose -2*t - 5*o + 26489 = -42779, 4 = 2*o. Does 97 divide t?
True
Let j = 256 + -253. Is 106/j + ((-20)/(-3) - 7) a multiple of 14?
False
Let m(z) = 2*z**2 - 28*z - 5. Let d be m(-4). Let u = d + -68. Is u a multiple of 2?
False
Let t(i) = -3128*i + 1237. Does 6 divide t(-4)?
False
Suppose 0 = 3*d + g - 100679, -2*g + 46126 - 146781 = -3*d. Is d a multiple of 10?
False
Suppose -n + 8*n - 238 = 0. Suppose -n*m = -366 - 552. Is m a multiple of 9?
True
Suppose -2*x + 4*x + 542 = 5*h, x = -1. Let g(u) = -2*u**2 - 5*u - 1. Let l be g(4). Let j = h + l. Is 10 a factor of j?
False
Let s(b) = 3*b + 53. Let r(i) = -i - 27. Let d(f) = -5*r(f) - 2*s(f). Is 17 a factor of d(-2)?
False
Suppose 5 + 50 = 5*y. Suppose y*x - 2 = -24. Is ((-124)/x)/2 + (1 - -2) a multiple of 12?
False
Suppose -2*h - 16 = -5*x, 2*h + 5 - 1 = 2*x. Suppose -b + 14 = -4*p, 0 = -p - 4*p + h*b - 19. Does 27 divide 0 - p*(17 + 1)?
True
Let h(o) = -2*o**3 - 34*o**2 + 74*o - 256. Is 41 a factor of h(-25)?
False
Let x = -9520 - -16429. Is 40 a factor of x?
False
Suppose 18*d + 65 = 23*d. Let f(t) = t + 29. Is f(d) a multiple of 14?
True
Suppose 5 - 77 = -4*v - a, -2*v = -5*a - 36. Suppose i - v = 248. Suppose 6*w - i = -w. Does 13 divide w?
False
Let i = -11456 + 21872. Does 24 divide i?
True
Let s(m) = -2*m**3 - 4*m**2 + 12*m + 14. Let z be s(-10). Suppose 4*l - 2*u = 5986, -l - 4*u = -5*u - z. Suppose -10*q + 131 + l = 0. Does 13 divide q?
False
Let n(m) be the first derivative of -m**3 - 13*m**2/2 + m - 14. Let y be n(-4). Suppose 4*p = y*v - 101, -4*v = p - 44 - 20. Does 17 divide v?
True
Let p be (2/3)/(5/15). Let t = 505 - 500. Suppose -3*k + 5*q = -250, -2*q = -p*k - t*q + 154. Is 16 a factor of k?
True
Suppose -7693 = -7*x + 17913. Does 62 divide x?
True
Let j(y) = 115*y - 60. Let p be j(-2). Let q = p - -500. Is q a multiple of 15?
True
Suppose -23 = 2*k - 5. Let c be -3*(285/k - 0). Suppose -c = -2*i + 37. Is 11 a factor of i?
True
Let m = -379 + 393. Suppose 0 = 7*v + m*v - 5187. Does 21 divide v?
False
Suppose -2*l - s - 279 = 382, -3*l - 959 = -5*s. Let d = l - -124. Let x = d - -291. Does 23 divide x?
False
Suppose 0 = 2*r - 6*r + 16. Suppose -27 = 4*y - 5*t - 168, -186 = -5*y + 3*t. Suppose y = u + r. Is 13 a factor of u?
False
Suppose 0 = 16*a - 11*a - 15, -5*a - 199 = -c. Let d = -21 - -21. Suppose h + d*s - s = 212, -h + c = -3*s. Is h a multiple of 42?
False
Suppose -24*d + 12 = -18*d. Suppose 0 = 2*p - 4*w - 396, 0 = p + d*p - 4*w - 596. Does 40 divide p?
True
Let j(w) = -5*w**2 - 7*w + 16. Let x(g) = -3*g**2 - 6*g + 17. Let q(b) = -2*j(b) + 3*x(b). Let k(v) = v**2 + 3*v + 3. Let s be k(-5). Is q(s) a multiple of 34?
True
Let z(i) = 222*i**2 + 41*i + 259. Let c be z(-6). Is 80 a factor of 124/(-40) + 3 + c/50?
True
Let z(f) = 15 - 45*f + 74*f - 42*f + 58*f**2 + 270*f**2. Is 30 a factor of z(1)?
True
Let z = -352 + 359. Suppose -z*k + 3*k + 564 = -5*r, -r + 132 = k. Is k a multiple of 9?
False
Let w(b) = -74*b**3 - 9*b**2 + 109*b + 48. Is 38 a factor of w(-8)?
False
Let k(b) = -9*b + 104. Let j be k(11). Suppose 3*l = j*h - 2737, 4*l + 1092 = 6*h - 4*h. Is 41 a factor of h?
False
Let t be 4/(-10) + (-216)/135 + -8. Is 36 a factor of 155 - t/5*1?
False
Is 46 a factor of 9108 + (-18 - -18) + 1 + -3?
False
Let h(o) = 4*o**2 + 0*o + o**3 + 6*o - o. Let s = 111 - 108. Is h(s) a multiple of 13?
True
Let w(l) = 1140*l**2 + 4*l - 41. Is w(-4) a multiple of 17?
False
Let u(z) = z**2 + 5*z - 18. Let k be u(-9). Suppose -5*m - 8 + k = 0. Suppose r = m*r - 5*t - 113, 5*r - 511 = -2*t. Is 21 a factor of r?
False
Let x(z) = 1 - 174*z - 6 + 25. Does 89 divide x(-5)?
True
Let v = 133 - 255. Let z = -63 - v. Does 32 divide z?
False
Let c be 136 - -2 - 2/2. Let w = 376 + -371. Suppose -2*i = -v + 31, 0*v - w*v + i = -c. Does 7 divide v?
False
Suppose -k = -3 + 1. Suppose -18 = -2*u - 3*c, k*u + 18 = 4*u + c. Suppose -2*p - 3*v = -3*p + u, 39 = 2*p + v. Is p a multiple of 2?
True
Does 65 divide (6/((-36)/8151))/(141/(-1410))?
True
Suppose 0 = -5*o + b, -37*o - 4*b = -32*o. Suppose c - a = 0, -1 = -2*c + 3*a - 0. Is 20 a factor of 18 - c - (-1 - o)?
True
Let n(h) = -107*h**3 - 25*h**2 - 15*h + 18. Is 31 a factor of n(-6)?
True
Let m(r) = r**3 + r**2 - 4*r - 13. Let u be m(0). Let i(o) = 21*o + 4*o - o**3 + 4 - 10*o**2 + 7*o. Does 19 divide i(u)?
True
Let d be 28 + 255 - (0 + 3). Suppose 3*r - 4*b - 385 = -3*b, 2*r - d = -4*b. Is r a multiple of 3?
False
Suppose 39*a = 305158 + 56. Does 182 divide a?
True
Let c(n) = 4*n + 11. Let d be c(-2). Let f(u) = 5*u - 13. Let y be f(d). Is ((-1)/(5/(-78)))/(y/20) a multiple of 26?
True
Suppose 0 = 3*g + x - 33346, -4*g - 6*x = -9*x - 44483. Is 55 a factor of g?
False
Let k(w) = -w + 29. Let u(a) = -a**2 - 10*a - 22. Let c be u(-6). Suppose 3*f = -c*f. Does 4 divide k(f)?
False
Suppose 2*z + 2*h = -z + 7, -2*h - 13 = -z. Suppose 3*i + 1 = p + 4, z*p = 5*i + 5. Suppose 0 = m - p*m + 4*o + 74, 5*m + 3*o = 133. Is 6 a factor of m?
False
Let p be ((-8)/5)/(4/10) - 279. Let s = -262 - p. Is s even?
False
Let h(m) = 16*m**2 - 35*m + 29. Let b be h(13). Suppose -19*z = -2*z - b. Is z a multiple of 7?
False
Let y(l) be the third derivative of 3*l**4 - l**3/6 - 18*l**2. Let c be y(2). Is c/3 + (-4)/6 a multiple of 25?
False
Suppose 2*c - c - 3*x = 181, 4*c - 3*x = 706. Suppose -10*f - c = -3335. Is 6 a factor of f?
False
Let z(h) = 6*h**2 - 46*h + 32. Is 74 a factor of z(22)?
True
Suppose -s - 4*s = 4*b - 107, -4*b - 4*s = -108. Suppose 9*i + 6479 = b*i. Does 62 divide i?
False
Suppose 0*y - l = 2*y - 312, -5*y + 4*l + 806 = 0. Let d = -123 + y. Does 2 divide d?
False
Suppose 41*j + 106470 = 111*j. Does 8 divide j?
False
Let q(l) = -7*l + 5. Let v be q(-5). Suppose 82*r - 7315 = -11*r - 2*r. Let z = r + v. Is 28 a factor of z?
False
Let r = 307 + -307. Suppose -475 - 915 = -3*f + 5*z,