s 24 divide g?
True
Suppose -22*n + 10*n + 1884 = 0. Is 31 a factor of n?
False
Suppose 5*w - 2396 = 3*l, -9*w + 5*l = -5*w - 1922. Is 26 a factor of w?
False
Is 3 a factor of (1 + 5)*(8 - 2)?
True
Let d(n) = 2*n**3 + 18*n**2 - 20*n + 5. Let u be d(-10). Suppose -f - 2*f + 43 = -5*j, -f = -u*j - 21. Does 8 divide f?
False
Let x = 21 + 9. Let v = x + -18. Suppose 4*m + 5*b - v = 36, 36 = 3*m + 3*b. Is m a multiple of 4?
True
Suppose -2*c = -5*a + 14120, 14120 = 5*a - c - 3*c. Does 8 divide a?
True
Suppose -5*c = 6*c - 550. Let g = 84 + c. Does 13 divide g?
False
Suppose 7*y = 12*y + 690. Suppose 5*z = -546 - 499. Let h = y - z. Is h a multiple of 16?
False
Suppose 7*q - 12*q = -180. Suppose p - q = -10. Does 13 divide p?
True
Let m = 1065 - 614. Is m a multiple of 41?
True
Let k be 7 - (1 + 3) - 4. Let j be 3/(-3) - k*3. Suppose 6*r + 5*z = j*r + 70, -z = 5*r - 77. Does 10 divide r?
False
Suppose -14 = 2*k + 4*b, 10 = -k - b + 2. Let h(y) = y**3 + 10*y**2 + 8*y - 11. Let g be h(k). Let a = 83 - g. Does 17 divide a?
True
Let l(n) = n**3 - 2*n**2 + n. Let i be l(2). Suppose t - 12 - 21 = -4*u, -25 = -5*u + i*t. Is (-2)/(-2) - (-2 - u) a multiple of 10?
True
Does 67 divide 401610/80 - (15/(-8) + 2)?
False
Let b(p) = p**3 + 30*p**2 + 113*p + 24. Is b(-24) a multiple of 32?
True
Let a be 1 + (1 - 3 - -3). Suppose -4*z - 1 = -j, 0 = a*j - 3*z - 7. Suppose j*x - 146 - 14 = 0. Is 8 a factor of x?
True
Is (-5)/(-6) + 3 + (-52255)/(-42) a multiple of 32?
True
Let v(p) be the first derivative of p**4/4 + 5*p**3 + 9*p**2 + 25*p - 14. Does 12 divide v(-13)?
False
Let u = 69 - -151. Is u a multiple of 55?
True
Let d(b) = -7*b**3 + 2*b**2 - 4*b - 5. Let z be d(3). Is 25 a factor of z/(4/(-2)) - 3?
False
Let z(m) = 4*m**3 + 8*m**2 - 4*m - 5. Let s(r) = -r**3 - r - 1. Let w(j) = 3*s(j) + z(j). Let v be w(-8). Let y = v + 34. Does 14 divide y?
False
Suppose -17 - 13 = -5*y. Suppose -374 - 4 = -y*h. Is h a multiple of 21?
True
Suppose 2*h = 3*q - 1600, -q - 69 = -2*h - 609. Is q a multiple of 28?
False
Let n be (-3)/(4/(40/3)). Let g(o) = -o**3 - 10*o**2 - 9*o - 21. Is 18 a factor of g(n)?
False
Suppose -68 = -5*k - 2*m + 332, 0 = 5*k - 5*m - 400. Is 15 a factor of k?
False
Let v = -595 - -4711. Is 147 a factor of v?
True
Let s(n) be the third derivative of -n**4/4 + 13*n**3/6 + 27*n**2. Let g be 4/(-8)*-4 + -10. Is s(g) a multiple of 17?
False
Let y(l) = -5*l**3 - 2*l**2 - l - 6. Is y(-2) a multiple of 14?
True
Let v(c) = -176*c - 385. Does 60 divide v(-5)?
False
Let d(k) = 2*k + 47. Let i be d(-25). Does 7 divide -1 - ((-1)/i - (-122)/(-6))?
False
Let g = -77 + 29. Let n = g + 82. Is 18 a factor of n?
False
Let o(u) = -u + 26*u - 14*u + 2. Is o(1) a multiple of 13?
True
Suppose -4 = -k - 6. Is 6 a factor of (((-102)/5)/k)/(2/10)?
False
Let j(x) = -x**3 - 3*x**2 - 6*x - 9. Is 9 a factor of j(-6)?
True
Let c(m) = -m**3 - 4*m**2 - 5*m - 17. Suppose 3*g = -5*q - 18, -2*q - g - 4 = 4. Does 9 divide c(q)?
False
Suppose 4*x + 4*s - s - 3840 = 0, -5*s + 4805 = 5*x. Does 94 divide x?
False
Suppose 2*g + 366 - 1061 = -v, 0 = -5*v - 2*g + 3515. Is v a multiple of 14?
False
Is (-66)/(14/105*-5) a multiple of 99?
True
Let b(x) = -x**2 + 4*x + 11. Let z be b(6). Let v(o) = -11*o - 3. Is v(z) a multiple of 7?
False
Let d(r) = -r**2 + 26*r - 5. Let p = 11 + 10. Is 10 a factor of d(p)?
True
Let u(a) be the third derivative of a**6/120 - a**5/15 - a**4/12 - a**3 + 30*a**2. Let j be (-1)/((-3)/(-36)*-2). Does 18 divide u(j)?
True
Suppose 0*y + 192 = 3*y. Let n = -8 + y. Does 5 divide 9/(-2)*n/(-12)?
False
Is 52 a factor of (-2)/10 + (-81144)/(-120)?
True
Suppose 3*z + 12 = -21. Let w = -76 - -75. Let x = w - z. Is x a multiple of 10?
True
Let l = 899 + -438. Does 8 divide l?
False
Let m(n) = -n - 5. Let j be m(-7). Suppose 78 = j*y - 48. Is y a multiple of 21?
True
Is (184/69)/((-1)/(-60)) a multiple of 10?
True
Let d(t) = -t**2 - t - 12. Let v be d(0). Let b = 14 + v. Is 2 a factor of 6 - 3/(2/b)?
False
Let q be 12/16 + 194/8. Suppose -3*d = -125 - q. Let t = d + -29. Is 20 a factor of t?
False
Let k = 25 - 28. Let c be 5 - (k + 2 + 3). Suppose 2*b = -2*t + b + 56, 4*t - c*b = 92. Is 13 a factor of t?
True
Suppose 4*y + 5*s = 224, -4*s - 26 = -5*y + 254. Suppose 4*l - y - 44 = 0. Is l a multiple of 3?
False
Let s = 4 - -70. Suppose 25 = -a + s. Does 23 divide a?
False
Let r be 8/(-6) + (-222)/9. Let l = r + 6. Does 27 divide (-1272)/(-10) + (-16)/l?
False
Suppose 2*y - 5*y = 9282. Let t be (y/39)/((-1)/3). Suppose -2*p + 47 = -5*u - 119, 3*p - 2*u - t = 0. Does 14 divide p?
False
Let z(o) = -6*o**3 - 28*o - 24*o**2 + 7*o**3 - 11*o**3 - 13. Let x(n) = -3*n**3 - 8*n**2 - 9*n - 4. Let q(c) = -7*x(c) + 2*z(c). Is q(-5) a multiple of 27?
False
Let c be 47/(-141) - (3194/(-6) - -1). Suppose -3*v - 2*l + c = -7*l, -2*l + 682 = 4*v. Is v a multiple of 23?
False
Let i = 449 - -275. Is 6 a factor of i?
False
Is 358/1*(-8 - (-275)/22) a multiple of 43?
False
Suppose 8*c - 1701 - 1115 = 0. Is c a multiple of 22?
True
Let h(l) = -3*l - 11. Let c be h(-5). Let u be (-106)/c - 3/(-6). Let a = u + 57. Is a a multiple of 15?
False
Let x(c) = 2*c + 28. Let r be x(-14). Suppose 4*p - 3*p - 424 = r. Suppose -6*y = -p - 326. Does 25 divide y?
True
Suppose -3*v + 4 + 2 = 0. Is (((-40)/12)/v - -1)*-120 a multiple of 10?
True
Suppose 3*j + 5*g = -25, -2*j + 2*g + 3*g + 25 = 0. Suppose 0 = -3*w - 2*k + 354, j = w + 3*k - 0*k - 125. Let v = w - 47. Does 14 divide v?
False
Suppose -15 = 2*r - 3*q, 0*q - 4*q = r - 9. Let h be -3 + 12*r/(-6). Let g(t) = 16*t - 6. Is 15 a factor of g(h)?
False
Suppose -2*n - 2*n = -32. Suppose -n*d = -7*d - 38. Is 11 a factor of d?
False
Suppose 4*j - 3*f = -23, 0 = 6*j - 4*j - 2*f + 10. Let y be -1 - j/((-24)/(-45)). Let r = y - -10. Is r a multiple of 24?
True
Suppose -6*z - 5*d - 88 = -7*z, 0 = 3*z + 2*d - 281. Does 4 divide z?
False
Suppose 12*o + 3249 - 30909 = 0. Does 14 divide o?
False
Let h(q) = 18 + 6*q + 13*q**3 - 14*q**3 + 13*q**2 + 9*q. Is 9 a factor of h(14)?
False
Suppose -4*q + 380 = 4*v, -4*q + 21 - 306 = -3*v. Let h = v + -81. Does 2 divide h?
True
Suppose -3834 = -2*t - 4*v, 4*t + v - 7704 = 2*v. Is 16 a factor of t?
False
Let a(o) = -19*o. Let p(t) = -9*t. Let h(q) = -q**2 + 11*q + 8. Let j be h(12). Let i(n) = j*a(n) + 9*p(n). Is 20 a factor of i(-4)?
True
Suppose -4*x - 2 = -18. Suppose 6*g + x - 22 = 0. Suppose -g = -z + 1. Is z a multiple of 2?
True
Suppose 0*w = 4*w + 60. Suppose 227 = 4*j + 63. Let c = j - w. Is 28 a factor of c?
True
Let w(d) = -d + 10. Let p be w(-10). Let i = 80 - p. Does 15 divide i?
True
Suppose 0 = -0*q - q - 4*j + 1223, 0 = 3*q + 2*j - 3699. Is 65 a factor of q?
True
Let c be ((-9)/2)/((-7)/14). Let s = c + -5. Suppose 0 = 3*f + s*r - 208, -182 = -2*f - r - 50. Is 16 a factor of f?
True
Let n = 929 + -602. Does 10 divide n?
False
Suppose -3*i - 443 = -5*j, -3*j + 90 = 4*i - 170. Suppose 7*m - 3*m = l - 25, -4*l + j = -4*m. Is 3 a factor of l?
True
Let p = -102 + 243. Suppose 5*o = 2*s + 2*s + 363, 3*s + p = 2*o. Is o a multiple of 11?
False
Let q(z) = 230*z - 3. Let x be q(1). Suppose -x = -4*b + 85. Is b a multiple of 18?
False
Let f(l) = -l**3 - 10*l**2 + 24*l + 52. Is f(-13) a multiple of 19?
True
Suppose 2*n + 358 = 10. Let x = -250 - n. Is 11 a factor of (3 - x/4)/1?
True
Is 175*(11 - 6)*1 a multiple of 34?
False
Let i be (-12)/66 + 2732/22. Suppose n + 34 = i. Suppose 2*w + 3*y - 25 = 0, -2*w = 2*w - 2*y - n. Is 6 a factor of w?
False
Let h = -3 + 5. Let j be 2 + -5 - (1 - h). Is (-664)/(-12) + j/6 a multiple of 12?
False
Let h = 49 - 54. Is 17 a factor of (-436)/8*(3 + h/1)?
False
Suppose 9*o + 108 = -3*o. Does 14 divide (o + 5)*6/8*-14?
True
Let u be 4/(-6) - (-984)/18. Suppose -u - 114 = -2*n. Is n a multiple of 28?
True
Suppose 0 = 23*v - 13*v - 4000. Does 13 divide v?
False
Is 6 a factor of 407 - (1 - 9 - -7)?
True
Suppose -28 = 10*k + 132. Let h = k - -54. Is 19 a factor of h?
True
Suppose -23*z = 42*z - 5655. Is z a multiple of 2?
False
Let w(z) = -2*z**2 + 50*z + 5. Does 11 divide w(24)?
False
Let x = 13 - 3. Suppose 4*s - 2*s = -x, -2*s = 4*l - 110. Does 6 divide l?
True
Let g be (-114)/(-22) + 16/(-88). Suppose b + 54 = -g*b. Let u(l) = -2*l + 4. Does 12 divide u(b)?
False
Is 5055/45 - (3 - 1)/6 a multiple