f (-14)/g*37 - 6/(-39)?
True
Let n(i) = -i**2 - 12*i + 1. Let b be n(-5). Let l = b - -87. Suppose 3*s - l = -4*j, -3*j - 5 - 139 = -3*s. Does 15 divide s?
True
Suppose 102 + 70 = 3*z + 4*b, 5*z + b = 281. Is 56 a factor of z?
True
Suppose 375 = 3*s + 5*t - 2*t, 15 = -3*t. Is s a multiple of 16?
False
Let u = 372 - 84. Suppose -4*d + u = -0. Is 12 a factor of d?
True
Let z(s) = -s**3 + s**2 - 3*s. Let m(g) = 2*g**3 - g**2 + 5*g + 1. Let f(p) = -3*m(p) - 5*z(p). Let a be ((-115)/(-46))/(1/(-2)). Does 12 divide f(a)?
True
Suppose 0 = 11*k - 5994 - 3169. Is k a multiple of 7?
True
Let c(m) = 3*m**2 - 75*m + 36. Is c(31) a multiple of 7?
False
Let v(g) = 619*g - 154. Is v(5) a multiple of 17?
True
Let w = -17 + 14. Let b(h) = -14*h + 2. Let d be b(w). Suppose 2*i = 6*i - d. Does 11 divide i?
True
Let b be (0*(-3)/12)/1. Suppose b = -0*p - p. Suppose -5*n + p*q - q + 121 = 0, 20 = n - 4*q. Is 6 a factor of n?
True
Does 4 divide (-128)/((-5 + 7 + -3)/1)?
True
Let m be 5*(153/(-15))/(-1). Let c = -52 - -56. Suppose 233 + m = c*p. Does 21 divide p?
False
Let l(y) = -42*y + 2. Is 22 a factor of l(-1)?
True
Let h(q) = q**2 + 11*q - 16. Suppose 0 = 3*p + 5*a - a - 24, -3*a - 7 = -4*p. Is 9 a factor of h(p)?
False
Suppose -4*o - 4013 = -4*z - o, 0 = 5*z + 2*o - 5045. Does 62 divide z?
False
Let p(z) = z**2 - 64*z + 518. Does 37 divide p(64)?
True
Is 20 a factor of 1*(-2691)/(-52)*12/1?
False
Is (43877/986)/(-1 - (-37)/36) a multiple of 9?
True
Let o(u) = 11*u - 1. Let i(m) = 5*m - 1. Let v(y) = -9*i(y) + 4*o(y). Let p be v(4). Let f(r) = 6*r**2 - r + 1. Is f(p) a multiple of 6?
True
Let l = 618 - 317. Suppose 6*b - l - 257 = 0. Is b a multiple of 12?
False
Suppose 240*z - 456 = 234*z. Is z a multiple of 24?
False
Let j be 5/(-20) - 9/(-4). Suppose u - 4*v = 21, -2*u + 3*v = -0*v - 22. Suppose u*c - j*c = 78. Does 13 divide c?
True
Let i = 19 + -16. Suppose -z - i*m + 14 = -26, 0 = -2*z + 4*m + 110. Is z a multiple of 17?
False
Let b = -217 + 1018. Is 36 a factor of b?
False
Let d = 154 + -267. Let q = d + 185. Suppose -2*m + q = -0*m. Is m a multiple of 6?
True
Let f(g) = -79*g + 558. Does 79 divide f(-16)?
False
Let o = -1777 - -3181. Is o a multiple of 17?
False
Suppose 3*h + 554 = -4*b, -h + 6*h - 710 = 5*b. Let n = -102 - b. Is 20 a factor of n?
False
Suppose -1308 = -9*o + 3*o. Is 5 a factor of o?
False
Let n(r) = -11*r**2 + 4*r - 2. Let u be n(2). Let k be u*(12/8 + -2). Let f = k + -6. Does 13 divide f?
True
Let u(t) = -7*t + 84. Let v be u(-10). Suppose 0 = -2*q - 0*q - 2, q + v = 3*x. Is 9 a factor of x?
False
Suppose 2*g - 40 = 5*f + 12, 19 = g + f. Suppose -o = 3*p - 5, -g = -2*o + 2*p + 3*p. Is o a multiple of 8?
True
Let o(m) = m**2 - 4*m - 7. Let h be o(-2). Suppose 3*v + 120 = y - 30, 5*v = h. Is 33 a factor of y?
False
Let s = 302 - 162. Suppose s = 5*o - 540. Does 8 divide o?
True
Does 5 divide 1 - 5 - (-28 - 39)?
False
Suppose 6 = 2*l - 18. Suppose 0 = 2*o + 2*g - 6, 5*o + l - 42 = -2*g. Suppose 12*u - o*u = 260. Is u a multiple of 18?
False
Let d be 18 + -14 - (3 - 1). Suppose -d*p = -p - 102. Does 15 divide p?
False
Suppose -8*h + 4*h + 1545 = 3*z, 3*z = h - 405. Does 65 divide h?
True
Suppose -1232 = 6*z - 7*z + 3*m, 5*m = z - 1224. Is z a multiple of 121?
False
Suppose -2*a = -a - 36. Suppose 0*k - 4*k = 5*p - 116, a = 2*p - k. Is p a multiple of 10?
True
Suppose 0 = 50*a - 27490 - 4960. Is 59 a factor of a?
True
Suppose -30*k + 5500 = -5*k. Is k a multiple of 11?
True
Let s = -4849 - -7115. Is 11 a factor of s?
True
Suppose -4*u + l = -2021, u - 1521 = -2*u - l. Does 8 divide u?
False
Suppose -w - 6 + 8 = 0. Let q(f) = 0*f + 14 - 6 - 6*f**w + f**3 + 2*f + 4*f. Does 22 divide q(6)?
True
Let z = -2680 - -2849. Is z a multiple of 11?
False
Suppose 4*x + u + 0 = 20, 0 = -5*x + u + 25. Let a = x - 3. Suppose a*i + l - 81 = -28, -4*i + 102 = -2*l. Is i a multiple of 13?
True
Let p(o) = 12*o + 622. Is 4 a factor of p(11)?
False
Let i(n) = 2*n - 5*n - n**3 - 2 + 0 + n + 6*n**2. Let v be (-3)/2 - ((-286)/4)/13. Is i(v) a multiple of 22?
True
Let v = -149 - 14. Let d = v + 85. Let l = d + 111. Does 8 divide l?
False
Let y(h) = -2 - h**3 + 4*h**3 + 1 - 4*h**3 + 13*h + 11*h**2. Let k be y(12). Suppose 4*f = -4*i + k + 69, -f = 3*i - 20. Does 11 divide f?
False
Let q = -70 + 115. Let l = q + -22. Is l a multiple of 6?
False
Suppose 0 = -4*h - 290 - 430. Let o = -98 - h. Is 14 a factor of o?
False
Is 6 a factor of (0 + 1)*(281 + (-2 - 3))?
True
Let f = 74 + 82. Does 10 divide f?
False
Let a(g) = -10*g - 4*g + 4 - 4*g. Let v be a(-3). Is v/(-2)*3/(-3) a multiple of 7?
False
Suppose -4*v = -65 - 115. Suppose -3*a + 162 = -v. Does 23 divide a?
True
Let i = -652 + 1003. Is i a multiple of 39?
True
Let u = 326 - 284. Let m be (-85)/3 - 3/(-9). Let r = u + m. Is 6 a factor of r?
False
Let h = -1829 - -3953. Is 12 a factor of h?
True
Let k(p) = -44*p + 14. Let h be k(6). Let l be 3/(1 - (-235)/h). Suppose -i - s + l + 60 = 0, 0 = -5*i + 3*s + 558. Is i a multiple of 37?
True
Suppose 193*z - 187*z - 1650 = 0. Is z a multiple of 12?
False
Let s = 758 - 237. Does 29 divide s?
False
Suppose -10 = -4*u + 2*u, -2*d = 2*u + 70. Suppose 0 = 5*l - 0*l - 15. Does 12 divide 10/l*(-576)/d?
True
Let s(f) = -2 + 3 - 6 - 128*f + 15*f. Does 46 divide s(-2)?
False
Suppose -5*q = -4*h - 942 + 185, -2*h = 3*q - 441. Is 3 a factor of q?
False
Suppose 5*j - 6*y + 8*y = -14, 0 = 3*y + 6. Suppose 0 = -7*c + 3*c - 24. Is 3 a factor of 24/j*4/c?
False
Let c(y) = -10*y. Let j(h) = -h**3 + 4*h**2 + 2*h + 3. Let d be j(5). Let z = d - -9. Is c(z) a multiple of 9?
False
Let m = -7 + 3. Let k = -1 - m. Suppose -32 = -t - k*t. Does 8 divide t?
True
Let k(a) be the second derivative of a**5/4 + 7*a**4/12 + a**3/6 - 2*a**2 + 5*a. Is 22 a factor of k(3)?
False
Let x(c) = -16*c + 10. Let f(p) = p**3 - p**2 - 2*p - 5. Let m be f(0). Does 18 divide x(m)?
True
Let o be 4/(-6) + 12/18. Suppose -2*k = -51 - 185. Suppose 4*b - 2*g = -o*g + k, -3*g = 5*b - 120. Is 9 a factor of b?
True
Let j(z) = -50*z**2 - 3*z + 2. Let w be j(1). Let n = 68 + w. Is n a multiple of 6?
False
Let u = -25 - -37. Suppose -2*j = -5*o - 27 - u, -2*o + 114 = 4*j. Is j a multiple of 9?
True
Does 16 divide ((-5610)/75)/2*5/(-1)?
False
Let c(f) be the first derivative of -11*f**4/4 - f**3/3 + f**2/2 + 20. Is c(-2) a multiple of 19?
False
Let i = -51 - -49. Let n be (8/(-4))/(4/1446). Does 14 divide n/(-18) + i/12?
False
Let w(v) = 208*v**2 - 2*v + 1. Let q be w(1). Let s = q + -83. Is 20 a factor of s?
False
Let z(s) = 47*s - 35. Let n be z(7). Suppose 17*a - 11*a - n = 0. Is a even?
False
Let l(a) = -2*a**3 - a**2 + 9*a - 3. Let k(w) = 4*w**3 - 2*w - 2. Let d be k(-1). Does 29 divide l(d)?
False
Suppose -4*t + 2*y + 1066 = 0, -1569 + 509 = -4*t - 4*y. Is 7 a factor of t?
True
Let a = -89 - -368. Does 9 divide a?
True
Suppose -2336 = t - 5*t. Suppose -t - 256 = -4*c. Is 15 a factor of c?
True
Let k(i) = i**2 + 3*i + 2. Let g be k(-3). Suppose -3 - g = b. Is (b - -12) + 2/2 a multiple of 4?
True
Let h = -17 + 29. Let v(l) = 13 - l + 6*l**2 + 5*l + 0*l - h. Is 11 a factor of v(-4)?
False
Suppose 823 = 4*y - 101. Is y a multiple of 33?
True
Let m = -6 - -10. Suppose -m*o = o. Suppose o = h + 3*h - 104. Is 19 a factor of h?
False
Suppose 3*n - 20 = -11. Is 11 a factor of ((-1)/n)/((-2)/162)?
False
Let k(r) = 55*r**2 + 3*r + 12. Does 94 divide k(-6)?
True
Let x = 884 - -84. Is 88 a factor of x?
True
Suppose 10*j - 30 = 4*j. Suppose j*l + 170 = 615. Is l a multiple of 16?
False
Suppose -10*x + 1658 = 68. Suppose 5*s = 116 + x. Does 20 divide s?
False
Let f = 1 + 0. Suppose 2*v - a = -f, 0 = -4*v - 0*v - 5*a - 37. Let g(w) = -28*w. Is 21 a factor of g(v)?
True
Let x be -2 - (0 + 0/1). Is 16 a factor of (3 + -2 + x + 3)*50?
False
Let i = -62 - -114. Is 4 a factor of i?
True
Let q(v) = 56*v + 44. Does 9 divide q(5)?
True
Let o = -4 + 6. Let n = -78 - -126. Suppose -o*a = -a - n. Does 16 divide a?
True
Let w(h) = -5*h**3 - h**2 + 5*h + 2. Does 3 divide w(-3)?
False
Let y(p) = -3*p**3 + p + 1. Let r be y(-1). Suppose 6*t = r*t + 270. Is t a multiple of 13?
False
Suppose 37*w = 39*w - 756. Is 27 a factor of w?
True
Let v(h) = h**3 + 18*h**2 - 20*h + 11. Suppose -8*u + 2*u = 114. Is v(u) a multiple of 21?
False
Suppose 0 = -4*c 