factor of 14/v + 662/3?
False
Suppose 5*y - 1068 + 1024 = -4*u, -4*y - 4*u + 40 = 0. Let h(d) = 11*d**2 - 4*d**2 - 1 - 3*d + 0*d**3 - d**3. Is h(y) a multiple of 6?
False
Suppose 11*q - 29 = 15. Suppose 2*x = -3*g - 0*g + 663, -3*x + 2*g + 988 = 0. Suppose -q*n + 8 + 12 = 0, 5*u + 2*n = x. Is u a multiple of 8?
True
Let z(m) = -107*m**3 - 31*m**2 - 143*m - 21. Is z(-4) a multiple of 8?
False
Let s(q) = q - 9. Let m be s(12). Let b be 51/4 - m/4. Does 7 divide (-2)/b - (-242)/12?
False
Suppose -25*f - 3712 = -54*f. Suppose -1084 + f = -2*n. Does 16 divide n?
False
Let h = 88 + -90. Let z be h/(-6)*(-7)/(28/(-72)). Suppose z*l - 12*l + 246 = 0. Is l a multiple of 5?
False
Let v = 4506 - 11034. Let g = v - -13535. Is 36 a factor of 2/6 - g/(-39)?
True
Let a(o) be the second derivative of -22*o**3/3 + 7*o**2/2 - 3*o. Let q be a(-2). Suppose i = 6*i - 5*f - 110, 5*i - q = 2*f. Is i a multiple of 6?
False
Suppose 4*n - 5*t + 0*t + 3 = 0, -2*n + 1 = -3*t. Let x be (n + 0)/1 + 4 + -1. Does 8 divide (382/(-3) - 4)*6/x?
False
Let i(a) = 77*a + 437. Let g(v) = -26*v - 145. Let x(p) = -8*g(p) - 3*i(p). Does 8 divide x(-33)?
True
Let s(m) be the third derivative of -29*m**4/24 + m**3/2 - 17*m**2. Is 47 a factor of s(-5)?
False
Let r = 3810 - 8945. Is ((-42)/10)/(39/r) a multiple of 10?
False
Let q(z) = 415*z**3 + 3*z**2 - z - 2. Suppose 9*h - 10*h - v + 2 = 0, -h - 1 = -2*v. Does 11 divide q(h)?
False
Let g = 3824 + -1296. Is g a multiple of 79?
True
Let d be (-1)/((12/280)/(-8 + -1)). Suppose -4*u - d = -3*w, -3*w + 5*u + 213 = 2*u. Does 8 divide w?
False
Suppose 16*p = 21*p - 3*t - 70469, 4*p + 6*t = 56308. Is p a multiple of 7?
False
Suppose 26 + 142 = 14*q. Suppose q*b + 178 = 1522. Is 9 a factor of b?
False
Let w = 28 + -65. Let b = w + 42. Suppose -c = -f + 178, b*f - 8*f - 3*c = -516. Is 11 a factor of f?
False
Let n(i) = i**2 - 10*i + 58. Let f(c) = 4*c**2 + 49*c - 29. Let j be f(-13). Does 4 divide n(j)?
False
Let w(n) = 8*n + 1. Let v(s) = -7*s. Let k(p) = 4*v(p) + 3*w(p). Let r be k(-1). Suppose r*l = 437 - 73. Does 26 divide l?
True
Let d be 87*(1 + 16/(-24)). Suppose d*s - 34784 = -9554. Does 30 divide s?
True
Let w(g) = -273*g + 6461. Is w(4) even?
False
Let s(b) = 188*b + 1152. Does 8 divide s(-6)?
True
Suppose -i = -4*i - 33. Suppose -34*t + 25*t + 657 = 0. Let y = t - i. Does 28 divide y?
True
Let q(y) = 3*y + 97. Suppose -2*w - 2*i = -22, 6*w = 7*w + 3*i - 7. Is 8 a factor of q(w)?
True
Let a(z) be the third derivative of 0*z**5 + 0*z - 1/24*z**4 + 14*z**3 + 1/120*z**6 + 9*z**2 + 0. Is a(0) a multiple of 12?
True
Let d(t) = 13*t**3 + 3*t**2 + 40*t - 9. Does 8 divide d(6)?
False
Let x(j) be the third derivative of 3*j**8/140 + j**5/120 - 11*j**4/12 + 8*j**2. Let c(d) be the second derivative of x(d). Is c(1) a multiple of 29?
True
Let n = -156 + 159. Suppose 3*l = 5*y - 744, -438 = -n*y + l + 6. Is 21 a factor of y?
True
Suppose -38*q - 20*q + 10904 = 0. Let g(n) = 2*n - 7. Let u be g(-11). Let p = q - u. Is 24 a factor of p?
False
Let g(p) be the third derivative of -p**5/60 + p**4/8 + 6*p**3 - 115*p**2. Is g(0) a multiple of 4?
True
Let c(p) = 148*p - 40. Let d be c(2). Let s = d - -50. Does 6 divide s?
True
Let t(b) = -b + 1. Let c(r) = 52*r - 20. Let g(l) = c(l) + 20*t(l). Let a be g(3). Suppose 0 = 2*k + 26 - a. Is 8 a factor of k?
False
Suppose 3 = -5*b - 4*s - 4, -4*b + 4*s = -16. Let f(n) = 336*n + 4. Is 15 a factor of f(b)?
False
Let a = -185 - -187. Suppose 0 = a*o, 5*o + 29 = -2*n + 645. Is 23 a factor of n?
False
Let u be 3/(2/(76*4)). Let k be ((-174)/(-116))/(22/(-28) + 1). Suppose 0 = -k*y - y + u. Is y a multiple of 19?
True
Let v be 1976/78 + (-4)/(-6). Is 13 a factor of 11*(15/(-6) + 3)*v?
True
Does 26 divide (9/(180/2608))/(3/195)?
True
Suppose 26*x - 5 = 21*x. Let y(j) = -46*j**3 - j**2 - 3*j + 4. Let i be y(x). Let n = i - -98. Is n a multiple of 4?
True
Let b(d) be the second derivative of -d**3 - 13*d**2/2 - 21*d. Let c be b(-3). Suppose -2*v = -5 - c, -a = -5*v + 13. Is a a multiple of 4?
True
Suppose 2*x + c + 5 = 0, 4*x + 7 = -c + 2*c. Let y be x/(-4) - 4/((-32)/532). Suppose -5*i + 347 - y = 0. Is 7 a factor of i?
True
Is ((2 - 4)/(-14 - -12))/((-5)/(-9785)) a multiple of 251?
False
Let q(n) = 6*n**2 - 3*n + 4. Let i = 23 - 20. Let h be (-91)/(-21) - i/9. Does 11 divide q(h)?
True
Let r(p) = 9*p**2 + 423*p - 642. Is r(-89) a multiple of 100?
True
Suppose 0 = -2*n + 4*j - 3*j + 13, n - 2*j - 14 = 0. Suppose -y + 245 = 5*h, -n*h + 13*y = 9*y - 172. Is h a multiple of 48?
True
Let u(g) = -g**3 + 11*g**2 + 113*g + 31. Does 24 divide u(16)?
False
Let m(s) = 15*s + 242. Let f be m(-16). Let z be (-2)/(-1) - (2 + 0). Suppose f*i + z*r - 81 = r, -i + 5*r = -54. Is 23 a factor of i?
False
Let a = 392 + -948. Is (-3)/(-3) + 4 + a/(-2) a multiple of 36?
False
Let g = 40090 + -17626. Is 104 a factor of g?
True
Let r = 84 + 136. Suppose -y - 4*y + r = 0. Is y a multiple of 4?
True
Let q(d) = 153*d**2 + 41*d + 176. Does 26 divide q(-5)?
True
Let l be 2/(-1 + (-6013)/(-6020)). Let f = -1108 - l. Is f a multiple of 36?
True
Let t(v) be the first derivative of 53*v**3/3 - 27*v**2 - 206*v + 266. Does 36 divide t(-4)?
False
Let g = -224 + 2028. Is g a multiple of 44?
True
Suppose 84 = -22*g + 260. Suppose 0 = g*u - 2*u - 5508. Is u a multiple of 51?
True
Let w(v) = -6*v + 321. Suppose 7*k = 15*k - 3*k. Does 7 divide w(k)?
False
Let v be -3 + (68*-1)/(-2). Let x(z) = z**3 - 31*z**2 - 29*z - 37. Let w be x(v). Let k = 1341 + w. Is 45 a factor of k?
True
Suppose 0 = -4*n + 4*m + 1244, -18*n + 15*n - 2*m = -918. Is n a multiple of 14?
True
Let l(y) = -2*y**3 - 26*y**2 - 278*y - 18. Is l(-18) a multiple of 7?
False
Is (121345/(-21) - -3)/((-2)/3) a multiple of 17?
False
Let v = -155 + 156. Does 37 divide (-37)/(-2*v/18)?
True
Let d(r) be the first derivative of r**4/4 - 4*r**3/3 - 10*r**2 + 6*r - 11. Let q be d(8). Suppose -40 = -u + q. Is 33 a factor of u?
False
Let o = 12156 - 11131. Is o even?
False
Let w = 243 - 206. Let p = w + 23. Is p a multiple of 5?
True
Let w = -62729 - -44379. Let u be 2*(-3)/21 - w/35. Suppose -u = -3*r - s, -1 = r + 2*s - 179. Is r a multiple of 28?
False
Suppose -4*x + 2*q + 45 = 17, 4*q = x - 14. Suppose 13*s - 15*s = -x. Suppose -2*l - 234 = -s*y - y, 5*y - 285 = 5*l. Does 20 divide y?
True
Let a = 37 - 554. Let f = a - -1212. Is 16 a factor of f?
False
Let l(w) = 3*w**2 - w - 15 + 5 + 0*w**2 + 6*w. Let m be l(-7). Suppose m - 252 = -3*y. Is y a multiple of 25?
True
Let z(q) = 57*q**2 - q + 1. Let g be z(2). Let l = 521 - g. Does 12 divide l?
False
Suppose 0 = -107*x + 178*x - 95779. Does 19 divide x?
True
Is 77 a factor of (-11 - -12)/(1/1875)?
False
Is 4 a factor of ((-8)/(-16))/(-2 - 10*41252/(-206256))?
False
Let k(d) be the third derivative of 13*d**5/60 + 7*d**4/12 + 4*d**3/3 + 31*d**2. Is 16 a factor of k(4)?
True
Let c(p) = 4*p - 8. Let v be c(12). Suppose 3*g - 2*g = 31. Let s = v - g. Does 5 divide s?
False
Suppose 3*j + 5 = 3*i - 5*i, -4*i + 4*j = 0. Let c be ((-174)/8)/(i/4). Let w = 125 - c. Does 19 divide w?
True
Let t(m) = 2*m**2 - 17*m + 8. Let d be t(8). Suppose -2*y - 5*o + 277 = d, -519 = -4*y - 8*o + 5*o. Is 9 a factor of y?
True
Suppose 4*d + 3*u = 17142 - 2448, 2*d - 2*u = 7354. Does 15 divide d?
True
Is ((-108)/(-126))/((-18)/(-236712)) a multiple of 13?
False
Let k = -71 + 77. Suppose -1281 = -3*u + s, -4*u + k*u = -2*s + 862. Is u a multiple of 21?
False
Let z(r) = 2*r - 52. Let j be z(26). Let d(y) = 11*y + 257. Is d(j) a multiple of 8?
False
Suppose 0 = -5*j - 3*y + 5 + 2, -22 = 2*j - 5*y. Let v(f) = -15*f**3 + f**2 - 4*f - 6. Is v(j) a multiple of 6?
False
Let y be -1099 + 2/(2/9). Let h = 1606 + y. Is 71 a factor of h?
False
Suppose -2*w - 274 = -296. Is 83 + w/((-33)/(-21)) a multiple of 9?
True
Suppose -2*f - 2*r - 2542 = -3*f, 0 = -f - r + 2542. Is f a multiple of 41?
True
Suppose -2*o + 62 = 152. Let d = o - -45. Suppose -3*g + 106 = v, d*g + 80 = 2*g - 4*v. Is 9 a factor of g?
True
Let c(p) = 6*p**2 + 50*p**3 + 86*p - 44*p + 39*p**3 + 2 - 51*p. Is c(2) a multiple of 30?
True
Suppose -3*d + 2*c + 2663 - 965 = 0, 0 = -3*d + c + 1698. Suppose 2*l + 3*v = -2*v + 349, -3*l + v + d = 0. Is 27 a factor of l?
False
Let j be 4*3/4 + -10 + 940. Let a = -773 + j. Is 15 a facto