be f(11). Let h = 21 + z. Is (-36)/h*(-64)/(-3) a multiple of 16?
True
Let f = -182 + 314. Let a = 294 - f. Is 18 a factor of a?
True
Let l = 97 + 117. Does 5 divide l?
False
Suppose 4*g + 5*z = -1509, -3*z = 2*g + g + 1131. Let b = g - -606. Does 10 divide b?
True
Let f = -76 - -70. Let h(a) = -7*a**3 - 13*a**2 - 8*a - 15. Let o(u) = 8*u**3 + 14*u**2 + 8*u + 16. Let v(c) = 7*h(c) + 6*o(c). Does 2 divide v(f)?
False
Let o(f) = f**2 - 3*f - 2. Let h be o(4). Suppose -b = 4*u + h*b + 39, u + 16 = -2*b. Let g = 14 + u. Does 8 divide g?
True
Suppose 3*y - i + 457 = -5*i, -3*i = 5*y + 780. Let t = -364 - y. Is 11 a factor of (-1 + -1)*t/10?
False
Suppose 5*q - 2*q - k + 14 = 0, -4*k = 5*q + 12. Let t be 0 + 1 + (-116)/q. Suppose -2*x - 10 = -t. Is 5 a factor of x?
True
Let w = 302 + -98. Let s = 363 - w. Is s a multiple of 31?
False
Let r(h) = -h**3 - 9*h**2 + 14*h - 9. Does 6 divide r(-13)?
False
Let z = -19 + 115. Is 24 a factor of z?
True
Suppose -248*f - 2*n - 8678 = -251*f, 4*n = -2*f + 5812. Is 16 a factor of f?
True
Let l(p) = 2*p**2 - 2*p + 2. Let z be l(2). Let g(f) = 6 - f - 2*f + z*f. Does 4 divide g(5)?
False
Does 14 divide 18576/16 + 2 + 1 + -2?
True
Let c(v) = 2*v**3 + 5*v**2 + 26*v - 11. Is 9 a factor of c(7)?
False
Let y(s) = 610*s**3 + 2*s**2 + s - 2. Is 30 a factor of y(1)?
False
Let n(d) = 3*d**2 - 6*d + 6. Let l = 4 + -1. Let f be n(l). Suppose -5*r = f, 3*o + 30 = 4*o - r. Is o a multiple of 9?
True
Suppose 4*t - 38 = -2*f, 3*f + 31 = 4*f - t. Let o = 41 - f. Suppose -o = -5*y + 11. Is 3 a factor of y?
False
Suppose -406 = -u + 5*j, 3*u - u - 3*j - 826 = 0. Is u a multiple of 16?
True
Suppose -4*h + 76 = -0*h. Suppose x + 45 = 5*s, 2*x = -s + h + 1. Does 5 divide s?
True
Let f be 10/(((-70)/15)/7). Does 16 divide (-5)/(f/(-2)) + 376/6?
False
Is 67 a factor of (9 + (3978 - 1))/2?
False
Let p = -70 - -73. Suppose p*v - 5*n + 127 = 4*v, 5*v = 5*n + 545. Does 14 divide v?
True
Does 27 divide 4/5 - 13/((-715)/305426)?
False
Let l(r) = r**3 - r**2 - r. Let d(m) = -6*m**2 - 5*m - 1. Let a(w) = -d(w) + 6*l(w). Let u be a(1). Suppose -2*h + u*h - 136 = 0. Is h a multiple of 17?
True
Let q be 0 + 2 + 21/3. Let p = 241 + -234. Suppose 0 = p*v - q*v + 78. Does 13 divide v?
True
Does 25 divide (-5071)/(-7) - 8/(-14)?
True
Suppose -2*c - 526 = -3*o, 0*o - 2*o - 2*c + 344 = 0. Suppose 0 = 5*x - 4*i - o, 3*i + 72 = 2*x - i. Is x a multiple of 34?
True
Suppose -46 = 3*m - 100. Does 3 divide m?
True
Let w be 4/(16/30)*2. Let t(i) = 5*i**3 - 4*i + w*i**2 - 2*i**3 + 21 - 2*i**3. Does 15 divide t(-15)?
False
Let l(w) = 4*w**2 + 5*w - 4. Let i be l(1). Let b(n) = 8*n**2 - 8*n - 6. Does 22 divide b(i)?
True
Let q = -104 - -115. Suppose 22*t = q*t + 165. Is t a multiple of 3?
True
Let q(c) = c + 5. Let m be q(-3). Suppose 10*h - 1584 = m*h. Is h a multiple of 9?
True
Suppose 2*d = d, -3*a + d = 264. Let u = 202 + a. Is 13 a factor of u?
False
Suppose 2*f + 3*f + 3*r + 62 = 0, -5*f = 4*r + 66. Let u be 30/2*4/f. Let b = u - -78. Does 19 divide b?
False
Suppose -10 = 4*q - 2. Let t = q - -6. Suppose -7*w = -2*w - 2*z - 276, t*z = -3*w + 176. Is w a multiple of 28?
True
Let v(a) = a**3 + 11*a**2 - 12*a + 2. Let d be v(-12). Let l(h) = 25*h - 6. Does 11 divide l(d)?
True
Does 9 divide 5/((-140)/(-4048)) - (-12)/(-21)?
True
Let z = 16 + 8. Let b be (-4)/z + (-38)/(-12). Suppose b*w + 5*x - 130 = 85, -3*w + 260 = -4*x. Is w a multiple of 23?
False
Suppose -a + 3*a - y = 601, 0 = 3*a - y - 901. Is a a multiple of 20?
True
Suppose 5*c + 5*h = -20, 4*c + 16 = -0*c - h. Let k = c + 8. Suppose -4*u + 2*u + 2*w + 64 = 0, -4*u - k*w = -136. Does 7 divide u?
False
Suppose 0 = s - 0*s - 3. Suppose 0 = -19*d + 37*d. Suppose -s*o + 72 - 24 = d. Does 3 divide o?
False
Suppose 3*l = -15, -2*x - 2 + 33 = -5*l. Suppose -229 = -5*h - 3*i, 185 = -0*h + 4*h + x*i. Is 11 a factor of h?
True
Let c = -32 - -41. Suppose 4*l - 5*w - 8 = -1, 2*l + 3*w = c. Suppose 0 = -3*u, l*v + 4*u = 20 + 76. Is v a multiple of 6?
False
Let m be (12/(-16))/((-2)/8). Let h(f) = f**2 + 4*f**2 + 4 + f**2 - m*f + 0*f. Is h(2) a multiple of 22?
True
Let f = 128 - 25. Let y = -40 + f. Does 7 divide y?
True
Let l = 13 - 5. Let w(b) = b**3 - 7*b**2 - 2*b + 7. Is w(l) a multiple of 34?
False
Suppose -79*u + 80*u = 111. Is 7 a factor of u?
False
Is 14/(60/18 + -3) a multiple of 4?
False
Let g = 80 - -265. Is g a multiple of 23?
True
Let h be (-4)/(-2) + (5 - 1). Suppose h*c - 4*c - 98 = 0. Let w = -31 + c. Is 13 a factor of w?
False
Let z(r) = r**3 - 27*r**2 - 26*r - 24. Suppose 6*o - 84 = 3*o. Is 4 a factor of z(o)?
True
Suppose 804 = 4*o + 2*b, -3*b + 425 = 3*o - 184. Is o a multiple of 18?
False
Let d be -1*((-27)/(-3) + -1). Let n(c) = -7*c - 18. Is n(d) a multiple of 12?
False
Let k be ((-4)/(-2))/((-8)/(-20)). Let n(w) = -7*w + 0 - 4 - k + 10*w. Does 7 divide n(10)?
True
Suppose 8*k - 173 - 115 = 0. Is k a multiple of 9?
True
Let y(u) = 3658*u + 38. Does 132 divide y(1)?
True
Let i(u) = -u**2 - 18*u - 35. Let m be i(-16). Does 12 divide 1 + m + 148 + -2?
True
Let t = 515 - 323. Is t a multiple of 17?
False
Let b = 452 - -2015. Does 30 divide b?
False
Let x(u) = 4*u + 1. Let t be x(8). Suppose -t = 4*j - 5. Let f(s) = -s**2 - 12*s + 5. Does 10 divide f(j)?
True
Suppose 0 = 3*v - 2*o - 1753 - 445, -2188 = -3*v + 4*o. Does 92 divide v?
True
Suppose -2*d = 5*f - 591, 17*f + 3*d - 945 = 9*f. Is 13 a factor of f?
True
Let c(k) = 2*k + 23. Let l be c(-8). Let i(g) = 9*g - 3. Is 15 a factor of i(l)?
True
Let i be 3*(8/4 - 1). Suppose i + 12 = r. Is 6/(-4)*(-110)/r a multiple of 2?
False
Let j be (-6)/12*(-3 - 1). Suppose -25 = 5*f, -j*b = -b - 2*f + 50. Let n = b - -131. Does 18 divide n?
False
Does 10 divide 15/(-3) - (13 - 38)?
True
Is (-414)/(-46) - 128/(-2) a multiple of 5?
False
Let n(y) = 52*y**2 - 6*y - 10. Does 3 divide n(-3)?
False
Let o = -60 - -169. Let v = o - 29. Is v a multiple of 16?
True
Let t be ((-102)/12)/(3/(-6)) + 4. Suppose -2*z - 3 = -z - 3*o, -3 = -z - 3*o. Suppose 0 = -3*j - z*j + t. Is j a multiple of 3?
False
Let q = 559 - 531. Is q a multiple of 10?
False
Suppose q = 2, -2*n - 2*q + 3 = -1. Suppose n = -14*f + 13*f + 3. Suppose 0 = -f*t - 8 + 20. Is 4 a factor of t?
True
Is 6 a factor of 63 - (27 + -35)*(-1)/2?
False
Let q be (-1*31)/((-5)/10). Suppose -q = i - m, -m + 127 + 115 = -4*i. Let t = i - -106. Does 23 divide t?
True
Let x(j) = -j**2 - 12*j + 10. Suppose 5*z + z = 78. Suppose 2*d + z = -7. Is 30 a factor of x(d)?
True
Suppose 9*z - 11 - 70 = 0. Is z a multiple of 9?
True
Does 9 divide ((-6)/8)/(49/(-224))*21?
True
Let l(k) be the first derivative of 1/2*k**2 + 14*k + 6. Is l(13) a multiple of 10?
False
Is 56/9 + 22/(-99) even?
True
Suppose 4*g + 7 = 43. Suppose 3*z - g = -3. Suppose 0 = -c + z*c - 4*v - 33, 0 = 4*c + 2*v - 132. Is c a multiple of 7?
False
Let c(p) = -2*p - 25. Let k be c(0). Let y = k + 34. Does 2 divide y?
False
Suppose 4*k + 2*t - 15 = 7*t, 4 = 4*t. Does 23 divide 111 + (100/5)/k?
True
Let v(h) = 1 - 5*h + 13*h**2 + 18*h + 1 - 16*h. Suppose 0*d - 19 = -4*d + 3*t, 0 = 5*d - 3*t - 20. Is v(d) a multiple of 12?
True
Let h = 21 - -50. Suppose 3*g - t - h = 48, -2*g = -4*t - 66. Is 20 a factor of g?
False
Let m = 18 - 9. Let w = -5 + m. Suppose w*a = 55 - 15. Is a a multiple of 10?
True
Is (5/2 + -2)*(2 + 82) a multiple of 21?
True
Is (-17)/(-187) - 15838/(-22) a multiple of 12?
True
Let g(y) = y**3 - 13*y**2 + 8*y + 10. Let z be g(12). Let c be (0 + 230)*(-48)/(-120). Let n = c + z. Is 27 a factor of n?
True
Let h = -9 - -7. Let k(r) = -44*r + 21. Let d(n) = -22*n + 10. Let y(u) = 13*d(u) - 6*k(u). Is y(h) a multiple of 24?
True
Suppose -g + 6*g = r - 114, r + 24 = -g. Let s = 42 - g. Is 13 a factor of s?
True
Suppose 739 = 9*y + 10. Does 33 divide y?
False
Let s(p) = -16 - 10*p + 4*p**2 - 8*p**2 + 6 + 3*p**2. Is 12 a factor of s(-6)?
False
Let x(v) = 28*v**2 - 3*v - 4. Let z(q) = -q**3 - 11*q**2 - 18*q - 2. Let n be z(-9). Does 19 divide x(n)?
True
Let v(s) be the first derivative of -s**3/3 + 22*s + 17. Suppose 4*f = 2*f. Is v(f) a multiple of 10?
False
Let f = 6 - 8. Let s = -10 + f. Is (s + 0)*36/(-24) a multiple of 6?
True
Let k(t) = 21*t**3 - 1. Let u be k(1). Suppose 7*r + u = 3*b + 2*r, 5*r = -5. Suppose b*f + 48 - 358 = 0. Is 26 a factor of 