 -5*m = r - 2*r. Suppose r*q - 82 = -4*l + 80, -5*l - 105 = -4*q. Is q a multiple of 10?
True
Let l(h) be the first derivative of -h**4/4 + h**3 - h**2/2 - 3*h - 2. Let a be l(3). Let d(w) = -w**2 - 8*w + 4. Does 8 divide d(a)?
True
Let q(m) = 5*m - 1. Let p be q(-2). Let d = 1 - p. Does 4 divide d?
True
Let z(y) = 3*y. Let w(h) = -h. Let d(i) = 2*w(i) + z(i). Let x be d(2). Suppose x*o - 170 = -3*o. Is o a multiple of 17?
True
Suppose 0 = c - 2*c + 4. Suppose -f - 263 = -3*o - 2*o, c*f = -3*o + 144. Is o a multiple of 13?
True
Let b = -151 - -189. Is 38 a factor of b?
True
Let a be (-14)/(-3) - (-3)/9. Suppose -15 + 0 = -a*i, 0 = -3*m + i + 240. Suppose m = 2*b + 25. Does 14 divide b?
True
Suppose 3*f + 31 = -5*l, -1 = -2*f + 3*l - 9. Let o = f - -24. Is o a multiple of 6?
False
Let z be -1*(-2)/(-4)*0. Suppose 4*h - 80 = -z*h. Does 10 divide h?
True
Let q = 76 - 28. Is 13 a factor of q?
False
Let k(a) = a - 1. Let m be k(-6). Suppose -p + 28 - 3 = 0. Let g = p + m. Is g a multiple of 9?
True
Let a be (-9)/(-9) - (-1 + 1). Let l = a + 2. Suppose -r = -5*x - 6*r + 155, -l*x - 2*r = -93. Is x a multiple of 10?
False
Let u(p) = -5*p - 7. Suppose -3*x + 2*x - 10 = 0. Is u(x) a multiple of 15?
False
Suppose 0*q - 205 = -5*q. Let y = 71 - q. Is y a multiple of 7?
False
Let k = 148 - 85. Does 21 divide k?
True
Let d = 34 - -26. Does 12 divide d?
True
Suppose 0 = -0*p - 3*p - 3*k, 3*p - 32 = 5*k. Suppose 2*g + 2*z = 180, 7*g - 2*z = p*g + 295. Is 21 a factor of g?
False
Let c(m) = 5*m + 2. Let w be c(-3). Let x = -10 - w. Does 2 divide x?
False
Suppose 3*l - 8 = -l. Suppose -24 + 98 = l*c. Is 15 a factor of c?
False
Suppose 612 = 5*w - 5*g + 177, -5*g - 87 = -w. Is 29 a factor of w?
True
Let b(g) = -g**3 - 9*g**2 - 9*g + 2. Let m be b(-8). Let o(d) = d**2 + 6*d + 2. Let a be o(-6). Suppose -a*k + 26 + m = 0. Is k a multiple of 9?
True
Let o be ((-3)/2)/(6/8). Is (o/(-6))/((-5)/(-135)) even?
False
Suppose 0 = 5*d - 152 - 633. Suppose -53 - d = -5*i. Does 14 divide i?
True
Suppose 3*b + 0*p - 805 = 2*p, 532 = 2*b + p. Suppose 5*a - 102 = 2*s + 161, -3*s = -5*a + b. Suppose -5*x - a = -8*x. Is 13 a factor of x?
False
Suppose -23*y + 24*y - 15 = 0. Does 15 divide y?
True
Suppose -y = 2*y + 9. Let j be 2 - (y/1 + 2). Is 3 + 13*12/j a multiple of 21?
False
Suppose 0*p = p + 14. Let f = 10 - p. Is f a multiple of 17?
False
Suppose -10 + 500 = 5*d. Is d a multiple of 7?
True
Let r = 6 - 11. Let y = -3 - r. Is 23 a factor of (-3)/(-1 + y) - -46?
False
Let m be ((-1)/2)/((-4)/200). Let t = 56 - m. Let p = 47 - t. Is p a multiple of 12?
False
Suppose 2*w - 34 = 2*y, 2*w - 3*y = -2*w + 71. Is 20 a factor of w?
True
Let g be 4/((-48)/(-15))*-8. Does 22 divide 438/10 - 2/g?
True
Let f(q) = -2*q**3 - 8*q**2 + q - 1. Let y be f(-6). Let l = y - 92. Is l a multiple of 13?
False
Let u = -45 - -87. Is u a multiple of 14?
True
Let t = 76 - 44. Suppose 4*o - t = -0*o. Does 4 divide o?
True
Let m be (2 - -1)*(-40)/15. Let x(i) be the first derivative of i**2/2 + 10*i - 1. Is x(m) a multiple of 2?
True
Suppose 12 = 3*j - 0. Suppose g - 36 = -2*a, -3*g - j*a + 5*a + 115 = 0. Is 14 a factor of g?
False
Suppose -k + 4*k = 258. Is 13 a factor of k?
False
Let b(s) = s**3 - 12*s**2 + 13*s + 8. Let d = 10 + 1. Does 15 divide b(d)?
True
Suppose 2*f - 134 = -38. Is f a multiple of 30?
False
Let f = 16 + -7. Let i be (-1)/(-4) + f/(-4). Is 15 a factor of -3 + i + 35 + -2?
False
Let c(u) = -u + 6. Let g be c(6). Let m(t) = t**2 + t - 2. Let n be m(2). Suppose 5*o = s + 61, 2*o + n*s - 42 = -g*o. Does 13 divide o?
True
Is 287/7 - -2*1 a multiple of 16?
False
Suppose n - 5 = -4*z, -4*z - 1 = -5. Suppose -3*x - r + 57 = 0, 5*r + 14 + n = 0. Is 13 a factor of x?
False
Suppose 0 = 16*l - 18*l + 54. Is 9 a factor of l?
True
Is (-58)/(1 + 2 - 4) a multiple of 19?
False
Let z be (2 + 2 + 0)*1. Suppose 0 = -5*k + z*m - 10, -7 = -2*k - m + 2. Suppose -v = -k*v + 8. Is 3 a factor of v?
False
Let x = 41 + -32. Is x a multiple of 4?
False
Let p be 2 + (1 - 3) + 2. Let f be p/(-2) + (-57)/3. Is 11 a factor of 2 + f/(-2) - 1?
True
Let r be (-3)/12 + (-8322)/24. Let o = -247 - r. Is o a multiple of 23?
False
Let a = -6 - -11. Suppose 12 = -t + a*t. Suppose 3*q + 23 = -3*v + 5*v, 4 = v - t*q. Is v a multiple of 13?
False
Let d(k) = -47*k**2 + k. Let y be d(-1). Let p = -27 - y. Suppose -2*n + p + 7 = 0. Is 5 a factor of n?
False
Suppose -4*q + 40 = -0*q. Does 3 divide q?
False
Suppose 4*h + 1 + 3 = 0, 0 = 4*q - h - 1. Let p(k) = -3*k + 1 + 2 + 6 + q*k. Is 13 a factor of p(-8)?
False
Let j = -23 + 34. Let l be 10/6 + 3/9. Does 5 divide (1 + l + -2)*j?
False
Let u(b) = b**2 + 16*b + 19. Is 4 a factor of u(-15)?
True
Let n(t) = -t**2 - 14*t + 16. Does 10 divide n(-12)?
True
Suppose 0 = -m - 2 - 3, -16 = w + 2*m. Let u be 2/w + (-16)/(-3). Suppose r - u = 2*a - 70, -4*a + 105 = 3*r. Is a a multiple of 15?
True
Suppose 0 = -10*i + 5*i - 5. Let n(z) = -32*z**3 - z**2 - z - 1. Does 31 divide n(i)?
True
Let y = 58 + -106. Is 1/(1 - (-46)/y) a multiple of 7?
False
Is 4 a factor of 4*(0 - -4*2)?
True
Suppose -4*d + 4*s = -56, -2*d - s - 10 = -32. Is 2 a factor of d?
True
Let i be (-3)/(-2) + 48/32. Suppose -20 = i*y - 4*y + 2*p, -22 = -y + p. Is y a multiple of 6?
True
Is 31 a factor of 252 + -2 + (-8)/(-12)*-3?
True
Let a = 39 + 117. Does 39 divide a?
True
Let u be ((-18)/12)/((-3)/8). Suppose 0 = 2*n + 6, 4*k - u*n = -7 - 69. Is ((-1)/(-1))/((-2)/k) a multiple of 3?
False
Does 44 divide 24/1*(2 - -7)?
False
Suppose -107 = -y + 14. Is y a multiple of 14?
False
Let p(k) = k**3 - 6*k**2 + 7*k - 7. Let l be p(5). Suppose 58 = 3*x + 5*h, 8 = 3*x - 2*h - l*h. Is x a multiple of 11?
True
Suppose -j = -2*p + 7*p - 475, 0 = 3*j + 15. Is p a multiple of 16?
True
Let l(g) = 12*g**2 - 2*g + 3. Let x be l(-3). Suppose 2*w = -w + x. Is w a multiple of 13?
True
Let r be -1*(-20)/((-1)/(-1)). Let l = -9 + r. Let x = 9 + l. Does 8 divide x?
False
Let q(i) = i**2 + 7*i - 3. Let w(v) = v**2 + 7*v - 2. Let z(k) = 4*q(k) - 5*w(k). Does 4 divide z(-6)?
True
Let x be 3/(6/(-3) - -3). Suppose -4*r = -x*r - 9. Is 9 a factor of r?
True
Let p be 7 - 3*(-4)/(-6). Suppose -p*g + 3*g + 42 = 0. Let s = 60 - g. Is s a multiple of 13?
True
Let s = -108 - -190. Is 26 a factor of s?
False
Let m = -1 + 4. Let b be 22/4 + (-2)/4. Suppose b*n - m*v + 8*v - 65 = 0, n - 12 = -2*v. Is 7 a factor of n?
True
Let y be 82/7 - 4/(-14). Let s(a) = -9*a - 4 + 1 + a - y*a. Is 15 a factor of s(-2)?
False
Let l = -108 - -158. Suppose -d - d + l = 3*f, -5*f - 4*d = -84. Is 8 a factor of f?
True
Suppose -5*i - 333 + 29 = -3*z, -4*i + 4 = 0. Is 14 a factor of z?
False
Let y = -3 - -7. Is (-1484)/(-49) - y/14 a multiple of 24?
False
Let y(n) = -36*n**3 + 2*n**2 - n. Let a(x) = x - 6. Let h be a(7). Let g be y(h). Let p = 59 + g. Is 12 a factor of p?
True
Let g = 7 + -5. Suppose 0 = -h + g*h - 20. Does 12 divide h?
False
Suppose 2*v + 3*d = 14 + 18, v - 4*d - 5 = 0. Is v even?
False
Suppose -142 = -5*l + 8. Is 25 a factor of l?
False
Suppose -i - 3*l = -168, l = i - 3*l - 161. Is 36 a factor of i?
False
Let y(d) = d**2 - d - 1. Suppose 0*a - 5*c = -4*a - 7, 0 = 2*c + 2. Let m = -5 - a. Is y(m) a multiple of 2?
False
Let w be 4/(-6) + (-8)/(-3). Let x be w/3*-3 + 33. Suppose 0 = 4*u - x - 17. Is u a multiple of 5?
False
Is 9/6 - 6310/(-20) a multiple of 44?
False
Does 6 divide (12040/(-45))/(-7) + (-4)/18?
False
Suppose 31 = 4*p + 3*i, p + 5 = -4*i - i. Let o be (p/(-4))/(2/8). Is (-4)/o - 176/(-10) a multiple of 9?
True
Let x be (24/(-32))/(2/(-8)). Suppose 3*g = x, -5*g = 5*w - 169 - 141. Is w a multiple of 19?
False
Let o(u) = -u + 5. Let f be o(0). Let t = -1 + f. Is t a multiple of 3?
False
Let p(l) = l**2 + 6*l + 3. Let h be p(-6). Let s = 5 - h. Suppose 0 = -3*a + s*q + 42, -6*a - 3*q = -a - 51. Is 6 a factor of a?
True
Suppose 0 = -r + 3*x + 26, -2*r + x + 74 = 3*r. Is r a multiple of 3?
False
Suppose -4 = 5*g - 149. Is g a multiple of 5?
False
Let z be 6/(-12) - (-9)/2. Suppose z + 22 = m. Is m a multiple of 13?
True
Suppose -2*i = -4*i + 5*b + 159, 0 = 3*i + 3*b - 186. Is 36 a factor of i?
False
Let t(a) = 2*a**2 + 7*a - 3. Let z be t(-6). Let m = z + 0. Does 19 divide m?
False
Suppose -3*u - u = 0. Suppose 5*m - 170 = -u*m. Is m a multiple of 11?
F