pose -8*j = -20*j + 24. Does 34 divide j/9 + (-1168)/(-9)?
False
Let s be -1 - (2 + -4 - 4). Suppose 2*p = 6, -s*y - 4*p = 5 - 127. Suppose 1 - y = -3*f. Is f a multiple of 7?
True
Let g be (-55)/(-2) - (-2)/4*-1. Let u = g + 4. Does 3 divide u?
False
Let y(s) = -9*s**2 - 13*s + 2 - 3*s**3 - 13*s + 2*s**3 - 5*s**2. Is 26 a factor of y(-12)?
True
Let a(h) = h**2 + 13*h - 62. Is 56 a factor of a(-30)?
True
Is ((-370)/(-222))/(2/936) a multiple of 65?
True
Let l(k) = -17*k - 3 + k**2 - 20*k + 32*k. Is l(8) a multiple of 7?
True
Let p(h) = -h**2 - 7*h - 5. Let c be 22/(-99) - (-86)/(-18). Let n be p(c). Is ((-4)/(-4) - 0) + n even?
True
Let f = 254 - 149. Does 2 divide f?
False
Let u(y) = -y**2 - 13*y + 2. Let n be u(-14). Let w be (n + 3)*(0 - 8). Suppose 25*q - 21*q = w. Is 3 a factor of q?
True
Let l(m) = m**2. Suppose 0 = 4*q - 2 - 2. Let z(w) = -w**2 + 8. Let g(i) = q*z(i) + 2*l(i). Does 19 divide g(7)?
True
Let v = -360 + 1063. Does 18 divide v?
False
Suppose 2*o = -3*g - 30, -3 - 37 = 4*g - 4*o. Let l(q) = -q**2 - 21*q - 20. Is l(g) a multiple of 18?
True
Suppose 3*g = 3*h + 66, -36 = 2*h - 4*g + 10. Suppose 0 = -f - f - 32. Let z = f - h. Is 5 a factor of z?
True
Let v = 16 + -14. Let w be (3/2)/((-18)/(-48)). Suppose -v*i + 23 = 5*n, -w*i = i - 3*n - 73. Does 13 divide i?
False
Let y(d) = -d**2 + 7*d + 2. Let c be y(7). Suppose c*s + 4 + 148 = 2*w, -5*s = 4*w + 380. Let l = s - -120. Is l a multiple of 11?
True
Suppose -2*m - 3*m + 100 = -5*s, -3*s - m = 60. Let a = s + 40. Does 11 divide a?
False
Suppose 178 = -d + 194. Is d a multiple of 16?
True
Is 11517/9 + (-18)/27 + 1 a multiple of 10?
True
Suppose -12*s = -2*c - 11*s + 1978, 3*c - 5*s - 2960 = 0. Is c a multiple of 45?
True
Let h(t) = -t + 1. Let m be (4 - (3 + -2)) + -1. Let r be h(m). Is (r + 26)/(4/8) a multiple of 28?
False
Suppose -3*l - 244 - 628 = -4*w, -4*w = 4*l - 844. Is 56 a factor of w?
False
Let k(b) = 2*b + 3*b + 7*b**2 - 5*b**2 - b**2. Let z be k(-3). Let n = 24 - z. Does 10 divide n?
True
Let y(g) = g**3 + 14*g**2 - g + 8. Let o be y(-14). Suppose 5*h = -4 - 1, -5*k + o = -2*h. Suppose 7*b - k*b = 306. Is b a multiple of 23?
False
Let y(r) = r**2 - 8*r + 4. Let q be y(8). Suppose -3*t + 552 = n + 2*n, -q*n = 2*t - 370. Is 37 a factor of t?
False
Let s = 28 + 53. Suppose 0 = -3*d + s + 63. Does 6 divide d?
True
Suppose 3*p + 14 = -5*k, -3*p + 4*k - 2*k + 14 = 0. Suppose -5*z = p*z - 420. Is z a multiple of 15?
True
Let a = -623 - -751. Is a a multiple of 32?
True
Let s(m) = 104*m - 147. Is 15 a factor of s(7)?
False
Let a(m) = -23*m + 5. Let o be a(1). Is 7 a factor of o/(-27)*(-381)/(-2)?
False
Suppose x = 58 - 56. Suppose -5*j + 527 = x*p, -2*p + 3*p = -4*j + 424. Does 9 divide j?
False
Suppose -3*y = 1 - 10. Suppose -h - y = -16. Is 4 a factor of h?
False
Let g(l) = l + 21. Let b be g(-24). Is (-58)/(4/(-4)) - (b + 3) a multiple of 3?
False
Suppose 0 = -2*s - 2*d + 4, 2*d = -3*s - s + 18. Does 16 divide 42 - s - 3/1?
True
Let c be 4/22 + 140/(-44). Let a be ((c - -3)/2)/4. Suppose a = o + 7 - 31. Is 24 a factor of o?
True
Does 74 divide (24552/9)/(3 + -1)?
False
Let y(n) = -5*n**2 + 10*n**2 + 5*n**2 - 105*n + 107*n. Is 34 a factor of y(3)?
False
Let l(f) = -f**2 + 5*f + 6. Let q be l(6). Let i be q - (-3 + 3)/4. Suppose 4*r = -3*u + 24 + 157, 3*r - u - 139 = i. Is 28 a factor of r?
False
Let d = 3 + -1. Let g(u) = 5*u**3 - 2*u**2 + 7*u - 6. Let f(h) = -2*h + 1. Let m(y) = 4*f(y) + g(y). Is 14 a factor of m(d)?
True
Let s(u) = u**2 + 3*u - 2. Let a be (-30)/5 + (-1)/(-1). Let o be s(a). Suppose -7*z = -o*z + 57. Does 27 divide z?
False
Suppose 3*h = 4*h. Is 10 a factor of (h - -38) + (-10)/(-10)?
False
Let i be 6/(-4)*(-1070)/15. Let q = i - -22. Let t = q - 69. Is 15 a factor of t?
True
Let b be (-4)/2 - -12 - -1. Let m be (-26*3/(-3) + -4)/1. Let j = m - b. Is 3 a factor of j?
False
Suppose 22*s = 40*s - 35712. Does 8 divide s?
True
Let p = -113 + 199. Let a = p + -69. Is 5 a factor of a?
False
Let l(i) = i**3 + 17*i**2 - 29*i - 56. Is 58 a factor of l(-18)?
False
Let c(n) = 3*n**2 - 18*n + 13. Let h be c(12). Let l = h - 154. Is 15 a factor of l?
True
Suppose 0 = 2*b - 63 - 45. Suppose 0*l - l + b = 0. Is l a multiple of 5?
False
Let b = -21 + 41. Let y = 67 - b. Does 22 divide y?
False
Suppose -2*h + h = 40. Let u = h - -66. Is u a multiple of 16?
False
Suppose -2*t + 3*l = 2*t - 460, 4*t + 3*l - 436 = 0. Is t a multiple of 4?
True
Is 46 a factor of 10*(65 - (1 - -2)) + 3?
False
Let o = -267 - -612. Suppose -o = 17*f - 20*f. Is f a multiple of 14?
False
Suppose -9*x - 5 = 4. Is 47 a factor of (-14 + -268)*(-2 - x)?
True
Is 25*-4*(-10)/((-280)/(-21)) a multiple of 15?
True
Is 23 a factor of 46/1*(-5 - 22/(-4))?
True
Let t(a) = a**3 - 7*a**2 + 2*a - 5. Let z be -28*(12/16 - 1). Is t(z) a multiple of 9?
True
Let s be -1*114 - (2 - 0). Let n = s + 221. Does 15 divide n?
True
Suppose 92*u - 96*u + 7812 = 0. Does 63 divide u?
True
Suppose 2*b - 3*b + 5*x = -163, -4*b - 4*x = -532. Let c = b + 76. Let d = c - 136. Is 17 a factor of d?
False
Let i(n) = -n**3 + 7*n**2 + 3*n - 2. Suppose -45 + 5 = -5*t. Let y be i(t). Let o = 83 + y. Is 19 a factor of o?
False
Let j = -1840 - -2009. Is 16 a factor of j?
False
Let x(s) = -24*s - 144. Does 12 divide x(-11)?
True
Let n(u) be the second derivative of -u**4/12 - 19*u**3/6 + 13*u**2 + 5*u. Let r(s) = s**2 - 19. Let b be r(0). Is 8 a factor of n(b)?
False
Suppose 5*b = -4*s - 48, 0 = 4*s + 3*b + 40 - 0. Does 14 divide s*10*(4 + -5)?
True
Suppose 0 = 5*x + 2 + 23. Let d = 9 + x. Suppose 2*t - 113 = 3*u, 3*t = d*u + 228 - 58. Is 29 a factor of t?
True
Suppose -4*t = 2*v + 42, -5*v - 2*t = -5*t + 40. Let p = v - -26. Does 7 divide p?
False
Let j = -42 - -75. Let i(h) = h - 22 - 16 + j. Is i(10) a multiple of 3?
False
Let n = -91 - -176. Let i(u) = u**2 + 16*u + 15. Let d be i(-10). Let p = n + d. Is 10 a factor of p?
True
Let s = -61 + 76. Let p = 38 - s. Is p a multiple of 17?
False
Let h(a) = 6*a - 8. Suppose 5*y = 25, 5*b + y = 22 + 28. Is 9 a factor of h(b)?
False
Suppose -4*z - 15 = 1. Let p = -1 + z. Let x(i) = -6*i + 12. Does 14 divide x(p)?
True
Suppose -4*p - 5*z = -4*z - 13, 5*z - 1 = -4*p. Suppose -3*t - 2*t + p*b + 292 = 0, 97 = 2*t + 5*b. Does 14 divide t?
True
Let t(b) = 3*b**2 - 12*b + 14. Let w be t(8). Suppose -2*x + 4*x = w. Does 27 divide x?
False
Suppose -3*v + 8 + 964 = 0. Is v a multiple of 50?
False
Let w(c) = -2*c**2 + 4*c + 40. Let p be w(7). Is 2/(8/(-126))*p/45 a multiple of 21?
True
Let c = 1373 + -959. Is c a multiple of 23?
True
Suppose -q - 3*l + 2 = 0, 3*q = 5*l - 7*l - 1. Let u be (29/(-2))/((-2)/(-12)). Does 8 divide (-3)/((-9)/u)*q?
False
Let k = -23 - 7. Let p = k + 38. Is p a multiple of 4?
True
Let b(x) = x**3 + 6*x**2 - 4*x - 5. Let c(f) = f + 10. Let w be c(-8). Suppose -w = -2*h - 14. Is b(h) a multiple of 4?
False
Let c be ((-8)/10)/(0 - 1/5). Suppose -4*a + c*r = -28, -4*r + 11 = 5*a - 3*r. Does 3 divide a?
True
Suppose -3*d = 3, -4*d = -4*c + 119 + 545. Let j = c + 75. Does 40 divide j?
True
Suppose -2*b + 2453 = 3*f, -f + b = 2*b - 816. Does 16 divide f?
False
Suppose -5*h + 5*g + 13 = -27, 5*h = -g + 22. Suppose h*q - 1064 = 301. Is 39 a factor of q?
True
Is (3/(-48)*-8)/((-2)/(-24)) a multiple of 3?
True
Let f(z) = 2*z**2 - z + 1. Let g be f(1). Suppose 4 - 6 = -g*q. Suppose 37 - q = d. Is d a multiple of 18?
True
Let s = -72 + 77. Suppose -3*r + 708 = 5*j, 2*j + 0*r - 277 = s*r. Is 47 a factor of j?
True
Let r(w) = 20*w - 188. Is r(48) a multiple of 15?
False
Let j(i) = -2*i**3 - 9*i**2 + 2*i - 10. Let k be j(-5). Suppose -k*g = m - 1239, -3*m + 8 = -m. Is g a multiple of 13?
True
Let o be ((-158)/3)/(21/(-126)). Suppose 3*c = -b + o, 2*c + b - 208 = -b. Does 25 divide c?
False
Does 53 divide ((-2694)/(-9))/((-1)/((-75)/10))?
False
Let t(x) = 8*x + 2. Let s be t(-5). Let u = -19 - s. Suppose -5*r - u = -59. Does 6 divide r?
False
Suppose -m + 2*d + 2351 = 3*d, -d = 3*m - 7061. Is 5 a factor of m?
True
Suppose 0 = 2*p - 5 - 1. Let k(b) = 6 + b**p - 5*b**2 - 3 + 7*b - b. Is k(5) a multiple of 9?
False
Suppose t + 7*t + 64 = 0. Does 11 divide t/(-8) + 2 + 52?
True
Let r(q) = 4 - 3*q + 2 - 6 - 3 - 8*q**3. Let u be r(-2). Is 25 a factor of (-6)/(-7)*(3 + u)?
False
Let s(h) = 4*h + 28