 (20/(-12) - 0)/(1/3). Is 6/j*(18 + -68) a multiple of 20?
True
Suppose -3*c - 2*u = -6*u - 524, 0 = 4*c - 2*u - 692. Is 9 a factor of c?
False
Suppose -5*a = 5*t + 1850, -5*t + 6*a - 2*a = 1895. Is 3/9*-4*t a multiple of 50?
True
Suppose 8*o - 144156 - 31028 = 0. Suppose 0 = -3*u + 5*h - o, -9469 = 2*u - 2*h + 5127. Is u/(-56) - 0 - (-4)/(-14) a multiple of 13?
True
Suppose 5*s + 206 = 21206. Is 60 a factor of s?
True
Suppose -2*a - 50 = -2*h, 5*h + 21*a - 17*a - 125 = 0. Is h/((-1757)/252 - -7) a multiple of 50?
True
Let j(u) = -22*u - 10. Let h(p) = 21*p + 9. Let a(m) = -3*h(m) - 2*j(m). Let i = -54 + 49. Does 22 divide a(i)?
True
Let c = -140 + 103. Let p(k) = 13*k - 5. Let z be p(-8). Let o = c - z. Is o a multiple of 24?
True
Suppose 3*t = -n - 4, -3*n - 8*t + 4 = -3*t. Let v be n/16*(-1 - 7). Is ((-15)/v)/((-27)/(-576)) a multiple of 20?
True
Let y = 2976 + -2118. Let t = 1329 + y. Suppose 3*o + 6*o - t = 0. Is 30 a factor of o?
False
Suppose 36*v - 38*v = -6. Suppose -v*g + 206 = -2344. Let o = g - 568. Is 26 a factor of o?
False
Let t = 559 - 554. Suppose 2*p = 2*i - 5*i + 1408, t*p = 3*i + 3562. Is p a multiple of 11?
False
Suppose -4*v = 4*w, 0 = 4*v - 4*w - 44 + 4. Suppose -3*i + 3*n = -v*i + 378, 2*i + 5*n = 378. Does 51 divide i?
False
Let v be 7*(-8)/(-336) - (-5)/6. Is ((-3)/v)/(-10 - 609/(-61)) a multiple of 7?
False
Let a = 353 + -341. Does 2 divide (68/(-51))/((-4)/a)?
True
Is 21 a factor of 5008*(4 + (-35)/10)?
False
Let q(n) = 13*n - 21. Let b be q(9). Let r = b - 2. Does 4 divide r?
False
Suppose 0 = 2*i - x + 3, -42 = 4*i + 3*x - 51. Suppose 15*v + 2*k = 10*v + 1275, -v + 2*k + 243 = i. Is 11 a factor of v?
True
Suppose g - 6*g + 15 = 0, -5*k - 479 = -3*g. Let o = k + 154. Is o a multiple of 6?
True
Let g(x) = 89*x**2 - 213*x - 93. Does 11 divide g(-17)?
True
Suppose 0 = -103*r + 33*r + 4900. Let j = -6 + 9. Suppose 0 = -j*o + 643 - r. Does 12 divide o?
False
Let o = -132 + 146. Let p(b) = 3*b**2 - 14*b - 70. Is 14 a factor of p(o)?
True
Suppose 0 = -16*z - 45*z - 173461 + 737101. Does 42 divide z?
True
Suppose 14 = 3*k + 5. Suppose 3*u - 2*m + 4*m - 366 = 0, -k*m + 363 = 3*u. Suppose -4*d + 304 = -4*h, -u - 156 = -4*d - 2*h. Is d a multiple of 10?
False
Let v be (-2)/((-3)/(-15)*-5). Let a(i) = 50*i**3 + 2*i**2 - 2*i + 4. Is a(v) a multiple of 51?
True
Let v = -128 + 198. Does 35 divide 35360/v + (-18)/(-21)?
False
Let q(g) = -11*g**3 - 4*g**2 + 9*g - 7. Let a = -360 - -356. Is 15 a factor of q(a)?
False
Suppose 0 = -3*d - 4*c + 12575, -16*c + 10 = -11*c. Does 38 divide d?
False
Suppose -6*k - 27 = -99. Suppose -k = -4*o, 0*o - 2*o - 2459 = -5*s. Is 25 a factor of s?
False
Let f = -44 + 46. Suppose 5 = g - 0*a + f*a, 4*a = 0. Suppose 0 = g*j - 41 - 99. Is j a multiple of 3?
False
Let i = 21 + 67. Let f = i + -74. Suppose 0 = p - 42 - f. Is p a multiple of 8?
True
Suppose 114*x + 152017 = 134*x - 189283. Is 113 a factor of x?
False
Let q = 954 + -861. Suppose -149 = 2*i + 4*x - x, 15 = 3*x. Let w = q + i. Is 7 a factor of w?
False
Let j = 9 + 230. Suppose -j = -w - 9. Is w a multiple of 8?
False
Is 29 a factor of (-46874)/(-8) - (-560)/(-448)?
True
Let u(m) = m**3 - 2*m**2 + 2*m + 41. Is 3 a factor of u(14)?
True
Let n be 2/(-4) + 15/(-6). Does 54 divide n + (10 + 10/(-2) - -376)?
True
Suppose 5*m - 233 = -4358. Let g = m + 1716. Is g a multiple of 20?
False
Let h(o) = -3*o + 71. Let f be h(5). Is f/98 - (-17708)/28 a multiple of 43?
False
Let p(h) = -33*h - 11. Let o be p(-4). Suppose -o = -4*i - 4*s + 39, -2*i = -3*s - 100. Does 22 divide i?
True
Let r be ((-2172)/9)/((-12)/(-18)). Let p = r + 614. Does 23 divide p?
False
Let p = -336 + 990. Suppose -v - 3 = 0, -2*z - 3*v = -7*z + p. Does 17 divide z?
False
Let o be (-1 - 1) + 0 + (-59 - 307). Let i = 444 + o. Does 38 divide i?
True
Let l(i) = 25*i**2 - 23*i + 58. Does 40 divide l(20)?
False
Suppose 4*n = 24, -32*n = -4*x - 27*n + 5118. Is 33 a factor of x?
True
Let j(i) = 1 - 50 + 61*i + 26*i + 23. Let q be j(-4). Let s = q + 566. Is 30 a factor of s?
False
Let k be (-1 - 35/(-14))/(6/32). Suppose -4*n - k = 0, -p - n + 245 = -3*n. Does 6 divide p?
False
Let i(o) = 60*o + 388. Is i(25) a multiple of 127?
False
Let u(p) = 6*p**3 - 212*p**2 + 76*p - 28. Is u(35) a multiple of 10?
False
Suppose 8125 = 4*i + 5*b, -2*i = -4*b - 763 - 3267. Suppose -i = -w - 8*w. Is w a multiple of 15?
True
Let d = 17867 + -17032. Is 42 a factor of d?
False
Suppose 3*d - l = 6, -d = 7*l - 9*l + 3. Suppose -d*x + 0*v = v - 38, 0 = 5*x + 3*v - 58. Suppose -5*z - 262 = -j, 4*z = -x*j + 12*j + 496. Does 36 divide j?
True
Let c(z) = -16*z + 68. Let o be c(-12). Suppose 7*b = b - 444. Let x = b + o. Is x a multiple of 22?
False
Suppose 0 = 5*f - 2*v - 11516, 2*v = -2*f - v + 4595. Let w be f/14 - (-3)/(-7). Suppose -5*l = -6*l + w. Is 15 a factor of l?
False
Let j(v) = 4*v + 65. Let w be j(0). Suppose 3*r - w = -2*r. Let a = 54 - r. Is 6 a factor of a?
False
Let j(z) = -z**2 + 15*z - 6. Let c be j(17). Is 506 + (-1 - c/8) a multiple of 15?
True
Suppose 3*i - 2*a - 4737 = 3*a, 0 = -5*i + 4*a + 7908. Suppose 76*o - i = 73*o. Does 66 divide o?
True
Does 120 divide (-301)/172 + 0 + 69141/12?
True
Let f(a) = -20*a + 84. Let u be f(33). Let i = -404 - u. Does 40 divide i?
False
Suppose -t = -5, i + t - 18875 = 31992. Does 298 divide i?
False
Let p be 2/((7/112)/((-12)/3)). Let g = p - -315. Does 11 divide g?
True
Suppose -7*a = -12 - 149. Suppose a*m - 24*m = -360. Suppose 2*d - m = -8*d. Does 36 divide d?
True
Suppose 2*r - 18 = 4*x, -12 - 4 = -4*r + 3*x. Let u(a) = 42*a - 6. Is 3 a factor of u(r)?
True
Let p(h) = -h**3 - 3*h**2 + 3*h + 4. Let s be p(-3). Let o(d) be the second derivative of -d**4/12 - 7*d**3/3 - 5*d**2 - 79*d. Is o(s) a multiple of 7?
True
Does 8 divide (-1438*(-1)/6)/((-17)/(-51))?
False
Let o be 11562/66 + (-4)/22. Let p = 107 + o. Is 47 a factor of p?
True
Is -3 - (((-4 - -2)*-2 - 9951) + -6) a multiple of 25?
True
Let o(m) = -2*m**3 + 14*m**2 - 5*m - 47. Let g be o(6). Let z(y) = 34*y**2 - 9*y + 29. Is 9 a factor of z(g)?
False
Suppose 0 = -6*w + 7*w - 5*p - 172, -2*p = 5*w - 806. Suppose -21*z + w = -12*z. Is 5 a factor of z?
False
Let y = 7433 - 1961. Suppose -7*b - b = -y. Suppose 3*k - b = -3*k. Is k a multiple of 36?
False
Suppose -144*y - 3191 = -145*y - 3*b, 0 = 3*y + 5*b - 9577. Is 55 a factor of y?
False
Let q = 66 + -711. Let n = 786 + q. Is 62 a factor of n?
False
Suppose 4*h = 14*h - 140. Is h/(-7) + 6 - 4*-1 a multiple of 2?
True
Let n = -112 + 128. Is 746/n*28 - (-1)/(-2) a multiple of 24?
False
Suppose 67085 = 3*g - 2*u, 128*g - u = 127*g + 22360. Does 7 divide g?
True
Let h(f) = -74*f + 24. Let j(u) = -13*u + 7. Let p(m) = 90*m - 50. Let o(y) = 15*j(y) + 2*p(y). Let l(w) = -2*h(w) + 11*o(w). Is 16 a factor of l(-3)?
False
Let u = 25 + -30. Let c be (-1)/u*5 + 2/1. Suppose n + 132 = c*n. Is n a multiple of 11?
True
Let r be ((-10)/(-2))/(3*5/(-90)). Let h = -30 - r. Suppose h = 4*s - 3*s - 47. Does 28 divide s?
False
Suppose -g - 20*g = -187197 + 2628. Does 59 divide g?
False
Let h = -290 + 135. Let s = h - -290. Does 15 divide s?
True
Suppose -94 = -10*u - 84. Is ((-2)/u)/(10/(-250)) a multiple of 50?
True
Let q = -322 - -313. Is 7 a factor of 28/((-26)/(-247) - q/95)?
True
Let k be 1/(6 + (-102)/18). Suppose 4*s + k*h = 578, 2*s + h + 141 = 3*s. Is 5 a factor of s?
False
Let c(n) = -n**3 - n. Let m(i) = -8*i**3 - 3*i**2 - 6*i. Let q(g) = 6*c(g) - m(g). Let r be q(-2). Is 10 a factor of (-18)/4*((-160)/15 - r)?
True
Let h be (7 + -25)*(-660)/2. Suppose -19*t + 1052 = -h. Is 46 a factor of t?
True
Suppose w = 5 - 0. Suppose 252*p - 245*p - 49 = 0. Suppose p*i = w*i + 420. Is 33 a factor of i?
False
Is 37 a factor of (2/(-6))/(4 - 434/105)*9094?
False
Let l(u) = 9*u**2 + 45*u - 18. Suppose -4*i + 9*m - 12*m - 33 = 0, 3*i + 3 = 5*m. Is l(i) a multiple of 9?
True
Let w(o) = 4*o - 19. Let r be w(6). Suppose 0*d + 1305 = g - r*d, 0 = 2*d. Is g a multiple of 87?
True
Let i(g) be the third derivative of -g**6/120 - g**5/3 - 19*g**4/24 + 4*g**3 + 39*g**2. Let s be i(-15). Let b = -564 - s. Is b a multiple of 28?
True
Let h = -74136 + 146801. Is h a multiple of 221?
False
Let g(k) = k**3 - 18*k**2 + 184*k - 2456. Is g(22) a multiple of 98?
True
Suppose 0 = -3*o - 4*m -