-1)/6)*36?
False
Let b be (0 - 1) + (2 + -27)*-6. Let l = b + -30. Is 53 a factor of l?
False
Let c(s) = 2*s**2 - 8*s + 7. Let r = 48 + -43. Is c(r) a multiple of 3?
False
Let f be (-7*2)/(4 + -2). Is 16 a factor of (-630)/12*12/f?
False
Let r be -1*(-12)/((-12)/(-4)). Suppose 5*n + r*f - 72 - 556 = 0, 0 = -n - 3*f + 119. Does 32 divide n?
True
Suppose 8 = -2*l - 2*y - 0*y, 28 = -2*l + 3*y. Let t(v) = v**3 + 7*v**2 - 10*v - 5. Let d be t(l). Let w = 29 - d. Does 4 divide w?
False
Let v be (-1)/3*3 + 54. Let n = 118 - v. Is n a multiple of 17?
False
Is (4/6)/((-2)/(-1326)) a multiple of 26?
True
Suppose 0 = 2*k - 3*k + 190. Does 24 divide k?
False
Let m(q) = q**3 + 7*q**2 + 6*q. Let a be m(-6). Suppose a = 9*u - 7*u + 4. Does 22 divide (16 + -18)/(u/44)?
True
Suppose -4*z = -321 - 155. Suppose 5*i = 29 - z. Is 224/(-21)*i/8 a multiple of 6?
True
Let v be (-2)/(-8) - 46/(-8). Suppose 102 = 2*o - 4*a, 2*o - v*o + 244 = 2*a. Let u = 83 - o. Is 8 a factor of u?
True
Let u = 46 - 27. Suppose 3*m = 56 + u. Is m a multiple of 21?
False
Let g = 609 - 484. Is 2 a factor of g?
False
Let o be 30/2*(-36)/(-5). Suppose 0 = 5*i - 38 + 13. Suppose -i*g = -5*x + 140, -3*g - o = -x - 3*x. Is 12 a factor of x?
True
Let r be 2*((-36)/8 - -3). Let p be r*(-4)/((-12)/9). Is (2 - (-51)/p)*-3 a multiple of 11?
True
Let x = -82 - -86. Suppose -4*c = -4*t + 688, t = -t + x*c + 348. Does 14 divide t?
False
Is 24630/24 - (66/24)/11 a multiple of 36?
False
Let q = 10 - -70. Is 32 a factor of (q/3)/(4 + 92/(-24))?
True
Let z(c) be the first derivative of -17*c**2/2 + 4*c - 12. Is z(-4) a multiple of 18?
True
Suppose -4*r = 15*m - 17*m - 1666, 3*m + 1671 = 4*r. Is r a multiple of 23?
True
Let t(p) = 4*p**2 + 5*p - 8. Let b(n) = -7*n**2 - 11*n + 16. Let h(f) = -3*b(f) - 5*t(f). Is h(6) a multiple of 7?
False
Suppose n = 3*n - 4*a - 136, 0 = 3*n - 2*a - 216. Suppose n = -5*u + 3*u. Is (-6)/(-15)*5 - u a multiple of 8?
False
Let z(x) = -x**3 - 4*x**2 + 3*x - 5. Let a be z(-5). Suppose -2*q + 11 = a. Suppose -45 = -q*u + 63. Does 6 divide u?
True
Let o(n) = 2*n**2 - 3*n + 578. Is 71 a factor of o(24)?
False
Suppose 5*b + a - 839 = -215, 5*b = a + 616. Is b a multiple of 18?
False
Let y be -2*(-1)/6*12/1. Suppose -2*g + 300 = y*g. Is g a multiple of 25?
True
Suppose 2*c + 0*c = 0. Suppose c = s - 12 - 68. Does 39 divide s?
False
Let p be 54/14 - (-1)/7. Is (-2)/p + (-1620)/(-40) a multiple of 5?
True
Suppose 0 = q - 11*q - 90. Let l(h) = -4*h - 10. Is 9 a factor of l(q)?
False
Let w = 136 + 303. Does 19 divide w?
False
Let d(h) = h**2 - 3*h - 3. Suppose 0 = r + r + 2, -4*r - 4 = -q. Suppose 2*g = 4*k + 18, -4*k - 3*g + q = -7. Is 3 a factor of d(k)?
False
Suppose -97*j + 114*j = 12240. Is 20 a factor of j?
True
Let n be 3 + -6 + 0/1. Let r be (-16)/n*495/12. Suppose -5*x + 10*x - r = 0. Is 38 a factor of x?
False
Suppose -z = p - 38, -4*p - 3*z + 182 = -5*z. Is p a multiple of 6?
False
Suppose -24*z - 32340 = -54*z. Is 49 a factor of z?
True
Let k = -57 + 37. Is (1956/(-16))/(15/k) a multiple of 22?
False
Suppose 2*p + 39*j - 193 = 36*j, -p - 2*j + 95 = 0. Is 36 a factor of p?
False
Suppose u - 2 = 0, u - 1094 = -2*w + 730. Does 16 divide w?
False
Let f(z) = -14*z**3 + z**2 + 4. Does 8 divide f(-2)?
True
Let p(h) = -3*h**2 + 2*h - 4. Let v be p(3). Let q = 38 + v. Is q a multiple of 13?
True
Suppose 213*y - 199*y = 25410. Is y a multiple of 25?
False
Let a = -476 + 868. Suppose 10*r - a - 1548 = 0. Does 17 divide r?
False
Let k(g) = g**2 - 3*g - 90. Let r(d) = -5*d**2 + 16*d + 449. Let c(m) = -11*k(m) - 2*r(m). Let a be c(0). Let f = a - 61. Is 22 a factor of f?
False
Suppose 30*f + 109 = 31*f. Suppose 4*p - 567 = -5*s, -s - 2*p - p + f = 0. Is 23 a factor of s?
True
Let m be (-1)/2*(-24)/18*18. Suppose 6*c = m*c - 246. Is c a multiple of 4?
False
Suppose 0 = 5*v + 3*k - 2359, k + 1180 - 243 = 2*v. Is v a multiple of 48?
False
Let v be (-1 - -7)*(-8)/(-3). Suppose 7 = -h + 3*n - 6, 0 = -n. Let j = v + h. Is j a multiple of 2?
False
Let z(p) = -p**2 - p + 1. Let a(m) = -3*m + 1. Let d(v) = a(v) + z(v). Let j be d(-4). Suppose 104 = 4*u + 4*q, -5*u - j*q + 3*q + 118 = 0. Does 14 divide u?
False
Let p(u) = u**2 + 6*u - 10. Let y be p(-8). Suppose y*f - 45 = 3*f. Is f a multiple of 4?
False
Let u be 0*((-1)/(-1))/2. Suppose 2*j + 3*j - 15 = u. Suppose 2*m = -5*z - 2, j*m - 8*m + 3*z + 26 = 0. Does 4 divide m?
True
Does 12 divide 63/(6/(-16)*-2)?
True
Let g(d) = -7*d + 15. Let a be g(2). Is 21 a factor of (-2 + (a - 2))*-18?
False
Suppose -7*l + 484 = -776. Does 6 divide l?
True
Suppose 16*p - 1108 + 52 = 0. Is 3 a factor of p?
True
Suppose y = -5*w + 15, w - 12 = y - 3*w. Suppose y = -4*m + m - 5*k - 41, -5*k = -2*m + 6. Let z = m + 57. Is z a multiple of 25?
True
Suppose -17*r = -12*r. Let l be r*(4 - (-9)/(-2)). Suppose l = p - 1 - 18. Does 6 divide p?
False
Suppose -2 = y - 4. Suppose 2 = -r + y*r. Suppose -q + 15 = r*q. Does 5 divide q?
True
Let p(r) = -r**3 - 6*r**2 + 8*r + 10. Let c be p(-7). Suppose -c*x + 171 = -2*x. Does 29 divide x?
False
Let l(p) = 9*p**2 + 7*p - 5. Let h(m) = -14*m**2 - 10*m + 8. Let q(v) = -5*h(v) - 8*l(v). Let x be q(-6). Is ((-25)/10)/(2/x) a multiple of 15?
True
Let k(t) = -t**2 - 4*t**3 - 1 + 2*t**3 + 3*t**3. Let b be k(1). Is 3 a factor of b/(-2)*-6 - -10?
False
Let n = 18 + -9. Let o be ((-6)/n)/(2/(-18)). Does 7 divide (-4)/o*-1*42?
True
Let o be (1 + -34)/3 - -2. Is 15 a factor of (408/o - -3)/((-2)/6)?
False
Let y(x) = 3*x + 23. Let t be y(0). Let k = t + -60. Let u = 9 - k. Is 6 a factor of u?
False
Suppose 6*r - 976 = 1346. Let c = r + -243. Is c a multiple of 24?
True
Let p(f) = 9*f**2 - 2*f - 28. Does 20 divide p(9)?
False
Let y = 0 - 25. Let r(s) = -s**3 - 24*s**2 + 24*s + 7. Is 10 a factor of r(y)?
False
Let m(c) = 15*c**2 - 11*c - 24. Is 43 a factor of m(-9)?
True
Suppose -3 = -4*k + 9. Suppose -5*r = -3*r, k*r = 5*d - 35. Does 6 divide 9/d*2*7?
True
Suppose 3*a = -97 + 7. Suppose d + 6*o = 8*o - 26, d = o - 22. Let w = d - a. Is 4 a factor of w?
True
Suppose 5*b - b = -2*y + 18, 7 = 3*b - 5*y. Is 17/(-34) + 78/b a multiple of 11?
False
Let n be 0 - 1 - (-5)/5. Suppose n = -6*j - 3 + 21. Suppose -p - 122 = -j*p. Is p a multiple of 34?
False
Let g(z) = -z**2 + 3*z + 2. Let h be g(-1). Is 2 a factor of ((-17)/h*-2)/(-4 - -3)?
False
Suppose 0 = -13*z + 1409 + 1087. Is 6 a factor of z?
True
Suppose 51 = 8*v + 27. Suppose 0 = 2*z - v*i - 459, -5*z - 5*i + 2*i = -1137. Is 22 a factor of z?
False
Suppose -5*r + 2880 = -c, 0 = 4*r + 4*c - 5*c - 2304. Is 8 a factor of r?
True
Let f = 76 + -35. Suppose 0 = o - f - 19. Is 5 a factor of o?
True
Let a = 1137 - 936. Is 126 a factor of a?
False
Let l(z) = z - 6. Let c be l(4). Let f be 14/c*24/(-56). Suppose 2*b + 0*b + 5*t - 41 = 0, 0 = -f*t - 9. Is 7 a factor of b?
True
Let n(q) = 110*q - 102. Is n(4) a multiple of 11?
False
Let p(u) = u + 3. Let v be p(-11). Let c be 3/9 + (-2073)/9. Does 12 divide (c/(-40))/((-2)/v)?
False
Suppose 2*k + 100*t - 99*t = 3279, -3*k + t = -4911. Is 21 a factor of k?
True
Suppose 5*u - 96 - 1319 = 0. Is u a multiple of 10?
False
Let z(p) = -9*p - 11. Let v be z(-17). Suppose 4*o - 46 - v = 0. Does 14 divide o?
False
Suppose 5*o - 2*k - 484 = 2*k, 0 = 5*k - 20. Suppose 0 = 11*f - 408 + o. Is f a multiple of 3?
False
Suppose -m + 95*l - 91*l + 652 = 0, 2*l = -4. Is 28 a factor of m?
True
Does 12 divide (6/(-12))/((-4)/856)?
False
Let f(u) = -u**2 + 30*u - 9. Does 20 divide f(11)?
True
Suppose 2*s = -4*b + 3*s + 17, 10 = 5*b + s. Suppose b*t = k + 192 - 30, -2*t = k - 108. Does 18 divide t?
True
Let m(v) = -2*v + 1. Let g be m(-1). Suppose -7*p = 4*o - 3*p - 24, -17 = -2*o + 3*p. Suppose -g*c + 2*b = 7*b - 13, o = c + b. Is c a multiple of 11?
True
Let n be 6/(-12)*(1 - 33). Let f(v) = v**2 - 11*v + 4. Let m be f(11). Suppose -m*i = -0*i - n. Is i even?
True
Suppose -4*k + 3*l - 80 = 0, -5*k - 3*l = -2*k + 60. Let a = -16 - k. Does 3 divide a?
False
Suppose 25 = j + 28. Is (j*(-20)/18)/(3/189) a multiple of 35?
True
Let t(f) = -3*f**3 - 28*f**2 - 50*f + 25. Is 19 a factor of t(-14)?
False
Suppose 57*u + 1036 = 59*u. Does 74 divide u?
True
Suppose 5*i - 259 = -9. Is i a multiple of 8?
False
Let l = -11 + 12. Let d = l + 23. Suppose -p + d = -0*p. Is 6 a factor of p?
Tr