 + 2 = c. Let x be ((-16)/c)/(2/(-21)). Suppose -5*t = -x - 16. Is t a multiple of 3?
True
Suppose 4*w - 3*u = 6280, 3*u - 2067 - 1073 = -2*w. Is 24 a factor of w?
False
Suppose -2*x + 3*x - 9 = 0. Let o = x + -4. Suppose o*q + 18 = 138. Is 12 a factor of q?
True
Let a(v) = v**2 - 7*v - 24. Does 43 divide a(-7)?
False
Suppose -c = -3*c + 6. Suppose -5*t = -2*h + 11, 0 = 5*t - 4*h + c + 14. Is (-40)/(-4)*t*-1 a multiple of 10?
True
Let v(h) = 113*h**2 - 12*h + 20. Does 56 divide v(2)?
True
Let f(p) = -58*p**3 - p**2 + p + 1. Let s be f(-1). Let l = s + 0. Is l a multiple of 11?
False
Let b = 121 - 31. Suppose -q = 3 - b. Is q a multiple of 29?
True
Let c(l) = 10*l**2 - 17*l - 17. Is 3 a factor of c(4)?
True
Let n = 294 - 265. Is n a multiple of 4?
False
Suppose -15 + 3 = -i + 2*a, -15 = -5*i + a. Suppose 9*d = -i*d + 726. Is d a multiple of 22?
True
Let o(d) = -10*d + 29. Let q(r) = r + 1. Let g(c) = -o(c) + 5*q(c). Let k be g(7). Is 18 a factor of (k/6)/((-4)/(-16))?
True
Suppose -7*k + 16*k = 45. Suppose k*t = 6*t - 13. Is t a multiple of 6?
False
Suppose -4*m - 953 = -5*x, -2*x + 4*m - 559 = -5*x. Suppose -2*q - 2*s + 14 = 0, -5*s = 2*q - 2*s - 18. Suppose 6*l = q*l + x. Is l a multiple of 21?
True
Suppose 2*d + 40 = 2*i + 4*d, -2*i + 31 = 5*d. Is i a multiple of 2?
False
Let q(c) = 36*c**3 - 2*c**2 + 1. Let s be (4 - 0/(-3)) + -3. Let o be q(s). Let v = 9 + o. Is 11 a factor of v?
True
Let x(z) = -z**3 - 6*z**2 - 6*z + 7. Let s be x(-5). Let g(r) = s - 12*r**2 - 1 + r**3 + 3. Does 4 divide g(12)?
False
Suppose -93*r + 92*r = -376. Is r a multiple of 23?
False
Let i(s) be the first derivative of -7*s**2/2 + 6*s + 5. Let y be i(3). Is 14/4*(1 - y) a multiple of 28?
True
Is 405/108*188/3 a multiple of 18?
False
Let b(o) = 3*o**3 - 3*o**2 - 12*o - 8. Let q be b(6). Suppose 0 = -5*w + 45 + q. Does 7 divide w?
False
Suppose 2*n = x + 3, n + 4*x = 2*x + 9. Suppose r - n*r = 42. Let w = -3 - r. Does 6 divide w?
True
Let q be 7/(7/(-4)) - -95. Let k = q - 49. Does 16 divide k?
False
Let v = -3320 - -7723. Is v a multiple of 25?
False
Suppose -5*v - u = -592, 2*v - 8*u = -12*u + 244. Is 11 a factor of v?
False
Suppose -13*h + 12*h + 1385 = -3*i, 4*i = 3*h - 4155. Does 27 divide h?
False
Suppose -4*z - 4*t + 225 + 23 = 0, 2*z - 4*t = 130. Let c = z - 25. Does 19 divide c?
True
Suppose a = -x + 4*a + 68, 3*a = -6. Let o be ((-15)/4)/(24/128). Let f = x + o. Is f a multiple of 15?
False
Let l = -11 - -21. Suppose 0 = -3*z + z + l. Is z a multiple of 5?
True
Suppose 0*v + 4*v = 36. Let b be 4/(2 - v/4). Let y = 32 + b. Is y a multiple of 8?
True
Let x be (-70)/6*-3*7. Suppose 2*h - 2*k = -3*k + 165, 3*h - x = -k. Is h a multiple of 20?
True
Let i(w) = 47*w**3 - w**2. Suppose -a + 4*b = 7, -2*b + 2 = -4*a + b. Does 4 divide i(a)?
False
Let k = -252 - -512. Does 56 divide k?
False
Is ((-210)/(-45))/(4*2/3720) a multiple of 60?
False
Let x be 2*(-24)/10*-20. Suppose -10*n = -13*n + x. Suppose -2*v + n = 2*v - 4*w, -v = -5*w - 16. Is 2 a factor of v?
True
Let y = 0 + 5. Suppose -y*q - 522 = 128. Is 19 a factor of q/(-2) - (-1 + 1)?
False
Let u(g) = 2*g**2 + 8*g - 9. Let q be u(-9). Suppose 2*s - q = 43. Does 11 divide s?
False
Let w = -315 + 549. Is (w/52)/(3/20) a multiple of 28?
False
Suppose 59*p - 2960 = 22*p. Does 16 divide p?
True
Suppose 0 = -2*l - 3*g + 2*g, 0 = 2*g - 8. Suppose 0 = 4*x - 0*x + 3*u - 40, -5*u = 0. Let r = l + x. Is 6 a factor of r?
False
Suppose 3*n - 2 = -14. Does 9 divide 604/36 - (n/18 + 0)?
False
Let z(g) = 2*g + 1. Let x be z(1). Let b(u) = -u**2 + 8*u + 3. Let f be b(x). Suppose -s - 1 = -f. Is 17 a factor of s?
True
Suppose 0 = 6*x - 5*x - 288. Suppose -x = -5*t + t. Is t a multiple of 24?
True
Let g(c) be the first derivative of c**4/4 - 5*c**3/3 + 2*c**2 + 5*c + 12. Is 27 a factor of g(7)?
False
Suppose 2*y = 46 + 22. Let m = y - 24. Suppose -3*l + 47 + m = 0. Is 8 a factor of l?
False
Let c(n) = -6*n + 120. Does 12 divide c(0)?
True
Suppose 3*p - 2*t - 2*t = 394, -5*t = 3*p - 412. Let n = p + -95. Is 9 a factor of n?
False
Suppose 8*m - 732 = 284. Let t = -23 + m. Is 8 a factor of t?
True
Suppose 3 = -11*f + 14*f, 3*f = -5*q + 2753. Is 50 a factor of q?
True
Suppose -16189 = -27*v + 6977. Does 66 divide v?
True
Suppose 4*z - z + 219 = 0. Let c = z - -140. Is c a multiple of 15?
False
Let q(w) = 38*w**3 - 2*w**2 + 17*w - 39. Is 51 a factor of q(3)?
True
Suppose -3*o - 120 + 45 = 0. Let q = -3 - o. Does 17 divide q?
False
Suppose -h - 1804 = -4*z - 5*h, z + 3*h - 453 = 0. Suppose 0 = -3*c + 15, -4*m - z = -9*m - c. Is 9 a factor of m?
False
Suppose 10445 + 32843 = 28*a. Is a a multiple of 118?
False
Let w(y) = y**2 + y + 2. Let v be w(2). Let i(t) = -t**2 + 19*t - 20. Is 9 a factor of i(v)?
False
Let f = 47 + -42. Let q(a) = a**2 + 6*a - 9. Does 9 divide q(f)?
False
Let m = 6 - 3. Suppose -9 = 4*d + i - 0*i, 2*d - m = -3*i. Is 7 a factor of d*((-20)/6 - 0)?
False
Let c(x) = 35*x**2 - 11*x + 1. Does 15 divide c(2)?
False
Is 71 a factor of (-13)/(7 - (-3984)/(-568))?
True
Let g(w) = 2*w**3 + 9*w**2 + 4*w. Let n be g(-4). Suppose n = 2*r - 6*r + 228. Is 24 a factor of r?
False
Let d(w) = w - 3 + 9*w**2 - 6 + 7. Let a be d(-2). Suppose 3*u + 0*r - a = -2*r, 40 = 3*u + 4*r. Does 4 divide u?
True
Let h(a) = -a**2 - 4*a. Let r be h(-2). Suppose -5*k + 9 = -r*n - 80, 49 = -4*n - 3*k. Let q = n - -32. Does 9 divide q?
False
Suppose -134 = -4*p + 186. Suppose p = -7*b + 9*b. Does 20 divide b?
True
Suppose -5*r - r + 18 = 0. Suppose -w - 22 = -0*q - r*q, w - 6 = -q. Suppose 92 = 2*f - 3*k, 4*f + q*k - 2*k - 162 = 0. Is f a multiple of 15?
False
Let w = 4 - -4. Let h(m) = 4 - 4 - m**3 + w*m + 7 - 3*m**2 + 5. Does 18 divide h(-6)?
True
Let g(p) = -87*p**3 - 5*p**2 + 8*p + 44. Is 146 a factor of g(-4)?
False
Let g(c) = 11 + 26 + c - 13. Let y be g(0). Suppose 3*q - h + 6*h = 35, 2*q + 4*h = y. Does 10 divide q?
True
Let x be (-4378)/(-8) + (-4)/16. Suppose -19*f = -x - 308. Is f a multiple of 5?
True
Let j(u) be the first derivative of -6*u**2 + 18*u + 32. Does 19 divide j(-8)?
True
Suppose -3*c + 34 = y - 2*y, -5*y = -5*c + 60. Is 40 a factor of (c/33)/(2/16)*30?
True
Suppose -o + 8*o = 105. Suppose -3*f = o, v + 2*f - 65 = -0*f. Is v a multiple of 19?
False
Let z = 80 - -17. Does 16 divide z?
False
Let l(r) = -r + 6. Let p be (0/((-4)/(-1)))/(-1). Let b be l(p). Suppose -q = -b*q + 215. Is 11 a factor of q?
False
Suppose 4*n = -2*l + 3*l - 18, 2*n + 8 = 0. Let t(h) = -5*h**3 - 4*h**2 + 1. Let c be t(-3). Suppose 0 = -l*g - 24 + c. Does 20 divide g?
False
Suppose -2*u - 3*c + 1336 = 0, 3*c - 2001 = -7*u + 4*u. Is u a multiple of 8?
False
Suppose -5*i + 32 - 7 = 0, 3795 = 4*t + 3*i. Is t a multiple of 21?
True
Let f(y) be the first derivative of -y**2 + 4. Let p be f(6). Let o = p - -36. Is 5 a factor of o?
False
Let m = 92 - 85. Suppose -m*h = h - 944. Is h a multiple of 16?
False
Let y(m) = m**2 + 8*m - 32. Let q be -3*3*(5 - 114/18). Is 52 a factor of y(q)?
True
Let s be (25/10)/((-1)/(-4)). Suppose 9*h - s*h = -36. Is h a multiple of 9?
True
Let p = -55 - -91. Suppose 7*h - 6*h - p = 0. Is 12 a factor of h?
True
Let x = -10 + 36. Suppose -25*q - 107 = -x*q. Suppose -4*h + 93 + q = 0. Is h a multiple of 23?
False
Is -1825*(-3 - -4)/(-1) a multiple of 68?
False
Let j(r) = -r**3 - 5*r**2 + 2*r + 7. Suppose 5*a = 5 - 30. Let b be j(a). Does 2 divide 1/(-2)*24/b?
True
Let j = 761 - 546. Is j a multiple of 22?
False
Let r(t) = t**2 - 2*t + 1. Let g be r(3). Is 6 a factor of -60*(66/(-15) + g)?
True
Let j(u) = 3*u + 23. Let y be j(-6). Suppose 0 = 5*p - 2*v + 3*v - y, -3*v - 19 = -2*p. Does 2 divide p?
True
Suppose -2*q + 961 = -1091. Is q a multiple of 18?
True
Let k = -98 + 323. Is k a multiple of 5?
True
Suppose -3*m - 2 - 19 = 0. Let a = -3 - m. Suppose -3*o + 2*f = -100 + 23, -a*f = 16. Does 12 divide o?
False
Suppose -p + 2*o - 8 = 0, -3*p + 0*o + 2*o - 4 = 0. Suppose -w - 18 = p*w. Let c(a) = a**3 + 8*a**2 + 5*a - 2. Does 8 divide c(w)?
True
Suppose 9 = 3*c, h = -5*c + 32 + 90. Suppose 3*a + r = a - h, -104 = 2*a - 2*r. Let q = a + 74. Is 21 a factor of q?
True
Let f = -214 - -959. Does 104 divide f?
False
Let w = -219 + 409. Is 10 a factor of w?
True
Let z = -1380 - -2442. Does 18 divide z?
True
Let w = -479 + 524. Is 2 a factor 