- 0 + 6, 7 = h - 2*j. Suppose h*k - 42 = -i + 5*i, k + 4*i = v. Is k a multiple of 7?
True
Suppose c - 4*o = -2*c - 85, -5*c - 145 = -5*o. Let n = c - -31. Suppose n = 2*l - 112 - 8. Is l a multiple of 15?
True
Let h = 330 - 204. Is h a multiple of 42?
True
Suppose 0 = 9*y - 3249 - 1440. Does 23 divide y?
False
Let g(i) = i**3 + 6*i**2 + 6*i + 6. Let w be g(-5). Let x(t) = 39*t**2 - 4*t + 5. Let d(p) = p**2 + p - 1. Let j(k) = 6*d(k) + x(k). Is j(w) a multiple of 23?
True
Suppose -2 + 6 = b. Let j(x) = -4*x + 5 + 3*x - b + 7. Does 7 divide j(-6)?
True
Suppose -3 = -3*r + 6*r, 0 = 4*d - 5*r - 2105. Is 25 a factor of d?
True
Let v(i) = 70*i - 529. Is 23 a factor of v(12)?
False
Let a(y) = y**3 + 4*y**2 - 8*y - 12. Let m be a(-5). Suppose 2*i - 218 = -4*n, 3*n + 120 + 162 = m*i. Is i a multiple of 25?
False
Let k(i) be the first derivative of -i**4/4 - 14*i**3/3 - 7*i**2/2 - 9*i + 8. Let d be k(-13). Let h = d - -153. Does 14 divide h?
False
Let h be -7 + 5 + -2 + -1. Is 10 a factor of (h - -6)/((-3)/(-90))?
True
Let t = -752 + 1212. Does 20 divide t?
True
Suppose 2*n - 728 = 5*h, -23*h + 24*h - 1847 = -5*n. Is 9 a factor of n?
True
Let v = 15 - 14. Let q be v*(-3 + 8 + -2). Suppose 3*z - 7 = -3*d + d, 9 = q*d + 5*z. Is 8 a factor of d?
True
Suppose 2*o - 32 = y - 4*y, 0 = y + 2. Suppose -2*s + 5 + o = 0. Is 7 a factor of s*3/2 + 3?
True
Suppose 5*n - 2*f - 1517 = -0*n, -1 = f. Does 19 divide n?
False
Suppose -84*x - 681 = -85*x. Is 44 a factor of x?
False
Let o be (-14)/4 - 2/4. Let u(k) = -18*k - 3. Let h(b) = -53*b - 10. Let y(j) = 3*h(j) - 8*u(j). Is y(o) a multiple of 14?
False
Suppose c - 2*a + 346 = 0, 4*c - 2*c + 657 = -3*a. Is 27 a factor of (c/9)/(8/(-24))?
False
Suppose -5*w - 3*o + 10 = 2*o, 0 = 2*o. Suppose 0*m + 3*t = -m + 123, -m + 128 = -w*t. Is m a multiple of 18?
True
Let s = -56 + 255. Is 26 a factor of s?
False
Let m(h) = 2*h**3 - 3*h**2 - h + 1209. Is m(0) a multiple of 31?
True
Let c(t) = -3*t + 116. Does 4 divide c(12)?
True
Suppose 0 = 4*a - 2*a + 24. Does 5 divide 3 + 2/a + 1252/24?
True
Let z(n) = -6*n**3 - n**2 + 5*n - 3. Let c(f) = 6*f**3 + f**2 - 4*f + 3. Let x(v) = 6*c(v) + 5*z(v). Does 19 divide x(2)?
True
Let s = -39 - -42. Suppose -5*m + 585 = 5*r, 0 = -2*m - 6 + 2. Suppose s*n + 35 = r. Is n a multiple of 14?
True
Let m = 278 - 249. Is m a multiple of 4?
False
Let k(q) = 4*q**2 - 5*q + 6. Let u be k(6). Suppose -4*p - 2*n = -2*p - 28, 0 = -5*p - n + 58. Suppose 6*c - p*c = -u. Is c a multiple of 10?
False
Suppose 3*b = 3 + 27. Suppose -28*j - b = -29*j. Is j even?
True
Let b(m) = 212*m - 546. Is b(6) a multiple of 31?
False
Let a(d) = d**3 + 3*d**2 - d - 6. Let j be a(-3). Does 22 divide j/(-9) + 395/3?
True
Let f(a) = -7*a - 14. Let b be f(-6). Does 7 divide (-315)/b*4/(-1)?
False
Let m = 785 - 402. Is 17 a factor of m?
False
Let c(l) = -l**2 - 3*l. Let q be c(-4). Let i be (-16)/6 + q/(-6). Is 9 a factor of (-40)/(-2) - (0 - i)?
True
Let c be (36/8 + -4)*4. Suppose 11 = c*r - 33. Is r - 0 - 1*-4 a multiple of 13?
True
Let z(o) = -o**3 - o**2 + 3*o - 2. Let m(r) = -r. Let y(x) = -m(x) - z(x). Let t be y(-2). Suppose -t*v = 5*w - 90, 10 = 2*w - 4*v - 2. Is 4 a factor of w?
True
Suppose m = 5*v - 4*m - 15, -2*m = 4*v. Suppose -5*s = -3*g - 1 + 2, g = 4*s - 9. Is (4 - g) + (14 - v) even?
True
Suppose 108*c - 4 = 112*c. Does 10 divide 319/2 + c/(-2)?
True
Let d = -40 - -45. Suppose 5*p + 545 = d*t, p + 109 = t - 2*p. Does 16 divide t?
False
Is 15 a factor of (423 - 0)/(7 + 7 + -13)?
False
Let d(i) be the second derivative of 2*i**3/3 - 7*i**2 + 7*i. Is 16 a factor of d(12)?
False
Is 39 a factor of 102975/120 - (-4)/(-32)?
True
Suppose 4*f = 4, -3*s - f - 4 = -4*s. Suppose 0 = 3*x - s*x + 10. Suppose x*v + 2*q - 96 = 0, -2*q - 3 = -3*q. Is v a multiple of 8?
False
Suppose -3 = 4*a + 1. Let n be a/(-3 + (-20)/(-6)). Let h(i) = -i**3 - 3*i**2 - i + 4. Is 3 a factor of h(n)?
False
Let k = 163 + -104. Let y = 38 - k. Let p = 69 + y. Does 24 divide p?
True
Let m = -48 + 90. Suppose 4*b + m = -22. Is (b + 26)/((-1)/(-8)) a multiple of 16?
True
Let m(o) be the third derivative of 23*o**4/24 - 2*o**3 + o**2. Let z be m(-8). Is (-7)/(z/(-120))*-7 a multiple of 15?
True
Suppose -a = a + 2*a. Suppose -u + 1 + 1 = a, -44 = -4*l - 2*u. Is l a multiple of 2?
True
Is (-15888)/(-38) + (-94)/893 a multiple of 38?
True
Let n(m) = -418*m - 4. Does 18 divide n(-1)?
True
Suppose -4*j + 5*a = -10311, 2*j = 2*a + 3894 + 1260. Is j a multiple of 33?
True
Does 20 divide -390*6/48*-4?
False
Let y = -1531 - -2155. Does 23 divide y?
False
Suppose -d - r + 487 = 149, 4*r + 16 = 0. Suppose 18 = -4*k + d. Is k a multiple of 22?
False
Suppose -60 = 3*j - 3*l, 0 = j + 2*j + 4*l + 53. Let c be ((-57)/j)/(3/5). Suppose k - 4*y - 80 = -0*y, 488 = c*k + 2*y. Is k a multiple of 16?
True
Let n = -484 + 1317. Does 52 divide n?
False
Suppose i = -f + 77, -4*f = -5*i - 5 - 339. Is f a multiple of 5?
False
Let a be (-14)/10 - ((-12)/(-10))/2. Does 10 divide (16 + -31)*6/(a/2)?
True
Suppose 4*a - 11 = 1. Is 7 a factor of 194/(2 + -3 + a - 0)?
False
Let q be 4 + 0 + 2 + -1. Suppose -q*n - n = -366. Is n a multiple of 15?
False
Let q(c) = -144*c**3 + c**2 + c. Let i be q(-1). Let z = i + -74. Does 14 divide z?
True
Let j be ((-2)/(-4) - 1)*0. Suppose 2*x = -16 - j. Does 10 divide (-120)/(-32)*(0 - x)?
True
Let f = 35 - 17. Is 20 a factor of f/(-99) - (-442)/11?
True
Let h = 35 - -59. Suppose h = 5*q - 16. Does 9 divide q?
False
Let g = -17 - -12. Let r(i) = 5*i**2 + 7. Let z(o) = -9*o**2 + o - 13. Let p(h) = -11*r(h) - 6*z(h). Does 3 divide p(g)?
True
Let i(q) = 8*q + 87. Let n be -10*(4/7 - 33/(-77)). Is 5 a factor of i(n)?
False
Let p(x) = -321*x - 27. Does 78 divide p(-3)?
True
Let k = 46 + -15. Let y = -48 + k. Let o = y + 50. Is 6 a factor of o?
False
Let x(z) be the second derivative of -z**3/6 + 11*z**2/2 - 7*z. Does 4 divide x(-5)?
True
Suppose -2*q = -5*q + 12. Let c be 2/(-7) - q/(-14). Suppose 3*r - 20 - 106 = c. Does 7 divide r?
True
Suppose -2 = -w + 1. Suppose w*u = -2*h - 7 - 2, 3*u = -5*h. Is h a multiple of 2?
False
Let g be (9/(-6)*1)/(4/(-392)). Is 36 a factor of g - (1 - 3 - -5)?
True
Suppose n = -n + 4. Let l be n/(-6)*(-276)/(-4). Let f = l + 53. Is f a multiple of 10?
True
Let f(t) = -t**3 + 13*t**2 - 10*t - 5. Suppose -2*v = -7*v + 55. Let y be f(v). Suppose -3*w = -y - 20. Does 21 divide w?
False
Suppose 0 = 3*z - 9, -32*z = 5*w - 29*z - 9669. Is w a multiple of 138?
True
Suppose -141*h = -144*h + 870. Let i = -155 + h. Is 9 a factor of i?
True
Suppose 12*f = 15*f. Suppose 3*c - 80 - 406 = f. Does 18 divide c?
True
Let k = 1054 - 897. Is 30 a factor of k?
False
Let g be ((-1)/(-3))/(4/24). Suppose g*s = t - 78, -t - 2*s + 28 = -50. Is 13 a factor of t?
True
Let t(m) = 508*m**2 + 1. Does 26 divide t(-1)?
False
Let y be 1 + 22/6 - 2/3. Suppose p = -y*w + 124, 0*p - 5*p + 601 = w. Is 24 a factor of p?
True
Let j(b) = -4*b - 7. Let m be j(-3). Suppose a + 2 = -m*l, 4*l + 3*a = -5 - 1. Suppose -3*h + 27 + 0 = l. Is 4 a factor of h?
False
Suppose 5*n - 7*n = 0. Suppose n*t + 9 = -t. Let y = t + 24. Is 5 a factor of y?
True
Let l be 2/2 + (-6 + 3004)/2. Suppose 2*r = 4*g - 3*r - l, -2*g - 3*r + 750 = 0. Is 54 a factor of g?
False
Let b be (-12)/(-15)*(-15)/3. Does 17 divide (-9 + 1)/b - -44?
False
Let u(t) be the second derivative of 2*t**4/3 - t**3/2 + t**2 - 3*t. Let j(f) be the first derivative of u(f). Is j(4) a multiple of 17?
False
Let s = 6637 - 3877. Is s a multiple of 23?
True
Let h be ((-12)/(-42))/(1/469). Let x = h - 91. Let t = x - 24. Is 14 a factor of t?
False
Let m(t) be the first derivative of 19*t**5/60 + t**4/6 - t**3/2 - 3*t**2/2 + 3. Let q(r) be the second derivative of m(r). Is q(2) a multiple of 21?
False
Suppose 2*t - 5*t = 5*x - 59, 2*x + 5*t - 35 = 0. Suppose -7*z - 294 = -x*z. Is z a multiple of 34?
False
Let b be ((-9)/12)/(4/(-16)). Is 5 a factor of 26/(b/24*4)?
False
Let g be 6*(-1 - (-1 - -1)). Let i(y) = -y**3 - 4*y**2 + 10*y + 3. Let p be i(g). Does 4 divide 48/(-18)*p/(-2)?
True
Suppose -15*p = 7 + 38. Does 11 divide 2/p*(8 + (-1060)/8)?
False
Let y(j) = 3*j**2 + 2. Let b be y(1). Suppose 489 = b*k - 2*u, -2*u = 4*k - 5*u - 394. Is k a multiple of 11?
False
Is 4 a factor of -8*(923/13)/((-12)/9)?
False
Let