factor of ((-624)/(-9))/4*f/(-2)?
False
Let m(h) = h**2 + 6*h + 2. Let b be m(-5). Let o be -48 - (-1)/(2 + b). Let d = o - -100. Does 17 divide d?
True
Let s be ((-1)/2)/((-4)/16). Let g be 146/s - 3/(-1). Suppose 3*f = g - 10. Is f a multiple of 13?
False
Suppose t = -3*w + 210, 5*t + w + 17 = 997. Is t a multiple of 20?
False
Let j = 669 + -119. Does 10 divide j?
True
Suppose l - 2*k - 48 - 40 = 0, -4*l - 5*k = -417. Suppose -2*m - 2*o = -l, -3*m - 5*o + 152 = 7. Is 13 a factor of m?
False
Suppose g = 2*g + 20. Let m(s) = -s**3 - 21*s**2 - 22*s - 4. Does 9 divide m(g)?
True
Let m(l) = 0 + l + 1 + 2 + 64*l**2 - 4. Let d be m(1). Suppose -2*q + 52 + d = 0. Is 24 a factor of q?
False
Let y(h) = 74*h**2 - 2*h - 1. Let r be y(-1). Suppose 0 = 5*p + 2*t + r, 2*p + 2*t + 15 + 9 = 0. Let c = -10 - p. Does 3 divide c?
False
Let p be (-5)/(-2 - -1)*20. Suppose 0 = 4*z - p - 24. Is z a multiple of 8?
False
Does 9 divide (-4416)/(-10) - 30/50?
True
Suppose 5*u = -2*i + 62, i + 51 = 4*i - 3*u. Let v = i + -23. Is (4 - -7)*1 + v a multiple of 3?
True
Let n(b) = 26*b**2 - 26*b + 74. Does 34 divide n(8)?
True
Let q(o) = -16*o + 1. Is 2 a factor of q(-1)?
False
Let g be (-4)/10 + (-24)/15. Suppose -1 + 21 = 5*x. Is 12/(-6)*x/g a multiple of 2?
True
Let q = -153 - -707. Is q a multiple of 29?
False
Does 10 divide 9/(-30) - 187236/(-120)?
True
Let m(y) = -7*y - 2. Let w be m(-1). Suppose -14 = -2*g + 2*k - 4, -w*g + k + 25 = 0. Suppose -73 = -g*i + 4*o, 3 = i + 5*o - 0*o. Does 13 divide i?
True
Let u = 2420 - 1530. Is u a multiple of 15?
False
Let w(p) be the second derivative of p**7/840 + p**6/360 - p**5/60 + p**4/6 - 8*p. Let j(o) be the third derivative of w(o). Does 3 divide j(-2)?
True
Let k(j) = 4*j**2 - j + 1. Let r be k(1). Suppose 0 = 5*y - 10, 2*a + 359 = 5*a + r*y. Suppose -2*n = -2, -a = -2*v - n - 36. Does 20 divide v?
True
Let z = -3510 - -6668. Is 33 a factor of z?
False
Let z(l) = 18 - 13*l - 31384*l**3 + 19*l**2 - 4*l + 31383*l**3. Let o(j) = 10*j - 2. Let d be o(2). Does 36 divide z(d)?
True
Let t(z) = 180*z**2 + 2*z - 2. Is 14 a factor of t(1)?
False
Let p = 1280 - 979. Is p a multiple of 7?
True
Let o = -34 + 26. Let y = 54 - o. Does 31 divide y?
True
Suppose -5*o - 15*p + 1145 = -20*p, -4*o = -5*p - 920. Does 15 divide o?
True
Suppose -3*y = -2*w + 4*w - 121, 0 = -4*w - 4*y + 240. Is 12 a factor of w?
False
Let k(q) = q**3 + 32*q**2 - 74*q + 13. Is 23 a factor of k(-34)?
False
Suppose -20 = f - 5*f. Suppose -f*n + 5*l + 44 = -46, -54 = -3*n + 4*l. Does 6 divide n?
True
Let c(o) = -2*o**3 - 3*o**2 - 5*o - 2. Let u be c(-4). Suppose -3*v - u = -290. Is 16 a factor of v?
True
Let u(y) = -2*y**2 - 20*y - 5. Let a(p) = p**2 + 10*p + 2. Let g(v) = 5*a(v) + 2*u(v). Let j be g(-10). Suppose j = 2*f - 25 - 11. Is 12 a factor of f?
False
Let t be ((-1)/(-2) - 0) + 361/2. Suppose -t = 2*b - 441. Is b a multiple of 10?
True
Let s(a) = a**3 + 32*a**2 - 51*a - 9. Is 100 a factor of s(-29)?
False
Suppose -8*o = -677 - 571. Does 7 divide o?
False
Let g = -739 - -967. Does 38 divide g?
True
Let w be 9/((-18)/(-320)) - (7 + -2). Suppose 0 = 3*n + 4*r - 253, 4*n + 3*r - 331 = 4*r. Let x = w - n. Is 15 a factor of x?
False
Let x = 51 - 15. Let j = x - 8. Let b = j - -7. Is b a multiple of 20?
False
Suppose 2*p - 2203 + 7733 = 4*v, 2*v = 2*p + 2770. Does 23 divide v?
True
Suppose -5*n = -n - 60. Is 9 a factor of 11 + 5*3/n?
False
Suppose d = n - 900, 79*n - 80*n + 903 = 2*d. Is n a multiple of 37?
False
Let z(d) = -59*d**3 - 9*d**2 + 5*d + 11. Let n(h) = 29*h**3 + 4*h**2 - 2*h - 5. Let k(a) = 9*n(a) + 4*z(a). Let l = -1 + 2. Does 13 divide k(l)?
True
Let y = -97 + 352. Is y a multiple of 7?
False
Let p(x) = 6*x - 8. Let f be p(2). Suppose f*w = w - 9, 4*w = -5*m + 38. Is m a multiple of 2?
True
Is 28 a factor of 12/21 + 52848/126?
True
Let l = 39 + -45. Is (-1)/(l/100)*15 a multiple of 13?
False
Let y(m) = -m - 2. Let v be y(1). Let s(p) = -p**3 - p**2 - 3*p - 7. Is 18 a factor of s(v)?
False
Suppose 4*k - 2*t = t - 73, -4*t - 130 = 5*k. Let f = -18 - k. Does 4 divide (f + -24)*(-4)/10?
True
Let w = -6 + -59. Let t = 81 + w. Does 5 divide t?
False
Let t(d) = d**3 + 4*d**2 + 4*d + 3. Let a = 12 + -15. Let h be t(a). Suppose 0 = 2*p - h*p - 92. Does 12 divide p?
False
Suppose 0 = 2*b + 2*k + k + 133, 0 = -b - 3*k - 68. Let x = -26 - b. Is x a multiple of 14?
False
Let p(h) = 23*h**3 + h**2 - 19*h + 56. Is p(4) a multiple of 13?
False
Let h(b) be the first derivative of 23*b**2/2 + 25*b + 26. Is h(6) a multiple of 14?
False
Let a(t) be the third derivative of -7*t**2 + 0*t + 0 - 1/3*t**3 - 1/60*t**5 - 3/8*t**4. Is a(-7) a multiple of 4?
True
Suppose 0*p - 7601 = -11*p. Is 22 a factor of p?
False
Suppose 0*d + 31 = 5*k + 2*d, 22 = 2*k + 4*d. Suppose -8 - 110 = -4*w + 2*n, 15 = -k*n. Suppose -8*h + w = -4*h. Is h a multiple of 7?
True
Does 20 divide 80/6*(-432 + -12)/(-4)?
True
Let l(g) = 16*g**3 + 61*g**2 - 65*g - 45. Let m(u) = 3*u**3 + 12*u**2 - 13*u - 9. Let p(x) = -2*l(x) + 11*m(x). Is 2 a factor of p(-11)?
False
Suppose -4*h + 68 = 4*c, 4*c - 34 = h + 9. Let p be ((-15)/(-20))/(3/c). Suppose p*b = -b + 12. Is 3 a factor of b?
True
Let m(z) = 2*z**2 - 21*z + 13. Does 31 divide m(14)?
False
Is 7 a factor of (-1026)/76*(-624)/9?
False
Let g = 20 - 13. Let r(n) = -3*n**2 + n. Let u(i) = -8*i**2 - 13*i + 8. Let a(q) = 3*r(q) - u(q). Does 11 divide a(g)?
True
Let n(c) = -2*c**2 - 6*c - 8. Let y be n(-3). Is 11 a factor of 13 - -1 - (6 + y)?
False
Let t = -25 + -68. Let x = t + 172. Suppose 73 = 2*w - x. Is w a multiple of 19?
True
Let o(l) = 19*l**2 + 55*l - 16. Is 115 a factor of o(13)?
True
Suppose -4*y - b = -833, 6*y - b = 4*y + 415. Suppose 0*g - 4*g + y = 0. Does 10 divide g?
False
Let o = 621 + -299. Does 12 divide o?
False
Suppose 6*q - 15 = q. Suppose -4*n - m = -264 + 8, -327 = -5*n - q*m. Suppose -n = -3*b + 3*p, 2*b = 5*b - p - 73. Does 13 divide b?
True
Suppose 0*z = 2*z + 4. Let v be (z - 1)*(-7 - 3). Let l = 55 - v. Does 25 divide l?
True
Let x(b) be the third derivative of 1/10*b**5 + 2*b**2 + 0*b - 1/6*b**4 + 0 + 1/3*b**3. Is 24 a factor of x(4)?
False
Suppose 5*y + 5*c = -10, c = -2*y - 2*c - 9. Suppose -5*q + 17 = -y. Suppose 3*b - 91 = -q. Does 22 divide b?
False
Let p be (2 - -82)*(-22)/(-4). Suppose 9*g = 2*g + p. Does 11 divide g?
True
Suppose 0 = -159*b + 156*b + 1680. Is b a multiple of 8?
True
Suppose 3*g - 5 = -8. Let o be -3 + (-3 - (g - 1)). Is 13 a factor of (-8)/6*54/o?
False
Let w = 18 + -16. Let u(o) = o**w - 148*o + 11 + 148*o. Is u(6) a multiple of 10?
False
Suppose 3000*i - 2998*i = 3360. Is 67 a factor of i?
False
Suppose 0 = 4*q - 4*k + 145 + 371, 4*q + 543 = -5*k. Let u = q - -258. Does 18 divide u?
True
Let r be 2/(-8) - (-36)/16. Suppose -r*s + 2 = 10. Does 13 divide 42 + (-4)/s + 0?
False
Let c(l) be the third derivative of 1/24*l**4 + 0*l + 0 + 1/30*l**5 - l**2 - 3/2*l**3. Is c(5) a multiple of 23?
True
Let g(m) be the second derivative of m**5/10 - m**4/12 + m**3/3 + 11*m**2/2 - 11*m. Is g(0) a multiple of 11?
True
Let u(i) = -i**3 + 8*i**2 + i + 1. Let n be u(-6). Suppose 2*p - w + 127 = 0, 4*w - n = 5*p - 180. Does 12 divide 4/14 - 864/p?
False
Suppose 15*b + 20 = 17*b. Let r = b - -8. Is 18 a factor of r?
True
Suppose 0 = g - 6 - 138. Does 15 divide g?
False
Let y = 1539 + -1032. Does 30 divide y?
False
Let y(x) = 0*x**3 - 11 - x**3 + 2*x**3 - x - 3*x + 6*x - 12*x**2. Let s be (3 + 2)*(-12)/(-5). Is 13 a factor of y(s)?
True
Let c = 18 - 4. Suppose -3 = 13*p - c*p. Suppose p*r + 2*d = 129, 3*r = 7*r - 3*d - 172. Does 25 divide r?
False
Suppose 1413 = 5*a + 4*q, 5*a - 2*a + q = 852. Is a a multiple of 15?
True
Suppose -15*z + 20 = -11*z. Is 2 a factor of z?
False
Suppose -18*t + 4240 = -3320. Is 20 a factor of t?
True
Is 25 a factor of (-1)/((123/(-82))/(2364/2))?
False
Let d(b) = 0 - 3*b**2 + 5*b**2 - 4 + 8*b**2 - b. Is d(-2) a multiple of 19?
True
Suppose -2*i + 0 - 3 = -s, 0 = -2*i + 3*s - 9. Suppose i = -3*u + 264 - 21. Is u a multiple of 20?
False
Let a = 234 - 198. Is 5 a factor of a?
False
Suppose 540 = -0*n + 2*n. Suppose -5*o - n = 240. Does 15 divide (21/(-6) - -3)*o?
False
Let i(f) = -f**2 - 8*f - 7. Suppose 0 = 4*d + d + 35. Let a be i(d). Suppose -v = -a*v - 23. Does 11 divide v?
False
Suppose k = 65