-12))/3 - 2/(-8). Let r = 59 - u. Suppose 0 = 3*s + r, 0*q = 3*q - s - 356. Is q a multiple of 13?
True
Is 89/(29370/5377860) + 6/(-11) a multiple of 7?
True
Let q = -385 + 625. Let u = q - 30. Does 20 divide u?
False
Let y = 6819 - 1569. Does 20 divide y?
False
Let d = 7304 - 5559. Is d a multiple of 138?
False
Suppose 0 = 2*o - 3*r - 7146 - 2133, -3*o - 5*r = -13909. Does 11 divide o?
False
Suppose -f - 5*l - 36 = 0, -4*f - 3*l - 198 = -l. Let z = f + 56. Suppose -2*h = r - 149 - 12, -z*r + h + 860 = 0. Is r a multiple of 19?
True
Suppose 226*z = -378*z + 24277176. Is z a multiple of 58?
True
Let i(f) = f**2 + 9*f - 30. Let z be i(-12). Is 36*((-140)/(-15) - z) a multiple of 27?
False
Let h(b) = b + 7. Let l(s) = -s**2 - 10*s - 12. Let t be l(-5). Let q be h(t). Is 9 a factor of ((-270)/q)/((-6)/16)?
True
Suppose -4735 = 51*g - 54*g - 4*b, 5*g - 7881 = -4*b. Is g a multiple of 3?
False
Suppose 2*r - 35632 = -5*h, -3*r = 4*h - 37376 + 8869. Does 85 divide h?
False
Let h = 11373 + -6982. Is h a multiple of 5?
False
Let r(k) = -7*k - 9. Suppose -4*o - 5*p = -3, 4*o = -3*p - 4 + 1. Let d be r(o). Suppose 8 = 2*z, 0 = -4*l + z + 584 - d. Is 12 a factor of l?
True
Suppose 0 = -25*s + 9*s + 48. Suppose 0 = -0*i + 5*i - s*w - 37, 16 = -4*w. Is i even?
False
Suppose -6*g = -10 - 14. Let y be ((-41)/g)/((-2)/40). Let p = -114 + y. Does 7 divide p?
True
Let r(c) = -2*c**3 - 157*c**2 + 25*c - 8. Is r(-79) a multiple of 49?
False
Let y(u) = -u**3 + 4*u**2 - 3*u - 2. Let j be y(4). Is 13 a factor of (10/(-20)*j)/(2/160)?
False
Let u be ((-10)/20)/(-2*(-1)/(-4)). Let p be ((-6)/4)/(u + (-13)/10). Suppose -2*h - p*c + 174 = 0, -3*h - 2*c - 3*c = -256. Is h a multiple of 21?
False
Let w be -6*((-4)/(-2))/4. Let g = 3 + w. Suppose g = a, s + 29 = 2*s - 3*a. Does 11 divide s?
False
Suppose 2237 = 2*b + 3*f, -17*f + 14*f - 15 = 0. Does 10 divide b?
False
Let t = -247 + 167. Suppose 5*w = -3*j + 251 + 377, 0 = -5*j - 2*w + 1072. Let y = t + j. Is 17 a factor of y?
True
Let u(h) = -h**2 - 2*h - 150. Let l be u(0). Does 30 divide 3152/15 - (6 - (-880)/l)?
True
Let l be ((-2)/(-4))/((-12)/(-48)). Let w(g) = 2 - 4 + 0*g + 11*g. Is w(l) a multiple of 10?
True
Let d(x) be the third derivative of x**5/60 - x**4/12 - 11*x**3/6 + x**2. Let w be 2*4 + (101 - 100). Does 13 divide d(w)?
True
Let p(z) = 21*z**2 - 12*z + 86. Is p(-13) a multiple of 17?
True
Suppose 2*i = -10, -n + 5*i - 14 + 42 = 0. Suppose n*d - 1050 = -4*d. Suppose -32*f + d = -30*f. Does 23 divide f?
False
Let b be (15/(-4))/3 - 79327/(-92). Is 9 a factor of (3 - b/(-28))*84/3?
True
Let l(u) = 2*u**2 + 13*u + 11. Let a(t) = -14*t**2 - 92*t - 78. Let h(p) = -3*a(p) - 20*l(p). Let i = 15 - 25. Does 18 divide h(i)?
True
Let z(o) = 2*o**3 - 21*o**2 - 20*o + 29. Let t be z(13). Suppose -2*v + 322 = -t. Does 19 divide v?
False
Let h = 27 + -1. Suppose -39 = 5*o + h. Let n = 101 + o. Does 22 divide n?
True
Is 50 a factor of 14/(-112) + (-137883)/(-24) + 5?
True
Let d = -46 + 51. Suppose 12*b - 14 = d*b. Suppose -2*j = b, 2*j + 0*j + 266 = 3*k. Is k a multiple of 8?
True
Let u(z) = -3*z - 12. Let c be (0 + 3 - -5)*(-2)/1. Does 36 divide u(c)?
True
Let j be ((-9)/(-27) + (-8)/6)*-2. Suppose 0 = 2*r + 3*k + 6 + 4, 3*r + j*k = -10. Does 4 divide 576/63 - (13/(-7) - r)?
False
Suppose 4*l - 4*s = 73964 + 31196, -78868 = -3*l + 2*s. Does 53 divide l?
True
Let d = 5170 + -3903. Does 11 divide d?
False
Let b = 3073 + 7827. Is b a multiple of 50?
True
Suppose -3*b + 3*c - 27 = 0, 0*c - 4 = c. Let q = b - -1. Does 12 divide ((-224)/q)/(1/6)?
False
Suppose 3*d + z - 19017 = 0, 39*z + 19017 = 3*d + 34*z. Is d a multiple of 56?
False
Suppose 5*t - 8700 = -7*t. Let q = t + -369. Does 50 divide q?
False
Let n(x) = 63*x**2 - 53*x + 324. Does 99 divide n(9)?
True
Is 61 a factor of 50 - 66 - (-12764 + -1)?
True
Suppose 3 = q - 4*r + r, 0 = 2*q - 5*r - 5. Let v(n) = n**2 - 3*n + 468. Is 20 a factor of v(q)?
False
Suppose -8528 = -5*c + 4*v, -c - 4*v + 277 = -1443. Is c a multiple of 27?
False
Let j be 2 - (11 - (-56)/(-8)). Let u(v) = 16*v + 71. Is u(j) a multiple of 13?
True
Let t = -216 + 25. Let d = t + 230. Is d a multiple of 3?
True
Let r(g) = -g**2 + 4*g + 62. Let y be r(-6). Suppose -5*w = -i - 131, 0 = w + y*i - i - 31. Is w a multiple of 18?
False
Let u = 1136 + -92. Suppose -c = 5*c - u. Does 17 divide c?
False
Suppose 3*t + 252 = 3*y, -4*y + 186 = 5*t - 186. Is (-3)/12 - (-79310)/y a multiple of 11?
False
Does 44 divide (-30)/(-2 + 5)*6160/(-10)?
True
Is (70/(-10) - -1828) + -4 a multiple of 25?
False
Suppose 4*k - 46 = -6. Suppose x - 5 = k. Let l = 34 - x. Is 18 a factor of l?
False
Suppose -3*r = 2*f - 4392, -8752 = 12*f - 16*f + 2*r. Is 38 a factor of f?
False
Suppose 2*z = 4*f + 6, -2*z = -5*f - 6 - 1. Let a(r) = 1211*r**3 - r**2 - 6*r + 6. Let p be a(z). Does 25 divide 4/(-6) - (5 - p/15)?
True
Let t(b) = b**3 + 20*b**2 + 22*b + 17. Let u be t(-17). Let h = u + -353. Is 10 a factor of h?
False
Let g(n) = 16*n**2 + 5*n - 3. Let d(o) be the second derivative of -2*o**4/3 - o**3/3 + o**2/2 + 9*o. Let i(z) = -5*d(z) - 2*g(z). Is i(4) a multiple of 29?
False
Suppose 4*a - o = 20, 5*a + 0*o - 25 = 2*o. Suppose 4*r = 5*s + 29, a*r - s = r + 9. Let c(u) = 40*u - 3. Is c(r) a multiple of 13?
False
Suppose 42 = 2*j + 86. Let q = -10 - j. Is ((-8)/q)/(16/(-3576)) a multiple of 24?
False
Let h = 629 - 625. Suppose h*s + a - 3857 = 0, 0 = 3*s + 2*s - 2*a - 4818. Is s a multiple of 49?
False
Suppose 5*z - 15 = -5*k, 2*k - 4 + 10 = 0. Suppose -z*a = -501 - 363. Is a a multiple of 9?
True
Suppose -v - 2560 = -11*v. Let m = 816 - v. Is m a multiple of 6?
False
Let d(p) = 2668*p. Does 32 divide d(1)?
False
Is ((-845)/(-507))/(2/32994) - -1*4 a multiple of 220?
False
Let v be (-8 - -2)/(360/181 - 2). Suppose 1017 = 12*j - v. Is -4 + 14/4 - j/(-4) a multiple of 8?
True
Suppose -4*a + 16 = 0, 2107*a = -2*h + 2105*a + 16306. Is h a multiple of 2?
False
Let p = -7369 - -12334. Does 80 divide p?
False
Let t = -377 - -877. Suppose -4*k = 4*v - 8*v + t, 254 = 2*v - 4*k. Suppose -33*x + 32*x = -v. Is 41 a factor of x?
True
Suppose -5*y + 5*i + 82 = -1523, -4*i = 20. Let b(f) = -5*f**2 - y*f + 319*f + f**3 - 4 - 2. Is 7 a factor of b(5)?
False
Suppose 0*w + 5*w - 15 = 0. Suppose 0*y = -4*r - 3*y + 297, -w*y + 141 = 2*r. Does 6 divide r?
True
Let w be ((-20)/4)/((-2)/2). Suppose 3*z - 13 = -w*r, -4*z = -4*r - z + 32. Suppose 0 = -6*i + r*i + 20. Is 3 a factor of i?
False
Suppose 3*k - 1404 = -14*i + 11*i, 0 = 4*i + 2*k - 1880. Does 3 divide i?
False
Let i(z) = 100*z + 2. Let u be -57 + (-5)/(5/4). Let m = u - -62. Does 11 divide i(m)?
False
Let m = -66 + 64. Let s be (-8)/4 - 12/m. Suppose -2*p - 188 = -5*n - p, s*p = -n + 25. Is 7 a factor of n?
False
Let i be 1 + 1 + 192/2. Let h(s) = s**3 - 6*s**2 + 5*s + 16. Let n be h(4). Suppose -k - 413 = -n*m, -m + k + i = 6*k. Does 20 divide m?
False
Let h(j) be the first derivative of j**5/30 + j**4/3 - 11*j**3/6 - 11*j**2 + 17. Let p(x) be the second derivative of h(x). Does 7 divide p(5)?
False
Does 3 divide 1770/270 - 24/(-54)?
False
Suppose 129 = -d - d + 5*x, 4*x - 130 = 2*d. Let c = 277 + d. Does 11 divide c?
False
Suppose 4*u + 36 = 4*k, 4*k - 18 - 10 = 2*u. Suppose 2*j = -k*d + 5, 3*d = 3 - 0. Suppose j = -4*g + 3*n + 169, 4*g = n + 126 + 37. Is g a multiple of 20?
True
Let s = -149 + -31. Is (4 - (-140)/(-30))/(2/s) a multiple of 2?
True
Let f(l) = 21*l**2 - 25*l + 160. Let i be f(5). Let b be 72/15 + (-1)/(-5). Suppose -b*a + 0*a = -i. Does 14 divide a?
True
Suppose -3*u - 2*u = -u. Suppose u = 3*s - 0*s - 18. Is s/30 - (-2)/5*17 a multiple of 5?
False
Suppose 4*k - 4*l = 1532, 3*k - 328 = l + 827. Suppose 10 = d - k. Does 18 divide d?
True
Let k = -142 + 158. Suppose -9*b = -5*b - k. Suppose -5*g + g + b*m + 256 = 0, 5*g = -2*m + 306. Does 8 divide g?
False
Suppose -5*k - 3*b - 19 = 8, 0 = -3*k - 2*b - 16. Does 23 divide (-4594)/k - -3*(-20)/(-45)?
False
Suppose r - 5*v + 70 = 0, -5*r = -r + 5*v + 405. Let u = r - -130. Is 7 a factor of u?
True
Suppose 0 = -52*j + 43*j + 54. Suppose 2*s = -5*c + 4, -4*c + j*c = 5*s - 68. Does 9 divide s?
False
Suppose -235*l + 38*l + 409748 = -327032. Is 68 a factor of l?
True
Let h = -94 + 98. Let i(a) = 4*a**2 - 11*a + 8. Let q be i(h). Suppose -q*n 