, 11 + 6 = -s + 5*w. Suppose s*h = 2*h + 42. Is h a multiple of 10?
False
Let h(y) = -y**3 - 2*y**2 + y + 6. Let v be h(-6). Suppose 3*f = -4*l + 21, 0*f - 4*f - 4*l = -24. Suppose -v = -f*n + 90. Does 26 divide n?
True
Let g(h) = h**3 - 3*h**2 + h + 9. Let x(w) = w**2 - 19*w + 5. Let d be x(19). Is g(d) a multiple of 37?
False
Let z be 1*(3 + 2455 + 0). Suppose -11*o + z = 544. Is o a multiple of 29?
True
Is 21084/(-24)*(-6)/3 a multiple of 8?
False
Let b = -37 + 100. Is b a multiple of 21?
True
Suppose -r + 8 = -2*o + 25, 2*r = 3*o - 32. Let y(z) = -2*z + 8. Let f be y(-9). Let d = r + f. Is 13 a factor of d?
True
Suppose -4*z + 5*z = 41. Is z a multiple of 2?
False
Let c = -108 - -358. Suppose s - c = -4*s. Does 5 divide s?
True
Let t(o) = 4*o**2 + 29*o + 54. Does 6 divide t(-18)?
True
Is 5*(28/140)/(1/27) a multiple of 14?
False
Let j = -379 - -382. Suppose -4*f = 5*o + 7 - 30, 4*f = 2*o + 2. Suppose f*y + j*y = 390. Is y a multiple of 26?
True
Suppose 10*t = 4928 + 3262. Is t a multiple of 39?
True
Let y(b) = 0*b - 12 - b**3 - 11*b**2 + 7*b + 3*b**2. Let l be y(-9). Suppose -l*w + w + 145 = 0. Is w a multiple of 8?
False
Suppose -4*c + 1 = -15, 0 = 4*k + 2*c - 2216. Does 12 divide k?
True
Let j(l) = l**2 - 17*l + 144. Does 13 divide j(24)?
True
Let i(d) = 4*d**2. Let y be i(1). Suppose 4*v + y*k = 5*k - 226, -5*k = -5*v - 290. Is 4 a factor of (90/105)/((-2)/v)?
True
Suppose -3*a + 82 = -2*a. Suppose a = 3*j - 8. Is 10 a factor of j?
True
Let m(s) = 14*s**2 + 1. Let u(a) = -a**3 + 9*a**2 - 8*a + 2. Let d be u(8). Let f be m(d). Suppose n = 2*w + 42, 0*w - f = -2*n - 5*w. Is 7 a factor of n?
False
Let o(p) = -33*p - 10. Let r(x) = -32*x - 11. Let u(z) = -5*o(z) + 4*r(z). Is 16 a factor of u(2)?
True
Let m(v) = 2*v**2 - v - 2. Let q be m(2). Suppose b = -b + q. Is b a multiple of 2?
True
Let b(i) = -i**3 - 12*i**2 + 12*i - 8. Let l be b(-13). Suppose -o + 34 = l*t, 2*t = -3*o + 130 - 28. Does 8 divide o?
False
Let l(s) = 18 - s - 2 - 334*s**2 + 333*s**2. Does 11 divide l(0)?
False
Suppose -3*f - 2 = -5*v - 7, 0 = -2*f + 4*v + 2. Let k(p) = -3*p + 7 + 3*p**2 - p**2 - 3*p. Does 7 divide k(f)?
False
Suppose -2668 = -45*r + 41*r. Does 23 divide r?
True
Let o(l) = -9*l + 1. Let a be o(3). Let n(i) = -11*i - 25. Let x be n(-6). Let h = a + x. Is 10 a factor of h?
False
Suppose -z = 5*b - 28, -2*b - 3*z + 12 = b. Let r(n) = -87*n - 2. Let f be r(b). Is 12 a factor of (-4)/(-22) + f/(-22)?
True
Is 9 a factor of (-2 + -1240)*2/(-3) + 0?
True
Suppose 0 = -5*n - 5*u + 10975, -4*n + 5034 = 5*u - 3751. Is 73 a factor of n?
True
Let o be (0/(2 + 0))/(-2). Let l(r) = -9 + o*r + 0*r + 1 - 6*r. Does 7 divide l(-6)?
True
Let c(q) be the second derivative of q**4/6 + 8*q**3/3 - q**2 + 14*q. Is 8 a factor of c(-11)?
True
Suppose 2*p = -3*y - p + 30, -40 = -5*y - 3*p. Suppose i + y*z + 230 = 5*i, 2*i + z - 108 = 0. Is 11 a factor of i?
True
Let q be 1*2 + (-10)/5. Let t(b) = q*b + b + 4*b + 10*b - b**2 - 18. Does 7 divide t(12)?
False
Let g = -21 + 27. Is 15 a factor of -2*(4 + (-189)/g)?
False
Let j be 68/2*1/2. Let p be 1*(-3)/(9/(-57)). Suppose 0 = -3*c + j + p. Is c a multiple of 3?
True
Let l(y) = 6*y - 5. Let n(c) = 18*c - 14. Let p(d) = 8*l(d) - 3*n(d). Let z be p(-7). Suppose 2*t = 6*t - z. Is t a multiple of 4?
False
Let h(s) = 4*s + 73. Let d be h(0). Suppose -115 = 3*t - 43. Let n = d + t. Does 15 divide n?
False
Suppose -2*p = 2*m - 8, 2*p = -5*m + 7 + 4. Suppose -5*z = 5*b - 980, p*b + z + 99 = 695. Is b a multiple of 12?
False
Let h(x) = x**3 + 10*x**2 - 3*x + 14. Let j be h(-10). Let f = j + -30. Is 7 a factor of f?
True
Suppose -4*y = -5*n - 372, -n + 172 = 2*y - 0*n. Suppose -5*z = 5*r + y - 368, -z = 0. Does 8 divide r?
True
Suppose -h + 2*y = 2*h - 356, 0 = -h - 4*y + 100. Let d = -48 + h. Is d a multiple of 17?
True
Is (-9 - -7) + -2 + 177*2 a multiple of 14?
True
Let w(k) = 7*k**2 + 4*k + 1. Let l be w(-2). Is 197/3 - 14/l a multiple of 21?
False
Let b(q) = 2*q**3 - 24*q**2 + 41*q + 29. Does 4 divide b(13)?
True
Is 7 a factor of 3/(-5) - 24052/(-70)?
True
Let j = 711 + -428. Is j a multiple of 44?
False
Let u be 12/15 + 11/5. Suppose 4*l - u*l = 35. Is 7 a factor of l?
True
Suppose 0*h + 11 = 5*r - 4*h, h = r - 3. Let g(k) = 41*k**3 + 6*k - 1. Let b(d) = -40*d**3 - 5*d + 1. Let c(j) = 6*b(j) + 5*g(j). Is c(r) a multiple of 12?
True
Is 14 a factor of 8/14 - (-5872)/14?
True
Suppose 44 = w + 55. Let o = w - -63. Does 13 divide o?
True
Let f be 6/(-11 + 5) + 64/2. Let m = 68 - f. Is 4 a factor of m?
False
Let y be 2/3*(-75)/10. Suppose -2*j - 4*a - 18 = 0, -j + 5*j - 3*a = -3. Is (-146)/(-10) - j/y a multiple of 6?
False
Suppose -x - 8 + 3 = 0, 3*a + 5*x + 1 = 0. Suppose -765 = -a*u + 3*u. Suppose u = -12*d + 15*d. Does 20 divide d?
False
Suppose 87 = -t + 4*t. Suppose -4*j + i + 18 = 5, 2*j - t = 5*i. Does 10 divide (24/4)/j + 31?
False
Let h be (-110)/(-25) - 4/(-30)*-3. Suppose 4*y = -4*t + 232, h*y - 3*t - 345 = -127. Is y a multiple of 17?
False
Let u(z) = z**2 + 11*z + 26. Let o be u(-8). Suppose -11*y = o*y - 3250. Is y a multiple of 50?
True
Let g(r) = r - 11. Let j(n) be the second derivative of -n**3/6 + 5*n**2 - 8*n. Let s(y) = -4*g(y) - 3*j(y). Does 3 divide s(8)?
True
Let h = -51 + 25. Suppose 2*c = -3*g + 157, c - 80 = 4*g - 6*g. Let t = c + h. Is t a multiple of 8?
True
Suppose 7*j + 53 + 87 = 0. Let x be (64/20)/((-2)/j). Does 36 divide x*((-10)/(-8) - -1)?
True
Let h = -242 - -857. Is h a multiple of 15?
True
Does 6 divide (-33)/3 + 6 - 1600/(-4)?
False
Let o(z) = 3*z**2 + 2*z + 11*z**2 - 1 + 39*z**2 - 1. Is o(1) a multiple of 19?
False
Suppose 275 = i - 103. Let j = -204 + i. Is j a multiple of 29?
True
Let j(q) = q**3 - 15*q**2 + 35*q - 84. Is 18 a factor of j(14)?
False
Let w(j) = -j**2 - 24*j - 8. Let z be w(-17). Suppose 2*f = -0*f - 5*l + z, -4*f + 180 = -4*l. Is f a multiple of 12?
True
Let n(a) = 2*a**3 - 17*a**2 + 25*a + 1. Does 3 divide n(7)?
False
Let u be (-1)/((-3)/(-4 + 1)). Let q be 1 + -3 + 31 + u. Suppose -q = s - 3*s. Is s a multiple of 6?
False
Let y(s) = 7*s**2 + s - 1. Let r be y(2). Suppose -r*j + 25*j + 96 = 0. Suppose 0*h = 4*h - j. Is 2 a factor of h?
True
Suppose -6*x + x + 440 = 0. Let f = 55 - x. Let d = -8 - f. Is 7 a factor of d?
False
Suppose 1053 = -14*i - 221. Let b = 121 + i. Is 10 a factor of b?
True
Suppose 4*u - 4*f = f + 7253, -f = 4*u - 7223. Is 17 a factor of u?
False
Suppose -183 = -3*a + 198. Does 64 divide a?
False
Suppose 4*q + 125 = -3*v, -66 = 3*v - q + 34. Let b = v - -78. Is b a multiple of 24?
False
Suppose -z = 172 - 624. Is z a multiple of 4?
True
Is 2432/24*27/6 a multiple of 19?
True
Let g(q) = -25*q - 61. Does 9 divide g(-19)?
True
Let w = -4 + 9. Let x(z) = 2*z + 12. Let m(v) = -v + 1. Let f(p) = 3*m(p) + x(p). Is f(w) a multiple of 7?
False
Let d(x) = -2*x - 1. Let h be d(5). Let z(b) = b**2 - 4*b - 11. Let f be z(6). Let t = f - h. Is 4 a factor of t?
True
Let n(y) = 38*y**2 + 6*y + 28. Does 16 divide n(-3)?
True
Let g = -80 + 45. Let i be 3/(-7) + (-1520)/g. Let q = -26 + i. Does 10 divide q?
False
Let y be (-68)/(-6)*(-30)/(-20). Suppose -l = -2 + y. Is (-52)/6*l/10 a multiple of 3?
False
Suppose 0 = -27*w + 22279 + 4289. Is 123 a factor of w?
True
Is 4 a factor of -3 + 112 + -5 + 6?
False
Let l(h) = 15*h**2 + 8*h + 0*h**2 - 13 - 2*h**2 + h**3. Let m(g) = 2*g**2 + 15*g - 5. Let z be m(-7). Is 10 a factor of l(z)?
False
Suppose g = 4*o - 1726, -o + 5*g - 421 = -2*o. Let t = o + -211. Does 55 divide t?
True
Let o(n) = 6*n + 151. Does 6 divide o(-15)?
False
Let c(r) = 2*r + 40. Let n(m) = -5*m - 81. Let x(z) = 7*c(z) + 3*n(z). Is 10 a factor of x(17)?
True
Let m be (-1)/((-60)/57 + 1). Suppose 2*r + 5*h + m = 67, -4*r + 132 = h. Is 11 a factor of r?
False
Does 14 divide 7/(((-84)/6792)/(-7))?
True
Does 16 divide (1/5)/(15/118275)?
False
Let f(i) = 3*i**3 - 2*i**2 + 1. Let a be f(1). Let p be -3 - (-115 - (0 + a)). Suppose -3*z + 0*z = -p. Is z a multiple of 15?
False
Let d(b) = b**3 - 9*b**2 + 2*b + 11. Let r be d(11). Suppose 4*c + 75 = l, 0*c = 5*l + 5*c - r. Is l a multiple of 19?
False
Let k(j) = j**3 + 7*j**2 + 5*j - 8. Let z be k(-6). Let d(a) = 3*a**3 - a - 3. Let q be d(z). Let u = q - -31. Is 2 a factor of u?
True
Let b(x) = 3*x**2 - x - 2. Suppose -3*r + 5*