16*-2*3/h?
False
Let b(c) = -7*c - c**2 - c + c + 6. Let x(t) = -t**2 + 14*t - 6. Let d be x(14). Is 12 a factor of b(d)?
True
Let i = -622 - -673. Does 24 divide i?
False
Let y be 3 - ((3 - -1) + -4) - 139. Is 6 a factor of (y/24)/(1/(-6)) + -4?
True
Suppose -185 = -2*o + 5*i, -5*o - 3*i = -i - 448. Does 15 divide o?
True
Let l = 410 - 326. Is l even?
True
Let a(s) = 40*s - 130. Is a(20) a multiple of 10?
True
Let z(x) = x**3 + 9*x**2 - 12*x - 17. Let a be z(-10). Does 12 divide (-1 - 8)*(-8)/a?
True
Is 31 + -36 + (369 - (-1)/(-1)) a multiple of 15?
False
Suppose -j = -f - 2*j + 27, 3*j = -4*f + 108. Suppose 113 = v - f. Is 10 a factor of v?
True
Let o(w) = 6*w + 231. Is 11 a factor of o(10)?
False
Let v(w) = -4*w - 9 - w - w + w**2. Suppose -3 = 2*l - 19. Is 6 a factor of v(l)?
False
Let u = 676 - -2662. Does 17 divide u?
False
Let u(o) = -o**2 + 8*o + 3. Let v be u(6). Suppose -2*r + v = 3. Is (-8)/r*(-486)/12 a multiple of 18?
True
Let o(h) = -h**2 - h + 30. Let j be o(0). Let g be (0/(-2))/4*1. Suppose -10 = 2*x, g = -v + 5*x + j + 21. Is v a multiple of 13?
True
Let j = 1 - 12. Does 20 divide (-66)/j*94/6?
False
Let q be (6 - 628/(-6)) + 4/(-6). Suppose -3*a - 42 = 4*l - q, -3*l - a = -46. Is l a multiple of 14?
True
Suppose 13*j = 14*j - 106. Is 30 a factor of j?
False
Let t = 1 + -1. Let c(z) = -z**2 - 3*z + 38. Is 7 a factor of c(t)?
False
Let n(k) = 38*k**2 + 8*k + 27. Is 8 a factor of n(-3)?
False
Suppose -41*h + 46*h = 1250. Let w = -70 + h. Suppose 2*o + o - w = 0. Is 20 a factor of o?
True
Let c(o) = 4*o**2 - 61*o - 78. Let t(v) = -2*v**2 + 31*v + 39. Let u(d) = -6*c(d) - 13*t(d). Is 21 a factor of u(20)?
True
Suppose -3*t = -12, -2*t + 2 = -2*k + 4. Is (-2 + -8)/((-1)/k) a multiple of 13?
False
Let q = -794 + 1115. Is 15 a factor of q?
False
Let a(r) = r**3 - 6*r**2 + 5*r - 6. Let l be a(5). Let k be (-22 + 0)/(l/12). Suppose -k = -2*w + 58. Is 9 a factor of w?
False
Suppose g + 5*f - 215 - 52 = 0, 1463 = 5*g - 7*f. Does 7 divide g?
True
Let v(g) = -2*g**2 + 15*g + 8. Let q be v(8). Suppose q = -8*i + 1987 + 365. Does 42 divide i?
True
Let k(y) = -53*y + 7. Suppose 4 - 16 = 12*q. Is 10 a factor of k(q)?
True
Suppose 0 = -3*q + 10*q - 14. Suppose q*t - 42 = t - 3*n, 2*n = -3*t + 133. Is t a multiple of 13?
False
Let s = 1354 + -1051. Is s a multiple of 61?
False
Suppose 0 = 4*l - 14 + 6. Let s(v) = 19*v**2 + 2. Is s(l) a multiple of 13?
True
Let y(d) = d**2 + 5. Let o be y(0). Suppose -2*s + 10 = -0*b - 4*b, 4*b - 5*s = o. Does 7 divide (-75)/(-6)*(-12)/b?
False
Let i(m) = 4*m**2 + 154*m + 758. Is 22 a factor of i(-5)?
True
Suppose -239 = -3*j + 379. Let t = j + -118. Suppose 3*n = -16 + t. Does 12 divide n?
True
Let t = 13 - 15. Let x be t*(3 + (-14)/4). Suppose 5 = 3*z - x, 2*v + 4*z - 152 = 0. Is 18 a factor of v?
True
Let p be -3 + ((-4)/4 - -3). Let q be (-7 + -2)/(0 + p). Is (-6)/9 - (-195)/q a multiple of 21?
True
Let h be (-3 + 27/6)*2. Suppose -h*f - 15 = 0, 2*x - 28 = -x + 5*f. Let z(w) = 46*w**3 - w + 1. Does 20 divide z(x)?
False
Let h = 24 - 22. Let t(a) = 17*a - 2. Is 32 a factor of t(h)?
True
Let f(d) = 12*d + 3. Suppose -v - 3*v + 24 = 0. Does 25 divide f(v)?
True
Is ((-72)/(-2))/((-216)/(-1872)) a multiple of 4?
True
Suppose -2*l + 604 = 2*l - 3*r, -2*l + 302 = r. Let k = l - 96. Does 11 divide k?
True
Suppose -5*x = -7*i + 2*i - 515, -x = 3*i - 111. Suppose -5*k - x = -3*t + 226, -4*t + 5*k + 433 = 0. Is 39 a factor of t?
False
Let y(b) = 2*b - 9*b - 10 + 2*b. Let v be (-1)/2 + (-55)/(-22) + -8. Does 17 divide y(v)?
False
Let p(x) = -3*x - 8. Let l(r) = -13*r - 43. Let y(g) = -14*g - 42. Let a(i) = 2*l(i) - 3*y(i). Let c(z) = 2*a(z) + 11*p(z). Is c(-10) a multiple of 2?
True
Let k(f) = 2*f + 28. Is k(12) a multiple of 26?
True
Let c(s) = 102*s**2 - 8*s + 15. Let v(o) = -51*o**2 + 4*o - 7. Let q(f) = -2*c(f) - 5*v(f). Is 13 a factor of q(1)?
True
Let i(b) = 5*b**2 + 7*b + 5. Let p be i(-4). Suppose -228 = -4*r + 5*t - 3*t, -r - 5*t + p = 0. Suppose 0*d = -3*d + r. Is d a multiple of 10?
False
Suppose 24*j - 23128 = -25*j. Does 29 divide j?
False
Let u = -75 - -86. Is 6 a factor of (-2)/u - (-1400)/77?
True
Suppose -3*g = 2*a - 262, -4*g - 2*a + 77 + 275 = 0. Let q = -44 + g. Does 12 divide q?
False
Let x = 392 + -79. Let r(p) = 61*p**2 + 670*p - 5. Let w be r(-11). Suppose w*c - 5*s = c + 555, 3*c = -2*s + x. Does 29 divide c?
False
Suppose 3*u + 3109 = 5*k, 0*k + 5*u = -5*k + 3085. Is k a multiple of 9?
False
Suppose 0 = -2*l - 2*u + 14, -2*l - 3*u + 4 = -12. Suppose j = -5*m - 4*j + 400, -3*m + 200 = -l*j. Does 15 divide m?
True
Let d(i) = 24*i**2 - 232*i - 8. Does 8 divide d(15)?
True
Suppose 0*y = -3*y + 420. Let w = -84 - -5. Let n = w + y. Is n a multiple of 13?
False
Suppose -2*f - f - 6 = 0. Let k = f - -4. Suppose 9 = -s + k*s. Is s a multiple of 4?
False
Let c(y) = -y**2 - 20*y - 19. Let h(s) = -7*s**2 + 6*s + 4. Let k be h(-1). Does 20 divide c(k)?
True
Let q = 2761 + 74. Is 27 a factor of q?
True
Let n(l) = l + 7. Let t be n(-5). Suppose t*z - 24 = -h, 3*h - 4*z - 1 - 61 = 0. Does 11 divide h?
True
Let a = 1696 - 814. Is 14 a factor of a?
True
Suppose 0 = 5*p - p, -3*p - 20 = -4*q. Suppose 116 = -q*s + 606. Is s a multiple of 11?
False
Let b be 3*(16/(-12) - -2). Suppose -10 = b*k - 0. Let g(j) = j**3 + 6*j**2 - 2*j. Is 6 a factor of g(k)?
False
Suppose -10*m + 715 = -595. Does 19 divide m?
False
Is 46 a factor of (0 - 0) + 4 - -293?
False
Let n = 373 + -87. Is n a multiple of 8?
False
Let c = 1 + 1. Suppose 4*w - 926 = -350. Suppose -3*j = 5*q - 17 - w, -c*q = -2*j + 118. Is j a multiple of 19?
True
Is 15 a factor of (-1188)/11*6/(-8)?
False
Suppose 3*v - 4*o - 2 = 0, 5*v + 2*o = 4*o + 22. Let u(z) = -4*z**3 + 3*z**3 - 23*z**2 + 29*z**2 + 7. Is u(v) a multiple of 2?
False
Is 20 a factor of 1600/(-48)*72/(-10)?
True
Suppose -3*m = -2*q - 2458, 2465 = -6*m + 9*m + 5*q. Does 20 divide m?
True
Is 35 + 81 + -5 + -2 a multiple of 2?
False
Suppose -o + 30 = j, 0*j - 3*o = -j + 10. Suppose -3*a + j = -14. Suppose -f + 9 = -a. Is 11 a factor of f?
True
Let a(x) = -x**3 + 10*x**2 + 2*x + 14. Suppose 0 = -3*t + 13 + 17. Is a(t) a multiple of 17?
True
Let k(w) = -6*w + 10. Let t be k(-11). Suppose -q = -2*c - 20 - 50, -q + t = c. Is 38 a factor of q?
False
Suppose 5*v + 610 = 4*n + 3*v, 3*n - 4*v = 470. Is n a multiple of 15?
True
Suppose -5*o - 3*p = -26, -5*o - 4 + 34 = 5*p. Suppose -4*t = y - 4*y, 0 = o*y - 3*t - 7. Suppose y*k - 64 - 8 = -4*b, -b - 5*k = -6. Is 7 a factor of b?
True
Suppose -7*d + 4*d - 6 = 0. Let k(a) = -2*a - 3. Let p be k(d). Let s(w) = 6*w**2 - 1. Does 5 divide s(p)?
True
Let y(d) = -d**3 - 22*d**2 - 25*d - 1. Let h = 95 - 116. Does 9 divide y(h)?
False
Suppose 0 = -0*i - 3*i + 54. Let g = 2 + i. Does 6 divide g?
False
Suppose 9*p + 0*p = 27. Suppose 55 = h - 5*y, -p*y + 7*y = -5*h + 304. Does 10 divide h?
True
Suppose -7*j + 1843 = -999. Let p = -263 + j. Is 30 a factor of p?
False
Is 37 a factor of (-90)/20*(-518)/3?
True
Let d(i) = -i**3 - 5 + 4 + 0 - 3*i**2 - 4. Let v be d(-4). Suppose -o + 34 = -v. Is 15 a factor of o?
True
Let s(v) be the third derivative of v**4/4 - 10*v**3/3 + 10*v**2. Does 7 divide s(15)?
True
Let h = 31 + 113. Let p = 418 - h. Is p a multiple of 22?
False
Let i(t) be the first derivative of t**3/3 - 5*t**2/2 + 3*t - 9. Does 7 divide i(-4)?
False
Let v be 26/6 + -3*(-3)/(-27). Does 14 divide 3/((v/20)/((-38)/(-5)))?
False
Suppose 3*f - 5*y - 1426 = 0, 220 + 252 = f - y. Does 33 divide f?
False
Suppose 0 = -0*o + 4*o - 144. Suppose 0*b = -2*b + o. Let w = b + -10. Is w a multiple of 8?
True
Suppose -5802 = -7*b - 559. Is 66 a factor of b?
False
Suppose 4 = -4*p + 3*m - 5, -2*m = -2*p - 4. Let y = p + 1. Is 4 a factor of (-2)/y + 96/8?
False
Let h(q) = q**3 - 2*q**2 - 2*q. Let j be h(3). Suppose -2 = -4*w + 6. Suppose w*a + j*l = -a + 159, a - 41 = 5*l. Is a a multiple of 24?
False
Suppose -29 + 13 = -4*l. Suppose 0 = -l*p - 4 + 152. Is p a multiple of 12?
False
Let p(b) = 24*b - 26. Let j(t) = -8*t + 9. Let k(m) = 17*j(m) + 6*p(m). Does 15 divide k(6)?
True
Let o = 2918 + -2214. Does 11 divide o?
True
Suppose 150 = q + 4*q. Suppose -3*v + 5*y + q = v, -2*y - 26 = -3*v. Is 3 a factor of v?
False
Suppose 0 = -w - y + 64, 4*w - 195 = 3*y + 75. Let c = 42 - 40. 