ltiple of 4?
False
Let z be (-13)/(-4) + 4/(-16). Suppose 0 = -5*s - 11 + 31, -3*y = -z*s - 96. Is y a multiple of 10?
False
Let z(m) = -m + 31. Suppose j = 5*i - 3*i - 10, 4*j = -4*i + 20. Is 10 a factor of z(j)?
False
Suppose -2*p = p - 6. Suppose 0 = -2*y + 46 + p. Is y a multiple of 12?
True
Suppose b + 3*a - 1 = 0, -11 = -4*b + a + 6. Suppose -b*v + 162 - 34 = 0. Does 22 divide v?
False
Let n = -15 - -15. Suppose n*h - 3*h = -27. Is h a multiple of 3?
True
Let r = -1 + 1. Suppose 3*x - 7*x + 720 = r. Suppose -2*c + x = 3*c. Is c a multiple of 18?
True
Let h be 30/9*6/5. Suppose 0*a + h*a - 8 = -4*b, 3*b - 2*a = -4. Suppose 4 + b = k. Does 3 divide k?
False
Let f(r) = -r**3 + 9*r**2 + 12*r - 15. Let u = 6 - -4. Is f(u) even?
False
Suppose 168 = 4*y + 4*u, -4*y - y + u = -222. Let h(d) = d**3 + 8*d**2 - 7*d + 8. Let v be h(-9). Is 5 a factor of (y/6)/(v/(-15))?
False
Let m = 75 - 51. Is 12 a factor of m?
True
Suppose 4*n = -3*t + 30, -2*t + 4 = -n + 3*t. Let u be (4/n)/((-2)/(-3)). Is 18 - u - (2 + 1) a multiple of 6?
False
Suppose -5 = -3*j + 10. Suppose 0 = j*f - 56 - 49. Is 7 a factor of f?
True
Suppose 210 = -8*z + 42. Let l = 43 + z. Is 11 a factor of l?
True
Let o = 7 + -4. Suppose 3*y - 18 = 5*z - o*z, 3*y = -4*z. Suppose 2*k = -y, -96 = -0*m - 2*m - 3*k. Is 18 a factor of m?
False
Let h be (-3 - 1)*(-42)/(-8). Let p = -13 - h. Does 7 divide ((-7)/(-4))/(1/p)?
True
Let g = 58 + -34. Is 5 a factor of g?
False
Let r = 7 + -28. Let v = -9 - r. Does 6 divide v?
True
Let p = -105 + 189. Is 24 a factor of p?
False
Let h = 0 + 4. Suppose -i + 3*c = -25, 20 = -0*c + h*c. Suppose 0 = 4*k - 8 - i. Is k a multiple of 12?
True
Let t(j) = j - 1. Let z be t(4). Suppose 5*i - 4*d - 20 = -6*d, z*i - 4*d - 12 = 0. Suppose i*u - 63 = 21. Is 14 a factor of u?
False
Let a(y) = y**2 - 3*y + 22. Let n be a(-9). Let l = -58 + n. Does 24 divide l?
True
Suppose -5*a - 4*o - 68 = 18, 0 = -2*a + o - 24. Suppose n + 2*d - 44 = 0, 0 = -6*n + 4*n - d + 73. Let c = a + n. Does 15 divide c?
False
Let q = 3 + -1. Suppose -123 = -3*r - 3*m, -16 = -m - 3*m. Suppose 4*b = -0*b - p + 73, 0 = q*b + p - r. Is b a multiple of 11?
False
Is 82 - ((-2)/2 - -5)/2 a multiple of 34?
False
Let v(i) = -2*i - 13. Let a be v(-9). Suppose 2*c + h = 4, 7*h = a*c + 3*h - 23. Suppose -c*x = -20 - 58. Does 13 divide x?
True
Let b(m) = m**2 - 10*m + 3. Let d be b(-8). Let z = d + -73. Does 13 divide z?
False
Suppose -5*o + 19 = -6. Is o*1*(19 - 7) a multiple of 18?
False
Suppose -z + 0*z = 0. Suppose 4*g - 175 = l, 4*l = -5*g - z*l + 245. Does 15 divide g?
True
Let j = -2 - -5. Suppose 5*k - y - 18 = 0, -3*k + 6*k - 4*y = 4. Does 18 divide j/((-6)/k) - -37?
False
Let p(q) = 13*q**3 - 20*q**2 - 8*q + 13. Let h(d) = 3*d**3 - 5*d**2 - 2*d + 3. Let g(s) = -9*h(s) + 2*p(s). Suppose -y - 12 = -5*y. Is g(y) a multiple of 8?
False
Suppose 2*k - 114 = -5*a + 40, k = -5*a + 77. Does 11 divide k?
True
Suppose 5*f - 2 + 17 = 0. Is (22 + (f - 0))*1 a multiple of 7?
False
Suppose -17*x = -14*x - 321. Is 10 a factor of x?
False
Suppose -6*q + 0*q + 72 = 0. Is 7 a factor of q?
False
Let f(i) be the first derivative of -2 - 5/2*i**2 - 7*i. Is f(-7) a multiple of 10?
False
Suppose 31*v = 29*v + 104. Does 4 divide v?
True
Let l(u) = 7*u + 18. Does 9 divide l(9)?
True
Let q = -4 - -7. Suppose -5*c = -q*g + 41, 2*g + 3*c - 24 = 16. Is 15 a factor of g?
False
Let l(r) = r + 17. Suppose 5*s - 1 = 2*u + 2*s, 31 = -5*u - 2*s. Let k = u - -5. Is 7 a factor of l(k)?
False
Let p(n) be the second derivative of -n**4/12 + 7*n**3/6 - 3*n**2/2 - n. Is 3 a factor of p(6)?
True
Suppose 5*u = -4*q + 2*q + 134, -4*u + 16 = 0. Is 13 a factor of q?
False
Suppose -4 = -w - 0. Suppose 5*q - w = 171. Does 24 divide q?
False
Suppose c + 2 = -3*t - 6, 4*t + 18 = -5*c. Is -2*(-1)/c*-30 a multiple of 10?
True
Let u(z) = 34*z - 1. Let x be u(3). Let i = x - 69. Is i a multiple of 8?
True
Let b be (-2)/1 - (1 - 3). Let h = b + 4. Suppose 0 = h*g - 2*g - 64. Is g a multiple of 12?
False
Suppose 0 = 65*f - 60*f - 120. Does 12 divide f?
True
Is ((-18)/(-4))/((-3)/(-18)) a multiple of 9?
True
Let m = -19 + 57. Is m a multiple of 15?
False
Let d be -1 - ((-2 - 90) + 1). Let f be d/(-4)*(-4)/(-5). Is (f + -2 + 3)/(-1) a multiple of 7?
False
Is ((8/3)/(-8))/((-2)/24) a multiple of 4?
True
Let z = -27 + 62. Suppose -z - 88 = -3*h. Is 14 a factor of h?
False
Suppose -10*d + 5*d + 15 = 0. Suppose d*h + 7 - 1 = -5*a, 4*h - 5*a = 27. Is 21 a factor of -2 + (26 - h) - 0?
True
Suppose -w + 41 = -17. Is w a multiple of 29?
True
Suppose 96 = 3*m + 3*u, -2*m + 5*u = -0*m - 71. Is 4 a factor of m?
False
Suppose 3*v - 28 = -4*f, -f + 5*v = -5*f + 36. Suppose f*z = -z. Does 20 divide (0 - (z - 1)) + 43?
False
Suppose -2*y + 75 = 2*t + y, -2*y + 146 = 4*t. Let f = t + -11. Is 7 a factor of f?
False
Let u(n) = -1 - 6 - 30*n + 33*n. Does 11 divide u(15)?
False
Let o be 0 + 0 + 6*-1. Does 3 divide o/21 + 88/14?
True
Let w(c) = c**2 - 4*c - 5. Let m be w(5). Suppose -176 = -4*h - m*h. Is 20 a factor of h?
False
Let a be -43 + -3 + -2*1. Does 11 divide (-1552)/a - (-4)/6?
True
Suppose -5*k - 6*i + 40 = -i, -3*k = -5*i - 24. Suppose 4 = -w + o, w + w - o = -k. Is 15 a factor of (-153)/(-5) - w/10?
False
Suppose 1465 = -0*a + 5*a. Is a a multiple of 32?
False
Let k(s) = s**3 - 7*s**2 - 8*s. Let b be k(8). Is (-12)/(-3) + b + 1 a multiple of 5?
True
Suppose -r = -5 + 13. Let m = r + 15. Let k(b) = -b**3 + 7*b**2 + 2*b - 9. Is 5 a factor of k(m)?
True
Suppose 2*x = 7 - 17, -2*u + 4*x + 26 = 0. Does 3 divide u?
True
Let f be 9*(-5)/((-30)/(-8)). Let r be (-1)/4 - (-3)/(-4). Is 11 a factor of (-3)/(r - 9/f)?
False
Suppose 2*s - 4*a - 18 - 18 = 0, -4*a = -12. Is 24 a factor of s?
True
Suppose -2*g + 1 + 1 = 0. Let q be (-2 - g)*11/(-3). Suppose 11 + q = 2*h. Is h a multiple of 8?
False
Let d(y) = -1 + 4*y - 10*y - 4*y. Let l be d(-5). Let j = l - 13. Is 19 a factor of j?
False
Let k(a) = -6 + 6*a + 7 + 0. Let b be k(2). Suppose 35 = 4*l - b. Does 12 divide l?
True
Let m(g) = 3*g - 2*g + 6 + g. Let l be m(8). Suppose o + o = l. Is 11 a factor of o?
True
Let v(t) = 13*t - 2. Let x be v(-4). Let g = x + 78. Does 13 divide g?
False
Let u = -25 + -3. Does 11 divide (-1212)/u - 4/14?
False
Let b(c) = c**2 + 5*c - 20. Does 4 divide b(-10)?
False
Let l(t) = -t**2 - 9*t + 13. Let k be l(9). Is 5/(-20) + k/(-4) a multiple of 11?
False
Suppose y + 3*y - 36 = 0. Is -3 + 5/(5/y) a multiple of 3?
True
Suppose -4*z + w + 87 = 18, z - 3*w - 31 = 0. Let f = z - 2. Does 7 divide f?
True
Let c(q) = 3*q - 7. Let i(w) be the first derivative of -w**3/3 + 3*w**2 - 3. Let v be i(5). Is c(v) a multiple of 3?
False
Let v be -2 - (-1 + -3 + -3). Is 19 a factor of 66/v*20/8?
False
Let m = -4 - -4. Suppose m = -0*p + 2*p - 68. Let r = p - 18. Is 11 a factor of r?
False
Suppose -5*g + 1054 - 109 = 0. Is 27 a factor of g?
True
Suppose 2*t = 4*v - 2, -t + 20 = 3*t - 2*v. Let c(h) = 5*h - 3. Does 11 divide c(t)?
False
Suppose 3*q + 3 = -0*q. Is 18 a factor of (2/(-3))/(q/54)?
True
Suppose -2 + 0 = v, -3*v = 3*k. Suppose k*j + 224 = 6*j. Does 28 divide j?
True
Let x = 64 - 24. Let l(y) = -7*y**2 + 3*y - 1. Let s be l(2). Let h = x + s. Does 8 divide h?
False
Suppose 5*f - f = -2*r + 544, -2*r + 4*f = -536. Does 17 divide r?
False
Is 7 a factor of (-1)/8 - (-2751)/56?
True
Let g = -61 + 103. Is g a multiple of 7?
True
Suppose -3*y + 5*y = -5*c + 30, -5*y + 25 = 0. Suppose -5*n + 5*v + 280 = 0, -c*v - 2 = -3*v. Is n a multiple of 9?
True
Let x(g) = -g**2 - 3. Suppose n + 0*n = 0. Let j be x(n). Does 9 divide j/(-4) + (-219)/(-12)?
False
Let y(r) = -r**3 + 3*r**2 + 3*r - 4. Let s be y(4). Is (-322)/(-4) - 4/s a multiple of 25?
False
Let s = -39 + 99. Is 20 a factor of s?
True
Let b(f) = -f + 1. Let l be b(-6). Let r(k) = k**2 - 6*k - 4. Let v be r(l). Suppose 0 = -3*h + z + 79, 2*h - 4*h - v*z + 49 = 0. Does 10 divide h?
False
Let c = 10 - -47. Suppose -14 = v - c. Is 12 a factor of v?
False
Let u be -1 + 2 - 2*-1. Suppose 6*d + 36 = u*d. Is 12 a factor of 190/8 - 3/d?
True
Let l(u) = -2*u + u**2 + 5*u + u + 3. Is l(-4) a multiple of 2?
False
Let g be 24 - (3 + -3 + -3). Let a = g - -8. Is 6 a factor of a?
False
Let i = 12 + -5. Suppose 0 = -4*l + i*l - 93. Does 7 divide l?
False
Let o be ((-4)/10