 d(a) a multiple of 13?
True
Let v be (-3 + 4)/((-1)/(-5)). Let c(a) = a - 1. Let n be c(v). Suppose -n*l - 64 = -4*o, o - 32 = 3*l - 8. Is 12 a factor of o?
True
Let t be ((-24)/(-4))/(1*2). Suppose 5 + t = 2*a. Suppose 3*h + 2*h + a*j = 74, -44 = -3*h - 2*j. Does 7 divide h?
True
Suppose -2*p - p + 5*t + 56 = 0, -4*t - 72 = -4*p. Suppose -4 = -k + p. Is 21 a factor of k?
True
Let d(w) = 5*w**2 - 3*w + 2. Is d(2) a multiple of 16?
True
Let w(b) = -4*b**2 + 7*b - 1. Let n(f) = f**2 - 1. Let g(v) = -2*n(v) - w(v). Does 6 divide g(5)?
True
Let f = 0 + 120. Is 20 a factor of f?
True
Suppose 2*s - 73 = -0*d + d, 0 = -4*s + 5*d + 149. Is 7 a factor of s?
False
Let f = 113 - 73. Does 10 divide f?
True
Suppose -5*q - 4*g + 232 = 0, 5*q - 63 - 181 = 2*g. Is q a multiple of 16?
True
Is 6 a factor of 9/(-12)*(-48)/2?
True
Is 6 a factor of (4/3)/((-2)/(-225))?
True
Let l(t) = t**3 + 4*t**2 - 4*t. Let m be l(3). Let c be ((-6)/3 - -1)*-101. Let s = c - m. Is s a multiple of 22?
False
Suppose 3*w - 265 = 2*f, -4*f = 7*w - 4*w - 289. Does 23 divide w?
False
Let p be (6 + -3)*10/6. Let s = 1 - -2. Suppose -2*r + 21 = -4*m + s*m, -r + p*m = 12. Is r a multiple of 13?
True
Suppose -2*s - 6 = 0, -t - 4*s + 0 = 8. Suppose -t*k + 132 = -0*k. Is 16 a factor of k?
False
Let f(b) = -7 + 2*b**3 + 18*b - 10*b - 3*b**3 + 5*b**2. Let k = 10 + -5. Is f(k) a multiple of 16?
False
Suppose 211 = 5*a + 3*s, -12 = -a - 4*s + 37. Let t be 26/(2/(-2)) + -2. Let o = a + t. Does 13 divide o?
True
Suppose 0 = o + 4, 2*j + 5*o = j - 30. Let u = j - -13. Is 3 a factor of u?
True
Suppose -28 = -2*j + 2*r, 0 = j - 6*j + 4*r + 68. Suppose 2*p - 46 = -j. Suppose p = -4*y + 213. Does 16 divide y?
False
Suppose -4*y + 29 + 559 = 0. Let h = -98 + y. Suppose 4*z - h - 124 = -5*g, -4*z = 3*g - 171. Is z a multiple of 21?
True
Let u(n) = -n + 16. Let p be u(11). Suppose 0*i - 3*i + 2*y = -40, 0 = -p*y + 20. Is 10 a factor of i?
False
Suppose 5*k - 4*g = 1012, 3*k - 80 = 2*g + 528. Does 17 divide k?
True
Let m(n) = n**2 + 6*n + 7. Let q be m(-5). Does 5 divide q + 13 - -1 - 1?
True
Suppose -125 = -3*p - k, -2*k + 133 = 3*p + 3. Does 8 divide p?
True
Suppose -2*y = -5*k - 78, -2*k + 99 = 3*y - 5*k. Is y a multiple of 4?
False
Suppose -2*j = n - 80, -n = -2*j + 48 + 40. Is j a multiple of 13?
False
Let d = -199 + 427. Is d a multiple of 12?
True
Let h = 8 - 12. Let c be (2 + h)*29/2. Let j = 46 + c. Is j a multiple of 10?
False
Let z(a) = a**2 - 2*a - 4. Let k = 2 - 5. Does 9 divide z(k)?
False
Suppose v - 13 = 27. Does 10 divide v?
True
Let t(x) = x + 1. Let b be t(2). Suppose 2*s - 92 = m - b*m, 2*m = 3*s - 118. Is 21 a factor of s?
True
Suppose -4*d + 35 = 11. Let y = d - 1. Suppose u + 55 = 5*t - u, 0 = 2*t + y*u + 7. Does 5 divide t?
False
Let p(d) = -d**3 - 6*d**2 - 6*d + 7. Let z be 2/(-7) + (-412)/28. Let j = z + 9. Is p(j) a multiple of 25?
False
Let l(i) = 3*i + 30. Is l(-7) a multiple of 9?
True
Suppose 72 = 3*m - m. Is 8 a factor of m?
False
Let z be 2 + -5 + -1 + -1. Let g = -5 - z. Suppose g = 4*j + 2*c - 0*c - 22, 2*j - 5 = -3*c. Does 2 divide j?
False
Let x(t) = t**3 + 6*t**2 - 7*t. Let u be x(-7). Suppose 79 = 4*z + 5*d, 4*z - 83 = -u*z - d. Is 6 a factor of z?
False
Suppose 15*n = 4*n + 770. Does 7 divide n?
True
Suppose s = -i + 5, -4*s - 2 = -5*s + 2*i. Is 2 a factor of 21/(-14) - (-18)/s?
False
Suppose -4*j + 5 = -31. Does 9 divide j?
True
Let f be 18*((-2)/4 - -2). Let l = 52 - f. Is l a multiple of 10?
False
Let p(u) = -16*u + 2. Let l be (-2 + 1)*1 - 4. Let b be p(l). Suppose 0 = 3*f - b + 10. Does 9 divide f?
False
Let x be -1 + 2 - (-5 + 3). Suppose t - 7*g = -x*g + 46, -g = 3*t - 112. Does 19 divide t?
True
Suppose 5*f + 5*v - 220 = 0, -v + 79 = 5*f - 157. Is 16 a factor of f?
True
Let d(u) = -u**3 - 14*u**2 - 13*u - 5. Let w be d(-13). Is ((-6)/4)/(w/130) a multiple of 19?
False
Let b(i) = i + 4. Let f be b(-2). Let a = f - -28. Is a a multiple of 15?
True
Suppose 41 = 2*i + 5*o, i - 2*o - 62 = -i. Is 16 a factor of i?
False
Does 5 divide (2 - -6 - 0) + 3?
False
Is 17 a factor of (48/(-12))/((-2)/34)?
True
Suppose -3*b - 126 = 3*j, 2*b - 3*j + 242 = -3*b. Let a be (-1)/(b/22 + 2). Suppose 5*f = -4*n + 9 + a, -n + 3 = f. Does 6 divide f?
False
Let k(u) = -u**2 + 8*u - 7. Let q = -10 - -16. Let d be k(q). Let l = d + -2. Is 2 a factor of l?
False
Suppose -2*j + 3*i = -3*j + 86, -5*j + 4*i + 392 = 0. Let o = j + -50. Does 12 divide o?
False
Suppose 6*c + 28 = 3*c + 5*p, 0 = -2*p + 4. Let j be (-2)/(-4) - c/4. Is 7 a factor of (56/(-4))/((-4)/j)?
True
Suppose -3*x = -4*k - 7, k = -x + 5*x - 31. Let f(u) = -u**2 + 8*u + 12. Let b be f(x). Suppose -o - b*o + 140 = 0. Does 16 divide o?
False
Let y(i) be the third derivative of i**5/20 + i**4/8 + 2*i**3/3 - i**2. Let u be y(-3). Suppose j + 5*d = u, 1 = -j + 2*j - 2*d. Is j a multiple of 7?
True
Let x = 14 - 10. Suppose f + 0*f - x = 0. Suppose -f*a - 2*h - h = -127, a - 2*h = 18. Does 14 divide a?
True
Suppose -144 - 116 = -3*s + 4*a, -5*s - a = -418. Is s a multiple of 7?
True
Suppose 2*l + 40 = 3*v - 2*l, -4*l - 16 = 0. Let a(u) = -u**2 + 9*u - 3. Let y be a(v). Suppose -87 = -4*n + y. Is 17 a factor of n?
False
Let h(w) = w**3 + 3*w**2 - 5*w + 1. Let s be h(-4). Suppose 0 = s*n + 4*k - 65, 2*k - 13 = -n + 6. Is n even?
False
Let v(j) = -j**3 + 5*j**2 - 2*j - 3. Let p be v(4). Suppose p*k + 3 + 9 = -2*b, -k - 8 = -b. Suppose 5*x - b*t = -5*t + 29, 4*x - 28 = 4*t. Does 3 divide x?
True
Let s(l) = -l**2 - 9*l + 10. Let t be s(-10). Suppose -3*z + 56 - 8 = t. Does 9 divide z?
False
Let t(w) = 3*w - 5*w - 8*w + 6 + 2. Does 16 divide t(-4)?
True
Let d(v) = v**3 + 6*v**2 - 6. Let x be ((-5)/(-3))/((-4)/(-24)). Suppose -2*h + 0 - x = 0. Is d(h) a multiple of 14?
False
Let f(r) be the first derivative of -r**4/4 - r**3 + 4. Let a be 5*(2/10 - 1). Does 7 divide f(a)?
False
Suppose -f + 2*j = -57, 13 + 65 = 2*f + 5*j. Is 30 a factor of f?
False
Suppose -4*o + 22 = w - 9*o, -22 = -3*w + 4*o. Let v = 15 - w. Suppose h - v = -0*h. Is 6 a factor of h?
False
Suppose 26 = 3*x + 5*m - 27, 20 = -4*m. Does 5 divide x?
False
Let n = 5 - -34. Let j = n + 30. Is 21 a factor of j?
False
Let x(h) be the first derivative of h**2 - 2*h - 2. Let n be x(3). Suppose -s - n + 24 = 0. Is s a multiple of 10?
True
Suppose -5*p + 382 = 3*j, 0 = 2*j + 2*j + 5*p - 516. Suppose 2*f + 0*f = j. Suppose -3*o = 2*a + a - 57, 0 = 4*o - 5*a - f. Does 9 divide o?
True
Suppose 5*a - 974 = -5*w - 164, 0 = 4*a - 5*w - 666. Is 41 a factor of a?
True
Let v(f) = 15*f + 7. Let r be v(6). Let c = 136 - r. Is c a multiple of 16?
False
Let z = -72 + 139. Is 16 a factor of z?
False
Let t(z) = -z**3 - 4*z**2 - z - 2. Let c be t(-4). Let a(g) = 6*g - 2. Does 5 divide a(c)?
True
Does 28 divide 1541/7 + ((-172)/28 - -6)?
False
Let o = -14 + 28. Let s be 36/(-8)*o/(-3). Suppose 2*u - u - s = 0. Is u a multiple of 17?
False
Suppose -3*g + 195 = 2*b - 87, 6 = 3*g. Is b a multiple of 23?
True
Let u = -3 - -5. Let y be u + 6/9*-6. Is 5/y*8/(-4) a multiple of 2?
False
Let g(o) = 3*o - 2. Suppose 7*m = 4*m + 6. Let p be g(m). Is -1 - 0 - (-36)/p a multiple of 8?
True
Suppose 0 = -4*v + 9 + 19. Let z = 4 - v. Does 8 divide 34*(z/6 + 1)?
False
Suppose 2*a + 8 = 0, -2*a + 12 = 3*x - 5*a. Suppose -2*b = 2*c + 2*c - 50, x = 2*c - 4*b. Is c a multiple of 6?
False
Let j(d) = -4*d + 5*d**2 - 4*d**3 + 0*d**2 + 2*d**3 + 3*d**3 - 8. Let a be j(-6). Does 4 divide (-152)/a - 2/(-5)?
True
Suppose 0 + 16 = 4*p. Let m(b) = b - 2. Let n be m(p). Suppose n*u = 92 - 0. Does 16 divide u?
False
Let z(w) = -4*w**3 - 2*w**2 - 2*w + 1. Is 15 a factor of z(-2)?
False
Suppose 3*y - m + 144 = 0, 5*y - 2*m + 291 = 52. Suppose n = 3*n + 48. Let i = n - y. Is 11 a factor of i?
False
Does 12 divide 1 - -12 - (0/2 - -1)?
True
Suppose 2*j = j + 3. Suppose k - 16 = -j*k. Is k a multiple of 4?
True
Let n = -7 - -12. Suppose -z = n*c + 29, -16 = 4*c + z + 7. Is 72/(-3)*4/c a multiple of 8?
True
Suppose 0 = -4*f + z - 2*z + 26, 5 = f + z. Does 27 divide (18/f)/(6/126)?
True
Suppose 4*i + 4*l = i + 355, -327 = -3*i + 3*l. Is 19 a factor of i?
False
Let h(z) = -z**3 - 2*z**2 - 2*z - 2. Suppose -2*n - 2*r + 0 = 8, 5*n + 3*r + 20 = 0. Let u be h(n). Is u/4*(0 - -2) a multiple of 19?
True
Let l(j) = j**2 + 6*j + 3. Let g be