 12?
True
Is 13 a factor of 5/(25/20) + (-3 - -2062)?
False
Suppose 0 = -3*n + 44 + 70. Let o be (((-30)/(-6))/5)/((-2)/(-26)). Let u = n - o. Does 5 divide u?
True
Suppose 0 = d + 2*z - 2666, 0 = 4*d - d + 2*z - 7990. Is d a multiple of 17?
False
Is (-20 - 0)/(5/(-20)) a multiple of 3?
False
Let c(r) = 54*r - 3. Let i be ((-3)/(-6))/((-5)/(-20)). Let d be c(i). Suppose 4*g - 3*n - d = 0, 5*n = -2*g - 0*g + 33. Does 12 divide g?
True
Let j(f) = 2*f**2 - 15*f + 3. Let l(d) = d**2 - 7*d + 2. Let t(a) = -2*j(a) + 5*l(a). Let r be t(5). Suppose 5*g - 64 = -r. Is g a multiple of 3?
True
Let n = -17 + -142. Let c = -94 - n. Is c a multiple of 21?
False
Let m = 3125 - 1655. Is m a multiple of 30?
True
Let g(p) = 46*p**2 - 7*p - 3. Let a = 2 + -5. Let k be g(a). Suppose 2*l = -2*l + k. Is l a multiple of 38?
False
Suppose -20 = f + f + 5*m, 0 = -5*f - 4*m - 67. Suppose s + 3*r - r - 37 = 0, 5*s = r + 130. Let i = s + f. Is 4 a factor of i?
True
Suppose 3*r + 4*q - 1397 = 0, 0 = 3*r - 5*q - 197 - 1182. Suppose -u - r = -4*k, -4*k = 3*u - 129 - 338. Suppose -3*f + k = f. Does 29 divide f?
True
Does 5 divide (2 - (-30)/(-18))*300?
True
Let u(z) = 6*z**3 + 5*z**2 - 4*z - 4. Is u(2) even?
True
Let j(q) = 179*q - 183*q + 2*q**2 - 3 - 3. Let h(c) = -c**3 + c**2 - c + 7. Let v be h(0). Is j(v) a multiple of 16?
True
Suppose 441 = 2*y + y. Suppose 5*o = 2*k + y, -2*o - 3*k = -5*k - 54. Suppose 1 = 2*w - o. Does 8 divide w?
True
Let m be 5/3*(16 - 1). Suppose -6*u - 1349 = -m*u. Does 16 divide u?
False
Let k(j) = 28*j - 31. Let b be k(1). Suppose -3*o + 68 = -v - 3*v, -v - o - 10 = 0. Does 10 divide -1 + b/2*v?
True
Let c be (-3)/(12/(-20)) + -4. Does 5 divide (-4 + c)/(-4*1/64)?
False
Let m = -424 + 1126. Is m a multiple of 26?
True
Suppose 2*o + 2664 = 6*o. Is o a multiple of 18?
True
Let k = 18 + -13. Let w be 55 - (k - (2 + 0)). Suppose 3*v + 2*f = -3*f + 16, w = 5*v + 2*f. Is 4 a factor of v?
True
Let k(h) = h**3 - 17*h**2 - 29*h - 82. Does 6 divide k(20)?
False
Suppose 0 = -118*f + 132*f - 6552. Is 12 a factor of f?
True
Let c(i) be the third derivative of -i**6/360 + 17*i**5/120 - i**4/24 - 2*i**3/3 - 8*i**2. Let d(n) be the first derivative of c(n). Is d(16) a multiple of 6?
False
Suppose -10*v + 115 = -285. Suppose 37*r - v*r + 63 = 0. Is r a multiple of 10?
False
Let f(v) = -2*v**2. Let r be f(2). Let y be r/3*(-15)/10. Suppose -y*t + 3*t + 39 = 0. Is t a multiple of 12?
False
Suppose -2*z + 53 = -11. Let t = z + -31. Does 16 divide 89 + 5 + t + -2?
False
Suppose 3*x - 4*j = 17, -5*x + 16 = -x - 4*j. Let v be (-1 - x)/(3 - 0). Suppose -2*t - 3*h = -52, v*t + 4*t = -3*h + 110. Is 9 a factor of t?
False
Let j be 82/(-7) - (-14)/(-49). Let h = 18 + j. Suppose -h = -n - 4*b, -3*n = 2*n - 3*b - 122. Does 10 divide n?
False
Suppose 5*c + 4*y = -y + 45, 2*c = -4*y + 12. Suppose -n + 8 = -c. Is n a multiple of 10?
True
Let v(l) be the third derivative of 0*l + 25/6*l**3 + 0 + 2*l**2 - 5/24*l**4. Does 20 divide v(-11)?
True
Let s be (-7)/(1/14*2). Let a be (-1)/(4 + -3) + 4*-24. Let y = s - a. Is y a multiple of 16?
True
Let z(a) = -a**3 - 4*a**2 + 24*a + 48. Is 24 a factor of z(-12)?
True
Is 3 a factor of (10*3/(-6))/(3/(-45))?
True
Let t(w) = -w**3 + w**2 + 11*w - 13. Let i(x) = -x**2 + x + 1. Let r(d) = -3*i(d) - t(d). Does 23 divide r(5)?
True
Suppose 4*r = -2*w + 20, -w + 3*r - 14 = -r. Let m(s) = 50*s + 5. Does 23 divide m(w)?
False
Let f(k) = 4*k + 8 - 4*k + k**2 - 5. Let b be f(0). Suppose -2*g + 360 = b*g + 3*x, g - 80 = x. Is 21 a factor of g?
False
Let z = -197 - -257. Does 3 divide z?
True
Is 31 a factor of 2/(-7) + 65160/210?
True
Let z = -49 - -699. Is 26 a factor of z?
True
Let u be 3/4 - (-4)/16. Let q(d) = 89*d**3 + d**2 - 2*d. Is q(u) a multiple of 11?
True
Suppose -i = -4*i + 21. Suppose -2*l - 20 = -4*y, -y - 2*y - 4*l - i = 0. Suppose 30 = y*d + 2*s, -9 = -d - 4*s + 11. Does 8 divide d?
True
Suppose -3*t - 2 = -3*u + 22, -24 = -2*u + 4*t. Suppose -5*w = u*k + 106 + 183, 4*k - 2*w = -254. Let n = k - -108. Is 14 a factor of n?
True
Let l = -4246 - -8819. Is l a multiple of 17?
True
Let h = -1753 - -1919. Does 9 divide h?
False
Suppose u - 2*v = 93, 0*u - u - v = -93. Let c be ((-162)/(-15))/(1 - 3/5). Let g = u - c. Is 22 a factor of g?
True
Suppose 0 = -8*m + 6*m - x + 966, -3*m + 2*x = -1456. Does 11 divide m?
True
Let g = -623 + 968. Suppose 7*v = 4*v + g. Is 23 a factor of v?
True
Let r = -127 + 216. Is r even?
False
Let c = 5 + 23. Let q = c - -34. Is q a multiple of 31?
True
Let n = -27 - 128. Let s = 243 + n. Does 11 divide s?
True
Is 17 a factor of (-4)/((-60)/(-9))*15470/(-14)?
True
Suppose 3*b + c - 8 = 0, -2*c = b - 4*c - 5. Let v(g) = -8*g + 5. Let l be v(-5). Suppose 5*x + 150 = 4*o + 38, -b*x = o - l. Is 8 a factor of o?
False
Suppose 4*t = -2*k + 156, k = t - 4*k - 39. Is 11 a factor of t?
False
Suppose -j - 3*k = -423, -3*k + 819 = 2*j - 6*k. Is 23 a factor of j?
True
Let c(d) = 2*d**2 + 49*d + 52. Is 14 a factor of c(-24)?
True
Suppose 3*t - 33 = 2*n, 4*n - 2*t = 3*t - 71. Let q = n - -63. Does 7 divide q?
False
Let t(c) = -3*c**3 + 5*c**2 + 5*c + 6. Let v be t(-3). Let b = v + -102. Does 5 divide b?
True
Does 10 divide 205 - (4 + -6 - -3)?
False
Let a = -258 - 409. Let s = a + 1042. Suppose -6*x + x = -s. Is x a multiple of 16?
False
Let l(t) = 106*t - 140. Does 10 divide l(20)?
True
Let r be (-120)/(-2)*(-14)/(-7). Let o be (6/(-5))/((-36)/r). Suppose 5*w - 335 = o*h - 8*h, 145 = 2*h - 5*w. Does 20 divide h?
True
Let h(i) = -i**2 + 33*i + 79. Does 22 divide h(31)?
False
Let p = -167 - -264. Is p a multiple of 3?
False
Is 9 a factor of 180/(-7)*(-6)/4*7?
True
Suppose 2*j = -5*i - 18 - 17, 0 = 3*j - 2*i + 5. Let s(t) = t**3 + 4*t**2 - 7*t - 8. Let p be s(j). Does 11 divide 4580/140 + p/7?
True
Let a(m) be the second derivative of -m**4/24 + 5*m**3/6 + 4*m**2 - 6*m. Let g(p) be the first derivative of a(p). Is 4 a factor of g(-7)?
True
Suppose 5*b - 11 - 4 = 0. Suppose 4*g - b*z - 2*z - 179 = 0, 2*g + 5*z = 97. Does 13 divide g?
False
Let m be (-28)/(-42) + (-4)/(-3). Suppose 2*j = -4*c + 118, -m*c + 5*j + 91 - 14 = 0. Is c a multiple of 4?
False
Let s(l) = 97*l - 106. Does 31 divide s(12)?
False
Suppose x - 38 = -0*x. Let s = 11 - x. Is (18/s)/((-2)/102) a multiple of 17?
True
Suppose -5*p + 22 = -8. Let i be p/4*-2 - -1. Is 13 a factor of (-3)/i*(-130)/(-3)?
True
Let m = -311 - -1133. Is 23 a factor of m?
False
Suppose -4*s = -4*x - 604, 5*x = -3*s + 218 + 203. Is s a multiple of 7?
True
Let a(r) = 47*r**2 - 15*r - 60. Is a(-5) a multiple of 35?
True
Suppose 124 = 35*f - 31*f. Is 4 a factor of f?
False
Let d be ((-3)/9)/((-4)/108). Let y = d - 7. Suppose y*t - t = 22. Is t a multiple of 11?
True
Let s = 1180 + -586. Is s a multiple of 54?
True
Let n(h) = 11*h + 15. Suppose 0 = 2*t + 5*p + 1, t - 2*p - 9 - 4 = 0. Does 22 divide n(t)?
False
Let f(y) = -270*y**3 + 2*y**2 - 3*y - 6. Does 11 divide f(-1)?
False
Let l = -15 + 15. Suppose l = -5*x - 3 - 2. Is 0 - x - (2 - 27) a multiple of 13?
True
Is (-7 - 164/28)*(-2 + -5) a multiple of 10?
True
Suppose 3*m + 2*m = 125. Suppose 0 = 2*c + 2 + 2. Let a = m + c. Is a a multiple of 9?
False
Suppose 0 = 2*w + 2, 2*x + 2*w + 2 = x. Let g(q) = q**3 + q**2. Let a be g(x). Suppose h - 2 = -a, 190 = 4*n - h. Is 12 a factor of n?
True
Let u(x) = 3*x**2 - 15*x + 2. Let f be u(5). Suppose 0 = -2*d + 2*s + 190, -5*d + 2*s + 472 = -0*s. Suppose -b - d = -f*b. Does 21 divide b?
False
Suppose 3*k - 689 - 1256 = -5*l, -5*l + 1935 = 5*k. Is 49 a factor of l?
True
Suppose -u + 1 = -2*i, -u + 12 = 4*i - 1. Suppose -i*j = 4*f - 418, 2*f = -4*j - 0*j + 224. Is f a multiple of 35?
False
Let w(j) = -2*j**2 + 9*j + 3. Let d be w(3). Suppose -9*t = -d*t + 54. Is 14 a factor of t?
False
Let v = 1028 - 564. Does 6 divide v?
False
Let p be (-2)/(-4) - (-24)/16. Suppose 3*z - 12 = -3*d + 306, -217 = -p*d - 3*z. Suppose -3*j + j + d = -5*i, 2*i = -2. Is 16 a factor of j?
True
Let c be (-28)/(-8) - 1/2. Suppose -c*j - 2*j = -570. Let m = j + -47. Does 31 divide m?
False
Suppose -2*i = 2*p - 2388, 2*p = 4*i + 988 + 1412. Is p a multiple of 15?
False
Suppose -3*g - 2*g - 5 = 0, -l = -g - 40. Let t = 20 - 8. Let w = l - t. Is w a multiple of 10?
False
Suppose -155 = k + 34. Is 35 a factor of (1*k + 4)*(-24)/