se
Suppose 4*m + 10 = 2*p, 3*m + 5*p - 19 = 6. Suppose -4*n = 5*l - m*n + 5, 5*l - 2*n + 35 = 0. Is 2 - 104*l/((-60)/(-9)) a multiple of 20?
True
Let a = 26172 + -23573. Does 25 divide a?
False
Let z(v) = v**2 + 4*v - 39. Suppose 0 = -w + 1 - 4, 0 = 3*u - 4*w - 51. Does 4 divide z(u)?
False
Suppose -10 = 2*q - 10. Let r = -18 + 22. Suppose r*b = 4*o + 1422 - 266, q = 5*b + o - 1445. Does 46 divide b?
False
Is 4/(-20) - 0 - (5 - 216876/30) a multiple of 24?
True
Let r(w) = 38*w + 1. Suppose 36*p = 32*p + 32. Let c be r(p). Suppose -4*g + 67 = -c. Does 7 divide g?
False
Suppose -4112 = -21*k + 20773. Does 8 divide k?
False
Is 76 a factor of (-34054)/(-8) - (-261)/(-348)?
True
Suppose 5*j - 2*j = 0, 5*t - 2785 = 4*j. Let s = -49 + t. Does 22 divide s?
False
Suppose -11*m + 3*m - 688 = 0. Let g = 76 + m. Is 5 a factor of (-88)/(-2) + g + 6?
True
Is 8 a factor of (-63600)/(-36)*(2 + 8 + 2)?
True
Suppose -5*z + 375 = 5*g - 475, -4*z - 5*g = -680. Let v = -1108 - -1022. Let d = z + v. Is 11 a factor of d?
False
Let g be 8*(-5)/(-20) - (1 + -7). Let v be (-27)/(-12) - 2/g. Suppose 5*f + 72 = 3*m - 2*m, -v*f = -8. Is 46 a factor of m?
True
Suppose -7*y + 10951 - 1438 = 0. Suppose -4*t + 1625 + y = -r, 2*t - 1492 = -r. Is 45 a factor of t?
False
Suppose 9*o - 5*o - 5*o = -5307. Is o a multiple of 61?
True
Suppose -14*g + 7913 + 655 = 0. Is 17 a factor of g?
True
Suppose 2*j = -238 + 246, 2*z = -2*j + 58566. Does 15 divide z?
False
Suppose 8*k - 227505 - 58447 = 0. Is 14 a factor of k?
False
Let v = -140 + 161. Is 13 a factor of ((-188)/(-6))/((8/v)/4)?
False
Let m(p) = 3*p**2 + 9. Let a be -2 - -4 - 4 - -14. Does 14 divide m(a)?
False
Let a be (-60)/(-3 - 28/(-10)). Let o = -202 + a. Does 23 divide o?
False
Let f = 6 + -6. Suppose -5*h - 6 = 4*o + 3, f = -4*o - 2*h - 6. Is 7 a factor of (-4)/((-4 + 6)*o/6)?
False
Let p be (-12)/2*754/(-39). Suppose -o + 5*o = -4*t - p, -2*t - 3*o = 54. Let g = 38 + t. Does 5 divide g?
True
Let a(x) = -4*x - 10. Let t be a(-3). Let f(b) = 113*b**t - 142*b**2 + 64*b**2 - 2 - 3*b. Is f(-1) a multiple of 4?
True
Suppose 0 = -417*y + 463*y - 69184. Does 14 divide y?
False
Let i(p) = 78*p - 38. Let u be i(6). Let d = u - 210. Let c = 325 - d. Is c a multiple of 12?
False
Let k(s) = 526*s**3 - 563*s**3 + 3 + s**2 + 2*s + 1. Is k(-2) a multiple of 19?
False
Suppose 17*a - 112316 = -3*n + 13*a, 4*n = -4*a + 149764. Does 16 divide n?
False
Suppose -f + 3048 = x + 315, -13680 = -5*f - 10*x. Is 5 a factor of f?
True
Let d(v) = -12*v**2 - 16*v - 5. Let p(h) = -14*h**2 - 17*h - 5. Let r(y) = 3*d(y) - 4*p(y). Is r(8) a multiple of 85?
True
Let m(q) = q**3 + 21*q**2 - 24*q + 8. Suppose 7*i + 242 = -4*i. Does 13 divide m(i)?
True
Let o = -11153 - -18817. Does 4 divide o?
True
Let g(o) = o + 14. Let w be g(-14). Suppose -2*y = -5*u + 30, -4*y - 24 = -u - w*y. Suppose -3*c - 1093 = -4*i - u*c, -247 = -i + 5*c. Does 16 divide i?
True
Let p(u) = 498*u + 4737. Is 40 a factor of p(40)?
False
Let v be (-4)/10 - 27/(-5). Let m = 1621 + -1578. Suppose -4*i + v + m = 0. Is i a multiple of 3?
True
Suppose -5*n + 3025 = -4*d - 11958, 5*n = -5*d + 14965. Does 13 divide n?
False
Let i(p) = 3 + 1279*p + 16 - 1302*p + 6 + 17*p**2. Does 21 divide i(7)?
False
Suppose -k + 5636 = -2*r, 160*r = 3*k + 159*r - 16933. Does 17 divide k?
False
Let v(o) = 6*o**2 + 14*o - 50. Let t be v(4). Let g = 164 + -95. Let i = t - g. Does 13 divide i?
False
Suppose 78*g - 75*g = 258. Suppose g - 296 = -2*h. Is 71 a factor of h?
False
Let y be ((-1)/6)/(((-111)/(-90))/(-37)). Suppose -2*s = -5*l + 486 - 1352, y*l = 20. Is 5 a factor of s?
False
Is 278880/180*48/8 a multiple of 76?
False
Suppose -40 - 55 = -5*a. Suppose -961 = -a*p + 502. Suppose z = 4*t + 69, 61 = 2*z - 5*t - p. Is 6 a factor of z?
False
Let f = -218 + 215. Suppose -2*t - 2*i = -5*t + 14, -4*t + i + 12 = 0. Is 13 a factor of f/t + 143/2?
False
Suppose 16*i = 15*i + 4. Let a(j) = -j**3 + 5*j**2 - 3*j. Let p be a(i). Does 11 divide p/(-10) - (-1428)/20?
False
Let r(q) = -7*q**2 + 43 - 3*q**2 + 167*q - q**3 - 177*q - 2*q**2. Is r(-15) a multiple of 31?
True
Let z = 391 - 187. Suppose -9*n = -57 - z. Is n a multiple of 4?
False
Suppose 5*g - 130 = -0*g + 5*y, -2*y = -5*g + 127. Suppose -4*h = -9*h - g, 0 = -3*s - 5*h + 245. Is s a multiple of 15?
True
Let m = -16477 + 11386. Does 43 divide 2/11 + -10 + m/(-11)?
False
Let j(u) = -2*u**3 - 12*u**2 + 43*u - 214. Is j(-16) a multiple of 111?
True
Let c(y) be the third derivative of y**5/60 - 5*y**4/24 - 13*y**3/6 - 40*y**2. Let h be c(0). Let b(r) = -11*r + 1. Does 9 divide b(h)?
True
Let a(m) = m**3 + 12*m**2 + 9*m - 19. Let f be a(-11). Suppose f*y = -2*v + 405, 959 + 56 = 5*v + 5*y. Is 17 a factor of v?
True
Suppose 0 = g + 3*g + 8, 4*h - 4*g - 16 = 0. Let f(i) = 109*i**3 - 2*i**2 + i - 1. Does 30 divide f(h)?
False
Let x = -7758 - -8165. Does 85 divide x?
False
Is 19 a factor of 6/180*-3 - 86241/(-10)?
False
Does 13 divide (-10)/4*16086/(-35) + -5?
True
Let f(r) = 2*r**3 - 17*r**2 - 44*r + 578. Is f(15) a multiple of 6?
False
Let k(u) = 432*u - 6438. Is 43 a factor of k(28)?
False
Let g = 2 + 72. Suppose -g*o + 4188 = -68*o. Is 17 a factor of o?
False
Is 23 a factor of (-783 + (5 - (-12)/(-3)))*(-22)/11?
True
Let g = -26431 + 26471. Suppose j - 93 = 158. Let y = j - g. Is 13 a factor of y?
False
Is 14 a factor of ((-248)/(-8) - 3)*316?
True
Let u(y) = 3*y - 45. Let m be u(19). Let z = -14 + m. Is (1 + 3)/z + (-86)/(-1) a multiple of 42?
True
Suppose 0 = 4*i - 2*s - 834, -i - s - 3*s + 222 = 0. Let z = 34 + i. Does 35 divide z?
False
Is -16 - -1421 - (3 + -2)*3 a multiple of 29?
False
Let l = -4478 + 6101. Is 27 a factor of l?
False
Let a(g) = -9*g**2 - 671*g - 42. Does 15 divide a(-66)?
True
Let q = 7973 - 5424. Suppose 14*s = 881 + q. Does 7 divide s?
True
Suppose 3*v + 10 = 5*m - 186, -3*v + 50 = m. Suppose -3*c - 2*g + 220 = m, -c + 2*g = -57. Is 15 a factor of c?
False
Let n = 367 + -359. Suppose 4*i = 2*a - 1182, n = -2*i + 6*i. Does 35 divide a?
True
Let s(j) = 2*j**2 + 13*j + 12. Let t be s(-6). Suppose -274 = -2*q + 10*x - t*x, 0 = -3*q + 2*x + 431. Is 7 a factor of q?
True
Let v(h) = -2*h + 33. Let m be 1*(1 + (5 - 2)). Suppose -m*j - 32 = -2*x + 4*x, -2*j = -x - 20. Is v(x) a multiple of 15?
False
Suppose 0 = 2*y + 2*z - 31934, -2*y + 858*z + 31939 = 859*z. Is y a multiple of 132?
True
Let v be (1/(-1))/((-19)/(-2185)). Let o = 199 + v. Does 7 divide o?
True
Let g(x) = 2384*x**3 + 2*x**2 + 10*x - 11. Is 53 a factor of g(1)?
True
Suppose 5*o = t - 251, 2*t + 2*o = -o + 554. Suppose -r + 5*r + 5*z - 363 = 0, -t = -3*r - 4*z. Suppose -34 = h - r. Is h a multiple of 21?
True
Suppose 5*v + 8*v - 3289 = 0. Let c = v - 88. Is 15 a factor of c?
True
Suppose -10 = 5*b - 25, 5*b = -3*w - 489. Let a be (-870)/90*w/1. Suppose -a = 5*d - 12*d. Is 14 a factor of d?
False
Let q(t) = -4*t - 4. Let u(d) = d**2 - 4*d. Let m be u(4). Suppose 7*w + 26 + 23 = m. Does 7 divide q(w)?
False
Suppose 2 - 16 = -3*o - 5*d, -5*o + 46 = -3*d. Suppose 2*c + o = 0, -2*h - 3*c - 36 = -6*h. Suppose 4*k = v + 179, h*v + 141 = 3*k + 3*v. Is k a multiple of 18?
False
Is 37 a factor of 2 - -10614 - (-80 + 83)?
False
Let x(u) = u**2 + 2*u - 75. Let n be x(8). Suppose -n*s + 6448 = 21*s. Does 85 divide s?
False
Suppose 0 = 7*g - 4*g + 4*c - 15339, -2*g + 10230 = 2*c. Is g a multiple of 10?
False
Let n(a) = 129*a**2 - 16*a - 37. Let r be n(-2). Suppose -4*w = 3*g - r, 718 = 4*g + 5*w - 7*w. Is 35 a factor of g?
False
Suppose -274*q + 3*i + 62967 = -270*q, 15747 = q + i. Is q a multiple of 64?
True
Let d be ((-56)/(-20) - 0)/((-14)/(-35)). Suppose 657 - 202 = d*q. Is q a multiple of 13?
True
Suppose 74 + 61 = 27*m. Suppose -1595 = -m*n + 210. Does 5 divide n?
False
Suppose -19*n + 13*n + 32448 = 0. Suppose 15*u + n = 23*u. Is u a multiple of 56?
False
Suppose 3*n = 8 + 7. Let x = -209 + 211. Suppose -5*y - 4*g = -166, -x*y = 2*y + n*g - 140. Is 5 a factor of y?
True
Suppose 52*a = -0*a - 15*a + 110014. Is 10 a factor of a?
False
Suppose 5*l - l = 4*s + 35304, -2*l + 17652 = 2*s. Is 6 a factor of l?
True
Let u(d) = -d**2 + 13*d - 22. Let j be u(9). Suppose 3*i + j - 224 = 0. Let f = i - 20. Is f a multiple of 23?
False
Let j be (36/(-20))/(6/(-20)). Is (-15)/j*17*-2 a multiple of 16?
Fals