x be (-2)/(2 + 368/(-182)). Suppose -2*b + x = -b. Is b a multiple of 13?
True
Let j(k) = 2*k**2 + 7*k - 5. Suppose 3*f = 4*f - 6. Is j(f) a multiple of 24?
False
Suppose 0 = 5*k - 3*o - 7235, 6*k + 15*o - 8715 = 12*o. Is 29 a factor of k?
True
Suppose 0 = 7*m - 17 - 18. Suppose 0 = -5*h + 4*h + m. Is 5 a factor of h?
True
Let v be (8/7)/((-1)/(-7)). Is (-15 + 13)/(3/v)*-18 a multiple of 9?
False
Let n be 8/6 - 8/(-12). Let t be n - ((-3 - -2) + -2). Suppose -z + 16 = -t*r, -z + 19 = r - 3*r. Is z a multiple of 6?
False
Let h = 12275 - 7053. Is h a multiple of 11?
False
Let b = 56 + -53. Suppose 0 = b*d + 3*d - 648. Is d a multiple of 12?
True
Let r(p) = 4*p**2 + 16*p - 69. Does 35 divide r(8)?
True
Let b = -15 - 1. Let x = -14 - b. Suppose 5*i - 170 = -5*y, -2*y + x*i + 83 = 11. Does 8 divide y?
False
Suppose 5*s - 3702 = -7*c - 826, -s + 588 = -5*c. Is 16 a factor of s?
False
Let a be 2/15 + 420/225. Does 3 divide (5/a + -2)*68?
False
Suppose 3*j = 5*i + 2624, 5*j + 0*i = -5*i + 4360. Is 9 a factor of j?
True
Suppose -6 = t + 2*t. Let a be 62*t/(-4) + -3. Suppose 3*v + 3*b = 63, -2*v + 17 = b - a. Is 6 a factor of v?
True
Let p be 32/(-12) - 4 - 1/3. Is (-32)/14 + 2 + (-345)/p a multiple of 7?
True
Let z(s) = -2*s**2 - 3*s**2 + 5*s**2 - 3*s**2 - 2*s**3 + 2. Let d be z(3). Let h = d - -146. Is h a multiple of 13?
False
Suppose 154 = -5*k + 14. Let v(f) = -5*f**2 - 11*f - 41. Let n be v(-3). Let g = k - n. Does 13 divide g?
False
Let q(m) = m**3 - m**2 + 3*m + 3. Let b be q(-2). Suppose 1 + 3 = -4*y. Let z = y - b. Does 14 divide z?
True
Suppose 15 - 5 = 2*j. Suppose 0*u - j*y - 55 = -u, -y + 73 = u. Suppose -2*o - 3*o = -u. Is 3 a factor of o?
False
Let k(b) = -b - 40. Let m be k(-12). Is 428/6 + m/(-6) + -4 a multiple of 18?
True
Suppose -27*p = -32*p + 15. Suppose -p*g + 164 = -4*r, 3*g + 2*r - 5*r - 168 = 0. Does 30 divide g?
True
Let u = -38 + 97. Is 7 a factor of u?
False
Let f = 8 - 6. Suppose -155 = -5*b - 5*g, -f*g - 21 - 1 = -b. Does 24 divide -3 - (1 + b/(-1))?
True
Let z = -2714 - -2867. Does 12 divide z?
False
Suppose -2*w - g - 156 = -5*w, 5*g + 117 = 2*w. Let v = w - 41. Is 10 a factor of v?
True
Suppose 4*c = 3*h + 26, 4*h + h + 22 = 4*c. Let m(d) = 67*d**3. Let q be m(1). Suppose -q = -5*x + c. Does 7 divide x?
False
Let m(o) = 38*o - 12. Is 8 a factor of m(3)?
False
Is ((-154)/(-28))/((-1)/(-44)) a multiple of 22?
True
Suppose -r = -15 - 6. Let j be (2 - 2)/(4 + -2 + -1). Does 13 divide r*(j + 10/6)?
False
Let p(u) = 4*u - 22. Let j be p(-10). Let v = -31 - j. Is v a multiple of 5?
False
Suppose m + 1 = 0, 2*m - 457 - 297 = -3*y. Suppose -2*x - y = -4*t + 3*x, 2*t + 2*x = 108. Is 10 a factor of t?
False
Let z be 4 + (-100)/26 + (-1610)/(-13). Let j = 12 + -7. Suppose -j*k + z = 4. Is k a multiple of 8?
True
Suppose -1 = 7*l - 36. Suppose -5*k + l*t + 1815 = 0, -28 + 8 = -5*t. Is k a multiple of 33?
False
Let a(j) = -j**2 + 23*j - 10. Suppose -5*s + 4*v + 88 = 3*v, s = -2*v + 11. Is 21 a factor of a(s)?
False
Let q(h) = h + 20. Let j be q(-16). Suppose -j*i + 5*b = -154, 3*b - 4*b = -4*i + 162. Is 16 a factor of i?
False
Let l = -5 - -9. Let d be l/20 - (-672)/15. Suppose 16*f + d = 17*f. Is f a multiple of 15?
True
Let w(p) = 7*p + 1. Suppose 0 = -3*s - 3*n + 18, -2*s = -3*s + n - 4. Let k be w(s). Suppose 11*c - 60 = k*c. Does 13 divide c?
False
Suppose 1040 = 227*q - 211*q. Does 13 divide q?
True
Suppose 1596 = 49*t - 37*t. Is 2 a factor of t?
False
Let t(w) = -w + 5. Let q = -27 - -45. Let d = q - 32. Does 9 divide t(d)?
False
Suppose -4*v + 2*x - 477 = -5*v, 3*x = 2*v - 975. Is 4 a factor of v?
False
Suppose 0 = a - 3*f - 374, a - 366 = 2*f - 3*f. Does 16 divide a?
True
Suppose 0 = 3*y + 4*f - 6, -4*y + 5*y = -5*f - 9. Let b(q) = q**3 - 6*q**2 + q + 8. Is 14 a factor of b(y)?
True
Let u be (-4)/(-6) - (-16)/3. Suppose -7*x - 2*o + 66 = -3*x, -4*o = -x - u. Let h = 6 + x. Is 20 a factor of h?
True
Suppose d - 3 + 4 = 0, 0 = 2*a - 4*d + 2558. Is 7 a factor of a/(-14) + 0 + (-2)/(-4)?
False
Suppose 0 = -3*u - 3*w + 1896, -2*w - 2*w - 622 = -u. Is u a multiple of 15?
True
Suppose 0 = 2*y - 0*y - 54. Let v = y + 17. Does 22 divide v?
True
Suppose 3*o - 15 = 0, -2*o = r - 4*r + 92. Let x(g) = g + 2. Let z be x(3). Suppose 0 = a, -3*p + 4*p - r = z*a. Does 17 divide p?
True
Let i(x) be the first derivative of -19*x**2/2 + 10*x - 18. Is i(-3) a multiple of 10?
False
Let x = 9 - 9. Suppose -5*a + x = -15. Suppose a*z + 219 = 3*y, -4*y + 5*z + 65 = -3*y. Does 25 divide y?
True
Let z(t) = 39*t. Let n(x) = -8*x. Let i(j) = -26*n(j) - 5*z(j). Does 10 divide i(4)?
False
Suppose -2*g = 2 - 4. Let i be (-2041)/(-5) + g/(-5). Suppose -r + i = 3*r. Is r a multiple of 31?
False
Suppose 2*v = -3*v + 70. Let s = v + -17. Let k = s - -7. Is 4 a factor of k?
True
Suppose 5*v = -0*s + 5*s - 65, -5*s = -4*v - 65. Let r be 2/(-11) + 34/187. Suppose 5*u + s = f, f + 5*u - 33 = -r*f. Is 23 a factor of f?
True
Let k = 8 - 22. Let t = k - -48. Does 34 divide t?
True
Suppose 3*p - 836 = -2*t, -t - 2*p = -2*t + 418. Suppose 4*x - t = -5*s, -3*s + 3*x + 39 + 201 = 0. Is 41 a factor of s?
True
Suppose -36*w + 30*w - 546 = 0. Let j = w + 99. Is 4 a factor of j?
True
Suppose 3*f + 5*c = -18, 3*c + 3 + 1 = 5*f. Let t be (4 - 1) + f + 1. Suppose -4*l = -t*l - 34. Does 14 divide l?
False
Suppose -5 = 2*y - w, -5*y + 0*w - 5*w = 20. Is ((-656)/24)/(2/y) a multiple of 25?
False
Let m(i) = 12*i + i**3 - 8*i**2 - 13 + 3*i**2 - 6*i**2 + 0*i. Let v be m(10). Let t(p) = 4*p + 4. Does 9 divide t(v)?
False
Let s(h) = h**2 + h + 12. Let z be -2 + (3/3 - -1). Is s(z) a multiple of 8?
False
Let a = 10 - -30. Suppose -3*f = 2*f + a. Is ((-26)/f)/(1/4) a multiple of 4?
False
Let i(g) = 160*g + 1. Let f be i(1). Suppose 5*b + 211 = 3*c + 84, -5*b - f = -4*c. Suppose -v + t + 30 = 0, -v + 2*t = -t - c. Is 6 a factor of v?
False
Let q = -46 + -414. Is -3*5/(75/q) a multiple of 23?
True
Let g(j) = -10*j - 18. Let y(l) = -l. Let w(d) = g(d) - 3*y(d). Is w(-5) a multiple of 17?
True
Suppose -3*b + 15 = 3*u, 3*u = -2*b + 18 - 6. Let z be (u - (-1 + 3)) + -12. Does 7 divide (-1)/(-3) + (-248)/z?
True
Suppose r + 4*b = 32 - 2, -4*r + b = -35. Suppose 5*q - 1620 = -r*q. Is 54 a factor of q?
True
Let s be 16*((-1)/(-2) + 0). Is 7 a factor of (-794)/(-38) - s/(-76)?
True
Let z(c) be the second derivative of 8*c**3/3 - 83*c**2/2 + c. Is 12 a factor of z(9)?
False
Let m(l) = -42*l + 38. Is 42 a factor of m(-14)?
False
Let b(l) be the second derivative of l**5/30 + l**3/6 - 2*l. Let a(z) be the second derivative of b(z). Is a(2) even?
True
Suppose -13*s + 15*s = 10. Suppose -s*l + 210 + 230 = 0. Is l a multiple of 11?
True
Is ((-2)/(-4))/((-3)/(-2340)) a multiple of 39?
True
Suppose -5*p = 5*x + 175, -5*p - 6*x - 155 = -5*x. Is 7 a factor of 24/p + 214/5?
True
Let a = -7 + 14. Suppose 8*v - 87 = a*v. Is 28 a factor of v?
False
Is 5/(-15)*2/(12/(-14130)) a multiple of 38?
False
Suppose -31 = 4*h - 91. Let j = -10 + h. Suppose j*b - 120 = 380. Does 25 divide b?
True
Let d = -167 - -260. Let t = 163 + -97. Let p = d - t. Does 11 divide p?
False
Let f(g) = g**2 - 2*g + 55. Let u be 572/(-55) - (-3)/(-5). Does 18 divide f(u)?
True
Suppose 5*i + 66 = -3*x, 44 = -5*i - 5*x - 26. Does 24 divide (-186)/(-4) - 18/i?
True
Suppose -3*u + 3003 = -2*f, -5*u - 3*f = -2546 - 2440. Does 27 divide u?
True
Let b(x) = 2*x**3 + 40*x**2 - 48*x - 9. Is b(-21) a multiple of 27?
False
Suppose -4*x = -3*c + 6144, 0 = c + 3*x + 2*x - 2067. Does 50 divide c?
False
Suppose 4*l - 4*r - 714 = 1302, -2*r - 1508 = -3*l. Is l a multiple of 50?
True
Suppose -v = -2, -5*b + v = 1253 - 3116. Is b a multiple of 22?
False
Suppose -2*c = -3*c + 5*v + 25, -4*c + v = -24. Suppose 0 = -4*m + c + 59. Is m/4*(-7)/(-4) a multiple of 7?
True
Let r(v) = 4 - 2*v**3 - 12*v**2 + 13*v + 28*v**2 + v**3 - 19. Is r(16) a multiple of 18?
False
Let l = -209 + 489. Suppose 4*j - l = -6*j. Is 28 a factor of j?
True
Suppose 39*b - 164 = 38*b. Does 5 divide b?
False
Let c = 179 + -91. Suppose -h = j + 3*h - 41, -c = -4*j + 3*h. Is j a multiple of 15?
False
Suppose -4*a + f = 5*f - 28, 2*a - 4*f = 14. Suppose 40 = a*s - 5*s. Is s a multiple of 7?
False
Suppose -2*n + 1296 = n. Is (3/4)/(6/n) a multiple of 11?
False
Let r(x) = -35*x - 132. Is r(