-3)*-24*1. Suppose 6*z - 20 = g. Is 4 a factor of z?
False
Suppose 5*h - 59 + 19 = 0. Let w = h + -6. Suppose w - 106 = -2*j. Does 12 divide j?
False
Let g(f) = -f**2 + 129*f - 256. Does 16 divide g(55)?
False
Let m = -3695 + 5336. Does 71 divide m?
False
Let u = -1501 - -3002. Does 13 divide u?
False
Let v(m) = m**3 + 3*m**2 - 3*m + 9. Let i be v(-4). Suppose -h + 46 = 3*r, 0*h - i*h - 2*r + 178 = 0. Is 14 a factor of h?
False
Suppose 3*r + x - 197 = 0, 3*r - 2*r - 71 = 5*x. Suppose -126 - r = -4*w. Is w a multiple of 8?
True
Suppose -2*h = 2*a - h - 29, 0 = 2*a + 3*h - 39. Suppose 0 = -4*s - a + 32. Suppose -q - 2*b + 15 = 0, s*q - 41 = 4*b - 8. Is q a multiple of 9?
True
Let u(d) = -d**3 - 9*d**2 - 19*d + 2. Let b be u(-5). Let c(f) = -15*f + 2. Let z(l) = -16*l + 1. Let i(k) = -5*c(k) + 6*z(k). Does 25 divide i(b)?
False
Let c(r) = r**3 + r**2 + 5. Let x(t) = -t**2 + 2*t + 35. Let l be x(7). Is c(l) even?
False
Let h(q) = -113*q + 1. Let x be h(-1). Let a be (-1)/(-4) + x/24. Does 20 divide (4 - a) + (0 - -21)?
True
Suppose -10080 = -94*n + 88*n. Is n a multiple of 30?
True
Let f(y) = -51*y. Let a be f(-1). Let k = a - -216. Does 15 divide k?
False
Suppose 15 - 201 = -n - 2*u, 0 = 2*n + 5*u - 375. Let d = -71 + n. Is d a multiple of 31?
False
Let q = -23 + 32. Let j = 15 + q. Is j a multiple of 15?
False
Suppose 0 = -6*p + 2*p. Suppose p = -2*s + 6 - 2. Suppose s*u - 2*t = -3*t + 119, -55 = -u - 5*t. Is u a multiple of 20?
True
Let j(v) = 4*v**2 - 15*v + 13. Let p(f) = -5*f**2 + 16*f - 13. Let y(m) = 6*j(m) + 5*p(m). Is 11 a factor of y(-9)?
True
Suppose -2*v - 48 = -58. Let x = -19 + 28. Suppose v*g - 54 + x = 0. Is 5 a factor of g?
False
Let m = 487 - 114. Is 13 a factor of m?
False
Let a be 3 - (-1 + (-2 - 54)). Suppose 0 = -u + 4*u - a. Suppose 21*f - u*f = 33. Is 12 a factor of f?
False
Suppose -d + 10*d = 0. Suppose d = -j - 5*h + 20, -5*j + 3*j + 5*h = -55. Is 8 a factor of j?
False
Let d be (-190)/(25/(-15) + (-6)/(-9)). Suppose -3*p + 4*p - d = 2*g, 0 = -g + 4. Is 27 a factor of p?
False
Suppose -3477 = 2*z + z. Let v = z - -555. Does 3 divide v/(-30) + (-2)/15?
False
Suppose 14*f - 19*f - 20 = 0. Is 44 a factor of 6/f - 490/(-4)?
False
Suppose -z - 3*z = 0. Suppose z*m + 3*m - 6 = 0, -286 = -3*x + m. Is x a multiple of 32?
True
Suppose 10*a = 38694 - 7534. Does 10 divide a?
False
Is 81 a factor of (-4)/(-6) - 92300/(-60)?
True
Let w = -1029 + 1581. Is w a multiple of 8?
True
Let c = -108 + 113. Is c a multiple of 5?
True
Let b(h) = 1. Let v(j) = -11*j + 13. Let y(p) = -4*b(p) - v(p). Does 10 divide y(7)?
True
Let l(d) = -d - d + 4 - 4*d - d**2 + 1. Let i be l(-6). Is i/((-10)/(-24)) - 0 a multiple of 12?
True
Suppose 4*n - 69 = 11. Let q = n - 15. Suppose -2*u + u - q*b + 51 = 0, 2*b = -5*u + 140. Does 13 divide u?
True
Let p = -22 - -25. Suppose -2*j = 5 + p. Is 15 a factor of (j + (1 - 55))/(-1)?
False
Let f(h) = 51*h**2 + 3*h + 33. Does 59 divide f(-4)?
False
Let t(c) = -c**3 + 4*c**2 + 2*c - 2. Let p be t(4). Suppose 0 + p = w. Is 6 a factor of w?
True
Let x = 633 - 267. Suppose 2*w - 8*w = -x. Is 10 a factor of w?
False
Suppose -5*a = 3*j - 6*a - 2919, -3*a = 3*j - 2907. Is j a multiple of 28?
False
Let j = -53 + 144. Let p = j + -31. Is p a multiple of 10?
True
Let r(y) = 11*y**2 + 9*y**2 - 17 - 17*y**2 - 14*y. Is r(7) a multiple of 3?
False
Let f(h) = -h - h**2 - 9*h + 0*h + 10. Let b be (-2 - (7 + -5)) + -4. Is f(b) a multiple of 6?
False
Let z = -13 + 35. Let t = 0 - z. Let y = -14 - t. Is y a multiple of 4?
True
Let b(d) = -3*d**2 - 3*d - 1. Let f be b(-10). Let u(h) = -46*h - 25. Let c be u(3). Let q = c - f. Is q a multiple of 24?
False
Suppose 5*z + 3*f = 7*f + 3523, -3550 = -5*z - 5*f. Does 26 divide z?
False
Let g be 1/(-2)*4/1. Let p be 4/20 - (-72)/15. Is 2 a factor of -1*((g - p) + -1)?
True
Let n = 2166 + -927. Is n a multiple of 59?
True
Suppose 3*j = -y - 5, 14 = 4*j - 3*y - 1. Let a = 8 + -5. Suppose -a*p - 2*p = -t - 436, j = t - 4. Does 27 divide p?
False
Let u(g) = 3*g**2 + 2*g + 3. Let k(j) = -j - 7. Let n be k(-10). Suppose 4*o = -3*i + 2*i - 8, -n*i + 8 = -4*o. Is 11 a factor of u(o)?
True
Suppose -4*k = -2*k - 72. Does 2 divide k/(-27)*27/(-12)?
False
Suppose -3*h = 3*c + 6, -22 = -c - 0*c + 5*h. Suppose -5*o + 50 = -4*y - y, -c*y = 3*o - 55. Is 16 a factor of (-6)/o - (-322)/5?
True
Suppose f = -3*f + 8. Let b be 3/5 + 28/20. Suppose 0*y - b*v - 12 = -f*y, y + 4*v = 11. Does 7 divide y?
True
Let x be 13 - 15/(20/(-4)). Is 16 a factor of 6/3*x*10/2?
True
Suppose 190 = -2*m + 5*m - l, -5*l + 266 = 4*m. Is m a multiple of 5?
False
Let k(l) = 21*l - 47. Let a be k(11). Suppose 2*i - a = -24. Is i a multiple of 18?
False
Let l = -33 + 18. Let m be (l/6)/(-5)*70. Is 15/m - (-222)/21 a multiple of 11?
True
Let a be 30/(-4)*16/(-20). Let p = a - -6. Suppose -p = 3*j, -5*z - j + 4*j = -157. Is 12 a factor of z?
False
Suppose 12*u - 8*u - 548 = 0. Suppose 3*c + u + 46 = 0. Let h = c - -118. Is 19 a factor of h?
True
Suppose 5*s + 5*y = 3*y - 112, 2*s = -5*y - 28. Is 28 a factor of (s/10)/(497/(-245) - -2)?
True
Is (-4)/12*9*88/(-3) a multiple of 44?
True
Suppose -3*l = -4*j - 361, j - 599 = -5*l + 5*j. Does 7 divide l?
True
Let f(q) = q**2 - 4*q + 1. Let p be f(3). Is 13 a factor of (33/(-3))/(p/14)?
False
Let a(n) = -5*n - 23. Let t be a(-5). Suppose 0*j - 264 = -t*j. Is j a multiple of 15?
False
Let i(b) = -b**2 + 9*b - 29. Let x be i(8). Is 4/6 + (-700)/x a multiple of 17?
True
Suppose 0 = -38*k - 84*k + 282674. Is 26 a factor of k?
False
Suppose -5*y - 288 = -1148. Is 12 a factor of y?
False
Let j(u) = 13*u + 14. Is 14 a factor of j(7)?
False
Let f(i) = -76*i - 2. Let p be f(3). Let w = -164 - p. Let a = -30 + w. Is a a multiple of 10?
False
Is 26 a factor of (3/(24/16))/(1/169)?
True
Suppose -35*t = 2656 - 14311. Is t a multiple of 9?
True
Let d(m) = 65*m**2 - 59*m + 121. Is d(2) a multiple of 40?
False
Let l = 45 + -15. Suppose -l - 10 = -m. Suppose 3*c + 5*h = 17, -2*h - m = -4*c - 0*h. Does 2 divide c?
False
Suppose -32*v + 30*v = 16. Let u(l) be the second derivative of -l**4/12 - 5*l**3/3 - 5*l**2/2 + l. Does 7 divide u(v)?
False
Suppose 4*z - 766 = -694. Is 6 a factor of z?
True
Let t(x) = -x**2 + 5*x - 3. Let h be t(3). Suppose 123 - 24 = h*r. Does 9 divide r?
False
Let p = -54 - -58. Is 2 a factor of p?
True
Let s be 0/(4/(-4) - 1). Suppose -p + 4*m = 1 - 2, s = 3*p + 5*m - 20. Suppose p*o = 66 + 4. Does 11 divide o?
False
Suppose -5*b + 4210 = 4*f, -95*b = 3*f - 92*b - 3156. Is f a multiple of 7?
True
Let z = -20 + 25. Suppose 10 = z*d + 5. Is 14 a factor of (-5)/((-20)/372) - d?
False
Let b(j) = -6*j - 3. Let p be b(-2). Suppose -2*l - l = -p. Suppose -2*k + r = -k - 26, 2*k + l*r - 37 = 0. Is k a multiple of 23?
True
Suppose -20 = 5*f, -5*c + 2891 = 3*f + 748. Is c a multiple of 57?
False
Let o(i) = i**3 + 29*i**2 + 27*i - 124. Does 65 divide o(-27)?
False
Let u(w) be the third derivative of w**6/120 - w**5/15 - w**4/24 + 2*w**3/3 - w**2. Let j be u(3). Is (-14 - j)/(2/(-13)) a multiple of 13?
True
Let s(q) = -58*q - 68. Is s(-17) a multiple of 17?
True
Suppose 3*j = -8*j + 19096. Does 31 divide j?
True
Let a(w) be the third derivative of -6*w**2 + 0*w**3 + 7/8*w**4 + 0*w + 0. Does 21 divide a(1)?
True
Let k(r) = r + 10. Let d be k(-7). Suppose c + 3 = 2, 3*c = -d*n + 153. Is n a multiple of 18?
False
Let d be 1 + (-3 - 1) + 3. Suppose d = 2*h + 3*h - 200. Suppose 5*s - h = 10. Is s a multiple of 3?
False
Let q be 12/14*(51/9 + -1). Is 6 a factor of ((-10)/(-15))/(q/(-94))*-3?
False
Suppose 56*y - 2259 - 1325 = 0. Is y a multiple of 4?
True
Suppose 9*j - 10*j - 3*o + 348 = 0, -3*j - 2*o = -1016. Is j a multiple of 7?
True
Let j(p) be the second derivative of p**6/360 + p**5/60 + 3*p**4/8 + 5*p**3/3 - 13*p. Let a(m) be the second derivative of j(m). Is a(-4) a multiple of 13?
False
Suppose -6*v + 10*v - 9568 = 3*k, 3*k = -4*v + 9568. Is v a multiple of 8?
True
Let f(x) = x**3 - 3*x**2 + 2*x - 2. Let a be f(2). Let g(j) = -5*j**3 - j**2 + 2*j - 1. Let q be g(a). Let t = q + 2. Is t a multiple of 11?
True
Suppose 3*c + 1633 = -2*i + 267, 5*c + 2277 = -3*i. Let x = c + 691. Is x a multiple of 39?
False
Suppose -6*q - 1416 = -9*q. Suppose -f = -3*f + q. Is f a multiple of 27?
False
Suppose 2*f 