e r?
False
Let y(s) = 93*s + 168. Let b be y(-3). Suppose -5*l + 4*j - 863 = 0, 5*j = -5*l - 288 - 557. Let v = b - l. Is 12 a factor of v?
True
Let j = -135 - -137. Suppose 5 - 18 = p - 3*n, -2*p = j*n + 66. Let i(c) = -c**3 - 29*c**2 - 32*c + 12. Does 14 divide i(p)?
False
Let b = -3011 + 5241. Is b a multiple of 37?
False
Let n = 8200 - 5514. Suppose -4*w + 2*w + n = 4*p, 15 = 5*w. Is 13 a factor of p?
False
Suppose 5*u - 15 = -5*g, -4*g = 2*u - 6 - 0. Is g/(-5) - (-144 + -1 + 2) a multiple of 4?
False
Suppose 3*h + 143 = 4*a, -5*a - 3*h + 0*h = -172. Suppose -4*o + a = 387. Let y = -20 - o. Is y a multiple of 7?
False
Is 35135*(-13)/1430*-22 a multiple of 9?
False
Suppose -269273 = -107*v + 183016. Does 10 divide v?
False
Suppose 0*y = 2*s - y - 239, 0 = -4*s - 4*y + 448. Let g = 128 - s. Suppose -1260 - 863 = -g*n. Is n a multiple of 31?
False
Let d(t) be the first derivative of t**4/4 - t**3/3 - 4*t**2 + 603*t - 110. Is 31 a factor of d(0)?
False
Suppose 5*o = 4*g + 605, 4*o + 4*g = o + 331. Does 9 divide o?
True
Suppose 52446 = 2*i - 2*c, -114970 = -4*i - 3*c - 10029. Is i a multiple of 59?
False
Let z(a) = -a**3 + 21*a**2 + 769*a - 64. Does 13 divide z(33)?
False
Suppose 4199 = -17*r - 0*r. Let d = r + 365. Is d a multiple of 2?
True
Suppose x - 4*f = 8044, 17*f - 16113 = -2*x + 20*f. Is x a multiple of 13?
False
Let q(n) = -n**3 - 5*n**2 + 10*n - 24. Let y be q(-7). Suppose y*o = -7*o + 11242. Is 41 a factor of o?
False
Let u(c) = -13*c**3 + 9*c**3 - 10*c + 9*c**2 + 4*c. Let z(j) = -6*j**3 + 14*j**2 - 9*j. Let b(p) = 7*u(p) - 5*z(p). Is 30 a factor of b(5)?
True
Let v be 6/1 - (2 - 1). Suppose -69*w + 34*w + 29*w + 3990 = 0. Suppose -160 = -g + v*x, -5*g = -g + 5*x - w. Is 33 a factor of g?
True
Suppose s = 5*h - 15, -12 = -4*s - 13*h + 9*h. Suppose s = 10*v - 656 - 424. Does 13 divide v?
False
Let d(a) = -a**3 - 6*a**2 + 4*a + 11. Let f(m) = m**3 - m. Suppose -3*w + 6 = -3*u - 6, 0 = -2*u + 5*w - 23. Let n(p) = u*d(p) + 2*f(p). Is 5 a factor of n(7)?
False
Does 28 divide (-7515)/9018 + ((-18155)/(-6) - (0 - -1))?
True
Suppose 4*x = -24 - 16. Is 15 a factor of ((-5)/25*-118)/((-2)/x)?
False
Suppose y - 13*k + 12*k + 5 = 0, -8 = -4*k. Is (5 + 60/(-9))*y even?
False
Let y(t) = 13*t**2 + 33*t - 46. Does 17 divide y(-14)?
True
Suppose -158*d + 29*d = 645. Suppose 2*r - 432 = -4*h, -r + 2*r + 426 = 4*h. Let w = h - d. Does 17 divide w?
False
Does 5 divide ((-2943)/(-18))/(16/16*(-2)/(-100))?
True
Suppose 470 = 4*x - 58. Suppose -64*a = -80*a - 1216. Let l = a + x. Does 28 divide l?
True
Let r(q) be the first derivative of q**4/4 - 14*q**3/3 + 13*q**2/2 + 49. Let l be r(13). Suppose l = -2*p + 34 - 16. Is p a multiple of 3?
True
Let f = -9893 - -23357. Does 9 divide f?
True
Let n(w) = 22*w + 4. Let v be n(1). Let a = v - 53. Is ((a - -3)*-1)/((-9)/(-6)) a multiple of 8?
True
Suppose 5*o + 120 = -5*g, -2*o - 47 = -5*g + 22. Let p = 29 + o. Is 10 a factor of 48 - 3/((3 - p)/(-1))?
False
Let q(d) be the first derivative of -d**3/3 - 5*d**2 + 2*d - 27. Let m be q(-10). Does 6 divide (2/(-10) + m/(-15))*-150?
False
Let w = -55 + 138. Let c = -50 + w. Suppose -3*x = -2*s + 144, -107 = -s + 2*x - c. Is s a multiple of 6?
True
Does 8 divide 4/(-18) - (15629500/(-90))/50?
False
Suppose 140*k - 287*k = -166*k + 8056. Is 6 a factor of k?
False
Let q(h) = 3*h**2 - 10*h - 4. Let v(g) = -2*g**2 + 11*g + 5. Let a(w) = 4*q(w) + 3*v(w). Let s be a(2). Suppose 4*n + 600 = s*n. Does 15 divide n?
True
Let q(v) = 34*v**2 + v + 60. Let o be q(-10). Suppose 449*m - 452*m + o = 0. Is 52 a factor of m?
False
Let d = 36554 - 2086. Is 73 a factor of d?
False
Let j(v) = v**3 - 14*v**2 - 33*v - 2. Let y be j(16). Let d be (-621)/y - 1/(-2). Suppose 2*z + 5*s - d = 0, -4*z + s + 81 = -0*z. Is 20 a factor of z?
True
Is 28/(784/42) - 70350/(-4) a multiple of 39?
True
Let g be 0 + 6/(-1) + 19. Let h(x) = 6*x - 50. Does 7 divide h(g)?
True
Let b be 1200/42 - 27/(-63). Suppose -l + 893 = h, -b*l = h - 30*l - 901. Is h a multiple of 13?
True
Let s(x) = -16*x**2 - 3*x + 2. Let g be s(2). Suppose -1280 = 733*v - 713*v. Let w = v - g. Is 3 a factor of w?
False
Suppose -36*b + 2*l - 50830 = -38*b, 0 = -2*l - 8. Does 11 divide b?
False
Let m be 58/18 - 40/180. Let w be 1*(5 - (1 - m) - 3). Is 12 a factor of 588/9 + w + (-4)/(-6)?
False
Let t = 266 + -261. Suppose -54*f + 52*f - 1290 = -2*j, -t*f + 639 = j. Is j a multiple of 34?
False
Suppose -16*a + 4300 = -15*a. Is 25 a factor of a?
True
Let f(h) = h**2 - 13*h - 21. Let y be f(-6). Let z = y + 117. Is 14 a factor of z?
True
Let r = 3124 + -2970. Is r a multiple of 4?
False
Suppose 0*z - 9*z = -36. Suppose -3*y + 5*h + 302 = 0, 140 = 2*y - z*h - 64. Does 8 divide y?
False
Let x = 3706 + -2458. Is 18 a factor of x?
False
Let c be (0 + -3)*(-2)/(-3). Let r be 32/12*(-3)/c. Suppose 2*a - a - r = 0. Is 4 a factor of a?
True
Let g = -1 - -4. Suppose c = 3*c + 3*l, 0 = -3*c - 3*l + 3. Suppose -g*i - 3*r + 194 = 8, -2*r = -c*i + 196. Is 32 a factor of i?
True
Let z(y) = -7*y**3 + y**2 + 54. Let m(u) = 10*u**3 - u**2 - 81. Let l(n) = -5*m(n) - 7*z(n). Does 16 divide l(-7)?
True
Suppose 38*v - u = 43*v - 64839, -4*u = 3*v - 38883. Is v a multiple of 9?
True
Suppose -s + p = -0*s - 3256, s - 9*p = 3192. Is s a multiple of 192?
True
Let p be 5/(-5 - (-60)/8). Suppose a = 3*d - 312, p*d - 327 = -d - 4*a. Is 19 a factor of d?
False
Let h(q) = -9*q**3 - q**2 - 3*q + 1. Let a be h(2). Let m = 85 + a. Suppose -r = -99 + m. Is 27 a factor of r?
False
Is 76 a factor of (3797 + 3)/(((-50)/(-10) - 3)/12)?
True
Let r(o) = -o**2 + 12*o - 13. Suppose 14 = 3*s - 19. Let g be r(s). Is (17/(-2) - (1 + g))*-2 even?
False
Let b = 20555 + -12475. Is 20 a factor of b?
True
Suppose p - 14 = -3. Let o(n) = 11*n**3 - 20*n**2 - 35*n - 28. Let l(f) = -5*f**3 + 10*f**2 + 17*f + 13. Let v(y) = 9*l(y) + 4*o(y). Is 2 a factor of v(p)?
False
Suppose -836 = z + 5*p - 6514, 0 = 2*p + 4. Is 72 a factor of z?
True
Let q(p) = -4*p**2 - 186*p + 17. Is q(-27) a multiple of 20?
False
Is 71 a factor of (1136/10)/(6/495)?
True
Let o(h) be the first derivative of -h**4/4 + h**3/3 + h**2/2 + 8*h + 2. Let d be -1*6/15 - (-6)/15. Is o(d) a multiple of 4?
True
Is 22*(-17)/(1496/(-26032)) a multiple of 120?
False
Suppose 7*c - 51721 = -k, -4*c + 29557 = 91*k - 90*k. Does 6 divide c?
False
Let o = 49 - -221. Suppose -5*p + 235 + o = 0. Is p a multiple of 7?
False
Is 42 a factor of (12/10)/((342/18)/3420)?
False
Let r(v) = 4*v**3 + 4*v**2 - 30*v + 12. Let q be r(12). Suppose 86*m + q = 103*m. Is 10 a factor of m?
True
Suppose 63*j - 22618 = 29924. Does 29 divide j?
False
Suppose 0 = 143*w - 4136679 + 1533650. Is w a multiple of 109?
True
Let k(b) = -b**3 + b**2 + b + 395. Let m = -23 - -23. Let s be k(m). Suppose -2*c + 115 = -s. Does 51 divide c?
True
Let j(o) be the second derivative of o**5/20 + o**4/12 + 2*o**3/3 + 37*o**2/2 - o. Suppose 27*h = 37*h - 7*h. Is j(h) a multiple of 37?
True
Suppose -9*x - 122 = -5*x + 3*r, 0 = 5*x - 5*r + 170. Is x/4 + 6 + (-20)/(-1) a multiple of 9?
True
Let c = -170 - -203. Suppose 34*k = c*k + 216. Is 36 a factor of k?
True
Let r = 2329 - 1715. Is r even?
True
Let o = 4637 - 896. Does 43 divide o?
True
Let d = 36 + -16. Suppose -3*q - 2*y + 30 = -5, -q = -y - d. Does 21 divide 313/5 + (2 - 24/q)?
True
Suppose -3*d - 98 = -2*y, 127 + 97 = 5*y + 3*d. Suppose -a + y = -6*j + 3*j, 5*a = j + 174. Is 17 a factor of a?
True
Let b = -7624 + 11342. Is b a multiple of 13?
True
Suppose -2*c - 636 = -6*c + 3*x, -3*c + 477 = -3*x. Suppose 0 = c*o - 163*o + 336. Does 21 divide o?
True
Suppose 0 = -0*x + x - 25. Let w = x + -21. Is 1/((-22)/6 + w) even?
False
Suppose 13*u = 4*b + 15*u - 50, 2*b - 19 = u. Let w(c) be the first derivative of c**4/4 - 4*c**3 + 7*c**2 - 19*c + 2. Is 14 a factor of w(b)?
True
Does 6 divide 7*28/98*591?
True
Let o(q) = 438*q + 3386. Is o(21) a multiple of 26?
True
Let s(i) = -2*i**3 + 14*i**2 - 3*i + 17. Let c be s(6). Suppose -74*v + 270 = -c*v. Is 18 a factor of v?
True
Suppose -7*g + 3720 = -3*g. Suppose -27*x = -37*x + g. Is x a multiple of 31?
True
Let d(s) = -5*s - 196. Let w be d(-40). Suppose -3*b = -w*i + 1199, -899 = -3*i + 10*b - 8*b. Is 23 a factor of i?
True
Let j = -7085 + 9811. Does 47 divide j?
True
Let w(f) = -501*f