6 a factor of 52402/224 + (-1)/j?
False
Let o = -8409 - -14405. Is 26 a factor of o?
False
Suppose 5*x - 21729 - 25076 = 0. Is 62 a factor of x?
False
Let s(z) = 11*z**3 - 21*z**2 - 8*z + 9. Let c(o) = -o**2 - 24*o - 123. Let g be c(-8). Is 13 a factor of s(g)?
True
Let b = 72 - 128. Let q = b - -50. Does 9 divide q + (-2844)/(-20) + (-1)/5?
False
Is 2 a factor of 1*(-1502)/(-6) - 102/(-153)?
False
Suppose -2*i + 1788*m + 696 = 1785*m, -3*i - 4*m + 993 = 0. Does 3 divide i?
True
Does 9 divide (-5256)/5*(558/36 + -18)?
True
Suppose 0 = -51*f + 37*f + 56. Suppose 0 = -3*m - 3*x + 1269, -f*x - 435 = -m - 2*x. Does 9 divide m?
False
Let j be (0 + -8)*(-4 - 6/(-2)). Suppose -4*d + 1044 = 4*n, n - j*d - 263 = -11*d. Is n a multiple of 59?
False
Suppose 8*p - 5370 = 5*p. Suppose -121*h + 126*h = p. Does 38 divide h?
False
Suppose 13*g + 228 - 28 = -86. Let v(a) = -10 + 4 + a**2 + 19*a - 9. Is v(g) a multiple of 18?
False
Suppose 11*l = 8*l + 2*b - 40, -64 = 5*l - 2*b. Let j(v) = -4*v**3 - 39*v**2 + 15*v + 24. Is j(l) a multiple of 15?
True
Let t = 2716 - 1410. Suppose 0 = 3*i + 193 - t. Does 34 divide i?
False
Suppose -2*i + 223 = 1855. Let w = -548 - i. Is 67 a factor of w?
True
Let c(x) = 12 + x**3 - 1 - 5*x**2 - 15*x - 2. Suppose -3*u = -6*u - 3, 5*j + 2*u - 38 = 0. Is 8 a factor of c(j)?
False
Let p(m) = -m**3 + 12*m**2 - 20*m - 3. Let v(d) = -d**3 + 7*d**2 + 10*d + 7. Let n be v(8). Suppose -3*a + n = -4. Is 6 a factor of p(a)?
True
Let b(n) = 6*n**2 - 155*n - 23. Let h be b(26). Let y(g) = 53*g + 4. Let w be y(4). Suppose -k = -h*k + w. Does 18 divide k?
True
Let a be 4 + -14 + 60 + -7. Let n be (-1)/3 - 20/3. Let y = n + a. Is y a multiple of 12?
True
Suppose -12 = -w + 3*k, 3*w - w - 15 = 3*k. Suppose w*l = 5*n - 1324, -3*n + 3*l + 0*l = -792. Does 14 divide n?
True
Suppose 186*n - 3632658 - 1079838 = 912702. Is 51 a factor of n?
True
Let m(s) = s**3 - 18*s**2 - 1149*s - 90. Is 15 a factor of m(-26)?
False
Let b(w) be the third derivative of -w**4/2 - w**3/6 + 4*w**2 - 1. Does 6 divide b(-2)?
False
Suppose -15 = 5*j - 25. Suppose 2161 = w + w - l, 0 = -w + j*l + 1088. Is 49 a factor of w?
True
Let o(q) be the first derivative of q**4/4 + q**3/3 - 9*q**2/2 - 4*q - 12. Let i be o(5). Suppose m = 21 + i. Is 39 a factor of m?
False
Suppose h - 204 - 2431 = 0. Suppose -4*k + 11*a - 7*a + 2636 = 0, 4*k - h = 5*a. Does 25 divide k?
False
Let l be (-1 - -57)/2 - 1. Let z be (9 + -4)*3528/140. Let d = l + z. Does 17 divide d?
True
Suppose -15*b - 2365 = -4*b. Let g = b - -329. Is 19 a factor of g?
True
Suppose 0 = 11*h - 5806 + 3848. Is 2 a factor of h?
True
Let f = -48 + 93. Suppose -5*y = -5*r + f, y - 3*y - 8 = 0. Suppose w - r*w + 5*n + 460 = 0, -20 = -5*n. Is w a multiple of 12?
True
Suppose c + 3*i = 4978, 0 = -4*c + 4*i + 26596 - 6700. Is 24 a factor of c?
False
Does 19 divide ((-36)/72 - 74167/(-2)) + 5?
True
Let f = -6026 + 7244. Is 29 a factor of f?
True
Is 1330/(-532)*(0 - 2)/(5/398) a multiple of 199?
True
Does 17 divide 5/(-50) + (-1)/(30/(-43863))?
True
Let n(l) = 24*l + 1770. Is n(79) a multiple of 6?
True
Let b(r) = 1703*r - 6047. Is 25 a factor of b(19)?
False
Suppose -2 = -z, -5*o + 354 = -6*o - 4*z. Let u = 1027 + o. Suppose 4*j + j = u. Is j a multiple of 10?
False
Suppose -30 = -5*j + 5*o, -19 = -4*j - o - 0*o. Suppose -285 = -j*q - 4*a - a, -2*q + 114 = -3*a. Let u = q - 45. Does 12 divide u?
True
Suppose 0 = 5*q - 3*h - 170574, -15*q + h = -13*q - 68229. Is q a multiple of 70?
False
Does 138 divide (2568/(-10))/(96/(-5520))?
True
Is 32*186 + (-4)/(5 - 1) a multiple of 78?
False
Let b(x) = -x**2 - 13*x + 17. Let m be b(-14). Suppose m*k + 3*u - 195 = -2*u, 0 = 3*k - u - 177. Does 3 divide k?
True
Let x(d) = 132*d**2 - 10*d + 16. Let b be x(2). Is 15 a factor of b - ((-8)/16 - 3/6)?
True
Let q(v) = 474*v**2 + 57*v - 275. Is 11 a factor of q(4)?
False
Suppose 23129 + 5870 = -20*i + 67*i. Is i a multiple of 13?
False
Let u(o) be the first derivative of -25*o**2/2 - 15*o - 3. Let i = -98 + 96. Is 5 a factor of u(i)?
True
Suppose j - 142408 = -3*k, -4*k + 162357 + 27571 = -5*j. Does 103 divide k?
False
Let c(s) = -s**3 - 13*s**2 + 11*s + 7. Let m(p) = 3*p**3 + 39*p**2 - 34*p - 22. Let b(u) = -11*c(u) - 4*m(u). Let a be b(-14). Is a + -2 + (-4 - -19) even?
True
Suppose -6*l = 71 + 25. Let x(c) = -c**3 - 17*c**2 - 16*c + 14. Let j be x(l). Suppose -19*i + 1170 = -j*i. Is i a multiple of 45?
False
Let w = -84 - -24. Let a = w - -68. Suppose -2 = k - a. Is k a multiple of 2?
True
Let a = -451 - -822. Let z = a + -184. Does 5 divide (z + (0 - 3))/2?
False
Let m(b) = -104*b + 73. Let w be m(-5). Suppose 0 = 3*y + w - 2678. Does 18 divide y?
False
Let f = -628 + 1111. Suppose -111*v = -112*v + f. Is 49 a factor of v?
False
Suppose 0 = 3*w + 109 + 11. Let g = w - -123. Let u = 95 - g. Does 4 divide u?
True
Suppose 0 = 5*y + 10, -c + 1817 = 2*y. Suppose -9029 - c = -14*w. Is 80 a factor of w?
False
Suppose -156*c = 164*c - 9974432 - 1755488. Is c a multiple of 42?
False
Let i(y) = -28 - 15*y + 2*y**2 + 0*y**2 - 3*y**2 - 24. Let b be i(-9). Is (7/b - -2)*6 a multiple of 5?
False
Suppose 5*d - 60 = -5*t, 3*t + 40 = 49. Let o(j) = 2*j**2 - 23 + 3*j + 0*j**2 - j**2. Is 24 a factor of o(d)?
False
Let o be -2*(-3 + 4/8). Suppose 0 = -q + 2*g + 19, -4*q + q - 4*g + 37 = 0. Is q - (4 - o - -3) a multiple of 13?
True
Suppose 6*n = 2*n + 16. Let i be 10 + -1 + (n - 7). Let f(z) = 2*z**2 - 7*z - 3. Is 5 a factor of f(i)?
False
Suppose -a - 1995 + 2387 = 0. Is a a multiple of 14?
True
Suppose 0 = -g + 7 - 5. Suppose 5*d - 15 = g*d. Suppose p = d*p - 252. Is p a multiple of 7?
True
Let x(q) = 2*q. Let u be x(0). Let f be (3/12)/(2/24). Suppose -4*b - k + 83 = u, 6*b = f*b + 3*k + 51. Does 18 divide b?
False
Let v(t) = -9*t - 3. Let z(j) = j**2 + 25*j + 4. Let a(i) = 5*v(i) + 2*z(i). Suppose -2*l = -d - 11 - 4, 0 = -3*l + 15. Is 4 a factor of a(d)?
False
Let x(g) = 2*g**3 + g**2 - 5*g - 4. Let n be x(-3). Let a be 0/((10 + -2)/4). Let z = a - n. Does 29 divide z?
False
Suppose -57*u = -62*u - 4*i + 177103, 4*u - 141748 = 5*i. Is u a multiple of 21?
True
Suppose 332496 = -124*i + 2209112. Is 145 a factor of i?
False
Let c(o) = o**3 + 3*o**2 + 8*o - 26. Let p be c(-7). Let l = p - -299. Is 7 a factor of l?
True
Suppose 2*p = -2*r + 4290, -109*r + 2160 = p - 111*r. Is p a multiple of 54?
False
Let g be 189/36 - 2/8. Suppose 0 = 3*a - 9*n + 5*n - 27, -g*n - 10 = a. Suppose -y = 4*u - 42, 0 = a*y + 6*u - 8*u - 298. Is 29 a factor of y?
True
Suppose -1744 = -2*k - m, -4*k + 70*m + 3496 = 68*m. Does 30 divide k?
False
Is 69 a factor of (-15)/(-10)*-4 - -3805 - 4?
True
Suppose 0 = 5*h + 2*d - 54988, 8*d = 3*h + 10*d - 32988. Is h a multiple of 11?
True
Let x(l) = -697*l**3 + 6*l**2 - 13. Does 13 divide x(-2)?
False
Suppose -17*o = -55*o + 314640. Does 69 divide o?
True
Let i be ((-92)/(-5))/((-2)/(-5)). Let w = 50 - i. Suppose 5*y + w*b - 92 = y, -3*y = 2*b - 72. Is 7 a factor of y?
False
Let b = 146 - 146. Suppose 2*u - o - 165 = -6*o, 3*u - 5*o - 285 = b. Is u a multiple of 12?
False
Suppose -5*g - 303 = 157. Let u = g - -98. Suppose -u*w + 123 = -3*w. Is 41 a factor of w?
True
Suppose -40 + 32 = -2*p. Does 7 divide p/22 + 35309/187?
True
Let l = -215 + 240. Suppose u + 3*m + 326 = 2*u, 0 = -5*m + l. Does 31 divide u?
True
Let j = -3632 - -4396. Is j a multiple of 4?
True
Let s be 3*1 - (17 + -19). Suppose -s*z = 6 + 4. Is 25 a factor of 57/z*80/(-24)?
False
Let r = 909 - 157. Is r a multiple of 16?
True
Suppose -3*p + 99 = -5*b, 0 = 5*p - 18 + 3. Is 21 a factor of 154 - -9*6/b?
False
Suppose 5*h + 2*k + 468 = 0, -2*k = -h - 43 - 41. Let l = h + -253. Does 3 divide (1 - (-9)/(-5))/(46/l)?
True
Let a(v) = v**3 + 0 - 18*v**2 + 96*v + 0*v**2 - 10 + 0. Is a(9) a multiple of 6?
False
Suppose 4*d - 16 = 5*v + 46, -2*v + 58 = 3*d. Does 27 divide (-173922)/(-189) + (-4)/d?
False
Let h(m) = -33*m - 2 + 5*m**2 - 18 + m**2 + m**3. Let q be h(-10). Let r = 210 + q. Does 10 divide r?
True
Suppose -7977 - 4038 = 2*d + v, -4*v + 12 = 0. Is 1 + (d/(-4) - (-20)/(-16)) a multiple of 27?
False
Let j = -9922 - -15792. Does 80 divide j?
False
Suppose 2*l - 55028 = -2*k - 2398, -2*l + 52637 = -5*k. Does 68 divide l?
True
Let v = -5 + 22. Let l = v - 15. Is (95 - 5)*l/4 a multiple