/18)/((-2)/u)?
True
Let l(t) = -4*t - 23. Let b be l(-8). Let p(n) = n - 5. Let f be p(b). Is 382/f - 14/(-28) a multiple of 26?
False
Is 6652/24 + 1*(-2)/12 a multiple of 9?
False
Let s(q) be the second derivative of -q**5/20 + 11*q**4/12 - 10*q**3/3 + 10*q**2 + q. Is 15 a factor of s(8)?
False
Let h(i) = 18*i + 58. Is 16 a factor of h(3)?
True
Suppose 0 = -6*g + 7*g - 2. Suppose 0 = g*n - 5*b - 268, -2*b = -n - 2*n + 391. Is n a multiple of 32?
False
Let l be (16/(-14))/((-24)/84). Is (1/3)/(l/780) a multiple of 20?
False
Let b = 255 - -289. Is 32 a factor of b?
True
Suppose 4*q = -21 + 41. Suppose -q = 2*b - 4*f - 147, -4*b + 229 = 3*f. Does 38 divide b?
False
Suppose 8*i - 7950 = 658. Does 32 divide i?
False
Suppose -5*t + 3*i + 2575 = 0, -4*i - 1078 - 974 = -4*t. Is t a multiple of 14?
True
Suppose 29*s - 3765 = 3253. Is s even?
True
Suppose -3*a - 2*g = -1157, 5*a - 4*a - 389 = -4*g. Suppose 5*u + a = 5*c - 0*c, -221 = -3*c + u. Is 12 a factor of 7/(-1)*c/(-14)?
True
Let d(i) = -i**2 - 17*i + 20. Let v be d(-18). Suppose 5*h = v*h + 240. Is 23 a factor of h?
False
Let y = 4130 + -2674. Is 58 a factor of y?
False
Let v(d) = 66*d + 9. Let u be v(4). Let t = -195 + u. Is t a multiple of 39?
True
Let p(n) = -n + 2. Let s be p(6). Let y = s - -7. Let k(r) = 9*r + 10. Is k(y) a multiple of 15?
False
Let m = -1976 + 3112. Does 16 divide m?
True
Let g = 52 + -49. Suppose -g*c - c = -216. Is 14 a factor of c?
False
Let l = -326 + 552. Is 15 a factor of l?
False
Suppose 0 = 3*j + 4*a - 2998, 7*j + 4039 = 11*j - 3*a. Does 50 divide j?
False
Let i(m) = -m**3 + 3*m**2 - 3*m + 2. Let h be i(2). Suppose -4*p = -4*q - 196, 5*q + 14 = -6. Suppose 0 = -h*y - y + p. Does 15 divide y?
True
Suppose -2*a + 8 = 4*r, 5*a - a = 4*r + 16. Suppose r = 6*l - 356 - 274. Does 21 divide l?
True
Let d = -119 + 53. Is (-7116)/d - (-4)/22 a multiple of 27?
True
Suppose -2*i = 6*i - 120. Let u(x) = -x**2 + 16*x + 8. Is 5 a factor of u(i)?
False
Is 52 a factor of (1452/770*154)/((-2)/(-15))?
False
Let f(c) = c**2. Let s(g) = 4*g**2 - 13*g + 7. Let o(k) = 3*f(k) - s(k). Does 11 divide o(8)?
True
Let n(z) = z**3 + 4*z**2 - 8*z - 6. Let q be n(-6). Let w = 29 + q. Let u(d) = -47*d + 4. Is 17 a factor of u(w)?
True
Let n = 303 + -264. Does 39 divide n?
True
Suppose -4 = 11*h - 13*h. Is 10 a factor of h/((-177)/60 + 3)?
True
Let s = -21 + 73. Suppose 2*j + s = 3*j. Does 5 divide j?
False
Let p(s) = s. Let b(w) = -4*w - 55. Let f(a) = -b(a) - 3*p(a). Does 12 divide f(-7)?
True
Let h(o) = 40*o - 5. Does 28 divide h(11)?
False
Does 19 divide (-23356)/(-14) + 21/(1764/(-24))?
False
Let f be (-8 - -7) + -2 + -2. Is (1 - (20/(-16))/f)*64 a multiple of 12?
True
Let p(v) be the second derivative of v**7/840 + v**6/360 + 15*v**4/8 - v**3/3 - 2*v. Let i(w) be the second derivative of p(w). Is i(0) a multiple of 11?
False
Let i be ((-3)/(-6) - 0)*1028. Suppose 0*u = -2*u + 5*q + 494, 2*u = -5*q + i. Is 30 a factor of u?
False
Let f(n) be the first derivative of -n**4/4 - n**3 + 5*n**2/2 - 4*n - 1. Let u be f(4). Let y = u + 174. Is y a multiple of 26?
True
Suppose 0 = -4*n + 2 + 10. Suppose 0 = -4*f, -2*j - j - n*f = -33. Suppose 2*b = -5*x + 3*b + j, 4*x - 8 = b. Does 2 divide x?
False
Let g be (-6)/(-2)*(10 - 9). Suppose 2*a - 21 - 13 = 4*v, g*a - 3*v = 57. Is 8 a factor of a?
False
Does 31 divide (4/(-6) - 0)/((-2)/4827)?
False
Let g(w) be the third derivative of w**4/8 - 2*w**3/3 + 12*w**2. Let y be g(3). Suppose 4*r = -y*x + 221, -1 = r - 0. Does 8 divide x?
False
Let b(j) = j**2 - 7*j - 39. Let h be b(17). Suppose -28 = s - h. Is s a multiple of 26?
False
Let x = -71 - -77. Let q(h) = h**3 + 2*h**2 - 16*h - 6. Is 31 a factor of q(x)?
True
Is 1/((2 + 0)*(-2)/(-484)) a multiple of 11?
True
Suppose 4*t - 2831 = -12*y + 13*y, 4*t - 2*y = 2834. Does 7 divide t?
True
Let r be -7 - -3 - -3 - 0. Let p = r - -4. Suppose p*j - 24 = 2*j. Is 8 a factor of j?
True
Let m = -698 + 998. Is 12 a factor of m?
True
Suppose -9 = 4*b - 5. Let x be (b + 0)*-42 + 3. Suppose -2*m + x = m - 3*r, m + 3*r - 35 = 0. Is 6 a factor of m?
False
Let h = 2547 - 1799. Does 34 divide h?
True
Let z(w) = -51*w + 42. Let n be z(-9). Let b = n + -330. Is b a multiple of 25?
False
Let d = -40 - -37. Is (-4 - d - 0) + 15 a multiple of 7?
True
Let k = -37 - -48. Suppose -8*t + k*t = 210. Is t a multiple of 14?
True
Suppose -259 - 11137 = -11*y. Does 66 divide y?
False
Let b(k) = -k - 1. Let d(q) = -8. Let n(l) = -8*b(l) + d(l). Let o(u) = u**3 + 6*u**2 - u - 4. Let r be o(-6). Is n(r) a multiple of 7?
False
Suppose 3 = -j - 4*p + 12, 5*j + 4*p = 13. Let b be (20/(-60))/(j/(-24)). Suppose y - 1 = b. Is y a multiple of 7?
False
Suppose 7*c - 5*c + s - 67 = 0, -2*s = 10. Does 9 divide c?
True
Suppose -3*t + 69 = -3*r, -59 = -2*t + 4*r - 5. Does 19 divide t?
True
Is 15 a factor of ((-75)/(-45))/((-2)/(-486))?
True
Let q(p) be the second derivative of -p**3/2 + 61*p**2/2 + 20*p. Is 3 a factor of q(19)?
False
Suppose 3*x - 4*c = 2042 + 905, -982 = -x + c. Is 43 a factor of x?
False
Does 5 divide (0/(-2) + 4)*1558/76?
False
Suppose 0 = -3*h - 17 - 19. Let o(g) = -4*g + 16. Is 9 a factor of o(h)?
False
Let h(w) be the second derivative of 0 + 1/2*w**2 - 8*w + 16/3*w**3. Does 33 divide h(1)?
True
Let n be ((-51)/34)/((-1)/2). Is (n/6)/((-2)/(-604)) a multiple of 13?
False
Let k be 0/3 + -275 + -5. Let y = -196 - k. Does 21 divide y?
True
Let a(g) = g**3 + 6*g**2 + 5*g + 4. Let u be a(-4). Let b = -11 + u. Suppose -4*m + 32 = 4*z, -2*z + b*m - 5 = -0*m. Does 5 divide z?
True
Let h = -73 + 172. Let p = h + -57. Let k = -2 + p. Does 10 divide k?
True
Let m be 51/21 + 12/(-28). Suppose -m*h + 101 = -3*p, p = -5*h - 0*p + 261. Is h a multiple of 26?
True
Let w = 32 + -25. Is 10 a factor of 3/(((-2)/152)/(w/(-12)))?
False
Let p = -64 + 88. Is 24 a factor of p?
True
Let p be 39*(-2)/(-4)*2. Suppose s = 4*l - 10, 3*l = s - 4 + 12. Suppose -5*t + p = -l*t. Does 6 divide t?
False
Suppose 10*i - 13*i - 6 = 0. Let t(h) = -6*h**3 + 2*h**2 + 4*h + 2. Does 7 divide t(i)?
False
Let l(y) = y**2 - y - 9. Let f be l(4). Let k = 45 + f. Is 12 a factor of k?
True
Let z(r) = r**2 + 2*r + 5. Let t be z(-3). Suppose 40 = -6*y + t*y. Does 6 divide y?
False
Suppose 4*i - 864 - 790 = -2*o, -2070 = -5*i - 5*o. Is i a multiple of 9?
False
Let z be (-2)/4*6 - -11. Let j(l) = -l + 3*l - 13*l**2 - z + l**3 + 6*l + 7*l. Is j(12) a multiple of 28?
True
Let m be (-24)/(-10)*(-2 - 3). Let z = m + 12. Suppose 7*x - 3*x - 264 = z. Is 22 a factor of x?
True
Let f(a) = 5*a - 23. Let p(v) = 14*v**3 + v**2 - 3*v + 2. Let g be p(1). Does 11 divide f(g)?
False
Let k be -4*2/(-4) - 2. Let z(c) = 2*c + 100. Let s be z(k). Suppose 9*d - 7*d = s. Does 25 divide d?
True
Let b(k) = -25*k - 94. Is 5 a factor of b(-6)?
False
Suppose -20 = -5*b - 0*b. Suppose 2*s + s = 2*w + 80, -112 = -b*s + 4*w. Does 6 divide s?
True
Let y(l) = 75*l + 150. Is y(4) a multiple of 19?
False
Is (-14)/(-35)*-10 - 76/(-1) even?
True
Suppose -616 = -17*j + 880. Is 8 a factor of j?
True
Suppose 5*a = l + 3498, 4*a - 2271 - 531 = 2*l. Is 44 a factor of a?
False
Suppose -l + 281*w + 64 = 276*w, 212 = 5*l + 2*w. Is l a multiple of 17?
False
Does 6 divide ((-2)/1)/((-172)/73702)?
False
Let l(d) = 11*d - 7. Let b be (0 + 1)*(7 - 2). Let m be l(b). Suppose u - 127 = -m. Does 24 divide u?
False
Let p = -337 - -415. Does 13 divide p?
True
Is (-5)/(30/(-12)) + 87 a multiple of 9?
False
Let a = -711 - -1075. Does 26 divide a?
True
Suppose -k - k - 8 = 0. Let l(i) = i**2 - 4*i - 2. Does 9 divide l(k)?
False
Let f be ((-2)/(-4))/((-4)/(-408)). Is (-3 + 66/18)*f/2 a multiple of 3?
False
Let j(h) = 6*h**3 + 4*h**2 - 27*h + 4. Is j(3) a multiple of 18?
False
Suppose 2*f + 5*c + 4 = 0, -4*f + 3*f + 7 = -2*c. Does 2 divide f/((-9)/(-42))*(-3)/(-2)?
False
Suppose 2*z = -2*z. Is -1 - (-20 + 4 + z) a multiple of 5?
True
Suppose -v = -6*v + 915. Let k = v - 84. Is 11 a factor of k?
True
Suppose -4207 = -16*j - 751. Is j a multiple of 12?
True
Let h(u) = 2*u - 12. Let g be h(8). Let m(j) = 2*j - 3. Let l(k) = 4*k - 4. Let z(n) = 3*l(n) - 5*m(n). Is z(g) a multiple of 4?
False
Suppose 3*o + 0*o = 210. Let i be o/(-4)*(-324)/63. Suppose -q - 8 = -5*c, -4*q - c = q - i. Is q a multiple of 14?
False
Suppose 4*i = -4*z + 96, -8*