e -397 + 100 = 3*j. Is (-22)/j - r/18 a multiple of 12?
True
Suppose -8*g + 1352 = -5312. Is g a multiple of 17?
True
Suppose 0 = 2*m - 19 + 1. Suppose -128 - 3436 = -m*w. Does 66 divide w?
True
Suppose 0 = -4*v - 2*w + 2108, 0 = 4*w + 7 + 1. Is 72 a factor of v?
False
Let z = -62 - -64. Suppose 3*q - 5*f - 10 = 8, -z*q + f = -12. Is 2 a factor of q?
True
Suppose 0 = -b - 5*s + 452, -5*s + 10 = -10*s. Is b a multiple of 22?
True
Let g(y) = y**3 + 4*y**2 - 4*y + 9. Let l be g(-5). Is 51 a factor of (-18)/l*1020/(-18)?
True
Let t = 592 + -242. Is 70 a factor of t?
True
Let a(m) = -2*m + 7. Suppose -16 = -3*g + 2*w, -4*w + 3 + 1 = 0. Let x be a(g). Does 2 divide (6/x)/((-3)/10)?
True
Suppose -5*z - 8 = -2*l, 0 = -3*z + l - 1 - 3. Suppose z*r = -4*r + 16. Suppose 0 = r*n - 6*n + 20. Is 3 a factor of n?
False
Suppose -27*y + 22*y + 5*l = -2135, -3*l = -2*y + 854. Is y a multiple of 7?
True
Let q be (84/16)/(6/(-32)). Let w = 45 + q. Does 3 divide w?
False
Let a = -999 - -1518. Does 42 divide a?
False
Let i(p) = -6*p**3 - p**2 + 3*p + 1. Let w = 15 - 10. Suppose 0 = -3*s + 5*k - 21, -3*s + w*s - 3*k + 13 = 0. Is 13 a factor of i(s)?
True
Does 34 divide ((-1)/(-3))/(5/8175)?
False
Suppose -3*x + 29*c = 27*c - 5905, -3*x = 2*c - 5921. Is x a multiple of 42?
False
Let h be 32 + (60/3)/5. Is (6 + -5)/(3/h) a multiple of 10?
False
Let f be -8*20*5/(-10). Let p = -48 + f. Suppose 0*a - 4*a = -p. Is 7 a factor of a?
False
Let s be (-130)/(-30)*(-3)/(-1). Let t = -10 + s. Let y = t - -33. Is y a multiple of 11?
False
Let v = -398 - -650. Does 14 divide v?
True
Suppose 62 = -2*q - 3*g + g, -q = -g + 23. Let o be q/18*8/(-6). Does 2 divide ((-1)/o)/(4/(-48))?
True
Suppose -11*d = -7*d, -2*d + 7360 = 4*r. Does 46 divide r?
True
Let u(q) = 24*q**3 - q**2 - 6*q + 10. Is 25 a factor of u(4)?
False
Let l be 12/(-18)*(-2 - -8). Is 23 a factor of 1 + 0/l + 27?
False
Let h(w) = 4*w**2 + 4. Let i = -7 - -4. Is 8 a factor of h(i)?
True
Suppose 47*o + 260 = 45*o. Let a = o + 246. Is 7 a factor of a?
False
Is 15 a factor of (-58)/(-261) + 30886/9?
False
Let n(h) = -h**3 - 8*h**2 - 11*h - 58. Does 130 divide n(-12)?
True
Let p = 154 + -106. Let t be ((-100)/(-12))/((-3)/(-9)). Let h = p - t. Does 20 divide h?
False
Suppose 3*r - 2 = 13. Let p(z) = -z**2 + 3*z + 10. Let a be p(r). Does 3 divide 8/(-3)*-6 - a?
False
Let f be 8/12*(-15)/(-5). Let r(z) = 29*z - 4. Is 18 a factor of r(f)?
True
Let x(y) = y**2 - 5*y - 12. Let h be x(7). Suppose h*w - 13 = 13. Is ((-6)/(-2) - 0)*w a multiple of 5?
False
Suppose 3*l + 220 = r - 201, -280 = 2*l - r. Let x = 205 + l. Is x a multiple of 16?
True
Let x(y) = 4*y**3 - y**2 - 5*y - 7. Let w be x(-2). Let d be 126/33 + (-6)/w. Suppose -3*s + d*s - 117 = 0. Is s a multiple of 30?
False
Is 16/3*(-1053)/(-78) a multiple of 2?
True
Suppose -3*l + 56 + 374 = -5*w, l - 5*w - 130 = 0. Does 25 divide l?
True
Suppose 2*c + 3*y = -237, -3*c - 2*y - 431 = -63. Is 5 a factor of -1 + (3/(-6))/(3/c)?
True
Suppose -11 = -d + 3. Let w = 15 - d. Is 4 a factor of 3 + 4 + 0 + w?
True
Let j(s) = -s**3 + 10*s + 5*s**2 - 7 + 5*s**2 - 13*s**2. Is 4 a factor of j(-6)?
False
Let s(g) = 128*g + 2 + 6 - 127*g. Let x be s(-4). Let a = 28 + x. Is 15 a factor of a?
False
Suppose 4*m = 0, 29 = -2*n + 3*m + 199. Is n a multiple of 17?
True
Let p = -168 + 76. Let h = 30 + p. Let g = h - -98. Is 12 a factor of g?
True
Suppose -4*t = -3*l + 30, 2*l + 21 + 19 = -4*t. Let m = 6 + t. Does 6 divide -3 - (m/(-1) - 23)?
False
Let i(x) be the second derivative of -5*x**3/3 + 3*x**2 + 5*x. Is i(-3) a multiple of 18?
True
Suppose 0 = 3*s - 5*s + 4, 2*i - 174 = 5*s. Is 15 a factor of i?
False
Suppose -19*h + 23*h - 972 = 0. Is h a multiple of 27?
True
Suppose -4*n + x + 839 = 0, -2*n = 9*x - 6*x - 409. Is 23 a factor of n?
False
Let q(i) = i + 14. Let k(c) = -c**2 - 4*c + 2. Let f be k(1). Is q(f) a multiple of 3?
False
Suppose -14 = 3*n - 5*r, 5*r - 30 + 2 = -4*n. Suppose n*s - 6*s + 16 = 0. Suppose s*g = 4*d - 40, 4*g + 12 = -0*g. Is d even?
False
Is 19 a factor of 66/143 - 4869/(-13)?
False
Let o be (-14)/3 + 7/(-21). Let s be 182/35 + 1/o. Suppose 2*d = 3*i - 0*i - 82, s*d = 20. Does 15 divide i?
True
Let o = 3 - -3. Let q be (17/(-3))/(o/(-108)). Let b = -71 + q. Is 12 a factor of b?
False
Suppose v + g = -v + 7, 0 = -5*v + 4*g - 2. Let l(y) = 3*y**3 - 3*y**2 - y + 2. Let k be l(v). Let o = -6 + k. Is o a multiple of 3?
True
Suppose 0 = 2*x - 5*h + 33, 6*h + 67 = -5*x + 3*h. Let v(z) = -150*z**2 - 9 + 77*z**2 + 2*z + 6*z - 23 + 74*z**2. Is 26 a factor of v(x)?
True
Let b(g) = 2*g - 2. Let i be b(11). Suppose -5 = -s + i. Is s a multiple of 10?
False
Let x = 5 + -3. Let v be -1 + 8/(-2 - x). Let f(m) = -m**3 + m**2 + 2*m. Is f(v) a multiple of 15?
True
Is 28 a factor of 16/(-40) + (-3362)/(-5)?
True
Let h = -1043 + 3370. Is h a multiple of 14?
False
Suppose -5*l = 2*y - 198, 16*y - 12*y = 4*l + 424. Does 7 divide y?
False
Suppose -3*u + 5*u = 490. Suppose -90 = 5*l + 4*m - 325, 5*l = -2*m + u. Suppose -6*g + 9*g - l = 0. Is g a multiple of 11?
False
Let o = 671 - 605. Does 2 divide o?
True
Let x be (14 + 8)*1/2. Let r(k) = k**2 - k - 3. Let b be r(x). Suppose 0 = -5*v + 53 + b. Is v a multiple of 4?
True
Suppose s - 924 = 4*q, 0 = -2*s - q - 3*q + 1908. Is s a multiple of 10?
False
Let x = 14 - 12. Suppose -5*a - 3*v + 17 = -x*v, 3*a - 5 = 2*v. Suppose s + s - 128 = -a*b, 2*s = -5*b + 128. Is 16 a factor of s?
True
Suppose -1612 = -13*m + 32968. Does 28 divide m?
True
Let m(l) = 99*l**2 - 2*l + 2. Does 14 divide m(-2)?
False
Suppose -3*m = 2*l - 440, -448 = -2*l - m - 0*m. Suppose 3*s - 74 - l = 0. Is 25 a factor of s?
True
Suppose 4 = -4*z + 3*z, -5*z - 10 = 5*w. Suppose 3*t - 244 = t. Suppose 4*g - w*g - t = 0. Does 22 divide g?
False
Is 2 a factor of 11 - 0*(69/12 + -6)?
False
Suppose -2*d - 3*d = 0. Suppose d*s = 5*s. Let o = s + 5. Does 3 divide o?
False
Let w(c) = c**3 - 7*c**2 + c + 4. Let v(m) = m**2 - 6*m. Let s be v(7). Let l be w(s). Let i = 30 - l. Does 19 divide i?
True
Let x(c) = 30*c**2 - 6*c + 4. Let m be x(2). Suppose 0 = -5*t + 3*t + m. Is 7 a factor of t?
True
Does 38 divide (-399)/(-1)*28/21?
True
Suppose -4*m - 2*n = 202, -7*n = -m - 3*n - 28. Let u be ((-16)/m)/(1/12). Suppose -u*a = a - 150. Does 15 divide a?
True
Let t(u) = -2*u - 10. Let h be t(-5). Suppose 3*j - 5*j + 80 = h. Is j a multiple of 4?
True
Let i = 16 - 19. Let g be -56 + (i + 0 - -3). Is 10 a factor of (-992)/g + 2/7?
False
Suppose -2*c + 6*c - 573 = -5*i, -3*i - 2*c + 343 = 0. Does 2 divide i?
False
Is 11 a factor of (0 + (-2 - 46))*(-12 - -11)?
False
Let h(q) = -q**3 - 6*q**2 - 3*q + 7. Let k be h(-6). Suppose 2*m - 4*p = k + 39, 3*m + 3*p - 60 = 0. Is 6 a factor of m?
True
Let z = -32 + 42. Let t = 28 + z. Does 13 divide t?
False
Suppose 0 = 3*b - 4*i - 2208, 0 = 3*b - 3*i + 8*i - 2208. Is b a multiple of 23?
True
Let r be ((-160)/(-48))/(2/(-3)). Is 13 a factor of r*(-24)/150 + (-256)/(-5)?
True
Let c(z) = z**3 + 16*z**2 + 13*z - 17. Suppose 26 = -2*j + 3*n - 4, 4*j = -2*n - 60. Is 13 a factor of c(j)?
True
Let t = -95 - -205. Is t a multiple of 2?
True
Let d = -1132 - -1208. Does 38 divide d?
True
Let l = -29 - -1. Is (-2 - l)*2/((-12)/(-15)) a multiple of 13?
True
Let n(f) = 3*f - 4. Let g be n(3). Let z(o) = -4 - 10*o - 3*o**2 + 2*o**2 + 0 - g. Is 5 a factor of z(-7)?
False
Suppose 26*w - 32*w + 174 = 0. Is 9 a factor of w/((-5)/(5 + -30))?
False
Let k(g) be the first derivative of -9*g**5/20 - g**4/6 - g**3/3 - g**2/2 - 7*g + 7. Let r(w) be the first derivative of k(w). Is 4 a factor of r(-1)?
True
Is 2 a factor of ((-9)/4)/((-12)/2672)?
False
Let u be (-132)/(-30) - (-1 - (-21)/15). Suppose 3*p - u*p - 54 = -c, -3*c = 2*p - 157. Does 6 divide c?
False
Suppose -13 - 8 = -3*a + 2*r, 22 = 5*a + r. Suppose m - 2*m - a = 0. Is 10 a factor of -1*141/(2 + m)?
False
Let q(u) = 20*u - 12. Suppose 4*a - 7 = 13. Let g be q(a). Does 13 divide 1/(2/g) + 1?
False
Let z be 1*9/((-1)/(-1)). Let q(c) = c**3 - 9*c**2 + 3*c + 12. Is q(z) a multiple of 13?
True
Let u be 20/8*(42/15 + -2). Does 9 divide 2/(-9) + 1022/63 + u?
True
Let t be ((-2)/(-3))/(16/24). Suppose 4 = 5*i - t. Is 2 - -10*i/1 a multiple of 3?
True
Let c be 5/2 - (-7)/14. Suppose 180 = -c*l + 8*l. Is 18 a factor of l?
True
Let v