
Let y(j) = -j**2 - j + 5*j - 8 + j**2 + 2*j**2. Let h be y(-6). Suppose 4*z = -0*z + h. Is z a multiple of 3?
False
Let u(z) = -2*z**2 - 3*z + 93. Let o be u(0). Let s = -26 + o. Is 8 a factor of s?
False
Let d be (10/(-4))/(7/(-14)). Suppose -15 = -3*h, -d*h - 34 - 69 = -2*y. Is y a multiple of 16?
True
Suppose -6*d + 49*d = 2451. Is 10 a factor of d?
False
Does 57 divide 1438 - (-2)/(5/(-50)*-5)?
False
Suppose -19 - 177 = -4*c. Suppose 118 - c = v. Is v a multiple of 12?
False
Let x(o) = -40*o + 3. Let r be x(-1). Let w = r - -29. Is w a multiple of 18?
True
Let u = 51 - 49. Suppose -2*w = 3*a - 739, -u*w - a + 708 + 33 = 0. Does 21 divide w?
False
Let v = -153 + 152. Is (-184)/(-12) + v/3 even?
False
Suppose 4*w - 21 = -3*c, -w = -5*c + 7 + 5. Suppose -2*a = -c*a - l + 117, 5*a + 3*l = 593. Is a a multiple of 15?
False
Does 74 divide (134/1)/((-26)/(-260))?
False
Let w(d) = -d + 7. Let z be w(4). Let m(n) = -26 + 85 - 32 + 8*n - 22. Is m(z) a multiple of 10?
False
Let c(o) = -o**2 + 7*o + 40. Let m be c(11). Is 3 a factor of 15 - ((-5)/1 - m)?
False
Suppose l = -y + 557, 4*y = -l + 2*l - 562. Is l a multiple of 62?
True
Let s be 3/(-2)*(-60)/45. Suppose z + s*z + 4*j = 241, 4*z = -j + 317. Is 29 a factor of z?
False
Let f be 15/10*(-30)/(-9). Suppose -3 = b - f. Suppose u - b*u = -6. Is u a multiple of 3?
True
Suppose 223 = 4*d + m - 18, 3*d - 179 = m. Let b = d - 41. Is b a multiple of 19?
True
Let t(x) = 44*x**3 + 15*x - 39. Does 3 divide t(2)?
False
Let n(m) = -53*m + 25*m + 26*m + 19. Is n(6) a multiple of 3?
False
Suppose -15285 = 53*x - 59858. Does 13 divide x?
False
Let d be (-11)/((-22)/36) - 3. Is 7 a factor of (-140)/d*(-9)/6?
True
Let v(n) = n**2 - n - 8. Let x be v(4). Suppose 0 = 4*u - x*c - 620, 2*u + 787 = 7*u - 2*c. Suppose 3*q = 3*p + 186, -3*q = p - 27 - u. Is q a multiple of 15?
False
Suppose 1892 = -35*q + 37*q. Is 43 a factor of q?
True
Let v(f) = 9*f. Suppose -2*k - 7*k + 108 = 0. Is 12 a factor of v(k)?
True
Let a(u) = -u**3 + 22*u**2 - 21*u + 15. Is 3 a factor of a(21)?
True
Let c = 5 + -3. Suppose 5*u = 4*d - 24, -c*d = 4*u + d + 13. Is 7 a factor of (3 - 3) + u + 44?
False
Suppose 7*a - 2*a = -120. Let g = -24 - a. Suppose -47 = -t - g*t. Does 16 divide t?
False
Suppose 5*f - 5*s + 5 = 0, 4*s - s = 5*f - 5. Suppose 0 = f*g + 39 - 103. Is g a multiple of 8?
True
Suppose 0 = -4*r + q + 24, -5*q = r - 4*q - 11. Let d(n) = 11*n - 19. Is d(r) a multiple of 8?
False
Let m(d) = 2*d**3 - 6*d + 8. Let g(h) = -3*h**3 - h**2 + 7*h - 9. Let v(y) = -3*g(y) - 4*m(y). Does 21 divide v(4)?
False
Let t(p) = p + 2. Let l(u) = u**2 + 3*u - 8. Let b be l(-6). Let r be t(b). Suppose 21 = r*i - 9*i. Is i a multiple of 7?
True
Suppose 4*o + 266 = 3*s, -4*s + 4*o = -o - 356. Let q be (2/(-5))/(1/(-10)). Suppose 2*m + q*n = s, -3*m = 2*m + 2*n - 235. Is 12 a factor of m?
False
Let j = 6 - 12. Does 9 divide -25*1/(15/j)?
False
Let o(c) = 4*c + 113. Is 19 a factor of o(-14)?
True
Let h(p) be the second derivative of -p**5/20 + 5*p**4/12 + p**3 + 2*p**2 - 8*p. Let i be 1/(-1)*(-7 - -2). Is 16 a factor of h(i)?
False
Suppose -b + 2*a = -3*a - 28, 3*b - 32 = 2*a. Suppose -p + 5*p + 3*l = 7, b = 4*p + 4*l. Is -1*((-4)/p + -4) a multiple of 6?
False
Let w(x) = 33*x**2 - 3*x + 22. Is w(-7) a multiple of 83?
True
Let u(h) = -h**2 - 9. Let i be u(8). Let w = -57 - i. Does 2 divide w?
True
Let h(i) = i**3 + 12*i**2 - 4*i - 12. Let g be (0 - (5 + -2)) + -9. Let k be h(g). Suppose 4*f - k = 2*f. Is 7 a factor of f?
False
Suppose -3*m = -5*c + 164, -m + 4*c = 2*m + 169. Let p = m - -107. Is p a multiple of 6?
False
Suppose -s = -2*s + 45. Is 5 a factor of s?
True
Let n = -2 + 8. Suppose -2*m + 6 = -0*b + 3*b, 3*b - 5*m = -15. Suppose b*v + n = v. Is 3 a factor of v?
True
Let h(b) = -5*b**3 - 3*b**2 + 4*b + 3. Suppose 0 = u + 4*u + 15. Let s be h(u). Suppose -29 = 2*t - s. Is t a multiple of 16?
False
Let v(i) = 1 - 6*i - 3 + 6*i + i**2. Is v(10) a multiple of 21?
False
Suppose -655 = 24*p - 29*p. Suppose -5*n = -5*s + 570, -3*s + n = -p - 217. Is 39 a factor of s?
True
Suppose 5481 = 16*y - 3159. Is 30 a factor of y?
True
Suppose -5*y + 3*i + 506 = 0, -11*i = 2*y - 15*i - 194. Is 2 a factor of y?
False
Let o(w) = -100*w - 19. Let u be o(-4). Suppose -5*r = 2*l - 149, -l + u = 4*l + 4*r. Is 11 a factor of l?
True
Suppose -4*u = -0*u - 3*m - 121, -m + 5 = 0. Let v be 0*(-2)/(4 - 0). Suppose 3*c - 3*a = -8*a + 61, v = -2*c - 2*a + u. Is 4 a factor of c?
True
Suppose 12*q - 13*q = 45. Does 13 divide ((-162)/5)/((q/(-25))/(-9))?
False
Suppose 5*b + 10 = -4*j - 0, -2*b = 3*j + 11. Does 3 divide b/6 + 2 + 655/15?
False
Let n be (1 - 2/(-2))*(1 + 0). Suppose -d + 2*c = -22 - 68, -4*d + n*c = -336. Does 41 divide d?
True
Suppose -5*s - 3*i + 429 = 0, -15*s = -16*s - i + 87. Does 67 divide s?
False
Suppose 6*r - 2*r = -592. Let y = r + 224. Is y a multiple of 15?
False
Let o be (5/(-10) - (0 - 0))*-6. Suppose b - 2*v = 4*b - 226, -3*b = o*v - 231. Is b a multiple of 12?
True
Let f = 463 + -307. Is 39 a factor of f?
True
Suppose -50*v - 4950 = -61*v. Is 25 a factor of v?
True
Let q(z) = -z**3 - 2*z**2 - 2*z - 1. Let l be q(-1). Suppose 0*m - m + 24 = l. Suppose 0 = -o + 102 - m. Does 13 divide o?
True
Let y = 679 - 471. Does 26 divide y?
True
Suppose -576 = 236*s - 238*s. Is s a multiple of 8?
True
Let r = -82 + 377. Suppose -r = 7*h - 2*h. Let c = h + 148. Does 14 divide c?
False
Does 3 divide 87/3 + 5 + (4 - 10)?
False
Suppose 0 = r - 0*r - 136. Suppose -i + 3*i = r. Is i a multiple of 12?
False
Let i = 490 + 250. Does 37 divide i?
True
Suppose -117 = 2*l - 5*l. Let k = l + -13. Does 13 divide k?
True
Let c be (-20)/(-70)*(-1 + 8). Suppose -3*u - 5 = c*u, 0 = -3*s - 3*u - 102. Let a = -15 - s. Does 14 divide a?
False
Let f(g) be the first derivative of -g**4/4 - 8*g**3/3 + 2*g**2 - 1. Let s be f(-9). Let w = s + 1. Does 11 divide w?
False
Let b = 94 - 106. Does 8 divide (-1*1 + 299)*(-6)/b?
False
Let u(j) = -j - 1. Let b be u(-1). Suppose b = -6*f + f + 15. Suppose 73 + 101 = f*o. Is o a multiple of 29?
True
Let u(c) = c**2 - 49*c + 71. Is u(51) even?
False
Suppose -6*h + 3*f - 5 = -7*h, 0 = 2*h + 4*f - 12. Suppose 1672 = h*o + 3*o. Is o a multiple of 19?
True
Suppose -28 + 100 = -3*u. Let s = u - -135. Is s a multiple of 22?
False
Suppose 3*p = p + 4, -5*z - 503 = p. Let a = z + 199. Suppose 0 = -4*j + a + 34. Does 11 divide j?
True
Let u be (-2)/7 - (-66)/(-14). Let l(d) = -10*d - 1. Is 9 a factor of l(u)?
False
Let i(w) = -13*w**3 - 7*w**3 + w + w**3. Does 3 divide i(-1)?
True
Let f be (-1)/(-2) + (-65)/(-10). Does 11 divide 62*((-21)/(-6))/f?
False
Let j = 558 + 70. Does 31 divide j?
False
Let r be ((-6)/(-9))/((-4)/(-762)). Let y = -104 + r. Is y a multiple of 19?
False
Does 77 divide (-40)/(-12)*(-9)/(-15) - -229?
True
Suppose 0 = 4*p + o + 4, -3*p - 2*o - 8 = -8*p. Let y be 29 + 1 - p/(-1). Let z = -2 + y. Is 7 a factor of z?
True
Let t be ((-1)/(-3))/((-4)/(-1740)). Suppose 283 = 4*n - 5*k - t, 2*n + 2*k - 214 = 0. Does 21 divide n?
False
Is (1/2)/(-1*7/(-1008)) a multiple of 7?
False
Suppose -3*b + 40*b = 17723. Does 13 divide b?
False
Let w(j) = j**2 + j + 2. Is 6 a factor of w(6)?
False
Let k = -632 - -1038. Is k a multiple of 7?
True
Let v = 0 + -7. Let f be 2/((-19)/v - 3). Let h = 3 - f. Is h a multiple of 10?
True
Suppose 120 = -2*x + 5*x. Is 8 a factor of x?
True
Let o = -435 + 490. Is 2 a factor of o?
False
Let x be (-1188)/42 + 4/14. Let y be (-4053)/x - 1/(-4). Suppose 1 = -3*v + y. Is 12 a factor of v?
True
Let u(k) = k**2 - 2*k - 6. Let g be u(-4). Let c be (-10)/45 + 328/g. Suppose y - 44 = -c. Is 13 a factor of y?
True
Suppose c - 41 = 49. Suppose 3*y + 3*y = c. Is y a multiple of 14?
False
Suppose 1908 = -15*c + 17*c. Is c a multiple of 9?
True
Is (-7 + 5)/1*-56 a multiple of 7?
True
Suppose -4*w - 5 + 1 = 0. Does 14 divide w/(3 + (-1880)/625)?
False
Let o(t) = 2*t**2 - 42*t - 273. Does 21 divide o(34)?
False
Suppose 6*f - 2*f + p = 21, 0 = 3*f + 3*p - 27. Suppose -o - 37 = -n - f*o, 30 = 2*n - 5*o. Is n a multiple of 3?
False
Suppose -56 = 259*d - 260*d. Is 7 a factor of d?
True
Let b be 2 - (0 + (1 - 4) - -4). Let s(u) = 45*u + 4. Is s(b) a multiple of 7?
True
Suppose 0*t - 977 = -3*t - 4*p, -3*t + 983 = -2*p. Is 9 a factor of t?
