r*f - 3*a = 305, 0*f + a - 71 = -f. Is f a multiple of 13?
False
Let v(c) = 3*c**2 + 11*c. Is 13 a factor of v(-8)?
True
Suppose 5*k - 36 = s, -5*s + k = -k + 272. Let g be -1 - 8/(1 - -3). Does 7 divide g*(s/12)/1?
True
Suppose -3*j = -7*j - 5*k + 27, 0 = 3*j - 3*k. Suppose -5*d = -j*d - 14. Does 6 divide d?
False
Suppose 137*v - 145*v + 3536 = 0. Does 13 divide v?
True
Suppose 5*r + 3*s - 128 = 0, s - 12 = r - 36. Is 0 + 0 + r + 9 a multiple of 15?
False
Let m = -9 + -27. Let a(r) = -r**2 - 4*r + 7. Let v be a(-8). Let b = v - m. Does 11 divide b?
True
Suppose -56*z + 11519 = 4295. Does 8 divide z?
False
Suppose 4*r + 3659 = 3*a, -26*a + 4860 = -22*a + 4*r. Is 8 a factor of a?
False
Suppose 3*v - 65 = -4*a, 19*v - 16*v + 75 = 3*a. Does 2 divide a?
True
Let x = -222 + 245. Is x a multiple of 3?
False
Let m = 418 - 299. Let s = m + -74. Is s a multiple of 2?
False
Let f = 7 - 1. Is (-64)/(2/f + 198/(-270)) a multiple of 16?
True
Suppose -366 + 80 = -2*i. Does 19 divide i?
False
Suppose 10 = 4*g - 2*d, 20 = -4*d - 0*d. Does 18 divide 53/(-4 + 5) - (1 - g)?
False
Let v be ((-1 - -1)/3)/(4/(-4)). Suppose 4*a - 6*a + 310 = v. Is a a multiple of 13?
False
Let f be (6/9)/((-5)/165). Let r = -17 - -56. Let k = f + r. Does 13 divide k?
False
Suppose 6278 + 3466 = 29*o. Does 28 divide o?
True
Suppose 2*v - v = 4*d + 44, -4*d - 4*v - 24 = 0. Let u = 12 + d. Is (u/(-1))/((-1)/15) a multiple of 15?
True
Let u(l) = 30*l + 17. Let s be u(-7). Let i = 281 + s. Does 8 divide i?
True
Is 19 - -941 - 20/2 a multiple of 25?
True
Let c = -8 - 1. Let w(g) = 3*g**2 - 3*g - 10. Let b be w(c). Suppose r = -3*v + 368, -3*r + 118 = 3*v - b. Is 27 a factor of v?
False
Let v = -106 - -97. Does 17 divide (-241)/(v/63 + 6/(-7))?
False
Let c = 455 - 345. Is c a multiple of 8?
False
Let c(g) = 10*g**2 + 15*g + 50. Is c(-7) a multiple of 22?
False
Let v be ((-192)/(-20) - 0)/((-12)/(-1350)). Suppose t - 21*t = -v. Does 6 divide t?
True
Let v be 0 - ((-84)/8 + 4)*2. Let a(s) = s**3 - 14*s**2 + 13*s + 37. Does 11 divide a(v)?
False
Suppose 0 = -2*l + 791 - 273. Does 7 divide l?
True
Suppose 461 = 5*p + 3*t, -5*p + 0*p + 459 = 2*t. Suppose 0 = -4*r + p + 341. Is 27 a factor of r?
True
Let x = 419 - 420. Let d(u) = -u**3 + 2*u. Let m be d(-2). Does 18 divide (-1)/(m/104*x)?
False
Let k(i) = -10*i**2 - 125*i + 3. Is k(-11) a multiple of 21?
True
Let i(w) = -10*w**2 - 1. Let v be i(-1). Let g = v - -13. Suppose 2*l - 79 = -3*z, l + 123 = g*z + 3*z. Is 5 a factor of z?
True
Let r = 12 + -10. Suppose 2*g = -r*g - 8. Does 6 divide 23 + ((-2)/(-1) - g)?
False
Let y = 164 + -112. Is y a multiple of 10?
False
Let l(f) = -f**3 + 3*f**2 + 4*f + 1. Let p be l(4). Suppose -108 = -j + p. Is 46 a factor of j?
False
Suppose -4*c = 42*k - 45*k + 7204, 2*k - 3*c - 4801 = 0. Is k a multiple of 13?
False
Suppose -4*k - 20 = -4*y, -y + 11 = -3*y - 5*k. Let f be ((-20)/(-12))/(y/(-6)). Is 35 - (f - (0 - 4)) a multiple of 16?
False
Let n(f) = f**3 + 9*f**2 + 7*f - 8. Let a be 4/14 - 264/42. Is 17 a factor of n(a)?
False
Let l(j) = j**3 - 10*j**2 + 22*j + 10. Let q be l(10). Suppose 2*r = 2*y - q, y - 20 - 86 = -2*r. Is y a multiple of 14?
True
Let t(f) = -79*f**3 + 2*f**2 + 4*f - 2. Is 15 a factor of t(-2)?
True
Let y(w) be the first derivative of -21*w**2 - 27*w + 29. Does 10 divide y(-4)?
False
Suppose 4*b + 0*b + 18 = -2*d, -b - 2*d - 6 = 0. Suppose -4*i + 20 = 0, 0*p = 2*p + 5*i - 7. Is 11 a factor of ((-66)/p + b)*12?
False
Let p(q) = 2*q**2 - 15*q + 68. Is 19 a factor of p(27)?
True
Suppose 2*h + u - 2 = 0, 3*u - 1 = -13. Suppose -10 = -8*s + h*s, 3*s + 112 = 2*w. Is 14 a factor of w?
False
Is 18 a factor of 1/(-4) - (-46665)/36?
True
Let i(f) = f**2 + f - 4. Let a be i(-6). Suppose l - 2*w = 6, -l + a = w + w. Is 16 a factor of l?
True
Let p = -1004 + 1411. Does 37 divide p?
True
Is 37 a factor of 2 + (-12)/5 - (-31673)/95?
True
Let h be -15 + -1 + 4 - 3/3. Does 24 divide (3 - h)/(-4) + 52?
True
Let z(j) = -j**3 + j**2 + 11*j - 12. Let o be z(3). Let h be (0 - 0)/2*-1. Suppose -4*a + 61 = o*i, -5*i + 150 = -h*i - 3*a. Is 14 a factor of i?
False
Suppose q - 272 = -q - 4*m, 0 = -4*q - 3*m + 524. Let d = q + -19. Is 10 a factor of d?
False
Let a = 364 - -150. Is 3 a factor of a?
False
Suppose 0 = 5*h - 0*h. Let o(r) = 2*r**2 - 27*r + 8. Let p be o(13). Let q = h - p. Does 2 divide q?
False
Suppose 7554 = 9*t + 2991. Suppose -c - t = -4*c. Is c a multiple of 13?
True
Suppose 490 = 4*h + 3*w, 0 = -w + 4*w - 6. Let u = 181 - h. Is u a multiple of 15?
True
Suppose -12*s + 6120 = 3*s. Is 24 a factor of s?
True
Let b = 348 + 36. Is 8 a factor of b?
True
Let r = 356 + -244. Does 6 divide r?
False
Suppose -33*a - 140 = -35*a. Is a a multiple of 7?
True
Let i(l) = 9*l + 3. Is i(1) a multiple of 12?
True
Is (-26384)/(-144) + (-6)/27 a multiple of 14?
False
Suppose -1 = 2*c - 9. Suppose 30 = t + c*t. Is 4 a factor of t?
False
Let r be 8/(-6) + 3/(-18)*-2. Let l be -68 - 8/(1 - -3). Does 35 divide (l - (1 - 1))/r?
True
Suppose -2*i - 816 = -2914. Does 10 divide i?
False
Let z be (-169)/(1/(1 + 0)). Let r = z + 289. Is r a multiple of 15?
True
Is 2/(-8) - (-9630)/120 a multiple of 20?
True
Suppose -2*b + 3*k = -22, k - 4 = -b + 2. Suppose -b*l + 6*l = -10. Suppose 0*i - 290 = -l*i. Is 32 a factor of i?
False
Let s = 182 - 141. Is s a multiple of 3?
False
Let q = 31 + -27. Suppose -q*o = -2*x + 320, -320 = x - 3*x - 3*o. Does 32 divide x?
True
Suppose 8 = 5*a + 2*p, 2*a + 0*a + 3*p = 1. Let t be (-1)/5 - 2/(-10). Suppose 2*r - 52 = -a*n, t = 5*n - 3*n - r - 49. Does 25 divide n?
True
Suppose 233 = 3*n + 4*o, 15 = -n - 5*o + 89. Is 7 a factor of n?
False
Is 6 a factor of (2/14 - 3560/(-70)) + 3?
True
Let m(n) = 3*n - 4. Let y be m(4). Suppose 4*s = 16, y*s - 6*s = 2*r - 20. Does 16 divide r - (4 - 2)/(-1)?
True
Suppose -7 = -5*q - 4*u, -3*q - 19 = -6*q + 5*u. Let n(p) = 0*p + 2*p**3 + 0*p**q - p + p**2 + 3. Is 21 a factor of n(3)?
True
Let x(c) = c**2 - 2*c - 10. Let a be x(0). Let j = -19 - a. Let w(f) = -12*f + 4. Is 28 a factor of w(j)?
True
Let w(l) = -6 - 17 + 8 + 11*l + 2 - l. Suppose 0 = 5*b - g - 59, -2*g = 3*b - b - 14. Does 17 divide w(b)?
False
Suppose -3*c + 352 = -4*n, 4*n = 6*n + 2. Suppose -d = -5*q + 303 - 79, 3*q - c = -4*d. Is q a multiple of 22?
True
Let m(t) be the third derivative of t**5/6 + t**4/12 - t**3/6 - 7*t**2. Let z be (1/(-1) - 0) + 2. Is m(z) a multiple of 11?
True
Let s(n) = 83*n - 149. Does 110 divide s(23)?
True
Suppose -579 = -d - 3*x + 7*x, -5*d = 3*x - 2918. Suppose 224 = 2*r + 4*w, -4*r + d = -5*w + 200. Is r a multiple of 19?
False
Is 3 a factor of (-12)/15*-5 - 5 - -37?
True
Suppose 4*p + 2*z - 2 = 0, 6 = -3*z - 3. Suppose -109 + 359 = p*h. Is 25 a factor of h?
True
Let n(z) be the third derivative of 19*z**5/20 - z**3/6 - 8*z**2. Does 17 divide n(1)?
False
Let a = 1329 - 1052. Is 2 a factor of a?
False
Let b(q) = 6*q**2 - 9*q + 1. Suppose 4*o + 0*t = -t - 18, -o = 4*t + 12. Does 19 divide b(o)?
True
Suppose 7*q = 4*q + 396. Suppose -68 = -3*c - 5*v + 48, 4*c + v = q. Does 7 divide c?
False
Suppose -6*t + 17*t = 15444. Does 78 divide t?
True
Suppose 8*a - 7*a = -103. Let x = a - -172. Is 22 a factor of x?
False
Suppose 3*g + 2*u = -48, 40 = -3*g + u - 17. Let o be (-16)/12*(-57)/(-1). Let c = g - o. Is 14 a factor of c?
False
Suppose 4*s + 15 = s. Let r be 2/(s/(5/(-2))). Suppose -r - 2 = -w. Is 2 a factor of w?
False
Let q = -12 + 8. Let t(c) = c**2 + 3*c + 6. Let p be t(q). Let o = p + -6. Is o a multiple of 4?
True
Let a be (109 - -4) + -1*3*-1. Is 21 a factor of (a/16)/(1/8*1)?
False
Let s(i) = -4*i**3 - 11*i**2 + 16*i + 9. Let v(k) = 3*k**3 + 10*k**2 - 15*k - 10. Let a(d) = 2*s(d) + 3*v(d). Is 6 a factor of a(-9)?
True
Let t(f) be the first derivative of -3*f - 5/3*f**3 + 3/2*f**2 + 10 + 3/4*f**4. Does 21 divide t(3)?
True
Let r be 1 - (-3 + 3 + -2). Suppose -8*u = -r*u - 805. Suppose 5*p = 4*z - u, p + 0*p = 2*z - 85. Is 19 a factor of z?
False
Let j be 55/20 + (-2)/(-8). Suppose 4*w - 38 = -3*o, -2*w + j*w + 5*o - 1 = 0. Is (w - -124)*(-1)/(-3) a multiple of 15?
True
Suppose 7*y - 601 = 484. Let o = y - 41. Does 38 divide o?
True
Let z(k) = -k**2 - 22*k - 69. Does 7 divide z(-13)?
False
Let q = 0 + -3. Does 25 divide (-264)/q + -2 + 1?
False
Does 39 divide ((-3