of 10?
True
Is 35 a factor of (-232155)/(-180) - (-2)/8?
False
Let s(p) = p**3 + 33*p**2 + 29*p + 147. Is 15 a factor of s(-31)?
True
Suppose 25 = 5*r - 5*w, -19 = -4*r - 0*w + 3*w. Let v = 4 - r. Suppose -5*p - 2*h = -109, v = -6*h + 2*h + 8. Is 7 a factor of p?
True
Suppose -6*u = -295 - 701. Is u a multiple of 7?
False
Let g(w) = w**3 - 16*w**2 + 38*w - 33. Is 4 a factor of g(15)?
True
Let c(d) = d**3 - 8*d**2 - 7*d + 9. Let z = -1 + 10. Let x be c(z). Does 11 divide -2 + (x - (3 - 1))?
False
Let y = 39 - 36. Suppose -128 + 11 = -y*a. Does 18 divide a?
False
Let l be (942/24)/(0 - 3/(-24)). Let c(n) = -n**2 + 6*n + 5. Let h be c(6). Suppose h*x - l = -4*y - 89, x - 61 = -4*y. Is x a multiple of 25?
False
Let l = -3573 + 5378. Is l a multiple of 10?
False
Let n(p) = p + 4. Let x be n(-6). Let t(o) = -2*o**3 - 4*o**2 - o + 4. Let y be t(x). Suppose -y*z = -2*z - 64. Is 8 a factor of z?
True
Suppose -5*b + 6 = -2*z, 4 + 0 = -b + 3*z. Suppose -264 = -3*w - c, b*w - c = -w + 258. Is 14 a factor of w?
False
Suppose -11*w + 300 = -8. Does 9 divide w?
False
Let a be 1 + 3 + 2 + -6. Suppose 2*b = 4 - a. Suppose -2*i + 28 = b*i. Is i a multiple of 2?
False
Let z = 457 - -920. Is 14 a factor of z?
False
Suppose -2*u = 3*t - 66, -29 = -3*t - 3*u + 37. Let a = -20 + t. Is a a multiple of 2?
True
Let l(x) = -47*x - 77. Does 55 divide l(-4)?
False
Let q(m) = 6*m**2 - 4*m + 2. Let d be q(1). Suppose -d*a - 8 = -252. Is a a multiple of 43?
False
Suppose -p + 4*p + 5*g = -96, -3*p = g + 108. Let s = 83 - p. Does 30 divide s?
True
Suppose -2*i + 5*i = 2097. Is 76 a factor of i?
False
Suppose -3*a + 10*d + 1447 = 5*d, -3*a + 1455 = 3*d. Does 22 divide a?
True
Is 52*-1*13/(-26) even?
True
Suppose 0*n = 5*z - 5*n, -3*z - n = -16. Suppose -9 = -3*a, -3*q + z*a + 86 - 8 = 0. Does 10 divide q?
True
Let q be 6/12 - (-22)/4. Let r be q/(0 + -2) + -7. Does 16 divide 5*(-3 + (-146)/r)?
False
Let x(m) = 2*m**2 - 6*m + 32. Let b be x(10). Let s = 308 - b. Does 34 divide s?
True
Let y(l) = 781*l**3 + l - 1. Is y(1) a multiple of 43?
False
Suppose 22*o = -2*l + 19*o + 2852, -3*o + 7112 = 5*l. Is 71 a factor of l?
True
Let x(t) = 5*t**2 - 10 - 13*t - 9*t**2 - t**2 + 4*t**2. Suppose 3*u + c + 12 + 10 = 0, -5*u - 42 = -c. Does 30 divide x(u)?
True
Let u be (-13)/(-11) + -3 + (-2)/11. Let m(t) = -8*t**3 - 2*t**2 - 3*t - 2. Is m(u) a multiple of 20?
True
Let s(r) be the second derivative of r**3 + 9*r**2 - 9*r. Is 16 a factor of s(6)?
False
Is 7 a factor of 2/(-9) + 2974/18?
False
Let r = -18 - -19. Is 18/12*(r + (17 - 0)) a multiple of 17?
False
Suppose -7*v - 88 = -1264. Is 2 a factor of v?
True
Is 11 a factor of (-60)/((12 + -10)/(-4))?
False
Let t(y) = -2*y**2 - 5*y - 4. Let c be t(-7). Let b = c + 40. Is (2 - b/6)*4 a multiple of 18?
False
Let l = 397 - 278. Suppose 7*f = l + 273. Is f a multiple of 8?
True
Let q = 1145 - 1093. Is 3 a factor of q?
False
Suppose 4*j + 498 = 10*j. Is j a multiple of 5?
False
Suppose -8*o = 13 - 509. Is o a multiple of 4?
False
Suppose -7*c - 12 = -11*c. Suppose -2*p + 9 = 5*i - p, -c*i = -5*p + 17. Is 11 a factor of i + (-132)/(-3) + -1?
True
Suppose -c = a - 2, 2*c + 4*a + 6 = 7*a. Suppose -3*v = t - 1, -9 = -2*t - c*v + v. Suppose t*p + 0*p - 192 = 0. Is p a multiple of 16?
True
Let p = 233 + 1607. Does 14 divide p?
False
Is 2 a factor of -3 - (52/(-4) + 5)?
False
Does 2 divide 21087/108 + 2/((-16)/(-6))?
True
Let g be (-8)/3*(-36)/16. Let t be (-4)/g - 24/18. Does 14 divide t/(-6) + (-158)/(-3)?
False
Suppose 38*h - 8767 = 1797. Is h a multiple of 22?
False
Suppose -c + 62 = -21. Is 6 a factor of c?
False
Let y(z) = 376*z**2 - 1. Is 42 a factor of y(1)?
False
Suppose -4*d + 4*t + 113 + 511 = 0, -463 = -3*d + 2*t. Is 19 a factor of d?
False
Suppose 2*i - r + 4*r - 48 = 0, -i - 3*r + 24 = 0. Suppose i + 1 = 5*w. Is (3/w)/(12/900) a multiple of 15?
True
Let k(s) = s**3 + 5*s**2 + 2*s. Let i be k(-2). Is ((-18)/(-7))/(i/112) a multiple of 14?
False
Let q(k) = 5*k - 5. Let h be q(2). Suppose -5*f - 170 = -2*r - 2*r, 0 = 2*r - h*f - 80. Is 16 a factor of r?
False
Suppose 8*p - 3*p = 15. Suppose 5*k + 5*j - 625 = 0, -6*j + p*j + 249 = 2*k. Does 21 divide k?
True
Let b be (-3 - 14/(-4))*10. Suppose -14 = -5*k + 11, -4*s + 385 = b*k. Does 18 divide s?
True
Let u be (1 + -1)/((-2)/(-1)). Let m be -3 - (-1 - 4 - u). Suppose -m*w + 5*i + 93 = 0, 12 - 177 = -4*w + 3*i. Is 13 a factor of w?
True
Suppose 2*z - i = 4*i - 6, -2*z = -i + 6. Let p(q) = -5*q**3 - 3 + q**3 - q + 3*q**3 - q**2 + 0*q**2. Is p(z) even?
True
Suppose 0 = -4*n + 7*n - 9. Let v(j) = 2*j. Is v(n) a multiple of 3?
True
Suppose -28*o + 25 = -23*o. Suppose -5*j + 530 = -o*q, -3*q + 23 + 75 = j. Is j a multiple of 13?
True
Let x = -366 - -540. Is 10 a factor of x?
False
Let l(b) = -b**3 - 16. Let x be l(0). Let f = -3 - x. Is f a multiple of 11?
False
Let y(i) = -i**2 + 12*i + 17. Does 17 divide y(12)?
True
Let p = 1011 - 282. Is p a multiple of 13?
False
Suppose 17*k - 21*k = 384. Is (k/7)/((-14)/147) a multiple of 36?
True
Let b(m) = 1. Let h(f) = 18*f + 6. Let r(w) = -5*b(w) + h(w). Is 19 a factor of r(10)?
False
Let k(d) = 9*d**2 + 14*d + 121. Does 80 divide k(17)?
True
Suppose 60*l - 219246 + 9666 = 0. Is 10 a factor of l?
False
Suppose -8*x = -4*x. Suppose -3*s = -5*a - 25, x = s + 4*s + 4*a - 17. Suppose -2*k + 8 = 0, -3*g - s*k + 25 = -181. Is 24 a factor of g?
False
Let f = 1499 + 949. Is 17 a factor of f?
True
Let j(g) = 10*g**2 - g + 2. Let f be ((-6)/2)/((-6)/(-32)). Let r = f + 18. Does 20 divide j(r)?
True
Let w(l) = -l**3 - 4*l**2 + 6*l. Is w(-6) a multiple of 18?
True
Let l(t) = -3*t**3 + 2*t**2 - 19*t - 58. Is 77 a factor of l(-5)?
True
Suppose 5*l + 28 = -12. Is 96*(-6)/36*l a multiple of 32?
True
Let h(i) = -i**3 - 4*i**2 + 4*i + 6. Let u be 4/2 - (-6)/3. Suppose 21 - 1 = -u*r. Is h(r) a multiple of 11?
True
Does 5 divide 6/(-5 - (-356)/70)?
True
Let k = -583 + 1003. Does 15 divide k?
True
Suppose y + 8 = 1. Let j(h) be the third derivative of h**6/120 + h**5/10 - 5*h**4/12 - 58*h**2. Does 7 divide j(y)?
True
Let b(f) = -f + 8. Let h be b(7). Let m = h + 5. Suppose -m = -5*u + 4*u. Is u even?
True
Let o(d) = d. Let k be o(-2). Let j be (1 + -2)/(k/12). Is 1098/12 - (-3)/j a multiple of 34?
False
Let y = 165 + 60. Let c = 327 - y. Does 17 divide c?
True
Let g = 90 + -46. Suppose 3*w - g = 2*w. Suppose 0 = -4*z + 3*k + 96, -w - 7 = -3*z - 3*k. Is 7 a factor of z?
True
Let l(a) = 7*a**2 - 10*a - 99. Does 7 divide l(-8)?
False
Let z = 423 - 172. Is 26 a factor of z?
False
Let q(a) be the third derivative of 2*a**5/15 + a**4/8 - a**3/3 - 16*a**2. Is 18 a factor of q(2)?
True
Let y(g) = -22*g - 551. Is y(-85) a multiple of 5?
False
Let m(b) = -b**3 - 10*b**2 - 17*b - 8. Let s be m(-8). Suppose 0 = -p - v + 41 + 105, s = 2*p + 5*v - 280. Is p a multiple of 24?
False
Suppose -a + 4*n = 4*a + 83, -50 = 4*a + 5*n. Does 7 divide -14 + 12 + (0 - a)?
False
Suppose -9656 = -212*d + 178*d. Does 37 divide d?
False
Suppose -5*i - 14 = -19. Does 32 divide i*4*(43 + 13)?
True
Let z be (-2)/8 - (-4)/16. Suppose -2*j + z*j + 8 = 0. Suppose -4*n - j*p + 137 + 35 = 0, 0 = 5*n - 5*p - 205. Does 21 divide n?
True
Let o be 8/(1 - 5)*(-254)/4. Suppose -q = 4*b - 154 - o, 365 = 5*b + 4*q. Is 23 a factor of b?
True
Suppose -375 = -5*a + 3*u - u, 4*a - u - 303 = 0. Let d = 0 + a. Is 11 a factor of d?
True
Suppose -12 = 6*h - 8*h. Suppose 4*q - 2*q - h = 0. Suppose t + 5*y = 2*y + 63, t - q*y - 33 = 0. Is t a multiple of 17?
False
Let a(b) = b**3 + 8*b**2 - 4*b - 58. Does 13 divide a(12)?
False
Let h(k) = -10*k + 1. Let b be h(10). Let a = -83 - b. Is 16 a factor of a?
True
Is 4 - -729 - (-9 - -2) a multiple of 37?
True
Let w(m) = -14*m + 56. Let r be 15/(-25)*5*2. Is w(r) a multiple of 18?
False
Suppose -6 = -a - 3. Let r(s) = -a*s**2 + 3*s**2 + s**2 + 44 + s. Does 8 divide r(0)?
False
Let s = 25 - 15. Suppose -2*o + 0*o + s = 0. Suppose -3*d = -2*z + 7*z - 30, d - o*z - 30 = 0. Does 6 divide d?
False
Let i = -73 - -86. Let z(h) = 2*h - 24. Is 2 a factor of z(i)?
True
Let a = 501 + -106. Is 18 a factor of a?
False
Let k be 66/4 - (-18)/(-12). Suppose -67 = -k*h + 218. Is h a multiple of 3?
False
Let b be -4 + 3/((-3)/2). Let r(f) = 4*f + 2*f**2 - 1 + 7 - 5*f - 2. Is r(b) a multiple of 14?
Fals