y = 26603 - 26374. Is 16 a factor of y?
False
Is 10 a factor of ((-1540)/3)/(7/((-168)/(-214)) + -9)?
True
Let k(g) = -g**3 + 4*g**2 + 118*g + 95. Is k(-19) a multiple of 6?
True
Suppose -6965 = -33*f + 10426. Is 28 a factor of f?
False
Let k be (-19 - -11)/(1*1/(-4)). Suppose 704 = -10*z + k*z. Is 16 a factor of z?
True
Suppose p + 5 = 5*f, -5*p - 15 + 71 = 2*f. Let w = -3 + 16. Let d = p + w. Does 6 divide d?
False
Let d be -3 + (6 - 6)/(-6). Is 14 a factor of (-2 + -9)*(-18)/2 + d?
False
Let j = 9 - 9. Suppose 0 = r - 4, -g + j*g = -r - 230. Let q = 407 - g. Does 35 divide q?
False
Does 124 divide 3/(-5) - 31031104/(-1040)?
False
Suppose 78*a - 12652 = -52*a + 31028. Let r be (0 + -30)*(-2)/5. Suppose r*h = 8*h + a. Does 14 divide h?
True
Let d be (360/9 + 1 + -5)*2. Does 2 divide 5/(75/d)*100/15?
True
Let f(g) = g**3 + 5*g**2 - 10*g - 10. Let m = 91 + -97. Let a be f(m). Is 17 a factor of ((-8)/10)/(a/(-2765))?
False
Suppose -11 + 19 = o. Let t be (o/2 - 631) + -4. Let u = t - -895. Is u a multiple of 42?
False
Let h(f) = -2018*f**2 + 7*f - 1. Let j be h(1). Is (15/45 - j/(-15))*-5 a multiple of 9?
False
Let g = -31310 - -47509. Is g a multiple of 167?
True
Let m be 2/9 + 168/(-27). Is 8 a factor of ((-258)/(-4))/(m/(-4))?
False
Let f be (4 - (-14)/(-3))/((-1)/291). Suppose -f = -2*j + 834. Does 9 divide j?
False
Let l(i) = 44*i + 442. Is 23 a factor of l(14)?
True
Suppose -3*a = 45 - 6. Let h(c) = -2*c**3 - 25*c**2 - 6*c - 17. Is 17 a factor of h(a)?
False
Suppose -2*y = -3*x + 3, 0 = -4*x + 13 - 1. Suppose -y*a + 10 = 2*a. Suppose 0 = o - q - 4*q - 1, 0 = a*o + 3*q - 54. Is o even?
False
Suppose 254*h + 4716 = 255*h. Is 6 a factor of h?
True
Let k = 1906 - 1311. Is 5 a factor of k?
True
Suppose -126*u - 56303 + 8510 = -129*u. Does 30 divide u?
False
Suppose -p = 2*k - 15667, -2*p - 13*k + 31331 = -10*k. Is 17 a factor of p?
False
Let d(x) = -32*x + 157. Let r(q) = 98*q - 472. Let h(s) = -8*d(s) - 3*r(s). Is h(-7) a multiple of 58?
False
Let y(a) = -a**3 - 10*a**2 + 2*a + 25. Let b be y(-10). Suppose 4*h - 6*j + 2*j - 360 = 0, 260 = 3*h - b*j. Does 4 divide h?
False
Let p be (-1 - 34)*52/(-10). Suppose -4*o + 252 + p = -2*a, a = 5*o - 550. Suppose -169 = -10*n + o. Is n a multiple of 7?
True
Let j = -44 + 49. Suppose 53 = -p + 4*s + 486, 0 = j*p - 2*s - 2147. Is 23 a factor of p?
False
Does 7 divide (-2 + (-472)/16)/(75/(-1400))?
True
Let w = 4746 + -2540. Let y = 3760 - w. Is 111 a factor of y?
True
Suppose 847*l = 856*l - 74061. Is 13 a factor of l?
True
Does 37 divide ((-16)/(-6))/(278/108003)?
True
Let i(u) = -1173*u - 600. Is i(-8) a multiple of 144?
True
Let w(z) be the first derivative of z**3/3 + z**2 + 4*z - 48. Does 3 divide w(-17)?
False
Let l be 145/(1 - (1 + -1))*3. Does 20 divide (480/(-75))/((-6)/l)?
False
Suppose -2*t + 6621 = -s, 0 = s - 17 + 14. Does 92 divide t?
True
Let r(h) = 69*h**2 - 11*h - 38. Is 8 a factor of r(-3)?
True
Let c(l) = -l**2 + 13*l + 18. Let a be c(14). Suppose a*m - 35 + 9 = 3*n, 3*m - 5*n - 25 = 0. Suppose k + m = 32. Is k a multiple of 9?
True
Let h be (3 - 3)/(0 - -2). Let q be (-2730)/104*-4*(1 + h). Is 25 a factor of (32/(-20) + -4)/((-6)/q)?
False
Let t(i) = 601*i + 2505. Is 194 a factor of t(23)?
False
Let f(k) = -1 - 6 + 22*k + 4. Let t = 22 - 20. Does 13 divide f(t)?
False
Let h(t) = -t**2 - 9*t + 26. Let v be h(-11). Suppose v*k = -0*k + 12. Suppose q = -k*q - 5*g + 62, 58 = 3*q - 2*g. Does 9 divide q?
True
Suppose -1663*d = -1678*d + 48600. Does 60 divide d?
True
Is 12 a factor of ((-111 - -123) + 12*337)*11?
True
Let m = -49 - -32. Let q(v) = -v**3 - 18*v**2 - 18*v - 12. Let x be q(m). Suppose 0 = 4*i - y - 183, -x*i = y - 0*y - 240. Is i a multiple of 25?
False
Suppose f + 3*o = -6, -o = -5 + 10. Suppose -5*r + 2*t = -624, -t = f*r - 4*r - 618. Is r a multiple of 73?
False
Let t(a) = -2*a**3 - 2*a + 798. Let c be t(0). Suppose n + 5*n = c. Is n a multiple of 3?
False
Is 10 a factor of ((-13 + 2)/(-11))/((3/(-170))/(-3))?
True
Let g(m) = 5*m**3 + 20*m**2 - 16*m + 65. Let x(i) = 4*i**3 + 20*i**2 - 15*i + 66. Let z(u) = 3*g(u) - 4*x(u). Is z(-21) a multiple of 24?
True
Suppose 22 = -2*x + 20. Let d be 134 + (1 + x)/(-1). Let y = -35 + d. Does 33 divide y?
True
Suppose 0 = -3*f - 21 + 1113. Suppose 2*k + k - f = -4*l, 3*k - 3*l - 336 = 0. Let x = 146 - k. Does 20 divide x?
False
Suppose 7*i - 4566 - 5488 = -751. Is i a multiple of 108?
False
Suppose -5*j + 230 = 215. Suppose -10 - 2 = -3*n. Suppose -j*x - n*l = -l - 69, -61 = -2*x - 5*l. Is x a multiple of 5?
False
Let u(g) = 173*g + 483. Does 8 divide u(0)?
False
Suppose 189 = -3*z - 5*n + 30397, 5*z = -5*n + 50340. Is 14 a factor of z?
True
Is 12 a factor of ((-81)/18*-2)/((-9)/(-16836))?
True
Suppose -3*a + 3*i + 126 = 0, 4*a + 2*i = -0*i + 168. Suppose -3*o + 5*o = 4. Is (-1*o/(-1))/(1/a) a multiple of 28?
True
Suppose -3*y + 345 = 5*k, -5*k + 0*y + 370 = -2*y. Suppose -p + k = 5*w, 12 = -3*w + 7*w. Is 19 a factor of p?
True
Let r(m) = m**3 - 13*m - 9. Let n be r(-3). Suppose 276 = -2*p + 5*f + 1167, 4*p + n*f - 1743 = 0. Is p a multiple of 73?
True
Let y = 7 - 22. Let n(f) = -34*f - 1. Let d be n(y). Suppose 0 = 10*j - 291 - d. Is 16 a factor of j?
True
Let x be 50/75*(-4)/((-8)/(-111)). Let o = x - -191. Is 17 a factor of o?
False
Let j = -2280 - -5048. Suppose -4*i + 4*s + j = 0, s = -3*i + 2*s + 2076. Does 66 divide i?
False
Suppose -11414 = -k + 4*q, -3*k + 22*q = 17*q - 34270. Does 18 divide k?
True
Suppose 182*u - 189*u + 105896 = 0. Does 244 divide u?
True
Let m(u) = 5*u**3 + 2*u**2 - 6*u - 8. Suppose 31*l - 12 = 28*l. Is m(l) a multiple of 13?
False
Let z(l) = -142*l**2 + 46*l + 6. Let a be z(-5). Is a/(-4) - (119/(-14) - -7) a multiple of 35?
True
Suppose -2190*n + 2138*n = -1381380. Is 55 a factor of n?
True
Let p = -28 + 30. Suppose -4 + 0 = -p*l. Suppose 4*k = 5*m + 479, l*m = 2*k - 63 - 179. Is k a multiple of 34?
False
Let u be 11/((-440)/(-48)) - 4/(-5). Suppose -5*t + 3*v + 3242 = 0, 0 = u*t + 8*v - 13*v - 1312. Is 17 a factor of t?
True
Suppose 3*u - 3 = 0, -53*n = -55*n + 3*u + 9003. Does 8 divide n?
False
Let n be (-1)/3 + (-287)/3*-8. Let c = n - 531. Is c a multiple of 26?
True
Let c be -1 + -2 - -344*(-11 - -10). Let t = 485 + c. Does 6 divide t?
True
Let d(i) = -3*i**3 - 78*i**2 - 29*i - 274. Does 18 divide d(-29)?
True
Let i(o) be the second derivative of o**4/12 - o**3/2 + o**2/2 + 62*o. Let a(f) = f**2 + 8*f + 6. Let v be a(-6). Does 10 divide i(v)?
False
Let o(n) = -n**2 - 17*n - 69. Let b be o(-8). Does 13 divide -13*41*(b - 4)?
True
Suppose f = 7*f. Let g be (-4 + (-65)/(-15))*f. Does 13 divide (g + 12 + 1)*(1 + 13)?
True
Let s = -980 - -988. Suppose -4*h = 3*o - 1004, 37*o - s = 39*o. Is 17 a factor of h?
False
Suppose 4*i = -x - 0 + 7, 5*i + 110 = 5*x. Suppose 5940 = -y + x*y. Is y a multiple of 33?
True
Let x(r) be the third derivative of 0 - 1/20*r**5 - 1/60*r**6 + 1/12*r**4 - 1/2*r**3 + 0*r + 21*r**2. Does 2 divide x(-3)?
True
Let z(y) = y - 5. Let w be z(19). Suppose w*f = -0*f + 6272. Suppose -f = -5*p + 392. Is p a multiple of 24?
True
Suppose 0 = 2*x - 332 + 116. Suppose -9*c = -5*c - x. Let n = c + 13. Is n a multiple of 6?
False
Suppose -22*i = -135 - 85. Suppose 0 = -30*h - i*h + 4360. Is 2 a factor of h?
False
Suppose -t = -3*j + 59490, 110*j + 4*t - 79352 = 106*j. Does 8 divide j?
True
Suppose 5*c + 4*q + 30598 = 71718, 5*c - 41075 = 5*q. Is c a multiple of 20?
True
Suppose -f + 24750 = -2*l, 3*f = -4*l + 7*l + 74250. Does 15 divide f?
True
Suppose 2*q + 5*f + 105 = 0, -q - 10*f - 60 = -5*f. Does 8 divide ((-58)/6 - -5)*q?
False
Let m = -2 - -10. Suppose -2*r - 2 = m, 4*x + 4*r - 524 = 0. Is x a multiple of 21?
False
Let x(v) = 6*v**2 + 55*v + 11. Let t be x(-9). Suppose -t*l + a + 20 = -2*a, 2*l - 6 = -4*a. Is 3 a factor of l?
False
Let p(q) = 27*q - 106. Let y be (10/50)/(2/60). Does 7 divide p(y)?
True
Suppose 24*u = 27*u - 3468. Is (u/(-8))/((-4)/8) a multiple of 17?
True
Suppose -2*r = -887*n + 883*n - 111962, -3*n = r - 55981. Does 17 divide r?
True
Let u be (-30)/(-10) + 3*-8. Does 13 divide (-6032)/(-87)*u/(-4)?
True
Let o be (-21)/14*(-2 - (-1 + 1)). Let f(z) = 87*z**2 - 5*z + 3. Let b(x) = 88*x**2 - 5*x + 3. Let p(v) = o*b(v) - 2*f(v). Is 22 a factor of p(1)?
True
Is 22 a factor 