et t be (2/(-3))/((-4)/546). Let r = t + n. Is 22 a factor of r?
False
Let j(n) = 4*n**3 + 6*n**2 - 34*n + 4. Is j(6) a multiple of 46?
False
Suppose 4*s = 669 - 61. Let o = s + -86. Does 15 divide o?
False
Let c = 80 - 81. Is 20 a factor of (-1)/((-2)/(-120)*c)?
True
Let b(z) = 7*z**2 - 19*z + 13. Let c(a) = -3*a**2 + 9*a - 6. Let i(x) = -2*b(x) - 5*c(x). Suppose 0 = n + 3*v + 4, 5*v - 30 = -3*n - 2*n. Is 8 a factor of i(n)?
True
Let m = -24 - -21. Let z(a) = 2*a + 2 + 88*a**3 - 2*a - 89*a**3 - 2*a**2. Is z(m) even?
False
Let h = -57 + 273. Is 14 a factor of h?
False
Does 23 divide ((-1115)/10)/(7/140*-2)?
False
Let n = -6 + 22. Let h be 262/4 - (-8)/n. Let l = h + -33. Is l a multiple of 20?
False
Let x = -5 - -10. Suppose s - x*s + 84 = 0. Suppose -u + s = 2*u. Is 7 a factor of u?
True
Suppose 2*m - 102 = -42. Suppose m*x = 33*x - 186. Is 13 a factor of x?
False
Is 35 a factor of (-273)/26*510/(-9)?
True
Let f(v) = 2*v**2 - 2*v - 8. Let r be f(0). Let o(i) be the first derivative of i**4/4 + 10*i**3/3 + 9*i**2/2 - 5*i - 1. Does 19 divide o(r)?
False
Let b = -13 + 11. Let c be b/4*(0 + 4). Let l(r) = -r**3 - r**2 - 2*r - 3. Is 3 a factor of l(c)?
False
Let a(x) = 5*x**2 + 66*x - 3. Is a(-16) a multiple of 42?
False
Suppose 2*b + 8 = -h, -2*b - 2 - 6 = 0. Suppose 0 = -4*v + 4*w + 3 - 7, 2*v - 3*w + 4 = h. Let q(f) = 41*f**2 + 1. Does 21 divide q(v)?
True
Let r(t) = -31*t - 48. Let c be r(-17). Let z = -325 + c. Does 14 divide z?
True
Let r be -5 + 9 + 1/(-1). Suppose r*m - 7*m = -52. Is m a multiple of 4?
False
Let y = -331 - -406. Does 17 divide y?
False
Let y(x) = 6*x**3 - 2*x**2 - x + 9. Is y(3) a multiple of 24?
False
Let v = 240 - 348. Is 1 - (3 + v/4) a multiple of 5?
True
Is (-155)/((-1)/(-26 + 5)*-3) a multiple of 7?
True
Let y(p) = 4*p**2 - 41*p - 357. Is y(-9) a multiple of 7?
True
Let q(h) = h**3 - 5*h**2 + 4*h + 2. Suppose 0 = 3*r + 2*r + 25, -2*r = -2*c + 14. Suppose 0 = -c*z - 2*z + 16. Does 2 divide q(z)?
True
Does 29 divide 3/(-2) + 27/(-36)*-1626?
True
Suppose -6*y + 0*y = -11292. Does 18 divide y?
False
Let n(c) = -2 - 1 + 23*c - 5 + 2. Is n(3) a multiple of 24?
False
Let c(l) = 0*l - 1 - l - 2 + l**2 - l. Let y be c(-2). Let j = 10 - y. Does 5 divide j?
True
Let y = 9 - 41. Let f = y + 60. Is 7 a factor of f?
True
Let l(i) = -i**2 - 17*i + 16. Let x be l(-18). Let o be (3/6)/(x/20). Let r(b) = b**3 + 8*b**2 + 4*b - 1. Does 29 divide r(o)?
False
Let u = -19 - -22. Suppose 4*a + y - 644 = 0, -u*a - 3*y - 2*y = -466. Suppose -s - 10 = 5*k - a, 4*s + 136 = 4*k. Is k a multiple of 7?
False
Is -3*(-20)/24 + 583/22 a multiple of 2?
False
Let r be (10/4)/((-2)/(-92)). Let n(m) = -14*m - 21. Let s be n(-6). Let t = r - s. Is 13 a factor of t?
True
Let i(f) = 17*f**2 - 8*f - 21. Is 12 a factor of i(-2)?
False
Suppose 0 = 9*z - 5*z + 16, 5*u - 5*z = 540. Suppose 4*m = -u + 504. Is 25 a factor of m?
True
Let f be (-6)/(-9)*687/2. Let c = 251 - 138. Let g = f - c. Is g a multiple of 18?
False
Suppose -152 - 870 = -14*w. Does 3 divide w?
False
Suppose -2*w = -t - 69 + 456, -w = 0. Is t a multiple of 43?
True
Let j(t) = -4 - t + 5 + 0*t + 28*t**2. Let p = 36 - 35. Is 8 a factor of j(p)?
False
Suppose 0 = 30*z - 425 - 25. Is 15 a factor of z?
True
Let i(r) = 109*r**2 - 7*r - 12. Is 12 a factor of i(4)?
True
Let f(g) = -g**3 + 4*g**2 - 3*g. Let y be f(2). Suppose 5*h = y + 13. Suppose -3*t - 5*o - 8 = -4*t, h*t = -3*o + 60. Is 11 a factor of t?
False
Let k(z) = z**2 - 4*z - 5. Let c be k(-2). Suppose 4*x = -5*q + c*x + 437, -5*q - x + 421 = 0. Is 23 a factor of -1 - q*(2 + -3)?
False
Suppose 28 = 4*w - 2*u, 5*w - 56 + 15 = 4*u. Suppose -6*n + w*n = -84. Is n a multiple of 28?
True
Let o(y) = -189*y - 6. Let w(v) = 284*v + 9. Let m(g) = 8*o(g) + 5*w(g). Is 40 a factor of m(-2)?
False
Let d(k) = 85*k**3 + 3*k**2 - 2*k + 2. Let a be d(1). Suppose -a - 2 = -u. Is 7 a factor of u?
False
Let d = -106 - -256. Does 9 divide d?
False
Let x be 1 + (136/4 - 1). Suppose -x*z + 39*z = 395. Is 12 a factor of z?
False
Suppose 14 = -2*n + 84. Suppose a - 109 - n = 0. Suppose -7*c + a = -5*c. Does 18 divide c?
True
Suppose 2*n + 318 = 4*n. Let d = 225 - n. Is d a multiple of 17?
False
Suppose 3*p - 2 = 7. Suppose l = p*t + 150, -192 = t + 3*t - 4*l. Let f = t - -78. Does 9 divide f?
True
Is (-7422)/(-4) - ((-24)/16 + 2) a multiple of 35?
True
Does 48 divide ((-3084)/(-72))/(2/12) + 3?
False
Suppose 0 = -0*p - 5*p + 3*w + 2834, 5*w + 1710 = 3*p. Does 27 divide p?
False
Let m be -1 + ((-3)/5)/(3/(-30)). Suppose 156 = 2*i + 4*p, -7*i + 2*i - m*p + 405 = 0. Is 14 a factor of i?
True
Let g(z) = -9*z**3 + 4*z**2 - z - 1. Is 13 a factor of g(-7)?
True
Suppose 0 = 3*r + 12, -r - 30 = -2*k + 2*r. Suppose o - k = -0*o. Is ((-54)/15)/(o/(-30)) a multiple of 6?
True
Let z(w) = -3*w - 10. Let c = 45 - 24. Suppose 0 = -2*t + 2*a - 14, 3*a = t - 4*t - c. Is z(t) a multiple of 11?
True
Suppose -3*w + 20 = w. Suppose -291 = -w*i - 71. Is 13 a factor of i?
False
Let z be 2 - ((-2)/(-10) - 48/(-60)). Let g(w) = 148*w**2 - 2*w + 3. Is g(z) a multiple of 10?
False
Let x = 28 - 33. Is 5/x*(-144)/4 a multiple of 12?
True
Suppose 0 = -6*f - 11*f. Suppose 0 = 4*n - f*n - 288. Does 4 divide n?
True
Suppose 6*o - 8 = 10*o. Does 34 divide 39*(21/9 - o)?
False
Let c = -13 + 19. Suppose c*n = 11*n + 10. Does 27 divide ((-18)/(-27))/(n/(-162))?
True
Let n(k) = 174*k - 703. Is n(13) a multiple of 9?
False
Is 22*314/20 + (-12)/30 a multiple of 23?
True
Let c be (-5 + 2)*8/(-6). Suppose -4*x - 172 = -0*f - f, 5*x = 5. Suppose i = -5*y - 20 + f, -c*y + 136 = -2*i. Does 13 divide y?
False
Let v = -64 + 64. Suppose -4*q - 5*g + 992 = v, -58 + 321 = q + 5*g. Is q a multiple of 27?
True
Let z be -4*(-3)/12*-1. Let v be z/((-132)/(-64) + -2). Does 11 divide 3/((-1)/v*3)?
False
Let p(y) = -3*y + 3 + 21*y**2 - 2*y - 19*y**2. Let r be p(9). Suppose -4*j - r = -4*q, 3*q - 24 = -4*j + 38. Is q a multiple of 8?
False
Suppose 0 = -x - 3*s + 458, 4*x - 5*x + s + 462 = 0. Does 7 divide x?
False
Let o(q) = q**2 - 12*q + 7. Let m be o(11). Let j be (1 + -5)*3/m. Suppose d - 3 = 0, 0 = 4*k + j*d - 146 + 13. Is 26 a factor of k?
False
Is 12 a factor of ((-636)/(-7))/(26/182)?
True
Let o be -4*(45/(-2) - -1). Suppose 2*l = -4, 0*l + o = 4*h - 5*l. Suppose -x - w + 13 = 0, 0 = 4*x - 3*x + 3*w - h. Is x a multiple of 6?
False
Let x = 461 - -166. Is x a multiple of 44?
False
Let l = -174 + 254. Is l a multiple of 16?
True
Let i(v) be the third derivative of v**4/8 + v**3/6 + v**2. Let h(p) = p**2 + p + 7. Let l be h(-3). Is i(l) a multiple of 9?
False
Let j(v) = -34*v - 2. Let h be j(5). Let x = h + 292. Does 24 divide x?
True
Let f = 4594 + -1188. Is 24 a factor of f?
False
Suppose 21*y = 19*y + 4. Suppose 2*u = -y*u + 48. Does 3 divide u?
True
Does 10 divide (-2)/(-2)*(-11 + 17) - -2604?
True
Suppose -4*g - 232 = -8*g. Let r = 142 - g. Is r a multiple of 12?
True
Suppose 0 = -12*o - 11 + 35. Suppose 284 + 208 = o*l. Does 15 divide l?
False
Let q(m) be the third derivative of -m**6/120 - m**5/10 - m**4/24 - 2*m**3/3 - 4*m**2. Let l be q(-6). Suppose -7*y + l*y = -90. Is 7 a factor of y?
False
Let z(k) = k + 15. Let a be z(5). Let t = a + 10. Is t a multiple of 10?
True
Let p(t) = 111*t**3 - 13*t + 4*t + 6*t + 2 + 2*t**2. Is 16 a factor of p(1)?
True
Let f(i) = 78*i**2 + 3*i + 2. Does 7 divide f(-1)?
True
Suppose -269 = -a - 2*z, z - 464 = -5*a + 872. Is 35 a factor of a?
False
Let m = -674 - -814. Does 4 divide m?
True
Let q(r) be the second derivative of 1/12*r**4 - 1/2*r**3 + 0 + 3*r - 4*r**2. Is 16 a factor of q(-5)?
True
Let q = -86 - -120. Let w = q + -32. Suppose 171 = 4*d - y, w = -y - 1. Does 14 divide d?
True
Suppose -13*x + 5*x + 248 = 0. Does 31 divide x?
True
Suppose -25*b = -23223 - 1152. Is 15 a factor of b?
True
Suppose 2*t - 858 = -5*h - 146, -t + 353 = h. Is t a multiple of 39?
True
Suppose -3*s - 2*l + 153 = 0, -4*l - 14 = -2. Suppose 0 = 2*n + 2 - 0, 0 = 2*q - 5*n - s. Suppose q = b - 24. Is b a multiple of 16?
True
Suppose 57*x = -6319 + 66910. Is 107 a factor of x?
False
Let g be -48*(-6)/21*28/16. Suppose o = 5*i - 51 - 10, 5*i - 3*o = 63. Let v = i + g. Is v a multiple of 7?
False
Let s(a) = 7*a**3 + 2*a - 2 + a**2 + 1 - 2*a**3. Let m be (-22)/4*(-40)/110. Does 12 divide s(m)?
False
L