et p = -35 - -36. Let m(g) = 41*g + 7. Does 12 divide m(p)?
True
Let o = 124 + -109. Suppose 0 = 3*p - 3*a - 573, 18*p + 5*a = o*p + 605. Is p a multiple of 13?
True
Suppose -4*p - 4*n + 2360 = 0, 1747 = 3*p - n - 15. Is p a multiple of 49?
True
Suppose 4*f - 3*f = 8. Suppose 0 = -2*j - f + 42. Is j a multiple of 13?
False
Let i = 3 - 2. Let k = -33 - -51. Is k + (i - 2) + -2 a multiple of 11?
False
Let w(y) = -y - 3*y**2 - y**2 + 5*y**2 - 11*y + 14. Let u be w(16). Let x = u + -34. Is 11 a factor of x?
True
Is 5 a factor of 993/18 + -1*(-4)/(-24)?
True
Let a be ((-30)/(-9))/((-12)/(-18)). Suppose f - 5*s - 107 = 0, -4*f - 28 + 356 = a*s. Is f a multiple of 29?
True
Suppose 3*d - 65 = h + 104, h + 53 = d. Suppose 2*v + 2*n - 206 = 0, 0 = -4*v - 3*n - d + 465. Let j = v - 54. Is 10 a factor of j?
False
Suppose 0*n - n + 4 = 0. Suppose 0 = -4*o + 5*g + 223, 2*o - 5*g = n*o - 149. Does 31 divide o?
True
Let l(o) = -4*o**3 - 2*o**2 - 2*o - 1. Let x be l(-1). Suppose 3*a - 113 = -2*a - 4*y, 2*a + x*y = 48. Does 21 divide a?
True
Suppose 12*v - 18*v + 18 = 0. Is 25 a factor of 34*(v/(-1) + 154/28)?
False
Suppose -4*d - 5*s = 33, -2*d = 2*s - 4*s - 6. Let j(i) = -8*i**3 + i**2 + 3*i + 4. Is 11 a factor of j(d)?
True
Let w = 981 + 171. Does 48 divide w?
True
Suppose -25*r = -18*r - 581. Is 27 a factor of r?
False
Let c(x) = -4*x**2 + 3*x - 6. Let m(u) = -2*u**2 + u - 3. Let h(v) = -3*c(v) + 5*m(v). Let p be h(2). Suppose -4*g = -p*g - 10. Does 2 divide g?
True
Let i be -7 - -10 - 1*-2. Suppose -i*g - 2*a + 248 = 0, -3*g + 0*a = 2*a - 148. Does 9 divide 3*(0 - g/(-6))?
False
Let z(d) be the second derivative of -d**3/6 + d**2/2 + 5*d. Let l(s) = -5*s - 9. Let a(w) = l(w) + 2*z(w). Is 15 a factor of a(-5)?
False
Let d be 5/10*38*3. Suppose -60*o + d*o = -540. Is o a multiple of 25?
False
Suppose 5*w + 0*w = 0. Suppose 4*l - 11 - 9 = w. Suppose 4 = -l*b - 6, -2*u + 3*b + 34 = 0. Is u a multiple of 7?
True
Let h = 400 + 969. Is 23 a factor of h?
False
Let t be (-2)/(-4*(-3)/54). Let u = 9 + t. Suppose u = -0*m + 2*m - 60. Is m a multiple of 6?
True
Let p(r) be the third derivative of r**5/30 - r**4/12 + 11*r**3/6 - 16*r**2. Is p(-4) a multiple of 17?
True
Suppose 5*v + 0*v - 50 = 5*j, 2*v - 31 = 3*j. Let g(o) = o**3 + 13*o**2 + 9*o - 17. Does 63 divide g(j)?
True
Suppose 5*v + 4*x - 73 = 0, 0*x = -v + 5*x + 32. Suppose v*y - 1085 = 10*y. Does 20 divide y?
False
Let d(z) = z**3 - 1. Let a(o) = 6*o**3 - o**2 + 20. Let p(i) = -a(i) + 5*d(i). Let c be p(0). Let m = c - -42. Is 13 a factor of m?
False
Is 51 a factor of (-3642)/(-2)*7/21?
False
Let d = -64 - -39. Let n(u) = 2*u**3 - 18*u**2 + 19*u. Let y be n(6). Does 6 divide 10/d + y/(-5)?
False
Let y(r) = r + 1. Let q be y(3). Suppose 0*z = -q*z - 4. Is 16/(-4) - (-10 - z) a multiple of 2?
False
Suppose -2023 = -5*b + d, -3*b + 379 = 2*d - 827. Is b a multiple of 6?
False
Suppose 36 = 3*a - a. Suppose b + 106 = 109. Suppose 0*q - b*q = -a. Is q even?
True
Let c(j) = j**3 - 5*j**2 - 2*j + 7. Let y be c(5). Let s be ((-2)/(-5))/(y/15). Does 22 divide (s - 0) + 2*29?
False
Suppose -8*n + 1421 = 269. Is 6 a factor of n?
True
Suppose -2*q = 5*q - 868. Suppose s + 319 = 9*u - 4*u, 2*u - 4*s - q = 0. Does 9 divide u?
False
Let c(z) = 19*z - 12. Is 16 a factor of c(2)?
False
Let a(q) = q + 18. Suppose 2*m + 3*i - 22 = 5*i, -3*m - 3*i + 9 = 0. Is 3 a factor of a(m)?
False
Suppose 7*y - 8*y + 3 = 0. Is 14 a factor of 0 - (y - 0 - 73)?
True
Suppose -156 = -106*y + 102*y. Let v = y + -6. Is v a multiple of 4?
False
Suppose 1333 + 1259 = 24*f. Does 9 divide f?
True
Let s = 15 - 11. Suppose -s*i + 206 = 5*n, 5*n + 0*n + 280 = 5*i. Is 6 a factor of i?
True
Let r(j) = 11*j. Let d be r(1). Suppose 2*f - 16 = -10. Suppose -40 = -4*k + x, 5*k - f*x - 46 = d. Does 9 divide k?
True
Suppose 5*z + 120*a - 122*a - 3151 = 0, -3*z + 2*a + 1893 = 0. Is 17 a factor of z?
True
Let a(c) = -10*c + 2. Let g be a(-6). Let t = g - 37. Suppose -79 - t = -2*f + 2*s, -s + 203 = 4*f. Does 20 divide f?
False
Suppose 0*i + 16*i - 1360 = 0. Is i a multiple of 4?
False
Suppose -25 = -3*q - 4. Let u(n) = 7*n + 1. Is 10 a factor of u(q)?
True
Let l = -48 - -52. Suppose -5*s = -3*o - 171, -l*s + 83 + 49 = -4*o. Is s a multiple of 4?
True
Let m(c) = 5*c - 7*c - 2*c**2 + 0*c + 1. Let q be m(3). Let n = 1 - q. Is n a multiple of 12?
True
Suppose -4*w - 5*q + 996 = 0, -6*w + q = 5*q - 1494. Does 3 divide w?
True
Suppose -2955 = -u - 3*q, -5*u + 2741 = -2*q - 11983. Is u a multiple of 74?
False
Let p(k) = -13*k + 9. Let a be p(-7). Let h(u) = -u**2 + 7*u - 4. Let l be h(6). Suppose -4*z + 3*z + 38 = l*q, 2*z - 2*q - a = 0. Is 10 a factor of z?
False
Suppose 2*o + 3*s - 5089 = 0, -17*o = -22*o + s + 12765. Is 71 a factor of o?
False
Let m be (-3)/6 - 537/6. Let y = -40 - m. Does 42 divide y?
False
Let q be (-42)/70*10/(-2). Suppose 27 + 57 = q*f. Does 7 divide f?
True
Let y(i) = 9*i + 12. Let w be (11/4 - 2)*4. Let j be -4 + (10 - w) + 3. Is 11 a factor of y(j)?
True
Let j = -13 + 12. Let s = j - -3. Suppose 3*p - 51 = s*p. Is 17 a factor of p?
True
Let j = 29 + -32. Is 6 a factor of 44 + 4 + j - (5 - 2)?
True
Let d(i) = -22*i - 2. Suppose 3*l + 3*f = 4*l + 9, 4*l + 5*f + 19 = 0. Is 13 a factor of d(l)?
True
Suppose -3*h - 13 + 1 = 0, -14 = 2*n + 5*h. Suppose -3 = -x + n. Suppose -267 = -x*m + 189. Is m a multiple of 22?
False
Is 4 a factor of (-36)/(-54) + (-2451)/(-9)?
False
Let b = 10 - 7. Let z(r) = r**2 - 31*r + 24. Let x be z(0). Does 13 divide (-2 - x)*(-6)/b?
True
Let t be 7*(1 + 2)*3. Let j be t/14 - (-3)/2. Suppose -2*z = -j, 5*x + z = 3*z + 164. Is 13 a factor of x?
False
Let k = 0 + -1. Let x = 38 - k. Suppose -x = 4*f - 111. Is f a multiple of 6?
True
Suppose 66*a - 63*a = 144. Is 3 a factor of a?
True
Suppose -3*z + 10 = 2*z. Suppose -53 = z*o + 167. Let r = -50 - o. Is 20 a factor of r?
True
Let b be 1*(3 + 3 - 2). Let y = b - -7. Does 11 divide y?
True
Suppose -22 = -g + 25. Let x = g + -39. Is x a multiple of 4?
True
Let v be 6 + (-9)/6*2. Let f = 12 - 7. Suppose 0 = -4*u + 4*m + 84, v*u + u - 83 = f*m. Does 9 divide u?
False
Let l = 1116 + -588. Is l a multiple of 24?
True
Let k(u) = 8*u - 26. Let x be k(5). Is (35/10)/(1/x) a multiple of 16?
False
Suppose -28 + 10 = -3*d. Let w(f) be the second derivative of f**5/20 - 5*f**4/12 - 7*f**3/6 + 9*f**2/2 + f. Is w(d) even?
False
Suppose -4*o = -x - 7, 20 = 2*o + 3*o. Let t(i) = i**2 - 7*i + 17. Is 11 a factor of t(x)?
False
Let k(y) be the second derivative of -3*y**3 + 15*y**2 + 3*y. Does 10 divide k(-10)?
True
Is (-3)/(1779/198 + -7 + -2) a multiple of 9?
True
Let x(t) = -4*t + 1 - 2 - 4. Suppose -5*m = 27 - 12. Is x(m) a multiple of 6?
False
Let i(o) = 174*o - 126. Is 16 a factor of i(9)?
True
Suppose 2*c + 0*c + 314 = -3*x, -x = 5*c + 83. Let h = 178 + x. Suppose h = 3*v + f, 0 = -7*f + 3*f + 4. Is v a multiple of 22?
False
Suppose -2*a + 135 = 7*a. Is a a multiple of 3?
True
Suppose 19 = -p - 5*v, -4*p + 2*p = -3*v - 27. Suppose 0*y - 3*y + p = 0. Is 30*(y - 6/4) a multiple of 15?
True
Let d(u) = 53*u**2 - 27*u - 194. Does 81 divide d(-7)?
True
Let z(b) = 2*b - 13. Let m be z(7). Is 17 a factor of m + (-1 - -154) + (0 - -3)?
False
Suppose 8*v - 5*v + 1098 = q, 4*v = 4. Is q a multiple of 30?
False
Let k(a) = a**3 - 8*a**2 - 7*a - 13. Let r be k(9). Let p(l) = l**3 - l**2 + l - 1. Is p(r) a multiple of 26?
True
Let r(m) = -3*m**2 + 2*m + 4. Suppose 0 = 3*k - 0*k + 33. Let n(y) = 15*y**2 - 10*y - 21. Let h(g) = k*r(g) - 2*n(g). Is h(3) a multiple of 10?
False
Let d be 2 + (3*105 - 1). Let n = d + -190. Does 40 divide n?
False
Let w(a) = -9*a**3 - 2*a**2 + 4*a + 7. Is w(-3) a multiple of 10?
True
Let r = 42 + -38. Suppose r*k = 2*h - 281 - 11, 4*h - 4*k - 592 = 0. Does 50 divide h?
True
Suppose -5*x + 9*x = 16. Suppose -x*u + 8 = 3*h - 105, 5*h - 193 = -2*u. Is 13 a factor of h?
True
Let g(l) = -5*l - 6. Let s be g(6). Let w be -1*(s + 9/(-3)). Suppose 6*f - w = 21. Is f a multiple of 10?
True
Let u = 288 - -304. Is u a multiple of 40?
False
Let t be -2 + 1/((-2)/(-8)). Suppose -d + 4*w - 9 = 0, -3*d - w = t*d + 45. Let m(j) = j**2 + 10*j + 13. Is 2 a factor of m(d)?
True
Let y(a) = -222*a + 31. Is y(-2) a multiple of 19?
True
Let g = -47 + 50. Suppose g*d + 2*d - 180 = 0. Does 4 divide 