*d - 7. Let n be b(-4). Let r = n - -113. Is 20 a factor of r?
False
Let q(j) = -j**3 - 7*j**2 + 49*j + 108. Does 62 divide q(-18)?
True
Does 19 divide 1*(6680/32 - 3/(-12))?
True
Let r(t) = t**3 - 15*t**2 - 65*t + 17. Is r(19) a multiple of 40?
False
Let i(z) = -5*z**3 - 3*z**2 + 3*z - 4. Suppose 5*k + 12 = k. Is i(k) a multiple of 11?
False
Suppose 4*v + 5*d - 3265 = 0, -12*d - 10 = -14*d. Is v a multiple of 30?
True
Let l(z) = z**3 + 3*z**2 - 2*z + 6. Let g be l(-3). Let c be (-8)/g - 262/(-6). Suppose -c = 3*m - 205. Does 9 divide m?
True
Suppose 55 = 4*u + 4*s - 469, 0 = u + 3*s - 133. Let a = u - 40. Suppose -2*w - w + a = 0. Does 10 divide w?
True
Let k = 25 - 17. Is 15 a factor of (-8)/k - (-47 + 0)?
False
Suppose 4*w - 5*k = 1565, 394 = 4*w - 3*w - 4*k. Is 39 a factor of w?
True
Let w(i) = -34*i**3 - i - 1. Let a(l) = -l**3 - 4*l**2 + 6*l + 4. Let y be 55/(-10) - 2/(-4). Let h be a(y). Does 9 divide w(h)?
False
Let d = -8 - -14. Suppose -5 = -5*g + 3*g - p, 2*p - d = -3*g. Is g a multiple of 2?
True
Suppose 2*g - 5*q + 2*q = 219, 4*q - 20 = 0. Does 9 divide g?
True
Let f = 719 + -500. Does 14 divide f?
False
Suppose 187 = 9*v - 263. Let d(j) = -88*j + 1. Let x be d(-1). Let k = x - v. Is 13 a factor of k?
True
Suppose -127 + 427 = 5*g. Let x = 133 - g. Is x a multiple of 14?
False
Suppose 2654 = 11*l - 7928. Does 74 divide l?
True
Let u(s) = s**3 + 10*s**2 + 15*s - 10. Let h be u(-8). Is (h - (-10)/(-7))/(2/(-14)) a multiple of 8?
True
Let o = 118 + 202. Is (54/(-72))/((-2)/o) a multiple of 30?
True
Does 23 divide 18459/14 + (-45)/30?
False
Let u(d) = 3*d**3 + d**2 - 4*d + 4. Let y be u(3). Let x(l) = 2*l - 24. Let h be x(-4). Let r = h + y. Does 10 divide r?
True
Let v(j) = -21 + 7 - 2*j + 4*j. Let q be v(8). Is 5 a factor of (21/(-6))/(q/(-20))?
True
Let s(u) = -u**3 + 62. Suppose 3*h = -2*h - 130. Let r be 4/10 - h/(-65). Does 23 divide s(r)?
False
Let x = 196 + -115. Does 65 divide x?
False
Let o(v) = v**2 + 7*v - 9. Let q be o(-7). Let j = q + 9. Suppose -b + 12 + 8 = j. Is 5 a factor of b?
True
Suppose -18*f = -34*f + 6960. Does 15 divide f?
True
Suppose 0 = 5*f + 10 - 25. Let v(o) = -22*o + 3. Let g be v(f). Does 10 divide 0 - (g/3 + 1)?
True
Let i(k) = -k**2 + 12*k - 4. Let b(f) be the first derivative of -f**4/4 + 8*f**3/3 + 9*f**2/2 + 11*f - 4. Let d be b(9). Is 7 a factor of i(d)?
True
Let l = 623 - 423. Is l a multiple of 2?
True
Suppose 0*z = -3*z + 9. Suppose 45 = 2*w + w + z*n, -5*n = 3*w - 35. Let q = w - -21. Is q a multiple of 18?
False
Let q(p) = -88*p - 506. Is q(-12) a multiple of 55?
True
Suppose -4*k + 73 = 1. Let x(b) = -b + 1026. Let h be x(0). Is (4/6)/(k/h) a multiple of 6?
False
Let x = 21 + -18. Suppose 0 = -f - f - x*k + 27, 5*f + 2*k - 40 = 0. Is 2 a factor of f?
True
Suppose -3*t - t - 192 = -2*n, -4*n + 366 = t. Suppose 0 = 5*x - x - n. Is 13 a factor of x?
False
Let k(m) = 10*m - 42. Let a = 5 + 4. Does 4 divide k(a)?
True
Let l = -7 - -6. Let q = -1 + l. Is 14 a factor of (-2 - -88)/q*-1?
False
Let z = -31 - -106. Suppose -2*w - 3*w = -z. Is w a multiple of 3?
True
Let j be (-36)/24*(-1)/(6/(-8)). Let o = j - -49. Is 29 a factor of o?
False
Suppose 0 = -3*c - r + 13, -2*c - 2*c = -2*r - 4. Suppose -2*u + 315 - 119 = 2*f, c*u = 12. Is 10 a factor of f?
False
Let s = 75 + -68. Suppose 8*p - 247 = s*p + m, -973 = -4*p - m. Is 17 a factor of p?
False
Let b be 3/(-6)*336/(-4). Let j = b - 2. Is 20 a factor of j?
True
Let g(v) = -4*v + 3*v**2 + 4*v**2 - 2*v**3 - 1 + v**3. Suppose 4*z - 22 = -5*y, -20 = -3*y - y - 2*z. Is g(y) a multiple of 11?
True
Let q be (0 + 1)/(5*(-3)/(-210)). Does 11 divide q*(-1)/(-2)*(-44)/(-4)?
True
Suppose -5*a + 10 = -0. Let m(p) = p**3 + p**2 - 4*p + 2. Let w(v) = -v + 1. Let y(o) = m(o) - w(o). Does 3 divide y(a)?
False
Let f = -7688 + 10986. Is 17 a factor of f?
True
Let f be (-318)/5 - (-28)/(-70). Let o = -44 - f. Does 20 divide o?
True
Let l(w) be the second derivative of w**5/20 + 2*w**4/3 - 2*w**3 + 3*w**2 + 7*w. Does 11 divide l(-9)?
True
Let f be (16/(-20))/(4/(-1290)). Suppose 0 = 5*z - f - 92. Is z a multiple of 10?
True
Suppose -4*w + 113 = -5*y, -4*y = -7*y - 3. Is (-4)/9 + 147/w a multiple of 5?
True
Let k(o) = 3*o**2 - 5*o + 11. Let q be k(6). Let r = 188 - q. Suppose -2*h - h + r = 0. Is 8 a factor of h?
False
Suppose 0*g + g - 4*d = -12, 0 = -4*g - 2*d + 6. Suppose g*w + 27 = 3*w. Is 2 a factor of w?
False
Let w = 270 + 338. Is 76 a factor of w?
True
Let r be (-2)/7 + 19/(532/120). Suppose 6*o - 104 = r*o. Is o a multiple of 8?
False
Suppose 2*u = 1297 + 147. Let n = u + -493. Does 20 divide n?
False
Suppose -3*x + 4*p + 67 = -0*p, -131 = -5*x - 3*p. Let h = 42 - x. Suppose -h = -s + 23. Is s a multiple of 14?
False
Let j be (-1)/(-2) - (-22)/4. Suppose 0*i - 264 = -j*i. Is i a multiple of 8?
False
Suppose 3*z - 60 = 54. Let t = z + -2. Is t*(51/12 - 3) a multiple of 9?
True
Suppose 171 = -5*k + 801. Let w = k - 88. Is 19 a factor of w?
True
Let j be (50/4 - 8/16) + -3. Let n = 45 - j. Does 12 divide n?
True
Let y = 11 - -88. Let n = y - 54. Does 8 divide n?
False
Suppose 0 = c - 4*j - 380, -c = 3*c - 4*j - 1532. Does 96 divide c?
True
Let m(j) = 18*j**2 + j - 1. Let a(k) = -k**3 + 7*k**2 + k - 5. Let f be a(7). Does 11 divide m(f)?
False
Let a(n) = -6*n + 5. Let l(j) = j**2 + 11*j - 10. Let b be l(-12). Let d(s) = 13*s - 11. Let z(i) = b*d(i) + 5*a(i). Does 19 divide z(-4)?
True
Let r(h) = 18*h + 7. Let s be r(-3). Does 30 divide (s/1 + 2)*(-36)/27?
True
Let q = -36 + 70. Suppose -u + 0 + 10 = 0. Suppose -u*v = -8*v - q. Is v a multiple of 3?
False
Let z(o) = 39*o**2 + 2*o + 1. Is 17 a factor of z(3)?
False
Suppose 19*u - 42 = -4. Suppose -5*m + 65 = 4*j, 3*m + 2*m - u*j - 35 = 0. Does 3 divide m?
True
Suppose 3*t + 2*i - 8 = 3, 4*t + 3*i = 15. Suppose t*a + 3*x - 586 = -2*x, 5*a - 987 = 2*x. Is 6 a factor of a?
False
Let a(w) be the third derivative of w**6/120 + 139*w**3/3 - 2*w**2. Let j be a(0). Suppose 3*r + 202 = 4*y - 79, 4*y - 2*r - j = 0. Is 34 a factor of y?
True
Suppose 0 = d - 1718 + 1515. Does 7 divide d?
True
Let k = -870 + 1706. Is 22 a factor of k?
True
Let q(j) = -73*j**2 + 3*j - 2. Let n be q(1). Let p be (-10)/(-50) + n/10. Is (-373)/p + (-2)/7 a multiple of 12?
False
Suppose 0 = 110*g - 165*g + 83875. Is 61 a factor of g?
True
Let x = 23 - 41. Let j be (-208)/(-5) + x/30. Suppose 2*n - 25 - j = 0. Is 8 a factor of n?
False
Suppose 0 = 2*f + 2*y - 8, 4*f - 2*y + 4*y = 26. Let c = f + -6. Suppose m = -0*m - 2*q + 7, -4*m = -c*q - 72. Is 15 a factor of m?
True
Let m be -2*501*(-2)/(-4). Is 0 + m/(-15) - 6/15 a multiple of 11?
True
Suppose 3*j = -5*f - 481, -j = j - 3*f + 308. Let b = -109 + -138. Let k = j - b. Does 30 divide k?
True
Let r(l) be the third derivative of l**5/60 + l**4/24 + 52*l**3/3 + 24*l**2. Does 13 divide r(0)?
True
Let x(p) = 87*p + 95. Does 13 divide x(5)?
False
Let o(r) be the second derivative of -r**3 - 3*r**2 + 15*r. Does 3 divide o(-3)?
True
Suppose 0 = h - 7*t + 3*t, 0 = h - 3*t. Suppose h*m + 3*m = 27. Is m a multiple of 9?
True
Suppose -6*b = -13*b. Let z(y) = y + 1. Let l be z(2). Suppose -5*j - 4*p + 155 = b, -4*p - 61 = -0*j - l*j. Is 10 a factor of j?
False
Let n be 15/6 + 47/2. Suppose 2*o - 54 = n. Is o a multiple of 8?
True
Suppose 26*s = 35*s - 1035. Is s a multiple of 24?
False
Let k = 2 - 3. Let t be 1 + k - (-2 + -6). Suppose t = v - 8. Does 8 divide v?
True
Let p = 8 + 0. Let s = 6 - p. Is (2/(-3))/(s/108) a multiple of 12?
True
Let c(d) = -d**3 + 9*d**2 - d - 22. Let y be c(8). Suppose -4*z + y = -94. Is 4 a factor of z?
True
Let t(z) = 55*z - 1. Let d = -35 - -38. Is 23 a factor of t(d)?
False
Let t(s) = -3*s**2 + 4*s + 2. Let a be t(2). Let b be 1/a + (-7)/(-2). Is 22 a factor of ((-4)/(-6))/(b/252)?
False
Let r(q) be the first derivative of q**2/2 + 8*q + 2. Does 3 divide r(-5)?
True
Does 9 divide 1 - (-1801)/4 - (-35)/(-28)?
True
Suppose -9*v = -6*v - 6. Suppose v*z - 3 = -j - 3*z, 0 = -4*j + 5*z - 13. Let t(k) = 12*k**2 + 4*k. Is t(j) a multiple of 20?
True
Let z be (-1)/(-2*2/424). Let p = z + -13. Does 5 divide (-2)/(-8) + p/12?
False
Is 49 a factor of -352*((-64)/40 + (-4)/10)?
False
Let z = -49 - -92. Let y = 48 + z. Is 10 a factor of y?
False
Is 16 a factor of (-18)/(-117) + 5822/13?
Tru