-2)/(-3). Suppose 40*d = 29*d - 46*d. Suppose c*p - 47 + 15 = d. Is p a multiple of 4?
True
Suppose 5*y + 19 = 89. Suppose 0 = 7*r - y*r + 1855. Is r a multiple of 17?
False
Let c(k) be the third derivative of -27*k**6/40 + k**5/60 + k**4/24 - k**2 + 2*k + 58. Suppose 3 = 3*n - 6*n. Is 27 a factor of c(n)?
True
Let y(d) = -3*d**2 + 19*d - 41. Let n be y(12). Let a = -143 - n. Does 33 divide a?
False
Let d(f) = 49*f**2 + 6*f - 10. Is 66 a factor of d(2)?
True
Let z = 108 - -221. Does 101 divide z?
False
Let d(n) = 2*n + 1. Let q(m) = -m**2 + 7*m - 11. Let l be q(4). Let x be d(l). Is 15 a factor of 111 - (x*-2)/2?
False
Suppose 51*k + 26202 = 54*k + 2*s, -2*s = -3*k + 26214. Does 52 divide k?
True
Let t be ((-1820)/100)/(1/(-5*1)). Let x(y) = -9 - t*y + 4 + 0. Is 31 a factor of x(-1)?
False
Let s(j) = -j**2 - 22*j + 62. Let n be s(-24). Suppose -k = -n*k + 1677. Is k a multiple of 7?
False
Suppose -10711 = -2*o + 5*a, -3*a + 487 = 2*o - 10216. Does 19 divide o?
False
Let j(d) = d**2 - 7*d + 15. Let i be j(10). Let f = -11 + i. Suppose -4 = w - 5*p, -f = -2*w + p + 3. Is w a multiple of 3?
True
Is (22 - 37)*(278/(-1) - 2) a multiple of 5?
True
Let w be -48*((-37)/12 - (-6)/(-9)). Suppose -5*h + 180 = -k, 3*h + 2*h - w = -5*k. Is 12 a factor of h?
True
Let p be -558*12/(-45) - 2/(-10). Suppose -180 = -4*h + b + b, 0 = -3*h + 5*b + p. Is 43 a factor of h?
True
Let x be 4/10 + 24/(-60). Suppose 364*d - 357*d - 3234 = x. Is d a multiple of 66?
True
Suppose -y - 3*a + 0 - 8 = 0, -5*y - 5*a + 10 = 0. Suppose -2 = v - 4*h - y, 3*v + 3*h - 15 = 0. Suppose -v*g = -6*g + 51. Does 6 divide g?
False
Let s be ((-3)/(-1))/((-2)/4). Let a(u) = -12 - 3 - 4 - 17*u + 1 - 4. Is 8 a factor of a(s)?
True
Let s(y) = y**3 + 2*y**2 - 1. Let m be s(1). Suppose -5*v + m*v - 2*x = -74, 0 = -v - x + 24. Is 26 a factor of v?
True
Does 2 divide 263744/546 - 4/3 - (-6)/21?
True
Suppose 22*l = 25*l - 1458. Is 96/(-9)*(l/(-4))/9 a multiple of 12?
True
Let i = -427 + 430. Suppose i*a = -3*f + 2439, 0*a - 2455 = -3*a + f. Does 43 divide a?
True
Let i(z) be the first derivative of 17*z**5/20 + z**4/24 + z**3/3 + 5*z**2/2 - 7. Let a(q) be the second derivative of i(q). Is a(-1) a multiple of 16?
False
Suppose 3*p - 25 = -2*p. Suppose -338 = -p*m + 1387. Suppose -3*z + 8*z - 5*o = m, z - 5*o - 85 = 0. Does 14 divide z?
False
Let i(k) = 3*k**2 + 18*k - 20. Let m be i(-7). Is (10 - 2/m)/((-2)/(-52)) a multiple of 8?
True
Let p(h) = -h**3 + 6*h**2 + 8*h + 1. Let y be p(4). Let s = -38 + y. Is s a multiple of 9?
True
Suppose 1 = -d - 11. Is 69 a factor of (-12430)/(-60) - ((-38)/d - 3)?
True
Let g = 10203 - 3553. Does 16 divide g?
False
Let k(x) = 21*x**3 + 4*x**2 + 12*x - 3. Does 12 divide k(5)?
False
Let h be (-12)/(15/(-8230) - 0). Suppose 15*r = 23*r - h. Is 66 a factor of r?
False
Suppose -3*k - 68 = -5*k + 2*j, 0 = k + 2*j - 34. Suppose 5*c = -k + 14. Is (36/8)/(c/(128/(-6))) a multiple of 8?
True
Suppose 0 = 2*a - 131 + 159. Let s(k) be the second derivative of -7*k**3/6 - k**2/2 + k. Is 15 a factor of s(a)?
False
Suppose p - 584 - 702 = 0. Let t = p + -333. Is 43 a factor of t?
False
Let r be (-7)/(-2)*(11 - -1). Let g(m) = m + 168. Does 15 divide g(r)?
True
Suppose 158 = 2*v + 10. Suppose -v = -7*u + 6*u. Let c = u + -18. Is c a multiple of 33?
False
Suppose 0 = -4*n + 5*h + 1076, -269 = -11*n + 10*n - 4*h. Let y = n + -184. Does 17 divide y?
True
Let g(u) = 2*u**2 - 2*u - 39. Let m be g(0). Let z = m - -43. Suppose 3*s = z*s + a - 9, 3*a + 71 = 4*s. Does 3 divide s?
False
Let q(n) = 10*n**2 + 51*n - 26. Let h be q(11). Let m = h - 907. Is m a multiple of 45?
False
Let x(t) = 148*t**3 - 10*t**2 - 94*t + 410. Is x(5) a multiple of 107?
True
Let m(z) = -z**2 - 16*z - 15. Let c be m(-15). Suppose -3*h + 224 + 43 = c. Suppose 8*f - 175 = h. Is f a multiple of 19?
False
Let s be (16 - 19)/(-2 - 405/(-203)). Suppose 6*a - 153 = -s. Let j = a + 111. Is j a multiple of 7?
True
Suppose -z + 4*b + b = -2163, -z = 5*b - 2193. Suppose z = 13*j - 305. Is 13 a factor of j?
False
Let f(l) = -22*l + 50. Suppose 0 = j + 2*t - 2, 5*j + 27 = 2*t - 11. Is f(j) a multiple of 14?
True
Let g(i) = 247*i + 13. Let m(l) = -l**2 - 31*l + 3. Let k be m(-31). Let t be g(k). Suppose 5*q - q - t = 2*c, -q + 178 = 3*c. Does 11 divide q?
True
Suppose -9*z = -11*z - 104. Let f = z - -52. Suppose f = -2*a + 69 - 11. Is 21 a factor of a?
False
Suppose 125 = -5*a + 400. Suppose 58*d - a*d - 1050 = 0. Is d a multiple of 25?
True
Suppose 0 = -15*h + 20*h + 20. Is (h + 4 + 30)*(-21)/(-6) a multiple of 12?
False
Does 21 divide (2 + -51)/((-4)/84)?
True
Let j = -109 - -152. Let x = j + 189. Is x a multiple of 29?
True
Suppose 0 = 3*s + 15, -3*s - 7873 = -h + 2*s. Is h a multiple of 109?
True
Suppose 93*b + 35024 = 96*b - 2*r, b - r - 11674 = 0. Does 16 divide b?
False
Suppose 5*k - 41 = -u - 2*u, 4*u = k + 1. Let c be (3 + -6)/(k/(-28)). Is 191 - ((-6)/c)/((-1)/(-2)) a multiple of 32?
True
Let q(r) = 2518*r - 140. Is q(2) a multiple of 51?
True
Let u(h) = -7987*h + 1850. Is u(-5) a multiple of 207?
False
Let i(n) = n**3 - 10*n**2 - 10*n + 24. Let p be i(13). Suppose p = -9*w + 1472. Is w a multiple of 7?
True
Let a(q) = -61*q + 2679. Does 79 divide a(-83)?
True
Let m = 7888 + 7843. Does 36 divide m?
False
Suppose -7836 = -r - 35*w + 31*w, 0 = 5*r + 2*w - 39072. Is 149 a factor of r?
False
Let d be (-3 + -3 + 2)*(-2)/4. Suppose -4*r + 16 = -4*j, -j + 5*r = 10 + 10. Suppose j*x = -d*x + 60. Does 5 divide x?
True
Let y = 65 - 71. Let z be 2/((-2)/y + (-185)/510). Let r = z + 74. Is r a multiple of 5?
False
Let q(t) = 12*t**2 + 31*t + 239. Is q(-12) a multiple of 29?
True
Suppose -254 - 3998 - 2144 = -6*y. Is 26 a factor of y?
True
Let y(s) = 42*s + 59. Suppose 4*q + 3*q = 8*q. Is 5 a factor of y(q)?
False
Suppose -29*b + 145159 + 69806 = 16*b. Is 17 a factor of b?
True
Suppose 22 - 16 = -3*q. Let l be -2 + q*(1 - 0). Is (-390)/(-33) - l/22 a multiple of 6?
True
Let r(g) be the second derivative of g**4/12 - 2*g**3 + 8*g**2 + 13*g. Let h(s) = 3*s**2 - 37*s + 48. Let b(o) = -3*h(o) + 8*r(o). Is 17 a factor of b(10)?
True
Suppose 260*j = 264*j + 20. Is (-188 - j)*2/(-3) a multiple of 11?
False
Does 13 divide (96/60)/(5/1950)?
True
Let h = 13 - 16. Let j(q) = -3*q - 5. Let r be j(h). Suppose -m - 159 = -r*m. Is m a multiple of 42?
False
Suppose -64*x + 1787102 = 67*x. Does 18 divide x?
False
Let m(g) = -443*g - 1376. Is m(-4) a multiple of 9?
True
Let k = 78 - 66. Suppose -k*v + 336 = -8*v. Let u = v - 32. Is u a multiple of 15?
False
Let x = 51781 - 26115. Is x a multiple of 41?
True
Suppose -7*n + 99 = -146. Suppose -m + 139 = -3*i + 14, -i - m = n. Let h = i + 104. Is h a multiple of 16?
True
Let u = 145 - 141. Is 12 a factor of (2/u)/(9/(-54)) + 427?
False
Suppose -2*b = -6*b + 12. Let a = -40 - -42. Suppose -a*q = -b*c - 216, -4*c = -9*c. Is q a multiple of 12?
True
Suppose -27*b = -99*b + 43920. Is 61 a factor of b?
True
Suppose 4*a - 4*f - 52 = 0, -46 = -4*a + 5*f - 3*f. Suppose a*o = 2735 + 4255. Is 67 a factor of o?
False
Suppose -13 - 9 = -2*p + 5*m, 5*p - 5*m - 55 = 0. Suppose p*g - 1300 = g. Is g a multiple of 5?
True
Suppose 5*u + 12 = 2*u. Let n(i) = -i**3 - 5*i**2 - 4*i + 1. Let p be n(u). Suppose -p = -w, q - 4*w + 44 = 3*q. Is 5 a factor of q?
True
Let o = -4473 - -4851. Is 10 a factor of o?
False
Let v(s) = 1293*s - 429. Is v(8) a multiple of 40?
False
Let p(n) = 10*n - 23. Let s be p(4). Suppose 0 = 3*g + 3*h - 15, s - 2 = -5*h. Suppose g*u + 4*u = 252. Is u a multiple of 11?
False
Suppose 0 = -4*k + 6*k. Let y be (-2)/(-63)*9 + 1146/7. Suppose u + 3*u - y = k. Is 11 a factor of u?
False
Let h(a) = a**2 + 5*a - 9. Let x = 34 + -41. Let k be h(x). Suppose -5*v = 5*g - 480, k*g + 3*v - 413 - 57 = 0. Is g a multiple of 13?
True
Suppose z + o - 4 = 0, 8 = -4*z + 9*z + 2*o. Suppose z = 5*n - 6 - 144. Is 3 a factor of n?
True
Let d be (-10)/(-15)*-6 + -124. Let r = -56 - d. Is 18 a factor of r?
True
Let l = 7370 - 3575. Suppose 195*d - l = 190*d. Does 23 divide d?
True
Suppose 84*h = 85*h - 4*m - 3453, -4*h - 5*m + 13749 = 0. Is 159 a factor of h?
False
Let g(q) = -q**3 - 7*q**2 - 7*q - 2. Let x be g(-6). Suppose -5*m = -7*m + x. Suppose 6*b - 96 = m*b. Does 4 divide b?
True
Suppose 0 = -18*o - 4*o + 110. Su