tiple of 6?
True
Is ((-1)/1)/((-3)/(-3630)*-2) a multiple of 10?
False
Let d = 41 - 40. Is (-30)/3*(d - 3) a multiple of 4?
True
Let t(o) = 17*o + 4. Let f be t(5). Suppose w - f = 43. Is 22 a factor of w?
True
Let i(w) = w**2 + 14*w + 62. Is i(-11) a multiple of 2?
False
Let u(z) = -19*z + 66. Does 32 divide u(-34)?
False
Suppose p = -0*p - 1. Let q be (p + (-14)/(-3))*-3. Let s = 35 + q. Is 12 a factor of s?
True
Let i = 266 - 33. Is 39 a factor of i?
False
Let f(m) = 2*m**3 - 15*m**2 + 10*m - 53. Is f(13) a multiple of 44?
True
Let t = 324 + -226. Suppose 14*r + t = 16*r. Is r a multiple of 23?
False
Let h(d) be the second derivative of d**5/60 + d**4/12 + 5*d**3/6 - d**2/2 + 9*d. Let g(z) be the first derivative of h(z). Does 4 divide g(3)?
True
Suppose 4*d = -2*d + 348. Suppose -5*p = 4*u - 2*p - 66, 4*u = p + d. Does 5 divide u?
True
Suppose 6*p + 100 = p. Let s = 5 + p. Does 10 divide (s/(-5) + -2)*25?
False
Is ((-62)/1)/(5/(-10)*1) even?
True
Let v(i) = -i**3 + 7*i**2 - 6*i. Let h be (-5)/(-2 + 2 + -1). Let l be v(h). Is ((-525)/l)/((-2)/8) a multiple of 32?
False
Let z(w) = -5*w + 2. Let v(x) = -6*x**3 + 11*x**2 + 5. Let l(k) = 7*k**3 - 12*k**2 - k - 6. Let d(t) = -5*l(t) - 6*v(t). Let g be d(4). Does 24 divide z(g)?
False
Suppose r - 197 = 17. Let s = r + -123. Is s a multiple of 5?
False
Suppose -2 = -w + 2. Let d = w - 0. Suppose -5*c + d = -4*c. Is 2 a factor of c?
True
Let d(w) = -6*w + 0*w**3 - 14 - 3*w**3 + 4*w**3 - 12*w**2. Let h(n) = -n - 3. Let g be h(-16). Does 24 divide d(g)?
False
Let c(s) = -343*s - 262. Does 11 divide c(-4)?
False
Suppose -2*z - 95 = -41. Let w = z - -55. Is w a multiple of 7?
True
Let p(y) = 25*y - 2. Let t(o) = 25*o - 1. Let v(x) = 6*p(x) - 5*t(x). Is 11 a factor of v(3)?
False
Let r be (-4)/14 + (-4050)/35. Let p be r/(-30) - (-14)/105. Suppose 4*f + j + 0*j = 132, -2*f + 48 = -p*j. Is 9 a factor of f?
False
Let t(u) = 206*u + 2. Let c be t(2). Let s be (12/(-9))/(-2)*c. Suppose -3*d - s = -7*d. Is 24 a factor of d?
False
Let m = 0 - -4. Let j be -9 + (5 - -1) - 40/(-5). Suppose -v = m*x - 6*v - 80, 5*x + j*v - 55 = 0. Does 10 divide x?
False
Let u be (-17)/(-34) - 10/(-4). Is 12 a factor of 5/((-10)/(-64))*u?
True
Let c(x) = 149*x**3 + x. Let l be c(1). Suppose -66 = -4*z + l. Is 13 a factor of z?
False
Suppose -i - 44 = -m, 23 = m - 2*i - 21. Is 12 a factor of m?
False
Let k be (6/(-63)*117)/((-1)/7). Suppose k + 87 = o. Is o a multiple of 13?
False
Let w(b) = -3*b + 5 - 4 + 17 - 8. Is 5 a factor of w(0)?
True
Let i be 6/4*(-144)/(-54). Suppose 0*a = -i*a + 2*c + 80, 4*c + 20 = a. Is a a multiple of 4?
True
Suppose -5*w + 100 = 4*k - 20, -2*k + 60 = 4*w. Suppose 0 = 2*z + 2*l + 62, 4*l + 4 = 3*l. Let f = k - z. Does 19 divide f?
True
Suppose c + 2*m - 333 = 3*m, 4*m = 4. Is 37 a factor of c?
False
Let i(r) = 4 + r - r - 4*r - 6*r - r**2. Let n be i(-6). Suppose -u - u = -n. Is u a multiple of 7?
True
Let q(a) = 3*a - 15. Let c be q(5). Suppose 23*u - 21*u - 220 = c. Does 11 divide u?
True
Let o(b) be the third derivative of b**6/120 - b**5/10 + b**4/4 - b**3/3 + 5*b**2. Let j be o(4). Is (-106)/j - 9/15 a multiple of 5?
True
Let n(c) = 387*c - 3. Let d be n(9). Suppose 6*h + d = h. Does 35 divide h/20*15/(-6)?
False
Let p be (-18173)/(-187) - 2/11. Suppose 6*i - 59 = p. Does 26 divide i?
True
Let w be 3 - (-2)/((-6)/(-9)). Let z = w - 3. Suppose 3*j - z*s = -s + 69, -3*j - s + 78 = 0. Is j a multiple of 4?
False
Is 42 a factor of 831 + -3 - (5 + -1 + 2)?
False
Let m = 2400 - 1508. Is m a multiple of 31?
False
Suppose 135 - 343 = -4*h. Is 13 a factor of h?
True
Let l(x) = 2*x**2 + x + 10. Let n(m) = -m**2 - m - 9. Let r(c) = 3*l(c) + 4*n(c). Does 13 divide r(5)?
True
Let y(o) = 5667*o**2 + 16*o - 16. Does 55 divide y(1)?
False
Let o(x) be the second derivative of 67*x**4/12 - x**2/2 + x. Let m be (-5 - -3)/(-2)*-1. Does 14 divide o(m)?
False
Is (2 - (6 + -5))*419 a multiple of 38?
False
Suppose -2*a - 1 = -h, -a - h + 6 + 1 = 0. Suppose -a*x + 7*x = 315. Let p = x + -19. Is 11 a factor of p?
True
Let k = -127 - -127. Suppose -6*g + 12*g - 1188 = k. Does 22 divide g?
True
Let i be 12270/(-45)*(-6)/4. Suppose 16*f - 87 = i. Does 31 divide f?
True
Suppose -19*y + 3*y - 640 = 0. Let a = -36 - y. Is a a multiple of 4?
True
Suppose -26 = -4*i + 6. Let p(j) be the first derivative of -j**4/4 + 10*j**3/3 - 5*j**2/2 - 13*j - 2. Does 20 divide p(i)?
False
Let d(k) = -10*k - 78 + 49 + k**3 - 16*k**2 + 50. Is 24 a factor of d(17)?
False
Let r be 0 + (-6)/(-8 - -5). Suppose 242 = r*v + 74. Does 21 divide v?
True
Let n be 23/2*(-9 + 7 + -10). Does 19 divide (n/(-14) + 1)*7?
True
Suppose 5*k = -5*b + 40, 3*k + 3 = -2*b + 23. Suppose -4*q = -y + 194, 852 = 4*y + k*q - q. Suppose i + y = 6*i. Does 14 divide i?
True
Suppose -5*c - 5*y + 30 = 0, 2*y + 4 + 5 = 5*c. Suppose -c*t - 4*t = -553. Is 11 a factor of t?
False
Let c be ((-360)/(-14))/((-4)/(-56)). Suppose 3*p + c = 8*p. Is 12 a factor of p?
True
Suppose 352*y + 4962 = 3*o + 355*y, 0 = 4*o + 2*y - 6618. Is o a multiple of 39?
False
Let z(m) = -m**3 + 6*m**2 + 2*m - 9. Let x be z(6). Is x + (1 - 1)/(-2) + 165 a multiple of 21?
True
Suppose 23*g = 28*g - 715. Is 11 a factor of g?
True
Let t = 39 - 90. Let v = t + 105. Does 9 divide v?
True
Let u = 58 - 53. Suppose -5*q + 18 = j + u, 2*j - q - 15 = 0. Is j a multiple of 2?
True
Suppose 4*p + 5*o - 1166 = 0, p + 2*o = 2*p - 285. Suppose 2*q - 5*h = -q + p, 5*q = -4*h + 457. Is 10 a factor of q?
False
Suppose 8*q - 25 = 9*q. Let f = 62 - q. Does 29 divide f?
True
Let x(w) = 169*w - 330. Does 23 divide x(4)?
False
Let n be (-1)/((-7)/(-2) + -3). Is n - (-1)/(2/46) a multiple of 4?
False
Suppose 4*d = -4*g + 1700, 5*g + d - 2075 = 6*d. Is g a multiple of 28?
True
Suppose 117*x - 115*x - 3325 = p, -4965 = -3*x - 3*p. Is 57 a factor of x?
False
Suppose 3*r + 20 = 8*r + 5*h, 9 = 2*r + h. Suppose 2*k = 5*u - 65 + 362, -3*k = r*u - 508. Suppose x + 5*q - 48 = 0, 0 = -3*x - 0*q + 2*q + k. Does 22 divide x?
False
Let n = -95 - -195. Does 19 divide n?
False
Let d be 1/(-3) + (-328)/6. Let t = 11 - d. Does 11 divide (-3 + (-21)/(-6))*t?
True
Suppose -5*y + s - 584 = 0, -16 - 88 = y + 3*s. Let k = y - -207. Is 13 a factor of k?
True
Suppose -10*i + 8*i + s + 204 = 0, -5*s = 3*i - 332. Does 26 divide i?
True
Suppose 0 = -4*k - 33 - 71. Does 11 divide (-1 - 1) + k/(-2)?
True
Suppose 67 = 5*h - 2*p + 169, -40 = 2*h - p. Let c(n) = 3*n**2 + 4*n + 4. Let g be c(4). Let q = g + h. Is q a multiple of 23?
True
Does 20 divide 10/(5*1/40)?
True
Let r = -487 - -2593. Does 25 divide r?
False
Suppose 4*d = -147 + 43. Let m = d + 98. Is m a multiple of 9?
True
Let u(k) = k**2 + k - 10. Suppose 7*h - 5*h = 14. Suppose 0 = -c - h - 1. Does 23 divide u(c)?
True
Suppose 2*j - 6 = 0, 2*o + 0*j + 4*j - 498 = 0. Is o a multiple of 7?
False
Let d(i) = -162*i - 194. Is 26 a factor of d(-6)?
False
Does 7 divide (-1696)/(-14) + ((-9)/(-21))/(-3)?
False
Let l = -17 - -20. Suppose 98 = l*r + 4*r. Is r a multiple of 3?
False
Suppose -127 = -4*n - 0*l + l, -n - 2*l = -34. Suppose q + n = x, 5*x - 3*q = -0*x + 162. Let f = -12 + x. Is f a multiple of 5?
False
Let b = -226 - -140. Let i be 2*(-366)/(-8)*(-108)/(-81). Let z = i + b. Is z a multiple of 12?
True
Suppose 1494 = -26*z + 44*z. Is z a multiple of 16?
False
Let d = -4 - -6. Suppose d*l + 0*l = -4, 2*l = 4*c + 188. Let p = c + 120. Is p a multiple of 24?
True
Suppose -8*a + 7*a + 2*m + 216 = 0, -5*m - 644 = -3*a. Let v = 362 - a. Does 11 divide v?
True
Suppose 0*o + 5*g = -o + 25, -5*g + 25 = -o. Suppose 4*d + 4*i - 220 = o, -2*d - 61 = -3*d + 2*i. Is d a multiple of 15?
False
Let n be 4 + -4*(-3)/(-6). Suppose -n*x - p + 24 = 66, -3*x - 66 = 3*p. Is 1/2 + (-890)/x a multiple of 9?
True
Let v(s) = 261*s + 183. Is v(8) a multiple of 7?
False
Suppose 4*j - 292 = 280. Is j a multiple of 14?
False
Let h(m) = -m + 4. Let b be (-4 - 0)*3/(-3). Let u be h(b). Suppose -5*v = -o + 1, -2*o + 5*v + 15 - 3 = u. Does 5 divide o?
False
Suppose -9*l = -7*l + 8. Does 14 divide -4 - (-4 - l) - -60?
True
Let b(w) = -2351*w + 7. Is 34 a factor of b(-1)?
False
Let t(b) = b**2 - 4*b - 4. Let x be t(4). Let z be 0 - -2*(-200)/x. Suppose -14*v = -10*v - z. Is 9 a factor of v?
False
Let o = -2 - -6. Suppose 0 = -o*b + 1