 l(y) = 6*y - 5*y - 6 - 5*y. Suppose 5*g - 5 = -30. Is l(g) a multiple of 10?
False
Let h(g) be the second derivative of -g**3/2 + 3*g**2/2 + 4*g. Does 6 divide h(-5)?
True
Let o be ((-30)/(-8))/((-6)/(-16)). Suppose 0*p = 2*p - o. Suppose p*n - n = 88. Is 8 a factor of n?
False
Suppose 0 = -7*p + 3*p - 24. Let o = p - -35. Is o a multiple of 11?
False
Let y(t) = -5*t**3 - t**2 + 2*t - 1. Let k(b) = -3*b + 4*b + 0*b. Let v be k(-2). Does 13 divide y(v)?
False
Suppose 3*y + 180 = x, y + 2*x - 4*x = -65. Let j = 92 + y. Is 11 a factor of j?
True
Let r(h) = -h**2 + 7*h - 4. Let q be r(6). Suppose -q*j + 5 + 5 = 0. Is j a multiple of 4?
False
Let p(r) = 13*r + 1. Does 21 divide p(8)?
True
Let m = 164 - -76. Is m a multiple of 8?
True
Suppose 2 - 10 = -2*n. Suppose 0 = -2*c - n + 36. Suppose 4*u - b - 40 = 0, 3*b - 24 - c = -4*u. Does 5 divide u?
True
Suppose -7*i + 3*i = -28. Let h = i - -19. Is h a multiple of 8?
False
Let u = 3 + -5. Let r be ((-1)/u)/((-4)/(-64)). Suppose -3*w = -r*w + 250. Is 14 a factor of w?
False
Let d = 19 + -2. Suppose 0 = 5*w - d - 3. Is w a multiple of 2?
True
Suppose 2 = 3*u + 17. Let r = -3 - u. Let j(n) = 16*n**2 - 3*n. Does 29 divide j(r)?
True
Suppose 0 = -5*h - 6 + 1. Is 6 a factor of 1/(h - (-13)/12)?
True
Is 19 a factor of (-4 - (-14)/4)*-190?
True
Let n(a) = a**2 - 12*a + 4. Let c be n(12). Suppose 3*b - 3*v - v - 104 = 0, 5*v - 118 = -c*b. Does 16 divide b?
True
Suppose 0 = 2*w - 4 - 2. Suppose 5*i = 5*k + 30, -i + w*k + 21 = 3*i. Is i a multiple of 3?
True
Suppose 0 = -g + 1 - 31. Let x = -10 - g. Is x a multiple of 10?
True
Suppose m = 5*n + 28, 4*m - 3*n = -7 + 34. Let i be m*1/3 - -5. Suppose i = -0*s + 3*s. Is s even?
True
Suppose -2*z - w + 125 = 0, -5*z + 7*z - 4*w = 130. Is 22 a factor of z?
False
Suppose 0*c + 3*c - 2*l = 64, 0 = 4*c + 5*l - 116. Does 12 divide c?
True
Suppose 0 = -4*a - 0 - 36. Let o be (12/a)/((-2)/3). Suppose -o*l - 2*g + 32 = 0, -3*g = -2*l - 3 + 10. Does 3 divide l?
False
Let i = -23 - -63. Suppose -2*o - 2*o + i = 0. Is 10 a factor of o?
True
Let f = 0 + 2. Does 2 divide (-1)/f*(0 - 4)?
True
Suppose 27 = 7*t - 85. Is 4 a factor of t?
True
Let i = 24 - -21. Suppose 5*h = -0*h + i. Is 2 a factor of h?
False
Suppose 2*r + 213 = 5*n, -4*n + 6*r + 169 = 3*r. Does 9 divide n?
False
Let y(p) = -p + 4. Suppose -3*u + 5*u = 0. Is y(u) a multiple of 4?
True
Suppose g = -4*x - 29, -4*x + 7 = -3*g - 0*x. Let j = -3 - g. Does 6 divide j?
True
Let m = -22 + 27. Suppose m*x - 65 - 175 = 0. Is x a multiple of 16?
True
Is (1/(-3))/((-12)/180) even?
False
Let a = 100 - -255. Is 13 a factor of a?
False
Let f be (-26)/8 + (-1)/(-4). Let r(b) be the first derivative of -6*b**2 + 2*b + 1. Does 19 divide r(f)?
True
Let w be 2 + (-4)/(4/9). Does 2 divide 6/w*(-14)/3?
True
Let a(b) be the first derivative of -b**2 - 6*b - 3. Let y be a(-4). Let t = y - -30. Is 16 a factor of t?
True
Let j = -4 - -15. Is j a multiple of 11?
True
Suppose -3*y = -0*y - 342. Does 21 divide y?
False
Let u = 5 + -1. Suppose u*k + 96 = 2*k. Let h = k + 70. Does 11 divide h?
True
Let j be (0 + 2 - 3) + 4. Suppose -84 = -j*v + 6. Is v a multiple of 10?
True
Suppose -h + 13*h + 432 = 0. Let t(x) = x**2 + 1. Let g be t(-1). Is 4/g - (h - 1) a multiple of 13?
True
Let g = 65 - 32. Does 11 divide g?
True
Let s = 211 - 141. Does 7 divide s?
True
Suppose 7 + 3 = 2*h. Suppose k - 11 = -5*y, h*k - 105 = 4*y + 37. Is k a multiple of 13?
True
Suppose 7 - 1 = -d. Let n = d + 38. Is 13 a factor of n?
False
Let m(j) = j**3 - j**2 + j. Let c(o) = -6*o**2 - 2*o + 1. Let k(y) = -c(y) - m(y). Let s be k(7). Let i = 14 - s. Does 4 divide i?
True
Let c(h) = 2*h**2 + h + 3. Let p = 12 + 1. Suppose -p = -5*r + 2. Is 7 a factor of c(r)?
False
Let k be (110/(-4))/((-2)/4). Suppose k = 5*j - 5. Let z = 22 - j. Does 6 divide z?
False
Suppose -4*j - 10 = 2*m, 0 = m + m + 2*j + 4. Let q(i) = -2*i**2 - 6 + 3*i**2 + 3 + 3*i + m. Is 4 a factor of q(-5)?
True
Let p(q) = -q**3 + 7*q - 10. Let b be p(4). Let v = 98 + b. Is 10 a factor of v?
False
Let n(w) be the second derivative of -w**4/12 + w**3/2 + w**2/2 + w. Let f be n(3). Suppose f = -c + 8. Is c a multiple of 7?
True
Suppose -4*o - 143 = -583. Is 15 a factor of o?
False
Let b be (2/4)/(2/128). Suppose -i - b = -5*i. Is 4 a factor of i?
True
Is (-108)/(4/(-10) + 18/(-30)) a multiple of 15?
False
Let s = -4 - 4. Let g = -1 - s. Is 7 a factor of g?
True
Suppose a - 4*a = -135. Suppose 87 = 3*m - a. Is 10 a factor of m?
False
Let n(q) = 2 - 27*q - 18*q - 5*q. Let x be n(-2). Suppose -3*m - 4*h + x = 0, -4*m + 0*m + 114 = -2*h. Is m a multiple of 15?
True
Suppose 4*i = -0*i - 3*s + 99, 0 = 2*i + 4*s - 42. Is 18 a factor of i?
False
Suppose -2*t = 2*t + 112. Let o = t - -62. Does 17 divide o?
True
Let s = 6 + 6. Is s a multiple of 12?
True
Let d be 3/(2/(-2)) + -24. Does 12 divide d/2*56/(-21)?
True
Let b(f) = -f**3 - 14*f**2 - 2*f - 2. Let r be b(-14). Suppose -4*n - 3*c = -53, -5*n + 2*n = 5*c - r. Is 17 a factor of n?
True
Let y(u) = 2*u + u**2 - 7 + 3*u - 4*u. Let n(z) = -1. Let i(k) = -3*n(k) - y(k). Does 10 divide i(0)?
True
Suppose 3*u = -u + 88. Does 6 divide u?
False
Suppose -4*b - 48 = -168. Is 9 a factor of b?
False
Let d(x) = x**2 - 2*x - 21. Let s be d(9). Let u(w) = 31*w**3 + 2*w**2 - 1. Let k be u(-1). Let q = s + k. Does 6 divide q?
True
Let v = -2 + 0. Let q be 0 - (2 - (-14)/v). Is 16 a factor of (-37 - 1)*(q - 6)?
False
Suppose 0 = -h - 46 + 238. Is h a multiple of 31?
False
Let m(s) = -s**2 + 5*s - 2. Let p be m(3). Suppose 2*r - 15 = -p*u + 73, u - 2*r - 22 = 0. Does 8 divide u?
False
Suppose -7*i - 3 = -4*i. Is 8 a factor of 23 + -6 - (2 + i)?
True
Let z = -56 - -263. Suppose 3*m - 207 = 7*q - 3*q, -3*m + z = 5*q. Is 34 a factor of m?
False
Let a(m) = -4*m**3 + m**2 + 3*m. Is 27 a factor of a(-3)?
True
Let i(n) = n**2 - 3*n + 8. Does 8 divide i(5)?
False
Let k(m) = m**3 + 4*m**2 - 4*m + 2. Is k(4) a multiple of 19?
True
Let y = 22 + -16. Is 2 a factor of y?
True
Suppose 18*j = 13*j - 95. Let w = 82 + j. Does 10 divide w?
False
Let q(r) = -4*r - 12. Does 12 divide q(-15)?
True
Suppose 4*i - 3 = 3*i - 3*q, 22 = 2*i + 2*q. Is i a multiple of 15?
True
Let c be (-6)/15 - 64/(-10). Suppose 11*z = c*z + 115. Is 4 a factor of z?
False
Suppose -3*z + 3*l = 6*l + 45, -5*z - 55 = l. Let u = -50 - -21. Let a = z - u. Is a a multiple of 17?
False
Let j(z) = z**2. Let x be j(-2). Suppose -k - x*k + 71 = 2*h, -4 = 2*h. Is 5 a factor of k?
True
Let y be 289/(-119) - (-3)/7. Is y/(-11) + (-2760)/(-66) a multiple of 11?
False
Does 8 divide (60/(-25))/(-2)*40?
True
Suppose -3*l = -40 - 116. Is l a multiple of 26?
True
Suppose 0 = 3*h - 130 - 251. Is h a multiple of 7?
False
Suppose 0 = -2*y + 4*y + 2*q - 606, 3*q - 605 = -2*y. Is 46 a factor of y?
False
Suppose -5*b = -10, d + 4*b = -3*d - 24. Is (-2)/d + 215/20 a multiple of 5?
False
Let n = 1 - -2. Suppose n*h = -2*h + 15. Suppose 0*o = -h*o + 81. Is 9 a factor of o?
True
Let i = -418 - -209. Let g = -148 - i. Is 21 a factor of g?
False
Let v(l) = -l**3 + 12*l**2 - 7*l - 19. Does 6 divide v(11)?
False
Let y(m) = 0*m**3 + 0*m**3 + 1 - m**3 + 2*m - m**2. Let z be y(-2). Suppose -q + 5 = -z. Is q a multiple of 3?
True
Let b(q) be the first derivative of -q**4/4 + 5*q**3/3 - q**2/2 - 4*q - 3. Is 8 a factor of b(3)?
False
Let p be -2*((-110)/4)/5. Let m(g) = -g**3 + 6*g + 2*g**2 - p + 5*g**2 + 6*g. Is m(8) a multiple of 9?
False
Suppose v - 2 - 3 = 0. Is (-4*v)/(-6 + 4) a multiple of 6?
False
Let m = 11 - 9. Suppose 0 = 4*d - 0*d - 12. Suppose m*g - 16 = -2*p, d*p - g - 19 = g. Is 7 a factor of p?
True
Suppose -4*x = 2*h - 6, -x + 5*h + 21 = x. Suppose -l + 45 = 5*a, x*a - 5*l - 18 - 37 = 0. Does 4 divide a?
False
Is 13 a factor of 12/9 - 74/(-3)?
True
Let z be (-3)/2*8/(-12). Let m = z + 6. Suppose 3*b - 4*o - 39 = 0, m = 2*b - o - 19. Does 13 divide b?
True
Suppose 5*o = -v - 2, 2*v + 2*o - 6*o = -4. Let t = 0 - v. Suppose 139 = 2*z + t*z + d, -d + 3 = 0. Is 17 a factor of z?
True
Let v = -366 + 594. Is 38 a factor of v?
True
Suppose -22 = -5*r + 168. Does 19 divide r?
True
Suppose -i + 5*o + 134 - 19 = 0, 2*i = -3*o + 204. Is 14 a factor of i?
False
Let r = 36 - 34. Is r a multiple of 2?
True
Suppose 3*z - 78 = -2*u, 2*z + 0*z + 172 = 4*u. Is u a mult