-a - 167. Does 3 divide u?
True
Let n = 0 + 5. Suppose 777 = -0*j + n*j - f, j - 2*f = 150. Is 39 a factor of j?
True
Let k = 271 - 128. Suppose 5*t - 182 = k. Is 22 a factor of t?
False
Let r be (-19)/(-7) + (-2)/(-7). Suppose -39*m = -45*m + 18. Suppose 4*z + m - 44 = 3*t, r*t + 1 = -z. Is z a multiple of 4?
True
Suppose -36*q + 24472 = -8*q. Does 19 divide q?
True
Let m be 27/45 - 992/(-5). Suppose 0 = -2*y + x + m, 82 = y + 4*x - 8*x. Is y a multiple of 17?
True
Suppose -2*l = 0, 5*l = h + 4*h + 2120. Let b be 5*(h/(-5))/4. Let i = b - 25. Is i a multiple of 27?
True
Suppose -67*r = -11*r - 109872. Does 6 divide r?
True
Suppose -5*s = -4*s - 11. Suppose 2*v - r - 2*r - s = 0, v - 4 = 2*r. Let t(o) = o**2 - 9*o + 2. Is t(v) a multiple of 3?
True
Suppose 20*b + 135 = 23*b. Does 2 divide b?
False
Does 63 divide (-3 + 93)*(-14)/(-1)?
True
Let q(a) = 189*a - 167. Is 10 a factor of q(13)?
True
Is ((-2 - -3) + -5 - -3) + 509 a multiple of 4?
True
Let x = -155 - -221. Does 22 divide x?
True
Let z(g) = g**2 + 8*g - 10. Let r be z(-9). Let a = r - -3. Suppose 0 = -y - 2*t + 2, -3*t - a*t - 31 = -2*y. Does 5 divide y?
False
Let w(g) = -14*g - 12. Let y(s) = -11*s - 12. Let b(i) = 3*w(i) - 4*y(i). Let c be 0*(6/4 - 1). Does 12 divide b(c)?
True
Suppose o - 53 = -4*t, -2*o - 2*t = -7*o + 155. Suppose 3*c + a + o = 0, -11 = -0*c + c + a. Let r = 27 + c. Is r a multiple of 4?
True
Let d = 38 - 36. Suppose -11 = -d*w + w. Does 11 divide w?
True
Suppose 0 = -4*k - k + 5. Suppose -j + k = 3*h, -5*j + 4 = -j - 4*h. Let o = 6 + j. Does 7 divide o?
True
Suppose 4*t + 42 = 3*u, 2*u - 3*t - 45 = -16. Let a(w) = 10*w**2 + 26*w - 64. Let z be a(3). Suppose -9*g - z = -u*g. Is 15 a factor of g?
False
Let i = 115 - -92. Suppose 0 = -3*x + i + 369. Suppose 2*l = -4*b + x, -b + 0*b + 48 = -2*l. Is 16 a factor of b?
True
Let l = 3716 - 2615. Is l a multiple of 37?
False
Let y(k) = -2*k + 12. Let d be y(-9). Does 10 divide d + 0 - 3 - -3?
True
Let q = -8585 + 12518. Is 69 a factor of q?
True
Let l = -58 + 16. Suppose 5*i + 320 = -5*q, q - 3*i = -5*i - 68. Let f = l - q. Does 5 divide f?
False
Is 21 a factor of ((-246)/(-4))/(3/6)?
False
Let b = -31 - -31. Suppose b = -4*l - 20, 2*a - 4*l = 109 + 529. Is a a multiple of 12?
False
Let i(z) = z**3 + 5*z**2 - 3. Let b be i(-4). Suppose 0 = -4*v - b + 173. Is 8 a factor of v?
True
Let a(f) = 2*f**2 - 3*f + 15. Let o be a(7). Let y = 170 - o. Is y a multiple of 36?
False
Let m(h) = 6*h + h**2 + 3*h**2 + h**3 + 4*h**2 - 4. Is 2 a factor of m(-7)?
False
Let i(u) = -u**3 - 12*u**2 - 11*u + 14. Let a be i(-11). Does 28 divide (a/5)/((-2)/(-120))?
True
Suppose -16*r - 330 = -13*r. Does 23 divide ((-148)/5 - -2)*r/44?
True
Let b(j) = -3*j - 26. Let u be b(-10). Is -3*u/(-12) + (-48)/(-2) even?
False
Suppose -3*q = -3*c - 729, 0 = -q - 5. Is 29 a factor of -2 + ((-1)/(-2))/((-1)/c)?
False
Let p = 1251 + -583. Is 14 a factor of p?
False
Suppose 0 = -3*l - h - 36, 0 = -4*l + 5*l + h + 12. Does 6 divide ((-27)/12)/(l/64)?
True
Let j(u) be the second derivative of 1/3*u**3 + 0 - 5*u**2 + 1/20*u**5 + 5*u - 2/3*u**4. Does 5 divide j(8)?
False
Let d(o) = o**3 - 9*o**2 + 28*o - 36. Is 28 a factor of d(11)?
False
Let m(u) = -u**2 + 14*u + 15. Let i be m(11). Suppose -9*t - i = -5*t. Is (-1)/((-4)/t) + 77 a multiple of 19?
False
Suppose -5 = 7*j + 93. Let n(w) = -5*w - 37. Is n(j) a multiple of 26?
False
Let t = -4 - -5. Is 13 a factor of 2*(t/8 - (-777)/24)?
True
Let h be 1 + (-1)/(1/(-12)). Let b = -11 + h. Suppose 5*y = b*x - 9, 3*y - 28 = -2*x + 21. Is x a multiple of 17?
True
Let k(b) = 3*b**2 + b + 2*b + 2*b + b**3 - 7*b**2 - 3. Let x be k(3). Suppose i - 3*p - 63 = 0, -x*i - 5*p = -4*i + 57. Does 18 divide i?
True
Suppose 2*z = 4*g - 6038, 38*g = 42*g + 5*z - 6017. Is 38 a factor of g?
False
Let h = 98 - -94. Is h a multiple of 19?
False
Suppose -17*k + 7*k = -20. Suppose -k*m + 363 = 3*z, 2*z = 5*m - z - 876. Does 15 divide m?
False
Let h(c) = 3*c + 2. Let n be h(0). Let g(r) = 5*r - 1. Let y be g(3). Let l = n + y. Is 4 a factor of l?
True
Suppose 0 = 31*s - 40391 - 27065. Is s a multiple of 32?
True
Suppose -2*j + 5 = -7. Let g be (-31)/j - (-8)/48. Let x(b) = -5*b - 2. Does 23 divide x(g)?
True
Let s(o) = -o**2 - 15*o - 7. Suppose -4*c - 33 = 3. Is 3 a factor of s(c)?
False
Suppose 2*c + 5*a - 589 = 0, -4*c - 15*a + 14*a = -1151. Is 13 a factor of c?
False
Let p = 89 + -85. Suppose p*j - 183 = 9. Is 11 a factor of j?
False
Let o(y) = -2*y**3 - y - 1. Let t be o(-1). Let q be (48/(-9))/t*-48. Suppose -16*u + 12*u = -q. Is u a multiple of 13?
False
Let u = 4006 + -2104. Is u a multiple of 40?
False
Suppose -1696 = -17*z + 2605. Is z a multiple of 11?
True
Let f(g) = 44*g + 3237. Is f(0) a multiple of 8?
False
Let y(j) = 19*j**2 - 6*j + 6. Is 33 a factor of y(-6)?
True
Let n = 1130 + 1288. Does 13 divide n?
True
Let i(g) = 80 - 29 + 3*g - 36 + 4*g**2. Is i(-5) a multiple of 20?
True
Let m(c) = -c**3 - 9*c**2 + 13*c + 6. Let d be m(-10). Let s = -22 - d. Is 2 a factor of s/(8/44) + -1?
True
Let j be 21/12 - (-5)/20. Suppose 4*k = -4*v + 23 + 241, j*v - 3*k = 117. Does 32 divide v?
False
Let a be 2/12*(-7 - -5)*-195. Suppose 186 = 3*p - 4*j - 5, 0 = p - 2*j - a. Is p a multiple of 17?
False
Let u be (140/(-21))/(2/6). Let b be (-4)/u + (-52)/10. Let x(c) = -14*c + 14. Does 14 divide x(b)?
True
Let y = 26 - 24. Does 12 divide (-120 + 0)*y/(-5)?
True
Let h(p) = -p**3 - 5*p**2 - p - 2. Suppose 7*c - 4*c + 12 = 0. Let z be h(c). Is (-2)/7 - 480/z a multiple of 17?
True
Let k(f) = -24*f + 68. Does 4 divide k(-3)?
True
Let l = 1085 + -349. Is 46 a factor of l?
True
Let l be (33/6 + -5)/(1/60). Does 3 divide l/4*(13 + -11)?
True
Let x(s) = s**3 - 27*s**2 + 78*s - 189. Is 77 a factor of x(30)?
True
Let m(w) = 2*w - 3 + 3 + 2. Let a(r) = -r**2 - 11*r - 21. Let i be a(-4). Does 4 divide m(i)?
True
Suppose 5*z + 19 = 89. Suppose -4 + 16 = 3*q. Is 14/q*(z + -12) even?
False
Suppose 134*g - 4858 = 127*g. Is g a multiple of 23?
False
Suppose 135 = 4*t - 249. Is t a multiple of 8?
True
Suppose -4*n + 1186 = 2*l, 7*l + 3*n - 1186 = 5*l. Does 8 divide l?
False
Let p(f) = -f**2 - 12*f - 1. Let g = -75 + 126. Suppose -2*b + 12 = h - 2*h, 5*h = b - g. Is 19 a factor of p(h)?
True
Let k = 5906 - 2243. Let n be (-2)/12 + k/(-54). Let y = 113 + n. Is 16 a factor of y?
False
Suppose 0 = -35*p + 39*p - 4. Is (-40)/(-10) + (p - -4) a multiple of 5?
False
Is 2 - -344 - (-30)/5 a multiple of 22?
True
Let u(b) = 241*b + 31. Let l be u(5). Suppose -7*z - l = -19*z. Does 21 divide z?
False
Suppose 0 = -w - 5*d + 255, 2*w - 4*d = 637 - 169. Suppose -2*v + w = 2*v. Is v a multiple of 30?
True
Let f = 26 - 48. Let v = 32 + f. Does 2 divide v?
True
Let h be (0 - 7/2)/(1/2). Let u = 108 - h. Is u a multiple of 23?
True
Let r be 3/(-1) + (11 - 4). Suppose -2*c = -5*d - 44, 3*d - r*d - 106 = -4*c. Is 12 a factor of c?
False
Let p(s) = s**3 - 3*s**2 + 11*s + 15. Is p(8) a multiple of 32?
False
Is (2/(-4))/(7/(-8428)) a multiple of 43?
True
Let t = 246 - -302. Is 9 a factor of t?
False
Let l(r) = -r + 5. Let w be l(6). Let b be w*(2 + -4)*-2. Let j = b - -27. Is j a multiple of 7?
False
Let b = 5 - -1. Suppose 5*c + 3*n + b = -n, 6 = -2*c + 2*n. Is (-2 - (42 + c))*-1 a multiple of 14?
True
Let v(u) = u**3 + 14*u**2 + 37*u - 6. Is v(-5) a multiple of 3?
False
Let g(a) = 6*a**2 + 5*a + 776. Is g(0) a multiple of 11?
False
Let u = 541 + -97. Let f = 760 - u. Is 16 a factor of f?
False
Let v be (-73)/(-5) + 3/(-5). Does 29 divide 12/84 - (964/v)/(-1)?
False
Does 104 divide (-1 - 103)/(34/(-476))?
True
Suppose 4*c - 9*c = -920. Does 46 divide c?
True
Suppose q + 13 = 18. Suppose -5*m + 3*z + 275 = -2*z, -q*z = 5*m - 325. Does 10 divide m?
True
Does 105 divide (-1017348)/(-510) + (-2)/(-10)?
True
Let m be -1 - 0*(-1 + 2/3). Is ((-28)/(-6))/(m*2/(-3)) a multiple of 7?
True
Let s = -22 + 16. Let a be (s/(-15) - 1)*-5. Suppose 5*g = 5*i + 230, 3*g + a*i - 2*i = 138. Is g a multiple of 16?
False
Let d = 17 - 12. Suppose -3*o = 2*h - 86, -3*h - 65 = d*o - 208. Is o a multiple of 14?
True
Suppose -5*q - 18 = -11*q. Let o(x) = 3*x**3 - 2*x**2 - 4*x + 2. Does 7 divide o(q)?
False
Is (-8 - 13517/(-14))*2 a multiple of 46?
False
Let a = 943 + -475. Is a a multiple of 52?
True
Let s = 25