 24 divide v?
True
Let p(d) = d**3 - d**2 - 4*d + 4. Let w be p(1). Let f(c) = -c**3 - 2*c**2 + 3*c + 228. Is f(w) a multiple of 6?
True
Suppose -3444219 = -399*u + 66*u. Does 8 divide u?
False
Suppose 0 = -2*b + n + 8825 + 9426, 0 = -5*b + 2*n + 45630. Is 7 a factor of b?
True
Let u(f) = -f**3 + 5*f**2 + f - 9. Let a be u(3). Suppose -a*h = -13*h + 110. Is h a multiple of 22?
True
Let u = 1483 + -1020. Let n = 847 - u. Is 59 a factor of n?
False
Suppose 0 = -5*x - 3*p + 58 + 192, -100 = -2*x + p. Suppose -x = -5*i - 35. Suppose i*s = 7*s - 560. Does 6 divide s?
False
Let x = 7101 + -2841. Does 6 divide x?
True
Let r(p) = 68*p + 12. Let i be 24*(7/28)/1. Is r(i) a multiple of 12?
True
Let t(y) = y**3 + 7*y**2 + 2*y - 19. Let j be t(-6). Suppose -3*r - j = -z, -2*r - 2*z = -z. Is 6 a factor of (32 - 7) + 2 - (r - 2)?
True
Does 52 divide 9/(270/24)*6890/((-6)/(-3))?
True
Let r = 29427 - 14984. Does 143 divide r?
True
Let f = -111 - -1280. Let s = 1873 - f. Does 44 divide s?
True
Let q(y) = -y**3 - 9*y**2 - 12*y - 36. Let h be q(-4). Let f = -56 + -8. Let u = f - h. Is u a multiple of 2?
True
Let h = -28812 - -46646. Is 241 a factor of h?
True
Let x = -46 - -51. Is (x*-4)/(3/(-27)) a multiple of 15?
True
Suppose 3*p = -2*s + 1362, 419 = 2*s + 5*p - 939. Is s a multiple of 18?
True
Let x(k) = 3048*k + 1721. Is x(3) a multiple of 41?
True
Let f = 1020 - 415. Is f a multiple of 5?
True
Suppose 3*o + 8*r - 5*r = 15, 0 = 2*o + 5*r + 2. Suppose 5*j = -2*k + 1374, -4*j + 3*k = -o*j + 1371. Is 12 a factor of j?
True
Suppose -2*g + 677 - 174 = o, -3 = 3*o. Suppose 11*b - 2*b = g. Is 28 a factor of b?
True
Does 18 divide -12 - (-60)/6 - (0 + -10532)/2?
False
Let g(y) = -7*y**3 + y**2 - 3*y + 746. Let z(r) = 13*r**3 - 2*r**2 + 6*r - 1490. Let n(u) = -11*g(u) - 6*z(u). Does 19 divide n(0)?
False
Let a = -44 - -49. Suppose -2*m - 3 + 7 = 0, -2*m = a*x + 356. Let y = 62 - x. Is y a multiple of 24?
False
Let q be (-1 + (-16)/(-24))*(-1 - 14). Suppose 4*j + 365 = 3*x + 6*j, q*x - 3*j = 640. Is x a multiple of 5?
True
Let j = -953 + 957. Let k = 4 - 2. Suppose 5*y + 4*i - 360 = i, k*i - 286 = -j*y. Does 34 divide y?
False
Suppose -7*l - 17500 = -5796. Let x = -1138 - l. Is x a multiple of 51?
False
Let r = -507 + 522. Suppose 34*k = r*k + 6897. Is k a multiple of 33?
True
Let a(w) = 65*w - 6. Let d be a(4). Let k be 9 + -9 - 5 - -13. Suppose 0 = -k*g + 6*g + d. Is 35 a factor of g?
False
Let p(s) = 0*s + s**2 + 5*s**3 + 14*s**3 + s. Let c be p(-1). Does 6 divide 1 - (1 + -1) - c?
False
Let k = -975 - -977. Suppose 0 = k*f + j - 1968, -16*j + 15*j = -2*f + 1976. Is f a multiple of 17?
True
Let m be 168/(-77) - (-1 + 27/33). Suppose -4*a + 2*i + 110 = 0, -5*i = 5*a - 107 - 8. Is (6*1 + m)*195/a a multiple of 7?
False
Let s = -10 + 13. Suppose -c = -2*r + 2 - 4, -r - 22 = s*c. Does 3 divide (9/c - 3)*-2?
True
Let w = -9509 - -10207. Is w a multiple of 2?
True
Does 54 divide -5*(-12)/(-360) + 179557/6?
False
Let g(v) = -v - 10. Let d be g(-13). Suppose -5*p = -2*p - c - 1719, -563 = -p - d*c. Does 13 divide p?
True
Let x = -5004 - -8343. Suppose -3*y + 8*a + x = 5*a, 0 = -2*y - a + 2238. Is y a multiple of 10?
False
Let k = 317 + -561. Let w = k + 412. Suppose -2*l + 56 = -0*v + v, -4*l = -3*v + w. Does 15 divide v?
False
Suppose -53 = -3*c - 4*o, 5*c + o - 79 = -o. Let v be (-3)/15 + 48/c + 2. Suppose f = k + 53, -34 = 2*f - v*k - 137. Does 27 divide f?
True
Let p be 10*(-7)/14*1/(-1). Is 241/2 - ((-44)/(-8) - p) a multiple of 12?
True
Let q = -451 - -652. Let u = -39 + q. Let t = -118 + u. Is t a multiple of 9?
False
Let q(r) = 3*r**2 - 10*r - 10. Let c(g) = -7*g**2 + 19*g + 20. Let j(n) = 4*c(n) + 9*q(n). Let u be j(-13). Is 19 a factor of u*(0 + -1) - -117?
True
Let m(k) = -k**3 + 6*k**2 + 8*k - 3. Let c be m(7). Let s = 252 + -245. Suppose -s*v - 740 = -5*t - 3*v, 0 = c*t - 4*v - 596. Is t a multiple of 36?
True
Suppose -m = 4*k + 20, 2*m + k = 3*m - 5. Suppose m = -4*l - 109 + 1293. Does 37 divide l?
True
Let i(l) = -l**2 + 10*l - 17. Let c be i(-9). Let y be 199/(3/(-6) + 1). Let v = c + y. Is 14 a factor of v?
True
Let w(m) = m**3 - 22*m**2 + 21*m + 2. Let l(h) = h**3 + 8*h**2 - 13*h - 15. Let r be l(-9). Let a be w(r). Is 136 + (1 + a)/(-3) a multiple of 15?
True
Let j(h) = 1408*h - 697*h - 742*h - 68. Does 82 divide j(-18)?
False
Let f(q) = -q**3 + 8*q**2 - 3*q - 24. Let y be f(7). Suppose 0 = 2*n - 3*d - 3111, 3*n - y*d = -5*d + 4661. Is n a multiple of 43?
False
Let a = -20453 - -38595. Is 4 a factor of a?
False
Let u = 17359 + -4333. Is 26 a factor of u?
True
Suppose 0 = -p + 3*i + 759, 2*p + 150 = 3*i + 1665. Is p a multiple of 27?
True
Let f = 503 + -497. Suppose -1041 = f*y - 7593. Is y a multiple of 52?
True
Let w = -56 + 43. Let t = 31 + w. Is t even?
True
Let l(a) = a**3 - a**2 - a - 14. Let w be l(0). Suppose 0 = 106*z - 104*z - x + 7, z = -x + 4. Let i = z - w. Is 6 a factor of i?
False
Let p(m) = m**3 - 6*m**2 + 13*m - 15. Let z be p(5). Suppose y = -j + 301 - z, -5*j + 1372 = -3*y. Is 30 a factor of j?
False
Let x(u) = -4*u - 3. Let m be x(-2). Suppose -5*g - 2*z = -g - 168, -5*g - m*z + 220 = 0. Is 15 a factor of g?
False
Suppose -4*w = -3*i - 5*w + 211, 2*w - 8 = 0. Suppose 7*f = 349 - i. Is f a multiple of 8?
True
Is 118 a factor of -13 - -1608 - ((-20)/(-8) + -2)*-14?
False
Let p be (12/12)/((3/2)/3). Suppose 2*t - p*l - 10 = 0, -2*t + 8 = -4*t - 4*l. Suppose -4*h = -2*o - t*o - 408, 0 = -4*h + 2*o + 400. Does 14 divide h?
True
Let l = 756 - -4436. Is 44 a factor of l?
True
Let i(p) = 3*p + 15. Suppose -4*j = -4*n + 16, 4*n + n = -3*j - 12. Let y be i(j). Is 32/(-4) + y - -305 a multiple of 14?
False
Suppose -1606 = -7*n + 3233 + 7236. Does 23 divide n?
True
Suppose 2*k = 4*y - 24955 + 2599, 0 = -y - 5*k + 5567. Is 138 a factor of y?
False
Let f(t) = -t**3 - 6*t**2 - 10*t - 11. Let m be f(-5). Suppose -7*p - 952 = -m*p. Does 17 divide p?
True
Let n(p) = p**2 - 12*p + 8. Let u be n(24). Let i = -176 + u. Is i a multiple of 20?
True
Let f = -185 + 179. Let z(t) = 8*t**2 - 21*t - 172. Is 7 a factor of z(f)?
False
Suppose -5*y + 6 + 9 = 0, 2*y - 21 = -5*w. Let q(r) = -6 - 12 + 2 - r**3 - w + 10*r**2 - r. Is 30 a factor of q(9)?
False
Suppose -7*b + 72 + 12 = 0. Does 13 divide 337 + (b/78 - (-37)/13)?
False
Let t(o) be the third derivative of o**5/60 + o**4/3 - 7*o**3/6 - 19*o**2. Let u be t(-8). Let w(b) = -3*b + 11. Does 9 divide w(u)?
False
Let t be 1/(-35)*-7 - 1383/15. Let w = t + 293. Does 5 divide w?
False
Does 8 divide 360/54*(-183411)/(-45)?
False
Suppose -85*f + 2496 = -79*f. Suppose 2*m = 3*a - f, 258 + 295 = 4*a - m. Does 6 divide a?
True
Let c = -384 + 384. Suppose c = -13*f - 1107 + 9427. Is f a multiple of 30?
False
Let w = 16347 - 10129. Suppose 0 = 8*f - 1670 - w. Is 58 a factor of f?
True
Let f = 917 + -539. Suppose -2*c + 1 = -1, 0 = -4*u + 2*c + 2206. Let i = u - f. Does 29 divide i?
True
Suppose -8*r + 5*r = -18. Let p be -6 + 5 + r + 1. Suppose 2*u + p - 12 = 0. Does 3 divide u?
True
Let x be (-23 + (0 - 3))*(-2)/(-4). Let c be ((-15)/(-1))/3 - x. Suppose 13*q = c*q - 305. Is 31 a factor of q?
False
Let o(k) = 7*k**2 + 110*k + 422. Does 12 divide o(-29)?
False
Let w be (-1 + 2)*(-170)/2. Does 13 divide (-78)/3*w/10?
True
Let x(y) = y**2 + 3*y - 33. Let s be x(-8). Suppose -4*n + 119 = -129. Suppose -n = -8*u + s*u. Is u a multiple of 7?
False
Let v be 4/6 + 18160/(-60). Let t = v + 168. Let w = 199 + t. Is 13 a factor of w?
True
Let m(u) = 16*u**3 + 7*u**2 - 6*u + 23. Let x(b) = 8*b**3 + 4*b**2 - 3*b + 11. Let t(k) = 6*m(k) - 11*x(k). Does 21 divide t(3)?
False
Suppose 4*f = 3*i + 20, i = -6*f + 3*f + 2. Let v be ((-3 - -20) + 1)*f/(-4). Let d(b) = -4*b + 28. Does 13 divide d(v)?
False
Let f(z) = -2*z**3 + 1. Let t(b) = -4*b**3 - 32*b**2 + 27*b - 76. Let i(s) = 3*f(s) - t(s). Is 18 a factor of i(15)?
False
Suppose -876 = -4*r - i + 203, -806 = -3*r - 4*i. Does 3 divide r?
True
Suppose 2 = -m - 3*b - 0*b, -5*b = -m - 2. Let r be -2 + (215 - -4) + m. Suppose -c - 5*v + r = 4*c, 4*c - 4*v = 196. Does 23 divide c?
True
Suppose -c = -0*s + 3*s + 4, 5*s = 3*c - 30. Let r be 2/(4 + -2 - (-25920)/(-12944)). Is 54 a factor of r/(-3) + c/15?
True
Let i = -276 + 412. Suppose 2*m + c = -m + 172, -2*c - 10 = 0. Let q = i - m. Is 9 