ose -1272726 = -94*f + 16*f. Is f a multiple of 49?
True
Suppose 5*j + 1858 - 233 = 0. Let k = j - -455. Is k a multiple of 19?
False
Is 9 - (-1)/((4/1143)/4) a multiple of 18?
True
Let p(c) = 151*c**2 - 131*c - 22. Is p(8) a multiple of 117?
False
Is 150/(-40)*4 - -4209 a multiple of 38?
False
Let f(x) = -x**2 + 11*x + 1. Let t be f(9). Let c be -3 - ((-800)/30)/((-1)/(-3)). Let d = c - t. Does 24 divide d?
False
Is 19 a factor of (-487971)/(-21) + (-266)/(-931)?
True
Let b(a) = 2*a + 22. Let j be b(-9). Let v be (-218)/(-8) - 1/j. Is v*2*18/27 a multiple of 8?
False
Does 11 divide 2 + ((-8238)/(-9))/(14/21)?
True
Suppose 4*f = 316 + 356. Let h be f/(-17) + (-12)/102. Let n(t) = t**3 + 16*t**2 + 23*t. Does 53 divide n(h)?
False
Suppose -b + 5247 = s, b = s - 5492 + 253. Is 7 a factor of s?
True
Let r = -74 + 61. Let g = -31 - r. Does 4 divide 4 + (-1)/1*(g + 2)?
True
Suppose 5*r - 309*z - 108048 = -313*z, -r = -2*z - 21618. Is 12 a factor of r?
True
Let w = -6639 + 9567. Is w a multiple of 6?
True
Suppose 7*u - 3*k - 803 = 69, k + 624 = 5*u. Does 4 divide u?
False
Suppose 20*s = 15*s + 315. Let g = s - -197. Is 20 a factor of g?
True
Let l = -32 + 37. Suppose s + 45 = i + 2*s, -s + l = 0. Does 7 divide (14/4)/(5/i)?
True
Let c(h) = -h**3 - 8*h**2 + 11*h - 22. Let u be c(-10). Suppose -61*s + 60*s = -u. Is s a multiple of 4?
True
Let x(m) = -25*m + 31. Let s be x(1). Let l(y) = 29*y - 38. Is l(s) a multiple of 14?
False
Let w(i) be the third derivative of 5*i**4/6 - 16*i**3/3 + 3*i**2 + i. Is w(6) a multiple of 11?
True
Let c = -46085 + 70327. Does 34 divide c?
True
Let b be 3*36088/(-3 + 11). Suppose 16*f = 1603 + b. Does 40 divide f?
False
Let l(t) = -t**3 - 7*t**2 + t + 10. Suppose 0 = -0*p + 5*p + 35. Let n be l(p). Is n/(-4)*(-11)/((-55)/(-1280)) a multiple of 12?
True
Let i = 103984 + -60121. Does 20 divide i?
False
Let r = -38 + 27. Let n(u) = -9*u + 37. Let v be n(r). Suppose 2*k - 8*h + 4*h - v = 0, -3*h + 327 = 5*k. Is k a multiple of 13?
False
Let s be (-6)/(-16) + ((-414)/(-48) - 4). Suppose 4*p + 1398 = 8*p - 2*k, 5*p + s*k = 1740. Does 23 divide p?
False
Let a = -53 + -71. Let v = 116 - 178. Let q = v - a. Is q a multiple of 12?
False
Suppose -18*j - 2417877 = -11*j - 106*j. Is j a multiple of 16?
False
Let c(d) = d**3 - 10*d**2 + d - 6. Let w be c(10). Suppose w*s - 114 = -34. Does 10 divide s?
True
Let l(t) be the first derivative of t**2/2 + 48*t - 3. Let w be (-2 - 6/(-3))*11/44. Is l(w) a multiple of 3?
True
Let l(v) = -14*v - 20. Let w be 100/750 + 283/15 + 0. Let n(p) = p**2 - 21*p + 32. Let x be n(w). Is 16 a factor of l(x)?
True
Let u = -10 - -12. Suppose -5*o - 10 = -2*f, -f + 3*o - u*o + 11 = 0. Is 3 a factor of (-10)/(-75) + 238/f?
False
Let l = 155 - 103. Let w = l - -80. Suppose -3*a + 6*a + 5*h = 396, 0 = a + h - w. Is 22 a factor of a?
True
Suppose -24 = -m + 18. Suppose -4*j = 4*o - 92, 4*j - 8 = -3*o + 86. Let b = m - j. Does 5 divide b?
False
Suppose 15*f - 12 = 18. Suppose -10*x - f*p + 176 = -8*x, 364 = 4*x - 2*p. Is x a multiple of 10?
True
Let u be 145/35 - 3/21. Suppose -5*b + 473 = -4*y - 1676, u*b + 4*y = 1712. Is b a multiple of 33?
True
Let p = -10880 - -13702. Is p a multiple of 17?
True
Suppose -5*x + 38863 = -3*u + 6955, 0 = -3*x + 3*u + 19140. Does 24 divide x?
True
Let j = 106 + -112. Let l be 358/(28/j - -4). Let m = 801 + l. Is m a multiple of 30?
False
Suppose -11*p = 8145 - 46194. Suppose c + m - p = -4*c, 0 = -4*c - 4*m + 2764. Does 45 divide c?
False
Suppose -9*y = -11*y + 1088. Suppose y = -157*c + 173*c. Is c a multiple of 2?
True
Suppose 0 = g + m - 15801, -g - 2*m - 342 = -16151. Is g a multiple of 58?
False
Let j = 9300 + -116. Is j a multiple of 8?
True
Suppose 2*a - 5*b + 0*b = 0, -a + 3 = -b. Suppose 195 = g + 4*w, a*g - 1333 = w - 295. Is 31 a factor of g?
False
Let f = 66 - -31. Let a = 112 + f. Is a a multiple of 12?
False
Suppose 0*j + 5*j + 13 = 2*s, 3*j = 2*s - 11. Let o(t) = -4 - s + 20*t + 3*t + 15. Does 17 divide o(3)?
False
Let z(j) be the first derivative of 13*j**3/6 - 9*j**2 + 13*j + 6. Let m(n) be the first derivative of z(n). Is m(11) a multiple of 25?
True
Suppose 0 = 871*i - 853*i - 197208. Does 66 divide i?
True
Suppose 51*r + 14 = 37*r. Let c(u) = -138*u**3 + 2*u**2 - 3*u - 4. Does 39 divide c(r)?
False
Let v = -64 + 93. Suppose -2*n = 3*c - 1 - 16, 3*c + 5*n = v. Suppose 2*a + c*a = 310. Is 31 a factor of a?
True
Let u(f) = f - 4. Let c be u(6). Let l(q) = 9*q**2 - 3*q + 1. Let z be l(1). Suppose 1240 = -c*d + z*d. Does 36 divide d?
False
Let n(a) = 105*a**2 - 2*a - 10. Suppose -6*f - 2 = -5*f. Is n(f) a multiple of 9?
True
Let w(a) = 2*a**3 - 16*a**2 - 13*a - 44. Let t be (0 - -4) + 5 + (-6 - -9). Is 25 a factor of w(t)?
False
Let r(v) = -41*v**3 - 45*v**2 + 34*v + 60. Is r(-6) a multiple of 6?
True
Let t(c) = -c**3 - 3*c**2 - 10*c - 1. Let k be t(10). Is 6/(-4) - k/6 a multiple of 8?
True
Is 11 a factor of (56/6 + -11)/((-10)/18) - -11967?
False
Suppose 0 = 5*h - 3*s - 36968, 26*h - 30*h = -5*s - 29590. Is h a multiple of 20?
False
Suppose -3917 = -3*i - 2*q, 4*i - 2*q - 1399 = 3833. Suppose -z + i = 4*z - o, 3*z - 777 = -3*o. Is 17 a factor of z?
False
Let g(i) = -14*i**3 + 10*i**2 + 22*i + 72. Does 18 divide g(-6)?
False
Suppose i + 5 = 3*a - 4*a, -20 = i + 4*a. Suppose i*z = -4*z + 12. Let p = 44 + z. Is p a multiple of 18?
False
Let l(s) = -s**2 - 27*s + 8. Suppose 170 = 2*o + i - 50, 4*o - i = 446. Suppose 3*g - o = 5*c + g, -4*c + 2*g - 90 = 0. Is l(c) a multiple of 11?
False
Suppose 50050 = 5*n + 2*j, 0 = 5*n - 10*n + 3*j + 50025. Does 139 divide n?
True
Suppose 0*c = -i + 3*c + 30, 4*c = 4*i - 88. Let n = -16 + i. Does 5 divide n + 7 + 0 + -3?
False
Let u = -295 - -567. Let z = 1038 - u. Is 18 a factor of z?
False
Let c = -28 + -281. Let o = 452 + c. Is o a multiple of 11?
True
Let z be ((-6)/(-12))/(3/48). Let b(v) be the second derivative of -v**5/10 + 4*v**4/3 + 7*v**3/6 + 3*v**2 - 97*v. Is b(z) a multiple of 4?
False
Let v(y) = -15*y + 77. Let i(o) = 76*o - 384. Let r(m) = 3*i(m) + 14*v(m). Is r(6) a multiple of 3?
False
Let a(i) = 5*i**2 + i. Let s be a(-1). Suppose 0 = 4*b, v = s*v + 4*b - 681. Suppose 0 = 4*r + 5*t - 94 - v, 5*r - 385 = -3*t. Is 15 a factor of r?
False
Suppose -3*q = -3 - 12. Let i = 13071 - 13066. Suppose 0 = 2*j + 5*v - 72, -v = -i*j - q*v + 146. Does 13 divide j?
True
Let f(n) be the second derivative of -3*n**5/20 - 5*n**4/6 - n**3 + 2*n**2 - 7*n - 1. Does 4 divide f(-4)?
True
Let w = -23 - -27. Suppose w*m + 0*m = 12. Suppose -m*b = 4*c - 189, 149 = 3*b - b - 5*c. Does 16 divide b?
False
Does 89 divide 94 - -1610 - 13*1?
True
Let d = 504 + -504. Suppose -5*x - 2*j + 949 = d, -15*j - 764 = -4*x - 19*j. Does 7 divide x?
True
Let q(f) = -f**3 - 15*f**2 + 15*f - 20. Let s be q(-16). Let u be (-5)/(4/s) - -94. Let r = u + -37. Is r a multiple of 31?
True
Let p be -435*(8/(-12) + -3) - 3. Let l be 1/(p/(-1590) + -1 + 2). Is 1/(-4) + l/(-60) a multiple of 2?
False
Let r = -60 - -60. Suppose -4*v + 4*z - 5*z + 4 = r, 0 = -v - 4*z - 14. Let g = v - -110. Is 22 a factor of g?
False
Does 3 divide (-325)/(-130) + (-2690)/(-4)?
True
Let j = 94 + -89. Suppose -297 = -j*n + 2*d, n - 11 = 3*d + 51. Is n a multiple of 2?
False
Suppose -1158*i + 1015*i + 5030740 = 0. Does 96 divide i?
False
Suppose -76*c = -229374 - 286438. Is c a multiple of 10?
False
Let h be 1 + (-386)/4 - 102/(-204). Let a = 145 - h. Is a a multiple of 60?
True
Let l(b) = -2*b - 3. Let i be l(-13). Let r = -21 + i. Let w(u) = 7*u. Is w(r) a multiple of 9?
False
Let o be 8/36 - 2/9. Suppose 2*h + 0 + 3 = 3*b, o = 5*h + b - 18. Suppose -h*d - 2*d + 337 = 3*s, -5*d = -s - 321. Is 10 a factor of d?
False
Let t = 25 - 26. Let s = t - 3. Let d(g) = -4*g + 18. Is 12 a factor of d(s)?
False
Suppose -3*x - 2 + 15 = -4*h, -2*x + h = -7. Suppose -2*t - x*t = -120. Suppose -48 - t = -2*s. Does 9 divide s?
True
Let y = -217 - -209. Is 13 a factor of (-698)/y*(5 + -10 + 9)?
False
Let j(s) = 5*s**2 + 2*s - 4. Let y be j(1). Does 13 divide (2 - (y - -1)) + 41?
True
Suppose -s = 2*s + 3*s. Suppose 0 = g - 0*y + 2*y - 236, -3*y - 15 = s. Let q = -135 + g. Does 37 divide q?
True
Suppose -107 = -5*v - 7. Suppose 0 = -3*a - s + 875, a - 5*s = -7*s + 290. Suppose -18*x = -v*x + a. Does 20 