- 16 = g. Suppose -3*b - d = -4*d - 54, 4*d = -x. Is 7 a factor of b?
False
Let q(c) = 60*c - 1 - 75 + 517. Does 21 divide q(21)?
True
Suppose 3*h = -4*m + 16991, 5*h = -3*m + 7293 + 21007. Is h a multiple of 41?
False
Let o(h) = -8193*h - 2383. Does 37 divide o(-2)?
False
Let b be 92*171/54 + (-4)/(-6). Suppose k + 480 = 3*q, 3*q - b - 188 = -3*k. Is 3 a factor of q?
False
Suppose 0 = -22*y + 22115 + 6705. Suppose 0 = -7*r - 134 + y. Does 28 divide r?
True
Is (12882/76)/((-2)/(-32)) a multiple of 6?
True
Let k(w) = 80 - 35 - 51 - 54*w - 47. Is 18 a factor of k(-2)?
False
Suppose -3*p - 12 = -3*z - 5*p, 0 = -4*p. Suppose -3*a - 642 = -z*t + 390, -5*a = 0. Is t a multiple of 7?
False
Suppose 2*b + 16*d = 20*d - 876, -3*b = d + 1321. Let i = b + 528. Does 12 divide i?
False
Suppose c + 7800 = 68*c - 7*c. Does 9 divide c?
False
Let n(a) = a**2 + 4*a + 4. Let f be n(0). Let w(g) = 5*g - 12. Let q be w(f). Let s = q - -22. Is s a multiple of 5?
True
Suppose 4*r - 31 - 7 = -5*j, -5*r + 52 = 4*j. Suppose 0 = -f + 5, r*c - f - 1015 = 9*c. Does 10 divide c?
True
Let y = 78 - 284. Let f = 339 + y. Does 6 divide f?
False
Let d = 2 + -12. Does 9 divide -2 + 1527/15 - 2/d?
False
Suppose -8*w + 61368 = -7440. Is w a multiple of 15?
False
Let j be (-1 + 6)*((-32)/10 + 4). Let a be (2/1 + (j - 17))*1. Let q(z) = -z**2 - 16*z - 31. Is 6 a factor of q(a)?
True
Let f(p) be the first derivative of -4*p**2 + 77*p - 23. Is f(-34) a multiple of 26?
False
Let y(w) = 2*w**3 + w + 17. Let h be y(5). Let u = -163 + h. Is (-12)/(-18) + u/3 a multiple of 4?
False
Suppose -228*x - 2822645 = -263*x. Is 36 a factor of x?
False
Let q(p) be the second derivative of -7/6*p**3 + 0 + 5/12*p**4 + 14*p - 6*p**2. Is 12 a factor of q(-4)?
True
Let q be ((-6)/4)/((-3)/92). Suppose q*l = -5*l + 1071. Does 2 divide l?
False
Let z(q) = q**3 - 12*q**2 + 2*q - 1. Let v be z(12). Let r be ((-18)/(-15))/(v/20 + -1). Suppose 0 = r*f - 4*f - 60. Is 4 a factor of f?
False
Let o be ((-4)/8)/(-2 - (-15)/8). Suppose 82 = 3*f + 4*q, -f + 0*f - o*q = -14. Let a = 58 - f. Does 3 divide a?
True
Suppose -16*y - 6 + 54 = 0. Suppose -2*j = 3*m + 3*j - 104, -108 = -y*m - 3*j. Does 2 divide (1 - m/8)*16/(-4)?
False
Suppose -n + 2 - 60 = 0. Does 10 divide ((-46)/(-4))/((-29)/n)?
False
Suppose 49*h + 17*h - 654156 = 12*h. Is h a multiple of 6?
True
Suppose -5*y + 74 = 4*d, -3*d - 115 = -3*y - 49. Let i(r) = r**2 - 7*r - 140. Does 29 divide i(y)?
True
Let j(q) = 5*q**2 + 9*q + 70. Let w be 1/(4*(-3)/156). Does 42 divide j(w)?
True
Suppose -2*q = 2*o - 52562, -87*o + 85*o + 3*q + 52522 = 0. Is o a multiple of 43?
True
Suppose -816 = -64*l + 63*l. Does 34 divide (140/210)/(1/l)?
True
Let m be ((570/25)/(-2))/((-1)/10). Suppose 10 = m*u - 115*u. Let c(t) = t**2 + 4*t + 5. Is c(u) a multiple of 13?
True
Does 43 divide (50*4)/((-2)/(-43))?
True
Suppose 4*y - 73300 = m, -10509 = y + 12*m - 28834. Is 9 a factor of y?
False
Suppose 38*o + 10383 - 2707 = 0. Let x = o - -209. Is 7 a factor of x?
True
Let s be (-4 - -6) + -4 + 1. Let f be (-51)/(-3) + 2 + s. Is 3/(-2)*(10200/f)/(-5) a multiple of 34?
True
Let g = 1225 - -382. Is 53 a factor of g?
False
Let c(f) = 427*f + 302. Is 4 a factor of c(8)?
False
Let x be (-35502)/36 + 25/(-30). Let q = x + 1659. Does 14 divide q?
True
Let y(h) = 95*h + 4232. Does 3 divide y(18)?
False
Let k = -16616 + 32403. Is k a multiple of 5?
False
Does 11 divide 40/(-16)*5945/5*(1 + -3)?
False
Let h be -86 - -1 - (-105)/21. Is (-30)/h + (-357)/(-8) a multiple of 11?
False
Let i = 6867 - -5771. Is i a multiple of 14?
False
Let s(b) = 12*b + 8. Let w be s(-1). Let h = 20 + w. Suppose -13*c + h*c = 33. Is c a multiple of 11?
True
Let h(p) = -p**3 + 46*p**2 - 96*p - 518. Is h(29) a multiple of 15?
True
Let g(h) = 17*h + 10. Let m(v) = 28*v + 21. Let x(a) = -5*g(a) + 3*m(a). Suppose 4*c + 0*c = 24. Is x(c) a multiple of 2?
False
Let c(i) = -i - 1. Let u(s) = -38*s + 91. Let h(t) = 5*c(t) - u(t). Is h(6) a multiple of 3?
True
Let i(r) = 4*r**2 + 34*r + 105. Does 23 divide i(-10)?
False
Suppose 17*c - 51*c + 56845 = -38763. Is 148 a factor of c?
True
Let a(c) = -c**2 + 20*c - 93. Let g be a(8). Suppose g*n = 5*i + 4*n - 1465, -3*n = -i + 293. Is 21 a factor of i?
False
Suppose -2*l = -34 + 14. Suppose 6 = -l*y + 11*y. Suppose -2*z + y*z = 852. Does 42 divide z?
False
Suppose 9*r - 12853 + 10396 = 0. Does 13 divide r?
True
Suppose 7*u = -5*u. Suppose 7*c + 30 - 3334 = u. Suppose -5*s = -23 - c. Is 11 a factor of s?
True
Is (-58)/87*66729/(-26) a multiple of 3?
False
Suppose -8 = 9*q - 35. Let t be 52/(-16) + q + (-2)/(-8). Does 15 divide 2 - (-1 - (t + 3 - -89))?
False
Suppose i + i = -170. Let n(h) = 3*h**2 + 14*h + 5. Let w be n(0). Is 2 a factor of i/(-15) + w/(-3)?
True
Let r(s) = 670*s**2 + 2*s - 6. Is 9 a factor of r(4)?
False
Suppose -105 + 85 = 10*k. Is (-437)/k - (-93)/62 a multiple of 20?
True
Suppose -2*n + 5*r + 28 = 0, -n - 4 = 3*r - r. Suppose n*j - 3*a - a - 24 = 0, -3 = -3*a. Suppose -j*y + 213 = -2*y + h, 0 = -y + 4*h + 30. Does 6 divide y?
True
Suppose 4*w = w + f + 15, -10 = -2*w - 4*f. Suppose 0 = -3*o + 2*q + 2746, 2*q = -w*o + 6*q + 4574. Does 102 divide o?
True
Let r(y) = y**3 - 5*y**2 + 6*y + 2. Let o be r(5). Suppose -29*p = -o*p - 3. Is 6 a factor of (p*(-5 + 6))/((-1)/63)?
False
Let z(l) = l + 1. Let c(p) = -75*p - 32. Let r(j) = c(j) + 4*z(j). Is 31 a factor of r(-14)?
False
Let j = -63 + 78. Suppose -40 = 5*v - j*v. Suppose -5*o + 130 = v*m, 3*o = -3*m + 21 + 54. Does 4 divide o?
False
Let t be ((-5)/20)/((-2)/72). Let a(z) = -z**2 + 8*z + 12. Let j be a(t). Suppose j*i + n - 181 = 0, -2*i - 3*n - 2*n + 99 = 0. Does 32 divide i?
False
Let o(k) = -4*k + 1. Let g = -28 - -29. Let m(f) = -f. Let s(i) = g*o(i) - 5*m(i). Is s(1) even?
True
Suppose 0 = -5*v - 18*v + 27876. Suppose v = 7*n - 629. Is 7 a factor of n?
False
Suppose -2*k + 24 = -3*x - 5*k, 4 = -2*x - 5*k. Let j be 15*136/x + (-1 - -2). Let m = j + 337. Is 14 a factor of m?
True
Let b(h) = h**2 + 13*h + 14. Let z be b(-12). Suppose 4 = z*n - 88. Is 7 a factor of n - (-2)/10*-5?
False
Suppose 7*v - 20 + 62 = 0. Let x(i) = -i**2 - 7*i - 4. Let q be x(v). Is (4 - (-36 - q))/2 a multiple of 7?
True
Suppose 10*m - 5*m = 3*c + 72, -3*m - 5*c = -16. Suppose 0*k + 33 = 4*a - 3*k, -m = -a + 2*k. Is -2 + 53 + (4 - a) a multiple of 7?
True
Suppose -i - 4 + 4 = 0. Suppose -3*v - y + 216 = 0, -5*v - y + 70 + 288 = i. Suppose 26*b - 25*b = v. Is b a multiple of 16?
False
Suppose -298*y + 305*y = 39627. Suppose -13*x = -4*x - y. Is x a multiple of 17?
True
Suppose 5*h = 4*c - 10609, -5*c + 5*h = -0*c - 13255. Is c a multiple of 18?
True
Let o(h) = 431*h**2 + 57*h - 344. Does 57 divide o(5)?
True
Let o(n) = -n**3 + 43*n**2 - 70*n + 169. Is 16 a factor of o(41)?
False
Suppose r + 13 = 18. Suppose 15 = -5*l - s, -r*l - 8 - 17 = 3*s. Does 22 divide ((-5)/(-3))/(l/156*-2)?
False
Let x(g) = -118*g - 245. Let u be ((-4)/6)/(32/240). Is x(u) a multiple of 15?
True
Suppose -42*q + 39647 = 3*p - 41*q, 3*q = -2*p + 26415. Is p a multiple of 14?
False
Let k(i) = -54*i**2 - 4*i + 4. Let s be k(-4). Let m be (0 + 3)/((-6)/4) - s. Suppose 3*u - 526 = n + 3*n, -m = -5*u - 2*n. Is u a multiple of 34?
True
Let h(b) = 34*b - 1229. Does 12 divide h(73)?
False
Let y = -12863 - -21298. Does 7 divide y?
True
Let m be -2 + ((-6)/(-4))/(24/4064). Let o = m + -178. Suppose -z - 56 = -o. Is z a multiple of 18?
True
Let g(i) = 396*i**2 + 2*i - 3. Let m be g(1). Let d = m - 264. Is 6 a factor of d?
False
Let d be (-1)/(-2) - (-1 + (-15)/10). Suppose 869 = -31*s + 32*s - 5*c, 0 = -d*s - 4*c + 2664. Does 12 divide s?
False
Let q(b) = -b**2 + 131*b**3 - 5*b - 132*b**3 - 5*b - 24. Is q(-5) a multiple of 21?
True
Let q = 55331 - 27131. Does 47 divide q?
True
Let v(x) = 4*x**2 + 65 + x**2 - 4*x**2 + 78*x + 2*x**2 - 5*x**2. Is v(38) a multiple of 4?
False
Let x be 5 - 4 - -4*22. Let v(b) = b**3 + b**2 + 2*b + 80. Let j be v(0). Suppose -c + x = -n, -c + j = n + n. Does 25 divide c?
False
Let a(b) = -1175*b**3 + b**2 - 13*b + 2. Let y(m) = -588*m**3 + m**2 - 7*m + 1. Let d(h) = 4*a(h) - 7*y(h). Is 45 a factor of d(-1)?
True
Let a(r) = 770*r - 7182. Is 105 a factor of a(56)?
False
Let o be (-13 + 14)*(8 + -1). Let t(u) = 2*u + 22 + 0*u - 3*u. Is t(o) a multipl