f + 2*c = -3*c - 26, 3*f + x*c = 42. Does 9 divide f?
False
Does 58 divide (-590315)/(-275) + (-2)/(-5)?
False
Let u(z) = 5*z**3 + 6*z**2 - z + 17. Let d(o) = 4*o**3 + 5*o**2 - o + 17. Let h(s) = 6*d(s) - 5*u(s). Let b = 4 - 4. Is h(b) a multiple of 9?
False
Let n(j) = 1745*j**2 + 6*j - 2. Does 13 divide n(1)?
False
Let v be (3 - 1) + (23 - 0). Let x be (-85)/v - (-6)/15. Let h(c) = -c**3 - 2*c**2 + 2*c + 2. Is h(x) a multiple of 5?
True
Does 2 divide -2*4*(-5)/10?
True
Suppose -7366*o + 4760 = -7356*o. Is o a multiple of 17?
True
Suppose 3*l - 2*l - 9 = -2*u, 4*l - 1 = -u. Let k = 7 - u. Suppose 0 = -5*f + j + 65, j - 5*j = -k*f + 44. Is 4 a factor of f?
True
Let i be 2/3 + 52/(-6) - -4. Does 7 divide (64/(-12))/i + (-149)/(-3)?
False
Suppose 0 = -3*a - 2*v + 402, 8*v + 686 = 5*a + 6*v. Is a a multiple of 43?
False
Let y = -3 + 67. Let l = 84 + y. Does 37 divide l?
True
Let j(f) = -f + 442. Does 12 divide j(46)?
True
Let c = -285 - -1023. Is 6 a factor of c?
True
Suppose 0 = 6*z - z - 25. Suppose -3*j = -z*m - 442, -125 - 411 = -4*j - 4*m. Suppose j = 5*x + 19. Is x a multiple of 14?
False
Is (42/(-3))/(2/(-29)) a multiple of 12?
False
Suppose 10*a - 2085 - 1325 = 0. Does 11 divide a?
True
Suppose -f + 28 = 3*f. Let l be -2*(2 + f/(-2)). Suppose 0*o - l*o = -2*k - 142, 0 = -5*o + 5*k + 240. Is o a multiple of 15?
False
Let o(j) = -j**2 - 4. Let a(k) = k + 5. Let i(q) = -3*q - 11. Let z(p) = 5*a(p) + 2*i(p). Let l(s) = -3*o(s) - 4*z(s). Is 14 a factor of l(-3)?
False
Suppose 8*h = 7*h + 5. Suppose -120 = -h*r + r. Is 15 a factor of r?
True
Let d(v) = 118*v - 356. Is 11 a factor of d(6)?
True
Suppose 4*y + 5*x - 108 = 0, -18*y - x + 92 = -15*y. Does 2 divide y?
True
Let z = 9 + 7. Let a = z - -59. Suppose 8*w - a = 5*w. Is w a multiple of 5?
True
Let k(d) = 4 - 7*d**3 - 2*d + 2*d**3 + 3*d**3 + d**3 + 8*d**2. Let w(p) = -p**3 + 8*p**2 - 2*p + 3. Let h(i) = 2*k(i) - 3*w(i). Is 6 a factor of h(8)?
False
Let g(v) = v**2 + 13*v - 34. Is g(-20) a multiple of 2?
True
Is 11 a factor of -300*((-36)/30)/((-9)/(-12))?
False
Let g(r) = -r**3 + 5*r**2 - 2*r - 5. Let n be g(4). Let v be (14/6)/(n/(-405)). Does 35 divide (v/(-6))/(-5)*-10?
True
Suppose -79*y = -102*y + 53820. Is y a multiple of 15?
True
Suppose -1874 + 6263 = 21*q. Is 11 a factor of q?
True
Let t be ((-6)/(-12))/((-1)/(-34)). Suppose 0 = -b, u = 3*b - 11 - 4. Let a = t - u. Is 16 a factor of a?
True
Suppose -30 = -3*c - 3*c. Does 21 divide 418/10 + 1/c?
True
Let f = -21 + 532. Is 7 a factor of f?
True
Let u(c) = 8*c**2 - 12*c - 119. Is 39 a factor of u(17)?
True
Suppose 3*s - 634 = 326. Does 28 divide s?
False
Suppose -4 = 4*i + 2*v, 5*i - 11 = 4*v + 10. Does 16 divide (2 + 1)/(i/304*3)?
True
Let s be 0 - (4/(-1) - 27). Suppose -36*w - s = -37*w. Does 31 divide w?
True
Let g = 35 + -41. Let d(q) = 3*q**2 + 10*q. Is d(g) a multiple of 9?
False
Let s = 64 - 36. Let u = s - 11. Is 17 a factor of u?
True
Let d be 3*4/(-6) + 1337. Suppose -d = -5*j - 4*p, 0 = -3*j - 2*j + 2*p + 1305. Is j a multiple of 26?
False
Suppose 0*u + 15 = -3*u. Let c(g) = g**3 + 6*g**2 - 8*g - 7. Let d be c(u). Let p = -20 + d. Does 19 divide p?
True
Let x(j) be the second derivative of 11*j**6/360 - j**5/24 - j**4/4 + 6*j. Let s(g) be the third derivative of x(g). Is 21 a factor of s(2)?
False
Let g(a) = -42*a - 21. Does 15 divide g(-3)?
True
Suppose -s - 1 = -4*w + 3*w, -3 = -w + 2*s. Let f(l) = -17*l. Let m(g) = -g. Let z(h) = 2*f(h) - 2*m(h). Is z(w) a multiple of 32?
True
Let i = 47 - 45. Suppose 4*z - i*w = 198, z - 29 - 10 = -3*w. Is 48 a factor of z?
True
Let s(m) = 2*m - 10. Let u be s(6). Let f = u - -70. Is f a multiple of 9?
True
Suppose -1 = r, -3*f + 4*r - 3 + 31 = 0. Let z be 58 - (10/15 + (-8)/(-6)). Is 4 a factor of 98/f + (-14)/z?
True
Let z(v) = 6 + v**3 - v**3 + 10*v**2 - v**3 - 7*v + 0*v**3. Does 24 divide z(5)?
True
Let p(y) = 6*y**3 - y**2 - y + 1. Let i be p(1). Suppose -i*x + 3*r - 318 - 82 = 0, 0 = -x + 4*r - 97. Let o = -51 - x. Is 7 a factor of o?
False
Let z be (-2 - -98)*(-8)/(-6). Suppose -5*l - 7*k + 2*k + 140 = 0, -5*l + z = 2*k. Is l a multiple of 6?
True
Let v(y) = -y**3 + 9*y**2 + 11*y - 24. Let s(o) = 3*o + 47. Let n be s(-14). Is v(n) a multiple of 32?
False
Let o(n) = -n**3 + 9*n**2 + 6*n - 11. Is o(6) a multiple of 19?
True
Let p(w) = -w**3 - 15*w**2 - 25*w + 18. Is p(-13) a multiple of 5?
True
Suppose c - 1508 = -3*c. Let w = c - 257. Suppose -y - g + 4*g = -66, -2*y + w = -3*g. Is y a multiple of 27?
True
Suppose 2 = -w, -2*c = -w - 31 - 265. Is c even?
False
Does 17 divide -5 - 372/15*(-1 - 4)?
True
Let b(v) = 85*v**2 - 12*v + 47. Does 32 divide b(5)?
True
Let x(w) = -w**2 + 12*w - 15. Let i be x(10). Suppose -5*q = 4*l + 45, -l = -i*l - 4*q - 44. Does 13 divide (-388)/l - 2/(-10)?
True
Let y(r) = 18*r - 5. Let x = 31 + -28. Is 30 a factor of y(x)?
False
Let g(o) = o**2 - 17*o - 16. Let m be g(20). Suppose -5 + m = 3*r. Is 13 a factor of r?
True
Let r = 13 + -5. Suppose 5*n = -3*k + 7 + 35, 19 = 2*n - k. Suppose o - n = r. Is 6 a factor of o?
False
Let q be 3*(2 + 4/(-4)). Suppose i = q*i. Suppose 3*y + i*w - 22 = -2*w, -4*w = -8. Is 6 a factor of y?
True
Let z(g) = -g**3 - 39*g**2 - 46*g + 56. Is z(-38) a multiple of 4?
True
Let f(r) = -262*r**3 + 4*r**2 + 4*r - 12. Does 14 divide f(-2)?
False
Suppose -2*c + 46 = -3*u, c + 3*u + 0*u - 32 = 0. Does 26 divide c?
True
Suppose 0 = u - 15 - 36. Let b be 2/((-14)/(-45)) - 30/70. Is 56/b - (-34)/u a multiple of 5?
True
Suppose 2*q - 6*q + 216 = 0. Let c = q + -14. Does 10 divide c?
True
Let y(c) = 2*c**3 - 9*c**2 + 5*c + 5. Is 11 a factor of y(6)?
True
Suppose -46*v = -41*v - 3465. Is v a multiple of 33?
True
Suppose 0 = -4*o + 12, 5*v = -0*o + 3*o + 411. Let n be (1 + 0)/((-7)/v). Is 25 a factor of ((-150)/12)/(2/n)?
True
Suppose -5*n = -z - 2*n + 13, 3*n + 9 = 0. Let p(f) = -11*f + 11*f + f**2 - z + 1. Is p(-3) a multiple of 3?
True
Let c = 133 + -39. Suppose 266 + c = 2*b. Suppose j - 3*j + b = 0. Is j a multiple of 30?
True
Let y = 1437 - 492. Is 18 a factor of y?
False
Let o(t) = t**2 - 11*t - 2. Let i be (12 + -7)*(-14)/(-5). Does 5 divide o(i)?
True
Suppose 16*w - 28407 = 3273. Does 66 divide w?
True
Suppose -q + 24 = -y + 4*q, 2*y - 7 = -q. Does 13 divide (16 + -4 + y)/2*26?
True
Suppose 0 = -4*f - 478 - 434. Let c = f + 133. Let x = c + 134. Does 13 divide x?
True
Let i = 192 + -74. Suppose 2*b = 3*h + 2*h, 3*h = -b. Suppose 0 = 4*r - 4, b = -2*g + 2*r + 38 + i. Is g a multiple of 20?
False
Let k(x) = 6*x**2 - 2*x. Let t be k(-3). Let m = 3 + t. Is m a multiple of 4?
False
Let z be 13/(-3) + (-2)/(-6). Let t = -1 - z. Suppose -t*a = -8*a + 260. Does 23 divide a?
False
Let y = -25 + 25. Suppose -4*u + 2*r + 6 = 0, u = -y*r - 2*r - 6. Suppose -4*f - f + 130 = u. Is 13 a factor of f?
True
Let d(y) = 2*y + y - 4 - 2*y + 3. Let x be d(2). Is ((-30)/(-35))/(x/14) a multiple of 4?
True
Let k(x) = 5*x**2 - x. Let z be k(-2). Suppose 3 = -3*h, -2*h - z = -2*y - 3*y. Suppose 4*c + 2*m = c + 26, y = 4*m. Is c a multiple of 8?
True
Is 6 a factor of (-160826)/(-291) - 4/6?
True
Suppose 0 = 7*a - 81 + 11. Is 2 a factor of (1/1 - 4)*a/(-15)?
True
Let p = 114 - 110. Suppose -5*a - 25 = 0, j - p*a - 15 = -7*a. Does 5 divide j?
True
Suppose -10*r + 4282 = 292. Does 4 divide r?
False
Let h(b) = b**2 + 15*b + 421. Does 5 divide h(-18)?
True
Suppose 0 = -r - 0 + 3. Suppose -r*b + 12 = b. Is b - (-4 - (0 + -3)) a multiple of 4?
True
Suppose 6 - 29 = -b. Let w = b + -9. Let v = 44 - w. Does 6 divide v?
True
Let r(w) = w + 6. Let c(g) = g**2 + 8*g + 6. Let h be c(-6). Let i be r(h). Suppose i = 5*p - 14 - 6. Does 3 divide p?
False
Let q = 547 + -239. Is 22 a factor of q?
True
Suppose 0 = k - g + 22, -3*k - 5*g + 0*g = 58. Let r be (2/4)/(k/(-672)). Suppose 0 = 2*m - r - 128. Is 12 a factor of m?
True
Let c = -20 - -134. Does 38 divide c?
True
Let c(o) = 85*o + 125. Let i(u) = -14*u - 21. Let t(f) = 6*c(f) + 35*i(f). Let a be t(8). Suppose -y + 3*v + 27 = 0, -5*y - 4*v + a + 55 = 0. Does 21 divide y?
True
Let h = -384 + 405. Is h a multiple of 7?
True
Let z be (-6 + 2)*(58 - 4). Let b = -139 - z. Let q = b + -51. Is 14 a factor of q?
False
Let w(o) = o**3 + 27*o**2 - 25*o - 98. Is 30 a factor of w(-27)?
False
Suppose -664*g + 660*g = -76. Let h =