rue
Let l(v) = -v**3 - 6 + 8*v + 8*v**2 - 2 + 2*v + 0*v**3. Let k be l(9). Is 2 + -4 + k - -21 a multiple of 12?
False
Does 6 divide 407/4 - (348/(-48) - -7)?
True
Let a = -926 - -2254. Suppose 2*p + 6*p - a = 0. Is 13 a factor of p?
False
Let m(z) be the second derivative of -z**3/3 - 4*z**2 + 7*z. Is m(-12) a multiple of 8?
True
Let q be (-2271)/(-2 + -1) - (-2)/(-2). Suppose c + q = 5*c. Is 27 a factor of c?
True
Let z be 7/(140/(-408))*-5. Suppose 0 = 5*c - 48 - z. Suppose 4*k = -2*a + c, k - 54 = -2*a + 3*k. Does 10 divide a?
False
Let d be (3168/112)/(2/14). Suppose d = n + 26. Does 46 divide n?
False
Let y be (-3694)/(-11) + (-4)/(-22). Suppose -y = 11*x - 23*x. Is x a multiple of 14?
True
Let g(b) = 184*b - 12. Does 26 divide g(6)?
True
Suppose 3*d - 5*u = 34, -13 = -2*d + 4*u + 13. Suppose p - 15 = 4*p, 0 = 2*k - p - 19. Suppose 41 = d*x - k. Is x a multiple of 4?
True
Suppose -3240 = 456*b - 466*b. Is 54 a factor of b?
True
Suppose -3975 = -5*s - 4*b, 5*b = 4*s - 40 - 3140. Is 22 a factor of s?
False
Let m(q) be the second derivative of -q**6/60 - q**5/60 - 3*q**2/2 + 5*q. Let f(w) be the first derivative of m(w). Is f(-2) a multiple of 12?
True
Suppose -4*g - 5*m + 95 + 1 = 0, 2*g = 3*m + 48. Suppose 0 = 2*l - 4*b - g, -2*l + 3*b + 23 = 3. Does 3 divide l?
False
Suppose -9*y + 36 = -5*y. Let p(h) = 4*h**2 - 4*h - 34. Is p(y) a multiple of 13?
False
Let h be (58/4)/((99/54)/(-11)). Let x = h + 169. Does 12 divide x?
False
Let h(x) = 26*x**2 + 3*x - 6. Let z be h(5). Suppose 137 = y - 2*r, -r - z = -5*y - 4*r. Does 17 divide y?
False
Let y be (-371)/(-77) + 2/11. Suppose -f = 2*z - y*z + 4, 4*z + 4*f - 16 = 0. Suppose -z*x = -3*l + 128, -3*x = 2*l + 2*l - 165. Is l a multiple of 21?
True
Let q(p) = p**3 + 12*p**2 - 21*p + 48. Is q(6) a multiple of 10?
True
Let q = 6 + -3. Let p be (-102)/1*q/(-6). Let j = -24 + p. Is j a multiple of 21?
False
Is 11 a factor of 226 + 13/(91/35)?
True
Let j(w) = 3*w**2 + 3*w - 171. Is j(-23) a multiple of 11?
False
Let h(o) = 2*o**2 + 18*o - 3. Let d be h(-13). Let x be (-4 + 1)/(9/(-12)). Suppose -y = -2*s - 0*y + 53, y = x*s - d. Is s a multiple of 8?
True
Suppose -o - 10*o + 66 = 0. Let y(c) = 4*c**2 - 9*c + 9. Is y(o) a multiple of 19?
False
Let i = 1692 + -780. Does 77 divide i?
False
Let w be -3*(0 + (-129)/9). Let a = w - 19. Suppose -r - 1 = -a. Is r a multiple of 12?
False
Suppose 0 = -29*o + 53*o - 864. Is o a multiple of 2?
True
Let f be 0 - -5 - 2/2. Suppose 0 = 4*j - u - 17, 3*u - 5 = 2*j - f*j. Suppose 2*t - 117 = -2*v - 3*v, -204 = -j*t - 4*v. Does 23 divide t?
True
Suppose 3*q = -8 + 29. Suppose -q*a = -4*a - 36. Does 10 divide a?
False
Let k(m) be the first derivative of m**3/3 - 2*m**2 + 39*m - 28. Is 15 a factor of k(7)?
True
Let t be ((-8)/6)/(2/(-6)). Let y be (-6)/9 + (-370)/30. Let r = t - y. Does 17 divide r?
True
Is 27 a factor of -1*(1/(-2))/((-12)/(-11640))?
False
Suppose -5*b = -b. Let h be b/(12/4 - 1). Suppose 3*o + o - 96 = h. Is o a multiple of 8?
True
Does 14 divide 276 + -1 + 1/1?
False
Let c(i) = -i**2 - 28*i - 49. Suppose 23 = -3*v - 31. Is c(v) a multiple of 31?
False
Let h be 2/8 - 46/(-8). Suppose -5*m + 21 = h. Is 9 a factor of (m/(-9))/(3/(-162))?
True
Let i(k) = -k**3 + 9*k**2 - 16 + 0*k**3 - 14*k - 12*k + 2*k**3. Is i(-11) a multiple of 4?
True
Let x = 27 + -43. Let l be 2*46*(-20)/x. Let f = l - 46. Is 14 a factor of f?
False
Let j be (-8)/(-3)*24/16. Suppose 2*h - 1 - 10 = -s, -3*h + j*s = -11. Suppose -3 = -2*w - w, h*y + 4*w - 139 = 0. Is 9 a factor of y?
True
Suppose 66*i + 1862 = 73*i. Is 38 a factor of i?
True
Let s be -1*41*(2 + -3). Let d = -109 - s. Is 4 a factor of d/(-12) - 1/(-2)?
False
Suppose 16*w - 2512 = -496. Does 11 divide w?
False
Let o = -63 - -32. Let w = o - -84. Is w a multiple of 14?
False
Suppose -1128 = -5*s - 3*y - 0*y, -4*s - y = -908. Is 38 a factor of s?
True
Let y(k) = k**3 - 39*k**2 - 39*k + 24. Is 4 a factor of y(40)?
True
Suppose -5*o = -3*o - 5*v - 32, -2*o - 5*v - 8 = 0. Suppose o*x = 4*x. Suppose -2*l - 10 + 132 = x. Is 13 a factor of l?
False
Let s = 15 + 0. Suppose 5*j + 2*i + 5 = 14, -10 = -2*j - 4*i. Is j/(-1 + 18/s) a multiple of 4?
False
Suppose 7*g + 3 = 17. Is 22 a factor of -7 - (-4580)/25 - g/10?
True
Let p(j) = 2*j**2 - 7*j + 166. Is p(24) a multiple of 9?
False
Suppose x - 9 = 4*x + i, -5*x - 15 = 3*i. Let t be (8 - (-3 + 3)) + x. Suppose 0 = -3*d + 4*n + 146, 4*d - t*n + 108 - 301 = 0. Is 16 a factor of d?
False
Suppose -3*l = -0 - 6. Suppose l*f + f = -27. Let h = f - -19. Is 7 a factor of h?
False
Suppose -4*c - 940 = -6*c - 5*q, -3*c = q - 1410. Is c a multiple of 47?
True
Suppose -5*d - 10*d = -150. Is 5 a factor of d?
True
Let t = 1127 - 566. Does 51 divide t?
True
Suppose 3*n - 4*p - 2346 = -564, -2*p = -4*n + 2366. Does 6 divide n?
False
Let d = 2518 + -2086. Is d a multiple of 13?
False
Let l(p) = -p**3 - 2*p**2 + 3*p + 2. Suppose 0 = -5*c - 0*c - 15. Let a be l(c). Suppose 39 + 63 = a*u. Is u a multiple of 11?
False
Let u = 1922 + -1411. Does 3 divide u?
False
Let w(t) = -9*t + 10. Let b be w(4). Is 4 a factor of b/(-4) + 6/12?
False
Let c(r) = 13*r**2 + 3*r + 9. Let f be (-45)/(-35) - 1 - (-38)/14. Does 15 divide c(f)?
True
Let w be (-23 + 20)*28/6. Let h be (-12)/42 + 38/w. Is 4 a factor of (1 + -1 - h) + 9?
True
Let r be (-67)/(3*(0 + 4/12)). Let w = 148 + r. Does 9 divide w?
True
Suppose n + 28 = 84. Suppose 2*m - n = -3*b, -9 = -2*b + 4*m + 7. Does 9 divide ((-172)/(-6))/(b/24)?
False
Suppose 0*w = 3*w. Suppose w = -0*o - 4*o + 2*q + 190, 0 = 3*o + 4*q - 137. Does 15 divide o?
False
Suppose -5*o + 900 = -10*o. Let g = -91 - o. Is g a multiple of 24?
False
Let x = 3537 - 2097. Does 30 divide x?
True
Suppose k - 10 - 6 = 0. Let r = k - 15. Does 6 divide (-3*r)/(6/(-20))?
False
Let j = 334 + -330. Does 4 divide j?
True
Let w(x) = x**2 - 3*x - 5. Let v be w(-4). Is (-23)/v*-7*1 a multiple of 2?
False
Suppose -73 - 21 = -2*d. Suppose v + v = 4*x - 144, x - d = -5*v. Does 9 divide x?
False
Let t(y) = 270*y - 1310. Does 5 divide t(6)?
True
Suppose 2*g - 119 = 2*q + 239, 5*g + 372 = -2*q. Let d = -91 - q. Does 15 divide d?
True
Suppose -12 = -0*g + 4*g. Is (6/(-4))/(-6*g/(-48)) even?
True
Suppose -161*v = -159*v - 1860. Suppose 0 = -5*i + 5*p + v, -4*i + p + 271 = -485. Is i a multiple of 19?
True
Suppose 22*j - 26220 = 2*j. Does 23 divide j?
True
Let k(q) = 8*q**2 - 8*q + 172. Is 14 a factor of k(17)?
False
Suppose 56*h - 35271 = -5927. Is h a multiple of 4?
True
Does 50 divide (1141/14 - -2)/((-3)/(-24))?
False
Let h(c) = -c - 14. Let s be h(-7). Is (s + (-31)/(-5))/(1/(-20)) a multiple of 4?
True
Let t be (-2 + 6)/(2/(-3)). Is 5/(20/(-16))*t a multiple of 6?
True
Let n(g) = g**2 + 2*g - 4. Let k be n(3). Let f = k - 7. Is ((-2)/f + 0)*-76 a multiple of 8?
False
Let s = 217 + 59. Is 18 a factor of s?
False
Suppose 27*h - 1549 - 11303 = 0. Is 34 a factor of h?
True
Suppose 0 = -h - 2*r - 1, -16 = -0*h - 2*h + 5*r. Suppose h*l = -6, -5*q + 3*l + 2 = -4. Suppose -w - 4*f + 53 = 0, -w + f = -q*f - 73. Is 20 a factor of w?
False
Is 14 a factor of 2342880/840 - 2/14?
False
Let k be (-57)/6*-6*(-8)/12. Let d = k + 146. Is d a multiple of 15?
False
Suppose 0 = 11*f - 7*f + 12. Let u(g) = -6*g - 9. Does 9 divide u(f)?
True
Suppose w - 8*k + 14 = -5*k, 4 = -2*w - 2*k. Let m = 73 + w. Does 6 divide m?
False
Let c be 430/4 - 9/(-18). Suppose f = 2*s - 20, 3*f - 5*f - 4 = 0. Suppose -12*l + c = -s*l. Is 7 a factor of l?
False
Let g = 35 - 30. Suppose 4*q - 2*s - 126 = -q, -q + 9 = g*s. Suppose -174 = -5*h - q. Does 15 divide h?
True
Suppose -225 = 8*z + 311. Let p = 98 + z. Is 3 a factor of p?
False
Let u be (4/(-3))/((-4)/6). Suppose 6*s - s - f = 16, 0 = u*s + f - 5. Does 13 divide (3/2)/(s/78)?
True
Let t(c) be the first derivative of 3*c**2 - 12*c - 3. Let x be t(6). Suppose -s = i - 0*i - x, 1 = -i. Is 4 a factor of s?
False
Let m = 181 + -37. Let q = m + 76. Suppose q = 5*b - v + 4*v, 5*v - 88 = -2*b. Is b a multiple of 14?
False
Suppose 2*g = -f + 163, 0 = -f - 26*g + 28*g + 143. Is 5 a factor of f?
False
Let h be (6/24)/((-2)/8). Is 13 a factor of (15/9)/(h/(-51))?
False
Let x be 120/18*(-1 - (-5)/2). Let b = 1 + x. Does 2 divide b?
False
Let i(p) = -p**2 - 52*p - 195. Does 26 divide i(-32)?
False
Let l