f p(-1)?
False
Let o(i) = -i**2 - 1. Let m(s) = s**3 - 5*s**2 - 3*s - 6. Suppose 3*x - 6 = -0*x. Let u(v) = x*o(v) - m(v). Does 11 divide u(3)?
False
Let i be (-298480)/(-210) + ((-10)/3 - -2). Let x = -930 + i. Is x a multiple of 18?
False
Suppose 3*s - 4989 - 486 = -0*s. Does 13 divide s?
False
Let v(c) be the first derivative of 7*c**3/3 - 43*c**2/2 + 53*c + 233. Is 20 a factor of v(9)?
False
Let m be 32/12*18/4. Let k(w) = -81*w - 3 + 3*w**2 + 54*w + 13 - 1. Does 27 divide k(m)?
False
Let u(l) = -l**3 + 23*l**2 + 24*l - 6. Let p be u(24). Is 5 a factor of 184/(-69) + (-136)/p?
True
Suppose 6*r = r + 4*k + 72, -78 = -5*r + k. Suppose -o - 28 = -2*p, -o + r = p - 4. Is p a multiple of 8?
True
Suppose 7*q - 9*q = -330. Suppose 5*l + 128 + 13 = -3*i, 5*l = 5*i - q. Let a = l - -44. Is a a multiple of 5?
False
Let n(d) = -216*d + 1080. Let j be n(5). Let r = 8 - 4. Suppose -2*w + 5*l + 125 = j, r*w - 2*l = -0*l + 242. Is w a multiple of 6?
True
Suppose 92*i + 14*i - 1042314 = -32*i. Is i a multiple of 67?
False
Suppose 0 = -v - 5*u + 6*u + 88, v - 5*u = 88. Is 12 a factor of v?
False
Let r = -47776 - -63659. Is r a multiple of 5?
False
Let v be -7 - ((-10)/(-2))/1. Does 42 divide 3/v + (-71817)/(-148)?
False
Suppose -4*l + 10 - 10 = 0. Suppose 5*v - 207 - 598 = l. Suppose -36 + v = 5*h. Is h a multiple of 5?
True
Let s(j) = 1. Let x(d) = -d - 10. Let b(n) = 28*s(n) + 4*x(n). Is b(-11) a multiple of 8?
True
Does 15 divide 60/24*33744/20?
False
Suppose 0 = -7*y - 443 - 341. Let q = -100 - y. Is 7 a factor of q?
False
Let f(l) = 2*l**2 - 27*l - 50. Is 14 a factor of f(-40)?
False
Let z be (-45)/(-11) + 6/(-66). Suppose -z*u + 3024 = -2*k + 458, 2*k - 1280 = -2*u. Is u a multiple of 38?
False
Let c(j) be the second derivative of j**5/20 - 7*j**4/3 + 5*j**3/6 - 5*j**2 + 13*j. Is c(28) a multiple of 13?
True
Let x be (-70)/(-30) + (-145)/(-15). Is 13 a factor of x/27 + 2687/9?
True
Let m = -626 - -1976. Suppose 4*y - 396 - 684 = -2*h, -m = -5*y + h. Is y a multiple of 30?
True
Let x = 383 - 379. Suppose 2*j = j + 52. Does 13 divide (x/(-8))/((-2)/j)?
True
Suppose -25*h = 69*h - 55554. Is 2 a factor of h?
False
Let r(v) = 46*v**2 + 11*v - 129. Is 4 a factor of r(6)?
False
Let a be ((-5)/(-4))/5 - 150/(-40). Suppose a + 32 = 6*f. Suppose 0 = f*b - 8*b + 196. Is 14 a factor of b?
True
Let x(a) be the first derivative of a**4/4 + 13*a**3/3 + 9*a**2/2 - 19*a - 76. Is x(-12) a multiple of 3?
False
Suppose 4*u - 54 = -22. Let b(z) = 7*z**3 - 17*z**2 + 37*z - 55. Let h(k) = 3*k**3 - 9*k**2 + 19*k - 28. Let o(v) = 2*b(v) - 5*h(v). Does 27 divide o(u)?
True
Let o be ((-4)/(-6))/((-6)/(-81)). Suppose 0 = 4*x - 37*x + 53328. Suppose -o*u + x = -u. Is 15 a factor of u?
False
Let f(c) = -43*c. Let g be f(1). Let y = g + 43. Suppose 17*m - 14*m - 432 = y. Does 37 divide m?
False
Suppose -13*t = 39 - 13. Is (1/(-1))/(t/454) a multiple of 15?
False
Does 57 divide 1870 + (13 - (-18)/(-9))?
True
Does 32 divide (-9880)/(-10)*(16/6)/(1/3)?
True
Let f = -173 - -176. Suppose -f*l + 107 = -289. Does 10 divide l?
False
Let y = -2045 - -7427. Is y a multiple of 78?
True
Suppose 80*n - 78*n = 6. Let f be n/((-2)/(-6) + (-14)/(-21)). Suppose t - 123 = -2*t + 3*l, 4*l + 121 = f*t. Is 8 a factor of t?
False
Let c = 72 + 76. Suppose 4*h + 20 = c. Is h a multiple of 2?
True
Let g be 5*9/((-180)/(-8)). Suppose -3*c - 798 = -3*y, 3*y + g*y + c = 1336. Is 30 a factor of y?
False
Let k(h) = 3*h - 16. Let c be k(7). Suppose 2*z - 31 = c*d - z, 5*z = 10. Does 16 divide -2*(d + 1)*(-48)/(-4)?
True
Suppose -10 = -5*c, 0*q + 457 = q + 2*c. Let g = q + -366. Is 23 a factor of g?
False
Let y be 2 + (-9)/((-36)/(-40)). Let f(z) = z**2 + 8*z + 9. Let l be f(y). Suppose -l*t = -14*t + 85. Is t a multiple of 17?
True
Let u(v) = -9*v + 94. Let z be u(10). Suppose -142 = -p - 3*f + f, 0 = -p - z*f + 140. Does 12 divide p?
True
Let o(f) = 2*f**2 - 14*f. Let h(n) = 6*n**2 + 4*n + 4. Let d be h(-1). Let y be o(d). Does 3 divide y/(((-5)/10)/(3/12))?
True
Suppose -17*h - 2*v + 116 = -16*h, 2*h + v = 244. Does 6 divide h?
False
Suppose 5*k + n = 446, 2*k + 4*n = k + 93. Let a = 115 + k. Is a a multiple of 29?
False
Let t be 1/(-3) - (-8 + (-1250)/6). Let g = -159 + t. Is g a multiple of 19?
True
Suppose 0 = -4*b + 4344 + 5900. Let y = b + -1541. Does 12 divide y?
True
Suppose 12000 = 10*g - 7*g. Suppose -14*l + 4*l + g = 0. Does 7 divide l?
False
Let f be (2 + 15/(-6))/(11/(-88)). Let j(p) = p**2 + 5*p - 4. Let x be j(-6). Suppose x*d - 4*d + 142 = -2*s, 2*d - 144 = f*s. Is 14 a factor of d?
True
Let o be (8/(-16))/(2/(-92)). Let b = -19 + o. Suppose 3*m - 139 = -b*n, -5*m + 223 = -n - n. Is 9 a factor of m?
True
Let t be 0/(-13) + 153 + -1 + 2. Is 51/33*59 - 28/t a multiple of 12?
False
Suppose -132 = -5*g - 13*b + 12*b, -g + 33 = -2*b. Suppose 13*o - g*o = -7364. Is o a multiple of 45?
False
Let b(p) = p**3 + 14*p**2 - 3*p - 41. Let y be b(-14). Does 16 divide 120*(-6)/(-9)*y?
True
Let d(o) = o + 11. Let j be d(-10). Let i(s) = -10*s. Let a be i(j). Is 4/(-20) + (-842)/a a multiple of 14?
True
Let n(a) = 0 + 0 + 5 - 164*a + 3. Let l be n(15). Is 3/7 - (l/28 + 0) a multiple of 11?
True
Let a be (-180 + 12)*(-72)/28. Suppose 16*c = a + 272. Is 4 a factor of c?
True
Suppose 29 = 13*p - 10. Suppose 2*i + i - p*h - 60 = 0, 3*i - 72 = -h. Let r = i - -4. Is r a multiple of 4?
False
Is 16 a factor of (84/(-56))/(0 + -3 - 5562/(-1856))?
True
Let p = 2023 - 16. Let h = -1003 + p. Does 19 divide h?
False
Let r = -439 + 433. Let w(d) = -3*d**3 + d - d**3 - 8*d**2 - 2 + 2*d**3. Is 34 a factor of w(r)?
True
Let j(d) = -3*d**2 + 14*d + 4. Let f(s) = -8*s**2 + 40*s + 14. Let n(h) = 2*f(h) - 7*j(h). Does 37 divide n(11)?
True
Let f = -4979 + 10868. Is 30 a factor of f?
False
Suppose 4 - 30 = a. Let z be ((-2294)/(-185))/(1 - (-11)/(-10)). Let s = a - z. Does 38 divide s?
False
Suppose -5*n - 4*l + 295 = 0, 3*l - 248 + 13 = -4*n. Let c = n + -58. Is c/(-2) + 261/6 a multiple of 9?
True
Suppose 2758 = 3*f - 5*x - 2009, -6356 = -4*f - x. Is 17 a factor of f?
False
Let h = -3498 - -4944. Let l = h - 298. Is l a multiple of 28?
True
Let a = 760 + -536. Suppose i + a = -7*i. Let p = 53 + i. Is p a multiple of 25?
True
Let m be (-4)/(-2) - (6 + -18). Suppose d = 5*a - 23, d + 41 - m = 4*a. Let u = -16 - d. Does 9 divide u?
True
Suppose 0 = 11*h - 29 - 4. Let k = 1 - 3. Let w = h - k. Does 2 divide w?
False
Suppose 6*p = 10 - 10. Suppose 1905 = -p*j + 5*j. Is j a multiple of 33?
False
Suppose 4*p + 4*d = 0, 2 = -3*p - 7*d + 6*d. Is (p/2)/(25/(-2750)) a multiple of 18?
False
Let m(x) = 2*x**2 - x. Let b(s) = s**2 + 2*s - 9. Let c be b(-4). Let r be m(c). Suppose -y + 4*u - 5*u = -90, r*u = -2*y + 176. Is 16 a factor of y?
False
Let w(q) = 6*q**2 - 48*q + 26. Let i(z) = z**3 + 4*z**2 + 8*z + 8. Let n be i(-3). Does 19 divide w(n)?
False
Let q(n) = -n**2 + 13*n + 227. Let r be q(-10). Does 58 divide (r - -119)*(24 - 20)?
True
Let c(j) = -j**3 + 10*j**2 - 9*j + 4. Let h be c(9). Suppose -484 = -4*z - h*w, 2*z + 2*z - 439 = 5*w. Is z a multiple of 50?
False
Let p(z) be the second derivative of -z**4/12 + 25*z**3/6 - 43*z**2/2 + 31*z. Let r be p(23). Suppose -a - r*a + 160 = 0. Does 4 divide a?
True
Let b(a) = 513*a - 936. Is b(12) a multiple of 4?
True
Let x(k) be the second derivative of -5*k**3/3 + 14*k**2 - 2*k + 11. Is 21 a factor of x(-14)?
True
Let n be 5/(20/(-12)) - 7/(-1). Suppose n*v - 34 - 61 = 3*h, -v + 3*h + 35 = 0. Suppose -21*y = -v*y - 28. Is 13 a factor of y?
False
Let n(i) = 10 - 2*i + 33 + 0*i - i. Let b be n(13). Suppose -b*p = -8*p + 420. Is p a multiple of 15?
True
Suppose 0 = s + 3*k + 14 - 66, 212 = 3*s - 5*k. Suppose s - 13 = o. Is o a multiple of 6?
False
Let c(m) = -5*m - 8. Let p be c(-4). Let h = p + 22. Suppose -5*i + 3*i = -4*y - h, -i + 4*y = -27. Is 5 a factor of i?
False
Let b(t) = t**3 + 36*t**2 + 69*t + 43. Let d be b(-34). Let j(q) = 17*q - 9. Is 33 a factor of j(d)?
False
Let x be (4/12)/(1/12). Let y be 199/4 - ((-42)/(-24) - 2). Suppose -198 = -x*f - y. Does 37 divide f?
True
Suppose 380 = -19*p + 23*p. Let m = p + -63. Is m a multiple of 32?
True
Let s be -4*(1 + 0)*72. Let u = 102 - s. Is 65 a factor of u?
True
Let y be ((-5)/(-1) - 1)/(10/230). Let g = -162 + y. Does 12 divide (-3 +