13 - 603958 = -273*k + 293338. Does 15 divide k?
False
Let d be (-3)/9 - 228/(-9). Suppose -5*m + g = 6*g + 45, 0 = 5*g - d. Is 18 a factor of (-254)/m - (-8)/(-56)?
True
Let z be ((-25)/100)/(1/(-8)). Suppose 0 = 3*q + 4*j + 8, 4*q - 5*j + 36 = z*q. Is 2889/36 + 2/q a multiple of 10?
True
Suppose 2*d - 22746 = -6*o, 111*o - 114*o = 3*d - 34143. Is d a multiple of 47?
False
Let m(z) = 2*z**2 + 3 - 4 - z**2 + 2*z. Let a be m(1). Does 7 divide (-6)/2 + 54/a?
False
Let x(l) = l**3 - 8*l**2 + 11*l + 4. Suppose 0 = -2*g - 0*g - 8. Let j = g - -12. Does 38 divide x(j)?
False
Is (2/(-3))/(-4 + (-346812)/(-86706)) - 3 even?
True
Let t = -23 - -106. Suppose -7*i + t = -15. Is 6 a factor of (195/(-6))/(3 - i/4)?
False
Suppose -3*x + 7 = 5*n, n + 2*x + 12 = 6*n. Suppose 0 = -n*a + 76 - 4. Does 6 divide a?
True
Let z be (-4 - -4 - (1 + -1)) + -75. Let g be (19/(-2))/(-1 - z/72). Let b = g - -355. Is b a multiple of 24?
False
Let b(r) = r**3 + 13*r**2 + 6*r + 41. Let h(w) = 12*w - 1. Let m be h(-1). Let q be b(m). Let y = q + 91. Is y a multiple of 6?
True
Let s = -544 + 546. Suppose 0 = 2*x + s*g - 290, 5*x - 552 = -g + 189. Is 17 a factor of x?
False
Suppose -3*s + 3*f = -3444, 3*f = s + 14 - 1154. Is 24 a factor of s?
True
Suppose i - 1 + 4 = 0, 4*i = -f - 408. Let y = -56 - f. Is 57 a factor of y?
False
Let s = -3 + -78. Is 2 - (s + 2) - 7 a multiple of 74?
True
Let z(t) be the third derivative of 37*t**4/24 - 79*t**3/6 - 23*t**2. Does 35 divide z(9)?
False
Suppose 0 = -5*d + 4*h + 59, -5*h + 28 = 4*d - 11. Suppose 0 = 6*o - d*o + 1140. Suppose -o = -8*p + 2*p. Is 6 a factor of p?
False
Let k be 744/(-54) + 6 + 6/(-27). Is (k/(-16))/(((-3)/(-1))/1206) a multiple of 2?
False
Let z(j) = 492*j - 1724. Does 4 divide z(4)?
True
Let l(t) = 4*t**2 + 80*t + 48. Does 23 divide l(-31)?
False
Suppose 5*r - 945270 = -5*h, h - 6*h + 945258 = 2*r. Is 12 a factor of (-4)/30 + h/375?
True
Suppose -66*n + 58*n + 16 = 0. Is 22 a factor of 36/72 + 469/n + 1?
False
Suppose 105*v - 21186 - 84864 = 0. Does 19 divide v?
False
Is 155 a factor of 10 + 0 + (1 - (-12 + -33922))?
True
Let w(k) = 7*k**3 + 22*k**2 - 18*k + 132. Is w(9) a multiple of 14?
False
Let y = -9332 - -14243. Does 72 divide y?
False
Suppose -4*g + y + 8 = 0, 0 = -2*g + 2*y - 7 + 11. Suppose 5*i + 3*r - 2805 = 0, g*r - 2810 = 27*i - 32*i. Does 23 divide i?
False
Let r = 2292 - 1439. Let a = 1205 - r. Is 4 a factor of a?
True
Let d = 15801 - 14615. Is d a multiple of 24?
False
Let p be (-4)/6 + (-604)/(-6). Let k(h) = -3*h**3 - 31*h**2 + 10*h - 126. Let x be k(-11). Suppose -4*b - x*b = -p. Is b a multiple of 6?
False
Suppose -22*g + 26312 = 30*g. Is 11 a factor of g?
True
Let j(n) = 11*n**2 - 4*n + 6. Suppose 5*a + 3*z = 7, 3*z + 0*z + 3 = 0. Let t be j(a). Let i = -22 + t. Is 5 a factor of i?
True
Let n be -3 - (-4 - 2 - -3). Suppose n = 3*s + 3*s. Let z = 46 + s. Is 23 a factor of z?
True
Let n be (-572)/8*(-78)/169. Let a = -123 - -25. Let t = n - a. Does 16 divide t?
False
Let f(g) = 5*g**2 + 326*g + 120. Is f(20) a multiple of 54?
True
Let q(x) = 82*x**2 + 5*x - 3. Let d be q(3). Suppose 250 = z + 2*k, z + 2*z = 5*k + d. Does 10 divide z?
True
Suppose 24 = -78*t + 79*t. Suppose t = -2*x + 156. Is x a multiple of 11?
True
Does 10 divide 2*-6 - (-45690)/6?
False
Let x = 12165 - 9231. Is 6 a factor of x?
True
Let f(u) be the third derivative of -u**6/120 + 2*u**5/5 - 7*u**4/8 - 9*u**3 - 79*u**2. Is 29 a factor of f(22)?
False
Let c = 587 + -587. Suppose 3*q + 4*a - 1452 = 0, c = -5*a + 10*a. Does 48 divide q?
False
Let i(f) be the first derivative of -7*f**2 + 253*f - 84. Is 15 a factor of i(17)?
True
Suppose 0 = 8*b - 4*b + 96. Let a = b - -9. Let y(c) = -7*c - 30. Does 7 divide y(a)?
False
Let n(i) be the third derivative of -23*i**4/24 + i**3/3 + i**2. Suppose u = g, 8*g - 3*u = 6*g + 1. Is 5 a factor of n(g)?
True
Let f(u) = u**2 - 21*u - 690. Is 10 a factor of f(-65)?
True
Let m(u) = u**3 - 9*u**2 + 6*u - 21. Let z be (-78)/(-65)*(1 - -4). Let q be m(z). Let b = q + 112. Does 6 divide b?
False
Suppose -309619 = -19*c - 51789. Is 23 a factor of c?
True
Let s(n) = 309*n - 12. Suppose -3*b - 1 = -4*d - 9, 5*d = -3*b + 17. Is s(d) a multiple of 33?
True
Let u be (-950)/(-18) - (129/27 - 5). Let o(g) = -13 + u + 17 + g. Is 10 a factor of o(-27)?
True
Suppose -2*h = 304*i - 298*i - 30736, -4*h + 15383 = 3*i. Does 252 divide i?
False
Suppose 52*u = 1453208 + 30976. Is u a multiple of 134?
True
Suppose 6*b - 117 = 4*r + b, 0 = 5*b + 15. Let j be (18/33)/(-3) - 633/r. Does 4 divide (j/(-3) + 1)/(16/(-72))?
True
Suppose 5*m + 5*v = -0*m + 1690, -1016 = -3*m - 2*v. Suppose -2*d + 2*t + 554 = -5*d, 0 = -d + 6*t - 218. Let p = d + m. Is p a multiple of 27?
False
Suppose -2 = 2*q - 3*g - 16, 0 = 2*q - 5*g - 10. Suppose 9*n = -q + 55. Suppose -n*a = -a - 452. Is 41 a factor of a?
False
Does 13 divide (125/(-10))/(-25) - (-3586)/4?
True
Does 94 divide -28*(2724/(-28) - 11)?
False
Suppose -57294 + 258903 = 43*s - 253460. Is s a multiple of 37?
False
Let b = -324 + 544. Suppose -228 = -8*g + b. Does 7 divide g?
True
Let l(z) = z**3 + 29*z**2 - 29*z + 31. Let g be l(-30). Let b(f) = 407*f - 8. Is b(g) a multiple of 19?
True
Suppose -5*c - m + 5730 = 0, 0 = -4*c + 3*m + 1562 + 3022. Is c a multiple of 9?
False
Let w(b) = b**2 - 13*b + 12. Let r be w(12). Suppose r = 15*f - 20*f - 1385. Let q = -124 - f. Does 17 divide q?
True
Suppose -4 = 3*w + 5*u - 3, -5*w + 3*u = 13. Let l be 12/54 - (14/(-18) - w). Is (-3480)/(-108) - (l - (-22)/18) a multiple of 8?
True
Let u(o) = -123*o + 7070. Does 161 divide u(-31)?
False
Let a(t) be the third derivative of t**6/120 + t**5/6 + t**4/4 - 11*t**3/6 - 13*t**2. Let g be a(-8). Let w = -45 + g. Is 10 a factor of w?
False
Suppose -2*v - 4184 = h - 3*h, 6*v + 4*h + 12552 = 0. Is v/(-6) + 8*7/42 a multiple of 14?
True
Suppose 4*w = 4*p + 10336, -1622 = -2*w - p + 3537. Is 20 a factor of w?
False
Is 8 a factor of (112/(-8) + 15)*1323?
False
Suppose 5*t = 3*y + 14, -5*t + 6 = -2*y - 10. Suppose -3*p + 1343 = 2*m, y*p + 3*m = 5*m + 882. Is 31 a factor of p?
False
Let z(s) = 114*s**2 + 14*s + 2. Let o(d) = -228*d**2 - 27*d - 3. Let q(k) = -4*o(k) - 7*z(k). Let a be q(5). Suppose 9*p = -0*p + a. Is 24 a factor of p?
False
Let d be (4/8 - 1)/(8/(-128)). Suppose -d*z - 150 = -13*z. Does 6 divide z?
True
Suppose 8 = o - n, -4*o + 5*n + 28 = -2*o. Suppose 0 = h + 4*c - 1427, o*c = 3*h - 0*h - 4249. Suppose 0 = -9*f - 195 + h. Does 20 divide f?
False
Suppose -2*b + 62 - 288 = 0. Let a = 114 + b. Is 13 a factor of ((-24)/40)/(a/(-325))?
True
Let o = 4683 + 6087. Is o a multiple of 41?
False
Is 30 a factor of 32/80*-5 + 18842?
True
Let h = 4238 - 3572. Is 9 a factor of h?
True
Suppose 0 = -v - 3*t + 11569, -72*t + 69*t - 12 = 0. Is 37 a factor of v?
True
Suppose b = -4*c + 5073, -2*b + 367 = -c + 1633. Suppose -10*t - c = -6408. Is t a multiple of 23?
False
Let x(t) = -33*t**3 - t**2 + 3*t + 101. Is x(-5) a multiple of 26?
True
Suppose -102*u + 123*u = 10584. Is u a multiple of 21?
True
Let t = 49 - 40. Let w be (-6)/(-9) - (1 + 15/t). Is 16 a factor of (-6)/w - (-195 + 13)?
False
Let u = 3018 - 1198. Let n = -1180 + u. Does 26 divide n?
False
Suppose 6 = -2*l - 5*j - 14, j + 4 = 5*l. Suppose l*t - 9*t = -2088. Suppose 0*z - 2*w = 5*z - 392, 3*z = -2*w + t. Does 20 divide z?
True
Suppose 2*h + 3 = t, -3*t = -5 + 2. Let s be 6/4*-2 - (h - 23). Suppose -2*f - 35 = -q - 0*f, q = -5*f + s. Does 11 divide q?
False
Suppose 0 = -9*z + 2*z + 42. Suppose -z*g + 1136 = -64. Is g a multiple of 10?
True
Let d(v) = -1066*v + 1328. Does 14 divide d(-10)?
False
Let j = 55 - 59. Let l(n) = -3*n - 6. Let y be l(j). Does 23 divide 3 + 4638/36 + 1/y?
False
Suppose 0 = 5*f + 3*s + 14220 - 39612, f = 5*s + 5112. Is 77 a factor of f?
True
Let n(d) be the second derivative of -2*d**5/5 + 5*d**4/12 + 5*d**3/6 - 5*d. Let f be (-4 + 26/6)/(3/(-18)). Is 14 a factor of n(f)?
False
Let d = -429 + 630. Does 67 divide d?
True
Suppose -4*p - 3*i = 88, 5*p + i + 0*i + 110 = 0. Let a(k) be the first derivative of -k**4/4 - 23*k**3/3 - 29*k**2/2 - 21*k + 22. Does 11 divide a(p)?
False
Let y be ((-9)/6)/(((-12)/8)/3). Suppose r - y*o - 23 = -7*o, -o = r - 17. Is (-1000)/r*(-9)/30*8 a multiple of 16?
True
Let o(m) = 6*m - 42. Let r 