). Let a = y + 1040. Is a a multiple of 24?
False
Let u(a) = 51*a**3 - 12*a**2 + 123*a + 90. Does 96 divide u(11)?
True
Suppose -3*x = 4*k + 45, 70 = -5*k - x + 11. Suppose 92 = 2*s - 4*l, -5*s + 176 + 40 = 4*l. Let j = s + k. Is j a multiple of 6?
False
Does 2 divide (-2)/(-16) + 203085/600 + (-6)/(-15)?
False
Is -120*((-7)/((-84)/(-423)) - -2) a multiple of 4?
False
Let o(h) = 1380*h + 14288. Does 52 divide o(19)?
True
Suppose -14*g = -0*g - 1344. Let d = g - -10. Is 22 a factor of d?
False
Let w(y) = 28*y**2 + 2*y - 10. Suppose -11*g = 4 + 18. Is 19 a factor of w(g)?
False
Suppose 2*x = 3*x + 4*u + 1073, 0 = 3*x + 3*u + 3246. Let l = x - -1931. Does 47 divide l?
True
Let u = -1293 + 1970. Suppose -4*w + 0*m = m - 25, 4*m = 3*w + 5. Suppose -5*y + 845 = 4*c + c, -4*y - w*c = -u. Is y a multiple of 19?
False
Let n = -681 - -1153. Suppose n = 2*f + 4*r, -6*f + 10*f = -4*r + 936. Is 11 a factor of f?
False
Suppose 2*x - 45998 = -3*p, 0 = -2*x - p - 7747 + 53753. Is 215 a factor of x?
True
Let h be 5/2*(-168)/140. Let v be h - (-1 - 1) - -4. Suppose z = 4*z - 2*f - 467, v*z - 3*f - 462 = 0. Is 17 a factor of z?
False
Suppose 5*n + 37925 = -17*d + 19*d, 75868 = 4*d - 4*n. Does 65 divide d?
False
Let n be 1*((-60)/(-3))/(3/6). Let g(l) = 9*l + 2. Let k be g(4). Let i = n + k. Is i a multiple of 13?
True
Let v(n) = -3337*n**3 + 13*n**2 + 16*n + 1. Is 29 a factor of v(-1)?
True
Let z be -51*(-5)/25*5. Let y = z + -60. Let u(o) = -o**3 - 10*o**2 - 10*o + 16. Is 3 a factor of u(y)?
False
Let x = 7254 - 3294. Is 12 a factor of x?
True
Suppose -978 - 1515 = -3*h - 3*u, -3*h - 4*u = -2492. Let v = h + -680. Is 12 a factor of v?
False
Let o be (1 - 187)*(1 - (-3)/(-6)). Let x = o + 338. Does 35 divide x?
True
Suppose 36 = -2*m - 14. Let q = -25 - m. Is 4 a factor of (-43)/(-1) + q*(-1)/3?
False
Let o(q) = 2*q**3 - q**2 - 8*q - 5. Let b be (2 + 5 - 3) + 0. Suppose -b*n + 5*y + 6 = 0, -4*n + 4*y - 3 = -11. Does 15 divide o(n)?
True
Let o be ((10 - 4) + -7)/((-2)/70). Let h be (o - (-2)/(-1))*(-6)/(-18). Suppose -9*l - h*l + 1140 = 0. Is 5 a factor of l?
False
Suppose -235144 = -38*i - 12204 + 267982. Does 13 divide i?
False
Suppose 3*b + s - 105 = 0, 3*b + s - 105 = -2*s. Suppose 0 = 8*g - b - 69. Does 12 divide g?
False
Suppose -1060 = -5*h + 4*j, -3*h + 5*j + 27 = -622. Let q = -11 + h. Does 28 divide q?
False
Let b(x) be the first derivative of x**4/2 + 7*x**3/3 - 9*x**2/2 + 12*x - 113. Does 24 divide b(4)?
True
Is 44 a factor of (-6)/(22 - 150024/6819)?
False
Let h = 412 - 258. Let f = 247 - h. Does 17 divide f?
False
Suppose 107*y - 432 = 105*y. Let k = -132 + y. Is k a multiple of 5?
False
Let c be (12 - -2)*16/56. Suppose -4 = -3*w + 4*t, c*w - 3*w + 5*t + 5 = 0. Suppose 3*f + 2*o - 181 + 49 = w, -5*f = o - 220. Does 22 divide f?
True
Let f(s) = 8*s**3 + 3*s**2 - 2. Let h be f(1). Let g(t) = 68*t - 8. Does 21 divide g(h)?
False
Suppose -6*l - 2*u = -78408, -446*u = -5*l - 445*u + 65340. Does 44 divide l?
True
Is 20 a factor of (1/(-13) - 1896/(-312)) + 478 + -4?
True
Let p(l) = 2*l**3 - 5*l**2 - 13*l + 25. Let a be p(8). Let o = 1064 - a. Let q = o - 301. Does 8 divide q?
False
Let o be 10/25 + (-8)/(-5). Suppose -o*c + 104 = 11*c. Let f(p) = -p**2 + 12*p - 8. Does 6 divide f(c)?
True
Suppose -3*y + 29*y = 4082. Suppose -175*a = -y*a - 16776. Is a a multiple of 20?
False
Let g be ((-72)/(-160)*5)/((-1)/(-344)). Let o = -696 + g. Is 11 a factor of o?
False
Let v(x) = 172*x**2 + 166*x**2 + 7 - 331*x**2 + 8*x. Suppose -6 + 14 = -4*a. Does 3 divide v(a)?
False
Suppose -8*f = 351 - 1231. Let q = 172 - f. Is q a multiple of 8?
False
Let o be -52*(-6)/(-24)*-11. Suppose -2*w + o = n, -12*w = -15*w - n + 213. Does 10 divide w?
True
Let d(p) = -7*p - 38. Suppose 3*b + 4 + 6 = -4*l, 2*l + 2 = -b. Let v be d(b). Suppose 2*y = -5*n + 140, -v*y = -n - 0*n + 50. Does 10 divide n?
True
Let d = 3371 - 2849. Is d a multiple of 18?
True
Suppose 15*a + 3*a - 378 = 0. Is ((-15)/(-5))/(3/a) a multiple of 7?
True
Let i = -6246 - -14110. Is 38 a factor of i?
False
Let h(l) = -1934*l**3 - l**2 - l - 1. Let g be h(-1). Suppose 5*z - 5*c = -3*c + g, 4*c = -z + 391. Is z a multiple of 20?
False
Suppose 0 = 8*m - 15*m + 91. Suppose -2*i = -m*i - 1485. Let b = i - -315. Does 36 divide b?
True
Suppose 0 = -s + 4*s - 681. Let h = 77 - s. Is (h/(-45))/((-1)/(-66)) a multiple of 38?
False
Suppose c + 2052 = 17*c - 15*c. Does 48 divide c?
False
Let k = -260 + 269. Suppose s = -4*d + 412, -392 = -s - k*d + 10*d. Does 40 divide s?
False
Let p(a) = 5*a - 3. Let j be p(1). Suppose -23 = j*k - 31. Suppose k*m = 787 + 93. Is m a multiple of 20?
True
Suppose -601268 - 314532 = -38*k. Is 25 a factor of k?
True
Let u(a) = 37418*a**3 - 10*a**2 + 4*a + 6. Is 106 a factor of u(1)?
True
Let m(d) = 7*d + 9870. Is m(38) a multiple of 88?
False
Let w(f) = -f**2 - 2*f - 1. Let j(o) = -523*o**3 - 6*o**2 - 11*o - 6. Let x(k) = j(k) - 6*w(k). Is 18 a factor of x(-1)?
True
Let c(v) = v**3 - 15*v**2 + 2*v - 24. Let y be c(15). Suppose y*z = -28*z + 3468. Is 34 a factor of z?
True
Is (-193283)/(-21) - 106/(-2226) a multiple of 52?
True
Is 16 a factor of ((-455)/105)/(((-12)/320)/((-342)/(-5)))?
True
Let t = -2 + 5. Suppose 35 = -16*r + 67. Suppose -r*b = 2*y + 3*b - 118, -y + t*b = -59. Is 11 a factor of y?
False
Suppose 3*r + 6 = 0, 4*l - 7*l - r = -33943. Is l a multiple of 8?
False
Let p be (((-4)/(-6))/2)/(21/756). Suppose -p*n = -4*n - 3240. Does 12 divide n?
False
Suppose 5*q - 2*q - 392 = -5*m, -4*m = -5*q - 321. Suppose 0 = -74*p + m*p - 5210. Does 19 divide p/9 + (-116)/(-36) + -3?
False
Suppose y - 83 = -3*h, -276 = -13*y + 9*y + 2*h. Suppose 0 = -74*j + 73*j + y. Does 8 divide j?
False
Let f = 110 - 16. Suppose f = -2*p - 2*p - 3*a, 3*p + 4*a = -74. Does 3 divide (-2)/(p/6 + 3)?
True
Does 30 divide (-18)/21 + 1 - (-646730)/490?
True
Let z = 24603 - 5023. Suppose 0 = 42*q - 77834 + z. Is 73 a factor of q?
True
Suppose 5*z + 228 + 952 = 0. Let u = -121 + -37. Let l = u - z. Does 6 divide l?
True
Let t(s) = s. Let h(v) = 34*v - 29. Let q(z) = h(z) + t(z). Is 19 a factor of q(3)?
True
Let r be 6 - (1/((-6)/(-42)) + -2). Is (-424626)/(-276) - ((-6)/4)/r a multiple of 55?
True
Suppose 304*j = 129*j + 12*j + 1149476. Is 86 a factor of j?
True
Suppose 4*x + v - 3 = 0, x + 6 = 4*v - 2*v. Let u be (x + (-38)/(-5))*5. Suppose 4*i - u = -3*b + 378, -2*b = 8. Is 18 a factor of i?
False
Suppose -4*z = -2*z - 420. Let b(d) = 4*d - 4*d**2 + z - d**3 - 206 - 8*d. Is b(-6) a multiple of 50?
True
Let s = -232 + 226. Is 888/(s + 12) + 6 a multiple of 11?
True
Suppose x - 4*w = 276, -40*x + 1300 = -35*x - 4*w. Is x a multiple of 4?
True
Suppose 0 = -q - 2*q + 42. Let a = 20 - q. Suppose 4*t - a*t + 294 = 0. Is 19 a factor of t?
False
Let w(c) = -c**2 + 17*c - 10. Suppose 0 = -4*u - 0 + 4, -3*u - 63 = -p. Let h = p - 52. Is w(h) a multiple of 8?
True
Suppose -114*j + 1484280 = 96*j. Is j a multiple of 76?
True
Let m = 183 - 179. Suppose 0 = -j + o + 899, -m*j + 1528 = -3*o - 2066. Does 23 divide j?
True
Suppose 3*s = z + 87, -168 - 45 = 3*z + 3*s. Let r = -6 - z. Suppose 8*h = r + 27. Does 3 divide h?
True
Suppose 0 = -j - 5, 32*s - 29*s = -5*j + 113. Does 7 divide (65/2)/(s/644)?
True
Suppose 4*u + 129360 = 60*u. Is u a multiple of 70?
True
Let f = 2116 - -657. Suppose 12*b - 6119 = f. Does 19 divide b?
True
Let k(x) = -753*x - 40. Let f be k(-1). Suppose -5*i + 20 = 0, 0*l = 3*l + 2*i - f. Does 5 divide l?
True
Let i be ((-45)/20)/(3/(-36)). Suppose i*n - 6831 = -243. Does 61 divide n?
True
Let q = 7723 + -7603. Is q a multiple of 5?
True
Suppose 0 = -5*y - 5*z - 40, 0 = 5*y + z + 23 + 17. Suppose 0 = 3*k - 4*k - 6. Is 900/24*y/k a multiple of 6?
False
Let w(l) = l + 1. Let z be w(4). Suppose -8 - 2 = -5*k - z*f, 26 = 4*k - 2*f. Suppose 0 = 4*q - k*p - 270, -4*q - 3*p + 0*p + 286 = 0. Does 32 divide q?
False
Let y(q) be the third derivative of 29*q**4/3 - 8*q**3/3 + 183*q**2 - 2. Does 68 divide y(3)?
True
Suppose 0 = -8*i + 71 + 9. Is 7 a factor of (82*(-35)/i)/(-1)?
True
Is 82 a factor of (-11)/(66/(-18306)) - ((-8 - -4) + 3)?
False
Suppose -3*v = 92*m - 89*m - 30, 5*v = 3*m + 10. Suppose 5*c + 3*u = 1305, -4*c + v*u + 173 + 908 = 0. Is 9 a factor of c?
False
Let d(t) = -t**3 - 2*t**2 + 7*t + 3. Let r be d(-5