True
Suppose 4*z - 1113 = -5*f, -z - 5*f + 117 = -165. Is z a multiple of 12?
False
Suppose 569*q = 566*q + 3384. Is 24 a factor of q?
True
Let b = -23 - -85. Suppose 67*x - 140 = b*x. Does 14 divide x?
True
Let d be 2/13 - (-4495)/(-65). Let k = -36 - d. Is 6 a factor of k?
False
Let z(y) = y**2 - 6*y + 3. Let t be z(6). Suppose 0*x + t*x - 6 = 0. Does 30 divide -5*x*(-2 + -1)?
True
Suppose 3*m - 4*v - 215 = 0, -v + 147 = 19*m - 17*m. Is 6 a factor of m?
False
Suppose 9 = -4*g + 5*g. Is 13 a factor of -78*(-4 - (-33)/g)?
True
Let i(o) = 2*o + 8. Let h be i(30). Suppose 2*n = 4*t + h + 74, 0 = -2*t. Is 13 a factor of n?
False
Suppose 5*r = 1 + 24, -3*r = 4*q - 287. Suppose 0 = 3*m + 3*p - 63, 6 - q = -3*m - 2*p. Suppose -i = -6*i + m. Is 2 a factor of i?
True
Is ((-243)/45)/((-555)/275 + 2) a multiple of 11?
True
Suppose 8*v = 2*v. Suppose 0 = -f - v*f - 4, 0 = q - 4*f + 19. Is 12 a factor of q/(-3) - 13/(-39)?
True
Suppose -4*t - 8*m + 1056 = -3*m, -5*t + 4*m + 1320 = 0. Is t a multiple of 12?
True
Suppose 4 = 4*p + 4*v, 3*v = 2*p - 0*p - 22. Suppose p*n - 3*o = -330, -n - 2*o + 262 = -5*n. Is (2/(6/n))/(-1) a multiple of 7?
True
Let u(l) = 0*l**3 + l**3 + 8*l**2 - 9*l**2 + 2 + 6*l**2. Let w(d) = -d + 1. Let h be w(6). Is u(h) a multiple of 2?
True
Let i be 10*((-9)/6 - -2). Let s(y) be the second derivative of y**4/6 - 7*y**3/6 - y**2 - 3*y. Does 3 divide s(i)?
False
Let t(q) = q + 11. Let z be t(-5). Let m(k) = 8 + 5*k**2 - 10*k + 4*k**2 - 6*k**2. Does 18 divide m(z)?
False
Let m(j) = 8*j**2 + 15*j - 16. Does 13 divide m(-6)?
True
Let j = -96 - -21. Suppose 1040 - 3140 = -20*i. Let v = j + i. Is 23 a factor of v?
False
Let q be (4 + -1 + -3)/(-1). Let f(s) = 2*s + 38. Is 13 a factor of f(q)?
False
Suppose -20 = z - 4*o, -7 = 3*z - o - 2. Suppose z*b = 2*b. Is 82 + 6/(b + -3) a multiple of 13?
False
Suppose -17*u + 14*u = q - 441, 3*q - 3*u - 1287 = 0. Suppose -9*b - q = -12*b. Does 17 divide b?
False
Let o be 280/49 - 2/(-7). Suppose -11*w = -o*w - 680. Is w a multiple of 18?
False
Let d be (55 + 3)/(-2 - (-6 + 3)). Let g = d + -28. Is g a multiple of 10?
True
Does 20 divide (4 - -3) + 0 - -170?
False
Suppose -a = -6*a. Suppose -2*o - o + 69 = 0. Suppose 2*m + 10 = a, -o = -w - m + 27. Does 16 divide w?
False
Let l(u) = -u**2 - 12*u + 32. Let d be l(-14). Does 18 divide (-5 + 1)*(-62 - (d + -1))?
False
Let n = -20 + 29. Let u be n/9*(-2)/1. Does 12 divide -18*(28/(-8) - u)?
False
Let k(n) = 4*n**2 - 12*n - 22. Let w(l) = 9*l**2 - 23*l - 45. Let x(c) = 7*k(c) - 3*w(c). Does 17 divide x(19)?
False
Suppose -5*f + 3*z + 3651 = 0, 0 = -2*f - z + 1713 - 257. Is 81 a factor of f?
True
Let a(s) = s**3 - 12*s**2 - 15*s + 9. Let q be a(13). Let h = 22 + q. Suppose -h*f + j + 171 = 0, 0*f + 71 = 2*f - 3*j. Is f a multiple of 10?
False
Suppose -2*a + 2*c + 116 = -18, -c + 205 = 3*a. Suppose -3*p + a = -85. Is 17 a factor of p?
True
Suppose 12 - 3 = -3*l + 4*h, -2*h = 2*l - 8. Let r = -4 - -10. Is 17 a factor of -2*l/r*-153?
True
Let g(x) = -x**2 + 7*x - 14. Let z be g(6). Let j be z/12 + (-174)/9. Let p = j + 35. Is p a multiple of 15?
True
Let w = 99 + -100. Is 4 a factor of -136*(-1 + w/(-2))?
True
Let w = -7 - -5. Let t be (-13 + -2)*w/(-6). Is (10 - 6)*t/(-2) a multiple of 10?
True
Let o = -38 - -35. Is 2 a factor of -10*((o - 64/(-20)) + -1)?
True
Let h(a) = -a**3 - 4*a**2 - 2*a + 12. Is 8 a factor of h(-5)?
False
Let a be 5/(20/8) - 37. Is 3 - a/(-11) - 1003/(-11) a multiple of 13?
True
Let i = -234 + 439. Does 5 divide i?
True
Let n = 386 + -340. Does 8 divide n?
False
Let b be (-2)/(-3) + 2775/9. Suppose -7*y - b = -799. Does 17 divide (68/(-5))/((-14)/y)?
True
Let v = 13 + -10. Suppose -u + 42 = u. Suppose u - 201 = -v*o. Is o a multiple of 30?
True
Is 1*(111 + 3/(-1)) a multiple of 4?
True
Let c be 696/42 + 4/(-7). Let l = c + -16. Is 15 + -3 + 1 + l a multiple of 4?
False
Let x(q) = -8*q**3 - 4*q**2 - 3*q - 2. Let o be x(-2). Suppose -o + 214 = 2*t. Suppose -t - 219 = -4*l. Does 17 divide l?
False
Suppose -4*f + 0*f + 85 = -5*l, -4*l - 68 = f. Let c(i) = -i**2 - 16*i + 22. Let u be c(l). Let x(q) = 7*q - 10. Is x(u) a multiple of 25?
True
Suppose -3*v = -1034 + 329. Is 5 a factor of v?
True
Let f be (-26)/4 + (-2)/(-4). Let t(j) = -15*j + 2. Let q be t(f). Let y = q - 52. Does 10 divide y?
True
Suppose 1 + 19 = -4*o. Let x be ((-93)/o)/(6/30). Let u = 188 - x. Does 14 divide u?
False
Suppose 17 = 4*y - 15. Suppose 0 = 4*v + y, -f - 24 = -3*f + 3*v. Does 3 divide f?
True
Let m = 3 - 0. Let u be ((-1)/m)/((-12)/(-36)). Is 14 a factor of (-1)/(u/3) - -11?
True
Let h(z) = z**3 + 5*z**2 + 5*z + 6. Let d be h(-4). Suppose 4*s = s. Suppose -3*g + 3*v + 135 = s, -d*g + v + 2*v = -87. Does 16 divide g?
True
Let h = 1855 - 1060. Does 53 divide h?
True
Suppose a + 2*a = 2*q - 86, -62 = 2*a + q. Let f be ((-3)/(-2))/(a/(-40)). Is 2 + -2 - (0 - f) a multiple of 2?
True
Let g(d) = -d**3 + 10*d**2 + 3*d - 28. Let l = 78 - 69. Is 10 a factor of g(l)?
True
Let z = 21 - 16. Suppose z*r + 18 = -72. Is 13 a factor of (-4 - r/5)*-90?
False
Let t(k) = -k**2 - 23*k + 6. Is t(-7) a multiple of 59?
True
Let s = 511 + -213. Let z = -196 + s. Does 17 divide z?
True
Let b(u) = 6*u**2 + u - 1. Let v be (13 + -14)*3/(-1). Suppose 13 = 3*t + 2*g, -v*t = -3*g + 3 + 9. Is 2 a factor of b(t)?
True
Suppose 0 = 5*g - m + 16 - 202, -3*m - 3 = 0. Does 2 divide g?
False
Suppose 3*b = 248 + 1081. Suppose -2*f + 733 = 5*p, 2*f + b = -0*p + 3*p. Is 26 a factor of p?
False
Let d(f) be the first derivative of -f**4/4 + 10*f**3/3 - 3*f**2 - 5*f + 10. Is 18 a factor of d(5)?
True
Is (-27 + 12)/(2/(-2) - 0) a multiple of 5?
True
Let o(h) = -8*h + 20. Let i be o(-5). Suppose 65*t - 210 = i*t. Does 3 divide t?
True
Suppose 4*r = 3*t + 64, -3*r - 2*t + 48 = -0*r. Suppose 0 = r*j - 20*j + 700. Is 27 a factor of j?
False
Suppose 733*v - 994 = 732*v. Is v a multiple of 14?
True
Suppose 0 = 5*t - 5, 16*t - 14*t = 4*a - 1502. Does 94 divide a?
True
Suppose -4*q + 8 = -2*q. Let o be q*1/(-2)*-2. Suppose -o*t = -195 - 37. Is t a multiple of 17?
False
Suppose -2*z - 2*c = -477 - 187, 0 = z - 2*c - 344. Does 6 divide z?
True
Suppose 25*g - 27*g - 158 = 0. Does 14 divide 5 + 0 - 1 - g?
False
Suppose -3*y + 2*k - 16 = 0, -y - 6 = -5*k + 8. Let b be 2/y*(-2 - -2). Suppose b*i + i = 5*w + 41, 0 = -3*i + 4*w + 68. Is 16 a factor of i?
True
Let w = -10 + 6. Let h be w/(-3)*(-27)/(-18). Does 16 divide h*((5 - -2) + 1)?
True
Suppose -2*k + 1 + 5 = 0. Let s(u) = 2*u + 7*u + 4*u - u. Is 18 a factor of s(k)?
True
Let x(p) = p**2 + 3*p + 3. Let q be x(0). Suppose 12 = -4*z, -q*k - z + 216 = 2*z. Is k a multiple of 25?
True
Let d(x) = -x**3 + 5*x**2 + x - 7. Let t be d(5). Let r be -8*((-20)/(-8) + t). Does 2 divide (1 - (-6)/r)*-8?
True
Suppose -3*f + 5*x + 34 = -4*f, -3*x - 33 = 2*f. Let w(u) = -u**2 + 5*u - 2. Let o be w(4). Is 6 a factor of 8/(-6)*f/o?
True
Let l(v) = 5*v + 5. Suppose -5*i + p = -17 - 9, -p = -4*i + 20. Does 17 divide l(i)?
False
Is 16 a factor of 1/(-8)*10 + (-25158)/(-56)?
True
Let u(j) = -2*j**2 - 9*j + 7. Let v be u(-5). Let q be (4 - 40)*(-1)/v. Suppose -a = -28 - q. Is a a multiple of 7?
False
Let z be 22/5 + (-3)/(-5) + -1. Suppose a = -5*t, 73 = 4*a - z*t - 47. Is a a multiple of 25?
True
Suppose -18*x + 8638 = -1712. Is 5 a factor of x?
True
Let s(l) = -l**3 + 13*l**2 + 13*l + 20. Let i be s(14). Is 1*188 - (i - 6) a multiple of 47?
True
Suppose 14*v - 110 = 4*v. Suppose 2*t + v = 263. Is t a multiple of 14?
True
Let o(m) = m**3 + 2*m**2 - 8*m + 8. Let b be o(4). Let z = -51 + b. Does 14 divide z?
False
Suppose -5*q + 6*q - 5 = 0. Suppose i = q*z - 0*i - 242, i - 190 = -4*z. Is z a multiple of 6?
True
Suppose 153 = 4*p - 367. Does 17 divide p?
False
Does 9 divide 15 - (2 - 2) - -3?
True
Suppose -78 - 6 = 3*p - 3*j, -2*j + 30 = -p. Is p*(-5 + 45/10) a multiple of 5?
False
Let g(h) = 238*h**2 - 3. Is g(1) a multiple of 15?
False
Let s(c) = -c**3 + c**2 + c + 1. Let w(m) = -3*m**3 + 35*m**2 - 71*m + 14. Let k(p) = 2*s(p) - w(p). Is k(31) a multiple of 47?
True
Suppose 2*a + 148 + 42 = 0. Let q(b) = -4*b - 12. Let m be q(-4). Is 33 a factor of (a - m)*1/(-1)?
True
Let n be 6 - 0 - (-2 - -3). Suppose 2*r + 3*y - 335 = -38, 5*y + 780 = n*r. Does 9 divide r?
True
Suppose 4*v - 2*j - 1