ltiple of 14?
True
Suppose 263*w - 840 = 261*w. Is w a multiple of 13?
False
Suppose -1099 + 5311 = 9*v. Is v a multiple of 13?
True
Suppose 252 = 2*d - 0*d. Does 14 divide d?
True
Let w(i) = 5*i + 11. Let r(s) = -2*s - 4. Let g(n) = -8*r(n) - 3*w(n). Is 3 a factor of g(4)?
True
Let a be (-3 + -2)/(-4 - -3). Suppose 3*l + 2 + 4 = 0, 0 = a*h + 3*l - 124. Let f = -17 + h. Is 9 a factor of f?
True
Let n = 1278 + 680. Is 59 a factor of n?
False
Suppose 0 = -33*f + 28*f + 25. Suppose 37 = 3*c - f. Is c a multiple of 14?
True
Suppose 0 = 21*p - 4412 - 2602. Is 18 a factor of p?
False
Let j(u) = 755*u + 54. Let r be j(9). Is 38 a factor of r/45 - 2/10?
True
Suppose -4*r = 2*s - 36, r = -5*s + 2*r + 79. Suppose 5*z - t = s, 0 = -2*z + 7*z + 4*t - 36. Is 3 + z/((-4)/(-33)) a multiple of 16?
False
Suppose 3*j = -2*b, b = 3*b. Suppose 8 = t + 2*y, 10 + 6 = 5*t + 4*y. Suppose 0 = -i - j*i + 2*r + 10, 5*r = t. Does 9 divide i?
False
Suppose -4*f - 3*q = 2*q - 1672, -5*q + 1259 = 3*f. Is 35 a factor of f?
False
Suppose j = -0*j + 5. Let z(k) = k**2 - 6*k - 4. Let i be z(j). Let n = i + 18. Is n a multiple of 7?
False
Suppose 0 = y + 3, 3*y + 0 = -2*p - 9. Suppose 2*a + 2*a + 2*b - 546 = 0, -4*a + 547 = 3*b. Suppose p = -0*q - 4*q + a. Does 15 divide q?
False
Suppose 0 = -5*m - w + 417, -4*m + 5*w = -3*m - 99. Is (4 - -11)/5 + m a multiple of 7?
False
Suppose 25*u + 164 - 1589 = 0. Is 17 a factor of u?
False
Let s = -34 - -27. Is (90/105)/((-1)/s) a multiple of 2?
True
Let w(z) = -54*z - 112. Is w(-21) a multiple of 73?
True
Let y be -1*-1*(7 + -4). Is 3 a factor of 42/(-12)*((-121)/7 + y)?
False
Let m = -37 - -70. Let p = m + -26. Is 7 a factor of p?
True
Suppose 4*x = 2*d - 62, 4*x + d - 5*d + 68 = 0. Let c(y) = y**2 + 3*y + 33. Is c(x) a multiple of 20?
False
Is (24/20)/(8/620) a multiple of 3?
True
Let y(x) be the third derivative of x**4/3 + 91*x**3/6 + 3*x**2 - 6. Does 38 divide y(19)?
False
Let s = -317 - -541. Let z = s - 128. Does 21 divide z?
False
Is 2 a factor of (5/1 - 5) + 10?
True
Let q be 3/(-4) + 366/8. Let p = 68 - q. Is 16 a factor of (-51)/17 + p + -1?
False
Suppose 5*u - 8*u = -3. Does 14 divide (u - -14)/((-3)/(-45))?
False
Suppose -5*j = 2*j - 1428. Does 34 divide j?
True
Suppose -2*v - 5*f + 42 = -6460, -16278 = -5*v - f. Is 16 a factor of v?
False
Let u(t) be the first derivative of 13*t**3/3 - 2*t**2 - 3*t + 7. Does 10 divide u(-1)?
False
Suppose 7*m - 9*m = -3*n - 16, -4*n - 14 = m. Suppose -m*v - 1224 = -5*v + 3*g, -5*v = 3*g - 2056. Is v a multiple of 23?
False
Let j(y) = -y**3 + 4*y**2 - 2*y + 8. Let g be -8*(0 - 3/6). Let l be j(g). Suppose 5*w + 4*r - 40 = r, -5*w + 2*r + 65 = l. Is 2 a factor of w?
False
Suppose -3340 + 13827 = 4*f + a, 3*f + 4*a - 7862 = 0. Is 35 a factor of f?
False
Suppose -15*l + l = -5880. Does 60 divide l?
True
Is (-33)/(-88) + 11185/40 a multiple of 14?
True
Is (-118)/(-4)*(17 + -15) - 5 a multiple of 3?
True
Let q(g) = 12*g**2 - 3*g - 6. Let l(y) = -y**3 + 21*y**2 - 19*y - 24. Let k be l(20). Is q(k) a multiple of 43?
False
Let n be (-3 - 0) + (-1)/(-1). Let z be -2 + (n - (6 + 2)). Is 10 a factor of (2 + 2)*(-30)/z?
True
Let s(u) = 7*u - 15. Let k be s(14). Let d = k + -38. Does 8 divide d?
False
Suppose 0 = -32*p + 28*p, 0 = 5*m + 2*p - 7740. Does 33 divide m?
False
Let o = 101 + 484. Is o a multiple of 15?
True
Let j(o) = 4*o - 1. Let c be j(2). Suppose -6*w - 568 = -c*w. Suppose -3*y + w = 5*f, 5*f - 5*y - 186 = 414. Is f a multiple of 29?
True
Let l = 472 + -15. Let m = l - 281. Is m a multiple of 10?
False
Let w = 9 - 5. Let p be (0 + 2 - w)*4. Is p/(-5)*(-275)/(-10) a multiple of 18?
False
Let m = 49 - -354. Does 9 divide m?
False
Let d = 1152 + -641. Does 9 divide d?
False
Suppose 4*a = -2 - 2. Let x(h) be the first derivative of 17*h**3 - h**2 - h + 3. Is x(a) a multiple of 13?
True
Let n(g) = -g**3 - 3*g**2 - 8*g - 10. Does 20 divide n(-5)?
True
Suppose -5*j = -2*a - 3*a - 2785, a + 1117 = 2*j. Suppose 9*i = 2*i + j. Is 8 a factor of i?
True
Let l = -1298 - -1823. Does 8 divide l?
False
Let h(q) = q**3 + 10*q**2 + 3*q - 2. Let n be h(-9). Let z be n/13 - 1*2. Suppose r + z*r - 26 = -4*f, r - 5 = -5*f. Does 5 divide r?
True
Suppose -3*n + 5 = 4*t, 3*n - 35 = -4*t + 6*n. Suppose 4*s = t*k - 92, -8*k + 88 = -4*s - 4*k. Let b(f) = -f + 6. Does 17 divide b(s)?
False
Suppose -1493 = -5*v + 3*q + 944, 4*v + 4*q - 1956 = 0. Suppose -92 = 9*p - v. Is 13 a factor of p?
False
Let b = -102 - -109. Suppose -b*v + 348 = -310. Is 35 a factor of v?
False
Is 16 a factor of 2*3621/18 - 18/(-27)?
False
Let t(a) = -61*a + 2 - 43*a - 35*a - 19*a. Let w be t(-2). Let o = -197 + w. Does 32 divide o?
False
Let z(u) = -6*u**2 - 2*u. Let d be z(-3). Let n be ((-1)/(-3))/((-4)/d). Suppose -k + 16 + n = 0. Is k a multiple of 11?
False
Let v(l) = 7*l + 4. Let y be v(-9). Let p = y + 147. Does 11 divide p?
True
Let j = -5 - -10. Suppose -i + 59 = 2*i + 5*q, 0 = -j*i - 5*q + 115. Does 23 divide i?
False
Is 11 a factor of 11 + -18 + 17 - -342?
True
Let h be -3*(-2)/18 + 30/18. Suppose h*p - 170 = -0*p + 3*m, -2*p = 5*m - 186. Does 19 divide p?
False
Suppose 21*b = 31*b - 7020. Is b a multiple of 18?
True
Let d(h) = 2*h**3 - 2*h**2 - 4*h + 2. Suppose -28 - 17 = -15*l. Is 13 a factor of d(l)?
True
Let k(o) be the third derivative of 23*o**4/24 - 17*o**2. Is 4 a factor of k(1)?
False
Let j = 534 - 234. Is 15 a factor of j?
True
Let l(r) = 1274*r - 47. Does 7 divide l(1)?
False
Is 37 a factor of (18/(-3) - -10)*37*1?
True
Let s be (2/6)/(1/12). Suppose s*d - 17 = 3. Is d a multiple of 4?
False
Let j(c) = -223*c + 11. Is j(-4) a multiple of 21?
True
Let j = 2317 + -2020. Is 50 a factor of j?
False
Suppose 405 + 801 = 5*v + 2*x, 0 = -5*x - 10. Is v a multiple of 8?
False
Suppose 25*a - 439 = 24*a. Suppose 0 = -p + a - 76. Is 54 a factor of p?
False
Suppose f - 231 - 140 = 4*r, 3*r = -5*f - 307. Let x = 45 + r. Does 24 divide -2 + 3 + (-2 - x)?
True
Let t = 24 + -22. Suppose -3*h = t*d + 145 + 45, h + d + 65 = 0. Let i = -35 - h. Does 25 divide i?
True
Let d(x) = 5*x + 3. Let s be d(-3). Let r(m) = m**2 + 5*m - 7. Is 20 a factor of r(s)?
False
Let n be (-7)/2 - 9/18. Is n/6*312/(2 + -4) a multiple of 26?
True
Let y(q) = -64*q - 6. Let g be y(-7). Let p = -281 + g. Let t = 252 - p. Does 13 divide t?
True
Let r be -12*((-7)/(-3) - 3). Suppose -r*p = -10*p + 88. Is 32 a factor of p?
False
Does 28 divide (26/39)/(2 - 3340/1671)?
False
Suppose 5*k - 5*l + 50 = 0, 3*l + 2 = -k - 0*l. Does 13 divide 8/(-20)*-10*(-182)/k?
True
Let i(o) = -9*o - 1. Let h be i(-1). Let r = h - 4. Suppose -4*q + 72 = r*z, -3*z + 2*q + q = -36. Does 5 divide z?
True
Is (14/21)/(1/((-3807)/(-6))) a multiple of 33?
False
Let q(z) = -z**2 - 5*z + 3. Let s be q(-6). Let m be (s/(-9))/(4/48). Suppose 0 = m*j - j - 135. Is 14 a factor of j?
False
Let k(y) = -y**3 - 15*y**2 + 2. Let v be k(-15). Suppose 5*i - 2*f - 302 = 172, -2*f = v*i - 198. Is 12 a factor of i?
True
Suppose 0 = -13*u + 2515 + 8353. Does 19 divide u?
True
Suppose 2*b = 8*b - 12. Suppose 17 = 5*o + 2*u - 64, -27 = -b*o + u. Does 3 divide o?
True
Suppose 3*y = -5*d + 813, 0*y = 2*d + 4*y - 328. Is 6 a factor of d?
True
Let o(k) be the first derivative of -1/3*k**3 + 5/2*k**2 + 7*k + 2. Does 7 divide o(5)?
True
Let g be 2/(0 - 6/(-87)). Let w = g + -21. Is w a multiple of 3?
False
Let h(r) = -r**2 + 48*r - 68. Is h(44) a multiple of 6?
True
Suppose 0 = u + 5*c - 22, -4*u + 4*c - 14 = -3*u. Suppose u*v = 4*v - 34. Is 2 a factor of v?
False
Let b(x) = 33*x + 169. Is b(11) a multiple of 77?
False
Suppose -5*u = -5*k + 720, 2*k = 12*u - 11*u + 288. Is 24 a factor of k?
True
Suppose -5*s + 1430 = 5*x, 667 + 193 = 3*s + 2*x. Suppose 2*q + y + 72 = 3*q, -4*q - 3*y + s = 0. Suppose 4*n = 2*n + q. Is n a multiple of 18?
True
Suppose -96*x = -100*x + 2836. Suppose -g = 4*q - x, -2*g - 436 = -4*q + 258. Is q a multiple of 37?
False
Suppose 105 = -x - 2*x. Let a = x - -52. Suppose 17 = t + 4*n, -2*t + t + 2*n = -a. Is t a multiple of 8?
False
Let d = 110 - 133. Does 21 divide (d - (-15)/5)*-4?
False
Let g(q) be the second derivative of -q**4/12 + 3*q**3/2 - 7*q**2/2 + 5*q. Is 6 a factor of g(3)?
False
Suppose 0 = 5*q - 3*g - 229 - 235, -q - 3*g + 100 = 0. Is 5 a factor of q?
False
Let q = 7 + -1. Let u be 