
Let m = -40 + 44. Is m*(-2)/(-32)*52 even?
False
Let b(j) = j**2 + 3*j - 77. Is b(17) a multiple of 29?
False
Let x(q) = -q**3 + 16*q**2 - 18*q + 42. Suppose -5*v + 39 = -26. Is x(v) a multiple of 35?
True
Let g(f) = -454*f - 65. Is g(-2) a multiple of 5?
False
Suppose 9*v - 5*v = 0. Is (v/(-1))/(-7 - -6) + 95 a multiple of 19?
True
Let m = -1747 + 3163. Suppose -7*k + m = -33. Is k a multiple of 9?
True
Let g(p) = 11*p + 4. Let a be g(2). Suppose x + a = 5*n, 2*x = 2*n + 3*x - 16. Suppose 0 = v - n*v + 80. Does 4 divide v?
True
Let b = -13 + 17. Suppose s - 4*z - 3 = 0, s - 2*s - 3*z = b. Is (4 - 49 - 1)/s a multiple of 9?
False
Suppose 0 = 5*t - 3*x + 21 - 6, t = 3*x - 15. Does 14 divide t + 4 + (24 - 0)?
True
Suppose -4*q - 20 = 10*i - 6*i, -4*i + 2*q = 2. Let f be (-2 + -1)/(1/(-5)). Let v = i + f. Is 13 a factor of v?
True
Let k = 24 + 148. Does 12 divide k?
False
Suppose 0 = -6*u + 51 + 81. Suppose 38 + u = 4*b. Is 5 a factor of b?
True
Is 3/6*-10 + 113 a multiple of 36?
True
Is 982*((-36)/60 - 22/(-20)) a multiple of 15?
False
Let f(r) = 5*r + 20. Let j be f(-9). Let g = -20 - j. Suppose -g*z + 3*z = -106. Is 12 a factor of z?
False
Let h(l) = l**2 + 12*l - 15. Let i be h(-11). Let n be 3/9 + i/6. Let j(o) = 3*o**2 + 2*o + 9. Is 13 a factor of j(n)?
False
Let g be (6/5)/(10/25). Suppose -5*j - d - d = -748, g*j = d + 451. Is 11 a factor of j?
False
Let i = -33 + 339. Does 18 divide i?
True
Let o(n) = -5*n**2 - 13*n + 11. Let g(t) = 6*t**2 + 14*t - 10. Let v(i) = -3*g(i) - 4*o(i). Is 29 a factor of v(-9)?
True
Suppose 5*x + j - 11034 = -j, -4*j - 4428 = -2*x. Does 46 divide x?
True
Suppose 3*n = 11*n - 448. Let z = n - -54. Is 4 a factor of z?
False
Let j = -261 + 991. Is 41 a factor of j?
False
Let z(n) = -7*n + 11. Let a be z(6). Let l = a - -36. Suppose 165 = 10*c - l*c. Is 9 a factor of c?
False
Let q = 2 + 0. Suppose 0 = 2*i + 5*n + 5, -n - q*n - 3 = 3*i. Suppose 2*y - 25 - 71 = i. Does 24 divide y?
True
Suppose 170 = 2*x + 4*v, 2*x + 4*v = 4*x - 194. Suppose -u - 2*o + 25 = 2*o, -3*o = 5*u - x. Is u even?
False
Is ((-1076)/(-6))/(-4 + 52/12) a multiple of 41?
False
Let z = -334 + 124. Does 9 divide z/(-6) - (-3 + 2)?
True
Let z be 3 - (4 - 1) - 1. Let w(a) = -22*a**3 + a**2 + a + 1. Let u be w(z). Is 10 a factor of u - 4/(4 - 8)?
False
Does 17 divide (-5 - -3 - -439) + 5?
True
Let z(n) be the third derivative of n**6/120 + 4*n**5/15 - 2*n**4/3 + 7*n**3/2 + 11*n**2. Let x be z(-17). Suppose -x*q = -9*q + 55. Does 11 divide q?
True
Let k be 3/(-18) + 125/30. Suppose -k*y = 5*y - 783. Does 27 divide y?
False
Suppose -11*h = -6*h - 25. Suppose h*m - 2*m = 9. Suppose 0 = -3*f + m*u + 28 + 47, -f = 3*u - 29. Does 4 divide f?
False
Let y be ((-4122)/14)/9 - (-2)/(-7). Let w = -22 - y. Is w a multiple of 11?
True
Let h = 3 - 2. Let q(l) = 3*l + 8. Let x(d) = -1. Let y(k) = h*q(k) + 6*x(k). Is y(4) a multiple of 7?
True
Let z(p) = -4*p + 4. Let a(n) = n + 1. Let c(g) = -2*a(g) - z(g). Let m be c(3). Suppose m = 4*u - 180 - 84. Does 11 divide u?
True
Let w be 1/((-3)/12) - 530. Let a = -849 - w. Let y = -217 - a. Is y a multiple of 14?
True
Let l(o) = -320*o**3 - 3*o**2 + o + 2. Let n be l(-2). Suppose n = -3*k + 10*k. Is 28 a factor of k?
True
Let k be 7/1 + (-2)/(-1). Let n be (-2)/k + 552/54. Let h = 22 - n. Is h a multiple of 12?
True
Let h = 547 + -57. Does 14 divide h?
True
Let j(b) = -b**2 + 24*b + 2. Let r be j(23). Does 11 divide 3225/r*(-2)/(-6)?
False
Let q be 99/(-6) - 1/(-2). Let x be ((-2)/(-4))/((-4)/q). Suppose x*j + 10 = 4*j. Does 2 divide j?
False
Suppose 5*o = -5, -3*v + 6*v + o - 2 = 0. Let h be v + -9*15/(-9). Suppose 2*l - 130 = -h. Is l a multiple of 15?
False
Is 2 a factor of 20633/987 + 80/(-42) + 2?
False
Suppose m = 5*d + 9, 0*d + d = 5*m - 141. Suppose 0*f = f - m. Is 13 a factor of f?
False
Let v(z) = 43*z**2 + 3*z + 3. Let d be v(-1). Suppose 6*y = d + 65. Is y a multiple of 9?
True
Suppose -30 + 132 = 3*r. Let w = 58 - r. Does 24 divide w?
True
Suppose -3*k - l = -735, -l + 718 = 5*k - 505. Is 9 a factor of k?
False
Let s(l) = -56*l - 89. Is 31 a factor of s(-11)?
True
Is 65 a factor of (-13748)/(-24) + 13 - 10/12?
True
Suppose 681*h - 697*h + 24544 = 0. Is h a multiple of 13?
True
Is ((-93)/27)/((-3)/351) a multiple of 11?
False
Let g(m) = 7*m**2 - 4*m + 8. Let t be g(6). Suppose 380 = 5*v - 5*s, 7*v + 5*s - t = 4*v. Let p = 120 - v. Is p a multiple of 13?
False
Let f(m) = 371*m**2 - 13*m - 13. Is 11 a factor of f(-1)?
False
Suppose -2*b + 784 = -4*g - 4060, 4*b + 5*g = 9701. Is 12 a factor of b?
True
Let x = 568 - 1273. Is (x/(-25) + -3)/(2/30) a multiple of 19?
False
Suppose 247 = 9*n - 383. Is n a multiple of 18?
False
Suppose 0*c + c = 17. Suppose 15*i - c*i + 24 = 0. Is i a multiple of 11?
False
Let f = -7 + 10. Suppose -f*r + 80 = 5*w - 70, 2*w + r = 59. Is 9 a factor of w?
True
Let t(y) be the third derivative of -11*y**5/60 + y**4/24 + 6*y**2. Let k be t(-1). Is (-536)/k - 1/(-3) a multiple of 15?
True
Let w(a) = 54*a**3 + a**2. Let t be w(1). Let y be t/(1/(0 - 1)). Let m = y + 109. Does 18 divide m?
True
Let v = 525 - -2402. Does 62 divide v?
False
Let l(d) = -3*d**3 + 2*d**2 + 2*d + 5. Let t(g) = g**3 + g**2 + g - 1. Let w(p) = -l(p) - 2*t(p). Let b be w(6). Is (-196)/(-10) - (-18)/b a multiple of 10?
True
Let m = 6 - 1. Suppose 2*k = 17 + m. Suppose k = -5*v + 46. Is v a multiple of 2?
False
Suppose 0 = 4*n + 2*y, -2*n + 0*n - 3*y = 0. Suppose n = -2*p + 5*p - 24. Suppose w - 3*w = -p. Is w a multiple of 3?
False
Let b(n) = 11*n + 0*n**2 + 15*n**2 + 56 - n**3 - 26. Does 38 divide b(14)?
True
Let n(t) = t**2 - 21*t + 4. Let y be n(21). Does 5 divide (-833)/(-28) - (-1)/y?
True
Let f(v) = -v**3 - 3*v**2 - 3*v - 1. Let l be f(-2). Let b = l + 3. Let g = 13 + b. Is g a multiple of 13?
False
Suppose 4*n - 4140 = -2*c, -4*c + 4438 = -n - 3815. Is c a multiple of 43?
True
Suppose 0 = -3*x - 5*s - 98, x + 3*s = 9 - 35. Suppose d = 5*d + 308. Let z = x - d. Does 22 divide z?
False
Let k = 32 - -148. Does 30 divide k?
True
Suppose 5*a = -5*b - 25, -2*a - a = 4*b + 21. Does 30 divide 32/1 + (-8 - b)?
True
Let g(p) = 3*p**3 - 4*p**2 + 5*p - 4. Let n be g(4). Suppose 0 = 2*y - 5*y + n. Suppose -11*z = -7*z - y. Is 12 a factor of z?
True
Suppose 2*p + 498 = 4*p. Suppose 4*a - 15 = p. Does 15 divide a?
False
Let i(r) = 5*r. Let g be i(4). Let x = g - 15. Let b(a) = 2*a**2 - 9*a + 4. Does 3 divide b(x)?
True
Let l = 1196 - -802. Is l a multiple of 54?
True
Suppose 3*h + 11 = -4*s, 0*h - 4 = 4*h. Let k(o) = -3*o**3 + 2*o**2 + 3*o. Let n be k(s). Suppose 5*d + 3*w - 103 = 0, -d + n = d + 5*w. Is 7 a factor of d?
False
Let u(v) = 102*v - 6. Let i be u(8). Suppose i = 4*l + 2*l. Does 42 divide l?
False
Suppose -4*y = -4*w + 2412, 3*w + 336 = -2*y + 2130. Does 40 divide w?
True
Let w(f) = -f + 8. Suppose 0 = 2*d - 5*r + 11, 2*d - d = -r - 9. Does 4 divide w(d)?
True
Suppose 2*m + 4 = d, 3*d - d - 8 = -4*m. Suppose 2*f + 2*y = 2, f + 0*y + 5*y - 21 = m. Is f/(-8)*3*20 a multiple of 10?
True
Suppose 148 = 2*o + 2*t, -o - 8*t = -9*t - 82. Does 3 divide o?
True
Suppose 2*f - 5*y = -1, 5*f = -3*y + 15 - 2. Suppose 2*n + f*n = 12. Let s = 2 + n. Does 4 divide s?
False
Let w = 114 + -80. Suppose 0 = -2*s - 10 - w. Let a = 0 - s. Does 11 divide a?
True
Suppose -a = -2 - 1. Let n be (0/1 + 1)*a. Does 12 divide (-2)/(n/(54/(-2)))?
False
Let c be 390/(-33) + 4/(-22). Let n(i) be the second derivative of -i**4/12 - 7*i**3/3 - 5*i**2 - i. Is 7 a factor of n(c)?
True
Let n = 4318 + -2728. Does 15 divide n?
True
Suppose 5*g = v + 64, -3*g + 4*v + 42 = -10. Let f = 29 + g. Is f a multiple of 12?
False
Let q = 198 - 132. Is 6 a factor of q?
True
Let d = 3 - 17. Let i(t) = t + 2. Let z be i(d). Let b = z + 29. Does 9 divide b?
False
Let g = -43 + 46. Suppose -8*l - g*l + 330 = 0. Does 6 divide l?
True
Suppose -1710 = -f - 9*f. Is f a multiple of 11?
False
Suppose 2*l = 516 - 152. Is l a multiple of 13?
True
Let g(j) = j**2 + 8*j. Let r be g(-8). Suppose r = -q + 6 - 2. Suppose 4*x - x + 2*t - 143 = 0, 0 = -x + q*t + 29. Is x a multiple of 9?
True
Suppose 4*w + 397 = 3*q + 1804, 4*q = -w + 328. Is w a multiple of 4?
True
Let f = 269 + -44. Does 5 divide f?
True
Let q be 21 + 7/(14/8). Suppose -16 = -c + q. Is c a multiple of 31?
Fa