 3*l + 3. Let v(r) = g*u(r) + 5*d(r). Does 15 divide v(-11)?
True
Does 18 divide (-5)/(219/(-54) + 2 - -2)?
True
Is 57 a factor of (-16 + 1)/((-8)/1168)?
False
Suppose -f + 96311 = 36*f. Is f a multiple of 73?
False
Is 697 - (-1 - 3 - -5) a multiple of 12?
True
Let i(v) = 9*v**3 - 4*v**2 + 3*v - 1. Let h(t) = -t**2 + 7*t - 3. Let w be h(6). Suppose 4*l - 2*d = -6*d - 8, 0 = w*d + 12. Is 22 a factor of i(l)?
False
Suppose 0*b - 2*b = 16. Let t(c) = -c**3 + 9*c**2 - 12*c + 3. Let l(x) = -4*x**3 + 28*x**2 - 36*x + 11. Let p(w) = -2*l(w) + 7*t(w). Does 10 divide p(b)?
False
Let k(b) = b**2 + b - 6. Does 4 divide k(6)?
True
Let j be (98/147)/((-2)/6). Let q(r) = -15*r - 30*r - 18*r. Is q(j) a multiple of 32?
False
Let t be -1 + 0 + -6 + 1. Let f(q) = -7*q**2 + 7*q - 11. Let m(v) = -4*v**2 + 3*v - 6. Let n(g) = 6*f(g) - 11*m(g). Is n(t) a multiple of 18?
True
Let n = 2109 + -784. Does 53 divide n?
True
Suppose 4*f - o + 10 = 5*f, 5 = -2*f + 3*o. Does 4 divide f?
False
Let h be (4 - (-255)/(-20))/(1/(-168)). Suppose 4*v - 4*x = -v + h, -5*x = 0. Is 15 a factor of v?
False
Suppose -27 + 211 = 4*l. Suppose 165 = l*g - 41*g. Does 9 divide g?
False
Suppose -70*z + 781 + 1039 = 0. Does 13 divide z?
True
Suppose 5*l - 43 = 2*r, -2*r + 38 + 0 = 4*l. Let p be (3/l)/(7/63). Suppose s - 240 = -p*s. Is 15 a factor of s?
True
Suppose -2*w + 2*b = 48, -w + 0*w - 36 = 2*b. Let f be 2 - (-7)/(28/264). Let a = f + w. Is 10 a factor of a?
True
Let q = -21 - -24. Let g be 12 - 2*3/q. Is 5 a factor of 9 - 0 - (-6 + g)?
True
Is 12 a factor of (-10)/8 + (-18450)/(-72)?
False
Let h(p) = -19*p - 27. Is 13 a factor of h(-24)?
True
Suppose -294 = -4*w + 6*w. Let f = -80 - w. Does 34 divide f?
False
Suppose 3*x + 58 = s, -4*s + 2*x - 23 + 245 = 0. Is s a multiple of 2?
False
Let g be (-11)/4 + 1/(-4). Let w be (-716)/g*(-3)/(-2). Is 13 a factor of w/6 + (-4)/6?
False
Suppose -2*w = -i - 2*i + 241, 0 = -2*i + 3*w + 154. Suppose 7*y = -27 + i. Is y even?
True
Suppose 0*r - 4*r = -240. Suppose -2*d + r = d. Let f = 63 - d. Does 11 divide f?
False
Is (-1820)/(-325)*(-5)/(-2) a multiple of 4?
False
Let a = 837 - 593. Does 13 divide (78/8)/(4 + a/(-64))?
True
Suppose -4*l + 0*y + 47 = y, -23 = -2*l - y. Let p be (-20)/(-12)*l/10. Suppose 5*h + 4*g = 417, -p*g = -7*g - 10. Is h a multiple of 17?
True
Suppose -9*r + 51450 = 26*r. Is r a multiple of 70?
True
Let v(l) = 5*l**3 - 13*l**2 + 27*l - 107. Is 58 a factor of v(7)?
True
Let v(a) = -a**2 + 10*a - 19. Let q be v(9). Let m(j) = -j**2 - 11*j + 3. Does 13 divide m(q)?
True
Suppose 1248*w + 7475 = 1253*w. Is 13 a factor of w?
True
Let b = 21 - 21. Suppose b*w + 326 = 2*w. Is w a multiple of 14?
False
Let z = 120 + 293. Does 59 divide z?
True
Let h = 192 - 121. Suppose -h = -12*d - 11. Does 5 divide d?
True
Let b(p) = p**2 + p + 1. Let w(a) = -5*a**2 + 3*a + 1. Let j(k) = 4*b(k) + w(k). Let d be j(7). Suppose 0 = 2*v + l - d - 7, -3*v + 3*l = -9. Does 3 divide v?
False
Suppose 206 = 4*y - h - 340, 3*y + 4*h = 400. Is 6 a factor of y?
False
Suppose -7*y + 6*y + 15 = 0. Let q(i) = i**3 - 16*i**2 + 17*i + 2. Is 6 a factor of q(y)?
False
Let i be 8 - 1 - 2 - 1. Suppose 3*s + 5*j = 365, -719 = -5*s + 5*j - 44. Suppose s = 4*q - m, 3*q + 11 = i*m + 102. Is q a multiple of 11?
True
Let c = 194 + 11. Is c a multiple of 9?
False
Let x be ((-3)/(-12))/(-1) - (-7492)/16. Suppose -2*w - 1172 = -4*t - x, -w = 4*t - 692. Is t a multiple of 29?
True
Let o(q) = 64*q**3 + 2*q**2. Let y be (5 - (7 + -1))*-1. Does 20 divide o(y)?
False
Suppose 0 = -4*g - m - 33, 0 = 4*g - 0*m - 3*m + 45. Let a be -1 - -3 - (g + 0). Let h = 24 - a. Is h a multiple of 2?
False
Let r be 0 + 0 + (6 - -1). Let l = 37 + -27. Let m = l - r. Is m even?
False
Does 10 divide 18/15*(-4 + (-372)/(-18))?
True
Let q(h) = 2*h**2 - 3*h. Let b be q(3). Let j = b + -5. Suppose -n - 3*d = -j*n + 150, 2*n + 2*d - 88 = 0. Is 16 a factor of n?
False
Let g = 5 - 2. Let h be (23/((-230)/(-84)))/(2/55). Suppose 0 = 3*b - g*v + 5*v - 121, -4*v = -5*b + h. Is 30 a factor of b?
False
Let f(x) = 242*x + 33. Is f(1) a multiple of 55?
True
Let d = 567 - 252. Is 36 a factor of d?
False
Suppose -2*v + 2*j - 4*j + 40 = 0, 0 = -3*v + 3*j + 36. Let c be v/6 - (-3)/9. Suppose c = -2*q + 7, 2*y + q = 18. Does 8 divide y?
True
Let x(s) = s**3 + 4*s**2 - 4*s + 5. Suppose -y = 5*o + 5, -2*o - 7 = -2*y + 7. Let v(k) = -k**2. Let c be v(o). Is x(c) a multiple of 5?
False
Let a(g) = 45*g + 311. Is 31 a factor of a(10)?
False
Let d(y) = 83*y**3 - 5*y**2 + 6*y + 6. Is 7 a factor of d(2)?
False
Suppose 4*f - 30 = 690. Let a(y) = -y**3 + 18*y**2 - 2*y + 38. Let t be a(18). Suppose f = t*u + 3*u. Is u a multiple of 12?
True
Let i = 130 - 91. Let b(n) = n**3 + 3*n**2 - 2*n - 1. Let d be b(-3). Suppose d*t - 16 = i. Is 11 a factor of t?
True
Let p(b) = -4*b - 3*b**2 + 5 - b + 0*b**2 + b**2. Let u be p(-5). Let x = u + 128. Is x a multiple of 21?
False
Is 15 a factor of (-1)/(30/12) + (-7191)/(-15)?
False
Let v = 2362 - 407. Is 4 a factor of v?
False
Let r be (6/(-4))/(5/(-20)*1). Let g be (-1)/(1/(2 + -5)). Suppose -g - r = -k. Is k a multiple of 3?
True
Let d(t) = 2*t + 27. Let n be d(-12). Suppose 703 = 5*s + r, -3*s = 5*r - n*r - 426. Is 14 a factor of s?
True
Let y be 5352/33 - 4/22. Suppose 6*f = 3*f + y. Suppose 5*z - 644 = -3*s - f, -2*s - 252 = -2*z. Is 25 a factor of z?
False
Let x(q) = -q**3 - 5*q**2 - 4*q - 3. Let j = 8 - -23. Let a = -36 + j. Is 14 a factor of x(a)?
False
Suppose -4*f = 3*y - 980, -f - 2*f + 15 = 0. Is y a multiple of 64?
True
Suppose 5*q + 8 = -t, -t - 2 = -q - 6. Is 2/(-2)*5*20/q a multiple of 11?
False
Let b = 351 + -218. Is 3 a factor of b?
False
Suppose -4*v + 1084 = -5*n, -320 = -3*v - n + 493. Is 38 a factor of v?
False
Suppose -3*r - 8 = 2*b, b = r - 3 - 1. Suppose f - 5 - 3 = r. Does 13 divide (7 - f) + 40/1?
True
Suppose -9*s - 1076 = -5261. Is 15 a factor of s?
True
Let y be 3/(1/(-42)*-3). Let n be (192/(-56))/((-4)/y). Is 3 a factor of (n/(-10))/(8/(-20))?
True
Let u(n) = n**3 + 5*n**2 + 4*n - 2. Let p be u(-4). Let l be (-3 - p)/(-2)*278. Suppose -3*k + 14 = -l. Does 26 divide k?
False
Let m(b) = -b**3 - 22*b**2 - 24*b + 61. Let s be m(-21). Let r = 215 - s. Does 13 divide r?
True
Let o(m) = 2*m**2 + 8*m + 5. Let t be o(-4). Let b(s) = -3*s + s**2 + 8 - 5 + 2 + t. Is b(5) a multiple of 5?
True
Suppose 4*v - 18*v = -7532. Does 18 divide v?
False
Let c = 2387 + -1867. Does 8 divide c?
True
Suppose -3*n + 1966 = -3917. Is n a multiple of 37?
True
Let t = -1374 - -2067. Does 11 divide t?
True
Let v be ((-8)/10)/(6/(-15)). Let i(b) = -12*b + 4 - v + 8*b - 3. Is i(-8) a multiple of 11?
False
Suppose 0 = 4*q + 4*q - 6384. Does 57 divide q?
True
Suppose 0 = 10*x - 1456 - 54. Is 41 a factor of x?
False
Let s(o) = -o**3 + o**2 - 32. Let z be s(0). Let r be 8/z + (-53)/(-4). Let g = r - 2. Does 11 divide g?
True
Let b(q) = 159*q**2 - 12*q + 5. Let s be b(-9). Is 16 a factor of 0 + (-2)/5 + s/80?
False
Suppose 14 = 4*h + 6. Let o(j) = j**3 - 4*j + 3. Let c be o(h). Suppose 74 = c*b - 67. Is 9 a factor of b?
False
Let j be (362/28 - (-15)/(-35))*-8. Let s = -88 - j. Is s a multiple of 4?
True
Is (-1 - -6)/(-5)*(-138 + -5) a multiple of 11?
True
Suppose 2*q + 4*k = 6 - 0, 0 = 3*q - 3*k - 9. Suppose -4*v - 3*s = -3*v + 9, -q*v = 5*s + 19. Does 7 divide (v/(-6))/(2/84)?
True
Is 69/253 - 23949/(-33) a multiple of 24?
False
Let n = 81 - 51. Suppose -3*m - 4*f = -n, -4*f - 40 = -3*m + m. Does 14 divide m?
True
Let t = 4018 + -2848. Is 18 a factor of t?
True
Let h = -1563 - -2895. Suppose -7*c + h = -432. Does 28 divide c?
True
Is (22 - 3/((-15)/20))*4 a multiple of 52?
True
Suppose -4*u - 166 - 98 = 0. Let q = u - -150. Is 21 a factor of q?
True
Let j(h) = -h**3 - 3*h**2 - 12*h + 9. Does 9 divide j(-7)?
False
Let s(l) = -9*l**2 + 18 - 8*l + 12*l**2 + 11*l**2 - 6*l + l**3. Let c be s(-15). Suppose -28 = -c*h + 2*h. Does 12 divide h?
False
Suppose -17*u = -2695 - 3884. Is u a multiple of 3?
True
Let y(o) = -o**3 + 13*o**2 + 9*o - 6. Let k(d) = -2*d - 6. Let r be k(-10). Let x be y(r). Let i = -44 - x. Does 16 divide i?
True
Suppose -792 = -22*a + 16*a. Is 8 a factor of a?
False
Let q(v) = -5*v + 121. Is q(16) a multiple of 2?
False
Suppose -4*p - 4*p + 1128 = 0. Suppose -5*n = -4*c - p, 5*n -