 Is 9 a factor of b?
True
Let u(z) = 24*z**2 - 2*z - 44. Is 18 a factor of u(-5)?
False
Let p(w) = 14*w + 458. Does 17 divide p(-6)?
True
Is 6 a factor of 0 - -133 - ((-28)/(-4) + -1)?
False
Let w = 310 + -112. Let n = w + -84. Suppose 82 = 3*d + u + 4*u, 0 = -3*d + 3*u + n. Does 16 divide d?
False
Is 8 a factor of (-4)/(-6) + 253/33*44?
False
Suppose -p + 5 = 1. Suppose -h + p = -8. Suppose -24 = 9*x - h*x. Does 4 divide x?
True
Let h be 1324/5 - 28/35. Suppose -5*k - 24 + h = 0. Is 8 a factor of k?
True
Let l(m) = -56*m - 63. Let q be ((-1)/(-2))/(2/(-24)). Is l(q) a multiple of 13?
True
Suppose 43 = -6*j - 41. Let a = 45 + j. Is a a multiple of 7?
False
Let z(w) = 4*w. Let s be z(-1). Let m = s - -10. Let k(o) = o**2 - 2*o + 7. Is k(m) a multiple of 13?
False
Suppose 5*d - b = 5804, 3*b = 2*d + 6*b - 2308. Does 58 divide d?
True
Suppose -4*s - 1920 = -4*q, -9*q = -10*q - s + 472. Is q a multiple of 34?
True
Suppose -2*f + 81 = -5*f. Is 5 + f/5 + 797/5 a multiple of 53?
True
Suppose 4*u + 0*p = 4*p + 48, -5*p = 2*u + 11. Suppose -u*c - c = -480. Is c a multiple of 13?
False
Let t(l) = -l**2 + 2*l - 77. Let r be t(0). Let y = -40 - r. Is 3 a factor of y?
False
Let z = 49 + -46. Suppose z*b + 90 = 4*w, -3*b + 23 - 92 = -3*w. Is 21 a factor of w?
True
Suppose 0 = -10*w + 7001 + 2199. Is w a multiple of 10?
True
Let p(g) = -6*g + 6. Let m(r) = -11*r + 12. Let b(n) = 3*m(n) - 5*p(n). Let f be (5/3)/((-12)/36). Is 21 a factor of b(f)?
True
Let g(p) = -p**2 - 7*p - 8. Let k be g(-4). Suppose k*v + 12 = 0, 2*j - 2*v = -3*v + 31. Let s = j - -23. Is 6 a factor of s?
False
Suppose 2*n - 8 = 0, -4*q = 13*n - 8*n - 308. Is 18 a factor of q?
True
Suppose 0 = 3*v + 10 + 62. Is (80/v)/(2/(-36)) a multiple of 20?
True
Let b(x) = 2*x**3 - 13*x**2 + 14*x - 15. Does 15 divide b(10)?
True
Let a(d) = 2*d + d + 5*d - 9 - 5*d. Let o be a(10). Suppose 105 = 5*p - 5*m + m, o = p + 3*m. Does 6 divide p?
False
Let v = -14 - -17. Suppose -5*z + 195 = 4*q, 0 = -z - v*z + 2*q + 130. Is 7 a factor of z?
True
Let t(a) = -8*a + 1. Let k be t(-7). Suppose -3*y + k = 3*m, 3*y = -2*m - 0*m + 35. Does 16 divide m?
False
Let a = 64 - 76. Does 17 divide (-2)/(-8) + (-1017)/a?
True
Suppose 8*t = 7*t + 3. Let w(n) = t - 4*n - 3*n + 2*n - 8*n. Does 38 divide w(-4)?
False
Let s(h) = 33*h**3 - 6*h**2 - 6*h + 7. Let d(z) = 99*z**3 - 17*z**2 - 17*z + 20. Let x(p) = 6*d(p) - 17*s(p). Suppose -m = -6 + 5. Is x(m) a multiple of 15?
False
Let o(q) = 77*q + 14. Let w be o(1). Let k(y) = -5*y**2 - 4*y + 1. Let l be k(-4). Let i = w + l. Is 7 a factor of i?
True
Let y(n) = 7*n**3 + 2*n**2 - 1. Let c be y(1). Suppose 0 = 5*s - 7 - c. Suppose -s*r - r + 254 = -2*t, 0 = r + 3*t - 67. Does 16 divide r?
True
Let b(o) = -o - 19. Let f be b(-4). Is 9 a factor of 9/f + 408/5?
True
Let r = -19 + 19. Let y(v) = -v**2 + 3*v + 48. Does 13 divide y(r)?
False
Suppose 3*b - 75 = b - q, -2*b + 3*q = -79. Suppose 5*a = -17 - b. Let u = a - -35. Is 6 a factor of u?
True
Let q(l) = l**2 - 7*l + 336. Is 9 a factor of q(21)?
True
Let x be 0/2*(-4)/8. Suppose 2*i - 5*i + 279 = 3*l, x = 5*i - 5*l - 445. Is 10 a factor of (-11)/(-44) - i/(-4)?
False
Let h = 18 + -14. Suppose -16 - 44 = h*s. Is (-12)/(6/(-2)) - s a multiple of 6?
False
Let t(u) = 14*u + 227. Does 61 divide t(23)?
True
Is 105*16/72*(-18)/(-7) even?
True
Let l = -405 + 698. Is l a multiple of 3?
False
Suppose 11286 = 28*f - 17*f. Is 38 a factor of f?
True
Suppose -40*t = -8805 - 20595. Does 15 divide t?
True
Let j(r) = -6*r - 2. Let l be j(-1). Let w = l - 2. Suppose 1 = 3*n + w*t - 13, -3*t = -12. Does 2 divide n?
True
Suppose -1921*m + 260 = -1911*m. Does 17 divide m?
False
Suppose 17*t = 5*t + 7800. Is 65 a factor of t?
True
Let n(w) be the third derivative of -w**4/8 + 2*w**3/3 + 6*w**2. Does 40 divide n(-12)?
True
Let v = 249 - -381. Does 30 divide v?
True
Let z(s) = s**3 - s + 3. Suppose -4*q + 28 = -4*f, 5*q - f = -3 + 22. Let l = q - 3. Does 3 divide z(l)?
True
Let s be 2*3*(-2)/(-6). Suppose -s*t - 30 = -7*t. Is 19 a factor of ((-114)/(-4))/(t/8)?
True
Let r(p) = 2*p**2 + 15*p + 74. Is r(-10) a multiple of 5?
False
Let q = 640 + -476. Is 3 a factor of q?
False
Suppose -7*h + 4*h = -2*i + 1490, -2970 = -4*i + h. Does 16 divide i?
False
Let g(y) = 48*y - 80. Is 34 a factor of g(31)?
False
Let m = 56 + 33. Suppose 2*q + 21 - m = 4*d, -4*d - 116 = -4*q. Does 12 divide q?
True
Let p(w) = 7*w**2 - 5 - 14*w - 2 + w**3 + 2 + 3*w. Let c(f) = f**3 - f**2 - 4*f - 4. Let i be c(-2). Does 17 divide p(i)?
False
Suppose 6*b - 4*b = -3*k + 7, 3*k + 4*b + 1 = 0. Suppose -k*f = 5*d - 35, 4*f = -d - d + 24. Suppose q + 3*w - 1 = 0, -f = -3*w + 4*w. Is q a multiple of 5?
False
Let t be 14/63 + 313/9. Let v be (t + 1)*1/2. Suppose 9 + v = c. Does 11 divide c?
False
Does 15 divide ((-480)/(-1))/((-18)/(-27))?
True
Let x(y) = y**2 + 3*y - 10. Let b be x(7). Suppose -5*a + b = 2*f, -3*a - 4*f = -6*a + 62. Suppose 0 = 9*s - a*s + 155. Does 31 divide s?
True
Suppose 5*y - 921 - 529 = 0. Suppose -y = -h - h. Is 13 a factor of h?
False
Let w = -25 + 54. Suppose 3*t - w = -11. Is 3 a factor of t?
True
Suppose -4*x - 3*u = -5*x + 43, 0 = 4*x + u - 146. Is x even?
False
Let c(t) = t**3 - 3*t**2 - 4*t. Let b be c(4). Suppose -3*u + 180 = -b*u. Suppose 5*l = 65 + u. Does 13 divide l?
False
Suppose -3980 = -5*m + 5*h, -2*m + h = -0*h - 1591. Suppose v - m = -2*v. Suppose 3*p + 2*p = v. Is 15 a factor of p?
False
Let t(f) = 59 + 5*f - 8*f + 4*f. Is t(-20) a multiple of 3?
True
Let m = -40 - -48. Let q = 20 + m. Is 4 a factor of q?
True
Does 20 divide 886*(-6)/48*-8?
False
Is 26 a factor of 1/(-1 - (-1500)/1495)?
False
Suppose -q = -0*q - 88. Suppose -2*t + 23 = -k - 62, q = 2*t - 2*k. Is 7 a factor of t?
False
Let v be -2 + 3/(15/130). Let r = v + -20. Is 4 a factor of r?
True
Is 4 a factor of (64/(-24))/(8/(-156))?
True
Suppose -85 = 10*f + 85. Let h = 34 + f. Is h a multiple of 8?
False
Suppose -z - 7*g + 4*g = -2259, 2264 = z + 4*g. Is 51 a factor of z?
True
Suppose 2*l + l = 6. Suppose 2*r - 5*x = 27, 3*r + 14 = l*r - 3*x. Suppose -3*u - r = -31. Is 5 a factor of u?
True
Is ((-19)/2)/(21/(-2058)) a multiple of 9?
False
Let y(j) = 4*j**3 - 3*j**2 - 2*j + 6. Let u be y(2). Suppose -u*s + 21*s = -78. Does 7 divide s?
False
Is (-70656)/(-528) - (-4)/22 a multiple of 19?
False
Let r(s) = s**2 - 3*s - 27. Let q be r(-11). Let y = 53 + q. Is y a multiple of 27?
False
Suppose 656 = 2*k - 4*f, f = -115*k + 116*k - 332. Is 4 a factor of k?
True
Suppose 59*j = 50*j + 504. Is j a multiple of 14?
True
Let j(p) = p + 8. Suppose 0 = -3*u + 5*f + 7 - 0, -3*u - 3*f - 33 = 0. Let z be j(u). Suppose -5*h + 65 + 36 = z*n, -3*n - 5*h = -159. Does 22 divide n?
False
Is 83 a factor of 13/((-715)/154)*415/(-2)?
True
Suppose 0*i = i - u - 16, 4*u = -4*i + 104. Let q = 25 - i. Does 3 divide 3 + q/(-1) - -14?
False
Let n(s) = -s**3 + 7*s**2 - 4*s - 7. Let j be n(6). Suppose -2*b + 0*b = -j*h + 13, 2*b + 19 = -h. Let t = 25 + b. Does 8 divide t?
True
Let r(w) = 19*w**3 + 3*w**2 - w - 4. Is r(3) a multiple of 13?
True
Suppose -6*u + 304 = 2*u. Does 6 divide u + -2 + -4 + 7?
False
Let h = 42 + -39. Is 37 a factor of (-6)/h*((-545)/10 + -1)?
True
Let u = 72 - -908. Is 28 a factor of u?
True
Let s = -135 - -379. Does 20 divide s?
False
Let r = -113 - -243. Suppose 0 = -g - g + r. Is 13 a factor of g?
True
Suppose -670 = -3*v + 5*o, 5*v = o + 1301 - 199. Suppose v = -5*p - 5*k, -3*p = k + 4*k + 122. Let b = 112 + p. Does 21 divide b?
True
Suppose 9*a - 6720 = -19*a. Suppose 211 = -4*j - 193. Let u = a + j. Does 29 divide u?
False
Let w(b) = -b**3 + 9*b**2 + 8*b - 20. Let m be w(9). Let u = m - 42. Does 4 divide u?
False
Let u(a) = -a**3 + 5*a**2 - 4*a + 2. Let d = -4 + 8. Let f be u(d). Is 5 a factor of 18 + f/(-2)*1?
False
Suppose 4*v + 8 + 37 = -i, 0 = -4*i - v - 255. Let j = -15 - i. Is 5 a factor of j?
True
Let a(x) = -26*x**3 - x**2 + 2*x - 1. Let t be a(1). Let v = t - -55. Suppose -21 - v = -5*l. Does 8 divide l?
False
Let c(z) = -z**3 + 28*z**2 + 28*z - 210. Is 93 a factor of c(18)?
True
Suppose -10*l + 5472 = 2*l. Is 3/7 + l/14 even?
False
Suppose 3 - 79 = 19*x. Suppose 0 = a + a + 72. Is 9 a factor of (2/x)/(2/a)?
True
Suppose -2*z + 6080 = y, 20*z = 21*z - 2*y - 3040. Is 16 a factor of z?
Tr