15)/90. Suppose -a = 3*y - 28. Is 3 a factor of y?
True
Suppose 7*y - 258 = 13*y. Let p = y - -394. Is p a multiple of 48?
False
Suppose 4*w + 11 - 3 = 0. Let g be (-1)/(-2) + (-95)/w. Does 10 divide g/(-18)*33/(-4)?
False
Let q be (-3 - -12)/(-3) - -16. Suppose 14*b - 3 = q*b. Suppose -4*a - s + 319 = 0, 0*a + s + 241 = b*a. Does 19 divide a?
False
Suppose y - 44 = 3*l, 2*y - 7*y - 5 = 0. Does 3 divide 2 - (-1)/((-5)/l)?
False
Is 1*(-21)/6*(0 - 82) a multiple of 67?
False
Let z = 103 - 70. Suppose -p + z = 12. Does 8 divide p?
False
Suppose -6 = -3*q - 3*m, 2*q + 6*m = 3*m + 3. Suppose -385 = -q*h + 5*j, -6*j + 3*j - 15 = 0. Does 24 divide h?
True
Is (92/6)/((-10)/(-15)) - 5 a multiple of 3?
True
Suppose 0 = -10*r - 3168 + 15348. Is r a multiple of 87?
True
Suppose 3*h - 78 = -3*w, 0 = 2*w - h - 3*h - 70. Is 5 a factor of (15/(-2))/(w/(-406))?
True
Let k be 3*-3*1/3. Suppose 4 = -4*i - 4*j, 0*j - 2 = -2*i + 2*j. Is 17 a factor of (i + 1)/(k/(-51))?
True
Let x be (10 - 10)/(1 + -3). Suppose 2*r - 28 = -x*r - 2*y, 3*y = -2*r + 30. Is 11 a factor of r?
False
Let t(w) = -6*w - 3. Let j be t(-3). Let h(i) = -i**3 + 16*i**2 - 10*i - 31. Does 41 divide h(j)?
False
Let l = -88 - -87. Does 5 divide 13 + (7 - 6) + (-1)/l?
True
Let g = 3446 + -1226. Is 37 a factor of g?
True
Let p(y) = 52*y + 12 + 56*y - 8*y - 2*y. Let a be p(-8). Is 4/(-7) + a/(-28) a multiple of 6?
False
Let c(k) = k - 1. Let l(b) = 9*b - 1. Let p(j) = 4*c(j) - l(j). Is p(-5) a multiple of 2?
True
Let i be (-9)/((-2)/((-20)/3)). Let a = i + 20. Let t = a - -31. Does 12 divide t?
False
Let q(a) = -a + 9. Let y be q(-7). Let o = y - 1. Does 15 divide o?
True
Let x(q) = -q**2 + 15*q + 41. Let z(u) = -2*u**2 + 31*u + 82. Let c(b) = -9*x(b) + 4*z(b). Does 15 divide c(18)?
False
Let d(n) = -n**2 + 7*n - 8. Let v be d(4). Suppose -h + 108 = o + o, 2*o = v. Is h a multiple of 26?
True
Let m = -156 + 262. Let z = -14 + m. Does 23 divide z?
True
Let v be -27*(-2)/6*-2. Let g be 1 - (-1 + v - -2). Suppose -13*j + 14*j - g = 0. Is j a multiple of 9?
True
Let a be (-5 - -3 - -9)*1. Suppose -a*l + 1353 = 324. Does 49 divide l?
True
Let m(l) be the first derivative of l**4/4 + 8*l**3/3 - 5*l + 1. Let h be m(-8). Is (-2 - h) + (0 - -1) even?
True
Suppose -965 = -4*n - z + 2031, 4*n - 2988 = -3*z. Is n a multiple of 38?
False
Suppose 2*l = 10, 2*q - 4*q = -3*l + 73. Let b = 70 + q. Is b a multiple of 10?
False
Suppose -127 = -4*q - n + 68, 5*n + 225 = 4*q. Let y = 152 - q. Suppose -w + y = w. Is 11 a factor of w?
False
Let d(f) = -f**2 - 24*f + 29. Suppose 7*s + 70 + 63 = 0. Is 31 a factor of d(s)?
True
Let x(v) be the second derivative of v**5/20 - 2*v**4/3 - 5*v**3/3 + 3*v**2/2 - 10*v. Is x(10) a multiple of 28?
False
Suppose -4*j - i = -3749, 1876 = 2*j + 6*i - 4*i. Is j a multiple of 52?
False
Let s = -902 - -3022. Does 74 divide s?
False
Let n(b) = -3*b**2 + 52*b + 15. Is n(11) a multiple of 28?
True
Let k(t) = -4*t**3 - 15*t**2 - 15*t - 17. Let u(g) = -g**3. Let j(b) = k(b) - 3*u(b). Let m be j(-14). Does 11 divide 33/m*1*-1?
True
Suppose 3*t + 3*a - 285 = 0, 0 = -4*t + 4*a - 2*a + 350. Let b = t + 37. Is 53 a factor of b?
False
Suppose 2 = 3*c + 14. Does 13 divide (-261)/c - 5/20?
True
Suppose 85*u - 81900 = 20*u. Is u a multiple of 12?
True
Suppose -51*d = -50*d - 104. Is d a multiple of 13?
True
Does 39 divide (-13 - 0)/((-5)/15)?
True
Let k(t) = 4*t - 10. Let s be k(12). Suppose 2*z = s - 6. Does 4 divide z?
True
Is 12 a factor of 1*5/2*120?
True
Let h = -28 - -52. Suppose 5*o + p - h = 0, 0 = 3*p + p - 16. Is (-40)/14*(-14)/o a multiple of 5?
True
Suppose 2*r + 18 = 3*h, 4*h - 2*r = -0*h + 22. Is 7 a factor of (-16)/h + 3 - -22?
True
Let i(r) = -r**3 + 10*r**2 + 14*r - 7. Let w(a) = 3*a + 11. Suppose -4*p = p. Let h be w(p). Is 13 a factor of i(h)?
True
Let p be (-11)/(33/(-36))*3. Suppose h = -0*h + p. Is 11 a factor of h?
False
Suppose p - 2*l - 3*l = 49, 5*p + 5*l = 95. Let j be 0 + 3 + -7 + p. Let c = j + 16. Is 18 a factor of c?
True
Suppose -2*c = -5*m - 0*c + 249, -5*m = 5*c - 270. Is 3 a factor of m?
True
Suppose 0*c = c - 69. Let l = c - -169. Suppose 4*z - 5*f - 234 = 0, 2*z = -2*z + 3*f + l. Is 17 a factor of z?
False
Let o = 1497 - 1135. Is 37 a factor of o?
False
Let w = -3671 + 6999. Is 31 a factor of w?
False
Let g(h) = 4*h**2 + 6*h + 6. Suppose 2*r + 1 = -11. Is 57 a factor of g(r)?
True
Suppose 2*t + 76 = -2*t. Let i = 19 + t. Suppose 3*r = -2*f + 5*f - 48, i = 2*f - 4*r - 28. Does 6 divide f?
True
Is ((-466)/4)/((-1)/4) a multiple of 26?
False
Let z = 264 + -195. Does 3 divide z?
True
Let t = -6039 + 9198. Is 18 a factor of t?
False
Let j(u) = u**3 + 13*u**2 + 2*u + 31. Let i be j(-13). Suppose -i*w = 3*d - 546, 4*d = -4*w + d + 435. Is 11 a factor of w?
False
Let y(t) = -t**3 + 3*t**2 + 13*t - 10. Is y(-5) a multiple of 4?
False
Let m(p) = -3*p - 5. Let c be m(-3). Suppose -4 = 6*q - c*q. Does 4 divide 174/21 + q/7?
True
Suppose -4*d + 2*w + 36 = 0, -7*w + 2*w = -4*d + 30. Suppose -d*l = -14*l. Suppose y + y - 42 = l. Does 21 divide y?
True
Let f(n) be the first derivative of n**4/4 - 2*n**3 + n**2 - 12*n + 8. Is f(8) a multiple of 22?
True
Suppose -22 = 3*a - 34. Suppose 5*m - a*m - 96 = 0. Is m a multiple of 48?
True
Suppose 0*i + 2*c + 10 = 2*i, 2*c + 5 = i. Suppose -i*o + 5 = -4*o. Suppose 0 = -4*j - o*x + 52, 2*j + x - 41 = -9. Is 9 a factor of j?
True
Suppose -31 = -4*d - 5*m, -5*m + 12 + 23 = 5*d. Suppose 6*i - 518 = 4*j + i, -2*j + d*i - 256 = 0. Is (j/(-30))/((-2)/(-5)) a multiple of 7?
False
Let d(c) = -c**2 - 90*c - 83. Is 36 a factor of d(-57)?
False
Suppose -5*c - 3*q + 22 + 19 = 0, 5*c - 27 = 4*q. Let o(v) = -v**3 + 8*v**2 + 38*v - 7. Let l be o(11). Let w = l + c. Is 33 a factor of w?
False
Let z be -5 - 144/(-30) - (-1252)/10. Let h = z + -62. Is 21 a factor of h?
True
Suppose 7*k = -2*c + 3*k - 12, -k + 15 = 5*c. Let f be 224/10 - c/10. Suppose -3*u + f = -26. Does 8 divide u?
True
Let l be (7/(21/(-6)))/1 - -657. Suppose -l = -11*g + 5. Does 10 divide g?
True
Let q(f) = -2*f - f + 5*f - f + f**2. Let i be q(1). Suppose 0 = -2*y - i*y + 60. Is y a multiple of 5?
True
Does 2 divide ((-8)/2 - -6)*3 - -17?
False
Let b = -172 + 268. Does 48 divide b?
True
Suppose t + 13 = -1. Suppose 12*x - 152 = 4*x. Let n = t + x. Is n a multiple of 3?
False
Suppose 0 = -n - 2*l - 10, 3*l - 5 + 20 = -3*n. Let w be (-3 - -4 - n) + 4. Let i(y) = -y**3 + 5*y**2 + 4*y + 5. Is i(w) a multiple of 12?
False
Suppose -12 = -4*j + 112. Let q = j + -7. Suppose -3*n + 9*n = q. Is 3 a factor of n?
False
Let j = 1 + 1. Let i = -1193 - -551. Does 4 divide j/(-7) + i/(-42)?
False
Let n(s) = -s**3 + 13*s**2 + 21*s - 16. Let z = 32 + -18. Is n(z) a multiple of 13?
False
Let t(x) = -2*x + 12. Let s be t(9). Let p be (-36)/(-15) + s/(-10). Suppose -3*k - 60 = -p*l - 4*k, 88 = 4*l + 4*k. Does 11 divide l?
False
Let i(h) be the first derivative of h**6/45 - h**5/24 + h**4/8 - 4*h**3/3 + 2. Let s(r) be the third derivative of i(r). Is 15 a factor of s(3)?
True
Suppose q = c + 8 - 284, -c + 5*q = -260. Is c a multiple of 14?
True
Suppose 5*z - 22 = 2*r, -z = 2*z + r - 11. Suppose -z*j - j = 5*f - 420, j - 3*f = 80. Is 18 a factor of j?
False
Let f(d) = -d**2 - 41*d + 1. Let z be f(-22). Suppose -139 - 8 = -c + 4*j, 3*c - j = z. Does 37 divide c?
False
Let n = 7 + 91. Let i = n + -45. Is i a multiple of 10?
False
Suppose -3*v - 9 = -4*a, v = 5*a - 0*v - 14. Suppose -5*u + 3*x = 4*x - 225, -2*x = a*u - 142. Is 20 a factor of u?
False
Let m = -38 + 41. Suppose 0 = -s - c + 95, -s + 4*c - m*c + 87 = 0. Is 30 a factor of s?
False
Let v(s) = -26*s. Let u(h) = -1508*h. Let n(q) = 2*u(q) - 117*v(q). Let p = -8 + 10. Is 13 a factor of n(p)?
True
Let w(v) = -v**2 - 11*v - 30. Let p be w(-6). Suppose 3*h - 108 + 3 = p. Is h a multiple of 7?
True
Suppose -2*s + 919 = 3*z, -5*z - 3*s - 1519 = -10*z. Does 61 divide z?
True
Suppose -57*x = 16*x - 29784. Is 12 a factor of x?
True
Let y(r) = 4*r - 2. Let w be y(-18). Let a = w - -148. Does 3 divide a?
False
Suppose -4*z = -9*z - 5*i - 50, -2*z - 3*i - 24 = 0. Let b(o) = 14*o + 182. Let g be b(-12). Is g + z/2 + 7 a multiple of 7?
False
Let i(b) = b**2 - 2*b - 8. Let v be i(-3). Let z(o) = 5*o - 16. Does 4 divide z(v)?
False
Suppose -5*t + 938 = -352. Does 9 d