 j?
True
Let a(j) = 3*j**3 - 20 + 10 - 2*j**2 - j**3 + j - 4*j**2. Is a(5) a multiple of 19?
True
Suppose -6*x + 4*x + y + 3 = 0, -12 = -5*x + y. Suppose 72 = -b + x*b. Suppose l - b = -l. Does 12 divide l?
False
Let l be 12/5*(0 - 10/(-4)). Suppose 3*s = -5*q + 351, -4*q - 4*s + 272 = -l*s. Does 23 divide q?
True
Suppose -4*w + w - 2*y = -13, 4*w = 2*y - 6. Let h(d) = -16 + 29*d + 9 + 5. Is 7 a factor of h(w)?
False
Let v(a) = -56*a**2 - 2*a + 1. Let t be v(1). Let l = 103 + t. Suppose 0*o - 52 = -3*o + 2*m, 0 = -4*o - 2*m + l. Does 11 divide o?
False
Let x(j) = 42*j - 78. Does 44 divide x(12)?
False
Let t = -37 - -17. Let a be (t/6)/((-4)/6). Suppose -l + 5*s + 74 = 0, a*l + 3*s - s - 289 = 0. Is 22 a factor of l?
False
Suppose 53 + 2 = 11*j. Suppose 0*f - j*y = -3*f + 92, 0 = 3*y - 6. Does 34 divide f?
True
Let k be (-798)/(-90) + (-2)/(-15). Let f = 64 - k. Is 11 a factor of f?
True
Let h(c) = -c**2 + 3*c + 14. Let p be h(-7). Let d be p/(-10) - 32/(-80). Is 7 a factor of d/(-8) - (-695)/20?
False
Suppose 5*a + 2294 = 4*o + 10*a, -3*a - 2310 = -4*o. Is 16 a factor of o?
True
Does 16 divide (-72)/288 - 9346/(-8)?
True
Let j(o) = -o**3 - 11*o**2 - o - 10. Let f be j(-11). Let i(k) = f - 12*k - 3*k**2 + 2*k**2 - 4 - 3. Is i(-10) a multiple of 13?
False
Is (8/6)/(49/1470) a multiple of 4?
True
Let m = 151 + -131. Is 8 a factor of m?
False
Suppose 0 = 4*u - 128 + 52. Suppose 0 = -5*f + 1 + u. Suppose -f*o - 4*m = -92, -5*o + 4*m = -82 - 15. Does 21 divide o?
True
Let w(m) = 25*m + 1. Let c be w(8). Let y(q) = q**2 - 6*q - 3. Let k be y(7). Suppose c = k*p - 7. Does 11 divide p?
False
Suppose 30 = -r - 3*b, 0 = -4*r - 0*b + 2*b - 92. Let s = r + 45. Is 6 a factor of s?
False
Let s(c) = 0 + 12*c + 10 - 19 - 18. Does 16 divide s(6)?
False
Let g be ((-2)/((-4)/(-5)))/(5/(-10)). Does 21 divide -1 + g + (121 - -1)?
True
Let x be (-3 - 38/(-10))*(-15)/(-2). Suppose -8*t + 3108 = x*t. Is 27 a factor of t?
False
Suppose d = 2*r - 985, -3*r + 1480 = -3*d + d. Does 14 divide r?
True
Suppose -3*m - 1 + 7 = 0. Let c be 148/5 - 2/(-5). Suppose -m*h = h - c. Is 5 a factor of h?
True
Let k = 703 + -598. Does 21 divide k?
True
Let w(y) = -y - 2. Let m be w(-4). Let a be (-8)/m*(-3 - -2). Is (-3)/a + 345/12 a multiple of 9?
False
Is (6 - 0) + 972/3 a multiple of 5?
True
Let a = -45 - 23. Let d = 73 + a. Is 5 a factor of d?
True
Suppose 0 = 2*r - 6, 5*c - 4*r + 5*r = 1378. Does 10 divide c?
False
Suppose 3*a = -i - 45, -37 = 3*a + 3*i + 8. Let d be (a/6 - -1)*-4. Suppose 0 = -8*g + d*g + 16. Does 8 divide g?
True
Let n = -29 - -68. Let f = -15 + n. Is f a multiple of 3?
True
Let c be -50 - (-1 + 3) - (0 + 0). Let j = -25 - c. Is 3 a factor of j?
True
Suppose 5*f + s - 243 = 3*f, 5*s = -2*f + 255. Suppose -4*a + f = 4*c, 2*a = c - 0*c + 66. Does 16 divide a?
True
Let l = -9 + 11. Suppose 4*o = l*o + 10. Suppose -o = z, 3*k + k = -3*z + 57. Is 6 a factor of k?
True
Suppose n + 568 = 5*n. Let v = n - 70. Suppose 5*y - 13 = v. Is y a multiple of 17?
True
Suppose -4*l = -3*x - 9, -6*l + l = 3*x + 9. Suppose l = 2*o - 243 - 419. Is 19 a factor of o?
False
Suppose -p = 4*p - 1245. Let b(s) = -s**2 - 4*s. Let n be b(-2). Suppose 332 = n*q + 3*z, z = 3*q + 2*z - p. Is 24 a factor of q?
False
Let d be (0 - 3/2)*2. Suppose 35*p = 3*p - 288. Does 5 divide 42/p*d + 2?
False
Let s = -1 + 4. Suppose 0 = -s*t + 85 + 17. Is t a multiple of 12?
False
Let d = -18 - -24. Suppose -2*s - 36 + d = 0. Let j = s - -27. Does 6 divide j?
True
Let d(a) be the second derivative of -a**5/20 + 5*a**4/4 - 3*a**3/2 + 3*a**2 + 2*a. Let v = -75 - -89. Does 38 divide d(v)?
True
Let w = -51 - -29. Let i = -20 - w. Does 26 divide i/(-6) - 235/(-3)?
True
Suppose 3*c = -r - 17, -r - 5*c + 9 = 26. Let s = 21 + r. Suppose -5*z + 18 = 5*g - 27, s*z - 2*g = 48. Does 5 divide z?
False
Let d(l) = 862*l**3 + 2*l**2 + 8*l - 10. Is 67 a factor of d(1)?
False
Suppose -21 + 406 = -5*b. Let x = b - -20. Does 7 divide (-2)/6 - 1273/x?
False
Suppose -5*d + 6 - 16 = 0. Is ((-273)/28)/(d/8) a multiple of 8?
False
Let s be -6 + -3*(2 - 3). Let o = 2 + s. Is (-6)/(0 + o) - 1 even?
False
Suppose -3*x + 13 = -2. Suppose x*n - i = 105, 5*n - 120 = -i + 5*i. Suppose -5*d = -10*d + n. Is d a multiple of 2?
True
Suppose -5*j + 0*p - 5*p = -470, 5*j = 3*p + 462. Does 2 divide j?
False
Let b(i) = 102*i + 60. Is 6 a factor of b(3)?
True
Suppose -3 - 3 = -3*n. Let v(j) = j**3 - j + 3*j - 2*j**n + j**3. Is v(2) a multiple of 12?
True
Let p = -3343 + 6519. Is p a multiple of 52?
False
Suppose -11*t - 56 = -276. Is t a multiple of 10?
True
Let z = -13 + 4. Let q be 4/(-1)*z/(-12). Let j(u) = u**3 + 6*u**2 + 4*u - 1. Does 7 divide j(q)?
True
Let x be -1 + (-155 + 5)/(6/(-4)). Suppose -2*n - x = -347. Is n a multiple of 31?
True
Suppose 2*x = 31 + 207. Let h be (x/(-7))/(0 - 1). Suppose -3*s - 7 = -0*t + 4*t, s + h = -5*t. Is s even?
False
Suppose 43*x - 45*x - 3*v = -15, -4*x = -3*v - 57. Is 6 a factor of x?
True
Let b be (-38)/(-57) - 1/3*-1. Let i(o) = 80*o - 2. Does 26 divide i(b)?
True
Let k(i) = i**3 + 6*i**2 - 7*i + 6. Let h be k(-6). Let w(z) = z**3 - 5*z**2 - 6*z - 4. Let l be w(6). Is 9/(l/(h/(-9))) a multiple of 12?
True
Suppose -4 + 0 = 4*k. Let r be k - -4 - (-2)/(-2). Suppose r*l + 5*o - 2 = 3*l, -l + 4 = -3*o. Does 8 divide l?
False
Suppose 0 = -6*j + 2*j + 1692. Suppose -5*c - 402 = -3*h, -3*h + 0*h - 2*c + j = 0. Is h a multiple of 33?
False
Let v(n) = n - 2. Let c be v(5). Let g be -4 - (0 - (c + -3)). Is (-14)/(-2) + g + 27 a multiple of 15?
True
Suppose 0 = -38*y + 33*y + 1460. Is y a multiple of 26?
False
Let u be (-5 + 2)/(6/(-6)). Suppose a + 0*f - 255 = -5*f, 5*a = -u*f + 1275. Suppose -14*n + a = -9*n. Is n a multiple of 11?
False
Suppose v + 13 = -3*g, -3*v - 2*g = 4 + 7. Does 11 divide 1199/55 + v/(-5)?
True
Suppose -4*x - 4*o + 64 = 0, -o - 26 = -x - 0*o. Suppose 87 = 3*u - x. Does 36 divide u?
True
Suppose 207 = -5*r - 253. Let c = -43 - -45. Is 23 a factor of r/6*(-9)/c?
True
Let w(s) = s**3 - 5*s**2 + 6*s - 7. Let n(o) = o**3 - 5*o**2 + 7*o - 8. Let u(v) = -4*n(v) + 5*w(v). Is u(8) a multiple of 13?
False
Let q(m) be the third derivative of 0*m + 1/3*m**3 - 6*m**2 + 1/6*m**4 + 0. Is 9 a factor of q(4)?
True
Let p(a) = -a**3 + 5*a**2 - 3*a - 1. Let j be p(4). Let o(g) = 6*g - 1 - 3*g - j*g - 7*g. Is 17 a factor of o(-5)?
True
Suppose b - 10 + 51 = 4*a, -4*b - 24 = -2*a. Let t = -5 + a. Suppose t = -2*v + 3*v. Is 2 a factor of v?
False
Suppose 4*d + 2*n + 140 = -0*d, 5*d - n = -182. Does 40 divide (152/(-6))/((32/d)/4)?
False
Let b = 0 - -4. Let s be 32/5 - (-16)/(-40). Is 3 - (-2*s)/b a multiple of 6?
True
Let n = 824 + -474. Is 25 a factor of n?
True
Let y = -2098 + 4121. Is 17 a factor of y?
True
Let n = -54 + 57. Suppose -j = 2*o - 37 - 10, -4*j = -n*o + 87. Does 25 divide o?
True
Does 16 divide 4/(-14) - -339*8/84?
True
Let t(s) = s**3 + 27*s**2 - 3*s - 6. Is 15 a factor of t(-27)?
True
Let r(c) = 4*c**2 - 2*c + 6. Suppose -5*w - 1 = -21. Let p be r(w). Let i = p - 0. Is i a multiple of 20?
False
Let x(t) = t**3 + t**2 - t + 58. Let f(k) = k**2 - 2*k. Let o be f(2). Does 29 divide x(o)?
True
Let j(h) = -8*h - 6. Let s be j(-2). Suppose 2*y = 2*i + 120, -3*y = -s*i + 5*i - 174. Is y a multiple of 37?
False
Let y be 102/14 - (-12)/(-42). Let r(a) = -a**2 + 4 + a - y*a - 6. Does 2 divide r(-5)?
False
Let a be (-56)/6 - (-2)/(-3). Let k be 4/a*(-175)/14. Suppose 2*h + 21 = 4*m + 3*h, -2*m = -k*h - 27. Does 3 divide m?
True
Does 2 divide (-1)/3 - 180/(-54) - -72?
False
Let f(g) = -g - 1. Let m(s) = -s + 9. Let t be m(10). Let w be f(t). Suppose 0 = x - 3*h - 86, -x - h - 2*h + 68 = w. Is x a multiple of 17?
False
Let h(m) = 1573*m**2 + m - 5. Is h(1) a multiple of 3?
True
Let h(t) = t**3 + 8*t**2 - 8*t + 42. Does 2 divide h(-9)?
False
Let t(o) = -2*o**2 - 20*o - 46. Let m be t(-16). Let s = m - -354. Does 8 divide s?
False
Suppose 5*y - 9*a = -10*a + 2398, -a - 1922 = -4*y. Is 96 a factor of y?
True
Let c(u) = -11*u + 27. Let s be c(-11). Suppose 5*f - s - 112 = 0. Is f a multiple of 26?
True
Suppose 2*l = a - 240, -2*l = -3*a + 4*a - 240. Let x = -3 + a. Is x a multiple of 14?
False
Let y = 61 + -242. Let n = -108 - y. Let g = -31 + n. Is g a multiple of 14?
True
Let w = 70 + -70. Suppose w = 2*x - x