Is 6 a factor of u?
True
Is ((-115)/20)/(1*(1 - (-88821)/(-88812))) a multiple of 14?
False
Suppose 42352 = 13*v + 13895. Does 22 divide v?
False
Suppose -17*v = -12*v - 70. Let p = 283 - v. Let w = -149 + p. Is 38 a factor of w?
False
Let q = 519 - 742. Let r = q + 363. Is r a multiple of 4?
True
Suppose b - 3*g - 605 = 0, 2*b + 214 = 3*g + 1436. Is 23 a factor of b?
False
Let s = 222 + -200. Suppose i - 154 = 5*z, 390 = 3*i + s*z - 19*z. Does 29 divide i?
False
Let s(f) = 319*f - 2887. Is 30 a factor of s(73)?
True
Suppose 5*u + 8 = 2*o + 4*u, -5*u = 0. Suppose 5*i + o*h = 295, -6*i = -4*i - h - 131. Is 9 a factor of i?
True
Suppose 161*k = 160*k + 133. Is ((-1)/(3/15))/((-7)/k) a multiple of 19?
True
Let o(j) = -4*j + 9*j + 57 + j**2 - 2*j. Let z be o(0). Suppose -5*c = -4*c - z. Does 16 divide c?
False
Let x(d) = -d**3 - 3*d**2 + 7*d - 7. Let r be x(-5). Suppose 0 = -5*f - 5*g - 25, g + 5 = -r*f + 6*f. Suppose f = -2*s - 3*s + 260. Is s a multiple of 16?
False
Let b = 1696 + -1281. Does 6 divide b?
False
Let c = 178 + -157. Suppose x = -4*t + 123, -2*x - 63 = -3*t + c. Is 15 a factor of t?
True
Let q be -3 - (-4)/(-8)*-8. Let w(o) = 3*o. Let y be w(q). Is (49*y/6)/(1/2) a multiple of 14?
False
Suppose -9*w - 1242 = -21087. Is w a multiple of 21?
True
Suppose 0 = -10*k + 34438 + 105663 - 26561. Is 93 a factor of k?
False
Suppose -m - 4 = 0, 3*j - 47704 - 54865 = 5*m. Is j a multiple of 103?
False
Suppose 4*l = -27*l + 695206. Does 12 divide l?
False
Suppose l + 1 - 4 = 0. Let y(n) = n + 6*n + n + 12 + l*n. Is 28 a factor of y(4)?
True
Suppose -4*v - 70 = 3*v. Let p(w) = -2*w**2 - 19*w + 10. Let y be p(v). Suppose -10*f + 9*f + 124 = y. Does 16 divide f?
False
Let s(j) = 5*j**2 - 7*j + 3. Suppose -7*w + 20 = -2*w. Let i be s(w). Is 13 a factor of (-22)/i*(-130)/4?
True
Let o(i) = i**3 + 11*i**2 - 12*i + 20. Let v be 16*(60/16)/(-5). Let h be o(v). Suppose 0 = 2*l - 76 - h. Is 8 a factor of l?
True
Let n = 35802 - 1401. Is 36 a factor of n?
False
Let y be (-5 + 17)*((-9)/12)/(-3). Suppose -4*s - y*t + 945 = -0*t, 4*t - 220 = -s. Does 30 divide s?
True
Suppose 13 + 7 = 2*i. Let l(p) = 23*p + 7*p**2 - i - p**3 - 17 + 12*p**2 + 15. Does 11 divide l(20)?
False
Suppose -2939 + 15224 = 27*q. Let j = q + -384. Is 14 a factor of j?
False
Let a be -2 + 4 + (7 + -13 - -312). Let n = -282 + a. Does 4 divide n?
False
Suppose 798517 = 101*k + 96*k + 205153. Is 9 a factor of k?
False
Suppose -2*j = -5*g - 37, 3*j = -j - 4*g + 32. Does 4 divide j/(330/(-5625))*8/(-3)?
True
Does 40 divide ((-170625)/(-260))/((-12)/(-112))?
False
Let k = 127 + -124. Suppose 5*d - h = 355, k*h - 2*h - 221 = -3*d. Let o = -8 + d. Does 4 divide o?
True
Suppose -725*r - 5 = -724*r. Let h(o) = -5*o**3 + 8*o**2 + 2*o - 1. Is h(r) a multiple of 12?
False
Let q(x) = 21*x**2 - 4*x - 1. Let j be q(1). Suppose -11*o - 5770 = -j*o. Does 70 divide o?
False
Suppose -12841 = -8*y + 14743. Is 20 a factor of y?
False
Suppose 2*n + 4*k - 13 = -1, -5*k = -10. Let a be n*(3 - 6)*(-4)/6. Suppose c = -a*g + 602, 4*c - 66 - 92 = -g. Is g a multiple of 15?
True
Let f = 22859 + -13333. Is 108 a factor of f?
False
Suppose 0 = -m - 1751 - 97. Let a = m + 3684. Is a a multiple of 108?
True
Suppose 0 = 172*d - 169*d - 15. Suppose d*s - 1371 = -4*y, -3*s = -y + 2*s + 374. Is y a multiple of 13?
False
Let k(r) be the first derivative of r**3/3 + 7*r**2/2 - 24*r + 18. Let z be k(-14). Let j = 309 - z. Is 47 a factor of j?
True
Let u be 165/12*((1 - 4) + -1). Let d = u - -327. Suppose 0 = -23*c + 25*c - d. Is c a multiple of 12?
False
Let n(b) = -260*b - 1078. Does 45 divide n(-11)?
False
Suppose 191306 = 115*b - 26*b - 281907. Is b a multiple of 31?
False
Let t(l) = 3*l**2 + 17*l + 4 + 6*l + 2. Suppose -19 = 12*s + s + 98. Is 14 a factor of t(s)?
True
Let u(j) = -j**3 - 16*j**2 - 14*j + 2. Let b be u(-14). Let f = b - -138. Let i = -1 - f. Does 11 divide i?
True
Let y = -46 - -50. Suppose 4*o - 30 = -4*a - 2, -y*a - 3*o + 25 = 0. Suppose a*n - 304 = 4*k, 2*k - 5*k = -4*n + 300. Does 12 divide n?
True
Suppose i - 11769 = -4*c, 40*c = 2*i + 35*c - 23551. Is i a multiple of 61?
True
Let v(d) be the first derivative of -d**4/4 + 4*d**3 + 7*d**2/2 - 10*d + 12. Let c be v(12). Does 14 divide 8*(-3)/(-3)*c/4?
False
Let c = 136 - 216. Let i = c + 78. Is 12 a factor of (-9 + i)*184/(-8)?
False
Let x(b) = -3*b**2 - 87*b - 12. Is x(-25) a multiple of 3?
True
Suppose -27*u + 3*u = -72. Suppose -t = y - 24, -u*t + 20 = y - 0*t. Is y a multiple of 13?
True
Let r be (-2)/(-6) - (-2)/3*-110. Let h = r - -77. Suppose -h*l + 433 = -143. Is 24 a factor of l?
True
Suppose -446*g - 1968648 = -710*g. Is g a multiple of 81?
False
Let j(l) = l**3 + 7*l**2 + 26*l + 1. Let v be j(-6). Let n = v - -290. Does 57 divide n?
True
Let q = -10274 + 48481. Does 30 divide q?
False
Let t = -51 + 53. Suppose 0 = -u - s - t*s + 2955, -2*u + 5883 = -3*s. Is 37 a factor of u/15 + 3*(-1)/(-5)?
False
Let b = 105 - 97. Suppose 0 = 5*a - b*a + 288. Is a a multiple of 41?
False
Suppose 827*k - 883*k = -901600. Is 25 a factor of k?
True
Let z be 37*26 + -4 + 1/1. Suppose 0 = 10*p - 3109 + z. Suppose -2*d - 4*m = -238, 803 - p = 5*d + 3*m. Is d a multiple of 13?
True
Let w = -24 + 17. Let c = 24 + w. Suppose -3*y = -125 + c. Is y a multiple of 21?
False
Let z = 322 + -316. Let g(y) = 3*y**2 + 5*y + 30. Is 15 a factor of g(z)?
False
Suppose -58*r + 231810 + 196114 = 0. Is r a multiple of 17?
True
Let i be 79/(-4) + (-17)/68. Let k(c) = -4*c + 15. Is k(i) a multiple of 32?
False
Let a = 31 + -28. Suppose 12 = -4*q, a*q + 5 + 4 = c. Is 15 a factor of c - (-4 - 476)/4?
True
Let a(t) be the second derivative of t**5/20 + 13*t**4/12 + t**3 + 3*t**2/2 + 10*t. Suppose 0 = -5*i + 5*n - 40, -2*i - 12 + 4 = -4*n. Does 40 divide a(i)?
False
Suppose 0 = -7*c + 16*c - 351. Let g = c - 22. Is (-8)/(32/(-10))*4*g a multiple of 11?
False
Let k be 0/2 + 2 + 1. Suppose 0 = 2*o - 2*w - 7 + 1, 2*o = -w + 12. Suppose -o*r - k*r = -768. Is 12 a factor of r?
True
Let j(y) be the second derivative of -23*y + 1/6*y**3 + 10*y**2 + 0. Is 26 a factor of j(6)?
True
Let g(c) = c**2 + 13*c + 17. Let m be g(-12). Suppose -2*t - m*t + 42 = 0. Suppose -3*b - 219 = -t*b. Is b a multiple of 15?
False
Suppose -5*v - 19885 = -5*u, v + 2*u = 4*u - 3972. Let d be v/(-8) - 2/(-24)*3. Let z = -293 + d. Does 21 divide z?
False
Let g(y) = -1182*y + 1588. Is g(-8) a multiple of 14?
False
Suppose -r - 48 = -4*z + 60, z - 12 = 4*r. Let g be (z/(-5))/((-95)/(-100) + -1). Suppose -4*q + g = -52. Is 21 a factor of q?
False
Suppose s - 5*q - 296 = 0, 0 = -4*s - s + 2*q + 1457. Let r = -6 - -12. Suppose 0 = r*m - 231 - s. Does 14 divide m?
False
Suppose 16*g - 38462 = -14142. Does 24 divide g?
False
Suppose -g - 16187 = -j, 0 = -j + 4*j + 2*g - 48591. Is j a multiple of 224?
False
Suppose -9*m + 16031 - 12465 = -44386. Is 111 a factor of m?
True
Suppose -3*y - 2*y - 5 = -5*s, 4*s + y - 29 = 0. Let f be (-9)/(-6)*16/s. Suppose f*j - 84 = 3*j. Is 14 a factor of j?
True
Suppose 2*v + r = 8, -3*v - 4*r + 5 = -6*r. Suppose -4*z = 12, -42 + 61 = h - 5*z. Does 10 divide (-54)/(v/(-6)*h)?
False
Let t(d) = 731*d**3 + 6*d**2 - d - 4. Is t(1) a multiple of 8?
False
Suppose 22*q - 4436 - 7092 = 0. Suppose -q = 11*k - 15*k. Is 18 a factor of k?
False
Let o(z) = -7*z - 6*z**2 - z**3 + 3*z**3 + 4 + 8*z + 14*z**2. Let j be o(-4). Suppose -2*t + 5*i = -j*t - 236, -3*t + 2*i = -354. Is t a multiple of 8?
False
Let r(p) = 3*p**2 + 27*p + 33. Let m(x) = -8*x**2 - 81*x - 97. Let q(u) = 4*m(u) + 11*r(u). Is 3 a factor of q(28)?
True
Let l(z) = -6 + 156*z**2 - 5 + 5*z - 153*z**2 - 3*z. Is 16 a factor of l(-8)?
False
Let s(h) = -1840*h + 15575. Is 324 a factor of s(-15)?
False
Let d(g) = g**2 + 19*g - 76. Let x be d(-23). Let y(c) = x*c + 0*c - 4 - c. Does 41 divide y(3)?
True
Let h be (-6554)/(-145) + 8/10. Is 14 a factor of (h/(-42) - 8/14)*-39?
False
Suppose 5*t - 148173 = -s - 26520, 3*t - 72985 = -4*s. Does 29 divide t?
True
Does 26 divide ((-25)/(-10))/(140/22008)?
False
Let s = 1957 + -1351. Suppose -4*p - 4*r = -646 - 574, 3*r - s = -2*p. Is p a multiple of 4?
False
Let z be -3 + 14/5 - 48/(-15). Suppose 0 = -2*f + z*x + 610, -f + 6*f = -5*x + 1500. Suppose 3*i + 3 = w - 83, 0 = -3*w - 2*i + f. Is w a multiple of 11