 = -x - 9*m. Suppose 11 = r - x. Does 14 divide r?
False
Let n be 4 + (-1 + 4 - (-15 - -17)). Suppose 2*x = -2*y + 340, 0 = y - n*y. Does 5 divide x?
True
Suppose -t - 11*t = -60. Suppose a = 5*a - t*c - 48, 2*a + 5*c = 24. Suppose a = -5*r - 13, 5*n - r - 850 = 0. Does 13 divide n?
True
Suppose 0 = w + 3*y - 16346, -17167 = 5*w - 2*y - 98897. Does 22 divide w?
True
Let h(v) = 3*v**2 + v + 2. Let l be h(-6). Suppose -x = 7*g - 8*g + 68, 5*x + 2*g = -312. Let p = l + x. Is p a multiple of 10?
True
Let l(n) = -n - 3*n + 6*n - 21 + 14*n**2 - 5. Is 49 a factor of l(-5)?
False
Let o = 28 - 25. Suppose -g = 4, -g - o = 2*c - 55. Suppose j - 42 = c. Is 14 a factor of j?
True
Let y(c) = c**3 + 2*c**2 - 10*c - 1. Suppose -6*k - 3*k = 36. Let j be y(k). Suppose -j*o + 624 = -566. Does 12 divide o?
False
Suppose -i + 5 = -0. Let q be 129 - (-5 - (i + -15)). Suppose -3*x = 5*o - q, 2 = o + 5*x - 14. Is 13 a factor of o?
True
Let a(m) = -m**3 + 3*m - 1. Let r be a(-3). Suppose -4*z - 204 = 47*z. Does 21 divide (-2 + r)*(z - -11)?
True
Suppose 85 = -9*s + 11*s + 3*j, 93 = 4*s - 5*j. Does 16 divide s?
True
Suppose 78704 + 36306 = 232*u - 227*u. Is u a multiple of 62?
True
Let g = 18443 - 18443. Let k(x) = x**2 + 5*x - 1. Let n be k(-6). Suppose g = -z - n*w + 80, -4*z - z = w - 280. Does 21 divide z?
False
Let r be (1378/159)/((-4)/(-30)). Suppose 0 = 59*p - r*p + 2562. Is p a multiple of 61?
True
Let z be (-18)/(-12) + (-2)/4. Is 18 a factor of (-2)/(z + 256/(-252))?
True
Let i(q) = -5 + 21*q + 15 - 5 + 16. Does 36 divide i(11)?
True
Let r = 30369 - 18783. Does 3 divide r?
True
Suppose -3*k + 11135 = -79*m + 75*m, -7423 = -2*k + 3*m. Does 47 divide k?
True
Let q(w) = w**3 + 19*w**2 + 8*w - 21. Let p be q(-18). Let n(f) = -8*f - 158*f**3 + 3*f**2 + f**2 - 4 + p*f**3. Is n(-5) a multiple of 9?
False
Suppose -3*y = 5*t - 1182, -97*y + 6 = -98*y. Is t a multiple of 6?
True
Let t(f) be the second derivative of f**4/12 - 11*f**3/6 + 6*f**2 + 29*f. Let k be t(9). Is 26 a factor of 185 + k + 3 - 0?
True
Suppose -3*x + 1 = -5*t, 2*t + 4*x = -3*t - 22. Let b be ((-9)/t - 2)*-2*11. Let p = -23 - b. Is 7 a factor of p?
False
Suppose -11*s - 2107 = -13*s + j, -4*s = -5*j - 4223. Suppose -296 + s = 9*o. Does 12 divide o?
True
Suppose -3*j - 3 = -2*j. Let h(u) = -12*u**3 - 4*u**2 - 2*u - 3. Does 12 divide h(j)?
False
Suppose 0 = 23*k - 26*k + 138. Let u = k + -32. Is 906/u + 10/35 a multiple of 13?
True
Let t(x) = -3*x**2 - 6*x**2 + 43*x - 5*x**3 - 27*x + 3*x**3. Is 17 a factor of t(-9)?
False
Let z(d) = -3*d**2 + 108*d - 28. Let j = 32 + 2. Is z(j) a multiple of 22?
True
Suppose 77535 = 4*l + 3*u, 3*l + 35*u - 34*u = 58145. Does 80 divide l?
False
Let r = 21 - 6. Suppose 18*m = r*m - 36. Let q(j) = j**3 + 13*j**2 + 8*j - 10. Does 18 divide q(m)?
False
Is 80 - (-3 + 18 - 12) a multiple of 8?
False
Let h = -569 + 571. Suppose 22*p - 26*p - 1760 = -h*u, 880 = u + 2*p. Does 11 divide u?
True
Let r(t) = -2*t - 3 - 182*t**3 + t + 201*t**2 - 199*t**2. Suppose 9*z + 13 = 4. Is r(z) a multiple of 14?
True
Let t = -183 + 174. Does 27 divide (96 - 2)*t/(-6)?
False
Suppose v + 3014 = 4*k - 1259, -3*k = 11*v - 3287. Is k a multiple of 3?
False
Suppose 3*b - 9 = -3, 5*j + 2*b = 404. Suppose 0 = 2*y + 2*k + 2*k - j, y = -3*k + 43. Is 17 a factor of 4*(-2)/((-16)/y)?
True
Let b(h) = h**3 - 40*h**2 - 39*h - 73. Let s be b(41). Suppose 5*w + 5*x - 2115 = 0, 47*x + s = 50*x. Does 15 divide w?
True
Let h(j) = 642*j**2 + 25*j + 9. Does 119 divide h(-3)?
True
Suppose -4*k + 0*k + 5*m + 4055 = 0, -3041 = -3*k + 4*m. Let h = k + -250. Suppose 0 = t - 6*t + h. Does 17 divide t?
True
Suppose 4*u - 624 = -4*m, m - 124 = 2*u + 23. Let g(d) = 281*d**2 - 10 - m*d**2 - 147*d**2 + d**3 - 5*d - 2*d. Is g(20) a multiple of 50?
True
Let q be ((-6)/9)/(4/(-12)). Suppose -10 = -5*d - q*z, -4*d - 15 = z - 4*z. Suppose -5*k - 5*f + 930 = d, 3*k + f - 557 = -f. Is k a multiple of 37?
True
Let h be (10/(-8))/((-19)/76). Suppose -p - p = -8, -h*t + 524 = -4*p. Is t a multiple of 6?
True
Let u = -31 + 32. Let c be u - -9*4/(-12). Is 11 a factor of 35*(c/2 - 9/(-3))?
False
Let n = -638 - -2174. Does 16 divide n?
True
Let p(z) = 1222*z + 827. Is 25 a factor of p(9)?
True
Let c(h) = 4337*h + 254. Let p be c(10). Suppose p = 7*o + 31*o. Does 14 divide o?
True
Suppose 0 = 19*g - 68900 - 659. Is g a multiple of 74?
False
Let u(j) = 4*j + 73. Let n = -118 - -101. Does 3 divide u(n)?
False
Suppose 3*s = a + 1 - 0, -3*a = -3*s - 15. Suppose -11*v = -a*v + 846. Does 4 divide 3/(-21)*v + (-2)/7?
True
Is 16 - -1*(16 + 10108) a multiple of 13?
True
Let h(o) = 2*o**3 - 63*o**2 + 283*o + 63. Let l(b) = b**3 - 32*b**2 + 141*b + 31. Let k(d) = 2*h(d) - 5*l(d). Is 8 a factor of k(29)?
False
Let f be 816/119 - (-1)/7. Let n(j) = 6*j**2 + 4*j - 12. Is 5 a factor of n(f)?
True
Let i(x) = 3 + 15*x**2 + 8*x + 4*x**3 - 7 - 3*x**3. Let s be i(-7). Suppose 0 = -8*h + s - 84. Does 9 divide h?
False
Suppose 1008540 = 15*r + 17*r - 2*r. Is r a multiple of 225?
False
Does 11 divide ((-509)/2545)/(((-3)/5230)/3)?
False
Let w(u) = 5*u + 1. Let q(x) = 4*x. Let n(j) = -3*q(j) + 4*w(j). Let b be n(0). Suppose -20 = b*y - 76. Is y a multiple of 13?
False
Suppose -41*w - 3440 = 55887. Let g = -518 - w. Does 24 divide g?
False
Suppose 2*o - 2*i - 410 = 0, -1034 = -5*o - 5*i + 19*i. Is 17 a factor of o?
True
Let y(t) = 5*t**3 - t**2 + 3*t - 6. Suppose 20 = 17*h - 7*h. Let g be y(h). Suppose -30*q + g*q = 192. Does 15 divide q?
False
Suppose 2*r - 8 = 2*t, -2*t = -r + t - 6. Let y(a) = 59*a - 93. Does 21 divide y(r)?
False
Suppose -d = x + 3*x - 69, 0 = -4*d - x + 216. Suppose 304 = 4*m + 4*w, -5*w + 247 = 4*m - d. Suppose i + 27 = m. Is i a multiple of 4?
False
Let v(n) = 4*n**3 - 2*n**2 - 16*n - 3. Let x(p) = 11*p**3 - 4*p**2 - 48*p - 8. Let l(h) = 17*v(h) - 6*x(h). Does 55 divide l(6)?
True
Suppose 90*u - 92*u - 4*t = -19666, 0 = 5*u + 5*t - 49170. Is 24 a factor of u?
False
Suppose 2*u = -2*f + 4170, 2*u = 3*f + 6*u - 6260. Suppose 5*p = 5*g - 6370 + 1170, 2*g - 5*p = f. Is 18 a factor of g?
False
Suppose 3*o - 4*q = -6*q + 19, -4*q = -3*o - 11. Suppose 2*y - 2*h - 92 = 0, 5*y - 186 = -o*h + 68. Does 15 divide y?
False
Suppose 2367*b = 2358*b + 28314. Is 39 a factor of b?
False
Is (-2)/(-12) - ((-24)/(-27) - (-8139)/(-54)) a multiple of 3?
True
Suppose 0 = -2*y + 3*n, 2*y = -0*y + 4*n. Suppose t - 5*i - 162 = y, 119 = t + i - 73. Does 15 divide t?
False
Let b(j) = -j**3 + 121*j**2 - 488*j - 734. Is b(115) a multiple of 74?
True
Suppose -2*y = 3*m - 797, 4*y + 1454 = 5*m + 133. Let i = m - 85. Is i a multiple of 9?
True
Let u = -1 + -38. Suppose 95*a - 83*a = -1032. Let b = u - a. Is 17 a factor of b?
False
Let d(i) = 476*i**3 - 5*i**2 + 18*i - 29. Is 38 a factor of d(3)?
False
Suppose 5 = 9*a - 13. Suppose n + 8 = 2*r, -6*n + 3*n - a*r + 8 = 0. Suppose 40*b - 41*b + 93 = n. Does 8 divide b?
False
Suppose 3*i = b + 38310, 4*i - 5*b = 7497 + 43572. Is i a multiple of 54?
False
Let d(g) = 24*g - 254. Let t be d(10). Let h = 518 - t. Is 19 a factor of h?
True
Let x = -16 - -19. Is (-7 - -5)*(-1 + x) - -7 a multiple of 3?
True
Let h = -17935 + 18223. Does 24 divide h?
True
Let o(g) = 65*g - 7. Let l be o(3). Suppose -w - l = -308. Is w a multiple of 24?
True
Suppose -35*b + 824 = -31*b - 2*f, 2*b - 406 = -2*f. Let m be (2 - 3)/(2/(-278)). Let t = b - m. Is 33 a factor of t?
True
Suppose -3*u + 620 = -1597. Suppose u + 45 = 16*x. Is 3 a factor of x?
False
Let g = -4027 - -4366. Is g a multiple of 16?
False
Let p(b) = 2*b**2 - 13*b + 10. Let z be p(-11). Suppose -2*c + z = 3*m, 0 = -3*c + c + m + 391. Is c a multiple of 4?
True
Suppose 0 = 10*l + 5 - 25. Let g be 158 - l - (-5 - -9). Suppose -2*k + g = -20. Does 43 divide k?
True
Let l = 36495 - 15056. Is 12 a factor of l?
False
Let t(o) = 42*o**3 - 399*o**2 + 21*o + 10. Is t(10) a multiple of 17?
False
Let t(f) = 2*f**2 + 4*f + 8. Let c = 53 - 63. Is 10 a factor of t(c)?
False
Let l = 301 - 520. Let c = l - -339. Is c a multiple of 5?
True
Let g(m) = -4*m**2 + 7*m - 14. Let f(i) = 3*i**2 - 6*i + 14. Let s(j) = 3*f(j) + 2*g(j). Let h = 12 + -8. Does 14 divide s(h)?
True
Suppose -128*z = -116*z - 22800. Is z a multiple of 38?
True
Suppose -429 = -21*k + 1965. Suppose k - 30 = 6*i. Does 8 divide i?
Fal