24 + -894. Does 9 divide (w/(-7))/(10/35)?
False
Suppose 4*i = t - 7, 4 = t + 3*i - 31. Suppose -122 - 269 = -t*n. Does 17 divide n?
True
Let c(u) be the third derivative of u**6/120 - 2*u**5/15 - 11*u**4/24 + 10*u**3/3 - 43*u**2. Let z be c(9). Does 6 divide (z + -13)/(8/(-8))?
False
Let r = -5949 - -6179. Is 11 a factor of r?
False
Let y be 18/2 - (-5 + 9). Let i(n) = -9*n + 27. Let r be i(y). Is r/54 + 28/3 a multiple of 9?
True
Is 233 a factor of (-3 - -8) + (-19)/4 + 3189275/116?
True
Suppose -3*c - 109403 = -9*c - 44975. Is c a multiple of 182?
True
Let d(o) = 12*o - 173. Let m be d(-7). Let p be -1*19*6 - -1. Let l = p - m. Does 18 divide l?
True
Let g(h) = -4*h**3 + 15*h**2 - 9*h - 22. Is g(-4) a multiple of 9?
False
Let m be (-360)/54*(-6)/4. Let n be 1676/8 - m/(-4). Suppose l - n = -36. Is 16 a factor of l?
True
Suppose 2164 = -t + 6*t + 4*l, -2*l + 2 = 0. Suppose -5*z = -8*z + t. Suppose -2*c + 5*c = -5*g + z, g + 48 = c. Is 16 a factor of c?
True
Does 13 divide (-12005098)/(-882) - 2*(-3)/(-27)?
True
Let p(h) = -36*h**3 - 3*h**2 - 11*h + 7. Is 12 a factor of p(-3)?
False
Suppose -15 = -3*i, 2*i - 29 = 4*y + 41. Let v be 34/(-10) - y/(-25). Let t(p) = 5*p**2 + 8*p. Does 12 divide t(v)?
True
Let v = 3759 + 321. Is 34 a factor of v?
True
Let v(t) = 3*t**3 - 2*t**2 + 9*t - 8. Let g be v(1). Is (g + -9 + -41)*-14 a multiple of 48?
True
Let k = -278 - -278. Suppose 15*y - 1724 - 2776 = k. Is y a multiple of 30?
True
Let a = -65 - -80. Suppose 17*r + a = 12*r. Does 4 divide (2 - (r + 2))/((-1)/(-17))?
False
Let q(k) = 4*k**2 - 20*k + 4. Let v be (1 + -4)/(12/(-20)). Let f be q(v). Suppose 3*g = 2*t - 66 + 258, -3*g + f*t + 186 = 0. Does 26 divide g?
False
Suppose -2057*j + 11865 + 163015 = -2037*j. Does 94 divide j?
False
Let z(t) = -34*t + 0*t**3 + t**3 - 333 + 10*t + 310 - 32*t**2. Does 11 divide z(33)?
False
Let b = 8674 - 3247. Is b a multiple of 27?
True
Let t(x) = 3*x**3 + 12*x**2 - 23*x + 6. Let u(m) = m**3 - m**2 - m - 1. Let c(k) = t(k) - 4*u(k). Let g be c(14). Let v = g - 92. Does 11 divide v?
True
Suppose -8506 - 5014 = -4*d. Let b = d - 1859. Is 13 a factor of b?
True
Suppose -184*u - 1113794 + 1845329 = -1656785. Does 64 divide u?
False
Suppose 3*x - 5*u = -83, 4*u - u = x + 29. Is (25 + x)/((-2)/80) a multiple of 3?
False
Let w be 10/6 - 1719/27. Let q = 12 - w. Does 37 divide q?
True
Suppose 0 = -4*w - 3*f + 2520, -3*f + 1250 = 2*w + f. Let i = -625 + w. Is i a multiple of 3?
False
Let o(s) = 2*s**2 - 2*s + 4. Let t be -19 + (-12)/(-8 - -4). Let j be 2/t*-4*4. Does 5 divide o(j)?
False
Is (3 + (-3038)/6)*((3 - 11) + -10) a multiple of 15?
True
Suppose 6*u - 5720 = -2*u. Suppose -g - u = -2*t + 4*g, 4*t + 5*g - 1445 = 0. Does 30 divide t?
True
Let p = 1672 + 168. Is 7 a factor of p?
False
Let g be ((-2)/1)/((-23991)/11990 - -2). Let k = g - 1262. Is 51 a factor of k?
True
Let u = -57 + 57. Suppose d + 14 = -3*f, 3*d + u = -2*f - 7. Suppose 0 = -4*k + 79 + d. Is 8 a factor of k?
False
Suppose 4*g - 4*a = 28812, -160*a + 36055 = 5*g - 157*a. Does 15 divide g?
False
Let c be (-85)/(-68) + (-6)/(-8). Suppose 0 = c*b - 2*f - 970, 4*b - 3*b - 2*f - 480 = 0. Does 49 divide b?
True
Let d(f) be the third derivative of f**5/30 - 16*f**3 - 11*f**2 + f. Does 12 divide d(12)?
True
Let x be 42/(-7)*(-3)/2. Let o be x + -7 + 1 + 1. Suppose -o*m - 37 = -981. Is 59 a factor of m?
True
Let f(v) = 38*v + 26. Let g be f(-5). Let z = g - -287. Is 15 a factor of z?
False
Let o be ((20/(-1))/5)/(-2). Let r be (-1478)/28*o - 3/7. Let u = -28 - r. Does 6 divide u?
True
Let v = 336 + -336. Suppose 5*n - 4655 = -5*c, -5 = -v*c + c. Is n a multiple of 78?
True
Let k = -3944 - -4312. Is k a multiple of 3?
False
Let y be 11/(((-4)/(-4))/1*1). Let l(m) = -m**3 + 11*m**2 + 7*m + 4. Let j be l(y). Let a = j - 78. Is 3 a factor of a?
True
Let z = -256 + 355. Is 8 a factor of (z/21 - 5)/(4/(-112))?
True
Let f be (-21*(-20)/18)/((-36)/(-54)). Suppose 3*a + 0*z - 18 = 2*z, 3*z = 3*a - 21. Suppose a*p + f = r, r = -p + 25 + 5. Does 13 divide r?
False
Let s be (-1380)/(-13 + 3)*(-6)/4. Let u = 239 + s. Is u a multiple of 25?
False
Suppose 325*a = 324*a + 34. Is a + -2*(-5 - -4) a multiple of 2?
True
Let g(w) = -685*w**3 + 2*w**2 + 14*w + 13. Let p be g(-1). Let a = 960 - p. Does 10 divide a?
False
Let l(g) = g**3 + 58*g**2 - 48*g - 161. Is l(-57) a multiple of 4?
True
Let k be 2/8 - (-81)/12. Suppose k*w = 1083 + 5490. Suppose -w = -6*b - 351. Is b a multiple of 14?
True
Is 12 a factor of (-46 - -1044)*(7 - 1)?
True
Suppose 0 = 2*d - s + 3*s - 2, 5*s + 13 = -2*d. Suppose 48 = d*r - 10*r. Let q(t) = -t**3 - 10*t**2 + 8*t + 18. Is 21 a factor of q(r)?
True
Let z = -54 + 135. Let f(w) = -w**2 - 8*w + 32. Let g be f(-8). Let c = z - g. Is c a multiple of 6?
False
Let o = 197 - 199. Does 14 divide 1 - o/4*922?
True
Let p = 452 + -464. Let y(a) = 7*a**2 + 24*a + 21. Let g(w) = 6*w**2 + 23*w + 21. Let f(v) = -6*g(v) + 5*y(v). Is 21 a factor of f(p)?
False
Suppose -73*z + 1030752 = 8*z + 63*z. Is 13 a factor of z?
False
Suppose -121*n + 123*n = 122. Let l = -55 + n. Suppose -l*u + 572 - 44 = 0. Does 22 divide u?
True
Suppose 51*x - 56*x - 15 = 0. Is 15 a factor of (-174)/(-18) - 10 - 394/x?
False
Let n(d) = 19*d - 4*d**2 + 1 - 4*d + 6. Let z(i) = -3*i**2 + 15*i + 8. Let m(c) = 4*n(c) - 5*z(c). Is 11 a factor of m(-13)?
False
Let s(a) = 3*a**3 + 37*a**2 + 12*a - 1. Let n be s(-12). Let m(q) = -882*q - 37. Is m(n) a multiple of 27?
False
Suppose -24 = -k - 5*k. Suppose -k*z + f + 1102 = 0, -2*z + 4*f - 3 = -561. Suppose -o + 4*q = -50, q = 5*o - o - z. Does 5 divide o?
True
Suppose 3768 = 2*s + 3*p, 3*s = s - 4*p + 3764. Suppose 0 = 8*q - 6*q - s. Suppose q = 5*y + 3*h, y - 5*h - 65 = 96. Is 31 a factor of y?
True
Suppose 10*m - 264 = 186. Suppose 0 = -5*x - 25, -2*f + 3*x = -2*x - m. Does 10 divide f?
True
Let w(r) = r**2 - 16*r - 8. Let i be w(17). Suppose -7*v = -i*v + 390. Suppose -16*f + v = -13*f. Is f a multiple of 10?
False
Let i = 4 - -86. Suppose i = 2*v - 350. Is v a multiple of 22?
True
Suppose 0 = 5*y - x - 1251, -5 = -6*x + 11*x. Suppose 0 = -4*l + z + 897, 2*l = 3*z + 191 + y. Is l a multiple of 25?
True
Let t be (226/(-8))/((-31)/(-248)). Let p = t - -337. Is p a multiple of 16?
False
Suppose 2331*m - 2339*m = -25920. Is m a multiple of 135?
True
Is (40 - 33) + 641/1 a multiple of 9?
True
Suppose i = 4*j + 515, -i + 4*j + 1026 = i. Let a = i - 252. Is a a multiple of 22?
False
Suppose -83037 = -67*b - 16827 + 145309. Does 11 divide b?
True
Suppose 26 = 3*k + 2. Suppose -k*a = -4*a + 8. Does 41 divide 1*3/(-12)*a*274?
False
Let u = 452 + -859. Let y = -291 - u. Is y a multiple of 13?
False
Does 19 divide (340/510)/((-308858)/308862 - -1)?
False
Suppose -1982 = -m + 482. Is m a multiple of 35?
False
Suppose 64 = 4*m + 44. Suppose 5 = m*a, j + 4*a + 1 = 7. Does 31 divide j + (-3 - -3*29)?
False
Let s be (5/(-10) + (-1)/(-2))/(-1). Suppose -2*j = s, 0*j + 25 = 5*v + 4*j. Let f(q) = 2*q**2 + q - 7. Is f(v) a multiple of 4?
True
Let f(x) = -17*x**3 - 8*x**2 - 54*x - 92. Is f(-8) a multiple of 27?
True
Does 89 divide (-147)/(-15)*35/7*2?
False
Suppose -19*l - 2*i = -24*l + 2881, 0 = -2*i + 4. Is 12 a factor of l?
False
Let a = -58 - -162. Let y = a - 62. Suppose -2*r + 74 = -y. Is 9 a factor of r?
False
Let k(c) = 33*c - 128 + 24*c + 22*c. Is 20 a factor of k(13)?
False
Let u(c) = -97*c + 8. Let d = -162 + 161. Is 35 a factor of u(d)?
True
Let a = -10622 + 26662. Does 4 divide a?
True
Suppose -3*u = j - 9, -j - j = 3*u - 12. Let w(t) = -63*t + 24. Let o be w(-5). Suppose g = -u*g + o. Is g a multiple of 13?
False
Let h = 2581 + 4412. Suppose -26*z - h = -35*z. Is z a multiple of 37?
True
Suppose 0 = 7*g + 5*g - 144. Let n(x) = 6*x - g*x - 3 - 31 - 26. Is n(-23) a multiple of 13?
True
Let i be 11/(99/(-36)) - 66. Suppose 0*u = -2*z - u + 361, 2*u = 3*z - 524. Let c = i + z. Is c a multiple of 18?
True
Let q = 329 + -317. Does 4 divide 69*q/21*7/2?
False
Let f be 1/(-4) + 1473/(-12). Let b = f - -135. Suppose -4*p - 384 = -b*p. Is 5 a factor of p?
False
Let p = 26 - -16. Suppose -6*j + p + 18 = 0. Does 30 divide 902/j - (133/(-35) + 4)?
True
Suppose -3083*t - 262236 = -3124*t. Does 122 divide t?
False
Let c = -99 + 26. Let d = -51 + -122. Let f = c - d. Does 