Is v a multiple of 36?
False
Suppose 4*h + 0*u - 3*u = 78, 4*h + 5*u - 94 = 0. Suppose 3*q - 127 = -2*o, 5*q - 3*o - 159 = h. Is q a multiple of 6?
False
Let q(v) = -3*v**2 - 34*v - 75. Let o be q(-8). Suppose -1 = 4*l + 3, 3*d = -5*l + 1. Suppose -f = -3*n - 25, d*f - o*n - 6 = 42. Is f a multiple of 4?
False
Let g be (-5 + 4 + 2)/(1/10). Let n = 471 + g. Does 16 divide n?
False
Let f(y) = 8*y**3 - 165*y**2 + 26*y - 48. Is f(24) a multiple of 96?
True
Let r(b) = 2*b**2 - b. Let m be r(-1). Suppose 0*l = m*l + 12. Is (-358)/(-6) - l/(-6) a multiple of 24?
False
Let u = 5283 + 4115. Does 11 divide u?
False
Let r = -86 - -126. Let d = 25 - r. Let p = d - -79. Does 8 divide p?
True
Is 13 a factor of 56*(27125/(-20))/(-35)?
False
Does 125 divide ((-1050)/63)/(12/(-16) - 397/(-540))?
True
Suppose 17*x = 14*x + 18. Let q(c) = -c**2 + 5*c + 9. Let z be q(x). Suppose -6*i + z*o = -i - 153, -2*o = 5*i - 148. Is i a multiple of 15?
True
Let g(y) = -1045*y**3 - 4*y**2 - 5*y - 2. Let k be g(-1). Let z = 1470 - k. Is 9 a factor of z?
False
Suppose -3769165 = -136*s + 1308667. Does 36 divide s?
False
Let s = -890 - -895. Suppose 2*y + 78 = 5*y. Let c = y + s. Is 31 a factor of c?
True
Let n(d) = 1343*d + 403. Is n(5) a multiple of 37?
False
Let f(o) be the first derivative of -9*o**2/2 - 42*o + 62. Does 11 divide f(-8)?
False
Does 18 divide (6*(2 - -847))/(17 + -16)?
True
Let u = -4763 + 6779. Is u a multiple of 34?
False
Is 6 a factor of -1332*((-4)/6)/((-33)/(-264))?
True
Let t(v) = -2*v**2 - 17*v - 5. Let x be t(-8). Suppose 5*c + x*j = 23, -c - 4*c - 5*j + 25 = 0. Suppose -4 - 5 = 3*b, -c*z - 5*b + 345 = 0. Does 15 divide z?
True
Let q(b) = 392*b**3 - b**2 + 3*b - 3. Let j be q(1). Suppose 1929 + j = 8*f. Does 23 divide f?
False
Let t = -7794 - -8790. Is 4 a factor of t?
True
Let l = 22878 - 13632. Is 33 a factor of l?
False
Let l be -1 - ((-2474)/26 + 8/52). Let a = 225 - l. Does 24 divide a?
False
Suppose u = 3*q - 32, 0 = q - 6*q - 3*u + 30. Suppose q*m = 18*m - 162. Suppose -50 = m*g - 986. Is 5 a factor of g?
False
Suppose -64*w + 42700 = -39*w. Is 61 a factor of w?
True
Let z = 3703 + 7802. Does 200 divide z?
False
Let w = 210 - 206. Suppose 4*u = -4*p + 260, w*p - 178 = -5*u + 84. Is p a multiple of 9?
True
Suppose -v = 5*s - 15, v - 5*v - s = -3. Suppose 0*j = -j - 3*g + 58, v = -4*j - 4*g + 224. Suppose -54*x + j*x - 49 = 0. Is 7 a factor of x?
True
Let r(o) = -8*o + 105. Let a be r(10). Is -973*2/(-18) + a/(-225) a multiple of 4?
True
Let f = 73595 + -47990. Is f a multiple of 28?
False
Suppose o = -0*o - 0*o. Suppose -6 = -2*r, o = 4*v + r - 2*r - 13. Suppose v*i + i - 600 = 0. Does 15 divide i?
True
Let g(w) = -w**2 + 6*w + 4. Let p be g(6). Let a(u) = -6 + p + 4 - 3 - 6*u. Does 2 divide a(-1)?
False
Let y = -234 + 233. Let b(a) = -90*a**3 - 2*a**2 + 1. Is b(y) a multiple of 29?
False
Suppose -o - 8 = 2*v + 18, -v = o + 25. Let z(l) = 2*l**2 + 23*l - 28. Is 23 a factor of z(o)?
False
Let r(v) = v**2 + 8*v - 18. Let p be r(-8). Let c be ((-4)/3)/(3/p). Suppose c = 3*d - 16. Does 2 divide d?
True
Suppose 46 = -4*w - 18. Let z = 7 - w. Let c = z - -126. Does 22 divide c?
False
Suppose -4*y = -3*a + 17, 5*a - 8*y = -3*y + 30. Let j be (4 + -2)*(-10)/4 - -397. Suppose -a*k + j - 21 = 0. Does 19 divide k?
False
Let p be 0/(-2 + (-3 - -4)) - 1482. Is 12 a factor of (2 + p/9)*90/(-20)?
True
Let a(d) = -d + 9. Let n be a(-10). Let k = n + -41. Let v = 92 + k. Is 5 a factor of v?
True
Let r(y) = -22*y - 21*y + 48*y - 20 + 308*y**2 - 14*y. Is 10 a factor of r(-2)?
True
Let w = 407 + 129. Suppose 8*i - 136 = w. Does 21 divide i?
True
Let a(t) = 3*t**2 + 60*t - 40. Let u(x) = -26*x**2 - 2*x + 3. Let i be u(1). Does 19 divide a(i)?
False
Let p = 2685 + -1887. Is p a multiple of 114?
True
Let z(n) be the first derivative of -n**5/10 + n**4/3 + 22*n**3/3 + 16. Let t(x) be the third derivative of z(x). Is 12 a factor of t(-14)?
False
Let u = -988 + 5164. Does 72 divide u?
True
Let d(b) = -8*b - 5. Let y be d(2). Does 27 divide (-66)/(y/(-6)*18/(-42))?
False
Let v be (-46)/(-23)*3/6. Suppose -v = -u, 3*y - 5*u - 10 = 435. Is y a multiple of 15?
True
Suppose -3*u = s + 70, -15 = -5*s + 10. Let f be ((-15)/u)/(2/10). Suppose f*c = 61 + 95. Does 13 divide c?
True
Let k(f) be the first derivative of -f**4/4 + 2*f**2 + 48*f + 51. Is k(0) a multiple of 16?
True
Is 186 a factor of ((-90)/(-20))/(180/327920)?
False
Suppose 32*c - 20*c - 492 = 0. Let g = 38 + c. Does 3 divide g?
False
Let o = -25975 - -61836. Is 163 a factor of o?
False
Let n = 5167 + -5002. Is n a multiple of 15?
True
Let i(n) be the third derivative of -n**6/120 - n**5/6 + 9*n**4/8 - 29*n**3/6 - 6*n**2 + 4. Is i(-13) a multiple of 24?
False
Suppose -108*d = -98*d + 10. Does 7 divide d - (0 + -6) - (-16692)/52?
False
Is 63 a factor of 3/(9/2) + 2016520/165?
True
Let a be ((-1)/(-2))/(8/32816). Suppose 2*w = a - 327. Let c = w + -556. Is c a multiple of 51?
True
Let r(j) = -j**3 - 22*j**2 + 21*j - 18. Let x(a) = 24*a + 1. Let n be x(-1). Let v be r(n). Let c(f) = 3*f - 4. Is c(v) a multiple of 7?
False
Let h be 0/44*((-9)/5 - -2). Suppose h = -23*p + p + 13860. Is p a multiple of 42?
True
Let w = 14857 + -8297. Is 4 a factor of w?
True
Let x(z) = z**3 - 3*z**2 + 4. Let r be x(5). Suppose -4*i + r = 2*t, -t - 2*i = i - 22. Suppose 2*d = t + 45. Does 17 divide d?
False
Suppose 6*r - 4*r + 3*q = 1, 4*r - 5*q = 13. Let m(o) = -o**3 - 17 + 34*o**r - 5 - 8*o - 41*o**2. Is m(-7) a multiple of 4?
False
Let s = 19693 + -12932. Is 11 a factor of s?
False
Let f = -1991 - -1157. Let m = 348 + f. Is m/(-10) + (-4)/(-10) a multiple of 49?
True
Suppose 0 = -12*q + 4*q - 320. Let d = q - -40. Is 21206/253 - (d - (-2)/(-11)) a multiple of 14?
True
Let r be -7 - ((-42)/7 - 3). Suppose 5*d + 2*a = 6*d - 1712, r*d - a - 3439 = 0. Is d a multiple of 14?
True
Let u be (4 + -2 - 1)/(1/105). Let y be 2/14 - 50100/u. Let p = -214 - y. Does 30 divide p?
False
Suppose -1363 = -5*q + 3*x, 15*x - 11*x + 562 = 2*q. Does 12 divide q?
False
Suppose -245*i + 28 = -247*i. Is 15474/26 + i/(-637)*-7 a multiple of 35?
True
Suppose -w + 92 = -95. Suppose 0 = -3*g - 2*a + 239, 5*a - w = -3*g + 64. Is g a multiple of 7?
True
Let b(i) = -4*i - 23. Let k be b(-18). Let u = -39 + k. Suppose 2*a + a - 779 = -5*d, 0 = 5*a + u. Does 14 divide d?
False
Suppose -12*m + 20*m - 17*m = -58995. Is 57 a factor of m?
True
Let c(a) be the second derivative of a**4/3 + 17*a**3/6 - 37*a**2/2 - 2*a + 16. Is c(8) a multiple of 7?
False
Let b(a) = 3*a + 2*a**2 - 2 + a**2 + 9 + 0. Is b(6) a multiple of 13?
False
Let b(z) = 3*z**2 - 75*z + 15. Let x(h) = 30*h**2 - 70*h + 70. Let p be x(1). Is b(p) a multiple of 15?
True
Let h(k) = -34 + 11 + 2*k**2 + 31*k - 25*k. Let l be (-1 + (-8)/(-5))/((-10)/150). Does 17 divide h(l)?
True
Let t(j) = 5*j**2 - 2*j + 9. Let q be t(8). Let l = -182 + q. Suppose f - 2 = -f, -4*h + l = 3*f. Is h a multiple of 17?
False
Suppose 36*f - 4*p = 31*f + 95009, 0 = -f - 4*p + 19021. Does 16 divide f?
False
Is (-512)/48*(-2079)/4 a multiple of 88?
True
Let h(n) = -11*n**2 - 3*n + 10. Let u(d) = -11*d**2 - 4*d + 13. Let l(k) = -3*h(k) + 2*u(k). Does 12 divide l(-4)?
True
Let p(u) = 4*u - 5. Let r be p(1). Let k(z) = 209*z**3 + 4*z**2 + 5*z + 2. Let q be k(r). Let h = q - -338. Is 29 a factor of h?
False
Let y(o) = o**3 + 8*o**2 + 10*o + 3. Let a be y(-8). Let p = 81 + a. Suppose 4*n + 18 = 2*i, 0 = -i - 4*n + 5 + p. Is i a multiple of 6?
False
Let h = -1467 + 1020. Let z = -143 - h. Is z a multiple of 16?
True
Suppose -10*x - 411 + 1771 = 0. Suppose -222 - x = -y. Does 12 divide y?
False
Suppose -34*l + 15 = -29*l. Let k be ((-5)/(-15))/(1/l). Is k/((-3)/(-75)*1) a multiple of 5?
True
Let y(v) be the first derivative of v**4/4 + v**3/3 + 650*v - 19. Let c be y(0). Does 16 divide c/30*3/1?
False
Suppose 23*f - 16020 = 14*f - 5382. Is f a multiple of 3?
True
Let c be -7*(-3 + (-1 - -2)). Suppose -c = -5*m + 6. Suppose 0 = 6*o - o + 4*v - 161, 4*v + m = 0. Is 33 a factor of o?
True
Suppose 2*y - 7*y + 5 = 0. Let l = -3487 - -3484. Is 99 - (0 + y)*l a multiple of 34?
True
Let j be ((-15)/(-7 - -4))/(3/75). Is j/2*12/5 a multiple of 24?
False
Does 39 divide ((-67683)/(-14))/((-12)/(-24))?
False
Suppose 478 = 2*a - 828. Suppose -a = 4*h - 3