 o. Is h a multiple of 15?
True
Let n(c) = 4*c + 1. Let b be n(3). Let m(k) = k**2 - 7*k - 7. Let w be m(-8). Suppose -b = 5*f - w. Does 10 divide f?
True
Let z be 1 + -1 - (-273)/(-7). Let m = z - -72. Does 11 divide m?
True
Suppose 5 = 3*c - 7. Let p = -24 - -34. Suppose 2*o = 2*k + 66, -o + c*k + p = -14. Is 17 a factor of o?
False
Let b(y) = 4*y + y**2 + 2*y - 5*y - 2. Suppose -10 = 2*d, 4*g + 0*d = -4*d. Is 14 a factor of b(g)?
True
Is 39 a factor of (2 + (-378)/15)*(-75)/10?
False
Suppose 3*x = -2*x - 20. Let r(o) = 3*o**2 - 5*o**2 - 2 + o**3 + 3*o - 2*o**3. Does 9 divide r(x)?
True
Let c(h) be the first derivative of -1/2*h**2 + 0*h - 1. Is c(-5) a multiple of 2?
False
Suppose -q = -1, 2*q = 5*p - 4*p - 55. Is 19 a factor of p?
True
Let w = 18 + -10. Suppose -h - p = -19, -h - 4*p + 5 = -w. Is h a multiple of 12?
False
Let f(r) = r**3 + 5*r**2 + 3*r - 2. Let b be f(-4). Suppose y - 5*y - 6 = -w, 0 = -2*y - 2*w + b. Let g(p) = -31*p. Is g(y) a multiple of 11?
False
Does 5 divide ((-104)/32)/((-1)/8)?
False
Suppose -18 = 2*f - 5*l + 22, -2*l = f + 29. Let o = -10 - f. Is o a multiple of 11?
False
Let c(m) = -m**3 - m**2 + 2*m - 59. Let j(y) = 3*y**3 + 2*y**2 - 5*y + 117. Let r(n) = -5*c(n) - 2*j(n). Is 12 a factor of r(0)?
False
Let m = 6 + 7. Is 13 a factor of m?
True
Let a(m) = -m**3 + 3*m**2 - m. Let z be a(2). Suppose n + 3 = 2*n. Suppose -z*c + 60 = n*c. Is 12 a factor of c?
True
Let f(h) = -h**2 + 2*h + 56. Is 14 a factor of f(0)?
True
Suppose -q - 54 - 100 = 2*i, -2*q - 8 = 0. Let l = -6 - i. Suppose -26 - 119 = -5*b + m, -3*b = 3*m - l. Is 14 a factor of b?
True
Let q be 22/6 + (-1)/(-3). Suppose -28 = -2*y - q*c, 5*y + 0 - 26 = c. Suppose -y = -2*u + 2. Does 2 divide u?
True
Suppose -2*k - t = -69, 5*k - 68 = -3*t + 107. Suppose b - k = -3. Does 10 divide b?
False
Let h(x) = -6*x + 28. Is h(-14) a multiple of 28?
True
Let n(b) = 3*b + 3*b**3 + 9 - 4 - 9*b**2 - 2*b**3. Is 11 a factor of n(9)?
False
Let c be (-1 - -2) + (1 - -8). Let r = 4 + c. Is 10 a factor of r?
False
Let j = 3 - 1. Let y = 40 + -30. Suppose 3*x = j*x + y. Is 10 a factor of x?
True
Let h = 81 - 139. Let m be 3/(-6) + h/4. Does 5 divide (-160)/m - (-4)/(-6)?
True
Let x(i) = i**2 - 10*i. Is x(15) a multiple of 18?
False
Suppose -4*v = -9*v + 90. Is v a multiple of 9?
True
Let n = 11 + 1. Is 9 a factor of (-35)/2*n/(-15)?
False
Suppose 3*i = -77 + 275. Is 33 a factor of i?
True
Let c(l) = -l**3 - 11*l**2 + 33*l + 18. Is 28 a factor of c(-14)?
False
Suppose 3*q - 3 = 63. Let j = -2 + q. Does 10 divide j?
True
Is 6*(-1232)/(-49) + 2/14 a multiple of 26?
False
Is 2*((-6)/10 - 382/(-20)) a multiple of 3?
False
Suppose 3*u + 26 = h - 0*u, h - 5*u - 32 = 0. Suppose z - 33 - h = 0. Does 19 divide z?
False
Let n be 27/5 - (-2)/(-5). Suppose n*r = w + 130, 3*r + 9*w = 4*w + 78. Is r a multiple of 13?
True
Suppose i - 27 + 7 = 0. Is i a multiple of 10?
True
Suppose 4*s + 63 = 3*n - 45, -4*s = n + 124. Does 23 divide ((-6)/(-4))/(s/(-1480))?
False
Suppose t = -5*l - 17, 4*t - 5*l - 21 = 7*t. Let h be 489/15 - 2/(-5). Does 12 divide t/(-3)*h - -2?
True
Let u(l) = -4*l + 39. Let s be u(9). Let x = 9 + -5. Suppose -s*m = -5*d - m + 150, -m = -x*d + 117. Is d a multiple of 6?
False
Let t(s) = 31*s + 1. Does 32 divide t(1)?
True
Let c(m) = m**3 - 2*m**2 + 4*m + 1. Let q be c(-4). Let d = -71 - q. Does 20 divide d?
True
Suppose -12 = -0*v - 3*v. Suppose 2*m + 6 = -3*l, 3*l - 34 = v*m - 2*l. Let k = 13 + m. Is 7 a factor of k?
True
Let s(l) = -l**3 - 4*l**2 + 2*l + 11. Is s(-5) a multiple of 8?
False
Let s = -17 + 30. Let r(k) = s*k - 1 + 5*k - k. Is r(1) a multiple of 16?
True
Let w = -5 - 0. Suppose 0 = 4*y + y + 135. Let l = w - y. Does 11 divide l?
True
Suppose -2*y + 5*r = -3, 5*y = 4*r - 5*r + 48. Does 2 divide y?
False
Let o(b) = -b - 9. Let h be (-2)/(-3) + 38/6. Let g be o(h). Let p = -9 - g. Is p a multiple of 5?
False
Suppose 0*b - b = 4*t - 20, 16 = 4*b. Suppose 0 = t*q - 11 - 61. Is q a multiple of 18?
True
Suppose -4*t + 4*c - 12 = 0, 5*t - 4*c + 8 = -7. Is 11 a factor of (t/1)/((-12)/176)?
True
Suppose -5*d - 13 - 12 = 0. Let v = -2 + d. Let m = 13 - v. Is m a multiple of 12?
False
Is 11 a factor of (-2109)/(-12) - (-9)/36?
True
Suppose 7 + 13 = 5*x, 3*h - 4*x = -1. Let c be (h + -2 - 1) + -2. Suppose -t - 3*n = -n - 22, c = -4*t + 2*n + 78. Is t a multiple of 10?
True
Suppose 4*i - 55 = 289. Is i a multiple of 30?
False
Let z(j) = -4*j**2 + 4*j - 2. Let c be z(2). Let v be (-20)/(-8)*(-8)/c. Let s(f) = 2*f**2 + 3*f - 2. Does 12 divide s(v)?
True
Suppose 2*w + 2*j - 4 = 0, -4 = -6*w + 4*w + 4*j. Let x = w - -6. Is 2 a factor of x?
True
Suppose -4*g - 6*u - 324 = -3*u, 0 = -2*u + 8. Let a = -43 - g. Suppose -x = -2*x + a. Is 20 a factor of x?
False
Suppose -b + 76 = -31. Let q = b - 58. Let a = 89 - q. Does 20 divide a?
True
Suppose -4*o = 13 + 31. Let t be o/(-3) - 4/6. Suppose 3*r = 12 + t. Is 2 a factor of r?
False
Suppose 2*r - x - 604 = 0, -2*x - 1 = -5. Does 54 divide r?
False
Let u(h) = 7*h**2 + 6*h + 9. Is u(-2) a multiple of 3?
False
Suppose -6*w + w - f = -284, 53 = w + 4*f. Suppose w = -r + 4*r. Is 10 a factor of r?
False
Suppose -2*f + 6*f - 16 = 0. Suppose f*c - 44 = -0. Is 8 a factor of c?
False
Suppose 0 = -2*j - 3*j - 3*n - 19, 2*j = 2*n + 2. Suppose c + 2 - 5 = -2*x, -5*x + 18 = -c. Is 19 a factor of (-2 - (c - j))*-38?
True
Let s(b) = -b**2 + 6*b. Let y = 13 + -8. Let v be s(y). Suppose v*o = 3*w + 39, -5*o - 2*w = -w - 47. Is 5 a factor of o?
False
Let a be (0*2/6)/(-2). Let z be ((-26)/(-6))/(2/24). Suppose -4*i + 5*b = 2*b - z, a = -i - b + 13. Does 13 divide i?
True
Suppose 0*n - 77 = -3*n + 4*w, -n + 29 = 2*w. Does 5 divide n?
False
Let f(u) = u**3 + 15*u**2 - 17*u - 1. Is f(-16) a multiple of 7?
False
Suppose 0*y - 30 = -2*y + 4*a, 0 = -3*y - 4*a - 5. Let h(l) = 2*l**2 + 4*l - 4. Let c be h(y). Let t = c + -46. Is t a multiple of 15?
False
Suppose 0 = -5*w + 4382 - 1462. Is w a multiple of 73?
True
Suppose -3*x = v + 13, 5*x + 7 = 3*v - 10. Let l be (-5)/(15/x)*-3. Let i(d) = -9*d - 2. Does 12 divide i(l)?
False
Suppose -3*n - 335 = -8*n. Suppose -5*q + n = 12. Does 11 divide q?
True
Let q(h) = h**3 + 3*h**2 - 5*h - 1. Suppose 2 + 2 = -b. Does 2 divide q(b)?
False
Let g be (-3)/(-12) - (-33)/12. Suppose g*u - 12 = 0, -3*v + u + 0 = -2. Does 14 divide (18/5)/(v/10)?
False
Does 16 divide 2022/21 - 4/14?
True
Let f be (-3 + 1)/1 + 27. Suppose f = 5*r, 3*r = 6*c - 3*c - 27. Does 7 divide c?
True
Suppose -4*o + o = 6. Let r be (o/4)/((-2)/76). Is 14 a factor of r/1 - (1 + 1)?
False
Suppose 0*z - t + 3 = 2*z, 2*t = -z + 6. Suppose 2*a - 5 - 1 = z. Suppose a*l = -2*l + 275. Is 20 a factor of l?
False
Let u(i) = 3*i - 6 + 0*i - 4*i. Let h be u(-8). Suppose 3*c - 5*f - 22 = 0, h*c + 4*f = c + 13. Is 9 a factor of c?
True
Let z = -30 - -38. Is z a multiple of 8?
True
Let c(v) = -v - 8. Let j be c(-10). Suppose 6 = 3*q, j*q = -4*t + 5*q + 6. Is t even?
False
Let i = 45 + 115. Is 20 a factor of i?
True
Suppose -15*l = -514 - 416. Is 53 a factor of l?
False
Let c be (-10)/(-25) + (-16)/(-10). Suppose 2*v + 44 = 2*x, c*x - v - 19 = 27. Is x a multiple of 12?
True
Does 19 divide ((-3464)/(-6))/4 - 9/27?
False
Let q = -63 - -23. Let h = -48 + 28. Let c = h - q. Is 10 a factor of c?
True
Suppose 0*q = 5*u - 4*q + 2, -q + 5 = u. Suppose 0*a - 272 = -4*a + 4*x, 0 = -5*a + u*x + 334. Is 11 a factor of (-16)/12*a/(-4)?
True
Suppose 119 = 4*c - 77. Is c a multiple of 22?
False
Suppose 35 = 2*t + 11. Is 3 a factor of t?
True
Let x(d) = -62*d**3 - d**2 - 2*d - 1. Does 27 divide x(-1)?
False
Suppose 2*x - 15 = -3*x. Suppose 7 = 2*d - x. Does 3 divide d?
False
Let j(k) = 3*k**2 - 9*k + 9. Does 21 divide j(6)?
True
Let p(m) = 3 - 1 + 2*m - 25*m. Is p(-2) a multiple of 16?
True
Let z(b) = -b**3 - 3*b**2. Let t be z(-3). Let h(x) = -x + 2. Let d be h(t). Let w = d - -26. Does 14 divide w?
True
Let n be (-6 - -4) + -1 + 22. Let x be -2*(2 + 98/(-4)). Let d = x - n. Does 13 divide d?
True
Let u(f) = 148*f**3 - 1. Let i be (-5 + 4)/((-2)/2). Let v be u(i). Suppose 0 = -3*c - 4*a + 119, 5*c - 2*c - 3*a - v = 0. Does 15 divide c?
True
Suppose -r = 2*r + u - 245, 5*r - 412 = 2*u. Does 9 divide r?
False
Let k(g) = -g**3 + 2*g**2 - 1. Let s be k(3). Let a(b) = b**2 + 8*b - 10.