rue
Let y(c) = c**2 - 7*c - 13. Let x be y(9). Suppose -3*o + 5*u - 32 = 0, 0 = -2*o - u - 4. Is x/((-10)/o) + 1 a multiple of 2?
False
Let l = 3 - 4. Does 2 divide (3/3)/(l/(-5))?
False
Let a(x) = 264*x**3 + x. Let y be a(1). Let d = y - 19. Does 16 divide (6/(-9))/((-4)/d)?
False
Suppose 21*r + 410 = 22*r. Does 41 divide r?
True
Let d = 135 - 57. Is d a multiple of 26?
True
Let m(p) = 1 + 8*p**2 + 5*p**2 - 2*p**2 + 2*p. Does 5 divide m(-1)?
True
Suppose 3*j - 122 = -5*w, 2*j = -3*w - 22 + 96. Is w a multiple of 11?
True
Let c(n) = -63*n. Suppose -3*h - 1 = 2. Is 21 a factor of c(h)?
True
Suppose -5*j - 30 - 20 = 0. Let b(p) = p**3 + 12*p**2 + 15*p + 5. Does 15 divide b(j)?
False
Let c(z) = 2*z**2 - 11*z - 20. Is c(10) a multiple of 14?
True
Is 11 a factor of ((-2)/6)/((-1)/75)?
False
Suppose -4*g + 7*g = -5*b + 290, -2*g - 132 = -2*b. Is 19 a factor of b?
False
Let p = 9 - 6. Is p a multiple of 3?
True
Let y be 27 + -1 - (0 + 1). Suppose -5*l - 50 = 4*z, -2*l = -2*z + 9 - y. Is 9 a factor of (-258)/(-30) - 4/z?
True
Let u(p) = 40*p**3 + p**2 - p. Suppose 9 = 3*n - 3. Let r = -3 + n. Does 20 divide u(r)?
True
Let j(i) = i**3 - 5*i**2 - 7*i + 5. Let s be j(6). Let p(q) = -3*q - 1 - 5*q + 3*q. Is p(s) a multiple of 3?
False
Let q(s) = s**3 - s**2 - s. Let g = -4 - -6. Let k be q(g). Suppose 0 = 2*y, 0 = 5*i - k*y + 120 - 295. Does 12 divide i?
False
Suppose 0*y - 6 = -4*y - 2*f, -2*y + 1 = 3*f. Suppose -z - 86 = -y*z. Suppose -5*h + 3*w - 5*w + z = 0, 2*w + 74 = 5*h. Is h a multiple of 8?
True
Let x = 2 - 0. Suppose 2*v + 189 = -x*y + 3*y, 2*v + y + 199 = 0. Let q = -61 - v. Is 19 a factor of q?
False
Suppose -3*s + 273 = 4*s. Is s a multiple of 13?
True
Suppose 3*a - 10 = -v, 5*v = -a + 2*v + 6. Suppose -5*n = 7 + a. Is 9 a factor of 10 - (n/1)/1?
False
Let n be (2 - 0)*(-9)/(-6). Suppose -n*t + 2*g + 68 = 0, -t - 4*g = -5 + 1. Is t a multiple of 10?
True
Let a(y) = y**2 + 8*y - 13. Let g = 19 - 32. Is 20 a factor of a(g)?
False
Let n(q) = 2*q + 13. Let o be n(13). Let z(r) = 2*r**2 + 4*r - 2. Let t be z(-5). Let k = o - t. Does 3 divide k?
False
Let a(b) = 17*b + 3. Let o(j) = -j. Let i(m) = a(m) + 4*o(m). Is 16 a factor of i(3)?
False
Suppose -8 = -5*p + p. Suppose -l + 78 = 2*l + w, 3*l - 81 = -p*w. Suppose 115 = 3*r + l. Does 13 divide r?
False
Suppose 19 + 1 = 4*r. Suppose 3*b + 294 = -i + 5*i, 160 = 2*i + r*b. Does 25 divide i?
True
Let r(a) = 4*a**2 - 8*a - 27. Does 42 divide r(-6)?
False
Suppose 5*q = 20, -3*q - 84 - 4 = -5*s. Does 7 divide s?
False
Suppose 22 + 9 = 4*j - 5*w, 0 = 5*j - 2*w - 26. Suppose d + j = 12. Is d a multiple of 8?
True
Let t(y) = -3*y**2 + 5*y + 4. Let r be t(4). Is 16 a factor of r/32 + 131/4?
True
Let m be 16/(24/9 - 2). Suppose 6*w - m = 3*w. Is w a multiple of 2?
True
Let t(l) = l**3 - 11*l**2 - 12*l + 5. Is t(12) even?
False
Let o(s) = 2*s**2 + s - 8. Does 18 divide o(-6)?
False
Suppose 6 + 6 = 3*v. Let t be (14/(-8))/(v/(-16)). Suppose q + t - 45 = 0. Is 19 a factor of q?
True
Let q(c) = c + 12. Is q(6) a multiple of 4?
False
Let w = -9 - -20. Let u = -7 + w. Suppose u*x - 5*x = -26. Does 13 divide x?
True
Does 12 divide (1 - 39)/((-2)/4)?
False
Let m be ((-1)/2)/(1/24). Let d = 73 + m. Is 17 a factor of d?
False
Does 21 divide 4 - -1*34 - -4?
True
Suppose -216 = -6*w + 2*w. Suppose -5*y = -2*y - w. Is 6 a factor of y?
True
Suppose 0 = 3*j - 2*n - 196, -4*n + 8*n = 4*j - 256. Does 17 divide j?
True
Let o = 52 + -74. Let n = o - -28. Does 3 divide n?
True
Suppose -5*f - 55 = 4*g - g, 5*g + 2*f = -60. Let r = -1 - g. Is 4 a factor of r?
False
Let q be (-4)/(-10) - (-656)/10. Suppose -5*m + 2*m = -q. Is 11 a factor of m?
True
Let s(o) = -8*o**3 - 2*o**2 - 5*o - 1. Is s(-2) a multiple of 5?
True
Let l = -1 - 1. Let s = 2 + l. Suppose 2*b - 11 - 1 = s. Does 6 divide b?
True
Let c = -11 - -21. Let q(g) = -g**2 + 13*g - 3. Is 27 a factor of q(c)?
True
Let c be ((-3 - -9) + -3)/1. Suppose -4*d + c*s = s - 106, 0 = -2*s + 6. Is d a multiple of 14?
True
Let y be 44/(-6)*(-81)/18. Let i be y/7 + (-4)/(-14). Suppose 3*o - 8 - 1 = 0, i*o = -k + 31. Is 16 a factor of k?
True
Let l(y) = 10*y + 1. Let q be l(6). Suppose q = 3*n - 20. Is 9 a factor of n?
True
Suppose 3*o = 4*u + u + 18, 0 = -3*o + 3*u + 18. Suppose o - 30 = -4*s. Let i(q) = -q**2 + 7*q - 1. Is i(s) a multiple of 2?
False
Let b = -2 - -6. Suppose 3*w + 3*k - 1 = b*k, w + 2*k = 5. Is 16 a factor of w/(-5) - 468/(-15)?
False
Let d = 6 + -1. Suppose 0 = d*l + 3 - 28. Suppose 3 = -f + l. Does 2 divide f?
True
Suppose -4*j - y + 2*y = -623, 463 = 3*j - 5*y. Suppose -5*l - 11 = -j. Is 8 a factor of l?
False
Let a = 36 + -42. Let c(q) = -4*q**3 + 19*q**2 - 22*q - 6. Let h(s) = 3*s**3 - 13*s**2 + 15*s + 4. Let r(u) = -5*c(u) - 7*h(u). Does 12 divide r(a)?
False
Suppose 2*j + 3*j = 35. Is (-2)/7 + 100/j a multiple of 7?
True
Let r = 41 - 28. Let h = 22 - r. Is 5 a factor of h?
False
Suppose 0*x + 2*x + 168 = 0. Let b = x - -121. Does 24 divide b?
False
Let m be (106/4)/((-4)/(-8)). Suppose -3*i + 2*o + 59 = 0, -2*o - m = -3*i + 3*o. Does 7 divide i?
True
Let s be (-1628)/(-24) + (-2)/(-12). Suppose -g + s = 8. Suppose 0*a - 5*a = -g. Is a a multiple of 6?
True
Let h(y) = -3*y + 2. Let j be h(-2). Suppose 3*v + 25 = j*v. Is 5 a factor of v?
True
Let j(l) = -l**3 + l**2. Let u be j(1). Suppose u*p + 156 = 4*p. Is p a multiple of 13?
True
Let m be -48*((-3)/12 + -2). Suppose 0 = 2*v + a - 114, 2*v + a - 3*a = m. Does 28 divide v?
True
Let i be 62 + 12 + (-3 - 0). Suppose i + 73 = 3*w. Does 15 divide w?
False
Let f be 6 + (-3 + -3)/(-2). Let h(d) = -d**2 - 4*d - 2. Let j be h(-3). Let y = j + f. Is y a multiple of 5?
True
Let t = -6 + 6. Suppose -5*z + 3 = f, -5*z + 12 = 4*f - t. Suppose z = -7*p + 3*p + 24. Is p a multiple of 3?
True
Let g(i) = 10*i**2 - 3*i + 1. Does 20 divide g(-3)?
True
Suppose b - 31 = 4*c, 5*b + 15 = 2*b. Let g = c + 7. Is ((-3)/(-2))/(g/(-4)) a multiple of 3?
True
Let w(k) = 37*k**2 + k. Is 18 a factor of w(-1)?
True
Suppose 4*g = -4, -x + 4*x - 2*g - 251 = 0. Does 12 divide x?
False
Let s = 175 + -106. Does 23 divide s?
True
Let m(b) = -2*b + b**3 + 6*b + 3*b + b + 8 + 9*b**2. Is m(-8) a multiple of 4?
True
Let s(h) = -h - 8. Let q be s(-10). Suppose 6*c + 2*r - 54 = 2*c, -q*r = -4*c + 34. Is 11 a factor of c?
True
Let w(p) = 2*p**2 - 3*p + 2. Let g be w(4). Let d = -20 - -12. Let a = d + g. Is a a multiple of 7?
True
Let x(k) = -9*k + 9. Let l(j) = -8*j + 8. Let h(o) = -7*l(o) + 6*x(o). Is 5 a factor of h(4)?
False
Let y = -7 + -1. Let h be -4*(-6)/y*-2. Suppose -p + 3*c = 4*p - 131, -3*c - h = 0. Does 25 divide p?
True
Let f(h) = h**2 - 4*h + 2. Let t be ((-9)/1)/((-6)/4). Does 11 divide f(t)?
False
Suppose o - 3*o = -144. Suppose 22 = -5*h + o. Is 10 a factor of h?
True
Suppose 56 = 5*n - 0*n - 2*m, -2*n + 20 = -2*m. Suppose -3*o + 20 = 4*j, -3*j + j = 2*o - n. Suppose -j*s + 0*s + 16 = 0. Is s a multiple of 6?
False
Suppose 0 = -3*b + 4*a + 115, -4*b - 4*a = -a - 195. Does 2 divide b?
False
Suppose -g + d = 2*d + 68, 2*d - 179 = 3*g. Let y = g + 179. Suppose y = 5*p - 34. Does 24 divide p?
False
Suppose -10*f = -7*f - 36. Is 12 a factor of f?
True
Suppose -4*z - n = -834, -10 + 0 = 5*n. Is z a multiple of 11?
True
Let b be (-2)/(-7) + 320/7. Suppose 0 = 3*q - q - b. Suppose 113 = 4*k - q. Is k a multiple of 17?
True
Suppose y - 90 = -0*y + 5*n, 0 = 2*y - 4*n - 162. Does 21 divide y?
False
Suppose -4*z + 48 = -4*b, 0 = z - 3*b + 7*b - 7. Let f = z + 0. Is f a multiple of 6?
False
Let p = 8 - 30. Let i = 16 + p. Does 2 divide 4/(-6) + (-16)/i?
True
Let q = -13 + 18. Let s = 7 - q. Suppose -2*m + 14 + 20 = -s*j, m - 4*j = 14. Does 11 divide m?
False
Let k = -24 + 27. Let h(m) = 6*m - 8. Is h(k) a multiple of 4?
False
Let q = 60 + -24. Is 12 a factor of q?
True
Suppose 3*s + 4*r = 67, 0 + 2 = -r. Let d = 70 - s. Does 18 divide d?
False
Suppose 0 = l + l - 5*p - 153, 2*l - 150 = 4*p. Suppose -3*n = -3 - l. Is 12 a factor of n?
True
Let c(t) = t**3 + 10*t**2 - 8*t. Let l be c(-11). Let o = 61 + l. Is o a multiple of 6?
False
Let j = 309 - 172. Is 29 a factor of j?
False
Is 39 a factor of (56/(-70))/((-1)/110)?
False
Is 1/4 - (-811)/4 a multiple of 52?
False
Suppose -4*r = -480 + 84. Is r a multiple of 6?
False
Suppose -w = h + 2, 3*h + w = -w