s 6 a factor of (0 + -1)/(7/(-1295)) - 5?
True
Let f = 336 - 124. Does 10 divide f?
False
Let j(n) = 14*n**2 + n + 23. Is 9 a factor of j(5)?
True
Suppose 71 = 2*w - x, -2*x = -5*w + 7*w - 56. Suppose w = 2*c - 23. Is c a multiple of 4?
True
Let n = -73 + 214. Suppose 7*s = 48 + n. Does 8 divide s?
False
Suppose 41 = 5*r + 3*m - 20, 82 = 5*r - 4*m. Let p(o) = -o**3 + 15*o**2 - 13*o + 2. Is 4 a factor of p(r)?
True
Suppose 0 = -15*w + 10*w + 285. Let m(o) = -14*o**3 + 2*o**2 + 2*o - 1. Let h be m(-2). Suppose 2*a - h = w. Is a a multiple of 12?
False
Suppose -5*c - 3*h = -136, -7*h - 46 = -2*c - 4*h. Let x = c - 24. Suppose 5*r + 65 = 4*k - 53, 4*k = x*r + 124. Does 12 divide k?
False
Let t = -65 + 92. Suppose 5*r - 277 = -t. Does 21 divide r?
False
Suppose -3*b = -4*b + 40. Let i = -8 - -8. Suppose i = -h + 3 + b. Is 16 a factor of h?
False
Let r(y) = -13*y**3 + 1. Let n(a) = -a**3 + 10*a**2 + 9*a + 21. Let f be n(11). Is r(f) a multiple of 7?
True
Let v(y) = -y**3 - 33*y**2 - 43*y + 38. Is 5 a factor of v(-32)?
True
Suppose 18 = 2*h - 12. Let i = h - 10. Suppose -31 = -z - i. Does 7 divide z?
False
Suppose f + 0*f + 4*i = -22, f = -3*i - 23. Let y = f + 31. Is 2 a factor of y?
False
Let q be (0 + -3 - -6) + 2. Suppose -s - 8 = -5*k + q, -5*s + 7 = -k. Suppose 0*j = -s*j - 4*m + 20, -m = j - 10. Does 7 divide j?
False
Let s(g) = -9*g**3 + 3*g**2 - 2*g + 3. Let r be s(2). Let y = 206 + -117. Let d = y + r. Does 14 divide d?
True
Suppose -19*q = -15*q - 2760. Is 15 a factor of q?
True
Let w(f) = f**3 + 11*f**2 - 16*f - 13. Suppose 12 = -9*l + 8*l. Does 11 divide w(l)?
False
Let l(g) = -g + 19. Let m be l(-9). Let t = 52 - m. Is 6 a factor of t?
True
Let p(h) = h**2 - 10*h + 4. Let b be p(10). Let r be (1 + -1)/(8/b). Suppose c + 3*c - 88 = r. Does 11 divide c?
True
Let q(p) = -15*p**3 + 2*p**2 - 1. Let o = 24 - 22. Suppose -b + 11 = -0*b - 3*n, -2*b + n + o = 0. Is 7 a factor of q(b)?
False
Let f be ((-48)/15 - -4)/((-4)/(-10)). Suppose -272 = -f*n - 4*i, -2*n + 274 = i + i. Is 10 a factor of n?
False
Suppose 2*c - 32 = -6*c. Does 10 divide c + -1 + -7 - -23?
False
Suppose -3*x - 3*r - 213 = 2*x, -4*x - 2*r - 172 = 0. Let p = x - -149. Is p a multiple of 13?
True
Suppose 0 = -9*q - 10085 + 27635. Is 39 a factor of q?
True
Suppose 4*p - 88 = 236. Is p a multiple of 27?
True
Suppose -10 = -9*o + 7*o, d - o = 715. Does 20 divide d?
True
Let r(f) = -84*f + 35. Let z(p) = 2*p + 2 - 8*p + p. Let b(c) = 6*r(c) - 105*z(c). Is b(3) a multiple of 26?
False
Suppose 4*a - 1071 = -3*a. Let l = a - 101. Is 5 a factor of l?
False
Suppose 0 = -5*v + 827 + 258. Is v a multiple of 13?
False
Is 129 a factor of (2 - -2061) + -43 + 44?
True
Let i be (-3)/((-27)/6 + 3). Suppose -4*c = -i*f + 96, -2*c = -4*f + c + 192. Suppose -o - f = -3*o. Is 8 a factor of o?
True
Let q = -683 + 1110. Is 68 a factor of q?
False
Let f(x) be the third derivative of 5*x**4/24 - x**3/2 - 13*x**2. Does 3 divide f(4)?
False
Let a = 72 - 107. Let g = a + 48. Does 13 divide g?
True
Let k be (189/(-4))/(1/(-24)). Suppose 0 = 7*x - 0 - k. Does 10 divide x?
False
Suppose -12*i + 17*i = 35. Suppose 1183 = i*v + 329. Is 18 a factor of v?
False
Suppose 0 = 4*t - 318 - 118. Suppose 4*i - 50 = -2*x + 4*x, -4*x = i + t. Let l = 40 + x. Is 10 a factor of l?
False
Let z(y) = 2*y**2 - 22*y + 14. Let f be z(10). Let n = f + 19. Suppose 8*c - n*c + 300 = 0. Is c a multiple of 13?
False
Let v(z) = 181*z + 111. Does 28 divide v(7)?
False
Let m(b) = -7*b**3 + 6*b**2 - 3. Let c(p) = -26*p**3 + 6*p**3 - 2*p**2 + 21*p**2 - 2*p**2 - 8. Let f(o) = -3*c(o) + 8*m(o). Is f(3) a multiple of 27?
True
Let a be 3 - 16/14 - (-1)/7. Suppose 4*x + 0*z + a*z = 394, -z + 101 = x. Is x a multiple of 12?
True
Suppose 48 = 2*u - 32. Does 5 divide u?
True
Suppose 0 = -5*y + 2 - 32. Let u(q) = 4*q**2 + 6*q - 2. Let a(v) = 3*v**2 + 7*v - 2. Let s(n) = -3*a(n) + 2*u(n). Does 20 divide s(y)?
True
Let x = 1263 - 993. Is 74 a factor of x?
False
Suppose -1 = -6*h + 29. Suppose 203 = h*p - 77. Is p a multiple of 12?
False
Suppose -2*n = t - 506 - 698, 5*n + 3*t - 3010 = 0. Does 14 divide n?
True
Let f(b) = b**3 + 5*b**2 - 8*b - 9. Let n be f(-6). Is 4 a factor of (n + -5)/((-6)/33)?
False
Let l be (6/15)/(2/5). Suppose 2*o + l = 5. Is 3/o*(-70)/(-15) a multiple of 3?
False
Does 62 divide -2*5/(-10) + (-244)/(-4)?
True
Let j = 128 - -51. Suppose -365 = -4*v - 5*s, 4*v = -v + 3*s + 484. Let c = j - v. Does 28 divide c?
True
Suppose 62*x - 154 = 60*x. Is 3 a factor of x?
False
Let n be ((-90)/(-25))/((-6)/(-20)). Suppose n*r - 5*r - 294 = 0. Does 6 divide r?
True
Does 44 divide 5*((-264)/(-30))/1?
True
Suppose -2*v - 41*p + 39*p = -1678, 0 = -v - 3*p + 831. Does 55 divide v?
False
Let a = 5 - 1. Suppose -13 = v + 4*c, 3*v = -3*c + 1 - a. Suppose -2*k - 15 = -v*k. Does 13 divide k?
False
Let v(n) = n**3 - 2*n**2 - 4*n + 3. Let q be v(3). Suppose q = 3*c - 12, 0*p - 3*p - 5*c + 71 = 0. Does 6 divide p?
False
Let j = 1622 + -73. Is j a multiple of 136?
False
Suppose -18*x + 3458 = 20*x. Is 4 a factor of x?
False
Let i = -2 + 6. Let w = 1 + i. Suppose -w*g - 42 = -b, b + 4*b + 4*g - 152 = 0. Does 9 divide b?
False
Let r = 89 - 39. Is 5 a factor of r?
True
Is ((-35)/(-21))/((-25)/(-35190)) a multiple of 8?
False
Let a(g) be the first derivative of g**3/3 - 5*g**2/2 - 8*g - 1. Does 3 divide a(7)?
True
Suppose i = 4*i - 21. Suppose i*h = 4*h + 270. Does 12 divide h?
False
Let r = 132 - 139. Let d(n) = n + 27. Is 5 a factor of d(r)?
True
Let x(d) = 2*d**2 - 106*d - 130. Does 71 divide x(60)?
True
Suppose w = -4 - 1. Is 29 a factor of (46/8 + w)/(2/696)?
True
Let v = 20 - 15. Suppose 0 = -5*b + 5*s + 355, v*b - s = s + 352. Is b a multiple of 10?
True
Suppose -2 - 1 = -2*i + 3*y, -4*i + 4*y + 4 = 0. Suppose n - 78 + 16 = i. Suppose -d + n = -2*x, -2*d - 2*d - 2*x + 258 = 0. Is d a multiple of 15?
False
Suppose 50*u - 53*u = -810. Is 90 a factor of u?
True
Let u(o) = -o**2 + 6*o + 5. Let z be u(6). Let p(l) = l**2 + l + 1. Let q be p(4). Suppose -z*m - q = -4*f, -m - 3 = -2*f - 6*m. Is f even?
True
Is (15/(-5))/(6*(-5)/1480) a multiple of 26?
False
Let l = -3 + 6. Suppose -l = -j, -g - 3*j = 3*g - 253. Is g a multiple of 5?
False
Suppose 5*h - 57 - 3 = 0. Does 7 divide ((-2284)/10)/(-2) - h/(-15)?
False
Suppose -34*r + 31*r = -1530. Does 24 divide r?
False
Let l(q) = q**3 + 2*q**2 + q + 4. Let z be l(-2). Suppose z*j + 5 = 25. Let x = j + 31. Is 7 a factor of x?
False
Suppose -3*s - 12 = 0, -4*s + s + 24 = 3*v. Let x = v - 9. Suppose 8*m = x*m + 45. Is m even?
False
Let c(q) = -q**2 - 9*q + 2. Let v be c(-8). Let m(z) = -z + 4. Let l be m(v). Let p(g) = -g**3 - 6*g**2 - 5*g - 3. Is p(l) a multiple of 6?
False
Suppose -3*l = h + 3*h + 280, 0 = -3*l - 5*h - 278. Let f = l + 61. Let a = 55 + f. Does 10 divide a?
True
Suppose -116 = -0*t - 4*t. Let d = t - 28. Let z(b) = 54*b**2 + b - 1. Is 8 a factor of z(d)?
False
Let i = -6 + 6. Let l be i + 4 + 0 - 23. Let g = l + 32. Is 9 a factor of g?
False
Let u(c) = -c**3 + 5*c**2 - 3*c + 1. Let w be u(3). Suppose -6 = -12*o + w*o. Does 15 divide ((-14)/o)/((-6)/99)?
False
Is (-2776)/(-10) + ((-215)/25 - -9) a multiple of 18?
False
Suppose 0 = 5*q - 3*z + 44, 8 + 7 = -3*q - 2*z. Is (-4)/q + (-1496)/(-77) a multiple of 20?
True
Suppose -3*b - 5*k - 4 = -6*b, -k - 5 = 0. Let x = 39 + b. Is x a multiple of 32?
True
Let r(j) = 16 - 38*j**2 + 39*j**2 + 1. Is 27 a factor of r(-11)?
False
Let o be 297/4 + (-26)/8 + 3. Suppose 5*m - 5*d - 235 = 0, 3*m + d - 51 = o. Is 4 a factor of m?
False
Suppose -2*t + 2*u + 190 = 0, 5*u - 525 = -5*t - 0*u. Is 42 a factor of t?
False
Let u = -606 - -770. Does 22 divide u?
False
Suppose -2*h - 20 = -4*q, 6*q + 2*h - 8 = 3*q. Is 24 a factor of 2/(193/48 - q)?
True
Does 34 divide ((-32)/6)/(19/(-969))?
True
Let y be (0 + -2)*((-25)/(-5))/5. Let r(b) = b**3 + 4*b**2. Is 2 a factor of r(y)?
True
Let r = -140 + 290. Suppose 6*s + 0*s = r. Let i = -18 + s. Is 6 a factor of i?
False
Suppose -4*m + 3*m = -2*w + 4, -3*w = 2*m - 6. Suppose -w*z + 86 + 42 = 0. Is 12 a factor of z?
False
Let b be (-10)/25 + 104/10. Suppose -b*y = -15 - 335. Is 5 a factor of y?
True
Let g = 16 + -16. Let d(q) = -q**2 + q - 3. Let w be d(g). Is 31 a factor of (-2 - w)*(4 + 32)?
False
Let j = 62 - 3. Suppose 