*g - 3*g = -3*f - 216, -3*f + 228 = h*g. Suppose 2*c + 2*u = g, -65 = -3*c + 4*u + 39. Does 12 divide c?
True
Let x be 128 - 3 - (-1 - 0)*-2. Suppose -357 = -4*j + x. Is 30 a factor of j?
True
Let k be (-3)/(-15) - (-46)/(-5). Let p be (-3)/(-2)*(-30)/k. Suppose -582 + 147 = -p*w. Does 26 divide w?
False
Suppose -6*j + 11*j = 860. Suppose -3*r + j = 46. Is r a multiple of 7?
True
Suppose v = -2*v, 0 = 3*m - 2*v - 75. Suppose -m = -5*l, 0*l = 2*q + 4*l - 248. Is q a multiple of 17?
False
Let g(x) = -4*x + 15. Let i be g(7). Let n = i + 40. Let v = 47 - n. Does 10 divide v?
True
Suppose 0 = -9*y + 6*y - 42. Is -3 + (-7)/(y/52) a multiple of 23?
True
Let o be 105/35 + (0/(-1) - -1). Suppose o*d - 101 + 1 = 0. Does 11 divide d?
False
Let z(j) = -3*j + 10. Let u(r) = -r + 3. Let n(s) = 7*u(s) - 2*z(s). Is n(-1) even?
True
Suppose -4*t + 938 = 3*k, -3*t - 2*t = -25. Does 51 divide k?
True
Suppose 2*w = -u + 1295, -w + 0*w + u = -649. Is 4 a factor of w?
True
Let d be (22/(-11))/((-4)/6). Suppose i + 0*k + 3*k - 6 = 0, -d*k = -5*i - 24. Is (-32)/(-6)*3 + i a multiple of 13?
True
Suppose 7364 - 140 = 8*k. Does 43 divide k?
True
Suppose -186 = l + 3. Let j = -77 - l. Is j a multiple of 6?
False
Let w(t) = -4 - 4*t - 224*t**3 + 111*t**3 + 114*t**3 + 8*t**2. Does 7 divide w(-5)?
True
Suppose -5*b + 4*b - 30 = 0. Let l = b + 80. Is l a multiple of 25?
True
Let w(a) = 117*a + 258. Let j be w(-2). Let l(i) = i**3 + i**2 + 2. Let c be l(-2). Let d = j + c. Is 11 a factor of d?
True
Let s = 64 - 52. Is -4 - (-423)/s - (-1)/(-4) a multiple of 29?
False
Suppose 6*k - 12 = 2*k. Suppose -4*q = k*t - 184, 5*t + 46 = -0*q + q. Does 16 divide q?
False
Let n = 88 + -50. Suppose -2*r = z + 3*r - 78, z = 5*r + n. Suppose -3*m + 9 - 43 = -t, m + z = 2*t. Does 11 divide t?
False
Let c be 21/15 - (-4)/(-10). Let j be (0*2/6)/c. Suppose l + l - 34 = j. Does 17 divide l?
True
Suppose 2093 = 36*m - 29*m. Does 23 divide m?
True
Let c(a) = 32*a**3 + 2*a - 1. Let y = -10 + 12. Suppose -2*k + 4 = y*k. Is 9 a factor of c(k)?
False
Let q(t) = -158*t - 14. Let c be q(-5). Suppose -12 = -4*h, -5*r - h = -c + 18. Does 49 divide r?
False
Let x(f) = -f - 1. Let z be x(-5). Let i = -32 - -152. Suppose -z*c = c - i. Is 16 a factor of c?
False
Let l(u) = 14*u**3 + u**2 - 2*u - 3. Is 13 a factor of l(3)?
False
Suppose -2*j - 55 = -247. Is j a multiple of 16?
True
Let x = 2085 - 1810. Does 22 divide x?
False
Does 51 divide (102/15)/((-29)/(-2610))?
True
Suppose -2*w = 2*g - 1317 - 1051, 2*g - 2380 = -5*w. Does 15 divide g?
False
Let h(z) = z**3 + 12*z**2 + z - 73. Is 9 a factor of h(-10)?
True
Suppose -2*w - 5*l + 14 = 0, 2*l - 3*l = -2. Suppose w + 4 = -c. Is 6 a factor of (3/c)/((-3)/108)?
True
Let i be (-5)/(15/12) + 7. Suppose -i*f - 3*f = -132. Is f a multiple of 3?
False
Suppose 1 = -3*r - 17. Let b be 2/(-6) + (-32)/r. Suppose -5*f + u = 6*u - 60, b*f = -4*u + 55. Is f a multiple of 3?
False
Let u = -19 + 11. Let d = u - -46. Suppose 0 = 3*t - d - 4. Does 7 divide t?
True
Suppose -w + 10 = -32. Suppose -2*f + 6 = -w. Let o = 36 + f. Does 20 divide o?
True
Let a(n) = 2*n**2 - 28*n - 21. Is a(18) a multiple of 41?
True
Suppose -5*t - 107 = -7*w + 3*w, t + 31 = 4*w. Let d = -8 - t. Suppose -21 - d = -4*s. Does 4 divide s?
True
Let a be (-72)/(-21) - (-8)/14. Suppose 0 = -0*w - 4*w + a. Let l = 16 + w. Is l a multiple of 17?
True
Let n be -2 + 1 + 0 - -109. Suppose m = -2*m + n. Does 18 divide m?
True
Let r = 8 + -8. Suppose r*f + 180 = 5*f. Is 7 a factor of f?
False
Is 1779/1*(-3 + (-30)/(-9)) a multiple of 64?
False
Let n = 30 + -27. Suppose 44 = n*o - 10. Is o a multiple of 12?
False
Let r(f) = f**2 - 27*f + 94. Let p be r(4). Let m(y) = 2*y**2 + 5*y + 3. Let k be m(-3). Suppose k*x - p*x - 81 = z, 0 = -5*z + 15. Is 5 a factor of x?
False
Let g be (-92)/(-6) - 2/6. Let i be (1 - 2) + 3 - -1. Let d = g - i. Does 12 divide d?
True
Let g = 1443 - -1264. Does 54 divide g?
False
Let x(d) = 3*d - 15. Let s be x(6). Suppose 0 = s*f - 82 - 11. Is 10 a factor of f?
False
Let n = -113 + 53. Let a(c) = -c**3 - 14*c**2 - 10. Let h be a(-14). Is (-946)/h - 24/n a multiple of 20?
False
Let q(i) = -8*i**2 - 2*i - 9. Let k(m) = 8*m**2 + 2*m + 8. Let c(j) = 6*k(j) + 5*q(j). Is c(-2) a multiple of 14?
False
Let x = -5 + 175. Does 10 divide x?
True
Let w(q) = 14*q**2 - 74*q + 316. Is w(4) a multiple of 12?
False
Suppose -2*l - 86 - 144 = -2*i, 5*i - 4*l - 572 = 0. Is 16 a factor of (-3)/(-8) - (-9030)/i?
False
Let y(i) = 94*i**2 + 5*i + 1. Let l be y(4). Does 39 divide l/15 - (-3)/9?
False
Let c(q) = 9*q**2 + 2*q - 4. Let v = -71 - -68. Does 11 divide c(v)?
False
Let k(b) = 13*b**2 - 10*b + 175. Is 41 a factor of k(12)?
True
Let o(y) = 13*y**2 + 3*y + 5. Is 17 a factor of o(12)?
False
Let d(z) = 6*z**2 + 27*z + 2. Suppose 2*o + 32 = -2*o. Is 34 a factor of d(o)?
True
Let h(s) = -3*s - 6. Let g be h(-3). Let c be 0 - (2 + (-12)/g). Is (c - 3)*-6 + -3 a multiple of 3?
True
Let f(o) = 181*o + 266. Is 55 a factor of f(2)?
False
Let d(j) = 0*j + 0*j + 2 - j**2 + 9*j. Let k be d(9). Suppose k*u - 24 = -u. Is u a multiple of 8?
True
Let z(g) = 4*g**3 - g**2 + 8*g - 4. Let m be z(3). Suppose 0 = 4*x + x + 5*q - 205, 3*x + q = m. Does 2 divide x?
False
Let m be (-1862 - 4)*(-2)/4. Suppose 5*z - m = 327. Is 21 a factor of z?
True
Is 8 a factor of 61*1/(-4*(-5)/140)?
False
Suppose 4*a = 5*w, 2*w = 3*a + 3 - 10. Suppose f - 2*d - 9 - 42 = 0, 4*f = -w*d + 216. Is f a multiple of 18?
False
Suppose 5*c - 378 = -5*r + 957, 2*r = 3*c - 796. Does 7 divide c?
True
Suppose -x - 316 = -5*q, 3*q + 3*x - 114 = 72. Let n(f) = f**2 - 3*f - 7. Let k be n(5). Suppose 0 = -0*p + k*p - q. Is p a multiple of 21?
True
Let r(g) = 18*g - 6. Let j be r(-5). Let b be 2/(-1*3/j). Let l = 92 - b. Does 14 divide l?
True
Suppose -3*a + 2*a = 7. Let x = a + 47. Does 8 divide x?
True
Let c(u) be the third derivative of u**6/120 - u**5/15 + u**4/12 + u**3/2 - u**2. Is 17 a factor of c(5)?
False
Suppose -1183 = -4*o + 4*m + 277, -o - 2*m + 353 = 0. Let h = 533 - o. Is h a multiple of 9?
False
Let h(a) = a**3 + 9*a**2 + 9*a + 3. Let j be h(-8). Let v(g) = 5*g**2 - 13*g - 1. Let b be v(j). Suppose 9 = 2*c - b. Does 17 divide c?
False
Let g(q) = 41*q + 169. Is g(26) a multiple of 19?
True
Let x(k) = k**2 - 6*k - 1. Let w be x(7). Suppose -231 = -9*b + w*b. Is 8 a factor of b?
False
Let c(m) = -m**3 - 3*m**2 + 4*m - 15. Let g(o) = o**2 + 10*o + 16. Let p be g(-3). Is c(p) a multiple of 5?
True
Let l = -349 - -767. Is l a multiple of 11?
True
Let d(j) = 2*j**2 + 2*j - 2. Let c be d(-2). Suppose 5*s - n - 184 = 0, -c*s = n - 0*n - 68. Is s a multiple of 6?
True
Let l = 181 - 164. Is l even?
False
Let n(y) = 6 + 4*y - 4 - 3*y. Let x be n(-3). Let a(f) = -34*f + 2. Is 9 a factor of a(x)?
True
Suppose 132*t - 540 = 122*t. Does 9 divide t?
True
Is 16 a factor of (-1)/(12700/(-4232) - -3)?
False
Let s(i) = -i**3 + 7*i**2 + 10*i - 4. Let n(v) = -2*v - 2. Let u be n(-5). Let j be s(u). Suppose 0 = 10*m - 9*m - j. Does 3 divide m?
True
Suppose 0 = 5*i - 8 - 2. Is (-8)/i - 162/(-9) a multiple of 7?
True
Suppose 3*m - 14 = -5*j, -3*j + 3 = -0*j. Suppose 5*d - 6*d = m. Let f = d + 30. Is 7 a factor of f?
False
Suppose 2*s + 2*l = 4, 4*l = -s - 0*s + 8. Suppose -4*o = -2*u - s*u - 666, -o + 150 = 5*u. Does 15 divide o?
True
Suppose 0 = 3*n - 206 - 331. Suppose 6*t = n - 23. Is 13 a factor of t?
True
Let w = 136 - -120. Suppose -2*p = 2*p + 5*o - w, 2*p - 2*o - 128 = 0. Does 16 divide p?
True
Let k = 370 - 210. Suppose -2*v + 0*v + k = 0. Does 7 divide v?
False
Suppose -5*l = 4*g - 35, -4*l - 6*g = -4*g - 34. Let s be (1/3)/(l/198). Suppose -h + s*h = -4*f + 9, h + 5*f = -15. Does 5 divide h?
True
Suppose 7 = 4*n - 13. Suppose 2*v = 5*o + 33, -n*o + 2*o = -v + 18. Is v even?
False
Suppose 2*l - 140 = 9*l. Let j be 2/(-3)*(-1 + -47). Let f = j + l. Is 4 a factor of f?
True
Let q(s) = 17*s**2 - s. Let c = 0 - -5. Suppose -5*z = -10 + c. Is 8 a factor of q(z)?
True
Suppose -5*y = f - 230, 3*f = -0*f + 4*y + 690. Does 23 divide f?
True
Suppose -1 = 2*f - 5. Is 14 a factor of -21*1/(-12)*(22 + f)?
True
Let q(a) = 33*a + 5. Let p(b) = -50*b - 8. Let y(g) = -5*p(g) - 8*q(g). Let n be y(1). Let t = n + 25. Is 4 a factor of t?
False
Suppose 24*z = 35*z - 2816. Is z a 