alse
Let q(j) = 2*j**2 + j + 3. Let h be q(-3). Let w be (-4)/h - 60/(-27). Suppose -3*u - 5*t = -38, -16 = -2*u + t - w*t. Does 6 divide u?
True
Suppose 0*g = -3*g + 78. Let v = g + -11. Is v a multiple of 9?
False
Suppose 2*r - 5*i = r + 72, 0 = 2*r - 3*i - 137. Is 16 a factor of r?
False
Let u be (-594)/(-15) - (-2)/5. Suppose 5*f - u = -5*i, 4*f - 7 = -i + 10. Suppose n + 2*a = 1, n - i*a - 2 = 3*n. Is 9 a factor of n?
True
Let x = -41 - -50. Is x even?
False
Let s(k) = 25*k**2 - k. Let m = -2 - 0. Let j = m + 3. Is s(j) a multiple of 15?
False
Let w(o) = -o**2 - 10*o - 4. Let p(g) = g**2 + g + 1. Let k(j) = -2*p(j) - w(j). Let z be k(9). Let u = z + 34. Is 27 a factor of u?
True
Let x(i) = 2*i**2 - 9*i + 14. Let a be x(6). Suppose 4*o - 80 = 4*n, n = o + 3*n - a. Is o a multiple of 8?
True
Is (-2)/(-4) + 807/6 a multiple of 39?
False
Suppose v + 4*z - 35 = 3, 0 = -5*v + 3*z + 75. Does 12 divide v?
False
Let x be 3/9 + 3/(-9). Suppose -z - 4*z + 170 = x. Suppose z = 5*b - 16. Is b a multiple of 8?
False
Let k(f) = -11*f**2 + 3 - 3*f**2 + f**3 + 4*f**2 - 8*f. Is k(11) a multiple of 9?
True
Let q = 6 + 50. Is q a multiple of 31?
False
Let f(r) = r**3 - 6*r**2 + 2*r + 18. Is f(8) a multiple of 27?
True
Suppose -5*s = -5*x + 677 + 498, x - 2*s = 231. Does 31 divide x?
False
Let t(k) = 0*k - 2*k**3 + 3*k**2 - 3*k + k**3. Let q be t(2). Is 0 - 26*3/q a multiple of 16?
False
Let x be -1 + 3 + 4/(-1). Let b be (-6)/(-9) - (-296)/(-12). Let j = x - b. Does 11 divide j?
True
Suppose 4*z = -8*z + 2676. Is z a multiple of 15?
False
Let p = 40 - 29. Suppose 0 = -5*q + 4 + p. Is 2 a factor of q?
False
Let p(k) = -k**2 - 10*k + 3. Let o be p(-5). Let s = o + -4. Is s a multiple of 12?
True
Let a be (-2)/1*4/(-8). Suppose 5*q = 9 + a. Does 7 divide 567/14*q/3?
False
Is (-2)/((2/(-50))/((-2)/(-5))) a multiple of 10?
True
Suppose 0 = -0*r - 4*r + 16. Suppose -r*o = -o + 6. Is 3 a factor of -3 + (54/(-3))/o?
True
Let h(u) = -52*u - 2. Let t be h(-5). Suppose 157 = 3*o + 4*f, 4*o + 3*f = -o + t. Does 17 divide o?
True
Let t(p) = -5*p**2 - 2*p - 1. Let x(a) = -a**2. Let c(m) = -t(m) + x(m). Is c(-1) a multiple of 3?
True
Suppose 5*m - 4*u - 1 - 24 = 0, 2*m = -2*u + 10. Suppose 3*l = m + 7. Is l a multiple of 4?
True
Suppose 2*i = 20 + 210. Suppose -3*n = 28 - i. Is 29 a factor of n?
True
Let v = -11 + 65. Suppose 0*c + v = c. Is c a multiple of 18?
True
Suppose 0 = -0*l - 5*l + 900. Is l a multiple of 15?
True
Let r = -237 + 408. Is 57 a factor of r?
True
Does 8 divide (4 - -22) + -3 + 1?
True
Let n be 4/1 + -1 + 0. Let y(x) = 5*x**2 - 3*x. Let u(s) = -s**3 - 25*s**2 + 15*s + 1. Let v(b) = -2*u(b) - 11*y(b). Is 8 a factor of v(n)?
True
Suppose -3*m + k = 2*k - 271, -2*m = 5*k - 159. Does 12 divide m?
False
Let j = -34 + 64. Let r be (-3 + 4)/((-1)/11). Let v = j + r. Is 8 a factor of v?
False
Suppose 0 = 4*x - 15 - 13. Let h(m) = -m**3 + 7*m**2 + 3*m - 9. Does 6 divide h(x)?
True
Let g(v) = v**2 + 2*v + 1. Let a be g(-3). Let h(f) = 2*f**3 - 7 - 4*f + 3 - 3*f**3 - a*f**2. Is 12 a factor of h(-4)?
True
Let a(o) = o + 6. Let u be a(-8). Let b be 3 - ((-3 - u) + 8). Is 14 a factor of 36 + -2*2/b?
False
Let z(x) = -x**3 + 17*x**2 + 26*x - 45. Does 8 divide z(18)?
False
Suppose 0 = -3*x - 2*x + 2*h + 24, 2*x - 3*h - 14 = 0. Suppose 0 = -2*a - 5*t + 32, 0*a + x*t = -5*a + 46. Is 8 a factor of ((-48)/10)/(a/(-20))?
True
Let r = 81 - 39. Let p = -12 + r. Is p a multiple of 10?
True
Let x(b) = 1. Let k(v) = 3*v + 10. Let m(i) = k(i) - 5*x(i). Does 6 divide m(4)?
False
Let s(c) = -c**3 + 11*c**2 - 13*c + 2. Does 23 divide s(9)?
False
Let g be -2 + 3 + -2 + 162. Let o = g - 85. Is o a multiple of 19?
True
Suppose -21 + 57 = -4*i. Let q be (-6 - i)*(-256)/(-6). Suppose -7*l + 3*l = -q. Is l a multiple of 18?
False
Let p(t) = 9*t**2 + t - 4. Let o be p(3). Suppose 7*b = 3*b + o. Is 10 a factor of b?
True
Let m be 114/(-8) - 2/(-8). Let s = m + 51. Let l = s + -22. Does 9 divide l?
False
Let v(q) be the first derivative of q**4/4 + q**3 - 3*q**2/2 + 4*q - 4. Let r be v(-4). Suppose 3*z - 5*u = -r*u + 44, 4*u + 69 = 5*z. Does 5 divide z?
False
Let r = -6 - 11. Let k = -13 - r. Does 3 divide k?
False
Is 7 a factor of 12 + ((-36)/3)/(-4)?
False
Let u(n) = n**2 - 3*n + 5. Is 23 a factor of u(9)?
False
Let x(v) = v**2 + 1. Suppose 3*k + 1 = -5. Let f be x(k). Suppose m = f*s - 144, -s - 3*m = -2 - 14. Does 9 divide s?
False
Let c(k) = -10*k - 2*k**3 - 3*k**2 - 6*k**2 + 2 + k**3. Let a be (-3)/(-2 + (-38)/(-16)). Is c(a) a multiple of 16?
False
Let s(d) = -5*d**2 + 4*d - 2. Let z be s(2). Let q = z - -21. Is 2 a factor of q?
False
Suppose -7*f + 440 = 3*f. Does 11 divide f?
True
Is (-5)/(175/(-10)) + 2432/14 a multiple of 29?
True
Suppose 0*f + 4*a - 24 = -5*f, 0 = -5*f + 2*a + 18. Suppose -f*t + t = -9. Suppose -1 = v - t. Does 2 divide v?
True
Let z = -63 - -107. Is 8 a factor of z?
False
Let q = -150 - -240. Suppose 0 = 3*z + o - 90, 0*o - q = -3*z - 3*o. Is 13 a factor of z?
False
Let i be (-4)/((-8)/(-18)) - -1. Let t = 29 + i. Does 6 divide t?
False
Let s = 150 - -7. Is 35 a factor of s?
False
Let h(f) = -f**3 + 6*f**2 + f + 2. Let b be h(4). Let z = b + 7. Is 14 a factor of z?
False
Let n(z) = -z + 41. Let x be n(0). Suppose 0 = -4*l - 9 + x. Is 3 a factor of l?
False
Let k(j) = -j**3 - 3*j**2 - 2*j - 1. Does 5 divide k(-3)?
True
Let z(m) = -m**2 + 5*m + 1. Let p be z(6). Let b = -6 - p. Does 6 divide (-17)/b - (1 + 1)?
False
Let r(t) = -3*t - 4. Let z be (4/(-6))/((-2)/9). Suppose 5*g = 2*b + 20, -z*b + b = 5*g. Does 11 divide r(b)?
True
Let u(y) = -y**3 + 6*y**2 + y - 3. Let h be u(6). Let c(i) = i**2 + 3*i + 4. Does 11 divide c(h)?
True
Suppose m + 4*h = 42, -3*h - 85 = -5*m + 2*h. Is m a multiple of 11?
True
Suppose 0 = 2*c - 119 - 123. Is c a multiple of 14?
False
Suppose 5*r - 7*r = -4. Let f be 3/(0 - 3/(-2)). Suppose 0 = -r*c - f*h + 20, -h - 33 = -3*c - 3*h. Does 5 divide c?
False
Suppose -23 = 3*r - 2*r. Let h = 55 + r. Is h a multiple of 16?
True
Let r(q) = -q**2 + 1. Let j be r(-1). Let t be (4 - (-1 + 3)) + 25. Suppose -4*d - 3 + t = j. Is 6 a factor of d?
True
Suppose 0*j = -2*j. Suppose -3*z - 4 + 10 = j. Suppose 63 = q + z*q. Is 7 a factor of q?
True
Suppose c - 10 + 8 = 0. Let w be 3/(c*3/6). Suppose -w*n = -33 - 3. Is n a multiple of 6?
True
Let f = 34 + -15. Is 5 a factor of f?
False
Let h(c) = -c**2 - 5*c - 1. Let g be h(-5). Let o be -11 - (0/g + -2). Is 4 a factor of (6/(-9))/(1/o)?
False
Let s be 8/(-3) + 2/3. Let x be (-1)/4 - s/8. Let z(c) = c + 27. Is z(x) a multiple of 13?
False
Suppose -5*p + 4*x - x + 207 = 0, -3*p + 133 = -4*x. Let w = -20 + p. Is 9 a factor of w?
False
Suppose -3*f + 112 = f. Is f a multiple of 14?
True
Suppose s = 5*x + 28, -1 = -2*s - 3*x + 2*x. Suppose -20 = 4*q - 164. Suppose n + 29 = s*n + t, -t - q = -3*n. Is 13 a factor of n?
True
Is 11 + (-3)/(15/20) a multiple of 7?
True
Let l = 251 - 160. Does 14 divide l?
False
Let s(c) = 5*c**3 - 2*c + 1. Let w be s(1). Suppose -5*o - w*a = -66 - 24, 5*o + 5*a - 95 = 0. Does 11 divide o?
False
Let s(y) be the first derivative of -6*y + 1/4*y**4 - y**3 + y**2 - 1. Does 9 divide s(4)?
True
Let w = 18 - 12. Let d(z) = -2*z**2 - 6*z - 4. Let x(k) = -5*k**2 - 18*k - 12. Let m(p) = 8*d(p) - 3*x(p). Does 2 divide m(w)?
True
Suppose -8 = 2*i + 136. Does 9 divide (i/(-28))/((-1)/(-7))?
True
Suppose -266 - 223 = -3*j. Suppose -3*w + 5 = -j. Is 14 a factor of w?
True
Let p(d) = -d**3 + 13*d**2 - 2*d + 11. Let q be p(13). Let w = 1 - q. Is 8 a factor of w?
True
Let w = 16 + -9. Suppose -3*f - 40 = -w*f. Does 10 divide f?
True
Suppose 4*s = -s + 5*m + 255, -3*m - 209 = -4*s. Does 16 divide s?
False
Suppose 2*i - 6 = -0*i, -3*i = 2*b - 41. Does 9 divide b?
False
Let p(y) = -5*y**3 - 6*y**2 - 6*y - 4. Does 19 divide p(-3)?
True
Let x = 81 + -53. Suppose 3*n + 3*v = 24, 3*v + x = n - v. Is 12 a factor of n?
True
Suppose -2*r - r - 6 = 0, -3*x + 3 = 3*r. Suppose -65 = -x*a - 0*d + d, -2*d - 110 = -5*a. Let l = a - 8. Does 6 divide l?
True
Let f(m) = -m**2 + 11*m - 8. Let l be (60/9)/(2/3). Let x be f(l). Let u = 19 + x. Is u a multiple of 10?
False
Suppose -5*z - 249 = -34. Let x = z + 65. Suppose 2*w = -2 + x. Does 5 divide w?
True
Suppose -3 = 5*j + 27. Let t be (4/6)/((-4)/j). Is 4 a facto