 + (-4)/(-6). Does 11 divide ((-26)/(-4))/((-17)/x)?
False
Suppose 45 = -5*t + 55. Let f(i) be the first derivative of 11*i**3/3 + i**2 - 3*i - 2. Is 12 a factor of f(t)?
False
Suppose 0 = 4*y + 20, 0*y = 3*u - 4*y - 725. Suppose u = -16*k + 21*k. Is 9 a factor of k?
False
Let f = -1386 - -2475. Does 11 divide f?
True
Suppose 39*p = 31*p + 4240. Is p a multiple of 10?
True
Let y = 24 - 58. Let w(x) = -14*x + 4. Let q be w(-3). Let v = q - y. Is v a multiple of 29?
False
Suppose 12*j = 9*j + 222. Let b = -44 + j. Does 15 divide b?
True
Suppose -18*y + 6*y = -8004. Suppose 373 + y = 4*w. Is w a multiple of 10?
True
Let r = 139 - 137. Suppose -5*j = r*a - 2*j - 613, a + 2*j = 305. Does 43 divide a?
False
Suppose 4*w + c - 84 = 3*w, 0 = 5*c - 15. Let d = -46 + w. Is 9 a factor of d?
False
Let h(k) = -5*k + 9. Let u be h(3). Let v = u + 11. Suppose -q + 28 = 3*w, -5*q - 2*w + v*w = -140. Is 28 a factor of q?
True
Suppose 4*l = x - 233, 4*x - 2*l - 1255 = -x. Is 32 a factor of x?
False
Let r(g) = -2*g**2 + 4*g - 3. Let x be r(2). Is 18 a factor of (-1296)/(-60)*(-10)/x?
True
Suppose x = 6*x - 3900. Suppose -x = -5*r - 0*r. Is -2 - 0 - r/(-4) a multiple of 14?
False
Let l(b) = 5*b - 3*b - 11 + b + b**2. Suppose p = -4*t + 18, -2*p + 24 = -0*t + 4*t. Does 10 divide l(p)?
False
Suppose 15*g + 554 = 164. Suppose -2*o - 142 = -3*f, 0*o - o - 3*f = 80. Let x = g - o. Is 12 a factor of x?
True
Suppose -3*o + 6453 = 5*c, 0 = 4*o + 4*c - 3830 - 4782. Is o a multiple of 28?
True
Let w = 42 + -364. Does 47 divide 4/14*(7 - w)?
True
Let q(p) = -15*p**2 + p. Let y be q(2). Let s = y - -112. Is s a multiple of 9?
True
Suppose 5*v + 24 = 13*v. Suppose -223 = -v*b + 53. Is 21 a factor of b?
False
Suppose 3*v + 274 = t + 31, -241 = -t + 2*v. Is t a multiple of 32?
False
Let z = 2232 - 1093. Is 17 a factor of z?
True
Suppose -17 = 7*w - 143. Let h be 9/w*2*11. Does 6 divide 1/((33/60)/h)?
False
Suppose 3*m - 31 = -4*y, -51 + 16 = -4*m + y. Suppose -m*b = -546 - 1902. Is 17 a factor of b?
True
Suppose 3*v - 4*k = 1836, 13*v - 9*v - 2423 = -3*k. Is v a multiple of 32?
True
Is (4/(-6)*-798)/2 a multiple of 14?
True
Suppose 0 = 4*h - 7 - 9. Suppose -309 = o - h*o. Suppose -3*s - 3*w - o = -8*s, 5*w - 66 = -2*s. Is 14 a factor of s?
False
Suppose -3*i + i + 5*a = -1043, -3*a = i - 505. Does 17 divide i?
False
Let q(j) = -6*j - 4. Let w be q(-4). Suppose 3*x = 5*t - 0*t - 25, 4*t = -3*x + w. Suppose x = -4*g, -3*r + 5 = -5*g - 4. Does 3 divide r?
True
Is 50 a factor of 120/9*(17 - -1)*10?
True
Suppose 2608 + 19064 = 14*c. Is 7 a factor of c?
False
Let s be (25/(-5))/(1/3). Does 16 divide (-9)/s - 1585/(-25)?
True
Let j = 851 - 623. Does 12 divide j?
True
Suppose 2*l = 15 - 9. Let c(u) = -107*u + 0*u**3 + 10 - 8*u**2 - 4*u**3 + 98*u + 3*u**l. Is c(-7) a multiple of 6?
True
Suppose -4*s + 356 = -6*s. Let q = -93 - s. Does 3 divide q?
False
Let f(w) = 97*w**2 - w. Let y be f(1). Suppose 3*c - y = 60. Suppose g - c = -3*b, -4*g + g = 3*b - 138. Does 12 divide g?
False
Let p be 2 + 2 + 0 + -1. Let w = p + 3. Let m(d) = d**3 - 5*d**2 - 2*d + 5. Is 6 a factor of m(w)?
False
Suppose i = -c + 168, -4*i + c + 421 + 271 = 0. Does 14 divide i?
False
Suppose 0 = -v + 1585 + 598. Is 18 a factor of v?
False
Let l = 16 - -1. Let g = l + -3. Let z = 3 + g. Is z a multiple of 5?
False
Let q = -5 - -3. Let s = -3 - q. Let j(c) = -6*c + 1. Is j(s) a multiple of 7?
True
Let n(m) = -3*m**3 - 13*m**2 - 54*m - 12. Let x(u) = u**3 + 4*u**2 + 18*u + 4. Let h(w) = -6*n(w) - 17*x(w). Is 10 a factor of h(-7)?
False
Let n = -52 + 54. Suppose n*w = -l + 4, -l - 11 = -4*w - 39. Does 4 divide l?
True
Let o = 3570 + -1202. Does 96 divide o?
False
Suppose -f - 33 = -4*f. Let g = -9 + f. Suppose r + 15 = d, -2*r = -g*d - 7*r + 58. Is d a multiple of 16?
False
Let t be (-9 + 8)*-12 + (0 - 1). Let i(w) = -w**3 + 2*w**2 + w - 1. Let m be i(2). Let j = t + m. Does 2 divide j?
True
Let o(y) = 54*y**3 + 3*y**2 + 4*y. Suppose z + z + 4 = 0. Let t be o(z). Does 11 divide 9/15 + t/(-20)?
True
Suppose 2*i + 3*t = -0*i + 8, 2*t - 16 = 4*i. Let b(g) be the second derivative of -2*g**3 - g**2 + 11*g. Is b(i) a multiple of 6?
False
Suppose -b + 12 = 15. Let o be 52/(-39)*b/2. Suppose 5*m + 82 = o*w + 14, 4*w = 3*m + 136. Is w a multiple of 7?
False
Let w(q) = 6*q**3 + 6*q**2 - 11*q - 2. Let d(z) = -5*z**3 - 6*z**2 + 11*z + 3. Let j(y) = -5*d(y) - 4*w(y). Suppose 8*u - 11*u = 21. Is 19 a factor of j(u)?
False
Is 367 + (-6 - (-1 - 2)) a multiple of 15?
False
Let c(g) = 4*g - 24. Let m(w) = 2*w**2 + w - 3. Let t be m(2). Does 2 divide c(t)?
True
Let i = 15 - -850. Is 52 a factor of i?
False
Let x be 6/(-10) - (18/(-5) + 0). Suppose -71 = -g - 2*n + x*n, -3*n - 279 = -4*g. Is g a multiple of 22?
True
Suppose 347 = 4*l - u, -4*l - u - 30 = -371. Is 28 a factor of l?
False
Is 21 a factor of 4/(-18) + 302904/567?
False
Let c(s) = s**3 - 3*s + 2. Let n be c(1). Let t(f) be the first derivative of -f**4/4 - f**3/3 - f**2/2 + 45*f - 1. Does 15 divide t(n)?
True
Let c be (8/(-20))/(2/10) - 370. Let f = -263 - c. Is f a multiple of 23?
False
Suppose 20 = 14*a - 9*a. Suppose 0 = d + 2, 2*m - 140 = -0*m + a*d. Is m a multiple of 22?
True
Suppose 2*s + j + 4*j = -118, -3*s = -5*j + 127. Let o be 8/2*s/(-28). Let h(f) = 2*f + 9. Is 8 a factor of h(o)?
False
Suppose -p - 5*f = -126, -p + 54 + 69 = 2*f. Suppose -5*j + p = -54. Is j even?
False
Let u = 323 - 43. Is u a multiple of 7?
True
Let d = 441 + -90. Is d a multiple of 13?
True
Is 5 a factor of 105606/126 + 5/(-35)?
False
Let m(g) = -g**2 - 5*g + 4. Let k be m(-4). Let v(d) = 2*d**2 + 6*d - 1. Is 48 a factor of v(k)?
False
Let m(r) = r**2 - 4*r - 44. Let f be m(10). Suppose f*i = 13*i + 252. Is 7 a factor of i?
True
Let j = -14 + 17. Suppose -j*n = n - 8. Suppose 5*p = -4*o + 47 - 4, -29 = -n*o + 5*p. Is 7 a factor of o?
False
Let u = 885 - -1996. Does 36 divide u?
False
Let l be 17/(-3) - ((-12)/(-9))/4. Let d be 1/(2/(-7))*-2. Is 10 a factor of 40/l*(d - 10)?
True
Let g = -596 - -996. Is 40 a factor of g?
True
Is -5*(-10)/75*1803 a multiple of 81?
False
Let r(x) = 4*x**2 - 11*x + 4. Does 19 divide r(6)?
False
Let x(w) = w**3 - 4*w**2 - 7. Let z be x(5). Suppose 2*j - 3*l + 2*l + 11 = 0, -2*l - z = j. Is 22 a factor of ((-22)/j)/((-4)/(-32))?
True
Let v(x) = -49*x - 1. Let i be v(-2). Let o = i - 49. Let r = o + -24. Does 12 divide r?
True
Does 11 divide (-3)/33 - ((-3104)/22 + -2)?
True
Suppose -29 = -4*w - 177. Let q = -9 - w. Does 19 divide q?
False
Let a be (-5)/20 + 51/(-4). Let m = a + 15. Suppose -5 - 1 = -m*o. Is o a multiple of 3?
True
Let z = 31 - 53. Let l = -12 - z. Is 10 a factor of l?
True
Let g(z) = -5*z + 370. Does 5 divide g(20)?
True
Is 4 a factor of (130 - -19)*3/3?
False
Let o = -3 - -17. Is 11 a factor of 1424/o - (4 - 60/14)?
False
Let x = 157 + -151. Suppose -3*j = -6, q - 3*j = x*q - 156. Is q a multiple of 6?
True
Let s = 129 - 64. Does 5 divide 1/(9/195 + 10/s)?
True
Let z = 1759 + -954. Is 35 a factor of z?
True
Suppose 5*y + 4*f - 14 = 2*y, -4*y = 5*f - 18. Suppose -2*x + 136 = 2*j, 3*x - 66 = y*j - 177. Suppose j = 3*c - 0. Is c a multiple of 7?
True
Suppose 2 = v, -4*v = -13*j + 9*j - 40. Let g = 1 + 1. Let t = g - j. Is 5 a factor of t?
True
Let v be 2*(1 - (-1)/2). Let r = -359 + 390. Suppose 0 = c - 3*i - 37, c + v*i + 12 - r = 0. Is 7 a factor of c?
True
Let b(o) be the third derivative of 5*o**4/24 - 5*o**3/3 + 4*o**2. Let z be b(6). Suppose 5*f + 42 = v - 12, -4*f = z. Is 25 a factor of v?
False
Let s = -5 + 9. Suppose o + s*f = -16, -3*o - f - 12 = 2*f. Suppose l - 7 - 29 = o. Is 31 a factor of l?
False
Does 27 divide -786*(0 + 36/(-8))?
True
Suppose 21*x = 10*x + 1221. Does 3 divide x?
True
Let o = -32 - -36. Does 6 divide 33/o*88/33?
False
Suppose 4 = 2*l + 12. Let s(b) = -7*b - 3. Is s(l) a multiple of 25?
True
Suppose 2*z + 0*z = 60. Suppose 3*g + 15 = 0, 5*y + 5*g - 3*g - z = 0. Is (12/y + -2)*-4 even?
True
Let x(b) = b**3 - 4*b**2 - 9*b - 13. Let p be x(6). Suppose -p*g + 576 = g. Is g a multiple of 8?
True
Let v = 869 - 597. Suppose -294 = -3*t - g + v, -2*t + 5*g + 383 = 0. Is t a multiple of 21?
True
Let n = -3 - 4. Let r = n + 7. Suppose r = -4*j - j + 270. Is 18 a factor of j?
True
Let d = -47 - -46. Let x(y) = 14*y**2 + 2*y + 2. 