t x be u(5). Suppose x*j - j + 21 = 0. Let q(g) = -g**2 - 8*g + 6. Is q(j) a multiple of 13?
True
Suppose 772*a = 769*a + 195. Does 2 divide a?
False
Suppose 5*v = -p + 48, -5*v - p + 2*p = -52. Suppose -116 + v = -2*i. Let r = -35 + i. Is 18 a factor of r?
True
Let q(v) = 6*v + 46. Let p = 11 - 15. Let f(z) = z - 1. Let l(x) = p*f(x) + q(x). Does 13 divide l(0)?
False
Let g(c) = c**3 - 7*c**2 - 2*c + 7. Let d(m) = -6*m**3 + 1. Let x be d(-1). Let t be g(x). Does 16 divide ((-72)/t)/((-12)/(-56))?
True
Suppose 0 = -2*s + 3*s - 5. Suppose s*b = 5*w + 350, -2*b + 362 = 3*b - 2*w. Is b a multiple of 7?
False
Let z(y) = -y**2 + y + 4. Let v be z(2). Suppose v*r + 64 = 6*r. Does 4 divide r?
True
Let m(i) = i**3 + 10*i**2 + 5*i + 6. Let g be m(-9). Suppose -42 = -3*t - 4*n + 7*n, 0 = -3*t + 2*n + g. Suppose -4*z + t = -30. Is 9 a factor of z?
False
Let u = -418 - -810. Is 14 a factor of u?
True
Suppose -3 - 27 = -5*c. Suppose -c*p = -7*p - 13. Let a(k) = k**2 + 10*k - 18. Is a(p) a multiple of 17?
False
Let g(r) = -r**3 - 7*r**2 - 3*r - 13. Let q be g(-7). Let o(l) = -l**2 + 11*l - 16. Is o(q) a multiple of 4?
True
Suppose -4*h + 4*o = -5*h + 189, 0 = h + 5*o - 190. Does 3 divide h?
False
Let b(d) = -d**3 - 4*d**2 + 4*d - 12. Let r be b(-5). Does 23 divide 1*((219 - -1) + (r - -10))?
False
Suppose 59 = 2*s + 59. Suppose s = -3*o + 320 - 44. Is 46 a factor of o?
True
Suppose 5*d = 3*a + 15129, 2*d - 3*a = 1892 + 4156. Does 55 divide d?
False
Let y = 280 - 262. Is 3 a factor of y?
True
Let b = -25 + 28. Let t = b - -1. Suppose 8 = -t*u, x - u - 1 = 3. Is x a multiple of 2?
True
Suppose -2*n + 2*m + 844 = 0, 253 - 1521 = -3*n + 4*m. Is 6 a factor of n?
True
Let d(v) = -v**2 + 55*v + 100. Is 25 a factor of d(20)?
True
Let h(m) = -m**2 - 9*m - 12. Let s be h(-5). Let v be (s/4)/((-4)/(-14)). Suppose -v*d = -d - 24. Is 4 a factor of d?
True
Let v(i) = -i + 1. Let z(t) = 18*t - 16. Let b(d) = -80*v(d) - 5*z(d). Is 38 a factor of b(-19)?
True
Let b(d) = 2*d**3 + 14*d**2 + 13*d + 7. Let y be b(-6). Let p(n) = 21*n**3 + 3*n**2 - 2. Does 6 divide p(y)?
False
Suppose -5*k - 2*c - 8 = 0, 0 = 3*k - 2*c - 10 + 2. Suppose k = y - 4 + 29. Let s = y + 41. Is 16 a factor of s?
True
Suppose 3 = -3*g + 21. Let i(b) = b - 6. Let v be i(g). Suppose -3*j + 75 = 2*l, -4*l - 2*j + 4*j + 142 = v. Is l a multiple of 11?
False
Suppose -2*l + 4 = o, 0*o + 2*o = 4*l + 16. Suppose -c = -o*c. Suppose c = -0*v - 3*v + 5*y + 200, 0 = v + y - 56. Is 20 a factor of v?
True
Let n(c) = 298*c**2 - 12*c. Does 9 divide n(-3)?
True
Let o(c) = -12*c - 2 + 13 - c**2 - 7. Is 6 a factor of o(-10)?
True
Let z = -17 - 76. Is (-9 - z)/((-6)/(-4)) a multiple of 11?
False
Suppose 8*x - 2866 - 2750 = 0. Does 13 divide x?
True
Let u = -210 + 1122. Does 57 divide u?
True
Suppose 96 = -4*i + 24. Does 11 divide (66/9)/((-2)/i)?
True
Suppose 10*k = 2*k + 4560. Let z = k - 363. Is 44 a factor of z?
False
Let q(a) be the second derivative of 39*a**3/2 + a. Let v be q(1). Let j = v + -63. Is 27 a factor of j?
True
Suppose 2*i - 7*i - 3*f - 270 = 0, 4*f = 0. Let h = i - -92. Does 19 divide h?
True
Suppose 2*i - 5*d - 2048 = 2307, i + 5*d - 2215 = 0. Is 48 a factor of i?
False
Suppose 99960 = 130*x - 81*x. Does 12 divide x?
True
Does 14 divide (6 + (-7)/(84/(-544)))*24?
True
Let o be (-2)/(-3)*60/10. Suppose g - 110 = -o*g. Is g a multiple of 21?
False
Let w(k) = 126*k + 7. Let d be w(6). Let x = d + 206. Is 21 a factor of 9/36 - x/(-12)?
False
Suppose 4*i - 85 = -17. Let z = -15 + i. Suppose 3*y = 3*n + 84, -z*n = -4*y - y + 146. Does 10 divide y?
True
Suppose -5*i - 12 = 2*l, -l = i + 3*i + 6. Let w be l/9 - (-6)/9. Suppose -4*h + 3*d = -146, w = 4*h - 2*d - 16 - 132. Does 19 divide h?
True
Suppose -5*o + 7*o = -3*r + 2086, 0 = -3*r + 2*o + 2102. Is 29 a factor of r?
False
Let j(d) = d**2 + 7 + 3*d + 3*d**2 - 3*d**2 + d. Is 12 a factor of j(-5)?
True
Let a(j) = -16*j - 1. Let g be a(-3). Let f = g + -37. Is f a multiple of 2?
True
Let h(w) = -4*w**3 + 4*w**2 - 9*w - 15. Is 21 a factor of h(-5)?
True
Let i = -18 - -20. Let b(u) = 13 - 9 - 4 + 6*u. Is 4 a factor of b(i)?
True
Suppose 4*n + 2936 = 4*u, -n + 984 + 472 = 2*u. Is u a multiple of 25?
False
Does 5 divide 312 + (11 - (-18)/(-6))?
True
Let f = -5 - -7. Let u be (-2)/4*(-42)/(-7). Is (f - 0) + (-48)/u a multiple of 18?
True
Suppose 272 = -x + 3*x + 5*o, o - 382 = -3*x. Does 4 divide x?
False
Let p = 126 + -78. Suppose b = 3*b - p. Does 6 divide b?
True
Let a be (-3 - -3 - 2) + -1. Let v be 4 - a/(-3) - -1. Suppose 0 = v*n - n + 3*p - 30, 4*p = -5*n + 52. Is 5 a factor of n?
False
Let t(l) = -l**3 - 5*l**2 + 12*l + 21. Let f be t(-6). Let r = f + 33. Is r a multiple of 5?
False
Suppose -n + 5*z + 133 = -31, 4*n - 626 = 5*z. Is 3 a factor of n?
False
Suppose 2*g - 90 = 18. Let t = g - 34. Is 5 a factor of t?
True
Let k(f) = 12*f - 4. Let x be k(3). Let s = x - 29. Suppose -s*n + 2*r + 275 = -0*r, 3*n - r - 277 = 0. Does 13 divide n?
False
Let g = 871 + -522. Suppose 5*u - 2*v - 900 = 0, 541 + g = 5*u - 4*v. Is u a multiple of 26?
True
Suppose 227 = r + 4*h - 8*h, r - h - 212 = 0. Is r a multiple of 16?
False
Suppose 0 = u - 3*m - 2762, 0 = 5*u + 23*m - 21*m - 13895. Is u a multiple of 54?
False
Let u be (0 + 2)/1*9. Suppose 293 - u = 5*r. Suppose 2*g = 13 + r. Does 8 divide g?
False
Let s be (-6 - -9) + (-2 + 1)*11. Is s/32 + 537/4 a multiple of 12?
False
Let i(z) = 4*z - 58. Let j be i(16). Suppose j*w - 2*w = 100. Is 2 a factor of w?
False
Let a(v) be the first derivative of -v**4/4 - 13*v**3/3 + 15*v**2/2 - 14*v + 6. Let k be a(-14). Let h = 53 + k. Is h a multiple of 25?
True
Suppose 10*n + 3 + 7 = 0. Let w(r) = -37*r**3 - 2*r**2 + 1. Is w(n) a multiple of 3?
True
Suppose 29*m - 60*m + 11532 = 0. Does 31 divide m?
True
Let b(k) = 2*k - 4. Let l be b(8). Let o = l - 13. Is 42 + o + (3 - 4) a multiple of 30?
False
Let h(p) = p**3 + 2*p**2 - p. Let v be 1 + (-1 - 1) - -2. Let q be h(v). Suppose y + q*t - 37 = 0, 4*t + 19 - 60 = -y. Is 13 a factor of y?
False
Let s = -4 + 14. Let y be (36/s)/((-4)/(-30)). Is y + 6*(-4)/(-8) a multiple of 6?
True
Suppose -14*f + 16*f - 6 = 0. Suppose 0 = 3*k - k - 42. Is 22 a factor of k + f/((-3)/(-1))?
True
Let t(o) = -o**3 + 4*o**2 - 3*o. Let i be t(2). Suppose 2*j = u - 104 + 19, 5*j + 210 = i*u. Is 3*(j/6)/(-1) a multiple of 6?
False
Suppose -2*a + 6 = 0, a + 0*a = -4*o + 587. Is 9 a factor of o?
False
Let t be (90/21)/((-1)/7). Let n be 40/t*(-6)/4. Suppose 5*u = n*u + 108. Does 18 divide u?
True
Let l = -1179 - -2187. Is 36 a factor of l?
True
Is (692 - -37) + (0 - 7) a multiple of 18?
False
Let v = -110 - -48. Let m = 246 + -126. Let y = v + m. Does 29 divide y?
True
Let o = 4940 + -3129. Is 16 a factor of o?
False
Suppose -3*k = 15 - 54. Suppose -3*m + k = 5*u, m + 2*m + 3*u = 15. Is m a multiple of 6?
True
Suppose 4*d - 1312 = -0*d. Suppose x - 363 = -4*l - 19, -4*l = 5*x - d. Does 29 divide l?
True
Let o = -4 - -10. Suppose l = -o*l + 105. Does 15 divide l?
True
Does 5 divide 10/25 + (-1218)/(-5)?
False
Let o be 1/4*(-2 - -6). Let g(n) = -23*n + 3. Let m(h) = -34*h + 4. Let w(t) = 7*g(t) - 5*m(t). Is w(o) a multiple of 3?
False
Let n(k) = 0*k**3 - 4*k**3 - 2*k**2 + 3 + 3*k**3 - 2*k + 3*k**3. Let l be n(2). Let r = 23 - l. Is r a multiple of 6?
False
Let y(m) = 80*m - 56. Is y(2) a multiple of 13?
True
Suppose 2*o - 2 = 0, -3*d = d - 3*o + 11. Let h(f) = f**3. Let w(b) = -8*b**3 - b**2 + b. Let c(p) = 10*h(p) + 2*w(p). Is c(d) a multiple of 9?
True
Let i(n) = n**3 + 10*n**2 - 12*n - 6. Let r be i(-11). Suppose -4*a = -3*f - 1, -2 + 1 = r*a - 3*f. Does 7 divide (72 + a)*(-2)/(-5)?
True
Let t = -120 - -50. Let q = -21 - t. Is q a multiple of 7?
True
Let m = 138 + -82. Let l = m - 48. Is l a multiple of 4?
True
Is 30 a factor of 6/((-810)/(-48447)) + (-2)/(-15)?
False
Let a(i) = 1429*i - 23. Is a(2) a multiple of 16?
False
Let z = -112 + 134. Is 3 a factor of z?
False
Let m = 18 - -136. Suppose o - m = c, 3*c - 303 = 3*o - 5*o. Is o a multiple of 17?
True
Suppose 1971 = 17*d + 33. Is 6 a factor of d?
True
Let a(m) be the third derivative of m**7/2520 - m**6/120 - 3*m**5/40 + m**4/6 - 4*m**2. Let z(w) be the second derivative of a(w). Is 3 a factor of z(8)?
False
Let z = 192 - 2. Is 11 a factor of z?
False
Suppo