25 divide u?
False
Let r(f) = 2*f**2 - 9*f + 5. Let n be r(4). Let k(j) be the first derivative of 41*j**3/3 + 3*j**2/2 - 2*j - 3. Does 14 divide k(n)?
True
Let p(i) = -2*i + 28. Let q be p(12). Suppose -q*x + 3924 = 14*x. Is 11 a factor of x?
False
Let k = 1987 - 965. Is k a multiple of 37?
False
Suppose 0 = -7*o + 3*o. Let h(w) = w**2 + 2*w - 2. Let v be h(o). Let p(j) = -29*j + 5. Does 13 divide p(v)?
False
Suppose 3*a + 2 = 4*h + 10, -2*a + 17 = -5*h. Does 9 divide 12/(-3) - h - -26?
True
Let f = 5 + -5. Suppose -4*c - 57 + 197 = f. Is 18 a factor of c?
False
Let t = 15 + -11. Let j = -6 + t. Is ((-2)/(-4))/(j/(-148)) a multiple of 19?
False
Let k be 195/(-3) + (-5)/5. Let r = 68 + k. Is r a multiple of 2?
True
Let k(a) = 49*a - 15. Let q be k(9). Suppose -18 - q = -3*v. Is 33 a factor of v?
False
Let j = 801 + -619. Is 13 a factor of j?
True
Suppose 3*c - 5*n + 6 = 0, -2*n - 3*n = -4*c - 3. Suppose -24 = -w - 2*l, c*w = -w - 5*l + 102. Is 14 a factor of w?
True
Suppose 0 = 4*f - 7*f - 2*n - 6, 3*n = 2*f - 9. Suppose -3*b - 3*x + 51 = f, -5*b - x = -3*x - 50. Is 6 a factor of b?
True
Let w = 17 - 9. Suppose 2 = 2*f - w. Suppose -f*g + l + 258 = -0*g, -3*g + 5*l + 146 = 0. Is g a multiple of 14?
False
Let y be 2/(-4) + 75/30. Suppose 0 = -y*t + 6 - 2. Is (-1 - -2)/(t/48) a multiple of 8?
True
Let a(p) = -p**2 - 14*p + 6. Let i be a(-11). Let x be (-1)/(3 - i/12). Suppose 3*t = -u - x*u + 85, u - 17 = -3*t. Is u a multiple of 5?
False
Suppose -q + 192 = 3*j - 0*j, 80 = j - 5*q. Does 7 divide j?
False
Let v(b) = -246*b + 99. Is 31 a factor of v(-3)?
True
Suppose -2*o + 7*o - 140 = 0. Let x = o - 27. Does 12 divide -3*x + (3 - -53)?
False
Let m be 85/((0 + -4)/(-4)). Suppose -4*d + m + 96 = 3*a, -d = 5*a - 24. Is d a multiple of 49?
True
Let j be 2 + -4 + (-15)/(-5). Let i be 413 + (j - -2) + 0. Is i/14 - (-20)/70 a multiple of 10?
True
Suppose -25*x = -17*x - 2112. Does 6 divide x?
True
Let c = 51 - 29. Does 3 divide c?
False
Let g = -33 - -19. Let z = 24 + g. Suppose z = 4*y - 6. Does 2 divide y?
True
Suppose 0*w + 54 = 2*w. Suppose -4 = 2*g - 84. Suppose -26*d - g = -w*d. Is 20 a factor of d?
True
Let a(v) be the third derivative of -11*v**4/24 + v**3 + v**2. Let n be 2 + -3 + -5*(-18)/(-45). Is a(n) a multiple of 13?
True
Suppose 0 = -2*l - l + 93. Let v = -142 + 219. Suppose -r = 2*h - 188 + l, -h = -r - v. Does 24 divide h?
False
Is (7 + -4 + -6)*-73 a multiple of 73?
True
Let m = 13 + -19. Let o be m/8 - (-283)/4. Suppose -4*y - y = -o. Is 7 a factor of y?
True
Let l(w) = w**2 + 4*w - 5. Suppose 2*v + 5*x - 9 = -0*v, -4*v = 4*x. Let y be 2 - v - (2 + -4). Is 24 a factor of l(y)?
True
Let v(w) = 108*w**3 - 3*w**2 - 2*w + 2. Let k be v(2). Suppose -k = -r - 9*r. Is 14 a factor of r?
False
Suppose 2*k + 8 = o - 3, k = -5*o. Let l be 2/k + (-297)/(-5). Suppose j = -4*x + l, 5*j = x - 48 + 7. Does 8 divide x?
True
Let j(u) = 4*u + 2. Let r be j(-1). Let n = 2 - r. Suppose 4*q = 3*g - 72, -3*g + n*q + 44 = -g. Does 28 divide g?
True
Does 28 divide 4*(-2)/(-52) - 63513/(-117)?
False
Suppose 12*j - 6230 = -182. Does 14 divide j?
True
Let a = -487 + 775. Is 9 a factor of a?
True
Let g = -2 - 6. Does 7 divide (12/g)/((-12)/88)?
False
Suppose -14*j = -3944 + 304. Is 28 a factor of j?
False
Let c(v) = 8*v**2 - 12*v + 4. Suppose u + 3*u = x + 7, 4*x = u + 17. Does 16 divide c(x)?
True
Let d be (-4 - 1 - 4)*71. Is 32 a factor of d/6*(-4)/3?
False
Let p(x) = -x**3 - 9*x**2 + 9*x - 7. Let v = -38 - -28. Let d be p(v). Suppose -1 = -d*w + 41. Does 14 divide w?
True
Let c(r) be the third derivative of -29*r**6/120 - r**5/60 - r**4/8 - r**3/6 + 3*r**2. Does 14 divide c(-1)?
False
Let u = 48 + 51. Suppose 5*w = -5*l + 93 - 13, 4*l - 3*w - u = 0. Is l a multiple of 8?
False
Let x(l) = l**3 - 2*l - 1. Suppose 3*b - 4 = -7. Let h be x(b). Suppose 5*r = 0, 3*r - 20 = -2*a - h*r. Is 10 a factor of a?
True
Let h(x) = -x**3 + 8*x**2 + 53*x - 12. Is h(12) a multiple of 8?
True
Let w(q) = -54*q - 13. Let l be 9/(-4) - (-2)/8. Is w(l) a multiple of 5?
True
Suppose -2 = -5*l - 12. Let n be (l/4 + 1)*146. Let z = -44 + n. Does 14 divide z?
False
Let v = 5781 + -3034. Is v a multiple of 78?
False
Let s(q) = -6*q + 115. Does 4 divide s(6)?
False
Let m = 1741 - 1045. Does 8 divide m?
True
Let x(r) = r**3 - 23*r**2 - 21*r + 18. Does 15 divide x(24)?
True
Suppose -30*k = -14*k - 6240. Does 26 divide k?
True
Let g(w) = 3*w - 21. Suppose -p = -7 - 4. Does 4 divide g(p)?
True
Suppose 4 = -n, -n - n - 197 = -3*j. Suppose o + 0*o = j. Does 8 divide o?
False
Suppose -v = -4*u + 82 - 231, 5*v + 2*u = 811. Is v a multiple of 7?
True
Let t = 661 + -297. Suppose -4*d - 3*d + t = 0. Does 13 divide d?
True
Let x(q) = 1575*q**3 + 144 - 1574*q**3 + 3*q**2 - 2*q**2 - q. Does 18 divide x(0)?
True
Suppose 0 = 5*v + 5*p - 15, 4*v - 2*p - 24 = -0*v. Suppose v*a - 20 = a. Is -7*(6/2 - a) a multiple of 9?
False
Let m(r) be the third derivative of -r**4/24 + 3*r**3 - 13*r**2. Is 4 a factor of m(10)?
True
Suppose -2*f = -4 + 2, -2*f = r - 328. Does 7 divide r?
False
Let s(x) = -3*x**3 - 10*x**2 - 14*x + 8. Is 14 a factor of s(-6)?
False
Let n(p) = p**3 + 9*p**2 - p + 6. Let f be n(-6). Suppose -d - f = -5*d. Does 8 divide d?
False
Let k = -4 + 4. Suppose -3*b + 12 = -k. Suppose -b*i + 145 = -f, -5*i + 0*f + 165 = 2*f. Does 7 divide i?
True
Suppose 101 = h + f, 0 = -f - 4*f. Suppose -3*l - l + h = z, 5*z = -5*l + 115. Is 13 a factor of l?
True
Is (-234)/(-91)*280/6 a multiple of 46?
False
Does 20 divide 6880/24*(-3 + 3 + 3)?
True
Let z(p) = 7*p**3 - 6*p**2 + 13*p + 6. Let s(i) = -6*i**3 + 6*i**2 - 12*i - 5. Let m(b) = -6*s(b) - 5*z(b). Does 21 divide m(6)?
True
Let x = 5627 + -3737. Does 15 divide x?
True
Let w = -8 + 12. Suppose w*j + j + 4*m = 225, j + 3*m = 45. Is j a multiple of 15?
True
Suppose z + 3*c - 61 = 0, -5*z - 18*c = -13*c - 285. Suppose -3*x = 3*a - a - 1, 3*a - 9 = -3*x. Suppose -z = -a*h + 3*h. Is 9 a factor of h?
False
Let l(k) = 37*k**2 + 64*k + 184. Is 47 a factor of l(-3)?
False
Let m(o) be the first derivative of -o**4/4 - 7*o**3/3 - 2*o**2 + 12*o + 2. Let g be m(-6). Is g/(2 - -2) + 25 a multiple of 8?
False
Let h be (162/12)/(((-2)/(-144))/1). Suppose 10*y - 138 = h. Does 24 divide y?
False
Does 59 divide (-21 - 7)*(-2)/14*24?
False
Let r(h) = -h**2 - 40*h + 212. Is r(-38) a multiple of 12?
True
Suppose -71*m + 78*m - 6531 = 0. Is m a multiple of 14?
False
Let d(q) = -q**3 - q**2 - 2*q + 3. Let g be d(2). Suppose 2*c + 5*c = 161. Let f = c + g. Is f a multiple of 5?
True
Let w(n) = -n**3 + 2*n**2 - 6*n - 1. Let p be w(6). Suppose -y = 3*t - 257, -35*t + 37*t = -y + 260. Let c = y + p. Does 26 divide c?
False
Let j(v) = -v**3 - 8*v**2 + 39. Is j(-8) a multiple of 2?
False
Suppose 4*i + 4*b - 7483 = 7509, 2*b = 5*i - 18719. Does 9 divide i?
False
Does 16 divide (-3)/7 + ((-155856)/28)/(-17)?
False
Suppose 3*r = 5*r - 154. Suppose 10*y = r + 283. Does 10 divide y?
False
Let h(x) = 5 - 5 + 1 - 46*x + 6. Is h(-3) a multiple of 29?
True
Let g be 12/18 - (-13)/3. Let b = 2 - g. Let m = 6 + b. Does 3 divide m?
True
Let n = 147 + -99. Suppose -3*t - 3*t = -n. Is 8 a factor of t?
True
Let g(i) = i**3 - 18*i**2 - 6*i - 38. Does 8 divide g(19)?
False
Let h(z) = -30*z + 96. Is h(-7) a multiple of 18?
True
Suppose 5*v = 291 + 894. Does 21 divide v?
False
Let z(s) = 3*s + 12. Let x be z(-4). Suppose -2*r = -3*n - 453, -r + x = n - 229. Suppose -18*q + 15*q + r = 0. Does 31 divide q?
False
Is (-1347)/(-15) - 3/(-15) a multiple of 30?
True
Let m(b) = -305*b - 109. Is 19 a factor of m(-3)?
False
Suppose 4*r - m - 638 = -0*m, r - 149 = -5*m. Suppose 3*y + 5 = 4*o, 3*y = 4*o + y - 6. Suppose r = c + o*c. Is c a multiple of 10?
False
Suppose -76*k = -71*k - 24530. Does 14 divide k?
False
Suppose 0 = -10*k - 2672 + 6972. Is k a multiple of 15?
False
Let r(l) be the second derivative of -l**6/90 + l**5/30 + l**4/12 - 3*l. Let b(y) be the third derivative of r(y). Is b(-2) a multiple of 6?
False
Let j = -43 - -25. Let w = j + 54. Suppose -5*t + 165 = 5*r, t + 0*r - 2*r = w. Is t a multiple of 16?
False
Suppose 26*x = 23*x + 897. Is x a multiple of 31?
False
Let f(o) = 18*o - 166. Is f(11) a multiple of 8?
True
Suppose -239 - 6 = -7*o. Let p = o - 19. Is 16 a factor of p?
True
Suppose 4*a - 2