*r - 1 = j + 1, r = -4*j + 18. Is 2 a factor of j?
True
Let f(h) = -2*h**3 - 2*h**2 - h - 10. Is 20 a factor of f(-7)?
False
Suppose -n - 167*i = -164*i - 1869, -2*n + 5*i = -3738. Is n a multiple of 21?
True
Suppose -5*f - 160 = -3*q - 5479, -2*f = 3*q - 2136. Is 15 a factor of f?
True
Let z(x) = x**3 + 13*x**2 - 2*x - 23. Let p be z(-13). Suppose 355 = 4*a + p*k - 244, 0 = -k - 3. Is a a multiple of 8?
True
Let g be ((-114)/95)/(4/(-10)). Suppose 10*v + 2*w - 50 = 5*v, -2*w + 26 = g*v. Does 10 divide v?
False
Suppose 2*r + 116 = 5*s, r = 5*r + 2*s + 208. Suppose t + 2*t + 225 = 0. Let z = r - t. Does 13 divide z?
False
Let v = -2 - -3. Let f(u) be the second derivative of 27*u**5/10 + u**4/12 - u**3/6 + u**2/2 + 31*u. Is 31 a factor of f(v)?
False
Let c = -1 + -10. Let v = c + 59. Suppose -v - 6 = -3*h. Is 10 a factor of h?
False
Let r = 14 - 9. Let t(j) = -j**3 + 6*j**2 - 4*j - 1. Let s be t(r). Suppose 2*p + 80 = 2*n + n, 0 = -s*n + 5*p + 116. Is n a multiple of 24?
True
Let x = -11 + 161. Let k = -83 + x. Is 14 a factor of k?
False
Let a(r) = r**2 + 2*r. Let s be a(-3). Suppose 3*l - 144 = -2*c + 105, 9 = s*c. Does 20 divide l?
False
Suppose -10*u + 5*u - 135 = 0. Suppose 5*d - 6 = -4*g + 13, d - 23 = -4*g. Is (-9)/u + 376/g a multiple of 14?
False
Suppose 5*k = -3*p + 136, -4*k + 57 = -4*p + 185. Is p a multiple of 37?
True
Let j = -3 + 14. Suppose 4*t + 18 = -25*w + 20*w, -3*w - 15 = t. Let c = j + w. Is 5 a factor of c?
True
Is 27 a factor of (-12 - 15)/(2*(-3)/18)?
True
Suppose -3*s + 7*s + 192 = 0. Let a be (s/(-20))/(4/10). Suppose 28 = a*p - 2*p. Is p a multiple of 2?
False
Suppose 5*y + 4*x = 4376, 4*x = -2*y + 874 + 874. Does 18 divide y?
False
Let k be 0/6 - 6/(-2). Suppose k = 2*t - 31. Suppose n - 10 = t. Is 9 a factor of n?
True
Let t = 4 + -13. Does 16 divide (6/(-4))/(t/132)?
False
Let r = 12 + -10. Suppose -2 = 5*f + 3, -r*f - 27 = 5*j. Is (-2)/j - 324/(-15) a multiple of 10?
False
Suppose 3*d - 6 = -3*y, -y - 3 = 4*d + 1. Is 14 + (2/y)/((-3)/(-18)) a multiple of 4?
False
Suppose 41 = -3*p + 263. Suppose 6*n - 8*n = -p. Let k = n + -15. Does 13 divide k?
False
Suppose 15*c - 8 = 11*c. Suppose 3*k = c*k - 3*s + 76, 0 = 3*k + 4*s - 228. Is k a multiple of 19?
True
Suppose 48 = -3*r + 6*r. Let z be ((-12)/r)/(1/(-120)). Suppose -7*m + 12*m = z. Is 9 a factor of m?
True
Is (-1 - 59)/((-52)/286) a multiple of 10?
True
Suppose 0 = g + 2*a + 3, 3*g - g = a + 9. Suppose -4*v = -3*h - v + 48, g*v - 78 = -4*h. Is h a multiple of 3?
True
Let h(b) = -2*b + 26. Let n be h(12). Let k = 4 - n. Suppose p - k*t - 33 = 2*t, -5*p + 216 = -3*t. Does 15 divide p?
True
Suppose 3*m = -3*i + 579, 0*m + 3*i = -4*m + 769. Is 20 a factor of m?
False
Let h(x) = 0*x - 16 + x + x + 5. Let w be h(9). Does 11 divide (-2)/w + 1188/42?
False
Let t(b) = 7*b**2 + 8*b + 22. Is 13 a factor of t(-6)?
False
Let d(f) = -18*f**2 + 3*f + 2. Let o be d(-1). Let q = o + 35. Is q a multiple of 8?
True
Suppose -20 = f - 16. Does 8 divide (-2 - 10/f) + (-147)/(-6)?
False
Suppose -2*y + 22 + 2 = -4*i, 0 = y - i - 8. Suppose 4*u - y*z - 332 = -0*z, -5*u = 3*z - 423. Does 21 divide u?
True
Let t = 2836 - 1548. Does 56 divide t?
True
Let o(v) = v**2 - 5*v - 2. Suppose 3*j + 0*s - 20 = -s, s - 26 = -4*j. Let f be o(j). Suppose f*x - 1 = 39. Is 5 a factor of x?
True
Let x be -2*(-3)/((-15)/700). Let n = x - -405. Is n a multiple of 11?
False
Let x = -17 - -6. Let b = -3 - 6. Let a = b - x. Is a even?
True
Suppose -2*b - 2*b + 29 = -3*k, 2*k - 19 = -5*b. Suppose -2*h = 3*v - b*h - 33, -v + 11 = -4*h. Is 11 a factor of v?
True
Let y = 695 - 1. Is y a multiple of 58?
False
Let z = 80 + -67. Suppose -z - 91 = -4*t. Does 14 divide t?
False
Let j be (-212)/(-5) + 10/(-25). Suppose o = 99 - j. Suppose k - o - 14 = 0. Does 22 divide k?
False
Let z be (155/(-20) - 3)/(2/8). Let m = z + 133. Is 45 a factor of m?
True
Let v(z) = 9*z**3 + z - 1. Let b(j) = -10*j**3 - j**2 - 2*j + 2. Let k(q) = -3*b(q) - 4*v(q). Is 18 a factor of k(-2)?
True
Let a = -2 - -19. Let u = 25 - a. Does 8 divide u?
True
Let x = 44 + -42. Suppose -x*b - 63 = -3*b. Is 31 a factor of b?
False
Let j(f) = -f + 37*f**2 - f + 4 - 6. Does 37 divide j(-1)?
True
Let b(w) = -11*w - 1. Let i be b(-2). Suppose -5*c = -k - i, -c - 3*c - 2*k + 14 = 0. Is 2 a factor of c?
True
Suppose 470 - 145 = 5*m. Is 16 a factor of m?
False
Let y be ((-12)/8)/(3/152). Let t be -2 + (2 - 0) + 108. Let b = y + t. Does 16 divide b?
True
Let q(p) = -p**2 + p. Let i be (-5)/((-15)/12) - 5. Let g be q(i). Let a(l) = -4*l**3 - l**2 + l. Is 4 a factor of a(g)?
False
Let x(u) = -13*u**3 + u**2 - 2*u + 3. Let i be (-14)/(-4)*1*2. Suppose 2*a + i = 3. Is x(a) a multiple of 23?
True
Let q(n) = 2*n + 34. Let l be q(-11). Let g(w) = -w**2 + 15*w - 12. Is g(l) a multiple of 4?
True
Let z(f) = -f**2 - 5*f - 3. Let i be z(-2). Let d = 10 - i. Suppose 0 = -2*v, -t + 2*v = d*v - 56. Is t a multiple of 14?
True
Let o = -534 - -1866. Is o a multiple of 36?
True
Suppose -4*p = 6*i - 7*i + 567, -2*p = -4. Is 19 a factor of i?
False
Is -2*792/77*(-7)/2 a multiple of 4?
True
Let i(a) = a**2 - a - 7. Let n = -16 + 12. Is i(n) a multiple of 13?
True
Let t(r) = -r**2 + 20*r + 63. Let d be t(20). Is 7 a factor of ((1232/12)/(-7))/((-6)/d)?
True
Is 15 a factor of (0 - 6) + (-3 + 4707)/4?
True
Is 25 a factor of 140/(-910) - (-808)/13?
False
Let s(x) = 212*x - 4. Does 30 divide s(2)?
True
Suppose 10 = -5*c - 4*q, -c + 6*c + 15 = -5*q. Suppose 0 = -4*x - 3*g + 237, c*x - 38 = -g + 79. Let n = x + 5. Is 17 a factor of n?
False
Suppose 12*y - 658 = 10*y. Let p = y + -230. Is p a multiple of 17?
False
Suppose -2*c - 4 + 8 = 0. Suppose -z = -c*x + 43, 2*x + 5*z + 12 = 61. Is x a multiple of 6?
False
Let p be (-8 + 12)/(2/1). Suppose z = -p*z - 81. Let q = z + 101. Is q a multiple of 10?
False
Let n = 362 + -182. Suppose -4*g = 6*l - 4*l - n, 3*g - 129 = -3*l. Does 21 divide g?
False
Suppose -4445 = -26*l - 493. Is l a multiple of 47?
False
Suppose 5*j + 1073 = -962. Let a = -260 - j. Does 49 divide a?
True
Let p(a) = 2*a**2 + 2*a - 6. Let f = 43 + -49. Is p(f) a multiple of 9?
True
Let t = 6 - 5. Suppose -t = -8*k + 9*k. Is 1 - k - 336/(-7) a multiple of 22?
False
Suppose -5*d + 792 = -9*x + 5*x, 3*d = 3*x + 474. Is 10 a factor of d?
True
Let s = 61 - 58. Let f be ((-2)/3)/(1/(-21)). Suppose -f + 59 = s*z. Is z a multiple of 9?
False
Let h(k) = -135*k + 101. Is 20 a factor of h(-5)?
False
Let z(b) = b**3 + 11*b**2 + 21*b - 149. Does 11 divide z(7)?
True
Suppose -3*b + 26 = b + 5*x, 5*x = 10. Suppose 2*w - 44 = -b*d, 3*d + 5*w - 2 = 45. Is 2 a factor of d?
False
Suppose 0 = -2*v + 2*l + 110, 160 = -2*v + 5*v - 2*l. Does 24 divide v?
False
Let j = -61 - -64. Suppose -2*r = -r - j. Is 3 a factor of r?
True
Let a = 42 - -14. Let c = a + -16. Does 40 divide c?
True
Suppose 249*v = 237*v + 504. Is 6 a factor of v?
True
Let a = 8 + -6. Suppose 3*p - a = 2*l, 4*p = 6*l - 2*l. Suppose 36 = l*c - 70. Is 34 a factor of c?
False
Let r = 1707 + -955. Is 47 a factor of r?
True
Suppose -5*b + 1105 + 210 = u, 2*b = -u + 523. Let q = -181 + b. Is q a multiple of 35?
False
Let r(h) = -h**2 + 21*h + 52. Let q be r(21). Is (-5)/(-3 - (-154)/q) a multiple of 13?
True
Let z = -76 - -78. Suppose 0*o + 2*o = 0, 0 = -z*q - 5*o + 116. Does 35 divide q?
False
Let h = -200 + 93. Let j = -35 - h. Is 8 a factor of j?
True
Let w(d) = -d**2 - 10*d - 11. Let m be w(-7). Suppose -m - 93 = -q. Does 10 divide q?
False
Let x = -56 - -67. Suppose 3*f + x = 77. Is f a multiple of 11?
True
Let w(j) = 16*j**2 - 3*j + 3. Let b be w(-3). Let l = b + -60. Is 25 a factor of l?
False
Suppose 1 - 2 = c + x, 3*c - 5*x = 29. Suppose -7 + 15 = b. Is 5 a factor of 5/(b/(-3) + c)?
True
Suppose -2*f - 48 = -3*f. Suppose l + 3*l = f. Is 4 a factor of l?
True
Let c = -36 - -74. Let h = c + -19. Is 4 a factor of h?
False
Suppose -424*b + 426*b = 452. Does 11 divide b?
False
Let d(f) = -5*f**3 + f**2 + 5*f. Let k(j) = -6*j**3 + 2*j**2 + 6*j. Let c(i) = -7*d(i) + 6*k(i). Let b be c(4). Is (-8)/b - 202/(-5) a multiple of 10?
True
Let f = 253 + -168. Let i = f - 40. Is i a multiple of 15?
True
Suppose 3*c = 2*c + h - 21, h + 51 = -3*c. Let f = c - -16. Is 23 a factor of (f - (-3 - -3))*-23?
True
Suppose -1375 = -132*v + 77*v. Does