ple of 73?
False
Let x = 633 + -631. Suppose s - t - 184 = -0*s, -x*s + t = -368. Is 23 a factor of s?
True
Let q(o) be the second derivative of 29*o + 3/2*o**2 + 0 - 1/6*o**3. Is 2 a factor of q(-8)?
False
Let w be 13 + 1 - (-5 - -9). Let g(o) = -w - 14 - 12*o - 20. Does 8 divide g(-13)?
True
Let c(h) = 6*h**3 + 2*h**2 - h. Let p be c(8). Suppose 10*q - 22*q + p = 0. Does 14 divide q?
True
Let f = 1076 + 57. Suppose 0 = -5*q + 5*z + 1145, 12*q - z - f = 7*q. Is 3 a factor of q?
False
Let v(u) = -8*u**3 + 4*u + 4. Let f(m) = -2*m + 2. Let z be f(-6). Suppose -12*h + z*h = -4. Is 12 a factor of v(h)?
True
Let f = -66 + 34. Let h = -29 - f. Suppose h*b - 1010 = -7*b. Is b a multiple of 23?
False
Let o = 34216 + -11952. Does 121 divide o?
True
Let r(t) = -t**2 - 11*t - 25. Let m be r(-3). Let q be 5 + m/2*6*1. Suppose -7*p + q*p - w + 455 = 0, 5*w - 205 = -2*p. Is 22 a factor of p?
False
Let l(n) = 4*n**3 - n**2 + 4*n - 2. Let q be l(1). Suppose 0 = -q*o + 305 + 460. Is o a multiple of 23?
False
Let r(c) = 15*c - 81. Let j(p) = -7*p + 40. Let m(x) = 7*j(x) + 3*r(x). Let i = -8981 - -8988. Does 6 divide m(i)?
False
Let p(c) = c**2 + 15*c - 19. Let n be p(-15). Let u = 757 - n. Suppose 0 = g + 5*w - 210, 4*g - u = -w - 3*w. Is 27 a factor of g?
False
Let u = 3769 + 2097. Does 14 divide u?
True
Suppose -5*y - 32 + 221 = p, 3*p = 3*y - 99. Let l = -32 + y. Is 17 a factor of 321/l + (9/5 - 2)?
False
Let t(y) = -10*y + 28. Let w be t(-31). Let v = w - 169. Is v a multiple of 13?
True
Suppose 0 = -t - 3*x + 111, 2*x - 42 - 68 = -t. Is t a multiple of 27?
True
Suppose 1484 = 6*k - 2386. Suppose 7*r + k = 8*r - 2*m, -3*r - 5*m + 1924 = 0. Is 27 a factor of r?
False
Suppose -3*v - j = -24, -4*v - j + 43 = 4*j. Suppose -809 = v*h - 5051. Is h a multiple of 16?
False
Suppose -4*m + 3*o = -6907, -6076 = -4*m - 2*o + 826. Does 11 divide m?
False
Let n = 120 - 122. Let a(o) = 67*o**2 + 14*o + 2. Is a(n) a multiple of 7?
False
Let y(k) = -3*k + k**2 + 3 - 3 + 12*k. Let w(o) = -o**3 - 13*o**2 - 10*o + 10. Let c be w(-12). Is y(c) a multiple of 5?
True
Let d(o) = 1003*o**2 - 1. Let t be d(1). Suppose t = 5*a - 1893. Is a a multiple of 12?
False
Let t(r) = -r**2 + 25*r - 49. Let m be t(23). Let y(s) = 4*s**3 + 3*s**2 - 5*s - 11. Let j be y(m). Let z = -50 - j. Is 2 a factor of z?
False
Suppose 67095 = -48*t + 459399. Does 11 divide t?
True
Let j be 856/(-14)*(-56)/16. Let f = 418 - j. Let a = f + -66. Is 37 a factor of a?
False
Let v(g) = g**3 - 13*g**2 + 3. Let c be v(13). Is 18 a factor of 1 + (-858)/(-9 + c)?
True
Let n(p) = p**3 + 6*p**2 + 3*p - 6. Let x(b) = b**3 + 2*b**2 - b. Let s be x(-3). Let o be n(s). Is 8 a factor of (o/(-1))/(-2 + 3)?
True
Suppose 12 = 2*t - 6*t. Let x(b) = 3*b**3 + 102*b**2 - 32*b - 9. Let j(l) = l**3 + 18*l**2 - 6*l - 2. Let c(r) = -11*j(r) + 2*x(r). Is 11 a factor of c(t)?
True
Let i = -4112 + 8915. Does 5 divide i?
False
Let y = 6592 + -3070. Does 46 divide y?
False
Suppose -5*i - 3507 = 4*n - 159, -i + 2*n = 664. Let y = -568 - i. Is 4 a factor of y?
True
Suppose -3*j - c + 38449 = 0, -11*j + 51259 = -7*j - 5*c. Does 89 divide j?
True
Let j be -91 - -2 - (-5)/(10/(-4)). Let r = j + 109. Is r a multiple of 3?
True
Let v(n) = 14*n**2 + 171*n - 974. Does 25 divide v(6)?
False
Let p(u) = -3293*u - 1012. Is p(-4) a multiple of 16?
True
Let t = -25869 - -34089. Is t a multiple of 98?
False
Let a(y) = -337*y + 74. Is a(-8) a multiple of 5?
True
Suppose -z + 107642 = 4*p, -4*p - 9*z + 107648 = -5*z. Is 345 a factor of p?
True
Let c(f) = 2*f + 10. Let t be c(-9). Let j be ((-3)/6 - -1)/(2/24). Does 32 divide 150*(2 + t/j)?
False
Let k(d) = -d**2 - 4*d + 24. Let r be k(-7). Does 32 divide 0*r/12 + 331?
False
Suppose 4*b + 5*p - 5332 = 0, -30*p + 29*p = 4*b - 5348. Does 180 divide b?
False
Suppose -18*l + 9 = -21*l. Let x be l + (3 - -4*8). Suppose x = 6*p - 268. Does 25 divide p?
True
Let l(j) = 7*j**2 + 7*j + 17. Let m = -148 - -141. Is l(m) a multiple of 46?
False
Let j = 31254 + -20844. Is 5 a factor of j?
True
Suppose -83*j + 78*j - 5*o + 22760 = 0, 2*o + 12 = 0. Is 18 a factor of j?
False
Suppose -2*w = -6*w + 184. Let t be 1/6 - w/(-12). Suppose -t*r + 10*r = 900. Does 16 divide r?
False
Let j(k) = 658*k**3 - 83*k + 176. Is 6 a factor of j(2)?
True
Suppose -9*t + 166126 + 106889 = 0. Does 20 divide t?
False
Let m be -36*2/(-8)*-51. Is 24 a factor of ((-32)/6)/(6/m)?
True
Suppose 0 = 4*u + 37 - 165. Let k = u - 33. Is ((-8)/4)/((2 - k)/(-18)) a multiple of 3?
True
Suppose -6*y = -17*y + 396. Let k = -33 + y. Suppose -6 = -q - d, 4*d - k*d - 28 = -3*q. Is 2 a factor of q?
False
Suppose -2*k + 311*r - 310*r = -94939, -4*k + 189863 = -5*r. Does 258 divide k?
True
Let m(u) be the second derivative of -2*u**3 + 1/20*u**5 - 21/2*u**2 + 1/2*u**4 + 0 + 19*u. Is m(-7) a multiple of 7?
True
Suppose 148*q - 144*q - 132 = 0. Suppose 3072 = 5*w - 4*h, 2451 = -q*w + 37*w - h. Is w a multiple of 18?
True
Does 10 divide (-26 - (19 - 23)) + 27142?
True
Suppose -36*v + 8008 = -10*v. Suppose -3*l = 9, 2*p - 325 - v = l. Does 5 divide p?
True
Let z be 15/18 - (-378059)/66. Suppose 1642 = 7*b - z. Does 27 divide b?
True
Let q(r) be the second derivative of r**5/20 + r**4/12 + 125*r**2 + 13*r - 6. Is q(0) a multiple of 10?
True
Does 56 divide 2944/3*12/10*525/60?
True
Let g = -129 + 130. Does 4 divide (1*(-4)/g)/(5/(-10))?
True
Let y = 230 + -171. Suppose -y*l + 550 = -57*l. Does 25 divide l?
True
Is 164 a factor of (0 + 1861/(-5))*5*-7?
False
Let i = 3883 - 2233. Is 25 a factor of i?
True
Suppose -19*h - 113*h + 335816 = -28*h. Is h a multiple of 12?
False
Let u(w) = 40*w**3 + 13*w**2 + 9*w - 2. Is u(4) a multiple of 4?
False
Is 7 a factor of 2296098/135 + -12 - ((-12)/45)/(-2)?
True
Is -12*(594/(-8) - 1) - 4/4 a multiple of 40?
False
Let b(t) = 13*t + 36. Let a be b(9). Suppose -4*g = 3*r + 259, -2*g + 289 = r - 4*r. Let d = r + a. Is d a multiple of 13?
False
Let v be 0 - (-6 - 3) - -4. Let s = 551 + v. Is s a multiple of 12?
True
Suppose -2*q = -q - 2*f - 71, -q = -3*f - 70. Let k = -71 + q. Suppose -s + 2*m + 80 = 2*s, 8 = -k*m. Is s a multiple of 3?
True
Is 53 a factor of 2*((-3)/(-8) - (-55)/2200)*2385?
True
Let a be ((-2 - -6) + -3)*-48. Let w be 10*1*96/10. Let o = w + a. Is 12 a factor of o?
True
Let z(r) = 7*r**2 - 5*r - 40. Let o(j) = -j**3 + 17*j**2 - 9*j + 166. Let b be o(17). Does 98 divide z(b)?
True
Let w = -25477 - -62845. Is w a multiple of 75?
False
Suppose 4*t - 6830 = -z - 1992, -2*z = 5*t - 6049. Suppose -9*a + 11292 = -t. Suppose -6*n - 423 = -a. Is 15 a factor of n?
False
Let s = 76 + -55. Let m be 10/4 - s/(-14). Does 49 divide 3/m - 386/(-8)?
True
Let m(n) = 54*n + 472. Let r be m(-9). Let d(p) be the third derivative of -p**6/120 - 13*p**5/60 + 7*p**4/24 + 2*p**3/3 - 2*p**2. Is 34 a factor of d(r)?
True
Let a = 54 + -51. Suppose 3*z - 3*q - 45 = 0, -z - a*q - 15 = 2*q. Does 12 divide 637/28 + z/8 + -1?
False
Suppose 223 = 2*r - 83. Suppose 234 = 3*w - 3*b, 2*w - r = 2*b - 3*b. Suppose 81*y - w*y = 344. Is y a multiple of 25?
False
Let j(x) = x**3 - x**2 - 2*x + 5. Let m be j(0). Let z be (-9)/15 + (-27)/m. Is 3 a factor of (8/z)/(8/(-36))?
True
Let t = 515 + 2205. Is 17 a factor of t?
True
Let a = 95 - 23. Suppose 0 = -6*k - 0 + a. Suppose m = k*m - 2145. Is m a multiple of 39?
True
Suppose q + 3*i + 2*i = -22, 2*q - 2*i - 16 = 0. Suppose -z - 2*u + 468 = 2*z, 0 = q*z - 2*u - 480. Let x = z - 48. Does 11 divide x?
True
Let c(d) = d**2 + 2*d - 1. Let l be c(-3). Let q(v) = v**2 + 16 - 2*v - 40 + 2*v**l. Does 18 divide q(6)?
True
Let w = 39 + 76. Let i = 145 - w. Is i a multiple of 26?
False
Is 65 a factor of (53/(1113/33306))/(2/5)?
True
Suppose 2*y + 2*n + 34 = 3*n, 4*y - 3*n + 66 = 0. Is y/12*(-12)/9 - -154 a multiple of 12?
True
Suppose 2*s - 6*s = -8. Suppose -3*j = -2*c - s*j + 76, -2*j = -2*c + 80. Let k = c - 13. Is 2 a factor of k?
False
Let r(d) = 2*d**3 - 2*d**2 + 7*d + 11. Let u be r(4). Suppose 211 = i + u. Does 7 divide i?
False
Let z be (-3 - -2)*0 + -1 + 623. Let d = 1223 - z. Suppose -2*o + 5*o - 5*p - 457 = 0, -4*o + 5*p = -d. Is o a multiple of 36?
True
Let z(n) = 26*n**2 - n**3 + 2*n**2 + 86 + 71*n + 2 - 101*n. Is 30 a factor of z(26)?
True
Let u(r) = -161*r - 182. Let s be u(-6). Let g = -461 + s. Is g a m