**4/4 + o**3/6 + o. Let g be r(-5). Suppose g = 4*a - 2*a. Does 13 divide a?
False
Suppose 0 = 4*u - 0*u - 64. Is u a multiple of 16?
True
Suppose 3*b + a + 80 = 0, b - 4*a + 30 + 1 = 0. Let x = 50 + b. Does 9 divide x?
False
Let z = 21 - -14. Does 25 divide z?
False
Let z = 65 - -47. Suppose 2*n = n - 5*w + 28, -4*w = -4*n + z. Is 15 a factor of n?
False
Let n = -57 - -126. Does 9 divide n?
False
Let b(i) = -i + 15. Let d be b(17). Is -44*(-3 - d) - -2 a multiple of 23?
True
Let b(y) = 21*y**2 + 3*y + 2. Let s be b(-2). Let x = 134 - s. Is 27 a factor of x?
True
Let x(w) = w**2 - 1. Let r be x(2). Let b = 17 - r. Does 9 divide b?
False
Let p = 0 + -1. Does 17 divide (78*1)/2 + p?
False
Let y(c) = c**3 + 9*c**2 + 6*c - 6. Is y(-8) a multiple of 5?
True
Let m(y) = -y**2 + y + 19. Is m(0) a multiple of 5?
False
Suppose -5*o = 4*k - 140, o - 2*k - 19 + 5 = 0. Is o a multiple of 9?
False
Let b be (-1197)/14*4/(-3). Suppose -4*y = -y - b. Is y a multiple of 16?
False
Suppose -2 = -2*c + 4. Suppose 0 = -c*n + 234 - 45. Is 21 a factor of n?
True
Let w = -16 - -22. Does 12 divide 3 + 1 - (-14 - w)?
True
Let l = 100 + -39. Is l a multiple of 13?
False
Suppose 33 = 4*r - r. Is r a multiple of 10?
False
Let v(z) = 5*z**3 - z**2 + 2*z - 1. Let m be v(1). Suppose -20 = -m*c, -3*d = 5*c - 33 - 95. Let x = d - 21. Is x a multiple of 8?
False
Let q(u) = u + 6. Let d be q(-3). Suppose y + d*y = 0. Suppose -5*b = -s + 52, y = -4*s - s + 5*b + 160. Does 9 divide s?
True
Let u(a) = a**2 - 7*a + 6. Let x be u(4). Let b = 5 + x. Does 7 divide b*2/4*-18?
False
Let n be (-6)/(-8) + 10/8. Suppose 0 = 4*i + 2*y - 26, 5*i + n*y = 5*y + 38. Suppose -t = -18 - i. Is 11 a factor of t?
False
Suppose 4*b - 51 = 69. Does 12 divide b?
False
Is 6 a factor of (14 - 14) + (-1)/(2/(-44))?
False
Let m(g) = g**2 + 6*g + 2. Let t be m(-7). Let l = t - 6. Is 8 a factor of 1*(l + -2 + 15)?
True
Let s(u) = -u**2 + 6*u + 2. Let i be s(6). Suppose -96 = i*w - 5*w. Is w a multiple of 8?
True
Suppose 14 = 5*q - 0*q + 4*g, -4*q + 3*g = -5. Let m be (7 - 1) + q/(-1). Suppose -m*w + 9*w - 45 = 0. Is w a multiple of 9?
True
Suppose 0 = 4*s + 16, -2*c + 4*c = 5*s + 50. Let x = 40 - c. Does 18 divide x?
False
Does 15 divide (4 + -5)/((-1)/53)?
False
Let x be (-15)/6*(1 - 3). Suppose -x*u + 11 + 9 = 0. Is u a multiple of 2?
True
Let s = 104 - 41. Suppose -4*k = -561 - s. Suppose -4*o - z + k = 0, -o + z + 47 = 13. Is 19 a factor of o?
True
Let x be -4*(-3)/6*-37. Is (x/(-8))/((-5)/(-20)) a multiple of 13?
False
Suppose 4*v + a = 323, 3*v - 5*a = -0*a + 271. Is 21 a factor of v?
False
Let k(b) = 2*b**3 - 15*b**2 + 6*b + 14. Is 7 a factor of k(7)?
True
Let z be (-162 - 2)*(4 + -2). Is 15 a factor of (-4)/6 + z/(-6)?
False
Suppose u = -0 + 2. Is u even?
True
Let s(g) = g**2 - 5*g + 4. Let q be s(5). Suppose 70 = -q*u - 3*k + 17, 0 = -u + 4*k - 18. Does 13 divide 394/10 + u/35?
True
Suppose -4*s = -9*s. Suppose s*n + n = 3. Suppose 30 = -n*d + 8*d. Does 4 divide d?
False
Let n(a) = 6*a. Is 13 a factor of n(10)?
False
Let m = 56 - 4. Is 44 a factor of m?
False
Let t(x) = x**3 + 14*x**2 + 15*x - 4. Is t(-12) a multiple of 26?
True
Let b(c) = 61*c**2 - 2*c + 1. Let r be 8/(-16)*-2*1. Let k be b(r). Suppose -3*a = -a, -k = -4*x + 5*a. Does 15 divide x?
True
Suppose -3*z = -4*d - 14, -2*d - 4 - 8 = z. Does 13 divide (-1 - -4) + 24 + d?
False
Suppose 5*x = -5*h + 50, h - 2*h + x = -2. Let c(s) = -s**2 - 8*s + 17. Let m be c(11). Is 4/h + m/(-9) a multiple of 13?
False
Let t(x) = 3*x**3 - x**2 - 4*x + 3. Does 21 divide t(3)?
True
Let g = -2 + 2. Let q = 4 - g. Is q a multiple of 4?
True
Let b(s) = s**3 - 27*s**2 - s + 39. Is b(27) a multiple of 3?
True
Suppose 5 + 19 = 4*w. Is w a multiple of 4?
False
Suppose z - g = -6*g - 8, 5*g + 5 = 0. Let f be (z/(-9))/((-2)/(-150)). Suppose -p + 6*p = f. Is p a multiple of 3?
False
Let n(c) = 25*c**2 - 2*c. Is 34 a factor of n(-2)?
False
Is 36/(-1)*(-15 + 14) a multiple of 12?
True
Let b(t) = 23*t**2 + 2 + 2 + t - 22*t**2. Let y be b(-3). Let m = y + 14. Does 9 divide m?
False
Does 13 divide -2 + 0/1 + 6 + 35?
True
Suppose 5*x - p = 2*p - 21, 2*x + 4*p = 2. Let t(v) = -3*v**2 - 3 + 5*v**2 - v - 4*v**2 - v**3 + 5. Does 14 divide t(x)?
True
Suppose 0 = -2*q + 2 + 2. Suppose q*m = 4*t - m - 97, 4*m + 96 = 4*t. Does 14 divide t?
False
Suppose -9*p + 5*p - 552 = 0. Does 27 divide (-7 - -2)*p/10?
False
Let k(z) = -4*z**3 - z + 1. Suppose -b - 2*b = -3. Let r be k(b). Does 14 divide (r/(-6))/((-3)/(-117))?
False
Let n be 1 + 1/(1/(-6)). Does 3 divide 15/(-2)*6/n?
True
Let v = 112 + -48. Is 32 a factor of v?
True
Let p(w) = -w**3 - w**2 + 5*w + 2. Let u be p(-3). Suppose -4*g = -u*n + 96, -5*n + 2*g + 58 = -30. Is n a multiple of 8?
True
Suppose -i - c + 1 = -0, -3*c = -4*i + 39. Suppose -i = -2*z - z. Suppose 0*t + z*t - 68 = 0. Is t a multiple of 17?
True
Let d(o) = o**2 + 6*o - 1. Let n be d(-2). Let u = n + 44. Does 18 divide u?
False
Does 13 divide ((-6)/(-10))/((-12)/(-1380))?
False
Does 7 divide 12 + 11 - 4/2?
True
Let k be -6*(-3)/9*1. Is (4 + -30)/(k/(-3)) a multiple of 13?
True
Suppose 2*f + 192 = 3*g, 4*g + 0*f - 3*f = 257. Does 13 divide g?
False
Let b = -72 + 105. Does 7 divide b?
False
Let a(r) = r**3 - 4*r + 3. Is 3 a factor of a(3)?
True
Suppose 0 = 2*u - 161 + 55. Is 17 a factor of u?
False
Is 5/(-5) + (-1 - -145) a multiple of 9?
False
Let b(c) = -10 + 4*c + 26 - 3*c. Let o(x) = -x**3 + 10*x**2 - 8*x - 9. Let s be o(9). Is 8 a factor of b(s)?
True
Suppose -5*r + 850 = 5*h, 2*h - h = -3*r + 508. Suppose -r = -4*b - 41. Is 16 a factor of b?
True
Let b(f) = f**2 + f - 1. Let s(n) = 2*n**2 + n - 1. Let m(c) = -5*b(c) + 6*s(c). Let u be m(1). Suppose 0*q - u = -q. Is 5 a factor of q?
False
Suppose r + 2 = 2*r. Let j(a) = 6*a - 5. Does 7 divide j(r)?
True
Suppose 2*g + 6 = 2*p, 13 = -4*p - 4*g + 41. Suppose d = 4*s + 4*d - 34, -2*s + 30 = -p*d. Does 5 divide s?
True
Let u(r) = 14*r**2 + 1. Does 11 divide u(2)?
False
Suppose -d = -y + 41, -y = 3*d - 51 + 2. Suppose -5*l + y + 7 = 0. Does 10 divide l?
True
Let v = 121 + -85. Does 9 divide v?
True
Let v = 31 + 60. Does 12 divide v?
False
Let x be (-4)/5*20/(-8). Let n = 2 - x. Suppose n*h - h = -10. Is h a multiple of 5?
True
Let i be 1 + -2*(-21)/(-6). Let p(v) = -6*v - 4. Is p(i) a multiple of 16?
True
Let n(l) = -27*l + 4. Is 18 a factor of n(-2)?
False
Let b be 0 + 3/2*2. Suppose -5*i + 474 - 162 = -4*o, b*o = 4*i - 249. Is i a multiple of 17?
False
Let a(l) = -l. Let p be a(-2). Suppose -3*b + j = -2*b - 1, -p*b + j + 3 = 0. Suppose -3*i - b*z = 2*z - 38, 5*z = 5*i - 40. Does 5 divide i?
True
Suppose 4*v = 1 - 13, 2*v + 166 = 5*m. Is 16 a factor of m?
True
Suppose 10 = 5*b, 2*b = -0*n + n - 1. Let u(q) = 17*q + 7. Does 31 divide u(n)?
False
Let k be 2/4 - 3/(-2). Let c = k + 24. Is -4 + c + (-4)/2 a multiple of 9?
False
Suppose 0 = 2*f + 3*f. Let b(j) = -5*j - 6. Let m be b(-2). Suppose 5*c + m - 54 = f. Is 5 a factor of c?
True
Is 20 a factor of (-404)/(-10) + (-4)/10?
True
Let o = 84 + 48. Is 36 a factor of o?
False
Suppose b = 5*b - 88. Suppose -4*d + b = 238. Let t = 95 + d. Does 18 divide t?
False
Suppose 2*u = -3*u - 4*w + 484, -3*w = u - 88. Let g(c) = -c**2 - 5*c + 4. Let p be g(-5). Suppose p*t + t = u. Does 10 divide t?
True
Is ((-10)/8)/(189/192 - 1) a multiple of 40?
True
Let y = -14 + 29. Suppose y = 3*n, n + 55 = 2*w - 60. Suppose -5*p - 5*q = -w, -20 = -2*p - 3*q + 2*q. Does 4 divide p?
True
Suppose -36 = 4*j - 0*j. Does 20 divide ((-60)/j)/((-2)/(-6))?
True
Let t = 1166 - 792. Is 17 a factor of t?
True
Let b = 1 + -15. Let c = 8 - b. Does 14 divide c?
False
Suppose 5*o - 585 = -3*q, -5*q = 27 - 2. Does 20 divide o?
True
Let p = -7 + 9. Suppose 2*g = -p*m - 2*m + 76, -5*g + 71 = 3*m. Does 7 divide m?
False
Let b(i) = i**2 - 5*i - 8. Does 7 divide b(9)?
True
Suppose 4*i - 5*w - 5 = 0, 2*i - 3 = 6*i + 3*w. Let t be 9/6*(i + -2). Is 15 a factor of (26/t)/((-2)/6)?
False
Let o(w) = -4*w**3 - w**2 - w + 2. Let j be o(-2). Let i = j + -15. Is i a multiple of 13?
False
Let i(j) be the third derivative of j**4/24 + 4*j**3/3 - j**2. Is i(16) a multiple of 8?
True
Suppose -3*v = -2*v - 2. Suppose -v*n = d - 23, 2*d = n + 7*d + 2. Is 13 a factor of n?
True
Suppose t = 6 + 21. Suppose -4*s - 2 + 11 = -5*b