ultiple of 8?
True
Let z(d) = 41*d + 3. Let n = -5 + 6. Is z(n) a multiple of 22?
True
Let g = -745 + 959. Does 14 divide g?
False
Let y(i) = 14*i + 178. Is 12 a factor of y(10)?
False
Suppose 59*m - 54*m = 380. Suppose 0*i = i - m. Is 38 a factor of i?
True
Let b = 18 + -21. Let m(u) = 12*u**2 + 2*u - 6. Let p be m(b). Does 32 divide ((-36)/1)/((-36)/p)?
True
Let n(m) = 38*m**3 + 2*m**2 - 4*m + 1. Let r be n(1). Let j(x) = -x**2 + 5*x - 5. Let w be j(7). Let k = r - w. Is k a multiple of 21?
False
Let w(m) = 419*m + 29. Let v be w(-7). Does 10 divide (-2)/(-3) + v/(-18)?
False
Suppose -504 = -147*y + 133*y. Does 4 divide y?
True
Let z(y) = y**2 + 7*y - 10. Let g be z(-7). Let o = g + 42. Does 4 divide o?
True
Let i = 824 - 410. Is i a multiple of 9?
True
Suppose -17*b = -18*b. Suppose b*d = -d + 57. Let w = d - 24. Does 9 divide w?
False
Let m(g) = 4*g**2 - 5*g + 4. Let o be m(4). Suppose 0*v - o = 2*v. Does 23 divide -1 + 2 + (2 - v)?
False
Let l(a) = a**3 - 14*a**2 + 8*a + 45. Is l(15) a multiple of 10?
True
Let h(s) = s**3 + 5*s**2 - 4*s - 1. Let x be h(-3). Suppose z + x = 162. Is 19 a factor of z?
True
Suppose -h - 3*c = -1704, 0 = 69*h - 67*h + 5*c - 3404. Does 12 divide h?
True
Let t(l) = 33*l + 19. Let v be t(7). Let d = v + -124. Does 18 divide d?
True
Suppose 5*i + 2*s = 12, -5*i - s = -10*i + 24. Suppose -t = i*t. Is (-5 - -2) + (24 - t) a multiple of 21?
True
Let a be (1 + 0)*(-1 - -6). Suppose q - 77 = 4*k + k, a*q - 363 = 3*k. Is q a multiple of 24?
True
Let h(t) = t**3 - 13*t**2 + 11*t - 6. Let y be h(12). Let s = 31 + y. Let d = s + 32. Is 15 a factor of d?
True
Let b be (0 + 1 - 3)*-11. Suppose -113*v - 112 = -121*v. Let n = b - v. Is n a multiple of 4?
True
Let u = -46 - -30. Is 11 a factor of (u + 14)/(2/(-44))?
True
Let s be ((-7)/(-3))/((-10)/30). Let b be (-21)/s*(-8)/(-3). Does 6 divide b/(14/(-18) - -1)?
True
Let j(t) = -2*t - 21. Let h be j(-13). Suppose -h*w - 5*n + 590 = 0, 2*w + 0*w - n = 239. Is 22 a factor of w?
False
Suppose -3*i - 4 = 4*u - 3, 0 = -5*i - 4*u + 9. Suppose 3*y - y - 3*d = 36, -104 = -i*y + 4*d. Is y a multiple of 12?
True
Suppose 2*a = -3*a. Suppose -h + 6*h - 800 = a. Is 3*(h/12 + 0) a multiple of 10?
True
Let q(t) = -t**2 + 13*t + 1. Let v be q(10). Let s = v - -41. Does 15 divide s?
False
Let i(b) = 8*b. Let w(f) = 20*f. Let u(m) = 12*i(m) - 5*w(m). Suppose 9 - 30 = 21*v. Is u(v) even?
True
Let c(i) = 3*i**2 + 10*i - 8. Let t be c(14). Suppose 0*v + t = 5*v. Suppose -j = 4*f - v - 38, -f + 54 = -4*j. Is f a multiple of 23?
True
Let y = 17 - 5. Let g be (-8)/y + (-4)/(-6). Suppose 3*w - 5*w + 22 = g. Is w a multiple of 2?
False
Suppose m - 19 = -3*y, -5*y + m + 37 = -0*y. Let s = y + -4. Suppose 2*w + 3 = 2*v - 1, s*v = -4*w + 27. Is 3 a factor of w?
True
Suppose -17 = t - 3. Let h be (-2 + 8/6)*33. Let m = t - h. Is m a multiple of 4?
True
Let d(r) = r**3 + 15*r**2 + 16*r + 24. Let a be d(-14). Let b(j) = 6*j**2 + 5*j + 12. Is b(a) a multiple of 11?
True
Suppose 0 = 237*j - 214*j - 11868. Is 6 a factor of j?
True
Let t(u) = -2*u**3 + 19*u**2 - 6*u - 7. Is 28 a factor of t(7)?
True
Let o(u) = -u - 4. Let f = -14 + 7. Let m be o(f). Suppose -m*k + 22 = -2*k. Does 9 divide k?
False
Is 591/7 + (-6)/14 a multiple of 4?
True
Suppose -3*x = -6*x + 2*a + 3, -4 = -4*x + a. Let g(s) = 25*s**3 - 2*s**2 + 1. Is g(x) a multiple of 24?
True
Let w be 38*2*(-5)/(-20). Let i(g) = g**3 - 19*g**2 + 11*g + 12. Is 17 a factor of i(w)?
True
Let q(r) = r**2 + 12*r - 25. Let m(v) = v**2 - 9*v + 3. Let f = -2 + 8. Let w be m(f). Is q(w) a multiple of 5?
True
Is 22 a factor of 967/2 - (-4 + 35/10)?
True
Let k be (80/6 - -3)*(-6)/2. Let z = -9 - k. Does 8 divide z?
True
Is ((-6366)/(-8) - -4) + 15/(-20) a multiple of 27?
False
Let k = 9 - 9. Suppose -4*o + 70 = 2*f - o, 3*f - 5*o - 67 = k. Suppose -f = -r + 16. Does 9 divide r?
True
Let l be (-1)/4 + (2 - (-2393)/4). Suppose -7*a = -2*a - l. Is a a multiple of 20?
True
Let q(s) = 71*s - 60. Does 28 divide q(4)?
True
Let h be 156 + (1 - 10)/3. Let l be (h/(-18))/(1/(-2)). Suppose 0 = -2*u + 39 + l. Does 14 divide u?
True
Let u(t) = 10*t**2 - 37*t + 13. Let k(o) = -7*o**2 + 25*o - 9. Let p(z) = 7*k(z) + 5*u(z). Let q be p(8). Does 2 divide (-12)/28 - 76/q?
False
Let m = -13 - -143. Let d = -223 + 297. Let r = m - d. Is r a multiple of 13?
False
Let o(c) be the third derivative of -c**4/6 + 3*c**3/2 - 2*c**2. Let p be o(6). Is 4 a factor of 1/(-2)*2 - p?
False
Does 12 divide 12789/(-14)*(-48)/14?
True
Let n(p) = 11*p - 71. Does 7 divide n(15)?
False
Suppose 3*o - 2*q - 90 = -5*q, -q = 3*o - 80. Let c = 35 + o. Is c a multiple of 20?
True
Is 56 a factor of (18/15)/((-6)/(-6600)*8)?
False
Let a(x) = x**2 + 4*x + 11. Let b(u) = u**2 + u. Let f(y) = -a(y) + 2*b(y). Let q = -18 - -26. Is f(q) a multiple of 13?
False
Let l(d) = d**2 - d + 6. Let t be l(0). Suppose -2*y + t + 2 = 3*h, h + 37 = 5*y. Does 2 divide y?
False
Let a = 7 - 4. Suppose -3*j - a = -3*z - 0, 5*j - 35 = -3*z. Suppose c + q - 22 = 19, 50 = c + j*q. Is c a multiple of 6?
False
Let u = 8 + -7. Let m(h) = 3*h**2 + 1. Let n be m(u). Suppose -n*d + 156 = -0*d. Does 9 divide d?
False
Let t(b) = -4*b**2 - 9*b + 1. Let k be t(-5). Let s = -49 - k. Does 2 divide s?
False
Let q = 67 - 64. Is 25 a factor of (-2)/q + (-1135)/(-15) + -1?
False
Is (-6)/(-45) - (-7556)/30 a multiple of 14?
True
Let i(v) = 7*v + 1. Let n = 16 - 23. Let f be i(n). Let w = -16 - f. Is w a multiple of 8?
True
Let h be 1/2*-3*26. Let m be (-1484)/21 + -7 - (-2)/(-6). Let y = h - m. Is y a multiple of 13?
True
Let g(p) = -p**2 - 5. Let t be g(3). Is (0/3 - t)*(-45)/(-10) a multiple of 12?
False
Is ((-20083)/(-14))/19*6 a multiple of 18?
False
Suppose -2*a - 4*r = -6, -18 = -3*a + 3*r - 0*r. Suppose 4*h + a = -h. Is 22 a factor of ((-7)/14)/(h/74)?
False
Let v = -544 - -883. Suppose 0 = 2*g - 27 - v. Is 13 a factor of g?
False
Let j(s) be the third derivative of -s**6/120 - s**5/4 + 7*s**4/12 - 19*s**3/6 + 52*s**2. Is j(-16) a multiple of 4?
False
Suppose -2*u = 2*t - 328, -187 = 5*t + 2*u - 1001. Suppose -2*n = -x + t, 0*n - x = -n - 83. Let l = -9 - n. Is 11 a factor of l?
False
Let u(w) be the first derivative of -5/3*w**3 + 4 + 9*w - 1/4*w**4 + 5/2*w**2. Does 5 divide u(-6)?
True
Let i(g) = -g + 4. Suppose 2*c = -c. Let x be i(c). Suppose f = x*p + 64, 0 = p - 3*p - 10. Is f a multiple of 13?
False
Let x(v) = -v**3 - v**2 + 8*v. Let s be x(2). Suppose t = 3*h - 203, -s*h - 4*t = -t - 249. Does 11 divide h?
True
Let y(j) = 2*j + 20. Let z be (-4 + 0 + 4)/3. Let v be y(z). Let a = 50 + v. Does 26 divide a?
False
Let u = 594 + -353. Let h = u + -447. Let l = -136 - h. Is l a multiple of 15?
False
Suppose -2*c = -c + 4. Let a(p) = -8 + p**2 + 11 + 6 - p**3 + 7*p. Is a(c) a multiple of 20?
False
Let v(q) = 7*q**2 - 8*q - 148. Is v(-19) a multiple of 52?
False
Does 23 divide 868/(-3)*24/(-8)?
False
Suppose -376 = 4*q - 472. Is 6 a factor of q?
True
Suppose 0*v - 8 = -4*v. Let u(t) = t**2 - t + 3. Let n be u(v). Suppose p + 2 = 5*m - 0, 11 = 2*p - n*m. Does 13 divide p?
True
Let c be (1 - -2) + -13 + 13. Suppose -c*a = -10*a + 238. Let j = a - 21. Is j a multiple of 7?
False
Let q(p) = p**2 + 17*p + 3. Let k be q(-17). Suppose -k*t = -4*t. Suppose -2*u - 4*w + 40 = -t*u, 105 = 5*u + 5*w. Is u a multiple of 11?
True
Let l(h) = 99*h**2 + 4*h + 7. Let p be l(-2). Let u = p - 276. Is u a multiple of 11?
False
Let y(z) = z**2 - z. Suppose 3*t - 3*l = -2*t - 4, -2*l + 7 = t. Let o(q) = 5*q**2 - 6*q - 15. Let n(m) = t*o(m) - 4*y(m). Is 11 a factor of n(-6)?
True
Let o(t) = t**2 + 7*t - 12. Let h be (-5 + 6)/(2 + (-18)/10). Is 16 a factor of o(h)?
True
Let i = -31 - -97. Is 16 a factor of i?
False
Let h(k) = -3 + 5*k - 12*k**2 - 10*k**2 + k**2 - k. Let o(t) = 62*t**2 - 11*t + 8. Let f(c) = 11*h(c) + 4*o(c). Is 13 a factor of f(1)?
False
Let t = 372 - 250. Let n = t + 94. Is n a multiple of 20?
False
Let r(z) = 2*z**2 + 9*z - 1. Let h be r(-4). Let b = h - -22. Does 5 divide b?
False
Let l(m) = m**3 + 7*m**2 + 8*m + 5. Let p be l(-5). Suppose -p = -3*g - 2*g. Suppose -g*w + 104 = w. Does 15 divide w?
False
Suppose -1005 = c - 6*c + z, c = -2*z + 190. Let l = c + -87. Does 14 divide l?
False
Let d(n) = -24*n + 8. Let s(t) = -48*t + 17. Let w(a) = 5*d(a) -