 18 a factor of g?
False
Let j(m) = m**2 + 2*m - 3. Let u be j(-3). Let h(i) = i**2 - i + 1. Let l(a) = -2*a**2 + 5*a + 72. Let s(r) = 3*h(r) + l(r). Is 13 a factor of s(u)?
False
Suppose 0 = 5*r - 4*a - 96, -2*r + 31 = a - 10. Let q be ((-3)/2)/((-6)/r). Let p = -1 + q. Does 3 divide p?
False
Let u(n) = 2*n**2 - 39*n + 12. Is u(22) a multiple of 61?
True
Suppose 5*j = -g - 13, 2*g = -2*j + 6 + 8. Suppose 0*s - g = -s. Does 3 divide s?
True
Let j(b) = 167*b - 457. Is j(13) a multiple of 30?
False
Suppose 73*p - 67178 = 27941. Is 8 a factor of p?
False
Let k(g) = -17*g**3 - 2*g**2 - 3*g - 1. Let w be k(-2). Suppose h + 25 - w = 0. Is 6 a factor of h?
True
Let o(z) = -z. Let p(u) = u**3 - 5*u**2 - u + 4. Let d(x) = 2*o(x) + p(x). Does 27 divide d(7)?
True
Let g(y) = 61*y**3 - 4*y**2 - y + 4. Let z(w) = w**3 + w**2 - 1. Let m(k) = g(k) + 4*z(k). Is m(1) a multiple of 14?
False
Let c(t) = -20*t + 45. Let h be c(7). Let a = h - -353. Is 46 a factor of a?
False
Let n = 31 + -31. Suppose 2*r - 3*i - i = -26, n = -3*r - 3*i + 6. Is 5 a factor of 34*1/(r - -4)?
False
Let p = -173 + 391. Is p a multiple of 9?
False
Let b = -9 - 26. Suppose 0 = -x + 2*x - 2. Is 11 a factor of -1*(x + b) + 0?
True
Let s be 1 + -6 + 3 + 1. Let t be (s - 0)/(1/25). Let x = -9 - t. Is x a multiple of 4?
True
Suppose b - 516 = -5*q, 6*q = 10*q + 16. Is b a multiple of 8?
True
Let y be (-1 - (-6)/(-21)) + 4/14. Let m = y - -29. Is m a multiple of 7?
True
Suppose 7*i + 2128 = 14*i. Is 16 a factor of i?
True
Suppose -5*m + 21 = -34. Suppose 0 = m*z - 6*z + 45. Let c = z - -44. Is 15 a factor of c?
False
Let r be 0*(27/6)/(-9). Suppose 5*k - 2*k - 198 = r. Does 11 divide k?
True
Let r(a) = -2*a**3 - 23*a**2 - 24*a + 24. Is 10 a factor of r(-12)?
False
Suppose 76 = -3*c + 2*c. Let f = c + 130. Does 12 divide f?
False
Let i be (-7)/(7/(-4)) + 1. Suppose 0 = -m, 4*p + i - 13 = 5*m. Suppose -f + 79 = 3*q, 23 = 4*q - 3*q + p*f. Is 5 a factor of q?
False
Suppose 0 = -4*v + 3*l + 3380, 3*v + 3*l - 1814 - 742 = 0. Does 7 divide v?
False
Suppose 5*f - 866 = -n + 388, -2*f - 5*n + 520 = 0. Suppose 2*g - f = g. Does 12 divide g?
False
Let q(l) be the third derivative of -7*l**4/12 + 5*l**3/6 + l**2. Is q(-3) a multiple of 12?
False
Let t = 13 - 13. Suppose t*d + 5*d = 0. Suppose d*r = 2*r - 10. Does 5 divide r?
True
Let u = -50 + 86. Suppose 0 = 20*q - 22*q + u. Suppose -q = -19*s + 16*s. Is 2 a factor of s?
True
Let s(d) = -d**2 - 7*d - 10. Let c be s(-5). Suppose y + c*y = 138. Is y a multiple of 35?
False
Let n(h) = 78*h**2 + 86*h - 450. Is n(5) a multiple of 12?
False
Let g(m) = 17*m**2 + 21*m - 71. Is g(9) a multiple of 13?
True
Suppose 2*f = -4*l + 156, -3*f + 29 = l - 0*f. Suppose l*t + 84 = 44*t. Is t a multiple of 4?
True
Suppose -2*x = -4, -3*r + 33 = 5*x + 8. Suppose r*p - 4 = 3*p. Suppose -z + 28 - p = 0. Is z a multiple of 13?
True
Let s = 3 + -3. Let i be 0 + 2 + s - 23. Let u = 45 + i. Is u a multiple of 8?
True
Let v = -572 - -2287. Is v a multiple of 78?
False
Let w(t) = -t**3 + 8*t**2 + 5*t - 2. Let i be w(9). Let o = 94 + i. Is 14 a factor of o?
True
Let z = -284 + 1894. Is 115 a factor of z?
True
Suppose 5*s + 2*b = 208, 2*s + 83 = 4*s + b. Let y be 264/s - 4/14. Suppose 0 = 5*i - 4*l - 36, -l + y*l = -i + 13. Is 2 a factor of i?
True
Suppose 4*n - 3*r - 775 = 2*r, 3*r = 3. Suppose 0 = -2*q - 3*q + n. Is 22 a factor of q?
False
Let a(o) = -2*o - 14. Let w be a(-12). Suppose 80 = -6*l + w*l. Is l a multiple of 5?
True
Let r = -6 - -13. Let g be (-10)/7 + (-4)/r. Is 13 a factor of 210/5 - (g + 5)?
True
Suppose 3*j - 813 = 3*h, 5*j - 1355 = -2*h + 4*h. Is j a multiple of 7?
False
Suppose 7*h - 276 = 3*c + 6*h, 3*c + 5*h + 258 = 0. Let m = c - -328. Is m a multiple of 51?
False
Let l be 15 + -4 + (-3)/(-1). Let g = 4 - -27. Suppose x = g + l. Does 17 divide x?
False
Let u(v) = -v**2 - 15*v - 9. Let m be u(-9). Let d = m - -111. Does 12 divide d?
True
Suppose x - 7 = 3*i + 3*x, 0 = 4*i - x + 2. Is 14 a factor of 56/(-2*(i - 0))?
True
Suppose 42 = 5*x + 2*g, 0*g = 3*g - 3. Suppose -5*u + x*u = 120. Is u a multiple of 8?
True
Is 11 a factor of 4 + 2451/12 + (-2)/8?
False
Let z(b) = -b + 10. Let n(x) = 2*x - 21. Let y(m) = 2*n(m) + 5*z(m). Is y(-4) even?
True
Suppose -13 = z - 33. Is 4 a factor of z?
True
Suppose -5*s + 3*s = -4*u - 34, 5*s - 50 = 5*u. Suppose 5*f + 4*o + 5 = 4*f, 3*f = 2*o - 71. Let j = u - f. Is 7 a factor of j?
True
Let t(w) = w**3 - 8*w**2 + 3*w - 10. Let q be t(7). Let g = 26 - q. Is g a multiple of 15?
False
Suppose -5 = -5*j - 0. Is 3 a factor of (4/(-2) + 8)/j?
True
Let l(z) = z**3 - 4*z**2 - 2*z + 12. Let f be l(4). Let x(j) = -3 - 2 + 17*j - 2. Is 12 a factor of x(f)?
False
Let i(z) = 10*z**3 - 4*z**2 + 2*z + 2. Let w be 1/2 - (-30)/20. Let a be i(w). Suppose -5*q - a = -5*s, 0 = -3*s - 3*q - 0*q + 12. Does 9 divide s?
True
Suppose 5*j = -2*b + b + 4, -4*b + 16 = 5*j. Suppose -2*f - 2*f = b. Does 12 divide 2/(f - 45/(-43))?
False
Let u(n) = -5*n**2 + 3*n. Let j be u(3). Let t = 15 + j. Let c = t - -46. Does 9 divide c?
False
Let z(p) = p**3 + 4*p**2 + p + 1. Let w be -3*1 + (-88)/(-8). Suppose 5*u = -q - 17, 4*u + w = -5*q - 14. Does 3 divide z(q)?
False
Let o = 594 + -442. Is o a multiple of 35?
False
Let l(y) = 6*y**2 - 2*y + 0 - 7 - 10*y**3 + 9*y**3. Let z be (6/(-8) + 2)*4. Is l(z) a multiple of 8?
True
Suppose -2*t - 6*t + 1392 = 0. Is 11 a factor of t/4 + 3/(-12)*-2?
True
Is 4 a factor of (376/72 - 8/36) + 23?
True
Suppose -4822 - 1100 = -21*l. Is l a multiple of 47?
True
Suppose 4*z + 257 = 857. Let m = 24 + -22. Suppose 0 = -4*b - m*b + z. Does 5 divide b?
True
Let w be 1*-3*8/(-6). Let a(t) = -2*t - 7. Let m be a(-8). Suppose -w*i + m*i - 235 = 0. Is i a multiple of 24?
False
Let o = 1405 + -1335. Is o a multiple of 5?
True
Let k = 907 - 530. Does 13 divide k?
True
Suppose 0*p = p - 6. Let s(t) = -p*t + 15 + 0*t + 5*t. Is 2 a factor of s(8)?
False
Let k = 510 - -45. Is 36 a factor of k?
False
Suppose -q = d - 50, 0 = -4*d + 4*q - 3*q + 175. Let m = -45 + 66. Let c = d - m. Is c a multiple of 8?
True
Let a(t) = t + 43. Let m be a(0). Let w = m - -31. Is 15 a factor of w?
False
Is 30/(-70) + 2196/28 a multiple of 5?
False
Let j(a) = -68*a**3 + 5*a - 5. Let w be j(1). Let o be (-1 - -1) + -7*17. Let k = w - o. Does 17 divide k?
True
Suppose -3*w - 5*o + 2 = -4*w, -4*w + 3*o = 25. Let u(f) = -f**3 + 8*f + 4. Is u(w) a multiple of 22?
False
Let b(v) = -v**2 + 12*v - 9. Let h be b(7). Suppose n + 89 = 4*f, -40 = 4*f - 3*n - 131. Let u = h - f. Does 4 divide u?
True
Suppose -1392 + 5914 = 14*k. Does 17 divide k?
True
Suppose 0 = a - 3*z - 63, 3*a - 89 - 118 = 3*z. Is a a multiple of 3?
True
Let u = -1043 - -1515. Is u a multiple of 19?
False
Let t = 294 - 12. Is t a multiple of 6?
True
Let x(y) = 2*y**2 - 12*y + 2. Let h = -17 + 23. Let g be x(h). Is 11 a factor of 49 + 3*(g - 3)?
False
Let u(l) = l**2 - 11*l + 7. Let d be u(11). Let f(h) = -h**3 + 14*h**2 - 10*h + 10. Let z be f(d). Let b = z + -200. Is 18 a factor of b?
False
Let z(u) = -u + 1. Let a be z(-2). Suppose 8*p - a*p = 265. Let g = 94 - p. Does 17 divide g?
False
Does 15 divide (-1890)/(-3)*(-6 - (0 + -7))?
True
Is 19 a factor of (36045/18)/(-15)*-2?
False
Let f be (-1605)/75 - 2/(-5). Suppose 2*d + 87 = 13. Let n = f - d. Does 16 divide n?
True
Let f be (-4)/(-18) - (-34)/9 - 1. Suppose 5*z = -2*t + 10, -f*z = -2*t + 44 - 2. Does 15 divide t?
True
Suppose 0 = 5*u + 5*v - 174 - 86, v = 0. Let c = u - -17. Does 3 divide c?
True
Suppose -z + 13 = -3*i, -9 = 5*z + 1. Let m(n) = -18*n - 10. Is 18 a factor of m(i)?
False
Suppose 0 = 16*q - 8*q. Suppose 3*p - 50 = -0*p - b, 2*p + 2*b - 28 = q. Is p a multiple of 9?
True
Suppose 0 = -55*l + 44*l + 2123. Is 9 a factor of l?
False
Let g be (1 + -1)/((-3)/(-3)). Suppose g = 4*t - 20, 4*l - 8*l + 5*t - 65 = 0. Let z = l + 28. Does 18 divide z?
True
Let p = -556 - -659. Is p a multiple of 2?
False
Let y be 8 - (4 + (-6)/2). Suppose y*n - 6*n = 6. Does 7 divide ((-9)/n)/((-4)/56)?
True
Let k be (25/15)/(1/3). Suppose -4*r + 5*d + 2 + 51 = 0, -r = 4*d + 13. Suppose b - k = r. Is b a multiple of 6?
True
Let t(q) = 18*q**2 + q + 28. Does 62 divide t(6)?
True
Is -4 + -1 + 1040 + -2 + 3 a multiple of 8?
False
Suppose -20*k + 20701 = 6021. Is k a mult