 multiple of 10?
True
Let d be (-4)/(-7) - (-6405498)/231. Suppose -d - 11750 = -4*y. Is 18 a factor of y/54 - 3 - (-2)/9?
True
Let o(v) = -197*v - 1847. Is 27 a factor of o(-40)?
False
Is 27 a factor of (-4)/1 - -8866 - ((-16 - -4) + 18)?
True
Is 23 a factor of 9 + 6/(-5)*(-6130)/3?
True
Let o(m) = 3*m + 23. Let z(d) = 4 + 1 - 4*d + 3*d + 4*d. Let u be z(2). Does 11 divide o(u)?
False
Let l(j) = 2*j - 33. Let m(u) = u. Let a(q) = -l(q) + 4*m(q). Let x be a(16). Suppose 6*k - k - x = 0. Is k a multiple of 9?
False
Let j(a) be the second derivative of 0*a**3 + 17/5*a**5 + 0 + 1/2*a**2 - 4*a + 0*a**4. Does 10 divide j(1)?
False
Let p be -1 - 7/(42/(-930)). Suppose -4*j + 396 = -4*a, 0 = -3*j - 4*a + 143 + p. Is 11 a factor of j?
True
Let i = 403 + -55. Suppose i = 13*n - 1160. Is 29 a factor of n?
True
Suppose 11*a + 73 = -26. Does 78 divide (234/a)/((-4)/72)?
True
Let o be (4/9)/2 + (-2000)/(-72). Let k = -25 + o. Does 3 divide (((-250)/k)/(-5))/((-6)/(-9))?
False
Suppose -o = 7*o - 6952. Suppose -3*y + 16 = -o. Let j = -133 + y. Is 54 a factor of j?
True
Let y(r) = 6*r**3 - r**2 + 8. Suppose 0 = -5*u + 6*u - 1, 4*k = -2*u + 14. Does 23 divide y(k)?
True
Suppose 0 = 3*s + 3*b - 279, 3*s - 4*b = -8*b + 277. Suppose -6*i + 10*i + n - s = 0, 0 = -3*i + n + 66. Suppose 6*o = 461 - i. Is o a multiple of 12?
False
Suppose 140*u - 163116 + 55715 - 56819 = 0. Is u a multiple of 23?
True
Let w(v) = v**2 + 21*v + 82. Let n be w(-16). Does 3 divide n - (-280)/(-30)*(-18)/4?
False
Let m(k) = 4*k**2 - 3*k + 31. Let j be (-936)/96 + 0 + (-6)/(-8). Does 17 divide m(j)?
False
Suppose 7 + 1 = -8*g. Let q(b) = -3*b**2 - b - 1. Let z be q(g). Does 16 divide 68 - 8/(5 + z)?
True
Let w be -14 - -11 - (-1 - -2)*-4. Let a(u) = 502*u**2 + 2*u - 3. Does 32 divide a(w)?
False
Let g(x) = 875*x - 198. Does 14 divide g(7)?
False
Is 9 a factor of ((-52887)/(-244))/((-2)/(-48))?
True
Suppose -10*z + 4485 = -6805. Is 43 a factor of z?
False
Let c(v) = 10*v**3 + v**2 + 2. Let b be c(2). Suppose a - b = -w, 2*w - 517 + 75 = -5*a. Is 18 a factor of a?
True
Let o = 2702 + 15615. Does 97 divide o?
False
Let h(p) = -13*p - 65. Let n(v) = -v - 1. Let u(l) = h(l) + 6*n(l). Does 10 divide u(-14)?
False
Let o be (-205660)/(-351) - (-4)/54. Suppose 3*c - 1465 = -5*a, 0 = 6*a - 4*a - 2*c - o. Does 9 divide a?
False
Suppose 3*s - 7950 = k, -k = 20 - 23. Is s a multiple of 11?
True
Suppose 2497*v = 2531*v - 557158. Does 63 divide v?
False
Let s(m) = 3*m**2 + 81*m - 54. Is 9 a factor of s(41)?
False
Suppose -2355 - 3543 = -k. Suppose -4*p - 4*c + 735 = -3993, 0 = 5*p + c - k. Does 9 divide p?
True
Let m = 95 + -74. Suppose m*f + 409 = 7024. Is 45 a factor of f?
True
Let o = -687 - -682. Is 25 a factor of (-125)/o*(8 + 11)?
True
Let v(g) = 2*g - 41. Let b be v(21). Is 100 + ((-30)/(-5) - (4 + b)) even?
False
Let a = 8008 - -13207. Is 59 a factor of a?
False
Let t(l) = l**2 + 11*l - 46. Let k(i) = -i**3 - 6*i**2 + 20*i + 18. Let d be k(-8). Let p be t(d). Is 13 a factor of 10*21*p/(-8)?
False
Let t be ((-1 - -2) + 5)*39/(-9). Is 15 a factor of t/1*(-4 - (2 - 5))?
False
Let y(w) = -5*w**2 - 16*w + 5 + 4 + 3*w**2. Let x be 23/(-3) + 2/(-6). Is 3 a factor of y(x)?
True
Suppose -u - 2*g = -256, -3*u + 192 = -3*g - 612. Is (u/55)/((-4)/(-500) + 0) a multiple of 75?
True
Let w(t) be the first derivative of -t**4/2 + 4*t**3/3 - 3*t**2/2 + 16*t - 51. Is w(-5) a multiple of 54?
False
Let o(x) = 76*x - 5. Suppose y - 4 = -k, y + 3*y - k - 41 = 0. Let w be o(y). Let u = w + -483. Does 49 divide u?
True
Let g(p) = p**3 - 17*p**2 + 32*p - 32. Let i be g(15). Let r(d) = d**3 - 6*d**2 - d + 5. Let y be r(6). Is 3 + 2/(y/59*i) a multiple of 8?
False
Suppose 0 = 4*t + 3*o - 139612, t + 554*o = 550*o + 34916. Does 50 divide t?
True
Let v(b) = 575*b - 1659. Is 124 a factor of v(21)?
True
Let c be (14/(-63) + (-1796)/18)*-2. Let u = 472 - c. Is u a multiple of 17?
True
Suppose -2*k = 5*i - 20, 0*i + i - 4 = -2*k. Suppose k = 4*j + 3*q - 680 - 243, 0 = 2*j - q - 449. Does 60 divide j?
False
Suppose 76*s + 194349 - 432275 = 469558. Does 87 divide s?
True
Let g(r) = -r + 17. Let f be g(20). Let v be f/15 - 8/(40/(-21)). Does 10 divide (-100)/(-35)*42/v?
True
Suppose -41976 = -66*o + 58*o. Is 16 a factor of o?
False
Let v(o) = -2*o - 27. Let y be v(-16). Suppose -w - 20 = -0*w + 4*a, w - y*a + 20 = 0. Does 17 divide (-63)/(-3)*w*(-2)/4?
False
Let j(g) = -2 + 2 - 151*g + 131*g - g**2. Let z be j(-20). Suppose z*v + v - 85 = 0. Is v a multiple of 17?
True
Let q = 25304 - 7391. Is 71 a factor of q?
False
Let n(f) = 2*f**3 + 12*f**2 + f + 11. Let d be n(-6). Suppose -2994 = -d*g + t - 3*t, -4*g - 3*t + 2398 = 0. Does 26 divide g?
True
Suppose 1575 = 2*h - 3*n, -5*n = -3*h - 0*n + 2365. Suppose -13*p + h = 2*p. Does 26 divide p?
True
Let y(v) = v**3 + v**2 - 5*v - 7. Let g be y(-3). Let p be -2 + (667/5 - (-4)/g). Let z = p + -81. Is 6 a factor of z?
False
Does 15 divide 176440/(-154)*3/((-18)/21)?
False
Suppose 15861 + 8339 = 20*s. Suppose -92*q = -97*q + s. Is q a multiple of 14?
False
Let s(o) = 2*o**2 - 17*o - 586. Is s(-46) a multiple of 108?
True
Let q(y) = 36*y + 28. Suppose -4*b + 42 = 2*g, 35 + 39 = 4*g + 3*b. Is 10 a factor of q(g)?
True
Suppose -4*y - 13*q + 21 = -10*q, -15 = -3*y - 2*q. Let n(r) = 4*r**3 + 8*r**2 - 5*r - 12. Is 17 a factor of n(y)?
True
Let s be (-26)/(-39)*(-435)/(-2). Is (203/s)/((-18)/20 + 1) a multiple of 8?
False
Let c(r) = 3058*r**2 + 28*r - 22. Is c(1) a multiple of 81?
False
Suppose -2*z + 5*z - 12 = 0, -5*z = -w - 18. Does 11 divide 1*(-4)/(-8)*212/w?
False
Let m(v) = 14*v**2 - 253*v + 756. Is 41 a factor of m(3)?
True
Is 18 a factor of (-1703 - (-1)/(-3)*3)*(-70)/56?
False
Let s(x) = -521*x - 2542. Is 88 a factor of s(-14)?
True
Let a(l) = -3*l + 11. Let m be a(-5). Let v(y) = -28*y + 58 + 8 + m*y. Does 61 divide v(-20)?
False
Let l(t) = -27*t**3 + 2*t + 2. Let d be l(-1). Suppose -5*o + 85 = -4*x - d, -4*x = 2*o - 28. Suppose 2*y = 6*y + o, 4*y + 530 = 2*n. Is 39 a factor of n?
False
Let d(g) be the second derivative of g**3/6 - g**2/2 - 39*g. Let m(o) = -4*o + 104. Let a(v) = 2*d(v) + m(v). Is 17 a factor of a(0)?
True
Suppose 3 = 4*z - 1, -l - z = -29. Let j = 46 - l. Is j a multiple of 18?
True
Let j(l) = -l**3 + 4*l**2 + 8*l - 1. Let x be j(4). Let n(c) = -c**2 + 64*c + 57. Is 36 a factor of n(x)?
True
Let w(c) = 9778*c**2 + 3. Let f be w(1). Suppose 39*x - f = 30935. Does 14 divide x?
False
Suppose -53*o + 56*o = -3*y + 65886, 3*y = -2*o + 43928. Is o a multiple of 14?
False
Does 5 divide (505/(-909))/(2/(-4014))?
True
Is ((-354)/590)/((-2)/30) + 24675 a multiple of 68?
True
Let v be (-135)/15 - 2*2. Let g = v - -16. Suppose -g*s + 9 = 0, 3*x + 5*s = 157 + 284. Is 16 a factor of x?
False
Let r = 58312 + -37162. Is r a multiple of 25?
True
Let i(f) = 124*f - 60. Let q be i(5). Suppose 0 = -4*h - 4*c - 61 + 621, -4*c - q = -4*h. Is 35 a factor of h?
True
Suppose 0 = 243*s - 251*s + 288. Suppose s*h = 33*h + n + 2025, -n - 2700 = -4*h. Does 29 divide h?
False
Let w be 1*(-32)/(-10) - 20/100. Suppose 4*i - 36 = -d - 10, -d + w*i = -47. Is d a multiple of 9?
False
Let a be ((-18)/14)/(60/(-280)). Suppose -920 = -a*d - 2*d. Does 4 divide d?
False
Let g(h) = -h**3 + 12*h**2 + 970*h - 37. Does 13 divide g(34)?
False
Suppose 0 = o - 3*v - 20, 425 = -o - 5*v + 397. Let d = -6 - -11. Is 14 a factor of (d/(-5))/(o/(-508)*2)?
False
Let q(k) = -11*k + 32. Let m be q(-10). Let u = -133 + m. Is u even?
False
Let f = 13531 - 5403. Is 18 a factor of f?
False
Let f(z) be the third derivative of z**5/12 + 287*z**2. Let a be (2*-1 + 0)/1. Does 4 divide f(a)?
True
Let s = 122 - -33. Suppose 5*g - 46 - s = -h, -2*g - 450 = -2*h. Is h a multiple of 13?
True
Suppose 4*l + 13 = 117. Let u = -44 + l. Let s = 9 - u. Is 9 a factor of s?
True
Suppose -5*c + 2*l - 1429 - 810 = 0, -c = 5*l + 464. Let b = c + 939. Does 35 divide b?
True
Suppose -11*x - 654 = -13*x. Is x a multiple of 10?
False
Let z be -6*(-57 - (7 + -5 + 2)). Let u = z - 121. Is u a multiple of 35?
True
Let d(q) = -q**3 - q - 1. Let h(r) = -5*r**3 - 64*r**2 + 6*r - 30. Let l(v) = d(v) - h(v). Is l(-16) a multiple of 5?
False
Let m(h) = 2*h**2 + 32*h + 26. Let o be m(-13). Let d = o + 108. Is d a multiple of 8?
True
Suppose 3*v + 2*o = 2