Let v(u) = u**3 - u**2 - 8*u - 13. Let a = -40 + 45. Is 17 a factor of v(a)?
False
Let u = 202 + -62. Let b = u - 106. Is 5 a factor of b?
False
Let m = 73 - -521. Is 22 a factor of m?
True
Suppose -4*r - 3*d = -1405 + 227, 3*d + 894 = 3*r. Does 8 divide r?
True
Suppose -3*m + 1450 = 5*v, 0 = 4*m + 4*v - 1983 + 55. Does 7 divide m?
False
Is (-3 - 9243/(-5)) + 9/(-15) a multiple of 15?
True
Let j be -2 + (-44)/(-20) + 3/(-15). Suppose -5*g + 63 + 32 = j. Is 19 a factor of g?
True
Let u(o) = 6*o**2 + 4*o + 1. Let v be (11/(-33))/(2/((-24)/2)). Is u(v) a multiple of 16?
False
Suppose 2*y - 10 = -3*p, p + 3 = 2*y + 1. Suppose -6 = i - 5*b, p*b + 3*b - 10 = 0. Is i a multiple of 3?
False
Suppose 0 = -5*n + 3325 + 195. Is n a multiple of 7?
False
Let d be 764/(-36) - (-3)/(-54)*-4. Let h = d - -41. Is 4 a factor of h?
True
Let p = -76 + 101. Suppose -28*y = -p*y - 720. Is y a multiple of 24?
True
Let t be (-14 + 10)/(-1*1). Suppose 2*u + t = 3*u. Does 3 divide 10 + -3*u/12?
True
Suppose f = n + 2549, 10*f = 7*f - 4*n + 7612. Does 8 divide f?
True
Let i(t) be the first derivative of t**3 - 7*t**2/2 + 6*t + 1. Suppose 0 - 4 = n, 5*j = 5*n + 50. Is 24 a factor of i(j)?
True
Suppose -30*t + 16 = -26*t. Suppose -2*n - n + 308 = -t*f, 5*f + 110 = n. Is 20 a factor of n?
True
Let w = 14 + -3. Suppose 34 = -3*g - w. Let u = 85 - g. Is u a multiple of 29?
False
Let b(m) be the first derivative of 2*m**3/3 - 3*m**2 + 5*m + 1. Let x(l) = -3*l**2 + 15*l - 9. Let g be x(4). Is b(g) even?
False
Let m = 355 - 208. Let d = m + -102. Is d a multiple of 12?
False
Let f(r) = 3*r + 2 + 0*r + r - 3*r. Let p be f(-5). Does 3 divide (-1 - p) + (-4)/(-1)?
True
Let c = 1 - -2. Suppose -3*d = -2*k - 18, -3 - 3 = -c*d - 2*k. Does 2 divide d?
True
Suppose 0*o - 5*o + m + 522 = 0, 3*o - 306 = -3*m. Is o a multiple of 5?
False
Suppose -7*o = 2*o - 8073. Is 5 a factor of o?
False
Is -122*((-7)/4 + (-10)/(-40)) a multiple of 5?
False
Is 17 a factor of 6/(-15)*5*92*-2?
False
Is 12 a factor of (-4)/9 - (1 + 33141/(-27))?
False
Suppose 2*q + 362 = 410. Does 12 divide q?
True
Let j be 8 + -11 + 1 + 46. Suppose 0 = -j*z + 40*z + 236. Does 12 divide z?
False
Let d(t) = t**2 + 17*t + 20. Let p = 28 - 44. Let b be d(p). Suppose b*q = 3*q + 25. Is q a multiple of 25?
True
Suppose -24 = -3*t - 3*t. Suppose t*r = 1 + 15. Suppose 0*w + r*w = 84. Is w a multiple of 7?
True
Suppose -4*l - 20 = 0, -d = 3*l - 6 - 1. Is d a multiple of 3?
False
Let i = 394 + -196. Is 9 a factor of i?
True
Let r(l) be the first derivative of -l**6/360 - l**5/15 + l**4/8 - 5*l**3/3 + 2. Let y(d) be the third derivative of r(d). Does 14 divide y(-4)?
False
Suppose -2328 = -5*x - 3*g, -4*g = 8*x - 10*x + 952. Is x a multiple of 52?
True
Suppose -3*g = 3*q - 21, -2*g + 3*q + 14 = 2*g. Suppose 3*a - g*a + 384 = 0. Is a a multiple of 64?
True
Suppose b + 6 = 4. Let k be (b + 2)/(5 - 6). Suppose 3*z + z - 128 = k. Is 16 a factor of z?
True
Let q(v) = -10*v + 6. Let k be q(-7). Let i = 184 - k. Is 30 a factor of i?
False
Suppose 27 = -5*a - 263. Let w = a - -12. Let g = w - -78. Is 8 a factor of g?
True
Let a(i) = -i**3 - 4*i**2 - i - 1. Let y be a(-3). Let z(p) = -p - 10. Let s be z(y). Does 12 divide 12/((-4)/(-5 + s))?
True
Let a(p) = -p - 11. Let c be a(-20). Does 4 divide 5 + 94/(-18) + 344/c?
False
Let b(q) = -378*q + 965. Is b(-5) a multiple of 168?
False
Suppose -5*g + 5 = -3*i, -2*g = -5*i - 1 - 1. Suppose i*p + 10 = 5*p. Suppose -41 = 5*f + j - 203, -p*j + 36 = f. Is 16 a factor of f?
True
Let b = 8 + -6. Let v = 63 - 25. Suppose -4*m = b*o - o - v, 5*o = -m + 171. Is o a multiple of 6?
False
Let k(a) = 21*a**2 - 2*a + 1. Let n be k(1). Does 20 divide -48*(1 + (-65)/n)?
False
Let m be (-12)/(-9)*-3 + 208. Suppose -w + 5*w + m = 4*k, -3*k = -w - 145. Is 36 a factor of k?
False
Does 8 divide 453 - 12/(-4 - -1)?
False
Let y = 52 + -28. Let s = -2 - -4. Suppose k + y = s*k. Is k a multiple of 24?
True
Let d = -40 + 25. Let x = d + 18. Suppose -x*o + 242 = -3*w + 59, 0 = 5*o - 2*w - 302. Is o a multiple of 19?
False
Let j = -41 - -47. Does 3 divide j - (1 - -8) - -33*1?
True
Suppose 226*w - 227*w - 445 = 0. Let b = w - -815. Is 50 a factor of b?
False
Let i = -19 - -23. Suppose 305 = w + i*w. Does 6 divide w?
False
Let y be (-21)/28 - (-46)/8. Suppose y*x - 46 = 44. Does 14 divide (-6)/x - (-85)/3?
True
Suppose 8*k - 6*k - 3*y = 646, 310 = k + 5*y. Is 16 a factor of k?
True
Let r be -3 + (-90)/(-24) + 6/(-8). Does 35 divide (-212 - (r + 0))/((-90)/90)?
False
Let q = -196 + 821. Suppose 5*m = q - 135. Is m a multiple of 14?
True
Let w be -1*-9*(-15)/(-5). Does 9 divide (w/(-6))/(2/(-40))?
True
Let f(p) = 14*p + 4. Let v(x) = -x + 8. Let t be v(6). Suppose 1 = u - t. Is f(u) a multiple of 23?
True
Let g(o) = 5*o**2 - o. Let y be g(-1). Let p be (-12)/(-8)*(-68)/y. Let z = p + 32. Does 9 divide z?
False
Suppose 221 = z + 3*o - 66, 2*o - 1383 = -5*z. Suppose 84 = 3*q + 2*x - 339, -2*q + x = -z. Is 12 a factor of q?
False
Suppose 33*v + 1556 = 6968. Is 2 a factor of v?
True
Let p = -200 + 249. Does 3 divide p?
False
Let i = 283 - 260. Does 2 divide i?
False
Suppose 7*o - 18*o + 1892 = 0. Suppose 3*h + 3*l - 108 = 66, -3*h - 5*l = -o. Does 11 divide h?
False
Let h be (5*(-8)/(-50))/(2/5). Is 14 a factor of 4 + 36 - (1 + 1) - h?
False
Suppose -3*a - 1 = -28. Suppose g + a = 4*g. Suppose -g*i + 3*h + 135 + 6 = 0, i - 67 = -3*h. Is 23 a factor of i?
False
Let p(d) = 3*d**3 - 43*d**2 - 2*d + 17. Is p(16) a multiple of 23?
True
Let u(c) = c**2 - 15*c - 12. Let j be u(15). Let i = j - -17. Let n = 9 - i. Is n a multiple of 4?
True
Let u be -3*(-1)/((-1)/27). Let n = 113 + u. Is n a multiple of 16?
True
Let r be 19/(-4) + 5/(-20). Let u = -7 + r. Is 9 a factor of (-1 + u/(-4))*12?
False
Let k = -130 + 131. Let a(s) be the second derivative of 7*s**4/12 + s**3/3 - s**2/2 + s. Is 4 a factor of a(k)?
True
Suppose -4*n + 0*a + 50 = 5*a, 4*a - 7 = -n. Is (-516)/(-8)*10/n a multiple of 13?
False
Let l = 880 - 492. Is l a multiple of 64?
False
Let y be ((-45)/(-6))/(2/4). Let b(f) = -y*f + 3 + 2 + 3 - 4. Does 17 divide b(-2)?
True
Let i(w) = -w**2 + 4*w - 4. Let r be i(3). Let g = 1 + r. Suppose g*t - 5*t = -300. Is 20 a factor of t?
True
Suppose 522 = -5*c - 183. Let n = 59 - c. Is 23 a factor of n?
False
Let y(j) = 2*j + 8. Let n(b) = -3*b + 8. Let q be n(0). Does 14 divide y(q)?
False
Let s = 2 + 0. Let g(o) = o**2 + 5*o - 4. Let t be g(6). Suppose -s*q + 319 = 5*k, k + 0*k + q = t. Does 23 divide k?
False
Let c be 10/(-25) + (-759)/15 + -2. Let h = 6 - c. Is 9 a factor of h?
False
Suppose 0 = 13*s + 24*s - 46620. Is s a multiple of 6?
True
Let b be (362 - 12)*(-12)/(-10). Let n be (1 + 3)/(3/b). Is 9 a factor of (-10)/4*n/(-50)?
False
Suppose 0 = 2*b - 4*r - 14, -3*r - 23 = -4*b. Suppose 2072 = -b*x + 3*x. Does 19 divide ((-3)/2)/(21/x)?
False
Let u(b) = 2*b**2 + 10*b + 3. Let i be u(-5). Suppose -i*t + 333 = -h, -2*t + 2*h = 3*h - 217. Is t a multiple of 16?
False
Suppose 544 = 2*f - 2*j, 3*f - 71 = -3*j + 769. Is f a multiple of 3?
True
Suppose -12*l - 5*r = -11*l - 359, -3*r + 1436 = 4*l. Does 13 divide l?
False
Let s(b) = -b**3 + 6*b**2 - 5*b + 1. Let z be s(6). Is 12/(z/16 - -2) a multiple of 4?
True
Let v(f) = 5*f**2 + 4*f + 4. Let j be v(-2). Let m(h) = -2*h**2 + 16*h + 11 + 5*h**2 - 4*h**2. Is 8 a factor of m(j)?
False
Suppose 0*g + 5*g + 150 = 5*i, 0 = g + i + 40. Let a = 19 + g. Let j(q) = -5*q. Does 15 divide j(a)?
False
Suppose 0 = 2*v - 3*f - 24, -4*v = f - 9 - 11. Does 10 divide (4 - 15/v)*40?
True
Let y(b) be the first derivative of b**3/3 + 11*b**2/2 - b + 11. Is 18 a factor of y(-13)?
False
Is 8 a factor of (-1 - (-22)/4)*2856/18?
False
Suppose -9*j = -10*j + 162. Suppose 4*r - 478 = j. Is 44 a factor of r?
False
Let w be ((-1312)/40)/(1/(-5)). Suppose -w = -5*k + 276. Is 22 a factor of k?
True
Let q be 4*(0 - -8)/2. Let r = q - 12. Suppose 39 = 3*y + 3*h + 2*h, 0 = r*h. Does 13 divide y?
True
Suppose 4 = -t + 9. Suppose -5*o - 300 = -t*b, 5*b - 4*o = 292 + 4. Is 28 a factor of b?
True
Suppose -h + 92 = -5*h. Let w be 1524/24 - (-2)/4. Let k = w + h. Is k a multiple of 16?
False
Suppose 0 = -2*o - a - 4*a + 403, -3*a - 3 = 0. Is o a multiple of 51?
True
Suppose 32*m - 41*m + 981 = 0. Is 17 a factor of m?
False
L