Let o(h) = h**3 + 2*h**2 - 3*h + 13. Is 13 a factor of o(-3)?
True
Suppose -57 = 2*p - 19. Does 51 divide (-5)/3*p/(38/180)?
False
Let a(s) = 2*s**2 - 4*s - 5. Let x be ((-6)/4)/((-33)/(-176)). Let v be a(x). Is v*(36/15)/4 a multiple of 25?
False
Suppose -l - 25 - 9 = 5*s, -l - 4*s - 32 = 0. Is 22 a factor of l/16*(-344)/6?
False
Let q(i) = -i**2 - 12*i - 11. Let x be (3 - -8)*(2 - 3). Let n be q(x). Suppose -5*p + 5*g + 430 = n, -2*g - 338 = -4*p - g. Is p a multiple of 12?
True
Does 18 divide (-108)/(6/(-4)*4/102)?
True
Let c(b) = -6*b - 63. Does 3 divide c(-18)?
True
Does 10 divide (1 - 0)*-3*-45*4?
True
Let l(o) = 7*o**2. Let t be l(5). Suppose -5*g + 249 = -3*u - t, 5*g - 420 = 5*u. Is g a multiple of 15?
False
Let j = 31 - 29. Suppose 3*k - 6 = 0, j*k = -5*g - 2*k + 653. Does 31 divide g?
False
Let t(h) = h**3 - 5*h**2 - 8*h + 9. Let s = -34 + 40. Let g be t(s). Let j = g - -36. Is 8 a factor of j?
False
Let n(j) = 2 - 1 + 7*j + 5 - 8*j. Let y be n(7). Is 14 a factor of y/(-4) - 1720/(-32)?
False
Let y(r) = 20*r - 15. Let u be y(12). Let o = u + -55. Does 46 divide o?
False
Suppose -2 = y - 4*x, y = 4*y - 4*x + 6. Let b(u) = 8*u - 71. Let j be b(5). Is 17 a factor of 3 + (y/(-2) - j)?
False
Suppose 4*s - 24 = -8. Let h be -1 + -103*s/(-2). Suppose 3*o - h = -2*p, -335 = -3*o - 2*o - 2*p. Is 17 a factor of o?
False
Let s(y) = y - 8. Let t be s(10). Let l = t - -22. Does 4 divide l?
True
Suppose 484 - 417 = w. Is 8 a factor of w?
False
Let d(k) = -k**3 - 11*k**2 + 58*k + 271. Does 86 divide d(-22)?
False
Let c(j) = 19*j + 1. Let f be c(2). Suppose 3*g = 3*i - 168, -3*i + 121 = 5*g - f. Does 13 divide i?
False
Is 8/(291/(-33) - -9) a multiple of 11?
True
Let k(t) = 2*t**3 - t**2 + 2*t - 1. Let w be (3 - (1 - -5)) + 4. Let a be k(w). Suppose a*p - 180 = -p. Is p a multiple of 11?
False
Suppose 4*i + 4*b + 602 = 5746, -i - 3*b + 1282 = 0. Does 14 divide i?
True
Suppose -2*x = 4*n + 2*x - 52, -1 = -2*n + 3*x. Suppose -2*q = 6 - n. Is 13 a factor of (-156)/24*(q + -3)?
True
Let l(q) = -1920*q**3 - 2*q**2 - 3*q - 2. Let f be l(-1). Suppose 4*g = -4*m + 1540, 5*m + 2*g - f = -0*m. Does 23 divide (-2)/(-7) - m/(-7)?
False
Suppose 6*d - 10*d = 72. Let b = d - -37. Let z = 32 + b. Does 17 divide z?
True
Suppose 0*f + 2*l = -4*f - 18, 2*l - 2 = 0. Let s = f + -5. Let z = s - -14. Is 3 a factor of z?
False
Suppose 0 = z + 35 - 38. Suppose z*j = j + 292. Is 33 a factor of j?
False
Is (72/14)/(((-390)/525)/(-13)) even?
True
Does 21 divide 42435/135 + (-4)/(-6)?
True
Suppose 0*w - 16*w + 480 = 0. Does 29 divide 54 + 3*w/18?
False
Let b(i) = -i**3 - 4*i**2 + 3*i + 14. Let d be b(-6). Suppose d*s = 63*s + 215. Does 4 divide s?
False
Let g(f) = -f**3 + 3*f**2 + f + 1. Let h be g(3). Suppose -x = h*x - 20. Suppose x*q = -5*i + 86, 64 = 4*i + 2*q - 0*q. Is 6 a factor of i?
False
Does 28 divide 17968/(-6)*195/(-130)?
False
Let b(q) = q**3 + 15*q**2 + 9*q - 10. Suppose 0 = y - 0*y + 14. Does 10 divide b(y)?
True
Let w(u) = 3*u**2 + 5*u + 20. Let o be w(-6). Let j = o - 45. Is 15 a factor of j?
False
Let g = 81 + -37. Let a = g + -28. Is a a multiple of 4?
True
Let s be (6/9)/(-3 + (-367)/(-123)). Let r = s + 72. Does 10 divide r?
False
Let h(o) = 6*o + 2. Let d be h(-1). Is (12 - 18)*170/d a multiple of 26?
False
Let u(o) be the second derivative of 23*o**3/3 + 10*o. Let k be u(-1). Let g = 23 - k. Is 10 a factor of g?
False
Let m(c) = -c**2 + 43*c + 2. Does 61 divide m(31)?
False
Let i(v) = v + 15. Let o be i(-13). Suppose -o*z + z = -8. Is z a multiple of 8?
True
Suppose 57 + 131 = -2*f. Let t = f + 142. Is 15 a factor of t?
False
Let w(t) = -t**3 - 10*t**2 + 23*t - 10. Let b be w(-12). Suppose b*i + 9 = 15. Is 2 a factor of i?
False
Let p = 56 - 161. Let u = -6 - p. Does 11 divide u?
True
Suppose -9*o - 26*o = -15120. Is o a multiple of 9?
True
Suppose 3*l = -2*h + 1 - 8, 4*h + 11 = -5*l. Does 10 divide (-20)/30*-90*h?
True
Suppose -4*i - 40 = -5*c, -5*i - 51 = -3*c - 14. Suppose -h = 4*h. Suppose r - o - 33 = 2*o, -r - c*o + 40 = h. Is 18 a factor of r?
True
Let n(b) = -2 - 6*b**2 + 5*b**3 + b - 3 - 2*b + 0*b**3. Let a(g) = -6*g**3 + 6*g**2 + 2*g + 6. Let o(w) = -4*a(w) - 5*n(w). Does 21 divide o(4)?
True
Let c = 77 - -10. Let f = c - 50. Does 8 divide f?
False
Suppose -a = 3*m + 4*a + 15, a + 3 = 0. Suppose 29 = -2*k - 5*z, 2*k + 5*z + 53 = -2*k. Is 24 a factor of (m - (-36)/(-8))*k?
False
Let s = 77 - 68. Is 4 a factor of (-83)/(-5) + (-7)/(105/s)?
True
Suppose -5*u + a + 25348 = 0, 0*u - a = -3*u + 15208. Is 26 a factor of u?
True
Let m be -28 + (-4 - -1) + -1. Let x = m + 71. Does 10 divide x?
False
Let m(u) = 2*u**2 + 42*u + 15. Let k be m(-20). Is 30/(4 + 95/k) a multiple of 22?
False
Let q = 1149 - 549. Does 20 divide q?
True
Let h(m) be the third derivative of m**5/30 - 5*m**4/6 + 11*m**3/6 - 11*m**2. Let u be h(14). Suppose 0*c + c = f - 27, -u = -4*f - c. Is f a multiple of 5?
True
Let s(a) = -2*a + 14. Suppose 8*x = 9*x - 5. Is s(x) a multiple of 4?
True
Suppose 11*x = 7*x + 460. Suppose -4*z - x + 399 = 0. Is z a multiple of 14?
False
Let j(d) = 78*d - 496. Is 97 a factor of j(49)?
False
Is 20 a factor of 2/(-11) - ((-12546)/33)/1?
True
Let i = 87 + 7. Let h = -64 + i. Is 15 a factor of h?
True
Let z = -34 + 46. Does 7 divide (-835)/(-15) - (z/(-9))/4?
True
Suppose -3*r - r = 360. Let d(a) = a**3 + 15*a**2 + 6*a + 36. Let p be d(-15). Let i = p - r. Is i a multiple of 18?
True
Let w(x) be the third derivative of -x**5/60 - x**4/24 + 5*x**3/6 + 4*x**2. Let l be w(0). Suppose 133 - l = 4*d. Does 11 divide d?
False
Let d = -1 + 602. Is d a multiple of 65?
False
Suppose -m - 3*f = -93, -3*m - 2*f = -313 + 48. Suppose 10 = 5*b + 3*v, -2*v = 3*b - v - 6. Suppose 0 = b*r + r - m. Does 7 divide r?
False
Let k(m) = -m**2 + 6*m - 3. Let v be k(4). Suppose 0 = -7*f + v*f - 208. Let x = f + 148. Is x a multiple of 11?
True
Let x be (-2)/(-8) - (-183)/4. Let b = x - 32. Suppose 27*u - 28*u = -b. Is 7 a factor of u?
True
Let z(s) = -38*s + 40. Is 6 a factor of z(-1)?
True
Let a be 6 + (-12)/(6 + -3). Suppose 3*i + 49 = s, -3*s - a*i - 226 = -7*s. Is s a multiple of 29?
True
Let b(o) be the second derivative of 4*o**3/3 - 5*o**2/2 - 2*o. Is b(2) a multiple of 11?
True
Suppose -352 = 2*q - 4*i - 952, 2*i - 908 = -3*q. Is 36 a factor of q?
False
Does 130 divide 4495/15 + (-36)/54?
False
Is 34 a factor of 5*13044/60*1?
False
Let v = -2079 - -3708. Is 55 a factor of v?
False
Suppose -3*n + 2*j + 8 = 0, -2*n + n - j = -11. Suppose -w - 90 = -n*w. Is w a multiple of 10?
False
Let j(y) = 5*y + 23. Let b be (-1)/(52/18 - (-4 - -7)). Does 19 divide j(b)?
False
Suppose -32*q - 122 = -34*q. Does 2 divide q?
False
Let c be (-2)/6 - (-20)/6. Let h = c - -117. Does 10 divide h?
True
Let m(c) = 29*c + 220. Is 6 a factor of m(4)?
True
Let u = -175 - -197. Does 22 divide u?
True
Suppose -i - 5*z + 38 = -0*i, -2*i = -4*z - 6. Suppose 0 = -x - i - 7. Does 17 divide (72/(-30))/(1/x)?
False
Does 8 divide (-3326)/(-18) + (-84)/(-378)?
False
Does 52 divide 396/45 - 9 - 783/(-15)?
True
Suppose -7*r + 2126 = -4496. Is r a multiple of 18?
False
Let t = -38 - -34. Is -30*(-7)/((-21)/t) a multiple of 20?
True
Suppose -5*z + 2610 - 1032 = 3*u, 0 = -5*z - 4*u + 1579. Is z a multiple of 45?
True
Let c(d) = 29*d + 41. Does 6 divide c(5)?
True
Let d(v) be the third derivative of -59*v**6/120 + v**3/6 + 23*v**2. Is 30 a factor of d(-1)?
True
Let a(i) be the second derivative of -i**4/12 - 2*i**3/3 + 5*i**2/2 - 6*i. Let t be a(-5). Suppose 0 = 4*o - t*o - 252. Is 21 a factor of o?
True
Let a(f) = -f**3 - 14*f**2 + 39*f - 34. Let j be a(-19). Let u = j + -662. Is u a multiple of 46?
True
Let r(h) = -h**2 + 8*h - 5. Let u be r(7). Suppose -2*c + 3*c = i - 8, i - u*c = 10. Is i a multiple of 2?
True
Is 27 a factor of 12/20 - (-38430)/75?
True
Suppose 12597 = 23*u - 2721. Is u a multiple of 18?
True
Suppose 5*f + 214 = -a, -3*a + 114 = -4*f + f. Let p = f - -101. Suppose 5*y = -o + 9, 4*y = -3*o + 5*y + p. Is 19 a factor of o?
True
Let z = -89 + 119. Is z a multiple of 10?
True
Let f = 45 - 39. Suppose 12*q - 318 = f*q. Is q a multiple of 26?
False
Is 7 a factor of 6 - (-478 - -7)/3?
False
Let y(i) = -16*i + 838. Does 9 divide y(0)?
False
Suppose -198 = -n + 260. Is 19 a factor of n?
False
Su