*y + 1875 = -624. Is 51 a factor of v?
False
Let w be (-19510)/(-25) - (6 - (-132)/(-20)). Let t = -591 + w. Does 38 divide t?
True
Let a = -13009 - -21730. Is 9 a factor of a?
True
Let u be 9*(-9 + 112/12). Suppose 4*n - 5*s = 2775, 0 = 2*s + u*s - 25. Does 35 divide n?
True
Let k be (4 + -6 - -3)/(1/25). Let j = k + -23. Suppose 82 = 2*x + j*h, -x + h = -0*x - 31. Is 18 a factor of x?
True
Let b(s) = -s**3 - 14*s**2 + 14*s - 13. Let a be b(-15). Is 48 a factor of (48/(-5))/(a - (-88)/(-40))?
True
Let w = -62 + 50. Let n be (-5 - 54/w) + 2/4. Suppose -4*r - r + 285 = n. Is 21 a factor of r?
False
Let n = 424 + -416. Suppose -u + 9*o = n*o - 1001, -o = -1. Is u a multiple of 14?
False
Suppose -314 = -9*t + 64. Suppose 6 = 4*g - s + t, -5*g - 28 = 3*s. Let m(f) = -f + 50. Is 8 a factor of m(g)?
False
Let q(b) = 159*b - 314*b + 144*b - 15 + b**3 + 10*b**2. Is q(-5) a multiple of 11?
True
Let f(o) = -510*o - 757. Is 40 a factor of f(-92)?
False
Suppose -3*s = -3*b - 30277 + 3676, -5*b - 8843 = -s. Is s a multiple of 19?
True
Does 10 divide -4 - -13 - (6 - 23989/7)?
True
Let h(r) = -2*r + 6301. Is h(73) a multiple of 33?
False
Let t be 126/(-12)*(-4)/6. Suppose -r + 4*r = r. Suppose t*d = -r*d + 252. Is 6 a factor of d?
True
Let g = -2108 - -6460. Is g a multiple of 17?
True
Suppose 10 = 2*p - 6. Let z be -4 + (54 - p/4). Suppose -168 = 47*y - z*y. Does 13 divide y?
False
Let k(o) = -o + 17. Let n be k(17). Suppose j + 3*j - 720 = 0. Suppose n*d + 4*d = j. Is 12 a factor of d?
False
Let t(r) = 6*r**2 + 6*r - 31. Let u be t(27). Suppose 4*a - 5*g = u, 0 = -3*a + g - 2*g + 3355. Does 40 divide a?
True
Suppose 4*n - 3*o = -47, -2*o + 6*o + 12 = -4*n. Let m be 6/n + (-621)/(-12). Let u = m + 17. Does 17 divide u?
True
Let g(n) = -11*n**3 - 4*n**2 - 15*n - 7. Suppose 2*u = -2 - 4. Is 36 a factor of g(u)?
False
Suppose -5*s + 4*l = -37, -4*s - 5*l + 26 = -7*l. Let k(h) be the third derivative of h**5/30 + 19*h**4/24 - 5*h**3/6 - 15*h**2. Is 20 a factor of k(s)?
True
Let n be (-14)/((-4)/472 + 0). Let b = -1037 + n. Is 41 a factor of b?
True
Suppose 450*f = 394*f + 489888. Is f a multiple of 86?
False
Let v = 86 - 86. Is v/(-1) + -22 + 610 a multiple of 12?
True
Let f(j) = -3*j**2 + 44*j + 431. Let a be f(22). Let t be 56/10*(0 - -10). Let o = t + a. Does 3 divide o?
True
Let y = 715 + -1290. Let a = -317 - y. Is a a multiple of 9?
False
Suppose -93 = -18*c - 3. Suppose 5*w = 4*h - c*h + 292, -5*h - 3*w = -1548. Is h a multiple of 78?
True
Let u = 27251 + 1558. Does 11 divide u?
True
Let a(g) = -7*g + 3. Let y be a(-6). Let l = y - 4. Is l a multiple of 41?
True
Let x = -723 + 356. Let j = x - -482. Is j a multiple of 5?
True
Let z(j) = -2*j + 1. Let x be z(-1). Suppose x*l - 3*y = -2*y + 10, l = -2*y - 6. Suppose 0 = -4*c - k + 161, l*c + 0*k - 83 = -k. Is c a multiple of 4?
False
Let a(k) be the second derivative of 11*k**3/6 - 10*k**2 + 40*k. Is a(19) a multiple of 7?
True
Suppose 3*j = 21, 3*t + 15*j = 20*j + 7402. Is t a multiple of 42?
False
Let j = 49 - 37. Suppose -2*o - j = -6*o. Is 7 a factor of ((-50)/1)/(1 - o)?
False
Suppose -9984 = 62*p - 10*p. Let b = 182 + -306. Let u = b - p. Is 34 a factor of u?
True
Suppose -4*n - 46 + 82 = 0. Suppose -n*q = -5*q - 560. Is q a multiple of 8?
False
Let u = -26 + 74. Let d = 133 - u. Is 6 a factor of d?
False
Suppose 0 = -6*n - 0*n + 78. Let a = n + -11. Suppose a*r - 74 = -0*r. Is r a multiple of 5?
False
Suppose -5*c - 4*t + 50 + 114 = 0, 2*t - 130 = -4*c. Let b be (-4 + c)*(74/(-14) - -1). Let s = -38 - b. Is 4 a factor of s?
False
Suppose -19*x - 2*i = -16*x - 26677, 9*x + 3*i = 80052. Is x a multiple of 31?
True
Suppose 0 = f - 8 + 5. Suppose -2*k = f*k - 185. Suppose 10*g - k = 3. Does 2 divide g?
True
Suppose 4*g + x - 1057 = -g, -5*x = -3*g + 651. Let f = g - 108. Is 4 a factor of f?
True
Suppose -1301966 = 49*m - 4845352. Does 14 divide m?
False
Is 15 a factor of (-1767138)/(-102) - (-6)/51?
True
Let u = 331 - 326. Let c = -269 + 169. Let m = u - c. Is m a multiple of 15?
True
Let f(s) = 2*s - 38. Let g be f(14). Let w = 13 + g. Suppose -4*d + 3*d = -5*m - 33, -99 = -5*d + w*m. Does 6 divide d?
True
Let r(t) = t**3 + 5*t**2 - 7*t - 1. Let l be r(-5). Let v be (153/(-18) + -7)/(2/4). Let k = v + l. Is 3 a factor of k?
True
Suppose l + 54 = -6*v + 4*v, -284 = 5*l + 3*v. Let m = 60 - l. Is m a multiple of 3?
False
Is -9 + 1305130/110 + -7 + 237/33 a multiple of 57?
True
Let g(n) = n**2 + 23*n + 2. Let z be g(-23). Suppose w = -2*c + 284, 1 = -z*c - 4*w + 285. Is 2 a factor of c?
True
Suppose 0 = -98*i + 94*i + 936. Is 8151/i + (-1)/(-18)*3 even?
False
Suppose 0 = -157*a - 111793 + 436469. Is a a multiple of 10?
False
Let f be ((-4)/9)/((-2)/9) + 2. Is (-110 + 1)*(-1 + 0) - f a multiple of 15?
True
Let k(u) = -2*u**3 + u + 1. Let i be k(-1). Suppose 0 = 5*w - 2*t - 116, -i*w + 50 = 7*t - 9*t. Is 11 a factor of w?
True
Suppose 52 = -u + 14*u. Suppose 0 = 5*g + 10, -u*d - 2*g = -5*g - 2302. Is d a multiple of 8?
False
Suppose 3*f = 9*f - 24. Does 15 divide (-3)/(-30)*f + (-15876)/(-35)?
False
Let y = -165 + 87. Let h = y + 169. Let v = h - 15. Is v a multiple of 15?
False
Let f = -5 + 21. Let u = -1511 + 1512. Is 34 a factor of (f/u)/(34/289)?
True
Let l(z) = 48*z - 58. Suppose 0 = -14*n + 176 - 8. Is 74 a factor of l(n)?
True
Is 6 a factor of (2/20 - (-866)/(-4))/((-2)/90)?
True
Let v be ((-4)/(-3))/(2/12) + -2. Suppose 2*x + v*k = 2*k + 192, 4*k - 480 = -5*x. Let q = -58 + x. Is 3 a factor of q?
False
Let i(t) = -34*t + 62. Suppose 3*a + 33 - 12 = 0. Is 12 a factor of i(a)?
True
Suppose 1721 = 8*a - 2839. Is a a multiple of 9?
False
Let u(w) = 11*w. Let s = -9 - -8. Let o(h) = h. Let d(c) = s*u(c) + 4*o(c). Is d(-2) a multiple of 14?
True
Suppose 428 = 4*q + a - 3*a, -4*q = -3*a - 426. Let l be (1 + (-1 - 1))/(27/q). Is 3 a factor of 9/(-12) + (-127)/l?
False
Let t(i) = -i**3 + 5*i**2 + 2*i - 7. Let x be t(5). Suppose 0 = 5*y + x*w - 887 + 242, 2*w - 650 = -5*y. Does 22 divide y?
True
Does 56 divide (-114397)/(-8) + (4 - (-435)/(-120))?
False
Suppose -111 + 31 = 2*l. Let p = 38 - l. Suppose r = -2*r - d + p, 0 = 2*d - 6. Is r a multiple of 25?
True
Let a(g) = 4*g**3 - 150*g**2 + 131*g + 94. Is 6 a factor of a(40)?
False
Suppose -13*t + 203 = 73. Is 14 a factor of 3 - 25/t - (-195)/2?
True
Suppose 0 = 4*v + 5*z - 68326, -31*v = -34*v - z + 51250. Does 181 divide v?
False
Suppose -8*q + 2162 + 11702 = 0. Suppose -q = -6*s - 77. Is 35 a factor of s?
False
Suppose 5*j = 2*g + 10, -26 = 2*g - 0*j + 3*j. Let i = 10 + g. Suppose 8*u - 431 + 87 = i. Is u a multiple of 6?
False
Let l(p) = 282*p - 2233. Does 2 divide l(9)?
False
Suppose -3*x + 0*x + 2271 = 0. Let h = x + -1159. Let k = 564 + h. Is 18 a factor of k?
True
Suppose 9*y = -9*y - 2772. Does 20 divide 12/(-14) - 42020/y?
False
Suppose -15*z + 1596 = 4*z. Is 32 a factor of (20/15)/((-3)/z)*-12?
True
Let q = 76 - 70. Suppose q*d - 3*d - 315 = 0. Suppose 5*n - 4*n = d. Does 21 divide n?
True
Suppose 14 = 5*o - 111. Let a = -23 + o. Suppose -5*w - a*v = -225, -3*w + 45 = -2*w + 2*v. Does 8 divide w?
False
Suppose -4*n - 3*q = -q - 24, -2*n - 4 = -3*q. Suppose -5*y - n*k + 45 = 0, -y - 4*k = -27 + 2. Suppose 0 = 5*u + 4*t - 241, y*t = 3*t - 2. Does 7 divide u?
True
Let w = 227 + -198. Let d = w + 115. Is d a multiple of 16?
True
Let t(v) = -v**3 - 9*v**2 - 13*v - 10. Let l be t(-8). Let w be (-5)/l*3 + 53/2. Suppose x + 5*z - w = -4, 0 = 5*x + 2*z - 202. Is x a multiple of 42?
True
Let a(c) = 50*c**2 + 796*c - 16. Is 8 a factor of a(-30)?
True
Suppose 0 = -4*i - 5*z + 116, 2*z - 7*z - 4 = -i. Suppose -4*k = -i + 8. Does 32 divide (2 + 536/(-12))*(-18)/k?
True
Suppose 0 = -538*w + 550*w - 59028. Is 11 a factor of w?
False
Suppose p = 2*p + 5*g - 44, 3*p + 3*g - 156 = 0. Suppose 0 = -3*v + 53*x - p*x + 320, -2*x - 526 = -5*v. Does 10 divide v?
False
Let a = -355 + 435. Let w = 665 - a. Does 15 divide w?
True
Let k = -38 - -43. Suppose -4*d = 3*y + 4 - 3, k*d - 22 = 4*y. Suppose -d*g - 4*m + 230 = 0, -182 = -3*g + 3*m + 199. Does 15 divide g?
False
Let x = -3167 - -3278. Let s(i) = 2*i**2 + 5*i - 2. Let b be s(5). Let g = x - b. Is g a multiple of 9?
False
Suppose -11*m + 14*m + 21 = 0. Is 4 - -1 - (-3 - m) - -34 a multiple of 14?
False
Suppose 2*z + s