Let f(r) = -r**3 + r + 1. Let t(c) = -6*f(c) + z(c). Is t(-1) a multiple of 6?
False
Let w(h) = 45*h + 2. Let t be w(-3). Is ((-20)/(-14))/((-19)/t) a multiple of 5?
True
Let d = -37 + 40. Suppose 49 = d*b - 125. Does 15 divide b?
False
Let k(u) = -124*u + 3 + u**3 + 63*u + 10 + 11*u**2 + 78*u. Does 4 divide k(-9)?
False
Let v = -50 - -56. Suppose -o = -2*b + 23, 2*b - v*b - 5*o = -25. Does 4 divide b?
False
Suppose 0 = -503*o + 498*o + 375. Is o even?
False
Suppose -105*o = -110*o + 9740. Is o a multiple of 70?
False
Let i = 27 + -6. Let g = 31 - i. Does 5 divide g?
True
Suppose 2*b = 3*u + 22, 3*b - 4 = -b - 4*u. Suppose -b*r = 4*x - 3*r + 4, 8 = -2*r. Suppose -t + x = -15. Is 16 a factor of t?
True
Suppose i - 40 = -4*i. Let v be (-8)/(-32) + 14/i. Suppose v*r - 54 = -20. Does 17 divide r?
True
Is (108/(-1))/(27/(-90)) a multiple of 40?
True
Is 12 a factor of 76*-1*-4 - (-15 + 19)?
True
Let i = 63 - 123. Does 13 divide (5/(-2))/(3/i)?
False
Let u(d) = d**2 + 21*d - 22. Is u(-23) a multiple of 12?
True
Let w(a) = 2*a**2 - 4*a - 6. Suppose 0*q + 12 = -2*q. Let r be w(q). Suppose 0 = 3*d - 8*d + r. Is d a multiple of 9?
True
Suppose 0 = 64*a - 19320 - 11400. Is 80 a factor of a?
True
Let d(t) = 6*t**2 - 10*t - 40. Is 12 a factor of d(-10)?
True
Let v(l) = 28*l**2 - 2*l - 2. Let f be v(-1). Is 8/f + 38/14 a multiple of 2?
False
Suppose 10 = 2*o + 4*p - 2*p, -19 = -5*o + p. Suppose 0 = -2*s - 8*x + 4*x + 48, s - 38 = 5*x. Suppose o*m - s = 40. Does 9 divide m?
False
Let r = 7 + -5. Suppose -n - 15 = -4*q, r*q - q - 15 = -2*n. Suppose -6*k + 28 = -q*k. Is k a multiple of 8?
False
Suppose 29*h - 26*h = 14400. Is 100 a factor of h?
True
Let x = -2165 + 3950. Is x a multiple of 21?
True
Let r(a) = a**3 + 12*a**2 - 8*a + 131. Does 29 divide r(-13)?
False
Let t = -169 + 229. Is 5 a factor of t?
True
Suppose -39 = -3*d - s - 7, -4*s + 28 = 2*d. Suppose 0 = -2*q - d - 12. Let p = q - -15. Is p a multiple of 4?
True
Suppose 549 + 711 = 14*p. Does 15 divide p?
True
Let z(b) = 18*b**2 - 5*b - 5. Let x = 52 - 54. Does 29 divide z(x)?
False
Let z(q) = q**2 - q - 4. Let s be z(4). Let x(l) = 0 - 13*l - 1 + 1 - s. Is x(-5) a multiple of 28?
False
Let y(t) = 3*t**3 - 7*t**2 + 12*t. Let s(g) = -8*g**3 + 21*g**2 - 35*g. Let b(x) = -4*s(x) - 11*y(x). Let w be b(-9). Is 12 a factor of (-80)/(-6)*w/25?
True
Let v(k) = k**2 + 3*k - 18. Suppose 9 = 3*f - 9. Suppose -2*t - f*i = -4*i - 2, 0 = i + 5. Is 9 a factor of v(t)?
True
Let q(u) = -20*u**2 + 2*u - 5. Let g be q(4). Let p = g + 458. Suppose 3*y - 3*s - 93 = p, 5*y - 398 = 3*s. Does 17 divide y?
False
Let g(p) = -p**2 + 17*p + 27. Let b = 56 - 42. Is g(b) a multiple of 23?
True
Let l(y) = -y + 62. Is 8 a factor of l(7)?
False
Let q(r) = 2*r**2 - 2*r - 1. Let y be q(2). Suppose y*g - 119 = 154. Does 7 divide g?
True
Let g(q) = q + 1. Let i be g(0). Let m(r) = r**3 + 13*r**2 + 12*r + 3. Let s be m(-12). Suppose -s*n = -2*n + 5*d - i, -54 = -3*n + 2*d. Does 5 divide n?
False
Let t = 668 + -457. Does 5 divide t?
False
Let b be (-15)/(-7) - 2/14. Suppose 13*d - b*d = 3553. Does 18 divide d?
False
Suppose 0*s - s - 122 = h, h + 249 = -2*s. Let w = s - -253. Does 7 divide w?
True
Suppose 92*j - 93*j = -581. Let o = j - 356. Is 25 a factor of o?
True
Let s(j) be the first derivative of -1/2*j**4 + j - 1/2*j**2 - 5/3*j**3 - 6. Is 12 a factor of s(-4)?
False
Suppose 3*i - i = 8. Is (28/45 - i/18)*45 a multiple of 8?
False
Does 49 divide ((-220)/(-50))/(2/415)?
False
Suppose -4476 + 1683 = -19*d. Is 11 a factor of d?
False
Suppose 5*u - 2*k + 35 = 3*k, -2*u - 19 = -k. Suppose 0 = m + 3*m + 100. Let x = u - m. Is 9 a factor of x?
False
Let d be -1*(6/(-2) - -2). Suppose 0 = p + 3*c - 56, d = -c + 2*c. Let h = p - 30. Does 7 divide h?
False
Let m be (-55)/(-20) - (-3)/12. Suppose -5*y - 329 = -m*t + 461, -316 = 2*y - 4*t. Let p = -83 - y. Is 23 a factor of p?
False
Suppose 5*u + 14 = 49. Is 16 a factor of u*-2*120/(-35)?
True
Let v = 401 + -258. Let n(i) = 203*i**2 - 2*i + 1. Let x be n(1). Let j = x - v. Is j a multiple of 11?
False
Suppose -2*r + 4*z = -10, -5*z - 32 = -r + 5*r. Let s(j) = -41*j - 5. Is 24 a factor of s(r)?
False
Suppose b = 2*v - 1328, 4*b = 2*b - 4. Does 37 divide v?
False
Suppose -5*t + 5*k + 0*k = 115, 3*t + 83 = -4*k. Suppose 2*p - 13*p + 495 = 0. Let q = p + t. Is q a multiple of 8?
False
Let a be ((-2)/(-2) - 1)/2. Suppose 0 = -a*m + m - 31. Does 5 divide m?
False
Let d(w) = -6*w**2 + 7*w - 2*w**2 + 9*w**2. Let z be d(-6). Does 6 divide (20 - 0)*(z + 7)?
False
Does 8 divide (3 - (-6)/2)*(-998)/(-12)?
False
Let v be 4/6 + 24/18. Let d(t) = 0 - 5*t + 0 + t**2 + v*t. Is d(4) even?
True
Let y = -124 + 59. Let j be ((-18)/(-12))/(2/208). Let k = y + j. Is k a multiple of 23?
False
Let c be (-2)/(-8) + 105/28. Suppose -2*q = -28 + c. Suppose 2*u = -2*j + q, -5*u + 42 = -0*u + 2*j. Is 5 a factor of u?
True
Let z(w) = 256*w**2 + 2*w + 37. Is 20 a factor of z(-4)?
False
Let x = 23 + -20. Does 14 divide 128 + (3 - 10/6*x)?
True
Suppose 0 = 2*o + f - 2012, 7*o = 2*o - 2*f + 5032. Is 28 a factor of o?
True
Suppose -10 = -3*z + 8. Let x = -12 + z. Does 16 divide (-4 - 4/(-3))*x?
True
Suppose -20*b + 21*b - 25 = 0. Suppose 10 = -5*q + b. Does 3 divide q?
True
Suppose 23*u = 15*u + 4680. Does 13 divide u?
True
Let u be -3 + (-1 + 2 - -1). Is 2 a factor of 1/u + -1 + 12?
True
Let o(x) = 95*x**2 + 3*x + 29. Is o(-4) a multiple of 53?
True
Let t(s) be the second derivative of -7*s**3/3 + 11*s**2/2 - 18*s. Is 33 a factor of t(-11)?
True
Let s(f) = -f**2 - 37*f + 39. Does 2 divide s(-31)?
False
Let j = 15 - 5. Suppose j*n = 3*n + 665. Is 26 a factor of n?
False
Is -56 - -61 - 722/(-2) a multiple of 19?
False
Suppose 3*v = -5*p + 35, -5*p + 3*v + 5 = -0*p. Suppose p*m - 4 = -20. Let h(g) = -g**3 - 2*g**2 - 4*g + 3. Is h(m) a multiple of 22?
False
Suppose -6*k + 456 = -3*k. Is k a multiple of 9?
False
Let p(k) = k**2 + 12*k - 28. Let l be p(-13). Let c = -13 - l. Suppose -5*i + 37 = 3*v, 2*i = c*v - 0*i + 2. Is v a multiple of 4?
True
Suppose 5*t + 3 + 7 = 0. Let n = t + 74. Suppose -l + 4*l = n. Does 12 divide l?
True
Let r = 1973 + -1305. Is r a multiple of 41?
False
Let n(v) = -26*v - 67. Let c be n(-11). Suppose 4*p - c = -q, -3*p - 65 + 889 = 4*q. Is 40 a factor of q?
False
Suppose k = 18 - 22. Is 24 a factor of (2/(-4))/(4188/1048 + k)?
False
Let d(t) = 58*t**2 + 25*t - 7. Is d(5) a multiple of 56?
True
Suppose 0*u + 1260 = 18*u. Is 7 a factor of u?
True
Suppose 5*l + 0*y = -y + 1085, 3*l = -4*y + 651. Let a = l + -112. Suppose -3*m = -2*o - 3*o + 122, -4*o = 5*m - a. Is 10 a factor of o?
False
Suppose -3*q - 5 = 2*q. Let u be 7 - (3 + (q - -2)). Does 19 divide 38 + -2 + -1 + u?
True
Let u(a) = -477*a + 117. Is u(-3) a multiple of 12?
True
Let u be ((-28)/6)/(15/45). Let a(i) = i**3 + 8*i**2 + 5*i + 2. Let z be a(-7). Let k = z + u. Is k even?
True
Let y = 422 + -252. Does 17 divide y?
True
Let b(l) = 71*l**3 - l**2 + 7*l - 16. Is 54 a factor of b(2)?
False
Suppose -2*m - 5*j + 30 = 0, 1 = m - 3*j + 8. Suppose v - 2*b + 110 = 289, m*v - 881 = 3*b. Is v a multiple of 35?
True
Suppose 4*p - 12 = 0, -5*t = 2*p - 1650 - 3276. Suppose 10*j + 2*j = t. Is j a multiple of 4?
False
Let a(j) = -j - 13. Let h be a(-15). Let c be (6 + 0)/(h - 0). Is 22 a factor of (-48)/(-1) + 9/c?
False
Suppose 9 = -p - 9*q + 4*q, 5*q - 15 = 5*p. Let m be (-32)/3*15/p. Suppose -2*c - 8 = -m. Does 8 divide c?
True
Let g = -2093 + 2107. Is 5 a factor of g?
False
Suppose -3*p = -4*p - 3*b - 34, -5*p - 102 = -2*b. Let o = -18 - p. Suppose 2 - 254 = -o*m. Does 9 divide m?
True
Let v = -200 - -386. Let n = -45 + v. Is 10 a factor of n?
False
Suppose -2*m + 6 = 4*z, -2*m + 8 = 5*z - 1. Let q = -1 + 1. Suppose -o + z*o - 52 = q. Is 8 a factor of o?
False
Is 21 a factor of 3/(6 + (-25860)/4312)?
False
Is 4 a factor of (1 - 89)/((-8 + 9)/(-1))?
True
Let q(y) = y**2 + 5*y + 6. Let t(x) = -x**2 - 4*x - 7. Let p(i) = -5*q(i) - 6*t(i). Is p(0) a multiple of 12?
True
Suppose -10 - 6 = 5*b - v, 2*b + 1 = -5*v. Does 12 divide b/1 + 61 - 0?
False
Suppose a - 4*i + 192 = 2*a, 0 = -5*a - 5*i + 990. Is 76 a factor of a?
False
Suppose -5*f = o - 0*f - 1, 3*o + 17 = 5*f. Is 13 a factor of 6/(-4)*o/(-9)*-111?
False
Let n(r) be the third derivative of 5*r**4/24 - 