Suppose -4*f = w + 2124 - 6928, -4*w = 4*f - 19276. Is w a multiple of 12?
True
Let o(k) = 4*k + 59. Let n be o(-11). Suppose -n*s + 17*s = 2428. Is s a multiple of 101?
False
Let w(u) = 2*u**3 - 8*u**2 - 19*u + 2. Let q be w(8). Suppose -847 = -5*n - 2*o, -n + 5*o + q = n. Let s = n + 54. Is s a multiple of 32?
False
Let x(v) = -v**3 + 2*v + 6. Let d be x(-2). Suppose -d*r + 984 + 196 = 0. Does 8 divide r?
False
Let g = 158 - 153. Suppose 1377 = 4*z - g*u, -8*z + 4*u + 1719 = -3*z. Does 30 divide z?
False
Is 7 a factor of (-596 + 1)*22/(-231)*81?
False
Does 18 divide (1/(-2))/((-3)/486)*1648/24?
True
Let x(v) = 19*v**2 + 7*v. Let u be x(-16). Suppose -9*l = -0*l - u. Does 33 divide l?
True
Let x(j) = -j**3 + j**2 + 12*j. Let n be x(4). Suppose 36*y - 28*y - 472 = n. Does 7 divide y?
False
Suppose 2*y - 9*y = -210. Let b be y/4*546/35. Let t = b - 34. Is t a multiple of 27?
False
Suppose -4*b + 13 = -27. Suppose 5*y + o = 85, o = 2*y + b - 51. Suppose -90 + y = -2*c. Is c a multiple of 9?
True
Suppose -2*m = -4*q - 160, -m + 4*q = -68 - 22. Suppose h - w = 2*h - 69, 5*h = -w + 349. Suppose -2*s - h = -7*s - 5*u, -m = -5*s - 4*u. Is s a multiple of 14?
True
Let i be 8*(20/4 + (-38)/8). Suppose -3*a = -4*s - 1101, -3*s = -i*a - 7*s + 714. Is a a multiple of 9?
False
Suppose 4*m + 18 = -26. Let l = 418 + -220. Is 14 a factor of (-36)/l + (-772)/m?
True
Is 8 + (48 - 52 - 1741*-1) a multiple of 158?
False
Let x be 2262/3 - 1*(2 + 1). Let j = x + 3. Is j a multiple of 13?
True
Suppose -h - 3*y + 19 = 2*y, -38 = -4*h - y. Suppose -5*b - 5*f + 19 = -f, 3*f = -2*b + h. Suppose -n - 33 = -4*a + 26, 4*n = b*a - 28. Is a a multiple of 7?
False
Let u(i) = -i**2 - 19*i - 4. Let a be u(-19). Let g be (a - -3)*7 - -3. Is 2/(-36)*-194 + g/(-18) a multiple of 3?
False
Suppose -2*m + 11 - 161 = 0. Let t = m - -79. Let g(i) = 19*i + 7. Does 10 divide g(t)?
False
Suppose -4*h = -m - h + 7788, -2*h = 2*m - 15528. Is 6 a factor of m?
True
Suppose 3*c + 0*c = 2*r - 54, 20 = -5*c. Suppose 3*w = -5*o + 40, -w - 3*o = -4 - 12. Suppose -301 = -w*b - r. Is b a multiple of 20?
False
Suppose -180 = 31*u - 37*u. Let p(l) = -4*l + 200. Is p(u) a multiple of 3?
False
Suppose -8 = 2*t, -r + 3162 = 75*t - 77*t. Is 38 a factor of r?
True
Let c(p) = -3*p + 18. Let b be c(5). Let q be (4/b)/(28/105). Suppose 3*x = q*i - 57 - 228, 0 = 3*x + 15. Does 10 divide i?
False
Let x(d) = 201*d + 2266. Does 8 divide x(46)?
True
Suppose 3*o + 2*z - 1706 = 0, 0 = 776*o - 773*o - 3*z - 1716. Is 6 a factor of o?
True
Suppose 5*j = -5, -8492 = -2*m - 3*j + 20235. Does 13 divide m?
True
Let j(k) = -k**2 + 6*k - 2. Suppose 5*t - 4*m = 41, 0 = 5*t - 6*t - 2*m - 3. Let o be j(t). Suppose 269 = 5*n - o*w - 36, 3*n - 169 = -w. Does 12 divide n?
False
Let f(x) = -4*x - 5. Let c(h) = -2 + 3 + 0 + 2*h + 3. Let k be c(-7). Does 35 divide f(k)?
True
Let z be ((-14)/(-18))/((-2)/(-18)). Suppose 0 = -z*d + 1433 + 331. Is d a multiple of 12?
True
Does 29 divide (-2)/((48/(-3594))/4)?
False
Suppose -102*t - 18811 - 25814 = -119*t. Does 75 divide t?
True
Let y be 14/(-3)*(7 - 1). Let w = -41 - -42. Is (y + w)/((-15)/10) a multiple of 9?
True
Suppose -o = -4*o. Let l(r) = r**2 - 10*r + 19. Let z be l(8). Suppose 2*n + u + o*u = 45, z*u - 75 = -3*n. Is n a multiple of 8?
False
Suppose -y = 5*q - 43, 5*q + 2*y - 32 = q. Let w = q + -19. Is 15 a factor of ((-88)/10)/(w/25)?
False
Let t = -13515 + 17060. Does 5 divide t?
True
Let u(y) = -424*y**3 + 37*y**2 + 7*y - 5. Is u(-3) a multiple of 129?
False
Suppose -95 + 841 = 5*g + 4*m, 2*m - 300 = -2*g. Let q(x) = x**3 + 7*x**2 - 16*x + 39. Let k be q(-10). Let w = g + k. Is w a multiple of 15?
True
Let r = -863 - -1839. Is 61 a factor of r?
True
Suppose 0 = -11*g + 8159 + 26601. Does 10 divide g?
True
Suppose 3*g = 5*d - 4619, -340 = 2*d + 5*g - 2169. Suppose 0 = -13*m + d + 2055. Does 15 divide m?
False
Suppose 0 = 2*v + i - 3909, -2*v + i + 334 = -3573. Is 16 a factor of v?
False
Suppose 0 = -4*u + 3*g + 4522, 4*g + 58 = 34. Is u a multiple of 4?
False
Suppose -7*y = -28*y + 3213. Let b = -10 + y. Is b a multiple of 13?
True
Let o(i) be the first derivative of i**3/3 + 3*i**2/2 + 6*i - 2850. Let y(m) = -4*m + 7. Let v be y(5). Does 34 divide o(v)?
True
Let a(i) = -i**3 + 10*i**2 - 4*i - 37. Let f be a(9). Suppose -f*m + 252 = -2*m. Is 8 a factor of 1 + (-134)/(-6) - m/(-63)?
True
Suppose 29*f = -4190 - 71500. Does 13 divide (f/24)/(-15)*52?
True
Suppose b + 38 = 39. Suppose 33*i = -4*f + 31*i + 1358, -b = -i. Is 7 a factor of f?
False
Suppose 0 = 3*z - z - 6346. Suppose -3*u = 3*p - 4011, 4*p + 2906 - 8308 = 5*u. Suppose -15*i - p + z = 0. Does 61 divide i?
True
Is 5 + (-69)/15 + 387464/140 a multiple of 52?
False
Let o(u) = u**3 - 10*u + 4. Let g be o(-5). Let q = -160 - g. Let p = q + 102. Does 5 divide p?
False
Let h = 3752 + -1539. Is h a multiple of 35?
False
Suppose 31*t = 33*t - 3012. Suppose -3*y = 9, -5*b + 3802 = -y - t. Is b a multiple of 27?
False
Suppose r = -2*w + 5316, -8*r + 4*w + 21355 = -21073. Does 14 divide r?
True
Let o(c) = c**3 - 17*c**2 + 24*c + 19. Let s be o(16). Suppose -s*n - 480 = -148*n. Is n a multiple of 80?
True
Let p(k) = -5*k**2 - 4*k - 7. Let a be p(-5). Let t = a + 93. Let u = 58 + t. Is 4 a factor of u?
False
Suppose 5*r + 2*s = 19700, 0*r = 5*r + 3*s - 19700. Suppose 13*b - 8*b = -5*d + r, -3*d + 3948 = 5*b. Does 24 divide b?
True
Let c(o) = o**3 - 21*o**2 - 2*o + 42. Let s be c(21). Is 16 a factor of 255 + (1 + s - -2)?
False
Let k(i) be the second derivative of -i**5/20 + 9*i**4/4 - 23*i**3/6 + 21*i**2/2 - 47*i + 1. Is k(26) a multiple of 9?
True
Let r be 6*3 + (-200)/20. Let d(l) = -l**2 - 6*l - 2. Let a be d(-5). Suppose r*x - a*x - 127 = -4*w, -4*x - 44 = -2*w. Does 6 divide w?
False
Let y be 99 + (-4)/(-4)*-1. Suppose -g = 40 - y. Let v = 73 - g. Is 5 a factor of v?
True
Suppose 2*a + 3*d = -a + 18, 5*a - 4*d + 6 = 0. Suppose f - 57 = -a*p, 4*p = 3*f - 7*f + 240. Let j = f - 31. Is j a multiple of 4?
True
Let x(n) = 12 + 0 - 3*n**2 + 23*n**3 + 2*n - 22*n**3 + 0*n. Does 29 divide x(7)?
False
Is -326*940/(-36) + 14/(-63) a multiple of 28?
True
Let l = -706 - -1984. Suppose 426 = c + j, -3*c + 9*j + l = 4*j. Suppose -6*q + c = -324. Is 9 a factor of q?
False
Let a = 9075 + -5625. Is 15 a factor of a?
True
Suppose 169 = -y - n, 181 = -y + 8*n - 3*n. Let m = 89 - y. Is 21 a factor of m?
False
Suppose 0 = n + 2, 7*w = 14*w - 4*n - 85247. Is w a multiple of 9?
True
Let a = -87 - -40. Let w = -34 - a. Suppose 1152 = w*b - b. Does 6 divide b?
True
Let l(i) = -6 + 2*i**3 - 3*i + i**2 + 15*i**2 + 6*i - 5*i**2. Is l(4) a multiple of 18?
False
Is (17 - 19)/((-2)/1026) a multiple of 3?
True
Let b(q) = -q**2 + 3*q + 2. Let z be b(4). Let m(j) = -5*j**2 + 4690*j + 15*j**2 + 3 + 4688*j - 9378*j. Does 10 divide m(z)?
False
Let p = -8122 - -13642. Does 16 divide p?
True
Suppose 2*n - 3*b = 6340, 4*b = 5*n + 8*b - 15804. Is n a multiple of 2?
True
Let o(k) = -k**3 + 11*k**2 + 21*k + 9. Let z be o(13). Does 21 divide ((-201)/4 + 3)*z/3?
True
Let a be (-4)/(-5) + (-204)/(-170). Is a*(-63)/18 - -119 a multiple of 7?
True
Let v(d) = 6*d**3 + 2*d**2 + 26*d + 79. Is 6 a factor of v(8)?
False
Let q = 288 + -285. Let z(f) = 8*f**3 - 3*f**2 + 8*f - 14. Is 11 a factor of z(q)?
False
Let w(x) = 4605*x + 3006. Is 5 a factor of w(2)?
False
Let w(i) = -2*i**2 + 29*i - 25. Let v(c) = 3*c**2 - 29*c + 24. Let b(u) = -3*v(u) - 4*w(u). Let a be b(-20). Is 7 a factor of 1270/26 + -1 + 32/a?
False
Let o(y) = -y**3 - 39*y**2 - 6*y + 66. Is 10 a factor of o(-39)?
True
Suppose -6*k = -5*k - 3, -556 = -2*n - 2*k. Let h = n + -131. Is 16 a factor of h?
True
Suppose 134415 = 19*l + 36223. Is 34 a factor of l?
True
Let h = 55804 - 34391. Is h a multiple of 19?
True
Let t(y) = -80*y + 1636. Is t(20) a multiple of 9?
True
Let i(y) = y + 102 + 76 - 111. Is 2 a factor of i(-6)?
False
Let c be -1*0/(-1 - 4). Suppose 0 = 7*n - c*n - 42. Is 55 - n - (-3 - 0) a multiple of 26?
True
Suppose -8 = -20*i + 16*i. Suppose -j + 10 = 3*n, 3*n + 2*j = 6 + i. Suppose n*x - 113 - 23 = 0. Does 17 divide x?
True
Let p = -9999 + 18722. Does 24 divide p?
False
Suppose 0 = -4*f + 5*v + 41, 0 = -2*f + 3*v + 20 + 3. Does 69 divide (-11 + f)/(-7) - -649?
False
Is 60 a factor of 18/(-45)*-45 - -