ative of 14*z**2 + z - 1. Let q(i) = -i**3 + 7*i**2 + 2*i + 51. Let w be q(8). Is t(w) a multiple of 17?
True
Let l be 360/(-56) + (-6)/(-14). Is 29 a factor of 4/l*(-77 + 2)?
False
Suppose 16 = -16*l + 20*l, -2*u - 3*l = -892. Is u a multiple of 8?
True
Does 5 divide 4/((-72)/(-30))*183?
True
Suppose 0 = -3*z - 46 + 367. Suppose 4*x = -8*r + 7*r + z, 4*x - r = 109. Is 4 a factor of x?
False
Let c(l) = -l + 42. Suppose 5*i + 5*d - 17 - 63 = 0, 0 = 5*i - 3*d - 64. Does 7 divide c(i)?
True
Let m(o) = 5*o**2 + 2*o - 1. Let y be m(1). Suppose -39 = -2*a - 9*g + y*g, -3*g + 15 = 0. Does 4 divide a?
True
Suppose -4*a = -5*r - 1764, 3*r + 2*r - 1323 = -3*a. Is 9 a factor of a?
True
Let h(q) = q**2 + 5*q - 1. Let l be h(-3). Let u be (4/l)/(8/(-28)). Suppose -i = -u*i + 40. Is i a multiple of 10?
True
Suppose b - 311 + 16 = 0. Is 5 a factor of b?
True
Suppose 0 = -4*f + 4*b + 10380, 32*f - 27*f + 3*b - 12951 = 0. Is 72 a factor of f?
True
Let g(v) = v**2 - 14*v - 14. Let q be g(13). Let h = q - -29. Is h a multiple of 2?
True
Let q = -4 - -9. Suppose -2*k = q - 11. Suppose 3*i = -2*d + 30, 3*i + k*d - 36 = -6. Is 5 a factor of i?
True
Let t be (-22)/(-6) + (-4)/6. Suppose -4*z + 2 = t*d, -d - z - 4*z = 3. Let j = 71 - d. Does 18 divide j?
False
Suppose 7*w + 0*w + 581 = 0. Let m = w - -153. Is m a multiple of 45?
False
Suppose -j - 26*t = -24*t - 624, 0 = 5*j + 4*t - 3138. Does 12 divide j?
False
Let y = -3053 - -4509. Does 56 divide y?
True
Let m(b) be the first derivative of 15*b**2/2 + b - 6. Let l be m(-1). Does 21 divide (-143)/(-7) + (-8)/l?
True
Suppose -518 = -5*v - 4*a, v + 545 = 6*v - 5*a. Is 48 a factor of v?
False
Suppose 10 = 3*x - 8. Suppose j = -4*n + 389, 5*n = 4 + x. Is 15 a factor of (-4 - -1)*j/(-9)?
False
Let b(o) = 3*o**2 - 45 - 17*o - 15*o + 16 + 22*o. Does 47 divide b(-9)?
False
Let v be -2 + 16/(-6)*24/(-32). Let y be 1 + -1 + (1 - 2). Is (-41)/(-1) - (y - v) a multiple of 14?
True
Suppose 8*q + 6 = 10*q. Suppose q*u - 333 = -0*u. Does 37 divide u?
True
Let v = -58 - -10. Let d = v - -83. Is 8 a factor of d?
False
Suppose -6*l + 8*l = -p + 17, 73 = 5*p + 4*l. Is 2 a factor of p?
False
Suppose 5*i - 3*r = 14, 0*i - i = -r - 2. Suppose -32 = -5*a + i*a. Is 501/4 - 8/a a multiple of 26?
False
Let l = -37 - -41. Suppose -2*q + 11 = a - q, q = -l*a + 41. Is a a multiple of 5?
True
Suppose 0 = 5*p - 4*p + 2. Suppose 2*s + 18 = 4*o, -3*o = -2*s - 3*s - 45. Is 11 a factor of (-96)/s - p/6?
True
Suppose -241 + 811 = 10*d. Suppose d*j - 372 = 51*j. Does 10 divide j?
False
Suppose 72 = 3*i - 369. Does 75 divide i?
False
Let a(y) = -2*y**3 - 13*y**2 - 12*y - 4. Does 7 divide a(-9)?
False
Let w = 399 - 333. Is 3 a factor of w?
True
Let l be ((-413)/4)/(1 + (-45)/40). Is 5 a factor of (-1*(-1 - -2))/((-14)/l)?
False
Let o(n) be the third derivative of 11*n**5/12 + n**4/12 + n**3/6 - 30*n**2. Let d(j) = j - 7. Let l be d(6). Does 18 divide o(l)?
True
Let l = -29 + 40. Suppose l*j + 26 = 235. Is j a multiple of 4?
False
Let q = -24 + -31. Let g = q - -115. Is g a multiple of 3?
True
Let p be (3 - 4)/(3/(-66)). Let d = p + -4. Does 18 divide d?
True
Let c = -33 + 33. Suppose c = d - g - 15, 4*g = d - 25 + 7. Is 7 a factor of d?
True
Suppose -z - 2*b - 6 = z, 4*z + 15 = -b. Let x(i) = 2*i**2 + 3*i + 1. Does 12 divide x(z)?
False
Let d = -4 - -2. Does 5 divide 931/63 + d/(-9)?
True
Let q(d) = -2*d**2 + 93*d - 72. Does 3 divide q(45)?
True
Let l be ((-6)/4 + 0)*56/42. Is 11 a factor of 12*(99/l)/(-9)?
True
Suppose -3*w = 2*w - 2*s + 233, 4*w + 5*s + 193 = 0. Let t = w + 71. Does 4 divide t?
True
Let n(v) = 3*v**2 + 15*v + 2. Let x = -53 + 45. Is 37 a factor of n(x)?
True
Suppose -106 = r - 2*r - 4*j, -2*r = -5*j - 186. Suppose -b + 3*b = r. Is b + (-3 - 0) + 2 a multiple of 12?
True
Let k(y) = y**3 - 7*y**2 + 9*y - 14. Let o be k(6). Suppose o*c + v = 5*v + 260, -20 = 4*v. Does 30 divide c?
True
Let m(h) = -h + 5. Let s be m(3). Let j(b) = 3*b**2 + 0*b + 7 - b**3 - 11 + s*b. Is 2 a factor of j(3)?
True
Let w(k) = 3*k**2 + 6*k - 21. Is 12 a factor of w(-7)?
True
Let c(a) = a**2 + a + 43. Let f be c(0). Let y be 2/2 + -13 + f. Suppose k - m = -4*m + 13, 2*m + y = 5*k. Does 2 divide k?
False
Let f(k) be the third derivative of -7*k**4/12 - k**3/3 + 5*k**2. Let p be f(-8). Suppose 2*y - p = -3*y. Does 9 divide y?
False
Let k(p) = 182*p + 335. Does 24 divide k(18)?
False
Let g = -27 - -30. Is 2 - (-17 - 1)/g even?
True
Let j(u) = 3*u + 5. Suppose -2*q = -5*w + 8, q - 3*w + 1 = -3. Let i = q - -10. Does 6 divide j(i)?
False
Is 6 a factor of 32/5 + (-22)/55?
True
Suppose -2 = 3*q - 11. Suppose -5*c + 0*c - 80 = -q*f, 5*f - c - 104 = 0. Is f a multiple of 5?
True
Suppose n - 3335 = -4*h - 1323, -3*h + 3*n + 1524 = 0. Is h a multiple of 18?
True
Suppose -2*j - 10 = -14. Suppose -4*q - q = 5*a - 20, 3*a + 8 = j*q. Suppose a = u - 27 + 17. Is 5 a factor of u?
True
Let i = 25 + -41. Let d = -11 - i. Suppose 3*x - x = -d*f + 357, f - 93 = 5*x. Is 10 a factor of f?
False
Suppose 8*a - 17416 = -20*a. Is a a multiple of 12?
False
Let q(f) = 3 - 30*f**3 - 2*f + 12*f**3 - f**2 - 14*f**3. Let y be q(1). Let z = -22 - y. Is z a multiple of 4?
False
Let r be (-1)/8*-4*0. Suppose -2*n - 2*v + 36 = 0, -2*n = -r*n - 4*v - 6. Is n a multiple of 9?
False
Suppose -17*j + 34 = -17. Suppose 2*u = -3*v + 357, 0 = -j*u + 4*v - 238 + 731. Is 9 a factor of u?
True
Suppose 0 = 5*u - 20, -n + 2*u - 4*u + 10 = 0. Suppose s - 4*s + 81 = -5*q, 5*s - n*q - 135 = 0. Is 5 a factor of s?
False
Suppose 2*x - 12 = -4*x. Suppose -r + 55 = 3*d, -x*r + 61 + 38 = -5*d. Is 13 a factor of r?
True
Suppose 5*p - 18 - 22 = 0. Is -2 - (2/p - (-324)/(-16)) a multiple of 11?
False
Let q = 68 + -31. Suppose c = q + 23. Is 13 a factor of c?
False
Let x be -16 - 1*(1 - 2). Let u be (80/x)/(2/(-66)). Suppose 0*z + 353 = 4*z - 5*w, -u = -2*z + 2*w. Is z a multiple of 22?
False
Suppose 0 = -4*r + r + 3240. Is r a multiple of 20?
True
Let o(p) = -p**2 - 9*p + 9. Let s be o(-10). Is 29 a factor of 71 - s/3*3?
False
Let z(q) = q. Let a(l) = 8*l - 1. Let r(i) = -a(i) + 3*z(i). Let w(p) = p**3 - 4*p**2 + p - 5. Let n be w(4). Is 3 a factor of r(n)?
True
Suppose 63 = n - 2*k + 15, -256 = -5*n + 2*k. Is n a multiple of 13?
True
Let q = -58 - -35. Let n = 112 - q. Is 5 a factor of n?
True
Suppose 0 = v - 5, -4*i + 4416 + 34 = 2*v. Is 74 a factor of i?
True
Let x(y) = y - 10. Let n be x(12). Suppose 4 = n*b - 0. Let m = 58 + b. Does 15 divide m?
True
Is 12 a factor of (-6)/4*145460/(-210)?
False
Let f be (65/20)/(1/24). Suppose 8*y - 11*y + f = 0. Is 13 a factor of y?
True
Suppose p = 2*i - p - 938, 5*i + 4*p = 2336. Is 12 a factor of i?
True
Suppose -4*f - u + 24 = 0, -4*f = -5*f + 3*u - 7. Suppose 0 = -3*b + f*b + 138. Let y = -47 - b. Is y a multiple of 17?
False
Let v(h) = 24*h**2. Let o = -3 + 8. Let n = o + -6. Does 5 divide v(n)?
False
Let c(v) = v**3 + 8*v**2 - 9*v - 14. Let q be (-4)/(-4) + -9*1. Is 8 a factor of c(q)?
False
Let d = 181 - 41. Does 10 divide d?
True
Let h(k) = -k**3 + 10*k**2 - 8*k + 9. Let c(b) = b + 17. Let u be c(-7). Let j be h(u). Let n = j + 119. Does 12 divide n?
True
Is 8 a factor of -19 + 8045/15 - 4/(-6)?
False
Suppose -13260 - 4695 = -35*j. Does 41 divide j?
False
Let q = 2247 + -1408. Is q a multiple of 30?
False
Let p be -3 - -97 - (-4 - 0)/2. Suppose -p = -v - 4*c, -4*c - 72 = -v - 0*v. Is v a multiple of 28?
True
Let k(s) = -s**3 - 9*s**2 - s - 2. Let r be k(-6). Does 10 divide (8/(-2) - r) + 4/2?
False
Let i(r) = r**3 + 7*r**2 + 7*r + 4. Let y(u) = -u**2 + 2*u + 2. Let f be y(4). Let s be i(f). Let n(v) = 7*v**2 - 4*v - 3. Is n(s) a multiple of 15?
False
Is (-44 + -4)*(868/8)/(-7) a multiple of 15?
False
Does 28 divide (868/(-6))/(74/(-444))?
True
Suppose -1785 = -20*q + 15*q. Is q a multiple of 14?
False
Let b(g) = 7*g**2 + 2. Let u = -24 + 18. Let c = u + 2. Is 31 a factor of b(c)?
False
Suppose 2*h + 4*y = 4*h - 114, 2*y = -5*h + 345. Suppose h + 45 = t. Is t a multiple of 39?
False
Let i = -25 - -19. Let s be i/10 + 208/80. Is 3 a factor of -2 + (2 - s - -8)?
True
Suppose -5*v + 16 - 1 = 0. Let w be 6*(-4)/(-24)*v. Is 10 a factor of -7 + w + 15 + -1?
True
Let l be -6*(-1)/(-2) + 2. Is 31 a factor of 124*((l - -1) + 1)?
True
Let j = -3 - -10. Suppose j*x - 94 = 6*x. Is