g + 648 = -n*g. Is 24 a factor of g?
True
Let x be 0 - (30/(-12) + 5/(-10)). Suppose -x*j - 11 = -w, 7 = -w + j + 20. Does 6 divide w?
False
Let k(b) = -17*b**2 - 634*b + 68. Is 5 a factor of k(-32)?
False
Suppose -5*z = -336*y + 333*y - 120498, 24122 = z + 5*y. Is z a multiple of 18?
True
Let g = 125 + 102. Suppose 0 = -u - 3*q + g, -7*q + 4*q = 4*u - 917. Is 10 a factor of u?
True
Let t be 338/(-1521) - (1 - 4234/18). Suppose -7*r + 5*r + t = 0. Is 26 a factor of r?
False
Suppose -t + 3 = h, h - 6*h + 17 = 3*t. Suppose h*f + z - 5*z = 396, -f + 4*z = -84. Suppose -f*y + 100*y = -408. Is y a multiple of 17?
True
Suppose 4*z + 3*t - 16437 = 0, 143*t = 2*z + 140*t - 8259. Is 42 a factor of z?
True
Let g be 0 + 34/6 - (-4)/(-6). Suppose -12 = -i + 4*i, -4*w - g*i = -412. Does 12 divide w?
True
Suppose -31623 = -3*a + 10587. Is a a multiple of 14?
True
Suppose -12*v = -38 + 2. Suppose v*u + 1112 = 4463. Does 19 divide u?
False
Suppose 0 = 3*j - 3*c - 106 - 2, c = 2*j - 71. Suppose 5*s - j = 2*s - 4*w, -4*w + 40 = 4*s. Is 14 a factor of 43 - s - (-4 + 0)?
True
Let u(i) = -i**2 - 44*i - 56. Let a be u(-24). Let o = -359 + a. Is o a multiple of 7?
False
Let h = -236 - -721. Suppose h = 10*x - 515. Suppose x = -3*r + 307. Is r a multiple of 19?
False
Suppose 4*u + 26728 = 7*u - 2*x, -8916 = -u + 4*x. Is u a multiple of 131?
True
Let j(z) be the third derivative of z**5/30 - z**4/6 - 2*z**3 + 584*z**2. Suppose -2*l + 2 = -3*x - 17, x = -5*l + 5. Is 29 a factor of j(x)?
True
Let z(k) = k**3 + 12*k**2 - 25*k + 330. Does 38 divide z(10)?
True
Let j(x) = 14*x + 44. Let g(h) = -5*h - 15. Let q(a) = 11*g(a) + 4*j(a). Let n be q(-8). Is 1/6 + (1185/18 - n) a multiple of 21?
True
Let y be 5*11*(6 + 243/(-45)). Suppose 4*n + 24 = 4*k, 5*k - 5 = n + y. Suppose -41 = -r + k. Is r a multiple of 7?
True
Is 14953 + 2 - (29 - 46) a multiple of 38?
True
Let s(z) = z + 7. Let f be s(-11). Let q be (-2)/2 - (0 + 2724/f). Suppose q = 5*p + 115. Is p a multiple of 8?
False
Let x(l) = 13*l + 388. Let b be x(-30). Let v(h) be the first derivative of -3*h**4/4 - h**3 - h**2 + 1. Does 4 divide v(b)?
True
Let p = 10 - 6. Suppose -3*d - 3*w + 294 = 0, -2*d - 5*w + 69 = -121. Suppose -3*b + 0*b + 272 = 5*s, b + p*s = d. Does 23 divide b?
False
Suppose 979 = -4*v - 3*t + 4*t, 3*v + 5*t = -740. Let j = v + 265. Is j even?
True
Let f = 5877 + 5869. Does 61 divide f?
False
Let p(h) = -30 - 44 - 9*h + 17 - 21. Does 23 divide p(-24)?
True
Let z be (-532)/(-95) + 3/(-5). Suppose -5*k + 2*r + 920 = 0, 5*k + z*r = 293 + 627. Suppose 5*w - 236 = k. Does 12 divide w?
True
Let h(q) be the third derivative of q**8/3360 + q**7/5040 + q**6/240 - 7*q**5/30 - 8*q**2. Let f(n) be the third derivative of h(n). Is f(-3) a multiple of 17?
False
Suppose -7562*r = -7575*r + 7007. Is 49 a factor of r?
True
Suppose 5*m = -0*m + 405. Suppose m*c - 78*c - 1755 = 0. Does 12 divide c?
False
Let l(x) = -28*x**2 + 23*x - 23. Let h(k) = -14*k**2 + 11*k - 11. Let c(f) = -5*h(f) + 2*l(f). Does 36 divide c(3)?
True
Let c(f) = 4*f**2 - 5*f + 11. Let w(z) = -7*z**2 + 11*z - 22. Let v(n) = 5*c(n) + 3*w(n). Let x be v(7). Does 8 divide (10/x)/((-11)/154)?
False
Is 40 a factor of (136/16 - 10) + (2 - (-8956)/8)?
True
Suppose 3*s = 6*i - 11*i + 1971, i = 2*s - 1301. Suppose 2308 - s = 12*k. Is k a multiple of 46?
True
Let a be (5/5)/1*-1031. Let r = a + 2120. Is r a multiple of 33?
True
Let r(q) = -q**3 - 5*q**2 - 6*q - 18. Let g be r(8). Let p = -631 - g. Suppose o - 4*o = -p. Is 13 a factor of o?
False
Suppose s - 5*s = b + 16, 8 = -2*s. Suppose y - 15 + 16 = b. Let l(n) = 19*n**2 + 1. Is l(y) a multiple of 6?
False
Suppose 0 = -5*y + 3*f + f + 3053, -2*y = 3*f - 1212. Let b = y - 333. Does 12 divide b?
True
Suppose 2*w + 646 = 3*t - 2056, 0 = -t - 3*w + 886. Does 4 divide t?
False
Let g(o) = -o**3 + 27*o**2 - 10*o. Let w = 271 + -245. Is g(w) a multiple of 66?
False
Let g(i) = -2*i**2 + 19*i - 6. Let w(a) = -2*a + 35. Let s be w(16). Suppose 0 = -4*m - v + 27 + 4, -2*m - s*v = -13. Does 18 divide g(m)?
True
Let m = 523 + -523. Suppose -3*r + 178 = 5*a - 480, 3*r + a - 650 = m. Does 12 divide r?
True
Let x(n) = 3*n**2 - 2*n**2 + 652 - 629 + 24*n - 30*n. Let b = -13 + 23. Is x(b) a multiple of 9?
True
Let h = 18163 - 15846. Does 7 divide h?
True
Suppose 2425 = -6*d + d. Does 9 divide 4 + 2/(-10)*d?
False
Let r(p) be the second derivative of 149*p**3/6 - 51*p. Is 60 a factor of r(2)?
False
Suppose 48*c + 2081730 = 47*c + 323*c. Does 4 divide c?
False
Suppose -4517 = -2*v - 546*p + 551*p, 0 = 3*v - 2*p - 6770. Is v a multiple of 6?
True
Suppose -128*i + 137*i - 28080 = 0. Is i a multiple of 10?
True
Let s = -81 + 81. Suppose -5*w + 5 = s, o + 3*w + 2272 = 6*o. Is 35 a factor of o?
True
Let j(o) = -7*o - 1. Suppose 0 = -3*p + p + 64. Suppose p = -19*z + 15*z. Is j(z) a multiple of 11?
True
Suppose -2*t + 4*t = 4*d - 32, -2*d - 3*t + 24 = 0. Suppose -d*a = -13*a + 696. Is a a multiple of 11?
False
Let f = 211 - 206. Suppose 0 = -x - 3, 0 = -f*b + 3*x + 319 + 1555. Does 5 divide b?
False
Let f be (0 - -6)*2/4. Let b = -289 - -581. Suppose -f*o - o = -b. Does 18 divide o?
False
Suppose -13*h - 5844 = -15*h + 2*u, 8770 = 3*h - u. Is 43 a factor of h?
True
Suppose 2*i - 24 = 2*a - 6*a, -4*a - 5*i + 36 = 0. Suppose a*x + x = -0*x. Suppose x = q - 5 - 15. Is q a multiple of 4?
True
Is (-3663)/333*1307/(1 - 2) a multiple of 13?
False
Suppose 0 = -1034*l + 1064*l - 2079360. Is 361 a factor of l?
True
Suppose 11*p = 2*p + 36. Suppose 14*h - 13*h - 1599 = 0. Suppose p*q + 351 = h. Does 24 divide q?
True
Let o(x) be the second derivative of -x**6/720 + x**5/8 + x**4/6 + 9*x. Let i(n) be the third derivative of o(n). Does 3 divide i(0)?
True
Is ((-2056)/(-7) - -1*16/56)*6 a multiple of 73?
False
Suppose 0 = -c - 5*g - 220, 2*c - 7*g + 10*g + 433 = 0. Is 21 a factor of -2 - (-4 + 1 + c + -2)?
False
Does 23 divide (3040180/(-3146) - (-8)/22)/((-2)/39)?
True
Let s(o) = -5*o - 1. Let u be s(-6). Let c = -26 + u. Is 3*c*(20 - 16) a multiple of 16?
False
Let w(x) = -x**2 + 28*x - 116. Let f = 126 + -104. Is w(f) a multiple of 2?
True
Let c(y) = 32*y - 136. Let m be c(8). Suppose 2*a + 5*b - 697 = 0, a + 2*b = 226 + m. Is a a multiple of 8?
True
Suppose -3*a - 2*g - 6 = 0, -13*a + 4*g - 6 = -10*a. Let m(v) be the first derivative of 4*v**3 + v**2/2 + 4*v - 1. Is 6 a factor of m(a)?
False
Suppose -27*c = -25*c - 3*w - 2477, -1256 = -c - 2*w. Is c a multiple of 14?
True
Suppose 3*h - 4*h = 522. Let q = -195 - h. Is 19 a factor of q?
False
Let r = 463 + -454. Suppose 8*i + 125 = r*i. Does 26 divide i?
False
Suppose -3*b + b = -72. Suppose 2*w + 4 + b = 0. Does 8 divide (-1272)/w + (-4)/(-10)?
True
Let w = 10 - 10. Suppose w = -5*s + 4*s + 3. Is (-32 + -2)*(1 - s) a multiple of 8?
False
Suppose -59*g + 13624 = -17*g + 89*g. Let n = 32 - 59. Does 21 divide g/3 - (-18)/n?
False
Let u be (-73 - 37) + 0 + 0 + 1. Let l = 59 - u. Is l a multiple of 44?
False
Does 59 divide 652248/120*(-2 - (-77)/21)?
False
Does 21 divide 12/(-24)*(-60081 + -1)?
False
Let w(c) = -4*c**2 - 23*c + 7. Let i(u) = 2*u**2 + 11*u - 3. Let p(h) = 13*i(h) + 6*w(h). Let m be p(-4). Let x = 7 + m. Is 22 a factor of x?
True
Let w(x) = -5*x - 123. Let r be w(-25). Suppose -u - 8 = -r*o - 100, 10 = 5*o. Is u a multiple of 2?
True
Let s = -130 - -309. Suppose -15*b + 16*b - s = -3*q, 0 = 2*b - 2*q - 350. Is b a multiple of 44?
True
Let n(q) = 11*q**3 - 4*q**2 + 3*q - 1. Let k be 24/(-18)*(-12)/8. Let x be n(k). Suppose -5*b + 118 = 2*a, 5*a = 3*b - 0*a - x. Is 12 a factor of b?
True
Let a be 2 + (-1)/(-4)*0 - -22. Suppose 17*f + 371 = a*f. Is f a multiple of 17?
False
Let x = 95 + 47. Suppose 0 = 156*w - x*w - 20678. Is 13 a factor of w?
False
Suppose 41*d + 54 = 59*d. Suppose 2*x - 3*k = 480, -4*x - 222 = -5*x - d*k. Does 13 divide x?
True
Suppose -6*z = -z - 2*j - 27, -5*z + 22 = 3*j. Suppose -4*x = -z*f + 332, 5*x + 335 = 5*f - 0*f. Does 4 divide f?
True
Let f = 1385 + -704. Let x = -441 + f. Is 10 a factor of x/(-18)*6/(-4)?
True
Let j be (-1*13)/((-5 + 3)/62). Let b = 778 - j. Does 77 divide b?
False
Suppose -c + 2720 = -3*l, -4*l = c - 2834 + 121. Let b = c - 1841. Is 69 a factor of b?
False
Suppose 0 = -1055*k + 1042*k + 49504. Does 17 divide k?
True
Suppose -6*q + 3*h 