 of 34?
False
Let p be ((-9)/12)/((-4)/16). Suppose 4*l - 14 = 2*m, -l - p*l + m = -13. Suppose s = -l*q + 25, -2*s - 120 = -6*s - 2*q. Is s a multiple of 4?
False
Let l be (6/(-7))/(36/(-12096)). Suppose -942 = -y + l. Does 15 divide y?
True
Let x = 9648 - 5116. Does 22 divide x?
True
Suppose 28*x = -28 - 0. Is 2 a factor of 66 + 53 + (x - -2)*-3?
True
Let i be (10/15)/((-10)/(-396))*-5. Let m be ((-852)/(-2 + -2))/(-1). Let l = i - m. Is l a multiple of 9?
True
Let v = 89374 - 49932. Is 297 a factor of v?
False
Suppose -338*k + 336*k + 1114 = 0. Does 3 divide k?
False
Let g = -106 - -120. Suppose g*c - 81 + 11 = 0. Suppose 2*v - 154 = c*z, 5*z = -4 - 6. Is 18 a factor of v?
True
Let x = -68 - -79. Let p(q) = -q**3 + 13*q**2 - 13*q - 27. Let w be p(x). Let y = w + -18. Is y a multiple of 10?
False
Is 19 a factor of 2/(-17) + (-3484772)/(-2108)?
True
Let c = 2376 - -8099. Suppose 5*h = 5*d + c, 2*h - 3*d - d - 4186 = 0. Is 50 a factor of h?
False
Suppose x = 8*x - 588. Let t = 79 - x. Let s(r) = r**3 + 7*r**2 - 12*r - 5. Is s(t) a multiple of 24?
False
Let p(d) = -2*d. Let n(m) = -229*m + 58. Let g(o) = -n(o) + 5*p(o). Is 17 a factor of g(5)?
True
Suppose 9*q = 2*q + 35. Suppose -5367 = -4*v + 3*o + 2*o, -2*v - q*o = -2661. Suppose 26*b - 20*b = v. Is 27 a factor of b?
False
Let o be ((-2)/(-5))/(28/(-10) + 3). Suppose o*q - 100 = -0*q. Suppose 5*b = q + 95. Is b a multiple of 4?
False
Let f = -8990 - -14614. Does 7 divide f?
False
Suppose 156*l - 142567 + 80287 = 745956. Is 235 a factor of l?
False
Let g = 6278 - 1328. Is g a multiple of 22?
True
Let o(n) = 262*n**2 + 10*n + 9. Let f = -251 - -250. Is 9 a factor of o(f)?
True
Let g(l) = -l**2 - 12*l - 21. Let v(b) = -2*b**2 + 11*b + 15. Let c be v(8). Let w = c + 18. Does 11 divide g(w)?
False
Let v be (58764/(-15))/(3*2/(-30)). Suppose 21*c + 4132 = v. Is c a multiple of 84?
False
Let g(r) = 6*r**3 - 2*r**2 + 17*r + 7. Let o be g(5). Suppose -3*s + 594 = 4*h, 2*h - o = -4*s + 3*h. Is s a multiple of 66?
True
Let o(v) = 865*v**2 - 34*v - 89. Is o(-3) a multiple of 34?
False
Let q(c) = -6*c**2 - 601*c + 94. Does 10 divide q(-90)?
False
Suppose -11*v + 126 = -325. Let k = v + -38. Suppose 256 = 2*y - 2*b, -k*y + 4*b = -2*y - 122. Is 26 a factor of y?
True
Let j(q) be the first derivative of 73*q**3/3 + 5*q**2 + 9*q + 41. Is j(-1) a multiple of 18?
True
Let k = 11162 - 8007. Does 196 divide k?
False
Let p = -2939 + 4829. Suppose -9*r - 6*r = -p. Does 6 divide r?
True
Suppose 37*s = 38*s. Suppose -2*m + 370 = f, 3*f - 5*m - 499 - 578 = s. Is f a multiple of 9?
False
Let m be (-80)/50*-25*62/(-4). Let u = 1023 + m. Is 11 a factor of u?
False
Let s be (-4)/(-28) - 0 - (-4184)/14. Suppose v = -5*w + s, 0 = 4*w + 4*v - 195 - 41. Is w a multiple of 4?
True
Let t(i) = -i + 3*i + 5*i - 8*i - 32. Let l be t(-25). Let g(a) = 3*a + 33. Is g(l) a multiple of 9?
False
Let a(t) = 20*t + 30. Suppose 0 = -12*n + 6*n + 36. Let r(l) = 10*l + 15. Let g(k) = n*a(k) - 13*r(k). Does 11 divide g(-10)?
False
Let a = 10875 + -7080. Does 14 divide a?
False
Let g be (267*5/(-10))/(1/(-2)). Let x = 39 + -36. Suppose t - g = -2*t + 5*u, 5*t = x*u + 429. Does 21 divide t?
True
Let u = 12735 - 12559. Does 8 divide u?
True
Let q(v) = -v**3 - 14*v**2 + v + 14. Let s be q(-14). Suppose -5*x - 5*u + 65 = -s*x, 5*u = -2*x + 32. Suppose -x*l - 256 = -19*l. Is l a multiple of 16?
True
Suppose 15 + 28 = 2*p + 5*v, -p - v = -14. Is 6390/126 + -1 + p/7 a multiple of 17?
True
Let d(w) = 74*w**2 - 2*w - 3. Suppose 4*y + 24 = -4*s, 3*y - 7 = 2*s - 0. Let a be d(y). Let t = a + 130. Is t a multiple of 28?
False
Is 78 a factor of (10 + (-711)/36)*(-960)/2?
True
Suppose -1382513 - 1614019 = -69*l. Does 238 divide l?
False
Let w be (-632)/(-32)*4 - (1 - -2). Is ((w/8)/((-1)/(-26)))/1 a multiple of 20?
False
Suppose -78*a + 83*a = -2*d + 18687, 3*d - 27999 = 3*a. Does 61 divide d?
False
Let y be 6*-1*(-2)/(-3). Let g(m) = 5*m**2 - 8*m + 4 - 13 + 100*m**3 - 147*m**3 - 5*m + 48*m**3. Is g(y) a multiple of 9?
False
Let w(v) = 12*v**2 + 6*v + 11. Let i be w(-3). Suppose 20 - 8 = 4*x, r - i = x. Is r a multiple of 8?
True
Let i be (-4)/10 + 25/((-875)/(-189)). Suppose -2*x - 3 + 99 = 0. Suppose -i*w + x = v - 31, 0 = -4*v - 4*w + 332. Is v a multiple of 19?
False
Let f = 18 - 14. Let l be 1 + (-6 + f - -111). Suppose -802 = -5*z + x, 0 = -z + 5*x + l + 36. Does 33 divide z?
False
Suppose 12*z = 2*z + 4150. Suppose 0 = -5*i + 5*k + z, 4*k + 171 = 2*i + 7*k. Is i a multiple of 7?
True
Let c be ((-297)/(-36))/(0 + 1/(-4)). Let k = c + 30. Is -4*(0 + k + -1) a multiple of 16?
True
Is ((-14)/4)/(81/(-9882)) a multiple of 14?
False
Suppose -k - 3*k = -84. Suppose -k*h = -22*h + 196. Suppose -t + 195 = 5*y, -7*t + 8*t - h = -4*y. Is 40 a factor of t?
True
Let a = -9522 + 10392. Does 146 divide a?
False
Is ((-495)/25)/(2*9/(-7290)) a multiple of 33?
True
Let h be 48/21 - 2 - 185/35. Let w be (10/(-7))/(h/70). Suppose -3*a - 7 + 1 = 0, 2*g - w = 3*a. Does 6 divide g?
False
Let z = 52 + -60. Suppose -2*j - 4*x = -90, -x - 47 = -j - 2*x. Let r = j + z. Is r a multiple of 41?
True
Let y = 4446 + -2652. Suppose 13*x = 572 + y. Does 5 divide x?
False
Let i = -266 - -266. Suppose i = 13*d - 16*d + 831. Does 8 divide d?
False
Suppose 0 = 3*b - 576 + 2268. Let s = b + 749. Does 13 divide s?
False
Suppose 2*m = 4*a - 232, -a - 2*m = -0*m - 63. Let l = -49 + a. Is 39 a factor of 700/9 + 1/(45/l)?
True
Let w = 6335 + 1273. Does 24 divide w?
True
Suppose 170 = 18*i - 8*i. Suppose -3*q = -5*c + 15 + 55, 0 = -2*c - q + i. Suppose -8*r - c*r + 513 = 0. Does 9 divide r?
True
Suppose 3*c - 5*c = 0, -3*c - 614 = -y. Let i = y - 158. Is i a multiple of 38?
True
Suppose 0 = -2*w + f + 14197, 4*w - 660 - 27740 = -4*f. Is 41 a factor of w?
False
Let j be (20/6 + -3)*15. Let q = 596 - 291. Suppose 0 = -j*k + 5*a + q, k + 0*k + 3*a = 81. Is k a multiple of 9?
False
Let z(u) = 12*u**2 - 53*u + 230. Let o be z(5). Let k = o - 217. Does 4 divide k?
True
Let t = 35043 + -8261. Is 5 a factor of t?
False
Let s(d) = -d**2 + 7*d + 2. Let l = -92 - -97. Let p be s(l). Suppose -p*n + 19*n - 672 = 0. Does 12 divide n?
True
Suppose -4*m + 3*h = m + 54, 30 = -5*m - 5*h. Let a(f) = 4*f**2 + 15*f + 20. Does 11 divide a(m)?
True
Let d(r) = -36*r - 73. Let p be d(-6). Suppose p = -3*g + 392. Does 33 divide g?
False
Let o = -73 - -278. Let b = -43 + o. Is 13 a factor of b?
False
Suppose 5*y + 6056 = 9*y. Suppose m - 2*x - 500 = 0, -x + y = 2*m + m. Does 18 divide m?
True
Let c(w) be the second derivative of 3*w**5/20 + w**4/6 + w**3/6 - 14*w. Let d be c(-1). Does 21 divide (-209)/d + 7/14?
True
Suppose -104*n + 168345 = 41*n. Is 7 a factor of n?
False
Suppose -20 = -4*s - 4*q, s + 0*s - 3*q + 3 = 0. Let o(v) = v**2 - s*v + 14*v + 2*v**3 - 9 - 9*v. Is o(3) a multiple of 10?
True
Suppose -67*d - 33715 = -225469. Is 18 a factor of d?
True
Let g be 5 - ((-7)/((-14)/8) - -1). Suppose g = -l + 23*l - 5830. Is 7 a factor of l?
False
Let p(h) = -57*h + 1017. Is 15 a factor of p(-24)?
True
Let o(n) = 124*n - 166. Let m(x) = 42*x - 55. Let c(w) = -8*m(w) + 3*o(w). Does 19 divide c(9)?
True
Let z(a) = 2*a + 19. Let y(w) = 2*w + 19. Let i(v) = -4*y(v) + 3*z(v). Let u be i(-8). Is (105/20 + -4)/(u/(-60)) a multiple of 5?
True
Suppose 3*c + 1982 - 5282 = 2*u, 5*c - u - 5493 = 0. Let r = c + -498. Is 20 a factor of r?
True
Suppose -40941 = -p - 3*c, -112342 = -5*p - c + 92265. Does 44 divide p?
True
Let z be (-7)/(-2)*6/15*5. Let n(a) = 2*a**3 - 7*a**2 - 18*a + 14. Let h be n(z). Let t = h - 140. Does 4 divide t?
False
Let w = 2130 - 1384. Let m = w + -423. Is 17 a factor of m?
True
Let f(v) = -108*v**2 + 7*v + 107*v**2 + 8 + 4 - 2*v**3. Is f(-6) a multiple of 61?
True
Suppose 13 = -26*r - 13. Let b(x) = -x**3 - 2*x**2 + 3. Let s be b(-3). Does 36 divide ((36/(-21))/r)/(s/1218)?
False
Let z(x) = 662*x**2 + 497*x + 2491. Is 19 a factor of z(-5)?
False
Let d = 71 - 78. Let g(i) = -12*i - 37. Let o be g(d). Let z = 167 - o. Does 10 divide z?
True
Suppose 5*x - 16661 = -o, -5*x + 40*o + 16657 = 37*o. Does 49 divide x?
True
Suppose -98*d + 94*d = -2352. Suppose -53*j + 57*j - d = 0. Is j a multiple of 7?
True
Let u(y) = 2*y - 13. Let t(p) = -2 + 3 + p - 7. Let h(r) = 5*t(r) - 3*u(r). Is h(7) even?
True
Let m be (