 a multiple of 19?
False
Let i = -12 - -6. Let y = i + 13. Suppose 0 = v - 17 - y. Is 8 a factor of v?
True
Let h(j) = -j + 63. Let f be h(0). Suppose 2*o - f = 33. Does 16 divide o?
True
Suppose 3*g - 4*r - 4073 = 0, 2*g - 7*r - 2706 = -2*r. Is 12 a factor of g?
False
Let a(g) = 6*g**3 - 10*g**2 - g - 1. Does 10 divide a(7)?
True
Let z = -17 + 26. Let q(a) = a**2 - 2 - 1 - 15*a + z + 3*a. Is q(12) a multiple of 6?
True
Let h = 29 - 20. Let v be 3/h + (-1972)/12. Is (-9)/(-6)*v/(-6) a multiple of 9?
False
Let f = -102 - -372. Is 9 a factor of f?
True
Let u(p) = p - 14. Let w be u(18). Suppose 4*g - 30 = -n + 42, w*g = 3*n + 72. Is 13 a factor of g?
False
Suppose -6*v + 4464 = -4446. Does 27 divide v?
True
Let r be (0 - 1)/(3/42). Let c be (-4)/r - 132/(-28). Suppose -180 = -c*m - 0*m. Is 9 a factor of m?
True
Suppose 6 = 3*o + 3*j, 13 = -4*o + 2*j + 33. Suppose 0 = 2*c - o*c + 380. Is 29 a factor of c?
False
Let p(y) = 19*y**2 - 7*y - 11. Let b be p(-3). Suppose 5*i = 2*s - b, -s + i = s - 185. Does 31 divide s?
True
Let g = 93 + -91. Let w(d) = 2*d**2 - 8. Let x be w(6). Let u = x - g. Is 11 a factor of u?
False
Suppose -3 = c + 5*u, -5*u + 23 = 28. Let l(y) = -y**2. Let j(t) = -4*t**2 + 6. Let p(q) = -j(q) - 4*l(q). Does 9 divide p(c)?
False
Suppose 36 = w - 4*u - 18, 5*w = 2*u + 252. Let b = w + 52. Is 34 a factor of b?
True
Let v(o) = 33*o**2 + 8. Is v(2) a multiple of 29?
False
Let t = -1 - -15. Suppose 2*a + t - 46 = 5*o, 2*a - 3*o - 36 = 0. Is 21 a factor of a?
True
Let h(k) = 4*k**2 + 24*k + 55. Is h(-15) a multiple of 78?
False
Let f(m) = -m**3 + 10*m**2 + 27*m + 3. Does 6 divide f(12)?
False
Let q = 107 - 65. Is 13 a factor of (q/4 - 4)*40?
True
Suppose 4*a - 2 - 22 = 0. Suppose a*c - 5 = 13. Suppose 0 = -3*r + 2*y + 38, -c*r + 32 = -3*y - 1. Does 11 divide r?
False
Suppose -3*a - 7*y = -309 - 125, -4*a - 3*y + 547 = 0. Is a a multiple of 6?
False
Suppose -2*s - 4*w + 0*w + 244 = 0, 5*s - 610 = -5*w. Does 15 divide s?
False
Let g be (-2)/5 - (-24)/10. Suppose -5*d + 390 = -4*s, d = 3*d - g*s - 154. Suppose -m + 3*w + 26 = 0, 4*m - d + 18 = 4*w. Is m a multiple of 11?
True
Suppose 3*g = -2*b + 271, -g + b = 11 - 103. Suppose 7*w = 21 + g. Is w a multiple of 5?
False
Suppose 0 = -5*z + 4*b + 122, 3*z - 3*b = -2*b + 76. Suppose 6*v - 3*v = h + 13, -z = -3*h - 4*v. Suppose -h*d = 5*a - 45, a = -a - 2*d + 12. Does 2 divide a?
False
Let t(x) = 15*x - 11 + 12*x + 13. Is t(2) a multiple of 14?
True
Let g(t) = t + 12. Let y be g(-7). Suppose 4*k - 3*k - 3 = -y*c, 0 = c + 5*k + 9. Suppose -l - c + 41 = 0. Is 12 a factor of l?
False
Suppose -16*n = -631 - 521. Is n a multiple of 8?
True
Suppose 50 = -q - q. Let g = 35 + q. Suppose g*m = 6*m + 68. Is m a multiple of 3?
False
Let p be 4/(-18) + 846/162. Let i = 21 + 31. Suppose -j - 5*n + i = 0, -4*n = -j + p + 2. Is j a multiple of 9?
True
Does 53 divide 6/1 + (316 - (2 + 2))?
True
Let g(q) = -q**2 + 12*q + 42. Does 8 divide g(0)?
False
Suppose -3*j = 4*r - 245, -3*j + 5*r = -0*r - 200. Suppose -a = 4*a - j. Does 10 divide a?
False
Suppose -5*a - 49 = -2*d, -41 = -a + 5*a - d. Suppose 0 = 4*t - 3*t + 2*f - 31, 2*t + 3*f - 62 = 0. Let x = a + t. Is 10 a factor of x?
True
Let g = 2033 - 293. Is 87 a factor of g?
True
Let y = 117 - 49. Does 62 divide y?
False
Suppose -81*j + 106*j = 92000. Is j a multiple of 32?
True
Suppose -4 + 12 = 4*g. Let h(z) = -2*z - 23*z**2 + 55*z**g + 2 + 0*z. Is 16 a factor of h(1)?
True
Let h(t) = 9*t**2 - 7*t + 4. Let l be h(4). Let j = l - 81. Is j a multiple of 8?
False
Let r = -995 - -1303. Does 15 divide r?
False
Let d be 21 + (-2)/(-6)*3 - 3. Suppose -160 = 14*o - d*o. Does 19 divide o?
False
Suppose 0 = -9*h + 828 + 3951. Does 24 divide h?
False
Let v(k) = -45*k**3 + k**2 - k - 1. Let g(l) = l**3 + 10*l**2 - 1. Let b be g(-10). Is 23 a factor of v(b)?
True
Suppose 5*h = -0*g - 2*g - 19, -8 = 4*h + 4*g. Suppose 0*y + 10 = -y - 3*f, 2*y = -4*f - 28. Let x = h - y. Is x a multiple of 9?
False
Suppose 0 = 7*z - 13*z + 1278. Suppose 2*f = -4*o + 216, -4*o - z - 383 = -5*f. Is f a multiple of 29?
True
Let j = -43 + 823. Does 49 divide j?
False
Let v(x) = -7*x**3 + 3 + 4*x + x**2 - 3*x + 3*x. Is 3 a factor of v(-1)?
False
Let p(m) be the second derivative of m**4/12 - 17*m**3/6 + m**2 + 10*m. Is p(19) a multiple of 20?
True
Let a(z) = 6*z + 5. Let p(k) = -5*k - 4. Let c(h) = 4*a(h) + 5*p(h). Is 3 a factor of c(-3)?
True
Suppose -127*c - 75 = -130*c. Is 25 a factor of c?
True
Let b(i) = i**3 - 5*i**2 - 5*i + 3. Let c be b(6). Let y = 9 - c. Suppose -2*t - 2*l + 62 = y, -5*t + 2*l + 149 = l. Is 12 a factor of t?
False
Let k(i) = -i**3 + 7*i**2 - i + 10. Let h be k(7). Suppose -h*m - 289 = -4*s, s = 1 + 3. Let c = m + 139. Does 12 divide c?
True
Let o(g) = 11*g**3 - 2*g**2 - 3*g + 4. Suppose -v + 4*z = v - 12, 4*z + 10 = v. Is 13 a factor of o(v)?
True
Let b = 1928 + -1102. Is b a multiple of 14?
True
Suppose 15411 = 24*s - 17253. Is 9 a factor of s?
False
Suppose -69 = -2*m + 583. Suppose m = 6*o - 130. Is o a multiple of 33?
False
Let a = 81 - 53. Let n = 13 + a. Is 14 a factor of n?
False
Suppose d = 2*d. Suppose 2*l = -4*k - d + 4, -2*k - 5*l = 6. Suppose -16 = 4*r, -5*i + 2*r + 68 = -k*i. Is i a multiple of 10?
True
Let g be 4/4 - (5 + -1). Let h(j) = -5*j**3 - j + 4. Let x be h(g). Suppose 5*r + x = 5*p + 4*r, -2*r - 144 = -5*p. Does 18 divide p?
False
Suppose i + 0 = -2. Is 17 a factor of ((-95)/10)/(i/8)?
False
Suppose -o - 2 - 58 = -3*l, -o = 5*l + 20. Is o/(-2 + (-5)/(-3)) a multiple of 15?
True
Suppose -14*m + 9*m = 0. Let d(v) = v**2 + 2*v + 2. Let z be d(-2). Suppose 5*h - 580 = -5*w, h - z*h = m. Is 33 a factor of w?
False
Suppose -b = -2*b + 8. Suppose a + b*n = 4*n - 3, 5*n + 10 = 0. Suppose 0*s = 2*s + u - 65, 4*u = a*s - 169. Does 11 divide s?
True
Suppose -4*p = -9*j + 10*j - 5239, 0 = -2*j - 2. Is p a multiple of 62?
False
Let t = 31 + 5. Is (-36)/t - 25*-3 a multiple of 8?
False
Let k(w) = -w**2 + 8*w + 10. Let d be k(-9). Let i = -114 - d. Is 11 a factor of i?
False
Is ((-8)/(-20))/((-3)/(-15)) - -94 a multiple of 7?
False
Let y = 6 - -7. Let j = y - -24. Is 9 a factor of j?
False
Let l = 952 - 528. Is l a multiple of 8?
True
Let l(a) = 6*a**2 - 5*a - 3. Let f be l(4). Is -3 - (-7 + 7 + f/(-1)) a multiple of 14?
True
Let l(f) = -f**2 + 10*f + 2. Let t be l(10). Suppose 0*g + t*d - 42 = -g, 0 = 5*g + 5*d - 225. Does 12 divide g?
True
Let t be -3 - (-23 - (-1 - -1)). Suppose -3*r + 7 = -t. Is -25*(1 - r/5) a multiple of 20?
True
Let f = 1488 + -1001. Is f a multiple of 8?
False
Suppose -18*v + 19*v = 148. Does 74 divide v?
True
Let m(k) = -559*k + 1. Let y be m(-1). Suppose -4*f = -9*f + y. Is 14 a factor of f?
True
Let j(p) be the first derivative of p**2/2 + 9*p - 1. Let l be 2 + (-5)/(-60)*4*-6. Does 2 divide j(l)?
False
Suppose 5*q = -3*o + 654 + 953, 5*o - 1283 = -4*q. Suppose -5*f + q = 32. Does 8 divide f?
False
Let y = -289 + 367. Is y a multiple of 13?
True
Suppose -a = -0*a + 15. Let q(l) = 2*l**2 + 17*l - 16. Is 15 a factor of q(a)?
False
Let n(w) = -w**3 - 14*w**2 + 3*w + 14. Does 12 divide n(-16)?
False
Let x(n) = n**3 + 15*n**2 + 14*n + 40. Does 28 divide x(-8)?
False
Let v = -294 - -486. Let n = v + -75. Does 14 divide n?
False
Suppose 4171 = 8*i - 17365. Is 38 a factor of i?
False
Suppose 5*o + 100 = 75. Let r = 115 + o. Is r a multiple of 41?
False
Let g be -3*(-4)/(-4) + 2. Let r(c) = -6*c**2. Let p be r(g). Is 8 a factor of (-1)/(-3) + (-142)/p?
True
Let q(w) = -3*w + 26. Let t be q(8). Suppose 8 = t*n - 22. Is 7 a factor of n?
False
Suppose -82810 = -122*s + 31*s. Is 13 a factor of s?
True
Let y(z) = 7*z. Let q(v) = 1. Let t(c) = 2*q(c) + y(c). Is 36 a factor of t(10)?
True
Suppose 4*h + 3 = 4*w + 31, 2*h = -8. Let b be (-139)/(-3) - (-1)/(-3). Let j = w + b. Does 11 divide j?
False
Does 27 divide 1/(-1) + (22584 - 1)/11?
True
Is 18 a factor of 2*697/2 - (-35 - -30)?
True
Is (4 + 192/15)*4800/45 a multiple of 64?
True
Suppose 0 = -f + r - 0*r - 2, -26 = -5*f - 4*r. Suppose b - 106 = 4*v + 36, 5*b = f*v + 692. Is b a multiple of 44?
False
Let i(x) = 2*x**3 + 51*x**2 + 17*x - 76. Does 8 divide i(-25)?
False
Let w = 250 - 120. Suppose 0 = 3*y + 4*i - 62, -4*i = -5*y + w + 16. Does 13 divide y?
True
Suppose -5376 = 3*k - 9*k. Does 56