
Let f be 10/(-10) - (-52)/(-1). Let b = f - -358. Is 12 a factor of b?
False
Suppose -3*r - 98 = 1. Let i = r + 55. Let f(w) = -w**3 + 21*w**2 + 24*w - 8. Is 3 a factor of f(i)?
True
Let c = -50 - -59. Suppose -29*z = -c*z - 180. Does 9 divide z?
True
Is 98 a factor of 137*43 + 2205/280 + (-4)/(-32)?
False
Let v = 2 - -1. Suppose -3*g - 559 = -4*w, 0 = -0*w + v*w + 4*g - 388. Suppose 0*j + 5*j = 2*t + w, -j = 3*t - 34. Is j a multiple of 7?
True
Let d(x) = -x**2 + 10*x - 5. Let k be d(8). Suppose -5*s + k = -w + 261, 0 = -2*w + s + 491. Does 7 divide w?
True
Let m(g) = g**2 - 9*g + 1. Let u be m(11). Suppose -5*j - 3 + u = 0. Suppose 2*y + 2*y + 3*s = 309, -4*s - j = 0. Does 26 divide y?
True
Suppose -3*n + 4*n = 10*n. Suppose n = -3*r, -v = -3*v + 2*r + 812. Does 14 divide v?
True
Let f = 19 - -8. Suppose 39 - f = 4*q. Is 19 a factor of 7 - q - (0 + -177)?
False
Let u = -8551 + 15814. Is 53 a factor of u?
False
Let y(r) = -r**3 - 12*r**2 + 26*r + 17. Let u be y(-14). Let m be u - 1/2*-4. Let o = 156 - m. Does 30 divide o?
False
Let j(z) = -7*z**3 - 3*z**2 - 3*z + 6*z**3 - 4*z**3 + 12 - 11. Suppose 2*d = -2*d - 4*g + 12, -3*g + 15 = 0. Does 5 divide j(d)?
True
Suppose -2*v = -4*y + 9052, 71*y = 73*y - 2*v - 4528. Does 29 divide y?
True
Let w(f) = -3*f**3 - 5*f**2 + 18*f + 29. Let p be w(-7). Let j = p + -678. Does 2 divide j?
False
Suppose 150 + 126 = d. Let s = d + -232. Is s a multiple of 44?
True
Let v = -225 - -358. Suppose 137*k = v*k + 1512. Does 15 divide k?
False
Suppose o - 40 = z, -35 + 15 = 5*z. Let b = o - -35. Does 4 divide b?
False
Let t(j) = 257*j - 6702. Does 171 divide t(66)?
True
Let l(i) = 3*i**2 + 8*i + 5. Suppose -63 = 4*s - 43. Is l(s) a multiple of 5?
True
Let c(a) = 10*a**2 - 2*a - 9. Suppose 5*g = -0*q - 4*q + 33, -15 = -3*g. Suppose 2*p + 2*p + q*m = 10, -m + 13 = 4*p. Is c(p) a multiple of 21?
False
Suppose 3*r - 232326 = -4*k, -232320 = -4*k + 338*r - 342*r. Is k a multiple of 126?
True
Suppose 0 = 4*f + l + 22 - 71, -5*f = 3*l - 63. Let b(a) = 8*a**2 - 5*a - 106. Is 20 a factor of b(f)?
False
Let z(u) = 12 + 322*u**2 - 319*u**2 - 2 + 38*u. Is 5 a factor of z(-16)?
True
Suppose 5*u - 5*m + 940 = -1090, -4*u - 1629 = -5*m. Let r = 687 + u. Is r a multiple of 8?
False
Let a be (0 - (-1)/(-1))*-5. Let l = -438 - -443. Suppose -d - i = -l*i - 143, 5*d = a*i + 700. Is 11 a factor of d?
False
Is 93 a factor of (24 + -48 - -20012) + (-7)/(-1)?
True
Suppose 0 = 4*h + 2*c - 8460, 0 = -3*h + 4*c + c + 6358. Suppose -4*b - h = -7*b - 2*s, -3*b = 4*s - 2126. Does 24 divide b?
False
Suppose 27*i - 25*i = 6. Suppose 0 = y + 3*x + 12, -3*y = 2*y - i*x - 30. Is 14 a factor of 1/y*(5310/(-5))/(-6)?
False
Suppose -21*h + 36 = 78. Does 13 divide ((-77)/(-28))/(h/(-120) + 0)?
False
Let w(j) = 19*j - 36. Let h be w(2). Suppose -h*s + 67 = -165. Is 58 a factor of s?
True
Let s(a) be the second derivative of -a**5/20 - a**4/4 + 7*a**3/6 + 5*a**2/2 + 2*a. Suppose 2*g = -2*d, g + 16*d = 11*d + 20. Does 20 divide s(g)?
True
Let g(s) = 310*s + 61. Let h be ((-11)/33)/((-3)/9). Does 53 divide g(h)?
True
Suppose 2*u + m - 944 = -3210, 0 = 2*u + 3*m + 2274. Let w = -279 - u. Does 13 divide w?
False
Let l(f) = 4*f**2 - 85*f + 5. Let o be l(28). Let k = o + -632. Is 7 a factor of k?
False
Let u = 18801 - 7715. Is 23 a factor of u?
True
Let d = -13 - -17. Suppose -5*i - 8 = -d*y - 20, 5*i = -5*y + 30. Suppose -3*j - o = -658, i*j + o - 1057 = -179. Does 13 divide j?
False
Does 20 divide 15816 + (-5 - -2) + 31 + (19 - 43)?
True
Let z(p) = 0 + 8 + 37*p + 9. Let n be z(-4). Is 11 a factor of (-1 - n)*((1 - -1) + -1)?
False
Suppose 4*b + 5*r = 133779 - 29068, 0 = 3*b - 4*r - 78479. Is 28 a factor of b?
False
Let a be (-3)/(15/(-10) + 1). Is a/4*17612/51 a multiple of 16?
False
Let z = 243 + -239. Suppose z*k - 4*v - 344 = 0, 11*k - 283 = 8*k - 2*v. Does 13 divide k?
True
Let k(j) = 74 + 232*j**3 - 2 - 246*j**3 + j + 46*j**2. Let f(y) = -5*y**3 + 15*y**2 + 24. Let i(m) = 17*f(m) - 6*k(m). Is i(-21) a multiple of 12?
False
Is 178 a factor of -1 + (56961/5 - 36/(-45))?
True
Let r(m) = 13*m**2 + 41*m - 136. Let i be r(3). Let k = 330 + -216. Let s = k - i. Is s a multiple of 5?
True
Suppose -3 = -b, 3*b + 27 = f + 4*b. Does 11 divide ((-15)/10)/(f/(-7040))?
True
Suppose -9*c = 140 - 491. Suppose 0 = m - 69 - c. Suppose 5*k - g - m = 0, 0 = 4*k - 0*k - 4*g - 96. Does 21 divide k?
True
Let r(v) be the first derivative of -v**4/4 + v**2 + 4*v + 17. Let o be r(0). Suppose -5*l + 4*k = -495, o - 79 = -l - 4*k. Is 28 a factor of l?
False
Let n(c) = 9*c**2 - 8*c - 13. Suppose 37*r = 32*r - 25. Is 8 a factor of n(r)?
False
Let b = 4187 + -3266. Is 2 a factor of b?
False
Let y = -83 + 115. Suppose -o + y = 3*o. Suppose -o*f + 9*f - 99 = 0. Does 49 divide f?
False
Let o = -122 - -87. Is 22 a factor of 99/22*(1 - o)?
False
Suppose -433 + 114 = -n. Suppose -10*o - n = -2509. Is o a multiple of 15?
False
Let c(b) = -b**3 - 13*b**2 - 9*b - 26. Let x be c(-12). Let m = -7 - x. Is 11 a factor of m?
True
Let u be (-27)/(-15)*((-100)/(-15) - 5). Suppose 4*k + 5*z - 1785 = 0, -u*z + 225 = k - 230. Is k a multiple of 55?
True
Let o be (-41)/21*-3 - 19/(-133). Does 9 divide (-63)/(-14) + o/(-4) - -201?
False
Let q(w) be the second derivative of w**4/6 - w**3/2 - 3*w**2 - w. Suppose 31*f - 4*o = 32*f - 13, -18 = 2*f - 3*o. Does 7 divide q(f)?
True
Suppose -28*b = -23*b + 95. Let v(o) = o**3 + 18*o**2 - 21*o + 3. Does 24 divide v(b)?
False
Is 4 a factor of -1*(-3)/(10/(50120/21))?
True
Let u = -4336 + 5248. Does 19 divide u?
True
Let k(q) = -2*q**3 + 8*q**2 + 5*q + 6. Let i be k(-6). Let d(h) = h**3 + 58*h**2 + 214*h - 106. Let u be d(-54). Suppose -u*w + i = 6*w. Does 6 divide w?
False
Suppose -7*p = -0*p - 35. Suppose x + 0*x = -5*u + 30, x = p. Suppose -u*m + 49 - 24 = 0. Does 5 divide m?
True
Suppose -2*i + 11894 = -5*u, u - 5*u + 5960 = i. Is 48 a factor of i?
True
Suppose 785312 = 49*j + 62*j - 23*j. Does 46 divide j?
True
Let t be 2 + 585/5*1. Is 13 a factor of t - (154/84 + 1/6)?
True
Suppose -10*y = 6*y + 5568. Let d = y - -532. Is 16 a factor of d?
False
Suppose 5*q = 2*q - 5*y + 27, -y + 3 = 0. Suppose q*l - 161 = -3*x + 179, 90 = l + 2*x. Does 6 divide l?
False
Let w(f) = 6*f**2 + 149*f + 71. Is w(-40) a multiple of 10?
False
Let x be -13 - 11752/(-39) - (-1)/(-3). Suppose g = 7*g - x. Does 2 divide g?
True
Suppose -125716 = 92*n - 562808. Does 14 divide n?
False
Let o be (18/36)/((-1)/(-8)). Suppose 5*y = -o*u - 0*u + 704, 3*y - 448 = 4*u. Is 16 a factor of y?
True
Does 42 divide 6/4 + (-185601)/(-26)?
True
Is 8/6*31*19431/34 a multiple of 93?
True
Let t = -43 - -43. Suppose t = 5*h - 2*q + 6, 9 = -3*q + 3. Is 8 a factor of h + 297/6 + 3/(-2)?
False
Suppose -2*n - 412 = 2*r, -4*r + 8*n = 4*n + 864. Let b = -155 - r. Is 28 a factor of b?
True
Let i(u) = 3*u**2 + 5*u + 3. Suppose s = 15*s + 28. Let v be i(s). Suppose -3*m + 1520 = v*m. Is m a multiple of 19?
True
Let l = 831 - 569. Let b = 467 - l. Does 5 divide b?
True
Let g(c) = -2*c**3 + 29*c**2 + 5*c - 12. Suppose 120 - 42 = 6*d. Is g(d) a multiple of 16?
True
Let d = -194 - -194. Let z = -1 - -4. Suppose d = z*f - 0*f - 33. Is 5 a factor of f?
False
Suppose -8*r - 16857 = -17*r. Suppose r = -10*j + 6173. Is j a multiple of 11?
False
Let t(u) = 2*u + 40. Let m be 1*-1 + -2 - (-6 + -20). Let k be t(m). Suppose -5*c = -k + 16. Is c a multiple of 2?
True
Let r = 645 - 628. Let l(d) = -d + 8*d + 16*d**2 + 12*d + 27 - d**3. Is l(r) a multiple of 25?
False
Is 145 a factor of (-96)/600*-7120*20?
False
Let m be (-113)/(((-14)/(-6))/(-7)). Let u = -171 + m. Suppose x + 64 = u. Is x a multiple of 11?
False
Let c(m) = -m**3 - 19*m**2 - 23*m - 89. Let l be c(-18). Let t(y) be the third derivative of 13*y**4/24 + 2*y**3/3 - 4*y**2. Is 2 a factor of t(l)?
False
Let i(j) = -64*j + 42. Let s be i(4). Let k = -182 - s. Is 16 a factor of k?
True
Suppose -c = 4*c - z - 115, -23 = -c - 2*z. Suppose 3*w + g - 24 = 2*g, -2*w + c = -3*g. Is 7 a factor of w?
True
Let h(q) = -4*q**2 - 104*q - 33. Let p be h(-24). Let f = 478 - p. Is 2 a factor of f?
False
Let c = 362 + -89. Let s = -201 + c. Is s a multiple of 7?
False
Let f(s) = 7*s + 169. Suppose -50*t + 54*t = -5*l + 73, 3*l = 4*t + 31. Does 16 divide f(l)?
False
Suppose -5*x - 4