ose 0 = -2*y - 4*q + n*q + 136, 2*y = -t*q + 120. Is y a multiple of 27?
False
Does 13 divide 4517/8 - 7*51/(-952)?
False
Let n(g) = -g**2 + 2*g. Suppose 0*a = 5*a - 5. Let z be n(a). Is 3 a factor of (-9)/(-1) - (z - 2)?
False
Is (120/100)/(6/1000) a multiple of 8?
True
Let m(c) = 3*c**3 + 2*c**2 + c - 13. Let t(x) = -x**3 + x**2 + 1. Let g(y) = -m(y) - 5*t(y). Let l be g(5). Suppose -4*a + 6*a = l. Is a a multiple of 7?
False
Let y = 8 - 5. Suppose 0 = -0*u + y*u + 156. Let b = u + 88. Does 18 divide b?
True
Suppose 5*v = 2*z - 3 - 16, 3*v = -3*z - 24. Let k be z + -5 - 2/1. Let c(b) = -5*b - 17. Does 11 divide c(k)?
True
Suppose -2 = v - 9. Let f = -37 - -151. Suppose -v*p = -p - f. Does 17 divide p?
False
Suppose -3*t + w = -1572, -3*w = -3*t - 0*w + 1566. Is 53 a factor of t?
False
Let i = 45 + -39. Suppose 5*r + i*r = 264. Does 14 divide r?
False
Let x = 11 - 5. Suppose -2*c - 2*n + 70 = 0, 3*n - 126 - 12 = -4*c. Suppose 3*b + 47 = 5*v, -3*v + x*v - c = -3*b. Does 6 divide v?
False
Let m(k) = -49*k + 19*k + 92*k**2 + 13*k + 16*k. Is m(1) a multiple of 13?
True
Let w(y) = -13*y - 13. Let i(g) = 77*g + 133. Let b(m) = 7*m + 12. Let p(j) = 56*b(j) - 5*i(j). Let l(t) = -5*p(t) - 3*w(t). Is l(5) a multiple of 24?
True
Suppose 2*a = -6, -58 - 434 = -o - a. Is 58 a factor of o?
False
Let u be (-140)/21*(-6)/4. Let t(f) = -4*f**2 - u*f - 3 + 9 + 5*f**2. Is t(10) a multiple of 6?
True
Let y(f) = -f**3 - 3*f**2 - 3*f + 3. Let u be y(-3). Suppose 0*h + u = 6*h. Suppose -h*n + 39 + 1 = 0. Is 8 a factor of n?
False
Suppose 2*s + 5*p - 271 = 230, -s + 245 = -3*p. Suppose -s = -9*j - 5. Is j a multiple of 4?
False
Suppose 6 = -r - 2*r. Is r*1/((-6)/123) a multiple of 9?
False
Let a be 1/5 - (-264)/30. Suppose -3*m - 4*i = -3, -a - 16 = -2*m + 5*i. Suppose m*c = -3*s + 24, 0 = 5*s - 5*c - 15 - 25. Is s even?
True
Suppose -34 = -10*g + 8*g. Suppose -2*f + g = 3*s, 0*f + 4*s - 24 = -3*f. Is 3 a factor of f?
False
Let p be (-8)/(-6) + 4/6. Suppose 0 = 6*b - p*b, 3*a - 6 = 4*b. Suppose 0 = -a*q + 182 - 26. Does 26 divide q?
True
Let u = 3487 - 2582. Is u a multiple of 36?
False
Let y be ((-4)/4)/(3/(-12)). Let i(b) = -b**3 + 6*b**2 - 17*b - 9. Let h(p) = p**3 - 7*p**2 + 16*p + 8. Let r(s) = y*i(s) + 5*h(s). Is 12 a factor of r(10)?
True
Let v be 1/(-3) - (-2)/(-3). Does 26 divide (-1085)/(-14) + (-1)/(v*2)?
True
Suppose 1 + 43 = -4*j. Let a be 240/110 + 2/j. Let b = a + 17. Is b a multiple of 18?
False
Let a be 346/(-10) - 4/10. Suppose -2*q = x + 1, -2*x + 2*q - 2 = 6. Does 12 divide 3 + -5 - x - a?
True
Suppose -1616 = -4*o + 4*x, -6*o + 2036 = -o - x. Does 8 divide o?
True
Suppose -5*q - 15 = -h, -h + 0*h + 13 = -4*q. Suppose -j - 128 = -h*j. Does 4 divide j?
True
Suppose 27*v - 37*v = -13800. Is 15 a factor of v?
True
Suppose 2*i + m = 114, 3*m - 14 = 2*i - 136. Is 7 a factor of i?
False
Does 2 divide -2*((-13 - -4) + 7)?
True
Let n be 44/3 + (-2)/3. Suppose 2*y + l = 7, y - l + 5*l - n = 0. Suppose y*o + 32 = 4*p, -5*p + o + 7 = -36. Is 2 a factor of p?
False
Let t = 43 + -33. Let j(q) = 3*q**2 - 16*q + 22. Is 18 a factor of j(t)?
True
Suppose -4*r - d + 478 = 0, 3*r + 3*d - 364 = 5*d. Let g be ((-18)/(-3))/((-2)/(-3)). Suppose -4*u = -4*q - r, -g = u + 3*q - 47. Does 8 divide u?
True
Let m = 62 + -60. Suppose 63 = -f + 5*k + 207, m*f - 3*k - 288 = 0. Is f a multiple of 24?
True
Let n = -15 + 27. Let j = -24 - -41. Let w = j - n. Is w a multiple of 2?
False
Is 22 a factor of 426/2 - ((-72)/(-6) + -7)?
False
Let q be (-4)/(-18) + (-19856)/(-72). Is (-20)/(-6)*q/10 a multiple of 23?
True
Suppose k - 187 = -r, 2*r + 199 = 3*r - 3*k. Suppose -2*l + r = 54. Is l a multiple of 14?
False
Suppose -3*h = -5*h - 5*n - 23, 2*n + 2 = h. Let g be 2 + (h - 1) + 0. Is 11*(-1 - (g - -1)) a multiple of 11?
True
Let a(k) = 232*k + 24. Is a(1) a multiple of 56?
False
Let t(h) = -3*h. Let o(l) = l**3 + 7*l**2 + 6*l - 1. Let i be o(-6). Let p be t(i). Suppose -p*y - 33 = -168. Is y a multiple of 9?
True
Suppose -5 = -x - 2. Suppose -4*k - 3 = o - x*k, 5*o - 2*k = -15. Is 10 a factor of ((-8)/o)/((-12)/(-234))?
False
Is (-96)/80*(-21435)/6 a multiple of 132?
False
Does 24 divide 63/14*284 + -6?
True
Let t(s) = 105*s - 1. Is 13 a factor of t(1)?
True
Suppose 9*m - 23743 + 8425 = 0. Is m a multiple of 46?
True
Suppose 0 = -8*k + 7*k - 4, -2468 = -4*i + 2*k. Does 6 divide i?
False
Let u(i) = 20*i - 257. Is u(13) a multiple of 3?
True
Suppose 0 = -25*f + 24*f - 2*l + 960, 0 = 3*f - 2*l - 2848. Is 37 a factor of f?
False
Let a = -1104 - -1845. Does 39 divide a?
True
Is (38/(-5))/(12/(-1080)) a multiple of 4?
True
Let n(t) = t**2 - 22*t + 31. Let f be n(10). Let l = f + 127. Is 5 a factor of l?
False
Suppose 0 = 25*u - 37*u + 9072. Is u a multiple of 35?
False
Is 1 + (-40)/24 - 16575/(-9) a multiple of 38?
False
Let u be ((3 - -8) + 2)*(6 + -5). Suppose -n + 2 = -3*n, -2*n = 3*p - u. Is 5 a factor of p?
True
Let j = -56 + 42. Is (-1 + j/4)*44/(-3) a multiple of 11?
True
Suppose -3*w - 43 = 20. Let k be (w/6)/((-4)/88). Let q = k - 14. Is q a multiple of 23?
False
Suppose 5*u - 16 = -46. Is 9 a factor of (14/u)/((-3)/45)?
False
Let i be (30/18)/(4/(-288)*-4). Is 20 a factor of -3 + 85/i - (-242)/12?
True
Let q = 1 + 3. Suppose 0 = -q*w + 127 + 493. Suppose 5*i = 5*p + w, 4*p - 97 - 10 = -3*i. Is i a multiple of 9?
False
Suppose -p - 8 = -15. Let k be 24/p + (-8)/(-14). Suppose x = -5*a + 33, 10 - 2 = -k*a. Is 11 a factor of x?
False
Let f(x) = -x**3 + 3*x**2 + 12*x - 12. Let a be f(5). Is (a + 62)/(-1 + 2) a multiple of 8?
False
Let b(j) = -j**3 + 26*j**2 + 34*j - 143. Is 9 a factor of b(27)?
False
Let j = -23 + 28. Suppose j*r - 92 = -3*i, -4*i = -4*r - r + 64. Is 16 a factor of r?
True
Let n = 89 - 38. Let a = n - 9. Is a a multiple of 14?
True
Let c = 262 - 51. Let m = c - 118. Is 28 a factor of m?
False
Let t be ((-2)/6)/(30/540). Let c(v) = -2*v**3 - 6*v**2 + v + 4. Is 12 a factor of c(t)?
False
Suppose -9 = -3*r + 6*r. Let h be (-22)/(-7) - r/(-21). Suppose 5*i = -d + 8, -h*i = -4*i - 4*d - 6. Is i a multiple of 2?
True
Let q(s) = -s**3 + 19*s**2 - 16*s + 4. Let m be q(18). Suppose -m = -39*f + 37*f. Is f a multiple of 20?
True
Let m(k) be the second derivative of 3*k**3/2 - 3*k**2 - 86*k - 1. Let c(f) = -2*f - 9. Let l be c(-6). Is m(l) a multiple of 6?
False
Suppose 5 = -h + 12. Let i be ((-44)/h)/(4/(-14)). Let u = -1 + i. Is u a multiple of 4?
False
Suppose -9 + 24 = 5*l. Suppose 55 = 3*q - 6*g + g, 35 = 5*q + l*g. Does 4 divide q?
False
Let m(o) = -o - 2. Let c be m(-6). Suppose c*b + 61 = -55. Is 9 a factor of (-18)/9 - (0 + b)?
True
Let a(r) = -r - 3. Let c be a(-9). Let x(v) = 2*v**3 - 8*v**2 - v + 13. Let h(t) = t**3 - 4*t**2 - t + 6. Let n(d) = 5*h(d) - 2*x(d). Is 29 a factor of n(c)?
True
Let c = 131 + -72. Let l be 1/(4/(0 + 8)). Does 12 divide (0 - c)*-1 - l?
False
Suppose 0 = 5*g + 3*g + 24. Is g/(-7) - (-151)/7 a multiple of 22?
True
Suppose -12*f = 2417 - 7937. Is f a multiple of 20?
True
Suppose 0 = -3*r - s + 458, 4*s - 420 - 341 = -5*r. Is 11 a factor of r?
False
Let j(g) = 2*g - 4. Let m be j(-2). Let b = -6 - m. Does 15 divide 1 - ((-34)/b + 3)?
True
Suppose -9*a + 10 = -26. Suppose 0*z = -3*w - 3*z + 447, -a = -z. Does 29 divide w?
True
Let r = 734 + -328. Is r a multiple of 29?
True
Suppose -4*g - 43 = -0*g - s, g - 2*s + 16 = 0. Let t(n) = -n**3 - 8*n**2 + 13*n + 8. Is t(g) a multiple of 6?
True
Let x(r) = 2*r**3 - 22*r**2 + 67*r - 4. Is x(5) a multiple of 30?
False
Let k(x) = 15*x**3 - x + 1. Let a be k(1). Suppose -5*m + 15 = -f + 36, a = 3*f - 3*m. Does 16 divide 3*f/(6/32)?
True
Let d = 1037 + -442. Is 27 a factor of d?
False
Suppose -l - 4*h - h = -17, -5*l = -h + 45. Let q(u) = -29*u - 32. Is 40 a factor of q(l)?
True
Let g(t) = -t**2 - 15*t + 3. Let z be g(-9). Let k = z + -99. Does 16 divide 12/(k/16 + 3)?
True
Let k(f) = -40*f + 15. Let q(m) = 119*m - 44. Let x(i) = 11*k(i) + 4*q(i). Does 37 divide x(3)?
False
Let b = 489 + 41. Is b a multiple of 10?
True
Let s(i) = 5*i**2 - 10*i + 6. Let m(t) = 5 + 2*t**2 + 4*t**2 + 1 + 0*t**2 - 11*t. Let f(z) = -4*m(z) + 5*s(z). Is f(8) a multiple of 21?
False
Let x = 5 + -11. Let f be (15/6)/((-3)/x). Suppose -45 = -f*q + 80. Does 8 divide q?
False
Let y(i) = i**3 - 7*i**2 - 11*i + 4. Suppose 7*s + 0*