tor of z?
False
Suppose -2*g - 99 + 930 = q, 0 = 3*g - 5*q - 1240. Does 24 divide g?
False
Let x = -19 + 51. Is x*((-9)/12)/(3/(-2)) a multiple of 11?
False
Let x = -216 - -349. Is 10 a factor of x?
False
Let g = 135 - -45. Is 47 a factor of g?
False
Let u be 4/8*-202*2. Let t = u - -343. Does 31 divide t?
False
Suppose -3*m - m = -16. Suppose -m*q + 7 - 3 = 0, -5*y = -3*q - 972. Is y a multiple of 39?
True
Let d be -10*((-84)/(-20) + -3). Is 4 a factor of (6 - 0)*(d/(-9) + 1)?
False
Is 54 a factor of (-140)/(-30)*25779/91?
False
Let u(l) = -11*l + 2. Suppose 0*v + 6 = -v. Does 35 divide u(v)?
False
Let w = 3 - -2. Suppose 0*t = -w*t + 60. Does 12 divide t?
True
Suppose 2*q + 4 = b, 2*b + 2*q - 17 = -3. Suppose 0 = 7*x - b*x - 100. Suppose 284 - x = 4*i. Does 16 divide i?
False
Let m(z) = 26*z**2 + 0 + 2 + 4*z + 2. Does 25 divide m(-2)?
True
Let g(k) = k - 12. Let n be g(14). Suppose -470 = n*r - 7*r. Does 26 divide r?
False
Let v = -13 + 95. Let g = -45 + v. Let n = 78 - g. Does 16 divide n?
False
Let s(l) = -14*l**2 + 6*l + 4. Let c(f) = 41*f**2 - 18*f - 11. Let b(v) = 4*c(v) + 11*s(v). Is 6 a factor of b(-3)?
True
Let t(o) = o**3 + 9*o**2 + 5*o + 2. Is t(-4) a multiple of 31?
True
Let p be ((-18)/2)/(3/(-2)). Let u be -3 - (p/3 - 7). Suppose 0*v - u*v = -4. Is v a multiple of 2?
True
Suppose -3 = -2*t - n, 0 = 3*n + 2*n + 15. Suppose -u + 40 = 4*h, -5*u + 105 = -2*h + t*h. Is u a multiple of 7?
False
Let y = -370 + 976. Does 6 divide y?
True
Let h = -62 + 67. Suppose 0*f - 5*z - 17 = -f, 137 = h*f + z. Is f even?
False
Let o = -498 - -1122. Suppose -4*n = 2*n - o. Is 19 a factor of n?
False
Let b(g) = 10*g**2 + 23*g - 219. Is b(7) a multiple of 26?
False
Let n(l) = 8*l**2 - 26*l + 13. Is n(10) a multiple of 10?
False
Suppose 0 = 2*p, -3*t + 3*p = 6*p - 4122. Is t a multiple of 51?
False
Suppose 3214 = 21*r - 3086. Does 23 divide r?
False
Suppose 5*d - 3095 = -5*v, v - 2*v + 3*d = -635. Is 40 a factor of v/4 - ((-18)/(-8))/(-9)?
False
Suppose r = 2*r - 1. Let c be r/(-6) - (-1447)/6. Suppose -61 = 3*h - c. Is 12 a factor of h?
True
Does 11 divide 1267/2 - (1 + (-27)/(-18))?
False
Is 14 a factor of 0 + 9 + -7 + 771?
False
Suppose -7 = 5*j + 38. Let a be j/(-6)*(-4)/6. Is (6/5)/(a/(-5)) a multiple of 2?
True
Suppose 36 = -4*p - 0*p. Let x be 3/p + (-62)/(-6). Let m(c) = 2*c + 14. Does 17 divide m(x)?
True
Let q(f) = -f**3 + 3*f**2 + 2*f + 2. Let r(g) = -g**3 + g**2 - 2. Let h be r(0). Is q(h) a multiple of 6?
True
Is -1*11 - (-874 - 106) a multiple of 38?
False
Let n = 34 - 34. Suppose -6*u - 5*y + 393 = -2*u, n = -y - 3. Is 22 a factor of u?
False
Let u(h) = -h**3 - 24*h**2 - 35*h - 39. Suppose x - 4*x - 2*q - 61 = 0, 3*x - 3*q + 81 = 0. Does 25 divide u(x)?
False
Suppose -12 = -3*c, -3*g - 3*c + 37 = 2*g. Let l(n) = 13*n - 4. Is 5 a factor of l(g)?
False
Let w be 2 + -1 + -1 - 12/(-3). Suppose 94 = w*t - 50. Does 12 divide t?
True
Suppose -5*g + 6 - 26 = 0. Let l be 6/g*(-12)/6. Suppose 58 + 36 = 4*z - s, -5*s = -l*z + 62. Does 11 divide z?
False
Let r(o) = -14*o - 2. Let g be r(-3). Let m be -4 - (17 - 0)*1. Let n = g + m. Is n a multiple of 12?
False
Suppose -405 = -5*s - h, 3*s + h - 245 = -0*s. Suppose 2*z = 4*y - 62, 6*y = -4*z + 3*y - s. Let a = z + 31. Does 2 divide a?
True
Let b be (-4 - (-32)/4) + -3. Let n(m) = 10*m + 6. Is 4 a factor of n(b)?
True
Suppose 5*s = 3*s + 670. Is 70 a factor of s?
False
Let j(o) = 8*o + 61. Let v be j(-7). Suppose 2*z + v - 69 = 0. Is 22 a factor of z?
False
Suppose 3*c - 3*t - 26 = 2*c, c = -5*t + 10. Suppose -c*m + 303 = -17*m. Is 11 a factor of m?
False
Suppose 4*h + 2*x = 136, 5*h - 151 - 5 = x. Let p(u) = u**2 - 2*u - 2. Let g be p(-2). Let z = h - g. Does 11 divide z?
False
Suppose -g + 7 = -3*c, 3*g - c - c - 14 = 0. Suppose -g*v + 2*a = -74, -6*v + a + 54 = -3*v. Is v a multiple of 2?
False
Let j = -1144 + 1287. Is 2 a factor of j?
False
Suppose 3*z + 3*p - 9 = 9, -2*z + 4*p = 18. Let x = z - 1. Suppose -2*g + 13 = 3*s - 9, 3*s + 4*g - 26 = x. Does 3 divide s?
True
Let b(w) = 2*w**3 - 10*w**2 - 68*w - 2. Is b(11) a multiple of 39?
True
Let m(r) = 7*r**2 - 2*r**3 - 9 - r**3 + 4*r + 4*r**3 + 3. Is 4 a factor of m(-5)?
True
Suppose 0 = i + 2, -2*s - 3922 = -6*s + i. Does 20 divide s?
True
Suppose 0 = 2*d + 4*k - 4498, k - 5144 + 631 = -2*d. Is d a multiple of 12?
False
Let z(s) = 2*s**2 + 41*s + 38. Does 12 divide z(-23)?
False
Let g = 1582 - 997. Is 39 a factor of g?
True
Suppose 3*c + 155 = 23. Is -4 - 11/(c/168) a multiple of 9?
False
Let m = 49 - 23. Let r be (-6)/21 + 317/7. Let g = r - m. Is 19 a factor of g?
True
Let n = 1298 - 1220. Does 26 divide n?
True
Let m(d) = 101*d + 147. Is m(8) a multiple of 70?
False
Let h(l) = l + 14. Let p be h(-14). Suppose p = -7*i + 4*i + 45. Is i a multiple of 15?
True
Suppose 11*h + 145 = 1465. Suppose w + 3*w = -2*a + h, 0 = -3*w - 9. Is 16 a factor of a?
False
Suppose 2*j + 4*j = 0. Let c = j + 71. Is 7 a factor of c?
False
Let n(w) = 13*w**2 - w - 2. Let k be n(4). Suppose 0*l - l + 2*g = -65, g = -3*l + k. Suppose -q - 23 + l = 0. Does 9 divide q?
False
Let b = -5 + -12. Let u = b - -31. Is u a multiple of 3?
False
Suppose 0 = 3*i - 9*i + 66. Let l = i - 15. Let n = l + 27. Is 15 a factor of n?
False
Suppose s - 73 = w, 155 = 5*s + w - 186. Is s a multiple of 13?
False
Let b = 3702 - 2617. Is 35 a factor of b?
True
Suppose -4*w + 2*w = 0. Suppose w = 5*b + m - 320, 4*m + 341 = 5*b - 4. Is b a multiple of 21?
False
Let j = 611 + -434. Does 62 divide j?
False
Let k(u) = 74*u**2 + u + 17. Is k(-6) a multiple of 185?
False
Let c(q) = -2*q**2 + 49*q + 49. Is 27 a factor of c(22)?
False
Let s = -6 - -11. Suppose -103 - 542 = -s*w. Is 43 a factor of w?
True
Let m be (-2)/3 + 8/3. Suppose 18 = 9*g - 0*g. Suppose 3*l - 6 = q, 1 = m*l - q - g. Is l even?
False
Suppose -7*g = -9*g + 184. Does 40 divide g?
False
Let m = -21 + 0. Let t = 73 - m. Suppose -5*f + 118 = -4*p, 3*f - 5*p + 18 - t = 0. Is 10 a factor of f?
False
Suppose 25 = 5*z, -4*k - 6 = 2*z + 4. Let b = k + 9. Is 15/b + 12/48 a multiple of 2?
True
Let f(a) = -a**3 - 12*a**2 + 7*a - 44. Is f(-16) a multiple of 75?
False
Let u = -2858 - -5098. Is 85 a factor of u?
False
Suppose 8*x - 7*x - 3 = 0. Let r(t) = -x - t + 6*t + 0*t + 0*t. Is 12 a factor of r(3)?
True
Suppose -88*n + 90*n - 510 = 0. Does 133 divide n?
False
Let f be ((-4)/(-3))/((22/(-15))/(-11)). Does 32 divide (f/15)/(3 - (-1148)/(-384))?
True
Let h(b) = -b**3 - 5*b**2 - 6*b - 10. Suppose 4*m = m - 15. Does 20 divide h(m)?
True
Let h(q) = 11*q + 5. Let b be h(-8). Suppose 0 = -13*g + 10*g - 126. Let n = g - b. Does 24 divide n?
False
Let u(a) = 2*a - 17. Let o be u(10). Suppose 2*k - 4*j = -o*j - 26, -4*j + 52 = -4*k. Let z = 30 - k. Is z a multiple of 7?
False
Suppose -88*v = -96*v + 1016. Is 8 a factor of v?
False
Let m = 0 + 1. Let g(i) = 35*i**3 - i**2 + i - 1. Does 10 divide g(m)?
False
Let h(u) = 3*u**2 - 2*u**3 + 2*u**2 - 1 + u**3 + 4*u. Let g = -107 - -111. Is 28 a factor of h(g)?
False
Let m(o) = 74*o + 2143. Is m(0) a multiple of 34?
False
Let f be (-2)/(-10) + 171/95. Suppose 0*k - f*k + 4*c = -176, 3*c - 363 = -4*k. Does 15 divide k?
True
Let d(t) = -18*t. Let z be 14/7 - (-2)/(-1). Suppose -4*s - 20 = 4*f - 0, -4*f - 2*s - 12 = z. Does 18 divide d(f)?
True
Let v(j) = j**3 - 3*j**2 + 2*j + 1. Let s be v(3). Suppose 3*n + s = 25. Suppose g = n + 7. Does 3 divide g?
False
Let i = 1 + 0. Suppose d - g = -i, 4*d + 4*g - 1 - 3 = 0. Suppose -5*h + 41 - 11 = d. Is h a multiple of 2?
True
Let f be (7 - 4)/(-6)*-12. Does 20 divide (18/4)/(f/104)?
False
Let n(c) = -c**3 - 11*c**2 - 15*c + 21. Let m be n(-20). Does 20 divide m/27 - 8/36?
False
Suppose -5*i + 2608 = -2*v, -4*v + 1020 = 2*i + v. Does 20 divide i?
True
Let c = -15 + 18. Let w = c + -5. Does 13 divide 63 - w*2/4?
False
Let s(o) = o**2 + 7*o - 8. Let j be s(-8). Suppose 6 + j = 2*t. Suppose a + t*a - w = 180, -2*w + 168 = 4*a. Is a a multiple of 11?
True
Let z(a) = 57*a**2 - 3*a + 3. Does 15 divide z(2)?
True
Suppose -2*h - 5*u + 776 = 0, 4*u - 3*u = 3*h - 1130. Does 6 divide h?
True
Let r = -194 - -105. Let a = r + 301. Does 14 divide a?
False
Suppose 0 = -3*c + 2*d + 2, -5*c = 4*d - 0 + 4. Suppose 3*b - 53 = -2*y, 56 = 4*b - y - c*y. Does 5 divide b?
True
Let f(y) = -368*