s f a multiple of 8?
True
Suppose -197 + 757 = 7*z. Suppose 84*h - 5236 = z*h. Does 19 divide h?
False
Let p = 69637 - 34501. Does 48 divide p?
True
Suppose 1715 = 4*k - 3*f, -2*f - 1486 = -3*k - 201. Let n = k - 219. Let g = n + -122. Is g a multiple of 7?
True
Suppose -7*i + 18598 + 14636 = 2126. Is i a multiple of 35?
False
Let g(j) = -7*j**2 - 8*j + 5. Let k be g(-7). Let o = k - -410. Let t = -121 + o. Does 7 divide t?
True
Let v(y) be the first derivative of 2*y**3/3 - 7*y**2 + 20*y - 64. Is v(13) a multiple of 5?
False
Suppose -x + 3*u = 0, 5*x - 4*u = -3*u + 28. Suppose -3*s = -3*g + 66, x*g - 3*g = -5*s + 74. Does 2 divide g?
False
Let k(r) = -r**2 - 13*r - 16. Suppose -3*j = 3*x - 41 + 8, -5*x + 55 = -3*j. Suppose 19 = -2*p - 3*z, 2*p - 5*z + 16 + x = 0. Is k(p) a multiple of 3?
True
Let q = 43 - 30. Let r = 3 + q. Is 4/(r/(-36))*-5 a multiple of 11?
False
Let r(w) = 359 + 50*w + 368 - w**3 - 716 + 11*w**2. Is 41 a factor of r(14)?
True
Let y(t) = -12*t**3 + 4*t**2 + 27*t - 39. Is y(-11) a multiple of 8?
True
Let g(n) = -12*n - 43. Let b be g(-4). Let l(q) = -q**3 + 5*q**2 + 8*q. Does 6 divide l(b)?
False
Suppose -35*m + 55*m = 0. Suppose -2*v + 4*z + 16 - 2 = 0, 2*v - z - 11 = 0. Suppose 7*f - 64 = 5*f - v*x, -4*f + x + 84 = m. Is f a multiple of 11?
True
Suppose -5*o + 21 - 461 = 0. Is 6 a factor of ((-75)/(-4))/((-11)/o)?
True
Let h(c) = -8*c + 14 - 15 - 12*c. Let b be h(1). Is 4 a factor of b/(-42) - (-7)/2?
True
Let v(s) = 80*s + 1 - 76*s + 28*s**2 - 9. Does 29 divide v(-3)?
True
Suppose -272 = -8*z + 5*z + 2*c, c = 2. Suppose z*i = 83*i + 2043. Does 17 divide i?
False
Suppose -b + 4 + 3 = 0. Let r(f) = -f**3 + 7*f**2 + 8*f - 16. Is 5 a factor of r(b)?
True
Let v be -177 - 0/(-4 + 2). Let j(z) = 11*z**3 - 4*z**2 + 10*z - 7. Let o be j(3). Let d = v + o. Is 19 a factor of d?
False
Let i(y) = 3793*y + 302. Is i(1) a multiple of 7?
True
Let l = 428 + -402. Suppose -15*q - 2926 = -l*q. Is q a multiple of 21?
False
Suppose 0 = -k + 4*j + 922, -20*k = -16*k + 4*j - 3588. Let u = k + -373. Does 7 divide u?
False
Suppose -115 - 146 = -9*x. Let b = x + -24. Let m(i) = i**2 + i + 11. Is m(b) a multiple of 7?
False
Suppose 30*d + 10024 = 37*d. Is 8 a factor of d?
True
Suppose 76363 - 305534 = -140*n + 1100969. Is 14 a factor of n?
False
Let o = -222 - -377. Let r = o + -116. Is r a multiple of 10?
False
Let a(q) = -20*q + 6. Let c be a(-4). Let g = 33 - c. Let m = -46 - g. Is m a multiple of 5?
False
Is (8 - (20 + 2041 + -1))/(1*-1) a multiple of 12?
True
Let v = 9370 - 9367. Let z be ((-68)/(-3))/(2/(-9)). Is 19 a factor of (z/v)/(1/(-7))?
False
Let f(q) = -q**2 - 3*q + 110. Let x be f(0). Suppose -x*n = -117*n + 98. Does 7 divide n?
True
Does 16 divide (-105)/49 + 1 + 1 - 44802/(-14)?
True
Let t(d) = -133*d + 94. Let s be t(-3). Suppose 0 = 116*o - 115*o - s. Does 17 divide o?
True
Let d(k) be the second derivative of k**8/112 + k**6/360 - k**5/60 + 2*k**4/3 - 9*k. Let n(j) be the third derivative of d(j). Is 20 a factor of n(1)?
True
Suppose -68 = -2*i + 34. Suppose -i - 48 = -11*x. Let a(v) = 3*v + 18. Does 15 divide a(x)?
True
Suppose 2*h - 18*h + 8720 = 0. Suppose -2*q - 38 = -3*v - 383, -3*q - v = -h. Is 20 a factor of q?
True
Let q = 15048 - 8713. Is 181 a factor of q?
True
Let x = -1 + 51. Let f = 53 - x. Suppose -4*n + f*n + 126 = 0. Is 18 a factor of n?
True
Let v(a) = 4*a**3 - 26*a + 3. Let x be v(7). Suppose 5*r + 4*c - 2966 = 0, 5*r - 3*r - 5*c - x = 0. Is r a multiple of 27?
True
Suppose -2*y + 440 = 118. Suppose 8*d - y = 1183. Is d a multiple of 21?
True
Let t be -1 - (-6 - 3/(-1)). Let z(d) = d**2 - 4*d - 15. Let g be z(-8). Does 12 divide 60/45*g/t?
False
Is (-13)/(-39) - 57261/(-45) - 8/10 a multiple of 4?
True
Let h be (-42)/7*4/(-8). Suppose q - 1816 = -4*q - h*z, -3*z - 9 = 0. Is q a multiple of 73?
True
Suppose 0 = 109*n - 100*n - 1008. Suppose -n*u + 113*u = 268. Is 36 a factor of u?
False
Let o(x) = -3707*x - 8747. Is o(-8) a multiple of 11?
False
Suppose 8*x - 5*o = 3*x + 430, -3*o = -4*x + 340. Let f = -68 - -40. Let n = f + x. Is 27 a factor of n?
True
Let b be (2 + -4)/1 - -328. Let f = -117 + b. Is 11 a factor of f?
True
Let v = -1858 + 3235. Suppose 7*g = 2*g + 3*a + v, 3*a - 3 = 0. Is 9 a factor of g?
False
Suppose 0 = -2*r + 62 - 16. Let x(i) = i**3 + 48*i + 4 + 9690*i**2 - 4845*i**2 - 4870*i**2. Is x(r) a multiple of 13?
False
Let w be (6/4)/(174/(-64496)). Let t = 1774 + w. Is 14 a factor of t?
True
Suppose -4*o + 2*x = -9660, -8222 + 974 = -3*o + x. Is 78 a factor of o?
True
Let y(k) = 15 - 6*k - 2*k + 3*k + 6*k. Let g be y(-12). Does 3 divide 38/(-114) - (-49)/g?
False
Let p(r) = -71*r + 4. Let j(u) = -141*u + 9. Let l(b) = -6*j(b) + 13*p(b). Let f be l(-2). Suppose 2*o - f = -2*z, 20 = 3*z + 8. Does 14 divide o?
False
Suppose -47080 = -17*c + 6*c - 33*c. Does 2 divide c?
True
Let w(h) = 313*h**2 - 57*h + 220. Is w(12) a multiple of 13?
False
Suppose 0 = -2*q + 1025 - 943. Let y = q + 199. Is 36 a factor of y?
False
Suppose -16*p - 20 = -6*p. Let o be 0 + (-5)/p + (-3)/6. Suppose 69 = 5*x - o*x. Is 17 a factor of x?
False
Let v = 181 + -172. Suppose 0*d = v*d - 2259. Is 17 a factor of d?
False
Let i(z) = 2*z**2 - 30*z - 3528. Is 40 a factor of i(-48)?
True
Suppose j + 4*d - 4146 = 0, 91*j - 94*j + 2*d = -12452. Is j a multiple of 83?
True
Let z be 8/(-76) - ((-26454)/(-19))/(-3). Suppose -4*a + c - 5*c = -z, -4 = 2*c. Is a a multiple of 12?
False
Suppose -255 = -5*r - v, 5*v = -5*r + 3*r + 125. Let z = r + -48. Is 19 a factor of (-20)/5 - (-177 + z)?
True
Suppose -5*s - 10487 = 66*b - 68*b, 3*b + 2*s - 15702 = 0. Does 44 divide b?
True
Let o(l) = 7*l**2 + 13*l - 11. Let y(b) = b**2. Let m(r) = o(r) + 3*y(r). Is 61 a factor of m(6)?
True
Let z(n) = -2*n**2 + 5*n**2 - 19 - n**3 - 20*n**2 - 19*n - 4*n. Does 3 divide z(-16)?
True
Let x(y) = -436*y + 2362. Is 5 a factor of x(-5)?
False
Suppose -3*i + 8*s + 6269 + 3337 = 0, 0 = -3*i - 3*s + 9540. Is i a multiple of 354?
True
Let k = -380 - -377. Let f(d) = 2*d**2 + d + 8. Let r be f(6). Let q = r + k. Is q a multiple of 8?
False
Let j(k) = 107*k**2 - k - 1. Let w(x) = -3*x + 7*x + 37 - 2*x + 2. Let o be w(-19). Is j(o) a multiple of 15?
True
Suppose 2*j = -10*j + 72. Suppose -5*s + 1097 = -4*w, 227 = -j*s + 7*s + 3*w. Is 13 a factor of s?
True
Suppose 2*p = 5*v + 7*p, 20 = -v - 5*p. Suppose -3*x = -v*n + 2*n + 936, 4*x = -16. Is n a multiple of 22?
True
Suppose 0 = -23*h - 132*h + 1796760. Is h a multiple of 36?
True
Suppose 479 = 52*p - 769. Does 3 divide (0 - p/(-1))/(117/1248)?
False
Let h(d) = 23*d - 45. Suppose 9*s = 100 + 8. Is 7 a factor of h(s)?
True
Suppose 2*h - 25144 = 5*m + 17433, -4*h + 3*m = -85189. Is 17 a factor of h?
True
Let i(v) be the third derivative of v**6/20 + v**5/60 + v**4/3 - 17*v**3/6 - 147*v**2. Is i(2) a multiple of 31?
False
Let r(d) = 47*d + 11. Let k be (-74)/(-14) - (-1)/(14/(-4)). Let o(n) = 24*n + 6. Let x(l) = k*o(l) - 2*r(l). Does 10 divide x(2)?
True
Let t(z) = 6*z**3 - 22*z**2 - 18*z - 41. Is t(14) a multiple of 38?
False
Let m be (-17680)/(-72) + 4*(-1)/(-9). Suppose 4*v + m = 2402. Does 37 divide v?
False
Let z(x) = 39*x**2 + 10*x. Let g be z(-5). Suppose -11*j - 133 = -g. Let l = j + 12. Is l a multiple of 28?
True
Suppose 0 = 5*p - 5, -25*u - 757 = -26*u - 3*p. Suppose 6*j - 878 = u. Does 8 divide j?
True
Suppose -81*n = -67*n - 1666. Is 4 a factor of 2/(((-17)/n)/(564/(-21)))?
True
Suppose 0 = 75*i - 76*i + 14. Suppose -i*k = -3747 - 8853. Is 50 a factor of k?
True
Does 57 divide 19 - 2195/115 - (-20978)/23?
True
Suppose -13*q - 26 + 130 = 0. Does 67 divide q/16*258/1?
False
Is 39 a factor of 15 + 10 + 9768 + -4?
True
Suppose -17*w - 110*w = -468249. Is 9 a factor of w?
False
Let i be -1*(-2 - (2 - 2)). Suppose -4*v = i*o + 32, 4*v - 4*o = 2*v - 36. Let q = 22 + v. Is 3 a factor of q?
True
Let q(n) be the third derivative of -n**6/120 - 7*n**5/30 + 11*n**4/8 + 3*n**3 - 7*n**2. Is q(-16) even?
True
Is 0 - (3 + -3) - (-31836)/4 a multiple of 21?
True
Suppose 47 - 11 = 3*v. Suppose -y + v*y - 286 = 0. Is 19 a factor of y?
False
Suppose 297*y + 37961 = 374*y. Is 10 a factor of y?
False
Let l = -11 + 13. Suppose -f + 2*f + 3*q = -8, -f - l*q = 7. Is -51*1/(f/5) a multiple of 11?
False
Let s be ((-5)/2 + 1)/(198/(-