0 - (-3)/12). Suppose g - 463 = -4*g - 2*j, 174 = p*g - 2*j. Is 13 a factor of g?
True
Suppose 0 = -4*g + 88. Suppose -m = 4*m - o - 23, -4*m + 2*o + g = 0. Does 10 divide 24 - m - (-4)/(-2)?
False
Let y(c) = -c**3 + 6*c**2 + 2*c - 3. Let w be y(5). Let f = 3 - w. Is 13 a factor of -2 + 0 - (f + 1)?
True
Suppose -5*f = u - 2*u - 134, -4*f - 20 = 0. Let y be 7/21*u/(-1). Suppose y = 6*q - 43. Is 4 a factor of q?
True
Suppose 76 = 2*s + q, -3*q + 148 = 3*s + 31. Let z = 1 - 9. Let d = z + s. Is 9 a factor of d?
False
Let f = 101 + -74. Let h = -1 + f. Is h a multiple of 26?
True
Suppose 10*j = 2*c + 5*j - 864, -3*c = 4*j - 1296. Is c a multiple of 72?
True
Let i = -6 - 4. Let w be 10/(-1)*4/i. Is 4 a factor of (1 - w/8)*32?
True
Let k(i) = -i**3 - 71*i**2 + 69*i + 620. Does 38 divide k(-72)?
True
Let c(m) = m + 18. Let b be c(-10). Suppose -2 = 2*s - b. Suppose x + 16 = s*x. Does 7 divide x?
False
Let z = -25 - -16. Let b be -3 - z*6/9. Suppose b*t + o = -2*o, -4*o - 32 = -4*t. Is 4 a factor of t?
True
Let q(k) = -3*k - 4. Let v be q(-3). Suppose 4*g + r - 57 = 0, 36 + 24 = 3*g - v*r. Is 5 a factor of g?
True
Let s(a) be the first derivative of -5*a**2 + 1/4*a**4 + 8/3*a**3 - 4 + 9*a. Does 6 divide s(-9)?
True
Let o(v) = -v**3 + 14*v**2 + 15*v - 56. Is o(14) a multiple of 22?
True
Let v(a) = 51*a**2 - a. Let l be 2 + 3/(-3) + -2. Is v(l) a multiple of 13?
True
Let f = 131 - 74. Suppose 0*w - 3*w = -f. Does 9 divide w?
False
Suppose 3*s - 14 = -2. Suppose -s*v + 3*g - 2 = g, -v = 5*g - 27. Is v + 2 + (-2 - -42) a multiple of 10?
False
Let k = -897 + 1278. Does 7 divide k?
False
Suppose 2*p = -2*p + 5*y + 928, 3*y = -5*p + 1197. Suppose -6*h - p = -3*h. Let u = h + 159. Does 20 divide u?
True
Let t = -8 - -14. Let a(i) = 2*i + 16. Let f(z) = -4*z - 15. Let o(g) = -4*a(g) - 3*f(g). Does 4 divide o(t)?
False
Let j be (18/(-21))/(5/35). Let n = 17 + j. Suppose 0 = -p + n + 4. Does 15 divide p?
True
Is 26 a factor of ((-2601)/204)/((-1)/312)?
True
Let y(v) = 5*v**2 - v - 2. Let u be y(-1). Suppose 0*d + 5 = 5*d, 2*a - u*d - 36 = 0. Does 10 divide a?
True
Suppose -4*m + 10 = -2*t, 0 = -m - t - t. Suppose 3*q = -2*p + 143, -3*p - m*p + 5*q + 295 = 0. Suppose 0 = -3*v - 16 + p. Does 3 divide v?
False
Let s(t) = -t**3 - 4*t**2 - 5*t + 1. Let x be s(-5). Let u be ((-17)/x)/(2/(-66)). Suppose 19 = m - u. Does 10 divide m?
True
Suppose -6*k + k = -5. Suppose k = 2*g + 19. Is (-2)/(-2*(-3)/g) even?
False
Let m(p) = p**2 + 21*p + 14. Let s be m(-20). Let d(g) = -9*g + 9. Is 15 a factor of d(s)?
False
Let j be 425/10 + 15/6. Let y = 165 - j. Is y a multiple of 30?
True
Let b be (-6 + -2)*9/2. Let q = b + 82. Is q a multiple of 25?
False
Suppose -o + 0*o + 5*k - 5 = 0, 2*k = 3*o - 37. Does 15 divide o?
True
Let q(s) = s**2 - 6*s + 15. Suppose 12*c - 5*c + 35 = 0. Is 14 a factor of q(c)?
True
Suppose 6*a - 193 = 203. Is a a multiple of 9?
False
Suppose 8*k + 1428 = 10*k. Is 7 a factor of k?
True
Let g be ((-1)/3)/(2/(-36)). Suppose -l + 4*l - g = 0. Does 13 divide 12 + 8 - (l + 1)?
False
Suppose 0 = 4*i - 3*l - 229, l + 177 = 3*i + 4*l. Let g = i - 48. Does 3 divide g?
False
Let k be 2/9 - (-170)/45. Let c be (-6)/(-9)*6/k. Suppose 73 - c = 4*i. Is i a multiple of 6?
True
Let a(q) = q**3 - 4*q**2 + 3. Let b be a(4). Let p = 119 + -68. Suppose -b*l + p = -90. Is 12 a factor of l?
False
Let d(v) = -17*v - 21. Let q(w) = -18*w - 23. Let j(a) = 7*d(a) - 6*q(a). Is j(-19) a multiple of 50?
True
Does 11 divide 448/10 - 32/40?
True
Suppose 2 = 3*h - 2*h, -498 = -z + 3*h. Is z a multiple of 14?
True
Let p(t) = 6*t + 103. Is p(24) a multiple of 19?
True
Let p(t) = t**3 + 18*t**2 - 6*t. Let n be 1 + 4 + (-27 - -4). Is p(n) a multiple of 18?
True
Suppose 2*g - 2 = a - 5*a, 0 = -4*g + a - 41. Let r(w) = -w**3 - 4*w**2 + 17*w + 12. Is r(g) a multiple of 33?
True
Suppose -2*q - 62 = -4*q. Let o = q + -29. Let n(z) = 7*z**2 - 5*z + 4. Does 4 divide n(o)?
False
Suppose -3*n + 836 = -4*q, -2*n + 0*n + 539 = q. Does 16 divide n?
True
Suppose 4*l - 1361 = -5*a - 363, -5*l + 2*a = -1264. Suppose 2*h = 14*h - l. Is 4 a factor of h?
False
Suppose 3*t + 2*l = 9536, -5 - 1 = 3*l. Does 106 divide t?
True
Let r(l) = -l + 17. Let t be r(15). Suppose -t*b + 2*y = -3*y - 197, 3*y + 415 = 4*b. Is b a multiple of 10?
False
Suppose -4*z + 3*y = 2*y - 1335, y = -2*z + 675. Is z a multiple of 28?
False
Let n(x) be the first derivative of 8*x**3/3 - x**2/2 - 4. Let g be (-56)/21 - 2/6. Does 15 divide n(g)?
True
Suppose 2*i = 3*u - 2039, -5*u + 480 = 4*i - 2889. Does 31 divide u?
False
Let g(m) = 6*m**2 + 2*m + 5. Let b be g(9). Let k = -340 + b. Does 14 divide k?
False
Let m(c) = c**2 + 3*c + 262. Is 11 a factor of m(0)?
False
Let g be (-54)/(-9)*5/2. Suppose -5*w + 0 = -g. Suppose -w*v - 15 = 0, 4*m - 47 = 3*m - 3*v. Is 18 a factor of m?
False
Suppose 3*c + 3*t - 7134 = 0, 2000 = c + 5*t - 386. Is c a multiple of 18?
True
Let b be (9/(-4))/((-1)/12). Let c(l) = l**3 + 12*l**2 + 13*l + 5. Let n be c(-11). Let k = n + b. Does 9 divide k?
False
Let u(b) = b - 3. Let r be u(6). Suppose -3*i - 5*c = i - 228, -172 = -r*i - 4*c. Is i a multiple of 8?
False
Let o be (16*1)/((-34)/(-17)). Suppose -2*n - 3*m + o*m = -324, 132 = n + 5*m. Does 19 divide n?
True
Let w = 2 - 114. Let u be (-5)/(-20)*4*w. Is (57/(-38))/(3/u) a multiple of 7?
True
Let s(i) = 3*i**3 - 4*i**2 - 4*i - 10. Let x be s(6). Suppose 8*n = 3*n + x. Let u = n - 64. Is 8 a factor of u?
False
Let p be 1/(1/((-6)/(-2))). Let k = -57 - -81. Suppose k = 7*g - p*g. Is g a multiple of 2?
True
Let o be (17/(-4))/(7/(-84)). Is 10 a factor of 0 + (3 - o/(-3))?
True
Let b = -10 - -15. Let s(o) = o**2 + o. Let a(z) = z**3 - z**2 + 4*z - 2. Let h(n) = a(n) - 3*s(n). Does 17 divide h(b)?
False
Suppose 1180 = 35*s - 30*s. Is s even?
True
Let f(k) = -5*k - 8. Let r be f(-4). Is 3 a factor of 280/r + (-2)/6?
False
Let m = 166 - -15. Suppose 102 = 3*l - 3*s, s - m = -4*l - 4*s. Is 11 a factor of l?
False
Suppose 3*p - 2*q = 13, -9*q = -5*p - 8*q + 24. Suppose 894 = p*a + z - 145, -2*a - z = -415. Is 26 a factor of a?
True
Let x(q) = 9*q - 24. Let o be x(-9). Let r = -31 - o. Is 13 a factor of r?
False
Let f = -23 - -17. Let g(j) = -2*j**3 - 8*j**2 + 6*j + 13. Is 35 a factor of g(f)?
False
Suppose 20*g + 3744 = 36*g. Does 26 divide g?
True
Suppose -4*g + g + 17 = 4*f, -2*g = -2*f + 26. Suppose -f*a + 284 = -4*a. Is a a multiple of 12?
False
Suppose 4*g = -2*m + 3864, -3*m = 3*g - 852 - 2046. Is g a multiple of 46?
True
Let g be 3/(-18) + (-2517)/18. Does 37 divide (13/2)/((-5)/g)?
False
Does 7 divide ((-76)/(-5))/((-16)/(-280))?
True
Let p(s) = -16*s - 332. Is 14 a factor of p(-27)?
False
Let r be -1*3/(-9)*-1*-9. Let c be (6 - 5)*(-5)/(-1). Suppose c*q - 2*q + v - 67 = 0, r*q - v = 71. Is 10 a factor of q?
False
Suppose 9*n + 2489 = 28*n. Is n a multiple of 33?
False
Let l(o) = -o**2 - 5*o - 4. Let n be l(-7). Let s = 53 + n. Suppose -i - r = r - s, 0 = -i + r + 32. Is i a multiple of 19?
False
Is 15 a factor of 417 + -14 + -1 + 8?
False
Suppose 2*m - 3*w = 3698, -w - 9222 = -5*m - 5*w. Is m a multiple of 86?
False
Suppose 0 = 3*o + 2*s - 189, -o + 63 = -4*s + 6*s. Does 3 divide o?
True
Let o(r) = -r**3 + 10*r**2 + 7*r - 12. Does 26 divide o(5)?
False
Let v(w) be the third derivative of -5*w**4/24 + 4*w**3/3 + 28*w**2. Is 18 a factor of v(-10)?
False
Let y = -277 - -471. Suppose -y = 3*k - 566. Does 26 divide k?
False
Suppose 0*v = 5*v - 5*r - 1505, -v - 5*r = -295. Is v a multiple of 13?
False
Suppose 3*s - 15 = -0. Suppose 5*x + o = -36 + 256, 0 = s*x + 5*o - 200. Is x a multiple of 5?
True
Let d(q) = -4*q**2 + 80*q - 9. Is 18 a factor of d(16)?
False
Let m(p) = -p**2 - 3*p + 15. Let k be m(6). Let o = k + 73. Is o a multiple of 5?
False
Let w(p) = 4*p**2 + 45*p - 201. Is 7 a factor of w(5)?
False
Is 36 a factor of (-2)/(8/(-251)) + 3/12?
False
Let h(j) be the third derivative of j**4/24 + 23*j**3/6 + 11*j**2. Does 5 divide h(-13)?
True
Suppose 0*k = -2*o + 2*k + 20, o - 2 = -k. Suppose -o*c = -c. Suppose c = -d - 3 + 35. Is d a multiple of 16?
True
Suppose 5*x = 7 - 7. Suppose -p + 4*q + 361 = x, 2*p + 2*q - 293 = 409. Is 52 a factor of p?
False
Let m be (6 - (-6)/(-1)) + (0 - 41). Let p = m - -68. Is 4 a factor of p?
False
Let h(b) = b + 4. Let d 