52. Suppose -4*v + 507 = 5*d - 3*v, 5*v + z = 3*d. Is d a multiple of 27?
False
Let v(c) = 26*c**2. Let n(u) = -u**3 - 5*u**2 - 4*u - 1. Let s be n(-4). Is v(s) a multiple of 13?
True
Let h be 2*57/(-12)*-4. Suppose 4*g - 16 = -p, 5*p - g - h = -0*g. Does 4 divide p?
True
Suppose 12 - 57 = -5*z. Suppose -z = -k + 9. Is 12 a factor of k?
False
Suppose 5*h + 3*b + 0*b - 8 = 0, 4*h + 4*b - 8 = 0. Let y be (-1 - h)/1 - 2. Let q = 10 - y. Is 6 a factor of q?
False
Suppose 0*g + 5*w + 55 = g, -4*w = -2*g + 140. Is g a multiple of 12?
False
Let l = 0 - -5. Suppose -16 = -l*m + 19. Is 2 a factor of m?
False
Suppose -13 = -6*n + 371. Is n a multiple of 16?
True
Suppose -3*x - v - v + 7 = 0, -x = 5*v + 2. Suppose x*r - 6 - 3 = 0. Suppose 7 - 46 = -r*g. Does 9 divide g?
False
Suppose -2*a = -53 - 51. Does 26 divide a?
True
Let t(a) be the second derivative of a**4/12 + a**3/3 + 3*a**2/2 - 3*a. Is t(-4) a multiple of 11?
True
Suppose -14*m + 80 = -13*m. Is m a multiple of 17?
False
Suppose -2*t + 2 - 18 = -4*d, t + 5*d - 20 = 0. Suppose 60 = 3*b - 3*n - t, 0 = -5*b + 4*n + 97. Is b a multiple of 7?
False
Let j = -35 + 115. Is j a multiple of 31?
False
Does 15 divide 4 - ((-15 - 1) + -1)?
False
Let o be (3 - -1)*-2*7. Let m = -39 - o. Suppose m = 4*v - 39. Does 8 divide v?
False
Let f(h) = -h - 2. Let m be f(-10). Let t be 2/(-9) + 29/9. Suppose 14 = 5*q - 4*n, m*n = 5*q + t*n - 10. Is q a multiple of 6?
True
Let i(n) = 33*n**2 + n - 1. Let m be i(1). Let d = m - 17. Is d a multiple of 16?
True
Let w(p) = -3*p + 1. Let l be w(-3). Let t be (-2)/(-1 - -2) + l. Does 12 divide 2*t*6/4?
True
Let i(p) be the second derivative of 7/6*p**3 + 1/20*p**5 - 1/2*p**4 + 0 - p + 0*p**2. Is 10 a factor of i(5)?
True
Suppose 1 = j + 4. Does 3 divide 4/(36/(-15))*j?
False
Suppose -2*j - 3 = -2*y - 55, -y - 2*j - 20 = 0. Let s = y - -35. Is 11 a factor of s?
True
Suppose -6 - 4 = -5*b. Let y = b - -10. Is 10 a factor of y?
False
Let b = -2 + 3. Let o = 0 - b. Let m(z) = -25*z**3 + 2*z + 1. Is m(o) a multiple of 14?
False
Does 4 divide (10 + -4)*30/9?
True
Does 4 divide 2/7 + (-1168)/(-28)?
False
Suppose -4*g = -54 - 354. Is 8 a factor of g?
False
Let p = 29 + -44. Let o be (21/p + 1)*-25. Suppose -2*b - 3*b = -o. Is b even?
True
Let y be (2 + -10)/(10/(-45)). Let a = 9 - 19. Let l = a + y. Does 13 divide l?
True
Let v = -10 - -21. Let m(d) = d**2 + 14*d + 28. Let t be m(-11). Let g = t + v. Is g a multiple of 2?
True
Suppose 6*i + 545 - 1709 = 0. Suppose -6*o - 14 = -i. Does 15 divide o?
True
Let f be (9/6)/(6/8). Suppose 0 = 8*z - 7*z - 22. Suppose -4*q + z = -f*q - 4*a, -3*q - a = -26. Does 5 divide q?
False
Is 18 a factor of 87*1 + 7 + -4?
True
Let x = -74 - -126. Is 13 a factor of x?
True
Let g(m) = -m**2 - 4*m - 4. Let q be g(-5). Let z(y) = -3*y - 12. Let c be z(q). Is 2 a factor of 2/(1 - 9/c)?
False
Let s(c) = 41*c**2 - 3*c + 1. Does 21 divide s(-2)?
False
Let u = 12 - 6. Suppose u = r + 2*o, o = 3*o + 8. Suppose 5*b = 2*i - r + 128, 4*i + 36 = 2*b. Is 12 a factor of b?
True
Suppose -45 = 24*x - 27*x. Is x even?
False
Let z(h) = 5*h**3 - h**2. Let u be z(1). Suppose -5*q + 60 = u*c + c, -5*q = -5*c + 30. Is 4 a factor of c?
False
Is 8 a factor of (-939)/(-9) + 2*(-4)/24?
True
Let y(n) = 4*n**3 - 9*n**2 - 6*n + 10. Is y(4) a multiple of 14?
True
Let t be -3 + 13 - (-3)/(-1). Let s be 1/t + 265/7. Suppose -5*w + 2*l + 58 = 0, 4*l - 6*l + s = 3*w. Does 8 divide w?
False
Suppose -3*t - h + 0*h - 62 = 0, -3*t - 42 = -3*h. Suppose 6*l = 10*l - 136. Let a = l + t. Is a a multiple of 15?
True
Let u be 4*(-1)/(1 + -3). Suppose 2*k + 0*n = 2*n + 86, 6 = -u*n. Let r = 64 - k. Does 13 divide r?
False
Suppose -5*w + w = -36. Is w a multiple of 9?
True
Suppose 0 = 5*u + 2*x - 14, 0*x - 16 = -3*u - 5*x. Suppose 4*k - 120 = -3*y, k = 6*k + u*y - 143. Is 9 a factor of k?
True
Let l(d) = 2*d**3 - 7*d**2 - 3*d + 3. Let x be l(5). Suppose y + 54 = 4*i, -y + x = -0*i + 5*i. Is 13 a factor of i?
True
Suppose 3*x = 3*y + 234, -4*x = -y - 0*y - 306. Is 76 a factor of x?
True
Let u(m) = -m**2 + 8*m - 9. Let x be u(6). Let t(d) = 0 - x*d - 2 - 1 + 2. Is t(-4) a multiple of 6?
False
Let m(k) = -k**2 + 8*k - 4. Is 11 a factor of m(5)?
True
Is 10 a factor of 10/(16/(-20) - -1)?
True
Let q = -13 - -69. Is 12 a factor of q?
False
Let a = 2 - -3. Is 9 a factor of (54/a)/((-4)/(-10))?
True
Let o(q) = -q**2 - 5*q + 6. Let g be o(-6). Suppose -3*f = -y + 28, -4*y = -g*y + 4*f - 32. Is 13 a factor of y?
True
Let h be (1 - (-22)/(-6))*-9. Let w be 8/h - (-244)/6. Suppose n = w - 11. Is 15 a factor of n?
True
Let n = 48 - 33. Does 5 divide n?
True
Let z(g) = -2*g**3 - 2*g - 2. Let d be z(-3). Suppose 5*q + 98 = 3*u, 2*u = -u - 5*q + d. Is 5 a factor of u?
False
Suppose 13*x - 8*x - 1225 = 0. Is x a multiple of 35?
True
Is (-36)/((-36)/(-8) + -5) a multiple of 12?
True
Let l = -41 + 63. Let u = -2 + l. Does 20 divide u?
True
Suppose 3*v - 10 = v. Let y(i) = -i**2 - 4*i - 3. Let j be y(-2). Suppose 5*t = j + 4, 4*l - 31 = v*t. Is 9 a factor of l?
True
Let v = -7 + 10. Let k be (-2)/(-1) + (-1 - v). Does 12 divide k*(-2 - 6) + 2?
False
Let s(w) = 10*w + 2. Let l be ((-10)/4)/((-5)/10). Let k be s(l). Suppose 4*f + 4*c - 62 = 98, f - k = -4*c. Is f a multiple of 12?
True
Let u = -6 - -182. Does 8 divide u?
True
Is 57/((-1 - -3) + -1) a multiple of 8?
False
Let z(x) = -4*x**2 - x**3 + 2*x**2 - 4*x**2. Let s be z(-6). Does 3 divide 5 + s + -2 + 0?
True
Suppose 3*q + 4*b - 8 = q, 4*q - 4*b - 16 = 0. Suppose -5*u + 60 = 4*l, -u - 111 + 27 = -q*l. Does 6 divide l?
False
Let y(z) = -z**2 - 14*z - 9. Let c be y(-6). Let i = -8 + c. Is 16 a factor of i?
False
Let z = 11 + 0. Does 7 divide z?
False
Let m(u) = -u + 11. Let j be m(6). Let a(k) = 2*k + 11. Is a(j) a multiple of 7?
True
Suppose 3*o + 4*v = 69, -3*v + 0 + 28 = o. Is o a multiple of 10?
False
Suppose 3*p - 2 = 2*p, -v + 6 = -3*p. Does 4 divide v?
True
Suppose -3*v = v - y - 205, 4*v = -5*y + 223. Is 13 a factor of v?
True
Suppose 3*s + 3*m = m + 28, -m + 11 = s. Let l = s + -12. Is 5 a factor of ((-32)/l)/((-7)/(-21))?
False
Is 11 a factor of 44/(-44)*(484/2)/(-2)?
True
Suppose 3*s + 215 = 5*a, 4*s + 2*a - 72 = -376. Let d = 110 + s. Does 12 divide d?
False
Let q be 8/4 - (1 + -1). Let p be 9 - (q/1 - 0). Let j(k) = 2*k + 2. Is 14 a factor of j(p)?
False
Suppose 51*y + 100 = 56*y. Does 11 divide y?
False
Let s = -146 - -267. Is s a multiple of 25?
False
Let y(t) = -t**3 - 4*t**2 + 6*t + 6. Let f be y(-5). Suppose 2*p = -5*q - f - 13, 3*p + 8 = -q. Is 7 a factor of 20/(p/1 - -3)?
False
Is (-1)/2*(6 - 68 - -4) a multiple of 16?
False
Suppose q - 28 = -h - 0*h, 5*h - q - 170 = 0. Is 11 a factor of h?
True
Let m(s) = -s**2 + 11*s - 12. Let r be m(10). Let g be r/((-48)/(-26) + -2). Suppose 17 + g = 2*p. Is p a multiple of 15?
True
Let y be 1/4 - (-2)/(-8). Is 4 a factor of 12 + 3/6*y?
True
Let d be ((-60)/25)/((-2)/5). Suppose d*b - 2*b - 36 = 0. Is 3 a factor of b?
True
Suppose 2*a = v - 0*a - 8, 4*a = -v - 10. Suppose -12 = v*q - 96. Let z = q + -30. Does 12 divide z?
True
Suppose -3*x - 4*i = -6*x + 133, 4*x = -5*i + 136. Is x a multiple of 25?
False
Does 22 divide 3/7 - ((-580)/35 - 5)?
True
Let m(i) = -31*i - 3. Does 18 divide m(-3)?
True
Let s(h) = 2*h**2 + 8*h - 4. Let i be s(-6). Let t = 49 - i. Is t a multiple of 11?
False
Suppose -145 - 33 = -2*s. Is s a multiple of 16?
False
Let h be -1 + (-15)/(0 - 3). Suppose z + 0*d = -d - 3, 0 = 3*z - h*d - 5. Let p = z + 18. Does 17 divide p?
True
Let u(h) = -h**3 + 11*h**2 + 12*h + 6. Let d be u(11). Suppose 3*w - d = 39. Is 35 a factor of w?
False
Suppose -5*s - 2*a = 24, 3*s + 25 - 3 = -5*a. Let d be s/(-2) + -3 + 0. Does 7 divide (-57)/(-3) + (d - -2)?
False
Let j = -4 + 5. Let l be (-4)/14 - 102/(-14). Let t = l - j. Is 5 a factor of t?
False
Suppose -2 = 4*r + 14. Is 28 a factor of (r/(-6))/((-2)/(-141))?
False
Let u = 133 - 66. Suppose 3*h + 4 = u. Is 7 a factor of h?
True
Let g = 585 + -345. Suppose -g = -4*m + i - 87, -5*i = -3*m + 102. Does 14 divide m?
False
Suppose 4*k - 10 = -3*l + 9, 2*l = 3*k + 7. Is 2 a factor of l?
False
Suppose 3*r = -0*r + 216. Suppose -5*z + r - 2 = 0. Is 14 a factor of z?
True
Let a(h) = h**2 - 3 + 0*h**2 + 5 - 4*h. Let s be a(4). Is 14*2/4 + s a multiple of 9?
True
S