n + 3*d, -4*d = 4*n - 460. Is 38 a factor of n?
False
Let w(u) = u**3 - u**2 + 1. Let n be w(0). Suppose -n = 4*o - 5. Is 5 a factor of (96/2)/3 - o?
True
Let t = 41 + -44. Is 22 a factor of (-2)/(((-15)/(-220))/t)?
True
Let i(t) = -5*t**2 + 6*t - 10. Let y(p) = -p**2 - p. Let q(o) = -i(o) + 4*y(o). Let r be q(10). Let k = -1 + r. Is 2 a factor of k?
False
Suppose -8*r - 988 = -12*r. Is r a multiple of 53?
False
Let p = 417 + 177. Is 11 a factor of p?
True
Let x(i) be the first derivative of -3*i**2/2 + 2*i - 12. Is 2 a factor of x(-3)?
False
Is 4/((-80)/(-30))*(-4062)/(-9) even?
False
Let l(t) = -41*t - 13. Let n be l(-3). Let c = n + -92. Is 6 a factor of c?
True
Let p be -1*(-1)/(82/81 - 1). Does 11 divide ((-11)/3)/((-9)/p)?
True
Is 35 a factor of 1676 + -1 - (2 + -8 + 1)?
True
Suppose -12*m + 9965 = -4291. Is m a multiple of 33?
True
Suppose 5*a = -2*m - 594, 2*m + 340 = a - 242. Let o = -164 - m. Suppose -3*s + p + o = 0, 2*s + 2*p = 40 + 40. Is 14 a factor of s?
True
Let s(u) = 36*u + 160. Does 10 divide s(0)?
True
Suppose 485 = -6*s + 6491. Is 13 a factor of s?
True
Let h(m) = -m**2 - 4 - 1221*m**3 + 0 + 7*m + 1224*m**3 - 6*m**2. Let n = -2 + 6. Is 26 a factor of h(n)?
True
Suppose -5*a + a = -3*q + 76, 5*q = 5*a + 120. Suppose q = k + 2. Is 9 a factor of k?
True
Does 17 divide (-10 - (1 + -1))*(-17010)/180?
False
Let q(p) = -19*p + 106. Is 70 a factor of q(-15)?
False
Suppose 1741 = 12*a - 9*a - 2*v, -2326 = -4*a - 2*v. Does 3 divide a?
False
Let i(v) = -2*v + 12. Let r be i(7). Does 10 divide (-14)/112 + (1889/8 - r)?
False
Let d = 1386 - 765. Is 27 a factor of d?
True
Let l = -11 - -14. Let r(d) = d**2 + d - 2. Let k be r(-3). Suppose -k*f + 8 = 2*q, f = -l*f - 20. Does 6 divide q?
False
Suppose 3*w - z + 7 = 0, 0*w + 4*w + 6 = 3*z. Let k(p) = -p**3 + p - 3. Is k(w) a multiple of 7?
True
Let p(i) be the first derivative of 7*i**2 - 11*i + 8. Is 9 a factor of p(5)?
False
Suppose -v + z + 1048 = 0, -6*v = -4*v + 3*z - 2076. Suppose -i - v = -4*i. Is i a multiple of 58?
True
Let r(n) = -2*n**2 - 22*n - 1. Let g be ((-9)/12)/((-2)/(-24)). Let a be r(g). Let v = a + -29. Is 6 a factor of v?
True
Suppose 4*u - u + 324 = 4*a, 4*a - 320 = 2*u. Suppose 4*s + q = 312, -s = -0*s + 4*q - a. Is s a multiple of 13?
True
Let i be 12*(26/(-9) + 3)*3. Suppose 5*b - 152 = i*b. Does 23 divide b?
False
Suppose -3*r + 24 - 12 = 0. Suppose t - 45 = -3*z, -7*t - r*z = -11*t + 260. Is 12 a factor of t?
True
Suppose 3*h = -18*h + 14280. Is 34 a factor of h?
True
Does 12 divide 6/(-9)*3*174/(-2)?
False
Let w = 72 - 64. Suppose f + 0*b + 2*b - 8 = 0, 0 = 2*b + w. Is 8 a factor of f?
True
Let i = 12 + -12. Suppose 1 = -2*j + 4*v + 13, 5*v - 15 = i. Is 6 a factor of j?
True
Let o be (-5)/20 + (-15)/(-12). Let z be o*4/((-16)/(-12)). Suppose z*u + 104 = 5*u. Does 17 divide u?
False
Let o(i) = -6*i + 91. Is 9 a factor of o(-30)?
False
Let a = -15 - -10. Suppose -4*f = -3*x - 5 + 131, 5*f - 5*x + 155 = 0. Let j = a - f. Is j a multiple of 7?
True
Suppose 2*m + 243 = -3*w - 0*m, -5*w = -5*m + 380. Let o = w - -131. Does 26 divide o?
True
Let v be -2 + 0 + (5 - -939). Let g = -152 + v. Is (g/15)/(6/9) a multiple of 19?
False
Let d(c) = 94*c - 2. Let t be d(2). Suppose n = 3*m - 775 + t, -201 = -m + 5*n. Does 13 divide m?
False
Is 9 a factor of (-12)/(-15)*83510/28?
False
Suppose 4*b = 13*b + 45. Let u = b + 37. Is u a multiple of 15?
False
Let c be (-72)/28 - (-3)/(-7). Let x(u) = -u**3 - u**2 + 4*u + 2. Let w be x(c). Suppose 2*j + 3*l = -l + 46, 4*l - w = 0. Does 17 divide j?
False
Let n be (1/(-1))/((-1)/3). Suppose 160 = n*m + m. Does 10 divide m?
True
Suppose 26*a = 36*a + 120. Suppose -188 + 0 = -d. Is 7 a factor of (-3)/a - d/(-16)?
False
Suppose -s + 338 = 2*f, f - s - 169 = -5*s. Suppose 5*b + h - 143 - f = 0, -3*h + 306 = 5*b. Is 8 a factor of b?
False
Suppose 114 = 3*u - 3*f, -5*u - 3*f + 5*f + 184 = 0. Does 16 divide u?
False
Let i be 2 + (-16)/7 - (-190)/(-70). Let m = 29 + i. Is m a multiple of 26?
True
Let g = 123 - 121. Let q = -1 - 1. Is (0 - -11) + g + q a multiple of 11?
True
Suppose -o - 2*b + 8 = -10, 45 = 5*o - 5*b. Suppose -5*u = 5*r - 9*u + 27, -4*u + o = 0. Is 6 a factor of 4*((-15)/(-2) + r)?
True
Let h(n) = 586*n**2 - 34*n + 4. Is 8 a factor of h(-2)?
True
Let o(f) = 16*f - 158. Is o(22) a multiple of 14?
False
Suppose 0 = -4*i + l - 252, -2*i = -0*i - 2*l + 120. Let a = 152 + i. Does 27 divide a?
False
Let f = 9 + -4. Suppose -85 = -f*u - 0*u. Is 17 a factor of u?
True
Suppose -5*d = o + 87, o + 11 + 40 = -3*d. Let r be (-1)/3 + (-974)/(-6). Is 24 a factor of 36/r + (-842)/d?
False
Suppose 2*u - 3*c = -c + 2, -u - 7 = -5*c. Let q(f) = 2*f**2 + 22*f + 25. Let p be q(-15). Suppose u*h - p = -2*h. Does 11 divide h?
False
Is 8 a factor of 39152/88 + 4/44?
False
Does 3 divide 18*(-6 - -22) + 8?
False
Let g = -49 + 39. Let q(a) = -4*a - 24. Is q(g) a multiple of 3?
False
Let z = 2 + -1. Let v(t) = 184*t - 2. Let x be v(z). Is x/21 + (-2)/(-6) a multiple of 2?
False
Suppose 0 = 4*j - o - 238 - 840, 5*j - 2*o - 1346 = 0. Is j a multiple of 5?
True
Let i = -28 + 31. Suppose 0 = i*z - 8 - 37. Does 5 divide z?
True
Let t be 4/8*-3*-30. Let z = 102 - t. Is z a multiple of 7?
False
Let m be ((4 - -1) + -2)*21. Suppose -3*n + m + 207 = 0. Does 20 divide (12/(-9))/((-3)/n)?
True
Let z = 34 - 34. Is 20 a factor of 82 + (z + 0 - 4)?
False
Suppose 17 = -4*x + 1, -1 = -c + x. Let q(t) = 9*t - 5. Let b be q(c). Is 12 a factor of b/24*51/(-2)?
False
Let g be 6 + ((-24)/84 - (-12)/(-7)). Suppose -n + p + 1 = -22, 0 = n + g*p - 28. Is 7 a factor of n?
False
Let n = -1402 - -3219. Is 41 a factor of n?
False
Let n = -1875 + 4413. Is 18 a factor of n?
True
Suppose -2*o - f + 3*f + 524 = 0, -4*f = -3*o + 784. Is 12 a factor of o?
True
Let v be 110/(-4)*(-8)/(-10). Let k = -20 - v. Suppose 3*d - 3*n - 135 = 0, 190 = 4*d + 3*n - k*n. Is 16 a factor of d?
False
Let j = -146 - -1184. Does 9 divide j?
False
Suppose -a = 5*j + 2*a - 34, 4*j = -5*a + 22. Suppose j*h = 378 + 86. Is h a multiple of 15?
False
Suppose r - 3*r + 24 = 0. Suppose -s = -4*s + 5*u, 3*s - u - r = 0. Suppose -2*t - 77 = -s*j + 20, 5*j + t - 94 = 0. Is 19 a factor of j?
True
Suppose 2*r = -5*v - 0*r - 18, 0 = -4*v + 4*r - 20. Let u be (-1 + -5)*(-34)/v. Let c = -29 - u. Is 22 a factor of c?
True
Suppose 0 = 204*n - 231*n + 28296. Does 8 divide n?
True
Let c = 1 + 0. Suppose r - 2*s = -c - 1, 0 = 4*r - s - 20. Is 3 a factor of r?
True
Is 3 a factor of (10/3 - 4)/(5/(-180))?
True
Let o be (-7 + 4)*3/(-9). Is (3 - (o - -1))*15 even?
False
Suppose 3*m - 12 = 3*l, 6*l = l + 5. Does 16 divide (2/5)/((-3)/(-600)*m)?
True
Suppose -5*r = 0, 3*f = -2*r + 387 - 51. Suppose -307 = -u - 3*u + 3*t, -5*t = 3*u - 223. Let q = f - u. Is q a multiple of 21?
False
Does 11 divide 1 + (-22)/26 - 869/(-13)?
False
Suppose 1499 = 4*h - 9*p + 4*p, 0 = 4*h + 4*p - 1544. Does 18 divide h?
False
Does 9 divide -4 - (-3 + 3 - (434 - 0))?
False
Let p(r) = 11*r**2 - 4*r + 8. Is p(-4) a multiple of 21?
False
Is 35 a factor of 315/(-4)*(-40)/15?
True
Let x(h) be the second derivative of h**4/6 + h**3/3 - h**2/2 - h. Let s = -1 + 3. Is 4 a factor of x(s)?
False
Let q = -57 - -329. Is q a multiple of 17?
True
Let d = -645 + 1527. Is d a multiple of 63?
True
Let y = -69 + 495. Is y a multiple of 16?
False
Let v(b) = -b**3 + 4*b**2 + 7*b - 8. Let w be v(5). Let h(n) = -n**2 + 8*n - 3. Let r be h(7). Suppose 0 = 4*p + 8, -z + r*p + 107 = w*z. Is z a multiple of 11?
True
Let i = 219 + -440. Let s = -149 - i. Does 12 divide s?
True
Suppose 0 = -5*d - 5*j + 15305, 114*d - 3*j - 15289 = 109*d. Is 19 a factor of d?
True
Let r be 28/(-42) + 17/3. Suppose 3*n - 4*g - 54 = -g, -r*n + g + 70 = 0. Is 4 a factor of n?
False
Let v be (-936)/(-32) - (-1)/(-4). Suppose -v = -d - 6. Does 3 divide d?
False
Suppose 5*h = h + 80. Let d = h - -8. Is 9 a factor of d?
False
Does 65 divide (1832 - 4)/4 - 2?
True
Let x be (1 - 1)*(11 + -12). Suppose x = 10*c - 5*c - 180. Does 9 divide c?
True
Let i be -10 - 1*(-8 + 4). Is 6 a factor of i + 9 + (28 - 1)?
True
Is 24 a factor of (-1 - (-7)/(-7)) + 115?
False
Let o = -44 - -63. Let p = o - 19. Suppose p = -4*h - h + 200. Is 11 a factor of h?
False
Let j(w) = 16*w**3 + 8*w**2 - 7*w - 2. Does 16 divide j(3)?
Fal