. Let i(f) = -2*f**3 - 4*f**2 + 19*f + 7. Does 43 divide i(q)?
False
Does 12 divide ((-18534)/(-30))/((-6)/120*-4)?
False
Suppose 20*v - 16*v - 560 = 0. Let r = v + -135. Suppose -2*l + 55 = -5*d, 5*d + 0 - r = -l. Does 2 divide l?
True
Suppose -4*m + 16 = -4*h, 3*m = 2*m - 5*h - 14. Suppose -5*d - m = -16. Suppose 0 = l - d, 3*a + 5*l - 204 = 2*l. Does 13 divide a?
True
Let f(x) = x**3 + 9*x**2 + 5*x + 12. Let o(n) = n**2 - 9*n - 18. Let z be o(10). Let y be f(z). Let i = 121 - y. Does 22 divide i?
False
Let j(p) = p**2 - 15*p - 93. Let x be j(20). Is 12 a factor of x/((-35)/10)*-122?
False
Let d(o) = 699*o - 375. Does 60 divide d(5)?
True
Let k be (-79)/(-5) + -5 + (-12)/15. Suppose 0 = -k*a - 5*a + 9585. Is a a multiple of 71?
True
Let j(f) = 16*f**2 + 64*f + 123. Let o(c) = 3*c**2 + 13*c + 25. Let z(p) = 2*j(p) - 11*o(p). Let q = 91 - 98. Is z(q) a multiple of 18?
False
Suppose 125 = -22*b + 3799. Suppose -2*n + k = -b, -2*n + 40 + 123 = -5*k. Is n a multiple of 28?
True
Let h be ((-8)/(8/3))/((-2)/2). Suppose h*m = p + 352, -p - 469 = -4*m - 0*p. Suppose -5*l + 2*s + 147 = -s, 0 = 4*l - 3*s - m. Is l a multiple of 27?
False
Suppose 0 = 2*n, 5*b + 3*n = 6*b. Suppose -d - r + 237 = b, -489 = -0*d - 2*d - 5*r. Is d a multiple of 58?
True
Let m be 10/(0 - -2) + (-4 - -5). Suppose -2*o - 5*v + 684 = 0, m*o - 4*o - 684 = 2*v. Does 38 divide o?
True
Let m = -66 + 873. Is m a multiple of 6?
False
Let s(n) be the third derivative of n**5/60 + n**4/12 + n**3/3 - 5*n**2. Let x be s(-3). Suppose h = -x*l + 81, -2*l + 162 = 2*h + 2*l. Does 13 divide h?
False
Let u = -969 + 1933. Let r = -516 + u. Does 32 divide r?
True
Suppose 3*l - 8 = -2*g, 17*l - 21*l + 3*g + 5 = 0. Is 14 a factor of 278 - (16/(-7) - l/(-7))?
True
Let h(y) = -2*y - 34. Let k = 11 - 29. Let u be h(k). Suppose 0 = -i - u*p + 72, -132 + 429 = 4*i + 5*p. Is 39 a factor of i?
True
Let n(x) = -x**2 + 54*x + 102. Suppose 5*j - 40 = 145. Is 97 a factor of n(j)?
False
Let d be (-2)/(2 - -8) + (-39)/5. Let y be 2/d + (-184)/32. Does 4 divide 3 - 52/(y - -2)?
True
Let s(i) = -12*i**2 - 2*i + 3. Let x(a) = a**2 - 1. Let j(d) = -s(d) - 2*x(d). Let u = 385 - 387. Does 7 divide j(u)?
True
Suppose 0 = 5*x - 10, -x - 1602 + 12276 = 8*i. Does 31 divide i?
False
Let i(v) = 111*v**2 + 3*v - 2. Let o = 3 - 1. Let x be 6 + -2 - (o + 1). Is 20 a factor of i(x)?
False
Suppose -5*r = x - 64, -5*r + 6 + 19 = 0. Suppose -x*z + 27*z + 2580 = 0. Does 15 divide z?
False
Suppose 0 = 3*h - 9 - 33. Suppose -20*r - 60 = -h*r. Is ((-8)/r)/(-2) + (-4122)/(-30) a multiple of 24?
False
Let l = -10202 + 27035. Is l a multiple of 14?
False
Does 42 divide (-315476)/21*((175/(-10))/7 - -1)?
False
Let r(o) = -54*o - 11 + 3 + 0 - 36 - 17*o. Is r(-8) a multiple of 13?
False
Suppose 0 = -16*v - 19*v + 215320. Does 22 divide v?
False
Let n = 57 + -61. Let z be 0/(0 - (3 + n)). Is 21 + 123 - (-3 - z) a multiple of 13?
False
Is 10 a factor of (-160)/(-880)*-126137*(-3)/3?
False
Suppose -5*f + 3*w = -3*f - 30, 3*w + 12 = 0. Suppose 0 = 4*r - r + 5*x - 567, 0 = 3*x - f. Does 46 divide r?
True
Suppose -8*c + 344 = 312. Suppose c*w - 28 - 43 = 5*x, -2*w + 34 = -4*x. Does 10 divide w?
False
Let k = 35 + -38. Let z be (-2)/(k + 1)*-1. Is (71 - 0) + z + (-10)/(-5) a multiple of 12?
True
Suppose 4*o - 300 = -4*q, q + 5*o + 43 = 134. Let f = q - 68. Suppose 3*v - 1 = -4, -3*v = f*z - 456. Does 51 divide z?
True
Let t(h) = 186*h + 72. Let d be t(10). Suppose 7*v + d = 10*v. Does 28 divide v?
True
Suppose 6*f = -11*f + 134482 + 25148. Is f a multiple of 23?
False
Let m be 1*-3 - (1 - 17). Let z be (-4 - -1)/(8682/362 - 24). Suppose -h + z = 3*p, -h = 8*p - m*p + 299. Is p a multiple of 5?
True
Let n(z) = -z**2 - 59*z - 588. Is n(-21) a multiple of 42?
True
Suppose 0 = 5*h + 12*h - 3196. Let m = h + -65. Does 41 divide m?
True
Let h(d) = 3*d**2 + 27. Let w = 101 - 111. Let m be h(w). Suppose 0 = -9*c + 528 + m. Is c a multiple of 15?
False
Suppose 6*g = 1542 - 324. Suppose 103 = -4*x - 381. Let n = g + x. Is n a multiple of 12?
False
Let d = -105 + 107. Suppose 23 = d*g - 131. Is g a multiple of 26?
False
Suppose 0 = -4*z + v - 114, 0 = 3*z - 4*v + 3*v + 86. Let c = z + 42. Is (24/c)/(4/28) a multiple of 7?
False
Suppose 1100 = -t + 3608. Suppose 8536 = -4*q - t. Is 25 a factor of q/(-22) - (-2)/(-4)?
True
Suppose 8*f = -3*p + 5*f + 501, 2*p - 5*f = 369. Suppose -3612 + p = -4*s. Is s/24 - 1/(-6) a multiple of 12?
True
Let a(g) = g**2 + 7*g**2 + 8*g**2 + 12*g + 30 - 13*g**2 + g**2. Is a(-14) a multiple of 17?
True
Let d(u) = -u**3 - 12*u**2 + 16*u - 8. Let j be d(-14). Suppose -6*k + 11*k = -j. Let f = k - -67. Does 14 divide f?
False
Let c be -1 - (-1 + -2 + 2). Suppose 0 = -u + 5*x - c*x - 45, 3*x = u + 55. Let b = 109 + u. Does 6 divide b?
False
Let z(m) = 2*m**2 - 33*m + 19. Let q be z(20). Suppose -2*h - 3*y + 536 - q = 0, 2*y = h - 178. Is h a multiple of 9?
False
Suppose 2*a - 3*r - 2712 = 0, 20*a - 5*r = 25*a - 6730. Is a a multiple of 25?
True
Let x = -139 - -275. Let d = x - 83. Let s = -39 + d. Is 7 a factor of s?
True
Suppose -k + 224 - 88 = 0. Is (k/(-20))/((-2)/85) a multiple of 17?
True
Suppose -7*a + 16779 = 3*h - 4*a, -25 = 5*a. Is 144 a factor of h?
False
Suppose 13*v + 27 - 1 = 0. Let n be 4/(-3)*3/v. Suppose -4*s = 6*t - 2*t - 48, 5*t + 24 = n*s. Is s even?
True
Let c(p) = p**2 - 18*p - 12. Let t be c(19). Does 45 divide ((-54)/(-8))/(t - (-11742)/(-1680))?
True
Suppose 0 = 5*v + 3*q - 2204, -5*q = -2 - 13. Let f = v + 176. Is f a multiple of 54?
False
Is 12 a factor of ((-597)/(-3) - 18)*(-1 - -34)?
False
Suppose -54*a + 55*a + 6 = 0, 2*a + 2711 = k. Does 4 divide k?
False
Is (-180)/(-9)*(-5 + (-3868)/(-20)) a multiple of 26?
False
Let f = -98 - -105. Let w(a) = 151*a - 21. Does 31 divide w(f)?
False
Let b = -114 + 118. Suppose -4*a + 0*a + 664 = b*q, -510 = -3*a + 3*q. Is a a multiple of 9?
False
Suppose -t + 71 = 67. Is (-72522)/(-171) - -4*t/(-152) a multiple of 8?
True
Let s be (1*-1)/((-21)/2 - -10). Is 55 a factor of ((-14850)/12)/(-9)*s?
True
Suppose 201*g = 228*g - 12636. Is g a multiple of 6?
True
Suppose -14*t - 80 = -206. Suppose 0 = -m - 4, -t + 32 = l + 3*m. Does 3 divide l?
False
Let n(g) = g**3 + 9*g**2 + 6*g - 13. Let z be n(-8). Suppose 0 = p - 5*p + 2*y + 102, z*p - 4*y = 74. Is p a multiple of 13?
True
Suppose -190 = -5*f + 4705. Suppose 0 = -14*l + 3*l + f. Does 20 divide l?
False
Let h = 12145 - 6394. Does 81 divide h?
True
Let f(j) = 2*j**2 - 4*j + 2. Let u be f(2). Let b be 1*u + -5*(-9)/15. Suppose 0 = b*g + 5*h - 520, -4*g - h = 4*h - 418. Is g a multiple of 17?
True
Let j(v) = 3*v**2 - 76*v + 93. Let p = 677 - 646. Does 24 divide j(p)?
False
Let u = 167 + -162. Is (430 - u/5)*(2 + -1) a multiple of 19?
False
Suppose -3*q + 468 = -4*p + 2*p, -2*q = -3*p - 312. Suppose -2*z - 134 = -q. Does 11 divide z?
True
Suppose 4*d + 2*l = -392, 92 = -d - 0*d + l. Let k = d - -93. Is 8 a factor of (k + 0 - -2) + 33?
True
Let c(s) = 22*s - 5. Let a be c(1). Let l be (-1 - (-15)/a) + (-30)/(-255). Suppose -4*g + 2*g + 90 = l. Is 5 a factor of g?
True
Let l(w) = w**3 - 13*w**2 + 11*w + 16. Let q be l(12). Let o be (-729)/q + 10/8. Let y = o + 357. Is y a multiple of 44?
True
Is 22 a factor of 7709948/589 - (-6)/57?
True
Let z = 228 - 136. Suppose -o + z = -3*g + 20, 5*o = g + 388. Is 39 a factor of o?
True
Suppose 3*n - 2*n = -3. Let v be -4*(-6)/(-8)*83/n. Suppose -17 = 2*i - v. Is 22 a factor of i?
False
Let x(h) = -5*h - 7. Let b be x(-3). Let s(c) = c**3 - 8*c**2 - 12. Let w be s(b). Let t = w + 91. Does 36 divide t?
False
Let w = 2491 - -1200. Is w a multiple of 81?
False
Suppose 7*z = -3*z - 4080. Let j = z - -605. Is 19 a factor of j?
False
Suppose -4*h - 2 = -14, 5*h = -u + 15. Suppose -k + 1 = -u*k, -2*x + 5*k + 411 = 0. Is x a multiple of 8?
True
Let g = 22102 + -10661. Is g a multiple of 68?
False
Is ((-1518)/154)/23 - 220226/(-14) a multiple of 27?
False
Suppose 297 = 5*d - 893. Suppose -6*m + 1120 = d. Suppose 5*s + 47 = m. Is s a multiple of 4?
True
Suppose 0 = 23*q - 28*q - 760. Let w = -97 - q. Does 4 divide w?
False
Suppose 36 - 33 = -3*a. Does 8 divide 204*a/((-21)/14)?
True
Suppose -3*m - m - v + 19664 = 0, 5*m - 24581 = -v. Is 11 a factor of m?
True
Let s = 294 + -294. Suppose s = 159*i 