 be 0/(1 - 0) - -4. Suppose 0 = i*m + 10*m - 854. Is 4 a factor of m?
False
Suppose 0 = -a + 2*m + 37914, -158*m = -5*a - 156*m + 189570. Does 89 divide a?
True
Let m = -1853 - -5177. Is 2 a factor of m?
True
Let x = -42 - -45. Let w(z) = z**3 + 2*z**2 - 2*z + 5. Let a be w(x). Suppose a + 1 = c. Is c a multiple of 15?
True
Let p = -12826 + 30492. Does 22 divide p?
True
Is (1/3 - (-110005)/42)*(-1 - -7) a multiple of 7?
False
Suppose -4*s + 245 = -219. Let z = s - 52. Is 21 a factor of (1 - -12)/(-5 - z/(-12))?
False
Suppose -3*c + 3*o = -60, -44 = -3*c - 2*o + 1. Suppose -2*t + 1 = -5*j + 12, 5*t = 2*j - c. Is 94/((-4 - -6)/j) a multiple of 6?
False
Let a be (-184)/10 - 2/(-5). Is -33*(-4)/a*-6 a multiple of 9?
False
Let s = -40 - -40. Suppose s = -5*k + h + 120, -h - 120 = -5*k - 5*h. Suppose -2*z + k = -16. Does 10 divide z?
True
Suppose -9*t + 4947 = -15681. Suppose -5*c - 2*s + t = -143, 3*c - 1480 = -5*s. Does 23 divide c?
False
Is (-144)/6*(-387)/6 a multiple of 19?
False
Let o = -416 + 420. Is ((-20)/50)/((-1)/(3780/o)) a multiple of 47?
False
Is (-1)/((-3)/(-250)*(-85)/102) a multiple of 4?
True
Let g = -198 - -218. Let s = 195 - g. Is 25 a factor of s?
True
Let a(w) = -9*w**3 - 2*w**2 - 5*w + 5. Suppose -12 = 4*b + 3*m, 5*m + 0*m = 3*b + 9. Is 11 a factor of a(b)?
False
Let v be ((-36)/20)/(3/(-25)). Let r = 1 - v. Is ((-60)/r)/((-15)/(-105)) a multiple of 2?
True
Let z(w) be the second derivative of 21*w + 2*w**2 + 1/4*w**4 + 0 - 3/2*w**3. Does 8 divide z(-4)?
True
Suppose 4*c = -2*t + 5*c + 8, 3*t = -2*c - 2. Does 28 divide (1 + t)/((-69)/(-3979))?
False
Let v(d) = d**3 + 7*d**2 - 5*d - 2. Let m be v(-6). Let r = 19 - m. Let z = 35 - r. Is z a multiple of 8?
True
Suppose -290 = -4*a - 2*r, 2*a + 2*a - r = 287. Let u = a - 52. Does 4 divide u?
True
Let g = -1 - 5. Let z be (-16)/3*g/4. Suppose -12 = -d + z. Is 10 a factor of d?
True
Suppose -7*h - 26 - 2 = 0. Let l be 11 + h/(8/10). Suppose -l*i + 230 + 640 = 0. Is 25 a factor of i?
False
Is (5*(-2144)/80)/((-1)/92) a multiple of 16?
False
Suppose 40*g = 42*g - 29860. Suppose 0 = 31*y - 41*y + g. Is y a multiple of 72?
False
Let j be ((-51)/12 - -4) + 1/4. Does 11 divide (-11 - j/1)/(1/(-17))?
True
Let v(r) = 2002*r**3 + 6*r**2 + 3*r - 7. Does 9 divide v(1)?
False
Let j(g) = -2*g**3 + 5*g**2 - g + 7. Let n be j(4). Let h = -40 - n. Suppose h*r - 1007 = -157. Is 28 a factor of r?
False
Let z = -9198 - -9369. Is z a multiple of 5?
False
Is 4 a factor of ((-14)/4 - 3)/((-2)/160)?
True
Is (-1 + (-15)/(-30))*-23966 a multiple of 93?
False
Let z(t) = 8*t**2 - 10*t + 92. Does 72 divide z(10)?
True
Suppose a = 3*a + 5*v + 119, 3*v - 375 = 5*a. Let w = 75 + a. Suppose 5*p - 3*c - 638 = -0*c, 3*p - 378 = w*c. Is 10 a factor of p?
True
Let i(r) = r - 33. Let j be i(17). Does 24 divide (-43 + 0)/(j/12 + 1)?
False
Let y be 32/(-6)*1098/24. Let i = 134 - y. Is i a multiple of 18?
True
Suppose -34*p - 2280680 = -218*p. Is p a multiple of 3?
False
Let d = 8645 + -6092. Suppose -6*r + 579 = -d. Is r/4 - 2/4 a multiple of 13?
True
Suppose -2*z = -5*g - 5493 + 26364, 0 = 5*g + 3*z - 20881. Suppose 2*l - 2*x - 2098 = 0, -4*l - 6*x + g = -3*x. Does 60 divide l?
False
Is 2 a factor of 2/3*3 + (-46358 - 10)/(-24)?
True
Let h = 15527 - 13547. Does 5 divide h?
True
Suppose -358836 = -199*o - 5*o. Does 11 divide o?
False
Let w(h) = h**2 + 3*h + 37. Let o be w(0). Suppose 29*x = o*x - 1384. Suppose 0 = -3*m + 2*g + x, -3*g - 49 = -m - 3. Is m a multiple of 8?
False
Let v be 142/(-4) - 15/10*-1. Let a be v/(-16) + 2/(-16). Suppose -3*w = 4*q - 20, -4*w + 0*q = -a*q - 56. Is w a multiple of 12?
True
Is 31 a factor of (16 + -29 + 11)/((-1)/3270)?
False
Is (-9 - -21)/(3/1872*4) a multiple of 13?
True
Let s = 38 - 33. Suppose 0 = s*h - 3 + 28. Let k = 16 + h. Is 11 a factor of k?
True
Let g(u) be the second derivative of -u**4/12 - 11*u**3/6 + 3*u**2/2 + 13*u. Let r be g(-11). Is 86/r - ((-76)/12 + 6) a multiple of 4?
False
Let z = 2388 + 2534. Does 46 divide z?
True
Let i(z) = 24*z**2 + z. Let u be i(-1). Let g = -27 + u. Is 92 - 0/(1 - g) a multiple of 14?
False
Let f(i) be the first derivative of 3/4*i**4 - 7/3*i**3 + 2 + i**2 + 4*i. Is f(3) a multiple of 6?
False
Let v(r) = 880*r - 483. Is v(11) a multiple of 17?
True
Let k(s) = 2*s**3 - 16*s**2 + 6. Let t be k(8). Suppose 2*m = -14 - t. Is 26 a factor of 1*5/m - (-606)/4?
False
Let f(b) = -b + 24. Let j be f(22). Let z be (j + -2)*(-3)/12. Suppose z*h + 72 = 8*h. Is h a multiple of 3?
True
Let r(i) = 11*i + 13. Let q(j) = j - 1. Let y(f) = 6*q(f) - r(f). Let t(v) = -3*v**2 - 5*v - 4. Let a be t(-2). Is 11 a factor of y(a)?
True
Suppose 8*y - 109*y + 0*y = -431068. Is 22 a factor of y?
True
Let q(m) be the second derivative of m**5/20 - m**4/6 - m**3/6 + 374*m**2 - 17*m. Let p be q(0). Suppose 0 = -5*f + p - 293. Is f a multiple of 13?
True
Let u(r) = -25 + 37*r + 95 + 3*r**2 - 46. Does 10 divide u(7)?
True
Let n be 0 + 5 + -10 + 5. Let i(v) = 3*v + 1044. Is i(n) a multiple of 18?
True
Let u be (-20)/70 - (-5170)/(-35). Let m be -4*422/8*1. Let f = u - m. Is 7 a factor of f?
True
Let x(l) = 3*l - 32. Let b(k) = -k**2 - 8*k - 1. Let q be b(-6). Let m be x(q). Is m/((8/(-12))/((-122)/3)) a multiple of 8?
False
Suppose h + 3*f = 2993 + 1783, 2*h - 9542 = -f. Is 90 a factor of h?
True
Is 19 a factor of 2/(11 - (-921836)/(-83804))?
False
Let f(i) = -1139*i - 2430. Does 9 divide f(-27)?
True
Let u(s) = -2*s**3 + 4*s - 2. Let t be u(-2). Suppose -40 = -2*h - t*h. Suppose h*l = -2*r - 0*r + 238, l - 4*r = 52. Is l a multiple of 6?
True
Let r = -25959 - -58816. Is 29 a factor of r?
True
Let y = -47 - -45. Let c be y + (1 - (3 + -6)). Suppose g = -g + 2*w + 34, c*g - w = 34. Is 3 a factor of g?
False
Suppose -4679 = -12*x + 3589. Let m = x - 474. Does 9 divide m?
False
Let y(h) = -h**3 + 5*h**2 - 3*h + 6. Let g be ((-6)/(-4))/((-3)/(-8)). Let o be y(g). Does 13 divide 1/(o/8*(-20)/(-550))?
False
Let n(o) = -o**2 + 9*o - 8. Let a be n(8). Suppose -4*u + 5 + 31 = a. Let r(m) = m**3 - 7*m**2 - 14*m + 18. Is 9 a factor of r(u)?
True
Let f = 99 - 97. Suppose -2*k - 5*d + 620 = 146, 3*k - f*d - 749 = 0. Is 39 a factor of k?
False
Suppose -12165*x + 5084 = -12161*x. Does 41 divide x?
True
Let f(q) = 6*q**2 - 2*q - 1. Let k be f(1). Let i be -5 - 85/(-15) - (-16)/k. Suppose -3*b = i, 0*g + 36 = 5*g - 3*b. Is g even?
True
Let j = 3369 + -220. Is 67 a factor of j?
True
Suppose 145*b - 166*b + 231357 = 0. Is 13 a factor of b?
False
Suppose -1207*j + 1231*j - 62976 = 0. Is 4 a factor of j?
True
Suppose 3960 = 5*z - 5*u, -z = -19*u + 14*u - 808. Is 7 a factor of z?
False
Let r(a) = -a**2 + 12*a - 5. Let k be r(11). Let w(v) = k*v**2 + 12 - 21*v**2 + 4*v + 12*v - 3*v - v**3. Does 10 divide w(-16)?
True
Suppose -5*p + 13338 = 3*i, -638*i - 3*p = -635*i - 13332. Does 7 divide i?
False
Let d(x) = 3*x - 1. Let p be d(2). Let f be (-42)/7*2/(-6). Suppose p*u - 6*z - 341 = -f*z, -2*u + 2*z = -138. Is u a multiple of 13?
True
Let c(x) = 3*x**2 - 2*x + 9. Let v be c(4). Suppose -4*o = -v + 41. Suppose -5*l - 4*m + 6*m = -952, -2*l = -o*m - 382. Does 10 divide l?
True
Let p(l) = -l**3 + 5*l**2 - 16*l + 10. Let b(r) = -r**2. Let c(a) = 5*b(a) - p(a). Suppose 0 = -j - 3*j, -36 = -4*z + 2*j + 2*j. Does 16 divide c(z)?
False
Suppose -13*w + 44*w - 93 = 0. Suppose -2*y - r = -173, 524 - 75 = 5*y - w*r. Does 27 divide y?
False
Let n(t) = t**2 - 5*t - 10. Let h(i) = -2*i**2 + i + 2. Let j be h(-2). Let o be n(j). Suppose -3*m = 2*b - 97, -o = -5*b + 3*b - 2*m. Does 13 divide b?
False
Suppose -20301753 = -393*j - 3776103. Does 50 divide j?
True
Let m(n) = -2*n**2 + 76*n - 2. Is m(19) a multiple of 5?
True
Let j = -28204 - -30856. Is j a multiple of 26?
True
Let n be 1/6 - 2/12. Suppose -b = -2*s + 42, n = -2*s + 7*b - 2*b + 58. Suppose 0 = -p + s - 2. Is p a multiple of 16?
False
Let y = 461 - 454. Let c(s) = 48*s - 202. Is 5 a factor of c(y)?
False
Let z(o) = 106*o + 2900. Is 21 a factor of z(40)?
True
Suppose -305*p = 284*p - 615*p + 21294. Is p a multiple of 61?
False
Suppose 14 = 17*a - 15*a + i, 0 = 2*a - 5*i - 38. Let p = a - -206. Does 34 divide p?
False
Let w(i) = -6695*i - 325. Let g(x) = 62*x + 3. Let f(l) = -325*g(l) - 3*w(l). Let t be (8/20)/(16/(-40)). Is f(t) a multiple of 13?
True