-15. Is p a multiple of 28?
False
Suppose 3*v - 2*t = 755 + 1185, 2*t = -4*v + 2610. Is 65 a factor of v?
True
Suppose 0 = f + 2*y + 6, 3*y - 7*y - 14 = 3*f. Does 26 divide f + (-9)/(-4) - (-13992)/96?
False
Suppose -23*p + 20 = -18*p. Suppose 84 - 230 = -5*b - 2*y, -2*y = p. Is 2 a factor of b?
True
Suppose -4*j + 11 = 43. Let r = 1 - j. Let k = 19 + r. Is k a multiple of 16?
False
Let z = 4 - -8. Is (2*(-2)/z)/((-1)/501) a multiple of 15?
False
Let d(a) = 80*a + 301. Is d(41) a multiple of 34?
False
Let y(q) = -q**3 + 3*q**2 + 3*q - 6. Is y(-6) a multiple of 49?
False
Let d be (48/(-6))/(4/(-2)). Suppose -f + 248 = d*n - 295, -269 = -2*n - f. Is n a multiple of 14?
False
Suppose -5*r - 2*i = -3, 2*i + 2 = 5*r + 15. Is 24 a factor of (4 - 1) + r + 22?
True
Suppose -3*g = d - 112, -5*g + 413 = 4*d - 0*g. Let s = d + -16. Does 27 divide s?
True
Let i(a) = 4*a**2 + 4*a. Let o be i(-7). Suppose -4*s - 8 = 0, -o = -5*w + 5*s + 282. Suppose 19 = -k + w. Is 20 a factor of k?
False
Let i(s) = -s**3 - 10*s**2 + 5*s + 8. Let m be i(-10). Let v = -32 - m. Does 5 divide v?
True
Is (7 + -5)/((-5235)/1310 + 4) a multiple of 33?
False
Let p(s) = 3*s**2 + 3*s - 20. Let v be (-3)/((-3)/(-8)) - (-15)/5. Is p(v) a multiple of 10?
True
Let z = 5 - 30. Suppose -4*t - 4*x - 206 = -6*x, -2*t = 5*x + 97. Let y = z - t. Is y a multiple of 9?
False
Let v = 2100 + -1284. Is 51 a factor of v?
True
Does 45 divide 44/(-33) - 48223/(-21)?
True
Suppose 37*l - 1526 = 28. Is 21 a factor of l?
True
Let q(h) = -h**2 + 27*h + 35. Is 5 a factor of q(15)?
True
Let m(b) = 4*b + 1. Let t(p) = 8*p + 2. Let h(i) = -11*m(i) + 6*t(i). Does 5 divide h(5)?
False
Suppose 1 = 2*m + 3*x - 8, -3*m + 4*x - 12 = 0. Let z(d) = -d**3 - d**2 + 8*d + 9. Let v be z(-1). Suppose m = -b - v + 7. Does 2 divide b?
True
Suppose -3*v + 5*q = -98, 0*v - 2*v + 58 = 4*q. Suppose -t + 105 = 2*t. Suppose 2*j = t + v. Is 11 a factor of j?
True
Suppose 0 = 6*z - 239 - 2629. Does 48 divide z?
False
Let j = -858 + 1506. Suppose 8*a = 5*a + j. Suppose 5*w - 2*u = a, -4*w - w - 5*u + 230 = 0. Is 13 a factor of w?
False
Let a be 0/6 + 15*1. Let p = a - 5. Suppose -t + 40 = 4*x - 2*t, x - p = 4*t. Is x a multiple of 5?
True
Let h = -15 + 9. Let p = h + 0. Let i(n) = n**2 + 5*n + 9. Is 10 a factor of i(p)?
False
Let d = -76 - -113. Let i = d - 2. Is i a multiple of 4?
False
Suppose 30 = -14*n + 19*n. Let p(m) = -4 + 4 - 5*m - 10 - m**2 - n*m. Does 6 divide p(-7)?
True
Let b(m) = -10*m. Let l(w) = -w - 2. Let g be l(-5). Let f be 66/(-12) - g/(-2). Is b(f) a multiple of 20?
True
Let z = 69 + 152. Does 22 divide z?
False
Let d = 120 - -30. Does 4 divide d?
False
Suppose -3*v = 2*w + 12 - 4, 0 = 2*w + 2*v + 4. Let h be (w - -1)/(5 - 2). Is 25 a factor of h + 78 + (-22 - -18)?
True
Let q(n) = n + 20. Suppose 18 = g + 12. Let y be q(g). Suppose u = -5*c + 42, -3*u + y = 2*c + 2*u. Does 2 divide c?
True
Is 83 a factor of (-4)/84*-6 + (-17420)/(-35)?
True
Let r(v) = 3696*v - 57. Is r(1) a multiple of 12?
False
Let i = -91 - -88. Is 17 a factor of (-905)/i + 2/(18/3)?
False
Suppose 135 = -0*o + 5*o. Let q = 30 - o. Is q a multiple of 3?
True
Does 6 divide (-4 - 448/(-7)) + -6?
True
Let o = -1478 + 3641. Is o a multiple of 21?
True
Let t(k) = -k**3 + 17*k**2 - 11*k - 18. Let r be t(6). Suppose 0 = -3*v + 3*f + r, -5*v = 4*f - 192 - 337. Is 19 a factor of v?
False
Suppose -6*t = -9*t + 33. Let o = 29 - t. Is 9 a factor of o?
True
Let f = 20 - 11. Let w(d) = d**3 - 7*d**2 - 10*d - 13. Let x be w(f). Suppose -x + 12 = -u. Is u a multiple of 19?
False
Let r = 113 - -95. Is 13 a factor of r?
True
Let n(j) = -j**3 + 9*j**2 - 3*j - 3. Let z(f) = 3*f**3 - 26*f**2 + 8*f + 8. Let l(g) = 11*n(g) + 4*z(g). Is 45 a factor of l(7)?
True
Let b(z) = -2*z**2 + 70*z - 261. Is 3 a factor of b(30)?
True
Let m = 430 + 18. Does 29 divide m?
False
Let d = -699 + 984. Is 3 a factor of d?
True
Let q = 25 - 16. Is ((-15)/q)/((-1)/33) a multiple of 11?
True
Let y(r) = 4*r + 4. Let v be y(-2). Let x(a) = -a**3 - 3*a**2 + 3*a + 1. Let t be x(v). Suppose -t*d = -3*d - 90. Does 9 divide d?
True
Let s(a) = 4*a**2 - 17*a + 71. Is 22 a factor of s(9)?
True
Let o(b) = 3*b**2 - 19*b + 11. Let f(p) = -p**3 - 9*p**2 - 9*p + 3. Let q be f(-8). Does 40 divide o(q)?
False
Let b be (-22)/(-6 + (-112)/(-20)). Let j = 22 + -16. Suppose -4*d + 3*k + 23 = 0, 5*d + j*k = k + b. Does 7 divide d?
False
Let a = 18 + -13. Suppose -3*m = -a*q - 0 - 2, 24 = 2*q + 5*m. Suppose q*f - 15 = -f. Does 2 divide f?
False
Let u(j) = 4*j**2 - 32*j - 12. Does 12 divide u(-6)?
True
Let d(y) = -8*y + 3*y**2 - y**2 + 0*y**3 + 6*y**2 - y**3. Let c(k) = -k**2 + 7*k - 6. Let v be c(4). Is d(v) a multiple of 6?
True
Is ((-3)/5)/(8/(-80)) - -5 a multiple of 7?
False
Suppose 5*u = -3*n - 44 + 4, -2*n = -4*u - 32. Let p be 24/(-9)*66/u. Let t = p - 4. Is t a multiple of 6?
True
Let a(m) = 31*m**2 + 11 - m**2 - 8*m**2 - 6*m. Is a(2) a multiple of 37?
False
Let n be 18/4 + (-1)/(-2). Suppose -2*p + 0 = -8. Suppose -16 = p*w - n*w. Is w a multiple of 8?
True
Let o = -1206 - -1698. Is 9 a factor of o?
False
Suppose -f + 28 = -5*f + 4*v, -4*f = v + 33. Let j(c) = -c**2 - 11*c - 16. Is j(f) a multiple of 2?
True
Suppose -7*g + 1674 = 2*g. Does 93 divide g?
True
Let g = 1535 + -1055. Is 40 a factor of g?
True
Let u be (-18 + 18)*(-1 + 0). Suppose u = 5*k - 325 - 45. Is 35 a factor of k?
False
Suppose 3*g + 0*u - 2*u - 12 = 0, 0 = -g + 5*u + 17. Suppose g*l - 27 = l. Is l a multiple of 5?
False
Let k be 24/9 - -1 - 12/(-9). Suppose -2*f + a = 2*f - 393, -183 = -2*f + k*a. Does 16 divide f?
False
Let m(v) = 201*v - 69. Is m(10) a multiple of 26?
False
Let j(d) = 3*d + 26. Let a be j(-7). Suppose 7*i - 2*i = -n + 56, 0 = -3*i - a*n + 38. Does 5 divide i?
False
Let i = 14 - 9. Suppose 0*q + i*q = -5. Is 72/8 - (-1 + q) a multiple of 11?
True
Suppose -96 = -d + 2*b, 6*d - 11*d = -5*b - 495. Suppose -5*r + 502 = d. Is 20 a factor of r?
True
Let k(t) = -t - 1. Let d be k(16). Let v(w) = 12*w**3 - 6*w**2 - 7. Let h(y) = 35*y**3 - 17*y**2 - 20. Let q(l) = d*v(l) + 6*h(l). Does 16 divide q(2)?
False
Suppose 0*t + 5*q = t + 118, 0 = 3*t - 4*q + 365. Let m = t + 195. Suppose f + m = 3*f. Is 14 a factor of f?
False
Suppose 8*v + 4*r = 12*v - 11924, 5 = -5*r. Is 10 a factor of v?
True
Suppose -k - r + 151 = -69, -3*r = -2*k + 425. Does 7 divide k?
True
Let k(o) = -2*o - 2. Suppose -4*q = q + 125. Let j = 17 + q. Is k(j) a multiple of 13?
False
Let m(o) = 10*o**2 - o**3 - 3*o**2 - 8*o**2. Let c be m(-1). Suppose c = 2*d - 20 - 14. Does 6 divide d?
False
Let r = 4 + 11. Let a = 15 - r. Suppose 0 = 4*g - 5*i - 84, -32 = -g - a*g + 4*i. Is g a multiple of 16?
True
Let s = -18 - -20. Suppose -4*h = 3*j - 2*h + 4, 0 = -s*j + 3*h - 20. Let a = 39 - j. Does 18 divide a?
False
Suppose 0 = f - 5*z - 162, 8*z = -f + 11*z + 168. Is 15 a factor of f?
False
Suppose -14*w + 9*w = -15. Let o(y) = 5*y**2 + 11*y**2 - 5*y - 40 - 4*y**3 + 6*y**3 - y**w. Is 8 a factor of o(-16)?
True
Suppose -q = -0*q - g - 283, 6 = -2*g. Does 20 divide q?
True
Let f = 4663 + -2842. Is f a multiple of 10?
False
Suppose -131 = -k + 208. Does 19 divide k?
False
Let a(o) = o**3 + 9*o**2 - o - 5. Let r be a(-9). Suppose 0 = -r*j - 0*j + 240. Is j a multiple of 10?
True
Let f = -912 + 1487. Is f a multiple of 35?
False
Suppose -3*q + 515 = 2*v + 128, v + 5*q = 183. Is 2 a factor of v?
True
Suppose -z - 3 = -4*o, -5*o - 10 = 3*z - 7*z. Suppose -2*y - 3*d - 11 = 0, -y + 6*d - 2*d = -22. Suppose -3*n - 42 = -o*f - n, -y*n = f - 15. Does 9 divide f?
False
Suppose -10 = k - 2. Is -6*(180/k)/5 a multiple of 9?
True
Let w be 24/8 + (-1 - -3). Suppose 0 = 5*q + w + 70. Let j = q + 23. Does 8 divide j?
True
Let p be 3/7 + (-6)/14. Suppose 10*r - 3*r - 140 = p. Is r a multiple of 20?
True
Suppose 0 = -0*t - 3*t + 6. Suppose 24 = t*d + 2*d. Let a(g) = g**2 - 4*g + 9. Does 21 divide a(d)?
True
Let z(q) = -9*q**3 - 7*q**2 + q + 4. Does 21 divide z(-3)?
False
Suppose 12 + 28 = 4*a. Let m(l) = l - 5 - 2 + l. Does 7 divide m(a)?
False
Suppose 2*x + 4*x = 18. Suppose 0 = -x*f + 146 - 8. Does 7 divide f?
False
Suppose 20*a = 18*a + 664. Suppose 0*y + y = -2*i + a, 0 = 4*i + 3*y - 666. Is 13 a factor of i?
False
Let z be (-7 - -7)*(-2)/(-6). Suppose 3*v - 273 = 4*r, 5*v - v - 