or of c?
True
Let k(t) = t**2 - t + 4. Let a be k(0). Suppose -123 = -7*n + a*n. Suppose s - n = -v, 2*v = 5*s + 22 + 53. Is 10 a factor of v?
True
Let t(l) = -l**2 + 7*l + 30. Let v be t(10). Suppose 5*o + d + 145 = v, 13 = -3*d - 2. Is 3 a factor of (9/(-6))/(-1 - 22/o)?
False
Suppose 0 = 2*b - 5*c - 364, -5*c = -5*b - 8*c + 879. Suppose 5*l - 55 = 5*y + 155, -4*l + b = -y. Is l a multiple of 5?
True
Let b(y) = -11*y**2 - 4*y - 9. Let i be 1 + ((-57)/18 - 1/(-6)). Let j be b(i). Let u = j - -65. Is 3 a factor of u?
False
Suppose -15*x + 18831 = -7329. Is x a multiple of 15?
False
Let j be 8 + 0 + -3 - (12 - -2). Is 3 a factor of (j - -14)/(1/18)?
True
Let s = 171 + -144. Let u be 71 + -4*3/(-4). Let a = u - s. Is 7 a factor of a?
False
Is 44 a factor of (-12)/(-198)*(-3)/2 - 6615450/(-550)?
False
Suppose 4*d + 20 = 0, 4*z + 3*d + 374 + 21 = 0. Let l = 211 + z. Does 16 divide l?
False
Let u(y) = -y**3 + 18*y**2 - 35*y + 35. Let a be u(15). Suppose 0 = 188*i - a*i - 273. Is 14 a factor of i?
False
Let t(n) = 66*n + 5. Let z(d) = -1. Let g(o) = t(o) + 3*z(o). Suppose -4*a - 5*l = -24, 526*l = 4*a + 524*l + 4. Does 8 divide g(a)?
False
Let v = -68 - 9. Let m = -75 - v. Suppose -z - 4*p = -0*z - 244, -1184 = -5*z - m*p. Does 47 divide z?
False
Let u(z) = 108*z + 6388. Is 5 a factor of u(-41)?
True
Suppose 21805 = 5*n + 2*k, 5*k = 3*n - 9367 - 3747. Does 6 divide n?
False
Let v(d) = -171*d - 9. Let b be v(-4). Suppose 0 = -4*f - 83 + b. Suppose -6*p + 7*p - f = 0. Is p a multiple of 37?
True
Let b = -37169 - -73799. Does 30 divide b?
True
Suppose 7*i + 2*i = 18. Suppose -p - 2*p - i*p = 0. Suppose p = 6*g - 0*g - 486. Is g a multiple of 27?
True
Does 39 divide -2 + (782 - 91)/((-2)/(-37 + -1))?
False
Let y = 35 - 36. Let h(a) = -46*a**3 + 2*a**2 + 2*a + 1. Let z be h(y). Let q = 95 - z. Is q a multiple of 14?
False
Let w be 96/(-18)*(2 + (-13)/2). Suppose 11*v - w = -v. Suppose -2*b - 310 = -5*r + 2*b, 0 = -2*r - v*b + 142. Is r a multiple of 22?
True
Suppose 4 - 10 = -g, -5*g = 7*f - 73467. Does 11 divide f?
False
Suppose -5*x + 88 = -232. Let l(m) = m**3 + 32*m**2 + 59*m - 4. Let a be l(-30). Let s = x + a. Is s a multiple of 15?
True
Suppose 2*j + 6 = 20. Suppose -5*u + j = n - 19, 4*u - 5*n = 15. Suppose 0 = 5*k + 2*i - 485, 3*k = u*i + 137 + 185. Is k a multiple of 10?
False
Let p(l) = 2079*l**2 - 716*l + 1429. Does 163 divide p(2)?
True
Let w be (-1 - -3)*(2 + 2310/12 + 0). Suppose 0 = 5*q - 10*q + 4*f - 905, 5*f - 345 = 2*q. Let z = q + w. Is z a multiple of 23?
False
Let a = -1490 + 7223. Does 7 divide a?
True
Suppose -7*b + 5*g + 2195 = -5*b, -2*g + 2 = 0. Suppose 0 = -2*f - 2*f - 4*u + b, 3*f = 5*u + 857. Is 19 a factor of f?
False
Suppose -5*h - 15 = 0, -h + 94 = 2*g - g. Suppose g = 6*j - 695. Is 4 a factor of j?
True
Let n(q) = -q**3 - 23*q**2 - 89*q - 27. Does 20 divide n(-19)?
True
Let p(v) = v**3 - 4*v**2 - 38*v + 106. Let b be p(6). Suppose -3*m = 2*x + 266, m = -x - x - 94. Let c = b - m. Is 6 a factor of c?
True
Let s(w) = 40*w + 42. Let p be s(14). Suppose 0 = -6*x + p + 292. Is x a multiple of 9?
False
Suppose 5243 = 12*o - 4057. Is o a multiple of 6?
False
Suppose 0 = -55*b + 50*b + 8050. Does 17 divide b?
False
Let h(z) = z**2 + z**3 + 8 + 7*z - 7*z**2 - 17*z. Let y be h(8). Suppose y = -5*f + 456. Is 10 a factor of f?
True
Does 12 divide -12 - -264 - -3 - 3?
True
Let i = 523 + -259. Suppose -38*o = -44*o + i. Is 20 a factor of o?
False
Let u(b) = -b + 40. Suppose -3 = -3*c, 3*n - 5*c = n - 43. Let o be u(n). Let z = -37 + o. Is 22 a factor of z?
True
Suppose 11*z - 15430 = 10266. Let q = -1453 + z. Is q a multiple of 75?
False
Let u(x) = 15*x**2 + 4*x + 6. Let d = 93 + -97. Is u(d) a multiple of 10?
True
Let l = 4 + -4. Suppose 0 = 2*q + 30*q - 224. Suppose l = 5*y - q*y + 610. Does 17 divide y?
False
Let h(b) be the first derivative of -32*b**2 - 49*b - 13. Does 19 divide h(-7)?
True
Let h(g) be the third derivative of 4*g**5/15 - 29*g**4/24 + 8*g**3/3 + 124*g**2. Does 36 divide h(6)?
False
Let o be ((-7)/(28/(-15)))/((-9)/(-2928)). Suppose 14*q - 2420 = o. Does 19 divide q?
False
Suppose -17*w + 20*w - 36 = 0. Let v be 47/15 - w/630*7. Suppose v*y - 4*y + 179 = p, 0 = -p + 4*y + 164. Is 11 a factor of p?
True
Let d(u) = -6752*u + 1273. Does 186 divide d(-3)?
False
Let s = -9461 - -34858. Is s a multiple of 109?
True
Suppose 3*h = c + 13, 0*c = 5*h + 4*c + 1. Suppose -7*w + h*w - y + 155 = 0, 25 = -5*y. Is 13 a factor of w?
False
Suppose 37438*q = 37444*q - 142272. Is 13 a factor of q?
True
Let s(g) = -1547*g - 1259. Is 15 a factor of s(-6)?
False
Let f = -7032 - -17225. Does 22 divide f?
False
Let x(g) = 5*g**2 + 4*g - 1. Let b(o) = -o**3 + o**2 + 1. Let w(z) = 2*b(z) - x(z). Let y be (-2)/(-2)*-5*(-1462)/(-3655). Does 5 divide w(y)?
True
Let r = -2 + -3. Is 23 a factor of 180 + 24/(r + 11)?
True
Let n(a) = 4*a**3 - 77*a**2 - 31*a + 24. Let c(i) = -i**3 + 15*i**2 + 6*i - 5. Let s(k) = -11*c(k) - 2*n(k). Does 33 divide s(7)?
False
Suppose -2*b + 2*c = 21 + 5, 0 = 4*b + 3*c + 45. Is (1 + (-45)/b)*52 a multiple of 55?
False
Let m(t) = 1395*t - 3340. Is 223 a factor of m(8)?
False
Let f(q) = 16*q - 58. Let b be 495/(-18)*(21/(-15) - -1). Is 3 a factor of f(b)?
False
Suppose -854830 = -95*j + 361835. Is 36 a factor of j?
False
Let x = -123 + 130. Suppose 4*p - 2*o - 842 = 0, 3*o - 4 = -x. Does 26 divide p?
False
Let m = -90 - -91. Let g(i) = -9 - 79*i - 79*i + 148*i + m + i**2 - i**3. Does 16 divide g(-4)?
True
Let u be -2 - (701/(-4) - 2/(-8)). Let l be 2/5 + (-2008)/(-5). Suppose -5*g - d - 27 + l = 0, 5*d = -2*g + u. Is 37 a factor of g?
True
Suppose -5 = c - 835. Let v = c - 604. Does 57 divide v?
False
Let d(k) = k**2 - k - 8. Let o be d(-3). Suppose -9 = 4*j + 11, -o*j - 64 = -4*t. Suppose 3*y + l - 5 = t, 0 = 4*y - 3*l - 43. Is 2 a factor of y?
False
Suppose -12*q - 13178 = -157587 - 14027. Is 86 a factor of q?
False
Let q = 52 - 52. Suppose 0 = 4*t, b - 7*t + 12*t - 217 = q. Is b a multiple of 31?
True
Suppose -k - 58 = o, -4*o - 260 = o - 5*k. Let f be 2412/(-44) + 5/(o/2). Is f/(-22)*126/5 a multiple of 9?
True
Let s(a) = 8*a**3 - 9*a**2 + 42*a + 7. Is 150 a factor of s(6)?
False
Suppose -151*o = 7*o - 154682. Is 11 a factor of o?
True
Let j = 5305 + -2085. Does 70 divide j?
True
Let h be 3*1/(-2)*(-2720)/(-3). Let q = -920 - h. Is q a multiple of 44?
True
Let l(v) = 245*v + 12. Let f(y) = 28*y - 111. Let t be f(4). Does 39 divide l(t)?
False
Suppose -4*c + 100 = 12. Let i = -32 + c. Is 19 a factor of (i/(-2)*-3)/((-3)/18)?
False
Let f = 5869 - 5241. Is 18 a factor of f?
False
Let p = -3826 + 5813. Is 7 a factor of p?
False
Let l(h) be the second derivative of h**5/120 + 15*h**4/8 + 13*h**3/6 - 4*h. Let m(i) be the second derivative of l(i). Does 15 divide m(0)?
True
Suppose 0 = -s - 3*m + 38, -s + 3*m = -0*s - 32. Let c be -3*(s/3)/(-7). Suppose c*x = 7*x - 210. Is x a multiple of 35?
True
Suppose 244*l + 24 = 252*l. Suppose -j - 8*i + 342 = -4*i, l*j = 4*i + 1026. Is 47 a factor of j?
False
Let c be (4/3)/(2/15). Suppose -c = 3*g + 14. Let o = 31 + g. Does 10 divide o?
False
Let c(r) = 2*r**2 + 136*r - 469. Is 9 a factor of c(-96)?
False
Let j = -42 + 44. Suppose 5*m + l - 27 = 3*m, -j*m - 4*l = -42. Suppose -k - 1 = -m. Is k a multiple of 5?
True
Suppose -2*b + 4*x = -1704, 908 = 5*b + 2*x - 3388. Is 6 a factor of b?
True
Let a = -109 + 112. Suppose -3*p + g + 100 = 0, -2*p + 4*p + a*g - 63 = 0. Is 33 a factor of p?
True
Let r(s) = -599*s + 1346. Is r(-6) a multiple of 26?
True
Suppose 2*o + o = 1161. Let h be ((-5)/15)/(-1)*o. Let q = h + -57. Does 9 divide q?
True
Let j = 5 - -182. Let z = j - 87. Is z a multiple of 4?
True
Let p be (-2)/(-3) - (-63296)/96. Suppose 58*s - 57*s = p. Is 33 a factor of s?
True
Is -6 - ((-10)/(-35) - (-894912)/(-112)) a multiple of 16?
True
Let h be (0/(-6) - 3) + 3. Is h - 3*(-3 + -20) a multiple of 8?
False
Suppose 0 = -2*a + 6*a - 4*q + 76, 0 = 2*q - 4. Does 2 divide 9/2*(-136)/a?
True
Let p(s) = s**3 - 13*s**2 - s + 17. Let m be p(13). Suppose -5*b - 17 - 3 = 0, m*n = -b + 88. Is n even?
False
Let o(v) = -2*v**3 - 2. Let c(y) = -11*y**3 + 14*y**2 - 33*y - 24. Let h(q) = c(q) - 6*o(q). Is h(-16) even?
True
Suppose 3*r - 4*r = -284. Let d be 2640/275*160/(-12). Let l = r + d.