 Is (-14)/d*672/(-16) a multiple of 14?
True
Let g(y) = y**3 - 9*y**2 - 7*y + 9. Let o(s) = 4*s**2 + 3*s. Let l be o(-2). Let j be g(l). Suppose -j = -4*m + m. Is m a multiple of 6?
False
Suppose -5*o = -x + 283, -600 - 169 = -3*x - o. Suppose 14 = 2*s - x. Is s a multiple of 22?
False
Let f be 0 + (1 - 110) - -4. Does 23 divide 21/f - (-231)/5?
True
Let f(q) = -68*q**3 + 11*q + 33. Does 17 divide f(-3)?
True
Suppose p - 15 = -2*p. Suppose p*v = -q + 35, 0*v = 2*q + v - 25. Does 9 divide (6/q)/((-5)/(-75))?
True
Suppose 2*o - 4*z + 10 = 0, 4*z = 3*o - 1 + 6. Suppose -18 + 78 = -o*s. Is s/(-66) - (-1184)/22 a multiple of 27?
True
Let z(n) = 1229*n**3 - n**2 - 4*n + 6. Is z(1) a multiple of 15?
True
Suppose -9022 = -81*d + 55*d. Is d a multiple of 3?
False
Suppose 28 = -2*d + 532. Suppose x + 2*x = -3*w + d, 4*w - 255 = -3*x. Is x a multiple of 27?
True
Let k(h) = h**2 + 51. Let s = -12 - -16. Suppose 0 = s*z - 2*z. Does 17 divide k(z)?
True
Let u be -2 - ((-36)/(-3))/(-3). Let q = 328 - 184. Suppose 4*c - q = 3*p, 0 = -u*c + c - 2*p + 36. Is 12 a factor of c?
True
Let h(s) = 3*s**3 - s**2 + 5. Is 10 a factor of h(3)?
False
Let z(q) = 11*q - 38. Let i be z(7). Let c = 47 - i. Does 4 divide c?
True
Let y(v) = 176*v - 364. Is y(14) a multiple of 84?
True
Suppose 218 = 5*c + 48. Let n = c - -2. Suppose 5*y - 4*y - n = 0. Does 18 divide y?
True
Let i = 1047 - 335. Is i a multiple of 8?
True
Let w(u) = -77*u - 3. Is w(-5) a multiple of 14?
False
Let z(a) = a + 0 + 9 + 6. Does 20 divide z(6)?
False
Let o(i) = 28*i**2 - 76*i + 10. Does 79 divide o(-8)?
False
Suppose -3*w = -3*d, -2*w - 5*d - 6 = -4*w. Let l(g) = 10*g + 193. Let p be l(-19). Does 15 divide (-20 - 0)/(w/p)?
True
Let f = -14 + 14. Suppose -5*p - 4*c + 758 = f, -3*p - 3*c + 389 = -67. Suppose -j - p = -6*j - 3*a, -4*j = -a - 103. Does 9 divide j?
True
Suppose -11*z - 1050 = -2*v - 10*z, 0 = v + 2*z - 530. Is v a multiple of 55?
False
Let g be (-5067)/(-99) + 2/(-33)*3. Suppose -z - 4*x = -g, 0*z + 126 = 3*z + 3*x. Does 27 divide z?
False
Suppose -41*i + 1344 = -34*i. Is i a multiple of 24?
True
Suppose -4*v + 52 = 4*i - i, i - 3*v = 0. Let u be 4/18 - (-2)/(-9). Suppose u*x + 2*x - i = 0. Is 6 a factor of x?
True
Is ((-1)/1)/((-39)/13104) a multiple of 6?
True
Suppose -136 - 2 = -2*i. Does 5 divide 23/i + (-58)/(-6)?
True
Suppose 2*c - 5*h - 7076 = 0, -2*c + 3*h + 6331 + 737 = 0. Does 98 divide c?
True
Let c = -8 + 2. Let n(f) = -10*f - 3. Is n(c) a multiple of 19?
True
Suppose -5*z + 12*z = -14*z. Let h = -25 - 10. Let i = z - h. Does 35 divide i?
True
Is (-12 - -13)/((-10)/(-560)) a multiple of 21?
False
Suppose -v + 4*c = v - 342, -4*c - 509 = -3*v. Let t = v - -61. Suppose -a - t = -7*a. Is 19 a factor of a?
True
Let k be (10/(-5))/(6/(-9)). Let y(o) = -5*o + 0*o**k - o**3 + o**2 - 5 - 5*o**2. Is 4 a factor of y(-4)?
False
Let o(q) = 14*q**2 + 3*q - 6*q + 4*q + 21*q**2. Is 11 a factor of o(-1)?
False
Let m be (-2)/8 + 18/8. Suppose -m*k = -4*k + 10. Let p = 0 + k. Does 5 divide p?
True
Let f(k) = 1543*k**2 + 4*k. Is f(-1) a multiple of 88?
False
Suppose 6*u = -42 + 30. Let m be (-2)/((-366)/(-364) - 1). Does 10 divide (u/(-4))/((-7)/m)?
False
Let q(b) = 7*b**2 + 4*b - 10. Suppose 0 = 59*i - 56*i + 15. Is q(i) a multiple of 29?
True
Let g = 55 + 3324. Is g a multiple of 12?
False
Suppose -234 = -i + 205. Does 11 divide i?
False
Suppose -4*i = 5*w - 1991, -3*w + 0 = 15. Is 36 a factor of i?
True
Let m(l) = 5*l + 34. Does 23 divide m(7)?
True
Let d be 2 + -4 + -141 + 1. Let j = d + 243. Does 32 divide j?
False
Let t = 410 + -259. Is 11 a factor of t?
False
Suppose 145*r - 138*r = 24486. Is r a multiple of 33?
True
Suppose 4*w - 5*c + 4567 = 12112, -5*w + 9459 = 3*c. Is 18 a factor of w?
True
Let v = 35 + -25. Let d be 0/(3/(-1 + 4)). Suppose d = 3*h - 5 - v. Is h a multiple of 5?
True
Let x = 16 - 14. Suppose 13 = x*k - 15. Suppose -17*w + k*w + 51 = 0. Is w a multiple of 15?
False
Suppose 0 = -y + 5*v + 22, -4*y - 2*v = -0*y - 44. Let n = y - 9. Suppose -4 = -n*k + 23. Is k a multiple of 4?
False
Suppose -4 = 2*r, -5*r + 7*r = -3*i + 782. Does 34 divide i?
False
Suppose -6*v = -5802 + 972. Is v a multiple of 39?
False
Suppose -2*t - 5*f - 19 = -178, -201 = -3*t + 5*f. Suppose 0*h - t = -2*u + 2*h, -5*h - 10 = 0. Is 8 a factor of u?
False
Let c(a) = a**2 + 17*a + 124. Is c(-19) a multiple of 9?
True
Let t(s) = -296*s - 13. Is t(-1) a multiple of 31?
False
Let o(w) = 26*w + 7. Let k be 12/8*4/3. Does 31 divide o(k)?
False
Let t(p) = p**2 - 5*p + 1. Let v be t(-5). Let o = 3 + v. Does 18 divide o?
True
Let h(s) = -16*s + 3. Let c be h(-9). Let a = c + -71. Suppose -2*p + n + 2*n = -76, 0 = -2*p - 3*n + a. Is 11 a factor of p?
False
Let w = 361 - 174. Let i = -83 + w. Is 33 a factor of i?
False
Let p(n) = -n**3 + 12*n**2 + 2*n - 16. Let m be p(12). Let w = 28 + m. Suppose 0*d + 4*d = 4*k + w, -5*d - 5*k = -95. Is d a multiple of 14?
True
Suppose -3*x + 3 + 8 = -2*f, 2*x = -3*f - 10. Suppose -5*u = -u + 52. Let z = x - u. Is 7 a factor of z?
True
Let s = 50 - 29. Suppose 0*m = -7*m + s. Does 3 divide m?
True
Let a(p) = p**3 - 4*p**2 + 2*p + 6. Let w be a(4). Suppose -2*x + 7*x = v + 4, -v = 4*x - w. Suppose 27 = 2*f - 3*j, 4*f - 70 + v = 4*j. Does 21 divide f?
True
Let s(q) = 21*q**2 - 1. Let w be s(-1). Suppose 0 = 7*i - 2*i - w. Suppose i*x - 15 - 25 = 0. Is 3 a factor of x?
False
Let z = -10 + 12. Suppose -5*f + z*f = -117. Suppose k + f = 121. Is 20 a factor of k?
False
Let r = -38 + 41. Suppose 3*a - m = 18, -a - a = r*m - 1. Is a a multiple of 5?
True
Does 2 divide -2*-10*(-2)/8 + 16?
False
Suppose 3*a - 5 = -5*z, -4*a + 2*z = -3*z + 5. Suppose -4*k - 3*r - 2*r + 231 = a, -2*k + 3*r = -99. Is 18 a factor of k?
True
Let a(r) = 2*r**3 + 119*r**2 - 76*r - 105. Is 34 a factor of a(-60)?
False
Let v = 11 + -1. Let r be v/5 + 0/1. Suppose 7*k = r*k + 140. Is k a multiple of 8?
False
Let g = -18 - -22. Suppose -2*s - 194 = -5*u, s = 5*u - g*s - 200. Is u a multiple of 7?
False
Let l(p) = -5*p + 2. Let c(b) = 25*b - 10. Let n = -9 - -31. Let s(t) = n*l(t) + 4*c(t). Is 22 a factor of s(-4)?
True
Let b = 360 + -212. Is 37 a factor of b?
True
Let n(t) = t**2 - 4*t + 7. Is 12 a factor of n(11)?
True
Let g(x) = x**3 - 10*x**2 + 11*x - 10. Let f be g(9). Let c be 2 + f + -1 + 1. Suppose -2*o + c = -3*s, -3*o + s = -2*o - 6. Is 3 a factor of o?
False
Let n = -1963 + 3569. Is n a multiple of 37?
False
Does 12 divide (-2 - 25)*(-836)/57?
True
Let q(k) = -k**2 - 20*k - 40. Suppose 68 = -15*w + 11*w. Is 11 a factor of q(w)?
True
Is 7 a factor of (0 - -16) + -10 + (43 - 0)?
True
Let m(q) = -q**3 + 5*q**2 + 13*q. Let v be m(7). Let x = 23 - v. Does 12 divide x?
False
Let h = 3537 + -1275. Is 58 a factor of h?
True
Let t(k) = -18*k**3 + 2*k**2 - 5*k - 7. Is 77 a factor of t(-3)?
False
Let k(i) = 15 - 19*i + 7*i - 24 + 5*i**2. Let l be k(9). Suppose l = -s + 5*s. Is s a multiple of 24?
True
Suppose -3853 - 1892 = -2*s + k, -4*s + 5*k + 11475 = 0. Is 149 a factor of s?
False
Suppose -72*j + 113*j = 2337. Does 19 divide j?
True
Suppose 0 = 32*z - 22*z - 3050. Does 50 divide z?
False
Let m(k) be the first derivative of -121*k**2/2 - k - 5. Does 8 divide m(-1)?
True
Suppose 4*p = -2*b - 10 - 8, -2*b + 5*p = -27. Suppose 0 = -w + 1 + b. Suppose 5*g = w*g + 180. Is g a multiple of 20?
True
Suppose 0 = 2*t + 4 - 10. Suppose l - t = 3. Is l even?
True
Let q be (2 + 26/(-10))*-5. Suppose -u + 18 = -q*u. Let k(x) = -12*x - 18. Does 30 divide k(u)?
True
Let x(g) = -29*g + 5. Let u(a) = -1. Let f(s) = -4*u(s) + x(s). Is 14 a factor of f(-5)?
True
Let x(h) = h**2 - 3*h + 5. Let z be x(2). Suppose -z*p + 3*w + 66 = p, 5*p - 4*w - 83 = 0. Let n = 39 - p. Does 11 divide n?
False
Suppose 8 = 4*p - 16. Let x(j) = -j**2 + 5*j + 6. Let s be x(p). Is 22 + (s + 1 - 4) a multiple of 16?
False
Let h = -3 + 4. Let b(l) be the second derivative of 10*l**4/3 - l**3/3 + l**2/2 - 19*l. Does 13 divide b(h)?
True
Let l be (-1 - -1) + 17 + -14. Suppose 5*d - q = -0*q + 177, 3*d = -l*q + 99. Is 11 a factor of d?
False
Suppose 3*n = -u + 11, 3*u - 14 = -5*n + 3. Suppose -5*y + 26 = 3*b, -n*y = -4*b + 5*b - 4. Is 9 a factor of b?
False
Is (-522)/(-7)*14/3 a multiple of 58?
True
Let j(r) = r**3 + 7*r**2 + 4*r - 2. Suppose -32 = 5*g + q, -g