*m - 3*u, -656 = -5*m - 2*u + 1054. Suppose -6*t = -8*t + m. Let y = -84 + t. Is y a multiple of 29?
True
Let f be (-2 - -7 - 6) + -5. Let z(l) = -67*l + 12. Does 18 divide z(f)?
True
Let l = -33819 - -88588. Is 53 a factor of l?
False
Let h be 39/6*1926/9. Suppose 9*a - 8*a = 4*z - h, -2*z + 693 = -a. Is 9 a factor of z?
False
Let v be (-770)/20*-1*2. Suppose 76*d = v*d - 4. Suppose d*p - 132 = 44. Does 11 divide p?
True
Let p(i) = 276*i - 420. Does 12 divide p(11)?
True
Is (-30)/(-8)*(-2090296)/(-303) a multiple of 199?
True
Suppose 0 = 9*l - 41*l + 1376. Suppose -5*p - 979 = -3*j, 46*p = j + l*p - 333. Is j a multiple of 16?
False
Suppose 2 = 2*k + 2*m, 4*k = 6*k + 5*m + 13. Suppose 2*x + k = x. Let u(f) = 3*f**2 + 10*f - 8. Is 8 a factor of u(x)?
True
Suppose 4*q = 11 + 137. Suppose 4*o + 193 = 309. Let s = q - o. Is s a multiple of 4?
True
Let l(s) = -s**2 - 19*s - 22. Let u be l(-15). Let a = -86 + u. Is 16 a factor of 3/(-1) - (1 + a - 4)?
True
Suppose -5*k - 96 = 3*j, 0*k + j = -4*k - 81. Let r = 60 - k. Suppose -x = -134 - r. Does 26 divide x?
False
Suppose 0 = -2*v + 29 - 5. Let p(j) be the first derivative of j**2 - 10*j + 313. Is 3 a factor of p(v)?
False
Let m(j) = 549*j**3 - j**2 + j + 3. Let f be m(-1). Let v = f - -960. Is 28 a factor of v?
False
Let j(p) = 99*p**3 - p**2 + 2*p - 1. Let y = 168 + -167. Is j(y) a multiple of 9?
True
Let c(g) = 70*g**2 - 160*g + 1931. Does 37 divide c(15)?
True
Suppose -219 = 17*s - 1341. Does 2 divide (6/7)/(s/2541)?
False
Let x = 25 - 61. Let i = 41 + x. Suppose -120 = -0*y - i*y. Is 17 a factor of y?
False
Suppose 0*n = 4*m + n - 40, -3*m = -4*n - 49. Suppose -j + 2*f = -11, 0 = j - 6*j - f + m. Suppose -51 = j*h - 4*h. Is 7 a factor of h?
False
Let q(v) = -659*v - 18. Let x be q(-2). Is 10 a factor of (140/(-25) - -6)*x?
True
Suppose 3*y - 6*u = -2*u + 80, 4*y - 2*u = 90. Suppose -2*j = -18 - y. Does 56 divide (13 - j)*(-25)/1?
False
Let u = 9910 - 7068. Is 14 a factor of u?
True
Suppose -60*g + 183448 = -379712. Does 38 divide g?
True
Suppose 183337*q = 183320*q + 38896. Does 44 divide q?
True
Let a be ((-5)/1)/(-5)*-331. Let c = a + 450. Is 10 a factor of c?
False
Let u(i) = 4*i**2 + 65*i + 125. Is u(-32) a multiple of 8?
False
Let t(g) = -7*g + 1. Let x = 29 - 30. Let h(a) = -2*a**2 - a - 2. Let y be h(x). Is t(y) a multiple of 22?
True
Let s = -1400 + 10682. Suppose 193*o - 206*o + s = 0. Is 7 a factor of o?
True
Let s be (-31)/((-14)/18 + (-22)/(-33)). Let q = -232 + s. Is 3 a factor of q?
False
Suppose -14831 = -29*u + 13184 - 1770. Does 12 divide u?
False
Suppose -41*o + 15*o - 42*o + 536792 = 0. Does 22 divide o?
False
Let f(m) = 2*m**3 - 6*m**2 - 8*m + 1. Let t(w) = w**3 - 5*w**2 - 7*w. Let p(k) = 3*f(k) - 4*t(k). Does 9 divide p(3)?
False
Suppose -105 = 10*f - 6425. Suppose 5*z + f = 802. Is z even?
True
Let z be (1 + 7 + 1)*6/9. Suppose -5*r + 558 = 4*o, 0 = 5*o + z*r - 4*r - 689. Is o a multiple of 5?
False
Suppose 3*d + 2 = 2*c - 17, 4*c - 3*d = 29. Suppose o - 3*h - 144 = 0, -6*o + 452 = -3*o - c*h. Does 9 divide o?
False
Let j = 19345 + -5485. Is j a multiple of 198?
True
Let x(k) = -4*k**2 + 0*k**2 - 2 - k**3 + 4. Let t be x(-4). Suppose 4*m + 8 = 0, -t*m = -5*a + a + 308. Is 19 a factor of a?
True
Let a = 1 + -1. Let t = 78 - 76. Suppose a = t*g - 35 - 25. Does 10 divide g?
True
Suppose 7*f = 5*f + q + 9288, 5*q + 23235 = 5*f. Is f a multiple of 39?
True
Let d = -112 + 166. Let q = -46 + d. Suppose 0 = q*r - 0*r - 96. Is r a multiple of 3?
True
Suppose 3*j = -5*p - 100, -4*j + p + 76 = -6*j. Let i = -29 + 106. Let h = j + i. Is h a multiple of 16?
False
Is 27 a factor of (-157110)/(-70) - (5 - 96/21)?
False
Suppose -8*a - 445 = 35. Let f = a + 319. Is 21 a factor of f?
False
Is 32 a factor of ((2 - 13) + 9)/((-2)/11616 + 0)?
True
Let n(o) = o**3 + 14*o**2 - 16*o + 5. Let q be n(-15). Suppose -5*k + f + 14 = -4*k, 0 = 5*f + q. Is (-20 + 24)*(-3)/((-6)/k) a multiple of 10?
True
Suppose 35*x + 2*r + 26 = 32*x, -2*x + 3*r = 13. Let o be (-2)/(-1 + -1*1). Does 2 divide -4*o*(3 + x)?
True
Let o(u) = 6726*u**3 - 2*u**2 + 66*u - 65. Is 42 a factor of o(1)?
False
Suppose 3*k = 0, -4 = -p + 4*k + 1. Suppose -132*h = -2*w - 133*h + 9, -3*w = h - 14. Suppose -w*m + 2*c = -144, 0 = c - p*c - 8. Is m a multiple of 28?
True
Let g = 9112 - 6124. Does 4 divide g?
True
Suppose -2*n - 1 = -3. Let v be 11*n + 5 + -3. Suppose v*y - 17*y + 64 = 0. Is 5 a factor of y?
False
Suppose 2*l - n = -5*n + 686, -l + 343 = n. Is l a multiple of 32?
False
Let b(x) = -4063*x + 5904. Does 108 divide b(-6)?
False
Let u(o) = -26 + 6*o - 22*o - 85 - 5*o + 4*o. Is u(-18) a multiple of 36?
False
Let t(f) = f**2 + 11*f + 24. Let j be t(-8). Suppose -65*p + 54*p + 18150 = j. Does 66 divide p?
True
Suppose 0 = -2*j - 6*o + o + 33299, -4*j + 2*o = -66562. Does 10 divide j?
False
Let g = -3680 + 3968. Does 3 divide g?
True
Suppose -10 = -4*m + 6. Suppose -2 = -d - m*w + 17, 4*w + 16 = 4*d. Suppose -d*f + 617 + 34 = 0. Is 11 a factor of f?
False
Let q(b) = b**2 - 4*b + 3. Let i be q(3). Let p be (-3)/6 - (-7063)/14. Suppose i = -6*m + 3*m + p. Is m a multiple of 42?
True
Suppose 0 = 3*j - 6620 + 2540. Suppose -58*d - j = -63*d. Is d a multiple of 68?
True
Let k = 11140 - 2198. Is 3 a factor of k?
False
Let p(o) = -21 - 41 + 75 - 9*o**2 - 11*o + o**3. Let b be p(10). Suppose k - 168 = -b*k. Is 21 a factor of k?
True
Let c be (14/49)/(3/(-63)). Is c*8/((-192)/1448) a multiple of 18?
False
Does 22 divide (429/(-52))/((-13)/7488)?
True
Suppose 0 = 9*x - 9 - 45. Let v(d) = -7*d - 4*d**2 - 2*d**2 + 2*d**2 - 10 + x*d**2. Does 3 divide v(6)?
False
Let k(o) = -29 + 681*o - 14 - 46 + 110. Does 39 divide k(1)?
True
Suppose -q + 3*k = -20, 7 - 17 = 2*q + 4*k. Let b(g) = 2*g**2 + 11*g + 6. Is 37 a factor of b(q)?
True
Let n = -25 - -29. Suppose n*t - 4*b = 756, 0*t - 5*b = 3*t - 575. Suppose 0 = 8*d - 13*d + t. Does 24 divide d?
False
Let p(z) = -394*z + 33. Let d be p(-3). Suppose 405 = 4*n - d. Does 15 divide n?
True
Suppose 124 + 201 = 5*k. Let z = k - 144. Let a = 33 - z. Is a a multiple of 22?
False
Suppose -4*y - 4 + 0 = 0. Let j be y + (48 - 1) - 2/1. Let d = j - 4. Is d a multiple of 14?
False
Let j be 6/((-2)/6 + 0). Let w(i) = -3*i**2 - 60*i - 9. Is 10 a factor of w(j)?
False
Let r be ((-3719430)/(-231))/(2/(-28)). Is 4 a factor of r/(-455) - (3/7 - 1)?
True
Let n = -419 - -312. Let c = n + 612. Is 11 a factor of c?
False
Let w(m) = -2*m**2 + 16*m + 3. Let b be w(8). Let t be (-2)/((-1)/(b/(-2))). Is 14 a factor of (-5)/(-2)*(111 - t)/3?
False
Let m = -356 - -627. Let q = 246 + m. Let y = q - 301. Does 27 divide y?
True
Suppose n - 5*u - 68 = 0, -5*n = 4*u - 292 - 19. Suppose -80*q + n*q + 2176 = 0. Does 8 divide q?
True
Let n = 8697 + -5939. Suppose 11*s - n = -217. Suppose -21*o + 24*o = s. Is 7 a factor of o?
True
Suppose -12 + 17 = i. Does 36 divide ((-216)/(-21))/(i/35)?
True
Let v be (-4)/26 - 121446/1521. Does 19 divide (v/(-25) - 4)/(4/(-3350))?
False
Let u be (18/12)/((-3)/150). Let c = u - -82. Suppose 3*q - 2*j = 362, 4*j + 604 = c*q - 2*q. Is 12 a factor of q?
True
Suppose 0 = a + 2*m - 23, 21*m + 104 = 3*a + 20*m. Suppose a*w = -810 + 14670. Does 10 divide w?
True
Let b(k) = -71*k**3 - 2*k**2 + 10*k - 13. Is 7 a factor of b(-4)?
True
Suppose -4*m + 1486 = 5*u, 11*m + 1450 = 5*u + 6*m. Is 10 a factor of (u/35 - 6)*100?
True
Let y(l) = -2*l**3 + 49*l**2 - 4*l - 26. Let s(u) = u**3 - 11*u**2 + 3*u - 9. Let a be s(11). Is 10 a factor of y(a)?
False
Let m = 236 - 220. Let k(q) = -q**3 + 18*q**2 - 5*q - 23. Is 9 a factor of k(m)?
False
Suppose -21 = q + 3*y - 26, -5*y + 25 = 5*q. Suppose -2715 = -q*j - 0*j. Is 17 a factor of j?
False
Suppose -9*f - 16 = 29. Is 16 a factor of (45 + -8)*(0 - -1) + f?
True
Let y(m) = m**3 + 14*m**2 + 18*m - 5. Let n be (1/(9/15))/(9/(-54)). Is y(n) a multiple of 51?
False
Suppose 87 = 5*c - 18. Suppose 5*k + 0*b = 4*b + c, 9 = k + 4*b. Suppose k*q - 227 - 228 = p, -10 = -2*p. Does 31 divide q?
False
Let j(i) = 4 + 3*i + i**2 - 3 + 3*i - 3*i. Let f be j(-2). Does 9 divide 0 - -16 - (-2)/f*-1?
True
Let i = 41 - 33. Suppose 10*d = i*d. Suppose 3*j = 2*j + 4*b + 47, 3*j + 4*b - 157 = d. Does 17 divide j?
True
Suppose -i + n + 995 = 0, n + 4940 = 5*i - 55. Is i a multiple of 4?
True
Is 