Is c/45*-2*(-985)/2 a multiple of 66?
False
Let b = 6 + -5. Let o be -1*20/(-4)*b. Suppose 88 + 16 = 2*c - 4*q, -o*c - 3*q + 312 = 0. Is 20 a factor of c?
True
Suppose -31 + 5 = -2*o. Let g(v) = -10 - v**2 - 5*v - v - o - 9*v. Is 21 a factor of g(-11)?
True
Let j be (-85)/(-6) - ((-38)/(-12) + -3). Let p(d) be the third derivative of 7*d**4/24 - 13*d**3/3 + 15*d**2 + 1. Is 40 a factor of p(j)?
False
Let x = 13875 + -9300. Is 31 a factor of x?
False
Suppose -16*g = -9*g + 14*g - 215271. Is 35 a factor of g?
False
Let h be -30030*(16/(-10) + 48/80). Is 15 a factor of (-6)/20 + h/100?
True
Let i(m) be the second derivative of m**5/20 + 7*m**4/4 - 7*m**3/6 + 51*m**2/2 - 110*m. Is 3 a factor of i(-21)?
True
Suppose 5*u = g + 12203, -9754 = -74*u + 70*u - 2*g. Does 10 divide u?
True
Let t be 1817/2 + (-36)/(-24). Let w = -538 + t. Let o = w + -204. Is o a multiple of 42?
True
Suppose 0 = -2*a + 1568 + 3234. Suppose j - 8*j + a = 0. Does 19 divide j?
False
Let o(i) = i**3 - 10*i**2 + 23*i - 50. Let a(p) = -25*p - 62. Let w be a(-3). Is 12 a factor of o(w)?
True
Suppose -1023*y + 981*y = -901320. Is y a multiple of 37?
True
Let t = 4645 - 3851. Is 4 a factor of t?
False
Let j = 179 - 128. Let y = 51 - j. Suppose y = -6*o - o + 259. Is 5 a factor of o?
False
Let h(r) = 137*r**2 + 77*r - 789. Does 24 divide h(16)?
False
Let d be (-11 + -5852)/(-11) - 1/(-1). Suppose 5*u + 12 = -8, 5*u = -4*f + 524. Suppose -2*n + d = f. Is n a multiple of 32?
False
Let r = -562 + 743. Suppose -n + r = s - 4*s, 4*n - 4*s = 716. Is 15 a factor of n?
False
Let l be (-3)/(15/2) - 166/10. Let r(y) = -15*y - 79. Is 12 a factor of r(l)?
False
Let b(t) = -t**3 - 17*t**2 - 30*t - 14. Let p be b(-15). Is (-384)/p - (-9)/(-21) a multiple of 2?
False
Let p = -514 - -517. Suppose -r - p*a = 2*r - 1611, -5*a + 2153 = 4*r. Is 14 a factor of r?
True
Let r(b) = 1278*b**2 + b - 1. Let f be r(-1). Suppose -l + 4*l = -4*u + f, -5*u + 20 = 0. Is 20 a factor of l?
True
Let s = -62 - -304. Let l be (6 - 3)/(21/1484). Suppose -2*u - 4*y = -2*y - l, 2*u - 4*y = s. Does 15 divide u?
False
Let l(i) = 3192*i**3 + 192*i**2 - 190*i. Is l(1) even?
True
Suppose 26*i - 25*i - 1908 + 45 = 0. Is i a multiple of 124?
False
Let r(j) = 4*j + 344. Let a be r(0). Let i = a - 96. Is (9/2)/9*i a multiple of 28?
False
Suppose -19*o + 53925 = 6*o. Suppose -o - 846 = -13*l. Is l a multiple of 11?
True
Suppose 102*y - 54810 - 110430 = 0. Does 18 divide y?
True
Let p(v) = -v**3 - 17*v**2 + 15*v + 10. Let t be p(-18). Let x = 354 + t. Is x a multiple of 20?
False
Let k(w) = w - 11. Let b(o) = o - 10. Let g(v) = 6*b(v) - 5*k(v). Let t be g(10). Suppose t*f = u + 270, 105 + 150 = 5*f - 4*u. Does 36 divide f?
False
Let a = 17614 + -18. Does 53 divide a?
True
Suppose -346*q - 3*c - 107482 = -350*q, -4*q + 107466 = 5*c. Is q a multiple of 12?
False
Let p = 47 + -49. Let g be 2 - (p + 4) - 1. Let t(x) = -134*x - 6. Does 32 divide t(g)?
True
Let y(j) be the third derivative of -j**6/60 + 5*j**5/12 - j**4/2 + 5*j**3/3 - 25*j**2. Let x be y(12). Suppose 165 = x*q - 845. Is q a multiple of 15?
False
Suppose -9*c + 6921 = -387. Does 58 divide c?
True
Let a = 1371 - 3925. Let p = -1726 - a. Is 18 a factor of p?
True
Suppose 0 = 19*w - 18*w + 77. Let b = w + 118. Suppose -45*h = -b*h - 352. Is 13 a factor of h?
False
Let b = 495 + -478. Let t = b + 191. Is 16 a factor of t?
True
Let q(w) = 3*w**2 - 85*w + 351. Does 15 divide q(48)?
False
Suppose 5*n + 2*x + 299 = 0, -5*n + n - 244 = 4*x. Does 59 divide (25/20*n)/(2/(-8))?
True
Suppose -23*f + 60000 = 43092 - 66996. Is f a multiple of 152?
True
Let p be (1/2)/((-6)/(-6192)). Let s = p - 470. Is 5 a factor of s?
False
Let c(m) = -m**2 + 18*m + 61. Let p be c(16). Is (-1556)/3*p/(-62) a multiple of 62?
False
Suppose 4*y + 9916 = 373*v - 370*v, 0 = -5*v - 5*y + 16445. Is 4 a factor of v?
True
Let g = 749 + 995. Does 9 divide g?
False
Let r be ((-1)/5)/((-5)/75). Suppose i - r*i + 6 = 0. Does 16 divide (122 + (-4 - -7))*i/5?
False
Let x(u) = -5*u + 9. Let c be x(1). Suppose 0 = -5*i + y + 1840, c*i - 4*y - 571 - 885 = 0. Suppose -11*g + 1061 = -i. Is g a multiple of 13?
True
Let f = 1941 - -1515. Is 8 a factor of f?
True
Let z be 24/15 - 8/(-20). Suppose -334 = -5*s + 3*n, -z*s + 159 = 4*n + 41. Suppose -i = -5*w - s, -249 = -3*i - 7*w + 4*w. Is i a multiple of 8?
True
Let d be (8 + 23/(-3))/(1/6). Suppose -d*i + 0*k - k + 945 = 0, 2*k - 477 = -i. Is 18 a factor of i?
False
Let i(g) be the second derivative of g**5/20 - g**4/3 - 4*g**3/3 + g**2 - 15*g. Let f be i(6). Let o = 2 + f. Is 7 a factor of o?
True
Suppose -29*f + 1152269 + 359983 = -f. Does 48 divide f?
False
Let m(g) = -g + 12*g + 0 - 10*g + 2. Let b be m(-6). Is (96/(-10))/((-148)/(-40) + b) a multiple of 4?
True
Let k = 43 - 39. Suppose -12 = k*y, -a - 21 = 4*y - 6. Is 9 a factor of a + 30/(-5)*-5?
True
Suppose -4*o - 5*q = 19, 4*o - 3*q + 19 + 8 = 0. Does 13 divide ((-818)/o)/((-7)/(-21))?
False
Let q(h) = -5*h - 25. Let j be q(-6). Suppose -f - j*v + 81 = -99, -3*f + v = -460. Let i = -52 + f. Is i a multiple of 36?
False
Suppose 4*u = 2*d + 3*d + 1500, -3*u = -4*d - 1201. Let p = d + 538. Is p a multiple of 9?
True
Suppose k - 1548 = 3*q - 131, -2*k - 2*q = -2850. Does 13 divide k?
False
Let p(t) = 4*t**3 - 2*t**2 + 2*t - 6. Let f(j) = 4*j**3 - j**2 + 5*j - 7. Let k(m) = 7*f(m) - 6*p(m). Does 90 divide k(5)?
False
Is 3163 - 2*18/(-4) a multiple of 7?
False
Let z be (30 + -29)/((-1)/(-86)). Suppose 32*l - 34*l + z = v, -4*v - 2*l + 338 = 0. Is v a multiple of 16?
False
Let j = -21842 + 25757. Does 15 divide j?
True
Let z(s) = -s**3 - 19*s - 255. Is z(-10) a multiple of 6?
False
Suppose 0 = -17*t + 25*t + 2640. Let r = t - -421. Is r a multiple of 7?
True
Suppose -8*o + 9*o - 32*o + 504184 = 0. Is 38 a factor of o?
True
Is 135 a factor of 260/30*(-527310)/(-84)?
True
Let l(s) be the third derivative of 2*s**4/3 + 2*s**3/3 + 64*s**2. Does 28 divide l(12)?
True
Let h be ((-136)/3)/((-54)/(-162)). Is 17 a factor of (4 - 5)*h*(-6)/(-3)?
True
Suppose -2775 = 32*j - 20*j - 13*j. Does 5 divide j?
True
Let l = -1012 + 8512. Is 15 a factor of l?
True
Suppose 5*g + 597 = 617. Suppose 2*i - 140 = 4*z, g*i - 22*z = -21*z + 252. Does 4 divide i?
False
Let n(r) = -3*r**3 + 10*r**2 - 22*r + 4. Let m be n(-10). Suppose -332*b = -344*b + m. Does 11 divide b?
True
Let m(r) = 396*r**2 + 9*r + 32. Does 12 divide m(-2)?
False
Suppose -218*f = 61*f - 9252477. Is 107 a factor of f?
False
Let a = 133 - -74. Suppose -3*l + a = 3*m - 102, 0 = -4*m - 3*l + 409. Is m a multiple of 4?
True
Let q(i) = -i**2 + 6*i - 257 + 6*i + 236. Is 10 a factor of q(5)?
False
Let l(v) be the second derivative of 2*v**3/3 + 17*v**2/2 - 1388*v. Let m(f) = 2*f + 5. Let u be m(-4). Is l(u) a multiple of 2?
False
Let c be (-9)/2*44/(-99). Suppose 1 = j + 3, -c*s = -3*j + 612. Let y = s - -548. Is 15 a factor of y?
False
Suppose 0*x + 479 = x - 2581. Is x a multiple of 6?
True
Suppose -4*l + t = -58503, -2*l - 2*t - 1364 = -30618. Is l a multiple of 65?
False
Suppose -31*p + 28*p - 1 = x, 25 = -5*x + 5*p. Let i(c) = 33*c**2 - 4*c - 12. Does 28 divide i(x)?
True
Suppose -2*j - 85*v + 44 = -83*v, 0 = -v - 7. Is 6 a factor of j?
False
Let i be ((-39)/65 - 14/10) + 2. Suppose 0 = -5*l + 3*k + 153, 0 = 3*l - i*l + 4*k - 86. Is 15 a factor of l?
True
Let k(z) = 96*z - 156. Does 12 divide k(52)?
True
Suppose c = 5*c - 3*z - 27977, 13969 = 2*c + 5*z. Does 8 divide c?
True
Let v = -43 - -71. Suppose 8 = i - a, -5*a + v = i - 2*a. Is 12 a factor of -4*i/(-2) - (1 + 1)?
True
Let v(s) be the first derivative of 5*s**3/3 - 13*s**2/2 + 46*s + 32. Is v(-9) a multiple of 71?
True
Let w(m) = 12*m**2 - 96*m + 78. Does 8 divide w(12)?
False
Suppose -3*v = 2*j + 2 - 30, 3*j = 3*v - 33. Suppose 18 = 8*d - v*d. Is 35 a factor of -4*267/18*d/2?
False
Let a(r) = 10*r - 35. Let s be a(4). Suppose -s*c + 855 = -3*j - 2996, c + j - 767 = 0. Does 15 divide c?
False
Let j(n) = 339*n**2 - 63*n - 196. Does 14 divide j(14)?
True
Let k be 6/((-6)/(-8) - 24/(-32)). Suppose k*p - 937 = 371. Let u = p + -187. Is u a multiple of 28?
True
Let k(s) = s**3 + 4*s**2 - 191*s + 3289. Is 43 a factor of k(16)?
False
Let r = -2731 - -11545. Does 27 divide r?
False
Let b(c) = -3*c**2 + 38*c + 58. Let y be b(13). 