x(h) = -h**3 + 5*h**2 + 6*h - 6. Let n be x(5). Let f = 43 - n. Is 19 a factor of f?
True
Suppose 4*o - 23 = -0*k - k, 3*o + 168 = 4*k. Is k a multiple of 11?
False
Suppose t = 3*m - 0*t - 16, 2*m = 5*t + 15. Suppose -3*l = -5*l - m*r + 63, 0 = -3*l - 4*r + 77. Does 19 divide l?
True
Suppose -f - 1 = -6, 0 = -5*i - 3*f + 55. Is i a multiple of 6?
False
Suppose -3*f = -6*x + 2*x + 16, 3*f + 4*x = 16. Suppose 4*r - 2*r = f. Suppose 3*c + 4*q - 31 = r, -q - 29 - 10 = -2*c. Does 15 divide c?
False
Suppose 4*x - 92 = 4*l, -x - 4*x - l = -115. Is 8 a factor of x?
False
Suppose 1381 + 1219 = 13*h. Is 20 a factor of h?
True
Let b be ((-3)/4)/(8/(-928)). Suppose -5*j + 2*r = b - 247, j - 3*r = 32. Is j a multiple of 14?
False
Does 8 divide -25*3/(-5 - -2)?
False
Suppose -16 - 25 = -x. Does 23 divide x?
False
Is (-66)/11*3/((-9)/40) a multiple of 16?
True
Suppose 2*b = 6*b + 12. Is 14 a factor of ((-141)/12)/(b/12)?
False
Let r = 22 + -63. Suppose -193 = -2*g - c, -g + 84 + 23 = 4*c. Let f = r + g. Does 18 divide f?
True
Let r = 30 + -18. Is r a multiple of 12?
True
Suppose -10 = 2*w - 4*w. Let m be 18/w*(-20)/(-3). Suppose f + f - m = 0. Does 12 divide f?
True
Let y = 117 + -37. Does 20 divide y?
True
Suppose -2*i + 2*b = -142, -3*i + 2*i + 83 = 3*b. Does 37 divide i?
True
Is (2 + (-309)/(-6))*4 a multiple of 38?
False
Suppose 3*p = -2 + 5. Suppose -6*f + 16 = -2*f. Does 7 divide 2*p/(f/30)?
False
Let c be ((-6)/(-4))/((-3)/(-8)). Let x(o) = o - 7. Let u(t) = -3*t + 13. Let g(n) = -4*u(n) - 7*x(n). Is g(c) a multiple of 17?
True
Suppose -2*g + 6*g - 12 = 0. Does 3 divide g?
True
Let z(r) = r**2 - 4*r - 2. Let t be z(-5). Suppose d + t + 22 = 3*b, -4*b + 89 = d. Does 7 divide b?
False
Suppose -6*h + h = -20, 0 = 4*q - 2*h + 28. Let m(n) = n**2 - 2*n + 2. Does 9 divide m(q)?
False
Suppose -2*k + 11 = -33. Is k a multiple of 11?
True
Suppose 4*f + n = -0*f + 90, -5*n = f - 13. Does 5 divide f?
False
Is 15 a factor of (-78 + 0)/(-3) + -2?
False
Suppose -4*c + 5*c - 19 = 0. Does 5 divide c?
False
Suppose 0*j = -2*j + 26. Is j a multiple of 3?
False
Suppose u - 35 = -5*i, 0 = u - 0*i - i - 53. Is u a multiple of 21?
False
Let t(c) be the first derivative of c**5/60 + 5*c**4/24 - 7*c**3/6 - c**2/2 + 2. Let j(q) be the second derivative of t(q). Does 17 divide j(-8)?
True
Let p = 74 - 36. Suppose -3*g = p - 131. Is g a multiple of 13?
False
Let w = -47 + 92. Let r = -13 + w. Is r a multiple of 14?
False
Suppose c + 17 = -0*p + 5*p, 3*p - 12 = 0. Suppose 5*y - c = 7. Is y even?
True
Suppose 3*u + 34 = 5*u. Does 24 divide (-28)/238 - (-1464)/u?
False
Suppose -90 - 315 = -5*k. Is k a multiple of 7?
False
Suppose 10 = -3*k - 2*j, 3*j - 2 + 0 = 4*k. Let g be (k - (-1)/(-1))*-2. Suppose g*t - 2*t = 56. Is t a multiple of 14?
True
Let z(u) = u - 4. Let q be z(-3). Let g(f) = -f**3 - 4*f**2 + 2*f + 4. Let h be g(-3). Let m = q - h. Is m a multiple of 2?
True
Let g = -121 - -171. Is 25 a factor of g?
True
Let t(g) = -g**2 - 8*g - 6. Let x be t(-5). Let n(j) = j**2 - 9*j + 4. Does 4 divide n(x)?
True
Suppose -34 = -q - 7. Is q a multiple of 9?
True
Let n be 3/(-18) - (-633)/18. Suppose 4*t = -5*p + 90, -5*t + n = 5*p - 80. Does 11 divide t?
False
Suppose 18*c - 14*c = 432. Is c a multiple of 27?
True
Let m(g) = -g. Let x(w) = w**2 - 16*w + 14. Let b(o) = 2*m(o) - x(o). Is 6 a factor of b(11)?
False
Let t(q) = 2*q. Let x be t(0). Suppose 2 = m + 6, x = j + m. Does 4 divide j?
True
Let s(a) = 2*a**2 - 6*a - 6. Is 23 a factor of s(-3)?
False
Let m = 17 - 24. Let s = 1 + m. Let y = s - -30. Is 12 a factor of y?
True
Let q(z) = 4*z**3 - 2*z**2 + 2*z - 1. Let u be q(1). Let k = u - -2. Suppose 0 = -5*j - k*b + 20, -3*b = 4*j - 16 - 4. Is j a multiple of 7?
False
Suppose -3*g = 3*y - 27, -g - 2*y + 17 = y. Suppose -g*j = -10*j + 125. Is 13 a factor of j?
False
Let x be -12*1*(-4)/(-3). Let h = x - -121. Suppose -h = -w - 4*w. Is w a multiple of 11?
False
Suppose 0 = v - 4 - 0. Suppose -v*o - 108 = -6*o. Is 27 a factor of o?
True
Let s(g) = -g**2 + 5. Let d be s(-6). Let h = d + 55. Suppose 5*y + 40 = 2*w, -4*w + h + 68 = -4*y. Does 17 divide w?
False
Suppose 4*x + 5*l + 780 = 0, -4*x = 2*l + 505 + 275. Is 13 a factor of ((-4)/(-5))/((-6)/x)?
True
Let a(t) = t**2 - 2*t - 5. Let j = -14 - -19. Is 6 a factor of a(j)?
False
Is 4 + 1/(6/1248) a multiple of 27?
False
Let z(t) = 4*t - 9. Suppose 3*d - 2*d - 6 = 0. Suppose -2*c - d = 4*y - 20, 0 = -5*c + y + 35. Does 10 divide z(c)?
False
Let u be 558/12 + (-6)/4. Suppose 0 = -t + 19 + u. Does 13 divide t?
False
Suppose -3*w = -83 + 26. Does 13 divide w?
False
Let n = -25 - -79. Does 14 divide n?
False
Suppose -2*h - 2*x = -76, 2 + 192 = 5*h + 3*x. Does 20 divide h?
True
Let z = -4 + 8. Let b(d) = d**3 - 2*d**2 + 4*d. Is b(z) a multiple of 14?
False
Let b(q) be the second derivative of -q**3 - q. Let d be b(-4). Suppose 2*x = 6*x - d. Is 3 a factor of x?
True
Suppose -2*h = -4*m + 236, h - 167 = 2*m - 5*m. Is m a multiple of 19?
True
Suppose -32 = -4*v + 20. Does 10 divide v?
False
Let g(h) = h**3 - 9*h**2. Let x be g(9). Suppose 4*d - 92 + 24 = x. Is d a multiple of 17?
True
Suppose 11*k = 9*k + 26. Does 13 divide k?
True
Let a = -3 - -11. Suppose -5*z + 4*h + 41 = 5, -z - 5*h = 16. Suppose -v + z*b = -a - 8, 5*b + 34 = 3*v. Is 3 a factor of v?
False
Suppose 3*k + 5 = 4*i + 1, -4 = -4*i - k. Let j = i + 13. Does 5 divide j?
False
Suppose -5*m = -3*u + 342, 5*m = u + 3 - 107. Suppose 0 = -2*t + 5*i + u, -4*i + 110 = 2*t - 0*i. Does 17 divide t?
False
Let i(a) = -a - 1. Let v be i(4). Let f(x) = x**2 + 2. Is 11 a factor of f(v)?
False
Let y(c) = -1. Let j(m) = 3*m + 9. Let q(k) = -j(k) - 6*y(k). Let a be q(-2). Suppose -a*u + 34 = 2*z - 32, -5*u + 97 = -z. Is 20 a factor of u?
True
Suppose 8 = -0*r - r. Let g(l) = -l**2 - 6*l + 11. Let f be g(r). Let n = f + 12. Does 7 divide n?
True
Suppose 4 = -4*o, -3*b - 5*o = b - 95. Is 25 a factor of b?
True
Let d(l) = -l**2 + 6*l - 4. Let m be d(3). Suppose 4*i - m*r - 262 - 78 = 0, 2*r + 8 = 0. Does 17 divide i?
False
Suppose 230 - 810 = -5*u. Is u a multiple of 29?
True
Does 8 divide 22/(-4)*(245/(-7) + 5)?
False
Does 27 divide ((-3)/1 + 2)*-81?
True
Is (-4 - -1)*568/(-24) a multiple of 12?
False
Suppose 3 = 3*h - 3. Suppose -h*c + 4*c = 0. Suppose c = 2*t - 3*b - 1, 5*t - b = -0*b + 35. Is 4 a factor of t?
True
Suppose 206 = 5*l - 69. Suppose q = 2*s - l, 4*s = -0*s + 4*q + 112. Is 9 a factor of s?
True
Let x = -12 + 10. Let a(s) = -2*s**3 + 2*s**2 + 4*s + 3. Is 6 a factor of a(x)?
False
Let y(q) = -74*q + 1. Does 15 divide y(-1)?
True
Suppose -4*t = 5*f - 0*f - 78, 5*f = -3*t + 61. Does 17 divide t?
True
Let w = 323 - 203. Is 10 a factor of w?
True
Suppose 5*p - 10 = -35. Let j = 2 - p. Suppose 4*r - i = 45, 4*i = j + 5. Is r a multiple of 10?
False
Let i be (-88)/(-6) - (-18)/(-27). Is (-108)/(-14) - i/(-49) a multiple of 8?
True
Is 15 a factor of 4/14 + (-262)/(-14)?
False
Let r(c) = 4*c - 4. Let m be r(6). Suppose 4*b + m = -0*b. Let x(t) = t**3 + 6*t**2 + t - 5. Is x(b) a multiple of 15?
True
Let d(b) = -5*b**2 + 6*b - 1. Let l(z) = z**2. Let k(j) = d(j) + 4*l(j). Let a be k(5). Suppose -a*f + f + 27 = 0. Does 9 divide f?
True
Let m be (18/(-15))/(3/(-10)). Suppose -13 = -z - 1. Suppose 2*a = m*a - z. Is 3 a factor of a?
True
Suppose -g - 2 = -21. Does 3 divide g?
False
Let k be ((-4)/10)/(1/5). Let d(p) = -4*p**2 + p**2 + p + 5*p**2 - 2. Is 4 a factor of d(k)?
True
Suppose 144 = 4*j - 176. Does 8 divide j?
True
Is 3 a factor of 12/(-54) + (292/(-18))/(-1)?
False
Is 5/(-15) + 242/6 a multiple of 13?
False
Suppose 7 = b - 0*b. Suppose 3*a = 9, 0 = 3*k - 4*a - b + 1. Does 3 divide k?
True
Suppose -5*g = 0, -5*g + 8 = -4*m - 6*g. Let b be (-5)/m*8/10. Suppose 4*h = -7*j + b*j + 35, 4*h + 21 = 3*j. Is j a multiple of 3?
False
Let p = -15 + 218. Is 48 a factor of p?
False
Let p(r) = -r**3 - 7*r**2 - 2*r + 4. Let s be (-5)/(-1*3/(-3)). Let w be p(s). Let n = 86 + w. Does 15 divide n?
False
Let g be 1*10*(-3)/(-6)*11. Suppose 2*z + z = -51. Let x = g + z. Is x a multiple of 19?
True
Let h = -149 - -298. Let c = h + -86. Is c a multiple of 19?
False
Let i(x) = -x**2 + 5*x**2 - 6 - 4*x**2 - 6*x - 3*x**2. Let m be i(7). Is m/(-10) + (-1)/(-2) a multiple of 10?
True
Suppose 0 = 2*i - 7*i. Supp