t r(x) = x**3 + 26*x**2 - 27*x - 10. Is 14 a factor of r(-9)?
True
Suppose 0 = -5*p - 4*c + 56, 22 = p + p + 2*c. Is (8/(-6))/(p/(-108)) even?
True
Suppose 0 = -7*k + 4*k - 108. Is 27 a factor of (k/(-60))/((-1)/(-45))?
True
Suppose 2*n + 1 = 5*o + 12, 5*n + 7 = o. Is (-70)/((o - -2)*1) a multiple of 14?
True
Let h(c) = -c**2 + 2. Let v be h(2). Let i be 32 + (3 - 0) + v. Suppose 5 - i = -2*w. Does 5 divide w?
False
Let i(o) be the second derivative of 3*o**5/20 - o**4/4 + o**3/2 - 3*o**2/2 + 16*o. Does 5 divide i(2)?
True
Suppose 3*v - 257 = 211. Suppose -3*o + 51 = -3*s + v, 2*o + 10 = 0. Does 10 divide s?
True
Suppose 4*p + c = -22, 4*p - c + 4*c + 18 = 0. Is 12 a factor of (-104 - (-1 + -1))*3/p?
False
Suppose 0 = -2*f - 2*f + 8. Suppose -26 = -l - 4*t, 5*l - 4*t - 3 = 7. Suppose -f*o = 3*q - 122, -l*o + 2*o - 134 = -3*q. Is 11 a factor of q?
False
Let w be (-5 + 6)*3/1. Let z be 1*(0 + (1 - w)). Is z*(45/1)/(-3) a multiple of 22?
False
Let r be (318 - -8)/(-2 - 0). Let s = -75 - r. Suppose 0*l + s = 4*l. Is 11 a factor of l?
True
Let g = 180 + 44. Suppose f + 3*c = 56, -3*f = f - 5*c - g. Is 14 a factor of f?
True
Suppose -3*j = d - 8*j - 379, -d - j = -367. Is 17 a factor of d?
False
Suppose -2*f = 103 - 579. Does 13 divide f?
False
Let z(i) be the second derivative of 7*i**6/90 + i**4/24 - i**3/6 + 5*i. Let p(c) be the second derivative of z(c). Does 13 divide p(1)?
False
Let i(v) = v**2 - 42*v - 85. Is i(48) a multiple of 7?
True
Let p = -52 + 0. Let o = p - -92. Is o a multiple of 11?
False
Suppose 5*k + 9 + 1 = 0. Let u(v) = -28*v**3 + 4*v**2 + 3*v. Is 26 a factor of u(k)?
True
Let s(b) = -b**3 - 7*b**2 - b - 30. Is 7 a factor of s(-10)?
True
Let t(k) = k + 3. Let p be t(3). Suppose p*r - 5*r - 35 = 0. Does 9 divide r?
False
Suppose 0 = -2*h + 4*y + 624, -2*y - y - 1560 = -5*h. Is h a multiple of 4?
True
Let q(r) = -3*r - 1. Let u be q(-2). Is 14 a factor of u + (5 + 0 - -158)?
True
Let j(p) be the third derivative of p**5/60 - p**4/2 + p**3/3 - p**2. Let r be j(12). Suppose -2*b + 122 = 2*w, -289 = -5*w + b - r. Does 12 divide w?
False
Let p(v) = -v**3 + 8*v**2 - 13*v + 15. Let s be p(6). Let d(l) = 4*l**2 + 5*l + 11. Let j(u) = -u**2 + u - 1. Let n(a) = d(a) + 5*j(a). Does 4 divide n(s)?
False
Let v = 60 + -121. Let y = 104 - v. Let k = -99 + y. Is 15 a factor of k?
False
Suppose -a - w + 3*w + 244 = 0, -2*w = 2*a - 500. Is (-1 + (-2)/4)/((-4)/a) a multiple of 31?
True
Let k be (-6 - (-333)/6)/(2/4). Suppose 4*a + 72 = 2*m, -8*m + 6*m = 5*a - k. Is m a multiple of 37?
False
Let b = -634 - -429. Let u = b + 380. Is 29 a factor of u?
False
Let w(o) = -86*o + 136. Is 40 a factor of w(-4)?
True
Suppose -4*p = 5*x - 64 + 12, 4*x - p = 50. Is 12 a factor of x/30 + (-236)/(-10)?
True
Suppose i = -3*i. Suppose 10*m - 15*m = i. Suppose -20 = -p - l - m*l, -5*p = 2*l - 100. Is 19 a factor of p?
False
Suppose -5*s + 3*g + 1149 = -4*s, 3*s + g - 3397 = 0. Is s a multiple of 14?
True
Let d(q) = -q**3 + 10*q**2 - 12*q + 13. Let w(l) = -10*l**3 - l**2 - l - 1. Let v be w(-1). Let x be d(v). Let g = -6 - x. Does 4 divide g?
True
Let c(b) be the first derivative of -15*b - 5/2*b**2 - 7. Does 10 divide c(-7)?
True
Let i = -700 + 723. Is i a multiple of 2?
False
Let r be (8 - -60) + (-1 - -3). Is 11 a factor of (-536)/(-7) - (-30)/r?
True
Let o(f) = f**3 + 8*f**2 + 5*f - 7. Suppose 3*d - 5 = -2. Let l(n) = -4*n**2 - n. Let g be l(d). Does 20 divide o(g)?
False
Let t(k) be the second derivative of -k**3/6 + 3*k**2 - k. Let g(p) = 2*p - 15. Let v be g(6). Is 2 a factor of t(v)?
False
Let l be ((-5)/(-5))/(-1 - (-291)/288). Suppose 0*i + 128 = 3*i + 5*z, 2*i - 2*z - l = 0. Is 28 a factor of i?
False
Let d(b) = 23*b - 28. Let c be (-136)/(-22) - 16/88. Does 11 divide d(c)?
True
Let c = -55 + 63. Let v = c - -41. Is 10 a factor of v?
False
Let b(l) = -11*l + 12. Let k be 4/(-2) - (-1 + 5). Is b(k) a multiple of 20?
False
Let n(z) = -2*z**2 - 106*z - 29. Is n(-50) a multiple of 15?
False
Let l(c) = -c**2 - 5*c - 17. Let q be l(-11). Is q/(-2)*(-5 - -7) a multiple of 24?
False
Let a(b) = 31 + 10*b**2 + 15*b**2 + 15*b - 26*b**2. Is a(13) a multiple of 9?
False
Let v = 495 - -538. Does 8 divide v?
False
Let u(h) = 4*h - 2*h**2 + 3 - 4 - 2. Let k be u(2). Let g = 3 - k. Is g even?
True
Suppose 5*n - 213 - 437 = 0. Let z = n - 47. Is 43 a factor of z?
False
Suppose 2747 - 12207 = -55*d. Is 6 a factor of d?
False
Let v be (-14)/(-42)*(30 + 0). Suppose 0 = 4*p - 5*q - 29, p + v = 3*p + 2*q. Suppose 4*a + 2*h - p*h - 76 = 0, -2*a + 34 = 2*h. Is 6 a factor of a?
True
Suppose 0 = 4*k - 6*k - 48. Let p = 17 - k. Does 41 divide p?
True
Suppose 0 = 4*w - 3*w - 14. Let v(d) = -w*d - 6 + 30*d + 3 - 9. Does 18 divide v(3)?
True
Suppose 4*z - 14 = 3*d + 2*d, 0 = -4*z - 2*d + 28. Suppose -327 = -z*j + 105. Does 12 divide j?
True
Suppose -21*u + 117534 = 36*u. Is u a multiple of 12?
False
Suppose 10*q = 201 + 9079. Is q a multiple of 57?
False
Let y(h) = 4*h - 2. Suppose 5*t - 10 - 5 = z, -2*t + 4*z + 24 = 0. Let w be y(t). Suppose -54 = -5*k + w. Is k a multiple of 4?
True
Suppose 19*y - 14*y = -60. Let x = y - -42. Let t = x + 58. Does 39 divide t?
False
Let z be (5 - 42/10)*(-3 - -8). Suppose 4*b - 388 = -5*m + 183, -4*b - z*m = -572. Does 18 divide b?
True
Let p = 773 + -611. Is 27 a factor of p?
True
Let q = -3156 + 4528. Is q a multiple of 66?
False
Suppose -3*w + 4*q = -16, w - 3*q = 2*q + 20. Let j(c) = c**3 + c**2 + c + 100. Let x be j(w). Let h = 152 - x. Is 13 a factor of h?
True
Does 12 divide ((-1153)/(-2))/((-21)/(-42))?
False
Suppose 4*l + 5 - 1 = 0. Let v(r) = r**2 + r - 1. Let d be v(l). Does 16 divide (-72)/d - (-5 - -6)?
False
Suppose -322*j - 3480 = -332*j. Is j a multiple of 116?
True
Let a be 174/4*(-2)/(-3). Suppose -v + 4*p = 0, p - a = -5*v - 8. Suppose v*b - 2*u = 178, -u = b + u - 42. Is b a multiple of 12?
False
Suppose 0 = 4*o + 61 - 6089. Does 137 divide o?
True
Suppose 5*v + 58 = n + 192, 86 = 3*v - 2*n. Does 20 divide v?
False
Let d be 0/(-3) - (-3 + 3). Suppose d = x - 41 - 65. Suppose -2*w + 4*n = -100, -2*w + 0*n + n = -x. Is w a multiple of 18?
True
Let x = -699 - -2391. Is x a multiple of 94?
True
Let h = -373 + 403. Does 20 divide h?
False
Let u be ((-195)/6)/((-3)/6). Let q be (0 + 0 + -4)*(-5)/10. Suppose -3*g = q*g - u. Is g a multiple of 13?
True
Let x(z) = -7*z**2 - 2*z. Let i be x(2). Let w be (11 + -9)/((-2)/i). Let f = 57 - w. Is f a multiple of 6?
False
Let n(w) = w + 4. Let g be n(-2). Suppose 0 = 2*u - 3*k - 251, -g*u - 5*k + 221 = -6. Does 16 divide u?
False
Let c = -67 - -44. Let z = c - -46. Does 8 divide z?
False
Let m(b) = b**3 + 6*b**2 - 2. Let y be m(-6). Let u be y/((-12)/(-2))*-354. Suppose -3*o = 2*l - u, 0*l = 5*o + 5*l - 190. Is 23 a factor of o?
False
Suppose 0 = -3*s + 1 + 14, -5*s - 76 = j. Let b = 94 - j. Does 39 divide b?
True
Let c be 29 + 2 + -6 - -3. Let v = -23 + c. Is 12 a factor of (-1)/(((-5)/24)/v)?
True
Let l = 14 - 23. Let d be -4 - l/6*6. Suppose -d*b = -2*i + 33, 5*i = i - 3*b + 1. Is 2 a factor of i?
True
Let b(h) be the second derivative of 2*h + 0 - 1/2*h**2 - 17/6*h**3. Is 28 a factor of b(-5)?
True
Suppose 2*s - 4*r + 2 = -0*s, 2*r + 4 = 0. Let v be s/15 - 64/(-12). Suppose v*i - 24 = 96. Is 6 a factor of i?
True
Suppose -7*l + 12*l = -3*n + 2108, 5*n + 2*l - 3526 = 0. Is n a multiple of 80?
False
Suppose 4*d + 3*n - 229 = 0, 0 = 6*d - d - 4*n - 263. Is d a multiple of 4?
False
Suppose -3*j = 114 - 288. Suppose -s - s = -j. Does 24 divide s?
False
Let n be ((-2)/6)/(1/12). Let y be 48/2*(n - 0). Is (24/16)/((-9)/y) a multiple of 8?
True
Let t(z) = z**2 - 2*z - 3. Let y be t(3). Let s be (-5 + 5)/(y + 2). Suppose s*w = w - 31. Does 31 divide w?
True
Suppose 0 = 8*q + 13 + 11. Let x(t) = 2 - 3*t**3 + 6*t**2 + 2*t**3 + 3*t**2 - 5*t**2. Is 13 a factor of x(q)?
True
Suppose 3*y = -4*q + 99, -2*q - 5*y + 77 = q. Does 10 divide -79*q/(-27) + 2/(-9)?
True
Let m(f) = 2*f - 16. Let a be m(9). Suppose -4*h - a*i + 3*i = 7, -5*i - 7 = h. Is h/4 - 37/(-2) a multiple of 6?
True
Suppose 0*i - 90 = -4*i - 3*b, 3*b - 27 = -i. Does 2 divide i?
False
Let q(w) = 2*w**2 - 13*w - 24. Is 17 a factor of q(-12)?
False
Let g = 82 + -4. Is g a multiple of 6?
True
Suppose -2*j + 3 = -3*o + 21, -2*o = -j - 10. Let a(