0)?
True
Let m(g) = -18*g**3 - g**2 - g - 1. Suppose 0 = 4*o - 3 - 1, -c - 5*o = -5. Suppose -s + u + 4 = 9, c = -5*s - 2*u + 3. Is 17 a factor of m(s)?
True
Suppose -1 + 10 = 3*q. Suppose -2*y + 25 = x, q*y - 5*y + x = -27. Is 13 a factor of y?
True
Let v(f) = 9*f - 2. Let t be v(-4). Let i = t + 54. Is i a multiple of 7?
False
Let g be 2/(-1) + 1 + -1. Let m = -2 - g. Let f = m + 5. Does 4 divide f?
False
Suppose 0 = 7*o - 3*o. Suppose 4*k + o*w - 47 = -w, 3*w - 11 = -2*k. Is k a multiple of 5?
False
Let h(n) = n**3 + 6*n**2 + 5*n + 3. Is h(-5) a multiple of 3?
True
Suppose 4*n + 72 = -5*d + 736, -3*n + 3*d = -471. Is 23 a factor of n?
True
Let z(t) = t**3 - 7*t**2 - t + 3. Let j be z(7). Let d(p) = -4*p - 1. Is d(j) a multiple of 15?
True
Let z be (20/(-1) - -2)/(-2). Does 6 divide 45/(z/3) + 1?
False
Let j = 38 - 11. Is j a multiple of 9?
True
Let w(z) = z**3 - 6*z**2 - 6*z - 5. Let a(r) = -4*r - 1. Let m be a(-2). Let s be w(m). Let g(f) = f**2 - f. Is g(s) even?
True
Let f be (0 + 0 - 3) + 3. Suppose f*w = 3*w - 90. Is w a multiple of 11?
False
Suppose -3*l + 2*s = -l - 12, -3*s = -4*l + 19. Let g be (-2)/(6/(-3))*l. Is g/((-2)/(-8))*6 a multiple of 12?
True
Let z(s) = -s**2 + 4*s + 5. Let h be z(5). Let g = h + 8. Is 4 a factor of g?
True
Let n be 2*-5*1/(-2). Suppose 2*l = -2*a + 106, 211 = 2*l + 2*l + n*a. Does 11 divide l?
False
Let b = 23 + -15. Suppose 15 = 5*v, -3*v + 5 = o - b. Does 3 divide o?
False
Let c(z) = 10*z**2 + 3*z - 1. Let t be c(-2). Suppose 0 = 3*a + 4*m - 79, 5*a = -2*m + t + 94. Is a a multiple of 10?
False
Let j = -4 + 6. Is 9 a factor of (10 + 1)/(j/8)?
False
Let j be -12*((-9)/(-6) + -2). Let z = j - -20. Is 13 a factor of z?
True
Suppose 2*t - 73 = -5*j, -2*t + 0 = j - 69. Is 10 a factor of t?
False
Let t be 185/(-20) + 3/12. Let c = t + 11. Suppose 2 = l - 3*l, -c*j - 3*l = -55. Is j a multiple of 9?
False
Suppose 0 = 9*g - 119 + 11. Is g a multiple of 12?
True
Let a(j) = -j**2 + 5*j + 7*j + 3 + 1. Suppose -12 = -k - 6. Does 14 divide a(k)?
False
Let n = -53 + 199. Is 20 a factor of n?
False
Let k = 602 - 378. Is 16 a factor of k?
True
Let c = -83 - -138. Is 15 a factor of c?
False
Suppose 2*y - 31 + 13 = 0. Suppose n + 6 = 3*o, 3*o = -n + y + 3. Suppose -2*a - 2*a - 14 = -x, -9 = -o*a. Is 15 a factor of x?
False
Let j = -5 - -13. Suppose -7 = -3*x + j, 3*p - x + 20 = 0. Let f = p - -17. Does 5 divide f?
False
Let g(m) be the second derivative of m**3/6 - m**2/2 - 2*m. Let v be g(1). Is 4 a factor of 1/(v + 3/30)?
False
Let s = -7 + 27. Does 2 divide s?
True
Suppose 0 = 2*j + j + 9. Let h be 15*j/(18/(-10)). Suppose -4*v = -h - 91. Is 13 a factor of v?
False
Let r be (-3 - 0)*(-8)/12. Suppose 3*t + r = 4*t. Suppose 68 - 14 = 2*o + t*f, f + 39 = 2*o. Is 11 a factor of o?
True
Is 11 a factor of 116 - (-2 + 4 + 1)?
False
Let f = 130 - -50. Suppose 0 = 2*l + 4*l - f. Is l a multiple of 10?
True
Let i(s) = 2*s + 12. Is i(16) a multiple of 11?
True
Let g be 90/12*8/(-5). Is 19 a factor of 440/14 + g/28?
False
Suppose 3*l - 396 - 24 = 0. Is l a multiple of 27?
False
Suppose 4*u = -5*h + 70 + 5, -2*u + 54 = 4*h. Suppose h = 4*i - 109. Does 10 divide i?
True
Let k(z) = -z**3 - 3*z**2 + 3*z - 1. Let q be k(-4). Is q/12 - (-35)/4 a multiple of 2?
False
Let r = -1 - -5. Suppose 0 = -r*p + 1 + 7. Is p + (-4 - 0) + 9 even?
False
Let k(s) = 8*s**3 - s**2 + s + 4. Let f be k(-4). Is (0 - -3) + f/(-8) a multiple of 23?
True
Suppose 0 = -4*a + a + 15. Let g = -5 - -9. Suppose 0*i - g*k + 76 = 4*i, a*i - 5*k = 125. Is 11 a factor of i?
True
Suppose 3*p - 13 + 4 = 0. Suppose 4*y = p*y + 13. Is y a multiple of 4?
False
Let t = 481 + -324. Is 13 a factor of t?
False
Let h(z) = -z**2 + 4*z - 3. Let t be h(3). Suppose y = -t*y + 21. Does 11 divide y + 2 + -2 + 1?
True
Let o(f) = f**3 + 2*f**2 - 3*f. Let v(r) = -r. Let s be v(3). Let p be o(s). Suppose -y + 2*q + 2*q - 6 = 0, -5*y + q + 27 = p. Does 4 divide y?
False
Let z(q) = -q**3 - 4*q**2 + 9*q + 5. Does 22 divide z(-6)?
False
Suppose -5*z + 3*z = -4. Suppose -2*n - 4*t - 45 = -3, -60 = 4*n + z*t. Let c = -4 - n. Does 9 divide c?
True
Let y = 418 + -208. Is 15 a factor of y?
True
Let h(l) = -l**2 - l + 2. Let j be h(-2). Let s(z) = -z**2 - z + 27. Is s(j) a multiple of 23?
False
Let y(v) = 17*v**3 - v + 1. Let o(s) = 2*s**2 + 2*s + 1. Let q be o(-1). Let n be y(q). Suppose -n = -4*c + 19. Does 9 divide c?
True
Let f be (-24)/(-14) - 4/(-14). Is ((-48)/4)/((-3)/f) a multiple of 5?
False
Suppose 4*s - 4*a = 253 - 805, -5*a = -2*s - 285. Is 14 a factor of (-2)/(6/s) + 1?
False
Suppose 5*p + 16 = 86. Does 3 divide p?
False
Is 21 a factor of 0 + 0 + 4 - -27?
False
Is 28 a factor of ((-515)/10)/(1/(-2))?
False
Let a(r) = r**2 - 6*r - 2. Let j be a(7). Suppose -3*t - 5*s = -31, 5*t = j*s + 21 + 84. Is 5 a factor of t?
False
Let w be (-187)/(-3) - (-3)/(-9). Suppose w = 2*c - 5*f, c = -c + f + 70. Does 9 divide c?
True
Let w be 2/(-8) - (-20)/16. Let n be (-5)/((-2)/(-2)) - w. Is (n/4)/((-21)/28) even?
True
Let u = -30 - -51. Suppose 5*g = 0, -3*c + 24 = 3*g - u. Is 4 a factor of c?
False
Is 12 a factor of (-2 + (-66 - -4))/(-2)?
False
Let v(r) = 9*r - 1. Let u be v(1). Suppose u = 2*k - 4. Is 11 a factor of ((-8)/2)/(k/(-33))?
True
Let x be ((-4)/(-3))/(1/3). Suppose 0 = -x*v + v + 9. Suppose -5*u - 55 = -3*o, -v*u + u = 4. Does 15 divide o?
True
Does 2 divide (-34)/289 - 87/(-17)?
False
Let f(j) = -j - 4. Let a be f(-8). Suppose -u - a*u + 180 = 0. Is u a multiple of 18?
True
Let h(r) = r**3 - 9*r**2 - 8*r - 12. Let s be h(10). Let v(g) = -g**2 + 10*g - 2. Is 6 a factor of v(s)?
False
Let f = 553 + -109. Does 10 divide f/22 + 10/(-55)?
True
Is 10 a factor of 712/(-28)*-7 + 4/2?
True
Let c = 8 + -4. Suppose 6 = -c*z + 58. Does 4 divide z?
False
Let o be -1*((-5)/1 + 1). Suppose -f + 1 - 5 = -2*k, 4*f + 4*k - 8 = 0. Suppose o*i - 44 - 36 = f. Is 8 a factor of i?
False
Suppose -4*j - 2*b = -30, 4*j + 5*b - 45 = -0*j. Suppose -20 = -3*h + j*f + 74, 0 = 5*h + f - 194. Is h a multiple of 10?
False
Suppose 2*b + 0*b + 22 = -4*m, 2*b - 23 = 5*m. Let g(l) = -l**3 - 5*l**2 - 1. Let r be g(m). Does 8 divide r/((3/26)/(-3))?
False
Does 13 divide (-40)/100 - 984/(-10)?
False
Let s be 2/(-6) - 520/(-12). Suppose -3*h = d - s, -d = -4*h - 0*d + 55. Is h a multiple of 6?
False
Let x(w) = -w**2 - 5*w + 6. Let d be x(-6). Suppose -5*u - 3*i + 131 = 0, 5*u - 3*i = -d*u + 149. Is u a multiple of 6?
False
Let f(l) = 2*l**2 + 3*l. Let c be f(-3). Let t = c + 27. Is 9 a factor of t?
True
Let g be 3/((-15)/2)*5. Let m(v) = 31*v - 2. Let s be m(g). Let q = 108 + s. Is q a multiple of 16?
False
Suppose -196 = -4*j + 48. Is 18 a factor of j?
False
Suppose -5*g + 7*c = 2*c - 50, 0 = 2*g + 5*c - 55. Suppose 2*b - g = 5*t, 2*t + 2*t = -b + 1. Suppose 2*f - 5*h + 5 = 0, b*f + 3*h = h + 31. Is 2 a factor of f?
False
Let f(r) = r**2 - r - 2. Let t be f(-3). Let x be t*((-8)/(-10))/2. Suppose -x*p - 5*n + 62 = 0, -11 = -p + 2*n - n. Is p a multiple of 13?
True
Suppose 7*s = 4*s + 3*a + 15, -5*s - 2*a = -4. Suppose 0 = -5*t - s*y + 121, t - 80 = -3*t + 4*y. Let p = t - 1. Does 13 divide p?
False
Suppose z - 6*z + 15 = 0. Suppose 2*m + b = -z*b + 32, -3*b = 3*m - 60. Does 10 divide m?
False
Suppose f + 35 = 107. Does 12 divide f?
True
Suppose -3*m = 5 - 20. Suppose 5*q - 25 = h, -3*q - m*h + 0 = 13. Suppose 3*l = 44 + q. Is l a multiple of 8?
True
Let v = 12 - -6. Does 5 divide v?
False
Suppose -4*f = 11 + 9. Suppose -4*s = -6*s + 22. Let m = s - f. Is m a multiple of 6?
False
Is 12 a factor of 48*(3/(-1) - -4)?
True
Suppose -2*t + 0 = -2*b + 8, -4 = 4*t - b. Suppose -2*w + 16 + 16 = t. Is 8 a factor of w?
True
Is 6 a factor of 232/10 - (-3)/(-15)?
False
Suppose -4*m + 253 = 37. Does 17 divide m?
False
Let w = -5 - -4. Let x be 1/(w + 1 - 1). Let i = x + 7. Is i a multiple of 6?
True
Let q(i) = i**3 - 4*i**2 - 6*i + 7. Let h be q(6). Let r = 76 - h. Does 32 divide r?
False
Suppose -6 = -5*b + 6*b. Is 6 a factor of (-16)/2*b/4?
True
Suppose 0 = -4*l - 5*n + 24, -64 = -4*l + 3*n + 2*n. Is 3 - (2 - (-2 + l)) a multiple of 5?
True
Let w = -5 + 5. Let i(b) = -4*b**2 + 2*b**2 + b**2 + 7. Does 4 divide i(w)?
False
Let y(f) = -f**3 + 12*f**2 + 2*f - 16. Is 8 a factor of y(12)?
True
Let g(f) be the third derivative of f**5/60