
Does 24 divide (2 + 3 - 17)*(-1 - 31)?
True
Let m(d) = 9*d**2 + 2*d - 26. Is m(-6) a multiple of 26?
True
Suppose 7*w - 3193 = 97. Is 11 a factor of w?
False
Suppose 14*m - 10515 = -1555. Is m a multiple of 64?
True
Does 11 divide (-4)/(-6) + 217/21?
True
Let g be 1/((-3)/(-12)*1). Suppose g = v - 3*v. Is 4 a factor of (-2 + 3)*(11 - v)?
False
Suppose -5*d - 4*h = -h - 32, 5*h + 19 = 2*d. Let c be 1/((d/(-2))/(-7)). Suppose v + 12 = -4*p, -v - 2 = -0*v + c*p. Is v a multiple of 3?
False
Let g(v) be the second derivative of -v**6/720 + 11*v**5/120 + 5*v**4/6 + 11*v. Let c(d) be the third derivative of g(d). Is c(5) a multiple of 3?
True
Let i(q) = -6*q**3 + 13*q**2 + 13*q + 21. Let j(w) = 5*w**3 - 12*w**2 - 12*w - 21. Let h(t) = -4*i(t) - 5*j(t). Does 12 divide h(9)?
True
Is 415245/376 - -3*(-3)/24 a multiple of 46?
True
Let x(w) = -w**3 + 13*w**2 + 27*w + 44. Is 15 a factor of x(14)?
False
Suppose 37 = -3*p + 211. Is 13 a factor of p?
False
Let l = 3054 - 1830. Is l a multiple of 24?
True
Let l be 1768/78 - (-1)/3. Suppose 28*h - 275 = l*h. Is 10 a factor of h?
False
Let k(u) = -19*u - 17*u**2 + 3*u - u**3 + 2*u**2 - 16. Let a be k(-14). Is a/(-84) - (-148)/7 a multiple of 3?
True
Let y(a) = -a**2 - 7*a + 21. Let i be y(-9). Suppose 5*x - i*u = 474, 0 = x - 4*u - 49 - 39. Does 24 divide x?
True
Let v(p) = -3*p + 6. Suppose -4*i = 31 - 135. Let w = i + -29. Is 15 a factor of v(w)?
True
Let t = 253 - -201. Is 15 a factor of t?
False
Let o(u) = 2*u + 13. Let y be 1*7 - (-4 + 1). Does 7 divide o(y)?
False
Let c = 2029 - 1567. Is 7 a factor of c?
True
Suppose 5*v = -0*c + 5*c, 0 = -c - 2*v. Suppose c = -4*o + 180 + 36. Is 27 a factor of o?
True
Let f(c) = -5 + 2*c + 2*c**3 - 3 - 13*c**2 + 5*c**2 - c**3. Let b be f(8). Is 166/b - 12/16 a multiple of 16?
False
Let k be (-2)/6*(1 - -11). Let o = 11 + k. Suppose 125 = 4*s - o. Is s a multiple of 33?
True
Suppose -p = 3*s + 38, -2*p = -0*p + s + 101. Let c = p + 64. Is 2 a factor of c?
False
Let r = 180 + -90. Suppose 4*n - 358 = -r. Does 17 divide -3 - -3 - (0 - n)?
False
Suppose 2*b + 5*s = 693, 15 - 5 = 2*s. Does 21 divide b?
False
Let w be 1/(((-20)/8)/5). Let r be (w - -3)*-7*1. Let j(u) = u**2 + 5. Is j(r) a multiple of 14?
False
Let g be 1940/(-80) + (-1)/(-4). Let b be (-2 + -1)*(g + 3). Suppose 4*q - b = 25. Is q a multiple of 22?
True
Let j(w) = -3 + 4 - 4*w - 3. Let z be j(-1). Suppose -45 = -z*y - 9. Does 6 divide y?
True
Is 4/24 + (-11982)/(-36) + -3 a multiple of 22?
True
Let v(s) = -42*s**3 + 5*s**2 - 12*s - 22. Is 3 a factor of v(-3)?
False
Suppose 19*w - 3523 = 2120. Does 16 divide w?
False
Let t(m) = -5*m + 24. Let i be t(-13). Let b = 140 - i. Does 17 divide b?
True
Is 15 a factor of 65*(10 - (-28)/(-4))?
True
Suppose v + 7 - 21 = -3*i, 0 = i - 4. Suppose v*r - r - 7 = 0. Suppose -r*m = -5*m - 48. Is m a multiple of 13?
False
Let x be -15*(32/(-20))/(-4). Let j(a) = -a**3 - 5*a**2 + 8*a + 5. Let p be j(x). Let r = 114 - p. Does 33 divide r?
False
Let m = 175 + 122. Is m a multiple of 32?
False
Suppose 0 = -2175*l + 2181*l - 744. Is 90 a factor of l?
False
Let p(n) = n**3 + 5*n**2 + 2*n - 4. Suppose -t + 2 = -0. Suppose 3*m + t + 10 = 0. Does 2 divide p(m)?
True
Let p = -1674 + 3747. Is 25 a factor of p?
False
Suppose 10*u = 13*u - 3. Let a(z) = z - 4*z + 7 - z + u. Is 16 a factor of a(-6)?
True
Let n(f) = 4*f**3 + 2*f**2 - 10*f - 10. Is 35 a factor of n(5)?
True
Let l(q) = -8 + 12*q + 1 - 36*q. Does 4 divide l(-4)?
False
Let l = 178 + -88. Suppose y = -4*y + l. Suppose -2*m + 38 = -y. Does 7 divide m?
True
Suppose -2*p = -18*p + 9232. Is 63 a factor of p?
False
Let f(j) = 10*j**2 + j + 22. Is f(-6) a multiple of 3?
False
Suppose 0 = 3*b + q - 9574, 2*b - q + 2*q = 6383. Does 28 divide b?
False
Let f be (-12)/(-8)*2 + -1. Suppose -f*q = -3*q - 5, 505 = 4*v - 5*q. Suppose b - 37 = 4*a, -2*b + a - 39 = -v. Does 7 divide b?
False
Suppose -7*g - 329 = -1092. Does 6 divide g?
False
Suppose 5*o = a + 73, -2*a + 4*o - o = 153. Is 13 a factor of a/(-52)*(0 + 26/3)?
True
Let f be ((-1 + 1)/(-1))/1. Suppose 2*x - 26 = -f*x. Is 3 a factor of x?
False
Let r = 29 + -27. Is 10 a factor of (((-50)/(-15))/5)/(r/357)?
False
Let c be ((-36)/(-16) - 2)*0. Suppose 4*m - m - 4*s - 1139 = c, -3*m + 3*s = -1140. Is m a multiple of 44?
False
Let m = -90 + 585. Is m a multiple of 39?
False
Let a(l) = l + 11. Suppose -5*w = -4*d + 49, -w + 5*d - 12 = 2*d. Let o be a(w). Suppose -o*u + 69 = u. Is 23 a factor of u?
True
Suppose 4*h = 0, -2*z - 5*h + h + 320 = 0. Is z a multiple of 3?
False
Let n(m) = 5*m**3 + 5*m - 4. Let v = 0 + 4. Let i be n(v). Does 23 divide 2/5 + i/10?
False
Let i(b) = 14*b**2 + 7*b - 42. Is 15 a factor of i(9)?
True
Suppose 18*t - 32*t + 19110 = 0. Is 35 a factor of t?
True
Let f(a) = -a**3 + 14 + 2*a**3 + a**3 - 3*a**2 + 7*a - 3*a**3. Is 20 a factor of f(-6)?
True
Let f(d) = -2*d + 29. Let c be f(13). Let v(g) = 2*g**3 + g**2 + 5*g - 1. Is 11 a factor of v(c)?
True
Suppose -2*r + 852 = 4*s, 0*s + 4*r - 420 = -2*s. Suppose t + t = -3*l + s, 3*t - 299 = l. Does 26 divide t?
False
Let q(j) = -2*j**2 + 32*j - 3. Is q(10) a multiple of 39?
True
Does 17 divide -1 + -1 + (10 - 8)*146?
False
Suppose -7*h = -4*h - 12. Suppose 2*d = h*d - 46. Is 7 a factor of d?
False
Let s(u) be the second derivative of -u**4/12 - 7*u**3/3 + 15*u**2/2 + 4*u. Is 12 a factor of s(-11)?
True
Let z be 2/(-10)*2 - (-168)/120. Is 5 a factor of (z + 1*-5)/((-4)/20)?
True
Let t(w) = 3*w**3 + 7*w**2 + 2*w + 8. Let b(k) = -4*k**3 - 7*k**2 - 3*k - 9. Let n(d) = 4*b(d) + 5*t(d). Is n(6) a multiple of 4?
True
Let k be 4/14 - (-57)/21. Suppose 2*b + 4 = k*b. Suppose -b*h + 270 = h. Does 16 divide h?
False
Suppose 5*o + 1270 = 3*r, -4*o - 1690 = -4*r + o. Is r a multiple of 30?
True
Let n = -79 + 82. Does 37 divide -16*n/((-36)/111)?
True
Is (-2 + -17)/((-11)/132) a multiple of 57?
True
Suppose 0 = 3*f + 3*b - 2 - 10, -5*b + 10 = -5*f. Does 7 divide (2/(-2))/(f/(-35))?
True
Suppose -2*n = 203 - 1013. Does 45 divide n?
True
Let u(l) = l + 1. Let b be u(7). Let k be 3/(-2 - (-13)/b). Does 15 divide k/(-28) - (-430)/14?
False
Suppose 36*n + 278 = 4*t + 35*n, 5*n - 10 = 0. Does 35 divide t?
True
Let u = 304 + -192. Is 16 a factor of u?
True
Suppose 0 = -7*r + 24 + 25. Suppose -11*j + 248 = -r*j. Is j a multiple of 6?
False
Let v(c) = -10*c**2 + 6*c + 9. Let b be v(-3). Let a = b + 183. Is 21 a factor of a?
True
Let u = -147 - -224. Is u a multiple of 11?
True
Let z be (-4)/(16/(-12)) - -2. Let l = z + -1. Suppose -5*j = -4*j + 1, 0 = -l*a + 5*j + 33. Is a a multiple of 3?
False
Suppose 3*v - 30 = v. Let t = v + -13. Suppose 5*b = t*b + 60. Is 3 a factor of b?
False
Suppose 4*w - 5*w + 834 = 2*o, 2*w = 2*o + 1686. Does 7 divide w?
True
Let t(g) = -12*g - 3. Let o be t(5). Let s = o + 76. Is s a multiple of 13?
True
Let a = 953 + -563. Suppose 3*f = 150 + a. Is 11 a factor of f?
False
Suppose 69*m - 65*m = 3*u - 192, 2*u - 3*m = 129. Does 18 divide u?
False
Let z(t) = t**3 - 4*t**2 + 6*t**2 - 7 + 8*t**2. Let w be z(-10). Let m = w + 16. Is m a multiple of 5?
False
Let y be 11/44 + 38/8. Suppose 0 = -i + y*i - 64. Suppose -2*c + i = 3*z, -4*z - 5 = 5*c - 24. Is z a multiple of 6?
True
Let c(d) = 4*d - 4. Let o be c(7). Does 11 divide (-1)/(2/110)*o/(-10)?
True
Let c = 66 - -278. Does 43 divide c?
True
Is (24/(-9)*3)/((-4)/114) a multiple of 6?
True
Is (-335)/(-9) - (-16)/(-72) a multiple of 13?
False
Suppose 8*w + 196 = w. Let d = w + 143. Is 23 a factor of d?
True
Suppose -2*h + 5*h - 180 = 0. Is ((-26)/(-65))/(2/h) a multiple of 6?
True
Let k be 8/1 + -3 + 4. Does 8 divide k - -26 - (1 + -2)?
False
Suppose -5*a = 3*b - 155, -5*b + 351 - 26 = -5*a. Is b a multiple of 12?
True
Suppose 0 = 5*f + 4*t - 6*t - 28, -2*f - 4 = 3*t. Suppose 5*c + 4*m - 720 = 0, 3*c - c - 300 = -f*m. Does 12 divide c?
False
Suppose -12*n + 8*n = -20. Suppose -4*b - 3*a + 2440 + 1051 = 0, n*a = 5. Is 6/33 - b/(-44) a multiple of 8?
False
Suppose 4652 = 15*s - 4018. Does 40 divide s?
False
Suppose 3718 = 9*h - 3752. Suppose -4*i + h = 190. Is 30 a factor of i?
False
Suppose 1236*f = 1240*f - 4900. Does 49 divide f?
True
Let i(t) = -t**2 + 4*t - 4. Let n be i(3). Is n + 13 + 3 + 3 a multiple of 9?
True
Suppose -3*v = v + 4. Let b = -14 + 18. Is 12*(18/b + v)