). Is 17 a factor of (-5)/x*(-510)/(-25)?
True
Suppose -11*q - 112 = -8*q - 2*o, 0 = -3*q + 4*o - 110. Let f = 34 - q. Does 18 divide f?
True
Suppose 544 = 2*l - 5*v + v, 4*l - 4*v - 1072 = 0. Does 34 divide l?
False
Let c = 38 - 14. Suppose c*v = 23*v + 82. Does 12 divide v?
False
Suppose 0 = 2*y - 8 + 12. Let k be (-1 + 1)*(-1)/y. Suppose -s + 136 = -k*s. Does 34 divide s?
True
Let g = 99 - 94. Suppose -g*t - t + 132 = 0. Is 5 a factor of t?
False
Let z(t) = -18*t + 2. Let y be z(-2). Suppose 3*o + 3*x + 2*x = -17, y = -4*o + x. Does 8 divide -3*30/o - 2?
True
Is (-30)/(-10) + 615 + 0 a multiple of 51?
False
Let w = -701 + 1235. Is w a multiple of 14?
False
Let s(r) = -r**2 - 6*r - 2. Let q be s(-5). Let c = -307 + 425. Suppose 4*t = q*x - c, 2*x + 4*t - 7*t - 80 = 0. Is 11 a factor of x?
False
Suppose -8 = 4*v, 3*p + 896 = 6*p + 2*v. Is 19 a factor of p?
False
Suppose -5*a = 2*t - 215, -2*t + 11 - 1 = 0. Suppose -2*p + a = 2*h + h, -2*p - 2*h + 38 = 0. Is p a multiple of 8?
True
Let n(j) = -j**3 - 6*j**2 + 6*j - 15. Let m(c) = -c**2 + c + 1. Let y(b) = 3*m(b) + n(b). Let i be y(-10). Is (-72)/(-27)*(-81)/i a multiple of 29?
False
Let w(s) = -3*s + 10*s + s**2 + 6 + 9 + 0*s. Is w(-8) a multiple of 2?
False
Is ((-8)/14)/(-7 + 25225/3605) a multiple of 15?
False
Let i(l) be the first derivative of 5*l**2 + 13*l + 3. Let x(s) = -15*s - 20. Let w(j) = -8*i(j) - 5*x(j). Is w(-11) a multiple of 17?
True
Let j(p) = -p**3 + 12*p**2 - 9*p - 14. Let u be (2*(-30)/12)/(1/(-2)). Does 7 divide j(u)?
False
Suppose -2*z - 621 = 5*d, -2*d + 1509 = -8*z + 3*z. Let n = -204 - z. Is 15 a factor of n?
False
Let s = -4790 - -6922. Is 12 a factor of s?
False
Let w be 85/20 + (-2)/8. Suppose -w*a + 8 = -3*a. Let z = 26 - a. Is z a multiple of 17?
False
Let c(z) = -13*z**3 - 10*z**2 - 6*z - 9. Does 15 divide c(-3)?
True
Let u(z) = 10*z. Let l be 6 + 5 - (1 - -1). Suppose -4*f - 12 = -4*m, 0*m - l = -3*m - 2*f. Does 6 divide u(m)?
True
Let s(x) = 3*x**2 - 18*x + 34. Is 10 a factor of s(2)?
True
Let n(p) = 2*p**2 - 32*p - 58. Is n(-14) a multiple of 17?
True
Suppose 6*x = 19 - 1. Suppose 0 = -5*d + x*u + 546, 2*d + d + 2*u = 320. Is 36 a factor of d?
True
Let a(b) = -256*b**3 - 2*b + 3. Let p be a(1). Let r = p + 430. Is 35 a factor of r?
True
Let p = -1 + 3. Let z(w) = 3*w**3 + w**2 - 4*w + 3. Let f be z(p). Suppose s + 3*v = f, 5*s + 0*v - 65 = -5*v. Does 8 divide s?
True
Let d = 5 - 3. Suppose -198 = -2*o + 4*r, 9*r - 4*r + 197 = d*o. Is o + (-3 - (-2 - 3)) a multiple of 29?
False
Let a = -597 - -674. Does 2 divide a?
False
Let d(o) = o**3 - 5*o + 2*o**2 - o + 0 - 6 - 4*o**2. Is 5 a factor of d(5)?
False
Suppose x = -1, 75 = -2*z + x - 4*x. Does 3 divide z*(-1 + -1)/6?
True
Suppose 2*t = -3*t + 35. Suppose 0 = 3*n + t*a - 6*a - 211, -3*n + 201 = 3*a. Is n a multiple of 23?
False
Let k be 1/3 + 1106/21. Suppose -n = -3*r + k, 3*r - 2*r = n + 17. Is 12 a factor of r?
False
Is ((-968)/(-72))/(3/36)*3 a multiple of 13?
False
Is -6*(108/(-8) + 9) a multiple of 7?
False
Let p(f) = f**2 - 13*f + 7. Does 7 divide p(-8)?
True
Let c = 244 - -322. Is 25 a factor of c?
False
Let j(a) = 6 - 1 - 3 + 2*a + 0 - a**3. Let x be j(-2). Suppose 108 = -3*m + x*m. Does 9 divide m?
True
Suppose -5*p + y + 1079 = 340, -4*p - 3*y + 576 = 0. Does 7 divide p?
True
Suppose 80*t - 6600 = 85*t. Does 20 divide (2 - 1)/((-12)/t)?
False
Let r = -105 - -171. Suppose 4*y - 80 = 8*y. Let j = y + r. Is j a multiple of 10?
False
Suppose -59 = -3*a - 20. Let l = a - -9. Let n = 92 - l. Does 35 divide n?
True
Is 4 a factor of (-2424)/(-32) + 6/24?
True
Let g(i) = 14*i - 3. Suppose 0 = -2*j + 7*p - 2*p, 0 = -j - 4*p. Suppose -5*a = -2*u + 22, -5*a = -5*u - j*u + 25. Is g(u) a multiple of 9?
False
Suppose -662 = 5*u - 7*u - 3*l, -2*u + 658 = l. Is 28 a factor of u?
False
Suppose -3*w + 3*p = -177, -112 + 9 = -2*w - p. Is -1 - (-960)/w - 4/(-18) a multiple of 4?
False
Suppose 6*x - 13*x + 9576 = 0. Suppose -2*p + 10*p - x = 0. Is p a multiple of 12?
False
Suppose -2 = -3*f + 4. Let u be f/(-7) + 72/56. Suppose 7 = -m + i - 4*i, 3*m + 4*i = -u. Is m a multiple of 3?
False
Let n(p) = -120*p + 501. Is n(-15) a multiple of 13?
True
Suppose 0 = -2*g - 3*g + 60. Suppose -g = 2*p - 5*v, -5*p + 4*v - v - 30 = 0. Does 32 divide p/(-36) - (-383)/6?
True
Let b(r) = -12*r**3 - 10*r**2 + 7. Does 18 divide b(-4)?
False
Suppose -3*p + 2*u = -309, -5*p + 529 = 2*u - 2. Suppose 4*o + p = 9*o. Does 21 divide o?
True
Suppose 0 = 2*q - 25 + 19. Suppose 525 = 8*m - q*m. Is 35 a factor of m?
True
Let y be -1*0/((2 + -4)/(-1)). Suppose 3*j - i - 471 = y, -i - 2*i = 2*j - 303. Is 15 a factor of j?
False
Suppose 5*p = p - 5*s - 19, -2*p - 16 = -4*s. Is 51 + -2 - (p + 3) a multiple of 13?
True
Does 27 divide (-267 - 1*-2)/(84/(-168))?
False
Let m be (1/1 + -2)*25. Let j = -810 - -582. Does 13 divide j/(-10) - 5/m?
False
Suppose 3*v = -0*v + 4*h + 3453, 2*h = -5*v + 5781. Does 55 divide v?
True
Suppose 14 = 2*j + j - 2*i, i - 2 = -3*j. Suppose -4*k = -5*h + 250, 41 = -2*h + j*k + 141. Is 10 a factor of h?
True
Let w = -29 + 32. Suppose -w*g + 56 = -37. Does 3 divide g?
False
Let p(x) = -20*x - 4. Let n be p(-2). Suppose -n = -0*c - c. Suppose 2*h - 20 - c = 0. Does 28 divide h?
True
Suppose -2*z - 1 + 7 = 0. Let w(q) = -8*q + 2. Let n be w(1). Does 16 divide (z - 0)/(n/(-64))?
True
Let m(h) = h + 345. Does 13 divide m(19)?
True
Suppose 2*c - 17454 = -5*d - 5466, 5*d + 4*c = 11996. Does 31 divide d?
False
Suppose -2*q + 2*u + 12 = -0*u, -q = u + 2. Suppose q*g + 165 = 5*g. Is g a multiple of 11?
True
Suppose 5*t + 5*c = 1270, -5*t - 2*c = -6*c - 1288. Does 23 divide t?
False
Let r = -68 - -67. Is 2 a factor of (-9 - r)/(-4) + 3?
False
Let t(z) = -z**2 + z + 1. Let o be t(2). Let c be 0 - (-120)/(o - -2). Does 14 divide ((-3)/(-6) - 0)*c?
False
Let y(h) = -h**3 + 15*h**2 + 19*h + 9. Let q be (-72)/27*(-6 - 0). Is y(q) a multiple of 26?
False
Let i be (-664)/(-20) + -1 + (-12)/(-15). Suppose -3*z + c - i + 284 = 0, -2*z = 5*c - 139. Does 13 divide z?
False
Suppose -4*o + 5586 = 17*o. Is 19 a factor of o?
True
Suppose -54*h + 42*h = -1932. Is 7 a factor of h?
True
Let x = 158 + -53. Does 5 divide x/20 + (-3)/12?
True
Suppose 8*u - 147 = 3*u - 3*s, 5*u - 145 = -5*s. Let c = 241 + -239. Suppose n - u = -c*n. Is 10 a factor of n?
True
Suppose 8*o = -12*o + 4340. Suppose 7*w = -0*w + o. Is w a multiple of 31?
True
Let r(z) = -10*z. Let d be r(1). Let i = -7 - d. Is 11 + i/(-6)*6 a multiple of 3?
False
Suppose -36 = -3*f - 0*f. Let c = 15 - f. Suppose 2*b - 19 - c = 0. Is b even?
False
Let l(i) = i**2 + 1. Let y be l(11). Let n = y - 57. Does 8 divide n?
False
Let v(t) = t**3 + 39*t**2 + 2*t + 32. Does 100 divide v(-38)?
True
Suppose -12*a + 14*a - 1700 = 0. Does 34 divide a?
True
Let l = -28 - -31. Let p(j) = 7*j**3 - 2*j**2 - 5*j + 5. Let k be p(l). Let a = k + -77. Is a a multiple of 31?
False
Suppose -3*h - 2*h = -40. Let i(o) = o**3 - 8*o**2 - 10*o + 4. Let u be i(10). Suppose 0 = -h*v + 12*v - u. Does 13 divide v?
True
Let j(r) = r**2 - 28*r + 13. Let q be j(28). Let n(o) = -o**3 + 15*o**2 - 4*o - 26. Is n(q) a multiple of 20?
True
Suppose 5*z + 2*m + 25 = 0, -z - z + 4*m = -14. Does 8 divide ((-81)/z - 4)*1?
False
Suppose 12*a = -6177 + 16653. Is a a multiple of 14?
False
Let f(g) = -9*g + 148. Is 14 a factor of f(-10)?
True
Suppose 2*f - 18 = -3*w, -12 - 5 = -3*f - 2*w. Suppose 4*v - 4*t - 84 = 0, -4*v = -5*v - f*t + 25. Is 10 a factor of v?
False
Suppose 0 = -3*o - 3*o + 450. Is 15 a factor of o + 0*(-4)/(-16)?
True
Let z(q) = -q**3 - 8*q**2 + 5*q - 5. Let n be z(-9). Let f be n + 0 - (1 + 0). Is 24/10*f/12 a multiple of 2?
True
Suppose 25287 = 21*d - 12219. Is 94 a factor of d?
True
Let h = -11 + 20. Suppose -2*k = -171 + h. Is k a multiple of 22?
False
Suppose r = -2*u + 4 + 10, 8 = 4*u - 3*r. Suppose -h + g + 116 = -g, -u*h = 4*g - 650. Is h a multiple of 14?
True
Let t(o) = -o + 14. Let u(v) = 4*v - 70. Let d(i) = -16*t(i) - 3*u(i). Suppose -3 + 4 = b + 5*p, 2*b + 3*p = 9. Does 10 divide d(b)?
True
Let y(u) = -u**2 - 11*u + 15. Let j be y(-11). Let o = 19 - j. Suppose 8 - 4 = 3*t + o*p, 5*t + 5*p = 10. Is t a multiple of 2?
True
Suppose 2*z - 86 = 3*s + 291, 4*z = s + 739. Is z a multiple of 46?
True
Does 39 divide (33/9)/1