 - -1) + a + 0. Suppose -4*s + 52 = -q*s. Does 4 divide s?
False
Suppose 2*i - 239 = -0*j - 3*j, 4*i - 493 = -3*j. Suppose -3*c - z + i = 0, 4*c - 161 = 4*z - 13. Is c a multiple of 18?
False
Suppose -150 = -5*j + 45. Is 13 a factor of j?
True
Let j(t) = t**3 + 4*t**2 + 1. Let f be j(-4). Let d(r) = 5*r**3 - r + 1. Let k be d(f). Is 15 a factor of (225/6)/k*2?
True
Let r = 7 - -1. Is r even?
True
Does 27 divide (-2)/6*(-243)/1?
True
Suppose 0 = -10*n + 9*n + 38. Does 18 divide n?
False
Suppose 4*c = 56 + 36. Does 23 divide c?
True
Let i(m) = -21*m**3 + m**2 + 2*m + 1. Let o be i(-2). Suppose -4*b - 57 + o = 0. Does 10 divide b?
False
Let d be (-16)/(-10)*(-2 - -7). Suppose 20 = 4*w + d. Suppose -36 = -3*r + 4*h, -2*r - w*h - 2*h = -1. Does 6 divide r?
False
Suppose 3*a = -2*o - 6 + 23, -5*a = -3*o + 35. Does 3 divide o?
False
Let r(i) = -i - 5. Let z be r(-8). Suppose 3*n - 15 = 0, -y = n - 5*n - z. Suppose 0 = d - t + 2*t - y, 29 = d + 3*t. Is 7 a factor of d?
False
Suppose 0 = -3*w - w + 5*c - 49, -5*w - 50 = -4*c. Let z be (-2 - -14)*w/4. Is 4/z - 357/(-27) a multiple of 8?
False
Let g(f) = f**2 - 4*f - 5. Let b = -18 - -30. Let p = -6 + b. Does 2 divide g(p)?
False
Let s be 15/10*60*4. Suppose 5*w = -5*z + s, 5*z - 360 = -w - 3*w. Does 24 divide z?
True
Suppose -o = 3, -4*b - 2*o + 32 = -10. Suppose 8*v - b = 4*v. Is v a multiple of 2?
False
Suppose -3*r = -0*r - 6, -d + r = -133. Does 50 divide d?
False
Suppose -60 = -5*a - 210. Is 13 a factor of ((-36)/a)/(3/45)?
False
Let a(g) be the first derivative of g**6/180 - 11*g**5/120 + g**4/24 - g**3 - 1. Let i(o) be the third derivative of a(o). Does 24 divide i(8)?
False
Let i be (4/10)/((-9)/(-225)). Suppose i = 3*j - 23. Is 4 a factor of j?
False
Let q(p) = -p**3 + 5*p**2 + 3. Let l be q(5). Suppose -l*t = 2*t + 70. Let f = t + 42. Is f a multiple of 13?
False
Suppose -8*l + 3*l = -h + 28, 0 = -5*h - 4*l + 82. Let s = h + -13. Does 5 divide s?
True
Does 12 divide 3/9 - 294/(-9)?
False
Suppose 12 = -c + 4*c - 3*o, -13 = -2*c - 3*o. Suppose l + 4*x = 0, -2*l + 25 = -c*x - 27. Does 8 divide l?
True
Let u = 144 - 256. Let n = 200 + u. Is 3 a factor of 42/11 + 16/n?
False
Suppose -2*j + 0*p = 2*p - 10, 5 = -3*j + p. Suppose -u + 6*u - 355 = j. Does 29 divide u?
False
Let t = 83 + -65. Is t even?
True
Suppose 3*g - 31 - 14 = 0. Let l = g - 11. Let w = -2 + l. Is w even?
True
Let m = -43 - -83. Suppose 2*d = -2*p + m, -2*p + 76 = p - 5*d. Is 22 a factor of p?
True
Suppose -5*q = 3*f - 104, 29 = 3*f - 4*q - 39. Suppose 0 = 2*b - 6, 0 = 2*n - 4*n + 2*b + f. Does 7 divide n?
False
Suppose 0 = -0*u - 2*u - 18. Suppose 0 = -3*l - 3, h - 39 = -h + 3*l. Let y = h + u. Is 8 a factor of y?
False
Let m(b) = 4*b**2 - b - 2. Is m(2) a multiple of 2?
True
Let i(d) = 5*d**2 - d - 1. Let z be i(-1). Suppose -2*o = -z*c + 80, 5*c - o - 26 = 54. Is 16 a factor of c?
True
Suppose -5*k - 8 + 57 = -2*w, 0 = 5*k + w - 58. Suppose -11 = -2*z + k. Does 11 divide z?
True
Let p(o) = o**3 - o + 55. Let v be p(0). Suppose 0 = 3*j - 4*i - 47, -4*j + 5*i + v = -7. Does 10 divide j?
False
Suppose 4*h - 90 + 26 = k, -k - 49 = -3*h. Is 3 a factor of h?
True
Suppose 0 = d + 2*r, d = 3*r - 9 - 1. Does 23 divide (-696)/(-14) - d/14?
False
Let j(p) = -4*p. Let h(i) = -43*i. Let y(k) = -4*h(k) + 44*j(k). Suppose 9 = -2*o - 1. Is y(o) a multiple of 20?
True
Suppose -2*n - 46 = -2*j, j + 0*j - 5*n - 31 = 0. Is 14 a factor of j?
False
Does 19 divide 1*(-3 + 1) - -78?
True
Let l(i) = -i**2 - 1 - i**3 + 2*i**2 + 6*i**2. Let y be l(7). Is 2 a factor of (-40)/(-4)*y/(-2)?
False
Suppose 5*c = -5 + 15. Let v(b) = -b + 6. Let o be v(6). Suppose -2*y - c*y + 136 = o. Does 14 divide y?
False
Suppose 5*j - 3*x - 20 = 43, -4 = 4*x. Is j a multiple of 12?
True
Let o = 124 - 66. Suppose -38 = -2*v + o. Is 16 a factor of v?
True
Let y(q) = 2*q**2 + 2*q - 3. Is y(-4) a multiple of 5?
False
Let a = 7 - 5. Suppose -4*l + 14 = 3*p, 7*p - 2*l = a*p - 20. Is (p + 20/2)*6 a multiple of 13?
False
Let t = -181 + 265. Is t a multiple of 14?
True
Let c = -1 - -1. Suppose 22 = n - c*n. Is n a multiple of 22?
True
Suppose -4*x + 15 - 3 = 0. Does 9 divide (31/2)/(x/6)?
False
Let k = -4 + 7. Let x = -15 + k. Is ((-13)/(-4))/((-3)/x) a multiple of 5?
False
Does 12 divide -2 - ((-4)/(-14) - 492/7)?
False
Suppose -4*m = -24 + 4. Suppose 66 = -m*i + 8*i. Does 10 divide i?
False
Let i = 12 - 7. Is i a multiple of 2?
False
Let x = -63 + 104. Let i be ((-1 + 2)*2)/1. Suppose 59 = 5*t + 4*z - x, 5*t - 90 = -i*z. Is t a multiple of 7?
False
Let q be ((-9)/(-6))/(1/18). Let a = q - 16. Does 9 divide a?
False
Suppose -4*b + 2*b + 11 = d, 20 = 4*d. Suppose -5*m + 4*o + 4 - 14 = 0, -6 = 2*m - 2*o. Suppose -177 = -s - 3*s - b*h, -m*s + 2*h = -106. Is s a multiple of 19?
False
Suppose -r + 35 = -k + 2*k, 3*k + 4*r - 102 = 0. Let m = 90 - k. Does 13 divide m?
True
Suppose 2*v - v - 7 = 0. Suppose 3 - v = 2*t. Does 19 divide (-12)/(-14)*(30 + t)?
False
Suppose 4*i - 762 = 5*h + 331, 1058 = 4*i + 2*h. Does 12 divide i?
False
Let f = 13 + -8. Suppose -5*v - 21 = -6, -f*x - 19 = 3*v. Is 16 a factor of ((-62)/2)/(x - -1)?
False
Suppose 3*m = n + 6, -5*n + 2*n = -4*m + 3. Does 13 divide (n/(-9))/((-1)/39)?
True
Let m be 2 + 7 + (-1 - 2). Suppose -3*c + m = -24. Does 5 divide c?
True
Is 16 a factor of (8/36*156)/(3/18)?
True
Let c(f) = 0*f**2 + 0*f**2 + 2*f**2 - f - 1. Let u be c(-1). Suppose -4*s + 146 = 2*g, -u*g - 64 = -4*s + 2*s. Is 12 a factor of s?
False
Is (-1492)/(-60) + (-2)/(-15) a multiple of 2?
False
Suppose 0 = -5*c - 24 + 94. Is (c/(-4))/(1/(-2)) a multiple of 3?
False
Suppose -4*r + 77 = -19. Does 4 divide r?
True
Suppose -5*q = 9 - 4, 0 = 3*k + 4*q + 112. Suppose -4*x = -3*g - 58, -g + 0*x - 28 = 3*x. Let v = g - k. Does 7 divide v?
True
Suppose -446 + 1126 = 10*o. Is o a multiple of 17?
True
Suppose -n + a + 165 = 2*n, -2*a + 165 = 3*n. Is 8 a factor of n?
False
Suppose -5*y + 9 = -51. Does 7 divide (4/y)/((-1)/(-51))?
False
Suppose 12*g = 8*g + 120. Suppose 3*k - 34 = 2*w, -3*k + 4*k = 3*w + 51. Let h = w + g. Is h a multiple of 8?
False
Suppose -5*g = 15, 4*m + g = 3*g + 58. Suppose 5*f - 98 = -4*q, -3*f = -3*q - 35 - m. Does 6 divide f?
True
Suppose -8*m = -12*m + 1232. Does 77 divide m?
True
Let u = 44 + 73. Suppose -3 - 99 = -2*g + 4*x, 3*g - u = -3*x. Is g a multiple of 13?
False
Let r = -17 - -61. Let l = r + -24. Does 20 divide l?
True
Let k(p) be the second derivative of 5*p**3/6 - p**2 - 4*p. Is k(3) a multiple of 10?
False
Suppose 0 = -5*b + 151 - 91. Is b a multiple of 12?
True
Let s = 192 - 38. Is 22 a factor of s?
True
Let g = 16 - -9. Is 4 a factor of g?
False
Let b(s) = -3*s + 4 + 2 + s**2 + s - 3. Let p be b(2). Suppose r - 2*f = -5*f + 8, -4*r + 2 = -p*f. Is r a multiple of 2?
True
Let r = -33 - -67. Is 9 a factor of r?
False
Let k = 2 + 1. Let w be 2 + 3/k + -2. Let c = w - -23. Does 11 divide c?
False
Suppose 0 = -3*q + 4*s + 13 + 6, -q = -4*s + 7. Is q a multiple of 11?
False
Let i be (-3)/(2/(16/(-3))). Let o(f) = f**2 - 9*f + 10. Let w be o(i). Suppose q + 18 = w*q. Is q a multiple of 18?
True
Suppose u = 7 + 60. Is 42 a factor of u?
False
Suppose 4*b - 14 = 6. Suppose 108 = -b*a - 117. Let y = -12 - a. Does 19 divide y?
False
Let m be ((-1)/2)/(5/(-550)). Suppose 0 = 8*x - 3*x - m. Suppose 5*z - x = 54. Is 6 a factor of z?
False
Suppose 5*h = 4*h + 5*r + 38, 2*r = -5*h + 136. Let y be (-8)/h + 16/7. Suppose y*f - 119 + 15 = 0. Is f a multiple of 20?
False
Suppose 5*l + 24 - 204 = 0. Is l a multiple of 12?
True
Let a(r) = 4*r**2 - r - 1. Does 10 divide a(4)?
False
Let q(v) = -25*v**3 + v - 1. Let j be q(1). Let w be -3*(j/3)/5. Let b = w + -2. Is 3 a factor of b?
True
Suppose 4*t - 4 - 8 = 0. Suppose t*q + 2*q = 90. Does 18 divide q?
True
Let w = 3 + -1. Suppose -w = -3*h - 0*q + q, 2*q - 8 = 0. Suppose 4*v - 30 = h*v. Is 13 a factor of v?
False
Let l be ((-8)/(-12))/(1/15). Suppose 3*g - l = g, 2*s + 5*g - 45 = 0. Is s a multiple of 10?
True
Suppose w + 121 = -5*r + 2*r, 37 = -r - w. Let v = r - -72. Is v a multiple of 15?
True
Let h = -8 - -12. Suppose -c - 1 = 4*i - 29, -5*i = -h*c - 14. Suppose 0 = a - i. Is a a multiple of 3?
True
Suppose 0 = m - 3*k - 17 + 6, 0 = -4*m + 4*k + 68. Is m a multiple of 5?
True
Let v = -132 + 142. Does 5 divi