iple of 13?
True
Let r(k) = -3*k**2 - 5*k - 4. Let z(f) = 10*f**2 + 14*f + 11. Let s(b) = -7*r(b) - 2*z(b). Is 28 a factor of s(6)?
True
Let g(j) = -j**3 - 4*j**2 - 3*j + 6. Let t be g(-5). Suppose 2*h + o = 30, -t - 23 = -5*h - o. Is h a multiple of 13?
True
Does 10 divide -1*2 + 465/15?
False
Suppose 2*a + 3*a = 355. Suppose 0 = 4*v - 5*g - a, -4*v - g + 111 = 2*g. Does 12 divide v?
True
Let z be (-3)/9 + 21/9. Is 7 a factor of (2 - (3 - z)) + 13?
True
Is 11 a factor of ((-27)/6)/((-5)/50)?
False
Suppose 4*n + a = 67, -86 = 4*n - 9*n + a. Is n a multiple of 12?
False
Let i(h) = h**2 - h - 14. Let o be i(0). Let u = o - -36. Is 11 a factor of u?
True
Is 26 a factor of ((-39)/(-2))/(19/16 - 1)?
True
Suppose -3*t - 3*b + 0*b + 138 = 0, 6 = -3*b. Is 16 a factor of t?
True
Let a be 46/10 - 4/(-10). Suppose -2*g = -4*u + 74, 0 = -3*g + a + 4. Is u a multiple of 13?
False
Let j(y) be the third derivative of -y**5/60 - y**4/6 + y**3/6 + 2*y**2. Let v be j(-3). Suppose v*t = -t + 25. Is 5 a factor of t?
True
Let s be 14/3*3/2. Suppose -w - z + 16 = -5*z, -4*w + s = 3*z. Suppose w*q - 5*t - 143 = q, -5*t = 20. Does 21 divide q?
False
Let p be 150 - -1 - (-2 - -3). Let j = p + -65. Does 29 divide j?
False
Let b(l) = -l**2 + 3*l - 2. Let o be b(2). Suppose o = -3*f - f - 56. Does 6 divide (3/6)/(-1)*f?
False
Let l(p) = -p. Let i be l(3). Let k be (-6)/i + (-7)/(-1). Let z = k + -1. Does 4 divide z?
True
Let o = -40 - -80. Suppose -2*b = 2*b - o. Is (-2)/(-10) - (-518)/b a multiple of 16?
False
Let b be 6 - (-1)/(-1) - 2. Suppose 0 = 5*u + 20, 2*u + b*u = 2*j - 36. Is j a multiple of 6?
False
Let a be 1*(12 - -1)*1. Suppose a = 5*i + 3. Suppose -3*w + 79 = -0*w + g, 0 = w - i*g - 38. Is w a multiple of 15?
False
Let w(p) = p - 3. Let y be w(6). Suppose 7*o - 184 = y*o. Is o a multiple of 23?
True
Let v(c) = 10*c + 1. Let z be v(-4). Let x = z - -72. Is 14 a factor of x?
False
Suppose 4*b - 736 = 4*j, 742 = 4*b + j + j. Does 37 divide b?
True
Let n be (-115)/(-5) + 1 + 1. Let v = n + -10. Is v a multiple of 15?
True
Let b(d) = 8*d + 6. Is b(9) a multiple of 19?
False
Let u(l) = l**3 + 7*l**2 + 3*l - 1. Let c be (-2)/(-6) - (-30)/(-9). Is 13 a factor of u(c)?
True
Suppose 7*c - 115 = 2*c. Let o = -31 + 22. Let f = o + c. Is f a multiple of 4?
False
Let f(p) = -19*p + 1. Let m be f(-3). Suppose -10 - m = -2*j. Does 17 divide j?
True
Let g = -1 + 0. Let c be (g/(-3))/((-5)/(-1830)). Suppose 0 = -5*v + 58 + c. Is v a multiple of 10?
False
Suppose 5*y - 372 = 3*q + 267, 3*y + 3*q = 393. Does 15 divide y?
False
Let k be (-22)/(-3) - (-6)/9. Let a = 11 - k. Suppose 90 = a*d + 2*d. Does 7 divide d?
False
Let u = 16 - -30. Does 16 divide u?
False
Let c(b) = 40*b. Let z be c(1). Suppose u + 3*u + z = 0. Is 10 a factor of ((-8)/u)/((-3)/(-45))?
False
Let k(s) = s**3 + s + 4. Let u be k(0). Suppose -3*z = -26 - u. Does 10 divide z?
True
Let n = 3 - -3. Does 11 divide (-986)/(-30) + n/45?
True
Suppose -3*o = -2*j + 6, -4*j - 2 = -4*o - 10. Is 9*(-4)/(-3) + j a multiple of 6?
True
Suppose h - 5*t = -h + 114, 3*t = -5*h + 223. Is h a multiple of 8?
False
Let m(c) = c**3 - 10*c**2 + 9*c + 1. Let u be m(8). Let h = u + 91. Does 9 divide h?
True
Let w(r) = -2*r**3 - 6*r**2 + 9*r + 9. Is 19 a factor of w(-6)?
True
Suppose -2*q - 11 = -3, 3*r = -3*q + 183. Does 26 divide r?
False
Let o be ((-2)/(-4))/(1/(-2)). Let j(y) = 41*y**2 - y - 1. Does 16 divide j(o)?
False
Let c = -7 + 11. Suppose 2 = t - 3. Suppose -l = t*y - 31, c*y - 22 = -2*l + 4*l. Is y a multiple of 5?
False
Let a(w) = w - 2. Let i be a(2). Let d(b) = -b. Let m be d(i). Suppose g + 5*l = 22, 5*g - 139 = -m*l + 4*l. Does 15 divide g?
False
Let g(m) = 3*m**2 + 17*m - 12. Is g(-7) a multiple of 3?
False
Let r = -75 - -187. Is r a multiple of 11?
False
Let c(v) = 15*v**2 + 8*v + 2. Is 42 a factor of c(-4)?
True
Suppose 3*f - 52 = -4*s, -14 = -f - 2*s - 0*s. Is 6 a factor of f?
True
Let q(r) = 11*r**2 + 3*r. Let u be q(-2). Suppose u = 5*b - 47. Does 12 divide b?
False
Let m(y) = -y**2 - 14*y + 15. Is m(-14) a multiple of 12?
False
Let o(m) = -62*m + 4. Let k be o(-7). Suppose -62 = 4*v - k. Suppose 3*q + 0*a - a = v, -5*a - 54 = -2*q. Is 16 a factor of q?
True
Let t(u) = u**3 + 9*u**2 + 8*u + 4. Let s(n) = n + 8. Let j be s(-7). Let v be (-2 - j)/(12/32). Is t(v) even?
True
Suppose -4*t + 244 = 3*k + 97, -245 = -5*k + 4*t. Does 7 divide k?
True
Suppose -3*m - 40 = -4*p, 0 = p - 0*p + 4*m - 10. Let c = -8 + p. Suppose v + c*h - 62 = 13, 4*h + 276 = 4*v. Is 18 a factor of v?
False
Suppose 6 = 4*x - 74. Does 15 divide x?
False
Let y(q) = -q**2 + 11*q + 4. Let p(r) = 2*r**2 - 21*r - 7. Let x(o) = -4*p(o) - 7*y(o). Is 4 a factor of x(5)?
False
Suppose n + 7*o - 11 = 4*o, 2*n + 4*o - 30 = 0. Is n even?
False
Does 6 divide (8 - -2)/((-1)/(-2))?
False
Suppose 4*r - j = 98, -4*r - 5*j + 62 = -24. Does 19 divide r?
False
Suppose -45 = -o - 2*a, -2*o = -4*o + 4*a + 106. Let s = -33 + o. Is s a multiple of 7?
False
Let v(l) = l**2 + l. Let y be v(0). Suppose 5*x - 251 + 21 = y. Suppose x = w - 6. Does 19 divide w?
False
Suppose -57 + 19 = -y. Suppose -5*k = 13 - y. Is 2 a factor of k?
False
Suppose -3*y + d = -7*y + 32, -d = 0. Is 9 a factor of 16/y - (-34 - 0)?
True
Let o(d) = 4*d + 3. Let k be o(-3). Let m = -27 - k. Let i = m + 31. Is i a multiple of 11?
False
Let f be (-74)/(-14) + (-4)/14. Suppose -5*i + 4*k = 23, f*i - 2*k = 3*k - 25. Does 2 divide (i - (-2)/(-2))/(-2)?
True
Let i(d) = -d**3 - 6*d**2 + 2*d + 9. Is 11 a factor of i(-7)?
True
Let x(p) = 13*p**2 - p. Let c be x(-2). Let r be c - ((1 - 1) + 1). Is 8 a factor of 2/(-3) - r/(-3)?
False
Suppose -q - 3 = 7. Does 3 divide (q/6)/1*-3?
False
Let i be 2/(-2)*4*55. Is 22 a factor of ((-2)/(-5))/((-2)/i)?
True
Suppose -5*a + 44 + 166 = 0. Does 13 divide a?
False
Let q = -11 + 14. Let n(a) = a**3 - 4*a**2 + a - 4. Let t be n(4). Suppose t*w + 108 = q*w. Is 12 a factor of w?
True
Let m = -16 + 64. Does 12 divide m?
True
Let r be (2*4)/(1 + 1). Suppose r*m = -m + 420. Is m a multiple of 21?
True
Let x be (33 - (-1 - -3)) + -1. Does 4 divide (6/(-5))/((-9)/x)?
True
Let j be 0*4/(3 - 7). Suppose 3*y + 2*y = 0. Suppose y = -m + 7 - j. Is m a multiple of 3?
False
Let u = -36 + 60. Is 8 a factor of u?
True
Let n(a) = 5*a - 14. Is 4 a factor of n(8)?
False
Let w be (-1500)/28 + (-3)/7. Is ((-13)/3)/(2/w) a multiple of 31?
False
Let p = 26 + -16. Is p a multiple of 10?
True
Let c(h) be the third derivative of -h**5/60 + 3*h**4/8 - h**3/3 - h**2. Suppose 0 = w - 1 - 1, -w = n - 9. Is 6 a factor of c(n)?
True
Let n(q) = q**3 - 3*q**2 - q + 4. Let w be n(4). Suppose 0 = -3*l + 12 - 0. Suppose w = l*t - 8. Is t a multiple of 6?
True
Let l be (-3)/6*-2*-5. Let m = l + 8. Let w(p) = 8*p - 3. Does 10 divide w(m)?
False
Suppose -2*f = -163 - 23. Does 10 divide f?
False
Let k(d) be the first derivative of 2 + 0*d**2 + 1/3*d**3 + 3*d. Is k(4) a multiple of 14?
False
Let n(z) = -4*z**2 + 3*z - 7. Let k(w) = w**2 - w + 1. Let t(f) = -3*k(f) - n(f). Is t(0) even?
True
Let o = 4 - 4. Is 6 + o/(-2 - -4) a multiple of 3?
True
Let a(k) = -k**2 + 10*k - 3. Let b be 3/((-18)/(-15))*2. Does 11 divide a(b)?
True
Let x(j) = -7*j**3 - j**2 - 1. Is x(-2) a multiple of 11?
False
Let n(u) = u**2 - 15*u + 8. Does 24 divide n(-8)?
True
Let t(k) be the second derivative of 0 + 1/12*k**4 + 3/2*k**2 + 3*k + 1/6*k**3. Is t(-4) a multiple of 10?
False
Suppose -69*z - 177 = -66*z. Suppose -9 = 3*o + 87. Let w = o - z. Does 9 divide w?
True
Let m = -12 - -15. Let g(o) = o**3 - 3*o**2 + 2*o + 2. Is g(m) a multiple of 2?
True
Suppose 0 = -x - t - 12, -5*x - 20 = -7*t + 4*t. Let p(w) = -w - 7. Let u be p(x). Suppose u*k = 5*k - 25. Is k a multiple of 5?
True
Suppose -152 - 322 = -3*n. Is n a multiple of 31?
False
Let m(i) = i**2 - 2*i + 7. Let g = -6 + 11. Suppose -35 = -5*s + 4*o, o = g*o. Is 21 a factor of m(s)?
True
Suppose 5*g = g + 2*z + 10, 11 = -g - 4*z. Let f be ((-42)/12)/(g/6). Let c = -8 - f. Does 8 divide c?
False
Let n = 88 + 12. Is n a multiple of 27?
False
Let a = 120 + -49. Is a a multiple of 8?
False
Let a = -4 + 8. Suppose -2*v = -0*v - 56. Suppose -2*l + v = -a. Does 8 divide l?
True
Let i(h) = -h + 6. Let l be i(0). Let t(q) = 9*q + 8. Let s be t(l). Suppose -2*y + s = -0*y. Is y a multiple