/(-7350))?
True
Let h(l) = 3*l + 52. Let y be h(0). Suppose 0 = -q + 5*q - y. Suppose i = 20 + q. Does 5 divide i?
False
Let l be 1/3 - (-4)/(-12). Suppose 8*v - 5*v - 30 = l. Is v a multiple of 2?
True
Let o = -183 - -252. Is 3 a factor of o?
True
Suppose -4*r - 10 = w - 3*r, -2*r = 5*w + 65. Let p be (28/(-12))/(5/w). Is 15 a factor of ((-6)/p)/((-4)/140)?
True
Suppose 8*h - 226 = 590. Does 6 divide h?
True
Let v be (4/(-8))/((-1)/(-12)). Let y be 2/v - 52/6. Let j(w) = -w**3 - 10*w**2 - 11*w - 10. Is j(y) a multiple of 4?
True
Let k(n) = 14*n**2 - 3*n - 2. Let h = -15 + 13. Is 20 a factor of k(h)?
True
Let u(s) be the second derivative of s**3/2 - 9*s**2 - 3*s. Let a be u(6). Let n = a + 22. Is 20 a factor of n?
False
Let n be 2/11 - 434/(-154). Suppose 570 = n*p - 39. Is p a multiple of 42?
False
Suppose 2*m = -7*m + 135. Suppose 4*i - m*i + 451 = 0. Is i a multiple of 6?
False
Let k(y) = -y - 10. Let u be k(-16). Suppose -5*c = 4*f - 115, 85 = 3*f + u*c - 2*c. Is f a multiple of 11?
False
Suppose 4*v - 76 = -12. Suppose 39 = 5*g - v. Suppose -2*h = -g - 59. Is h a multiple of 11?
False
Let i = -2148 + 4263. Is i/12 + 10/(-40) a multiple of 22?
True
Suppose -2*b - 4*f - 567 = -7*b, -3*f = 5*b - 581. Let i = b - 71. Suppose -8*x + i = -6*x. Does 22 divide x?
True
Let j(l) = 52*l - 11. Let u(t) = 35*t - 7. Let k(m) = 5*j(m) - 8*u(m). Let d be k(-2). Let w = 61 - d. Is w a multiple of 5?
True
Let g(i) = 5*i. Let j be g(0). Suppose j = -7*x - 10*x + 1156. Is 17 a factor of x?
True
Let h be (-2 + 1)/(-1*1). Let u(p) be the second derivative of 16*p**4/3 - p**2/2 - 3*p. Does 21 divide u(h)?
True
Let t(q) = -16 + 16 + q - 2*q**2. Let z be t(-2). Is 25 a factor of (1*10)/(z/(-25))?
True
Suppose 2*j + 3*a - 212 = -36, -5*j = -3*a - 461. Suppose -93*p = -j*p - 306. Is 14 a factor of p?
False
Let w(j) be the third derivative of -j**4/24 + 25*j**3/6 - j**2. Does 5 divide w(11)?
False
Suppose 4*o - 45 = 23. Let g be (75/(-10))/(1/(-2)). Suppose -4*n + o + g = 0. Does 2 divide n?
True
Suppose n = 2*n - 2, 5*g + 2*n = 29. Let z(x) = x - 9. Let a be z(g). Does 7 divide (18/a + 1)*-2?
True
Let r be -4 + (10 - 5) + 3*11. Let d = r - -10. Is 11 a factor of d?
True
Suppose 2*g = -2*g - 80. Let r = g - -24. Suppose 655 = r*s + 199. Is 24 a factor of s?
False
Let y = 131 - -1901. Does 8 divide y?
True
Is 114435/243 - 11 - (-6)/81 even?
True
Suppose 0 = -5*i + 10, 0*n - 5*n + 1055 = 5*i. Does 4 divide n?
False
Suppose -2*z = -3*n + 157 + 518, -5*z = 2*n - 431. Is n a multiple of 4?
False
Let h = 182 - 29. Let k = 285 - h. Is k a multiple of 33?
True
Suppose 0 = -3*j - 3*f + 585, -2*j = -0*j + f - 390. Let r = -90 + j. Is r a multiple of 42?
False
Let o(h) = 66*h + 54. Is 24 a factor of o(5)?
True
Suppose 4*d - 3 = -2*f - 21, -f - 3 = 0. Let h(i) be the second derivative of -7*i**3/2 + 3*i**2/2 - 15*i. Is h(d) a multiple of 22?
True
Let p(i) = i**2 + 4*i - 21. Let g be 52/5 + 24/40. Is p(g) a multiple of 23?
False
Let s = -184 - -2144. Does 70 divide s?
True
Let c(y) = 122*y**3 - 3*y**2 + 3*y - 1. Let r be c(1). Suppose -4*n + 208 = -5*w, 0*n - 3*n - 5*w + r = 0. Is n a multiple of 13?
False
Is (-1 - -76)*(-1530)/(-225) a multiple of 30?
True
Let q = -1658 - -2145. Is 3 a factor of q?
False
Suppose -3*y + 1092 = 5*r - 0*y, 644 = 3*r - y. Does 11 divide r?
False
Let p(u) = 2*u - 36. Let k be p(17). Is (-12)/8*(k + -82) a multiple of 14?
True
Let m(r) = r + 1. Let l be m(2). Suppose 88 = 5*v - l*v. Is 11 a factor of v?
True
Suppose s - 3*s + 28 = 4*g, -g - 7 = 4*s. Suppose g*q = 13*q - 48. Is q a multiple of 7?
False
Is 65 a factor of 10/((-520)/(-39)) - (-1705)/4?
False
Let j = -751 + 884. Is j a multiple of 12?
False
Let z = 33 - -255. Does 18 divide z?
True
Let n(i) = i + 1. Let w be n(3). Let l = -19 + 30. Let y = l - w. Is 2 a factor of y?
False
Suppose -c + 9 - 11 = 0, y - 2*c = 126. Is 95 a factor of y?
False
Is ((-6)/(-14))/((-6)/(-5124)) a multiple of 61?
True
Let v(d) = d**2 - 9*d - 8. Let o be v(10). Suppose -2*q + 3*c - o*c = -34, 4*c + 31 = q. Is (2 - 36/q)*-220 a multiple of 25?
False
Let k = -195 + 291. Is k a multiple of 16?
True
Let f(a) = 10*a - 10. Let m = 20 + -9. Let h = 18 - m. Is 30 a factor of f(h)?
True
Let a(o) = 65*o - 383. Let z be a(6). Let j(q) be the first derivative of 13*q**2/2 - 15*q - 1. Does 21 divide j(z)?
False
Let m be 192 + 0*(-3)/(-9). Suppose -5*p = -p - m. Is 3 a factor of p?
True
Let k(a) = 32*a**2 + 20*a - 97. Does 25 divide k(4)?
False
Let n be (((-11)/(-3))/11)/(2/18). Suppose 271 = 4*y - h, n = -5*h - 12. Is y a multiple of 25?
False
Suppose 35 + 45 = 5*w. Suppose 5*q = 9 + w. Suppose q*s = 65 + 30. Is s a multiple of 14?
False
Let o be 3 + -1 + 1 + 0. Suppose 0*i - o*i = -195. Is 12 a factor of (-507)/i*(-4 - 1)?
False
Suppose 54046 = -34*o + 156*o. Is o a multiple of 3?
False
Let q(v) = 2*v**3 - 6*v**2 - 6*v + 3. Let y be q(5). Let h = y + -43. Suppose 3*u - h = -2*u. Is 3 a factor of u?
True
Suppose 5*o - 15 = 0, -5*f = -4*f - 3*o + 6. Let x = -197 + 411. Suppose -2*j - 2*j = 4*c - 296, -x = -f*c + j. Is c a multiple of 24?
True
Let o be (0 - 4)*((-609)/(-12))/(-7). Suppose -3*h = o - 113. Is 14 a factor of h?
True
Let d(q) = -q + 10. Let n be d(6). Suppose 12 = n*j, 3*y - 68 = -4*j + 34. Does 10 divide y?
True
Does 10 divide -14 - -14 - (-211 + (-2)/(-2))?
True
Let f(o) = -o**2 - 10*o + 19. Let z be f(-11). Is (z/(-6))/(1/(-12)) a multiple of 5?
False
Let m(d) = 6*d. Let p(y) = 2*y + 1. Let l(j) = -3*j - 1. Let z(v) = -5*l(v) - 6*p(v). Let s(u) = -2*m(u) + 6*z(u). Is 8 a factor of s(5)?
True
Let j = 20 + -24. Let b(c) = -5*c - 10. Is b(j) even?
True
Suppose -5*x + 73 = 3*a - 467, -5*x = 4*a - 720. Does 12 divide a?
True
Let d be (-36)/(-9) + (-20)/(-2). Let i = 11 + d. Let w = i - -5. Does 10 divide w?
True
Suppose -4 = 17*h - 16*h. Does 8 divide (-64)/6*6/h?
True
Let y(f) = -f**3 + 9*f**2 + 12*f - 11. Let c(u) = 4*u - 2. Suppose r - 2*r = -q, -q - 4*r + 15 = 0. Let k be c(q). Is y(k) a multiple of 6?
False
Suppose 2*d = 4*d. Suppose 21*g - 18*g - 12 = d. Is g a multiple of 3?
False
Suppose 8*q - 48 = -4*q. Is 39 - (-4*(-1 + 3) + q) a multiple of 13?
False
Suppose d + d = 154. Let y = d - 144. Let f = y - -105. Does 15 divide f?
False
Suppose 0 = -3*t + 3*v + 210, v + 133 = 2*t + 6*v. Does 26 divide t?
False
Does 13 divide ((-1)/4*-4)/((-1)/(-13))?
True
Let q(j) = -j**2 + 29*j + 229. Is q(26) a multiple of 2?
False
Let v = -43 + 36. Does 9 divide (-2 + -1)*v - 3?
True
Suppose -k - 2*h = -0*k - 248, 4*h - 16 = 0. Suppose 0 = 6*t + 2*t - k. Is 10 a factor of t?
True
Suppose 3*q - 39 + 0 = 0. Let n = 12 - q. Does 9 divide (-7 + 8)/(n/(-9))?
True
Let u(w) = 5 - 4*w + w**2 + 33 + 2. Is u(9) a multiple of 12?
False
Let f = -66 - -64. Let b(v) = 8*v**2 + 5*v + 7. Does 5 divide b(f)?
False
Let x be (-36)/(-8) - -1*(-3)/2. Suppose 4*o - 197 = -3*q, -4*q = x*o - 7*o - 216. Does 20 divide q?
False
Suppose 3*h = 8*h - 3215. Suppose -5*q - h = -4*m, m + 2*q - 164 = -0*m. Is m a multiple of 18?
True
Let s(d) = -4 - 4*d + 3 - 6. Let g = 464 + -469. Does 7 divide s(g)?
False
Let h = -79 - -37. Let z = 75 - h. Is 35 a factor of z?
False
Suppose 5*z + 5*i = 3283 + 6392, -4*z + i + 7725 = 0. Does 86 divide z?
False
Is ((-6)/12)/((-1 - -3)/(-668)) a multiple of 7?
False
Let f = 523 + 542. Is 15 a factor of f?
True
Let z(q) = q - 25. Let c be z(19). Is 14 a factor of c + 2 - 394/(-1 + -1)?
False
Let s(h) = -h**3 + 9*h**2 - 11*h + 7. Let b be s(7). Suppose l = 4*l + 12, 0 = -2*w + 2*l + b. Does 10 divide w?
True
Let f be (42/(-18))/((-1)/15). Suppose -a - f = -130. Suppose -2*y - 25 = -a. Does 31 divide y?
False
Suppose 0 = -q + 95 + 129. Is q a multiple of 32?
True
Suppose q + 14 + 5 = -o, 3*o - 4*q + 92 = 0. Suppose 0 = 332*a - 317*a - 480. Let n = a + o. Is 8 a factor of n?
True
Let s = 776 + -694. Is s a multiple of 7?
False
Let s = 1244 + -767. Does 21 divide s?
False
Let f(u) = 7*u**3 - 2*u**2 + 7*u - 4. Let d(g) = 21*g**3 - 6*g**2 + 22*g - 12. Let m(h) = -2*d(h) + 7*f(h). Does 27 divide m(2)?
True
Is 2979 - (5/(-2))/((-200)/240) a multiple of 14?
False
Let c be ((-3 + 3)/(-1))/1. Let d = c + 64. Is 9 a factor of d?
False
Suppose 4*q + 5*u = 9602, -q + 3482 = 4*u + 1087. Is 42 a factor of q?
False
Suppose -508*n - 5115 = -51