 factor of s?
False
Suppose t = 4*d + 3*t - 3530, -t + 1 = 0. Is 7 a factor of d?
True
Suppose -8*a = -a + 182. Let k = a - -60. Is 25 a factor of k?
False
Let c(s) = s**3 - 5*s**2 - 2*s - 8. Let m be c(8). Suppose 7*j - m = 273. Is j a multiple of 9?
True
Suppose -5*r - 2*g + 1942 = 0, 38*g = -2*r + 37*g + 776. Is r a multiple of 2?
True
Suppose 10*l + 3120 = 16*l. Does 131 divide l?
False
Suppose -4*p - 11*v = -13*v - 220, -3*p + 4*v + 155 = 0. Does 2 divide p?
False
Is 8 a factor of ((-1337)/21)/((-3)/18)?
False
Suppose -81432 = 23*g - 59*g. Does 29 divide g?
True
Let z(t) = 8*t**3 - 56*t**2 - 31*t - 43. Let o(i) = -3*i**3 + 19*i**2 + 10*i + 14. Let g(k) = -11*o(k) - 4*z(k). Is 5 a factor of g(-14)?
False
Let z(r) = -19 - 2*r + 0*r + 8*r. Let w(d) = -5*d + 20. Let l(j) = 5*w(j) + 4*z(j). Does 6 divide l(6)?
True
Let j(x) = -x**3 + 4*x**2 - 2*x. Let q(i) = i**3 - 4*i**2 - 3*i - 7. Let k be q(5). Let h be j(k). Suppose h*u - 20 = -2*n + 4*n, 0 = n - 2. Does 8 divide u?
True
Let w(r) = 39*r + 9. Is 21 a factor of w(12)?
False
Suppose 95 - 557 = 7*p. Let y = p - -147. Is 13 a factor of y?
False
Let m be (-36)/(-45) - 1/(-5). Let n be m + (1 - (-65 - 2)). Let u = n - 26. Is u a multiple of 11?
False
Let j(p) = 2*p**2 + 14*p. Let n be j(-7). Suppose -o + 4*o = n. Suppose 0*d = 5*d - 2*x - 151, -x - 3 = o. Does 12 divide d?
False
Suppose 0 + 4 = x. Suppose 6*m + 24 = x*m. Is ((-8)/(-10))/(m/(-570)) a multiple of 12?
False
Let l(k) = 4*k + 10*k**2 + 113*k**2 + 2 + 2. Is l(-1) a multiple of 21?
False
Let g be (-3)/6 + 66/4. Suppose -h + 2 - g = 0. Is 6 a factor of (-201)/(-9) - h/21?
False
Suppose 4*x + 10 = -6, -4*r + x + 436 = 0. Suppose 39 + r = 7*z. Is 7 a factor of z?
True
Let m(y) = -960*y**3 + y**2 + 2*y. Is m(-1) a multiple of 44?
False
Let t = 18 + -11. Suppose -t*v - 6 = -4*v. Is 2 a factor of (-235)/(-45) - v/(-9)?
False
Let v(f) = -2*f**2 + 1. Let m be v(1). Is (37 - 3)/(m/(-2)) a multiple of 17?
True
Suppose x + 4*h + 15 = 0, 3*x - h - 10 = 10. Let o(g) = 37*g - 5. Does 20 divide o(x)?
True
Suppose -2*o = 7*o. Suppose -2*a = -p + 23 + 4, o = -3*a - 3. Is 25 a factor of p?
True
Let a = -5 + 4. Let s = 249 + a. Is 40 a factor of s?
False
Let m be 4/(-18) + 681/27. Suppose m*d - 27*d = -252. Does 9 divide d?
True
Suppose a = -0*v + 4*v + 9, 3*v + 28 = 5*a. Suppose 5 = x + a*y, -5*x - 5*y + 4 = -1. Does 12 divide (-10 - -22) + (0 - x)?
True
Let p(z) = 2 - 2*z + 13 + 4. Let q be p(8). Does 9 divide (q/4)/(8/96)?
True
Let r = -395 + 484. Is r even?
False
Suppose 16*j = 15*j + 14. Let f = j + -41. Let d = 42 + f. Is d a multiple of 11?
False
Let v(k) be the first derivative of 3*k**2/2 + 2. Let j be (-4 + 3 - -3) + -1. Is v(j) even?
False
Let g = 155 + 10. Let d(n) = -n**3 + 4*n**2 + 2*n - 6. Let a be d(4). Suppose p - g = -a*p. Is p a multiple of 26?
False
Does 22 divide (-27)/(108/(-1430))*(-28)/(-5)?
True
Let i(u) = -u**3 + 19*u**2 + 19*u - 15. Is 46 a factor of i(9)?
True
Suppose 9*v = 6*v. Suppose v = -7*k - 49 + 763. Is 17 a factor of k?
True
Let v(a) = -a + 7. Let h be v(5). Suppose 4*m - 7*u = -h*u - 14, m + 5*u + 16 = 0. Let j = 19 + m. Does 7 divide j?
False
Let b = 15 + -10. Suppose -27 = 2*u - b*u. Let l(t) = t**2 - 5*t - 9. Does 9 divide l(u)?
True
Let t(l) = 114*l**2 - 6*l. Let a be t(-2). Let g = a - 293. Is g a multiple of 25?
True
Let n(k) = 5*k**3 + 3*k**2 + k. Is n(4) a multiple of 6?
True
Let l(x) = 10*x**2 - 12*x + 64. Is 5 a factor of l(7)?
True
Suppose -39519 + 10422 = -61*c. Is c a multiple of 4?
False
Suppose n = -2 + 6, -2*l - 5*n + 150 = 0. Let p(j) = -j**2 - 5*j - 3. Let u be p(-3). Suppose q - l = -5*s, u*q = -2*q. Is 4 a factor of s?
False
Let v = -29 + 31. Let a be (-1 - (-4 - -7)) + v. Does 15 divide (-588)/(-20) - a/(-5)?
False
Suppose -3*w + 27 = o, 3*w + 33 = -o + 4*o. Suppose 2*s + 54 = 8*s. Is s/o - (-87)/5 a multiple of 13?
False
Is (-196)/(-11) - (90/(-11) - -8) a multiple of 10?
False
Suppose 13 = 2*p + 2*m - m, 2*p + 4*m - 28 = 0. Let k be (p/12)/((-3)/(-45)). Let y = k - -9. Is 3 a factor of y?
False
Let l(z) be the third derivative of z**5/20 - z**4/6 + z**3/3 + 4*z**2. Let i be l(4). Suppose 3*u - 9 = 5*o - i, 5*u = -3*o + 15. Is o a multiple of 5?
True
Let v(y) = 5*y - 4. Let c be ((-36)/(-30))/(2/(-10)). Let h be v(c). Does 14 divide (-1)/(2/h*1)?
False
Let m(a) = -1 - 2*a + 18*a**2 - 6*a**2 - 9*a**2. Is 2 a factor of m(2)?
False
Suppose 24 - 2 = -2*x. Suppose 14 = 4*f - 3*f. Let o = x + f. Is o a multiple of 3?
True
Let x(q) = 84*q**2 - q - 2. Does 8 divide x(-2)?
True
Suppose h + 134 = -2*b, 0 = -8*b + 3*b - h - 332. Let y = 96 + b. Does 15 divide y?
True
Is 8 a factor of 701/((-3 - -2)/(-1))?
False
Let v = 29 - 22. Let j(o) = -9*o + 7. Let i(w) = -17*w + 13. Let f(g) = -3*i(g) + 5*j(g). Is f(v) a multiple of 19?
True
Let l = 11 - 8. Suppose 5*d - l*y = -32, -2*y = d + d. Does 9 divide (6/d)/(7/(-182))?
False
Does 3 divide (-3 - (-42)/7) + 75?
True
Let g be 6/(-4) - (-2785)/10. Suppose -5*a = -a + 5*c - 362, -3*a + g = c. Is -2*(2 - a/6) a multiple of 22?
False
Let j(d) = 2*d**2 - 11*d - 51. Does 12 divide j(13)?
True
Let t(p) = 2*p + 23. Let c be t(-10). Suppose c*b - 12 = -b. Suppose b*j = 4*j - 11. Does 4 divide j?
False
Suppose 2*z - 5*m - 22 = z, z + 5*m - 32 = 0. Suppose -4*h - 3*l = -z, 0 = -2*h + 3*h - 3*l + 12. Suppose -h*y + 4*y - 97 = 0. Is y a multiple of 22?
False
Suppose 2608 = 2*h - 4*s, 5*h - 3*s + s - 6504 = 0. Let o be ((-1)/2)/((-5)/h). Let d = o - 54. Is d a multiple of 19?
True
Suppose s - 5*k - 163 = 0, -2*k - 80 = -3*s + 383. Suppose -17*l = -s - 102. Is l a multiple of 4?
False
Let j be 24/(-2 + -1) + 3. Let g(q) = 56*q**2 - 3*q + 2. Let n(r) = 111*r**2 - 5*r + 3. Let u(i) = j*g(i) + 3*n(i). Does 26 divide u(-1)?
True
Suppose 0 = 2*d - 8, 0 = -3*w + 3*d - 2*d - 154. Let l = 85 + w. Does 7 divide l?
True
Is 3 a factor of 3/(-5) - (-124)/(-40)*-66?
True
Let o = -450 - -481. Is 6 a factor of o?
False
Let x(d) = 2*d**2 - 29*d + 38. Is x(19) a multiple of 42?
False
Let d(v) = 3*v - 17. Let n be d(7). Suppose -4*i = 4*b - n, -b - i = 4*i + 7. Is 8 a factor of -3 + b/(-9)*-57?
True
Let a(z) = 4*z. Let n(q) = 2*q**2 - 23*q - 7. Let d be n(12). Is a(d) a multiple of 10?
True
Let d be 2/(-6)*(-4 - -4) - -4. Suppose -d*a + 12 + 32 = 0. Does 8 divide a?
False
Suppose -l + 1133 = 3*q, 3*l - 5 = 2*l. Is 47 a factor of q?
True
Let d(c) = -2*c**3 - 3*c**2 + c + 13. Is 18 a factor of d(-7)?
False
Let q = 587 - 290. Does 27 divide q?
True
Let m = 31 - 27. Suppose m*d = 68 + 32. Is 25 a factor of d?
True
Let r be 5*(-7)/(105/6). Let y be -16 + -3*r/6. Let a(x) = -4*x + 10. Is a(y) a multiple of 22?
False
Let f(r) = -r**2 + 1. Let w be f(-5). Let h be ((-2)/4)/(1/w). Suppose 3*x + x - h = 0. Does 2 divide x?
False
Suppose 0 = -5*h + 5*f + 225, h - 2*f - 47 = -0*f. Suppose -4*s + h = -21. Is s a multiple of 3?
False
Let n(c) = 152*c + 242. Is 25 a factor of n(4)?
True
Let r = -19 - -33. Let k be (r/8)/(1/(-4)). Does 7 divide (-6)/(-21) - 96/k?
True
Let i(h) = 25*h**2 + 7*h + 10. Is i(3) a multiple of 9?
False
Let p(k) = 2*k**2 + 2*k + 43. Let r be (-2)/10 - (-19)/95. Is 40 a factor of p(r)?
False
Let d(f) = f**2 + 11*f - 1. Let h be d(-13). Let x be (-1 + 0)/(h/(-200)). Suppose -4*p = -x*p + 28. Is p a multiple of 2?
False
Let b be -5 - 0 - (-11 + -2). Is 17 a factor of (-300 - -15)*b/(-10)?
False
Let w(t) = t + 5. Let m be w(-3). Suppose 0 = m*u - 11*u + 981. Does 21 divide u?
False
Let v(z) = -3*z + 26. Let b be v(-14). Suppose b + 48 = y. Does 19 divide y?
False
Let n(j) = -653*j + 342. Is n(-3) a multiple of 18?
False
Let h = 69 + -41. Is 4 a factor of 99/6*(-2 - h/(-6))?
True
Let j = -225 - -760. Let g = j - 382. Is 32 a factor of g?
False
Let h be 8/((-4)/(-24)*3). Let b = h - 12. Suppose b*i - 5*f = -2 + 9, 0 = 3*f - 15. Does 4 divide i?
True
Let s be (90/(-5))/(3 + (-17)/6). Is 14 a factor of (s + 19)/(1/(-2))?
False
Suppose -198 = 11*d - 638. Is 3 a factor of d?
False
Suppose 5*j + 86 + 39 = 0. Let g = j + 43. Is g a multiple of 3?
True
Let s(u) = -u**3 - 7*u**2 + 8*u + 3. Let r be s(-8). Is 20 a factor of -3*(-3 + (-67)/r)?
False
Let s(r) = 125*r**3 - 2*r**2 - 4*r + 17. Is s(2) a multiple of 10?
False
Let u(c) = 23*c**2 + 8*c + 78. Is 21 a factor of u(12)?
True
Suppose -7*o = -7