alse
Is 159 a factor of (9/(-36)*(-7 - -1))/(10/143740)?
False
Suppose 4*x - 20 = 0, -5*m + 2*m = 4*x - 56. Is 13 a factor of (-20)/6*m/(-10) + 104?
False
Suppose 21576 - 10470 = 73*y - 38899. Is 20 a factor of y?
False
Suppose 0 = 2*u - 2*m - 2564, -6*m - 5131 = -4*u - m. Suppose -7*b = -3*b - 5*j - u, 2*b - 4*j - 644 = 0. Is b a multiple of 28?
False
Suppose 1431 = 19*v - 1229. Suppose -2*j = -v - 82. Does 37 divide j?
True
Suppose 20 = 2*c + 48. Let d be -2*(-1)/(-2)*-21. Is (-100)/6*d/c a multiple of 16?
False
Let m be (-14 - -13)/(1/3). Let q be (10/4 + m)/((-2)/(-60)). Let n(y) = -9*y - 37. Is n(q) a multiple of 20?
False
Let k = -94 + 102. Suppose -r + k = 2*i, -5*r = -0*r + 3*i - 40. Is r a multiple of 3?
False
Let q = 483 - 423. Does 20 divide -60*((q/(-6) - -4) + 5)?
True
Suppose 4*i = -15*i - 4997. Let g = i - -317. Does 54 divide g?
True
Let x(w) = -968*w**3 + 16*w**2 + 29*w - 1. Is x(-2) a multiple of 27?
True
Let a(w) = 182*w + 970. Does 40 divide a(45)?
True
Suppose -21*z + 6511 = -3530 + 171. Is z a multiple of 13?
False
Let d be (-276)/(-48)*(-1 - 3). Let b(s) = -5*s - 63. Is b(d) a multiple of 13?
True
Suppose -8 = 5*b - 3*u + 31, -b - 21 = -5*u. Let f be (-6)/(-4)*16/b. Is 3 a factor of f*3/2*-1?
True
Is 27675/(-82)*316/(-6) a multiple of 24?
False
Let h = -106 + -35. Suppose -3*w = -z - 121, w + 480 + 61 = -5*z. Let d = z - h. Is d even?
True
Let d(z) = 35*z**2 - 15*z + 5. Suppose -17*m = -15*m - 10. Is 23 a factor of d(m)?
True
Suppose 125*d = -10*d + 25*d + 1045110. Is 17 a factor of d?
False
Suppose -822469 = 119*f - 198*f. Does 11 divide f?
False
Suppose 0 = -z + 5 - 1. Let k be 2/z*(-7)/(-21)*0. Suppose b - 4*v + 0*v = 52, -4*b + 3*v + 247 = k. Is 16 a factor of b?
True
Does 6 divide ((-513)/(3 - 12))/(2/96) + -6?
True
Let f(k) = -k**3 + 81*k**2 + 57*k + 68. Is 52 a factor of f(81)?
False
Let t be ((-236)/(-8))/((-11)/726). Let n = -1374 - t. Is n a multiple of 20?
False
Suppose 292 = 15*h + 277. Suppose 0 = a - 9*i + 4*i + 30, -3 = 3*i. Does 9 divide (h - 2*-82)*(-21)/a?
True
Let h(n) be the first derivative of 5*n**3/3 + 23*n**2/2 + 59*n - 35. Does 8 divide h(-7)?
False
Let g be (-227619)/(-7) - (1 - -2). Suppose 0 = 45*m + 8754 - g. Does 6 divide m?
True
Does 19 divide ((-20)/(-4))/(9 - (-181255)/(-20140))?
True
Let u = -3127 - -5259. Suppose -8*b + u = 5*b. Is b a multiple of 5?
False
Suppose 0 = 2*g - 5*x - 18, 0*x + 27 = 3*g + 5*x. Suppose -r - 46 = -y, r + g = 4*r. Is 15 a factor of y?
False
Let i = 31740 + -18735. Is i a multiple of 10?
False
Let n(z) = -z - 49. Let g be n(-13). Let y be (-6)/g - (-25323)/18. Suppose -w = -2*s + 565, 7*s + 3*w = 2*s + y. Does 47 divide s?
True
Let k be (826/42)/((-6)/(-18)). Suppose -5*g + k*g - 36936 = 0. Is g a multiple of 36?
True
Let a(h) = -929*h - 16. Let f be a(-3). Let k = f + -1832. Is k a multiple of 35?
False
Let f(c) = 9*c - 9. Let t(u) = u + 1. Let k(h) = -2*f(h) + 4*t(h). Let j = -1856 + 1847. Is 37 a factor of k(j)?
True
Let y = 1177 + -412. Let u be 18/(-4 + y/190). Suppose 3*c + 6*i = 3*i + u, -c + 252 = -5*i. Is 13 a factor of c?
False
Suppose -2*x + 6 = -2*r, 5*r + x - 21 = 9*r. Is (8/3*459/r)/(-2) a multiple of 6?
True
Let m(v) = 4*v - 7. Let d be m(3). Let t(p) = -p**2 + 13. Let y be t(d). Let b = -3 - y. Does 2 divide b?
False
Let x = 15822 + -10730. Suppose 0 = 48*u - 1388 - x. Does 10 divide u?
False
Suppose d - 4*o = -6, -5*d + 4*d + 24 = 2*o. Let v(q) = -q + 24. Let u be v(d). Let t = 40 + u. Is t a multiple of 5?
True
Let t(p) be the third derivative of -p**6/8 - p**5/60 + p**4/12 + p**3/3 + 30*p**2. Let y = -101 + 99. Is 40 a factor of t(y)?
False
Let c be -6*(-3)/5 - 8/(-20). Suppose -65 = -c*y - 3*s, -y + 2 = -3*s - 3. Let p = y - -34. Is p a multiple of 6?
True
Suppose 2*s + 3*s - 5*x = 1465, 4*x = -12. Let g be 15/(-18) + 2202/(-36). Let q = s - g. Does 44 divide q?
True
Let s = -50 + 56. Suppose -w = 15 - s. Is w/21 - 6738/(-42) a multiple of 16?
True
Suppose -45*h = -24*h - 42. Is -1 + -2 + 365 + h + 0 a multiple of 52?
True
Let o be (-12)/9*(4 + 44/(-8)). Let b(a) = -56*a + 8*a**2 + 53*a - 11 - 4*a**o. Does 3 divide b(4)?
False
Let v(a) = 3*a + 1. Let o(w) = 110*w + 6. Let j(y) = 5*o(y) - 60*v(y). Does 3 divide j(1)?
False
Suppose -o - 137062 = -5*l - 2*o, 4*l - 5*o = 109638. Is l a multiple of 11?
True
Does 21 divide (41100/(-180))/(2/(-54))?
False
Suppose 0 = q + 5*x - 9708, 35*q + 3*x = 36*q - 9700. Is q a multiple of 10?
False
Suppose -l + 5*l = -5*u + 111, 4*l = 3*u + 87. Suppose -22*j = -l*j + 238. Is 17 a factor of j?
True
Does 171 divide (-2 - (-4768)/(-10))/((-3162)/630 - -5)?
True
Suppose -80*i - 176904 = -473864. Does 80 divide i?
False
Let v be (0/(-1))/((1 - -1)/2). Suppose -3*l - 9 = -v, -h + l = -348. Suppose -h = -7*a + 68. Is 49 a factor of a?
False
Suppose -10*j = -70 + 40. Does 9 divide -2 - -99 - ((-11)/(-11) - j)?
True
Let o(j) = -1 + 14*j**2 - 8*j**2 - 5*j**2 - 6*j. Let d be o(10). Suppose 0 = -2*k, 0*r - d = -3*r + k. Does 13 divide r?
True
Does 13 divide -4 - 3 - -5*7158/15?
True
Let g(d) = 104*d + 27. Let l be g(-12). Let x = 397 + l. Let k = 1158 + x. Is 50 a factor of k?
False
Suppose -75 = 6*u - 21. Let g(x) = -x**2 - 9*x + 4. Let j be g(u). Suppose -d = -1, -d - 118 = -j*w + d. Is w a multiple of 6?
True
Let f = -6672 + 7988. Does 188 divide f?
True
Suppose 8*j - 4*h = 3*j + 33267, 4*h = 8. Is j a multiple of 11?
True
Suppose -2*x = u - 1 - 102, -u + 157 = 3*x. Let o(z) = z**3 - 53*z**2 - 34*z - 132. Is o(x) a multiple of 28?
False
Suppose 13*m - 12479 - 94680 = 0. Does 139 divide m?
False
Let c(n) = -n**3 - 4*n**2 - 23*n - 88. Let z(l) = 8*l + 24. Let s be z(-4). Is c(s) a multiple of 29?
False
Let c(g) = 23*g**3 - 2*g**2 - 2*g + 3. Let a be (-4)/(-6) - (38/(-6) + 2). Suppose -a*d = -1 - 4. Is c(d) a multiple of 22?
True
Suppose -1054*g + 1017*g + 462796 = 0. Is g a multiple of 41?
False
Let p(o) = -49*o**3 + 10*o**2 + 16*o + 67. Is p(-6) even?
False
Suppose -129*m - 223*m = -70*m - 197400. Does 10 divide m?
True
Let j(g) = -5*g - 37 + 13*g + g**2 + 15 + 0*g. Let i be j(-10). Does 3 divide (i/10 - 24/(-20)) + 35?
True
Let f(i) = 9*i**2 - 17*i - 56. Suppose -m = 4*m - 20. Let y(k) = -3*k**2 + 6*k + 19. Let b(c) = m*f(c) + 11*y(c). Does 18 divide b(-3)?
True
Let u(b) = 7*b**2 + 709*b + 66. Does 7 divide u(-110)?
True
Suppose -4*n = -3*p + 53, -6*p - 22 = n - 5*p. Let t = n + 401. Is 25 a factor of t?
False
Suppose 6*b = 1713 + 1407. Let j = b + -120. Is j a multiple of 16?
True
Let y(p) = -6 + 16*p + 15*p - 42*p. Let k be y(-1). Suppose k*q - 69 = -3*f, -2*f - 5*q = -44 + 3. Is 7 a factor of f?
True
Let r(m) = 2*m - 5. Let u be r(-4). Let p = 18 + u. Suppose 7 = -3*f - 2, 0 = p*h - f - 583. Is 29 a factor of h?
True
Suppose -a + h - 6*h = -15, 4*h - 12 = a. Suppose 0 = 2*l + 18 - 66. Let c = l + a. Does 5 divide c?
False
Suppose 3*s - 6*k - 104 = -2*k, k - 124 = -3*s. Suppose -7*g + s = -149. Is 9 a factor of g?
True
Let b(z) = 13 - 26*z**2 + 40*z**2 - 2. Is 6 a factor of b(3)?
False
Suppose -253*l + 1126021 - 138309 = 0. Is l a multiple of 7?
False
Let c(m) = -m - 1. Let l(h) = h - 3. Let t(w) = 2*c(w) + l(w). Let z be t(-9). Suppose -p = b - 186, 712 = z*b - 3*p - p. Does 45 divide b?
False
Let p be (-6)/51 + (198/(-51) - -8). Suppose 2*g - 222 = -3*c, -p*g + 0*c + 452 = 4*c. Does 117 divide g?
True
Suppose 129264 = 71*w - 136276. Is 22 a factor of w?
True
Let g(a) = -945*a - 1732. Is g(-15) a multiple of 25?
False
Let y = 12282 + -2279. Is 22 a factor of y?
False
Let u = 3 + 2. Suppose -u*l - 11 = -3*z, -z + 3*z = 2*l + 2. Does 13 divide (-2)/z*(-819)/(-42)?
True
Let c be (-7)/((-56)/12)*24. Suppose -c*f = -32*f - 480. Suppose -f = -5*u + 130. Is 12 a factor of u?
False
Let g(h) = 284*h**2 + 6*h + 8. Let j be (2/16)/((-24)/192). Does 11 divide g(j)?
True
Let l(t) = -3*t**2 - 6 - 14*t + 5*t**2 + 0*t**2 - 3*t. Let b be l(9). Suppose -2*d = b*v - 134, -4*v = 3*d - 189 + 10. Is 11 a factor of v?
True
Suppose 0 = 147*c - 155*c - 640. Does 12 divide (-14112)/c*5/3?
False
Let o(c) = -2*c - 1. Let m(h) = -285*h**2 - 3*h + 12. Let f(d) = -m(d) - 3*o(d). Does 15 divide f(1)?
True
Suppose 19*o - 492 = 17*o + 5*d, 4 = -d. Suppose -239*u + o*u + 1134 = 0. Does 54 divide u?
True
Let u be -5 + 7/(21/30). Let a be ((-114)/1