x**2 + 126*x**2. Is 2 a factor of z(11)?
True
Suppose -5*m = 108 + 87. Let g = 52 - m. Is g a multiple of 14?
False
Suppose -2907 = -42*q + 39*q. Does 57 divide q?
True
Suppose 0 = 3*i - 26 + 11. Suppose -344 = -3*n - i*f, -f = 5*n + 4*f - 560. Does 36 divide n?
True
Suppose 0 = -0*u + 4*u + 3*x - 417, 0 = 3*x + 15. Suppose u = 7*f - 4*f. Is 12 a factor of f?
True
Let t be ((-1)/4)/((-13)/364). Suppose 5*f - t*b - 230 = -4*b, -5*f - 4*b + 230 = 0. Is 23 a factor of f?
True
Let b(a) = -2*a**2 - 3*a + 14. Let p(r) = 3*r**2 + 2*r - 14. Let h(s) = 6*b(s) + 5*p(s). Is 4 a factor of h(4)?
False
Let u = 285 + -252. Is 3 a factor of u?
True
Suppose -i = 3*i + j - 3863, 0 = -3*i - 4*j + 2894. Suppose 6*p - i = -8*p. Is p a multiple of 15?
False
Let m be -1 + 12/15 + 108/15. Let p(u) = 8*u**2 - 14*u - 3. Is p(m) a multiple of 14?
False
Let x(c) be the first derivative of -7*c**2/2 + 39*c + 29. Is 11 a factor of x(-18)?
True
Let y(j) = 13*j + 82. Is y(11) a multiple of 5?
True
Suppose c + 4*z = -1, 2*c + 2 = -z + 3*z. Let t(i) be the third derivative of 7*i**5/12 + i**4/24 + i**3/6 - 11*i**2. Is 15 a factor of t(c)?
False
Let w be (-263)/2 - (-2)/4. Let k(c) = c**2 + 5*c + 7. Let i be k(-16). Let o = i + w. Does 26 divide o?
True
Suppose 4*i = 2*v + 2332, 2918 = 5*i + 4*v - 5*v. Is i a multiple of 73?
True
Let p = -19 - -22. Let i(v) = -v**2 + 8*v - 7. Let y be i(6). Suppose -y*k - 1 = -2*n + 21, -33 = -p*n + 2*k. Is n a multiple of 11?
True
Let z(r) = -r**2 + 88*r - 158. Does 8 divide z(60)?
False
Let n(p) = p**2 - 4*p - 23. Let x be n(17). Let v = x - 52. Is 28 a factor of v?
False
Suppose 0 = 2*m + 6, 2*c - 1497 = -c - 5*m. Does 21 divide c?
True
Suppose 4*d - 773 = -5*r, 0*d = d + 3. Is 7 a factor of r?
False
Let s(n) = -n**2 + 50*n + 18. Does 5 divide s(44)?
False
Let o be 11056/176 - 2/(-11). Let t = 105 - o. Is t a multiple of 6?
True
Suppose -6*y = 6*y - 5388. Does 16 divide y?
False
Let v(p) = p**2 + 5*p + 14. Let h(f) = f**3 - 3*f**2 - 2*f. Let w be h(2). Does 19 divide v(w)?
True
Let j = 2915 + -809. Is 117 a factor of j?
True
Suppose b + 3*b = 48. Suppose -r - 3 - 3 = -3*g, 0 = -5*r - 3*g - b. Is r/2*2 - -76 a multiple of 27?
False
Suppose -3*g + 63*n + 1157 = 64*n, -5*g + 1951 = -4*n. Does 13 divide g?
False
Let g(h) = h**2 + 13*h - 2. Let i be g(-14). Does 50 divide ((-920)/i - (-3)/(-9))*-1?
False
Suppose -5*j - 6 = 4*x, 0*x = 4*j - 3*x - 20. Let a be (-145)/(-4) + 3/(-12). Suppose -p = -5*p - 5*d + a, -j*d = -5*p + 78. Does 14 divide p?
True
Let n be (15/10)/(3/4). Suppose 0 = -6*t + 2*t - n*d + 220, 0 = 4*d. Does 16 divide t?
False
Let p be 1 + 1 - (-13 + 11). Suppose 3*u - p*i - 165 = -7*i, -2*i = 4*u - 210. Is u a multiple of 5?
True
Let n be ((-61)/2*-2)/((-8)/(-24)). Let v = n - 107. Does 38 divide v?
True
Let u(m) = -62*m + 46. Is u(-49) a multiple of 12?
True
Suppose 84*c - 78*c = 426. Does 9 divide c?
False
Let x = 8 + 4. Let z = -11 + x. Does 13 divide 58*(z/2 - 0)?
False
Let f = 55 - -341. Is 12 a factor of f?
True
Let z = -15 - -19. Suppose -2*u + z*u = 30. Is u a multiple of 11?
False
Suppose 2*w = -4*b + b + 398, -5*w + 988 = 4*b. Suppose -3*c + 416 = 4*z, -c - 2*z + 0 = -140. Suppose -5*l + w = p, 3*l + p - c = 5*p. Is 11 a factor of l?
False
Let g = 979 - 553. Does 15 divide g?
False
Let l be -3*5/(-15) + 524. Does 14 divide 2 + 3/(9/l)?
False
Let h(f) = f**2 + 3*f + 6. Let w be h(5). Let q = w + -115. Is (-12)/42 + q/(-21) a multiple of 2?
False
Let y = -15 - -20. Suppose -4 = 4*b - y*b. Suppose 34 = -b*z + 6*z. Is z a multiple of 5?
False
Let x(a) = a**3 + 15*a**2 + a + 2. Let f be x(-11). Suppose -214 = -4*w - 2*o + 166, 5*w - f = 5*o. Suppose -3*y + w = -1. Is y a multiple of 14?
False
Let r(i) be the first derivative of -46*i**2 - i + 2. Let t be r(1). Does 5 divide 33/44 - t/4?
False
Let o be (-1)/(-2)*(6 - -2). Suppose 4*d + d - l = 150, -3*d + o*l + 107 = 0. Suppose v + 0*v = d. Does 14 divide v?
False
Suppose 0 = d - 20*d - 38. Let l(r) = -r**2 + r. Let f(o) = -10*o**2 - 5. Let v(h) = -f(h) + 5*l(h). Is 15 a factor of v(d)?
True
Let c = -40 - -22. Does 6 divide c*(-3)/6*2?
True
Does 19 divide (-1)/(-3) + (-4529)/(-21) + -7?
True
Let c = 481 - 477. Let t be 0 - -1 - (-2 + -235). Suppose -v + 5*v - m = t, 4*m = c*v - 232. Does 15 divide v?
True
Suppose 2*z + 8*i = 7*i + 31, -i + 47 = 3*z. Is 10 a factor of z?
False
Does 3 divide (-15)/(1 + 4) - -6?
True
Suppose 270 = 11*l - 324. Suppose l = 2*p + 12. Is 2 a factor of p?
False
Let f = 3191 - 1811. Is f a multiple of 15?
True
Let p = -32 - -35. Suppose -355 = -p*g - 55. Is g a multiple of 26?
False
Let y = 1 - 0. Suppose -2*l + 25 = 2*a - y, -3*l = -5*a - 63. Is (108/l - 3)*4 a multiple of 13?
False
Suppose 14*r = 2312 + 10708. Does 27 divide r?
False
Suppose 5375 = 43*b - 0*b. Is b a multiple of 6?
False
Let z(r) = -r**2 + 11*r - 17. Let x(c) = c**2 - 16*c + 8. Let s be x(16). Let l be z(s). Let y = l - -7. Is y a multiple of 5?
False
Suppose 5*m + 15 = 5*n, -3*m + 3*n - 17 = -4*m. Let o(p) = 13*p + 12 - p**m - 13*p. Does 6 divide o(0)?
True
Suppose 0 = -4*d + u + 42 + 319, -5*u - 25 = 0. Let o = 11 - 7. Suppose 0*n - 4*f = 5*n - 121, 5*n = o*f + d. Is n a multiple of 16?
False
Does 37 divide ((-45)/(-75))/((7/(-2510))/(-7))?
False
Let q(i) = -i**3 + 7*i**2 + 25*i - 31. Does 8 divide q(9)?
True
Let g(p) = 15*p + 192. Is g(-11) a multiple of 16?
False
Suppose 0 = 45*m - 83*m + 10640. Is m a multiple of 16?
False
Let w(p) = -6*p + 6. Let u be w(1). Suppose -2*h + s + 52 = u, 3*h + 5*s = 7*s + 77. Is h a multiple of 9?
True
Let b = -53 - -40. Let m(y) = -9*y - 26. Is 12 a factor of m(b)?
False
Let s(r) be the third derivative of r**5/60 + 13*r**4/24 - 4*r**3/3 + 6*r**2. Does 6 divide s(-14)?
True
Let u = 2919 - 2044. Is u a multiple of 35?
True
Let h be (-2)/8*-4 - -3. Suppose h*r = -0*r + 32. Does 8 divide r?
True
Let s(a) = a**2 - 8*a + 26. Is s(41) a multiple of 78?
False
Let m = -32 - -37. Suppose -2*i - 5*t = -2*t - 84, -m*i + 2*t = -248. Is i a multiple of 16?
True
Let j be (-90)/(-24)*16/6. Suppose -11*k + j*k = -98. Suppose -2*l - 3*t = -k, 5*l - 101 - 186 = 3*t. Is l a multiple of 17?
False
Let h be ((-3)/2)/(42/(-560)). Suppose -h*l + 168 = -18*l. Does 21 divide l?
True
Suppose h - 3*a = 544, -3*h + 46 = a - 1566. Is h a multiple of 19?
False
Suppose -977 = -5*t - 3*p, -4*t + 6*t + p = 391. Does 28 divide t?
True
Let n(l) = 9*l + 27. Let m(y) = y**2 - 3*y - 3. Let x be m(5). Does 30 divide n(x)?
True
Let o(d) = 2*d**3 + d**2 - 2*d + 536. Is 17 a factor of o(0)?
False
Let v be (0/(-4))/((-2)/1). Let k be 6/21 - 8/(-42)*9. Suppose 6*z - 4*t = 2*z + 120, v = -2*z - k*t + 72. Does 11 divide z?
True
Let i = -11 - -10. Is i*(-3)/((-3)/(-125)) a multiple of 30?
False
Is ((-11)/(231/280))/((-4)/150) a multiple of 25?
True
Let t be ((2 - 4) + -2)*1. Is 10 a factor of t - 21/(-3) - -42?
False
Suppose -674 = -4*b + 358. Suppose 3*w = -4*f + 23 + 694, 0 = -5*f + w + 920. Let h = b - f. Does 25 divide h?
True
Let a(u) = -2*u**2 + u + 11. Let p be a(-2). Suppose -4*z = z - 240. Let d = z + p. Is d a multiple of 9?
False
Suppose -h + 20 = 4*h. Let u(d) = -3*d**3 - 11*d**2 + 17*d - 7. Let r(t) = 2*t**3 + 6*t**2 - 9*t + 3. Let j(i) = 5*r(i) + 3*u(i). Is 14 a factor of j(h)?
False
Let h = 253 - -107. Is h a multiple of 18?
True
Let q(m) = -2*m**2 + 12*m - 1. Let h be q(7). Let k(y) be the first derivative of y**3/3 + 15*y**2/2 + 19*y - 1. Is 4 a factor of k(h)?
False
Suppose 1020*s - 44982 = 1002*s. Is s a multiple of 17?
True
Does 3 divide (-10)/(-4)*(3 + (25 - -6))?
False
Suppose -2*v + 3*g = -947 - 650, -4*g = -20. Does 26 divide v?
True
Let l = -428 + 597. Is 13 a factor of l?
True
Let l(t) = -t**3 + 11*t**2 - 10*t + 4. Let q be l(10). Suppose -2*d = b - 0 - 36, -d = -4*b - 9. Suppose -d - q = -o. Is o a multiple of 21?
True
Suppose -4*j - a + 607 = 0, -4*j - 2*a - 3*a = -619. Let x = 337 - j. Is 11 a factor of x?
False
Let u(f) = f**3 - 11*f**2 + 4*f - 8. Let r be u(11). Is 8 a factor of (7/3)/(4/r)?
False
Suppose 90*g - 32316 = -7386. Does 2 divide g?
False
Does 43 divide (-5 + 1 - -4325) + (-138)/23?
False
Suppose -3*h = -2*h - 24. Let j = h - 29. Let f(u) = u**3 + 6*u**2 - 2*u + 5. Is 20 a factor of f(j)?
True
Let t(m) = -6*m - 6. Let q be t(-10). Is 10 a factor of 