ltiple of 8?
True
Let q(t) be the third derivative of 44*t**2 + 0*t**3 + 0 + 0*t + 11/3*t**4. Is q(1) a multiple of 11?
True
Let q be (48 - 50) + (-10)/(-2). Is ((-1)/2)/(1/(-570)*q) a multiple of 50?
False
Suppose -7*c = -14*c + 2940. Suppose -4*n + 4*z - 447 = -2127, -n + c = 3*z. Is 34 a factor of n?
False
Suppose 0 = 1487*s - 1489*s + 3*o + 2866, -s + 5*o = -1426. Is 64 a factor of s?
False
Suppose 167 = -r - 5*l, -r + 9*l - 4*l = 177. Let j = 246 + r. Suppose -38 = -3*s - 4*n, s + j = 6*s - 4*n. Is s a multiple of 3?
False
Let t = 12 - 9. Suppose -t*n = -n - 8. Suppose 2*z - 4*a = 100, -z = -2*z + n*a + 60. Does 7 divide z?
False
Suppose 3*s + 2*s - a = 14, 4*s = -2*a. Let z be s + -6 - (-12 - -8). Suppose b = -z*b + 3*f + 62, -5*b + 334 = -3*f. Is b a multiple of 24?
False
Let f be 1 + (-1587)/(-8 + 5). Suppose 0 = -3*o + o - 4*m + f, 3*o - 839 = 5*m. Is 39 a factor of o?
True
Suppose 0 = -16*c + 4*g - 4409 + 54821, g = 3*c - 9452. Is 28 a factor of c?
False
Suppose 612 = 17*n - 765. Let f = 194 + n. Is f a multiple of 34?
False
Suppose a - 6 = -a. Suppose -5*r - 7 = a*j, 0 = j + 4*r - 2*r + 1. Is 9 a factor of j/4*(-67 + -1)?
True
Let o = 39 + -34. Let b be -8 + o - (0 + -64). Let u = 4 + b. Does 13 divide u?
True
Suppose 20*n = 35*n - 37440. Does 39 divide n?
True
Let k be -4 + 5 + 6 + 33. Suppose p - 100 = k. Is p a multiple of 3?
False
Let p = 76 + -71. Suppose 0 = -p*h + 25, -2*h + h + 1541 = s. Suppose -o + s = 11*o. Does 22 divide o?
False
Let u = -57 - -49. Let f be 59/3 - (-2)/(-3). Is 19 a factor of u/(-12)*3*f?
True
Suppose 7*f = 18*f - 11528. Suppose 10*j = f + 852. Does 19 divide j?
True
Let l = 8586 + -17746. Does 18 divide l/(-24) - 1/(-3)?
False
Let h = -14771 + 15357. Does 7 divide h?
False
Let o(w) be the third derivative of -w**5/60 + 17*w**4/24 - 11*w**3/6 + 28*w**2. Is 5 a factor of o(10)?
False
Let t(o) = 4*o + 116. Let l = 205 - 230. Does 5 divide t(l)?
False
Let f be (-5)/(-3)*(7 + 8). Let k = -24 + f. Let y(a) = 22*a + 3. Is y(k) a multiple of 25?
True
Let r(n) be the second derivative of 811*n**4/12 + 5*n**3/3 - 11*n**2/2 + 49*n - 2. Does 18 divide r(1)?
True
Suppose 8*k = 31 + 17. Suppose -2*l = -k*z + 2*z - 80, 123 = 3*l - 3*z. Is 7 a factor of l?
True
Let d(b) = 2*b**3 - 7*b**2 + 6*b - 1. Let c be d(4). Let q be (3/2)/(c/1066). Let o = q - 29. Does 2 divide o?
True
Suppose 2 - 7 = -q. Suppose 0*b = -k + 3*b + 237, -1211 = -q*k + 2*b. Is 9 a factor of k?
True
Let r = 17068 + -8961. Is r a multiple of 11?
True
Let o = -259 + 256. Does 13 divide (-261)/(-58)*o/(9/(-26))?
True
Suppose 67*h - 57*h = 0. Suppose h = 5*u - 31*u + 14300. Is u a multiple of 10?
True
Suppose 265*i - 257*i = 5656. Suppose -i = 12*k - 17819. Is 46 a factor of k?
True
Suppose -2*n + 10*c + 3230 = 5*c, 0 = 5*c + 10. Suppose -89*g + 79*g = -n. Is g a multiple of 9?
False
Let g be (-6)/(-4)*(-72)/27. Does 3 divide (-9)/(-18)*(-32)/g?
False
Let j be -1 + (-2)/(-4)*1*16. Suppose -j*t + 81 = 508. Let a = 21 - t. Does 41 divide a?
True
Let n = 526 + -524. Suppose -z + n = 0, 0 = 4*a - 5*a + 2*z + 863. Is a a multiple of 17?
True
Let p be -3 - ((-2)/11 - 1190/110). Let t(c) = c**3 - 6*c**2 - 4*c + 6. Let u be t(7). Let o = p + u. Does 5 divide o?
True
Let g = 263 + -259. Suppose -g*o - 1603 = -3*s, 4*o + 68 = 76. Does 75 divide s?
False
Let s(m) = m**2 + 7*m + 20. Let x be ((-12)/18)/(2/129). Let b = x + 36. Is s(b) a multiple of 10?
True
Let d = 6 + -4. Let k be 6/8 + d + (-5763)/(-12). Is 11 a factor of (-2 - (-20)/6)*k/14?
False
Let t(u) = -u**2 - 10*u - 16. Let j(c) = -8*c + 16. Let s be j(3). Let v be t(s). Does 27 divide (-3 + v + 161)/2?
False
Suppose q + 116 = d - 21, -5*d = -4*q - 546. Is 300/(-175)*(-1 + q) a multiple of 3?
True
Suppose 6264 + 4775 = z - 2*r, 2*z - 3*r = 22075. Is z a multiple of 9?
False
Let t be 1/(-3)*-2 + (-161)/(-69). Suppose 3*o - 5*b = 11, 3*b = -2*o + t*o - 5. Does 16 divide ((-301)/14)/(o/(-16))?
False
Let l(c) = 5*c**3 + 8*c**2 - c + 132. Is l(8) a multiple of 47?
True
Suppose b - 37 = -k + 2*b, 3*b + 45 = k. Suppose k*t + 1160 = 43*t. Does 46 divide t?
False
Suppose 387*s - 285338 + 1148606 = 12096330. Is 12 a factor of s?
False
Let k = 30 + -29. Let c(a) = 13*a + 1. Let d be c(k). Suppose 24 = x + 5*q - d, -x - 3*q + 38 = 0. Does 12 divide x?
False
Let o be (-20)/(-6) - (-40)/60. Suppose 0 = -0*s + s + o*j - 186, 0 = 4*s - 2*j - 654. Does 40 divide s?
False
Suppose 1214124 = -170*p + 5532294. Does 28 divide p?
False
Let u = 20 + -15. Suppose r = u, 1 - 25 = -3*a - 3*r. Suppose -5*t + 340 = 5*w, 3*w - a*t - 130 = 50. Is w a multiple of 32?
True
Let h(k) be the third derivative of 59*k**5/60 + 7*k**4/24 - 10*k**3/3 - 2*k**2 - 68. Is 10 a factor of h(2)?
True
Let n = -19237 - -27850. Is 99 a factor of n?
True
Let o = -24 - -26. Suppose 0*q - 192 = -o*q. Let d = q - 37. Is d a multiple of 19?
False
Suppose 1365*h - 1360*h = 3*x + 29325, -2*h + 11716 = -4*x. Is 14 a factor of h?
False
Let j be (30/5)/(4/((-40)/(-15))). Suppose -2*n + 5*a + 2103 = 0, -2*n + j*a - 283 + 2385 = 0. Does 74 divide n?
False
Let h be (-1 - -7)*-8*(-6)/96. Suppose 1 = -x + 6, -h*i + 5*x = 13. Is (i/3)/(1/(216/6)) a multiple of 16?
True
Suppose 5*d - 163 + 3 = 0. Suppose 0 = 3*f + 41 - d. Does 7 divide 3/(f/2) + 128 + 1?
False
Let u be (-33 + 32)/((-1)/(-647)). Let k = -395 - u. Is 7 a factor of k?
True
Let v be ((-15)/(-10))/(-3)*10. Let n be -1*(2445/3)/v. Let k = n - 97. Is k a multiple of 22?
True
Let u = -244 + 1264. Suppose 806 = 4*w - x - x, 5*w - 5*x - u = 0. Is w a multiple of 22?
False
Let l(y) = y**3 - 3 + 32*y - 7*y**2 - 11 - 2 - 48*y. Let v be l(9). Suppose -2*h = -3*w + 300, -v*w + 3*h + 13 = -182. Does 11 divide w?
False
Suppose 5*i + 44 = 2*w, 3*i = -5*w + 6*i + 91. Let g = -225 - -362. Let o = g - w. Is 12 a factor of o?
True
Let b = -249 + 252. Suppose 2*d - 76 = 3*k - 1283, -b = -3*d. Does 13 divide k?
True
Suppose 0 = -5*u + 2*f - 17 + 324, -130 = -2*u - f. Suppose u = -4*v + 103. Suppose -1281 = -v*c - 291. Is 33 a factor of c?
True
Let p(k) = 51*k**2 - k - 10. Does 70 divide p(7)?
False
Let p = 6115 + -3599. Does 37 divide p?
True
Is 10 a factor of (-28)/35 - (-5312358)/135?
True
Suppose -2185*u + 2179*u + 30 = 0. Suppose 0*y - y = -4*i - 1486, -5*y + u*i + 7370 = 0. Is 42 a factor of y?
True
Suppose -5*p + 5*i + 3082 = -3773, 3*i + 6857 = 5*p. Suppose -673 = -d - 3*k, 5*d + 5*k - 1943 - p = 0. Is d a multiple of 44?
False
Let l = -3351 + 8015. Is l a multiple of 8?
True
Let m = 180 - 135. Suppose k - 212 = -m. Is k a multiple of 10?
False
Let y = -12 + 30. Does 3 divide (y*-1)/((-3)/7)?
True
Let l be 2/10 + 1116/45. Suppose 5*f - l = x, -3*x - 78 = -4*f - 14. Is 2 a factor of ((-12)/9)/(x/75)?
False
Let p(n) = 31*n + 1250. Is 7 a factor of p(68)?
False
Let l(k) be the first derivative of 8*k**3/3 + 3*k**2/2 + 10*k - 8. Let n be l(4). Suppose -n + 874 = 4*c. Is 19 a factor of c?
False
Suppose 134*w - 3*s = 131*w + 123573, 3*w = -s + 123585. Is 89 a factor of w?
False
Does 2 divide (4 - 17/5) + (-139840)/(-100)?
False
Let q(u) = -18*u**3 + 7*u**2 + 39*u + 36. Is q(-4) a multiple of 4?
True
Let g be ((-6)/8)/(9/(-24)). Let w be 9/g*264/(-9). Does 6 divide w/(-77)*(-21)/(-2)?
True
Let s(o) = 13*o + 9. Let i be s(5). Let g = 82 - i. Is 5 a factor of g?
False
Suppose 23*a + 3 = 26. Let r(y) = 171*y**3 - 2*y**2 + 2*y. Is r(a) a multiple of 19?
True
Let r(z) = -z**2 + 26*z - 54. Let u be r(22). Let y(w) = 7*w**2 + 19*w + 5 - 5*w**2 - u*w. Is y(9) a multiple of 8?
True
Let b(l) = -507*l - 1397. Is 95 a factor of b(-11)?
True
Let s(o) be the second derivative of o**4/6 - 25*o**3/6 - 189*o**2/2 + 2*o - 7. Is s(-6) even?
False
Let q = 225 + -225. Suppose 5*x + 1073 = 7*x - 3*r, 3*x + 4*r - 1584 = q. Is x a multiple of 17?
False
Suppose -5*r = 2*v - 31, -4*v - r = -3*v - 11. Suppose -6*n = 3*m - v*n - 941, 2*n - 319 = -m. Does 35 divide m?
True
Let y be (-1)/(1*5/(-15)). Suppose y = -2*s + 2*f + 1, -2*s = -f + 5. Let v(b) = -3*b**3 - 6*b**2 - 5*b - 12. Does 11 divide v(s)?
False
Does 12 divide (1 + -1 + 2345)*18/45?
False
Let j(c) = c + 13. Suppose 25 + 8 = -3*x. Let k be j(x). Suppose -y = -3*y + 3*t + 40, k*y = t + 40. Is y a multiple of 3?
False
Let n(y) = -35*y - 170. Let o(p) = p + 9. Let a(f) = -n(f) - 4*o(f). Is a(0) 