x. Suppose -252 = -2*a - n, 2*a + y*a - 2*n = 648. Is 35 a factor of a?
False
Let h be (-11)/(-33) - (-94)/6. Suppose 18*z = h*z + 80. Is z a multiple of 5?
True
Suppose -5*x = -0*x - 4*v - 7, 3*x - 2*v - 3 = 0. Let j be (x/5 - (-12)/10)*2. Is 25 a factor of 0/(-1) + 88/j?
False
Let q = 86 + -90. Does 18 divide (-12)/66 + ((-5856)/(-22) - q)?
True
Suppose -10*p + 5*p - t = 3214, p - 5*t = -648. Let y = 211 - p. Is y a multiple of 61?
True
Let x be 5290/(-7)*-1 + 2/7. Let z = x - -63. Is 91 a factor of z?
True
Let i(p) = p**3 - 17*p**2 - 34*p + 22. Let m be i(19). Let v = 2 + m. Is 6 a factor of v?
False
Is 10 a factor of 10 - 3/((-27)/9972)?
False
Suppose 130 = 11*x - 508. Suppose -2576 = x*t - 66*t. Is 18 a factor of t?
False
Let d(z) = z**2 + 26*z - 13. Let a be d(-34). Suppose 4*j - 2*o = 946, 3*j - 2*j + 4*o - a = 0. Is 19 a factor of j?
False
Suppose -66*d + 537350 + 1530274 = 545*d. Is d a multiple of 4?
True
Suppose -10*k - 23*k = -6*k - 356481. Is k a multiple of 163?
True
Suppose 3*t + i + i = 6, -2*t + 2*i = -4. Suppose -t*f = k - 9, -2*f + 4 = -4*k - 0*k. Suppose 4*p - 308 = -f*n, 2*n = 6*p - 2*p + 172. Is n a multiple of 10?
True
Suppose -4*l - 19 = -w, -5*w - 3*l - 2*l - 5 = 0. Suppose -5*i - 2*m = -895, 0 = 2*i - m - w*m - 382. Does 53 divide i?
False
Suppose 0 = -4*z + 1214 + 6046. Suppose -7*p + 117 = -z. Is 46 a factor of p?
True
Suppose 4*t + 2*v - 2350 = -744, -2*t + 3*v + 823 = 0. Suppose -j + 0*j + 394 = -5*a, -3*a = -j + t. Is 13 a factor of j?
False
Suppose 6*o - 14 = 10. Suppose 7 = -o*r - 153. Let n = -16 - r. Is n a multiple of 8?
True
Suppose 8*x - 30 = 5*n + 4*x, 5*n - 3*x = -30. Is 9 a factor of 225 + -4 + (-5 - n)?
False
Let t(n) = -149*n + 78. Let i be t(-20). Suppose -25*g + i = -767. Does 9 divide g?
True
Let c(f) = 153*f + 138. Let v(n) = 5*n - 1. Let r(q) = c(q) - 6*v(q). Does 15 divide r(4)?
False
Let x(h) = -2*h**2 + 0*h**2 - 4*h + 12*h + 12*h**2 - 65. Is x(5) a multiple of 26?
False
Does 6 divide ((-36)/10)/(1208/(-400) + 3)?
True
Suppose -5*g + 3 - 6 = 4*j, -3*j = -3*g + 9. Let k be ((-59)/3 - g) + 1/(-3). Let d = k + 39. Is d a multiple of 13?
False
Suppose 0 = -2*m + 9474 + 19044. Is 201 a factor of m?
False
Let v(p) = -20*p - 37. Let u be v(5). Let a = u + 157. Does 4 divide a?
True
Let v(t) = 8*t - 88. Let r(q) = 4*q - 45. Let g(x) = -5*r(x) + 3*v(x). Is g(12) a multiple of 9?
True
Let o(i) = 108*i + 19. Let v be o(-2). Let q = v - -421. Is q a multiple of 14?
True
Let g = -315 - -568. Let s = g + -236. Is 11 a factor of s?
False
Let g(l) = -424*l - 11. Let i be g(-1). Suppose -3*k + 442 + i = 0. Is k a multiple of 20?
False
Suppose 6*c - 9*c + 43155 = 0. Does 15 divide c?
True
Suppose -39 = 3*x + 24. Let d be 6/(-3)*x/(-6). Let o(v) = v**2 + 3*v - 9. Is 19 a factor of o(d)?
True
Let s(l) be the third derivative of l**6/120 - 7*l**5/30 + 7*l**4/12 - 3*l**3/2 - 9*l**2. Let u be s(13). Suppose 8*f - u*f = 132. Is f a multiple of 25?
False
Suppose -22*a = -6802 - 27782. Is 49 a factor of a?
False
Let q be ((-243)/(-4))/(1*6/24). Let t = q + -183. Is t a multiple of 2?
True
Does 19 divide (-321870)/(-14) + (-155)/217?
True
Let m = 27064 - 24571. Is m a multiple of 9?
True
Suppose 4*h - 106 = -26. Let a = 36 - h. Suppose 4*t = a, 5*y - 2*t - 259 = 2*t. Is 4 a factor of y?
False
Let u(q) = 10*q**2 - 10*q + 17. Let g be u(3). Let x = g + -44. Suppose -97 = -2*y - x. Is y a multiple of 4?
True
Suppose -v - 34 = 3*v - 2*j, 3*v + 5*j = -6. Let n = 1 + v. Is (-3*7)/(n - 82/(-14)) a multiple of 20?
False
Let y(k) = 4*k - 3. Let f be y(2). Suppose -59 + 224 = -f*j. Let d = -6 - j. Is 11 a factor of d?
False
Suppose -154*y + 160*y = -4560. Let p = y - -1466. Is 14 a factor of p?
False
Let k(s) be the first derivative of -2*s**2 - 34*s - 20. Let j be k(-10). Suppose j*o - 3*o = 180. Is o a multiple of 6?
True
Suppose p + 0*p - 25 = 0. Suppose 2*u - 3*y - p = 15, -5*y + 50 = 5*u. Suppose -u*q - 66 = -15*q. Does 22 divide q?
True
Suppose 0 = 3*h + 5*f - 66, -38 = -3*h + f + 10. Let i be (-3)/(6/(-236)) + h + -15. Let a = 244 - i. Is a a multiple of 6?
False
Let a be ((-10)/20)/(3 + (-57)/18). Let z(x) = 3*x**3 - x**2 - 2*x - 3. Is 10 a factor of z(a)?
False
Suppose 0 = 50*l - 22310 - 113790. Is l a multiple of 6?
False
Is 10 a factor of 6161 + 2 + 1 - (105 + -112)?
False
Suppose -3*c - 3*h + 639 = -363, 1337 = 4*c + 5*h. Let d = c + 97. Is d a multiple of 10?
True
Let y(d) = -8*d**3 - d**2 - 31*d - 32. Is y(-6) a multiple of 71?
True
Suppose -k - 3*i + 46 = 0, k - i - 50 = -0*k. Let d = -47 + k. Suppose 11*z - d*z - 666 = 0. Is 22 a factor of z?
False
Let q be 59/(-9 - -16 - 6). Let x be 12/16 - 494/8. Let g = q - x. Is 24 a factor of g?
True
Suppose 95*g - 990 - 10695 = 0. Is g a multiple of 2?
False
Is 7165028/9761 - (-2)/(-43) a multiple of 22?
False
Let j = 114 + -177. Let m = j + -92. Let x = 307 + m. Is x a multiple of 19?
True
Let q(k) = k**3 - 9*k**2 + 19*k - 2. Let y(l) = -l**3 + l**2 - 6*l. Let m(t) = q(t) + 3*y(t). Let g be (10/6)/(3/(-9)). Is 19 a factor of m(g)?
False
Let l(j) = 19*j**2 + 11*j + 87. Is l(13) a multiple of 2?
False
Suppose 2*v + 3*b + 1401 = 6*v, 0 = v + 5*b - 333. Let n = -168 + v. Does 15 divide n?
True
Let b(a) = -a**2 - a - 1. Let l be b(0). Does 29 divide ((-2132)/(-123))/((-8)/(-6) + l)?
False
Let k(n) = n**3 + 14*n**2 - 204*n - 100. Is k(29) a multiple of 13?
True
Let j = -62 - -66. Let o(p) = -1 + 7*p - 10*p - 1 + 3*p**2 + j*p. Is 32 a factor of o(4)?
False
Let u = 6022 + -3314. Is 13 a factor of u?
False
Suppose 261*v + 402701 - 129981 = 275*v. Is 10 a factor of v?
True
Is 30 a factor of 22/((-88)/(-15))*2728?
True
Suppose 125 = -b + 328. Suppose 2*d = 8, 3*g - 2*g + d = b. Suppose 1431 = 8*m + g. Is 7 a factor of m?
True
Suppose -2*u + 24658 = 4*o, 0 = 5*u - 6*o - 31233 - 30508. Does 41 divide u?
True
Let q(i) = 2*i**3 + i. Let f be q(2). Let w be 9/(f/(-4)) - -82. Suppose -z - w = -3*z. Is z a multiple of 10?
True
Let g(q) = -2*q**3 - 17*q**2 + 25*q - 20. Let a be -2*((-435)/(-70) + 2/7). Does 12 divide g(a)?
True
Suppose 4*h - 23892 = -4*u + 269732, -293576 = -4*h + 4*u. Is h a multiple of 25?
True
Suppose u + 4 = 0, 188*d - 186*d + 4*u - 2988 = 0. Is d a multiple of 35?
False
Let g = -14 - -17. Let m be (2/(-2) - -1)*g/(-3). Suppose m*u = -3*u + 327. Is u a multiple of 21?
False
Let z = -42181 + 44862. Does 31 divide z?
False
Let q(i) = -i**3 - 10*i**2 + 12. Let j be q(-10). Let m be (60/(-21) - -2)/(j/(-56)). Suppose -15*n + m*n = -352. Is 8 a factor of n?
True
Suppose 3*l - 4*f - 995 = 0, 3*l = -1883*f + 1882*f + 985. Is l a multiple of 12?
False
Suppose -6143*o + 6137*o = -20472. Is 7 a factor of o?
False
Suppose 193*i - 63661 = 180*i. Suppose -5*g - i = -5*j - 1642, -j - 2*g = -648. Is j a multiple of 12?
False
Suppose -88*k - 23*k + 1158507 = 0. Is 213 a factor of k?
True
Suppose 0 = 5*b + 3*u - 19, 2 = -13*b + 15*b + 4*u. Let y(l) = -39*l - 22. Let z(m) = -38*m - 22. Let d(q) = 3*y(q) - 4*z(q). Is 22 a factor of d(b)?
False
Is 72 a factor of (-1471)/((-1125)/100 + 11/1)?
False
Let v be (6/(-9))/(2/(-18)). Is 18 a factor of (4*-6)/(v/(-63))?
True
Does 18 divide (7/3 - 0) + 7199203/501?
False
Let m(q) = 5*q - 13. Let b be m(3). Suppose 2*u - 178 = 4*o, 4*u - o - b*o = 346. Suppose -4*i + 5*z + 125 = 0, 3*z - u = -2*i - 2*z. Is i a multiple of 6?
False
Does 96 divide (-3136)/(-42)*(3 + (-30)/(-14))?
True
Let g(w) = w**3 - 19*w**2 - 2*w + 16. Let f be g(19). Let l = 20 + f. Does 7 divide (l + (-141)/(-12))*4?
False
Let r = 1472 + 5583. Is 12 a factor of r?
False
Let i(d) = -11*d**3 - 22*d**2 - 33*d - 386. Does 94 divide i(-13)?
True
Suppose 0 = -5*n + 10, -4*n - 349 = 3*h - 6*n. Let d = 118 + h. Let g(y) = 2*y**3 - 5*y**2 + y + 5. Does 5 divide g(d)?
False
Let t(z) = 3*z**3 + z**2 + 4*z + 6. Suppose 0 = -12*l + 6*l + 30. Let f be t(l). Let i = f - 240. Does 42 divide i?
False
Let k(p) be the second derivative of -5*p**3/6 + 86*p**2 + 84*p - 2. Is 9 a factor of k(29)?
True
Let i = -38204 + 80330. Does 59 divide i?
True
Let n(p) = -4*p - 18. Let i be n(-5). Let u = 53 + i. Does 19 divide u?
False
Suppose -56*x + 8 = -52*x. Is 64768/240 - x/(-15) a multiple of 15?
True
Let a = 6687 + -2778. Does 6 divide a?
False
Let z(a) = -40*a**3 + 3*a**2 + 5*a + 14. Is z(-3) a multiple