 n(o) = -3*o - 16. Let j be (1/3)/((-2)/(-30)). Suppose -55 = -0*r + j*r. Does 7 divide n(r)?
False
Let r(z) = -z + 4. Let u = -16 + 16. Let x be r(u). Suppose 9*i - 305 = -5*q + x*i, 4*i + 260 = 4*q. Is q a multiple of 21?
True
Suppose -7*c + 20*c - 221 = 0. Suppose 0 = 14*l - c*l + 9. Is 3 a factor of l?
True
Let i be 85/(-10)*1*-4. Suppose v - 6 - 14 = 0. Let q = i - v. Is 8 a factor of q?
False
Suppose -3*q + 2 = -5*v, -4*v = -q + 1 + 9. Is 2 a factor of (12/4)/(q/(-4))?
True
Let j(l) = l**2 - 27*l + 54. Does 2 divide j(34)?
True
Let s be 0 - (-12)/14*(-11 + 4). Does 6 divide s/(-5)*390/12?
False
Let t be -1 + 0 - (-1 + -5). Suppose 2 = t*p - 13. Is 7 a factor of 35 + (0 - 3)/p?
False
Let j(k) = k - 2. Let o be j(-6). Let m(c) = -c**3 - 6*c**2 + 12*c + 10. Let p be m(o). Let t = p - -8. Is 25 a factor of t?
True
Let m = -98 + 165. Does 4 divide m?
False
Suppose 0 - 4 = 2*f, 4 = -2*j - 5*f. Let v(g) be the second derivative of g**5/20 + g**4/3 - g**3/6 + 2*g**2 + 4*g. Is 16 a factor of v(j)?
True
Let b(z) be the first derivative of -5/3*z**3 - 2*z + 3/2*z**2 + 1/2*z**4 + 8. Does 18 divide b(4)?
False
Let q(y) = y**3 - y**2 + y + 4. Let w be q(0). Suppose 0 = w*t - 9 + 1. Suppose -152 = t*u - 4*u. Does 28 divide u?
False
Let v be (5/2 - 2)*2 - -123. Let s = v + -31. Does 9 divide s?
False
Suppose -3*s + 274 = -g, -4*s = -5*s + g + 94. Suppose -s = -9*o + 4*o. Is 18 a factor of o?
True
Suppose 4*t - 16 = 0, 3*j - 4*t = -2 + 16. Let z = -6 + j. Suppose -p + 54 = -z*i, 0*p - 98 = -2*p + 3*i. Does 13 divide p?
False
Let u be 13889/95 + (-2)/10. Let f = u - 88. Is f a multiple of 29?
True
Suppose -c = 4 - 3. Let u be -2 + (-4 - 8/c). Suppose u*z = -5*k + 351, -6*k + 2*k = 3*z - 285. Does 12 divide k?
False
Suppose 7*t - 4*d = 9*t - 1440, 4*d - 20 = 0. Is 5 a factor of t?
True
Suppose 3*b - 7 - 29 = 0. Let t(i) = 10 - 5 + 12*i + b*i - 7. Is t(1) a multiple of 11?
True
Let i(h) = 5*h. Suppose 6 = 4*s + 2*s. Let v be i(s). Suppose -v*q = p - 12, -p - p - 5*q = -39. Is p a multiple of 5?
False
Let a(m) = 11*m**3 - m**2 - 3*m - 2. Let n be a(-1). Let g(t) = t**3 + 11*t**2 - 5*t - 12. Is 16 a factor of g(n)?
False
Let z(s) = -24*s**3 - 2*s**2 + 3*s - 2. Let p be z(3). Let f = p - -1013. Is 19 a factor of f?
False
Suppose -5*r - 5*p + 10*p - 5 = 0, 16 = 4*p. Suppose -5*k = -2*k - 9. Suppose 90 = 3*z - 2*x, -k*z - r*x + 71 + 4 = 0. Is 14 a factor of z?
True
Let k(f) = -6*f**3 + 8*f**2 + f + 22. Let q(i) = -5*i**3 + 8*i**2 + 2*i + 21. Let m(t) = -4*k(t) + 5*q(t). Does 12 divide m(7)?
True
Is 31 a factor of (-402)/(-2211) - 1703/(-11)*1?
True
Suppose -9*y = -13*y + 484. Suppose 0 = 4*i + y - 633. Does 32 divide i?
True
Let h be 1 + 183/27 - (-4)/18. Suppose h*v - 285 = 5*v. Is 23 a factor of v?
False
Suppose 3*p + 582 = p. Let o = p - -426. Is 15 a factor of o?
True
Suppose 4*t + 48 = -5*y, -3*t + 4*y = 5 - 0. Let l = t - -17. Is l a multiple of 3?
False
Let i(f) = -f**2 + 46*f + 180. Is i(28) a multiple of 19?
True
Let c = 754 + 812. Does 27 divide c?
True
Let h(q) = -2*q + 2. Let n be h(1). Does 7 divide 110/10 - (4 - n)?
True
Let o = 12 + -7. Suppose o*z - p = 40, z + 0*z - 3*p = 22. Does 3 divide z - (-1 + 0 + -1)?
True
Let t be (4 - 1)*-2*15/45. Is 3 a factor of -3*(28/8 - 3)*t?
True
Let u(o) = o**2 - o - 2. Let v be u(2). Suppose v = l - 5*k - 34, 5*l - 211 = -5*k - 11. Suppose -4*c + l = 5*a, -3*a + 9 = 3*c - 24. Is c a multiple of 16?
True
Let w(n) = n**3 + 14*n**2 - 20*n - 5. Let g be w(-15). Suppose -3*y + 62 = -g. Is y a multiple of 11?
True
Let k(i) = -4*i - 21. Let d be k(-6). Suppose -84 = -3*l - 3*q, 0*l - 5*l = -d*q - 180. Does 4 divide l?
False
Let q(b) = b**2 + 11*b - 6. Let h be q(-11). Let p = h - -15. Is 3 a factor of 11*(-2 + p/3)?
False
Let b(m) = -m**3 - 8*m**2 - 6*m - 20. Let i be b(-9). Let c = i - 89. Is 2 a factor of c?
True
Let z be (28 - 0)*4/((-16)/(-6)). Is 2 a factor of (-12)/z - 270/(-14)?
False
Let p(g) = 10*g + 2. Let h = -14 - -17. Suppose 9 = l - 5*x - h, -2*x + 26 = 4*l. Is p(l) a multiple of 24?
True
Let p be 3 + 0 - -3*(-3)/(-9). Suppose -p*o = -7*o + 114. Does 13 divide o?
False
Let a = -1449 - -2049. Is a a multiple of 27?
False
Let c(h) = -10*h**3 - 3*h**2 + 5*h - 54. Is c(-6) a multiple of 6?
True
Suppose -90 + 32 = -2*j. Let c(r) = -j - 26 + 13*r**2 + 57 - 2*r. Is 8 a factor of c(1)?
False
Let w(p) = 23*p**2 + 15*p - 6 - 16*p**2 - 5*p**2. Is w(-10) a multiple of 11?
True
Is (304/3)/((-22)/(-33)) a multiple of 6?
False
Does 5 divide 5 - (-5 - -9 - 9)?
True
Suppose 2*s + 4 = -0*h + 3*h, -4*s = 4*h - 32. Let b = 10 - s. Suppose 168 = -4*l + b*l. Is 21 a factor of l?
True
Let v = 72 - -48. Does 11 divide v?
False
Let g(p) = -8*p - 2. Let s be g(-4). Let o be 0/(5/2 - (-7)/(-14)). Suppose o*j - j = -s. Is j a multiple of 9?
False
Suppose 35 = 5*y + 5*w, 2 = 2*y - 4*w + 6. Suppose 80 + 376 = y*i. Does 9 divide i?
False
Let d(w) = -5 + 4 - 9*w + 50*w + 32*w. Is d(1) a multiple of 19?
False
Suppose 4*k + 7*v + 60 = 3*v, 0 = -2*k + v - 18. Let u = -98 - k. Let i = -30 - u. Does 19 divide i?
True
Let p be 23 - (-9)/(-12)*4. Suppose -5*n + 2*s = -p, -5*s - 8 = -6*n + 4*n. Suppose -4*l = 4*f - 40, 5*l - 1 = -2*f + n. Is f a multiple of 15?
True
Suppose 2*d - 12 = -d. Let u(m) = 20*m - d + 24*m + 3 - 1. Does 13 divide u(1)?
False
Let g = -1168 + 2508. Is g a multiple of 20?
True
Suppose 0*b + 3*b - 6 = 5*x, -4*b + 8 = 5*x. Suppose 5*n - r + 5 = -x*n, 2*r = 0. Is 12 a factor of (37 - -2) + 3 + n?
False
Suppose 2683 = 7*h - 1335. Suppose -5*z + 4*r = -570, -129 = 4*z - r - h. Is z a multiple of 10?
True
Let a = -21 + 3. Let p = a + 22. Suppose p*y = -3*y + 182. Does 10 divide y?
False
Is (7/(-2) + -1)*1176/(-9) a multiple of 21?
True
Let p(x) = -x**3 + 6*x**2 + 3*x - 1. Let a be p(6). Let n = a + -14. Suppose -5*q - 4*g - 8 = -3*q, -n*g = 3*q. Is q even?
True
Let t = 128 - 71. Let h = 88 - t. Is h a multiple of 8?
False
Let z = 139 + -76. Let i = -8 + z. Does 23 divide i?
False
Suppose 5*k - 1598 - 122 = 0. Let f = 610 - k. Is f a multiple of 38?
True
Let c = -2 - -4. Let o(b) = -b**2 + b - 2. Let u be o(c). Let p = 14 - u. Is p a multiple of 16?
False
Suppose 12*n = 1503 - 567. Is 10 a factor of n?
False
Let f(d) = d**3 - 6*d + 6. Let p be f(2). Suppose -5*b - 3*r + 125 = 0, p*b - 4*r - 71 = -r. Is 4 a factor of b?
True
Let y be 2019/33 + -2 + 2/(-11). Let a = y - 51. Is a a multiple of 4?
True
Let l(c) = -5*c - 25. Let k be l(-6). Suppose -5*n + 436 + 102 = 4*v, k*v + 2*n = 681. Does 14 divide v?
False
Suppose -a = -2*m - 0*m, m + 9 = 5*a. Let f be -700*3*(-4)/30. Suppose f = 4*g - 4*o, -5*g - a*o = -o - 326. Is g a multiple of 22?
True
Suppose 759 = 25*h + 8*h. Let x be (-61)/(-2) - 1/2. Let g = x - h. Does 7 divide g?
True
Let v be -5 - -5 - (-1 - -1). Suppose s + v = 18. Suppose -x = -8 - s. Is x a multiple of 26?
True
Let h(p) = p**3 + 5*p**2 - 9*p - 9. Let k be h(-6). Suppose 5*f = -4*r - 12 + 1, -k = -f + 2*r. Suppose -296 = -3*g + f. Does 33 divide g?
True
Let f be (-30)/(3*(-5)/130). Is f/15*6/4 a multiple of 26?
True
Let k = -1953 - -3585. Is k a multiple of 16?
True
Let c = 21 - 19. Let w(f) = 2*f**2 - 3*f + 1. Let m be w(c). Suppose -s - 2*q + 68 = 0, 5 = -m*q - 4. Does 9 divide s?
False
Does 49 divide ((-15)/(-20))/((-3)/(-396))?
False
Let o be (9 + -1)*(-27)/(-6). Suppose 139 = 5*x - o. Is 14 a factor of (182/x)/(1/10)?
False
Let r(i) = i - 9. Let p be r(5). Let j(x) = -13*x**2 - 7 - 9*x + 3*x + 12*x**2 + 3. Is j(p) even?
True
Let s = -202 - -329. Is 2 a factor of s?
False
Let l be 1*-1*(2 + -10). Let t = 340 + -272. Let h = t - l. Does 10 divide h?
True
Suppose -4*g = 3*j + 1134, 0*g + 2*g = -3*j - 570. Let k be (g/(-4))/(3/4). Suppose 0 = -2*x - 9 + 1, 3*f = 4*x + k. Does 6 divide f?
False
Suppose -4*s - 2*a + 6 = 0, -s + 3*a + 5 = -0*s. Suppose 2*z + 10 = 0, -s*z - z = -t + 32. Suppose 3*x - 53 = -t. Is 6 a factor of x?
True
Does 2 divide 5 + (8 + -6 - -309)?
True
Let g(u) = -23*u**3 - 16*u**2 + 6*u - 4. Is g(-4) a multiple of 16?
False
Let d(r) = -2*r**3 - 14*r**2 + 11*r - 19. Does 21 divide d(-8)?
True
Let c(o) = -3*o + 16. Let x be c(6). Is ((-3)/x)/(15/1310) a multiple of 35?
False
Let o = 22 - 16. Suppose 5*j - 44 = -4*h, -o*j + 32 = -2*j + 4*h. Let t(v) = 5*v + 11. Does 10 divide t(j)?
False
Let x