f y?
True
Suppose -5*d + 36 = -3*d - 4*x, d + x - 3 = 0. Suppose -d*v + 41 + 3887 = 0. Does 9 divide v?
False
Is 4 - -810 - (-128)/(-32) a multiple of 84?
False
Let h be (1 + -1)/(8 - 9). Suppose h = -13*n - 6*n + 7448. Is 56 a factor of n?
True
Suppose -3*a = 4*a - 35. Suppose 14143 + 9572 = a*y. Suppose y = j + 16*j. Is j a multiple of 31?
True
Let k(f) = -3*f**3 - 2*f**2 + 3*f - 3. Let t be k(2). Let x = 101 + t. Does 8 divide x?
True
Let g be (-9)/(-15) + (-1)/10*6. Suppose -v = g, -7*v = 3*a - 4*v - 609. Does 29 divide a?
True
Let u(a) = a**3 - 12*a**2 + 4*a - 5. Let s be u(12). Is 5 a factor of (s + -47)/((-4)/50)?
True
Let v = -3100 + 4949. Does 109 divide v?
False
Let m be (-2680)/(-25) + 8/10. Suppose 5*y - m = 327. Suppose 0 = -2*o + 159 + y. Is o a multiple of 41?
True
Let b = 1 + 76. Suppose -k + b = -236. Does 13 divide k?
False
Let p be 19/(3/(-1) + 2). Let m = 784 + -771. Let k = m - p. Does 26 divide k?
False
Let k(o) = 14*o**2 - 5*o. Let j be k(-10). Suppose -2*w + 2*y = -j, -4*w + 2881 + 17 = -3*y. Is 15 a factor of w?
False
Suppose 2*t + 3 = -x, x - 3*x - 2 = 0. Let d be 166/83 + 6*t*107. Is ((-6)/4)/(2565/d + 4) a multiple of 12?
True
Let b(p) = 3*p**2 + 89*p + 61. Let l be b(-29). Suppose 8*r + 5*v - 1555 = 5*r, l*v - 15 = 0. Is 10 a factor of r?
True
Suppose -253771 - 105653 = -24*x. Is 52 a factor of x?
True
Let q(x) = 199*x**3 + 11*x**2 - 34*x + 139. Does 7 divide q(4)?
True
Let w = 77400 - 40847. Is 11 a factor of w?
True
Let n = 50696 + -30058. Does 22 divide n?
False
Let i be (-3 + -1)/8*12. Let k(g) = -22*g - 18. Let n be k(i). Suppose -154 = -4*s + n. Is 7 a factor of s?
False
Suppose -3 = t + 4*y, -t - 2*y + 1 = -0*y. Let s(j) = 22 - 8*j + 6*j**2 + 195 - 231. Is 50 a factor of s(t)?
False
Let g = -2931 + 5970. Is 42 a factor of g?
False
Let z = 98 + -84. Does 13 divide 1362/7 - ((-48)/z + 3)?
True
Let y be (34 - 3/3) + -1. Let k = y + -30. Is ((-16)/(-12))/k*1359/6 a multiple of 14?
False
Let t(k) = -k**3 + 12*k**2 - 12*k + 11. Let n be t(9). Let j = n + -14. Suppose 0 = -z - 1, z + 43 = -3*p + j. Does 5 divide p?
True
Let f(d) = 6*d - 21. Let b be f(4). Let i(s) = 6*s + 10*s**2 + 11*s**b - 3*s**3 - 7*s**3 + 22. Does 18 divide i(-7)?
False
Is 9 a factor of ((-630)/54)/(1*10/(-756))?
True
Is 8*((-2)/3 + (-1888)/(-6) + -2) a multiple of 24?
True
Suppose 61*a = 62*a - 5*p - 2100, 5*p = 2*a - 4190. Is 65 a factor of a?
False
Suppose -4437864 = -277*z + 1046736. Is z a multiple of 90?
True
Let u(i) = -i**3 - 3*i**2 + 45*i + 14. Let m be (-12)/(64/48 + (-2)/6). Is 14 a factor of u(m)?
True
Let c = -65 - -65. Suppose -694 = -2*o + g, c = -3*o + 6*g - 4*g + 1042. Is o a multiple of 28?
False
Let x be (-2 + (-14)/(-6))*(2 - 8). Let p be (-40 + (2 - 7))*x/6. Let u(f) = -f**3 + 16*f**2 - 4*f + 17. Is 25 a factor of u(p)?
False
Is (-23 + -4 + 26)/((-2)/5078) a multiple of 5?
False
Let k be 2/15 + 160849/195. Suppose -2177 = -4*o - k. Suppose 0 = 3*i + 6, -5*w = -3*i - i - o. Is w a multiple of 33?
True
Let h(d) = 5*d**2 - 32*d + 128. Let n be -5*(6 + -7)*(-2)/(-2). Is h(n) a multiple of 45?
False
Let i(g) = -3*g - 2. Suppose 0 = 4*j - 32 + 140. Let q be (126/j)/(2/3). Is i(q) a multiple of 19?
True
Let m(h) = 733*h - 2037. Is 23 a factor of m(6)?
False
Let c = -40326 + 67221. Is c a multiple of 205?
False
Let y(u) = -97*u - 10 - 20 - 44. Is 47 a factor of y(-9)?
True
Suppose -3*f = -3*y + 144, 0*f = 5*y + f - 234. Let r = 143 - y. Is 12 a factor of r?
True
Let j(a) = -a**3 + 4*a + 7. Let y be j(-3). Suppose -2 = -6*z + y. Suppose -z*x + 3*q = -21, -5*q + 0 = -5. Is x a multiple of 6?
True
Let u(r) = 3*r**2 + 90*r - 1134. Is u(31) a multiple of 51?
True
Suppose -3*k = 2*s - 3, 4*k + 4 - 8 = 5*s. Suppose 5*r - 5 = s, -667 = -4*x + 2*r - 105. Let c = -99 + x. Is 42 a factor of c?
True
Let g = 8340 - 1523. Does 17 divide g?
True
Let u be -1 - (184/4 - 2). Let r = 47 + u. Is -6*26/(-3)*2*r a multiple of 26?
True
Let s = 4 + -90. Let y = s + 86. Suppose -4*i + 258 + 404 = m, y = -5*i + 4*m + 817. Is 24 a factor of i?
False
Does 8 divide (-495)/(-198) + (2 - (-411)/2)?
False
Let i be 2 + (1 - 3) + -133. Is 24 a factor of (-4*1)/(14/i)?
False
Let i be 6 + (-20)/4 + -2 + 2. Let t be 20/5 + (-2)/i. Suppose -a + 85 = t*b, a - 2*b = -0*a + 65. Is 15 a factor of a?
True
Let z(t) = -28*t + 63. Let k(h) = 9*h - 21. Let o(q) = 11*k(q) + 4*z(q). Is o(-7) a multiple of 22?
False
Let v(o) = -o**2 + 7*o + 3. Let k be v(6). Suppose 2 = 11*n - k. Is n/3 + (4312/3)/8 a multiple of 18?
True
Suppose -2*m = m. Let q = 532 - 501. Suppose 3*t - 98 - q = m. Is 43 a factor of t?
True
Let b = 336 - 334. Is (4*b)/(9/216) a multiple of 6?
True
Let p(z) = -4*z + 19. Let n be p(0). Let k(q) = 34*q - n*q + q**2 - 2 + 7. Does 4 divide k(-15)?
False
Suppose 3*y - 266 = -4*v, -128 - 34 = -2*y + 5*v. Is 9 a factor of y/1 - (8 - 3)?
True
Suppose -16*c + 399 = 3*c. Suppose c*m = 13*m + 12864. Does 24 divide m?
True
Let t = -14177 - -33527. Is t a multiple of 25?
True
Let p be -2 + (0 - -71) - (-1 - 0). Let y = 75 - p. Is (152/(-8))/((-1)/y) a multiple of 14?
False
Let p = 258 - 412. Let v be (9/(-6))/(33/p). Is 17 a factor of (-2 + -2)/(-4) + v*10?
False
Let g = -12805 - -22489. Is 36 a factor of g?
True
Let v = -16631 + 25968. Is 7 a factor of v?
False
Let a(t) = -56*t - 66. Let u be a(-6). Suppose 268*i = u*i - 120. Is 45 a factor of i?
False
Let y(h) = h**3 + 38*h**2 + 11*h + 228. Is y(-8) a multiple of 20?
True
Let j(k) be the third derivative of 19*k**4/8 - k**3/2 + 11*k**2. Let a be j(-1). Let z = 78 + a. Is z a multiple of 6?
True
Let p be -2*12/(-8)*1. Suppose 4*l + 157 = p*y + 2166, 2*y - 10 = 0. Suppose 4*n - l = -2*r, -3*r = -n - 0*r + 130. Is 17 a factor of n?
False
Suppose 7159 - 3207 = 13*g. Is g a multiple of 6?
False
Let a(z) be the first derivative of -z**2 - 22. Let j be a(3). Is 14 a factor of (-502)/j - (-4)/12?
True
Let r = -43 + 45. Suppose r*t - 16*t + 42 = 0. Let w(q) = 3*q**2 + q + 8. Does 19 divide w(t)?
True
Let y(g) = 128*g - 262*g - 49 + 138*g. Is 34 a factor of y(22)?
False
Let q be (4/10)/1 + 30/(-75). Suppose q = u + 2*z - 770, 3*u + 7*z = 6*z + 2310. Is 14 a factor of u?
True
Let c = 1660 - 1460. Does 10 divide c?
True
Let q(p) = 15 - 15 + p**2 + 9. Let m be q(10). Let l = m + -95. Is l a multiple of 7?
True
Let h(c) be the first derivative of -c**3/3 - 21*c**2/2 - 20*c - 23. Let f be ((-8)/3)/((-210)/36 - -6). Does 30 divide h(f)?
True
Suppose -4*g + 5*p = -23734, -2*g + 0*g + 11880 = 4*p. Does 112 divide g?
True
Suppose -5*q - 10*q = -6315. Let f = q + -155. Is 23 a factor of f?
False
Let q be (8646/(-44))/(6/8). Let i = -149 - q. Does 22 divide i?
False
Suppose -24*i + 74*i - 23*i - 259146 = 0. Is 156 a factor of i?
False
Let n(r) = -r**3 + 6*r**2 - 12*r + 2. Let j be n(4). Is (12/j)/(-3 - (-123)/42) a multiple of 4?
True
Is 56 a factor of 11310 + (0 - 7/(7/(-2)))?
True
Let t = 259 - 260. Let o(f) = -349*f - 5. Does 39 divide o(t)?
False
Let z be (-1586)/14 - 6/(-21). Let p = -60 + 314. Let v = p + z. Does 47 divide v?
True
Let c = 7532 + -7395. Is c even?
False
Let a(t) = -t**3 - 85*t**2 - 67*t + 726. Does 23 divide a(-86)?
False
Suppose -u - 38 = -m, -4*m + 177 = u + 20. Suppose 14976 = m*o - 13*o. Is 36 a factor of o?
True
Let h = 2325 + -1262. Let n = h - 358. Does 47 divide n?
True
Let m(a) = -107*a - 5. Let i be m(-7). Is 12 a factor of ((-6)/(-8))/(39/26)*i?
True
Suppose 132 - 135 = -3*g, -3*g = 3*h - 47865. Does 23 divide h?
False
Let n = -51 + 57. Suppose 2*y + n = 5*y. Suppose -y*x + 66 = -2*i, 2*x + 2*i + 30 = 3*x. Is x a multiple of 4?
True
Let j be (48/(-56))/((-1)/(-21)). Is 94/5*(-3)/(j/15) even?
False
Let f(n) = n**3 + 10*n**2 - 12*n + 25. Let a be f(-11). Suppose a*g = 38*g - 18. Let u(m) = -m**3 + 11*m**2 - 15*m - 8. Does 4 divide u(g)?
False
Does 259 divide 4724016/192 - (24/64)/(2/(-4))?
True
Let r be (90/(-150))/(2/(-40) - 0). Let g be (5 + 0)*r/10. Suppose -350 = -g*k + 3*k + 5*p, -p = 5*k - 574. Is 28 a factor of k?
False
Let b be 33/22*(-6538)/3. Is b/(-8) - (-27)/(-144)*-2 a multiple of 6?
False
Suppose 7*x + 2298 - 26581 = 0. Suppose -x + 1033 = -3*b. Is 14 a factor of b?
True
Let z(w) be the first derivative of 3*w**3 + 21*w**2/2 + 64*w - 4. Is z(-4) a multiple of 31?
True
Suppose 1 = 4*h - 5*x, 4*h 