a factor of c(-1)?
True
Let m(g) = 45*g**3 + 2*g**2 + g. Let b be m(-1). Suppose -3*p - 64 = -2*f, -5*p - 15 = 3*f + 60. Let h = p - b. Does 13 divide h?
True
Suppose -69*r = -52*r - 10574. Is r a multiple of 24?
False
Let t(k) = 11*k**2 - 5*k. Let l(a) = 10*a**2 - 4*a. Let r(s) = 4*l(s) - 3*t(s). Let b = -85 + 82. Is 23 a factor of r(b)?
False
Let x be 24/16*1690/3. Is (-1 - x)*26/(-78) a multiple of 20?
False
Let i = 6 - 10. Is 7 - 4/(-4) - i a multiple of 6?
True
Let n be (-1)/(-3 - 28/(-10)). Suppose 2*f - 134 = 2*r, 0 = 4*f - n*r + 2*r - 272. Suppose -5*t + 104 = -f. Is 14 a factor of t?
False
Suppose 2*k - 3*v - 2101 = 0, 15*k - 3155 = 12*k + v. Does 14 divide k?
False
Suppose 5*a + 25 = -4*k, -k - 5*a + 0*a - 25 = 0. Suppose k = 2*p - p - 8. Is 5 a factor of p?
False
Let c = -7185 - -11686. Does 27 divide c?
False
Let f(k) = 19*k**3 + k**2 - 6*k. Is 9 a factor of f(3)?
True
Suppose 7*k = 662 - 18. Suppose -4*g + 40 + 162 = -c, -5*c = -2*g + k. Does 46 divide g?
False
Suppose 0 = -3*h - 5*y + 5699, 3*h - y - 5014 = 679. Is h a multiple of 13?
True
Suppose n + 4*d - 764 = -0*d, -2*d + 760 = n. Does 10 divide n?
False
Suppose 18*o + 459 = 15*o. Let j = o - -189. Is j a multiple of 9?
True
Suppose -3*t + 2*f + 65 = 0, 5*f = 2*f - 12. Suppose -t*z + 2894 + 1685 = 0. Is 42 a factor of z?
False
Let t(a) = -11*a + 244. Does 18 divide t(-4)?
True
Let k(o) = -2*o**3 - 27*o**2 - 14*o + 5. Let y(g) = -g**2 + 4*g - 8. Let s be y(5). Is k(s) a multiple of 18?
True
Let i(w) = 2*w**2 - w - 8. Suppose 5*s = -6 - 24. Does 19 divide i(s)?
False
Suppose 0 = a - 2*k - 5 + 48, 3*a + 4*k + 129 = 0. Let p = 27 - a. Is 14 a factor of p?
True
Let m(j) = 2*j**3 - j**2 - 3*j + 3. Let r be m(2). Let u be 318/9 + r/(-27). Suppose 4*o - u = 13. Does 3 divide o?
True
Suppose -30 + 62 = -2*x. Let o(v) = v**3 + 15*v**2 - 21*v - 17. Is o(x) a multiple of 9?
True
Let q = 4 - -32. Is 12 a factor of q?
True
Let g(k) = -k + 10. Let q be g(10). Suppose q*i = -3*i + 261. Is 10 a factor of i?
False
Let t(m) = -6*m**3 + 25*m**2 + 10*m - 9. Let y(h) = h**3 - 5*h**2 - 2*h + 2. Let i(z) = 2*t(z) + 11*y(z). Let s be i(-4). Does 17 divide (-6)/s - 1386/(-28)?
True
Suppose -25*r = -26*r + 8. Suppose 13*k - 405 = r*k. Does 35 divide k?
False
Let h = -807 - -454. Let c = 570 + h. Is 31 a factor of c?
True
Suppose -2*z - 940 = -4*l + 1244, -2*l = z - 1092. Does 21 divide l?
True
Suppose -l + 0*l - b = -22, -19 = -l - 4*b. Suppose 3*m - 110 + l = 0. Does 6 divide m?
False
Suppose -5*d + 870 = -4*f - 2445, 4*f = -5*d + 3315. Is 51 a factor of d?
True
Suppose 4*d + f = 105, -2*d - f = d - 79. Let n be (d - 0 - -3) + -2. Suppose 0 = -v + 4*v - n. Is 2 a factor of v?
False
Let s = -169 - -505. Suppose 4*q - 106 = -2*v + 262, 0 = -2*v + 4*q + s. Does 16 divide v?
True
Suppose -5*a - 3*m + 19 = 0, 0*a - 2*a + 6 = 2*m. Suppose a*u = -2*y + 68, 4*y - 5*u - 34 = 42. Is y a multiple of 10?
False
Let y(h) be the third derivative of -h**5/60 - 7*h**4/24 + 5*h**3/6 - h**2. Let p be y(-7). Suppose -5*q = -2*x + 35, 2*x = -2*x + p*q + 85. Does 5 divide x?
True
Let q(v) = -48 - v**2 - v + 7 + v + 2*v. Let c(u) = -5*u**2 + 11*u - 206. Let k(x) = 2*c(x) - 11*q(x). Is 13 a factor of k(0)?
True
Suppose -432 - 9576 = -6*w. Is w a multiple of 73?
False
Let u(f) = -4*f**3 - 11*f**2 - 3*f - 17. Does 81 divide u(-7)?
False
Let p = -26 + 114. Suppose -p = 4*r - 328. Is r a multiple of 10?
True
Does 8 divide 9/(-5 + 2)*616/(-33)?
True
Let g = 260 + -679. Let r = -176 - g. Does 27 divide r?
True
Suppose -9 = 4*t + 55. Let a = t - -9. Let h(j) = -j**3 - 8*j**2 - 8*j + 9. Is h(a) a multiple of 8?
True
Suppose -2*u + k - 27 = 0, u - 4*k = -7*k - 31. Let o(r) = 5*r + 9. Let q be o(u). Let t = q - -140. Is 21 a factor of t?
False
Suppose -k = 5*v - 314 - 1404, 1721 = 5*v + 2*k. Let b = -201 + v. Suppose t = g + 5*t - 43, -b = -4*g - t. Is g a multiple of 13?
False
Suppose -2*d - 4*p + 4 = 0, 5*p - 7 = -3*d - 0*p. Suppose -b = -4*z + d, z = -2*b - 4*z + 57. Let n = -12 + b. Is n even?
True
Suppose -2*t - 201 + 514 = -5*f, 2*f + 10 = 0. Is t a multiple of 7?
False
Let d be (-2 + (-148)/6)*(-14 - -17). Is 2 a factor of (288/d)/(((-1)/10)/1)?
True
Let s be (3 - 3) + (-35)/5. Is (s/(-14))/(1/24) a multiple of 3?
True
Let f(p) = 114*p**2 - 10*p - 16. Is 11 a factor of f(-3)?
False
Let z = 739 + -602. Is 18 a factor of z?
False
Suppose 265*b - 262*b - 804 = 0. Is 6 a factor of b?
False
Let r(b) be the third derivative of -b**5/60 - 2*b**4/3 - b**3/2 + 12*b**2. Is r(-15) a multiple of 12?
True
Let m = -31 - -35. Suppose -q - 89 = -m*q + 5*h, -2*q = 3*h - 72. Is 7 a factor of q?
False
Let a be (80 - 1) + (-15 - -11). Suppose 3*v - 4*w = 207, 2*w = -2*v + 49 + a. Is 5 a factor of v?
True
Let d = -136 - -532. Suppose 0 = v + 2*v - d. Suppose -6*z = -2*z - v. Is 17 a factor of z?
False
Let z = -52 + 33. Let s = 34 + z. Is 15 a factor of s?
True
Let p(i) = i**3 - 3*i**2 - 5*i - 1. Let m be p(4). Does 20 divide m - -9 - (-170)/2?
False
Let f = 690 + -400. Is 10 a factor of f?
True
Let a(g) = -g**3 - 39*g**2 - 45*g + 8. Is 35 a factor of a(-39)?
False
Let v(q) be the second derivative of q**5/20 + q**4/12 - q**3/6 + q**2/2 + 3*q. Let s be v(-3). Is 10 a factor of (s + -1)/(12/(-8))?
True
Suppose -2*b = -4*b + 348. Suppose 0 = -3*z + b - 12. Does 9 divide z?
True
Let p = -192 + 232. Does 40 divide p?
True
Let n be -179*1 - 20/(-10). Let z = -93 - n. Is z a multiple of 28?
True
Let u(m) = m**2 + 18*m + 22. Let i be u(-15). Let w = i + 24. Does 10 divide 40 + w/3*9?
False
Let n = 49 - -21. Suppose 2*u - n = -4*b, 65 = 4*u + 2*b - 57. Does 3 divide u?
False
Suppose 0 = -4*w + 2*c + c - 6871, -w - 2*c - 1704 = 0. Does 38 divide w/(-54)*3 + (-2)/9?
False
Suppose -3*y - 66 = 72. Let f = -37 - y. Does 3 divide f?
True
Suppose 5*f - 2085 = -c + 4*c, 1270 = 3*f + 2*c. Does 30 divide f?
True
Suppose 32 = 3*q + h + 3*h, 2*h = 4. Suppose 121 - q = k. Suppose k + 39 = 2*y. Is y a multiple of 19?
True
Suppose -84 = -u - 28. Let n = u + 94. Is n a multiple of 15?
True
Let w(c) = 9*c**2 - 12*c + 27. Is 43 a factor of w(17)?
False
Let c be (2*-1)/(-12 - -11). Suppose 334 = 4*a + c*j, 80 + 75 = 2*a + 5*j. Does 11 divide a?
False
Let h(u) = -130*u - 17. Let r be h(-5). Suppose 0*i - 3*i = -r. Suppose 7*z - 349 = i. Does 20 divide z?
True
Let l(f) = f**2 + 14*f. Let w be l(-8). Let v = w - -72. Is 4 a factor of v?
True
Let n = 205 - 299. Suppose -g - g - 5*q - 347 = 0, 0 = -4*q + 4. Let h = n - g. Is 41 a factor of h?
True
Let b(v) = -11*v - 18. Let g be b(-9). Let m = 180 - 111. Suppose -m = -3*c - 7*z + 2*z, -3*z = -5*c + g. Does 5 divide c?
False
Let n(c) = c**2 + 10*c - 7. Let h be n(-11). Suppose 4*y - 31 = -5*x, 2*x = -0*y + h*y - 10. Suppose -100 = -w - x*w. Is w a multiple of 25?
True
Suppose -1206 = -28*w + 10*w. Let h = w - 60. Does 7 divide h?
True
Is 9 a factor of 252 + 0/((-28)/7)?
True
Suppose 0 = -3*k - 5*f - 37, -6*f - 27 = 3*k - 3*f. Is 19 a factor of 1/2 - (-2)/(k/(-227))?
True
Let m = -1303 - -2323. Is 15 a factor of m?
True
Let f(t) = 3*t**2 - 3*t - 14. Is f(-6) a multiple of 56?
True
Let x be (4/6)/(6/18). Suppose -25 = x*m - m + 4*q, m = -q - 28. Let r = m + 55. Is r a multiple of 26?
True
Let v = 16 + 1. Suppose v*f = 15*f + 28. Is f a multiple of 7?
True
Suppose -15885 = -19*m + 2165. Is m a multiple of 38?
True
Suppose -5 = -i, -5*g = 2*i - 1 - 209. Does 20 divide g?
True
Let u(c) = c**2 - 13*c - 10. Let m be u(14). Let v be 1/(2 - 1)*4. Suppose -m*z - 2*f + 206 = 0, -2*z + v*f + 31 = -57. Does 25 divide z?
True
Let l = -5988 + 9242. Is 15 a factor of l?
False
Is 67 a factor of (-34)/((-1)/(155/10))?
False
Let y = -19 - -18. Let j be (-146 - (1 - y)) + -2. Is (12/24)/((-1)/j) a multiple of 11?
False
Suppose 30*v - 6640 = 10*v. Does 21 divide v?
False
Suppose v - 149 = 1. Is v a multiple of 15?
True
Suppose -2*q + 8 = -2. Let a(s) = s**3 - 3*s**2 - 4*s + 2. Is a(q) a multiple of 21?
False
Suppose -16 = -2*q - q + 5*r, 4*q - 18 = 5*r. Suppose -y - 2*c - 6 = -90, -2*y = q*c - 160. Does 11 divide y?
False
Suppose -2*d = 5 - 15. Suppose -3*n - d*o + 49 = 0, -5*n + 95 = o + 4*o. Suppose -n = -g - 0*g. Is 6 a factor of g?
False
Let o(z) = 4*z - 6 + 0*z + 15. Is o(26) a multiple of 11?
False
Suppose 0*o + o = 15. Let s = o + -10. Let 