alse
Let d = 9 + -5. Suppose 1841 = 5*n - d*i, 3*n = -3*i - 267 + 1377. Does 15 divide n?
False
Suppose 3*i + 2*x - 51464 = 0, -3*i - 10502 = -7*x - 61957. Is i a multiple of 18?
True
Let i be 372/(-496) - 162/8. Is 10 a factor of 259/i*-24 - 6?
True
Suppose -895 = -5*c + 3*r + 199, -2*c + 5*r = -430. Let n = -123 + c. Is n a multiple of 33?
False
Let v(i) = i**3 - 12*i**2 + 16*i - 19. Is 19 a factor of v(26)?
True
Is 34/6 + 36/(-54) + 2382 + -2 a multiple of 4?
False
Let j = 13553 + -9764. Is 38 a factor of j?
False
Suppose 3*o + 2*v = 13, 3*o + 4*v = -0*v + 11. Suppose 16 = 12*b - 8*b. Suppose 332 = 2*k - b*g, 0*g = -4*k - o*g + 690. Does 22 divide k?
False
Let j(b) = -2*b - 63. Let a be j(-26). Let g(f) = 7*f**2 + 23*f - 14. Is 29 a factor of g(a)?
True
Let p be (-4 - -2 - 1) + 300/3. Suppose 3*y = 215 + p. Let j = y - 5. Is 14 a factor of j?
False
Suppose 0 = 4*y - 20, 2*y = -5*m - 0 + 20. Let d be (-60)/(-9) - m/(-6). Is 8 a factor of 3/(-7) - (-808)/d*1?
False
Let w(b) = 440*b - 8057. Does 4 divide w(19)?
False
Suppose 0 = 2*x + 402 - 6816. Does 7 divide x?
False
Suppose h + 3299 + 1256 = 5*g, -h - 2735 = -3*g. Does 91 divide g?
True
Suppose 3*o + 5*n = 47207, -128*o = -129*o + 5*n + 15769. Is o a multiple of 32?
True
Let x = 12448 - 10438. Is 5 a factor of x?
True
Let m = 193 + -133. Is (-2751)/(-18) + 10/m a multiple of 9?
True
Suppose -3*m = 25*x - 17*x - 19219, 2 = 2*m. Does 25 divide x?
False
Let o = -51 - -276. Suppose -u - 3*u + 280 = 0. Suppose -5*t - u = -o. Is t a multiple of 3?
False
Is 0 + (1/2)/(73/775406) a multiple of 47?
True
Suppose 8840 = 2*d + u, -2*d - 3*u + 10431 = 1591. Is d a multiple of 68?
True
Let h(z) = z**3 - 24*z**2 + 98. Is h(29) a multiple of 36?
False
Let c = 426 - 266. Does 83 divide 310 - c/96*(-6)/(-5)?
False
Let k(c) = 96*c**3 - c**2 - 5*c + 6. Let g be k(3). Suppose -17*n + g = -15*n + 5*a, 4*n + 4*a = 5136. Is n a multiple of 25?
False
Let v = 7329 + 2223. Is 12 a factor of v?
True
Let c = 12198 - 4214. Is c a multiple of 13?
False
Let v(c) = -c**2 - 5*c + 4. Let h be v(-5). Suppose 7*t = h + 10. Suppose t*u = 3*o + 275, o + 1098 - 417 = 5*u. Is 17 a factor of u?
True
Let r(z) = -6*z + 16. Let c be r(-2). Is 10 a factor of (-7)/(c/(-80))*6?
True
Let d(y) = -y**3 - 6*y**2 + y + 9. Let p be d(-6). Let x(t) = 30*t. Is 6 a factor of x(p)?
True
Let h = 7018 + -6178. Does 13 divide h?
False
Suppose -4*a + 8683 = 5*i - 11633, a = 2*i - 8116. Does 140 divide i?
True
Suppose 4*x = 3*b + 8*x - 23, 3 = -3*x. Suppose -a + 1087 = b*k - 6*k, -25 = 5*a. Does 13 divide k?
True
Suppose -3*d = 5*n + 25, 2*n - 11 - 5 = 4*d. Let b = -15 - -17. Is -3*((-1635)/(-18))/d*b a multiple of 49?
False
Let u(t) = 10*t**2 + 7*t + 4. Let k be u(-4). Suppose k*p - 96 = 128*p. Does 12 divide p?
True
Let f = -133 + 137. Suppose w - f*s - 21 = 79, 0 = -s - 3. Does 44 divide w?
True
Let d be (-3328)/(-10) - 6/(-30). Let g = d - 190. Is g a multiple of 28?
False
Let z be (2 - -556)*((-7)/(-3) + -1). Suppose -87*g + z = -84*g. Suppose -g = -10*a - 88. Is 16 a factor of a?
True
Let q(r) = 11*r + 67. Let i be q(20). Suppose -i - 219 = -23*h. Is 20 a factor of h?
False
Suppose -17*h + 12*h = 4*y - 8914, -5*y = h - 1808. Is 5 a factor of h?
False
Suppose 0 = j + 4*f - 24, -4*j + f + 12 = 1. Suppose -j*o + 226 = -3*z, o + 4*z - 33 = 14. Is o a multiple of 12?
False
Suppose -4*i = i. Suppose 254 = 13*y + 267. Does 4 divide (y - i) + 9 - -4?
True
Let g(k) be the first derivative of -30*k**2 - 12*k - 5. Does 18 divide g(-8)?
True
Suppose 3*h - 5 - 4 = 0. Let w be 8/(-8) - (2 + h). Is (-114)/5*(-20)/w*-1 a multiple of 38?
True
Let k be 4/(-18) - (-1416)/54. Let o = k + -54. Is 7/o + (-613)/(-4) a multiple of 17?
True
Suppose 235*a - 226187 - 518734 + 149431 = 0. Does 50 divide a?
False
Let m be 7 + (-3 - -1) - -1076. Let v = m + -287. Is v a multiple of 25?
False
Suppose 63399 = 9*l + 2*n, -4*l + 28154 = -208*n + 205*n. Is 35 a factor of l?
False
Suppose 23*w = 796 + 555 + 328. Does 3 divide w?
False
Suppose -1221*h = -1192*h - 14413. Is 3 a factor of h?
False
Let c(w) = -6*w - 9. Let a be c(15). Let n = 285 - a. Suppose -35*j = -32*j - n. Is j a multiple of 32?
True
Suppose 3*u + 75 = 3*n, 0*n + 129 = 5*n - 3*u. Let s = -11 + n. Is 12 a factor of -3*(0 - -3 - s)?
False
Suppose d - 1804 - 1167 = 4*q, -d + 5*q = -2975. Is 5 a factor of d?
True
Let k = -128 + 233. Let y = 129 - k. Is y a multiple of 8?
True
Is (3540/18)/(12*(-1)/(-720)) a multiple of 25?
True
Let c(w) = -195*w - 129. Is c(-4) a multiple of 21?
True
Let p = 27137 - -19806. Is 11 a factor of p/104 - (-6)/(-16)?
True
Suppose -13*s + 113 + 17 = 0. Is 24 a factor of (-7287)/(-35) - (-3 + 32/s)?
False
Let i = -5 + 9. Suppose 2*w - 1782 = 53*p - 58*p, 5*w - 1446 = -4*p. Suppose 2*b + i*t = p, 0 = -2*b + 4*b + 2*t - 354. Is b a multiple of 31?
False
Suppose 0 = 18*c + 16*c. Suppose -f - 1 + c = 0, f - 1291 = -4*s. Is s a multiple of 22?
False
Let r be (16/6)/((-1)/3). Let z(t) = 44*t - 1330. Let o be z(31). Let q = o - r. Is 12 a factor of q?
False
Let y = -12125 + 27580. Does 28 divide y?
False
Let l be 133/(-147) - 4/42. Does 17 divide l + (40/(-12))/(3/(-342))?
False
Suppose 18*z - d = 13*z - 1664, 2*z = d - 668. Let x = 27 - z. Does 9 divide x?
False
Suppose 0 = 4522*m - 4519*m + 2*a - 158514, m + 4*a - 52868 = 0. Does 32 divide m?
True
Let o(g) = -9*g + g + 7*g + 1. Let n be o(-1). Let w(s) = 11*s**3 + s**2 + 2*s - 3. Is 31 a factor of w(n)?
True
Let s = 35 + -33. Suppose 5*d - g = 17, 4*d - 16 = s*g - 0. Suppose -w = -3*w - 5*j + 108, 0 = -d*w + 2*j + 200. Does 8 divide w?
True
Suppose -6*l = -4*l + 18. Let z = -2252 - -2297. Let d = l + z. Is 18 a factor of d?
True
Let x(b) = -3*b + 23. Let d be x(9). Let k be ((-3)/2)/(15/(-160)) - d. Let z = 256 + k. Does 19 divide z?
False
Suppose 0 = 50*z - 112653 - 133547. Does 136 divide z?
False
Suppose 18*j = 19*j + 2*c - 2655, -c - 5350 = -2*j. Is j a multiple of 2?
False
Let z be (1/1 - -2) + 1. Suppose -2*b + 2*y - 76 = 2*b, 1 = -b - z*y. Let x = b + 43. Does 5 divide x?
False
Let s be 16/(5 + 11/(-2)). Suppose 36 + 16 = -f. Let v = s - f. Does 20 divide v?
True
Let u = -30924 - -49637. Does 31 divide u?
False
Let z be (-137688)/(-168) - 3*(-1)/7. Suppose 4*d - 143 - 677 = -5*h, -5*d - z = -5*h. Is 14 a factor of h?
False
Suppose -4*i - 1808*o + 1805*o + 314451 = 0, i - 78583 = -5*o. Is i a multiple of 224?
False
Suppose 5*m - 34*x = -29*x - 50, 5*m - x = -34. Is 55 a factor of (-11)/((-484)/25399) + m/(-8)?
False
Suppose -2028 = 20*x - 16*x. Is -3 - (-1 + -5 + x) a multiple of 10?
True
Let h(n) = 98*n**2 - 118*n + 49. Is h(7) a multiple of 7?
True
Let v be 12/(-120) + 5055/50. Let x = 145 + -76. Let t = v - x. Is t a multiple of 32?
True
Suppose -4*m + 38 + 34 = 0. Let i(z) = -z**2 + 18*z + 45. Is 9 a factor of i(m)?
True
Let j be (0 - -2 - 0) + 0 + 31. Suppose 5*p = k + 15, j = p + 3*p - 5*k. Suppose -5*l + p*l + 48 = 0. Does 4 divide l?
True
Suppose 5*c - 5*q = 65, 4*c - 3*c - 25 = -5*q. Suppose -f - 5*d = -c, -3*d + 6 + 0 = 0. Suppose -t = 4*s + 4*t - 301, -222 = -3*s - f*t. Is s a multiple of 14?
False
Let q(j) = 2*j - 2. Let z be q(6). Suppose -15 = -z*u + 5*u, -2*h + 7 = -3*u. Suppose -355 = -h*o + 29. Is o a multiple of 16?
True
Let z(o) = 2*o - 26. Let t be z(14). Suppose 5*d = -5*m + 2410, 4*d - 1913 = t*m - 3*m. Is d a multiple of 60?
False
Let r = -949 + 921. Let y = 35 - 123. Let v = r - y. Is 12 a factor of v?
True
Let h(v) = 63 + 5*v - 30 - 27 + 6*v**2 - v**3. Let n be h(4). Suppose 0 = 3*w - g - 220, -4*w + 239 = -5*g - n. Is 60 a factor of w?
False
Suppose -68*z = 79*z - 8*z - 292734. Does 78 divide z?
True
Does 2 divide ((-10930)/30)/((-2)/(-3) - 1)?
False
Let k(t) = -40*t - 28*t + 156 - 7*t - 17. Let v(a) = -37*a + 70. Let f(s) = -3*k(s) + 5*v(s). Is f(7) a multiple of 18?
False
Suppose 93*c - 1232732 = 1928584 + 1493334. Is 22 a factor of c?
True
Let g(k) = -1442*k - 2258. Does 13 divide g(-4)?
True
Suppose 4*k - 97 = -429. Let y = 277 - k. Suppose -25*f - y = -30*f. Does 48 divide f?
False
Let y = -700 + 30688. Does 26 divide y?
False
Let q(v) = 12*v - 13. Let j be q(8). Let n be (0 + -126)*10/20. Let z = j + n. Is 5 a factor of z?
True
Is 2 a factor of 0 - (-1182 + (1 - (9 - 7)))?
False
Suppose 448 = 7*d - 14*d. 