 Let q = c - f. Does 13 divide q?
True
Suppose 2144 = 5*t - z, 4*t + 21*z = 23*z + 1714. Is t a multiple of 38?
False
Suppose 4*j = -2*h, 0 = -4*h + 2*j + 26 - 66. Suppose -28 = -2*z - 4. Let l = z - h. Is l a multiple of 5?
True
Let p(s) = -s**2 + 9*s - 14. Let z be p(7). Suppose 5*c - 9*c + 516 = z. Is c a multiple of 42?
False
Suppose 3*v + o - 122 = 454, 4*o = -2*v + 384. Let h be (111/(-259))/(1/(-7)). Suppose -p - h*p = -v. Is p a multiple of 12?
True
Let b be 5/((-15)/(-6)) + 3. Suppose -2*u = -b*u + 12. Suppose -2*r + 2*n - n = -78, 0 = r - u*n - 32. Is 10 a factor of r?
True
Let s = 284 + -279. Suppose 0 = l - 1749 - 729. Does 13 divide l/30 + 2/s?
False
Suppose 315 = 3*i + 3*n, -n = 4*i - 231 - 204. Is 22 a factor of i?
True
Let d = -13 - -77. Is 4 a factor of d?
True
Let z = 2218 - 2079. Is 3 a factor of z?
False
Let v be 5/(-10) - (-3)/2. Let c(z) = -2*z - 1. Let s be c(v). Let w(o) = 2*o**2 - 4*o - 3. Is 7 a factor of w(s)?
False
Suppose -3*l - 2 = -4*d, -5*l + d - 3*d - 12 = 0. Is 38 a factor of 0/l + 63 + 4?
False
Suppose -3*q - 2*q - 45 = 0. Let h be 3*(1 + (-39)/q). Suppose -h = -n + 8. Does 24 divide n?
True
Let z(w) = 101*w + 22. Does 4 divide z(2)?
True
Suppose 4*w = -5*h + 42, -w + h + 14 = w. Suppose 3*z = w*z - 280. Suppose -5*q - z = -5*x + 209, -3*x = 2*q - 174. Does 28 divide x?
True
Let i(v) = -v**3 - 6*v**2 + 6*v - 5. Let k be i(-7). Suppose 4*s - 62 = k*s + 4*d, -86 = -3*s - d. Let y = s + -6. Does 23 divide y?
True
Let b(z) = -10*z - 11. Let i be b(-4). Suppose 0 = -i*m + 32*m - 87. Is 25 a factor of m?
False
Suppose -2*i + 1308 = 4*p, 4*p = 4*i + 560 + 760. Is 41 a factor of p?
True
Suppose 5*y + 1420 = 15*y. Is 20 a factor of y?
False
Suppose 0 = -c + 5*o + 5 + 10, -5*o + 5 = c. Suppose 0 = 2*y - 4*g - 368, 4*g = -c - 10. Is 29 a factor of y?
True
Let g(o) = 111*o - 1028. Is 24 a factor of g(12)?
False
Let r(j) = -8*j - 1 + 14*j**2 - 7*j - 10 - j**2 - j**3. Let o be r(11). Suppose -5*n = 4*h + 7 - o, 5 = -n. Does 11 divide h?
False
Does 23 divide ((-39)/(-15))/((-2 + 3)/115)?
True
Let s = -8 - -6. Let j = 79 + -68. Let q = j - s. Is 13 a factor of q?
True
Let o = 268 - 98. Is o a multiple of 34?
True
Does 19 divide 1 + 4004/6 + 8/12?
False
Let o = 7 - -17. Let s = -9 + o. Does 5 divide s?
True
Let j(u) = -2*u - 2. Let i be j(-3). Suppose -r = -5*w - 88, 4*r - i*w - 291 = -3. Is r a multiple of 8?
False
Let x = -41 + 120. Let v = x + -35. Is 6 a factor of v?
False
Let j(y) = -y - 1 - 4*y + y**2 + 10*y. Let o be j(-5). Is 3 a factor of -36*(o + (-2)/(-3))?
True
Let y(k) = -11*k + 1. Let j be y(-2). Let q = j - 4. Let t = q - 4. Does 5 divide t?
True
Let g(n) be the third derivative of -11*n**6/120 + n**4/6 + n**3/2 + 4*n**2. Let l be g(-2). Suppose 2*p - 5*v = p + 27, 5*p - l = -v. Does 6 divide p?
False
Let d(b) = -2*b**2 + 3*b - 2. Let q be d(2). Let h(l) = l**2 - 7*l - 2. Is h(q) a multiple of 42?
True
Is 10 - -334 - (-21)/3 a multiple of 13?
True
Let c(v) = -552*v + 274*v + 2*v**2 + 279*v. Let j(z) = z**2 - 7*z - 6. Let r be j(8). Does 3 divide c(r)?
False
Let r(y) be the third derivative of y**6/120 + 11*y**5/60 - y**4/2 + 2*y**3/3 + 4*y**2. Let b be r(-12). Does 12 divide 12 - (b + -2 + -2)?
True
Let m(j) = -j**2 - 15*j + 1. Suppose -3*t = 26 - 11. Is 7 a factor of m(t)?
False
Let k(f) be the second derivative of -f**4/12 - f**3/2 + 5*f**2 - f. Let c be k(-5). Suppose 5*m - 2*u - 356 = c, -2 = -0*u - u. Is 18 a factor of m?
True
Let u(f) = f**3 + 9*f**2 + 6*f - 1. Let m(y) = -y**2 + 2*y + 3. Let s be m(-2). Let b = s + -3. Is 8 a factor of u(b)?
False
Suppose -5*h = 19 - 4. Is 29 a factor of (124/6)/((-5)/90*h)?
False
Let x = 1045 - 721. Is 4 a factor of x?
True
Let a(t) = 178*t**2 + 12*t - 44. Does 104 divide a(3)?
False
Let h(d) = -2*d**3 + 3*d. Suppose -3*g - 4*m = 25, -6*g + 2*g + 2*m - 4 = 0. Is h(g) a multiple of 15?
True
Let r(t) = 32*t + 56. Let y be r(-11). Let j = y + 438. Is 7 a factor of j?
False
Let s(z) be the third derivative of z**6/120 + 7*z**5/60 - 5*z**4/12 - 7*z**3/3 - 18*z**2. Does 7 divide s(-7)?
True
Let x(s) = -2 + 0 + 3 + 2*s + 4*s**2 + 0. Let n be x(3). Let u = n + 20. Is u a multiple of 23?
False
Let d(a) = -5*a + 1. Let x be 4/(-26) + 112/52. Suppose -2 = 4*w + x. Is 6 a factor of d(w)?
True
Suppose -4*n - 4*o + 89 = n, 3*o - 30 = -2*n. Let m = n + -18. Suppose 5*x + m*f - 50 = f, x - 5*f - 10 = 0. Does 10 divide x?
True
Let n(i) = -i**2 - i - 3. Let h be n(0). Let y be -1 - h*1/3. Suppose y*w - 5*w = -140. Is w a multiple of 14?
True
Suppose 39*q = 31*q + 4624. Is q a multiple of 49?
False
Let t(f) = 14*f - 34. Let k(i) = -5*i + 11. Let x(z) = -11*k(z) - 4*t(z). Let n be x(-5). Suppose m + n + 4 = 4*q, 3*m - 6 = -q. Does 4 divide q?
False
Suppose 15*b = 3725 - 20. Is b a multiple of 4?
False
Let q(f) = f**3 + f**2 - f + 24. Let j be q(0). Let b be (-16)/j + (-5)/(-3). Does 12 divide b + 3 + 3 + 19?
False
Let y(g) = 441*g**2 - 4. Does 23 divide y(-1)?
True
Let w(a) = -a**2 - 6*a - 3. Let p be w(-3). Suppose b - 78 + p = 0. Does 12 divide b?
True
Suppose -1477*k = -1483*k + 240. Is 6 a factor of k?
False
Let v(f) = f**3 - 10*f**2 + f - 6. Let p be v(11). Suppose -o + 3*d + p = 35, 0 = -3*d. Is 7 a factor of o?
True
Let d be (-12)/8*(-110)/15. Suppose -5*w = -86 + d. Is 3 a factor of w?
True
Suppose 7*p - 220 = 5*p. Let c = p + -98. Is c a multiple of 4?
True
Suppose -9*k + 7*k = -8. Suppose 0 = -13*c + 12*c + k. Does 3 divide c?
False
Suppose 5*f + 16*y = 15*y + 6913, 4*y + 1391 = f. Is 23 a factor of f?
False
Let j(v) = v + 3. Let w(m) = m**3 + 3*m**2 + 3*m + 3. Let l be w(-3). Let h be j(l). Is 17 a factor of 9/h + 53 + 1?
True
Suppose -5*p + 8*p = 15. Suppose -p*j = -0*j - 70. Does 14 divide j?
True
Suppose 4*w + 324 = -4*f, 203 = -5*w + 5*f - 172. Let n(u) = -29*u + 2. Let d be n(2). Let o = d - w. Is o a multiple of 9?
False
Suppose -3*w + 14 = 4*o, -10 + 2 = 4*w. Let q(k) = 7*k - 12. Does 7 divide q(o)?
False
Let i be ((-16)/4 - -57) + 2. Let j = i - 51. Is 2 a factor of j?
True
Let f = 6313 - 3217. Does 86 divide f?
True
Let d be 7 - (4 - (-2 - -4)). Suppose -f + 133 = 4*t, f + 155 = d*t - 0*f. Does 29 divide t?
False
Suppose -9*w = 4645 - 17695. Does 50 divide w?
True
Suppose i = 5*d - 3*d, 0 = 3*d. Suppose l = 0, l - 15 = 5*g - i*g. Is (27/(-3))/g - -29 a multiple of 16?
True
Let h = -76 - -70. Let a(t) = t**3 - 4*t - 2*t**3 - 4*t + t**2 - 4 - 8*t**2. Does 5 divide a(h)?
False
Let t = 1174 + 490. Is t a multiple of 28?
False
Let z be -1 + 1 - 4/2. Let k be (-24)/(-16)*(1*10 + 0). Is 3 a factor of ((-25)/k)/(z/6)?
False
Let t(u) = 4*u**2 + u. Let v be t(-1). Let d be (v - (-5)/(-2))*-24. Is (d/30)/(1/(-20)) a multiple of 2?
True
Is 3 a factor of (-2 + 6 + 3)/(7/126)?
True
Is -280*(-7)/(16 + -9) a multiple of 56?
True
Suppose -4*r + 0 = -196. Suppose -3*o = -2*o + 5, r = 2*l + 3*o. Is l a multiple of 5?
False
Let k(x) be the first derivative of x**4/4 - 7*x**3/3 - 5*x**2 - 6*x - 5. Is 22 a factor of k(10)?
False
Let m(p) = p**3 + 19*p**2 - 7*p + 88. Is m(-15) a multiple of 15?
False
Suppose 1 = w - 2, -5*w - 535 = -2*g. Is g a multiple of 19?
False
Suppose -38*q + 219 + 465 = 0. Is 18 a factor of q?
True
Let z(f) = 39*f**2 - 14*f - 27. Is 70 a factor of z(-10)?
False
Let o be 4/14 - 104/(-28). Suppose -4*i - 21 - 15 = -4*s, 5*i + 36 = o*s. Let d = s - -17. Is d a multiple of 9?
False
Suppose 6*a = 2*a + 1672. Let s = -214 + a. Let d = 328 - s. Is 31 a factor of d?
True
Let x(v) = v**3 + 6*v**2 - 9*v - 9. Let j be x(-7). Suppose -24 = -6*o + j*o. Is o a multiple of 11?
False
Let x(k) = -k**3 - 11*k**2 - k - 1. Let z be x(-11). Let t = z - -18. Does 7 divide t?
True
Let i be -1 + 1 + -3 - -6. Let g(b) = -b**2 + 10*b - 18. Let d be g(8). Is 9 a factor of (204/(-9))/d*i?
False
Let k be (3 - 3/(-3))*42/4. Suppose -k*u = -47*u + 290. Is 21 a factor of u?
False
Let b(c) = -4*c**3 - 31 - 4*c + 18*c + 20 + 5*c**3 - 10*c**2. Is 14 a factor of b(10)?
False
Does 3 divide (-21408)/(-32) + (12 + -3 - 2)?
False
Let s = 156 - 100. Let w be (142/(-4) - -1)/(60/(-160)). Let g = w - s. Is g a multiple of 9?
True
Let h be 180 + 3 + 8/(-4). Let n = -123 + h. Does 11 divide n?
False
Suppose 409 = 4*v - r, 3*v + 0*v - 5*r - 328 = 0. Is v even?
False
Suppose 0 = 7*y - 10*y + 15. Suppose -55 = 