 of 2*1/z*108?
True
Suppose -511*q + 508*q = -1365. Is q a multiple of 35?
True
Suppose 14*s - 308 = 10*s - 2*x, -3*x - 77 = -s. Does 11 divide s?
True
Let z = -13 + 38. Suppose -15*q = -20*q + z. Suppose -q*v + 3 = -7, -214 = -5*a + 3*v. Is a a multiple of 11?
True
Let j be 0/(-1) + (1 - -2). Let m = j + 37. Let p = m - 10. Is p a multiple of 15?
True
Suppose -673*b - 10255 = -678*b. Does 48 divide b?
False
Let t(d) = 210*d**2 - 134*d - 6. Is t(5) a multiple of 53?
False
Let g(f) = -f + 3. Let p(a) = a**2 - 14*a + 13. Let t be p(13). Let w be g(t). Suppose -w*n = -88 + 13. Is 25 a factor of n?
True
Let s be (3 - 2) + 115 + 0. Let r = -68 + s. Is 12 a factor of r?
True
Let h(d) = 10*d**3 + 4*d**2 - 5*d + 5. Let x be h(2). Let f = 6 + x. Does 13 divide f?
False
Suppose 9*g = 10*g - 9. Let r(y) = 7*y - 48. Is 15 a factor of r(g)?
True
Let s(p) = 43*p + 1. Let n be s(1). Suppose t - 67 = -4*t - 3*w, -n = -3*t + 2*w. Does 4 divide t?
False
Suppose -5*r - 2*i = 2*i - 36, -4*r - i = -20. Let c(q) = -8*q - 7 + 9 + r*q. Does 5 divide c(-2)?
True
Let b = 25 + -21. Let f(h) = -5*h - 2. Let k be f(-5). Suppose -b*a + 33 + k = 0. Does 9 divide a?
False
Let j(h) be the third derivative of h**8/4032 + h**7/840 + h**6/144 + h**5/20 - 6*h**2. Let s(f) be the third derivative of j(f). Is s(-4) a multiple of 24?
False
Let m(o) = o**2 + 17*o - 22. Let n be m(-18). Is 2 a factor of 14 - (n - -2 - -4)?
True
Suppose -3*z = -z - 6. Let h(x) = 0*x**3 + 2 + 3*x**3 - 6 - 59*x + 63*x - 3*x**2. Is h(z) a multiple of 28?
False
Suppose 3*i - 2 = 2*i. Suppose -12 = -4*h + i*h. Suppose 4*b - 3*b = h. Does 4 divide b?
False
Let i(u) = -u**3 - 34*u**2 - 6*u + 77. Is i(-34) a multiple of 31?
False
Suppose -2*r - 5*s - 2 = -1, 3*r + 5 = -4*s. Let v be 2/(-4)*(r + -1). Suppose 0 = j + v*j - 66. Is 22 a factor of j?
True
Let l be (-2)/(-2)*1/1. Does 5 divide 2/6*57/l?
False
Suppose v - 272 = -0*v. Let g = -152 + v. Is g a multiple of 24?
True
Let h(l) = -333*l + 3. Let i be h(-1). Let a = i - 216. Is a a multiple of 8?
True
Let v = -14 + 82. Is v a multiple of 9?
False
Suppose -2*w + 749 + 894 = z, -z - 2452 = -3*w. Is w a multiple of 9?
True
Let g = -15 + 55. Let m be (4 - 1)/((-6)/(-52)). Let i = g - m. Does 7 divide i?
True
Suppose -46748 = -20*r - 6*r. Is r a multiple of 62?
True
Let s(g) = 3*g + 103. Does 10 divide s(-23)?
False
Suppose 0 = 240*x - 239*x - 2481. Is x a multiple of 13?
False
Suppose -481 = -3*a + 4*j, 2*j + 638 = 4*a - 0*j. Let o be (-3)/(-2) - a/6. Let p = o + 39. Does 14 divide p?
True
Let p(w) = w**3 + 2*w**2 - 11*w + 325. Is p(0) a multiple of 4?
False
Let a(g) = g**3 + 21*g**2 - 29*g - 66. Is a(-18) a multiple of 51?
True
Let n(b) = b + 9. Let s be n(-7). Suppose -u - s*c = -6*u + 50, -u = c - 17. Let o(k) = k + 18. Is 10 a factor of o(u)?
True
Suppose 4*o - 6*u + 33 = -u, -5*o - 5*u + 15 = 0. Does 5 divide (-2 - (-3 - o))*-22 - 2?
True
Let q = -1 - -6. Suppose -7 = -q*v + 8. Suppose -o = o + 3*f - 11, f = -v*o + 34. Is 13 a factor of o?
True
Let i(z) = -40*z + 73. Does 13 divide i(-5)?
True
Let k(y) = 4*y**2 - 11*y + 100. Is k(11) a multiple of 16?
False
Let a(r) = 728*r**2 + 3*r + 2. Let f be a(-1). Suppose f = 3*t + 46. Is 12 a factor of t?
False
Let k be (-3)/15 + (-978)/(-15). Let i = k - -154. Is 36 a factor of i?
False
Let h = 912 - 544. Is 46 a factor of h?
True
Suppose 3*z = -5*h + 2269, -2*z + 299 + 152 = h. Is h a multiple of 7?
True
Suppose 5*p - 14*z = -15*z + 135, 3*z + 43 = p. Does 30 divide 476/(-6)*(-72)/p?
False
Let w = 4711 - 3257. Does 8 divide w?
False
Suppose 4*g - 2*x + 34 = 0, 10 = -4*g - 2*x - 4. Is 4 a factor of -3 - 0 - (g + -35)?
False
Let b(w) be the third derivative of w**4 + 5*w**3/2 - 10*w**2. Is b(8) a multiple of 21?
False
Let r(a) = 0*a - 10*a - 5 + 5*a. Let d be r(-5). Is (16/d)/(4/70) a multiple of 14?
True
Let z(r) = 18*r - 169. Does 35 divide z(42)?
False
Suppose 0 = y + 3 - 10. Suppose y*i - 2*i - 410 = 0. Suppose d - 23 = -4*o, -d + 4*o + i = d. Is 35 a factor of d?
True
Suppose y + 84 = -5*g, 2*g - 2*y + 17 + 7 = 0. Let c be 0 - (g - 1) - 3. Suppose c + 31 = o. Is 15 a factor of o?
True
Suppose -124 = -2*u - 36. Does 4 divide u?
True
Let y = -168 - 20. Let h = y + 268. Is 16 a factor of h?
True
Suppose 2 = 2*b - b. Let x(y) = y**2 - 7 - b*y - 14 + 11. Is 4 a factor of x(5)?
False
Suppose 4*d + 3*t - 13 = 0, -d - 4*d - 2*t = -25. Suppose d*r - 3*r + 3*s = 755, -5*r + s = -939. Is 12 a factor of r?
False
Let i(t) = -t**2 + 7*t + 9. Let u be (5 - 2 - 2)/(-1)*-7. Is 3 a factor of i(u)?
True
Let q(v) = 2*v + 1. Let o be q(2). Is 2024/10 + (-32)/o + 6 a multiple of 48?
False
Let n be 1 + 24/2 - 3. Suppose b + b - 16 = -5*o, -5*o = -n. Suppose 176 = b*h + h. Is h a multiple of 11?
True
Let v be 3/(-1)*276/18. Suppose -84 = 6*q - 474. Let u = v + q. Is u a multiple of 7?
False
Suppose 0 = -3*o - 2*z + 2 + 3, -5*z = 25. Suppose 3*x - 125 = -d, o = d - 0. Is 7 a factor of x?
False
Let w = 1944 + -918. Is w a multiple of 18?
True
Let v = -644 + 647. Let i be ((-4)/(-5))/((-4)/(-30)). Suppose -v*t = i, -5*x + 104 = -3*x - 5*t. Is 25 a factor of x?
False
Suppose -3*k - y = -2, 3*k + 3*y = -y - 1. Let n(o) = 4*o**3 - 2*o**2 + o. Let b be n(k). Suppose -2*s = b*s - 60. Does 5 divide s?
False
Suppose -4*i + 11 + 29 = 0. Let n = i - 0. Is n a multiple of 2?
True
Let z(k) = k**3 - 30*k**2 + 2*k - 28. Is z(30) a multiple of 16?
True
Let g = -288 + 444. Is 12 a factor of g?
True
Let r be 4/(-10) + 17/5. Suppose -2*j = -r - 3. Suppose -3*s - j*i = -i - 30, -2*s + 5*i = -20. Does 6 divide s?
False
Suppose 5*m - 422 = -c, -3*m - 5*c - 66 + 328 = 0. Does 2 divide m?
True
Let w = -268 + 303. Is 5 a factor of w?
True
Let w = -73 + 158. Suppose -6*a = -695 - w. Is a a multiple of 13?
True
Suppose -3*r = 5*d - 1187, 3*r + 0*r = 3*d - 717. Let v = d - 94. Does 48 divide v?
True
Suppose -3*h + 17 - 5 = 0. Suppose q - 4 - 83 = 4*s, -h*s - 12 = 0. Let w = q + -43. Does 7 divide w?
False
Let a(j) = -2*j**3 + 4*j**2 - 5*j. Is 17 a factor of a(-4)?
False
Suppose -g = -l - 987, 10*g - 11*g - 5*l + 969 = 0. Does 12 divide g?
True
Suppose 3*t + 3*l + 3 = 6*t, 3*t + l = 7. Let v be t - (1 - 0 - 3). Is 2 + (3 - v) + 13 a multiple of 12?
False
Suppose -1325 = -5*r + 4*c, -4*r - 2*c = -2*r - 512. Does 89 divide r?
False
Let p(b) = 66*b**2 + 2*b - 3. Is 25 a factor of p(-3)?
False
Let d be (138/24)/(1/6)*2. Let r = d - 15. Is 9 a factor of r?
True
Let m(n) = -n**3 - 7*n**2 - 5*n + 1. Let b(v) = v**3 - 5*v**2 + 4*v - 1. Let l be b(3). Does 4 divide m(l)?
True
Let j(c) = -4*c**3 + 6*c**2 + 4*c + 7. Let k be j(-4). Suppose k = 10*s - 357. Is 14 a factor of s?
True
Suppose -6*o - 2*x = -2*o - 1168, 0 = o - 5*x - 281. Does 34 divide o?
False
Let u = 442 - 240. Is u a multiple of 26?
False
Let f = -226 + 1731. Does 26 divide f?
False
Let z(a) = 2*a**2 + 17*a - 2. Is 8 a factor of z(-14)?
True
Suppose 7*m = -5*w + 6*m + 10, 4*w - 27 = 3*m. Suppose -3*k - k = 2*j + 6, 30 = -5*k + 5*j. Is 8 a factor of (-2 + (-25)/k)*w?
False
Let u = -6 - -9. Suppose -40 = -2*b - u*b. Let k = b + 17. Is k a multiple of 18?
False
Suppose -27 = k + 23. Let l(m) = 5*m - 2. Let n be l(-3). Let j = n - k. Is 12 a factor of j?
False
Let v(a) = a - 4. Let k be v(2). Let m = k - -6. Suppose n + t + 85 = 6*n, m*n - 4*t = 52. Is 8 a factor of n?
False
Suppose -10*y - 66 = 184. Let a = y - -74. Is 12 a factor of a?
False
Suppose -4*z + 139 = 147. Let i = 154 + z. Is i a multiple of 25?
False
Let c = 411 + -241. Is c a multiple of 26?
False
Suppose 5*y + 3 = 2*y, 3*y = -2*c + 145. Let g = 33 + c. Suppose -g - 133 = -5*f. Is f a multiple of 8?
True
Suppose c - 4*j + 0*j = 31, -70 = -5*c + 3*j. Suppose b - c = 77. Is b a multiple of 15?
False
Is 11 a factor of 3/((-12)/(-714)*(-2)/(-4))?
False
Suppose 5*b = 11*b + 654. Let l = b + 145. Is l a multiple of 12?
True
Suppose -13*x = -8*x - 30. Suppose -4*l - 5*w + 61 = 0, w = l + x*w - 4. Does 19 divide l?
True
Let n be -4 - 1*(38*-1 + 3). Let j = n + -7. Is 4 a factor of j?
True
Suppose 0 = 5*i + 3*g - 4*g - 6625, -2*g = 3*i - 3988. Is i a multiple of 26?
True
Suppose -z = -x + 3*z - 16, 2*x + 8 = 2*z. Suppose x = h - 56. Is h a multiple of 8?
True
Let i be 6/(-33)*(4 - 15). Suppose i = 2*j - 28. Is j a multiple of 2?
False
Let m(t) be the fir