alse
Let c = -192 + 178. Is 16 a factor of 4 + (-6030)/(-35) - (-4)/c?
True
Suppose 4*t - 4*v + 180 = -5*v, 3*v = 0. Let p = -112 - -125. Let j = p - t. Is 8 a factor of j?
False
Let q(p) = -p**3 + 53*p**2 - 123*p + 305. Is q(37) a multiple of 54?
True
Let d = 25 + -23. Suppose -2 = -2*n - 4*m + 2, 2*n + m = 4. Suppose u + d*l - 5 = 9, 30 = n*u + 2*l. Does 3 divide u?
False
Suppose 3*k + 295 = 2*h, 3*k = -3*h + 210 + 225. Let q be h/3 - 4/(-12). Let j = q + -17. Is j a multiple of 4?
True
Suppose 0 = -4*v + z + 12, 4*v = 4*z + 6 + 6. Suppose -b + 91 + 0 = -s, -5*b = v*s - 447. Does 3 divide b?
True
Suppose o = 3*l - 1, l + 37 = -5*o + 3*o. Let t(x) = -62*x**2 + 98*x - 26. Let v be t(5). Is 24 a factor of (-3)/(-24) + v/o?
False
Let c be 4686/16 - (-1)/8. Let q = c - -27. Does 32 divide q?
True
Let z(r) = 240*r**2 + 101*r - 205. Is z(11) a multiple of 42?
True
Suppose 2*i = 3*u + 2999 + 17177, 3*u + 10082 = i. Is 4 a factor of i?
False
Let s = -46 + 13. Let x = s + 33. Is 19 a factor of (-10 - -6)/(-4) + (18 - x)?
True
Let n(k) be the second derivative of k**5/20 - 11*k**4/12 - k**3/6 + 13*k**2/2 + 5*k. Let l be n(11). Suppose -14 + 110 = l*o. Does 12 divide o?
True
Let o = 2459 - 2309. Does 4 divide o?
False
Let q = 7722 + -4520. Is 34 a factor of q?
False
Is (2640/32)/(4/16*(-2)/(-49)) a multiple of 21?
True
Let w = -286 - -285. Is (-942)/(-4) + -4*w/8 a multiple of 20?
False
Is 244 + -235 + 1*6667 a multiple of 22?
False
Let w(v) = v**2 - 14*v - 18. Let g be w(16). Suppose -h - 3*c = -0*c - 15, -2*c = -4*h + 32. Suppose -m + g = -h. Is 4 a factor of m?
False
Let g(n) = 2*n - n**3 - 49*n**2 - 53*n**2 + 16 + 96*n**2. Does 19 divide g(-8)?
False
Let m(a) = -752*a**2 + 2*a + 2. Let d be m(-1). Let z = -422 - d. Is 30 a factor of z?
True
Let j(k) be the first derivative of -57*k**2/2 + 73*k - 39. Does 22 divide j(-6)?
False
Suppose 2*q - 2494 = -w, q + 17*w - 14*w = 1242. Does 24 divide q?
True
Let w = -1277 + 1281. Suppose -42 = -x + 5*v, -2*v + 144 = 4*x - 2*x. Suppose -4*l - 36 = -3*b, w*b + 3*l - 6 = x. Is 8 a factor of b?
True
Suppose 3*u - 4*m = u + 1456, 3*u + 3*m - 2148 = 0. Suppose -3*k = 3*z - 1176 - u, z + 2*k - 629 = 0. Is z a multiple of 33?
False
Let d = 15528 + -6178. Is 28 a factor of d?
False
Suppose -t + 0*t = 4*g - 8, 4*t + 5*g = 21. Suppose 0 = -t*o + 269 + 19. Let k = -2 + o. Does 7 divide k?
True
Let h = 20 + -51. Let c(n) = n**3 - 3*n**2 + 7*n - 6. Let v be c(6). Let w = h + v. Is w a multiple of 15?
False
Suppose 0 = 16*v - 8*v - 64. Suppose 2*k = 6*k + v. Is 54 a factor of (-3 - 5/k)*-614?
False
Suppose -2*h = -5*u - 14110, 14*h + 2*u = 9*h + 35188. Does 55 divide h?
True
Is 23 a factor of 204/153*(-14499)/(-6)?
False
Is 8 - (21/(-14) - 995/10) even?
False
Let l = -707 + 1697. Is 15 a factor of l?
True
Suppose -50*m = 10*m - 12240. Is 4 a factor of m?
True
Let o(a) = a**3 - 18*a**2 + a + 11. Let b be o(18). Suppose s - 3*l = 2*l + 25, l + b = s. Suppose 4*g - 7*g + s = 0. Does 5 divide g?
True
Let z(r) = r**3 - 4*r**2 + 6*r - 3. Suppose -11 = 3*q - 4*t, -q - 8 = 3*q - 4*t. Let v be z(q). Is 10 a factor of (-3 - 0)*(-278)/v?
False
Let f(a) = a**2 - 11*a + 14. Let n be f(10). Let x be ((-8)/1)/(2 - n). Suppose 360 = 5*v - x*l, 0*v + 2*v - 4*l - 144 = 0. Is 24 a factor of v?
True
Let t be (9 + -13)*40/(-32). Let f be (-6 + 5)*(-1 - 1). Suppose f*g - t*g + 1029 = 0. Is 49 a factor of g?
True
Let m(p) = 867*p**3 + 4*p**2 + 7*p + 2. Let u be m(-1). Let j = 1455 + u. Is 72 a factor of j?
False
Let m(c) = -c**2 - 15*c + 3. Let l be m(-15). Suppose 15 = -l*f - 3*h, -5*f - 2 - 18 = 4*h. Suppose f*p = -3*p + 75. Is p a multiple of 5?
True
Suppose 4956*b - 4895*b = 736514. Is 43 a factor of b?
False
Suppose -1032 = -19*g + 2863. Suppose -214*x = -g*x - 5922. Does 14 divide x?
True
Suppose 136 = 6*y + 124. Suppose -g - 2291 = -5*n, -3*n + 459 = -y*g - 910. Is n a multiple of 26?
False
Let h = 1 - -4. Suppose 3*r + r = 3*q - 8, -5*q = -h*r - 10. Does 6 divide 4/((-3)/(36/r))?
True
Let x(b) = 13*b**2 + 392*b - 29. Is x(13) a multiple of 32?
True
Suppose 0 = q - 16*h + 13*h - 1677, 4*h - 5031 = -3*q. Is q a multiple of 39?
True
Suppose 22 = n + 15. Suppose 18 - 53 = -n*p. Suppose -109 + 929 = p*g. Does 17 divide g?
False
Suppose 0 = -18*r + 656736 + 551568. Is 24 a factor of r?
True
Let t(m) = m**2 + 4*m + 4*m**2 - 12*m**2 + 2*m**3 + 60 + m**2 + 0*m**2. Is t(10) a multiple of 49?
False
Let v(h) = -5*h**3 + 10*h + 3994. Is v(0) a multiple of 6?
False
Let x be (-2710)/(-1)*224/140. Suppose -22*u + 1780 = -x. Is 13 a factor of u?
False
Let f(k) = -4*k**2 - 5*k - 26. Let q be f(7). Let u = q + 555. Let l = -129 + u. Does 13 divide l?
True
Let g(y) = 5*y - 3. Let z be g(1). Suppose 0*q - q + z = 0, 4*i - 2*q + 100 = 0. Let u = 68 + i. Does 4 divide u?
True
Is 13 a factor of ((8 - 113) + -18)/(1/(-78))?
True
Suppose -12 = -2*z + 4*l, 0*l - l = -2*z + 3. Let w be -25*(-1)/(z - -1). Suppose w*q = 17*q + 840. Is 5 a factor of q?
True
Let z(u) = 44*u + 214. Let b(o) = 15*o + 71. Let m(p) = 11*b(p) - 4*z(p). Let j be (-2)/3*(7 - -11). Is 11 a factor of m(j)?
False
Suppose 0 = 3*o + 4*c - 20, 2*o = -0*c - 3*c + 15. Suppose -4*i + 976 = -5*r - 186, o = 3*i + 2*r - 883. Does 43 divide i?
False
Let u(o) = -o - 2. Let q be u(-5). Suppose 5*s - 164 = -q*c, 33 - 8 = -5*s. Is c + (1 + 0 - 0)/1 a multiple of 8?
True
Let r(m) = -m**2 - 5*m + 16. Let j be r(-7). Suppose 0 = 4*z - k - 7876, -z + 2*z + j*k = 1960. Suppose -z = -6*p - 0*p. Is p a multiple of 37?
False
Suppose 12*z + 5650 = 16*z + 2*a, -4*z + 5*a = -5671. Is z a multiple of 14?
True
Suppose 1029*t = 1077*t - 181392. Is t a multiple of 6?
False
Let m(j) = 13*j**2 + 14*j - 5. Let o = -474 - -470. Is m(o) a multiple of 2?
False
Suppose 0*p - 4*p = -48. Let d be 26/10 + (-8)/(-20). Is 16 a factor of (27/p - d)/((-2)/128)?
True
Let f be ((-48)/30)/(6/15) + 5. Let z be (f - 0)/(-8 + 3 - -4). Is 21 a factor of 0 + 22 - z/(-1)?
True
Let m(l) = 200*l - 56. Suppose 12 = 4*u + p, 7*u + 4*p - 22 = 4*u. Is 14 a factor of m(u)?
False
Suppose -7*n - 14*n + 462 = 0. Suppose -30*f + n*f + 3216 = 0. Is 7 a factor of f?
False
Let n(m) = -7*m - 17. Let j be n(6). Let l = -55 - j. Suppose 8*h - 128 = l*h. Does 9 divide h?
False
Let g = 25 + -14. Suppose -w = 3*c + g, -2*w + 4 - 12 = -c. Let p(s) = 4*s**2 + 4*s + 5. Is p(c) a multiple of 2?
False
Let u(g) = 3*g**2 + 4*g - 3. Let q be u(8). Let f = q - 56. Is 11 a factor of f?
True
Suppose 372 = 3*j - p - 4*p, 479 = 4*j - p. Let m be (-8 - -9) + j + 0. Suppose -s + 6*s = m. Is 12 a factor of s?
True
Let x(y) be the third derivative of y**5/3 + 5*y**4/24 + 7*y**3/6 + 20*y**2. Is 11 a factor of x(-1)?
True
Suppose -5*l - 324 = 401. Suppose 2*q = 5*x + 284, 5*q - 5*x = 2*q + 431. Let b = q + l. Is b even?
True
Suppose 1212 = -6*v + 18*v. Let x = v - -42. Suppose -23*q + 22*q = -x. Is 11 a factor of q?
True
Is 85 a factor of 16/(-6)*102507/(-94)?
False
Suppose 2*u + 511 = -3*u - 3*r, -3*u - 315 = -r. Let k = -87 - u. Suppose -5*q + 131 = 3*w + 46, -q = -5*w - k. Is q a multiple of 17?
True
Let p(m) = -m**2 + 41*m - 54. Let k be p(39). Is 11 a factor of (860/15 + 6)/(4/k)?
False
Suppose -3194 = -6*d - 1304. Is d a multiple of 16?
False
Let t(y) = y**2 + 10*y + 20. Let z be t(-4). Let g be (18/z)/(3/(-28)). Let o = g + 61. Is 15 a factor of o?
False
Let q(a) = a**3 + a**2 - 19*a + 4. Let h be ((-32)/20)/(8/20). Is q(h) a multiple of 4?
True
Let h be 6*76/24*-8. Is 9 a factor of (-2 + -26)/(h/36 - -4)?
True
Let a(y) = 27*y + 826. Is 11 a factor of a(17)?
False
Suppose 5*h - 266 = 2159. Is 48 a factor of h + ((-4)/(-4) - 6)?
True
Suppose -49*b + 143385 - 5450 = 0. Is b a multiple of 112?
False
Suppose -2*f = f - 3534. Suppose 1182 = 2*n - 5*b, 2*n + b - f = 5*b. Suppose 2*m - 6*m + 4*t = -596, -4*m + n = t. Does 13 divide m?
False
Suppose 0 = 5*h - 3*w - 5543, 19*h - 23*h + w = -4440. Does 9 divide h?
False
Suppose 0 = -a - 2*l + 4250 + 3814, 2*l = 14. Is 14 a factor of a?
True
Let g be (4/2)/(-12) - 25/(-6). Suppose g*q = 20, x - 74 = 4*q + 359. Suppose -5*l - 4*v = 140 - 894, 3*l - x = -3*v. Is 19 a factor of l?
False
Let m = 1 + -9. Is 9 a factor of (m - -6)*(2 + (-59)/2)?
False
Let p = 141 + -138. Let w(y) = 20 + 26*y**3 - 14*y**2 + 29*y**p + 2*y - 54*y**3. Is w(14) a