1. Suppose 0*f = -4*f + 484. Let j = f - p. Does 38 divide j?
True
Let z(s) = 54*s + 3. Let q be z(5). Suppose 4*j + 576 = 2*u, 32*j + q = u + 27*j. Is u a multiple of 12?
False
Let a be ((-7)/3)/((369/1134)/(-41)). Let s = 404 - a. Is s a multiple of 23?
False
Let n = -3968 + 5568. Suppose -4*s - i + 3320 = 0, 4*s - 4*i - n - 1700 = 0. Is s a multiple of 72?
False
Suppose 5*m - 13 = 3*s + 30, -4*s - 38 = 3*m. Is 4 a factor of (1 - (s - -5))*4?
True
Let q = 28736 - 19002. Is 62 a factor of q?
True
Let l = -43 + 34. Let f = l - 15. Let d = f - -42. Does 18 divide d?
True
Suppose 20 = -c + 5*d, c = 3*c - d + 13. Let x be -15*(-2)/6*4/c. Let l(q) = 9*q**2 + q - 4. Does 25 divide l(x)?
False
Suppose -4*u - 1362 - 908 = 3*g, 3*g = -2*u - 2278. Let b = 1392 + g. Is b a multiple of 11?
False
Suppose -1377 + 1365 = -2*q. Suppose 3867 - 267 = q*y. Is y a multiple of 30?
True
Is 16 a factor of (-6042)/(-48)*83 + ((-36)/(-32))/3?
True
Suppose u = 3*s + 23, -2*u + 7*s + 41 = 2*s. Let r be ((-240)/9)/u*3. Is (204/r)/((-2)/5) a multiple of 11?
False
Let x be (21/(-2))/((-9)/132). Let o(r) = -r**3 + 25*r**2 + 10*r - 314. Let d be o(25). Let p = d + x. Is 18 a factor of p?
True
Let u = 12269 + -7925. Suppose -u = 99*z - 111*z. Is 5 a factor of z?
False
Let t = -116 + 111. Let q be (-3)/(-5) - (-2018)/t - 2. Let n = -251 - q. Is n a multiple of 22?
True
Let p(i) = -i**3 + 3*i**2 + i + 1. Let h be p(3). Suppose -342 = -4*c + 2*f, -15*c + h*f + 162 = -13*c. Is 3 a factor of c?
True
Suppose 37527 = 33*l - 13029. Is 132 a factor of l?
False
Suppose -4869 = -12*u + 1429 + 1214. Is 21 a factor of u?
False
Let q = -92 - -114. Let a be 9390/q - (-6)/33. Suppose 4*i + 0*v + 3*v = 347, 5*i - 3*v = a. Does 6 divide i?
False
Let h(y) = -y**3 + y + 5. Let p be h(0). Suppose 4*c = -5 + p. Suppose c - 3 = 3*n, 0 = -3*b - n + 59. Is b a multiple of 10?
True
Let g(m) = 2*m**2 - 22*m + 23. Suppose -2*t = 2*t + 2*p - 18, -5*p = 4*t - 15. Suppose 3*v = 5*d - 64, t*v - 12 = -3*d + 6. Does 3 divide g(d)?
False
Suppose -18*k - 1191120 = -79*k + k. Does 14 divide k?
True
Suppose 4*s + x + 228 = -0*s, s = 5*x - 36. Let f = s + 57. Let n(a) = 288*a**2 - 1. Does 41 divide n(f)?
True
Suppose -b - v - 50 = 0, -3*v = -2*b - b - 156. Let o = b + 53. Is 3 a factor of 14 - -3*o/(-3)?
True
Let o = 568 - 307. Let z = o + -161. Is 20 a factor of z?
True
Let p = 2163 - -6769. Is 4 a factor of p?
True
Let k(w) = -5731*w + 2636. Does 90 divide k(-4)?
True
Let s = 81 - 72. Suppose 4*i = 3*h + 654, s*i - 6*i + 4*h = 478. Is 18 a factor of i?
True
Suppose -138*u + 49621 = -29729. Is u a multiple of 8?
False
Suppose -17*o - 16 = -13*o, 50822 = 5*a + 2*o. Is 72 a factor of a?
False
Suppose -2*w - 110 = -5*v, -4*v = -w - 9*v - 70. Let i = -53 - w. Suppose i*h = 589 + 139. Does 13 divide h?
True
Let m be 39 + (0 - -2 - -2). Let t = m + -51. Does 11 divide 4 + 0 + 37 + t?
True
Let y be 6 - (-3 + 7 + -10). Suppose -177 = -4*g - 2*m + m, 4*m = -y. Does 5 divide g?
True
Let w(k) = k**2 - 4*k - 9. Let h be w(6). Let p(o) = o - h*o**2 - 5 + 21*o**2 + 9*o**2. Is p(2) a multiple of 21?
True
Suppose -15*h - 35*h + 59040 = 18340. Is 21 a factor of h?
False
Suppose -4296 = -7*t + 996. Does 54 divide t?
True
Let x = -19529 + 41948. Is x a multiple of 9?
True
Let w = 10 - 2. Let l be (8/w)/((-1)/3). Is 4 a factor of (231/(-28))/(l/8)?
False
Suppose 2*g + 0*r = 3*r + 29, 5*g - 2*r - 45 = 0. Suppose -g*t + 8 = -5*t. Suppose -24 = -t*b + 96. Is 30 a factor of b?
True
Suppose 0 = y - 88 - 7. Suppose 2*f - 4*v + 6*v + 72 = 0, -4*f - 149 = 3*v. Let n = f + y. Is n a multiple of 24?
False
Let j(f) = -19*f**2 + 116*f - 13. Let w be j(6). Is 19 a factor of 1254 + 0/10*(w + 0)?
True
Let p(f) = -f**3 + 7*f**2 + 18*f - 12. Let k be p(10). Let i = -37 - k. Suppose 0 = 2*a + o - i, -3*a + o = 3*o - 145. Is 9 a factor of a?
True
Is 15 a factor of 1/(-2) - (-6 + 40184/(-16))?
False
Suppose 9*h - 16 = 5*h. Suppose 3*x = -2*b + 10, -h*x - 10 = -0*x - 2*b. Does 21 divide 31 - 1*(x - 2)?
False
Suppose -3*l = -11 + 14. Let d = l + -17. Let n = d + 94. Does 19 divide n?
True
Suppose 5*a = -2*w + 9867 + 84129, w = 3*a - 56391. Is a a multiple of 13?
True
Let t(h) = h**2 - 8*h + 67. Let c be t(8). Suppose -3*z + c = 4*a, 2*a - 6*z - 53 = -z. Is a a multiple of 3?
False
Let m = -2663 + 3163. Is 50 a factor of m?
True
Is 2 a factor of 12 + (-933 + 6)/(-1)?
False
Let i = -81 - -107. Let j(y) = -14 + 24*y - 8 + i. Does 28 divide j(1)?
True
Suppose -3*v + 6*v + 423 = 0. Let t(g) = 935*g - 1921. Let q be t(2). Let i = q - v. Is 15 a factor of i?
True
Suppose 0 = 86*k - 84*k + 2. Let m be 1 + (k - 2) - (-9 + -6). Suppose j + m*j - 378 = 0. Is j a multiple of 27?
True
Let z(l) = -4*l - 2. Let a be z(0). Let m be (50/4 - -1)*(-24)/a. Let s = m + -107. Does 8 divide s?
False
Let v(u) = 6*u - 1. Let c(o) = -o - 1. Let w(b) = 3*c(b) + v(b). Let r be w(4). Does 12 divide ((-34)/8)/((-2)/r)?
False
Let t be 1*2*((-172)/(-8) - -6). Let y = t + -53. Suppose -3*o + 28 = -y*o. Is o a multiple of 14?
True
Suppose 123*y = 271*y - 1911420. Is 58 a factor of y?
False
Let f(s) = s**2 - 48*s + 252. Is f(62) a multiple of 20?
True
Suppose 0 = 12*l - 59 - 25. Suppose -1512 = -11*c + l*c. Does 14 divide c?
True
Let n(z) = 11*z**2 - 32*z - 88. Let h be n(-17). Suppose -11*u - 467 = -h. Is 72 a factor of u?
True
Let b = 24 + -22. Suppose -3*u + i = 10, b*u + 16 = -2*u + 2*i. Is 111 + u + 1*(-5 - -1) a multiple of 35?
True
Let v be (-5)/(-30) + 4 + (-1317)/18. Let p = v - -160. Is 14 a factor of p?
False
Suppose 3*c = -2*c. Suppose 4*y - 18 - 14 = c. Suppose 4*d - y = 124. Is 10 a factor of d?
False
Let g(f) = -f**3 - 2*f**2 - 4*f - 7. Let u be g(-5). Let d = u - 100. Does 28 divide (3/(-2))/(d/672)?
True
Let p be ((-36)/(-30))/(3*1/10). Suppose 4*z + p*o = 268, -6*o + 2 = -7*o. Suppose -z - 91 = -2*g. Does 20 divide g?
True
Let u = -271 + 273. Suppose 5*l + 20 = 0, 2*j - u*l + 346 = 5*j. Is 9 a factor of j?
False
Let g(d) = 19*d**2 + 51*d - 6. Let c(z) = 39*z**2 + 100*z - 14. Let t(p) = -4*c(p) + 10*g(p). Does 56 divide t(-6)?
True
Let p(r) = -41*r**3 + r. Let i be p(1). Let f = i + 39. Does 7 divide -1 + 53 + (1 - f/1)?
False
Suppose 0 = -11*h + 2 - 35. Is 15 a factor of h/(-9)*(843 - -3)?
False
Suppose -1 = -w - 4*s - 23, -4*s - 14 = -3*w. Let d(k) = 3*k**3 - k**2 - k - 1. Let t be d(w). Is ((-306)/t)/(4/54) a multiple of 23?
False
Suppose -b + 138720 = 39*b. Is b a multiple of 68?
True
Let u be (4 - 3 - -37) + -1. Let d be (8/(-20))/((-3)/15). Suppose 0 = d*f + 3*y + 8 - 31, 3*f - u = -5*y. Does 4 divide f?
True
Let n be 17958/30 - (-3)/(-5). Let j = 1084 - n. Is j a multiple of 18?
True
Let f(z) = -9*z + 48. Let o be f(6). Does 5 divide (2 - (-2)/o*12) + 32?
True
Suppose 615 = -10*f - 255. Let d = f - -106. Does 3 divide d?
False
Suppose 38*m = 1507 + 11489. Does 24 divide m?
False
Suppose -320*n = -323*n - 4*i + 8389, 0 = -4*n - 4*i + 11184. Is 17 a factor of n?
False
Suppose -3*v = 3*n - 3870, v = 2*n + 98 + 1204. Is 12 a factor of v?
False
Let o(s) = 1. Let i(q) = q**2 + 9*q + 10. Let d(g) = -i(g) - 5*o(g). Let h be d(-6). Suppose -56 - 250 = -h*x. Is 17 a factor of x?
True
Let p(k) = k + 25. Let a be p(-23). Suppose -4*l - 10*d = -6*d - 764, -a*d = 5*l - 958. Does 11 divide l?
False
Let p = 7214 + -2764. Is 25 a factor of p?
True
Let f(r) = 46*r - 138. Let x be f(3). Suppose -62*v - 711 + 20179 = x. Is v a multiple of 11?
False
Let w(l) = 1045*l + 82. Is w(9) a multiple of 53?
True
Let j(p) = 50*p**3 - 1. Let m be j(-1). Let z = m + 158. Let b = z + -23. Is 21 a factor of b?
True
Let h be 2/4 + 1 - (-12)/24. Let v be (-236)/(-1) + (4 + h - 9). Let o = v - 33. Is 18 a factor of o?
False
Suppose -2005 = -7*x + 36040. Suppose 5*a - 4393 = -4*p, 0 = -5*p + 6*a - a + x. Is p a multiple of 26?
True
Let h(g) = 3*g**2 - 9*g + 24. Suppose 0 = 48*b - 44*b - 32. Is 24 a factor of h(b)?
True
Suppose -21483 = 35*s - 44*s. Is s a multiple of 31?
True
Suppose -4*f + 35 = -9*f. Let z(p) be the third derivative of -p**6/120 - p**5/15 + 17*p**4/24 + p**3/6 - 17*p**2. Is 7 a factor of z(f)?
False
Let s(q) = q**3 + 26*q**2 - 29*q + 55. Let g be (-2 + 3)/(((-16)/(-54))/(-8)). Let h be s(g). Let u = -76 + h. Does 9 divide u?
False
Let p = -24 - -25. Let l be p/(-4) - 11074/56. Le