 5*j - 3*w = -0 + 5, -3*w = -15. Suppose 0*s + 40 = j*s. Does 5 divide s?
True
Let v = 2342 - 862. Suppose 4*m = -4*r + v, 235 = 4*r - 4*m - 1213. Suppose 4*y - r - 42 = 4*o, -y + 108 = -3*o. Is 33 a factor of y?
True
Suppose 5*c - 554 - 1286 = 0. Suppose 3*d = 11*d - c. Is 16 a factor of d?
False
Is 33 a factor of (-2)/8 - 9711/(-156)?
False
Let g = -61 - -69. Is (152/(-4))/(g/(-12)) a multiple of 19?
True
Suppose 3*o - 141 = -375. Let c = 140 + o. Is c a multiple of 31?
True
Suppose -2*t = -5*k + 24, -2*t - 23 = -4*k - 3. Suppose k*x = -x + 4*h + 298, -3*x + 166 = 4*h. Is x a multiple of 16?
False
Suppose 2*y + 128 = 3*c, 3*y - 5*y = 2*c - 72. Is 20 a factor of c?
True
Let f(r) = -6*r - 7. Let j be f(-4). Suppose 21*k = j*k + 88. Does 3 divide k?
False
Suppose -5*b = 3*a + 37 - 1380, -3*a + 4*b = -1388. Is a a multiple of 18?
False
Suppose 3*k = 6*k - 9. Suppose -92 = -k*g + 97. Is g a multiple of 21?
True
Let t = 707 - 226. Is t a multiple of 37?
True
Suppose -6*y - 135 = -411. Does 7 divide y?
False
Let z(m) = -17*m**3 + 2*m**2 - 6*m - 23. Does 11 divide z(-3)?
False
Let k(h) = 16*h - 3*h - 3*h - 77 + 4*h. Does 27 divide k(23)?
False
Let z = -352 - -470. Is z a multiple of 3?
False
Let h(d) = 7*d**2 - 7. Let u be h(-5). Suppose 2*k + u = 5*k. Suppose 2*s + 2*x - 86 = 0, -7*x = -2*s - 3*x + k. Is s a multiple of 18?
False
Suppose -73*h + 18 = -76*h. Is h/((-74)/(-40) + -2) a multiple of 5?
True
Suppose -4*s = -s - 240. Let v = -26 + s. Let b = v - 36. Does 9 divide b?
True
Let x = -55 + 58. Suppose -4*v + z = x*z - 582, 4*v - 567 = 3*z. Does 12 divide v?
True
Let o(k) = -k**2 - 9*k + 5. Suppose 3*s = 5*a - 6 - 34, a = -s. Does 25 divide o(s)?
True
Let i(k) = 13*k + 10. Is 4 a factor of i(2)?
True
Suppose 22*k = 19*k + 6. Suppose 0 = -k*z - 0*z + 16. Does 4 divide z?
True
Let k = -1912 + 2104. Does 3 divide k?
True
Let y = -424 + 560. Is 3 a factor of y?
False
Suppose -7*h = 729 - 11299. Does 16 divide h?
False
Let i(g) = -28*g**3 - 2*g**2 + 8*g + 6. Is 8 a factor of i(-3)?
True
Suppose -4*f - 2*x + 1520 = 0, -6*x = -2*f - 4*x + 748. Is 14 a factor of f?
True
Let v = -593 - -1627. Does 7 divide v?
False
Let h(u) = -8 + 0*u**2 + 4*u + u**2 - 2*u**2 + 2*u**3. Is 20 a factor of h(4)?
True
Let n(j) = 3*j + j**3 + 5*j**2 + 0 - 10*j**2 + j + 7. Does 8 divide n(5)?
False
Let j be 1*(3 + -2)*7. Let c(m) = 19*m + 43. Does 14 divide c(j)?
False
Suppose -5*n = -5*y + 55, 3 = -3*n - y - 10. Let c = n - -11. Suppose -4*o - 5*k + 1 = 8, -3*o - c*k = 9. Is o even?
True
Suppose 0*u = 3*u - 27. Let d(t) = 8 - 5 - u*t + 3. Is d(-4) a multiple of 25?
False
Suppose 0 = -3*n - 0 - 3, 0 = l - 2*n + 2. Let q be (1 + 2)/(l + 5). Suppose 32 = 5*m - q. Is 2 a factor of m?
False
Let m(h) = -2*h**3 + 4*h**2 - 3*h - 12. Is 39 a factor of m(-6)?
False
Let u be 39/(-13) - (1 - 0). Does 3 divide 1*((-36)/u + 2)?
False
Let l = 168 - 276. Let j = 228 + l. Does 40 divide j?
True
Let f(z) = -z**2 + 23*z - 1. Let m be f(23). Let s(l) = -88*l**3 - l**2 + 1. Is 9 a factor of s(m)?
False
Suppose 4 = 4*u, 135 = 3*t - u - 356. Is t a multiple of 2?
True
Let o be (0 + 1)*(-7 - -1). Is 4/o - (-1208)/12 a multiple of 24?
False
Let d = 145 + -14. Let u = -90 + d. Is u a multiple of 8?
False
Suppose 0 = 8*t - 3*t + 955. Let f = t + 284. Is 11 a factor of f?
False
Let z be ((-12)/5 - (-22)/55) + -2. Is 17 a factor of 3*(z/14 + (-1968)/(-126))?
False
Suppose 6*o - 567 - 915 = 0. Does 5 divide o?
False
Let b(i) = i**3 + 9*i**2 - 21*i - 10. Let x be b(-11). Let d = 29 - x. Does 10 divide d?
True
Suppose 1352*z = 1348*z + 4380. Is 70 a factor of z?
False
Suppose -2*b - 43 = 5*q, 3*b - 3*q + 8 = -4. Let a be (-50)/15 + (-3)/b. Is a/((-12)/(-8)) + 32 a multiple of 8?
False
Let i(s) = s**2 - 11*s - 9. Let w be (-2)/(6/(-45)*-5). Let a(o) = o**2 - 10*o - 8. Let n(t) = w*a(t) + 2*i(t). Does 7 divide n(5)?
True
Let d = 2143 + -1499. Is 14 a factor of d?
True
Let q(t) be the third derivative of -t**4/12 + 11*t**3/6 - 6*t**2. Does 6 divide q(-5)?
False
Suppose -c - 1 = -4. Suppose 29 = 4*a + y, -c*a + 19 + 14 = -3*y. Suppose 2*q = 34 + a. Is 21 a factor of q?
True
Suppose 0*o + 2*o = 548. Let n = -415 + 232. Let l = n + o. Does 22 divide l?
False
Let x(h) = 42*h + 19. Let g be x(8). Let q be g/(-20) - 3/12. Let v = 110 + q. Is v a multiple of 11?
False
Let z be 3 + (0 - (0 + 9)). Let s(x) = 2*x**2 + x - 6. Let q be s(z). Does 8 divide (q/50)/((-1)/(-15))?
False
Suppose -60168 = 27*o - 136*o. Does 7 divide o?
False
Let q be -4*(-2)/(16/(-62)). Let k = q + 57. Is k a multiple of 8?
False
Suppose 59 + 145 = 4*h. Let d = 94 - -35. Suppose -h = -5*j + d. Is 6 a factor of j?
True
Let j(c) = c**2 - 7*c + 8. Let o be j(7). Suppose 0*s - g = 5*s - 32, 2*s - o = 2*g. Let l(i) = -i**3 + 8*i**2 - 9*i + 2. Is 9 a factor of l(s)?
False
Is 20 a factor of 108/16 + 15/12 + 1794?
False
Suppose 0 = -12*b + 22*b - 16470. Is 38 a factor of b?
False
Suppose 4*l + 13 = -5*p + 217, 0 = 2*p - 3*l - 77. Is 8 a factor of p?
True
Let v(f) = 67*f**2 + 2*f - 7. Let s(g) = -g**2 - 3*g + 7. Let q be s(-5). Let y(o) = -33*o**2 - o + 3. Let c(n) = q*v(n) - 7*y(n). Is c(1) a multiple of 15?
False
Let i be (-53)/(-4)*5 + (-3)/(-4). Suppose 0 = -i*j + 65*j + 192. Is 24 a factor of j?
True
Suppose -7 = 5*m - 12. Let v = 12 - 8. Is (m + 4)/(4/v) a multiple of 3?
False
Let a(f) = 24*f - 1. Let v(x) = 6*x. Let t(u) = -2*a(u) + 9*v(u). Let l be t(6). Let h = -16 + l. Does 22 divide h?
True
Let x = -1587 + 2730. Does 44 divide x?
False
Suppose -3*r = -3*c + 3576, -7*c + 3*r = -5*c - 2380. Is 30 a factor of c?
False
Suppose -2*k - 2 = 2*k + 2*q, -3 = -k + 3*q. Suppose 2*w + k*w - 2346 = 0. Does 22 divide 2/(-12) + w/18?
False
Suppose 3*r + 5*w - 10 = 40, -4*r = -5*w - 55. Let o = r + -11. Suppose 2*u + 4*k = 124, -u + 52 = o*k - 8. Is 18 a factor of u?
False
Let p(y) = y**3 - 9*y**2 + 15*y - 2. Let m be p(8). Let l = 86 - m. Does 16 divide l?
True
Let s = -4 - -4. Suppose -3*y + s = -3. Is 8 a factor of (16/6)/(y/6)?
True
Let k = 41 - 108. Let o = k - -104. Suppose 0 = 3*a + o - 121. Is a a multiple of 28?
True
Let d(t) = 2*t**3 - 5*t**2 - 4*t + 3. Let a be (-10)/((-3)/(3/2)). Let s be d(a). Let l = 208 - s. Does 20 divide l?
True
Does 35 divide (-24)/40 - 12715/(-25)?
False
Let c be (336/3)/(-4)*(-24)/(-28). Is 2/6 + (-2872)/c a multiple of 24?
True
Suppose 0 = 2*p + j - 2102, 9*j - 10*j + 2 = 0. Is p a multiple of 35?
True
Let q be (-1 - (-15)/12) + (-14)/(-8). Let h(k) = 68*k + 4. Is h(q) a multiple of 22?
False
Let v(p) = 3*p - 27. Let f be (-20)/(-90) + (-338)/(-18). Let s be v(f). Is (-20)/(-25)*1*s a multiple of 12?
True
Suppose -9*f = -j - 12*f, -8 = -j - f. Suppose -6 = -2*a + 4*o, -12 = -3*a + o + j. Does 2 divide a?
False
Suppose -594 = -4*d - 5*v, -4*v = -90*d + 89*d + 138. Is 62 a factor of d?
False
Suppose -209*p = -218*p + 1512. Is p a multiple of 21?
True
Suppose 3*w - 2 = -5*o + 51, 0 = 3*o - 2*w - 28. Let x = 10 - o. Suppose x = 3*n - 46 + 7. Is 3 a factor of n?
False
Suppose 3*n - 2592 = -4*f, 7*n - 4*f = 9*n - 1728. Is 54 a factor of n?
True
Let b(w) = -2*w**2 + 2*w + 2. Let p be b(-2). Let d be (0 + p)*(-4)/10. Suppose d = 4*i - 3*i. Is i a multiple of 3?
False
Let j(q) = -10 - 2*q + 2*q**3 - 12*q**2 - 3*q**3 + 18*q**2. Let w be j(5). Suppose c = 2*c + 4*k - 6, -w*k = -2*c + 64. Is 11 a factor of c?
True
Let n(s) be the second derivative of 7*s**4/2 - 4*s**3/3 + 4*s**2 - 26*s. Is 6 a factor of n(1)?
True
Suppose 0 = 3*n - 5*j - 758, -8*n + 1238 = -3*n - 2*j. Does 7 divide n?
False
Let l = -47 - -49. Suppose y - 2*y = l*g - 81, 4*y - 4*g = 264. Is y a multiple of 7?
False
Suppose 1 - 36 = -7*r. Suppose -3*s - r*j + 26 = -0, -j = -3*s + 20. Is 2 a factor of s?
False
Let h be (-1)/(-2 - (-113)/57). Suppose i = -4*o + 38, -o + h = 2*i - 54. Is i a multiple of 12?
False
Let w(o) = 2*o**2 + 43*o + 19. Let v be w(-21). Is (-44)/v*19/38 a multiple of 4?
False
Let n(z) = -z**3 + 0*z - 14 + 40*z**2 - 27*z**2 + 2*z. Is 50 a factor of n(11)?
True
Let q be (6 + -5)*3/(-3). Is -3 + q + (3 - 2)*82 a multiple of 13?
True
Let q = 5 - 2. Suppose 0 = -3*x - 5*t - 9, -q*x + 3*t + 13 = -x. Suppose 4*a - f = 56, 5*a - 57 = -x*f - 0*f. Does 4 divide a?
False
Suppose -n - 1 = -d - 2*n, 4*n = -d - 8. Suppose 130 = 3*p - g, -d*g - 168 = -3*p -