 factor of c?
True
Let r(y) = y**3 + y**2 - 1. Let d(t) = -2*t**2 + 35. Let q(k) = d(k) + r(k). Let j = 6 + -6. Does 11 divide q(j)?
False
Does 21 divide 1/(-2) + 35579/94?
True
Let f(o) = o**3 + 2*o**2 + 7*o - 51. Is 15 a factor of f(6)?
False
Suppose 23 = u + 21, 2*h - 52 = 2*u. Is 3 a factor of h?
False
Suppose -m + 17 = -4*s - 16, 2*m + 3*s = 88. Suppose i = m + 14. Is 11 a factor of i?
True
Suppose m = -3*m + 16. Is 1*m/(-2) + 25 a multiple of 11?
False
Does 3 divide 10496/32 + 0 + 4 - -4?
True
Let b(c) = c**2 - 9*c - 4. Let g be b(8). Let k = -9 - g. Suppose 3*v = 3*y - 51, y - 2*v + 18 = k*y. Is 7 a factor of y?
False
Let v(t) = 3*t**3 - 1. Let k be v(1). Suppose 46 - 10 = k*f. Does 9 divide f?
True
Let g(q) = -8*q - 4. Let b be g(-3). Suppose 0 = 118*k - 117*k - 4. Suppose 0 = k*u + b, -5*j - 41 = u - 196. Is 10 a factor of j?
False
Let h = 26 + -51. Let j = h + 29. Let a(c) = 2*c**2 - 6*c + 5. Is a(j) even?
False
Let d(i) be the third derivative of i**5/12 - i**4/24 + i**3/3 + 13*i**2. Does 16 divide d(4)?
False
Let v(r) be the first derivative of -5*r**2/2 + 2*r - 1. Let q = 43 - 56. Is 16 a factor of v(q)?
False
Suppose 0 = 10*h - 20. Suppose h*c = 5*c - 252. Is c a multiple of 12?
True
Suppose -5 - 1 = -p. Let w be (-2 - -11)*2/p. Suppose -5*l + w*l + 36 = 0. Is l a multiple of 6?
True
Let j = 8 + -14. Let q(l) = l**2 - 27*l + 24. Let p be q(26). Is 6 a factor of (2 - p)*(-27)/j?
True
Let a = -56 - -136. Let x = a + -56. Is x a multiple of 12?
True
Suppose 14 = -u - 3*k, 2*u - k + 30 = -2*u. Let s = -26 - u. Let q = -9 - s. Is q a multiple of 9?
True
Let a be 1/((-2)/6)*(-1)/(-3). Let c(r) = -35*r**3 - 5*r**2 - r - 6. Let o(v) = -35*v**3 - 6*v**2 - v - 7. Let p(w) = 6*c(w) - 5*o(w). Is p(a) a multiple of 11?
False
Let b(a) = a**3 + 11*a**2 - 30*a - 6. Is b(-12) a multiple of 7?
True
Suppose -6*l + 3*l = -9. Suppose -3*n + 120 = l*i, 2*n = 3*i + 3*n - 112. Is i a multiple of 9?
True
Suppose 6*z - 1355 - 43 = 0. Does 40 divide z?
False
Suppose -2*x = -5*v + 2*v + 53, -2 = 2*x. Suppose 96 = v*j - 15*j. Does 14 divide j?
False
Let i = -77 - 4. Is 8 a factor of i/(-5) - (-10)/(-50)?
True
Suppose 2*p + 3*p = 300. Let x be 39/6 - 2 - (-35)/70. Suppose 0 = -g, -p = 5*i - x*g - 225. Is 33 a factor of i?
True
Suppose -r + 5*t + 774 = 199, t - 5 = 0. Does 25 divide r?
True
Suppose 0 = r - 5*v - 696, 5*v = -39*r + 42*r - 2088. Is r a multiple of 24?
True
Suppose 21 = 5*x - 4. Suppose -4*r = 8, 5*m + x*r = r + 72. Does 16 divide m?
True
Let j(l) = 17*l**2 + 4*l. Does 11 divide j(-5)?
False
Does 7 divide ((-8610)/(-15))/(2 - 0)?
True
Does 28 divide (-2)/2 + 11951/19?
False
Suppose 3*k = -z + 1265, -2*z - z + 3775 = 5*k. Is z a multiple of 10?
True
Let w be ((-141)/4)/(3/16*-4). Suppose 4*u - 986 = 5*j, -u - 3*j = -w - 191. Is u a multiple of 23?
False
Suppose 7126 = 12*n - 146. Is n a multiple of 25?
False
Let h be 3/4 - (-30)/24. Suppose -h*t - 20 = -2*d - 7*t, 3*d + 4*t - 23 = 0. Does 13 divide (d/5)/((-1)/(-29))?
False
Let a be (32/10)/(2/15). Suppose 4*s = -2*j + 3*j + 4, -3*j + 5 = 5*s. Suppose j*o - 2*o = -a. Does 6 divide o?
True
Suppose 4*y - 3701 = b, -10*b - 2773 = -3*y - 12*b. Is 25 a factor of y?
True
Suppose 3*c + 6*g - 2*g - 6 = 0, 0 = 2*c - g - 4. Suppose -4*a - 4 = -5*h, -5*a + c*a = -4*h + 4. Suppose 4*w - w + 98 = h*p, 6 = 3*w. Does 11 divide p?
False
Suppose 2*i - l = 1 + 3, -3*i + 3*l + 6 = 0. Suppose 0 = -i*w + 3*p + 305, 3*w - 5*p = 4*w - 185. Does 20 divide w?
True
Let x(m) = 8 + m + 0 + 2. Let q be x(-8). Suppose 19 = 3*k - q*w, -3*w + 2 = 2*k + w. Is 2 a factor of k?
False
Let c be (-3 - -7)/((-4)/(-6)). Let z(l) = 9*l - 4 - l + 1 - 2. Is z(c) a multiple of 12?
False
Suppose 223*o - 34307 = 210*o. Is 35 a factor of o?
False
Let d be (1 + 3 + -5)*-6. Let c(b) = -d + 2*b + 1 - 8*b. Does 13 divide c(-11)?
False
Let n be (-114)/1 - (9 + -7). Does 6 divide 2*-4*435/n?
True
Suppose -5*y = 2*i - 1962, 15*i - 13*i + 2*y = 1962. Is i a multiple of 19?
False
Suppose 6 = 5*v - 9. Suppose l - 6 = 2*j, -3*j = v*l - 5*l + 8. Is 6 a factor of ((-48)/40)/(l/10)?
True
Let v be (-14)/6 - (-1)/3. Is ((-475)/10)/(v/8) a multiple of 38?
True
Suppose 3*y + 3 = -3*n, 2*y = -0*y - 3*n - 3. Let s(b) = 2*b - 121. Let a be s(y). Let t = -34 - a. Is 12 a factor of t?
False
Let y be (-2 + 8/(-6))/(4/(-540)). Suppose y = 6*v - 4*v. Is 15 a factor of v?
True
Suppose -9*c = -12 - 573. Is c a multiple of 5?
True
Suppose r + 4*r - 4*y = 208, y + 217 = 5*r. Is 14 a factor of 2208/r - (-6)/(-33)?
False
Let i(o) = -17*o. Let j be i(6). Does 2 divide 17/j - 55/(-6)?
False
Let f(y) = -24*y**3 - y**2 - 2*y - 1. Suppose z + z - 3*v = 7, 4*v + 15 = -3*z. Let j be f(z). Suppose 2 = -2*r + j. Is r a multiple of 3?
False
Let n = 0 - 1. Suppose 398 = 23*j - 108. Let u = j - n. Is 16 a factor of u?
False
Let o be -36*(0 - (-4)/(-8)). Let u = o + -22. Let g(w) = -2*w + 8. Is g(u) a multiple of 8?
True
Let c(t) = -73*t**3 - 3*t + 2. Is c(-2) a multiple of 38?
False
Let f = 116 + -44. Suppose z + f = 5*z. Let d = 46 - z. Is d a multiple of 9?
False
Suppose 0 = 4*f - 2*f - 3*i - 1443, 4*f = 3*i + 2889. Is f a multiple of 13?
False
Let g(c) = c**2 - c + 138. Does 14 divide g(0)?
False
Let l(q) = -7*q**3 + 2*q + 1. Let d be l(-1). Let r be d/(-27) + 129/(-27). Is (r/3)/(17/(-51)) a multiple of 5?
True
Suppose -4*b = b - 4*a - 41, -23 = -2*b - 5*a. Let t = 9 + b. Does 6 divide t?
True
Let g(d) = -4*d**2 - 7*d + d + 6*d**2 - 3 + 2*d. Let q be g(4). Suppose q*j - 240 = 8*j. Is j a multiple of 15?
False
Suppose s + 912 = 3*s - 4*k, 0 = 4*s - 4*k - 1812. Is 45 a factor of s?
True
Suppose 3*m - 4*t - 1365 = 0, 0 = -5*m - 3*t + 1435 + 811. Does 11 divide m?
True
Suppose 0 = 3*u - 12, g - 5*u - 1 = -12. Let l(i) = -2*i - 13. Let a(q) = -4*q - 27. Let d(h) = g*l(h) - 4*a(h). Is 3 a factor of d(-9)?
True
Let n(b) = -b - 8. Let c be n(-10). Suppose 87 = 5*d - c*s - 0*s, -4*d + 70 = -2*s. Is d a multiple of 17?
True
Let r(j) = j**2 - 13*j + 4. Let s(h) = -h**2 + 13*h - 4. Let v = -6 + 12. Let g(q) = v*s(q) + 5*r(q). Does 3 divide g(12)?
False
Let q be (0/(-2))/(3 + 0). Suppose 356 = 2*v - q*y + 2*y, 4*y + 188 = v. Is 19 a factor of v?
False
Let a = -72 - -77. Suppose 0*j + a*n = -j + 7, 3*j - 7 = -n. Is 2 a factor of j?
True
Let r be (-110)/(-4) + (-36)/24. Suppose -3*i + 24 = -3*k, 3 + r = 4*i - k. Is 7 a factor of i?
True
Suppose -144 = -6*k + 36. Let x = 80 - k. Is 14 a factor of x?
False
Let j = -813 + 870. Does 23 divide j?
False
Let b be 4*-2*18/4. Let m = -101 + 128. Is 8 a factor of (b/m)/(2/(-21))?
False
Let q = -991 + 1394. Let z = q + -183. Is 23 a factor of z?
False
Let r(y) = 2*y**2 + 2*y. Let i be r(-2). Suppose -120 = -i*n + 2*z, -5*z - 2 = 8. Is n a multiple of 29?
True
Suppose d + 3 = 6. Suppose -6*c = -10*c + 20. Suppose k - c = d. Is 3 a factor of k?
False
Is (-45)/(-27)*(123 - 0) a multiple of 5?
True
Suppose -20*r = -56*r + 13896. Is r a multiple of 10?
False
Suppose -4*s + 5 = -9*s. Is ((6 - 3) + -38)/s a multiple of 20?
False
Let z be (5/(-15))/((-1)/(-3)). Let s be 1 + z - (-9 + 6). Is 92 - (3 + -3)/s a multiple of 14?
False
Is 47 a factor of (11/(132/(-8)))/((-3)/3384)?
True
Suppose -4*t = -m - 61, t + 2*m - 5 = 8. Let q(b) = -t - b - 9*b + b - b. Does 11 divide q(-7)?
True
Let v = 13 - 10. Suppose -2*q - 5*j = 3, v*q - 15 = -0*j - j. Does 8 divide (3/q)/((-3)/(-78))?
False
Suppose 0 = 3*t - 602 - 331. Is t a multiple of 58?
False
Suppose 0 = -5*y - 25, p - 4*p - 4*y = 41. Let i(b) = b**3 + 9*b**2 + 9*b + 9. Does 11 divide i(p)?
True
Suppose -2*b + 25 = 19. Suppose 329 = 5*x - b*g, 5*g - 177 = -7*x + 4*x. Is 8 a factor of x?
True
Suppose 263 + 582 = -5*p. Let m be (2/1)/(2/(-116)). Let h = m - p. Is 12 a factor of h?
False
Let u(v) = -1. Let a(c) = -15*c + 2. Let s(h) = -a(h) + 3*u(h). Let p = 1362 - 1359. Is s(p) a multiple of 8?
True
Suppose 0*m = 17*m - 4352. Does 27 divide m?
False
Suppose 7*r = 4873 - 890. Is 5 a factor of r?
False
Suppose 8*v = v + 28. Let q(m) = -44*m - 7. Let f be q(-6). Suppose -v*j + f = -111. Is 28 a factor of j?
False
Suppose f + 4*a - 646 = 0, 0 = -3*f + 6*a - 2*a + 1906. Does 22 divide f?
True
Is 13 a factor of (504 - (4 - 6/(-6))) + -3?
False
Let k(s) = s**3 - 8*s**2 - 18*s - 2. Let t = 14 - 4. Does 9 divide k(t)?
True
Supp