factor of q?
False
Let b = 13 + -89. Let n be (-1 - b) + 5 + -1. Let q = -1 + n. Is q a multiple of 25?
False
Let o(g) = -6*g**3 + 9*g**2 - g**2 + 5*g**3 - 5*g - 10. Does 8 divide o(6)?
True
Let o(d) = -7*d**2 + 3*d + 6. Let v be o(-2). Let i = 16 - v. Does 38 divide i?
False
Let l = -578 - -900. Is 9 a factor of l?
False
Let l be ((-4)/5)/((-1)/5). Let m = 4 + l. Suppose 0 + m = 4*o, -4*g - o = -50. Is g a multiple of 11?
False
Is 29 a factor of (-2)/(-5) + 11 + (-98145)/(-75)?
False
Let d = -281 - -456. Let c = d + 53. Is c a multiple of 12?
True
Suppose t - 80 = -t. Suppose -3*w = 2*w - t. Suppose 78 = 2*j - w. Is 11 a factor of j?
False
Let a be (-20)/(-70) + 38/14. Let t(d) = -2*d**3 - 7*d**2 + 13 + 14*d + 2*d**3 - 4*d**3 + 3*d**a. Is 23 a factor of t(-9)?
False
Let h = 46 - 486. Is h/6*(1 - (-2 - -6)) a multiple of 20?
True
Suppose 4*u + 2*x - 4264 = 0, u - 5*u - 4*x + 4264 = 0. Is 13 a factor of u?
True
Is 37 a factor of 1/((-1)/(4 - (4 - -111)))?
True
Suppose -3*m + 8 = -0*l + l, -3*l = -4*m + 41. Is (1 - l)*212/48*3 a multiple of 39?
False
Suppose 2*n - 20 = -2*n. Suppose f + n*m - 179 = 0, f - 4*m - 79 - 64 = 0. Let g = 222 - f. Does 24 divide g?
False
Suppose 0*h + 12*h = 72. Suppose 0 = -2*i - 2*d + d + 393, 2*d = h. Does 17 divide i?
False
Let c(o) = -110*o + 5. Let r be c(-5). Suppose 4*s = -s + r. Let b = -75 + s. Is 18 a factor of b?
True
Let o be 14*3/(-12)*-18. Let l = o - 41. Is l even?
True
Suppose 0 = -r + 16 - 10. Suppose -5 = -5*c, -k + 3*c - 35 - r = 0. Let d = k - -60. Is 3 a factor of d?
False
Does 18 divide (5 - 0)*(-13 - -14) + 604?
False
Let g(i) = -406*i + 6. Let j be g(1). Let y = -238 - j. Does 13 divide y?
False
Suppose -2*f = -0*f - 2260. Is f a multiple of 44?
False
Suppose 0 = r - 3*r + 12. Suppose -4 = 5*g + r. Is (g/6)/(4/(-492)) a multiple of 18?
False
Suppose -3*r + 15 = 0, -v + 8 = -4*v - 2*r. Let i = 50 - v. Let u = -29 + i. Does 10 divide u?
False
Suppose 0 = -6*g + g + 4*h + 796, -4*g + 637 = -3*h. Is 32 a factor of g?
True
Let t(v) = -2*v + 20 + 4*v + 1 - 3*v. Does 31 divide t(-10)?
True
Suppose 0 = -d + 17 + 16. Let k = d + -58. Let q = 40 + k. Is 10 a factor of q?
False
Let x(b) = 10*b - 1. Let n be 3/(-5) - 74/10. Let g be x(n). Is 12 a factor of g/(6/(-2)) - 3?
True
Suppose -75*j = -74*j - 254. Let n = -164 + j. Is n a multiple of 45?
True
Let l = 26 + -23. Suppose 32 = l*p - 112. Does 18 divide p?
False
Suppose 5*j - 3*z - 1182 + 398 = 0, -4*j - z + 617 = 0. Is j a multiple of 55?
False
Suppose -76 = -3*b + 2*n, -3*b - n + 51 = 2*n. Let p = -8 + b. Is p a multiple of 7?
True
Suppose 0 = -2*n + 8, 4*j = 5*j + 4*n - 20. Does 45 divide (j - 3)/((-4)/(-704))?
False
Let n(b) = -b**3 + 6*b**2 + 4*b - 10. Let k be n(6). Suppose -3*j + 34 = -k. Is j a multiple of 5?
False
Suppose -52*p - 606 = -58*p. Does 14 divide p?
False
Suppose 3660 = -3*r + 13*r. Suppose 0 = -34*z + 36*z - r. Does 13 divide z?
False
Let k(p) = 14*p - 7 - 15*p + p**2 - 3*p. Let y(b) = b**3 + 4*b**2 - 6*b + 4. Let a be y(-5). Is k(a) a multiple of 11?
False
Let j(p) = -6*p**3 - p + 66. Let g(l) = l**3 - 1. Let w(s) = 5*g(s) + j(s). Is 10 a factor of w(0)?
False
Suppose -4*o + 12 = -y, 5*y + 10 = -5*o - 0*o. Suppose 6*u + 2*c = 3*u + 1447, -o*u + 5*c + 971 = 0. Does 69 divide u?
True
Let d = -384 + 556. Suppose d = 14*c - 150. Is 23 a factor of c?
True
Suppose -4*r + 6*c - 7*c + 749 = 0, 5*c - 549 = -3*r. Is 17 a factor of r?
False
Let j(n) be the third derivative of -n**4/24 + 7*n**3/3 + 25*n**2. Is j(-6) a multiple of 5?
True
Suppose 0 = -s - s + 292. Let z(l) = -3*l**2 - 17*l - 15. Let p be z(-4). Suppose p*d - 244 = 2*d + w, -2*d + 4*w + s = 0. Is 23 a factor of d?
False
Let f(g) = -19*g + 9. Let w be (2 - 6)/((-6)/(-9)). Let l be f(w). Suppose 135 = 5*d - 5*c, 2*c - l = -4*d + c. Does 15 divide d?
True
Let p(f) = -f**3 - 33*f**2 + 98*f + 69. Is 18 a factor of p(-36)?
False
Let t = -60 + 33. Let s = 222 + t. Is s a multiple of 14?
False
Suppose -5 = -i - 0*i. Suppose 5*b - 3*o + i + 16 = 0, 0 = b + o + 1. Is 7 a factor of (b - (-14 - -2)) + 0?
False
Suppose -8*x = -26*x + 2574. Is x a multiple of 25?
False
Let g be (-2)/8 + (-58)/(-8). Let s = g + -5. Suppose -i - s*i = -21. Does 5 divide i?
False
Suppose -110*c = -107*c - 1953. Is 21 a factor of c?
True
Let d(k) = -k**2 - 18*k + 12. Let v(a) = 3*a**2 + 37*a - 23. Let g(b) = 5*d(b) + 2*v(b). Let q be g(16). Let i = q - 6. Does 5 divide i?
False
Suppose -4*b - 12*g + 129 = -9*g, 0 = -5*b - 4*g + 160. Is b a multiple of 6?
True
Let a(k) be the second derivative of 2*k**3 - 15*k**2 + 14*k. Is 11 a factor of a(8)?
True
Let g(z) = -6*z + 298. Does 6 divide g(-22)?
False
Let g = 9 - 7. Suppose 2*m = -g*m + 8. Suppose m*x - 97 - 71 = 0. Does 21 divide x?
True
Suppose 47*y - 16*y - 24583 = 0. Is 27 a factor of y?
False
Let b = -13 + 14. Let k = 0 + b. Is 18 a factor of 59 - -1 - 3/k?
False
Suppose 2*w - 48 = 5*n, 3*w + 14 - 51 = 4*n. Let x(r) = 5*r - 4. Let v be x(n). Let a = 98 + v. Is 27 a factor of a?
False
Suppose 111*m - 165168 = 49*m. Is m a multiple of 36?
True
Let y(c) = 14*c. Let d be (-6)/36 + 190/(-12). Let t = d + 19. Is y(t) a multiple of 14?
True
Let b(t) = 2*t + 33 - 4 - 3 - 11 - 10. Let x(u) = 2*u**3 - u + 1. Let c be x(1). Is b(c) a multiple of 2?
False
Does 88 divide (-7 - 7/14)/(4/(-344))?
False
Suppose 8*c = 2846 + 9314. Does 19 divide c?
True
Let q be (3/(-2))/((-26)/52). Suppose -q*u + 121 = 5*h, 6*h - h + 71 = 3*u. Does 28 divide u?
False
Let f(u) = 10*u - 10. Let h be f(5). Suppose -3*l = -4*g + 2*g + 41, -h = -2*g + 2*l. Is g a multiple of 19?
True
Suppose -6*i + i + 2475 = 0. Suppose -i = 18*q - 21*q. Does 11 divide q?
True
Suppose 287*b - 285*b - 1340 = 0. Does 10 divide b?
True
Let k(t) = 6*t**2 - 2*t + 1. Is 7 a factor of k(3)?
True
Let y(p) = -p + 15. Let n be y(15). Suppose -20 = -4*k - n*k - 2*b, -2*k = 2*b - 10. Suppose 6*m - 51 = k*m. Is 20 a factor of m?
False
Let f = -74 - -74. Suppose f = -3*u + 108 + 270. Is 7 a factor of u?
True
Does 27 divide 43584/60 - -4*(-4)/40?
False
Let i = -12 - -14. Suppose 3*b = 6, 0 = -2*z + 5*z - 5*b - i. Suppose 7*d - 216 = z*d. Is 12 a factor of d?
True
Is (-1 + 46)/(27/18) a multiple of 10?
True
Suppose -510 = -3*z - 3*r, 4*z - 705 = 3*r - 2*r. Does 5 divide z?
True
Let y = 52 - 48. Suppose 3*q - 176 = 4*n, 16 = 3*q + y*n - 168. Is 5 a factor of q?
True
Let x(y) = -y**3 + 13*y**2 + 29*y + 5. Let h be x(15). Does 3 divide (-4)/h + 13/((-325)/(-240))?
False
Let m = 1615 - 969. Does 30 divide m?
False
Let q(n) = -n**2 - 11*n - 22. Let r be q(-9). Let a(g) = 2*g + 15. Does 7 divide a(r)?
True
Suppose 2*m = -3*p + 2081 - 546, 0 = -3*p + 2*m + 1555. Let c = p + -308. Is 23 a factor of c?
True
Suppose -2*z + n + 0*n - 5 = 0, -n - 25 = 4*z. Let y = -3 - z. Suppose 0 = 5*r - g - 200, y*r + 4*g = -9 + 89. Is 15 a factor of r?
False
Suppose -17*r + 2 = -66. Let v = -2 - 1. Does 23 divide r + (3 - -59 - v)?
True
Suppose -3*r = -1164 - 2835. Is r a multiple of 8?
False
Let t(m) = -105*m + 11. Is t(-1) a multiple of 58?
True
Suppose 5*v - 13 = 3*t, 4*v = 4*t + t. Suppose -2*p - 4*g + 128 = 0, p - 2*g - 61 = -v*g. Is 7 a factor of p?
True
Suppose 0*n - 9*n + 27 = 0. Suppose 12 = 3*q, n*k - 107 = -3*q + q. Is 29 a factor of k?
False
Suppose -3*p - 25 = -7. Let k be 15/(-10) + (-15)/p. Is 14 a factor of (7/14)/(k/70)?
False
Let d be 122/7 + 1*12/(-28). Suppose 15*k = d*k - 90. Does 9 divide k?
True
Let j(a) = -a**3 - 14*a**2 - 29*a - 30. Is 12 a factor of j(-12)?
False
Suppose -32 = -3*p - 0*p - m, -3*p = 4*m - 20. Let y(h) = h**2 - 3*h - 6. Let k be y(5). Suppose k = t - p. Is t a multiple of 5?
False
Let n be (5/(45/6))/(14/3675). Suppose -888 = -5*m - 5*z + 62, 0 = -m + 4*z + n. Is 47 a factor of m?
False
Suppose -256 - 239 = 3*b. Let z = -20 - b. Does 30 divide z?
False
Let a(l) = 12*l**2 - 13*l**2 + 10 - 2*l - 6*l**2 + l**3. Let o be a(7). Is 17 a factor of o/(-4) + 9*4?
False
Let m be 3/((-12)/(-160)) - -1. Let b be -1 + 72 + (-1)/(-1). Suppose 6*j + x = 3*j + m, 4*j - b = 3*x. Does 5 divide j?
True
Let k(b) = 3*b**2 + 6*b - b - b**3 - 1 + 0*b. Does 3 divide k(4)?
True
Suppose 101 = n - 0*n. Suppose c - n = -a, -2*a - 3*a = 3*c - 501. Is a a multiple of 11?
True
Let r(n) = n**3 + n**2 + 24*n + 920. Is 13 a factor of r(0)?
Fa