e
Suppose 7*h - 4 - 24 = 0. Suppose h = -4*v, -2*v = -4*n - 0*v + 106. Is 16 a factor of n?
False
Suppose -127 = 6*g - 319. Does 16 divide g?
True
Suppose -3*z = -2*y + z - 40, 4*z = -5*y - 58. Let r be y/(-3)*(-162)/(-7). Is (4/8)/(3/r) a multiple of 11?
False
Let u = 29 - 47. Does 2 divide (3/u)/((-8)/(-12))*-8?
True
Let d(u) = 2*u**3 + 25*u**2 - 33*u - 71. Does 6 divide d(-13)?
False
Let d(j) be the first derivative of j**3/3 + 7*j**2/2 + 15*j - 11. Let o be d(-5). Does 13 divide 11 + (o - -3)/4?
True
Suppose -30 = 5*t - 280. Suppose 84*s + t = 85*s. Is 25 a factor of s?
True
Let f = 893 - -43. Is f a multiple of 13?
True
Let l(b) = -4*b**3 + 11*b**2 + 2*b - 14. Let x(s) = -5*s**3 + 12*s**2 + 2*s - 13. Let c(v) = -4*l(v) + 3*x(v). Let w be c(9). Does 12 divide (-14)/(-21) + w/6?
False
Let y be 7/7 + 61/1. Let p = -22 + y. Is p - (1 + 0/3) a multiple of 15?
False
Let a = -7 + 3. Let r = 6 - a. Is 26 a factor of 888/r + 11/55?
False
Let u = 7 - 0. Let n = -5 - u. Is 18 - (-9)/n*4 a multiple of 10?
False
Let f(y) = -38*y**3 - 3*y**2 + y + 1. Let t(z) = 75*z**3 + 7*z**2 - 3*z - 2. Let r(a) = 5*f(a) + 2*t(a). Let b be r(1). Let o = 72 + b. Does 13 divide o?
False
Let m be 8/40 - 2/10. Let p(u) = -u + 15. Let r be p(m). Suppose 0 = 44*g - 47*g + r. Is 5 a factor of g?
True
Is 7 a factor of -30*((5 - -1)/(-12) + -1)?
False
Does 18 divide 14826/15 - 48/(-30)?
True
Let s(p) = -13*p**3 + 2*p**2 + 35*p + 172. Does 8 divide s(-5)?
True
Let d(b) = b + 12. Suppose s + 0 = -7. Let n be d(s). Let r = 9 - n. Does 4 divide r?
True
Suppose -a + 557 = 4*s, s = -5*a + 3*s + 2851. Is a a multiple of 17?
False
Suppose -p + 5*p + 2*l - 4 = 0, 5*l + 2 = -4*p. Suppose f + 5 = p*f. Is 3 a factor of f?
False
Let h(t) = -3*t**2 + t - 4. Let b(l) = -13*l**2 + 4*l - 16. Let w(d) = 2*b(d) - 9*h(d). Is w(-3) a multiple of 12?
False
Let u(y) = -y**3 - 9*y**2 + 11*y + 15. Let w be u(-10). Let z = 3 + w. Suppose -f - 3*x = -z, -2*f - 3*f + 3*x + 94 = 0. Is f a multiple of 8?
False
Suppose 0 = 17*c + 28 - 623. Is c a multiple of 35?
True
Suppose -3*p = -21 + 63. Let m(l) = -2*l - 18. Let r be m(p). Does 17 divide ((-6)/r)/(1/(-85))?
True
Let p = 1 + 2. Suppose p = -n + 1. Let w = 4 - n. Does 3 divide w?
True
Let f be (-2)/(-2)*(2 + -1 + 4). Suppose 0 = u + 1, 2*k - f*k + 5*u = -77. Does 5 divide k?
False
Suppose -7 - 6 = -5*v + 2*q, -4*v + 3*q = -9. Suppose 2*s - x - 744 = -v*s, 2*s + 3*x - 284 = 0. Is 42 a factor of s?
False
Suppose -10406 = -67*a + 2458. Is a a multiple of 64?
True
Suppose 2*v + 2*j - 10 = 0, 0*v - v - 3 = 5*j. Suppose 4*r + o = -4 + 5, v = -2*r - 3*o. Let f = r + 5. Is f even?
True
Let y be 2*10/12*3. Suppose y*b - x = -11, 4*b + 5 = -3*x - 0. Is b/13 + 5027/143 a multiple of 29?
False
Suppose -2*b - n + 0*n + 296 = 0, 298 = 2*b + 2*n. Suppose d + 2*d + b = 0. Let i = 85 + d. Is 9 a factor of i?
True
Let c = 17 + -13. Suppose -c*u = -5*g - 2*u + 419, -u + 343 = 4*g. Is 21 a factor of g?
False
Let g(x) = -x**3 + 19*x**2 - x + 16. Let p be g(19). Let u = 23 + p. Is 3 a factor of u?
False
Suppose -5*z - 2 + 27 = 0. Suppose 5*f - 120 = z*h, -36 = -0*f - f + 4*h. Is f a multiple of 10?
True
Let t = -25 - -30. Suppose -s - 151 = -t*s - 3*h, 5*s - h = 165. Does 16 divide s?
False
Suppose -4*k = -10 + 38. Let p = 9 - k. Suppose -2*s = -p - 6. Is 4 a factor of s?
False
Suppose 0*h - 192 = -4*h. Let r = h + -9. Suppose 4*k - 86 = -2*t, -2*k = -0*t - 3*t - r. Does 21 divide k?
True
Let o(f) = 24*f + 468. Does 18 divide o(15)?
True
Let v be 41/(4/24*(-2)/(-3)). Suppose -v = -2*j + 217. Is 51 a factor of j?
False
Let r be 928/192 + (-2)/(-12). Does 3 divide (220/16)/r*12?
True
Let t(y) = y**3 - 7*y**2 + y - 5. Let x be t(7). Does 25 divide x/(-2)*(-194)/2?
False
Suppose -u = -m - 61, 2*u - 102 = -0*u - 3*m. Suppose -2*g - u + 301 = -5*q, -416 = -3*g - 5*q. Let r = -81 + g. Does 15 divide r?
False
Suppose 1051 = k - s, 2*k + 5*s - 4*s - 2087 = 0. Does 10 divide k?
False
Let t = 15 + -12. Suppose t*k - 71 - 31 = 0. Suppose 3*m - 26 = k. Does 20 divide m?
True
Suppose -3*u + 12 = u. Suppose -r - 93 = -5*l + 65, u*r = -2*l + 53. Let a = l + -13. Is a a multiple of 11?
False
Let i(k) = 41*k**2 + k - 1 + 1 - 40*k**2. Let g be i(0). Suppose g = -q + 2 + 10. Is q a multiple of 3?
True
Let i(z) = z**2 + 43*z + 281. Is 13 a factor of i(-39)?
False
Suppose 37*t = 22*t + 2520. Does 14 divide t?
True
Let c = 54 + -58. Let z(b) = -2*b**3 - 2*b**2 + 8*b + 2. Does 11 divide z(c)?
True
Let r(q) be the second derivative of 5*q**4/6 + q**3/2 + 9*q**2/2 + 15*q. Let f be r(-4). Suppose -9*k - f = -769. Is 11 a factor of k?
False
Let q be -4*1/3*-15. Suppose -5*m + 0*m + 25 = z, -2*z = -4*m + q. Suppose m*r - 4*k = 112, -k + 28 = 2*r + 3*k. Does 10 divide r?
True
Suppose -2*v = -g - 36, -3*g + 47 = -4*v + 147. Let q = -34 - g. Does 2 divide 0 - (-1)/((-3)/q)?
True
Suppose 0*o - 188 = -4*o. Let u = -51 - o. Let m = u + 149. Is m a multiple of 25?
False
Suppose -s + 8 = -2. Suppose s = 3*u - 2*n, u - 10 = -0*n + 4*n. Is (u/4 - 0)*52 a multiple of 13?
True
Let w be (-705)/(-40) - 9/(-24). Does 10 divide (-240)/w*(30/(-4))/5?
True
Does 4 divide 4740/4 - 1 - (2 - 4)?
False
Is (1 - -1) + 15540/6 a multiple of 49?
False
Let p(b) = -b**2 + b + 13. Let t be p(-3). Is 5 a factor of (78/12)/(t/2) + 3?
False
Let a = 180 - 107. Let m(c) = -c**2 - 10*c - 2. Let i be m(-9). Suppose -i*u + a = -501. Is u a multiple of 22?
False
Let n(u) = -u**2 + 22*u - 18. Is 19 a factor of n(13)?
False
Let n(l) = -l**3 + 10*l**2 + 2*l + 2. Suppose -5*a + 12 = -3. Suppose -4*u = 2*s + s - 10, a*s - 5*u - 55 = 0. Is 9 a factor of n(s)?
False
Let x be (-3 - (-5 + 1))/(-1). Is (0 + x)*-141 - 1 a multiple of 7?
True
Suppose -7*g + 11*g = 0. Suppose -5*y - 25 = g, 0*w - 3*y = -3*w + 207. Is 8 a factor of w?
True
Suppose 54 = -7*j - 2*j. Let z(f) = -f**3 - 6*f**2 - 13*f - 8. Is z(j) a multiple of 14?
True
Suppose 13*i = 10*i + 3*k + 447, -3*i + 439 = -5*k. Does 4 divide i?
False
Let v(h) = -h**3 - 38*h**2 + 39*h + 25. Does 3 divide v(-39)?
False
Let l(c) = 3*c**2 + 35*c + 355. Does 35 divide l(-21)?
False
Let k = 33 + -47. Let p = -10 - k. Let v(n) = 2*n**3 - 5*n**2 + 6*n - 2. Is 23 a factor of v(p)?
False
Let p be 1/3 + (-32)/(-12). Suppose r = -2*q + p, 2*r - 1 = 3*r. Does 16 divide 3 - ((-50)/q + -3)?
False
Let o(m) = m**3 + 4*m**2 + 4*m + 2. Let u be o(-2). Suppose r + u*d = 17, -3*d = 5*r - 0*d - 85. Is 17 a factor of r?
True
Let z be (-44)/(-11)*(-10)/(-8). Suppose 5*w = -5*d + 145, -2*w - z*d = w - 87. Suppose -3*u + 1 = -w. Does 7 divide u?
False
Let b = 168 - -250. Let w = -299 + b. Is w a multiple of 21?
False
Suppose 2*b = 2*l - 7*l - 17, 3*b - 22 = 2*l. Let z be 2421/(-45) - (-1)/l. Let p = 107 + z. Is 22 a factor of p?
False
Let n(u) = u**3 + 9*u**2 - 13*u + 10. Suppose -3*o - 10 = -5*x, -o - 3 = -x + 3. Is n(o) a multiple of 20?
True
Let b(z) be the third derivative of -z**4/24 - z**3/6 + 3*z**2. Let i be b(-6). Suppose 0 = -4*k - 4*t + 108, -3*t = i*k - 0*k - 133. Is 26 a factor of k?
True
Let c(h) = h**2 + h + 29. Suppose 4*o - 4*m = 5*o - 10, 0 = o - m. Suppose o*x = x. Is 6 a factor of c(x)?
False
Let h(u) = u**3 + 14*u**2 + 3*u - 26. Does 4 divide h(-13)?
True
Let u(z) = -z**2 - 6*z + 9. Let a = -8 + 1. Let h be u(a). Suppose -6*l + h*l + 196 = 0. Is l a multiple of 14?
False
Suppose 2*d - 329 = 1441. Does 15 divide d?
True
Let h = -9 - -6. Does 5 divide (-496)/(-24) - (-2)/h?
True
Suppose -26 = -4*t - 14. Suppose -3*m + 3*b + 20 = -73, -111 = -3*m - t*b. Is m a multiple of 7?
False
Let v(z) = 52*z + 7. Let f be v(6). Let q = 169 - f. Let b = 215 + q. Is 13 a factor of b?
True
Let f(p) = 2*p**2 + 10*p + 24. Let x be f(-6). Suppose -40*l + 300 = -x*l. Does 15 divide l?
True
Let j = 2114 + -762. Is 13 a factor of (j/(-16))/(2/(-4))?
True
Let n = -104 - -182. Let g = 206 - n. Is g a multiple of 5?
False
Let x = -8 + 13. Suppose -36 - 94 = -x*l. Is l a multiple of 13?
True
Let l(r) = 21*r - 21*r - 1 + 4*r**2 + 13*r**2. Let w be l(-1). Suppose 1 = -3*f + w. Is 5 a factor of f?
True
Suppose -2*s = -3*a - 738, -5*s + 0*a + 1845 = a. Is s a multiple of 41?
True
Is (-780)/(-25)*(-1870)/(-33) a multiple of 17?
True
Does 27 divide (((-36)/(-16))/(-1))/((-6)/672)?
False
Suppose -2*o + 218 = 82. Suppose -4*f - o - 68 