10*h - 1482 - 1818. Is h a multiple of 21?
False
Let r(y) be the third derivative of 0*y + 0 - 3*y**2 - 1/24*y**4 + 1/2*y**3. Is 4 a factor of r(-5)?
True
Is 636/12 - 1*-1 a multiple of 18?
True
Suppose -7*h - 2968 = -14*h. Does 53 divide h?
True
Suppose 0 = 3*a - 54 - 108. Does 35 divide a?
False
Let s(j) be the third derivative of j**4/24 + 3*j**3/2 + 3*j**2. Let a be s(-7). Suppose 0 = -a*u - u + 33. Is u a multiple of 5?
False
Suppose 3*b = 7*b + 20, 3*p + 3*b - 159 = 0. Does 19 divide p?
False
Let a = 3 + 41. Suppose -2*n + n - a = 0. Let o = n - -65. Does 15 divide o?
False
Suppose 5*j - 79 - 71 = 0. Suppose -q = -2*q + j. Suppose -3*b = -4*b + q. Is b a multiple of 12?
False
Let a(o) be the second derivative of o**5/20 - o**4/3 - 5*o**3/3 + 4*o**2 + o. Is 10 a factor of a(6)?
True
Let f be (72/(-10))/(10/(-125)). Suppose 0 = 2*i - 2 - f. Does 25 divide i?
False
Let d be (0/3)/(-2*1). Let x(y) be the first derivative of -y**3/3 - y**2/2 + 20*y + 2. Does 10 divide x(d)?
True
Let y = 8 + -6. Suppose y*o = 4*o - h + 4, -5*h + 4 = -2*o. Is 1/((6/(-99))/o) a multiple of 11?
True
Suppose 0 = -3*y + v - 2, 4*y - 2*v + v = -2. Suppose y = -4*q - 0*q + 24. Is q a multiple of 4?
False
Suppose 4*v - v = -3*a + 3, 9 = 2*a - 5*v. Suppose 5*s = a*s + 150. Let y = s + -36. Is y a multiple of 7?
True
Is 45 + 9/((-18)/4) a multiple of 21?
False
Suppose -176 = -r - 5*y, 4*r + 0*r + 4*y - 640 = 0. Is 39 a factor of r?
True
Let s = 44 + -75. Let b = s - -43. Does 5 divide (30/(-4))/((-9)/b)?
True
Let a(q) = -19*q**3 - q**2 + 2*q - 1. Let j be a(1). Let m = j + 31. Is m a multiple of 6?
True
Let z = -18 + 4. Let l = -2 - z. Is l a multiple of 12?
True
Suppose 0 = -2*x + x - 6. Let q = -11 - x. Let h(p) = p**3 + 5*p**2 - p + 5. Does 10 divide h(q)?
True
Is 32 a factor of -1*((-15)/(-5) - 142)?
False
Let r be -42 + (2 - (-1 + 1)). Let p = -21 - r. Let d = p + -10. Is d a multiple of 4?
False
Let o = 133 - 54. Is o a multiple of 26?
False
Is 5 + 113 + -2 + 1 + 3 a multiple of 12?
True
Suppose -3*f = 12, -3*m + 27 - 8 = -f. Let n = 7 - 2. Suppose 5*k - 7 + 51 = 3*z, -n*k + 20 = m*z. Is 3 a factor of z?
False
Let x be (1 - -1)/(7/14). Suppose 2*c + 36 = x*c. Is c a multiple of 18?
True
Let y = 0 + 4. Let o = y + 9. Does 5 divide o?
False
Let i = -8 - -14. Is 24 a factor of (-2)/4 - (-249)/i?
False
Let f be (-4)/(-10)*(27 - -3). Suppose 16*g = f*g + 84. Does 21 divide g?
True
Let g be (-15)/(-2)*16/20. Let o be 3/g*(-1 + 5). Suppose -w = -3*q + 36, 7*q = o*q - 2*w + 60. Does 12 divide q?
True
Let x(v) = -v**3 + 2*v. Let s = 21 - 11. Suppose 14 = -3*t - 2*n, 0*t + 5*n + s = 5*t. Is x(t) even?
True
Let w = -25 + 89. Does 5 divide w?
False
Let d(i) = 8*i - 7. Is 10 a factor of d(13)?
False
Suppose 4*r = -g + 25, -g - g - 2*r = -32. Let d(c) = 2*c + 5. Is 14 a factor of d(g)?
False
Let b(l) = 4*l**2 + 3*l + 2. Let z(h) = -3 + 2 - 3*h**2 + 0*h - 2*h. Let a(d) = -2*b(d) - 3*z(d). Is a(7) a multiple of 24?
True
Let o(b) = 8*b - 6. Let t(c) = -c + 1. Let i(j) = -o(j) - 6*t(j). Let v be i(2). Let u = v - -7. Does 3 divide u?
True
Let k(o) = o**3 + 5*o**2 + o + 4. Let i be k(-4). Suppose -i = -3*d + 47. Does 7 divide d?
True
Let x(d) = 7*d**2 + 9*d + 12. Let w(c) = 8*c**2 + 10*c + 13. Let a(o) = -6*w(o) + 7*x(o). Is a(-4) a multiple of 4?
False
Is 13 a factor of (-1)/7 - 3600/(-63)?
False
Is 17 a factor of (-374)/((-9)/(-6)*(-2)/3)?
True
Let q be 6/(-4) + 5/(-2). Let f be 1*(-4)/(q/5). Suppose -3*w - f*a = -10 - 9, 17 = w - a. Does 13 divide w?
True
Suppose -2*k = 4*m + 4, -6 = 2*m - 2. Suppose -5*x = 40 - 15, -o + 2*x + 28 = 0. Let p = o - k. Is p a multiple of 16?
True
Suppose 2*z - 5 = z, -5*z + 30 = p. Suppose -5*t - 3*g + 40 = 0, t - 35 = -t - p*g. Does 5 divide t?
True
Suppose 3*g + 4*j + 0*j - 22 = 0, 0 = -5*g + 3*j + 27. Let n = 0 + g. Suppose -m - n = -35. Is m a multiple of 14?
False
Is 9 a factor of (-85)/2*24/(-30)?
False
Let x(i) = i**2 - 10*i - 21. Is x(17) a multiple of 23?
False
Suppose 3*o - 7*o = 3*j - 2, -3*j = o - 14. Is (-15)/j*16/(-5) a multiple of 8?
True
Let z(w) = -w**3 + w + 5. Let l(m) = m**2 - 6*m + 2. Let n be l(6). Suppose -f + 8*g = 4*g - 16, n*g = 3*f - 8. Does 3 divide z(f)?
False
Let g(y) = y**3 + 7*y**2 + 6*y + 2. Let w be g(-6). Suppose v + v + 60 = w*h, 3*h = 5*v + 98. Is h a multiple of 13?
True
Let q(i) = 15*i + 2. Is q(1) a multiple of 3?
False
Suppose 96 = t + 3*t. Suppose -5*q - t = -4*c, 31 = c - 2*q + 7*q. Does 5 divide c?
False
Is (-6)/9*(0 - 6) a multiple of 4?
True
Let z(c) = c**2 + c - 3. Suppose -8*i + 12 = -12*i. Is 2 a factor of z(i)?
False
Suppose -w = -3 + 1. Suppose -3*u + 23 = -n, w*n - u - u = -26. Is 4 a factor of (-1 - -4)*n/(-3)?
True
Let m(b) = b**2 + b + 9. Let x be -1 + 0 + (-1 - -2). Let k be m(x). Let y = k + 2. Is y a multiple of 11?
True
Let l = 26 - 6. Let h = l - 2. Let j = h - 1. Is 9 a factor of j?
False
Is 47 + ((-3)/6)/(2/(-4)) a multiple of 13?
False
Let h(d) = d**3 + 8*d**2 + 9*d + 3. Let i be -10 + 3 + 0/2. Let m be h(i). Let r = 3 - m. Is r a multiple of 14?
True
Let i be 3/9 + (-5)/(-3). Suppose -4 = -i*w - 2*w. Suppose -56 = -4*r + q + w, 3*r = -4*q + 19. Is r a multiple of 13?
True
Let p(o) be the second derivative of 11*o**6/360 + o**5/120 - o**4/12 + o**3/6 - o. Let k(q) be the second derivative of p(q). Is k(2) a multiple of 16?
False
Does 17 divide 2/(-6) + 154/3?
True
Suppose 4*k - 21 = -5. Suppose 54 = z - 0*z + 5*x, 5*x = k*z - 291. Is 14 a factor of z?
False
Suppose -r + 69 = 2*j, 2*j + 3*r - 111 = -j. Is 6 a factor of j?
False
Let o(x) = 7*x**2 + 3*x - 4. Is o(-5) a multiple of 24?
False
Suppose 0 = -2*h + 7*h - c - 60, -4*h = -2*c - 48. Does 2 divide h?
True
Suppose 3*j + 15 = 2*q, -3*j = -q - 3 + 6. Is 5 a factor of q?
False
Suppose 0 = 4*x - 2*x - 66. Is x a multiple of 33?
True
Let i be 3/24*2*4. Let z(j) = 10*j + 1. Does 8 divide z(i)?
False
Suppose 0 = -5*s + 32 + 43. Does 11 divide -5*((-69)/s - 2)?
True
Let s = 7 - 4. Suppose -133 = -s*q + o, -2*o = -2 + 4. Does 11 divide q?
True
Suppose 4*i - i + 4*b - 4 = 0, -4*b + 4 = i. Suppose -16 = 2*q - 4*t, q - 5*t = -i*t - 23. Suppose 52 = s + 2*s - 4*d, -q*d = 3*s - 82. Does 7 divide s?
False
Suppose -5*x = -5*t + 325, -8*t + 357 = -3*t + 3*x. Does 23 divide t?
True
Let j(v) = v**2 - 6*v + 3. Let h(x) = 3*x - 6. Let q be h(4). Let r be j(q). Suppose 0 = c - r. Does 2 divide c?
False
Suppose 11*z - 329 = 133. Is 21 a factor of z?
True
Suppose -30 - 60 = -10*t. Is t a multiple of 5?
False
Suppose -2*a + 69 - 21 = -5*g, 148 = 4*a + 3*g. Is 17 a factor of a?
True
Let w(d) = 63*d + 1. Let x be w(1). Let t = x - 31. Is 16 a factor of t?
False
Let z(q) = q**2 + 3*q + 1. Let x be z(-1). Is 24 + (-1 + x - -3) a multiple of 13?
False
Does 17 divide -3*(-3 + 2) + 65?
True
Suppose -3*k + 5*h + 141 = 47, -4*k = -3*h - 140. Is 19 a factor of k?
True
Let v(y) = y**3 + 7*y**2 + 5*y + 6. Let u be -1 - (2 + 0/(-3)). Let r = -8 - u. Is v(r) a multiple of 16?
False
Suppose 3*a = -4*l + l - 12, -4 = 5*a + l. Suppose 0 = -a*z + z - 4. Suppose -z*f + 5*i + 31 = 0, 5*f + 3*i = 7 + 4. Does 4 divide f?
True
Let o(t) = 11*t + 7. Let f(q) = 5*q + 3. Let i(d) = 5*f(d) - 2*o(d). Let m be i(-1). Is (m - -4)/((-2)/(-25)) a multiple of 10?
False
Let j = -4 + 19. Does 11 divide j?
False
Suppose s - 18 = 26. Does 21 divide s?
False
Let w be (3 + (-13)/5)*5. Suppose -w*q + 2*p - 34 = -94, q = -3*p + 38. Does 16 divide q?
True
Let n(y) = 3*y + 73. Is n(-18) even?
False
Let r(k) = k**3 + 4*k**2 + 2*k + 5. Let n be r(-4). Let u = n - -10. Suppose -u = -i + 9. Is i a multiple of 6?
False
Let y(j) = j**2 + 4*j. Let h be y(3). Does 14 divide 2/(-7) + 510/h?
False
Suppose 2 = -3*p + 17. Suppose 4*a + 3 = p*a. Suppose 0 = -4*q - 3*u + 90, 2*u = a*q - 0*u - 76. Is 14 a factor of q?
False
Let x = -194 + 274. Is 20 a factor of x?
True
Suppose -o = -0*o - 4. Suppose o*p = 4*l - 8 - 20, 2*p + 2 = -2*l. Suppose y - 8 = 5*d, l*d + 133 - 49 = 5*y. Is y a multiple of 9?
True
Let r(z) = -12*z - 9. Does 17 divide r(-6)?
False
Suppose -2*v - v - 2*p + 5 = 0, -5*p - 35 = -2*v. Suppose 0*y - 2*y = -5*q + 92, -5*y = -v*q + 80. Is 11 a factor of q?
False
Let v be 24/14 + 2/7. Suppose v*h + 0 = 6. Is h a multiple of 2?
False
Suppose 0*j = -4*w - j - 13, -3*w - 4 = -5*j. Let y = 49 - w. Does 