 Is 15 a factor of c(-9)?
True
Suppose 2*u = -u - 15, -133 = -j - 4*u. Suppose -3*d = -105 - j. Suppose -50 = -o + d. Is o a multiple of 17?
True
Let u = 333 - 148. Let a = u - 170. Does 5 divide a?
True
Suppose -8404 = -16*r + 1308. Is r a multiple of 18?
False
Let v = -7 - -11. Let l(t) = -15 - t**2 - 4 + v + t + 14*t. Is l(12) a multiple of 5?
False
Suppose 2*g + 5*d + 38 = -g, g = 5*d + 14. Let a(b) = 11*b**2 - 4*b + 9. Is a(g) a multiple of 13?
True
Let q be ((-418)/6)/((-2)/6). Let r(j) = -5*j**2 - 29*j + 93. Let k be r(-8). Suppose -k*i - w + 339 = 0, 6*w + q = 3*i + w. Is 17 a factor of i?
True
Let m be (-10)/4*(-1 + (-6)/10). Suppose m*k + 1 = 17. Suppose 316 = 4*h - k*w, -h + 3*w + 119 = 38. Is 9 a factor of h?
False
Let w(z) = -z**3 + 57*z**2 - 369*z + 84. Is w(20) a multiple of 268?
True
Let b(j) be the first derivative of -j**3/3 + 10*j**2 - 6*j - 138. Does 10 divide b(14)?
False
Let x(y) be the third derivative of -1/3*y**3 + 1/20*y**5 + 0*y + 0 - 1/24*y**4 - 8*y**2. Is x(-4) a multiple of 7?
False
Is 23 a factor of 3*(119361/9)/11?
False
Let o(n) = -612*n**3 + 2*n + 1. Does 12 divide o(-1)?
False
Suppose -o + 3286 = -702*p + 704*p, -3*p + o + 4909 = 0. Is p a multiple of 11?
True
Let k(r) = 11*r**3 - 4*r + 3*r**2 + 3 + r**2 + r + 3. Let a be 57/18 + (-5 - (-87)/18). Is 33 a factor of k(a)?
True
Suppose 1826 = 4*p - 6150. Suppose 30*k - p - 5656 = 0. Is 85 a factor of k?
True
Suppose -5*c + 9000 = 2*k, -2*k + 4*c - 2326 = -11380. Is k a multiple of 43?
True
Let v be ((-567)/35 - -7)*-35. Let o = -25 - -479. Let r = o - v. Is r a multiple of 14?
False
Let i be (488/(-6))/(48/(-216)). Let k = i + -334. Is k a multiple of 4?
True
Let k be ((-198)/15)/((-4)/(-20)). Let w = k - -168. Does 3 divide w?
True
Suppose 0 = 3*b - 5*l + 50 - 141, 0 = -4*b - 3*l + 131. Suppose -4*h + 415 - b = -u, -4*h = -4*u - 392. Is 22 a factor of h?
False
Let s be (-12)/(-28) - (4266/(-42) + 0). Let g = 424 - s. Does 14 divide g?
True
Let x(o) = -22 + 8 - 15*o + 12 + 8. Is x(-5) a multiple of 8?
False
Suppose 2559 = -41*i - 926. Suppose 480 = 4*c + 2*t - 6*t, 5*c + 5*t - 610 = 0. Let g = i + c. Is g a multiple of 9?
True
Suppose 3*f - 261 = -3*b, 0*b + b - 75 = 5*f. Let c = b - -143. Is c a multiple of 12?
True
Suppose -56849 = 342*s - 350*s + 11479. Is s a multiple of 13?
True
Let o(s) be the second derivative of -s**5/15 + s**4/6 - s**3/2 - 9*s. Let t(l) be the second derivative of o(l). Is 11 a factor of t(-6)?
False
Suppose -18*j + 23*j - 5 = 0, 5*k = 3*j + 7. Suppose k*g + 5*o = 1496, 0 = 4*g - 2*o - 966 - 2026. Does 68 divide g?
True
Suppose -5*f + 37*s = 32*s - 6835, -7*s - 2759 = -2*f. Does 6 divide f?
True
Let b(l) = 85*l + 76. Let p(h) = 2*h**2 - 2. Let y be p(2). Is b(y) a multiple of 27?
False
Let g = -858 + 858. Let w(n) be the third derivative of n**4/8 + 13*n**3/6 - n**2. Does 2 divide w(g)?
False
Let j(o) = -20*o + 124. Let c be j(7). Does 3 divide (-1)/(-4) + (-44)/c?
True
Suppose 8*i = -44 - 28. Is (87/i)/(((-5)/(-165))/(-1)) a multiple of 29?
True
Let w(y) = -8*y + 50. Let a be w(-6). Suppose -k - 166 = -5*h, -2*h + a = -4*k + 28. Is h a multiple of 2?
False
Suppose i = z - 1, 5*i - 13*z = -18*z - 15. Is 17 a factor of (4/i)/(2 - (-192)/(-92))?
False
Is (3 - (-65)/(-10)) + 135/(-30) + 24995 a multiple of 85?
False
Let v(d) = d**2 + 4*d + 4. Let w(t) = t**3 + 2*t**2 + 2*t - 2. Let o be w(-2). Let u be v(o). Suppose 0 = 2*f + 2*f - u. Is 4 a factor of f?
True
Does 26 divide (996/9)/(80/1140) + 9?
True
Suppose 3*n - 9 = -0*n. Suppose -11*q = -5*q + 8*q. Suppose q = n*r - 0*r - 48. Is 3 a factor of r?
False
Let d be (-601)/4 + 10/40. Let j be -4 - ((-4)/(-1))/(8/(-452)). Let n = j + d. Is 14 a factor of n?
False
Suppose -8*t + 5027 = -7909. Does 33 divide t?
True
Let t = 1135 - 725. Suppose p + t = 3*w, 0 = w - 6*w + 5*p + 700. Is 9 a factor of w?
True
Suppose 29*l - 22*l = 0. Suppose -c + 2*i + 2*i + 336 = l, 0 = -2*c - 4*i + 672. Is c a multiple of 7?
True
Let t(h) = 23 - 49 - 45*h + 25. Let c be t(1). Let r = 2 - c. Is r a multiple of 6?
True
Suppose -6*l = 18*l + 6336. Let a = l + 402. Is a a multiple of 12?
False
Let h = 7100 + -3443. Does 34 divide h?
False
Is 188 a factor of 36*((-348)/(-90) + -4)*(-9400)/12?
True
Let z(y) = 13*y**2 - 363*y + 153. Does 37 divide z(33)?
True
Suppose 2*w - 757 - 173 = 0. Suppose 12*q + 3*q - w = 0. Does 2 divide q?
False
Suppose 26*y + 40197 = 173577. Is 10 a factor of y?
True
Let k = -8863 + 15860. Is 16 a factor of k?
False
Let l(f) = -4*f**2 + 33*f - 5. Let q be l(8). Suppose 4*p = -p - 2*g + 3807, 3*p - q*g = 2301. Is 22 a factor of p?
False
Let t be (52/26)/(4/(-114)). Let l = t - -221. Does 41 divide l?
True
Let t be 3/(-1*(-3)/38). Let l be (-30)/(-24) + 4361/28. Suppose -5*x = -l - t. Does 13 divide x?
True
Let i = 13636 - 7290. Is i a multiple of 25?
False
Let r(t) = -17*t**3 + 6*t**2 - 3*t - 28. Suppose 3*n = 4*x - 5, 18*n = 17*n - x - 4. Is 10 a factor of r(n)?
False
Suppose 2*d = -4*o - d + 21, -5*o = 4*d - 26. Let r(s) = s**3 - 5*s**2 - 6*s. Let m be r(o). Suppose 3*p + 2*i + m = 149, 3*i = -6. Is p a multiple of 10?
False
Let o(v) = 7*v**2 - 39*v + 33. Let t(k) = 4*k**2 - 20*k + 17. Let b(x) = -3*o(x) + 5*t(x). Let r be b(16). Suppose -2*n + 128 = r*n. Is n a multiple of 11?
False
Suppose -5*w - u = -149157, -5*w = -53*u + 44*u - 149137. Is w a multiple of 23?
True
Is 8 a factor of 6 + -11 - 1*257*-5?
True
Suppose 8*m + 1279 = -1. Let w be 3/((-764)/376 - -2). Let o = w - m. Does 11 divide o?
True
Let d = -17184 + 19851. Is d a multiple of 24?
False
Let a(q) be the second derivative of -q**5/20 - q**4/12 - q**3/6 - q. Let n be ((440/10)/(-22))/((-2)/(-4)). Does 6 divide a(n)?
False
Let q be ((-122)/5)/((-6)/15). Let o = q + -13. Does 24 divide o?
True
Let q(d) = d**3 + 7*d**2 - 3*d - 7. Let z be q(-7). Suppose a + 12 = -3*m, 0*m + 4*m + z = -2*a. Let b(x) = 4*x**2 + 6*x - 6. Does 16 divide b(m)?
True
Suppose -11*c - 480 = -15*c + 2*d, 3*c - 361 = 2*d. Is 9 a factor of c?
False
Let p be ((-407)/44 - -9)/((-2)/8). Is 11 a factor of (-5335)/(-220)*4*1/p?
False
Suppose -2*g - 23 = 3*c, 0 = 3*c - 0*c + 3*g + 24. Let j(t) = -4*t**2 + 2*t**3 - t**3 + 12*t**2 + 0*t**3 - 3*t - 11. Is j(c) a multiple of 6?
False
Let v(n) = -2*n**3 + 16*n**2 - 8*n + 10. Let h = -226 - -233. Is 22 a factor of v(h)?
False
Let l(j) = 27*j**2 + 6*j + 28. Let u(i) = -28*i**2 - 7*i - 30. Let f(k) = 6*l(k) + 5*u(k). Does 68 divide f(6)?
True
Suppose 2*o - 5*i = 37, 5*i + 8 = -7. Suppose -12*x = -5*x - 21. Is 18 a factor of x + -2 - (-792)/o?
False
Suppose o - 5 = 0, 7*d - 2*o = 4*d - 1999. Let a = d + 1031. Is 46 a factor of a?
True
Let h(z) = -2*z**2 + 10*z - 4. Let s be h(4). Let r be 1269/s - 45/(-60). Suppose 0 = -6*j + 9*j - r. Is 9 a factor of j?
False
Let f(y) = 6*y**3 - y**2 + 8*y - 17. Suppose -3*v + 1 + 8 = 0. Is f(v) a multiple of 6?
False
Let s = -6494 + 15262. Is 7 a factor of s?
False
Let r be -8 + 9 - -2*2. Suppose r = 5*x, 3*s = s - 3*x - 29. Is 16 a factor of (-6)/16 + (-262)/s?
True
Let h(f) = f**3 + 23*f**2 - 22*f + 5. Let p be h(-24). Let g = p - -49. Is 13 a factor of 9/(1/20*g)?
False
Suppose -14*n - 20 = -19*n. Suppose -c + 0*c = 0, 0 = -n*o + c - 580. Let x = -73 - o. Is x a multiple of 12?
True
Suppose 0 = -19*x + 73*x + 7*x - 199836. Does 9 divide x?
True
Let k = 29 - 17. Suppose 3*z - k - 3 = 0. Suppose 2*g - 180 = -5*y, -2*y = z*g - 3*y - 504. Is 25 a factor of g?
True
Suppose 5*t + 3*j = -10, 2*j + 11 = -5*t - 4. Let y(s) = s**2 + 8*s + 18. Let d be y(t). Suppose -d*x + q = 6*q - 39, 3*q + 99 = 5*x. Does 8 divide x?
False
Suppose 7 = 5*y + 2*p, -26 = -2*y - 4*p + 9*p. Is 19 a factor of (y - 3 - 6/12)*-1918?
False
Is (-18 + -478)/(1 + (-6)/5) a multiple of 10?
True
Suppose 2*t = -4*z + 50 - 144, -3*z = 5*t + 74. Let f = -17 - z. Suppose 8 = -f*o + 368. Is o a multiple of 6?
True
Suppose -1171584 = -166*g + 22*g. Is g a multiple of 9?
True
Does 12 divide ((-44)/16)/(156/160 - 1)?
False
Suppose -33*p + 396 = 11*p. Is 62 a factor of 1390 + p - (0 + -5)?
False
Suppose -2*z - p = z - 43, -5*z + 67 = 4*p. Let k = -10 + z. Is ((-20)/k)/((-4)/30) a multiple of 4?
False
Let w(o) be the first derivative of -3*o**4/4 - 2*o**3/3 + 7*o**2/2 + 13*o + 20. Does 9 divide w(-4)?
False
Suppose g - 3 = 0, 5*y +