et l(d) = 2*d**3 + 4*d**2 + 5*d - 2. Let y be l(-3). Let a = -166 + 87. Let m = y - a. Is m a multiple of 11?
True
Let x(f) = 15*f**2 + f - 1. Let o be x(1). Let a(u) = -8 + 11*u**2 + 16*u**2 - 29*u**2 - o*u. Does 2 divide a(-6)?
True
Let p = 33019 - 23540. Is p a multiple of 50?
False
Let f be ((-146)/(-4))/((-22)/88) - -2. Does 14 divide (-12)/f - (-18262)/24?
False
Let i = -451 - -808. Does 16 divide 6/(6/18 + (-116)/i)?
False
Let a(i) = -7*i + 6. Let u be a(-3). Suppose 23 = 5*g - u. Is 9 a factor of (-3)/(15/g) + 74?
True
Let a be ((-2)/(-5))/((-2)/(-10)). Suppose 4*z + 6 = a*z. Let q = 15 - z. Is q a multiple of 4?
False
Let y = 2485 - 2460. Is 5 a factor of y?
True
Let i(g) = 47*g - 6. Let v be i(3). Let a = v + 24. Is 14 a factor of a?
False
Let g(x) = 7*x**3 + 25*x**2 - 9*x + 39. Is 147 a factor of g(8)?
False
Let f be (((-216)/42)/(-9))/(2/7). Suppose f*t - 737 = 1313. Is t a multiple of 25?
True
Let p = 13608 - 7697. Is 23 a factor of p?
True
Let k be (108/(-5) - (-6)/(-15))*-8. Let l = -82 + k. Is l a multiple of 47?
True
Let q(n) = 4*n**3 + 2*n - 2. Let c be q(1). Let m(y) = 2*y**3 + y**2 + 2*y + 4. Let s be m(c). Suppose 0 = 2*t - s. Does 13 divide t?
True
Let k(f) be the third derivative of f**4/4 - 5*f**3 + 1087*f**2. Suppose -4*b + 11 + 37 = 0. Does 7 divide k(b)?
True
Let i be (-4)/(-24)*32 - 8/6. Suppose -4*h = -12 - 0, -64 = -4*t + i*h. Suppose -t = -4*b + 209. Is 19 a factor of b?
True
Suppose s - 4*h - 18 = 0, 5*h + 18 = -s - 0*h. Let n = -120 - -160. Suppose s*c - n = -6. Is c a multiple of 17?
True
Suppose 3*x - 16 = k, -2*x - 2*k - 4 = -x. Let o = x + 38. Does 9 divide o?
False
Is (50/(-125) - 476/10)*-222 a multiple of 12?
True
Is (-21)/3 + (11453 - 102) a multiple of 16?
True
Let f(q) = -19*q - q**2 - 10*q - 17 + 18*q. Let y be f(-7). Suppose y = -t + 53. Is t a multiple of 9?
False
Let h(c) = 45 - 22 + c**3 + 4*c - 7*c**2 + 0. Let t be h(6). Suppose -355 = t*v - 16*v. Does 11 divide v?
False
Is 1155/110*(-1)/((-3)/11204) a multiple of 14?
True
Suppose 0 = -6*d + d + 945. Let x = d - 71. Suppose m - 79 = -2*m - k, 5*k = 4*m - x. Is m a multiple of 8?
False
Let q(l) = 187*l**2 + 5*l + 3. Let y be q(2). Suppose -5*d - 3*c = -1809, y = 3*d + 5*c - 334. Is d a multiple of 30?
True
Let m = -374 - -389. Suppose -5*q - m - 5 = 0, -2046 = -2*s + 4*q. Is s a multiple of 45?
False
Suppose 0 = 2*h + 2*k - 20, -3*k = -h + 7 + 3. Does 25 divide (-5)/h*3360/(-6)?
False
Let b = 140 - 135. Let f(i) = -b*i - 9*i - 2 + 8*i - 2*i**2 - 2*i**3. Is f(-4) a multiple of 36?
False
Suppose 399*v - 396*v = 14076. Is v a multiple of 92?
True
Suppose -4*g = -5*b + 10, -5*g + 10 = 4*b + 2. Suppose b*t - 7*t + 4*c + 8 = 0, c + 2 = 4*t. Does 5 divide ((-7)/(-3))/((-3)/(-27)) + t?
False
Let t(a) = a**3 + 15*a**2 - 29*a + 35. Let l be t(-17). Is 50/15*(-2 - (l - 0)) a multiple of 40?
True
Suppose -9*m = -5*w - 5*m - 6, 3*w - 18 = -3*m. Suppose -5*x - 1191 = -w*k - 157, -2*x - 2585 = -5*k. Is k a multiple of 43?
False
Suppose -6*q + 8*q = 2*w - 20300, -3*w = -2*q - 30455. Suppose -6*h - 2637 = -w. Does 26 divide h?
False
Suppose -96*u = -93*u - 1611. Let o = 754 - u. Does 31 divide o?
True
Let u = 90392 + -46572. Does 70 divide u?
True
Suppose 57*l - 1123677 + 207573 = 0. Is l a multiple of 7?
True
Let c(x) = -19*x - 32. Let g be c(12). Let k = g + 177. Let p = k + 143. Is p a multiple of 7?
False
Let k(a) be the second derivative of a**4/12 + 3*a**3/2 + 4*a**2 - 15*a. Let f be k(-6). Is 16 a factor of (4/f)/((-8)/1280)?
True
Let q(x) = -43*x**3 + 4*x**2 + 2*x - 7. Let s be (1/(-1))/((-7)/(-21)). Is 16 a factor of q(s)?
True
Let q = -8244 + 20396. Does 7 divide q?
True
Suppose 174 = -4*n + s, -2*s + 123 + 49 = -4*n. Let c be (-352)/44*((-11)/2 + -4). Let k = n + c. Does 4 divide k?
True
Suppose 3*j - 3*l - 24 = -0*j, -4*l = -2*j + 20. Suppose -33240 = j*k - 10*k. Is 13 a factor of 1 - 5/1 - k/(-30)?
True
Let u be 608/160 - (-1)/5. Suppose -17*o + 15*o = 2*v - 258, -4*o - 508 = -u*v. Is 16 a factor of v?
True
Suppose 2*b + 3*p + 15 = 0, 5*b = -p + 4*p + 15. Let f(z) = -2*z + 60. Let y be f(b). Suppose 5*m + 2*x - y = 0, m + 2*x + 36 = 4*m. Does 4 divide m?
True
Suppose 2*p = 5*p + 15, -5*g + 2*p + 600 = 0. Suppose -g = -10*z + 4612. Is z a multiple of 11?
True
Let a = 84383 - 55583. Is 72 a factor of a?
True
Let z(f) = -f**3 + f**2 + 8*f - 2. Let k be z(3). Let w be k/10 - (-792)/45. Let j(x) = x**3 - 19*x**2 + 27*x - 37. Does 18 divide j(w)?
False
Let k be -246*8/(-12) + 0. Let p be k - 4/(12/9). Suppose p = -10*r + 761. Does 19 divide r?
False
Let r be (10 - 6)/(-1 - -3). Suppose -r*n = 4*k - 696, 716 = 3*k - 5*n + 181. Is k a multiple of 29?
False
Let j = 69 + -66. Suppose 16 = 4*y, -4*r + 0*y + 20 = j*y. Is 3 - (1/r - (-141)/(-6)) a multiple of 11?
False
Let v = -6325 - -7654. Is 48 a factor of v?
False
Suppose 0 = 46*u - 4756 - 10060 - 193196. Does 14 divide u?
True
Let n = -1409 - -680. Let x = n - -1022. Let y = -132 + x. Is y a multiple of 20?
False
Suppose -3*c = -g + 6594, -g + 5*g - 3*c = 26430. Is g a multiple of 29?
True
Is ((4064/112)/(1*-1))/((-1)/77) a multiple of 45?
False
Let l(u) = u**3 + 11*u**2 - 59*u + 47. Is l(21) a multiple of 34?
True
Suppose 7*i = 1466 + 1033. Let v = i - -113. Is v a multiple of 10?
True
Let z(k) = -63*k**2 - 3*k + 1. Let l be z(1). Let h = l + 154. Let o = h + -27. Is 21 a factor of o?
False
Let h(s) = -2*s**2 - 12*s + 17. Let a(w) = -w**2 - 13*w + 16. Let z(g) = 3*a(g) - 2*h(g). Is z(18) a multiple of 4?
True
Suppose 237 = r - 302. Let b = r + -236. Suppose 3*d - 801 = -4*l - 240, 3*d + b = 2*l. Is 34 a factor of l?
False
Is 7*(1 + -922)*(7 - (-11 - -19)) a multiple of 161?
False
Suppose 0 = -2*b - 0*b - 8, 5*l = -2*b - 8. Suppose 2*c = 5*p + c - 2217, l = c + 2. Does 11 divide p?
False
Suppose 9*f - 28323 + 6588 = 0. Is 7 a factor of f?
True
Suppose -4*v - 7 = -19, z - 454 = -4*v. Let w = z - 403. Is w a multiple of 5?
False
Suppose -5*f + 2*t + 8166 = 0, 29*f - 27*f + 4*t - 3276 = 0. Is f a multiple of 43?
True
Let m(j) = -5*j**2 + 105*j - 28. Is 13 a factor of m(15)?
False
Let a = -188 + 290. Suppose a*p + 1104 = 105*p. Is 46 a factor of p?
True
Is 47 a factor of (3/((-33)/2) - 34755423/(-781)) + 8?
True
Let p = 5323 - -7303. Is p a multiple of 26?
False
Suppose -19 = -i - 15. Suppose i*n = -n + 25. Suppose -34 = -g - n*o + 114, -3*o - 615 = -4*g. Does 17 divide g?
True
Let t be (-3)/(-6)*(1 + 7). Suppose 4*z + 3*y - t*y = 11, 4*z + 5*y + 7 = 0. Suppose -z*c = -a - 0*a - 188, -4*a + 457 = 5*c. Does 31 divide c?
True
Let q(m) = m - 22. Let l be q(-6). Is 30 a factor of (-5872)/l + (-8)/(-28)?
True
Let f(r) = -13*r - 2. Let d(b) = -1. Suppose 0 = -3*q + 3*t - 3, -q - 5*t + 9 = -t. Let i(c) = q*f(c) + d(c). Is i(-2) a multiple of 9?
False
Let k be -3 - (2 + -3 - 7). Suppose 109 - 664 = -k*o. Suppose 3*p - d = o + 133, -92 = -p + 3*d. Does 8 divide p?
True
Let u(w) = -w**3 + 6*w**2 - 7*w + 2. Let o be u(5). Suppose 452 + 4188 = 16*a. Does 30 divide (a/o)/(6/(-24)*1)?
False
Does 10 divide ((-1)/3)/(-16 - (-679095)/42444)?
False
Let d = 7875 + -4455. Is 36 a factor of d?
True
Let n(m) be the third derivative of -m**5/60 - 5*m**4/4 + 8*m**3 + 2*m**2 - 426. Let q be (-89)/4 + (-1)/(-4). Is n(q) a multiple of 14?
True
Suppose 0 = -5*z - 4*w + 68, 4*w + 31 = z + 3. Let l = z - -28. Is 2 a factor of 414/22 + ((-124)/l - -3)?
False
Let x(q) = -26*q - 22. Let f(c) = 8*c + 7. Let k(i) = -8*f(i) - 3*x(i). Does 10 divide k(12)?
False
Let r = 4047 - 3054. Does 2 divide r?
False
Let s be 1/((-2415)/1209 + 2). Suppose 3*l - 8*l = -d + 212, -s = -2*d + 3*l. Suppose 2*g = d - 53. Is 18 a factor of g?
True
Suppose -3*i - 4*w + 10246 = 0, 4*w + 6652 = 3*i - 3634. Does 58 divide i?
True
Suppose 3*v - 237*x = -238*x + 7618, 5072 = 2*v - 6*x. Does 54 divide v?
False
Suppose -5*j - 1999 = 5*i + 1396, j + 659 = 4*i. Let u = 1467 + j. Is 44 a factor of u?
True
Let g = 10 - -27. Let x = -33 + g. Suppose x*n - 143 = -23. Is 30 a factor of n?
True
Suppose 0 + 32 = 4*b. Suppose b*q + 10 = 50. Suppose 0 = q*u + 2*w - 239, 4*w = -u + 2*w + 43. Does 13 divide u?
False
Let z(r) = r**3 - 5*r**2 + 2*r + 9. Let b be z(6). Let v = -88 + 124. Let l = b - v. Does 8 divide l?
False
Suppose -b = 27 - 29. Suppose l = -4*i + 221, -3*i - 3*l + b 