iple of 11?
True
Let o(g) = 2*g**2 - 4. Let m be o(2). Suppose -6*n + m*n + 80 = 0. Is 6 a factor of (32/n)/(1/20)?
False
Let u be (6 + -6)/(4/(-2)). Suppose u = 12*v - 105 - 363. Does 13 divide v?
True
Let t = 86 + -28. Let l = t + -28. Is l a multiple of 12?
False
Suppose 4*j + 4*i + 200 = 0, 11 = -2*j - i - 89. Let t be (-10)/j - (-2)/(-10). Suppose t = -k + y + 40, -5*k + 194 = -3*y + y. Does 7 divide k?
False
Let g = 7 + -11. Let n(i) = -i**3 - 3*i**2 + 5*i + 4. Let l be n(g). Suppose l*q - 4*q + 197 = 3*w, -245 = -5*q - 5*w. Does 8 divide q?
False
Let w(v) = -v**2 + 5*v - 2. Let t be w(6). Let n(g) = g**2 + 3*g - 2. Is 7 a factor of n(t)?
False
Suppose -930*y = -936*y + 2880. Does 16 divide y?
True
Suppose 2*a = 3*a. Let q(c) = -2*c + 32. Let h be q(a). Suppose -2*k = -80 + h. Is k a multiple of 24?
True
Let j be 4/(-4)*-3 + 2. Let t be (-4)/(-10)*j - 3. Does 12 divide t - -28 - (-1 - -4)?
True
Suppose -1 + 6 = o. Suppose 0 = -r + o*r - 52. Is r a multiple of 13?
True
Let k(j) = -12*j**2 + 4*j**2 + 107 + 6*j**2. Does 23 divide k(0)?
False
Let y = 7035 - 20043. Does 11 divide (-6)/(-10) - (y/(-20))/(-6)?
False
Suppose 3*m - 4*m - 44 = 0. Let v = m + -13. Let d = -23 - v. Is 6 a factor of d?
False
Suppose n + 2*u = 691, -3*n + 2*n + 3*u = -716. Is 11 a factor of n?
False
Suppose -5*g = 2*t - 3*t + 22, 5*g = -20. Suppose -2*c = 4*i - 198, -3*c - t*i = 2*c - 527. Does 33 divide c?
False
Let z(l) = -l**2 - l + 612. Let k be z(0). Is (k/10)/((-2)/(-5)) a multiple of 12?
False
Suppose 0*p + 15 = -5*x - 2*p, -3*x + 4*p = 35. Let t be -38 - x/(-25)*5. Is 8 a factor of (-316)/(-26) + 6/t?
False
Suppose 38 = 5*z - 37. Is 5 a factor of (-7)/((-10)/z*6/32)?
False
Let y(p) be the first derivative of 4*p**2 - 25*p - 12. Does 2 divide y(4)?
False
Let k = 1 + 7. Suppose -653 = -k*a - 77. Is 15 a factor of a?
False
Let r = -2 + -3. Is (14*-1 - -3)*r a multiple of 29?
False
Let a(b) = -b**2 - 13*b - 26. Let o be a(-3). Suppose 3*s - s - 236 = 0. Does 15 divide 4/o + s/2?
True
Let k be 6156/(-24)*3*4. Is 39 a factor of (-57)/15 - -4 - k/10?
False
Let k(y) = y**2 + 3*y + 725. Let p be k(0). Suppose -12*l + 7*l + p = 0. Is 40 a factor of l?
False
Let i = -2108 - -3482. Is 16 a factor of i?
False
Suppose -479*k - 2052 = -517*k. Is 28 a factor of k?
False
Suppose 7 = 2*y - 5*l + 3, 2 = y - 3*l. Suppose y*b + 2 = -2*k, -2*b + 15 = b. Is 4/k*186/(-4) a multiple of 31?
True
Suppose -2*w + 6 = -0*w. Suppose -4*q - 5*y + 21 = 0, -5*y = -4*q + 8 + w. Suppose 83 = q*f - 161. Is 16 a factor of f?
False
Let p(f) = 3*f**2 + 11*f - 10. Let q = 8 + -15. Does 15 divide p(q)?
True
Suppose 8*x - 4*x = -2*y + 192, -2*x + 4*y + 86 = 0. Does 18 divide x?
False
Is 22 a factor of 34*(-464)/64*4/(-2)?
False
Let o = 19 + -17. Let c be o/6 - 4890/(-45). Suppose -76 = -3*d - 5*t, 3*d - c = -d + t. Is 5 a factor of d?
False
Let k = -12 - -13. Let h be (0/k - -3) + -2. Let s = h - -44. Is 15 a factor of s?
True
Let c(s) = s**3 - 3*s**2 - 5*s + 121. Is c(0) a multiple of 11?
True
Suppose -4*g + 1683 = 3*w, -3*w = 5*g - 1310 - 793. Is g a multiple of 14?
True
Suppose -3*v = -3*b + 6, 2*b + 4*v - 8 = 8. Suppose -4*m = -4*c + 112, b*m + 1 = 3*c - 84. Suppose 0*q - c = -3*q. Is 3 a factor of q?
True
Let p(v) = 6*v**3 - v**2 + v - 1. Let u be p(1). Suppose -c = -u*n - 16, -3*c + 3*n + 78 = -2*n. Is 3 a factor of c?
False
Suppose 3*m = 41 - 5. Does 7 divide (-29)/(-4) + (-3)/m?
True
Let l(p) = -9*p**3 - 2*p**2 - 2*p. Suppose 6 = 4*z - 5*f, -4*f = -3*z + 2 + 3. Is 4 a factor of l(z)?
False
Let j be 1/(1/469) + -4. Does 16 divide 4/12 + j/9?
False
Suppose 0*y + y - 729 = 4*j, 3662 = 5*y - 3*j. Suppose 7*q - 2*q = 4*z - y, 0 = 3*q - 9. Is z a multiple of 17?
True
Let y(q) = -23*q + 70. Is y(0) a multiple of 10?
True
Is ((-125982)/(-54))/(2/(0 - -2)) a multiple of 12?
False
Let q = -62 + 196. Is 8 a factor of q?
False
Let p(t) = -8*t + 21. Let f(k) = -k**2 + k. Let a be f(-2). Does 15 divide p(a)?
False
Suppose 104*q - 102207 = 73*q. Is q a multiple of 15?
False
Suppose -5*r + 4*r + i + 231 = 0, -4*r + 910 = 3*i. Does 8 divide r?
False
Suppose -2*q - 342 = 4*q. Let s = q + 67. Does 4 divide s?
False
Let m(q) be the first derivative of -1/4*q**4 + 1 - 2*q**3 + 3/2*q**2 + q. Is m(-7) a multiple of 29?
True
Suppose 57*l + 1938 = 60*l. Is 33 a factor of l?
False
Let w(x) = -x**3 - 48*x**2 - 34*x - 240. Is 24 a factor of w(-48)?
True
Let x be (-24)/(-10) + (5 - (-81)/(-15)). Suppose 130 = x*s - 160. Is 29 a factor of s?
True
Let x(b) = -5*b + 2. Let s(c) = c - 5. Let w(u) = -2*u + 9. Let l(j) = 7*s(j) + 4*w(j). Let h(p) = -3*l(p) + x(p). Is 3 a factor of h(-3)?
False
Let t = 1290 - 783. Suppose 0 = -2*r - 3*x + t, 2*r + 252 = 3*r + 3*x. Is 26 a factor of r?
False
Suppose -3*t = 5*g - 8*g - 39, 4*t - 34 = -2*g. Is 4 a factor of t?
False
Suppose 20*f - 11*f = 8334. Is 23 a factor of f?
False
Let p(r) = -r + 16. Let f be p(0). Let l = f + -13. Suppose -l*k + 2*k = -21. Is k a multiple of 21?
True
Let n = 67 - 57. Suppose -5*d = -4*k - n*d + 478, -474 = -4*k - 3*d. Is k a multiple of 51?
False
Suppose -a - 3 = 0, 2*a - 7 = 4*p + 7*a. Suppose p*q - 4 - 28 = 0. Is 7 a factor of q?
False
Let l = 57 + -47. Let z = 47 + l. Is 19 a factor of z?
True
Let a = -567 - -1197. Is a a multiple of 14?
True
Does 81 divide 1298 - (2 + 7 + -7)?
True
Let j = 34 - 46. Let p(r) = r**2 + 12*r + 7. Is p(j) even?
False
Suppose 1 = -13*k - 77. Let x be (-6)/(-4)*(-2)/(-1). Is (159/k + x)*-2 a multiple of 8?
False
Suppose 5*y - 2 = 23. Suppose 139 + 311 = y*o. Is o a multiple of 9?
True
Suppose 3*z + z - 4 = -i, 5*z - 5*i - 30 = 0. Suppose -3*r + 160 = -z*r - 5*s, r - s = 180. Is 37 a factor of r?
True
Suppose 3*m = -g + 7, 4*g + m - 16 = 67. Suppose -g = -k + 42. Is 32 a factor of k?
True
Let c(x) = -15*x - 1. Let f(y) = -y**3 + 2*y**2 + 4*y + 5. Let p be f(4). Is 25 a factor of c(p)?
False
Let v(o) = -25*o - 4. Is v(-5) a multiple of 5?
False
Let o(a) = -3*a + 42. Let l(q) = 3*q - 42. Let x(p) = 4*l(p) + 3*o(p). Does 7 divide x(30)?
False
Let d = 86 + -39. Suppose 287 = 2*g + d. Is g a multiple of 24?
True
Let d be (38/6)/((-4)/(-12)). Let l = d + -11. Is -8*1/(l/(-30)) a multiple of 10?
True
Suppose -u = 5*g - 14, -3*g + 4*g = 4*u + 7. Let t(l) = l + 5. Let c be t(-5). Suppose g*z + z - 104 = c. Does 13 divide z?
True
Let w be (1 + (-4)/(-12))*3. Let d(o) = 88*o**2 - o + 1. Let u be d(1). Suppose w*p = 8*p - u. Is 11 a factor of p?
True
Let t(b) = 78*b**2 + 2*b + 2. Let d be t(-2). Suppose -5*f - i - d = 0, 2*f + i + 151 = 27. Is 31 a factor of (1/(-2) + 0)*f?
True
Let q = -22 + 26. Let a be 0 - (1 + 3 - q). Suppose a = -0*y + 5*y - 95. Is y a multiple of 6?
False
Suppose -2*q + 22 = -8. Let d(b) = -b + 3 - 6 + q - 14*b. Does 14 divide d(-3)?
False
Let y = 1145 + -1060. Does 5 divide y?
True
Let k(z) = 18*z + 14. Is 13 a factor of k(3)?
False
Let n be ((-448)/12)/(-4)*3/(-2). Is (-24)/7*n/(3 + -2) a multiple of 16?
True
Let j(t) = -2 - 25 - 12 - 6*t. Is j(-11) a multiple of 16?
False
Let i = 19 - -12. Suppose 19 = 5*k - i. Is k a multiple of 10?
True
Let z = 152 + -32. Is z a multiple of 10?
True
Let w(z) = -z**3 + 14*z**2 - 13*z + 6. Let h be w(13). Let g(v) = -5 + 6 - h*v + 4 - 2. Is g(-5) a multiple of 33?
True
Let g(s) = 12*s - 72. Let v(a) = a - 1. Let y(r) = -g(r) + 10*v(r). Does 9 divide y(22)?
True
Let k(y) = -4*y**3 - 59*y**2 - 20*y - 27. Is k(-16) a multiple of 11?
True
Let f(t) = -t**2 - 29*t - 74. Is f(-24) a multiple of 46?
True
Let n = -9048 + 13138. Is 56 a factor of n?
False
Let p = -18 + 6. Let a = -14 - p. Let q = 7 - a. Is 6 a factor of q?
False
Suppose -2*c + 1145 = 3*d - 249, -2*d = 4*c - 940. Suppose 94 - d = -4*o. Does 11 divide o?
False
Suppose -80 + 27 = -3*m + 5*l, 4*m + 5*l - 129 = 0. Suppose 0 = -0*i - i - 5*z + m, -4*z = -5*i + 275. Does 8 divide i?
False
Let t = -25 - 2. Let w be ((-8)/(-3))/(7/21). Let q = w - t. Is q a multiple of 10?
False
Suppose 84*d - 113747 - 122965 = 0. Is 17 a factor of d?
False
Suppose -35 - 39 = -2*r - 4*w, w = -3*r + 126. Let g = r - 25. Does 10 divide g?
False
Let j = -33 + 36. Suppose -j*l - l = -20. Is 3 a factor of l?
False
Suppose 3*s - 2*n = 2462, 5*n - 758 + 4863 = 5*s. Does 71 divide s?
False
Is 36 a factor of 434 + 1 - 1*(2 + 1)?
True
Suppose 0 = -27*t + 1