2961)/(-15) + -5 a multiple of 233?
True
Suppose 0 = -5*b - 372*f + 376*f + 48765, -3*f = -b + 9753. Is 23 a factor of b?
False
Let s(x) = -3*x + 38. Let b be (2/(-6))/(3/54). Does 28 divide s(b)?
True
Let w(i) = -3*i**3 - i**2 - i + 6. Let p be w(-3). Suppose p + 200 = m. Does 17 divide m?
False
Suppose 92 = 4*a + 2*v, -a + 6*v = 2*v - 41. Let j = a - -267. Is j a multiple of 41?
False
Is (-3207235)/(-501) - (-1)/(-6)*-1*2 a multiple of 97?
True
Suppose 38 = 5*f - 42. Suppose 9*y - f = 5*y. Suppose 2*k - 30 = -w, 10 = y*k - 2*k. Is 4 a factor of w?
True
Let x = 319 - 886. Does 14 divide (x/108)/(-2 - (-538)/272)?
True
Suppose 4*y - 7974 = -6*n, -6*y + 6646 = 5*n - 3*y. Does 12 divide n?
False
Suppose 0*a + 3*a + 60 = 0. Let h be 682/8 + (-2 - 35/a). Suppose -4*m = 5*k - 8*m - h, -20 = 4*m. Is k a multiple of 13?
True
Let q(r) = -1 + 0*r**2 - 6 + r**2 + 7*r. Let g = -384 - -370. Is q(g) a multiple of 13?
True
Let f(r) = 2*r**2 - 17*r + 5. Let d be f(8). Let i(u) = 51*u**2 + 3*u. Let l be i(d). Suppose -2*b + x = -222, -x + 0*x + l = 4*b. Is b a multiple of 17?
False
Suppose 14*p = 10*p. Suppose 2*t = -i - 0*i + 47, p = -i - 4*t + 55. Suppose 189 = 3*v + i. Does 29 divide v?
False
Let w = 22534 + -21839. Is w even?
False
Let j(o) = -o**3 + 4*o**2 + 11*o + 4. Let r be j(6). Let z be -6 + 13 - (-1 - -2 - r). Suppose -z*a = 0, -3*m = 2*m - 5*a - 600. Is m a multiple of 8?
True
Let l(n) = -n**3 - 2*n**2 + 72*n + 14. Is l(-13) a multiple of 3?
False
Suppose -12*x + 10671 = 2283. Suppose w + 1165 = 5*q, 5*q - w = 2*q + x. Does 4 divide q?
False
Suppose 3*d = j + 1869, 2*j + 0*j = 3*d - 1866. Suppose 11 - 11 = -22*u. Suppose -9*b + d + 348 = u. Does 9 divide b?
True
Suppose -148630 = 15*c - 372505. Is c a multiple of 92?
False
Let w(j) = -j**3 + 25*j**2 + 69*j + 165. Does 8 divide w(27)?
False
Suppose -26*x - 24 = -29*x. Does 15 divide 104/(-12)*(-60)/x?
False
Let s be (-8)/(-14) + (-279744)/(-448). Let t = s + -199. Is t a multiple of 30?
False
Suppose -6*o = -2*o. Let r(j) = 7*j**2 + 47*j + 60. Let m be r(-5). Suppose -x + z + 139 = m, 4*x + 0*x - 2*z - 558 = o. Is x a multiple of 12?
False
Let b(q) = 2*q**2 - 88*q + 1458. Does 14 divide b(29)?
True
Let r(n) = 2*n**3 + 35*n**2 + 19*n + 39. Let a be r(-17). Suppose -h - 4*v = -630, -a*h = -0*v + 5*v - 3225. Is 13 a factor of h?
True
Let b(l) = 666*l + 7. Let m be b(1). Let o = m - 450. Is 46 a factor of o?
False
Suppose -94*d = 112*d - 190*d. Suppose t = 3*t + 10. Does 17 divide (d - t)*(1314/30 - 3)?
True
Suppose -8 = -2*o + 10. Let k(a) = a**2 - 7*a - 13. Let i be k(o). Suppose 2*r - i*d - 134 = 0, 3*r - 365 = -2*r + 5*d. Is r a multiple of 11?
True
Suppose 0 = 17*r - 78626 - 34161 - 104014. Does 9 divide r?
True
Does 8 divide (-8214)/((-1 + 6)*(-148)/370)?
False
Let j be (-5)/(-3)*(75 + (-12)/4). Suppose -d = 2*d, 3*p - 4*d = j. Let y = p - -7. Does 12 divide y?
False
Let z(f) = -f**2 - 52. Let l be z(0). Let r = 54 + l. Suppose -21 = -d - 5*w - 9, -3*d + 75 = r*w. Does 3 divide d?
True
Let z = -21 + 15. Let r be (((-60)/(-9))/2)/(z/(-9)). Suppose r*t - 264 = -64. Is t a multiple of 5?
True
Is 32 a factor of (2 - (-438)/5)*(-90)/(-36)?
True
Let q(k) = 4*k**2 + 10*k - 6. Suppose 0 = 4*r - 2*s - 18, -3*s + s = r + 3. Suppose -r*t - 12 = -3*u + 8*u, -18 = 3*t + 3*u. Does 19 divide q(t)?
True
Let z = 39 + -48. Let f(n) = -n**3 - 9*n**2 + n + 10. Let c be f(z). Is 57 + -30 + 2 + c + -1 a multiple of 29?
True
Suppose 0 = k + 4*h - 137, -2*h = -5*k + 93 + 680. Let c = -72 + k. Does 10 divide c?
False
Let u be (24/15)/(6/45). Let w be (-26)/u + 1/6. Does 45 divide 3 + 176/(0 - w)?
False
Let m = 20272 - 6076. Is 7 a factor of m?
True
Let x = 25524 + -15118. Does 49 divide x?
False
Let u(k) = k**2 + 2*k - 46. Let y be u(-8). Does 4 divide 2 - ((-38)/y)/(2/12)?
True
Let k(n) = 150*n - 96*n - 51 + 156*n + 44*n + 52*n. Does 16 divide k(3)?
False
Let o(y) = -170*y - 2445. Is 33 a factor of o(-27)?
True
Suppose -3*w = -3*x - 49146, 342*x - 16376 = -w + 340*x. Does 52 divide w?
True
Let o be 2*10*(-6)/30*-1. Suppose o*j + 0*i = -5*i + 5235, -3*j + 4*i = -3903. Is 90 a factor of j?
False
Let l(t) = -t**3 + 5*t**2 - 9*t + 20. Let k be l(4). Suppose 6*h - 8*h = 2*r - 786, k = -2*r + h + 798. Does 14 divide r?
False
Let b(u) = -11*u - 323. Let t be b(-49). Suppose -a = -0*a + 32. Let w = a + t. Is 12 a factor of w?
False
Let h(n) = -n**3 + 5*n**2 - 6*n + 5. Let q be h(3). Suppose 0 = -v + 3*t + 5, 3*v - q*t - 6 = 1. Does 20 divide 0 + 100 + 1 + v?
True
Is 6 a factor of (-147)/(-84) - 117339/12*(-7)/7?
True
Let r = 18101 - 15153. Is 44 a factor of r?
True
Suppose -3*g = 4*p - 23343, 211*g - 214*g = 5*p - 23346. Is 22 a factor of g?
False
Suppose -4*v = 5*v + 36. Does 37 divide 12/v*(-777)/7?
True
Let h(s) = -4*s - 14. Suppose 0 = b - 5 - 0. Suppose -b*x = 91 - 26. Does 21 divide h(x)?
False
Let o = -5 + 11. Let k(x) = x**3 - 6*x**2 - 45*x + 54. Let y be k(10). Suppose q = 5*u - o, y*q + 4*u - 48 = -0*u. Is q a multiple of 3?
True
Let j(d) = d**3 + 10*d**2 + d. Let m be j(-7). Let b be (-3 + 8 + -2)/(3/4). Suppose m - b = 8*o. Does 4 divide o?
False
Suppose 13*l - 2530 = 2085. Let q = l + -140. Does 12 divide q?
False
Suppose p - 4*l - 602 = 0, p - 6*p + 5*l = -2980. Does 11 divide p?
True
Let x(g) = -5*g**2 + 452*g - 238. Is x(81) a multiple of 8?
False
Suppose 670624 + 578843 = 91*j - 984401. Does 17 divide j?
True
Is 30/8*909160/573 a multiple of 119?
True
Suppose -9*l = -867 - 519. Suppose -l*z = -152*z - 130. Is z a multiple of 5?
True
Let g(a) = a**3 + 12*a**2 + 20*a + 5. Let w be g(-9). Does 25 divide 520/65 + (w - 1)?
True
Let u be (-251 + 0)/((-1)/((-100)/(-10))). Suppose 0 = -7*o + 38 + u. Is o a multiple of 52?
True
Let c(d) = 8*d + 92. Let y(o) = 8*o + 93. Let j(r) = 2*c(r) - 3*y(r). Does 20 divide j(-18)?
False
Let z(a) = -3*a**2 + 46*a - 48. Let s be z(14). Is 19 a factor of (s - 282/(-30))/((-2)/(-50))?
False
Suppose -4*v + 2*v + 1072 = -4*t, 4*v - 1076 = 4*t. Let b = -177 - t. Is 18 a factor of b?
True
Let u(t) = 305*t + 4015. Does 74 divide u(28)?
False
Suppose 196*w + 1456 = 200*w. Suppose -w = -4*s - 2*y, -4*s + 348 = -6*y + 4*y. Suppose -s - 9 = -j + 3*x, 5*j = -2*x + 541. Is j a multiple of 17?
False
Let v(b) = -7*b + 16. Let n(i) = -8*i + 14. Let t(g) = 4*n(g) - 6*v(g). Is t(20) a multiple of 10?
True
Let w = -17775 - -23967. Is 86 a factor of w?
True
Suppose 78 = -37*i + 34*i. Let n = 29 - i. Let b = 23 + n. Does 26 divide b?
True
Let w(a) = a**2 + 69*a - 682. Does 80 divide w(-98)?
True
Let h = -288 - -296. Is (-28)/h*2 + 4 + 687 a multiple of 36?
True
Let o(t) = -t**2 + 8*t - 8. Let s be o(6). Suppose -2*l - 5*f + 1 = -97, 0 = -5*l - s*f + 211. Is l even?
False
Suppose c + 0*c + 2*j - 48 = 0, -208 = -5*c - 2*j. Suppose -c*t + 41*t = 445. Is t a multiple of 44?
False
Let a(j) = j**3 + 28*j**2 + 28*j + 27. Let s be a(-27). Suppose 5*x - 27 = b - 7, s = x + b + 2. Suppose 0 = m + x*m - 196. Does 7 divide m?
True
Suppose 0 = 14*r + 6*r - 26780. Let h = r + -925. Is h a multiple of 6?
True
Let z = -490 - -390. Is ((-25)/z)/((-1)/(-4276)) a multiple of 29?
False
Is 5 a factor of (7 + -1 + 1356)*1?
False
Let w be 6*(-3)/8 + (-2)/(-8). Does 12 divide (3*16/6)/(w/(-92))?
False
Let k = 55 - 7. Suppose -k = -b + 2*q, -3*b - 23*q + 21*q = -128. Is b a multiple of 11?
True
Let p be (-515)/4 + 10 + 1/(-4). Let d = p - -162. Is d a multiple of 4?
False
Suppose -12*x + 196 = -19*x. Let t(a) = 2*a**2 + 32*a - 34. Does 11 divide t(x)?
True
Suppose 19 + 33 = -4*h. Let j(f) = f**2 + 14*f - 26. Let a be j(h). Let x = -8 - a. Does 4 divide x?
False
Let c(x) = 3*x**2 - 19*x + 182. Is 26 a factor of c(28)?
True
Let m = -71925 - -104401. Is 23 a factor of m?
True
Suppose 4*w = 158 - 2. Let j = 660 + -654. Suppose -j*s = -w - 69. Does 2 divide s?
True
Let d(v) = -2*v**3 - 11*v**2 - 5*v + 28. Let u be -8 + 3*1/(-6)*-2. Is 15 a factor of d(u)?
True
Let i(m) = m**2 - 6*m + 24. Let p be i(9). Let g = p - 43. Suppose -5*r + 59 = 3*z, 5*r = 4*z - g*z + 82. Does 4 divide z?
False
Let h = 48 + -42. Suppose h*p = 4*p + 3152. Suppose -13*u = -p + 627. Does 6 divide u?
False
Suppose 0 = -4*t + 5*i - 210, -5*t + i - 247 - 26 = 0. Let a = -10 + 27. Let s = a - t. Is 9 a factor of s?
True
Let p = 1586 + 1510. Is 35 a factor of p