 be o(1). Is 5 a factor of h/9*(3 + -30)?
False
Let i be 11/((-1)/3*-3). Suppose 540 = 17*h - i*h. Does 18 divide h?
True
Let f = -704 - -923. Does 3 divide f?
True
Suppose -42 = 2*d - o, -d - 3*d - 84 = 4*o. Let j = -4 - d. Does 4 divide j?
False
Let w(x) be the first derivative of -x**4/4 - 11*x**3/3 + 13*x**2/2 + 14*x - 6. Let l be w(-12). Let r(t) = 2*t**3 - 2*t**2 + 2*t + 2. Is 9 a factor of r(l)?
False
Let w(a) = -a**3 + 12*a**2 - a + 18. Let h(d) = 2*d**3 - 13*d**2 + d - 18. Let m(b) = -3*h(b) - 4*w(b). Is m(-7) a multiple of 27?
False
Let l = -2293 - -3525. Does 14 divide l?
True
Let i(k) = k**3 - k**2 + k - 1. Let n(z) = z**3 - 8*z**2 + 11. Let g(c) = -2*i(c) + n(c). Does 39 divide g(-7)?
False
Let g be 51/2*4/6. Let x = g + -9. Let m(v) = 2*v - 1. Is m(x) a multiple of 12?
False
Let n = -8 - -8. Suppose -d + n*x = 2*x, -5*d = -4*x - 14. Suppose -d*p + 26 = 4. Does 4 divide p?
False
Let b(z) = 9*z**2 - z + 1. Let c be b(2). Let j(k) = -k**2 - 16*k - 20. Let w be j(-10). Suppose -c = -2*o - 3*y, -3*o - 3*y - w = -4*o. Does 11 divide o?
False
Is 7 a factor of ((-27)/(-6) - 6)*-58?
False
Let w be (-2)/(99/(-24) - -4). Suppose v + v = w. Is v a multiple of 8?
True
Suppose -9*q + 38*q = 3596. Is 62 a factor of q?
True
Suppose 0 = -c - 4*i + 5, 10 = 5*c - 0*i + 5*i. Is (68/8)/(c/2) a multiple of 12?
False
Let l(s) = -3*s + 12. Let n be l(12). Is 10 a factor of (3 + 1)/(n/(-180))?
True
Let k = -7 + -28. Does 9 divide (-2510)/k + (-2)/(-7)?
True
Let a(i) = -3 + 9*i**2 - 2*i**3 + 1 + i**3 - 3. Let h be 16*(-1)/(-2)*1. Is a(h) a multiple of 24?
False
Suppose 3*c - 9 - 6 = 0. Let o(j) = 11*j - 9. Is 11 a factor of o(c)?
False
Suppose 4*m - 300 = 2*t, -m + 4*m - 218 = 5*t. Let f = 16 + m. Does 12 divide f?
False
Does 109 divide 2068/33*(0 - -33)?
False
Does 23 divide (2300/125)/((-4)/(-250))?
True
Let j(o) = o**2 + o - 1. Let t be j(1). Let v = 6 - t. Suppose a = -3*x + v*x + 62, -3*a = x - 193. Is 32 a factor of a?
True
Let n(u) = -15*u - 29. Let i be n(-6). Let a = 98 - i. Is a a multiple of 3?
False
Suppose -5*i = -2*w - 2049, 5*w = -3*i + w + 1245. Suppose 0 = -5*s + i - 146. Is s a multiple of 10?
False
Let m be -1*(-4 - (3 - 5)). Let g(x) = -4*x**3 + x**2 + x + 1. Let l be g(m). Is 10/l - (-604)/10 a multiple of 20?
True
Let x = 1625 + -1157. Is x a multiple of 18?
True
Let i = -36 - -26. Is 18 a factor of 54/i*(-10)/3?
True
Let l be 21/2*(-72)/(-54). Suppose 3*n + 14 = 5*i + 6*n, n = 3*i - l. Suppose 0 = i*m + 2*q - 15 - 47, 3*m - 2*q = 36. Does 8 divide m?
False
Let d(n) be the third derivative of n**5/12 + n**4/8 + n**3/3 - 2*n**2. Let f be d(-1). Suppose 5*v - 120 = -5*o, v + 0*v - 4*o - f = 0. Does 8 divide v?
False
Suppose -17*w = -33 - 2143. Suppose -2*k = -5*h + 297 - 93, -3*h + w = -4*k. Is h a multiple of 10?
True
Let f = 10719 + -3663. Suppose 11*j - f = 8*j. Does 17 divide 12/15 - j/(-35)?
True
Suppose h = 5*h - 4. Let g(m) = 32*m**2 - m - 1. Let j be g(h). Suppose 3*u - j - 12 = 0. Is u a multiple of 3?
False
Suppose 0 = 2*c + 4*z - 78, -4*c + 3*z = 5*z - 138. Is c a multiple of 11?
True
Let o = -11 - -2. Let y be o/6*2/3. Does 15 divide 4/y - 147/(-3)?
True
Suppose 3*l = 2*r - 2292, -2*r + 6*r = -2*l + 4616. Is 32 a factor of r?
True
Let b(o) = -5*o**3 - 10*o**2 - 4*o - 5. Let r = -57 + 54. Is b(r) a multiple of 26?
True
Does 4 divide ((-324)/(-15))/(18/45)?
False
Let g be (-1)/(-4) - 252/(-16). Let k(m) = 17*m**3 - m**2 + 2*m - g*m**3 - 7*m**2 + 11. Is k(9) a multiple of 30?
False
Suppose 5*y - 13 = 2. Let l(q) = 10*q**2 + 0*q + 0*q - 3*q. Is l(y) a multiple of 27?
True
Let k(y) = y**2 + 7*y + 6. Is 47 a factor of k(8)?
False
Suppose -5*m - 3*i + 1 = 0, -3*m + 4*i + 2 = -8*m. Suppose -27 = -3*w + 6*w - 3*n, -38 = 4*w - m*n. Let s = 2 - w. Does 6 divide s?
True
Let l(x) = -4*x**3 - 6*x**2 + 36*x + 15. Does 3 divide l(-6)?
True
Let h be 5/3 - 4/(-12). Suppose -203 = -5*u - h*u. Let g = 13 + u. Is 21 a factor of g?
True
Let l be -2 + -2 + (-8)/(-4). Let g = l + 4. Does 11 divide ((-10)/(-15))/(g/123)?
False
Suppose 5*n = c - 6*c - 70, 0 = 3*n + 9. Let u(w) = -2*w + 2. Is u(c) even?
True
Suppose -4*k = -0*w + 4*w + 8, 2*k - 4 = 2*w. Let s(m) = -m**2 + 8*m + 4. Let p(n) = n**2 - n - 1. Let a(g) = w*p(g) - s(g). Does 2 divide a(-5)?
False
Let o(j) = -11 - j**2 + 2 - 9 + 9*j. Let h be o(15). Is 30 a factor of (-20)/(3*8/h)?
True
Suppose -2654*t = -2659*t + 490. Does 8 divide t?
False
Suppose 5*t + 0*t = 0. Suppose -4*i = -t*i - 12. Is (38/i)/(2/6) a multiple of 13?
False
Suppose 5*n = -10, 2*k + 4*n - 4 = -n. Let s(w) = w**3 - 7*w**2 + 4. Let f be s(k). Suppose 177 = 3*l - f*t - 26, -l - 4*t + 89 = 0. Does 34 divide l?
False
Let j = -7 + 95. Is 44 a factor of j?
True
Let k = 31 - -749. Does 36 divide k?
False
Let t(g) = g**2 - g + 13. Let n be t(0). Let w be (-15396)/(-26) + (-2)/n. Suppose -6*d + w = -152. Does 32 divide d?
False
Let t be (-20)/(-15)*-3 - -11. Suppose 120 = -t*m + 11*m. Is m a multiple of 18?
False
Let v = -863 - -926. Does 21 divide v?
True
Let p(s) = -s**2 + 47*s + 80. Does 21 divide p(25)?
True
Suppose -4*o = 4*b - 844, 5*b = -22*o + 23*o + 1025. Is b a multiple of 9?
False
Let l = 29 - 24. Let y(z) = -z**3 + 4*z**2 + 6*z. Let f be y(l). Is 8 a factor of -4 - (-114 + 4)/f?
False
Let v(y) = -y**2 + 2*y + 22. Let m be v(-5). Let a = m + 34. Is 4 a factor of a?
False
Let o(x) = -x**3 - 15*x**2 - 10*x - 1. Let p be o(-14). Let b = 123 + p. Is b a multiple of 33?
True
Suppose -t + 8 = t. Let s be ((-3)/t)/((-2)/184). Suppose -3*j + 48 = -s. Does 13 divide j?
True
Suppose -17*w + 2173 = 150. Does 3 divide w?
False
Let v be (-3)/(-18)*-3*-20. Suppose -14*h + v*h = -468. Suppose -5*q = 4*z - 6*z - 144, z = 4*q - h. Is q a multiple of 10?
True
Let n be (15/(-25))/((-2)/10). Suppose 0 = g + n*g. Suppose g*w + 5*y = -2*w, -4*y + 12 = 4*w. Does 5 divide w?
True
Let q = 35 + 21. Suppose 0 = -l + 5*j + 4 + q, -53 = -l - 2*j. Is 11 a factor of l?
True
Let k be (40/(-30))/(2/(-6)). Is 93 + -4 + k/2 a multiple of 7?
True
Suppose -4*k + 0*g = 4*g - 24, 2*k = g + 3. Suppose 3*z - 337 = 4*a, k*z - 4*a = 5*z - 258. Does 13 divide z?
False
Let y(a) = 0*a**2 + 4*a + a**2 + 0 + 2. Let x be y(-3). Let l = x + 16. Does 5 divide l?
True
Let i(k) = -k**3 + 3*k**2 + 6*k - 3. Let c be i(4). Suppose -c*d - 136 = -m - 413, -3*m = -2*d + 116. Does 11 divide d?
True
Let l be (-6)/(-21) + (-95)/(-35). Let i = 19 - l. Is 8 a factor of i?
True
Let o be 0/((-1)/(-1)*-2). Suppose -73 = 5*d - 5*i - 183, -d - i + 28 = o. Is 5 a factor of d?
True
Suppose -2*c = c. Suppose c = -j - 15 + 21. Is ((-164)/(-6))/(j/18) a multiple of 15?
False
Let k(d) = -34 + 29*d + 15 + 17. Is 9 a factor of k(1)?
True
Suppose -129 = -3*t + 312. Let n = t - 103. Let h = n + 37. Is h a multiple of 27?
True
Suppose 0 = -68*g + 84*g - 4752. Does 11 divide g?
True
Is (-7 + (-1115)/(-25))/(1/35) a multiple of 14?
True
Let c(j) be the second derivative of -9*j**5/4 - j**4/4 + j**3/6 + j**2/2 + 3*j. Let t(q) = -q**3 + q**2 - q. Let a(s) = -c(s) - 2*t(s). Is 17 a factor of a(1)?
False
Let k(a) = a - 6. Let u be k(15). Does 35 divide (u/1 - 2)*5?
True
Suppose -3*g + 2*g - 26 = -2*t, 4*t - 58 = 5*g. Let i be (t/(-3))/(-4)*2. Suppose 3*a - 161 = m, 4*a + i*m - 188 = -2*m. Is a a multiple of 11?
False
Let i be 12/(-42) + (-23)/(-7). Suppose -63 = -j - 0*b + 3*b, i*b = 4*j - 297. Is 9 a factor of j?
False
Suppose -16*t = -11*t - 140. Suppose m + t = 116. Is m a multiple of 11?
True
Let x = 539 - -614. Is 92 a factor of x?
False
Let l(j) = 3*j + 25. Let d be l(7). Let a = d - 18. Does 14 divide a?
True
Let q(l) = -l**2 - 4*l + 6. Let n be q(-5). Let o(u) = 5*u - 2. Let b be o(n). Suppose 2*g = -r + 13, 0 = -3*g - 2*g - b*r + 31. Is 4 a factor of g?
True
Suppose -53 = -2*s + 189. Does 11 divide s?
True
Let g(i) = -2*i**3 + 6*i**2 - 13*i + 83. Does 16 divide g(-9)?
True
Does 4 divide ((-8)/16)/((22/96)/(-11))?
True
Let g(r) = r**3 - 7*r**2 + 44*r + 13. Is g(14) a multiple of 25?
False
Let l = 28 - 13. Let y = l + -16. Does 3 divide (-2)/(2*y/19)?
False
Let y(b) = b**2 - 9*b + 3. Let c(o) = -o**2 + 9*o - 9. Let j be c(6). Does 2 divide y(j)?
False
Let q be (-3 + 6)*(-16)/(-6). Let x = q - 20. Does 12 divide 98/8 - x/(-48)?
True
Suppose -340 = -7*r + 395. Is 15 a factor of r?
True
Let p b