p. Suppose -7*v - 3*q = -3*v - 55, 3*v - z*q - 60 = 0. Is v a multiple of 4?
True
Suppose -2*p - 72 = -p. Does 11 divide (-2536)/p + 2/(-9)?
False
Let d(y) = 23*y - 8. Suppose -3*m + 10 = -8. Let z be d(m). Suppose 7*g = 12*g - z. Is 7 a factor of g?
False
Suppose -2*b + 6 = -5*n - 0*b, 9 = 3*b. Let m(c) = -c**2 + 0*c - 2*c + 3*c + 14. Is 7 a factor of m(n)?
True
Suppose 0*k - o - 3548 = -5*k, -5*k = -4*o - 3542. Is 7 a factor of k/14 + 14/49?
False
Let y = -61 + 88. Let c(r) = -r**3 - 19*r**2 + 16*r - 67. Let g be c(-20). Let o = y - g. Is 5 a factor of o?
False
Let o(n) = n**3 - 2*n**2 + 3*n + 3. Let d be o(-2). Let c = d - -31. Is c a multiple of 2?
True
Suppose 0 = 16*v - 4722 - 6894. Is v a multiple of 11?
True
Let t(c) = -c**3 + c + 53. Let n be (0 - 0)*(-1)/2. Is t(n) a multiple of 19?
False
Let k(y) = -2 + 3*y**2 - 6*y**3 + 2*y**2 + y - 3*y**2 + 20*y**3. Let r be k(1). Suppose -2*j = -2*s + s - 111, r = -3*s. Is 11 a factor of j?
False
Suppose -86*a = -77*a - 5778. Is 3 a factor of a?
True
Let l be 2/4 - 2 - (-55)/10. Suppose l*y + v = 9*y - 778, 2*y - 304 = 4*v. Is 38 a factor of y?
False
Let g(s) = -s**2 - 11*s. Let j be -2*(-4 + 28/8). Let a(u) = -u - 1. Let k(m) = j*g(m) - 3*a(m). Is k(-5) a multiple of 15?
False
Let f = 608 + -242. Does 11 divide f?
False
Suppose 4*x = 3*t + 2007, x = 2*x - t - 501. Is 12 a factor of x?
True
Let y = -9 - -11. Let a be y/(-8) - 776/(-32). Let m = a + 14. Does 19 divide m?
True
Let s(w) = 19*w - 16. Let g = 77 + -71. Does 14 divide s(g)?
True
Let r = 14 + -20. Let g = r - -23. Is 5 a factor of g?
False
Let g be 42/9 - (-2)/6. Let y(n) = n**2 + 3*n - 4. Is y(g) a multiple of 22?
False
Suppose 98 = -5*c + 108. Let q(r) = -r**2 + 5*r. Let x be q(5). Suppose 0 = c*w - 8, -2*z + 3*w + 18 - 2 = x. Does 4 divide z?
False
Let t(d) = -d**3 + 11*d**2 + 7*d + 19. Suppose -3*p = 12, 5*p = w - 17 - 14. Does 16 divide t(w)?
True
Is 25 a factor of 3/(-1) - 13/(26/(-1806))?
True
Let x(m) = -m - 3. Let t be 1 - (-2 + (-24)/(-3)). Let p be x(t). Suppose -5*u = -2*y + 30, -8 - p = 5*u. Is y a multiple of 3?
False
Suppose -30*r = -31*r - b + 318, r + 5*b = 322. Is 5 a factor of r?
False
Let t = 95 - 64. Let h = t - 8. Does 12 divide h?
False
Let y(t) = 2*t**2 - 5*t - 6. Let h be y(-2). Suppose 2*g + 4*m + 9 = -m, -m - h = -3*g. Is g a multiple of 2?
False
Let g = 259 + -177. Suppose g*b - 85*b + 333 = 0. Does 17 divide b?
False
Let r = 84 + -147. Is (-600)/(-7) + (-18)/r a multiple of 13?
False
Let q(j) = -j**2 - 4*j + 25. Let b be q(-8). Suppose -4*w = -0*w - 16, 4*v + 4*w = 156. Let k = v - b. Does 21 divide k?
True
Suppose 0 = -2*s + 4*s + g - 6, -4*s + g + 18 = 0. Suppose i - 43 = 4*i - 5*v, -2*i - 58 = s*v. Let m = i + 58. Is 28 a factor of m?
False
Let n be (-8 + (-4 - 2))*(-14)/4. Let g = 97 - n. Is g a multiple of 8?
True
Suppose -2*u + 159 + 327 = 4*m, 4*u = -m + 125. Suppose 0 = 3*h - 2*j - m, 0*h + 2*h - 78 = 4*j. Is 16 a factor of h?
False
Suppose 3*i - w + 259 = 4*w, 2*w = i + 87. Let k = i + 158. Does 12 divide k?
False
Let m = 74 + -87. Let p(h) = -24*h - 8. Is p(m) a multiple of 19?
True
Let z(t) = 2*t**2 + 5*t + 4. Let q be z(-3). Suppose 0*r + q*r = 126. Is 9 a factor of r?
True
Let y be (-3)/(-3)*1*10. Let h(n) = -n**3 + 9*n**2 + 10*n - 7. Let b be h(y). Does 14 divide -7*7/(b/6)?
True
Suppose w - u = 2*w - 273, -274 = -w - 2*u. Is 17 a factor of w?
True
Let b(d) = -4*d - 3. Let i be b(-2). Suppose -i*t + 27 = 3*y, 4*y - 1 = 5*t - 0. Suppose y*k - 2 = 54. Does 7 divide k?
True
Let d = 43 + -26. Suppose -4*y - 5*o = 20 - 296, 0 = 2*o - 8. Suppose 4*l + d = g, -3*g - 2*l = -l - y. Does 17 divide g?
False
Let y = 24 - 19. Suppose -138 = -y*n + 72. Is n a multiple of 21?
True
Is 5/(-6) - 6618/(-36) a multiple of 61?
True
Is 6 a factor of 143/((-600)/55 - -11)?
False
Suppose -2*t + 42 = -5*t. Let p = -8 - t. Is 8 a factor of ((-74)/(-6))/(2/p)?
False
Let d be (-2)/(-1) + (18 - 17). Let y = d + -3. Let f(t) = -t**3 - t**2 + t + 18. Is f(y) a multiple of 6?
True
Let b(k) = -5*k**3 - 2*k**2 - k. Let o be b(-1). Suppose 0 = -o*c - 0*c. Suppose 5*q - 9*q + 304 = c. Does 19 divide q?
True
Let b(c) = -15*c - 559. Does 73 divide b(-55)?
False
Let w(v) = -155*v - 491. Does 12 divide w(-25)?
True
Suppose 0 = x - 234 + 33. Suppose -2*u + 5*k + 437 = 0, 7*u + 2*k - 703 = 4*u. Suppose -6*z + x = -u. Does 18 divide z?
True
Suppose 3*x = -n + 14, -9 = -4*x + 5*n + 16. Suppose 187 = 2*j - i, -i + 372 = 4*j - x*i. Does 21 divide j?
False
Let n be 12/(-15)*(-15)/(-6). Let s(l) = -2*l**3 - 3*l**2 + 2. Let c be s(n). Suppose d = c*d - 95. Is d a multiple of 5?
False
Suppose -31806 = 17*n - 35*n. Does 67 divide n?
False
Let z be 3*2*4/8. Suppose 4*h = 4*m - 52, -5*m + z*h + 19 + 48 = 0. Is m a multiple of 14?
True
Let o = 15 - 17. Let l = o + 1. Is 2 + (l + 1)*-1 even?
True
Is (-10 + 160)*(-12)/(-9) a multiple of 4?
True
Let v be 21/9 - (-2 - (-21)/9). Suppose -v*r + 162 = 2*p, -r - 4*p + 45 = -51. Is r a multiple of 4?
True
Is (-6)/14 + 11 + (-15180)/(-42) a multiple of 12?
True
Suppose -2*w + 1138 = -920. Suppose 2*o + 389 = w. Suppose 2*c = s + 135, 6*c - c + s = o. Is c a multiple of 16?
False
Let x = -57 - -58. Is (3/(-2))/((-175)/172 + x) a multiple of 7?
False
Let g be (-12)/(-9)*(1 + -10). Let i(m) = m**3 + 12*m**2 + 6*m - 3. Let r be i(g). Let v = 129 + r. Is 18 a factor of v?
True
Let p(o) = 20*o**2 + 5*o - 4. Let r(i) = -21*i**2 - 6*i + 5. Let h(a) = 6*p(a) + 5*r(a). Let x = -92 + 91. Is 9 a factor of h(x)?
False
Let m(x) = x**3 - 3*x**2 + x. Let h be m(3). Suppose h*u - 3*w = w + 17, u - 3*w - 14 = 0. Let j(i) = -25*i**3 + i**2 + i. Is 12 a factor of j(u)?
False
Let i be (-2 + 3)*-2 + 0 - -6. Suppose -14*j + 190 = -i*j. Is j a multiple of 8?
False
Suppose -4*r + 38 = -18. Does 2 divide r?
True
Let r be 192/112 + 4/14. Suppose 0 = 3*t - 5*w + 76 - 237, -r*t = w - 90. Does 15 divide t?
False
Suppose 62 = 2*a + 8. Let i = 2 - 13. Let w = i + a. Is w a multiple of 9?
False
Let y(w) be the second derivative of w**4/12 - 2*w**3/3 + 3*w**2/2 - 13*w. Suppose 0 = -f - l - 3*l + 7, 0 = -f - 5*l + 10. Is y(f) a multiple of 14?
False
Let h(m) = -m**3 - 10*m**2 - 3*m - 9. Let b be h(-10). Suppose 6*x + b = 9. Is 2/((x - -1)/(-26)) a multiple of 11?
False
Suppose -11*r + 1080 = -19*r. Let s = 0 - r. Is 27 a factor of s?
True
Suppose -2*a + r = -2631, 0 = -4*a - 7*r + 5*r + 5242. Does 10 divide a?
False
Let z(l) = l**2 + 5*l + 6. Let d be z(-4). Suppose -341 = -d*y - 113. Is 23 a factor of y?
False
Is 18 a factor of (-6716)/365*(-29 - 1)?
False
Suppose 0 = 5*z - 11*z + 156. Suppose 0 = -5*r + 3*b + 575, 4*b + z = -r + 141. Is 17 a factor of r?
False
Suppose -5*y - 2*w + 4038 = -1066, 0 = 3*y + 5*w - 3070. Is y a multiple of 15?
True
Let g(x) = -x**2 - 6. Let a be g(7). Is 40 a factor of 2/11 + (-11100)/a?
False
Let g be (-2)/(-14) + 3/(-21). Suppose 0*p + 5*p - 800 = g. Suppose 2*i = 7*i - p. Does 7 divide i?
False
Suppose -5*v = -2*v + 9, 19 = x - 5*v. Does 9 divide (-4 + -176)*(-2)/x?
True
Let o(m) be the first derivative of m**4/4 + 8*m**3/3 + 3*m**2 + 3*m - 11. Is o(-5) a multiple of 12?
True
Let x be 198/4 - 3/6. Suppose 0 = -2*u + u + 2*z + x, 0 = -2*u + z + 89. Does 13 divide u?
False
Is 7 a factor of 6*(-20)/6*(-92)/10?
False
Suppose 242 + 164 = 3*c - 2*v, 4*c = -4*v + 548. Does 34 divide c?
True
Suppose -57*t = -24*t - 3960. Is 40 a factor of t?
True
Suppose -5*w + a = -676, -45*w = -43*w - a - 268. Is w a multiple of 8?
True
Let a = -5 - -9. Suppose 3*j + 28 = u, -5*u = -a*u - 1. Let v = 42 + j. Is 11 a factor of v?
True
Suppose 3*s - 65*s = -97650. Does 35 divide s?
True
Let l(c) = -2*c**2 - 4*c + 5. Suppose 0 = 5*k + 4 - 9, 4*b - k + 17 = 0. Let z be l(b). Let f = z - -36. Is f a multiple of 13?
False
Does 8 divide (-36)/(-162) + 2588/18?
True
Let n = -94 - -37. Is 31/2 - n/38 a multiple of 6?
False
Let t(a) = -2*a - 10. Let f be (30/10)/(6/(-8)). Let z be t(f). Is (0 + 2/z)*-34 a multiple of 17?
True
Suppose 0 = 2*x + 5*l - 185, 2*l + 79 + 27 = x. Is 10 a factor of x?
True
Suppose 9*h - 785 = 1906. Is h a multiple of 23?
True
Suppose 0 = -5*x + 2*x + 15. Suppose 0 = n - 4*t - 148, 88 = -x*n + t + 790. Is 35 a factor of n?
True
Suppose -k + 382 = 2*w, 0 = 53*w - 48*w + 4*k - 961. Is w a multiple of 18?
False
Let