 of h(f)?
True
Let w = -6 + 6437. Does 44 divide w?
False
Let i be (10/4)/(2/(-1088)). Let o = i - -1912. Does 12 divide o?
True
Let j(d) = 2*d**2 - d - 75. Let v be j(-8). Suppose v*i - 16 = 60*i. Does 14 divide i?
False
Let n(b) = 2*b**2 + 13*b - 15. Let q be n(8). Suppose q + 93 = 2*p. Does 25 divide p?
False
Suppose 2 + 10 = 2*i. Suppose -q = i*q + 147. Does 52 divide (-7)/q + 2170/6?
False
Let u = 12477 + -868. Does 19 divide u?
True
Let x(k) = -7*k**3 - 3*k**2 - 2*k - 4. Let i be x(-3). Let s be (i/((-20)/(-5)))/1. Suppose -y + s = -4*d, 51 + 56 = 4*y + 3*d. Is 7 a factor of y?
False
Let w(x) = -3*x**2 - 14*x - 4. Let d be w(-4). Suppose 5*a + 565 = 2*k, -4*k + d*a + a + 1135 = 0. Does 5 divide k?
True
Suppose 10*b = 12*b - 134. Let n = 88 - b. Suppose -n*p = -27*p + 390. Is p a multiple of 34?
False
Suppose -b = 2*m - 5*m - 27, m = 0. Suppose -b*n + 24 = -25*n. Is 12 a factor of n?
True
Suppose 107*b = 113*b + 96018. Is 9 a factor of 4/(-8) - b/26?
False
Let b(f) be the first derivative of -f**2/2 + f - 6. Let p be b(-1). Suppose 60 = 2*c - c + 5*r, -p*c + 120 = 3*r. Does 20 divide c?
True
Let q(o) be the first derivative of o**4/4 - 3*o**3 - 17*o**2/2 + 10*o + 81. Let x(w) = w**3 - 4*w**2 - 2*w - 4. Let t be x(5). Does 13 divide q(t)?
True
Suppose -12488 = 11*o - 183648. Is o a multiple of 13?
False
Let t(z) = -z**2 + 4*z + 57. Let o be t(-15). Is 6/57 + (-117852)/o a multiple of 11?
True
Suppose 0 = -5*v + 10 - 0. Suppose -d + v*d = 3. Is d/((3/1)/162) a multiple of 27?
True
Is 58 a factor of (-416)/192 + (-1)/(-6) + 2 + 32306?
True
Suppose 4*m - 5*i = -2449, -2*i = m - 3*i + 613. Let y = m + 690. Is 9 a factor of y?
False
Is ((-63)/24)/(-3 + (-91)/(-28))*-338 a multiple of 7?
True
Let l(g) = 2*g + 17. Let z be l(-5). Suppose 15 - z = 8*m. Let f(d) = 129*d**2 + d. Is f(m) a multiple of 13?
True
Let s be 0 + 2 + 1 - 5. Let z be 8 + -1 + (s - -5 - 2). Let f(n) = n**3 - 6*n**2 - 13*n - 4. Is 12 a factor of f(z)?
False
Let j = 4917 - -4202. Is 9 a factor of j?
False
Let o(j) = 3*j**2 + 2*j + 1. Let n be o(-1). Suppose k = -2*f - 7, 0 = n*k - 4*f - 0*f + 14. Let b = 137 + k. Is b a multiple of 10?
True
Suppose -3*u - q = u - 72, 90 = 5*u - 2*q. Let t = 74 + u. Suppose t + 205 = 3*k. Is 9 a factor of k?
True
Let r = -12845 + 20564. Is 31 a factor of r?
True
Let i = -111 - -111. Suppose r = 2*a - 25, 0 = -i*a + 2*a + r - 35. Does 21 divide 260 + (-3)/(a/(-20))?
False
Let s(f) = -f**3 + f**2 + f + 5235. Let q be s(0). Suppose -24 = 26*x - 116 + 40. Is -3*x/33 + q/55 a multiple of 19?
True
Is (1340/100 + -13)*(2 - -7643) a multiple of 4?
False
Suppose -99*o + 706481 = -541909. Is o a multiple of 10?
True
Let u(i) = 42 - 389*i - 440*i + 781*i. Is u(-6) a multiple of 6?
True
Suppose z - 35 = -2*t, 3 = z - 0. Suppose -289 = t*h - 1329. Does 13 divide h?
True
Let z be -1 - (45/(-5) - 0). Suppose 5*l = 2*h - 42, -z*l = -5*h - 13*l + 105. Is h a multiple of 4?
False
Let y be (-5)/(-20) - (-4)/(-16). Let w = 6 - -3. Suppose y = w*l - 322 + 16. Is 5 a factor of l?
False
Let h(r) = -3*r - r + 2*r + 296*r**2 + 4*r - 1. Let d be h(1). Suppose 51 = -6*g + d. Is 6 a factor of g?
False
Suppose -52*m = -45*m - 9156. Is 12 a factor of m?
True
Let j(s) = 76*s - 139. Let b be j(15). Suppose q + 12*i - b = 7*i, 2*q - 2077 = 5*i. Is 17 a factor of q?
False
Let s = -4218 + 6640. Let x = 3592 - s. Is 20 a factor of x?
False
Suppose 10*m - 310 = 1570. Suppose -5*t + 3*t + 94 = 3*c, m = 4*t - c. Suppose 2*d - t = -n, n + d - 47 = -3*d. Does 6 divide n?
False
Let m = -3942 - -4467. Is m a multiple of 7?
True
Let k be 1/(-3)*(-12 + 12) + 32. Suppose k*y + 5865 = 49*y. Does 4 divide y?
False
Let r(k) = 11*k**2 - 4*k - 1. Let j be r(2). Let u(i) = 5*i - 4*i + i**2 + 11*i - j. Is u(-17) a multiple of 20?
False
Let l = 3 + -1. Suppose 218 = 9*t + 146. Suppose -t*u + 384 = -l*u. Does 16 divide u?
True
Suppose 140 = 2*o + 4*r, 3*o - r - 242 = r. Suppose 114 = t - 0*t. Suppose 6*l - o - t = 0. Is 6 a factor of l?
False
Suppose 2*y + 0*y = -f + 7, y - 5*f = -13. Suppose -6*x - 3*m = -y*x - 308, 5*x = -m + 374. Does 19 divide x?
False
Suppose 0 = -3*a + 10*t + 31576, -151*t + 156*t - 21004 = -2*a. Is 144 a factor of a?
True
Let a(z) = 6690*z**2 - 36*z + 64. Is a(2) a multiple of 16?
True
Suppose -3363 = -5*j - 2*i + 9620, -7788 = -3*j - 3*i. Is 7 a factor of j?
True
Let o = -5386 - -5913. Is o a multiple of 17?
True
Let b(f) = 2*f**3 + 14*f**2 + 14*f + 16. Let o be b(-6). Does 7 divide 39/52 - (-741)/o?
False
Is ((-4061)/131)/((-2)/290) a multiple of 6?
False
Suppose 12*l + 0*l = 288. Let s(k) be the second derivative of k**3/6 + 21*k**2 - 5*k. Is 8 a factor of s(l)?
False
Suppose -10 = -3*s - 7*s. Let t be (5 - 4) + s*3. Suppose -3*j = 2*v + 91 - 464, t*v + 484 = 4*j. Is 41 a factor of j?
True
Suppose -3*x = t - 30755, 2*t = -90*x + 95*x + 61444. Does 119 divide t?
False
Let l(u) = 3*u - 3. Let n be l(-1). Does 14 divide (-2727)/(-6) + n + 3/(-6)?
True
Let q(a) = 2*a**2 - 4. Let g(o) = -o**2 + 3. Let r(i) = 3*g(i) + 2*q(i). Let m(u) = -6*u**2 + 2*u + 78. Let h(y) = m(y) + 5*r(y). Is h(0) a multiple of 15?
False
Let b = -804 + 809. Suppose -b*i - 1105 = -d, d + i + 2*i = 1073. Does 7 divide d?
True
Let y be ((-24)/21)/((-9)/(63/2)). Let m = 25 - -47. Suppose x = -y*u + 93, x - m = -3*u - 2*x. Does 5 divide u?
False
Is ((-198)/30)/(108/(-23580)) a multiple of 131?
True
Suppose -4*z - y = 19 - 225, 5*y = z - 41. Let c = -45 + z. Is 10 a factor of ((-80)/c)/(52/(-12) + 4)?
True
Is 9 a factor of 10 + (8 - -2*26975/2)?
False
Let m(f) = -f**2 - 34*f + 4. Does 154 divide m(-9)?
False
Let u(z) be the second derivative of z**5/30 + z**4/6 + z**3/6 - 12*z**2 - 8*z. Let y(n) be the first derivative of u(n). Does 7 divide y(-6)?
True
Let p(z) = -11*z**3 + z**2 + 4*z - 2. Let b be p(3). Does 33 divide b*((-1)/(-5)*5 + -3)?
False
Let l(j) be the third derivative of -j**6/30 - j**5/30 - j**4/12 + 5*j**3/6 + 6*j**2. Suppose -5*a + 3*c + 2 = 8, -5*a = -2*c + 9. Is 29 a factor of l(a)?
False
Let b = -31881 + 46395. Is 82 a factor of b?
True
Suppose 0*w - 2*w = -2*i + 588, -w = -4*i + 1179. Let z = 1010 - i. Suppose -6*h + z = -h. Does 13 divide h?
True
Suppose 11*t = -74952 + 184677. Suppose 256*b - 235*b - t = 0. Is 12 a factor of b?
False
Let z(t) = 18*t - 332. Let y be z(18). Is (-116 + 1 + y)/((-3)/26) a multiple of 13?
True
Let c = -80 - -247. Let m = 99 + -173. Let t = m + c. Is t a multiple of 31?
True
Suppose -p + 66*q - 62*q + 15769 = 0, 2*p - 31472 = -3*q. Is 23 a factor of p?
False
Let g(a) = -a**2 + 6*a + 3. Let w be g(5). Let u(b) = -2*b + b**3 + 2*b + 1 + 6 + 10*b - 9*b**2 - b. Is 6 a factor of u(w)?
False
Let n be 4/(-22) - 32/(-176). Suppose n = 2*z + 3*g - 469, -4*z - 7*g = -9*g - 914. Is 17 a factor of z?
False
Suppose -4*d - 6341 = -3*g, 4*g - 3128 = 2*d + 5340. Does 2 divide g?
False
Let h(u) = u**2 + 2*u - 5. Let t be h(2). Is 17 a factor of -6*(-62)/t + (-30)/10?
False
Let l be 1*((-4 - -7) + 14). Suppose 3*a + 0*v = -5*v - 13, a = 2*v - 8. Let m = l + a. Is m even?
False
Let f be (-1 - (-16)/12)/(1/(-3)). Is 30 a factor of (-2)/((-10)/(-35))*f*11?
False
Let h = 8527 - 586. Is 18 a factor of h?
False
Let z(r) = 144*r**3 + 33*r - 93. Is z(3) a multiple of 6?
True
Suppose -b = -5*f + 258419, 129*f - b - 206736 = 125*f. Is 9 a factor of f?
False
Suppose 0 = 8*x + 637 - 532572 - 68961. Is 82 a factor of x?
True
Suppose y + 544 = -3*u + 2015, 1467 = 3*u + 3*y. Let v = -41 + u. Is 9 a factor of v?
True
Let u(r) = 2*r**2 - 12*r + 33. Let t be u(12). Is 7 a factor of -6 + t*14/21?
True
Let a be (222/(-259))/(2/(-7)). Suppose -a*z - 33*l + 28*l = -485, -670 = -4*z + 5*l. Does 92 divide z?
False
Suppose 4*y = -0*y + 8. Let w be 2710/30 + y/(-6). Let m = 141 - w. Is m a multiple of 17?
True
Let p(z) = -z**2 - 7*z. Let i be p(-6). Suppose -g + i*f + 23 = f, -3*f - 15 = 0. Is 3 a factor of (3 + g)*5 + 14?
False
Suppose 0 = -2*l - 3*f - 0*f - 5, 0 = -5*l + f + 13. Suppose -117 = -b - l*b. Is b*((-40)/(-12))/5 a multiple of 7?
False
Is 12 a factor of (8 - (-30)/3)*(-162)/(-12)*60?
True
Let a(b) = 18907*b**3 + 11*b**2 - 6*b - 6. Is a(1) a multiple of 169?
False
Suppose 0 = -5*k + p + 16, 0 = k + k - 3*p + 4. Suppose 2*y - 330 - 66 = -5*v, 2*y + k = 0. Is 4 a factor of v?
True
Suppose 