6*x - 3. Let a be n(2). Let z = 263 + a. Is 18 a factor of z?
True
Let b(r) = r**2 - 20*r + 23. Let z be b(18). Let u = z + 15. Is 5 a factor of 2 - u*51/(-6)?
False
Suppose 2*f = -6, 46 = 4*v + 5*f - 47. Suppose 5*u = -5*s - 20, 5*u - v = 4*s - 2. Suppose 7 = c - 3*g, 4*g + 23 = 2*c + u. Is 12 a factor of c?
False
Let k be ((-1)/3)/((-7)/(-42)). Let s be (-6)/k*6/(-3). Let o(a) = -5*a - 1. Is o(s) a multiple of 23?
False
Suppose 0 = 3*p + 6*p - 36. Suppose -h + 0*s = -3*s - 133, -p*h + 504 = -5*s. Is 26 a factor of h?
False
Let p = -1361 - -2401. Does 65 divide p?
True
Let c be 56/(-14) + (0 - -3). Let g be (-7)/((-21)/27)*c. Is 21 a factor of (-184)/12*g/6?
False
Suppose 4*w = -5*k + 1585, 5*w = -0*k + 4*k + 1930. Is 6 a factor of w?
True
Let c(p) = 2*p**3 + 0*p + p + 0*p**2 - 2*p**2. Suppose 2*j + 2*g = 8, 2*j - 10 = 2*g - 5*g. Is 10 a factor of c(j)?
True
Let r = 3968 + -1688. Does 114 divide r?
True
Suppose -2*a + 326 = 4*j, 4*j + 640 = -2*a + 6*a. Is a a multiple of 7?
True
Let q = -14 - -22. Suppose -q*u = -258 - 78. Is u a multiple of 13?
False
Suppose 4*b + 386 = -3*y, b = -b - 4. Let v = y - -182. Does 8 divide v?
True
Let q(v) = 34*v + 750. Is q(-19) a multiple of 8?
True
Let k be 36/(-84) + 305/(-7). Let y be k/(-12) - 2/(-6). Suppose y*h - 59 = 169. Is 19 a factor of h?
True
Suppose -3*z - 25 = -o - 10, -4*z = -2*o + 26. Does 5 divide o?
False
Let f(j) = 21*j**2 + 13*j - 35. Is 20 a factor of f(4)?
False
Let r be (-4 - -9)*(-248)/(-10). Suppose -r = -5*d + 216. Does 17 divide d?
True
Suppose 2*h = 78 + 146. Let z = -71 + h. Suppose 2*y - z = 31. Is 12 a factor of y?
True
Let i = 34 - 32. Suppose i*o = -5*b + 5*o - 195, 4*b + o = -139. Let l = b - -59. Does 5 divide l?
False
Let h(r) = 153*r + 11. Let y be h(6). Suppose 411 = 5*q - 5*w - y, -5*w = -q + 264. Is q a multiple of 45?
False
Suppose 0*g = 3*h + 5*g - 3311, -4*g - 5543 = -5*h. Is 41 a factor of h?
True
Let h = 1471 + -981. Does 10 divide h?
True
Let n be 109 + 1 + 5/(-15)*-3. Let u = n + -55. Does 10 divide u?
False
Suppose 4*c = -5 - 27. Let v(o) be the second derivative of -o**4/12 - 3*o**3/2 + 5*o**2/2 + 23*o. Does 7 divide v(c)?
False
Let b(q) = -9*q - 21. Let s be b(-10). Let x = s + -21. Does 8 divide x?
True
Let f(i) = 11*i**2 - 2*i + 14. Does 9 divide f(-6)?
False
Let n = -267 + 563. Suppose z + 58 = -3*l + n, 0 = 2*l - 4*z - 182. Is 25 a factor of l?
False
Let j = -943 - -1183. Is j a multiple of 11?
False
Let r(v) be the first derivative of -v**3/3 - 7*v**2/2 + 20*v + 9. Let f be r(-9). Is -3 - -60 - (f + -1) a multiple of 14?
True
Suppose -m + 0*m + 351 = -3*x, -m - 2*x + 346 = 0. Does 58 divide m?
True
Let f(r) = -4*r**2 - 6*r + 4. Let s be f(-2). Suppose -b + 180 - 21 = s. Is b a multiple of 53?
True
Suppose p + f + 7 = 33, -4*p = -4*f - 80. Suppose 0*v + 4*v + 84 = 4*i, i = -v + p. Is 13 a factor of i?
False
Let s(g) = -2*g - 44. Let q be s(-26). Suppose -d - r + q = -2, 3*d = 2*r + 15. Is 5 a factor of d?
False
Is 33636/60 + 9 - 4/(-10) a multiple of 6?
True
Let k(f) = f**2 - 5*f - 46. Is k(-18) a multiple of 9?
False
Suppose -8 + 2 = -3*y. Suppose 5*p + 1 - 6 = 4*b, 0 = -3*b - y*p - 21. Let t(h) = -3*h - 4. Is t(b) a multiple of 3?
False
Is 28 a factor of 1/(-3) - -12*(-3014)/(-99)?
False
Suppose 307*y = 291*y + 1904. Is 7 a factor of y?
True
Let l(v) = 68*v - 11. Is l(4) a multiple of 29?
True
Suppose 3*y + 159 + 168 = 0. Let v = 181 + y. Does 12 divide v?
True
Let h(f) = -f**2 + 7 + 7*f - 21 + 6. Let k be h(4). Suppose 0*s + k*s = 60. Is 14 a factor of s?
False
Suppose 52*y = 64*y - 6732. Is y a multiple of 82?
False
Let c = 35 - 33. Suppose c*j - 51 = -2*w + 5*j, w = j + 24. Does 21 divide w?
True
Suppose -4*j = -0*j - 4*g - 2104, 4*j - 2107 = 3*g. Does 21 divide j?
False
Let b(h) = -45*h**3 + 6*h**2 + 9*h - 11. Does 72 divide b(-4)?
False
Let v(a) = 2*a**2 - 6*a + 16. Let s be v(-8). Suppose -7 + 2 = -5*p, 0 = -4*o - 4*p + s. Is o a multiple of 20?
False
Suppose 0 = -y - 2*y + 9. Let d(t) = -t - 4*t + 2 + 3*t + 1 + 2*t**2. Is 5 a factor of d(y)?
True
Suppose 5*p + 2*o - 3*o - 2 = 0, -p - 4*o - 8 = 0. Suppose p = -3*g + 1 + 8. Let q = g + 48. Does 14 divide q?
False
Let n = 26 + -22. Does 4 divide -65*((-64)/20)/n?
True
Suppose 0*c + 8 = 2*c. Suppose 4*z = 16 + c. Suppose -d = -y - 32, z*y + 84 + 40 = 4*d. Is 18 a factor of d?
True
Let m = 894 + -901. Let n(r) be the third derivative of -r**6/120 - r**5/10 + r**4/4 - r**2. Is n(m) even?
False
Suppose 4*y - o = 16, -2*y + 16 + 2 = -3*o. Suppose -37 = -12*m + 11. Suppose 0 = b + y*g - 48, b = -m*g + 57 - 5. Is b a multiple of 12?
True
Suppose 3*x + 5*z - 215 - 36 = 0, 0 = -x + 5*z + 77. Is 82 a factor of x?
True
Suppose -23*r = -19*r - 24. Is 21 a factor of (-431)/(-4) + r/(-8)?
False
Let w be 32/(-8) + 0/(-2). Does 17 divide (0 + -33)/(2/w)?
False
Suppose 0 = -4*l + 12, -4*p = -2*p + 5*l - 53. Suppose 64 = p*z - 15*z. Is z a multiple of 2?
True
Suppose x = -2*x - 3*v - 6, 5*x = 2*v - 45. Suppose 0*w + q + 46 = -3*w, -5*w - q = 80. Let m = x - w. Does 5 divide m?
True
Let f = 246 + 21. Suppose 33 = 12*d - f. Is 13 a factor of d?
False
Suppose 3*v - 501 = 4*g, 0 = 3*v + g - 70 - 446. Is v a multiple of 18?
False
Let y(a) = -a**3 - 7*a**2 - 14*a - 31. Let p be y(-6). Let n(d) = -d**3 - 4*d**2 - 2*d - 4. Let o be n(-5). Let c = o - p. Does 5 divide c?
False
Suppose 2*m + 5*w = 455, w = -5*m - w + 1127. Is 90 a factor of m?
False
Let n(m) = -m**2 - 5*m + 4. Let o be n(-3). Let k(i) = -i**2 + 15*i - 40. Let s be k(6). Suppose -112 = o*u - s*u. Is u a multiple of 18?
False
Let g(z) = z + 8. Suppose 0 = -y - 3*x - 5 - 10, 0 = 5*x + 5. Let c be g(y). Let d = 27 + c. Is 5 a factor of d?
False
Let t = 19 + -16. Suppose 0 = -4*j - t*o - o + 228, -276 = -5*j + 4*o. Is j a multiple of 10?
False
Suppose 218*x - 237*x = -3990. Is 15 a factor of x?
True
Let h be (316/8 + -2)*4/6. Suppose 27*z = h*z + 44. Does 5 divide z?
False
Suppose -8*o + 75 = 7*o. Suppose -3*r + u + 0*u = -644, o*u - 884 = -4*r. Is 18 a factor of r?
True
Let l = 0 - -3. Suppose l*a - 3*p = 144, -4*p - 148 = -3*a - 0*p. Is 4 a factor of a?
True
Is (1398 + -3)*(-10)/(-30) a multiple of 7?
False
Let q = 252 - 110. Suppose -2*d - 3*d + k + 688 = 0, -d + q = 2*k. Does 9 divide d?
False
Let s(y) be the first derivative of y**3/3 - 3*y**2 + 12*y + 2. Is s(10) a multiple of 13?
True
Let z be 12 + (2 + -2 - -3). Suppose -n + 30 = -5*j, z = 5*n + j - 31. Does 8 divide n?
False
Let s(u) be the first derivative of -u**2 + 1. Suppose 0 = 4*l - l + 4*t + 42, -l = 5*t + 25. Is s(l) a multiple of 17?
False
Suppose -q + 1683 + 50 = 0. Does 6 divide q?
False
Let r = 172 - 8. Is 5 a factor of r?
False
Suppose -2*i - 10 = 0, -6*i = -5*q - 4*i + 6300. Is q a multiple of 74?
True
Let n(f) = 2*f**2 - 7*f + 14. Let m be n(7). Suppose 0 = 2*d - 4*t - 22, -m = -6*d + d + 2*t. Does 13 divide d?
True
Suppose 1 - 5 = -2*n, -16 = -2*t - 3*n. Suppose 0 = -4*l + 12 + 4, 207 = t*v - 2*l. Does 12 divide v?
False
Suppose -14*o - 9334 = -40*o. Is 34 a factor of o?
False
Let c be 5/(-10) - (18/4)/(-1). Suppose c*v + v = 30. Is 6 a factor of v?
True
Suppose -6*s - 2048 + 6440 = 0. Does 26 divide s?
False
Let t = 51 + -46. Suppose t*q - 2*j - 340 = 0, 4*j = -5*q + 76 + 264. Is 15 a factor of q?
False
Let l = -5 + 8. Let z(h) = h - 8 + 4 + 0 + 13*h. Is 7 a factor of z(l)?
False
Is 3 - -260 - 2 - 0/(-2) a multiple of 9?
True
Is 10 a factor of 25553/69 - (-1)/(-3)?
True
Let t(j) = 7*j**2 - 4*j + 9. Is t(8) a multiple of 8?
False
Let j(x) = 12*x**2 - x + 8. Does 17 divide j(3)?
False
Let y be (-1 + -2)/(36/(-96)). Let r = y - 5. Let h(u) = 20*u. Is h(r) a multiple of 16?
False
Let x = -96 + 111. Is x a multiple of 8?
False
Suppose 8*p - 12*p - 4*i = -2852, 713 = p + 2*i. Is 13 a factor of p?
False
Let f(d) = -d**2 + 12*d - 14. Let l(c) = -c**3 - 7*c**2 - 8*c - 8. Let q be l(-6). Is f(q) a multiple of 6?
True
Let z(n) = -2 - n - 3 + 5 - 3. Let u be z(2). Does 9 divide (34 - 9)*(-2)/u?
False
Let m = -19 + 17. Let n = m + 4. Suppose -n*a + 87 = a. Is a a multiple of 7?
False
Suppose -521 - 1817 = -7*m. Is 27 a factor of m?
False
Suppose -2 = 4*l - 5*m, -4*l - 4*m + 16 = -0*m. Suppose l*t = 7 + 9. Does 3 divide t?
False
Suppose 2 = 2*u - u. Suppose -21*h + 22*h = -4*y + 19, 4*h + 4*y - 64 = 