4501. Is 30 a factor of j?
True
Let p(g) = 5*g**2 + 14*g + 9. Let s be p(10). Suppose s + 87 = k. Is k a multiple of 65?
False
Suppose 0 = 19*f - 141213 + 10246. Does 113 divide f?
True
Let q(l) be the third derivative of l**5/30 - l**4/12 + l**3/3 + 112*l**2. Is q(-3) a multiple of 2?
True
Let l = 11818 + -10147. Is l a multiple of 3?
True
Let y(c) be the third derivative of -c**6/120 + 11*c**5/60 - 5*c**4/12 - 5*c**2. Let m be y(10). Let q = m + 146. Is 15 a factor of q?
False
Suppose 142 = 3*y - 4*y. Let l = y - -138. Let f(v) = -23*v - 42. Is f(l) a multiple of 5?
True
Suppose -265014 - 159146 = -80*i. Does 11 divide i?
True
Let d = -1294 - -2212. Suppose -302 = -4*u + d. Does 19 divide u?
False
Suppose -3*t - 5*o = -5533, -5*t + 3*o = 1547 - 10814. Let j = t + -1103. Does 22 divide j?
True
Let k = -47 - -54. Let d(p) = 48*p - 2. Is d(k) a multiple of 5?
False
Let b = -129 - -129. Suppose 4*r + 2*u = 7*u + 125, b = r + 4*u - 47. Does 35 divide r?
True
Is 4490 + 0/(1 - -3 - (-16)/(-2)) a multiple of 14?
False
Let i = -4213 - -9058. Is 17 a factor of i?
True
Let u(w) = w**3 + 9*w**2 - 32*w - 52. Let v be u(-14). Let g = 698 + v. Is g a multiple of 57?
True
Let r(c) = -3*c + 38. Let i be r(12). Suppose -5*n + i*n = -6. Suppose -n*y - 3*o = -0*o - 16, -3*y = -o - 24. Is 5 a factor of y?
False
Suppose -51*t = -54*t - 33. Let w(l) = -72*l - 13. Does 44 divide w(t)?
False
Suppose 618743 = 57*m - 16636. Is 157 a factor of m?
True
Suppose 2*u - 32 = -2*f, u - f = f + 22. Let c be (2 - -8) + -2 - -2. Suppose -u*x + 17*x = -c. Does 4 divide x?
False
Let p(x) = 2*x**2 + 63*x - 34. Let k be p(-32). Is (882/21)/(15/(-8) - k) a multiple of 22?
False
Suppose 401*m + 3144768 = 497*m. Is m a multiple of 54?
False
Let n = -211 + 242. Let u = n - 18. Is u a multiple of 10?
False
Let v(i) = 2360*i + 4160. Is v(5) a multiple of 168?
True
Let y(o) = -9*o - 6. Let h(g) = 1 - 5 + 3. Let p(n) = 5*h(n) + y(n). Is 3 a factor of p(-3)?
False
Let f = 83 + -92. Let y(a) = -5*a**2 + 5*a**2 - 4*a**2 - 15 + 6*a + 5*a**2. Does 4 divide y(f)?
True
Let g(r) = -29*r**3 - 12*r**2 - 38*r - 50. Is 8 a factor of g(-4)?
False
Let y(j) = -85*j + 5. Suppose -5*r = -8*r - 6. Let d be y(r). Suppose 8 = 2*i, 5*a - 2*i - 157 = d. Does 13 divide a?
False
Suppose 2*q + 48 + 140 = -4*d, 5*d = -3*q - 236. Let v = -44 - d. Suppose v*w - 114 = 3*u - 378, 2*u - 176 = 4*w. Does 12 divide u?
False
Let y = -9445 - -27674. Does 96 divide y?
False
Is -10*1 - (-318 + 70) a multiple of 30?
False
Suppose 0 = 22*p - 23*p + 104. Suppose 358 = 3*n - p. Suppose -a - 2*a = g - n, 2*g = -5*a + 255. Is a a multiple of 53?
True
Suppose 12*c + 3*c = 2655. Suppose -42*n - 51 + c = 0. Is n even?
False
Let m be 1/2*(3 - -9). Suppose 0 = 2*s - m*s + 104. Suppose q + 10 - s = 0. Does 14 divide q?
False
Suppose -74*r - 303025 = -99*r. Does 31 divide r?
True
Let b(m) be the third derivative of -17*m**6/360 - m**5/60 + 11*m**4/12 + 39*m**2. Let p(s) be the second derivative of b(s). Does 24 divide p(-2)?
False
Let m(s) = 7*s**2 - 192*s + 6989. Is m(56) a multiple of 107?
False
Let a(f) = 4*f + 3780 - 2*f - 3645. Does 15 divide a(30)?
True
Let z(j) = j**2 + 44*j + 223. Let h be z(-38). Let c(x) = -140*x + 3. Does 61 divide c(h)?
False
Suppose -10*q - 12*q - 113256 = -30*q. Is q a multiple of 117?
True
Is 4 a factor of ((-13440)/150)/(-56) + 12714/10?
False
Let w(k) = -57*k + 2. Let r be w(2). Does 6 divide (-122)/(-3) + r/(-84)?
True
Suppose -3*y = -2*y - 3*v + 4, -5*v + 18 = 4*y. Is 9 a factor of 54 + -2 + y + 0?
True
Let m(v) = -15*v**2 + 62*v - 75. Let z(p) = 7*p**2 - 31*p + 37. Let o(h) = 6*m(h) + 13*z(h). Is 11 a factor of o(35)?
False
Let c = -4638 - -7660. Is 51 a factor of c?
False
Let d(a) = 245*a**2 + 2*a - 2. Let r be d(1). Suppose 3*t = -29 + 38. Suppose 8*b - t*b = r. Is 49 a factor of b?
True
Let a be -10*(1 + (-5)/(-2)). Let x = -33 - a. Suppose -3*j - 6 = 0, -5*j + 7 = x*d - 5. Is d a multiple of 2?
False
Let p be 0 + 1/(-5) - (-208)/40. Suppose p*h - 2348 = -4*v + 921, 3 = 3*h. Does 15 divide v?
False
Let y = -482 + 539. Suppose 15 = 4*v - d, 0 = 3*v + 2*v - 5*d - 30. Suppose -3*k - y = -u, -k + v*k - 2 = 0. Does 17 divide u?
False
Let v be 20/(-40) - 195/(-2). Suppose 143 = -3*d + 2*i, 5*d + v = -2*i - 120. Does 3 divide (-1050)/d*6/5?
False
Let o = -150 + 150. Let g(l) = 7*l + 136. Is g(o) a multiple of 8?
True
Suppose -13 = -11*u + 20. Let n be (2 + -4)*(u - (-84)/(-8)). Does 2 divide 31 - ((-12)/(-20) - 9/n)?
False
Is 65 a factor of 30/(9 + -19)*(-3842)/3?
False
Suppose -50*m + 9*m = 60*m - 666903. Is 55 a factor of m?
False
Let c(k) = -k**2 - 17*k - 5. Let f be c(-15). Suppose 4*x - f = -x + 4*y, 0 = -5*y. Suppose s - x*s = -108. Does 11 divide s?
False
Let x(t) be the third derivative of t**5/15 - t**4/4 - t**3/6 + 14*t**2. Let i be x(-6). Let c = -115 + i. Is 15 a factor of c?
False
Let i = 20448 - 12195. Is i a multiple of 9?
True
Suppose -60*c + 57*c + 22495 = -5*l, 0 = 3*c + 4*l - 22558. Is c a multiple of 42?
False
Let m = 1611 - 1115. Suppose 0 = -22*z + 21*z + m. Does 62 divide z?
True
Let x(l) = 42*l - 34. Let f be x(4). Let v = f + -86. Is 5 a factor of v?
False
Suppose -3*s = 8*s + 308. Let b(j) = j**3 + 30*j**2 + 44*j - 42. Is 49 a factor of b(s)?
True
Let r(v) = -v**2 - 17*v - 52. Let j be r(-13). Suppose 0 = -4*l + 12, 0 = g - j*g - 3*l - 1431. Is g a multiple of 32?
True
Suppose -f = r - 8072, 256*f + 4*r = 260*f - 32312. Does 18 divide f?
False
Let h(n) = -n**2 + 3*n + 102. Let p(u) = 2*u + 1. Let j(f) = h(f) - 2*p(f). Is j(0) a multiple of 10?
True
Is 17 a factor of (3266/138 + -31)*(-1)/(2/1203)?
False
Suppose 4*w = 9*w - 30. Let j = -8 + w. Let o = j + 12. Is o a multiple of 6?
False
Suppose -2*u = -m + 116, u = -5*m + 4*u + 552. Suppose w + 148 = 4*z, 3*z - 3 = w + m. Is z even?
False
Suppose -3*c - 2*j + 13 = 0, -13*c = -8*c - j - 39. Let n(s) = -1 + s**3 - 4*s - 3*s + 1 - 4 - 5*s**2. Does 15 divide n(c)?
True
Let i(g) = 0*g**2 + 67101 - 2*g**2 - 18*g - 67097. Let u = -4 - 5. Is i(u) a multiple of 2?
True
Let t(r) = -r**3 - 19*r**2 - 18*r + 5. Let n be t(-18). Suppose -n*b + 5*s + 200 = 0, 4*b - 4*s = -b + 203. Suppose b - 2 = a. Is a a multiple of 19?
False
Let v(f) = 4 + 10*f + 4*f**2 + 2*f - 19*f - 23*f**3. Let d be v(2). Is (d/(-4))/((-15)/(-30)) a multiple of 25?
False
Let s = 160 - 106. Suppose -j - 16 = -s. Let u = j + 13. Is u a multiple of 17?
True
Suppose -32*m + 6 = -30*m. Suppose -4*f = m*b - 350, -7*b + 4*b = -4*f - 382. Is b even?
True
Let x be (824 + -7 - 2) + (-6)/(-2). Suppose -4*u + 5*d + 562 = -2*u, -3*u = 5*d - x. Does 38 divide u?
False
Let u = 3917 - 1876. Is u a multiple of 46?
False
Let c(s) be the third derivative of -s**6/120 + 7*s**5/60 + s**4/3 + 10*s**3/3 - 84*s**2. Is 10 a factor of c(8)?
True
Let t(a) = a + 9. Let h be t(-7). Let y(s) = 3*s - 4*s - 5*s - h + 4*s. Is y(-3) even?
True
Suppose 1422 - 10953 = -3*k + 5*x, 5*k = 3*x + 15869. Suppose -9*s + k = -5*s. Is 2/(-12 - 0) + s/6 a multiple of 33?
True
Let q(n) = -2*n**3 - 51*n**2 - 194*n + 10. Is 186 a factor of q(-32)?
True
Let c(g) = 1851*g - 3482. Is c(12) a multiple of 183?
False
Suppose -23*q = -816481 - 483987 + 450112. Does 9 divide q?
True
Let i(f) = -f**2 + 2*f - 10. Let q be i(-9). Let v = q - 3. Is 16 a factor of (12/2*1)/((-6)/v)?
True
Suppose 4*m = -z + 46423, 0 = -m + 3*z + 3141 + 8468. Does 100 divide m?
False
Suppose 0 = 8*h + 32*h - 47*h + 94304. Does 48 divide h?
False
Let c = -93 - -100. Does 20 divide ((-18)/63 - 5/c) + 41?
True
Suppose 3*b - 92 = 154. Let v = -82 + b. Suppose 4*u - 200 = 4*t, v*t - 3*t = -4*u + 201. Is 17 a factor of u?
True
Let v be (6 + 2 + -3)*(-2)/(-2). Suppose -1074 = -2*g - d, v*d - 3*d = -5*g + 2683. Let x = g - 376. Is x a multiple of 53?
True
Suppose -155*c = -152*c - 294. Suppose c = -2*d + 298. Suppose -h + d = n - 4*h, 3*n = -3*h + 324. Does 23 divide n?
False
Suppose -2*m + 3*m + 3*l = -3, -l = m - 1. Suppose 3*i = -b + 155, b - m*i - 99 = 38. Is b a multiple of 5?
False
Let l(v) be the third derivative of -2*v**4/3 - 13*v**3 - 96*v**2. Is 2 a factor of l(-7)?
True
Let s(f) = 1273*f - 620. Does 18 divide s(2)?
True
Let r(a) = 14*a**2 - 517*a - 755. Is r(75) a multiple of 212?
True
Let u = 23405 + -8306. Is u a multiple of 37?
False
Let a = 