 11*x - 1 + 4*x**2 - 12*x - x**3 + 3*x**2. Let h be y(6). Suppose -2*o + 35 - 7 = 3*m, -3*m = o - h. Does 10 divide m?
True
Let q be ((-6)/(-9))/((-6)/(-9)). Is (66 + (-5 - -3))*q a multiple of 8?
True
Suppose -75 = 3*y + 60. Is 15 a factor of ((-8)/6 + 1)*y?
True
Let p(b) = b**2 + b - 4. Let g be p(-3). Let o be ((-38)/(-8))/(g/48). Suppose o = 10*y - 7*y. Is y a multiple of 38?
True
Let j(r) = r**3 + 12*r**2 + r + 14. Let d be j(-12). Let s(v) = 2*v**3 - 3*v**2 + 2*v + 1. Let m be s(d). Suppose 11*c - 70 = m*c. Does 13 divide c?
False
Suppose 5*f - 3 = 2*s, 0*s - 2*f = 3*s + 14. Is 10 a factor of (-9)/s*120/9?
True
Let p(m) = -2*m**3 - 18*m**2 + 15*m - 5. Does 45 divide p(-10)?
True
Let s(a) = 2*a**2 + 34*a - 151. Is s(10) a multiple of 77?
False
Is 5/10*1480 + 1*-2 a multiple of 70?
False
Let j(s) = -s**3 - 3*s**2 + 2*s + 2. Let c be j(-3). Suppose -87*k = -81*k - 180. Is 15 a factor of (-6 + 0)*k/c?
True
Let s(n) = n**2 - 6*n + 24. Let f be s(19). Suppose -5*j - 3*z + f + 310 = 0, 3*j - 2*z = 360. Is j a multiple of 9?
False
Let w(v) be the third derivative of -23*v**4/24 - v**3/6 - v**2. Suppose 5*r + 4 = -2*y - 4, 2*y = 5*r - 8. Does 29 divide w(y)?
False
Let p(b) = b**2 + 8*b + 19. Let v be p(-5). Suppose -v*x + 190 = 38. Is 26 a factor of x?
False
Let a be ((-2778)/(-4))/((-1)/(-2)). Suppose -a = -5*k - 214. Suppose 3*m = -2*v + 90, -k = -2*v - 3*v - 5*m. Is 12 a factor of v?
False
Suppose 2159 = -18*a + 11825. Is a a multiple of 48?
False
Let d(t) = t**2 + 4*t - 4. Let c be (8 - 6)*(11 - -2). Suppose 0 = -4*v - c - 14. Is d(v) a multiple of 9?
False
Let t be ((-1)/(-5))/(6/90). Suppose 4*r - 88 = t*r. Is 22 a factor of r?
True
Let n(g) = 14*g - 17. Let d(b) = 14*b - 17. Let w(o) = -3*d(o) + 4*n(o). Does 13 divide w(10)?
False
Suppose -366*q + 358*q + 4680 = 0. Does 12 divide q?
False
Let x(g) = -2*g - 4. Let h be x(-5). Suppose -2*y = -h*y - 260. Let k = y - -130. Is 11 a factor of k?
False
Suppose 21 = 8*m + 5. Is 33 a factor of (-35 - (-4)/m)*-5?
True
Let o(t) = -t**2 - 3*t + 2. Let m be o(-3). Suppose s - 4*s - m*i = -21, 0 = 5*s + 5*i - 30. Is s a multiple of 9?
True
Suppose 3*p = -0*p + a + 3747, 5*a = -2*p + 2481. Does 104 divide p?
True
Let b be 2 + (-4)/4 + 7. Suppose -4*w + 4*s - 6*s + 80 = 0, -b = 2*s. Suppose -20*t + w*t - 16 = 0. Is 8 a factor of t?
True
Suppose q - 68 - 58 = 0. Suppose 4*b + q = l, 5*l - 3*b = 2*l + 387. Suppose -3*u + 2*h = -l, 2*h = -u - 2*h + 34. Does 14 divide u?
True
Let i be (-8)/6*-3*(-3 - -105). Suppose 0 = 5*y + u - 674, i = -3*y + 6*y - 3*u. Is 30 a factor of y?
False
Let j be ((-6)/4)/(2*6/(-512)). Let g = -54 + j. Is g a multiple of 10?
True
Let g(i) = 34*i + 4. Suppose -4*z = 2*z - 36. Let p(b) = -33*b - 3. Let u(l) = z*p(l) + 5*g(l). Is u(-4) a multiple of 27?
False
Suppose -11*q = -19*q + 368. Is 2 a factor of q?
True
Is 31 a factor of (-950)/(-30) + 2/(-3)?
True
Let x = 1938 + -554. Is x a multiple of 51?
False
Let y(s) = s**3 + 14*s**2 + 15*s + 22. Let l be y(-13). Does 12 divide ((-2)/l)/(18/3492)?
False
Does 15 divide 306*((-4)/(-6))/(2/3)?
False
Is (26/(-4))/((-20)/800) a multiple of 26?
True
Let a = 1000 - 904. Is a a multiple of 3?
True
Suppose -o = 2 - 10. Let l be 8/32 + (-10)/o. Is 15 a factor of (30/l)/((-1)/1)?
True
Suppose v - 5*p = 5*v - 82, -6 = 3*p. Let u = v - 4. Does 11 divide u?
False
Suppose 118 + 80 = 2*j - 4*d, -3*d + 429 = 4*j. Suppose -f + o + j = 6*o, f + o - 93 = 0. Is f a multiple of 6?
True
Suppose 9*s = 4 - 13. Does 48 divide 9/18 - s/2 - -148?
False
Let k(y) = -26*y. Let r be k(2). Let d = r - 13. Does 12 divide (-7 - d) + 0 + 2?
True
Suppose 0*g + 22 = 2*g. Let b = g - 8. Suppose b*s - 12 = 3. Does 5 divide s?
True
Let n = 159 - 17. Does 6 divide n?
False
Let y(m) = 2*m - m**2 - 2*m**2 - m + 6 + 5*m + m**3. Let h be y(6). Suppose 4*o + o - h = 0. Is 15 a factor of o?
True
Suppose 23*t - 23362 - 9735 = 0. Does 24 divide t?
False
Let d = -59 + 167. Is (d/(-15))/(2/(-5)) a multiple of 6?
True
Let a = -11 - -33. Suppose -2*o - a = 40. Let n = o - -51. Is n a multiple of 10?
True
Let t(c) = c**3 + 14*c**2 + 14*c + 19. Let r be t(-13). Let w = -6 - r. Is 22/(2*(-4)/w) a multiple of 13?
False
Let u(r) be the third derivative of r**7/252 - r**6/720 - 7*r**5/60 + 5*r**2. Let b(p) be the third derivative of u(p). Is b(1) a multiple of 19?
True
Let c(d) = 8*d**2 + 8*d + 19. Does 11 divide c(-5)?
False
Suppose 79 + 161 = p. Is 17 a factor of p?
False
Let g = 62 + 18. Is 16 a factor of g?
True
Suppose -7 + 0 = -c + h, 8 = -2*h. Suppose 3*n + 6 = -z, 3*n + 15 = c*z - 3. Suppose 0 = z*l - 50 - 43. Is 20 a factor of l?
False
Suppose 2*x = -6, 5*o + x + 2 = -3*x. Let r be (-4)/(-10) + (-10)/25. Is (2 - r)*(o - 0) a multiple of 4?
True
Let a = 2231 + -2080. Is a a multiple of 6?
False
Suppose -3*m = 19 + 233. Let u be ((-2)/6)/(7/m). Suppose 70 = -i + u*i + 2*r, 2 = -2*r. Is 8 a factor of i?
True
Suppose 0 = -4*y + p - 4*p + 60, 0 = -y - 3*p + 24. Does 3 divide 42/5 - y/(-20)?
True
Let h(v) = v**2 + 4*v + 5. Let l be h(-3). Suppose -5*g + 256 = -l*c, c + 115 + 39 = 3*g. Is 13 a factor of g?
True
Let g = 0 + -32. Let b = -13 - g. Is b even?
False
Does 15 divide (0 - -85)/((-21)/(-9) - 2)?
True
Let i(d) be the third derivative of d**4/3 - d**3/6 - 4*d**2. Let a be i(-1). Let t = 16 + a. Is 2 a factor of t?
False
Let k(i) = i**3 - 10*i**2 + 19*i + 3. Let o be k(11). Let p = o - 177. Is p a multiple of 16?
False
Let c = 16 - 11. Let j(z) = 6*z - 12*z + 9 + 15*z. Is 18 a factor of j(c)?
True
Let h = 24 - 22. Suppose 4*x = -4, 2*x + 1 = h*p + 3. Does 12 divide 72 - (p - (-8)/2)?
False
Let o = 38 - 66. Let m = o - -60. Is m a multiple of 17?
False
Let p(s) be the third derivative of -s**5/60 + 19*s**4/24 - 15*s**3/2 + 4*s**2 + 2. Is 2 a factor of p(15)?
False
Let u(y) = -6*y**3 + 3*y**2 + 8*y + 5. Let c(x) = -x**3 + x**2 + x + 1. Let z(p) = 5*c(p) - u(p). Let h be z(-3). Is 15 a factor of (h + 15)*(-1)/(-1)?
True
Let j(b) = b**3 - 9*b**2 + b + 5. Let h be j(9). Let u be -3*((-29)/3 + 3). Let f = u + h. Is 14 a factor of f?
False
Let g(f) = -2*f - 5. Let n be (5 - (-81)/(-15))/(2/30). Is 7 a factor of g(n)?
True
Let s = 34 - 31. Suppose -14 = 5*l + 3*p, 0 = -4*l + 4*p + 8 - 0. Let n = s - l. Does 4 divide n?
True
Suppose 0 = 3*n - 6*n + 15. Suppose -p = -6*p + n. Does 6 divide (p/(-2))/(2/(-76))?
False
Let y = 244 + -147. Let p = 201 - y. Is p a multiple of 26?
True
Let y(r) be the third derivative of 1/15*r**5 - 10*r**2 + 1/8*r**4 + 0*r - 1/120*r**6 + 0 + 5/6*r**3. Is 7 a factor of y(4)?
False
Let k(b) be the first derivative of b**4/4 + 4*b**3 + 11*b**2/2 + 4*b - 5. Let a be k(-11). Suppose -43 + 3 = -a*u. Is 2 a factor of u?
True
Let d(h) = 5*h - 29. Let c be d(13). Suppose -4*u - c = -6*u. Is u a multiple of 13?
False
Let l(b) = b + 6. Let u(m) = 1. Let y(h) = l(h) - 6*u(h). Let j be y(3). Suppose -j*f + 330 = 2*f. Does 12 divide f?
False
Let u = -30 - -66. Is 8 a factor of u?
False
Suppose 0 = -3*n + 85 - 28. Let m = n + -19. Suppose m = 10*b - 5*b - 120. Does 11 divide b?
False
Let d = -84 - -49. Let g be (-4)/(-10) + (-21)/d. Is 1*(g + 0)*36 a multiple of 6?
True
Let y = -82 - -237. Is 24 a factor of y?
False
Let c(z) = 10*z - 2. Is 42 a factor of c(5)?
False
Let b(f) = f**2 + 7*f - 6. Let c be b(-8). Suppose -3 = -4*h + 1, 0 = -2*s - 2*h + 50. Suppose 0 = -2*x + 5*k + 71, -c*x + 29 + s = k. Is x a multiple of 8?
False
Let z = 5732 - 3159. Is z a multiple of 83?
True
Suppose 3496 = -35*j + 37271. Is 8 a factor of j?
False
Let b(r) = -2 - 2*r**2 + 13 - 7*r + r**2. Is b(-5) a multiple of 6?
False
Suppose 192559 - 12239 = 98*g. Does 92 divide g?
True
Let x(v) = v**2 + v - 6. Let p be x(5). Let d = p - -28. Is 23 a factor of d?
False
Let k = -553 - -1233. Is k a multiple of 68?
True
Let d = -561 - -834. Does 21 divide d?
True
Does 47 divide (-13 + 5 + 10)*(-1 + 269)?
False
Suppose g + 21 = -79. Let r = 227 + -273. Let h = r - g. Is 18 a factor of h?
True
Let h(q) = q**3 - 3*q**2 + 4*q + 1. Let l be h(3). Suppose 3*w + 1 = l. Let g(r) = 2*r**2 - 3*r - 2. Is 6 a factor of g(w)?
True
Let z = 17 + 7. Suppose -j = -3*s, 0 = -j - 4*s + s + z. Is 4 a factor of j?
True
Suppose -10*h = -6 - 14. Is 149/12*h - 4/(-24) a multiple of 7?
False
Suppose 4*h - u - 7 = 0, -h = 3*u - 8 + 3. Suppo