 12 a factor of c?
True
Let f be 2/((8/4)/4). Suppose -165 = -q - f*q. Is 27 a factor of q?
False
Let m = 12 - 12. Let i be 0 - 24/(-2 - m). Let n = 42 - i. Does 14 divide n?
False
Let u be (-16)/6*(2 + -5 - 3). Does 17 divide (-3080)/u*(-4)/5?
False
Let v(m) = 5*m**2 + 5. Let w be 5*(36/25)/6*5. Is 9 a factor of v(w)?
False
Suppose 164 + 4337 = 7*w. Is w a multiple of 43?
False
Does 35 divide 533 - ((-45)/9 + 5)?
False
Let n be (-5)/(4/32*2). Let s = n + 10. Let a = s + 33. Is a a multiple of 13?
False
Suppose -11 + 71 = r. Is 8 a factor of (7 - 10) + -1 + r?
True
Suppose 492 = -4*v - 0*v. Let g = v - -213. Does 15 divide g?
True
Suppose 0 = -4*l + 3*c + 99, 0 = 2*c - 0*c - 6. Let b = 47 - l. Suppose -q + 19 = -b. Does 13 divide q?
True
Let j(h) = 137*h - 5. Let o be j(-2). Is (52/(-3))/(62/o) a multiple of 13?
True
Let m be ((-2)/3)/(1/(-3)). Let h(d) = -3*d**3 - 84*d**2 - d - 24. Let v be h(-28). Does 8 divide v*((4 - 0) + m)?
True
Let k(p) = p**2 - 5*p - 37. Let w be k(9). Does 9 divide 79 + (-4 + 3 - (-4 - w))?
True
Suppose 5*d = 8*d - 105. Suppose -3*c + 4*o = -216, -2*o + 37 + d = c. Is c a multiple of 18?
True
Let s be (-10 - 492)*(-3 - 0)/6. Let q = s - -32. Is 38 a factor of q?
False
Let j(d) = 4*d - 14. Let r be j(4). Suppose 4 = -r*t, 8*g - 3*g + 2*t - 1271 = 0. Is 30 a factor of g?
False
Is 2 a factor of 6/30 + (-34)/(-5) + 3?
True
Let a(n) = -4*n**2 + 10 + 9 + 5*n**2 - 9*n - 8. Let z be a(13). Suppose 0 = -5*i - l + z, -3*l = -4*i + 2*l + 33. Is i a multiple of 12?
True
Let t(o) = -o**3 + 6*o**2 + 7*o + 6. Let d be t(7). Suppose -f - r = -d*r - 42, 3*f - 2*r = 74. Suppose z - f = -0. Is z a multiple of 11?
True
Let x be 284/3 + (66/(-18) - -4). Suppose -x = -4*d + 17. Is d a multiple of 16?
False
Let u = 9 - 8. Let j(p) = p**3 - p**2 + p - 1. Let k(y) = -6*y**3 + y**2 + 2*y + 11. Let g(f) = u*k(f) + 5*j(f). Is 12 a factor of g(-6)?
True
Let v(j) = 5*j**3 + 15*j**2 - 5*j + 3. Let o(q) = -11*q**3 - 31*q**2 + 11*q - 6. Let u(z) = 4*o(z) + 9*v(z). Let a be u(-11). Let t = a + -6. Does 4 divide t?
True
Let k(n) = -n - 21. Let j(t) = -1. Let x(a) = -3*j(a) - k(a). Is 8 a factor of x(0)?
True
Let m(b) be the first derivative of b**2 - 1 + 2*b - 1/4*b**4 + 4/3*b**3. Does 5 divide m(4)?
True
Let u be ((-128)/(-12))/4*3. Suppose -z + u = -0. Suppose z*d - 48 = 5*d. Is d a multiple of 8?
True
Let j(b) be the third derivative of b**6/120 + 11*b**5/60 - 5*b**4/8 - 11*b**3/3 - 16*b**2. Does 7 divide j(-12)?
True
Let l(u) = -u**2 - 10*u + 2. Let j be l(-10). Let r(f) = -2*f**2 - 3*f - 1. Let x be r(-6). Does 20 divide 4/j*x/(-2)?
False
Let h(q) = 18*q**2 + 9*q - 9. Does 15 divide h(4)?
True
Let a be (3 + -1)/(30/(-675)). Let u = 39 - a. Does 14 divide u?
True
Let j(u) = -137*u + 0*u**2 + 139*u - 2 - u**2 + 13*u**2. Is 6 a factor of j(-2)?
True
Let l = 77 + -196. Let q = -87 - l. Is q a multiple of 4?
True
Let h be (1 - (1 + 1))*-19. Suppose -2*j - 2*w = -6*w + 20, j - 5*w = -19. Is 1 + j + 2*h a multiple of 10?
False
Suppose 15*r - 56034 - 17886 = 0. Does 11 divide r?
True
Let c be (0/(-1) + -1)*5. Is (-1)/c*0 + 32 a multiple of 4?
True
Let y(n) = -n**2 + n + 66. Let u be y(-9). Let v be (-26)/7 - (-2)/(-7). Is u/32 - 55/v a multiple of 2?
False
Let y(q) = -52*q - 10. Let x(n) = 3*n + 12. Let f be x(-5). Is y(f) a multiple of 18?
False
Let c(d) = -23*d - 23. Let b(y) = 333*y + 333. Let v(z) = -5*b(z) - 72*c(z). Let i be v(-4). Suppose q + 10 = 5*n - 0*n, -4*n + i = 3*q. Does 2 divide q?
False
Suppose 9*l - 5*l = -368. Let x = l + 192. Does 14 divide x?
False
Suppose 4*w + 1172 = 4*g, -22 = g + 3*w - 303. Is g a multiple of 19?
False
Let g = -77 + 207. Suppose 0 = 2*p - 110 - g. Is p a multiple of 12?
True
Suppose 3*l + 10 - 1 = -2*h, 0 = -3*h + 3*l + 9. Suppose h = 12*w - 1247 - 553. Does 15 divide w?
True
Let g(y) = 9*y**3 - 3*y + 3. Does 9 divide g(1)?
True
Let z(s) = 45*s + 13. Let i(u) = -22*u - 7. Let t(r) = 7*i(r) + 3*z(r). Is t(-4) a multiple of 29?
False
Suppose -2*c + 263 = -8*d + 7*d, -2*c + 268 = -2*d. Is 43 a factor of c?
True
Suppose -g + 52 = 2*b + 2*g, -g = 3*b - 64. Let k = b - 18. Suppose 3 = z - k*d - 0*d, -d - 19 = -4*z. Does 4 divide z?
False
Let g = -421 - -592. Is 28 a factor of g?
False
Let g(y) = -11*y - 13 - 11 + 4 - 16*y. Does 7 divide g(-4)?
False
Let n be 1/(-2)*-1*(-4 - -4). Suppose 449 = 5*o - n*a + a, 0 = o + 3*a - 87. Is o a multiple of 12?
False
Let x be (-2 + 7)/5 - 23. Let w = 34 + x. Is 4 a factor of w?
True
Let o = -16 + 27. Suppose 0 = -j - 6 + o. Suppose l + p - 2*p = 8, 3*l = -j*p. Is 5 a factor of l?
True
Suppose -o + 14 = -3*o. Let t(u) = 3*u**2 - 9*u - 2. Let q be t(o). Suppose -5*h = -4*x - q, -5*x - 112 = -2*h - 22. Is 11 a factor of h?
False
Suppose -8 = 5*n + 7. Let q be 2/(n - (-461)/153). Is 20 a factor of (-1 + q)/(2 - 0)?
False
Let w = -171 - -399. Suppose m + m + 2*j = w, -5*j - 350 = -3*m. Is m a multiple of 31?
False
Suppose -4*w = -5 - 7. Suppose 120 = 5*o - w*o. Let j = o - 40. Is j a multiple of 10?
True
Suppose q = -32 - 68. Let s = q - -208. Is 18 a factor of s?
True
Let t be ((-10)/(-6))/((-17)/204). Is (t/2)/(1/(-4)) a multiple of 20?
True
Is -3*(-3 + 102/(-9)) a multiple of 43?
True
Let o(r) = -3*r + 357. Does 5 divide o(49)?
True
Suppose -12*v - 4*z = -17*v + 662, -v + 2*z + 136 = 0. Is v a multiple of 9?
False
Let t(x) = 36*x - 51. Let d be t(-16). Does 13 divide (d/(-6))/1 + 6/(-12)?
True
Let m(q) = q**2 - 4*q - 1. Let f be m(5). Is (f - (-100)/(-5))*-1 a multiple of 3?
False
Suppose 2*c - 8 = 4*t + 2, -5 = -c. Suppose t = 3*l + 2*u + 16, 2*u - 10 = 4*l + 2. Is -120*((-36)/8 - l) a multiple of 20?
True
Suppose -120 = 3*r - 5*h, 3*h + 59 - 19 = -r. Let f(t) = -4*t**3 + 4*t**2 - 4*t + 3. Let c be f(2). Let i = c - r. Is i a multiple of 19?
True
Let x(i) = 37*i**2 - 10*i - 28. Is 13 a factor of x(-5)?
False
Suppose -82 + 34 = a. Let o = a + 92. Suppose 0 = -2*z + 4*z - o. Is 4 a factor of z?
False
Suppose 2*p = -0*p + 120. Is (-8)/p + (-1444)/(-30) a multiple of 12?
True
Let f be 1/((-3)/(-54)*-3). Let d be ((-8)/f)/(1/(-36)). Is (d/18)/(2/(-12)) a multiple of 5?
False
Suppose -5*o + 90 = -725. Does 16 divide o?
False
Let f be 12/72 - (-53)/6. Let r = 22 - f. Is 5 a factor of r?
False
Suppose -25*k = -19*k - 1134. Is 32 a factor of k?
False
Suppose o - 3*i = 0, -4*o + 1 = -3*o - 2*i. Suppose -12 = -2*w - w - u, -4*w + 3*u + o = 0. Suppose w*q - 27 = 111. Does 14 divide q?
False
Let f(z) = 3*z**2 + z + 11. Let h be f(7). Suppose -5*s - 15 = -h. Let a = -16 + s. Does 7 divide a?
True
Let r be (-1 - 0)*-5 - 923. Let j = -618 - r. Is j a multiple of 20?
True
Let j(d) be the third derivative of -7*d**4 + d**3/2 + 11*d**2. Let t be j(-2). Suppose -5*k + t = 2*r, 2*r = 6*r + 12. Is k a multiple of 20?
False
Let p be 45/55 - 2/(-11). Let s be (-2)/(((-1)/(-2))/p). Is 5 a factor of 67/3 - s/6?
False
Let y be ((-16)/(-6))/((-2)/(-63)). Let r be (58/(-3))/(7/21). Let f = y + r. Is 16 a factor of f?
False
Suppose 0 = -2*f - 0*p - 5*p + 122, 2*f = 5*p + 142. Suppose t - f = 18. Is t a multiple of 14?
True
Let f(a) = -a**3 + 6*a**2 + 8*a - 2. Let m be f(7). Suppose -4*p - 3*i = -123, 125 = 5*p - p + m*i. Is 21 a factor of p?
False
Suppose 0 = 5*n + 10 - 35. Suppose 3*z - 709 = -n*f, 2*f + 5*z - 133 = f. Is f a multiple of 16?
False
Suppose 72*v + 972 = 75*v. Is 12 a factor of v?
True
Suppose 0 = 4*h - 7*h + 6. Let t(u) = 23*u**2 + 2*u + 2. Does 13 divide t(h)?
False
Let y(j) be the first derivative of -29*j**2/2 + 7*j - 12. Is 20 a factor of y(-2)?
False
Suppose 0 = 3*r - 2*y + 38, 0*r + 41 = -3*r + 5*y. Is 20 a factor of 197/6 - r/72?
False
Suppose 5*d + 38 = 3*d. Let c = -17 - d. Suppose 3*v + f - 64 = 0, c*f - 6*f - 8 = 0. Is 11 a factor of v?
True
Suppose -40 = 2*n - 290. Suppose 4*r = 17 - n. Let x = r + 67. Does 6 divide x?
False
Suppose -20*c = -16506 - 35774. Does 32 divide c?
False
Let f(d) = d**3 + 14*d**2 - 17*d - 22. Let n be f(-13). Is n/12*(-12)/(-2) a multiple of 23?
True
Let q(k) = 2*k**2 + 10*k + 3. Let w(i) = -i**2 - 9*i - 3. Let u(y) = 2*q(y) + 3*w(y). Does 7 divide u(10)?
False
Let c(d) be the second derivative of -d**5/20 - d**4/4 + d**3/3 - d**2/2 - d. Suppose 0 = 3*k - 2*v + 20, 0 = -2*k - 3*k + 3*v - 32. Is 3 a factor of c(k)?
False
Suppose 2*b - 18 = 5*n, -3*n + 0*n -