+ 0/(-1)). Suppose 3*r - 4*j = 84 - 31, -k = r + 5*j. Is r a multiple of 5?
False
Let n(a) = 17*a**2 - 35*a - 39. Is n(-5) a multiple of 11?
True
Is (-3794)/((-5 - -5) + -2) a multiple of 15?
False
Let r be -3 + (-11)/(-4) + 75/12. Suppose -4*p + 2*y + 378 = 0, -5*p + r = 4*y - 473. Is p a multiple of 19?
True
Let r = 1509 - 809. Is 70 a factor of r?
True
Let h(q) = -q + 47. Does 9 divide h(-4)?
False
Suppose -4*u + 13 - 13 = 0. Let g = 12 + -4. Suppose -d + g = -2*n, -2*n + 24 = d - u*n. Is d a multiple of 4?
True
Suppose 2*s + 7*s = 54. Suppose -s*t + 208 = 2*t. Is t even?
True
Let u(z) = 3*z**2 + 15*z + 45. Let x be u(-21). Suppose -8*o = -1163 - x. Does 40 divide o?
False
Let t = 22 + -11. Let j(z) = 2*z - 15. Let w be j(t). Suppose -3*a - 300 = -w*a. Is a a multiple of 32?
False
Suppose 4 = l - 6. Suppose 0 = 5*z - l - 10. Suppose j - 84 = z*q, 4*j - q - 208 = j. Is j a multiple of 22?
False
Suppose 5*x = -0*x + 3*p + 141, -66 = -2*x - 2*p. Is 19 a factor of (-1706)/(-10) - (78/x + -3)?
True
Suppose 1 = -z + 5. Suppose -3*v + z = v. Let g = 6 - v. Is g a multiple of 3?
False
Suppose 2*s + 22 = -2*j, 0 = -s + 6 - 3. Suppose 0*p + 4*p - 144 = 0. Is 21 a factor of (j/(-3))/(8/p)?
True
Let o = -42 + 26. Let d(r) = r**3 + 16*r**2 - r - 11. Does 5 divide d(o)?
True
Let x = 8 - -15. Is 23 a factor of x - (4 - 5 - -1)?
True
Let k(x) = -x**3 + 14*x**2 - 13*x. Let v be k(13). Suppose v = 2*u - 2 - 2. Suppose r + u*f + 2*f = 74, 0 = 5*f. Is 22 a factor of r?
False
Suppose -3*i - 4*i = 301. Let f = 131 + i. Is f a multiple of 25?
False
Let b(k) = -k + 25. Let s(x) = -13*x - 10. Let z be s(-2). Is b(z) a multiple of 2?
False
Let s(c) = -c - 2. Let y be s(1). Does 38 divide (-615)/(-5)*(y + 4)?
False
Suppose -4*q + 5*l + 5 = 0, -2*q + 3*l + l + 4 = 0. Suppose q = -2*y + 154 + 140. Is 7 a factor of y?
True
Suppose 0 = -3*s - 1 - 2. Does 14 divide (-12 + 13)/(s/(-28))?
True
Let x = -3 - -5. Let v be 0/(-5 - (6 - 13)). Suppose v = -3*t - x*t + 65. Is t a multiple of 8?
False
Let b = 25 - 29. Let d be b/2 - (-6 - 1). Suppose s + 3 = d. Is s a multiple of 2?
True
Let b(s) = -8*s + 697. Does 3 divide b(20)?
True
Let u = 13 + -55. Let n = u + 69. Does 9 divide n?
True
Suppose 0 = w - 4*c - 4, 4*c + 3 = 2*w + 11. Let p = w + 33. Does 3 divide p?
True
Suppose -26 = -2*b + 254. Suppose a + 13 = -o - 32, -4*a + b = -4*o. Is 12 a factor of (1 - 0)*(1 - o)?
False
Let q(j) = 1783*j + 3. Is q(1) a multiple of 94?
True
Let w = -67 - -804. Is 17 a factor of w?
False
Suppose 4*x + n = 427, -5*n = 4*x + x - 545. Let k = x - 49. Is k a multiple of 19?
True
Let f(c) = -c**2 + 12*c + 25. Suppose 6 = 2*g, -g = t + 2*g - 20. Does 9 divide f(t)?
True
Let t(g) = 2*g**2 + g - 4. Let z be t(-2). Let s(h) = 2*h**3 + h**2 + h - 4. Is s(z) a multiple of 10?
False
Let k = -114 + 168. Suppose 8 = 2*b - k. Suppose 2*l = -3*r + 53, 2*r - l - 2*l = b. Is r a multiple of 4?
False
Suppose -3*u - 5*r - 4 = 0, -u + 53 = 3*u - 5*r. Suppose 0 = u*k - k - 30. Suppose 0 = -k*n + 80 - 20. Is n a multiple of 4?
True
Let d(x) = 2*x**2 - 11*x + 19. Does 14 divide d(-17)?
True
Suppose -4*c - 4*s = -12, -3*s - 3 = -c + 16. Let v(u) = u**3 - 7*u**2 + u + 1. Let l be v(c). Suppose 3*y = 10 + l. Is y a multiple of 4?
False
Suppose 0 = 5*n - 4 - 11. Suppose 0*l - 75 = -3*l - n*m, 2*l - 5*m = 36. Is l a multiple of 13?
False
Suppose 6*i + 4236 = 4*k + 2*i, 5*k - 2*i - 5304 = 0. Is k a multiple of 9?
True
Let i = 146 - 64. Is 2 a factor of i?
True
Let a(s) = -s**2 + 10*s - 16. Let q be a(8). Suppose -40*l + 35*l + 170 = q. Does 11 divide l?
False
Suppose 3*u = 293 + 91. Is 5 a factor of u?
False
Let t(j) = 15*j**2 + 9*j - 6. Let b(a) = 5*a**2 + 3*a - 2. Let l(n) = -11*b(n) + 4*t(n). Is l(-3) a multiple of 17?
True
Let y = -324 - -715. Is y a multiple of 23?
True
Let g(h) = 2*h**2 - 7*h - 79. Does 7 divide g(-9)?
False
Suppose 2*q = -5*a + 472, 5*q - 1161 = -5*a + 2*a. Let r = 329 - q. Does 15 divide r?
False
Let h(c) = -7*c + 4. Let f be h(-8). Let l = f - 49. Is 8 a factor of l?
False
Let r be 4 + 3 + (-2)/2. Is 3/r + (-835)/(-10) a multiple of 23?
False
Let w be 24089/39 + 1/3. Let d = w - 358. Suppose 765 = 5*o + d. Is 29 a factor of o?
False
Suppose 0 = -2*v - 4*v + 18. Let d = 9 + -7. Suppose -3*p - v*k + 92 = d*k, 3*k = 3*p - 60. Is 12 a factor of p?
True
Let x(w) = w**3 - 29*w**2 + 27*w - 23. Let g be x(28). Let u = 139 + g. Is 22 a factor of u?
True
Suppose 6564 = -66*h + 72*h. Does 21 divide h?
False
Let a(r) = -9*r - 10. Let l be 14 + (3 - 6)*-1. Suppose -l = 4*p - 1. Does 13 divide a(p)?
True
Let z be (-1 + 1 - -8) + 2. Let k(f) = 6*f + 14. Does 21 divide k(z)?
False
Suppose 0 = g - 9 + 1. Let h be (-8500)/40*g/(-5). Suppose -4*q + h = q. Is q a multiple of 15?
False
Let h be ((-6)/(-3))/((-8)/(-884)). Let r = h + -111. Is r a multiple of 22?
True
Let g be (-7)/42 + 146/12. Suppose -h = -5*j - 53, -4*j = 5*h - g + 37. Does 8 divide ((-8)/j)/((-1)/(-30))?
True
Let h(b) = 11*b - 42. Let i be h(-6). Let r = i - -121. Is 3 a factor of r?
False
Let k be 3/(-3) + 0 - -1. Suppose k = -2*p - 4*l + 138 + 54, -p + 94 = 4*l. Let s = 167 - p. Does 24 divide s?
False
Suppose -20 = t + 5*d - 6, -4*d = 16. Let h = t - 8. Is 27 a factor of ((-2)/3)/(h/162)?
True
Let w(s) = s**2 - 6*s - 7. Let p be w(10). Let c = 54 + p. Is 16 a factor of c?
False
Let a(o) = 115*o - 86. Is a(28) a multiple of 64?
False
Suppose -51 = 3*x - 57. Suppose 0 = 4*y - b - 165, b + 91 - 6 = x*y. Is y even?
True
Let t be (3 - 5)/2 - -99. Let o = 69 + t. Suppose -5*j + o = 2. Is 10 a factor of j?
False
Let r(l) = -173*l + 3. Is r(-8) a multiple of 19?
True
Does 11 divide (-204)/(((-64)/(-12))/8*-3)?
False
Let q = 1038 + -319. Is q a multiple of 10?
False
Let l = -116 - -139. Suppose -186 = l*d - 26*d. Is d a multiple of 7?
False
Let u = -328 - -380. Is u a multiple of 2?
True
Is 22 a factor of -30*6/(-36) - -1755?
True
Suppose -14*j = -5*j. Let z = 127 + j. Is 12 a factor of z?
False
Let w(s) = -10*s. Let t be w(-3). Suppose 0 = 23*i - 21*i - t. Is i a multiple of 8?
False
Let n(q) = -2*q - 3. Let s be n(-3). Let x = 7 - s. Suppose -4*k = i - 36, 31 - 99 = -x*i + 3*k. Does 11 divide i?
False
Suppose 11*w + 2535 = 26*w. Is 19 a factor of w?
False
Suppose 3*z - 2*v = 5 + 2, -3*z + 27 = 3*v. Is (-5)/z - -10 - 0/(-1) even?
False
Let c = 58 + 170. Is 6/4 + c/8 a multiple of 5?
True
Let q(k) = 31*k. Let o be 100/(-150) - ((-11)/3 + -1). Is 18 a factor of q(o)?
False
Let z be (-32)/(-3) + 4/12. Suppose -7*u - 52 = -z*u. Let d(x) = x**2 - 10*x + 9. Is 16 a factor of d(u)?
True
Suppose -766 = -15*f - 16. Suppose -3*d = -4*w + 121 + 75, f = w - d. Does 46 divide w?
True
Let g = -126 - -207. Let x(k) = -2*k + k + 85 - g. Does 5 divide x(-12)?
False
Let y(c) = 5*c**2 + 5*c. Let p be y(-6). Suppose -x + 2*t + p = 3*x, 0 = x + 4*t - 15. Does 7 divide x?
True
Let y = 23 - 18. Suppose y*b - b - 160 = 0. Suppose -4*g - b = -c - 2*g, -3*c = -5*g - 121. Is c a multiple of 14?
True
Suppose -2*i - 4*h = 3*i - 12, 4*h = 12. Let p be ((-2)/4 - -1)*i. Suppose 3*w + 2*q = 268, -2*q = -10 - p. Does 20 divide w?
False
Suppose -2*o + 21 = 4*r - 7, 3*o - 2*r = 58. Let s = o + -14. Suppose 3*h + 2*h = 4*q - 67, -s*q = 4*h - 112. Is 16 a factor of q?
False
Let y(m) = 4*m**2 + 29*m + 13. Does 4 divide y(7)?
True
Let b = -9 + 11. Suppose b*t - 1 = 37. Suppose -6*q + 7*q = t. Does 19 divide q?
True
Let o be (6/(-4))/((-45)/(-120)). Let v be 3/(3*o/(-8)). Suppose 0 = v*a + 4*a - 750. Is a a multiple of 39?
False
Suppose 2*b - d + 3 = 8, -9 = 3*d. Let p be -1 + (b - 8 - -2). Is p/(-4)*32/4 a multiple of 3?
True
Suppose -3*p = -2*f - 6*p + 450, f - 4*p = 247. Is 3 a factor of f?
True
Let y be ((-10)/6)/(3/(-9)). Suppose -2*i + y*t + 19 = -8, -3*i - t = 2. Suppose -i = j - 9. Does 8 divide j?
True
Suppose 0 = -7*t - 741 + 4164. Is 3 a factor of t?
True
Let s be (-5)/(-3) + (-46)/69. Let n(o) = 117*o**3 - o**2 - o + 2. Does 17 divide n(s)?
False
Is 7 a factor of 5 - (-393 + -2 + (-70)/14)?
False
Let q = -7 - -10. Is 21 a factor of (q + -6)*106/(-3)?
False
Let g(x) = x**3 + 8*x**2 - 6*x + 1. Let r be g(-7). Suppose -12*t + 10*t = -r. Is 23 a factor of t?
True
Let d(l) = 2*l**3 + 2*l - 1. Let w be d(1). Suppose 0 = 2*i - 4*u - 210, -2*i - 3*i - w*u + 512 = 0. Suppose -2*a - 1