a factor of s?
False
Let g(n) = n**2 + 4*n + 13. Let j = -15 + 25. Let b be g(j). Is 30 a factor of 10/2 + (b - -8)?
False
Let z = -1479 - -1539. Is 2 a factor of z?
True
Let j = 16 - -447. Let y = 823 - j. Is 11 a factor of y?
False
Suppose -177 = -2*a - m, -2*a + m = -174 - 1. Let r = 309 - a. Is r a multiple of 13?
True
Suppose 3*d + 0*d - 4461 = 0. Suppose -3*x = -m - d, -73*x - 1982 = -77*x + m. Is 11 a factor of x?
True
Let s = 118 - 113. Let c(h) = h**3 - 11*h**2 + 17*h + 11. Let f be c(9). Suppose 0*x + x - 44 = s*l, -88 = -f*x - 5*l. Does 4 divide x?
True
Let l = -311 + 311. Suppose l*j - 19968 = -32*j. Is j a multiple of 48?
True
Suppose m - 101 + 83 = 0. Let c = 363 - m. Is 5 a factor of c?
True
Suppose 0 = 21*p + 28*p - 52*p + 1392. Is p a multiple of 25?
False
Let r = 845 - 377. Suppose 4*q - 3*a = -a + 930, 2*q - 4*a = r. Is 19 a factor of q?
False
Suppose -4*t = n + 2*n - 59, t + 60 = 5*n. Suppose -n = 4*r - 125. Is r a multiple of 3?
False
Let u = -342 - -347. Suppose -u*c + 4*w - 2*w = -1204, -w = 2. Does 40 divide c?
True
Let s be (6/(-15))/(18/45). Does 15 divide 114 - s - 6/10*5?
False
Let v(c) = -5*c**3 - 2*c**2 - 8*c - 39. Does 4 divide v(-4)?
False
Let k be (-48)/36 + 26/6. Suppose -3*w - 3*f = -171, -2*f - 12 = 2*f. Suppose b - k*b - 4*t = -w, 0 = 4*b + t - 99. Does 7 divide b?
False
Does 19 divide 782 + ((1 - -1) + 3 - 8)?
True
Let p be 390/54 + -2*(-2)/(-18). Suppose p*t = 8*t - 187. Let f = 262 - t. Does 20 divide f?
False
Let h(m) = 3*m - 39*m**2 + 21*m**2 + 20*m**2 - 5. Let f be h(5). Let i = 95 - f. Is i a multiple of 13?
False
Suppose 4*x = -3*a - 2861 + 560, -x = 3*a + 2301. Let q = a - -1081. Does 49 divide q?
False
Suppose m = -4*w - 13, -4*w = -2*m + 6*m + 4. Suppose -3*s = -o + 181, -m*o - s + 198 = -305. Suppose 4*l = -5*n + 697, -l + o = n - 5*n. Is l a multiple of 22?
False
Let k = -28 - -45. Let v(b) be the first derivative of 3*b**2 - 30*b - 45. Does 7 divide v(k)?
False
Suppose -54*u + 21453 = -105987. Suppose -4*x - 2950 = -9*x - 3*t, u = 4*x + 4*t. Does 84 divide x?
False
Suppose 39*v - 6696 = 21*v. Let j = v - 330. Is 6 a factor of j?
True
Let s(j) = -1087*j**3 - 7*j**2 + 11*j - 4. Let b(l) = 543*l**3 + 4*l**2 - 6*l + 2. Let o(h) = -5*b(h) - 3*s(h). Is 13 a factor of o(1)?
True
Suppose 0 = -12*o + 925 - 313. Let v be (-58 - -1)*o/(-9)*1. Suppose 0 = -4*n - a + 271, -3*n + 8*n - 4*a - v = 0. Is n a multiple of 7?
False
Let n = 6725 - -12092. Is n a multiple of 107?
False
Let v(y) = 2*y**2 + y + 1. Let s be v(-1). Let m(w) = -3*w**3 + 2*w**2 + w - 1. Let b be m(s). Is 7 a factor of (b/4)/(3/(-36))?
False
Let b be -7 - -3 - 24/(-6). Is 5 a factor of 6 - -92 - (1 + 1 + b)?
False
Suppose 8*n = 5*n + 3. Let z(m) = 2*m**2 - 2*m + 2. Let g be z(n). Suppose 2*l + 12 = g*a + 5*l, -5*l + 28 = 4*a. Does 12 divide a?
True
Let n be 25 - (-5 - (-16)/4). Suppose n - 28 = -b. Suppose -3*p + 24 = b*g - 85, -4*p + 208 = 4*g. Is g a multiple of 13?
False
Let l be (3 - (-7)/(-2))*14. Is 15 a factor of (-2986)/l + 180/420?
False
Let b be 6*(204/(-63) - (-15)/(-35)). Does 9 divide (-4)/(-22) - (3 + 3318/b)?
False
Let c = -6555 - -7848. Is c a multiple of 3?
True
Suppose 143 = -5*a + 16*a. Let p(n) = -n**3 + 14*n**2 - n - 29. Is 5 a factor of p(a)?
False
Suppose 3*z = -9, 3*o - 4*z = -2195 + 299. Let k = -428 - o. Is 26 a factor of k?
True
Suppose 2*x - 3940 = -5*d + 3493, -3*d + 4451 = -x. Suppose 9*y = d + 2547. Does 14 divide y?
True
Let y be (-9)/3 - (2 + 0 + -5). Is (696/28 - y) + 1/7 even?
False
Suppose 264 = b + 2*n, 8*b - 3*b - 1356 = -n. Suppose 4*c = -2*p + 576, -c + b = p - 3*c. Is p a multiple of 35?
True
Let h = -30470 - -32403. Does 2 divide h?
False
Let h(p) = 15*p - 32. Let s be h(5). Suppose 0 = 3*v - 46 + s. Is 23 a factor of 1*(-2 + v) - -93?
True
Suppose -2*j = -g + 2586, -g = 5*j - 834 + 7306. Let c be (-15)/10 + j/(-4). Let b = c - 227. Is b a multiple of 19?
True
Let s(y) = 21*y**2 + 282*y + 12. Does 30 divide s(6)?
True
Let p = 30 - 24. Suppose -b = p*b - 112. Suppose -1312 = -b*x + 8*x. Is 47 a factor of x?
False
Is 4 a factor of -4*((-93)/12 + 9) + (1937 - 0)?
True
Let g = -190 + 180. Let k = g - -354. Does 14 divide k?
False
Suppose 76*u - 60290 - 775634 = 0. Is u a multiple of 6?
False
Let h be -5 - -86*(-235)/(-10). Suppose o = -o - n + 2016, -2*o = -4*n - h. Suppose -12*a - 6*a = -o. Is 12 a factor of a?
False
Let z = 7510 + -3860. Is z a multiple of 10?
True
Suppose -v + 82 = 5*u - 5*v, 58 = 3*u + 2*v. Let p = u - 5. Let b(i) = i**3 - 11*i**2 - 17*i + 6. Does 18 divide b(p)?
False
Suppose 511*a + 4*k = 508*a + 2222, 0 = 4*a + 3*k - 2972. Is 36 a factor of a?
False
Is ((-39)/27*(-49 + 1))/(32/1392) a multiple of 2?
True
Let u = -50734 - -97853. Does 294 divide u?
False
Let m = -46 + 90. Suppose 0 = 2*f + 5*s - m - 36, 4 = 2*s. Is 7/f + 774/5 a multiple of 31?
True
Let s(u) = 30*u + 876. Is s(38) a multiple of 126?
True
Does 54 divide ((-7852)/104)/((-3)/108)?
False
Suppose -7*h + 223 - 272 = 0. Let w = 2 - -2. Is 13 a factor of (182/w)/h*-10?
True
Suppose 5*r = -k + 21, 0 = k - 0*k - 3*r + 3. Suppose -126 = -4*i + k*i. Let f = 123 + i. Is 10 a factor of f?
True
Let q(n) = 186*n - 1085. Is 2 a factor of q(9)?
False
Is 55445/10 - (-35)/14 a multiple of 13?
False
Suppose -66*f + 70*f - 1036 = 0. Suppose f = 9*l - 686. Does 21 divide l?
True
Suppose 429*z - 177030 = 415*z. Is z a multiple of 45?
True
Suppose -2*p + 2105 = 5*b, 78*p = 4*b + 77*p - 1697. Does 47 divide b/(-141) - (-89*9 + -1)?
True
Suppose 0 = 15*t - 3153 - 7257. Does 3 divide t?
False
Suppose -1130*p = -1155*p + 200. Suppose 5*k - 48 = 3*k. Is 5 a factor of (-33)/p + 4 - (-555)/k?
False
Let s = -67 + 135. Let o = s - 55. Suppose o*n + 135 = 22*n. Is n a multiple of 2?
False
Suppose -5*a + 99 = -241. Let d be 78/(-3) + (-212)/53. Let n = a + d. Does 9 divide n?
False
Let m(b) = b**3 - b**2 + b + 1143. Let f be m(0). Suppose w = 1268 - f. Does 4 divide w?
False
Suppose -2*a - 362 = -366. Is (1 - 4) + 18*18 + a a multiple of 15?
False
Suppose 21 = 34*h - 27*h. Is (h + -13 + 3)*-6 a multiple of 2?
True
Is 112 a factor of 32*(799 + 56/(-7))?
True
Let c(h) = 13*h + 4. Let p(n) = -n**3 - 9*n**2 + 5*n + 9. Let y be p(-9). Let g = y + 38. Is c(g) a multiple of 15?
True
Suppose 2*q - 8 = 0, -4*v - 2*q = 3*q - 8. Does 10 divide v*10/75 + (-814)/(-10)?
False
Suppose -2*y - 2 = -0. Let o be (3*35/(-60))/(y/4). Suppose -31*b = -30*b - o. Is b a multiple of 3?
False
Suppose -3*c + 6*r - 3*r - 595740 = 0, -r = -5*c - 992916. Does 11 divide c/(-200) - -4*3/150?
False
Let y be (-1)/(18/4) - (-184)/18. Suppose -k - 326 = -3*a, -5*a - k - 546 = -y*a. Does 25 divide a?
False
Let l be (-4 - 7 - -54) + -11. Let s = -10 - 280. Does 37 divide s/(-8) - (-1)/(l/24)?
True
Is 78 a factor of (-3 + 120/(-16))*(-4 - 39640/35)?
True
Let b be ((-3)/(-12)*1410)/((-1)/(-2)). Let j(z) = z**3 - z**2 + 1. Let g be j(2). Suppose -g*i + 5*c = -b, 2*i - c + 6*c = 275. Does 20 divide i?
True
Let b(x) = 862*x**2 - x + 2. Let z be b(1). Suppose -z = -7*t + 257. Suppose h = 41 + t. Is 42 a factor of h?
False
Is 65 a factor of (-4)/18 - (12/(-4) - (-125195)/(-63))?
False
Suppose -9*y = 13*y - 45936. Does 24 divide y?
True
Does 53 divide 1/((-3)/8) + (-1982530)/(-402)?
True
Suppose -5*t - 10 = 0, -5*d - 42*t + 45048 = -41*t. Does 53 divide d?
True
Let m be (-2)/(-3)*69/(-46). Is 25 + -1 - (m + 1) a multiple of 4?
True
Let f = 6 - -284. Is 3 a factor of -3*(f + 14)*1/(-6)?
False
Let r(z) be the second derivative of z**4/4 + 10*z**3/3 + 15*z**2/2 + 7*z. Does 11 divide r(-8)?
False
Let h = 3032 - 675. Does 47 divide h?
False
Suppose 5*h - 9200 = 5*q, 3*h + 3*q + 123 = 5619. Does 18 divide h?
True
Let f be (-8)/24*(2 + 1). Let b be f/(4/(-824)) - -4. Suppose 2*d = 8*d - b. Is 11 a factor of d?
False
Suppose -2*b = 4*q - 70, -3*b - 158 = -7*b + q. Let k = -46 + b. Let h(z) = -z**3 - 6*z**2 - 11*z - 11. Is 17 a factor of h(k)?
False
Let k(m) = 160*m + 136. Let f be k(-28). Is 3 a factor of (-20)/50 + (f/15)/(-4)?
True
Let o be (53157/58)/(2 + 13/(-8)). Suppose 8684 = 12*b + o. Is b a multiple of 13?
True
Suppose -2*m + 4*f = 6*f - 14, 2*f = -m + 6. Suppose 5*g - m*g - 5736 = 0. Is 53 a factor of g/(-18) + (-26)/117?
True
Suppose -8 = -5*h - 8. Let a be (-650)/5*(h - 1). Does 13 d