(-27)/12*(-32)/(-12). Let l be (x/(-5))/((-1)/(-25)). Suppose a = 4 + l. Does 7 divide a?
False
Let p(v) = v**3 + 5*v**2 + 5*v + 3. Let b be p(-4). Let x be (b + 4 + -3)/1. Suppose 0 = -x*q + 5*q - 60. Is 4 a factor of q?
True
Let w(r) = -176*r - 11. Let z be w(-4). Suppose 0 = 60*d - 57*d - z. Is 21 a factor of d?
True
Suppose 5*w = 3*b - 657, -b = 9*w - 14*w - 229. Is b a multiple of 21?
False
Suppose 5*x = 2*m + 2245 + 803, 2*m = 2*x - 1218. Suppose d + x = 5*y - 2*d, 2*y - 4*d = 258. Does 17 divide y?
True
Suppose 0 = -s - 12*s + 5785. Let b = s - 165. Does 24 divide b?
False
Let s(y) = -y**2 - 8*y. Let w be s(-6). Suppose -2*p = -5*q + 2*p - w, 4*p - 12 = -4*q. Suppose 4*j - 161 + 25 = q. Does 15 divide j?
False
Let g(j) = -44*j - 54 + 3*j + 6*j. Does 19 divide g(-7)?
False
Suppose 2 = 3*c - 2*k - 4, 5*c - 17 = k. Suppose -6 = -5*q + c. Suppose -l = q*l - 48. Is l a multiple of 4?
True
Let f be (3 - 4)/((-2)/(-10)). Let x = 4 - f. Let c(g) = 4*g - 6. Is c(x) a multiple of 10?
True
Let g(k) = 2*k**2 - 11*k + 13 + 5*k - 17. Let s be ((-2)/(-4))/((-1)/(-14)). Is 13 a factor of g(s)?
True
Let h = 1731 + -693. Is h a multiple of 18?
False
Suppose 3348 = 13*i + 18*i. Does 9 divide i?
True
Let d(c) = -c**3 + 8*c**2 + 3*c - 12. Suppose 2*a - 22 + 6 = 0. Is d(a) a multiple of 2?
True
Let b(c) = 12*c + 91. Is 12 a factor of b(12)?
False
Let k(a) = -19*a - 227. Does 11 divide k(-31)?
False
Let d be (-21)/6 - 2/4. Let p be -1 + 6/(d/(-2)). Suppose 0*o + 62 = 3*r - 2*o, p*r - 4*o - 52 = 0. Does 8 divide r?
False
Suppose 0 = 11*z - 5937 - 2016. Does 11 divide z?
False
Let p(t) = -t + 8. Let o be p(4). Suppose -2*q = 2*q + 20, -o*d + 143 = 5*q. Suppose 2*y - d = -y. Is y a multiple of 5?
False
Let g(u) = -60*u**3 - 3*u**2 - u + 9. Is 30 a factor of g(-3)?
False
Let g = 14 + 40. Let n = g - 34. Is n a multiple of 8?
False
Let d(f) = -f**2 + 5*f + 1. Let u be d(5). Let p be 2/(2/4*u). Suppose 2*q - 94 = p*c, -q - 92 = -3*q + 3*c. Does 13 divide q?
False
Let h(w) = -w**2 + 24. Suppose 2*d + 18 = 5*d + 3*n, 5*d - 2 = 2*n. Suppose 2*p - 4*k + 20 = -d*p, 0 = 2*p - 4*k + 20. Does 12 divide h(p)?
True
Suppose x - 221 = -2*b, 20*x = b + 19*x - 115. Let r(o) = 9*o**2. Let k be r(1). Suppose 0 = 7*j - k*j + b. Is j a multiple of 28?
True
Suppose -p - 5*y - 1 = 0, 2*p + 2*y = -3*y + 8. Does 3 divide (p/12)/((-3)/(-108))?
True
Suppose 0*x = -5*g - 2*x + 890, -3*x + 165 = g. Is g a multiple of 36?
True
Let y = -122 + 128. Is 18/24*35*64/y a multiple of 20?
True
Let x be 1 - (2 - -1 - 6). Suppose x = 3*h - 2*h. Suppose -31 = -j - h*p, p - 1 = -0*p. Does 9 divide j?
True
Let s be 0*(1*(-2 + 1) + 2). Suppose -2*u = b, s*b = 3*b + 2*u - 20. Does 5 divide b?
True
Is (-4592)/123*(-270)/21 a multiple of 96?
True
Suppose 2*v + 44 = -3*b - 0*b, 120 = -4*v + 2*b. Let y = v + 8. Does 29 divide (-878)/(-8) + (-5)/y?
False
Let g be (4 + 17)*(3 + -2). Let o = g + -7. Is o a multiple of 3?
False
Suppose o = 4*k + 317, -o = o + 6. Let z(x) = -31*x**2 + 1. Let r be z(-1). Let q = r - k. Does 14 divide q?
False
Is 690/54 + -13 + 10181/9 a multiple of 87?
True
Suppose -5*d + 3*a = -23, d - 2 = -4*a + 2*a. Suppose 5 = 3*o - d. Suppose 0 = 2*x - 2*c - 78, 0*x - 197 = -5*x + o*c. Is x a multiple of 10?
True
Let d = 4 - 8. Let f = 0 - d. Suppose -5*x + 0*c + 34 = -2*c, -3*x + f*c = -26. Is 6 a factor of x?
True
Let o(r) = r**2 + 14*r + 5. Let k be o(-14). Suppose 2*b + m - 131 - 17 = 0, -k*b = 4*m - 376. Does 11 divide b?
False
Suppose 2*w - 21 = 3. Suppose -6*t + t + z - w = 0, 0 = -2*t + z - 3. Does 5 divide t/(-12) - 225/(-12)?
False
Let f be 3/9 - (-5)/3. Suppose -5 - 3 = -4*h + f*i, -5*i = 3*h - 6. Is 17 a factor of h - 2 - 3 - -33?
False
Suppose -2*z + 66 = -4*z. Let a = 92 + z. Let d = -31 + a. Does 5 divide d?
False
Suppose 70 + 90 = 5*q. Suppose -4*g + 4*d = -q, -20 = -3*g + 2*d + 2*d. Suppose g + 27 = 3*r. Is 13 a factor of r?
True
Suppose -y + 125 = -6*y. Let a = -23 - y. Is 19 a factor of 18/(-12) - (-49)/a?
False
Suppose 127*t - 4 = 131*t, -2*t = p - 6746. Does 14 divide p?
True
Let y(u) = -8*u - 3. Let a(w) = -23*w - 10. Let o(l) = 3*a(l) - 8*y(l). Let t(z) = 4*z**2 + 12*z - 4. Let s be t(-3). Is 7 a factor of o(s)?
True
Let t(k) = -k**2 - 5*k - 3. Let s be t(-8). Let c = s + 140. Suppose 0*d + c = 4*d - 5*n, -n = d - 17. Is 11 a factor of d?
True
Suppose -p + 37 = 35. Suppose 32 = p*v - 4*l, 0*l + 10 = 5*l. Is 10 a factor of v?
True
Suppose -2*a = -6*a - 4. Is (-3 + 208)/(-5)*a a multiple of 10?
False
Suppose 3*i + 3*j = 132, 4*j - 113 - 107 = -5*i. Is 4 a factor of i?
True
Let u(c) = -c**3 - 8*c**2 - 18*c - 17. Is 15 a factor of u(-7)?
True
Let f(g) = -g**2 - 3*g - 7. Let t(k) be the first derivative of k**3/3 + 7*k**2/2 + 15*k + 1. Let d(l) = -5*f(l) - 2*t(l). Does 19 divide d(4)?
True
Let f(h) = h**2 + 6*h - 2. Let m be (2/5)/((-2)/30). Let p be f(m). Is 11 a factor of (p/(-2))/(16/176)?
True
Let n = 53 - 49. Suppose 3*o + 18 = -i + 45, 0 = -3*i - n*o + 96. Is 11 a factor of i?
False
Let s(a) = -a + 6. Let v be s(6). Suppose v = -l + 2*l + g - 124, -4*l - 2*g = -494. Let k = l + -76. Does 19 divide k?
False
Let y = -5 + 7. Suppose -5*u - 3 = 5*m - 23, -u + 7 = -y*m. Suppose 2*d - 34 = -2*k, 5*k - u*d - 77 = k. Is 6 a factor of k?
True
Suppose 55*l + 6*l = 83448. Is 57 a factor of l?
True
Suppose -2 - 4 = -2*z. Suppose -3*g + 5*g = -l + 296, 4*l - 449 = -z*g. Is 31 a factor of g?
False
Let u(m) = -5*m**3 - 4*m + 4. Let r be u(-4). Suppose 0 = -s - 4*s + r. Is s a multiple of 19?
False
Suppose -127*o - 5*c = -128*o + 560, 2 = -2*c. Is o a multiple of 15?
True
Let j = 17 + -17. Suppose j*g + 78 = g. Is g a multiple of 39?
True
Suppose 24 = 4*f - 8*f. Let m(x) = -2*x**2 - 4*x + 8. Let j(b) = -2*b**2 - 4*b + 8. Let l(y) = 4*j(y) - 5*m(y). Does 11 divide l(f)?
False
Is 54 a factor of (-1)/4 - -21*463/12?
True
Suppose 4*h = 3*f - 24, 8*f - 3*f + 6 = -h. Let a(w) = -6*w**2 - 2*w + w**3 - 5 - 15*w**2 + 27*w**2. Is a(h) a multiple of 2?
False
Let p(l) = -2*l**2 - 8*l - 8. Let g be p(-6). Let n = -24 + 106. Let k = g + n. Does 17 divide k?
False
Let p(k) = k**2 + 6*k - 5. Let h be p(-5). Let d = h - -12. Suppose 2 - 22 = -d*x. Is x a multiple of 10?
True
Let f(o) = o**2 + 11*o + 1. Let k be f(10). Suppose 0 = 4*a + 11 - k. Does 46 divide a?
False
Is (((-810)/(-35))/(-9))/(2/(-1120)) a multiple of 18?
True
Let s(b) = -b**3 + 8*b**2 + 2. Let m be s(8). Let h(o) = -3*o**m - 75*o + 75*o + 11*o**3 + 2. Is 26 a factor of h(2)?
True
Let i(z) = -15*z - 2. Let b(q) = q - 1. Let j(w) = b(w) + i(w). Let a be j(-2). Let o = -19 + a. Is 3 a factor of o?
True
Suppose 3*j + h - 4*h - 1860 = 0, 5*h = -j + 620. Suppose -15*u + j = -955. Is u a multiple of 8?
False
Let a = -114 - -116. Suppose 2*s = -a*s + 872. Is 43 a factor of s?
False
Suppose l = -3*l - s - 80, s = -3*l - 60. Let y = l - -5. Is 16*(-1 + y/(-6)) a multiple of 12?
True
Let p(u) be the first derivative of 26*u + 7 + 1/2*u**2. Is 26 a factor of p(0)?
True
Let d = 212 + 160. Is 12 a factor of d?
True
Let f(p) = -46*p**2. Let c be f(-1). Suppose 10*u - 15*u = -5*q, 0 = -q - u - 4. Let s = q - c. Is 11 a factor of s?
True
Let l = 40 - 34. Suppose -17 = -l*k + 4*k - w, -31 = -4*k - 5*w. Is 9 a factor of k?
True
Suppose 28461 = 17*o + 5358. Is 24 a factor of o?
False
Suppose -18312 = -92*u + 8*u. Does 3 divide u?
False
Suppose 4*v - 353 = -1. Let a = 232 - v. Does 10 divide a?
False
Is 34 a factor of ((-2)/(2/(-467)))/1?
False
Let q(i) = -8*i - 5. Let g be q(-2). Suppose -v + g = -2*r, -2*v + r = -v - 8. Does 4 divide v?
False
Let f(a) = -a**3 + 16*a**2 - 13*a - 8. Suppose -30 = -0*i - 2*i. Is 11 a factor of f(i)?
True
Suppose n + 220 - 418 = 0. Is n a multiple of 15?
False
Let z(b) = -30*b - 8. Suppose 1 = -t - 3. Is 23 a factor of z(t)?
False
Let b be ((-8)/(-1))/((-10)/135). Let x = 257 + b. Suppose -3*w + 223 = -x. Is w a multiple of 31?
True
Suppose -9*q = -6*q - 126. Suppose 65*p = 67*p - q. Is p even?
False
Let p = -32 + 29. Is 4/12*p - -37 a multiple of 9?
True
Let w = -43 + 46. Suppose 0 = 2*s - 8, -w*y - 3*s + 95 = -253. Is 14 a factor of y?
True
Let y = -48 - -48. Suppose 0 = 2*g - 4*z - 62, -3*g + 98 = -y*g - 5*z. Is 18 a factor of g?
False
Let y be -236 - -2*(-5)/(-10). Let f = -167 - y. Does 17 divide f?
True
Suppose 4*d