 a factor of d?
False
Is 4 a factor of -12*(-261)/36 - -6?
False
Let r(b) = -144*b**3 - b**2 - 14*b - 30. Does 15 divide r(-2)?
False
Suppose -4*m - m = -2455. Suppose 3*f + 4*x - 487 = 0, 0*f - 3*f - 5*x = -m. Is f a multiple of 26?
False
Let j(w) = 14*w**2 - 21*w - 114. Does 11 divide j(-8)?
False
Is (-12)/8*2*104/(-3) a multiple of 3?
False
Is (-17)/((-459)/(-18)) + (-9591)/(-9) a multiple of 15?
True
Suppose -3*d = -472 - 566. Let r = 204 - d. Is r/(-5) - (-2)/(-5) a multiple of 14?
True
Let z(t) = -7*t**2 - t. Let r be z(-1). Let j(g) = -g**3 - 4*g**2 - 10*g - 9. Is j(r) a multiple of 35?
False
Let f(i) = -17 + i**3 + 20 - 15 + 12*i**2 - i. Let k be f(-12). Suppose 5*r + 5*a + k*a = 170, 122 = 3*r - 2*a. Is 19 a factor of r?
True
Let v(l) be the second derivative of 5*l**3/6 + l**2/2 + 6*l. Let o be v(-9). Is 22 a factor of 11/22*o/(-1)?
True
Let p = 44 - 125. Let j = p + 163. Does 10 divide j?
False
Let m(y) = 917*y + 6. Let h be m(-2). Does 6 divide (-4)/38 + h/(-38)?
True
Is 25 a factor of (8/(-64)*-6)/((-2)/(-2888))?
False
Suppose 9*f - 8*f - 117 = 0. Suppose 4*h + f = 7*h. Is 13 a factor of h?
True
Let w(v) = 2*v**3 - 6*v**2 - 2*v + 7. Is w(8) a multiple of 15?
False
Let b(y) = -2*y**3 - y**2 + 2*y + 65. Let m be b(0). Suppose -3*o + 94 = -g + 33, -3*o + m = -5*g. Does 3 divide o?
False
Let g(m) = m + 5. Let w be g(0). Suppose 7*s + 3*b = 50, -4 = -4*s + 3*b + 1. Suppose s*v + 2*z = 180 + 185, w*z + 25 = 0. Does 32 divide v?
False
Suppose n + n + 16 = 0. Let y be -5*2*12/n. Suppose -5*z + 276 + y = 3*i, 3*z - 4*i = 192. Is z a multiple of 15?
True
Suppose -5*x - 18 = -3*o, -18 = -3*o - 2*x - 0*x. Suppose 5*w + 2*j - 338 = 0, o*w + 3*j = 4*w + 144. Does 22 divide w?
True
Let o(p) be the third derivative of 3*p**5/5 - p**4/12 + p**3/3 - 14*p**2. Let u = -4 - -5. Is 9 a factor of o(u)?
True
Let k be 2*(60/8 - 2). Suppose 3*b = -n - k, -2*n - 4*b = -3*b + 2. Is n/5 + (-654)/(-30) a multiple of 11?
True
Suppose -4*g + 0*g = 5*p - 43, -5*p + 4*g + 27 = 0. Suppose 6*n = p*n - 44. Does 22 divide n?
True
Suppose -36*a + 39*a = 426. Suppose 3 = -n, -5*o + 949 = n + a. Is 14 a factor of o?
False
Suppose -4*k = -5*k + 12. Suppose -50 = 7*n - k*n. Is n a multiple of 4?
False
Let u(n) = -35*n + 1. Let m(l) = l**2 + 6*l + 1. Let w be m(-6). Suppose w = -2*f - 1. Does 18 divide u(f)?
True
Suppose 14*r + 2*l + 1040 = 15*r, -3120 = -3*r - 2*l. Is 20 a factor of r?
True
Suppose -14*a + 20*a = 3594. Is a a multiple of 6?
False
Let a(l) = 2*l**2 + 2*l - 6. Let k be a(-6). Suppose 3*b - 306 = k. Does 32 divide b?
False
Let m = -165 - -325. Does 32 divide m?
True
Let g(t) = -t**3 - t**2 - t + 15. Let k(z) = z**3 - 4*z**2 + z + 2. Let r be k(3). Let a be 0 - 3 - (1 + r). Does 7 divide g(a)?
False
Let h = 605 + 15. Is h a multiple of 20?
True
Suppose 297*j - 13920 = 289*j. Is 58 a factor of j?
True
Let h be (-10 + 14)*(13 + 1). Let o = -29 + h. Does 5 divide o?
False
Let h(t) = 3*t**2 - t. Let s(f) = -f**2 - 11*f - 5. Let d be s(-10). Suppose -d*k + u + u - 9 = 0, -3*u - 3 = -2*k. Is h(k) a multiple of 10?
True
Let w be (16/(-6))/(0 + (-2)/399). Let c = w + -364. Is 28 a factor of c?
True
Let t = -39 + 160. Is 11 a factor of t?
True
Is 13 a factor of (-3 + 2)/(17/(-7004))?
False
Suppose -3520 = -24*a + 2312. Is a a multiple of 81?
True
Let r = -2458 + 4762. Is 12 a factor of r?
True
Suppose 204 = 6*w - 78. Is w + (-3)/(-3) + 1 a multiple of 11?
False
Let q(k) = 0 + k**3 + 6 - 6*k**2 + 1 - 8*k + 0. Let o be q(7). Suppose o = 3*h + 2*h - 80. Does 16 divide h?
True
Suppose 2*v = 2*i - 954, -3*v = i - 7*v - 480. Is 28 a factor of i?
True
Let q(k) = -2*k**3 - 7*k**2 - 4*k + 5. Let j(u) = 0 - 2*u - u**3 - 3*u**2 + 3 - 1. Let f(t) = -7*j(t) + 3*q(t). Is 14 a factor of f(4)?
False
Let o = -70 + 37. Let l = o + 53. Does 10 divide l?
True
Suppose 3*v - 67 = 2. Suppose 0*b + b - 115 = 0. Let k = b - v. Is k a multiple of 23?
True
Let n(a) be the third derivative of a**5/60 - a**4/6 - 3*a**3/2 + 10*a**2. Is 30 a factor of n(15)?
False
Let x be -10*(-5)/(-10) - (1 - 2). Let o(z) = -16*z - 36. Does 5 divide o(x)?
False
Let t(n) = n**3 - 3*n**2 + 2*n - 6. Let k be t(3). Suppose -3*r + 4*r - 88 = k. Does 9 divide r?
False
Let x(c) = -4*c + 15. Let o be (-11)/((-4)/(-6 + 2)). Is x(o) a multiple of 12?
False
Let c = 462 + -228. Is 39 a factor of c?
True
Let f(k) = 34*k**2 + 21*k - 246. Is 46 a factor of f(8)?
False
Let j(c) be the second derivative of c**4 + 5*c**3/6 - 4*c**2 - 24*c. Does 16 divide j(4)?
False
Suppose 632 = 3*k + 4*m, 0 + 5 = -5*m. Let g = -91 + k. Is g a multiple of 11?
True
Let m(j) = -1 - 5*j - 4 - 11*j. Let u be m(-4). Let i = -29 + u. Is 9 a factor of i?
False
Let y(m) = m**3 + 16*m**2 + 12*m - 10. Let v be y(-15). Let q = v + 71. Is q a multiple of 49?
False
Suppose -7*w + 45 = 17. Suppose 466 = 4*o - 5*i + 91, -w*o + 348 = 4*i. Does 17 divide o?
False
Suppose 1181 = 8*b - 7*b - 4*v, 4*v - 2422 = -2*b. Is 72 a factor of b?
False
Let p(m) = -m**3 + 10*m**2 - 5*m - 6. Suppose 40 = 3*d + 7*j - 3*j, 5*j = 20. Suppose 54 = -2*r + d*r. Is 5 a factor of p(r)?
True
Let w(h) = -h**3 - 6*h**2 - 5*h - 7. Suppose 15 + 9 = -4*a. Is 10 a factor of w(a)?
False
Suppose -137*h = -155*h + 2106. Does 39 divide h?
True
Suppose -6*m = 5*v - m - 30, 5*v + 4*m - 28 = 0. Suppose 0 = 3*c - 13 + v. Suppose 5*p = -4*w + 191, -c*w = -4*p - 2*w + 157. Is p a multiple of 13?
True
Let r(q) = -50*q - 7. Let t be (1/(-2))/(0 - (-2)/24). Is r(t) a multiple of 19?
False
Does 20 divide -40*(1766/(-56) + 4/14)?
False
Suppose -10628 = -14*p - 3992. Is 52 a factor of p?
False
Is 5 a factor of (2/(-3))/(36/(-5346))?
False
Suppose -3*f + 3*o + 21 = -0*f, 0 = -5*f + 2*o + 20. Suppose 0 = 3*c + f*h - 139, -5*h + 30 = c - 25. Does 2 divide c?
False
Let v(i) = -i - 1. Let f be v(-4). Suppose 2*m + 1 = f*o - 2, 2*m = -2*o + 12. Suppose -m*l = -l - 146. Is l a multiple of 20?
False
Suppose 452 = 2*z - 0*b - 2*b, 3*b - 1146 = -5*z. Does 3 divide z?
True
Let s = -132 - -232. Is 6 a factor of (24/(-10))/((-2)/s*5)?
True
Let w(y) = -y**3 - 2 + 2*y**3 - 3*y - 2*y**3 - 4*y**2. Let a be w(-3). Is -38*a/2 + 1 a multiple of 13?
True
Let a be 36*(-2)/(-8)*11. Let h be (-170)/(-50) + (-6)/(-10). Suppose -h*o = -a + 7. Is 7 a factor of o?
False
Let s = 114 + -86. Does 14 divide s?
True
Let n(g) = -13*g + 256. Is n(0) a multiple of 4?
True
Let a = 802 + -461. Let n = -203 + a. Is 12 a factor of n?
False
Suppose -l - 8 = w + 4*l, -3*w + 8 = -l. Suppose 37 = w*m + 205. Let p = -30 - m. Is 13 a factor of p?
False
Suppose 2*f - l + 355 = 5*f, -5*f - 3*l = -593. Let x = f + -58. Is 15 a factor of x?
True
Let d = 1 + 9. Suppose h + d = 60. Is 10 a factor of h?
True
Let x(t) = 92*t**2 + t - 1. Let m be x(1). Let z = m - 80. Does 2 divide z?
True
Let z = -595 - -760. Is z a multiple of 15?
True
Let b(y) = -y**3 - 9*y**2 - 36*y - 199. Is 36 a factor of b(-13)?
False
Let w(g) = -187*g - 523. Is w(-17) a multiple of 32?
True
Let u = -256 + 116. Is 4/(-6) - u/3 a multiple of 7?
False
Suppose 4*l + 3 = l. Is 24 a factor of l + (3 - (-147 + 5))?
True
Suppose 2*f + 13 = 69. Let h = 20 + f. Is h a multiple of 24?
True
Suppose 0 = -19*r + 35163 - 7803. Is r a multiple of 20?
True
Let h = 295 + -87. Does 16 divide h?
True
Does 64 divide -2 + 2*(9 + 1112)?
True
Is ((-510)/10)/(12/(-88)) a multiple of 14?
False
Is (-122)/(-671) + (-111)/66*-670 a multiple of 75?
False
Let v = -33 + 80. Is 31 a factor of v?
False
Suppose 2*i = -i + 54. Suppose -2*h = i - 136. Let m = 20 + h. Is 28 a factor of m?
False
Let p(z) = -4*z - 4. Suppose 0 = -3*q + q + 3*c - 10, -2 = -4*q - 5*c. Does 4 divide p(q)?
True
Suppose -3*p - 612 = -2*s - p, 4*s - 1212 = p. Does 2 divide s?
True
Suppose 11 = -3*o - 7. Let p be 1 + -2 - 18/o. Suppose -p*l - 1 = -3, -4*t + 148 = 4*l. Is 9 a factor of t?
True
Let t = -57 + 62. Suppose t*g - 28 = 12. Does 8 divide g?
True
Suppose -y - 134 = -3*y - 5*u, y + 3*u = 65. Let d be 290/(-6) + 4/(-6). Let o = d + y. Is o a multiple of 23?
False
Let u = -380 + 668. Is 18 a factor of u?
True
Suppose 0 = c + 3*c + 3*v - 39, 4*c = 3*v + 9. Let y be 6/c - 322/(-2). Suppose -2*t = t - y. Does 18 divide t?
True
Let b(i) = 4*i**2 + 89*i + 4. Does 4 divide b(-24)?
True
Does 7 divide ((-8905)/260)/((-2)/(8 - 0))?
False
Let i(m) = -