0*j. Is 12 a factor of y(5)?
True
Let x(q) = -8*q**3 + 17*q**2 + q + 29. Does 59 divide x(-7)?
True
Let b be (-88)/6 - (-2 + (-28)/(-12)). Let f be ((-12)/b)/((-4)/(-20)). Suppose -5*c = f*v - 855, v + 171 = c - 3*v. Is 22 a factor of c?
False
Suppose -54*y = -56*y + 1186. Suppose 13*f = y + 2397. Is 5 a factor of f?
True
Let m(o) = 115*o - 542. Is 22 a factor of m(26)?
False
Let u be 26/(-65) - (-11677)/5. Suppose -1868 = -4*x - 5*t, -u = -0*x - 5*x + 4*t. Is x a multiple of 33?
False
Let a be ((-8)/14)/(-3 + (-209)/(-77)). Let i(q) = q**3 - 3*q**2. Let z be i(3). Suppose 0 = 2*t - u - a*u - 69, z = 5*t - 3*u - 177. Does 18 divide t?
True
Let t(m) = 67*m - 97. Let l be t(-25). Let v = l - -2630. Is v a multiple of 11?
True
Let t = -536 + 292. Let z = t - -316. Does 5 divide z?
False
Let k be (-2)/9 + (-28)/(-126). Suppose k = z + c + 3, -2*z - 1 = -c + 2. Is 16 a factor of 1/z*12*(-16)/6?
True
Let n(y) = 4*y**3 + 26*y**2 - 38*y + 12. Is 41 a factor of n(10)?
True
Suppose -5*x - u = 735, -3*u = -2*x + x - 163. Let l = 98 + x. Let w = 104 + l. Does 9 divide w?
True
Let y(b) = 81*b**2 - 108*b - 852. Does 17 divide y(-10)?
False
Let s = -45 - -45. Suppose -1 = -4*z + h, 4*z + h + s - 7 = 0. Is 10*(6 - z - 2) a multiple of 6?
True
Let r be (-60)/(-100) + 4426/(-10). Let k = r + 226. Let g = k + 306. Does 30 divide g?
True
Let b = 9 - 8. Let x(w) = w + 1. Let r be x(b). Suppose -q + 195 = r*q. Does 24 divide q?
False
Let c(x) = -x**3 + 8*x**2 + 8*x. Let m be c(9). Let f be 11/22 + m/(-6). Is 14 a factor of 1*-3 + 114*f/3?
False
Let t be (-15)/20 + (-210)/(-24). Suppose t*a - 141 - 555 = 0. Is a a multiple of 29?
True
Let i(k) = 2*k**2 + 9*k - 3. Let w be i(-5). Suppose -w*b + 626 = -232. Suppose 3*p - 2*h = h + b, h - 715 = -5*p. Is p a multiple of 15?
False
Is (19828 - -469) + 7/1 a multiple of 9?
True
Suppose -2*u - 20 = -7*u. Suppose -u*z = -5*z + 122. Let o = z + -35. Is o a multiple of 15?
False
Suppose 0 = -0*d + 5*d + 10. Let c be (d/5)/(1555/(-1550) - -1). Let j = 184 - c. Is j a multiple of 7?
False
Let p(b) = b**3 + 54*b**2 - 149*b - 133. Is p(-55) a multiple of 60?
False
Let h = -1304 + 4919. Does 15 divide h?
True
Let m be 34/6*(-336)/16. Let t = 166 + m. Does 5 divide t?
False
Let v be 3/(2/220*6). Let g = 57 - v. Suppose 3*c = c - 2*z + 340, 4*c - 662 = g*z. Is c a multiple of 13?
False
Let p be ((-8)/(-8))/(21/5 - 4). Suppose -j - 2*n = -0*j - 889, -j = -p*n - 889. Is 27 a factor of j?
False
Suppose -v - 5*v = -30. Suppose -3*a - 21 = x + 2, 2*x + v*a = -41. Let p(r) = -2*r**2 - 19*r + 6. Is p(x) a multiple of 5?
True
Let f = 25 - 25. Suppose f = 9*p + 137 - 389. Is 14 a factor of p?
True
Let a = -1438 + 11004. Does 12 divide a?
False
Let d = -4 - -12. Suppose 4*r + 3*v - 28 = 0, -r + 3*v = -0*r + d. Suppose -421 = -r*l + l + 5*m, -2*l + 249 = 3*m. Does 20 divide l?
False
Suppose 4*s - 9*f + 4*f - 7091 = 0, 3*f = 15. Let c = s + -1014. Is c a multiple of 26?
False
Does 31 divide -6 - ((-24)/44 - (5 + 313745/55))?
True
Suppose -4*b - 2*c + 8 = 0, 3*b + 1 = -c - 4*c. Let m be -2 - (-2 + -3 - 0). Suppose b*l - 3*z - 46 = z, 2*z - 40 = -m*l. Is 5 a factor of l?
False
Let f(h) = -h**2 + 8*h + 3. Let s be f(9). Let d(a) = 2*a**2 - 15*a - 18. Let c(o) = -5*o**2 + 45*o + 52. Let q(n) = -3*c(n) - 8*d(n). Does 14 divide q(s)?
True
Let x be (74 + 9/3)*-1. Let q = -55 - x. Is q a multiple of 10?
False
Let t = -186 - -477. Let d = -509 + 313. Let b = t + d. Is b a multiple of 19?
True
Let s be (-19*6)/(6 - 3 - 5). Let d = s - -763. Is d a multiple of 10?
True
Let j = -57 + 2784. Is 27 a factor of j?
True
Let t = -29 - -202. Let r be t*(-3)/(-15) + 8/20. Suppose -r*s + 34*s + 87 = 0. Is 14 a factor of s?
False
Let q = 107 - 95. Suppose -8*v - 1188 = -q*v. Is v a multiple of 9?
True
Let q = -1014 - -7614. Is 66 a factor of q?
True
Let k(p) = -p - 7. Let j be k(-9). Suppose 58 - 22 = -j*a. Let f = 23 + a. Is f a multiple of 2?
False
Suppose -6*q = -3*q - 2*i - 7, -3*q - 1 = -4*i. Suppose 0 = 3*u - 140 - 1135. Suppose 5*r - u = -q*y + 105, 4*y - 436 = 2*r. Is y a multiple of 19?
False
Let u = -76245 - -117201. Suppose -46*g = -u - 5688. Is 46 a factor of g?
False
Let r(s) = 0 + 2 - s - 4 - 2. Let b be r(0). Is b - -12*(1 - 0) even?
True
Let b(k) = k - 10*k + 9*k - 1 + 3*k. Is b(6) a multiple of 2?
False
Suppose a + 5*a = 168. Is 966/a*56/3 a multiple of 12?
False
Let d = -1327 + 724. Let c = d - -890. Does 41 divide c?
True
Suppose x - 4 = -2*q, -5*x + 6 = -4*q - 0*q. Let g be ((-4)/14)/(((-10)/35)/x). Suppose 0*o + g*o = 48. Is 7 a factor of o?
False
Let f(g) = -g**2 - 6*g - 824. Let h be f(0). Let m = h + 1519. Is 17 a factor of m?
False
Is 50 a factor of -1 - 8817*2*(16 - 175/10)?
True
Is 24 a factor of 5156/(-5)*((-108)/8 + 1)?
False
Let a(u) = u**3 + 7*u**2 - 12*u - 5. Let y be a(-7). Let s = 368 + y. Is s a multiple of 43?
False
Suppose 32*d - 445744 - 937062 = 277898. Does 18 divide d?
False
Let k = 4775 + -2904. Does 4 divide k?
False
Let j(s) = -20*s + 51. Let d be j(2). Suppose 0 = 13*y + d*y - 8328. Does 30 divide y?
False
Suppose -3*t - 11*l + 11516 = 0, 3*t - 3*l = 15526 - 3898. Is 7 a factor of t?
False
Let c(r) = 634*r**2 - 7*r + 7. Suppose -f - h = -2*h + 1, 2*f - h = 0. Is c(f) a multiple of 27?
False
Suppose 0 = 5*v + 5*r - 231260, 4*v - 64038 - 121005 = r. Does 167 divide v?
True
Suppose w + 22181 = -2*f + 6*f, -3*f + w + 16637 = 0. Suppose 20*u = 12*u + f. Does 33 divide u?
True
Let h = -113 + 127. Does 9 divide ((-502)/8)/(-1) - h/(-56)?
True
Let b = -62 + 67. Suppose b*z + 2420 = 5*s, 4*s - 9*z - 1933 = -6*z. Is 11 a factor of s?
False
Suppose 4 = 5*x + a, 3*x - a = -0*a - 4. Suppose -3*w - 348 + 948 = 0. Suppose -2*b - 2*b + w = x. Is 50 a factor of b?
True
Does 15 divide (-32 + 2660/80)/(2/24)?
True
Let d(y) be the third derivative of y**5/5 - y**4/24 + 83*y**3/6 + 64*y**2. Is 14 a factor of d(-9)?
True
Is 12 a factor of 1*201*(-17)/(-510)*190?
False
Let f be 495/(-660) - 2/8*-27. Suppose -f*o + 1994 = -136. Is o a multiple of 9?
False
Suppose -7867332 - 4449232 = -689*l. Is l a multiple of 109?
True
Let l(y) = 10*y + 202. Let g be ((-231)/(-105))/((-1)/5). Is 4 a factor of l(g)?
True
Suppose -j - 20 = 3*y, 5*j = 2*j + 4*y - 34. Let u(h) = -8*h - 23. Let r be u(j). Suppose a - 2*a = -r. Is a a multiple of 12?
False
Is 12 a factor of (1286628/595)/(1/((-10)/(-3))) - -6?
False
Does 15 divide (10/15)/((-38)/(-125799))?
False
Let u be 1/(1/(-2) - 675/(-1338)). Suppose 4*f + u = -8*r + 9*r, 0 = -4*r - 4*f + 812. Is r a multiple of 47?
False
Let v be ((-13)/(-2) - 7)/(1/2). Is 16 a factor of v/((-5)/3620*4)?
False
Let b be -2*(0 + -1) - -49. Let w = b + -38. Let a = 2 + w. Does 3 divide a?
True
Let t(r) = -r**2 - 4*r - 4. Let w be t(-6). Let m = w + 26. Suppose 427 - 27 = m*z. Is 10 a factor of z?
True
Let c be 13/(26/(-420)) - 3 - -1. Let g = -440 - c. Is -6 + 4 - (g/3 - 1) a multiple of 15?
True
Let x(j) = j**3 + 10*j**2 + 10*j + 21. Let c(r) = -4*r + 34*r**2 + 22 - 71*r**2 + 36*r**2 - 7. Let z be c(3). Does 21 divide x(z)?
True
Let v = 76 + -70. Suppose 0 = v*p - 263 - 391. Is p a multiple of 35?
False
Let n = 22149 + -15884. Is 18 a factor of n?
False
Let v(l) = 5*l**2 + 139*l - 118. Does 65 divide v(-34)?
False
Suppose -23 = -g - 4*k, -k = -0*g + 2*g - 60. Suppose -6*b + g - 7 = 0. Does 42 divide 2/b + 2680/16?
True
Suppose -126*k - 4 = -127*k. Suppose 439 = k*m - z, -4*m + 2*z + 0*z = -434. Is 11 a factor of m?
False
Let a(c) = -3*c**2 + 9*c**3 + 4*c**2 + 57 - 2*c - 3*c**2 - 55. Let b be a(2). Suppose -3*w + 129 = -4*v, -5*v + b = w - 0*v. Does 8 divide w?
False
Let l(v) = -218*v - 739. Does 9 divide l(-29)?
False
Suppose -184*z = -143*z - 71586. Is z a multiple of 18?
True
Let h = 3463 - 707. Is h a multiple of 51?
False
Suppose 36*i - 31*i + 30 = 0, -2*x + i + 23166 = 0. Does 120 divide x?
False
Let m be 0 - 2*(-3)/(-6)*-1. Suppose b + 7*w - 187 = 5*w, -w = m. Is b a multiple of 27?
True
Does 6 divide (53516080/(-50))/(-43) + (-8)/(-10)?
False
Let i(p) = -2*p**2 + 5*p - 3. Let s be i(3). Let r be -2*12/(-16)*4/s. Let j(x) = 111*x**2 + 2*x + 1. Is 21 a factor of j(r)?
False
Let y(w) = w - 11. Let x be y(15). Let b be (1 - (x + -1)) + 0. Is -4*(-1)/1 + (-148)/b a multiple of 26?
True
Let h = -893 - -890. Is 74 a factor of