
True
Let m(q) = q**3 + 12*q**2 - 12*q + 16. Let v be m(-13). Suppose -l + x = -13, 5*l + 2 = 4*l + 4*x. Suppose -5*s = -v*s - l. Is 3 a factor of s?
True
Suppose -4*j + 5517 = -m, -3*j - 5*m + 6865 = 2*j. Is j a multiple of 26?
True
Let g = -47 - -3. Let m = g + 168. Is 5 a factor of m?
False
Let h(f) = f**2 + 2*f - 4. Let c be h(-4). Suppose -3*d + c*q + 84 = 0, d - 36 = -q + 5*q. Is d a multiple of 6?
True
Let j(t) = 5*t**2 + 5*t - 79. Is 16 a factor of j(-7)?
False
Let o be 24*(4/4 - 0). Let c = o - -52. Suppose -3*y + 0*b + c = -b, -5*y = 5*b - 100. Is y a multiple of 12?
True
Let u(j) = -5*j**3 + 39*j**2 + 59*j - 19. Let o(c) = c**3 - 8*c**2 - 12*c + 4. Let t(i) = -11*o(i) - 2*u(i). Does 9 divide t(11)?
True
Let i = 447 + -207. Is i a multiple of 12?
True
Let s be 54/30 + (-2)/(2*-5). Suppose s*w + 2*w = 316. Is 13 a factor of w?
False
Let y(z) = z + 5. Let g be y(-9). Is 380/(-15)*6/g a multiple of 14?
False
Let o(i) = 18*i - 1. Let r be o(-4). Let h = -33 - r. Suppose -3*m + m - h = -2*w, 2*w = m + 37. Is w a multiple of 6?
False
Let k = -20 + 26. Suppose k*l - l = 15. Is (-416)/(-12) - l/(-9) a multiple of 5?
True
Let a = 949 - 477. Is 59 a factor of a?
True
Let i(o) = o + 7. Let z be i(-8). Does 45 divide (-534)/(-9)*(-3)/z?
False
Let g(x) = 107*x - 5. Let h(j) = -238*j - 70. Let m(f) = -f + 1. Let i(v) = -h(v) - 84*m(v). Let p(z) = 8*g(z) - 3*i(z). Is 13 a factor of p(-1)?
False
Suppose 6*s - 295 = 227. Let v(l) = -5*l**3 - l. Let r be v(-1). Suppose -3*w + 2*m = -m - s, 3*m = r. Is 17 a factor of w?
False
Let s = 1 - 14. Let o(t) = t + 24. Does 11 divide o(s)?
True
Suppose -9*o + 1506 + 420 = 0. Is 7 a factor of o?
False
Let t be (82 - 10)*(-86)/4. Let r be (-3)/2*t/54. Suppose -h = o - 24, -2*o = 5*h - 4*h - r. Is 5 a factor of o?
False
Let m = -1204 - -1989. Does 18 divide m?
False
Suppose 0*f + 4*f - a + 20 = 0, -2*a = -4*f - 16. Does 3 divide 1152/44 - 4 - f/(-33)?
False
Let z = -623 + 626. Is z a multiple of 3?
True
Let z be 4/12 + (-2)/(-3). Let m be 4 - (0 + z + 1). Suppose m*t - 34 = 3*x + 5, 2*x = 5*t - 81. Is t a multiple of 5?
True
Suppose 0 = 5*d - 4*d. Suppose d = 3*y - 108 + 18. Does 7 divide y?
False
Let c(v) = 25*v**2 - 12*v - 34. Does 35 divide c(-6)?
False
Suppose -14*g + 34 + 22 = 0. Suppose 0*w + w = -4*x + 68, -2*x + 34 = 3*w. Let k = x - g. Is k a multiple of 4?
False
Suppose 3*q - 7 - 5 = d, 4*q = 4*d + 8. Suppose 23 = q*j - 122. Suppose c = 2*c - j. Does 22 divide c?
False
Suppose 7*b + 442 = 4019. Is 73 a factor of b?
True
Let n = 3668 - 1981. Is n a multiple of 7?
True
Let b(r) = 6*r - 1. Suppose 5*y - u = -15 - 0, 3*u - 19 = 2*y. Let c(v) = -2*v. Let i(a) = y*b(a) - 7*c(a). Does 9 divide i(13)?
False
Suppose 0 = 6*a - a + 25. Let k be (-111)/(15/(-6) + 1). Is 11 a factor of (k/(-4))/(a/10)?
False
Let s = 55 + -52. Suppose s*m - 9*m = -132. Is m a multiple of 11?
True
Let n = 3 + 2. Suppose n*z - 212 = 113. Let s = 93 - z. Does 14 divide s?
True
Let h = -205 - -131. Let a = h + 139. Is 21 a factor of a?
False
Let g = 189 - 124. Let y = g + -4. Suppose q = -v + 9, 3*q + y = 4*v + 11. Is 5 a factor of v?
False
Suppose 0 = -l - 4, -y - 26*l = -22*l - 1271. Does 31 divide y?
False
Suppose -2*j + 2512 + 490 = 5*g, 5*g - j - 2999 = 0. Is g a multiple of 35?
False
Suppose -w = -23 + 21. Suppose 10 = w*o + 4*f, -5*o + 2*f + 2*f + 53 = 0. Does 9 divide o?
True
Let r(a) = -a**2 + 7*a + 102. Does 4 divide r(8)?
False
Suppose -3*h - 79 = 5*y - 224, 4*h - 4*y = 172. Let w = -69 + h. Is (w - 5)/(0 - 1) a multiple of 10?
False
Let j(b) = -4048*b**3 + 4*b**2 + b - 3. Is j(-1) a multiple of 23?
True
Suppose -4*g - 21 = -5*g. Let z be g/35 - (-6)/(-10). Suppose j = -z + 14. Is j a multiple of 14?
True
Does 15 divide (-391)/46*(-1 + (-10)/2)?
False
Let s = -1 + 6. Suppose s*j - 456 = 2*z, -z + 429 = 4*j + 72. Does 9 divide j?
True
Let p be (-4)/(-4)*3 + 5. Let j = 68 - p. Suppose j + 26 = 2*y. Does 7 divide y?
False
Is 96 a factor of 42/147 - (-734)/28*106?
False
Let i(n) be the second derivative of 29*n**3/6 - 49*n**2/2 + 29*n. Is i(4) a multiple of 14?
False
Let a = -290 + 705. Suppose 0 = f - 5*o - 55, 5*f + 0*o - a = -3*o. Is f a multiple of 16?
True
Let x(j) = 16*j + 11. Let m be x(6). Let p = 188 - m. Is p a multiple of 35?
False
Let d = -32 + 29. Is 32 a factor of 1/1 + (d - -98)?
True
Let c(g) = g**3 - 12*g - 3 + 12*g + 1 - 2*g**2. Is 15 a factor of c(4)?
True
Let q(i) = 816*i + 139. Does 13 divide q(3)?
True
Let y(j) = -j**2 - 10*j - 7. Let p be y(-6). Suppose -3*m - 8 = -c, -2*m - p = -2*c - c. Suppose c*r = -5*t + 375, -2*r + 0*r - t = -146. Is r a multiple of 14?
False
Suppose -4*d - 4*p = -d - 14, 0 = 2*d + 3*p - 9. Does 14 divide ((-2)/(d/(-81)))/(4/24)?
False
Let w(r) = -r**2 - r + 1. Let x(s) = -4*s**2 - 22*s + 27. Let p(h) = 5*w(h) - x(h). Let n be p(15). Suppose -3*u - 70 = -n*u. Is u a multiple of 7?
True
Let u(t) = 12*t + 2. Let r be u(-4). Let s = r + 65. Is s a multiple of 19?
True
Let w = -388 - -836. Is w a multiple of 28?
True
Let w(j) = j**3 - 7*j**2 + 4*j + 35. Let k be w(8). Let m = 295 - k. Does 8 divide m?
False
Let z = 64 + 276. Is 20 a factor of z?
True
Let q(p) = 21*p + 8. Let b(a) = -11*a - 4. Let f(d) = -11*b(d) - 6*q(d). Is 8 a factor of f(-4)?
True
Suppose 4*g = 441 - 125. Is 4 a factor of g?
False
Let t(r) = -2*r. Let x be t(-1). Suppose 44*l = 24*l + 3340. Suppose -3 - x = 5*d, 4*d - l = -3*q. Does 19 divide q?
True
Let a = -54 - -244. Does 10 divide a?
True
Is 9 + 5748/3 - 5 a multiple of 128?
True
Suppose 5*m - 30 = 5*x, -2*x - 6 = -m - 3*m. Let w = -7 - x. Suppose w*c + 5*i - i = 26, -29 = -3*c - i. Does 9 divide c?
True
Let z(b) = -b**3 - 8*b**2 + 8*b - 8. Suppose q - 27 = 4*q. Let x be z(q). Is ((-72)/(-32))/(x/20) a multiple of 15?
True
Suppose -24*q + 10376 = 2048. Is q a multiple of 49?
False
Let r(f) = -f**2 - 12*f - 3. Suppose 3*c - 4 = 4*l, 0 = l + 2*c - 4 + 16. Does 29 divide r(l)?
True
Let q be 2/(2/(-4) + 1). Suppose 0 = -2*i - 3*r - 7, 1 = -4*i - 3*r + 2. Suppose -5*x + 55 = b + b, -q*b - i*x + 92 = 0. Is 10 a factor of b?
True
Suppose -97*b + 98*b = 162. Let t = 324 - b. Does 18 divide t?
True
Let y = -34 + 118. Suppose 11*k = 12*k - y. Does 12 divide k?
True
Let b be -3 + 1 - (-19 + 14). Suppose 0 = b*z + 2 - 17. Suppose 4 - 14 = -z*j. Is j a multiple of 2?
True
Let m(s) = 8*s + 10. Let c be m(-8). Let v be 1/((8/c)/(-4)). Let n = 45 - v. Is 6 a factor of n?
True
Let i(u) = u**3 - 18*u**2 + 11*u - 186. Is 24 a factor of i(23)?
True
Let u = 21 - 18. Let h(w) = 0 - w**2 - 1 - u - 10*w - 4. Is 17 a factor of h(-5)?
True
Suppose 0 = -7*l + 1166 + 850. Is l a multiple of 9?
True
Let p = 19 + -14. Let r = p - -19. Is r a multiple of 12?
True
Let r be (-2)/4*0 - -3. Suppose -25 - 11 = -r*s. Suppose 42 = 3*z - 3*l, z = -l - 0*l + s. Does 4 divide z?
False
Let w(c) = -384*c - 13. Let v be w(2). Does 13 divide v/(-6) - 15/90?
True
Does 15 divide (-68202)/(-378) + -1*3/7?
True
Suppose -25 = -2*f + 21. Suppose 0 = 2*k + 10, -5*v + f = 3*k + 98. Let b(r) = -4*r - 24. Is b(v) a multiple of 6?
True
Let z(g) = g + 8. Let m be z(-16). Does 8 divide (-32)/6*12/m?
True
Let i(s) = 2*s**2 + 2*s. Let t(u) = u**2 + 10*u + 3. Let r be t(-9). Is i(r) a multiple of 12?
True
Let r = 348 + -191. Let v = -61 + r. Is v a multiple of 26?
False
Suppose 5*r - q = 35, -47 = -4*r - q - 2*q. Let j = -1 + r. Suppose -v - 5*y + 38 = j, v + 3*y - 23 = 0. Does 3 divide v?
False
Suppose -2*w = g - 247, -5*g + 578 + 627 = -5*w. Is 14 a factor of g?
False
Let u(t) = t**3 - 5*t + 2 + 41*t**2 + 3*t + 38 - 15*t**2. Is 43 a factor of u(-26)?
False
Let d(f) = -f**3 + 11*f**2 + 25*f - 5. Is d(-5) a multiple of 6?
True
Let p be (10/4)/((-10)/(-180)). Suppose 3*r + r + 5*s - p = 0, r - 7 = 3*s. Suppose -2*f = 4*q - 68, -4*f - r*q + 5*q = -127. Does 13 divide f?
False
Is 33 a factor of ((-5)/(275/(-66)))/(4/4730)?
True
Let b(g) = -2*g**3 + 2*g**2 - 3. Let c(t) = -t**3 + t**2 - 1. Let q(f) = -3*b(f) + 5*c(f). Is q(4) a multiple of 13?
True
Suppose -8*v - 90 = v. Let h(z) = z**3 + 13*z**2 + 3*z - 2. Does 37 divide h(v)?
False
Suppose 0 = 2*i - 5*i - 5*j + 355, 117 = i + j. Does 5 divide i?
True
Suppose -5*d - 20 = 0, -4*g = 5*d - 4 + 12. Let f = -3 + g. Suppose f*n + 20 = 4*n. Is n a multiple of 4?
False
Let q be 14/8