1. Let t(m) = 2*m - 42. Let v(y) = 12*p(y) - t(y). Is 15 a factor of v(d)?
True
Suppose -2*v = 3*d + 6, -12*d + 4 = -14*d + 3*v. Is (-4)/(-16) + d + 758/8 a multiple of 3?
True
Suppose 4*a = -3*j + 209008, -6*a = -3*a + 4*j - 156763. Is a a multiple of 23?
False
Suppose -1082 - 449 = -131*m + 1351. Is 22 a factor of m?
True
Let g(p) be the second derivative of -19*p**5/20 - 2*p**4/3 - p**3 - 3*p**2/2 + 56*p. Is g(-2) a multiple of 6?
False
Suppose -5*x = i - 3874, -3*x + 26255 = 5*i + 6841. Let z = -1 + -4. Does 18 divide i/20 - (-1)/z?
False
Let a(l) = 44*l + 2455. Does 6 divide a(-35)?
False
Does 37 divide 2 - (-295593)/(-74)*(-4)/3?
True
Suppose -4*n - 4*p + 606 = -2*p, 0 = 4*n - 3*p - 591. Suppose 2*u = -3*f - 35 + n, 5*f - 180 = -u. Is f even?
False
Suppose 0 = -201*w + 204*w - 180. Is w/24*(-458)/(-5) a multiple of 24?
False
Let f(w) = 151*w**2 + 10*w + 16. Does 40 divide f(-8)?
True
Let o(y) = -y**2 - 46*y - 206. Is 6 a factor of o(-37)?
False
Suppose 4*k = 2*g, -2*g + k = 6*k + 9. Let h be 14/10 + -2 - (232/(-5))/4. Does 11 divide (3/g)/(15/(-10))*h?
True
Does 5 divide 49/7*(-5)/(-5)*243?
False
Is 22 a factor of ((-3465)/(-1540))/(3/65824)?
True
Suppose -59*s = -518895 - 958406. Does 190 divide s?
False
Suppose -q + 7173 = -5*u, 3*q - 3*u - 2*u = 21579. Is q a multiple of 21?
True
Let u(l) = 23*l + 2845. Is 7 a factor of u(35)?
False
Suppose 4992 = 3*c - 3*y, 4*y - 1031 - 658 = -c. Is 16 a factor of c?
False
Suppose -3*n - 4*c + 22126 = -162, 3*n + 3*c - 22281 = 0. Does 70 divide n?
True
Let h = 43 + -45. Is (2 - (h + 3))/(5/675) a multiple of 15?
True
Let a be 5/(6 - 9 - -4). Let m be 0/(-2) - 2/(-1). Suppose a*z + 3*w = 924, -926 = -z - 4*z - m*w. Is 31 a factor of z?
True
Suppose 36530 - 14210 = 15*o. Is 6 a factor of o?
True
Let s(f) = -114*f - 31. Let p be s(-3). Suppose 417 = 14*i - p. Is i a multiple of 13?
True
Suppose 2*c - 4 = 2. Suppose 5*t + 0*f = 5*f + 15, 0 = -c*t - f - 11. Is (-2 - 0)/(t/3) even?
False
Suppose -2*i - 17 = 1. Is 34 a factor of -204*((-2)/(-4))/(i/6)?
True
Let c = -2 + 2. Let g be 28/6 + (-2)/(-6). Suppose -10 = -2*f, 10*z - g*z - 2*f - 165 = c. Is 7 a factor of z?
True
Let b(m) = -11 - 18*m + 39*m - 12*m + 38*m**2. Is 12 a factor of b(1)?
True
Let q(j) = 4*j**3 + 3*j**2 + 11*j - 17. Suppose -6*s + 21 = -s - 2*i, s + i - 7 = 0. Is q(s) a multiple of 48?
False
Let f = -83 - -106. Suppose 4878 = -f*t + 32*t. Is t a multiple of 56?
False
Let m = -697 + 2277. Suppose 94*p = 89*p + m. Does 12 divide p?
False
Let n(x) = 6*x**3 + x**2 - x - 9. Let q be n(4). Suppose 693 = 12*c - q. Is 18 a factor of c?
True
Suppose y - 521 = -4*s, -3*s - 2*s = y - 650. Does 8 divide s + (-17 - 1)/6?
False
Let s(b) be the second derivative of b**5/20 - b**4/3 - b**3 + 11*b**2/2 + 8*b. Let c be s(5). Suppose 0 = -c*p + 479 - 47. Does 18 divide p?
True
Let g(c) = c**2 - 12*c + 12. Let q(y) = -6*y - 4. Let p be q(-2). Let o be g(p). Is (-32)/o*(-15)/(-2) a multiple of 4?
True
Let a = 6804 + -3139. Is a a multiple of 8?
False
Let u = -5006 + 5680. Is 3 a factor of u?
False
Suppose 5*b = -4*v + 37523, 3*b = v - 11134 + 1715. Is v a multiple of 4?
True
Suppose -1867 = -4*f - 149*a + 148*a, 5*a = 3*f - 1429. Does 18 divide f?
True
Let i be (3*-28)/(-7)*42/3. Does 38 divide 6160/i*84/10?
False
Let l(f) = -2*f**3 + 58*f**2 + 12*f - 278. Is 27 a factor of l(27)?
False
Let x = 37393 + -14169. Is x a multiple of 26?
False
Let q(z) = 4*z**2 + 53*z - 111. Is q(-19) a multiple of 163?
True
Let n(i) = 317*i**2 + 269*i + 2024. Is 21 a factor of n(-8)?
True
Let b be (-2241 - (1 - 4))/((-3)/4). Suppose -28*x = -b - 4408. Does 24 divide x?
True
Let y(w) = -16*w + 210. Let f be y(13). Let s(t) = 142*t**3 + 2*t - 4. Is 71 a factor of s(f)?
True
Let s = 396 + -341. Is 34 a factor of (-11)/(s/45) + 315?
True
Let a be (-6 + 2598)/6 + (-4 - 0). Let g = 444 - a. Is 4 a factor of g?
True
Let n(r) = 8*r - 65. Let l(h) = 3*h - 22. Let s(q) = 11*l(q) - 4*n(q). Let b be s(-16). Suppose -3*z = 0, z + 136 = b*o + 5*z. Is o a multiple of 17?
True
Suppose -6*s + 953 = 107. Suppose s*m = 139*m + 54. Is m a multiple of 5?
False
Let b = -319 + 343. Suppose -z = 2*v - 90, v - b - 22 = -z. Is v a multiple of 4?
True
Let j(t) = 3*t + 21. Let q be j(-1). Does 21 divide 126*q/((-20)/(25/(-5)))?
True
Suppose 4*i - 20 = w, 0 = 4*i + 3*w - 4. Suppose -5*p - 5*k + 711 = -514, i*p = 2*k + 968. Is p a multiple of 27?
True
Suppose -141*v = -33*v - 247860. Does 45 divide v?
True
Let w = -5012 + 63943. Is w a multiple of 53?
False
Suppose -4*q = 4*t - 16, -5*q = t + 3*t - 16. Suppose -3*d + 48*p + 1219 = 52*p, q = -4*d - p + 1621. Is d a multiple of 45?
True
Suppose 9*f + 1455 = 11*f + 3*n, -2950 = -4*f + 2*n. Suppose b + 3*d + 85 = 450, 0 = 2*b + d - f. Does 46 divide b?
True
Let h = 4060 + -2464. Is h a multiple of 76?
True
Suppose 2*j + 383 = -5*v, -151*v + 153*v + 158 = -2*j. Is (-35800)/v - -2*1/(-6) a multiple of 34?
False
Let n be (-4 - 16/(-5))*30. Let m = 3 + n. Let z = -15 - m. Is z a multiple of 2?
True
Suppose -1236*r + 1232*r = 24, -3*o + 3411 = 4*r. Is 9 a factor of o?
False
Let r(z) = 12*z - 9. Let o be r(7). Suppose -21 = -5*k + 4. Suppose -k = -4*s + o. Is s a multiple of 10?
True
Let a = -5385 - -4969. Suppose 4*o + 1145 = 2*w - 3*w, -o - 5*w - 310 = 0. Let h = o - a. Is h a multiple of 22?
False
Does 23 divide (-3)/(-7 - (-69916)/9989)?
False
Suppose 0 = d - 7*d. Let v be -1 + (0 - d) + 4. Suppose 5*c = v*n - 33 - 217, 4 = -2*c. Is n a multiple of 10?
True
Let a = 49082 + -28986. Is 29 a factor of a?
False
Let f(s) = 58*s + 23. Let w be f(7). Let k(r) = r**2 - 2*r - 1. Let v be k(3). Suppose 5*g - v*m - 348 = g, -5*g = -m - w. Does 23 divide g?
False
Let g(q) = -2*q - 12. Let f be g(-5). Let u = f - -340. Let x = u + -227. Does 22 divide x?
False
Suppose 5*g = 3*r + 942, -2*g = -3*g + 3*r + 198. Let x = 459 - g. Is 14 a factor of x?
False
Let n = 42 + -160. Let d = 89 - n. Is 9 a factor of d?
True
Let u(z) = 8 - 2 + 3 - 3*z - 3*z. Let w be u(0). Let a(c) = 2*c**2 - 10*c - 23. Does 7 divide a(w)?
True
Suppose -4*m - m = 15, -4 = -2*d - 2*m. Suppose 0 = 9*u - d*u. Is (3 + u + -41)*(-18)/12 a multiple of 19?
True
Let k = 1563 + -502. Let f = -441 + k. Is 39 a factor of f?
False
Let d(f) = 43*f**3 + 2*f**2 - 17*f + 46. Is d(6) a multiple of 60?
False
Let k(p) = -5*p**3 - 96*p**2 - 65*p + 390. Is 56 a factor of k(-27)?
True
Let d(v) = 3*v**2 - 8. Suppose u - 68 = -3*u. Suppose -11 = 7*s + u. Does 10 divide d(s)?
True
Let t = -4 - -4. Suppose r + t - 38 = 0. Does 8 divide r?
False
Is (-2 - -8)*40 - (-41 + 34) a multiple of 13?
True
Let k(a) = 10*a. Let b be k(3). Let r be (-1*1)/(-3 - 98/(-35)). Suppose z - 71 = g + b, 537 = r*z + 3*g. Does 36 divide z?
False
Suppose -n + 1350 = -3*h, 2*n - 2714 = -372*h + 371*h. Is n a multiple of 6?
True
Let c(t) = t**3 - t**2 - 1. Suppose 2*n + 3*n = 5. Let l(p) = 7*p**3 + 6*p**2 + 12*p + 10. Let a(q) = n*l(q) - 6*c(q). Is a(-11) even?
False
Suppose r = -3*u + 37, 0 = -4*r - 76*u + 73*u + 139. Does 2 divide r?
True
Let o be (-48)/22 + 72/33 + -2. Is 83 a factor of ((-280)/50)/(o/155)?
False
Suppose g = 12*g - 22. Suppose -4 = -g*w, 0 = -3*x - 7*w + 5*w + 508. Is x a multiple of 24?
True
Let q(n) = n**2 + 2*n + 7. Let j be q(-3). Let a(p) = -8 + j*p - p**2 - 2*p**2 + 3*p**2 - p**2. Is a(4) a multiple of 4?
True
Suppose 252949 + 287339 = 119*x - 77*x. Is x a multiple of 67?
True
Let y = 85 + 67. Let q = y + -138. Is q a multiple of 14?
True
Suppose 0 = 5*f - 5*t - 2395, -4*t - 954 = -0*f - 2*f. Suppose f = 7*y - 254. Suppose -5*j - 5*p + y = 0, 71 = 3*j + 6*p - p. Does 17 divide j?
True
Suppose -48 = -4*i - 0*i. Let s = 75 + -75. Suppose s = 5*p - i - 133. Is p a multiple of 5?
False
Suppose -74 = -4*k - 94. Let f(b) = 5*b**2 + 23*b - 5. Is f(k) a multiple of 4?
False
Let b = 6740 - 5428. Is 8 a factor of b?
True
Is 52 a factor of (-15)/(-15) - (0/4 - 4539)?
False
Let s(l) = 161*l**2 + 15*l - 9. Does 47 divide s(2)?
False
Suppose -6*z + 231948 + 46044 = 12*z. Is z a multiple of 99?
True
Let s(i) = -16*i**2 + 2*i. Let p be s(1). Let a(v) = -2*v**3 - 27*v**2 + 15*v + 21. Does 2 divide a(p)?
False
Let o(d) = 7*d**3 - 4*d**2 - 4*d + 13. Let a be o(4). Let t = a - 153. Suppose 5*x + x - t = 0. Is x a multiple of 5?
False
Let y = 3238 -