8/16 a multiple of 41?
False
Let h = 1976 - 1268. Is h a multiple of 14?
False
Let l(v) be the third derivative of v**5/60 + v**4/8 + v**3/6 - 4*v**2. Let s be l(-3). Does 11 divide s + 22 + (3 - 2)?
False
Does 69 divide (-6 - 114)*(-216)/45?
False
Does 5 divide ((-315)/42)/((-6)/16)?
True
Is 57 a factor of (9 + (-4)/(-2))*(-95 + 231)?
False
Suppose -3*i = -0*i + 54. Let q be (1/2)/(4/208). Let s = i + q. Is s a multiple of 4?
True
Let c(i) = -3*i + 32. Let t(k) = -k + 16. Let r(n) = -2*c(n) + 5*t(n). Is 8 a factor of r(0)?
True
Suppose 8 = 4*a, -5*a - 685 = -5*x - 0*a. Does 57 divide x?
False
Let n be 68/51*(-3)/(-4). Suppose -n - 55 = -g. Does 13 divide g?
False
Let c = 1195 + -675. Suppose -13*z + c = -3*z. Is z a multiple of 13?
True
Let h(s) = 6*s**2 + 26*s - 12. Is 64 a factor of h(15)?
True
Let d = 259 + -127. Let z = d + -80. Does 21 divide z?
False
Suppose 4 = 5*b - 4*b. Let l be (-3)/12 + 133/b. Suppose l = 3*z + 5*j + 2, 15 = 3*z - 3*j. Does 2 divide z?
False
Suppose 0 = 2*j + 10, 4*x - 4*j = -2*j - 18. Let a = x - -35. Does 7 divide a?
True
Suppose 8*h = 13*h - 3*a - 413, 69 = h - 4*a. Is 4 a factor of h?
False
Suppose -u = 4*k + 23, -k + 49 - 6 = -3*u. Let q be (10/(-6))/(1/u). Suppose -5 = t - q. Does 9 divide t?
False
Let a(n) = n**2 + 11 + 1 + 0 - 2*n + 0. Is a(6) a multiple of 13?
False
Let j(d) = -4*d**2 + 4*d + 3. Let i be j(4). Is 7 a factor of (-10)/i + 0 + 187/9?
True
Let m = -64 + -20. Let u = -40 - m. Does 11 divide u?
True
Suppose 18*r - 15*r = 4*n + 1229, -5*n = -4*r + 1638. Is r a multiple of 26?
False
Let x(y) = -y**2 + 17*y + 40 + 2*y**2 - 17 - 5. Is x(-21) a multiple of 6?
True
Let q = -8 - -5. Let m = -9 + 8. Does 18 divide m*(-6)/q*-27?
True
Let k(x) = x**3 - 4*x**2 + 3*x. Let g be k(4). Suppose -i - g = i. Is i/(-12)*(-1 - -61) a multiple of 12?
False
Suppose -4*m = 7*m + 22, -m + 3774 = 2*f. Does 12 divide f?
False
Suppose -57*u + 3850 = -35*u. Does 25 divide u?
True
Suppose -12 = -0*v - 3*v. Suppose v*m + 2*m - 966 = 0. Does 27 divide m?
False
Suppose -2*b = -b + 3*l - 12, 5*b = -5*l + 20. Suppose k - 5*k + 180 = b. Is 24 a factor of k?
False
Suppose -4*y + 818 = -442. Suppose 5*x + 4*m = y, 2*x - 128 = -0*x - 2*m. Is 15 a factor of x?
False
Let h = -14 - -17. Suppose 4*x - h*l + l - 358 = 0, 3*x + l = 276. Is x a multiple of 13?
True
Suppose 7*q - 2*q - 229 = -s, 4*s - 868 = -4*q. Suppose 2*z + 5*d - 112 = 8, 3*z - s = d. Does 10 divide z?
True
Let r(y) = -y - 2. Let n be r(-5). Suppose -b - 8 = b - n*u, 5*b = 2*u + 2. Suppose -2*x - 151 = -4*v + x, 3*x - 71 = -b*v. Is 16 a factor of v?
False
Let h = 4048 + -2358. Is h a multiple of 26?
True
Let n = -75 + 77. Suppose 2*l = 5*a + 330, l - 172 = a - n*a. Does 10 divide l?
True
Suppose -21 = -5*l + y, -l - 2*y = -2*l + 6. Let a = -2 + l. Let i = 33 - a. Is i a multiple of 9?
False
Let u be 1 + 0 + 0/(-1). Suppose 0 = 3*q - 1093 + 808. Suppose 3*b + u = -o, -5*o + q = -3*b - 2*b. Does 4 divide o?
False
Is 25 a factor of (42/(-28))/((-6)/796)?
False
Suppose -4*x - 20 = -3*x. Let s(r) = r**2 + 17*r - 22. Does 16 divide s(x)?
False
Let q be (-39)/(-7) + 15/35. Suppose 2*l - q*l - 4 = 0. Is 2*(-116)/(-8) - l a multiple of 15?
True
Let o(n) be the first derivative of -8*n + 0*n**2 + 2/3*n**3 + 2. Is 8 a factor of o(4)?
True
Suppose -2*f + 5*t + 32 = 0, -2*f - 36 = -4*f + 4*t. Suppose -j - 6 + f = 0. Does 10 divide j?
True
Let t be (-122)/6 - (-2)/6. Let z(k) = k**3 - k**2 + k + 845. Let f be z(0). Is 21 a factor of (-1)/4 - f/t?
True
Does 50 divide 1 - 8 - (-119 - 1878)?
False
Let x(j) = 3*j - 2. Let a be (2/(-4))/(1/(-4)). Let s be x(a). Suppose 8 = -4*b, 5*b - 56 = -2*p + s*b. Does 13 divide p?
False
Suppose 0 = 2*u + 1 - 3. Let t(q) = 88*q**2 - 1. Does 8 divide t(u)?
False
Let h(z) = 2*z + 5. Let k be h(0). Suppose -2*l = -0*l, 0 = v + k*l + 201. Is 16/56 + v/(-7) a multiple of 8?
False
Suppose -91 - 44 = 27*m. Let n(g) = -2*g - 7*g + 2*g - 2. Does 11 divide n(m)?
True
Suppose 6*q - q + 5*g = 20, -4*q - g = -16. Suppose 322 = 5*p + f - 356, -3*p = -q*f - 393. Suppose -l + 6*l = p. Is l a multiple of 13?
False
Let c be 476/(-44) + ((-4)/(-11))/(-2). Let l = c + 24. Is l a multiple of 2?
False
Suppose 12 = 3*z, -s - 3*z - 2*z = -22. Suppose -16 = -k - s*u, -3*k - 2*u + 13 = -23. Is 10 a factor of k?
True
Let h = -27 + 54. Let x = h - 12. Does 15 divide x?
True
Let u be (1 + 0)/((-2)/(-12)). Suppose -1200 = -u*v + 12. Is v a multiple of 41?
False
Let h be (2 - 1)*3*(-5 + 4). Is 4 a factor of ((-4)/26 - 92/78)*h?
True
Let q(f) = f**2 + 14*f + 19. Let p be q(-13). Suppose 2*z - 3*d = 30, -z - 5*d - 17 = -p. Is 3/z*-1*-27 a multiple of 5?
False
Suppose 40*b + 684 = z + 43*b, 0 = 4*b + 8. Is 46 a factor of z?
True
Let s(m) = -10*m - 18. Suppose -2*t + 27 = -5*t. Let b be s(t). Suppose 5*q = -2*d + 201, -3*q + q - 5*d = -b. Is q a multiple of 19?
False
Let p be (0 - 0) + 33 + 0. Suppose 5*k + r - 26 = 6*k, 3*r + 83 = -4*k. Let n = p + k. Does 10 divide n?
True
Suppose 0 = q - 2*f + 7, -q + 3*f = -0*q + 12. Suppose 3*p - 4*s = 10 - 44, 5*p + q*s + 18 = 0. Is 4 a factor of (-112)/(-21) + (-4)/p?
False
Let i(h) be the third derivative of 5*h**4/8 + h**2. Let v be i(-2). Let m = 9 - v. Is m a multiple of 13?
True
Let l be ((-18)/45)/(2/(-1320)). Suppose h + j - 88 = -4*j, -3*h + 5*j = -l. Does 9 divide h?
False
Let x be 2 - 1 - (-8 - -4). Is -3 - (-130)/x - 0 a multiple of 23?
True
Let c = -4 - 3. Let g = c + 11. Suppose 11 = 2*w + 5*j + 2, -5*w - g*j = -48. Does 4 divide w?
True
Suppose 4*k - 27 = -79. Let l = k - -15. Let w(y) = 8*y + 1. Is w(l) a multiple of 9?
False
Let b = 808 - -168. Is 16 a factor of b?
True
Suppose 0 = 4*j + j - 540. Let f = j + -52. Does 6 divide f?
False
Let v(k) = -3*k**3 + 15*k**2 - 11*k. Let q be v(4). Suppose 0 = -s + h + 39, 1 = -q*h - 3. Is s even?
True
Suppose -5*z + 23 = 13. Suppose z*x - 354 = -p - 31, -178 = -x + 5*p. Does 12 divide x?
False
Let t(y) = 2*y**2 - 30*y - 147. Does 83 divide t(28)?
True
Let r(c) = -c + 2. Let f be r(-3). Suppose 1 + f = 3*b. Does 19 divide b + (-8)/(-4) - -67?
False
Suppose -10*j + 1737 = -3. Let l = j + -66. Is 27 a factor of l?
True
Let m(z) = z**3 + 7*z**2 - 10*z + 4. Let c be m(-8). Let u = c - 10. Is 5 a factor of u?
True
Let l be (-78)/(-130)*(1 + 0 + 4). Let i(k) = k**2 + 4*k - 12. Is 9 a factor of i(l)?
True
Suppose -j - 5*b + 15 = 3*j, 20 = 3*j - 5*b. Suppose 3*g - 2*v - 12 - j = 0, 1 = 3*g + 2*v. Suppose s = -g*m - 2, -m - 4*m + 6 = 4*s. Does 4 divide s?
True
Let f = -96 + 135. Suppose -3*o = f - 219. Is 4 a factor of o?
True
Let m = 866 + -540. Does 16 divide m?
False
Let y = -47 - -48. Let z be -1 - (3 - 4) - 0. Is (z - y) + (11 - -3) a multiple of 13?
True
Let q = -869 - -2066. Is q a multiple of 21?
True
Let s(a) = -a**2 - a. Let d be s(-2). Is 8 a factor of (-68)/(-1 + d - -1)?
False
Let m(g) be the third derivative of -g**6/120 - g**5/12 + g**4/12 + 11*g**3/6 + 6*g**2. Is 7 a factor of m(-6)?
True
Suppose 21350 = 26*v + 4970. Is 14 a factor of v?
True
Let t = 1401 - 1366. Is 7 a factor of t?
True
Let n(f) = -f**3 + 3*f**2 - 2*f - 3. Suppose 0 = -2*q + 2 + 4. Let s be n(q). Is 26 a factor of (-285)/s - (-8)/24?
False
Let q(l) = l**2 + 5*l + 19. Suppose -3*u = 5*a + 24, -5*u - 5*a = -8*u - 24. Does 43 divide q(u)?
True
Let n(l) = l**3 + 17*l**2 - 18*l + 5. Let y be n(-18). Suppose -3*k = -y*i + 22 - 137, 4*k = 3*i + 168. Is k a multiple of 5?
True
Let h = -104 - -669. Is 22 a factor of h?
False
Let g = 2329 + -1879. Is g a multiple of 45?
True
Is (-31694)/(-10) + (-22)/55 a multiple of 55?
False
Suppose 4*f = 20*f - 2768. Is f a multiple of 5?
False
Suppose 0*j + 2*j - 4*u - 918 = 0, 2*j - 924 = 2*u. Is 6 a factor of j?
False
Does 35 divide (-14763)/(-38) + 1/(-2)?
False
Let d be 28/(-8)*(2 + -8). Does 25 divide d/(-35) - (-1419)/15?
False
Let f = 29 - 13. Let g = f - 33. Let z = g + 35. Is z a multiple of 16?
False
Let z = -65 + 50. Is 43 a factor of (-6)/(-4)*((-17920)/z)/8?
False
Let u = -16 + 20. Suppose 5*b - c = -182, 2*b - 5*b - 100 = u*c. Let n = 64 + b. Is 7 a factor of n?
True
Is 19*1100/8 + (-5)/(-10) a multiple of 16?
False
Suppose -1995 = -o - 0*o. Is 15 a factor of o?
True
Suppose -n + 33 = 5*t, 4*n - 69 = 2*t - t. Does 18 divide n?
True
Suppose 4*u - 2168 = -3*r, -r + 5*u - 36