-4) + (-14)/8. Let f = -1142 - -1145. Is 4 a factor of (f - (4 + 1))*i?
True
Let p(r) = -r**2 + 65*r + 2180. Does 5 divide p(80)?
True
Suppose -12 = -0*x - 6*x. Suppose -158 = -x*c + 322. Is c a multiple of 16?
True
Let i be (-2)/(-14) - ((-152481)/49 - -4). Suppose 2*k = z - 790, -4*z - k + i = 4*k. Is 46 a factor of z?
True
Let t(y) = -3*y - 9. Let c be t(-6). Suppose 3*b + 3*i - 15 = 0, -8 = -2*b + 5*i + c. Suppose 4*d = b*d - 60. Does 10 divide d?
True
Let p(k) = -k**3 - 24*k**2 - 20*k - 39. Let j be p(-24). Suppose j = 4*f + 409. Is f a multiple of 4?
True
Let f be (-10)/(-1) - 6 - (-17 + -1). Let o(m) = -m**3 + 23*m**2 - 25*m - 14. Let i be o(f). Is (-2)/2*1*(3 + i) a multiple of 32?
False
Let m be 10/6 - 630/(-27). Let o be (-15)/m - ((-1056)/(-10))/4. Let v = 91 - o. Is 28 a factor of v?
False
Let d(m) = -m**3 + 7*m**2 + 17*m + 11. Let h be d(9). Suppose 2*u + 5*f = 323, 0*u + 157 = u - h*f. Suppose -7*a = 33 - u. Is a a multiple of 6?
True
Let u = -32 - -36. Suppose -q + c - 40 = -3*q, u*q - 4*c - 80 = 0. Is 4 a factor of q?
True
Suppose -8*n + 35750 + 38787 = -20063. Does 38 divide n?
False
Let s = -2847 - -10673. Is s a multiple of 123?
False
Let j be (-4)/3*(-1)/(2/12). Suppose -12 = -4*l - j. Let z(w) = 127*w**3 - 2*w**2 - w + 2. Is z(l) a multiple of 17?
False
Let h be (2 + -5)/(2*6/(-8)). Let g be 9/(-6)*h + 20/5. Suppose x + 5*m = g, -5*x = 7*m - 3*m - 68. Is x a multiple of 4?
True
Let r(f) = -257*f**3 + f**2 - 2*f - 3. Let c be (27/(-4))/(3/(-8)). Let a = c + -19. Does 35 divide r(a)?
False
Suppose -3*u - 8 = -2*s + 8, -2*u - 4 = 0. Suppose -23*p = j - 19*p - 494, s*p - 2395 = -5*j. Is 5 a factor of j?
False
Suppose 0 = -5*z - 3*j + 2*j + 30, -4*j + 25 = z. Let d be (-1 + 0)/(10/(-190)). Suppose a = z + d. Is a a multiple of 12?
True
Suppose -1561*k + 1544*k + 299846 = 0. Does 89 divide k?
False
Let o(d) be the third derivative of d**6/60 + 13*d**5/60 - d**4/24 - 9*d**3/2 + 12*d**2. Does 3 divide o(-6)?
True
Let z(v) = 463*v**2 - 117*v - 569. Is z(-5) a multiple of 4?
False
Let a(c) = -5. Let x(f) = -37*f - 223. Let n(s) = 2*a(s) + x(s). Is 27 a factor of n(-26)?
True
Let i(l) = -7*l - 150. Let h be i(23). Let r = h + 353. Does 3 divide r?
True
Let j(u) = 54*u**3 + 6*u**2 - 5*u - 9. Is 20 a factor of j(3)?
False
Suppose 5*m = 2*m. Suppose -3*j - 2*j - 4*n = -206, 4*n + 4 = m. Let a = j - 30. Is a a multiple of 4?
True
Suppose -82 = -4*f - 2. Let m(l) = -5*l + 107. Is m(f) a multiple of 2?
False
Let o(y) be the third derivative of -3*y**4/2 - 2*y**3/3 + 25*y**2. Let v be o(-6). Suppose 0 = -3*q + v - 29. Is q a multiple of 16?
False
Let p(o) = 22*o**2 - 687*o + 15. Is 50 a factor of p(-16)?
False
Let q(x) = 5*x**3 - 4*x**3 - 4 + 2*x - 2*x**2 + 0*x**3 + 0*x. Let k be q(6). Suppose 0*d - k = -2*d. Is d a multiple of 9?
False
Suppose 249*d + 3955 = 2*z + 244*d, -2*d + 3948 = 2*z. Does 25 divide z?
True
Let p(j) = -j**3 + 28*j**2 + 63*j - 54. Does 11 divide p(21)?
True
Is (-3129434)/(-616) + -3*3/(-12) a multiple of 17?
False
Let b = 20412 + -14414. Is 7 a factor of b?
False
Let v(z) = z**3 + 9*z**2 + 13*z + 10. Let c be v(-6). Suppose 5*x - 3*x + c = 0. Is (0 - (-408)/20)*x/(-6) a multiple of 42?
False
Let i be (-183)/(-9) - 6/18. Let r = i + -14. Let p(y) = 23*y - 30. Is 18 a factor of p(r)?
True
Let n(o) = -5*o**3 + o**2 - 14*o + 18. Is n(-9) a multiple of 45?
True
Suppose 16 = n + 7*n. Let d be -66*(2 + n + -5). Let i = 18 + d. Does 41 divide i?
False
Let h = -33935 + 34465. Does 4 divide h?
False
Suppose 28939 = 30*c - 90251. Does 28 divide c?
False
Suppose -3*s = -r + 253, s + 4*r - 3*r = -83. Let l = s - -159. Is l a multiple of 15?
True
Let g be (-1)/3 - (-3)/((-18)/(-212)). Let v = -33 + g. Suppose l + 95 = 2*z - 2*l, v*z - 90 = -2*l. Is z a multiple of 17?
False
Let n = 290 + -293. Is (-2075)/n + (-180)/108 a multiple of 13?
False
Let s(h) = 5*h**3 + 2*h**2 + 1. Let q(v) = 4*v**3 + 3*v**2 - v + 1. Let f(g) = -4*q(g) + 3*s(g). Is f(-7) a multiple of 5?
True
Suppose 3*i + 9 = 3*v, -5*v + 43 = 5*i + 8. Suppose -i*z + 4 + 12 = 0. Suppose -z*q = -34 - 14. Is 6 a factor of q?
True
Does 70 divide (555*4/2)/(81/270)?
False
Let x(i) be the third derivative of i**5/20 + i**4/6 + 5*i**3/2 - 6*i**2. Let m(r) be the first derivative of x(r). Is m(3) a multiple of 20?
False
Suppose i - 2*i = -4. Suppose -i*n - 4*g = 280, -5*g - 307 + 27 = 4*n. Let p = -20 - n. Is 11 a factor of p?
False
Let h(g) = -5*g**3 - 37*g**2 - 19*g - 340. Is 177 a factor of h(-17)?
False
Let t be -20*((-5)/20 + 0). Suppose 5*z = -t*k - 10, -z = 7*k - 3*k + 14. Suppose z*c + 3*c - 100 = 0. Is c a multiple of 10?
True
Let y = -380 + 83. Let d = y + 614. Is d a multiple of 10?
False
Let s = 10529 + -4835. Is 73 a factor of s?
True
Let h(f) = 39*f**3 - 4*f**2 - 4*f + 8. Let j be h(4). Suppose 5*d = j + 1606. Is 26 a factor of d?
True
Suppose -27*i + 39 + 15 = 0. Suppose -3*j + 5*x = -142, -i - 8 = 2*x. Is j a multiple of 11?
False
Suppose -5*v + 11755 = -c, 10*v + 3*c - 9423 = 6*v. Is v a multiple of 8?
True
Let t(h) = -1034*h**3 - h + 5. Is t(-2) a multiple of 48?
False
Suppose -c + 5*w = 3, -2*c + 3*w = -2 + 1. Suppose c*r - 221 = m + 373, 3*m - 12 = 0. Does 4 divide r?
False
Suppose 4*i = -t + 540, -3*i + 2*t - 405 = -6*i. Suppose -355 = -7*d + i. Does 14 divide d?
True
Suppose -b + 20 = 3*q - 0, -4 = -2*b. Does 11 divide -1 + 7 + 460 + q?
False
Let o(k) = -12*k**3 - 5*k**2 + 2*k - 3. Let c(i) = -47*i - 6. Let d be c(2). Let r = -103 - d. Does 46 divide o(r)?
False
Suppose -693 = 4*l - 15393. Is 9 a factor of l?
False
Let z(u) = 1454*u + 1257. Is 18 a factor of z(8)?
False
Suppose 6530*h = 6532*h - 10876. Does 13 divide h?
False
Let c(p) = -32*p**3 - 4*p**2 - 133*p - 813. Is 19 a factor of c(-6)?
False
Let v(x) = 3*x**2 + 13*x - 4. Suppose 9*r + 23 = -31. Is 5 a factor of v(r)?
False
Let b be 28/(-6)*(-3828)/88. Suppose 4312 = -b*g + 210*g. Does 28 divide g?
True
Let x(u) = -u**3 - 5*u**2 + u + 10. Let y be x(-5). Suppose 4*a - z + 145 = -205, -4*z - 427 = y*a. Let v = 111 - a. Is 43 a factor of v?
False
Is (-2 + -3)/(107/(-154294)) a multiple of 10?
True
Let f = -255 + 393. Let t be (1/((-2)/5))/((-3)/f). Let i = t + -76. Is i a multiple of 16?
False
Let y be 2*1 - (110/11 - -122). Let d = y + 283. Is d a multiple of 51?
True
Let z = -1112 - -2125. Suppose -2*p - 333 + z = 0. Is 34 a factor of p?
True
Let i be (-1 + -88 + -1)*13/(-26). Let p = i + -42. Suppose -5*t + c - 2*c + 199 = 0, p*t - 116 = -4*c. Does 10 divide t?
True
Suppose -f = -4*t + 1721, 26*t - 21*t - 2190 = 9*f. Is t a multiple of 13?
True
Let d = 14 + 87. Suppose -3*k - d = -3*i - 1184, 4*i = 3*k - 1082. Is k a multiple of 38?
False
Let v = -1984 - -5544. Does 17 divide v?
False
Suppose -4532 = -v + 21*r - 26*r, 5*v + 3*r - 22550 = 0. Is 32 a factor of v?
False
Let f = -233 - -230. Is ((2817/(-12))/f)/(5/20) a multiple of 21?
False
Suppose 16*s - 30345 = 37879. Suppose -15*z = -41*z + s. Is z a multiple of 16?
False
Let m(h) = 86*h**2 + 5*h - 2. Let t be m(2). Is ((-367)/(-8) - -1) + 44/t a multiple of 20?
False
Suppose 0 = b + 131 + 3. Let a = b + 137. Suppose -6*j - 4*i + 164 = -j, -4*i - 124 = -a*j. Does 6 divide j?
True
Let s be (6/(-4))/(((-21)/(-4))/(-7)). Suppose 2*c + 3*x + 6 = 0, -3*c = -0*x - s*x - 4. Suppose -5*o + 274 = -4*i, 112 = 2*o - c*o - 4*i. Is 10 a factor of o?
False
Suppose -314*h + 267*h + 1568672 = 0. Is h a multiple of 303?
False
Let r be (-15998)/(-4) + -1 + 9/6. Suppose 5*i + 2*x = 5000, -i = 3*i - x - r. Is i a multiple of 16?
False
Let w(j) = 2*j**2 - 25*j - 10. Let g be w(13). Is -3 + 30 - (0/g)/(-1) a multiple of 2?
False
Suppose -2*k - 5*g + 181 = 2*k, 3*k + 2*g - 141 = 0. Let p = k - 38. Let j(i) = 6*i - 10. Is 7 a factor of j(p)?
True
Suppose -10*s - 28*s = 203*s - 3812620. Does 140 divide s?
True
Let v be (-2390)/239 + ((-2)/(-2) - 6). Is 34 a factor of v/40 - (6 + 16473/(-24))?
True
Let r be 5 - -4*4/4. Suppose r*i - 37 = 116. Suppose -5*u - 4*c + 8 = -i, -4*c + 5 = u. Is 2 a factor of u?
False
Let r(h) = h**3 - 9*h**2 + 14*h + 11. Let q be r(12). Let o = -427 + q. Is o a multiple of 15?
False
Suppose 253528 = 10*h + 57*h. Does 43 divide h?
True
Suppose 36*d = -28*d + 27*d + 241425. Is d a multiple of 45?
True
Let a(h) = -2*h**2 - 14*h. Suppose 25 = -5*j -