. Is 4 a factor of x?
True
Let b be (-2)/10 + (-978)/(-15). Let o = b + -2. Does 13 divide o?
False
Let g(j) = 2*j**2 - 29*j + 101. Let q be g(6). Let y = 3 + 5. Let p = y - q. Is 2 a factor of p?
False
Suppose -71040 = -18*y - 13404. Is y a multiple of 66?
False
Suppose 9*v - 128274 = -70*v + 22221. Is 4 a factor of v?
False
Is 9 a factor of -1 + 3 + ((-455)/10)/(2/(-40))?
False
Let w(n) = 27149*n**2 + n + 1. Does 118 divide w(-1)?
False
Suppose 5*d - 4*b + 6 = 0, 3*d + 4 = -d + 3*b. Suppose 2*r + 15 = -d*t - 1, t = 2*r - 8. Does 22 divide 69/1 - (-4)/t*-8?
False
Suppose 0 = -19*d + 16*d. Suppose 4*u - 2*u - 260 = d. Suppose 0 = 4*m - 5*m + u. Is 12 a factor of m?
False
Suppose -6*h + 12 = -0. Let l be h/(-11) - 93/33. Is -2 + (-8)/(-2) + (l - -57) a multiple of 8?
True
Is 11 a factor of ((-4)/44)/(-1) - 380058/(-33)?
True
Suppose 23*g = -n + 28*g + 3080, 15442 = 5*n - 4*g. Is n a multiple of 6?
True
Suppose 10860 = 2*r + 2*q, 4*r - 17155 - 4509 = 3*q. Is r a multiple of 186?
False
Let b = -2526 - -12190. Does 2 divide b?
True
Is 11 a factor of 2 - -36359 - (-32 - (3 + -38))?
False
Let v(s) = -9*s + 28. Let w be v(12). Let h = w - -72. Does 8 divide 3/((-9)/h)*24?
True
Let g(m) = -2*m**2 - 181*m - 2603. Is g(-65) a multiple of 4?
True
Let g(r) be the first derivative of r**4/4 - r**3/3 - 7*r**2/2 + 462*r + 17. Is 7 a factor of g(0)?
True
Is (1*(-33)/9)/(1/(39*-29)) a multiple of 8?
False
Suppose -25*t + 21*t + 748 = 0. Does 36 divide t?
False
Let w(k) = k**3 - 6*k**2 + 19*k - 200. Is w(10) a multiple of 4?
False
Suppose 3 = 4*q - 2*w - 3, 4*w = -3*q + 10. Suppose -r + n - 6 = -n, -3*r + 22 = q*n. Suppose 13*k + r = 15*k. Is 2 a factor of k?
True
Let u(w) = -7*w - 4 + 2 - 10 + 1 + 1. Is 4 a factor of u(-18)?
True
Let f = 638 - 650. Let j(l) = l - 1. Let h(v) = -v**2 - 14*v - 11. Let c(a) = h(a) - 3*j(a). Is 13 a factor of c(f)?
True
Let j(c) = 22*c**2 + 87*c + 2691. Does 143 divide j(-26)?
True
Let v be (45/(-6))/((-4)/(-16) + -1). Let s be (-36)/(-45) + 0 + 552/v. Suppose s = -10*g + 256. Is g even?
True
Let h(r) = -r**3 + r**2 + r + 35. Let u = 14 + -11. Let f be (u + -3)*(-2)/(-10). Is 7 a factor of h(f)?
True
Let n = 621 + -621. Suppose 0 = 2*u - 7*u - 5*d + 1540, -3*u + d + 908 = n. Is 19 a factor of u?
True
Let x = -66 - -64. Let k(d) = -53*d**2 + 7*d. Let u(g) = -g + 1. Let n(s) = x*u(s) - k(s). Is 20 a factor of n(-2)?
True
Let v = 484 + -572. Let y = v + 134. Is 46 a factor of y?
True
Suppose 12 = -4*c + 4*o, 5*o = 2*c + 2*o + 11. Let h be -1*(-61 + (c - -2)). Let d = h - -198. Does 51 divide d?
True
Let h = 23761 + -13597. Is 44 a factor of h?
True
Suppose -g - 4*g - z = -12853, -5*g - 5*z + 12865 = 0. Is 4 a factor of g?
False
Suppose -5*q + 20 = 2*c - 48, -5*c + 139 = -3*q. Suppose -4*i + 2*d = 5*d - c, -2*i = 2*d - 16. Let l(p) = -p**3 + 5*p**2 + 10*p - 4. Does 12 divide l(i)?
False
Let h(r) = -4*r**2 - 6*r - 1. Let u(i) = 25*i**2 + 35*i + 7. Let o(f) = -39*h(f) - 6*u(f). Does 22 divide o(9)?
False
Let a(g) = 67*g**3 + 3*g**2 + 264*g - 1310. Does 282 divide a(5)?
True
Let u be 15 - -5*(-20)/25. Suppose -7*k = -u*k - 20. Let b = k - -94. Is b a multiple of 7?
False
Let q(c) = -c**3 - 11*c**2 - 7*c - 1. Is 151 a factor of q(-19)?
True
Let t be (-371)/(-4)*2*(-4 + 2). Let n = -223 - t. Suppose -u = 2*g + 3*u - n, -5*g + 5*u = -415. Does 11 divide g?
False
Suppose -8*c = -192 + 16. Suppose 0 = -c*r + 14*r + 1304. Is r a multiple of 19?
False
Does 128 divide (-62)/(-1)*(3/(-2))/((-564)/23312)?
False
Let o = 124 - 69. Let a be (o/3 + -2)/((-4)/(-12)). Let r = a - 21. Is r a multiple of 28?
True
Suppose 3*t - 5*u + 2241 + 8 = 0, -4*t + 2*u = 3022. Let m = 1435 + t. Is 19 a factor of m?
False
Let h(t) = -2*t**2 - 12*t + 4. Let k be h(-6). Let j(x) = 41*x + 15*x**2 + k - 41*x. Is j(2) a multiple of 8?
True
Let u = 11 + -11. Let l = 85 - 74. Suppose -l*s + 14*s - 195 = u. Is 22 a factor of s?
False
Suppose -h + 14 = 17. Is 9 a factor of (-18)/(-1)*h*(-1 + 0)?
True
Suppose 4*c = -2 + 10, 2*n = 3*c + 10. Suppose -5*l + n*l = -6. Is 6 a factor of -8*(l + -9)*1?
False
Suppose -119 = -2*u - 15*u. Suppose -4*r + 3*a + 128 = 0, u*r - 3*r = -3*a + 104. Does 5 divide r?
False
Let o(p) = -p**3 + 6*p**2 + 8*p - 2. Let x(l) = -l**2 + 11*l - 23. Let w be x(6). Let g be o(w). Is 9 a factor of 1390/22 - ((-30)/(-33))/g?
True
Let d be 1*0*7/28. Does 8 divide 138 - ((2 - d) + 0)?
True
Let d(s) = -4*s + 96. Let r be d(28). Let a(i) = 2*i**2 + 18*i - 26. Is 22 a factor of a(r)?
True
Suppose 0 = 7*n - 8*n. Suppose 2*u - 5*q - 27 = 0, 2*u = -n*q + q + 15. Suppose 628 = u*p - 92. Is p a multiple of 15?
True
Suppose -1041 = 7*y + 1150. Let k = y + 450. Is k a multiple of 12?
False
Suppose -3*z = 3*o - 468, 3*z - 303 = -o + 155. Suppose -152*y = -z*y - 100. Is y a multiple of 10?
True
Let h = -1989 + 2160. Is 25 a factor of h?
False
Suppose -160 = 9*n - 5*n. Let a = 102 + n. Let z = a + 10. Does 8 divide z?
True
Suppose -r + 187 = 3*k, -4*r = -k - 8*r + 77. Suppose 0 = -20*d + k*d - 12792. Is d a multiple of 12?
True
Suppose -18*x + 3*x + 4*x = -28677. Is 33 a factor of x?
True
Suppose 0 = 2*u, 5*n + 900 = 14*u - 10*u. Let i be (0/1)/2 - -8. Is (-9)/(n/i)*100 a multiple of 27?
False
Is 2 + 1 + 3 - (-40*306 - 0) a multiple of 6?
True
Let u(d) = -7*d + 2*d + 32 + 28*d. Is u(26) a multiple of 10?
True
Let a be (-42)/35*(-1 - 14/6). Let n be (a/6)/(-2 - (-1648)/822). Let o = n + -82. Is o a multiple of 11?
True
Let y be (1/(45/(-18)))/(3/(-1890)). Does 13 divide y/48 + -4 - (-6523)/4?
False
Suppose -2*j = 3*l - 64917, -10*j + 62*l + 324494 = 64*l. Is 13 a factor of j?
True
Let d(v) = -v**3 + 21*v**2 + 23*v - 17. Let p be d(22). Suppose 0 = 4*z - 2*w - 534, -3*z + p*z = -3*w + 255. Is z a multiple of 12?
True
Suppose 0 = r + 3*r + 5*d + 214, 4*d = 8. Is 11 a factor of (171 - r/7)*1?
False
Suppose 135 = 2*j - 5*j. Let a be (-3 - 3)*35/(-21). Let h = a - j. Does 11 divide h?
True
Let i(d) = d**2 + 8*d. Let s be i(-8). Suppose m = -3*m + 224. Suppose -3*n - 3 = s, -2*x - 8 = -4*n - m. Is x a multiple of 11?
True
Let m(d) = 3 - 4*d - 6*d + 6*d + 5*d. Let v be m(-3). Is 7 a factor of (-3 - v) + 0 + 45?
True
Is (-4)/(-11) + 996278/341 a multiple of 44?
False
Let v = 64 - 62. Suppose v*w - 93 - 895 = 0. Let j = w + -224. Is j a multiple of 22?
False
Let u(l) = 2*l**2 + 71*l - 19. Let t(s) = s**2 + 35*s - 9. Let b(y) = 7*t(y) - 4*u(y). Is 13 a factor of b(-22)?
False
Let w(r) = 7*r**2 + 65*r - 228. Is w(27) a multiple of 30?
True
Suppose -5*p - 3*p = 528. Is ((-1496)/p)/(2/33) a multiple of 17?
True
Let b = 17 + -20. Let p be 57 - 0*b/((-12)/2). Let d = p - 38. Is 3 a factor of d?
False
Suppose 0 = -3*n - 5*k - 43, 16*n - 15*n = -k - 11. Let i(h) = -4*h**3 - 2*h + 6. Is 21 a factor of i(n)?
True
Let a = 15374 - 7180. Is 34 a factor of a?
True
Suppose -2*d + 5124 = -4*k, -9*d + 5*d + 10221 = k. Is 71 a factor of d?
True
Suppose -56*h - 5*a - 6927 = -58*h, -9*h + 31350 = 3*a. Is h a multiple of 5?
False
Suppose -g = 4*o - 2*g + 4, 4*o + 8 = 2*g. Suppose 4*b - 1025 - 1167 = o. Does 63 divide b?
False
Let x be 2016*(1 - 5/60*-3). Is 2 a factor of x/196 - (6/7 + -1)?
False
Let h(x) = x**3 + 8*x**2 + 7*x + 5. Let g be h(-7). Let z(m) = 5*m**2 - 6*m + 13. Does 18 divide z(g)?
True
Suppose -160 = 2*k + 4*z + 106, 5*k + 4*z + 665 = 0. Let p = k + 304. Is 57 a factor of p?
True
Does 39 divide 1896 + (-25)/(175/98)?
False
Let h = -3347 + 29072. Is 147 a factor of h?
True
Suppose -53*i = -46*i - 126. Suppose -5*h + i = x - 0*x, 0 = h - 3*x - 10. Suppose q + 1460 = 5*q - h*l, 0 = -3*q + l + 1093. Does 52 divide q?
True
Suppose -3*r = 4*v - 57025, 3*v - 4*r = -0*v + 42800. Is v a multiple of 46?
True
Let y be (-3 - 6)/9 - (15 - -2). Let f(i) = -11*i - 69. Is f(y) a multiple of 6?
False
Suppose -12*f = -15*f. Suppose 16*m + 2*m - 1296 = f. Is m a multiple of 18?
True
Is 58 a factor of 20140/15*9/6?
False
Let w = -3329 + 4726. Does 10 divide w?
False
Suppose -2*c - 32001 = -3*w, 5*w - 53313 = -506*c + 502*c. Is 61 a factor of w?
False
Suppose 19*g - 14 = 62. Suppose g*h - q = 850, 9*h - 4*h - 1067 = -q. Is 16 a factor of h?
False
Let t = -108 + 107. Is 42/(-18)*t*(-3 + 123) a multiple of 10?
True
Let y be -1 - (1 - 3) - (-1 + 59). Let b = y - -351. Does 42 divide b?
True
Let i be 340/(-1