e (27/4)/(j/24)?
False
Let b(f) = f**2 - 12*f - 40. Let y be b(15). Suppose t = -y*x - 3*t + 456, 5*x + t = 459. Is 25 a factor of x?
False
Suppose 775314 = 65*u - 1406346. Is u a multiple of 12?
True
Let o = 136 + 58091. Is 83 a factor of o?
False
Is (9844/230)/((-12)/(-270)) a multiple of 9?
True
Suppose -4*h + 13269 = -i, 3331 = h - 31*i + 28*i. Does 24 divide h?
False
Let z(y) = 4*y**2 - 20*y + 36. Let g(i) = i**2 - i. Let b(j) = 5*g(j) - z(j). Does 7 divide b(-18)?
False
Suppose 8*k + 8*k - 208 = 0. Suppose 2*a - 3856 = -3*q, -5*a = 7 + k. Does 15 divide q?
False
Let y = 21 + -8. Suppose y*d - 854 = 6*d. Is d a multiple of 10?
False
Let n(i) = 9*i**3 + i. Suppose o - 6 = -2. Suppose -5*d - 15 = 0, 7 = -4*t - 5*d - o. Is 3 a factor of n(t)?
False
Let i(j) = 2*j**3 + 122*j**2 - 126*j - 82. Is i(-62) a multiple of 7?
True
Let l(a) = 22*a**2 + 11*a + 19. Let r be l(-12). Let n = 955 + r. Is 8/6 + n/30 a multiple of 32?
False
Suppose 0 = -u - c - 103, -u + 2*c - 4 = 111. Let o = -83 + 50. Let q = o - u. Is 7 a factor of q?
False
Let f(n) be the first derivative of n**4/4 + 5*n**3 + 2*n**2 + 6*n - 99. Is 8 a factor of f(-9)?
True
Suppose 10*p = 13944 + 7614 + 1642. Is 16 a factor of p?
True
Let v(s) = -s**2 + 2*s - 8. Let t be v(2). Is 8 a factor of 40/t*(304/10)/(-4)?
False
Let a(z) = 5*z**2 - 1. Suppose s - 3 = 4*s. Let d be a(s). Suppose -3*b = 4*w - 251 - 165, -d*w + 556 = 4*b. Does 14 divide b?
True
Is 325/(-25) - (-7922 + 4) a multiple of 184?
False
Let h = 42 - 46. Let t be -2 + 4 - 3 - h. Let u = t - -12. Is u a multiple of 7?
False
Let r(f) = f**3 + 2*f**2 + 7*f - 35. Suppose -2*h - 9 = -4*s - 29, 0 = -4*s - 8. Does 47 divide r(h)?
False
Suppose -j + 2*j - 10*j = 0. Suppose -t - 2*o = -434, -2*o + j*o - 6 = 0. Is t a multiple of 8?
True
Suppose 15*j - 4694 = -75*j + 2866. Is j a multiple of 7?
True
Suppose 12018 = -315*z + 321*z. Does 45 divide z?
False
Let o be (4 - 7/1) + 4. Suppose o = 5*x + 3*b - 0, -5*x + 2*b + 16 = 0. Suppose -2*g + g - x*s = -179, -2*g = -5*s - 385. Is 17 a factor of g?
False
Let k = 56 - 79. Let c(x) = x**2 + 15*x + 31. Let f be c(k). Suppose y - 5*p = 59, -y - f = -5*y - p. Does 9 divide y?
True
Let j(z) = 3188*z + 6700. Is 59 a factor of j(13)?
True
Suppose 8*d = 3*d - 100. Suppose -135 = 5*l + 5*n, 4*l - 2*n = -79 - 11. Let v = d - l. Does 4 divide v?
True
Does 9 divide 1211002/169 - 4/(-13)?
False
Suppose 139*y + 30*y - 4424112 = y. Is 66 a factor of y?
True
Suppose 896310 = 397*r + 36*r. Is 12 a factor of r?
False
Suppose 2*r + 46928 + 41594 = 2*n, 4*n - 176988 = -4*r. Is n a multiple of 18?
False
Suppose 6*c - 2*c + 16 = 0. Let w be 6/(-4)*(c + (-80)/(-12)). Does 23 divide w*2/(-24)*213?
False
Let l(u) = -2*u**2 - 3*u - 39. Let j be l(13). Let w = j - -497. Does 9 divide w?
True
Let s = -1 - -4. Suppose -c - 4*g = c - 52, 3*g = s*c - 123. Suppose -2*i - 4*x + c = -26, -3*i + 89 = 2*x. Is 11 a factor of i?
False
Suppose -4*x + 3*i - 2 = -5*x, 0 = 4*x + 4*i - 8. Suppose -7*o + 2*o = x*w + 750, -w - 153 = o. Let q = -24 - o. Is q a multiple of 31?
True
Suppose -3*b - 2*j + 18833 = 0, -4*b + j - 12554 = -6*b. Is 41 a factor of b?
False
Suppose 15 = -b + 3*t, -b - 5*t + 25 = 2*b. Suppose -8*c = -12*c - 4*x + 236, c - 4*x - 49 = b. Does 35 divide c?
False
Let y(r) = 17*r + 83. Let j(h) = 16*h + 84. Let b(k) = -3*j(k) + 2*y(k). Let t(x) = 5*x + 29. Let m(s) = -4*b(s) - 11*t(s). Is m(-11) a multiple of 7?
True
Let s = 7 + -1. Let u(o) = -o - 28. Let p(i) = -i + 25. Let g(d) = -5*p(d) - 4*u(d). Is 12 a factor of g(s)?
False
Let i be (-2 - -1)*(4 + 9). Let p = i - -16. Let n = p - -20. Is n a multiple of 3?
False
Suppose 5*a + 2*k = 4988, 5*a + 36 = -k + 5025. Is 3 a factor of a?
False
Is ((-5649)/(-28))/((-51)/(-136)) + -5 a multiple of 18?
False
Let p be (26/65)/((-1)/(-10)). Suppose -4*v + 6*r - 4*r = -1406, 0 = -p*v + 3*r + 1409. Is 25 a factor of v?
True
Let t be (-24)/(-7) + (-16)/(784/21). Is 11 a factor of (t + (-49)/21)*363?
True
Suppose 3*k + 19 = 4*d, 0*d + k = -2*d + 7. Suppose -d*i + s + 127 - 21 = 0, 0 = 2*i + 2*s - 48. Let f = i + 19. Is 5 a factor of f?
True
Let c be (217/(-14) + 16)/(1/4). Let a be 1/(-2)*(-1 + 1). Suppose -116 = -c*k - a*k. Does 17 divide k?
False
Suppose 5*l - 2*l = -3*t + 1842, 5*l - 3054 = -t. Suppose -4*a + 0*a + l = z, 5*a - 5*z = 750. Is 6 a factor of a?
False
Let j(v) = 378*v - 5301. Is j(26) a multiple of 3?
True
Let i(g) = 11*g**2 - 11*g. Let m be i(-4). Let r = 534 - m. Is 16 a factor of r?
False
Suppose -68 = 5*c + 62. Let y(k) = 6*k + 256. Let b be y(-43). Is 4 a factor of ((-5 + 29)/4)/(b/c)?
False
Let y(b) = b**3 + 2*b**2 + 9*b + 6. Let l be y(-2). Let u(x) = -3*x + 17. Is u(l) a multiple of 4?
False
Let p = -935 - -1359. Is 53 a factor of p?
True
Let g(o) = -o**2 - 50*o + 111. Let q be g(-49). Suppose -q - 2 = -9*n. Does 6 divide n?
True
Suppose 1826*k - 1744*k - 913808 = 0. Does 14 divide k?
True
Suppose -5*i - 3 = -6*i, -4*f = 5*i + 65. Does 52 divide f/90 - (-67220)/36?
False
Suppose -345 = 2*g - 25*g. Is 15 a factor of -27*21/(-9)*g?
True
Suppose -29*p = -2*j - 30*p + 646, p = 5*j - 1601. Is j even?
False
Is 78459240/3885 - 4/(-7) a multiple of 68?
True
Let t = -6268 + 9088. Is t a multiple of 15?
True
Let z be (-2 - 1*18/(-8))*13124. Suppose 0 = 5*g - 3*m + 906 - z, g - 3*m - 487 = 0. Does 5 divide g?
False
Suppose -54*q + 57*q = -9, q - 92127 = -3*b. Is b a multiple of 68?
False
Suppose 0 = 2*k + 11*k - 267462. Is 127 a factor of k?
True
Let k(r) = 3*r**2 - 17*r - 1. Let b be k(6). Suppose -80 = b*u + 30. Is 19 a factor of (-1465)/(-11) - u/(-121)?
True
Let c = 729 + -727. Suppose 2*m = m + 5*j + 22, -c*j = m - 43. Is 8 a factor of m?
False
Let y(a) = -2*a**3 + 2*a**2 - 2. Let v be y(-1). Let g be v - 2 - 9/1. Is 28 a factor of g/(-12) + (-9)/4*-37?
True
Let a(j) = -730*j + 978. Does 13 divide a(-5)?
True
Does 11 divide (18 + 9)*(-1520)/(-12)?
False
Let k be (225 - 1) + -2*2. Suppose -n = -9*x + 6*x + k, -2*x - 3*n + 132 = 0. Does 12 divide x?
True
Suppose 0 = 3*t + 4*h - 1, 1 = -5*t + t - 3*h. Let w be t + -1 - (6 - 10). Is (396/(-8))/3*(-20)/w a multiple of 14?
False
Let t be 2/(-7) - (-23)/7. Suppose 2*h + 4*r = 180, 5*h - 194 = 5*r + 271. Suppose -b = -5*c + h, t*c - 55 + 5 = -2*b. Does 7 divide c?
False
Let w(q) = q**3 + 34*q**2 - 49*q + 14. Let i(n) = -n**2 - 6*n - 35. Let d be i(-6). Is w(d) a multiple of 8?
True
Let a = 36 - 532. Let d = a - -766. Is 9 a factor of d?
True
Is 116 a factor of (3822 - 0)*496/372?
False
Let m = -494 + 493. Does 41 divide m + (-4)/6 + (-12400)/(-24)?
False
Let x(a) = -108*a - 64. Let u be -3*(15/(-135))/((-1)/6). Is x(u) a multiple of 38?
True
Let o(l) = -9*l - 214. Let a be o(-51). Let m = 289 - a. Does 44 divide m?
True
Let z = -6443 - -17860. Is 210 a factor of z?
False
Suppose q + 6 = -2. Let b be 66/q*44/(-3). Let s = b + -80. Is 41 a factor of s?
True
Let z be (2/3)/((-34)/(-6783)). Let i = z - 130. Suppose 464 = i*c + c. Does 14 divide c?
False
Let x(z) = -4*z**2 + 139*z + 9. Let v(j) = -28*j - 1. Let s(c) = -4*v(c) - x(c). Suppose -u + b + 3 = -11, -10 = -2*u - 4*b. Does 14 divide s(u)?
True
Suppose -72 = -a + 3*c, -432 = -5*a - 0*a - 3*c. Suppose 0 = -3*p + 6*p + 51. Let g = a + p. Does 14 divide g?
False
Suppose -2*n - 11497 + 76745 = 0. Is n a multiple of 31?
False
Suppose -210*u = -u - 787721. Is 120 a factor of u?
False
Let o = -391 + 391. Suppose o = -5*m + 5*y + 2465, 0 = 38*m - 37*m - 5*y - 489. Is 13 a factor of m?
True
Let f(w) = 3*w**3 + 4*w**2 - 1. Let m be f(-2). Let r = 9 + m. Suppose 1 = -s + 4*g + 37, -2*s - 3*g + 39 = r. Is 8 a factor of s?
True
Let r(v) = -v**2 + 12*v - 7. Let k be (72/16)/(6/16). Let u be (15/k)/((-8)/(-32)). Is 14 a factor of r(u)?
True
Suppose 19*m - 26 - 69 = 0. Is (m + -3 - -4)/((-2)/(-110)) a multiple of 11?
True
Let f(r) = 208*r - 106. Let g be (-8)/(-3)*18/12. Does 66 divide f(g)?
True
Let s be 649/3 + 5 + 80/(-15). Suppose 221*c - s*c = 405. Is c a multiple of 11?
False
Let b be ((-4)/6)/(6/(-531)). Let s = b + -37. Suppose -211 = -9*i - s. Does 3 divide i?
True
Let f be -4*1 + (491 - -1). Suppose 4*g - 2*j = -382, -f = 5*g - 0*j + j. Let i = -53 - g. Does 11 divide i?
True
Suppose 0 = q - 0*q + 2*a - 7, -3*q + 9 = 2*a. Is 17 a factor of (2 + (-96)/18)/(q/(-51))?
True