 of q?
False
Let l be (-1 + 4)/(10/40). Is 12 a factor of (4 + 0)/(-2) + 2 + l?
True
Suppose -1187*r + 1183*r = -780. Is r a multiple of 5?
True
Suppose 590 - 22 = 8*u. Does 4 divide u?
False
Let u = 459 + -259. Does 5 divide u?
True
Let l(n) = -8*n + 108. Is l(-11) a multiple of 71?
False
Let c = 191 - 11. Suppose -p = p - c. Is 18 a factor of p?
True
Let q(r) = -6*r - 18. Let i(s) = -s**3 - 11*s**2 + 12*s - 8. Let a be i(-12). Does 12 divide q(a)?
False
Let y = 441 - 108. Is 20 a factor of y?
False
Let p = 19 - 13. Let j be p*12/(12/3). Suppose j*m = 19*m - 23. Is m a multiple of 23?
True
Let b(m) = -m**3 - m**2 + m + 5. Let c be b(0). Suppose f - c*f = -140. Is 7 a factor of f?
True
Suppose 0 = 3*m - 35 - 82. Let g = m - -18. Does 11 divide g?
False
Let j(d) = -d. Let p be j(-2). Suppose 4*c - 21 = -3*i + 23, 0 = -i - p*c + 14. Suppose 68 = 4*n - 2*t, 0 = -3*t - t - i. Does 8 divide n?
False
Is (3204/42 - -6)/(3/21) a multiple of 7?
False
Let t be (2/(-2 + 4))/((-2)/2). Is t/((-2)/(-14)*-1) a multiple of 3?
False
Let l = 1255 + 152. Is 18 a factor of l?
False
Let p(w) be the second derivative of -17/3*w**3 + 0 - 4*w + 1/2*w**2. Does 16 divide p(-1)?
False
Is 12 a factor of ((-8)/32)/((-2)/3512)?
False
Suppose -9*w - 25 + 7 = 0. Does 3 divide 4 - (94/(-2))/(w/(-2))?
True
Let l(k) = k + 18. Let n(q) = q**3 - 7*q**2 - 8*q + 3. Let a be n(8). Suppose -3*h + u - 4*u = -a, -4*h = -u + 1. Does 7 divide l(h)?
False
Suppose -29*u + 2*u + 21924 = 0. Is 22 a factor of u?
False
Let n be 14/63 + 52/9. Suppose n - 1 = 5*x. Is 17 a factor of (-14)/7*(-33 - x)?
True
Suppose 5364*s = 5367*s - 408. Does 34 divide s?
True
Suppose 0 = 19*v - 45694 + 8074. Is 60 a factor of v?
True
Is 6 + (30/10 - -193) a multiple of 13?
False
Suppose 0 = 2*r + m - 4*m + 28, -8 = 2*m. Let i = 8 - r. Is 4 a factor of i?
True
Does 9 divide 314 + -6*1/(-6) + 0?
True
Suppose -5*p + 458 = 238. Does 11 divide p?
True
Let x(i) be the third derivative of i**6/120 - 11*i**5/60 + i**4/24 + 8*i**3/3 - 3*i**2. Let d(l) = -l**2 - 5*l + 11. Let u be d(0). Does 13 divide x(u)?
False
Let v(f) = -2*f**3 - 3*f**2 + 1. Let x be v(-2). Suppose -5*p + 0*g = -4*g - 36, -2*p = x*g + 12. Suppose 0 = l - 6 - p. Does 3 divide l?
False
Let r = -268 + 467. Is r a multiple of 13?
False
Let z be (-3)/(-9) - ((-6220)/(-6))/5. Is 7 a factor of (z/(-12))/(9/24)?
False
Suppose -13*s = -68 - 23. Let n(a) = 5*a - 7. Let f(u) = 5*u - 7. Let w(d) = 5*f(d) - 4*n(d). Is w(s) a multiple of 7?
True
Let y(g) = 461*g - 14. Is y(1) a multiple of 27?
False
Suppose -7*j = -4*j - 12. Let p be (-9)/(-6)*j/(-1). Let z(r) = 3*r**2 + 7*r - 8. Is z(p) a multiple of 17?
False
Let i be 2*-5*(-5)/2. Let h = 391 + -401. Let l = h + i. Does 15 divide l?
True
Let s(n) be the second derivative of 7*n**3/6 - n**2/2 - 50*n - 1. Is 3 a factor of s(2)?
False
Let y(z) = z**3. Let j(t) = 2*t**3 + 5*t**2 - 4*t - 2. Let g(n) = j(n) - y(n). Let q be 74/(-26) - (-4)/(-26). Is 14 a factor of g(q)?
True
Let a be -4 + ((-6)/9 - (-20)/(-6)). Let i = 118 - 54. Let s = i + a. Is 16 a factor of s?
False
Let l be (23 + -1)/(2/(-4)*2). Let b = -5 - l. Does 9 divide b?
False
Let a(b) = 2*b + 28. Let f(u) = u - 4. Let o be f(4). Suppose -4*t = -2*m - 64, 4*t - 3*m - 15 - 49 = o. Does 15 divide a(t)?
True
Suppose -8 = -4*u - j, 3*j = u + 4*j + 1. Let c(p) = -p**3 - 3*p**2 + 4. Let o be c(-4). Suppose 0*t = u*n + t - 38, n + 4*t - o = 0. Is 12 a factor of n?
True
Suppose -4*f = 22*f - 11596. Is 83 a factor of f?
False
Suppose 0 = -4*g + 4*v + 1008, 0 = -2*v + 4 + 4. Let j = 445 - g. Does 21 divide j?
True
Suppose 5*n + n = 666. Is 9 a factor of n?
False
Let m(q) = -224*q - 549. Is m(-11) a multiple of 10?
False
Suppose 5307 = 12*m - 1533. Is m a multiple of 15?
True
Suppose -2*m - 240 = -5*b, 4*b + m - 225 = -b. Is 2 a factor of b?
True
Let a be (9/1)/(12/8). Let r be 1/(28/(-16) + 2). Suppose 80 = a*z - r*z. Is 20 a factor of z?
True
Let a(q) = -2*q**2 - 9*q + 4*q**2 + 22 - 8 + 5. Let g be a(8). Suppose 16*h - g = 11*h. Is 5 a factor of h?
True
Suppose -2 = -2*z + 14. Let l be -2 - (1 + (3 - z)). Suppose 84 = 2*g - 2*i, l*i + 0*i + 8 = 0. Is 11 a factor of g?
False
Let w(t) = 71*t**2 - 16*t - 5. Does 28 divide w(5)?
False
Suppose -h = -0*h + 4, -3*p + 3*h = -18. Suppose 2*w = 7*w + j - 6, -4*j = p*w + 12. Suppose 225 = 5*m - 2*u, 2*u + 39 - w = m. Is m a multiple of 27?
False
Let d(u) = -u**3 + u**2 - u - 1. Let w(s) = s**3 - 2*s**2 + 5*s + 4. Let y(l) = -2*d(l) - w(l). Let t be y(-2). Is (-2)/t + 282/12 a multiple of 8?
True
Let g(a) = a**3 + 23*a**2 + 18*a - 8. Does 88 divide g(6)?
True
Suppose -w - 2*o = -2*w - 13, -3*w + 2*o - 27 = 0. Is 6 a factor of (10 - 0)*w*20/(-175)?
False
Let q(v) = 3*v**2 - 10*v - 12. Let l(c) = c**2 - 8*c - 16. Let o be l(9). Let p be q(o). Suppose 2*x + p = 5*w, -x = w - 2*x - 38. Is 11 a factor of w?
False
Let s = 461 - 467. Let n(x) = 0 - 21*x + 0 + 5. Is n(s) a multiple of 27?
False
Suppose -3*p + 112 = -7*p. Does 6 divide ((-36)/(-21))/((-8)/p)?
True
Suppose -376 = -2*u + 532. Does 31 divide u?
False
Suppose -5*n + 3*n = -2. Suppose 0 = l + n + 1. Is 23 a factor of (-4)/((-20)/355) + l?
True
Suppose 9*u - 12 = 5*u. Let l be (-16)/6*9/(-6). Suppose 0 = u*j - l*j + 6. Is 2 a factor of j?
True
Let h(w) = -2 - 2*w + 5 - 2 - 5*w**2 - 2*w - w**3. Let m be h(-3). Is 9 a factor of m*36/15*-2?
False
Does 53 divide (207/12)/((-84)/(-7280))?
False
Let j = 1078 + -767. Is j a multiple of 20?
False
Suppose 47*l - 3*l = 11880. Does 15 divide l?
True
Let o(d) = d**3 - 5*d**2 - 2. Let g be o(5). Let y be (g/4)/(11/(-176)). Is y/(-2) - (-6 - 37) a multiple of 13?
True
Let n be (9/12)/(1 - (-5)/(-8)). Suppose 0*j = -4*j + 56. Suppose 5*d + j = -b, 0 = -b - 2*d - n*d - 9. Does 3 divide b?
False
Let i(p) = -54*p + 40. Is i(-5) a multiple of 14?
False
Suppose -u = -4 + 2. Suppose -3*g = 3*b - 4*g + 2, -3*b + 5*g = -u. Is 15 a factor of 12*b/(12/(-15))?
True
Let s be (6/3)/((-10)/(-75)). Let r = -9 + s. Suppose 0 = -5*k - 5*z + 65, -14 = -k - r*z + 4*z. Is 9 a factor of k?
False
Suppose 0 = -7*y - 14, -5*m - 2*y = 1155 - 4401. Does 10 divide m?
True
Let v be 2*1*(-4)/(-8). Let b = 20 - v. Suppose -13 = -q + 2*o + b, -3*q + 4*o + 96 = 0. Does 18 divide q?
False
Suppose -4*h = -3*z + z - 14, 3*z = -5*h + 12. Is (z - -3)*(48 + (4 - 2)) a multiple of 20?
True
Let f = -53 + 50. Let x = -11 - -8. Does 10 divide 61 + 12/x - f?
True
Let p(l) = -l**3 - 4*l**2 - 4*l - 1. Let m be p(-3). Suppose -m*z = 51 - 281. Does 23 divide z?
True
Let p(z) = -z**2 - 7*z - 8. Let i be p(-5). Suppose -3*a + 170 = 5*x, -i*x + 3*a + 16 = -x. Is 6 a factor of x?
False
Suppose 648 = 4*s + 212. Let a = -54 + s. Suppose x + a = 6*x. Is 11 a factor of x?
True
Suppose -364 = 65*h - 69*h. Let s = h + -54. Is s a multiple of 10?
False
Suppose -18*w + 60 = -17*w. Suppose -k + w = -0*k. Is k a multiple of 16?
False
Suppose -5*r - 2*j = -655, -3*j = -r + 2*j + 104. Let z = r - 5. Is 38 a factor of z?
False
Let c = 155 - 220. Suppose -22 = -4*z - 90. Let w = z - c. Is 7 a factor of w?
False
Let l = -13 + 6. Let h(y) = -y**3 - 6*y**2 + 7*y + 1. Let t be h(l). Suppose t = -a + 37. Is a a multiple of 12?
True
Suppose -9 = -2*s - s. Suppose -s*x + 8*x = 0. Suppose -b + x*b + 51 = -i, 0 = -3*i - 6. Is 14 a factor of b?
False
Suppose c = -3*c + r + 161, 0 = 4*c + 5*r - 131. Is c a multiple of 13?
True
Suppose s + 501 = 1890. Does 67 divide s?
False
Suppose 5*d + 4*w - 27 = 0, -d = 2*d + 5*w - 24. Suppose 10*z = d*z + 210. Is z a multiple of 6?
True
Is (2 - 524)*(-14)/28 a multiple of 9?
True
Let h(c) = -41*c**2 - c - 2. Let m be h(-1). Let l = m - -49. Is l even?
False
Let d be (0 - -246)/((18/(-21))/(-3)). Does 6 divide (-9)/6 - d/(-14)?
True
Let x(a) = -a**3 - 21 + 5*a - 6*a + 2*a**2 + 29. Does 28 divide x(-4)?
False
Suppose -5*p - a + 805 = 0, p = 3*a + 94 + 67. Does 8 divide p?
False
Suppose -16 + 36 = 5*t. Suppose -t*o + 8*o = 336. Is o a multiple of 14?
True
Suppose 0 = 4*w - 3751 - 5633. Does 15 divide w?
False
Suppose 5*a - 5*t - 2252 = a, 3*a - 1662 = -3*t. Is 18 a factor of a?
True
Let z(k) = k**2 + 6*k. Let b be z(-5). Let t(g) = g**2 - 2*g + 1. Is t(b) a multiple of 4?
True
Let r = -290 + 744. Let b = -200 + r. Suppose b + 90 = 4*a. Does 18 divide a?
False
Suppose -6*c + 20