46 = -5536, 1762 = m - 5*k. Let h = m + -1191. Does 36 divide h?
False
Let n(g) = g**3 + 7*g**2 + 42*g - 138. Does 141 divide n(12)?
True
Let j = -9142 + 11592. Is j a multiple of 50?
True
Let c(d) = 27*d**2 - 13*d + 200. Does 45 divide c(12)?
False
Let u be 3/(-2)*(-12)/9. Let k be ((-7)/(7/3))/((-3)/2). Suppose -4*s = 6 + k, u*s = 5*n - 354. Is n a multiple of 8?
False
Suppose -4*t + 389 = -s - 315, -3*t = 5*s - 551. Suppose -5*p - n + 0*n = -t, -66 = -2*p - 2*n. Suppose -10*l + 4*l + p = 0. Does 2 divide l?
True
Let l(g) = g**3 - 11*g**2 + 20*g + 4. Let j be l(9). Suppose 2*o - 32 = -5*t - 0*o, 4*t - 2*o - j = 0. Does 7 divide -4*3/t*(-49)/2?
True
Let c be (-2 + (-18)/(-6))/(2/4). Let f = c + -4. Let p(b) = 27*b**2 + 7*b + 9. Is p(f) a multiple of 39?
False
Suppose 0 = 82*n - 81*n - 346. Let o = 731 - n. Is o a multiple of 26?
False
Let c(i) = -643*i**2 - 3*i. Let r be c(-1). Let j = -349 - r. Is 5 a factor of j?
False
Suppose 8 = 2*h, -4*m + 5*h = m - 30. Suppose -13680 = m*i - 26*i. Is i a multiple of 9?
True
Let x(b) = -b**3 + 5*b**2 - 5*b. Let d = 23 + -20. Let u be x(d). Suppose 2*j = -l + 143, l - 3*j = u*l - 288. Is 15 a factor of l?
False
Let w = -1504 + 1589. Suppose -4*q = 5*f - 8, -q + 4*f - 10 = -6*q. Suppose 49 = -q*v + w. Is v even?
True
Let a = 317 - 307. Let y(t) = 2*t**3 - 2*t**2 - 11*t + 125. Is 15 a factor of y(a)?
True
Suppose -118*v + 18666 + 20982 = 0. Is v a multiple of 4?
True
Suppose -3*m + 1743 = 4*u, 3*u = 6*u + 5*m - 1310. Let g = u - 169. Is g a multiple of 38?
True
Let z(o) = 5*o**2 - 5*o - 8. Let f be z(-5). Suppose -61*t = -58*t - 18. Suppose t = -4*j + f. Does 5 divide j?
False
Suppose 5*g - a - 24 = 0, 2*g = a - 5*a - 8. Suppose -g*w - 21 = -1. Does 4 divide (8/w)/2 + (-136)/(-20)?
False
Let y be 25999/27 - 128/(-1728). Let u = y + -321. Does 31 divide u?
False
Let q = -1174 - -892. Let k = 292 + q. Does 2 divide k?
True
Suppose 2*o + 3*r - 75 = 0, 14*o - 16*o - r + 73 = 0. Suppose 0 = -4*h - u + 2942, 1480 = 38*h - o*h - 4*u. Is 32 a factor of h?
True
Let h = -20 + -12. Let n = 12 + h. Does 10 divide (-30)/((n/(-6) - 3)*-3)?
True
Is 2718 + -5 - ((-9)/2)/((-150)/100) a multiple of 139?
False
Let f be 2*-103 + (5 - 1 - 5). Let v be f/(-6) + 6/12. Is 4 a factor of 1064/v - 4/10?
False
Let k(o) = -o**3 + 41*o + 5244. Is k(0) a multiple of 23?
True
Let i(h) = 27*h - 1. Let b(u) = -26*u. Let d(c) = -2*b(c) - 3*i(c). Does 13 divide d(-8)?
False
Let f(y) = 520*y**2 - 22*y + 20. Is 5 a factor of f(1)?
False
Let u = 1866 + -516. Is 25 a factor of u?
True
Let u(a) = 49*a + 1055. Is u(33) a multiple of 14?
False
Let l(m) = -m**3 + 12*m**2 - 25*m. Let s be l(3). Suppose 0 = -s*a + 8*a - 898. Does 15 divide a?
False
Let u be ((-6)/4 - (-4)/(-8)) + 8. Let x(k) = -k**3 - 13*k**2 + 9. Let s be x(-13). Is 22 a factor of 328*(-1 + s/u)?
False
Is 49 a factor of ((-5131)/(-21) - -17)*(4 - 1)?
True
Is 190 a factor of (-8)/2 - ((-216)/18 + 3) - -1515?
True
Let w be (-114)/(-27) - 2/(-27)*-3. Let n be 74/((-2)/w*-4). Suppose 4*u - 179 - n = 0. Does 18 divide u?
True
Let b = -218 - -223. Suppose -314 = -4*u + 2*c, b*u = 4*c - 5*c + 382. Is 7 a factor of u?
True
Let t(a) = -a**3 - 18*a**2 - 24*a - 16. Let z(k) = k**3 + 19*k**2 + 21*k + 16. Let i(f) = -3*t(f) - 2*z(f). Does 3 divide i(-13)?
False
Let s = 149 - 89. Suppose 0 = 4*f - y + 5*y - 132, -2*f - 5*y = -s. Let k = -10 + f. Is 4 a factor of k?
False
Suppose -z + 7442 = -p, 28*p - 27*p = 2*z - 14882. Is 80 a factor of z?
True
Suppose -13*r = -8*r - 895. Let l = r - 125. Is l a multiple of 7?
False
Suppose -303*t + 407052 + 452256 = 0. Is 15 a factor of t?
False
Let b = 24682 - 12745. Does 3 divide b?
True
Suppose 0 = -50*f + 275452 - 69252. Is 76 a factor of f?
False
Let q(i) = -2*i**3 - 2*i**2 + 6*i - 1. Let s be (-45)/(-2)*(-16)/(-20). Suppose -k + 0*k = 3*d + 12, -4*k - s = 2*d. Is q(k) a multiple of 2?
False
Let r = 725 - 257. Suppose 4*c = 532 + r. Is 50 a factor of c?
True
Suppose 5*d = n + 263, -n = -d + 4*n + 67. Is d a multiple of 13?
True
Suppose 607 = 3*q - 5*y, 0 = 2*q - 2*y - 55 - 343. Let v = -82 + q. Is v a multiple of 14?
True
Let x = -323 - -331. Suppose -x*b = -261 + 45. Is 3 a factor of b?
True
Let p(r) = -37*r + 17. Let a(s) = 19 - 5*s - 13*s**2 + 18*s**2 + 2*s**3 - 3*s**3. Let v be a(5). Does 58 divide p(v)?
False
Suppose 14*i - 44 = -2. Suppose 2*z = -d + 1220, -5*d - i = 7. Is 50 a factor of z?
False
Let p(s) = -s**3 + 16*s**2 - 2*s - 41. Let r be p(8). Let m = 683 - r. Does 3 divide m?
True
Suppose -264*n = -275*n + 66. Suppose 430 + n = 2*i. Does 109 divide i?
True
Let h = -841 - -3025. Suppose 17*a - h = 5126. Is a a multiple of 84?
False
Suppose 43 = -8*a - 85. Let h = a - -42. Does 13 divide h?
True
Let u be (-4182)/(-9) + 12/(-18). Suppose -v + u = 2*b, -4*v + 817 = 5*b - 349. Is b a multiple of 28?
False
Suppose -24 = 3*t - 9*t. Suppose 5*q + 2464 = -t*m + 6480, -5*q + 3984 = -4*m. Does 32 divide q?
True
Let t(b) = -24*b + 24 - 7 - 427*b + 26. Does 45 divide t(-2)?
True
Let y(d) = -16*d**2 - 149 - 28*d + 6*d**2 - 38*d + 9*d**2. Does 52 divide y(-31)?
True
Let y = 52 - 166. Let s = y - -146. Is 2 a factor of s?
True
Let x(t) = 3*t**2 + 3*t - 7. Let s(a) = -a**2 - a + 3. Let u(h) = -9*s(h) - 4*x(h). Let v be u(5). Is 15 a factor of 1 + 1 - (v + 2 + -1)?
True
Let k(a) = -a**2 - 1. Let t(r) = 2*r**2 + r - 111. Let d(p) = 4*p**2 + 3*p - 221. Let q(w) = -2*d(w) + 5*t(w). Let f(g) = -k(g) - q(g). Is 6 a factor of f(0)?
True
Let l(h) = h**3 + 10*h**2 - 34*h - 14. Let r be l(-12). Suppose 4*i - r = 730. Is 19 a factor of i?
True
Suppose -11*x = -5*x - 318. Suppose 3*v = 2*g - 114, 3*v + 59 = 3*g - 55. Let h = v + x. Is h a multiple of 7?
False
Let u = -348 + 365. Suppose -3*n - n + 192 = -5*q, 0 = 4*q. Let t = n - u. Is 5 a factor of t?
False
Let d(s) = 53*s + 2. Let i(v) = 210*v + 7. Let g(a) = 9*d(a) - 2*i(a). Is g(1) a multiple of 4?
False
Let v be ((-2)/(-5))/((-16)/(-160)). Let i(p) = -16*p - p**3 - 5*p**2 + 19*p + 0*p**3 + v. Is 11 a factor of i(-6)?
True
Let s(i) = 2*i**2 - 5 + 0 - 6*i - 2*i. Suppose -2*f = 2*j + f + 7, -j = 5*f. Is s(j) a multiple of 17?
True
Let s = 30963 + -24310. Does 13 divide s?
False
Let u = 0 - -1. Suppose 5*g - 3*f + u = 8, -3*g + 9 = 3*f. Does 16 divide g*(-5)/10*-16?
True
Suppose 4*f - 170 - 50 = 0. Let u be 40/(-200) - (-1293)/15. Suppose u + f = o. Is 47 a factor of o?
True
Let u(r) = 18*r + 80 - 119 + 59. Does 30 divide u(4)?
False
Suppose 6*u + 30 = 11*u. Does 4 divide 4/24*u - -118?
False
Suppose -83 = -z + 46. Let b = z + -74. Is b a multiple of 11?
True
Let f be (-1362)/(-11) - (-4)/22. Let g = 2112 + -1967. Let l = g - f. Is 21 a factor of l?
True
Let r = -40 - -89. Let k(u) = -5*u + 11. Let b be k(1). Suppose 4*d = -j + 54, j = -b*d + 3*d + r. Is j a multiple of 30?
False
Let s = 4988 - 4141. Does 11 divide s?
True
Suppose -5*q + 4*v + 24 = 0, -7 + 10 = -3*v. Suppose 2*s + 12 = 4*x, 0 = -2*x - 5*s - q + 22. Is (-7232)/(-48) + x/(-6) a multiple of 15?
True
Let s = -1930 + 3175. Is s a multiple of 3?
True
Suppose -2*x + 12 = x. Let n be 2/(x/(-30)*-3). Suppose 9 = g - n. Is 5 a factor of g?
False
Let m(p) be the second derivative of p**4/12 + 7*p**3/6 - 7*p**2 - 14*p. Let z be m(-9). Let y(i) = 8*i**2 - 12*i - 5. Does 25 divide y(z)?
True
Let q(m) = -87*m**3 - 8*m**2 - 20*m - 39. Is 21 a factor of q(-4)?
True
Suppose 2*b = -2*s - 202, 4*s + 4*b = s - 307. Let l = s + 67. Is 9 a factor of (48/(-2))/(l/45)?
True
Suppose 3 = -3*r, 2*c - 4*r - 2225 = -247. Suppose 815 = 17*m - c. Is m a multiple of 13?
False
Let v(l) = 2*l**2 - 3*l - 41. Is v(12) a multiple of 5?
False
Let y = 15429 - 7221. Is y a multiple of 18?
True
Suppose 3*c - 4*a = -9, 3*c + a = 3*a - 9. Let w be c*(-1)/(-3) + 5. Let o(d) = 9*d**2 + 2*d - 8. Is 12 a factor of o(w)?
True
Suppose 0 = -3*r + 2*s + 3312, -45*r + 5*s = -50*r + 5570. Is r even?
True
Let c(m) = m**3 + 17*m**2 - 20*m - 18. Let q be c(-18). Suppose -4*t - q = 6. Is -2 + (-602)/t - 2/(-3) a multiple of 8?
False
Suppose 0 = 46*q - 36*q - 6740. Suppose 5*x - q = 1036. Is 57 a factor of x?
True
Suppose -g = d - 2626, -455 - 2165 = -d + 5*g. Suppose -3*u - 2*u = -d. Is u a multiple of 35?
True
Let v(i) = 43*i**2 - 1 + 5 - 28961*i + 28964*i. Is v(-1) a multiple of 2?
True
Is 14 a factor of 