Suppose -p - 3 = -y. Let w(h) = -h**3 + 3*h**2 - 2*h + 4. Is w(p) a multiple of 16?
True
Suppose -5*c = -4*c - 20. Suppose 2*d - c - 64 = 0. Let r = -17 + d. Does 14 divide r?
False
Suppose 2*p = -4, -13*h + 8*h + 3774 = 3*p. Is h a multiple of 8?
False
Let u(o) = o**3 - 20*o**2 + 36*o + 2. Let f be u(18). Suppose 251 = f*t - 63. Does 15 divide t?
False
Does 3 divide -22*(-58)/12 - (-4)/6?
False
Let u(k) = k**3 + 2*k**2 - k - 3. Let i be u(-2). Is ((-1)/(-2))/((1/i)/(-194)) a multiple of 6?
False
Let k = 138 + 34. Suppose 4*f = -z + k, 4*f = 3*z - z - 404. Suppose 4*b - z = 5*n, 2*b = -2*b - 3*n + 192. Is b a multiple of 12?
True
Let n = 8464 + -5134. Suppose -12*v + 3*v + n = 0. Is 37 a factor of v?
True
Let o(r) = r**2 + 2. Let m be o(0). Suppose -2*v + 0 - m = 0. Let n(w) = 50*w**2 - 2*w - 1. Is n(v) a multiple of 17?
True
Let w = 28 + -13. Suppose 4*b - w = 165. Is b a multiple of 5?
True
Let n = -620 - -629. Does 9 divide n?
True
Let q = 204 - 75. Let j = q + -63. Does 11 divide j?
True
Does 57 divide (2/4)/(3/5574)?
False
Let y = -169 + 359. Is 14 a factor of y?
False
Suppose 26*z - 973 = 8387. Is 18 a factor of z?
True
Let s(w) = w + 5. Let u be s(-4). Let b be 2 - -52 - (-2)/u. Suppose 3*a + b = r, -4*r = -2*a - 145 - 29. Is 11 a factor of r?
False
Suppose 0 = 10*f - 1074 + 154. Does 14 divide f?
False
Suppose 11 = -v + 135. Suppose 3*n - 20 = v. Is n a multiple of 7?
False
Let b(u) be the first derivative of u**4/4 - 3*u**3 + 4*u**2 + 9*u - 4. Let w be b(8). Suppose -r + 12 = -w. Does 7 divide r?
True
Let k = -6 - 0. Let q be 2/k + 1570/(-15). Let j = -71 - q. Is 7 a factor of j?
False
Let n be (-90)/20 + 1 + (-1)/2. Let x(i) = -26*i + 21. Is x(n) a multiple of 25?
True
Let l(y) = 3*y**3 + y**2 + y - 1. Suppose 39 + 12 = -3*m. Let d = -16 - m. Is 4 a factor of l(d)?
True
Suppose -3*a + 0 - 2 = -2*m, -5*m + 5 = -3*a. Suppose 5*h - 9*h + 512 = a. Is 8 a factor of h?
True
Is 19 a factor of (-399)/(2/((-4)/3))?
True
Let j(o) = o**3 + 15*o**2 - 22*o + 14. Let w(u) = -14*u**2 + 4*u + 2. Let f be w(-1). Is 8 a factor of j(f)?
False
Let r(a) be the first derivative of -25*a**2 - 3*a + 2. Is r(-1) a multiple of 26?
False
Let r(t) = 2*t + 17. Let v(c) = 4*c - 24. Let n(a) = 3*a - 23. Let d(h) = -7*n(h) + 6*v(h). Let x(o) = -4*d(o) + 5*r(o). Is x(-8) a multiple of 11?
True
Suppose 0 = 2*r - z - 0 - 22, -4*r + 3*z = -48. Is 4 a factor of r?
False
Let c(s) = 141*s**3 - 5*s**2 + 9*s - 6. Is 80 a factor of c(2)?
True
Let k(r) = 2*r + 9. Let o be k(-2). Is 2 + o/(-1) + (-135)/(-1) a multiple of 33?
True
Is 32 a factor of 15/(2590/640 + -4)?
True
Suppose -201 = 37*l - 40*l. Is 2 a factor of l?
False
Is 13 a factor of ((-195)/(-4))/((-25)/(-700))?
True
Let n = 60 + -54. Suppose t - 317 = -x, 0 = x - 4*t + n*t - 314. Does 46 divide x?
False
Let q(y) = 4*y**3 - 3*y**2 + y. Let c be q(3). Suppose p = -2*p + c. Is p a multiple of 15?
False
Suppose 3*l = 3*t - 1782, 3*t - 4*l + 1194 = 5*t. Is 17 a factor of t?
True
Let k be 10 + -3 - (4 - 1). Suppose 204 = k*m - 4*u, -m - 2*m - 4*u = -188. Is m a multiple of 18?
False
Suppose 2*c - 4 - 8 = -4*p, 2*c + 3*p - 9 = 0. Suppose c = v - 4 + 62. Let z = v + 85. Is z a multiple of 9?
True
Does 13 divide (3/(-1))/((-15)/780)?
True
Suppose 32*i - 978 = 29*i. Let m = i - 156. Is 42 a factor of m?
False
Let p(v) = 3*v**3 - 4*v**2 - v - 1. Let a be p(3). Let i = -23 + a. Is i a multiple of 6?
True
Suppose 2*y - 34 - 158 = 0. Is y a multiple of 12?
True
Suppose -2*h - 3 = -9, z = -5*h + 22. Suppose n + 8 = -3*n, 0 = 3*s - 2*n - 166. Suppose z*r - 4*w - 88 = 2*r, -2*w = -3*r + s. Is 9 a factor of r?
False
Suppose 3*j = 0, 2*j + 6 = -0*d - d. Let m = d + 16. Is 10 a factor of m?
True
Suppose 0 = -3*n + o - 1719 - 22069, 5*n + 3*o = -39628. Does 22 divide n/(-60) - (-2)/(-15)?
True
Let b = -26 - -31. Does 21 divide (-7)/((10/(-12))/b)?
True
Suppose 0 = -3*g - 9, -j - 4*g + g - 6 = 0. Suppose -5*z = -j*q - 69, -5*q = -6*z + 3*z + 51. Is z a multiple of 3?
True
Suppose -2*r + 671 = 2*r + f, -5*f + 313 = 2*r. Let m = r - 51. Let p = m - 63. Does 16 divide p?
False
Let q = -6 - 4. Suppose -4*f - 88 = -2*x, 7*x - 8 = 3*x. Let g = q - f. Does 11 divide g?
True
Let g = 58 + -28. Suppose 0 = 2*k + 4*m - 138, k + 3*m - 102 = -g. Is 9 a factor of k?
True
Let h(r) = r**2 - 5*r + 2. Let v be h(2). Is (-1)/((-2)/(-60))*v a multiple of 24?
True
Suppose -2*k + 3*l - 5 = 0, -1 = l - 6. Suppose 0 = 3*p - 3*i - 99, 75 = k*p + i - 84. Does 4 divide p?
True
Let u = -388 - -566. Is 6 a factor of u?
False
Let d be (0 + 28/16)/((-2)/(-16)). Suppose 0 = 3*l - 1 - d. Is l a multiple of 5?
True
Let n = -1403 + 2183. Is n a multiple of 52?
True
Let q(a) = -a - 32. Let h be q(-13). Let r = h + 37. Does 9 divide (r/3)/((-6)/(-27))?
True
Let g(d) = -d**2 - 2*d - 3. Let v(w) = w + 1. Let b(t) = -g(t) + v(t). Let q be b(-3). Suppose 2*f = -2*x + 8, 4*x - 2 - q = -2*f. Is f a multiple of 5?
True
Suppose -15*z + 16*z = 2. Suppose p - z*s = 66, -s - 4*s - 81 = -p. Does 12 divide p?
False
Suppose 3*v - 17 - 62 = -2*h, 2*v + 3*h - 46 = 0. Does 3 divide v?
False
Let c(r) = -r + 11. Let g be c(-21). Is (-6)/(-72)*6*g a multiple of 3?
False
Let m = -130 - -202. Let g(t) = -4*t**2 - 7*t - 12. Let q be g(-4). Let r = m + q. Is 12 a factor of r?
True
Suppose 0 = 22*h - 4830 - 2232. Is h a multiple of 3?
True
Let z be 9/15 - 102/(-30). Is 9 a factor of (3/z)/((-4)/(-288))?
True
Suppose 4*k - k = -3*g - 54, 4*k = 5*g + 54. Let l be g/(-3)*(1 - -5). Is l + (-3 - -3)/(-2) a multiple of 14?
True
Let j = 77 + -74. Suppose 3*z + 113 = 5*v, -3 - 80 = -j*v - 2*z. Is v a multiple of 5?
True
Let l(k) = 12*k**2 - k - 18. Let d be l(-6). Suppose -d = -3*a - 11*a. Does 6 divide a?
True
Let l = -2414 + 5266. Does 9 divide l?
False
Suppose 0 = -2*d + 74 + 72. Is d a multiple of 15?
False
Let p = 1752 + -902. Does 9 divide p?
False
Let g(l) = -l**3 + 6*l**2 - 4*l - 3. Suppose -16 = -2*y - 2*y. Let w be g(y). Let d = -4 + w. Does 2 divide d?
False
Is (63/(-4))/(84/(-448)) a multiple of 5?
False
Let m = 33 + -25. Suppose -2*s - 126 = -m*s. Is s a multiple of 7?
True
Suppose 31*u + u - 15840 = 0. Is 33 a factor of u?
True
Suppose -8 = 9*k - 13*k. Suppose 2*z = -k*z + 48. Suppose -3*t + z = -0*t, 5*v = 2*t + 57. Is v a multiple of 2?
False
Let z(i) be the first derivative of i**4/24 + 7*i**3/6 - 3*i**2/2 + 7. Let a(v) be the second derivative of z(v). Does 7 divide a(0)?
True
Let q = -2206 + 2547. Does 31 divide q?
True
Let p(j) = 7*j**2 - j + 4. Let s(x) = x**2 - x + 1. Let n(q) = -p(q) + 6*s(q). Let i be n(-5). Suppose c + 2*g = 51, -177 = -3*c + i*g - 0*g. Does 11 divide c?
False
Let m(k) = -15*k + 1038. Is 5 a factor of m(0)?
False
Let i be (-3)/(-2)*40/(-12). Let q be 1*3 + (-3 - i). Suppose 55 = 5*n - 2*w, 4*n = -0*n + q*w + 61. Is 2 a factor of n?
False
Suppose -4*h + 10 = -3*r, -3*h + 12 = 2*r - h. Suppose -2*s + r = -8. Suppose 337 = s*b + 87. Is b a multiple of 13?
False
Suppose -13*a - 2775 = -28*a. Is a a multiple of 37?
True
Let s(p) = 2*p + 4. Suppose -t = 2*t + 6. Let z be s(t). Suppose -2*n = -3*u + 12, z*u = 4*u + 5*n - 16. Is 2 a factor of u?
True
Let d(o) = -o**2 - 4*o + 2. Let y be d(-4). Suppose -88 = -y*g - 0*g. Is g a multiple of 3?
False
Let p(g) = 3*g. Let r be p(2). Let x be 15/(-5)*(-22)/r. Is x*(6/(-2))/(-3) a multiple of 11?
True
Let j be ((-1)/3*1)/(4/(-36)). Suppose 2*g + n - 54 = -3*n, 0 = -g + j*n + 27. Is g a multiple of 6?
False
Let v(f) = -3*f**2 + 2*f**2 - 8 + 3 - 10*f. Let y be v(-5). Does 9 divide (-129)/(-15) + 8/y?
True
Let r be 408/60*(-1 - -16). Suppose -5*s + 48 = -r. Is s a multiple of 3?
True
Let n(q) = -6*q**3 - 22*q**2 - 3*q + 10. Is 9 a factor of n(-5)?
True
Suppose 4*o - 2*h = -14, 3*h - 9 = 2*o + 4. Is 1/(o/4 - -1) + 88 a multiple of 22?
False
Let c = -183 + 190. Does 7 divide c?
True
Suppose 1706 = 24*m - 2182. Does 18 divide m?
True
Suppose 4*y + 368 + 418 = 3*v, 3*v + y - 786 = 0. Is 13 a factor of v?
False
Let n = 277 + -255. Let d = -50 + 96. Let x = n + d. Is x a multiple of 17?
True
Suppose -5*c - 13 - 8 = -4*u, 4*u - 4*c = 20. Let o be u/((-7)/(28/(-8))). Suppose -o*p = 10, 4*r - 380 = -r + 4*p. Is r a multiple of 24?
True
Let q(j) = 37*j + 910. Is 28 a factor of q(14)?
True
Is 37 a factor of (-4 - 371/(-28))*(1 - -3)?
True
