 20 - p. Is 3 a factor of h?
False
Let d(x) be the second derivative of -x**4/12 + 5*x**3/3 - x**2/2 + 150*x. Let q = 12 - 3. Is 2 a factor of d(q)?
True
Suppose -33*k = -29*k - 152. Let y be 0/(3/(3/(-2))). Suppose y = -w - w + k. Is w a multiple of 13?
False
Let f(r) be the first derivative of r**2 + 22*r + 12. Is f(7) a multiple of 7?
False
Suppose 4*n + b - 422 = -0*b, 5*b + 200 = 2*n. Suppose 0 = 4*d + 2*d - 360. Let h = n - d. Does 15 divide h?
True
Let v be (36/54)/(2/36). Suppose -5*b + 117 - v = 0. Is 3 a factor of b?
True
Let a(r) = 0 - 5*r + 18 + 4*r. Let h be a(0). Is 22 a factor of ((-6)/h)/(1/(-69))?
False
Is 3 a factor of (-8 + (-1380)/(-10))*24/10?
True
Let h(y) = 45*y - 77. Is 23 a factor of h(15)?
True
Let o(p) = 3*p**2 + 95*p + 3. Is 29 a factor of o(16)?
True
Suppose 2*n - 14 = -5*h + 28, 0 = h - 4*n - 4. Let d be (h + 16)/(3/(-2)). Let f = d + 40. Is f a multiple of 7?
False
Let l = 878 - 249. Is 17 a factor of l?
True
Suppose 7 = -3*a - 5, 82 = -5*z + 2*a. Is 10 a factor of (-57)/2*24/z?
False
Let d be (14*-2 - -1)/((-6)/40). Suppose 7*i - d = 6*i. Is i a multiple of 19?
False
Let i(v) = 224*v - 209. Does 39 divide i(12)?
False
Suppose -938 = 5*p - 8*p - u, -4*p - 3*u + 1244 = 0. Does 37 divide p?
False
Let h = -4416 + 6409. Is h a multiple of 26?
False
Let i = -2590 - -3310. Is 24 a factor of i?
True
Let x(p) = 27*p**2 - 10*p - 63. Is x(-4) a multiple of 13?
False
Suppose 3*z - 1498 = -t + 265, -4*t - 1753 = -3*z. Suppose 5*c + 147 = z. Does 11 divide c?
True
Let o = 48 + -82. Let q = o - -84. Does 25 divide q?
True
Let t(f) = f**3 + 6*f**2 - 5*f - 8. Let y = 23 - 13. Let i = y - 16. Does 11 divide t(i)?
True
Let p = -10 + 11. Suppose 2*g + 1 = -p. Is 12 + g - 1/1 a multiple of 3?
False
Let f = -6 - -2. Let j = f - 2. Let k(q) = q**3 + 5*q**2 - 8*q - 3. Is k(j) a multiple of 3?
True
Does 45 divide ((-2)/(-3))/(-7*7/(-40131))?
False
Suppose -40*o + 16 = -36*o. Is 3 a factor of o?
False
Let p = -11 + 8. Let b = p + 160. Is 14 a factor of b?
False
Let d be -1*(-3)/(-6)*10. Let a be (2/(-4))/(d/(-60)). Let l(v) = -5*v - 8. Is 11 a factor of l(a)?
True
Let d(w) = -13*w + 8*w - 16*w + 2. Is d(-2) a multiple of 11?
True
Suppose 139 = -2*i + 387. Is 15 a factor of i?
False
Suppose -2*s - 8496 = -6*s + 4*b, s - 3*b = 2128. Is 13 a factor of s?
False
Let k(u) = -220*u**2 - 2*u - 2. Let z be k(-1). Let r = z + 317. Let v = r + -67. Is v a multiple of 15?
True
Let b(v) = 2*v - 5*v + 3*v**2 - 3*v**3 + 2*v - 2*v**2. Is b(-2) a multiple of 9?
False
Let y = -79 + 75. Is 41 a factor of (-11)/((-11)/y) - -291?
True
Let k(v) = -2*v + 11. Let u be k(5). Is 11 a factor of (330/(-75))/(u/(-30))?
True
Let k(c) = -c**2 + 4*c + 5. Let i = 2 + 4. Let x be k(i). Let t(y) = 2*y**2 + 9*y + 1. Does 12 divide t(x)?
True
Suppose 0 = -2*u - 3*m + 7*m + 1604, 1597 = 2*u + 3*m. Is 10 a factor of u?
True
Let q be (-27 - -27)*(2 - 3/2). Suppose 0 = 2*b - 2*g + 28, -2*b - 4*g + 9*g - 43 = 0. Is (-3 + (q - -2))*b a multiple of 7?
False
Let m(f) = -2*f**2 - 45*f + 34. Let v be m(-23). Let t(h) = 13 - 11*h - 2 + h**2 - 2. Is t(v) a multiple of 4?
False
Suppose 6804 = 37*m - 10*m. Is 36 a factor of m?
True
Let m(b) = b**3 + 9*b**2 + 7*b + 10. Let q be m(-8). Let t be (60/q)/((-4)/6). Let a(c) = -c + 3. Does 5 divide a(t)?
False
Let t = 2245 - 813. Does 89 divide t?
False
Suppose -26*r + 19383 + 1547 = 0. Is 23 a factor of r?
True
Let o be 2 + (-4 - (-15 + 1)). Is 8 a factor of 784/20 - (o/10 + -1)?
False
Suppose z - 95 - 321 = 0. Does 3 divide z?
False
Let v = 47 - 49. Let u = v + 23. Does 7 divide u?
True
Let p(d) = -d**2 + 3*d - 2. Let x be p(2). Suppose -2*y - q - 1 = x, 3*q + 1 + 0 = -5*y. Is ((y - 208)/3)/(-1) a multiple of 35?
True
Let z = -741 + 1281. Does 27 divide z?
True
Is 14 a factor of (3 - 1)/(-2) - (-274 - 49)?
True
Let w(g) = -g**2 - 3*g + 6. Let p be w(3). Let u = 80 + p. Is 17 a factor of u?
True
Let z(j) = 50*j**2 + 3*j - 4. Let x(b) = -b + 1. Let t(s) = -4*x(s) + z(s). Is 16 a factor of t(2)?
False
Let a(v) = -v**3 - 6*v**2 + 7. Let q be a(-6). Let r = 1 - q. Let o(s) = -10*s - 12. Is 16 a factor of o(r)?
True
Let v be (-5*7/1 + 0)*-6. Suppose v = y + y. Is y a multiple of 15?
True
Let g(f) = f**3 + 18*f**2 + 26*f - 12. Let s be g(-17). Let h(d) = -d**3 + 4*d**2 - 4*d - 7. Let q be h(6). Let t = q - s. Does 17 divide t?
False
Let j = 786 + -397. Is j a multiple of 14?
False
Suppose -92*q = -110*q + 6372. Is 4 a factor of q?
False
Let a = -59 - -61. Suppose 103 = 4*b + 5*t, -5*t + 105 = 4*b - a*t. Is 3 a factor of b?
True
Let a = 52 + -92. Is 10 a factor of 50/4*(-32)/a?
True
Let s be (251 - 0)/(3 + -4). Let m = s - -372. Does 33 divide m?
False
Suppose -5826 = -12*k + 2310. Let q = -457 + k. Does 19 divide q?
False
Suppose -4*r + 8*r = -12, 3*m + 4*r = 1056. Is m a multiple of 18?
False
Let j = -1047 - -1496. Is 32 a factor of j?
False
Let u(i) = 17*i**2 - 19*i + 98. Is 38 a factor of u(7)?
True
Suppose 4*u = 46 - 2. Let l(i) = i**2 - 4*i - 26. Is 17 a factor of l(u)?
True
Let y = 1621 - 443. Does 38 divide y?
True
Suppose 0 = -y + 16*y - 1500. Does 12 divide y?
False
Suppose -8*b - 575 + 3055 = 0. Is 4 a factor of b?
False
Suppose 16 = 2*b + 4*g, -3*g + 2*g + 6 = b. Suppose -i - b*i + q + 234 = 0, 3*q = -12. Suppose 0 = 3*a - i - 44. Is a a multiple of 17?
False
Suppose -1249*c = -1255*c + 1596. Does 17 divide c?
False
Let c(j) = -j**2 - 10*j - 6. Let v be c(-9). Is 3*18 - (-1 - v) a multiple of 7?
False
Suppose -2*o + 96 = 2*q + 14, -3*o - 2*q + 123 = 0. Suppose -h = -4*x + 171, o + 28 = x + 5*h. Is x a multiple of 22?
True
Suppose 0 = -4*a + a. Let p be a*(-4 - 14/(-4)). Suppose -5*f + 230 = -p*f. Does 23 divide f?
True
Suppose -27*y = -68*y + 6396. Does 8 divide y?
False
Let x(m) = 7*m - 64. Suppose 32*c = 31*c + 10. Is 3 a factor of x(c)?
True
Suppose 0 = -17*c - 23519 + 88442. Does 19 divide c?
True
Suppose 2*u = -3*c + 486, -c + 9*u = 4*u - 179. Is 41 a factor of c?
True
Suppose -57*k - 12760 = -62*k. Does 88 divide k?
True
Let x(y) = -12*y - 6. Let a be x(-11). Suppose 5*q - 4 = 41. Is 7 a factor of 1/2*a/q?
True
Let i(s) = -2*s**3 - 9*s**2 - s. Let f = -6 - 1. Let n be i(f). Does 19 divide (2 - 4) + n/4?
False
Suppose -p = -0*u - u + 546, -2*p = 2*u - 1092. Does 26 divide u?
True
Suppose -6*a = -8*a + 990. Does 9 divide a?
True
Suppose -s + y + 131 = -3*s, 2 = 2*y. Let u = -16 - s. Is 10 a factor of u?
True
Let n be 14/63 + 2/(-9). Let f be -4 + 2 + n + 3. Is 9 a factor of (11 + -12)/(f/(-44))?
False
Let f = -223 - -542. Let p = f - 210. Does 12 divide p?
False
Let p(m) = m**3 - 8*m**2 + 7*m. Let w be p(7). Suppose w = -42*a + 38*a + 112. Does 28 divide a?
True
Let q = -27 - -48. Suppose -3*d + q = -42. Does 4 divide d?
False
Let h be -1 + 33/27 - 382/18. Suppose -7 = -5*q + 3. Is (287/h)/(q/(-6)) a multiple of 18?
False
Let q = 8 - 43. Let s = q - -49. Is 5 a factor of s?
False
Is ((-192)/(-80))/(1/65) a multiple of 26?
True
Suppose 4*x - c = -6*c + 24, -3*c - 12 = -2*x. Let w(t) = -t**3 + 5*t**2 + 15*t + 2. Is 14 a factor of w(x)?
True
Let j(c) = -46*c - 16. Let r = -43 - -38. Is 37 a factor of j(r)?
False
Let x(j) = j**2 - 4*j - 7. Let z(o) = -o**2 + 5*o + 6. Let y(i) = 2*x(i) + 3*z(i). Does 11 divide y(5)?
False
Suppose 0 = -3*k - 2*k + 6000. Suppose -3*q + k = 3*d, 2*d = -0*d + 3*q + 820. Suppose 370 = 9*x - d. Does 11 divide x?
False
Let s(j) = 19*j**2 + 13*j + 2. Does 3 divide s(2)?
False
Let i be (-97)/(-4) - (-9)/(-36). Let m = -92 + i. Let w = m + 97. Is 20 a factor of w?
False
Let o(b) = 45*b**2 + 31*b + 65. Is o(-2) a multiple of 2?
False
Let o be (1/3)/(2/(-24)). Let z = 20 + o. Suppose -14*h + z*h - 24 = 0. Is 6 a factor of h?
True
Suppose -45*p + 8465 = -7600. Is p a multiple of 28?
False
Let g(t) = 16*t - 10. Let p be (-6)/12 + (-11)/(-2). Is g(p) a multiple of 10?
True
Suppose 5 = 4*z - 3, 3*s - 4*z - 763 = 0. Let f = s + -57. Is f a multiple of 10?
True
Suppose 3*r = -r - 8. Does 5 divide 12*(8/18)/(r/(-3))?
False
Let n(s) = 8*s - 32. Suppose -2*b + 2*m + 50 = 3*b, 5*b = -3*m + 25. Is 7 a factor of n(b)?
False
Suppose 0 = 5*h - 10*h + 20. Suppose -6 = h*p - 22. Let w(q) = 5*q + 8. Is 11 a factor of w(p)?
False
Is 180/(-25)*(-405)/9 a multiple of 18?
True
Let x(d) = 3*d - 13. Let n be x(6). Let f be 63/(-28)*(n 