ose -2969 = -5*d - 2*s, 22*d = 18*d - 5*s + 2365. Is d a multiple of 32?
False
Suppose 0 = -2*l - 2*z + 699 + 1139, -2*z - 2 = 0. Is l a multiple of 18?
False
Suppose -5*o - n + 414 = 0, 2*n = -5*o + 4*n + 417. Let d = o + 2. Let h = d + -43. Is h a multiple of 11?
False
Let q be 6/1 + (17 - 24). Let c(z) = z + 1. Let l(g) = 25*g**2 - 5*g - 4. Let y(m) = 5*c(m) + l(m). Is y(q) a multiple of 26?
True
Suppose -2*x = 4*p - 156, 4*x + 3*p - 290 = 6*p. Let j be x/14 + 14/(-49). Suppose -j*w = -l + 39 + 18, 0 = l + 4*w - 12. Does 16 divide l?
True
Let v(h) = 3 + 4 - 1 + 0*h + h. Let o be v(-3). Suppose -2*t = o*b + 16 - 78, 0 = -2*t - 10. Does 7 divide b?
False
Suppose 0 = 2*k - 4, -7*l + 3*l + 5*k + 1350 = 0. Is l a multiple of 10?
True
Suppose 10*r + 0 = -80. Is (122/r)/(3/(-12)) - -2 a multiple of 7?
True
Let y(f) = -5*f**2 + 7*f**2 + 2*f + 4 - f**3 + 2*f**2. Suppose 5*i - 7*i + 5*n - 12 = 0, 4*n - 4 = 3*i. Is 4 a factor of y(i)?
True
Let h(y) = -y**2 - 5*y - 9. Let b be h(-4). Let r(u) = -6*u + 2. Does 8 divide r(b)?
True
Let b(a) = a**3 + 9*a**2 - 12*a + 17. Is 19 a factor of b(7)?
False
Let z be (-28)/(-2*(2 + -1)). Let o = 36 + z. Is o a multiple of 14?
False
Let g(o) = -o**3 - 4*o**2 + 5*o + 6. Let j be g(-4). Is ((-12)/10)/(j/665) a multiple of 14?
False
Let v = 532 - -29. Does 58 divide v?
False
Let o = -1199 + 1692. Suppose -o = -5*a - 3*u, a = -4*u + 64 + 38. Is 14 a factor of a?
True
Let o(f) = -f - 6. Let y(x) = -2*x - 13. Let n(k) = 7*o(k) - 3*y(k). Let m be n(-7). Suppose 0 = -0*l - m*l + 12. Does 3 divide l?
True
Suppose 5*p + 5*g - 540 = 0, -2*p - g - 432 = -6*p. Does 6 divide p?
True
Is (-272)/((-1)/((-1)/(-2))) a multiple of 34?
True
Suppose -310 = -3*r - 5*n - 30, 4*r + 3*n = 388. Is r a multiple of 25?
True
Let h(r) = 171 - 87 - 9*r - 94. Does 7 divide h(-2)?
False
Let o = 34 + -31. Suppose 40 + 137 = o*p. Is p a multiple of 15?
False
Suppose 0 = -d + 87 - 27. Suppose -14*b = -19*b - 105. Let z = b + d. Does 13 divide z?
True
Does 85 divide (((-20)/(-2))/2)/((-13)/(-1105))?
True
Let q be 0 - (2*-163 + -4). Suppose -9*s + q = -12*s. Let o = -71 - s. Does 17 divide o?
False
Does 50 divide 5 + 944 - ((-1)/1 - 0)?
True
Suppose 0 = g + 1, 0 = -2*y + 4*y + 4*g. Does 2 divide 10 + (1 + y - 5)?
True
Does 10 divide (-1 - -7)/12*1222 - 1?
True
Suppose 8*k + 45 = 5*l + 3*k, 2*l = -4*k - 12. Let h = -1 - -3. Suppose l*r - r + h*s - 31 = 0, 2*s = r + 3. Is r even?
False
Let k be (-1 + -1)*(-456)/6. Let d = -87 + k. Is d a multiple of 13?
True
Let g = -56 + 88. Suppose -u = -25 - g. Does 57 divide u?
True
Suppose -3*m + 15 = -51. Is 6472/m - 34/187 a multiple of 49?
True
Let l = -578 - -1070. Is 123 a factor of l?
True
Let n(p) = -p**3 + 6*p**2 - 2*p - 9. Suppose 3*i = -4*o + 7*i + 28, 4*o - 30 = 5*i. Let m be n(o). Suppose -32 = 4*w - m*w. Does 4 divide w?
True
Suppose 8*b - 32 = -0*b. Suppose -10 = b*w - 58. Does 6 divide w?
True
Let c be -1*6/(-8) - (-12439)/28. Suppose c = 5*a - 2*g, -2*g = 3*a - g - 256. Does 29 divide a?
True
Let h(i) = -17*i - 5. Let v be h(2). Let j = v + 43. Is j a multiple of 3?
False
Let a(x) = 70*x**2 - x - 2. Suppose 0 = 3*q - 2*d + 9, -4*q + 2*d = -d + 13. Let u be a(q). Suppose 0 = -r - w + u, 2*w + 0*w = 6. Does 18 divide r?
False
Let a(p) = 16*p**2 - p - 14*p**2 + 160 + 116. Does 46 divide a(0)?
True
Is 6 a factor of ((-144)/(-20))/(8/(-360)*-6)?
True
Let a(p) = 2*p**2 - 10*p - 9. Let k be a(9). Does 28 divide (-18)/k + 1227/7?
False
Suppose -4*f + 6 + 10 = 0. Suppose 0 = f*s, 3*s = -y + 2 - 1. Let t(p) = 28*p**3 + 2*p**2 - 2*p + 1. Does 10 divide t(y)?
False
Let w(s) = s**2 + 4*s + 20. Let o be w(-4). Suppose 0 = -7*t + 3*t - o, 4*d - 331 = -t. Does 27 divide d?
False
Let a be 0 - 0 - (-2 - 24). Let g = a + 35. Is g a multiple of 13?
False
Let a be (-4 + (-9)/(-2))*34. Suppose h - 4*q - 3 = a, -4*q + 76 = 3*h. Is 5 a factor of h?
False
Let g be 2*1/2 + 351. Let n = -247 + g. Is n a multiple of 21?
True
Suppose -2*q + 2*j = -1202, -3*q - 6*j = -j - 1811. Does 14 divide q?
True
Let s(w) = -4*w - 6. Let h be s(-3). Let o be 1*h/9*-3. Is 27 a factor of (o - -57) + 1 + -2?
True
Let p(c) be the second derivative of 23*c**4/12 + 5*c**3/6 + 7*c**2/2 + 11*c. Does 4 divide p(-2)?
False
Suppose -5*f + 1781 = -f - 3*y, -4*y - 429 = -f. Is f a multiple of 39?
False
Let d be 0*(-1 + 0 + 0). Suppose -2*m + 6*m - 2*p - 464 = d, -3*m + 4*p = -348. Does 4 divide (-6)/21 + m/14?
True
Let b = 146 - 122. Is b a multiple of 4?
True
Suppose 6 = 2*z - 10. Suppose z*y = -16 + 80. Does 2 divide y?
True
Does 33 divide (-2)/11 - 694956/(-957)?
True
Let o be (-495)/(-22) - 2/(-4). Let s = 14 - 27. Let j = s + o. Is j a multiple of 3?
False
Let a(r) = -r**2 + 7*r + 5. Let c be a(7). Suppose f + 3*d - 42 = 0, 0*d + 250 = 5*f + c*d. Is 15 a factor of f?
False
Let u(h) = 2*h**3 - 19*h**2 + 23*h - 32. Is 29 a factor of u(13)?
True
Suppose 3*h = d - 58 + 3, h = d - 65. Suppose 4*q - d = -3*p + 590, q - 164 = -p. Is q a multiple of 21?
True
Suppose 14*p - 9089 = -143. Is 13 a factor of p?
False
Suppose -9 = -3*l, -3*o + 839 = -o - 5*l. Does 36 divide o?
False
Let x(z) = z**3 - 11*z**2 + 2*z + 4. Let u be x(11). Suppose 7*a = u + 247. Is 4 a factor of a?
False
Suppose 45 = -5*m - 3*q - 2*q, 4*q - 36 = 5*m. Let g = 12 + m. Suppose 0 = -x + g*x - 30. Is 5 a factor of x?
True
Let a = -12 + 7. Let q = 19 + a. Is 14 a factor of q?
True
Let o(u) = -5*u - 4. Let t be o(-3). Let w = t + 28. Is 9 a factor of w?
False
Let a(p) = 2*p - 29. Let y be a(16). Is 36/2 - y*(1 - 2) a multiple of 4?
False
Let y be -3*1 - (-2)/1. Let r be (-2 - -4) + 2 + 2. Let t = r + y. Is t a multiple of 2?
False
Let b = -207 + 452. Is 11 a factor of b?
False
Let u = 1 - -3. Suppose -k = -3*w + 4*k + 559, -k = u*w - 776. Does 18 divide w?
False
Let z = -762 - -9. Let h be (-27)/45 + z/(-5). Is 15 a factor of (h/35)/((-1)/(-7))?
True
Suppose t - 5*t - 2336 = 0. Let l be (-8)/6 + t/(-24). Does 23 divide 1/((-3)/(-3*l))?
True
Let p = 10 - 7. Suppose 4*y - 28 = -p*o, -o - 3 + 23 = 4*y. Suppose 0*c = -2*c + 5*z + 104, y*z = c - 52. Is c a multiple of 26?
True
Suppose -3567 = -4*y + k + 969, y - 3*k = 1123. Is y a multiple of 27?
False
Suppose 4*m - 7*m = -6. Suppose 0*r = -m*r - 44. Let n = -5 - r. Does 5 divide n?
False
Is 17 a factor of ((12/(-14))/1)/((-70)/33320)?
True
Suppose 5*n + l = 2095, 3*n - 7*n + 3*l + 1695 = 0. Is 42 a factor of n?
True
Let x(d) = 3*d - 3. Let v be x(2). Suppose -v*a = -t + 5, a - 4*t + 20 = 3*a. Suppose 0 = -4*f - a*f + 124. Is f a multiple of 31?
True
Let u(q) = -9 + 1 - 6*q - 2 - 5*q. Is 8 a factor of u(-7)?
False
Suppose 4*s = 2*w - 1476, 0 = 3*w - 2*s - 1071 - 1163. Does 22 divide w?
True
Suppose 7*p + 26 - 628 = 0. Suppose -p + 18 = -3*s - o, 5*s - 132 = 3*o. Is 4 a factor of s?
True
Let i(p) = -p**3 + 10*p**2 - 7*p - 8. Let j be i(7). Suppose r - 51 = j. Is 9 a factor of r?
False
Let t(b) = -2*b + 492. Is 4 a factor of t(-17)?
False
Suppose -4*m + 75 = -97. Let o = m - 41. Is o a multiple of 2?
True
Let r(f) = 4*f + 12. Let c(z) = -9*z - 24. Let p(m) = 4*c(m) + 7*r(m). Let w be p(-6). Suppose -42 = -w*a + 35*a. Does 21 divide a?
True
Let c(q) = 13 + 21 - q - 29. Let k be c(3). Suppose 4*p - k*p = 138. Is p a multiple of 16?
False
Suppose 0 = 3*i + 2*d - 50, 0 = 2*i - 3*i + d + 20. Suppose -b + 0*b = -h + i, 2*b = 0. Does 9 divide h?
True
Suppose -3*d - 12 = 0, -h - 2*d = -6*d - 139. Suppose 5*i - h = 97. Is i a multiple of 11?
True
Let i = 1219 + -19. Is 48 a factor of i?
True
Let y = -61 - -35. Let v = y - -50. Is 8 a factor of v?
True
Let k = -216 + 318. Does 17 divide k?
True
Let c = 125 - 279. Let b = c - -248. Is 18 a factor of b?
False
Let g(n) = n**2 - 8*n - 2. Let j be g(8). Let c be j/(-9) + 132/(-108). Does 15 divide 35/14*(19 + c)?
True
Let r(d) = -2*d**3 - 25*d**2 - 12*d + 16. Let x(q) = 4*q**3 + 50*q**2 + 25*q - 32. Let l(w) = 5*r(w) + 3*x(w). Is 31 a factor of l(-11)?
False
Suppose 6*n - 16873 = 3119. Is 14 a factor of n?
True
Suppose -4*a + 51 = -333. Is a a multiple of 28?
False
Let t = 31 + -28. Suppose t*o = 3*d + 273, o - 97 = 3*d - 4. Is o a multiple of 6?
True
Suppose 7*l + 24 = -137. Let z = l - -221. Is z a multiple of 29?
False
Suppose -4*w + 4*j = -264, -w - j = -3*w + 130. Is w a multiple of 16?
True
Let c(w) = -46