(-366)) a multiple of 12?
False
Let b be (-2178)/90 + 2/10. Is (169/2)/((-12)/b) a multiple of 29?
False
Let k = 63 - 67. Let v(d) = 7*d**2 - 7*d - 1. Is 10 a factor of v(k)?
False
Let v(d) = -4*d - 22. Let r be v(-10). Let l = r - -14. Is 2 a factor of l?
True
Suppose 12*f - 2288 = -f. Is f a multiple of 44?
True
Suppose 10 = -p + 2*p. Let y = p - 5. Suppose 0 = 5*w - 4*a - 53, y*w + 2*a = -a + 39. Is w a multiple of 2?
False
Let i(d) = -4*d**3 + d**2 - d - 1. Let j be 14/21 - 8/3. Let z be i(j). Let g = z + -22. Does 15 divide g?
True
Suppose -2*t - 3*t + 15 = 0. Suppose -t*h - 2*r + 7 = -5, 3*h = -5*r + 21. Suppose 2*m = -v + 57, -m - 5*v = -h*m + 23. Does 9 divide m?
False
Let a = 49 - 44. Suppose 3*j = h - 88, -a*h = -2*j + 5*j - 368. Is h a multiple of 19?
True
Suppose -2*m = 21*m - 9384. Is 8 a factor of m?
True
Suppose -28*q - 274 = -29*q + 5*c, 258 = q + 3*c. Does 40 divide q?
False
Suppose 4*k - 5*r = 15, k = -0*k - 5*r + 10. Suppose -x + 51 = -5*a, 6*x = 2*x + k*a + 204. Is x a multiple of 17?
True
Suppose 0 = -5*c + c + 20. Suppose -8*z + 40 = -0*z. Suppose -z*s + 145 = c*v, -1 + 39 = s - 2*v. Does 8 divide s?
True
Let v(l) = 13*l - 1. Let q be 4/(-8)*-12 - 8/2. Is 5 a factor of v(q)?
True
Let m(f) be the third derivative of -1/60*f**5 + 11/2*f**3 + 0*f + 14*f**2 + 0*f**4 + 0. Is m(0) a multiple of 10?
False
Let v be (1 - 3)/((-6)/36*2). Suppose -v*u = -u - 40. Is u a multiple of 2?
True
Let n be 30/9 - 1/3. Let v = 5 + n. Is 35 a factor of 3/(-12) + 282/v?
True
Does 7 divide (1431/36)/(1/4)?
False
Let x(j) = 2*j**2 + 12*j + 27. Does 51 divide x(12)?
True
Let t be (16/(-10))/((-4)/10). Let x = t + 1. Suppose -3*c = m - 110 - 28, 230 = x*c - 5*m. Does 23 divide c?
True
Suppose -9*v = -4*v - 1075. Let l = -63 + v. Suppose l = 3*c + 2*f - f, -3*c + 168 = -3*f. Is c a multiple of 26?
True
Let n(a) = -3*a**3 + 5*a**2 - 3. Let d(w) = -4*w**3 + 5*w**2 - w - 4. Let t(v) = -2*d(v) + 3*n(v). Is 18 a factor of t(4)?
False
Let v = -151 + 319. Is v a multiple of 2?
True
Suppose -10*t + 2475 = 115. Does 4 divide t?
True
Let c = -2 + -2. Let h be 1/c + (-102)/(-24). Suppose -2*b + 2*i - 4 = -60, h*i = -16. Is b a multiple of 12?
True
Let i(s) = -s**2 + 12*s + 7. Let m be i(8). Is 13 a factor of m/(-4 - -4 - -1)?
True
Let z = 6 + -4. Suppose 0*b + z*b = -3*d - 10, 0 = -2*b + 2*d + 10. Suppose 21 = c - b. Is 11 a factor of c?
True
Suppose -t - 5*o = 48, -t - 12*o - 3 = -16*o. Suppose -w - 2*y - 18 = 0, 3*w = -0*y - 2*y - 34. Let c = w - t. Is c a multiple of 5?
True
Let n = 62 - 26. Is 4 a factor of n?
True
Let b(r) = 14*r + 7. Let u be b(-3). Let t be (18/(-21))/(5/u). Is 196/10 - t/(-15) a multiple of 20?
True
Let x(q) = 23*q**2 - q**3 - 1 - 23*q**2. Let c be x(-3). Suppose c + 150 = 4*d. Does 14 divide d?
False
Let n(o) be the first derivative of -o**4/4 + o**3 + 5*o**2 - 8*o - 10. Is 16 a factor of n(4)?
True
Let q(a) = 3*a - 19. Let v be q(4). Let y be 4 - 0/(0 - -2). Let h = y - v. Is h a multiple of 5?
False
Let i = 53 - 37. Let j(b) = -4*b - i*b + 37*b. Is j(1) a multiple of 17?
True
Let c = 107 + -32. Let y(x) = x**3 + 7*x**2 - 9*x + 12. Let z be y(-8). Suppose -c = -5*f + v, 53 = 3*f - 3*v + z. Is f a multiple of 4?
True
Let x(w) = w**3 + 11*w**2 - 32*w - 38. Does 10 divide x(-13)?
True
Let q(s) = s**3 - 20*s**2 + 31*s + 12. Does 16 divide q(19)?
True
Let j = 35 + -41. Let o be (-3 - 27)*(-2)/(-2). Is (j/15)/(2/o) a multiple of 6?
True
Suppose 0 = 4*d - 2*u - 57 - 365, 2*d - 193 = -5*u. Suppose 3*h + 156 = 4*c, 3*h - 2*h - d = -3*c. Is 18 a factor of c?
True
Suppose 0 = 3*f - 7*f + 4*p + 312, 0 = -5*f + p + 374. Is f a multiple of 7?
False
Let y = 16 + -10. Let d(w) = w**2 + 8*w + 1. Is 17 a factor of d(y)?
True
Let d(i) = i**3 - 3*i**2 + 5*i - 3. Let h be d(6). Let w be (-6)/7 - (-4)/(-28). Is 15 a factor of h/3*(2 + w)?
True
Let f(v) = -v**2 - 1 - 14*v - 4 + 24. Let c be f(-15). Does 7 divide 33/c*(-12)/(-9)?
False
Let m = 500 + -269. Is 21 a factor of m?
True
Suppose -2*q + 2 = 0, -5*q = -5*n - 259 + 2134. Is 3 a factor of n?
False
Does 60 divide ((-8636)/306)/(2/(-9))?
False
Let u = 1728 - 529. Is 11 a factor of u?
True
Suppose 4*x = -5*u + 3*u + 12, -3*u + 3*x = 0. Suppose u*p + p - 210 = 0. Does 14 divide p?
True
Suppose -90 - 110 = -4*r. Suppose x + 6 = 3*p, -4*x - x + r = 5*p. Is x a multiple of 3?
True
Let z = 524 - 253. Suppose -4*m + 3*f + z = 4*f, 5*m + 5*f - 335 = 0. Does 17 divide m?
True
Let z(n) = n**2 + 20*n + 56. Is 34 a factor of z(-37)?
False
Let d(m) = 13*m**2 + 51*m - 48. Let j(h) = -3*h**2 - 13*h + 12. Let f(y) = 2*d(y) + 9*j(y). Let p(s) = 6*s + 3. Let t be p(-3). Is 4 a factor of f(t)?
True
Let s be (-6)/(-2) - (-12)/(-8)*-86. Suppose 4*j + 4*l = 608, -s = -j - 2*l + 22. Is j a multiple of 15?
True
Suppose -5*k + 611 = f, 30*f - 31*f = -3*k - 619. Does 8 divide f?
True
Let k(m) = m**2 - 6*m + 7. Suppose 5*d = -4 + 29. Let x be k(d). Suppose -i + 171 = x*i. Is 19 a factor of i?
True
Suppose 0 = -7*z + 8354 + 6570. Is z a multiple of 52?
True
Let p(g) = -g**3 - 5*g**2 + g + 8. Let a be p(-4). Let t be 6*1 + 24/a. Suppose -2*k = -t*m - 76, -2*k - 35 = -3*k + 3*m. Is 11 a factor of k?
True
Let t = 622 - 369. Is 44 a factor of t?
False
Suppose 4*f - 120 = -4*b, 2*f - 84 = 4*b - 228. Is b a multiple of 3?
False
Let z(f) = -3*f. Let c be z(-22). Let t be -3 + 3 - (-185 + -1). Suppose c - t = -2*s. Does 40 divide s?
False
Let q(v) = -v + 13. Let c be q(9). Suppose -3*o - o + c = 0. Suppose -5*u - 2*n = -437, -2*u + 5*n + 199 - o = 0. Is u a multiple of 18?
False
Suppose 320 = -5*i - 2*m, -5*m = -3*i - 44 - 117. Let l = 266 + i. Is 45 a factor of l?
False
Let t(o) = 10*o**2 + 7*o - 12. Let z be t(6). Suppose u = -u + 5*s + 179, 5*u - s - z = 0. Is u a multiple of 33?
False
Suppose -66 = -c - c. Suppose 4*i - c = -5. Is 2 a factor of i?
False
Let z(c) = c**2 + 3*c - 2. Let n be z(-5). Suppose -2*m + 4*d + 12 = 0, m + m - 11 = 3*d. Let w = m + n. Does 6 divide w?
True
Let p(l) = -l - 5. Let a be p(-20). Let t(k) = k**2 - 12*k - 13. Does 16 divide t(a)?
True
Let x = -136 + 136. Let z(k) = -2*k - 9. Let h be z(-8). Suppose -3*o + h*o - 164 = x. Does 7 divide o?
False
Let f(y) be the third derivative of 5/3*y**3 - 1/24*y**4 + 1/30*y**5 + 0 + 0*y - 2*y**2. Is 21 a factor of f(-6)?
False
Let f = 1303 + -1227. Is 3 a factor of f?
False
Let r = -96 - -60. Let d = r + 58. Suppose 50 = 2*b - 2*u, 2*b = 5*u + 63 - d. Does 10 divide b?
False
Suppose 2*v = 5*v + 5*a - 1459, 2*v + 5*a - 976 = 0. Is v a multiple of 7?
True
Suppose -5*n + 154 = 34. Suppose 11*r = 30 + 36. Let d = n - r. Is 18 a factor of d?
True
Suppose 5*k + 5*u = 205, 4*u = k - 50 + 14. Is 2 a factor of k?
True
Is (5 - 134)*(-3 + 4 + -9) a multiple of 23?
False
Let n be 16/(112/33) + (-4)/(-14). Suppose -b = 4*v + 7, -2*b + 3*b + 5*v = -10. Suppose -y = -n*y - w + 35, 4*y - b*w - 41 = 0. Is 5 a factor of y?
False
Let i(x) = -17*x**2 - 2*x**2 - 11 + 3*x**3 - 25*x - 17 - 4*x**3. Is i(-18) a multiple of 29?
False
Let k be (-10 + 9)/(1*-1). Suppose -4*n - 3 - k = 0, 87 = s + 4*n. Suppose -58 = -3*o - t, -17 = 4*o + 2*t - s. Is 7 a factor of o?
True
Let u(q) = q - 1. Let c(x) = -134*x**2 + 2*x - 4. Let a(d) = -c(d) + 3*u(d). Does 19 divide a(-1)?
False
Suppose 2*o - 15*o = -2210. Is o a multiple of 17?
True
Let s be -30 + 36 + 2 + (1 - 1). Let u(t) = 79*t - 2. Let y be u(2). Suppose s*x = 11*x - y. Does 26 divide x?
True
Let t(n) = -3*n - 2. Let d(p) = p**2 - 3*p - 3. Let c be d(3). Let v be t(c). Let a(b) = 4*b + 2. Does 9 divide a(v)?
False
Let c(s) = 2*s**3 - 2*s**2 + 3*s. Let q be c(2). Let j be 6/(-21) + 956/q. Suppose 5*b + 77 = -u + 441, -5*u + j = b. Is b a multiple of 32?
False
Suppose -3*n + 2*n = -2*q - 5, 3*n = -4*q - 5. Let s(j) = 4*j - 11. Let u(t) = t. Let h(y) = n*s(y) + 5*u(y). Is h(6) a multiple of 10?
False
Let j = -107 - -111. Suppose 0 = -2*o + 3*g + 323, j*o - 5*g - 250 = 395. Is 40 a factor of o?
True
Is (22/5 - 0)*15010/79 a multiple of 4?
True
Let i(r) = r**2 - 13*r + 18. Let s(z) = z**3 - 13*z**2 - 15*z - 9. Let k be s(14). Let h = k + 35. Is i(h) a multiple of 3?
True
Let f(q) = -2*q - 12. Suppose -3*d + w = 38, -4*d = 2*w - 6*w + 64. Let p be f(d). Is 144/p - 2/5 a multiple of 11?
False
Suppose -21*k = -23*k + 146. Is k a multiple of 53?
False