
True
Let s = 202 - 176. Is 26 a factor of (-2)/(-8)*0 + s?
True
Let c be 2*(1 - (-4 - -3)). Suppose -57 = 5*v - 3*j, 0 = -v + c*j - 2 - 6. Does 4 divide ((-56)/(-6))/((-8)/v)?
False
Suppose 0 = -6*d - 419 + 461. Suppose 2*o + c + 345 = d*o, c = 0. Is 2 a factor of o?
False
Let u be (-20 - -36)/(-2 - -5 - 1). Suppose 0 = 12*q + u*q - 20300. Is 14 a factor of q?
False
Let b(n) be the third derivative of 43*n**5/120 - 29*n**4/24 + n**3 - 13*n**2. Let p(x) be the first derivative of b(x). Does 26 divide p(4)?
False
Let x(u) = 3*u + 81. Let k be x(-25). Let z = 105 + -47. Suppose -74 - z = -k*q. Is 22 a factor of q?
True
Let g(n) = 33*n**2 + 8*n + 3. Let s(u) = u + 40. Let y be s(-37). Is 12 a factor of g(y)?
True
Suppose 0 = -9*w + 4420 + 4094. Is 86 a factor of w?
True
Let l(x) = 5*x**2 + 41*x - 22. Is l(31) a multiple of 23?
False
Let s = 3719 + -2399. Does 3 divide s?
True
Suppose 90*a - 955265 + 52745 = 0. Does 109 divide a?
True
Let g(y) = 4*y**3 - 15*y**2 + 25*y - 45. Is 99 a factor of g(9)?
True
Suppose 46*l = -48294 - 9022. Let p = l - -1862. Is 14 a factor of p?
True
Let q(o) = -14132*o**2 + 13*o - 11. Let k be q(1). Is 19 a factor of 2/(-3)*k/60?
False
Let u(q) = -992*q + 565. Is u(-6) a multiple of 37?
False
Suppose -150*a - 5*z + 15297 = -149*a, 6*z + 61240 = 4*a. Is 31 a factor of a?
False
Let u(o) = -o**3 - 16*o**2 - 40*o + 5. Does 12 divide u(-13)?
False
Suppose -10*d = -5568 - 1992. Suppose -d + 2398 = 5*a + h, 5*a - h - 1648 = 0. Does 67 divide a?
False
Let x = -4047 + 9663. Is x a multiple of 36?
True
Let b(l) = -l**2 + 12*l + 4. Let r = -9 - -12. Suppose 3*p = 3*i + 30, -r*i - i = p. Does 9 divide b(p)?
True
Let q(l) be the first derivative of 2*l**2 + 4*l + 1/3*l**3 - 16. Is q(-7) a multiple of 5?
True
Let f(c) be the first derivative of 8*c**3/3 - 3*c**2/2 + 39*c - 114. Is f(9) a multiple of 12?
True
Suppose 6*v - 7164 = -3*c + 7*v, 5*c - 11929 = -2*v. Let k = c + -1133. Does 22 divide k?
True
Let p = 6029 - 1469. Is 16 a factor of p?
True
Suppose x - 96 = -i, -x - 3 = 2*i - 100. Let u be (-3)/(0 + 1) - (x + 0). Let z = 176 + u. Does 9 divide z?
False
Let t(w) = -14*w - 81. Let d be t(-6). Is 575 + -13 + 15/d - 5 a multiple of 14?
False
Suppose -d - 5*t = -0*d - 5634, 2*d - 11254 = -3*t. Is d a multiple of 37?
True
Let i(f) = -f**3 + 42*f**2 + 109*f + 236. Does 13 divide i(35)?
False
Suppose 55 + 194 = 3*a. Let s be (-29 + -4 + -1)/2. Let f = s + a. Does 5 divide f?
False
Is 106 a factor of (-1 - -2443)/(((-24)/432)/((-35)/60))?
False
Suppose -15*o + 13*o = 5*r - 26605, -r + 13298 = o. Suppose -5351 + o = 12*y. Does 34 divide y?
False
Is 21 a factor of -6 + (0/9 - -2103)?
False
Let t(r) = -3*r**3 - 4*r**2 - 10*r - 14. Let k be t(-2). Does 6 divide 1*-1*5 + (k - -90)?
False
Suppose 2*m = 3*d + 1108, -m + 3*d = 4*d - 544. Let t = m + -208. Is 22 a factor of t?
False
Let i = 1606 + 1644. Does 13 divide i?
True
Let y = 65328 - 41506. Is y a multiple of 19?
False
Let g be (-1*(-3 + 3/1))/2. Suppose -42 = 2*a - g*a. Let w = a + 145. Is w a multiple of 12?
False
Suppose -3*x = -7*x - 2948. Let y(g) = -g**3 - 34*g**2 + 119*g - 198. Let u be y(-38). Let k = x + u. Is 34 a factor of k?
False
Let j = 4601 + -4015. Does 4 divide j?
False
Suppose -5*v = 29*l - 34*l + 45, -3*v + 21 = 5*l. Is ((-1970)/(-30) - 4/l)*1 a multiple of 3?
False
Suppose 4*a = -3*u + 41963, a - 112*u + 107*u - 10508 = 0. Does 7 divide a?
True
Let x be (-2)/(-3)*(-2880)/(-128). Let k(y) = 3*y**2 - 28*y + 49. Does 11 divide k(x)?
False
Let m be ((-38608)/(-228))/((-4)/90). Let o = m - -5665. Is o a multiple of 35?
True
Suppose 4*o = -3*n + 158, 4*n - o - 192 = 3*o. Suppose 280 = n*u - 43*u. Is u a multiple of 2?
True
Suppose 10*c = 3*c + 147. Let d be 4 + c/(-5) - 4/5. Is 3/(0 - (-1)/3) - d a multiple of 5?
True
Let f(z) = z**2 - 121*z + 2900. Does 10 divide f(105)?
True
Let x(p) = 195*p**2 - 66*p + 559. Is 19 a factor of x(7)?
True
Let f(d) = 123*d - 6. Let z be (-518)/(-133) - (-4)/38. Suppose -z*t + 6 = -t, 4*p - t = 6. Is 16 a factor of f(p)?
True
Is 17 a factor of (399/114)/((-4)/(-57712))?
False
Let x be (-10)/(-4)*-24*(-14)/280. Is 13 a factor of (4 + 21/(-3))/(x/(-100))?
False
Let x be 134/(-14) + 744/1302. Let d(t) = -4*t**2 - 14*t - 11. Let h(m) = 3*m**2 + 13*m + 12. Let k(l) = -4*d(l) - 5*h(l). Is k(x) a multiple of 23?
False
Suppose -864 - 70740 = -12*x. Is x a multiple of 27?
True
Let k(m) be the second derivative of 3*m**5/20 - m**4/12 + 7*m**3/6 + m**2/2 + 15*m. Suppose -60*c = -61*c + 4. Is k(c) a multiple of 21?
False
Let g = -1 + 2. Does 3 divide g/((-6)/(-117)) + 1/2?
False
Suppose -21*j = -20*j - r - 3722, -j + 2*r = -3728. Is 52 a factor of j?
False
Suppose p = 5*p + 12. Let y(z) = 2*z**2 - 5*z + 7. Let j be y(p). Suppose -91 = -3*d - r, -2*d + 14 = 4*r - j. Is 9 a factor of d?
False
Let v = 9 + -6. Suppose 3*k + v*h + 3 = 0, -2*k + 0 = -h - 7. Does 32 divide 112 - 0/((-8)/k)?
False
Let h(q) = 22*q**3 + 5*q + 6. Is 6 a factor of h(2)?
True
Suppose -2*p + 15*m = 14*m - 12188, -2*m - 4 = 0. Suppose 0 = 82*y - 73*y - p. Is y a multiple of 68?
False
Let o(m) = 363*m + 171. Does 12 divide o(2)?
False
Does 36 divide -38*125/(-2)*1?
False
Does 64 divide (3 - -2 - -11) + 38154?
False
Let q(h) = h**3 - 5*h**2 + 4*h - 1. Let k be q(4). Let f be -2 - (-3 + k + 78). Let w = -39 - f. Is 24 a factor of w?
False
Is (-73)/33*-15 + 14/(-77) even?
False
Let j = 227 - 222. Suppose 0 = h - j*w - 395, 0*h + 4*h = -4*w + 1556. Is 13 a factor of h?
True
Suppose 5*j + 29 = -n, 3 = 5*n - 2*n - 3*j. Let v be (-8)/12*(-3)/n*-236. Is 8 a factor of v + (-4)/(0 + -2)?
True
Let p be 0 - -1*(-2 - -4). Suppose 31*t - 34*t - 69 = -n, 0 = -4*n + 4*t + 316. Suppose -p*d = -n - 76. Is 6 a factor of d?
False
Suppose -11*m - 4 = -200 - 530. Let t(c) = 11*c**2 - 4*c + 2. Let h be t(4). Let f = h - m. Does 24 divide f?
True
Let f = 401 - 270. Suppose 0 = -5*r - 0*y + 3*y - 35, 4*r + y = -45. Let o = f - r. Is 14 a factor of o?
False
Let y = 23444 + 12151. Is y a multiple of 7?
True
Let l(y) = -1523*y - 1474. Is l(-22) a multiple of 48?
False
Let i(o) = o**2 - 4*o + 2. Let b be i(4). Suppose b*d - 2 = -0, 2*d = -2*n + 524. Is 9 a factor of n?
True
Suppose 5*l + 2*p - 134 = 0, 3*l = 2*l - 5*p + 36. Suppose 12166 + 6996 = l*y. Is y a multiple of 39?
False
Suppose 3*l - 107 = 2*s, -6*s + 4*l - 158 = -3*s. Let t be s/(-10) - (-1 + (-6)/(-10)). Suppose 2*w - 1 = -7, 2*n - t*w - 71 = 0. Is n a multiple of 9?
False
Let d be (-9845)/(-20) + 8/(96/9). Let o = 1293 - d. Does 16 divide o?
True
Suppose -2884 = -16*u + 9804. Let g = u - 272. Does 10 divide g?
False
Is (-4977)/1*(17 - (-2250)/(-126)) a multiple of 33?
False
Let p = -21 - -21. Suppose p = 3*l + g - 22, -4*l + 3*l + g = -6. Is 14 a factor of (-4)/l + 3634/14?
False
Suppose 2*g - m + 30 - 42 = 0, 3*g + 3*m - 18 = 0. Is (-2)/g - -235*4/12 a multiple of 36?
False
Suppose -5*p = -82 + 127. Let u be (-27)/(-6)*(-12)/p. Is 12 a factor of 106*(u/4 + 0)?
False
Suppose 16*m = 37 + 2171. Suppose 4*l + 5*a = -0*a + 183, 3*l - m = -3*a. Does 3 divide l?
False
Let a(k) = 65*k - 3. Let x be a(-5). Let l = 9 - x. Is l a multiple of 60?
False
Suppose -38309 = 20*a - 60*a + 69611. Is a a multiple of 9?
False
Suppose 3*a = -15, 5*q + 7*a - 8*a - 9955 = 0. Suppose -6*x + 4*j + q = -x, -x - j = -407. Is x a multiple of 41?
False
Let x(p) = p**2 - 17*p - 233. Let f be x(-9). Is 106 a factor of f*(15012/(-4))/(-3)?
False
Let i = 76 - 36. Let s = 1244 - 1238. Suppose s = -m + i. Does 34 divide m?
True
Let w be 5*(-5)/15*(27 + 6). Let k = 137 + -70. Let d = k + w. Is 11 a factor of d?
False
Let y = 3421 + -2981. Is 55 a factor of y?
True
Let t = 449 + -444. Let v = 220 + t. Is v a multiple of 25?
True
Let v = -377 - -14116. Does 15 divide v?
False
Let s(y) = 2*y**3 + 11*y**2 - 3*y - 27. Let r be s(-5). Suppose -r*l = -3269 - 5714. Is l a multiple of 14?
False
Let r(z) = -767*z + 7874. Is 9 a factor of r(7)?
False
Let d = 17453 + -427. Does 155 divide d?
False
Let n(d) be the first derivative of -d**3/3 - d**2/2 + 171*d + 1. Suppose b = 6*b - 0*b. Is 20 a factor of n(b)?
False
Suppose -3*d - 2*y + 506 = -564, 3*d + 5*y - 1073 = 0. Suppose -5*l + 352 = -3*z - 187, 3*z + 9 = 0. Suppose l = -v + d. Does 45 divide v?
False
Let b = 472 + 987. Is b a multiple of