+ 64 = j, 5*j + 4*d = 85. Is j a multiple of 13?
True
Let h = -5 + 10. Suppose -155 = -2*x + 47. Suppose 3*v - 85 = -4*c, h*c + v - x = -v. Does 12 divide c?
False
Let t be (4/12)/((-2)/(-30)). Suppose u - t = 3. Is u a multiple of 4?
True
Suppose 0 = 5*n + 5*b - 360, -2*n = n - 3*b - 216. Suppose 5*j - 205 = -5*c, 2*j - c - n = 2*c. Suppose -3*g + 210 - j = 0. Is 15 a factor of g?
False
Suppose 4*b + 12 = -0*b - 5*g, 3*b = 2*g + 14. Suppose 4*x - 69 = -5*p, -3*x = b*x - 2*p - 78. Does 6 divide (-31)/(-4) - (-4)/x?
False
Let f(l) = l**2 + 12*l + 4. Let o be f(-12). Suppose -2*b + 33 = 3*a, b = -o + 1. Is 13 a factor of a?
True
Let s be 426/4*4/3. Let q = -94 + s. Is 13 a factor of q?
False
Let s = 37 + 91. Is 32 a factor of s?
True
Let n(u) = -7*u - 3. Let w = 6 + -10. Let g be n(w). Suppose -h - g = -6*h. Does 5 divide h?
True
Let f be -1 - (2 + -2)/3. Let k be 7 + f - (4 + -2). Suppose -128 = -k*u - 24. Does 13 divide u?
True
Let z(u) = -u + 20. Is z(15) a multiple of 2?
False
Let q(p) = 3*p - 6. Let z be q(3). Let h = 17 + -10. Let t = h + z. Is 5 a factor of t?
True
Let a(z) = -z**3 + 6*z**2 + z - 6. Suppose 0 = -5*n - 5*j + 52 - 12, -15 = -5*j. Does 8 divide a(n)?
True
Let l(x) = 3*x**3 - 1. Let z be l(1). Let w(b) = b**2 + 7*b - 6. Let m be w(-8). Suppose z*a - 5*a - m*g = -25, 2*a - g = 5. Does 2 divide a?
False
Let h be (-12)/20 + 113/5. Suppose -3*t = 5*y - 18, 4*y + h = 2*t - 12. Is t a multiple of 9?
False
Suppose -5*i + 10 = 30, -j + i + 13 = 0. Suppose -3*w + j = 0, 0 = 4*m - w - 433 + 100. Does 21 divide m?
True
Let h be 17 - (-4)/(2 - 4). Let s be (-3)/(9/(-1))*h. Suppose 2*g - b = -0*b + 17, 0 = -5*g - s*b + 65. Is g a multiple of 10?
True
Let x = -65 - -39. Let o = 44 + x. Does 6 divide o?
True
Let b be (-17)/(-5) - 6/15. Suppose -2*k = -b*c + 58, -4*c + 84 = 2*k + 2*k. Suppose -3*v + c + 40 = 0. Is v a multiple of 19?
False
Let m(k) = k**3 + 4*k**2 + k + 1. Let x be m(-4). Let u = x - -6. Suppose p + u*p - 112 = 0. Is p a multiple of 14?
True
Let q(i) = -26*i - 1. Let d be q(-1). Suppose 2*u = 3*u + d. Let t = 1 - u. Is t a multiple of 14?
False
Suppose 6*r = 3*r - 147. Let p = -6 - r. Suppose 0 = -3*d - 0*f + 4*f + 67, 2*d - f = p. Is 21 a factor of d?
True
Let b be 584/14 + (-10)/(-35). Let h = b - 18. Is 16 a factor of h?
False
Suppose -3*i = -0*i + 6. Does 24 divide ((-2)/i)/((-1)/(-30))?
False
Let m = 110 - 40. Is m a multiple of 14?
True
Suppose 4*f = -4, 2*s - 4*f - f = 85. Suppose s = y - 4*d, -3*y + 4 + 89 = -3*d. Does 14 divide y?
True
Suppose 6*h - 325 = h. Does 20 divide h?
False
Let y = 4 + 2. Let u(r) = r + 2. Let i(l) = -l - 1. Let b(f) = -6*i(f) - 5*u(f). Is 2 a factor of b(y)?
True
Is 6/(-9)*(-735)/10 a multiple of 7?
True
Suppose 3*r - 1 = 11. Suppose r*p + 3*y - 39 = 0, 4*y = -2*p + 6*y + 30. Does 12 divide p?
True
Suppose -2*m + 0*x = x - 9, -4*x = 3*m - 6. Is 2 a factor of m?
True
Let o(y) = y**3 + 12*y**2 + 13*y - 2. Is o(-8) a multiple of 19?
False
Let p = -119 + 67. Let u = p - -130. Is u a multiple of 26?
True
Let j be 10/2 - (-2)/(-2). Suppose b - j*b = -33. Is b a multiple of 6?
False
Suppose 484 = 4*p - 2*g + 110, 0 = -4*g + 12. Is 13 a factor of p?
False
Let d = -22 - -27. Suppose 56 = d*t - 59. Does 8 divide t?
False
Suppose -v - v = -6. Let x(b) = b**v + b**2 - 3*b + 6 - 3*b**2 - 4*b. Is 10 a factor of x(4)?
True
Let g = -32 + 213. Does 38 divide g?
False
Suppose 3*t - 139 = -4*m, m + 0 = 1. Is 7 a factor of t?
False
Let g = 41 + -28. Is g a multiple of 11?
False
Suppose 0 = q - h + 3, 4*h - 12 = -0*q + 2*q. Let t be ((-12)/(-14))/(1/7). Suppose t = -q*d + d. Does 6 divide d?
True
Let t(v) be the second derivative of 5*v**3/6 - 4*v**2 - 3*v. Does 11 divide t(6)?
True
Let b(f) = -f + 73. Does 19 divide b(20)?
False
Let p = 72 + -24. Let x = 30 - 50. Let h = x + p. Is h a multiple of 14?
True
Suppose 5*f = 5*g - 28 - 2, 2*g = -3*f - 8. Suppose -g*c + 18 = c. Is c a multiple of 4?
False
Let z(c) = -c**2 + 10*c + 13. Let m be z(11). Suppose -m*h - 2*h + 45 = q, 2*h = 2*q + 10. Is 8 a factor of h?
False
Let t = -8 - -11. Let h be -4 + t*(-4)/(-6). Does 11 divide (-22*(-1 - h))/(-2)?
True
Let k = 46 - 26. Let h(p) = p**2 - 5*p + 2. Let v be h(9). Let s = v - k. Is s a multiple of 18?
True
Suppose -2*j + 4 = -0*j. Suppose -4*i - j*f + 19 = f, -i + 5*f - 1 = 0. Suppose -20 = 4*t, 6*t = -i*w + 3*t + 13. Does 7 divide w?
True
Let d(l) = -2*l**2 + 2*l + 1. Let h be d(2). Let j(f) = -2*f + 3. Is j(h) even?
False
Suppose 0 = -x - 0*x. Is 13 + (-1 - (0 - x)) a multiple of 9?
False
Let x = 59 - -3. Let b be x/3 - 2/(-6). Suppose -34 - b = -5*w. Does 11 divide w?
True
Let l(z) = 0 - 3*z**2 + 1 + z + z**3 + 2*z**3. Let p be l(2). Is (p*1 + -1)/1 a multiple of 7?
True
Let x(h) be the second derivative of -h**5/20 - 5*h**4/12 - h**3 + 3*h**2 + 2*h. Let c be x(-5). Suppose 0 = -0*s + s - c. Is s a multiple of 18?
True
Let t(h) = -h**2 - h. Let w(i) = 3*i**2 + 8*i + 5. Let x(c) = 4*t(c) + w(c). Let r(j) = -j - 1. Let n(o) = -6*r(o) - x(o). Is n(-6) a multiple of 10?
False
Suppose 4*w = 6*w. Let b = 5 - w. Suppose -b*l + 45 = -25. Is l a multiple of 7?
True
Suppose 0*k + 12 = 4*k. Let d(b) = b**2 - 5*b + 4. Let i be d(k). Does 5 divide -10*i*(-2)/(-4)?
True
Does 8 divide (-5)/((-20)/148)*1?
False
Let t = 0 - -24. Let a = t - 14. Is 10 a factor of a?
True
Suppose -304 = -5*o + 2*s, 0 = -2*o + o - 2*s + 56. Is o a multiple of 10?
True
Is 5 a factor of (3 + -2)*1*45/1?
True
Is 22 a factor of (-4)/32*-4*132?
True
Let f(m) = m**3 - 3*m**2 - 3*m - 2. Let j be f(4). Suppose 4*s - 122 - 52 = -5*g, g - j*s - 32 = 0. Is 17 a factor of g?
True
Let k(d) = -d**3 + 4*d**2 + d. Let f be k(4). Let u be 1/((2/f)/1). Suppose c = 4*h + 4*c - 102, u*c - 28 = -h. Does 13 divide h?
False
Let m be (-1)/(4/(-524)) + 1. Does 9 divide -2*(m/(-8) + 2)?
False
Let y be 1*(2 + -3)/1. Let u be 2*y/6*0. Let v = 2 - u. Is v even?
True
Suppose -22 - 111 = -d. Suppose -2*k - d = -3*r - 27, 3*k = 4*r - 142. Is r a multiple of 14?
False
Is 2 a factor of 31 - 1/(-5)*-5?
True
Suppose 0 = -8*c + 549 + 107. Does 41 divide c?
True
Suppose 3*j = 31 + 5. Is j a multiple of 2?
True
Suppose 5*y = 5*s - 15, -3*s + 12 = y - s. Suppose -y*f + 4 = 4*d - 0*d, 0 = -d - 1. Does 4 divide f?
True
Let y(n) = n**3 - 11*n**2 + n - 11. Let v be y(11). Let o = v + 5. Suppose g - t = 5*g - 30, -t + 38 = o*g. Is g a multiple of 8?
True
Suppose -15*t + 120 = -14*t. Is t a multiple of 8?
True
Let l be 4 - ((-18)/(-2))/(-1). Suppose -8*o - 170 = -l*o. Does 5 divide o?
False
Let v = -15 + 18. Let a(d) = -6*d - 3. Let c(n) = -5*n - 2. Let u(w) = 4*a(w) - 6*c(w). Does 18 divide u(v)?
True
Suppose -6 = -2*u - 2. Suppose 68 = -u*x + 4*x. Is 17 a factor of x?
True
Let q be (21/(-28))/((-2)/8). Does 15 divide 6*33/6 - q?
True
Is 4/10 + (-2298)/(-30) a multiple of 11?
True
Suppose -10 - 8 = 2*q. Let z = 32 - q. Is z a multiple of 12?
False
Suppose 8*k - 455 = 3*k. Does 13 divide k?
True
Suppose -3*s + 8*c - 3*c + 275 = 0, -4*s + 5*c + 370 = 0. Let g = 34 + -15. Suppose i - g = -m, 5*i - s = -2*m + 15. Is i a multiple of 12?
True
Let m(q) = 3*q**2 + 3*q. Let j be m(4). Let y = -7 + 7. Suppose y = -0*p - 5*p + j. Is p a multiple of 6?
True
Suppose 3*d + 3 = -3*v, v - 1 = 5*d + 2*v. Suppose -r + 4*n = -32, d = -0*r + 2*r + 2*n - 84. Does 8 divide r?
True
Suppose 0*s + 68 = 4*s. Suppose -33 - s = -2*c. Is c a multiple of 21?
False
Let f(a) = a**3 - 10*a**2 + a + 13. Does 9 divide f(10)?
False
Suppose 4*s + 210 = 2*d - 382, -s = -d + 292. Is d a multiple of 48?
True
Let q = 75 - 47. Is 15 a factor of q?
False
Let z be -1 + ((-6)/1)/3. Is 24/2 + 3/z a multiple of 8?
False
Suppose 6 + 4 = 5*k. Suppose 0 = 5*d + k*u - 63, -3*d - 4*u + 35 = -0*u. Does 13 divide d?
True
Suppose -2*f - 19 = -6*f + b, 3*f - 21 = 3*b. Suppose -f*x + 23 = 3*a - 33, 5*x = -3*a + 55. Is a a multiple of 10?
True
Suppose 2*s = -s + 213. Is s a multiple of 22?
False
Suppose 0 = 3*v + o - 5, -2*v - 2*o + 5 = -o. Suppose 2*d - 56 = -v*d. Does 14 divide d?
True
Let m = 783 + -1307. Does 26 divide m/(-10) - 16/40?
True
Suppose 8 = y + 2. Is 2 a factor of y?
True
Is 201 + (5 - (2 - -6)) a multiple of 26?
False
Is 5 a factor of 272/6 + 6/(-18)?
True
Let o be (89 - (-5 + 3)) + 1. Suppose o = -3*u + 242. Does 22 divide u?
Fals