 + 4. Is 10 a factor of p?
True
Suppose 9*x - 9069 - 29487 = 0. Is 17 a factor of x?
True
Suppose -1 = -j + 1. Suppose -a = j*a + 21. Let r(m) = -2*m + 9. Is r(a) a multiple of 6?
False
Suppose -n = -5*x + 2*x + 11, 3*x + 14 = -4*n. Let b = 38 - x. Is 9 a factor of b?
True
Suppose 4091 = 3*h + 1211. Does 48 divide h?
True
Let y = 167 - 79. Suppose -y + 16 = -4*b. Is b a multiple of 11?
False
Let k(t) = -61*t + 20. Is 39 a factor of k(-6)?
False
Let x = 42 + -57. Let l = x + 53. Does 19 divide l?
True
Suppose -q + 6*q - 552 = p, -5*q + 564 = 3*p. Suppose -7*h + q + 134 = 0. Is 30 a factor of -4 + (-1 - h*-1)?
True
Let m(h) = h**3 - 3*h - 1. Let r be m(-2). Let s = -11 + r. Is s*(-2 + (-2 - -1)) a multiple of 21?
True
Let j be ((-8)/12)/(4/(-6)). Suppose -50 = -y + j. Is 7 a factor of y?
False
Suppose u = -5*m + 274, -3*u + 9*m = 13*m - 789. Is 3 a factor of u?
False
Let z(k) = 3*k**2 + 2*k + 17. Let b be z(5). Suppose 0 = -6*u + 138 + b. Does 4 divide u?
True
Suppose -2*d = -3*d + 46. Suppose 0 = f + 5*j - d, 4*f - 4*j = 3*f + 28. Suppose 30 = 2*v + 5*t - 6, f = 4*v + t. Is v a multiple of 8?
True
Suppose 2*b - 3*v - 21 = 0, -3*b + 2*v + 34 = -3*v. Suppose -b = -3*o - 0. Suppose 0 = -t + 3 + o. Is t a multiple of 4?
True
Let m(r) = r + 5*r**2 - 4*r**2 + 6*r. Suppose -8*k + 36 + 20 = 0. Does 26 divide m(k)?
False
Suppose 5*h - 1736 = -4*m, 0*m - 3*h - 868 = -2*m. Is m a multiple of 7?
True
Suppose 0 = -68*q - 3*q + 102666. Is 19 a factor of q?
False
Does 18 divide ((-141)/(-4) + -2)/(45/900)?
False
Suppose 2*u - 3 = -5. Let d be (-10)/u*2/4. Suppose -5*f - 24 = -8*f - d*n, 19 = f - 2*n. Is 4 a factor of f?
False
Suppose 4*v = 6*v - 4. Is -2 + 183 - (-1 - v) a multiple of 50?
False
Let c(k) = -9*k**3 - 15*k**2 - 2*k - 6. Let x(a) = 5*a**3 + 8*a**2 + a + 3. Let t(p) = 3*c(p) + 5*x(p). Let i = 7 - 11. Is 14 a factor of t(i)?
False
Let f(z) = 91*z**2 - 4*z. Does 5 divide f(-1)?
True
Suppose -10*d + 38716 = 6236. Is d a multiple of 29?
True
Suppose 5*j - 372 - 154 = -3*g, -2*j + 220 = -2*g. Suppose -a - a + 46 = -2*w, -j = -4*a - w. Let r = 23 + a. Does 30 divide r?
False
Let k(x) = -12*x - 2*x + 7*x**2 + 13*x. Is 5 a factor of k(3)?
True
Let s = -16 - -10. Let h be -2*s/(-4) - -33. Let g = h + -14. Is g a multiple of 5?
False
Let z = 14 - 2. Let o = -9 + z. Suppose -5*i = -10, 2*n + o*n - 172 = -i. Is 16 a factor of n?
False
Suppose 45*h - 22858 + 5758 = 0. Is 10 a factor of h?
True
Is (4 - ((-10)/6 + 4))*288 a multiple of 40?
True
Suppose 35*z = 39*z - 140. Does 4 divide z?
False
Let v(l) = l**3 - 12*l**2 + 11*l + 6. Let m be v(11). Suppose 0*u + 3*u = m. Suppose -6*r + 80 = -u*r. Does 19 divide r?
False
Let i = -2939 + 4571. Is 16 a factor of i?
True
Let o(d) = d - 1. Let t(q) = q. Let z(x) = 5*o(x) - t(x). Suppose a - 3*w - 19 = 0, 0*w - 3*w - 58 = -4*a. Is z(a) a multiple of 23?
False
Let r = 243 - -160. Does 13 divide r?
True
Let k(r) = 55*r + 148. Is k(6) a multiple of 26?
False
Suppose -42*i - 20 = -40*i. Let c(s) = 2*s**2 + 8*s + 40. Does 41 divide c(i)?
False
Let x(h) = 51*h - 393. Is x(23) a multiple of 49?
False
Suppose 6*b - 1828 = 4*b + 5*r, -5*b + 4640 = 5*r. Is 33 a factor of b?
True
Suppose 11 - 1 = 5*k. Suppose -k*v + 16 + 6 = 0. Does 7 divide v?
False
Let a be -2 + (-1 + 0 - -3). Suppose a = u - 3*d + 5, -5*u - 4*d = d - 15. Is 9 a factor of (0 - -1) + 21 + u?
False
Let l(z) = -z**3 + 2*z**2 - 3*z - 3. Let k = -76 + 71. Is 14 a factor of l(k)?
False
Let k be (2 - 8)/((-2)/2). Suppose 2*f = k*f + 80. Is (-15)/f - (-162)/8 a multiple of 7?
True
Let i be (-2 - -3)*0 + (-9)/(-3). Suppose -4*o = -5*z - 228 + i, 0 = -3*o + z + 177. Is 12 a factor of o?
True
Let y be (216/(-60))/(2/(-5)). Let n(p) = -p**2 + 9*p + 10. Is n(y) a multiple of 4?
False
Let y(p) = -7*p**2 - p. Let i be y(1). Let l be 22*2*6/i. Let m = -17 - l. Does 6 divide m?
False
Let g be (40*3)/(-6)*-35. Suppose 20*t - g - 1940 = 0. Is 10 a factor of t?
False
Let b = 1143 + -70. Is b a multiple of 56?
False
Let l(q) = -6*q**3 - 31*q**2 + 19*q + 19. Is 52 a factor of l(-8)?
False
Let u(m) = 4*m**3 - m. Let h be u(1). Suppose h + 4 = g. Suppose g*x - 10*x + 96 = 0. Is x a multiple of 17?
False
Let h(o) = 15 - 3*o**3 + 2 + 13*o**2 + 5*o - 10. Let l(d) = 8*d**3 - 38*d**2 - 14*d - 20. Let p(t) = 11*h(t) + 4*l(t). Is 4 a factor of p(-9)?
False
Is 22 a factor of ((-2)/6)/(18/(-9558))?
False
Let s(w) = w**2 + w + 1. Let r(t) = -10*t**2 - 9*t + 24*t + 3*t - 2*t**3 + 17. Let l(f) = r(f) - 5*s(f). Is l(-9) a multiple of 29?
False
Suppose 23 = 2*l + 5*v - 32, 0 = -3*l - 3*v + 60. Let k = l + -41. Is 3 + -2 - (k + -2) a multiple of 10?
False
Suppose 735 = 4*y - 25. Is y a multiple of 10?
True
Suppose -2*j = 2, 4*r - 3*j + 0*j - 563 = 0. Let k = r - 78. Is k a multiple of 10?
False
Suppose 2*q - 13 + 35 = 0. Let p = q + 25. Let z = 27 - p. Does 13 divide z?
True
Let p = -4270 + 8428. Is 21 a factor of p?
True
Suppose -w = 0, 2*c - 138 = -5*w + 4*w. Is 6 a factor of c?
False
Let v(r) be the second derivative of r**4/6 - 2*r**3/3 - 3*r**2 + 3*r. Does 12 divide v(5)?
True
Suppose 0 = -b + 2*s + 37, 5*s - 1 = 4. Suppose 20 = p - b. Does 26 divide p?
False
Does 35 divide -10*((-1122)/18 + 6/(-9))?
True
Suppose -1257 = -18*p + 4215. Is 19 a factor of p?
True
Suppose 2*w = -5*l + 162, -4*l + 307 + 98 = 5*w. Suppose 2*h = 3*h - w. Let q = h - 36. Does 12 divide q?
False
Suppose 8*r - 878 = 1474. Is 39 a factor of r?
False
Is ((-1272)/28)/((-6)/252) a multiple of 17?
False
Let f be (-16)/6*(-225)/15. Suppose 16 + 14 = -5*o. Let i = o + f. Is i a multiple of 11?
False
Suppose 4*r + 82 = r - 5*v, r + 31 = 2*v. Let n = 110 - r. Suppose -n = -3*m - 5*h, 4*m - h = -0*h + 193. Is m a multiple of 14?
False
Suppose 4*w + 5*a - 19 = 7, -3*w + 4 = -4*a. Suppose t - 71 = -l + 5*t, 5*l - 259 = -w*t. Is l a multiple of 11?
True
Let i = -44 - -44. Suppose 3*h + 62 = 2*z - 80, i = -h - 2. Does 8 divide z?
False
Let w(j) = -j**2 - 7*j - 1. Let i be w(-6). Let s(g) = 2*g**2 - 4*g + 5. Is 9 a factor of s(i)?
False
Suppose 0 = -6*k + 74 + 40. Is 3 a factor of k?
False
Let p(k) = k**3 + 8*k**2 - 21*k - 9. Let g be p(-10). Is g/(-2) - 33/(-2) a multiple of 4?
True
Let v be 4/6 + (-16)/(-48). Suppose -43 = -3*x - v. Is 4 a factor of x?
False
Let x = -8 + 56. Does 48 divide x?
True
Let u(o) = -7*o**2 + o - 2. Let m be u(1). Does 5 divide (-118)/m - 6/8?
False
Suppose 4*u + c + 4 = 0, 5*c - 12 = -6*u + 2*u. Let k(l) be the third derivative of -4*l**4/3 - l**3/3 - 49*l**2. Does 17 divide k(u)?
False
Suppose 2*g = -2*z + 400, -4*g + 5*z + 276 + 515 = 0. Is g a multiple of 5?
False
Let o(h) = 13*h + 140. Is o(0) a multiple of 10?
True
Let b = -20 + 25. Is 3 - 10*b/(-2) a multiple of 23?
False
Let z(o) = 81*o + 415. Is 54 a factor of z(12)?
False
Let b(h) be the first derivative of -10 + 76/3*h**3 + h + 0*h**2. Does 21 divide b(1)?
False
Let f be (-2 - 4)*2/(-1). Suppose -f = 2*g + 2*z + 2*z, 2*z = 2*g - 6. Suppose u - 4*u + 126 = g. Is u a multiple of 7?
True
Suppose 245*k - 392 = 244*k. Is 98 a factor of k?
True
Suppose r - 4*q + 25 = 0, r + r = 2*q - 32. Suppose 0 = -4*h - 4, 0 = 4*f + 2*h - 106 - 96. Let k = f + r. Does 19 divide k?
True
Suppose -128*j + 76 = -124*j. Is 11 a factor of j?
False
Let b(s) = 13*s**2 + 8*s - 5. Let z be b(5). Suppose 0 = -7*t - 3*t + z. Does 6 divide t?
True
Let q(n) = 3*n - 12. Let v be q(6). Is 12 a factor of 6/((15 - 12)*1/v)?
True
Suppose 55*q = 36*q + 16416. Is q a multiple of 12?
True
Let o = 39 - -36. Let n be ((-4)/(-6))/((-10)/o). Let y(p) = 3*p**2 - p + 5. Does 17 divide y(n)?
True
Does 50 divide (189/84)/(2/328)?
False
Let c(u) be the second derivative of u**4/12 - u**3 + u**2 + 11*u. Let r be c(4). Is 22 a factor of (-7)/(-42) + (-263)/r?
True
Let w(l) = 2*l + 12 + 5*l - 3*l - 3*l. Let p be w(-6). Suppose p*d = 8*d - 56. Is d a multiple of 7?
True
Let p = -76 + 311. Let q = 344 - p. Is 16 a factor of q?
False
Let h(i) = -6*i**3 - i**2 + 2*i + 3. Let d be h(-1). Suppose -2*t + d*t = -3*q + 122, 4*t = -2*q + 120. Is 26 a factor of t?
False
Let c be 12843/66*2 + (-8)/44. Suppose -2*r = 4*d - 240, 0 = 4*r + 3*d - c - 106. Does 31 divide r?
False
Let y(j) = 3*j**2 - 7*j. Let g be y(-3). Is (-42)/1*g/(-14) a multiple of 8?
True
Let z be 63/9*(-36)/7. Let h = z - -56. Suppose h = -