- 12*u = -12662. Suppose -4*r + u = -202. Does 42 divide r?
True
Suppose 4*j - x = -4085 + 14154, -3*j + 3*x + 7545 = 0. Does 96 divide j?
False
Suppose -4*a - 11*m = -7*m - 100, -a - 2*m = -22. Suppose 8*g - a*g = -13180. Is 39 a factor of g?
False
Suppose -6 = -3*o, -8*o + 9*o + 21720 = 2*z. Does 14 divide z?
False
Suppose 2*i - 2*f = 3*f + 28, i = -4*f - 12. Suppose -i = a, 397 = 2*k - k - 3*a. Is k a multiple of 11?
True
Suppose 13*p + 12474 = 15*p + 3*w, -2*p - 2*w + 12476 = 0. Is 24 a factor of p?
True
Let y = 3445 - -2712. Is y a multiple of 84?
False
Let n(s) = s**2 + 7*s - 10. Let o be n(5). Suppose -3*u - 15 = -0, -5*t + 3*u = -o. Suppose t*q = 33 + 149. Is 13 a factor of q?
True
Suppose 455 - 59 = -2*y. Let m(u) = -8*u**2 - 19*u - 42. Let h be m(-7). Let n = y - h. Does 22 divide n?
False
Suppose 27 = 5*a - l, 5*a + 2*l + l - 19 = 0. Suppose -a*g = -2*w - 2*w - 945, 2*w = 2*g - 378. Suppose 5*s - 146 = g. Does 19 divide s?
False
Let t = -591 + 2373. Is t a multiple of 33?
True
Let i(k) = 344*k**3 - k**2 - 3*k + 5. Let v be i(1). Suppose -4*t - 2*z = -270, -4*t - t - z + v = 0. Is 3 a factor of t?
False
Is 5 a factor of 357/((-63)/(-9)) + (2 - 2)?
False
Suppose 2*m = -3*z + 12874, 2*z + 4491 = 4*m - 21225. Is 8 a factor of m?
False
Suppose 33 = 15*p - 27. Suppose -4*b = 4*k, -2*b - 9 = -b + p*k. Is b a multiple of 3?
True
Suppose 5*p = 2*h + 1218, 14*p - 13*p = -5*h + 249. Suppose -3*l = p - 874. Is l a multiple of 9?
False
Let s = 537 - 539. Let k(i) = 51*i**2 - 2*i. Is 4 a factor of k(s)?
True
Let z = -3237 + 1234. Let s = 3857 + z. Suppose -14*q = -s + 720. Is 12 a factor of q?
False
Suppose 32 = -0*s + 2*s. Let k(x) = 11*x**2 + 22*x + 43. Let i(w) = -9*w**2 - 20*w - 43. Let d(b) = 6*i(b) + 5*k(b). Is d(s) a multiple of 9?
False
Let s = 4092 + 3894. Is s a multiple of 3?
True
Let s = 251 - 128. Let f = 91 - s. Is f/5*(-5 + -5) a multiple of 22?
False
Suppose -107*o - 25*o + 779064 = 0. Is 70 a factor of o?
False
Suppose 0 = -s - 0*s - x + 7, x = s + 1. Let c be (-8)/s*((-1)/4 - 2). Does 52 divide (0/c + 13)/((-2)/(-16))?
True
Let v(p) be the second derivative of 35*p**3/2 + 105*p**2/2 - 28*p. Does 9 divide v(5)?
True
Let z(p) = -p**3 - 8*p**2 + 8*p - 5. Let k be z(-9). Let g(s) = -s**3 + 4*s**2 - s + 9. Let r be g(k). Suppose -2*i + 777 = r*i. Is i a multiple of 29?
False
Let s be (2/(-12))/((-7)/(-42)). Is (-214)/(-2) + (4/s - -1) a multiple of 8?
True
Let v(p) = 7374*p + 1666. Is v(3) a multiple of 153?
False
Let y = -123 - -125. Suppose -302 = -5*w + y*c, -49 = 5*w - 3*c - 352. Is 12 a factor of w?
True
Let d(y) = y**3 + 12*y**2 + 11*y + 1. Let l be d(-11). Suppose -m - 6 = l. Let v(g) = g**3 + 8*g**2 - 2*g - 6. Is 20 a factor of v(m)?
False
Let c(y) = -y**3 - 9*y**2 - 11*y - 6. Let o = 44 - 26. Suppose -2 + o = -2*f. Is c(f) a multiple of 18?
True
Let n(q) = 35*q**2 + 25*q + 9. Let a be n(5). Let j = a - 255. Does 50 divide j?
False
Let a(p) = p**2 - 9*p - 52. Let v be a(13). Suppose 0 = -3*h - 4*d + 332, v = 4*h - d - 256 - 174. Does 18 divide h?
True
Suppose 0 = 5*b + 4*u - 11, b + u = -u + 1. Suppose 204 = -b*q + 9*q. Let v = q - 21. Is 4 a factor of v?
False
Let o(w) = 44*w**2 - 447*w - 2648. Does 7 divide o(-6)?
False
Let u(z) be the third derivative of -z**4/8 - 5*z**3/6 - 3*z**2. Let a be u(-7). Is ((-12)/a)/(6/(-40)) a multiple of 4?
False
Let j(a) be the first derivative of a**4 - a**3/3 - 2*a**2 + 5*a - 13. Let l be j(-5). Let r = -291 - l. Is r a multiple of 19?
True
Let s(o) = o**2 + 2*o + 72. Let b(g) be the third derivative of -g**6/120 + g**5/10 - 7*g**4/24 - 2*g**3/3 + 4*g**2. Let f be b(4). Is s(f) a multiple of 6?
True
Let f(h) = 3*h - 15. Let x be f(6). Suppose u = -5*y + 23, -3*u + 4 + 5 = x*y. Suppose -3*b + 484 = -2*a, -y*b - 5*a = -0*b - 790. Is 40 a factor of b?
True
Let x = 89 - 72. Let s(n) = 20*n**3 + 15*n**2 + 50*n + 5. Let g(v) = 7*v**3 + 5*v**2 + 17*v + 2. Let b(h) = x*g(h) - 6*s(h). Is b(-5) a multiple of 28?
False
Let z(s) = -s**3 - 18*s**2 - 20*s - 15. Suppose 2*x - c + 37 = 0, 0 = -x - 3*x - 5*c - 53. Let m be z(x). Is 31 a factor of (837/m)/(3/16)?
True
Let k = 106 - -82. Suppose -2*n = 6, -8*n + 4*n = -2*p + 276. Let t = k - p. Does 28 divide t?
True
Let u(a) be the third derivative of -a**6/120 - a**5/15 - 7*a**4/24 - 6*a**3 + 2*a**2 - 25*a. Does 5 divide u(-5)?
False
Let m be (-1 - 233)/(0 + 1). Let q be m/(-42) + 6/14. Let j(c) = 2*c**2 - 5*c - 6. Does 9 divide j(q)?
True
Let i(k) = 6740*k + 160. Is i(1) a multiple of 30?
True
Suppose 0*m = -4*w - m + 105, 2*w - 2*m = 40. Let t = w + -20. Suppose h - 2 = 1, -5*h = -t*q + 410. Is 17 a factor of q?
True
Suppose 0 = 9*t - 4*t - 10. Does 11 divide (-1)/t*190/30*-12?
False
Suppose -2*t + 3*z + 1051 = -245, -5*t - 3*z + 3198 = 0. Let j = t + -422. Is j a multiple of 10?
True
Let v(s) = 7*s**2 - 44*s - 234. Does 62 divide v(36)?
True
Is 29 a factor of (-636448)/(-18) + -13*52/3042?
False
Let s be 3/2*1420/15. Suppose -c = 3*p - s, -p - 5*c + 21 + 3 = 0. Let z = p - -147. Is 28 a factor of z?
True
Suppose 3*u + 5*i = 41, -i = 3*u - 26 - 35. Suppose -3*b = 16*c - 13*c + 3, -3*b - 3 = 5*c. Let a = b + u. Is 21 a factor of a?
True
Suppose -99 = -5*t + 4*i + 406, 0 = i - 5. Is 1/((14/t)/(54/15)) a multiple of 9?
True
Suppose -1610 = 5*w + 3*z, 0*z - 25 = 5*z. Let h = w + 1216. Does 23 divide h?
True
Suppose 4*i - 3*i = -3*z, -3*z = 5*i. Suppose -480 = -z*d - 4*d. Suppose 5*j - 5*c = d, 3*c - 7 + 25 = j. Does 9 divide j?
True
Let b(s) = 28*s**2 + 43*s - 141. Does 45 divide b(6)?
True
Suppose 0 = 10419*i - 10412*i - 9051. Is i a multiple of 11?
False
Let n(g) = -153*g + 11676. Does 15 divide n(-32)?
False
Suppose -3*n = 2*k + k + 255, 401 = -5*k + 3*n. Let o be ((-3)/(-3))/((-2)/k). Let b = o - 20. Is 4 a factor of b?
False
Let g(w) = -122*w - 506. Is 27 a factor of g(-40)?
True
Let w be ((-70)/(-21) - 3)/(2/66). Suppose -14*m - 1074 = -w*m. Let d = -107 - m. Does 40 divide d?
False
Suppose 0 = 49*q + 24*q - 275733 + 48703. Is q a multiple of 5?
True
Does 53 divide ((-780)/(-56))/(-3)*-194 + (-4)/(-14)?
True
Suppose 7*o + 52 = 4*z + 3*o, -2*z - o + 17 = 0. Suppose 88 = -f - z. Let d = f + 112. Is 14 a factor of d?
True
Let i(w) = 11*w**2 + 225*w - 158. Does 17 divide i(-43)?
True
Does 9 divide 9 - 63/2*(30 - 32)?
True
Let h be 242 + -6 - (2 - 0). Suppose 18*p - 12*p = h. Is p a multiple of 5?
False
Suppose -2*r + 370 = u, -5*r = 2*u - 36 - 705. Let s = 615 - u. Does 13 divide s?
True
Let q(l) = 14*l**2 - l - 5. Suppose 8 = 279*t - 277*t. Is q(t) a multiple of 20?
False
Let k = -460 - -309. Let o = k - -203. Is 23 a factor of o?
False
Let q(f) be the third derivative of -f**5/60 - 23*f**4/24 - 11*f**3/3 + f**2. Suppose -2*h = 4*t + 34, 5*h + 45 = 2*t - 52. Is 27 a factor of q(h)?
True
Let g = 6470 - 4038. Is 19 a factor of g?
True
Let x(y) = 11*y**3 - y**2 - y - 9. Let l(w) = -5*w**3 + 4. Suppose -5*i + 3*a - 18 = 5*a, -10 = -3*i + 4*a. Let n(t) = i*x(t) - 5*l(t). Does 22 divide n(2)?
False
Suppose 137*b = 217379 + 100461. Does 30 divide b?
False
Suppose 3*y - 42 = -6*l, -4*l + 13 = 3*y - 27. Let d = -5 + 7. Suppose d*t = y + 34. Is t a multiple of 8?
False
Let t(r) = -22*r**3 + 7*r**2 + 72*r - 27. Is 15 a factor of t(-9)?
True
Let j = -7 + 2. Let a(m) = -2*m**3 - 7*m**2 - 3*m. Let h be a(j). Suppose 8*k = 3*k + h. Does 9 divide k?
True
Let d(z) = -6 + 5*z**2 + 6 + 8*z - z**3. Let q be d(-4). Does 16 divide 48/q - (-956)/7?
False
Let d be (1 - 1 - -2)*26277/114. Let m = d + 414. Is 41 a factor of m?
False
Let w(z) = z**3 - 2*z**2 + z - 10. Let t be w(0). Let r = t - -78. Let l = -44 + r. Does 6 divide l?
True
Let u = -29215 - -35092. Is 227 a factor of u?
False
Let s be ((-4 - -2)/(-6))/(3/252). Suppose s*r - 5*r = 16100. Is 57 a factor of r?
False
Suppose 4*s - 7866 = 5*w - 93932, 51637 = 3*w - 5*s. Does 38 divide w?
True
Let b be (-5)/((5/(-15))/((-10)/(-6))). Let d = -22 + b. Let h(k) = 5*k**3 - 6*k**2 + 6*k + 1. Does 25 divide h(d)?
True
Let q(h) = 79*h - 19. Let v be q(7). Suppose 2*a = 5*f + v, -a + 3*f = 3*a - 1082. Is a a multiple of 30?
False
Suppose 2925*u - 2921*u - 31928 = -x, 5*u - 39860 = 5*x. Is u a multiple of 4?
True
Let x = -43 - 5. Let b = 98 + -123. Is (b/(-4))/((-3)/x) a multiple of 20?
True
Let j = -444 + 687. Let h = 2635 + -