= 35 + -12. Is 3 a factor of p?
False
Suppose -5*h + 88 = -k, k + 102 = -2*h - 0*h. Let y = 37 - k. Does 29 divide y?
False
Suppose -7*g + 11580 = 2550. Is g a multiple of 66?
False
Suppose 0 = -22*d + 43*d - 18396. Is 16 a factor of d?
False
Suppose 18 = 3*m - 2*m. Is m a multiple of 3?
True
Let m(q) = q**2 + 12*q + 3. Let u be (-354)/30 - (-1)/(-5). Let i be m(u). Suppose -2*d + 0*r + 5*r + 106 = 0, 4*d + i*r - 238 = 0. Is 16 a factor of d?
False
Let i be (-2*5)/(-4 - -3). Suppose -6 = -4*l + i. Suppose -2*g + 3 = -5*u, 33 = 4*g - l*u + 9. Is g a multiple of 3?
True
Let x be 10/(-45) - (-652)/18. Let n = x + -29. Is n a multiple of 7?
True
Let r(g) = -10*g - 55. Let v be r(-6). Suppose -2*i + 5*q + 226 = 4*q, v*i - 558 = -q. Is 8 a factor of i?
True
Let z(n) = 2*n**2 + 4*n - 1. Let w = -16 + 13. Let k be z(w). Suppose -k*r + 180 = -p, 3*p - 108 = -3*r + 2*p. Is 12 a factor of r?
True
Let p be -20*(-2 - -4)/4. Suppose r - 2*m + 1 = 11, -4 = -4*m. Let o = p + r. Is o even?
True
Suppose -480 = 75*t - 80*t. Suppose i = 2*h - 59 - 133, h + i = t. Is h a multiple of 6?
True
Suppose 4*f - 18 = -k + 1, -k - 5*f + 23 = 0. Suppose 5*p = k*d + 2*d - 25, -2*d + 10 = 5*p. Suppose 35 + 55 = d*x. Is x a multiple of 7?
False
Let a(v) = 27*v**2 + v - 2. Suppose -n - 5*x = 18, -3*x + 0 = 5*n + 2. Is 27 a factor of a(n)?
True
Let z(n) = 55*n - 27. Let i be z(3). Let g = i - 110. Is 4 a factor of g?
True
Let t(b) be the first derivative of -b**4/4 - 3*b**3 + 15*b**2/2 + 26*b - 10. Is t(-11) a multiple of 19?
False
Let m = -16 - -16. Suppose m = 21*f - 26*f + 200. Is f a multiple of 10?
True
Let x(r) = -r**2 + 4*r + 12. Let a be x(6). Let n(c) = 2*c**3 - c**2 + c + 170. Is 34 a factor of n(a)?
True
Let s be (-2 + 0)/(4/2). Let y be (-2)/s*(-7)/(-1). Suppose -2*t - 4*v + 22 + y = 0, -5*t - v + 90 = 0. Does 6 divide t?
True
Suppose 10 = -2*p + 24. Suppose p*m = -0 + 56. Does 11 divide 263/m - 2/(-16)?
True
Suppose 480 = -5*g + 9*g. Does 11 divide g?
False
Let u(t) = 0 + 7 - 23*t + 4 + 3*t. Let h(i) = -7*i**2 + i. Let l be h(1). Is 36 a factor of u(l)?
False
Suppose 37*o - 4 = 41*o, -3*o - 3173 = -5*t. Is 10 a factor of t?
False
Suppose 563 = -22*v + 3599. Is 46 a factor of v?
True
Suppose -m - 70 = -0*m. Let g = 269 - 309. Let o = g - m. Does 23 divide o?
False
Let h(j) = -6*j + 4. Suppose 7*r + 40 = 2*r. Let f be h(r). Suppose -2*z + 60 = 8*l - 3*l, -f = -2*z - 3*l. Is 10 a factor of z?
True
Let o(m) = m**3 + m**2 - 4*m + 6. Let k be o(-3). Suppose -5*v + 3*v + 118 = k. Is v a multiple of 38?
False
Let o = 300 - 214. Let i = 130 - o. Is 22 a factor of i?
True
Let k = -1217 - -1397. Is k a multiple of 10?
True
Suppose -5 = d - 8. Suppose 0 = -5*j - d*f + 72, 6*j - 5*f - 80 = j. Is j a multiple of 5?
True
Let r be 0 + (2 - (-1 - -3)). Suppose 4*d + 8 + 16 = r. Let w(f) = -f**3 - 6*f**2 - 5*f - 5. Is 12 a factor of w(d)?
False
Let u(y) = -y**2 - 8*y - 27. Let d be u(-5). Does 18 divide -3*(-114)/d*(-12 - 0)?
True
Does 6 divide 63*(-6)/(-4) + (-5)/10?
False
Let b be (1/(-2))/((-12)/168). Suppose t - 38 = k, -4*t + b*t - k = 104. Is 6 a factor of t?
False
Let o = 15 + -15. Let t(j) be the second derivative of -j**4/12 + 41*j**2/2 + 2*j. Does 13 divide t(o)?
False
Suppose -3*v + 89 = 4*f, 5*v = -f - 2*f + 75. Suppose 8*l - 3*l = -f. Does 14 divide -26*(l - 0)/4?
False
Suppose 5*y - 375 = -5*v, -5*y = -10*v + 5*v + 425. Let d = 116 - v. Suppose -8*x + 5*x + d = 0. Does 12 divide x?
True
Let r(w) be the third derivative of -w**6/120 + 7*w**5/60 + 3*w**4/8 + w**3/6 + w**2. Suppose -2*x + 7 = -7. Is r(x) a multiple of 22?
False
Suppose -2*h - v = -3*v - 42, 3*h = -5*v + 87. Let t(p) = -p - 12. Let d be t(-3). Let u = d + h. Is 5 a factor of u?
True
Let k = 398 - 206. Suppose -q + k - 40 = 0. Does 38 divide q?
True
Let s(n) = -n**3 - 5*n**2 + n + 7. Let j be s(-8). Let m = j - 70. Suppose -m = -5*o + 14. Is o a multiple of 4?
False
Let j(z) = -z**2 - 3 + 2*z - 4 + 10*z. Let d be j(6). Suppose 4*k - d = 3*f, k + 2*f = -2*k + 9. Is 5 a factor of k?
True
Let f = -13 - -10. Does 5 divide ((-8)/(-1))/(5/(-60)*f)?
False
Let a(o) = -o**3 + 10*o**2 + o + 2. Let k be a(10). Let t(p) = -p**2 + 11*p + 10. Let v be t(k). Does 12 divide v + (-192)/(-4)*1?
False
Suppose 0 = -4*h + r + 4*r + 154, 3*h - 112 = 2*r. Suppose 0*k + 4*k = -h. Let f = 15 - k. Is f a multiple of 4?
True
Suppose -56 = -f - 3*f. Is 16 a factor of f/(-35) - (-764)/10?
False
Suppose -4*g + 12 = -3*d, 2*g - 5*d + 4 = -d. Let z(p) = 1 + 0 - g + 2*p. Is z(11) a multiple of 4?
False
Suppose -71*j = -1181 - 14013. Is j a multiple of 11?
False
Let i = 31 + 75. Is i a multiple of 7?
False
Is (6/(-5))/((-120)/38800) a multiple of 13?
False
Let l be 172/20 + (-6)/(-15). Let d = -11 + l. Does 29 divide (116/6)/(d/(-3))?
True
Let h(m) = -2*m**2 - 12*m + 7. Let x be h(-8). Is 6 a factor of x/(-15)*-3 - -101?
True
Let s(h) = h - 23. Let v be s(13). Let j = v - -13. Suppose -24 = -j*i + i. Does 3 divide i?
True
Let o = 30 - -140. Is 17 a factor of o?
True
Suppose 3 = 2*l - 1. Let v be (36/(-8))/((-1)/l). Let w(t) = 2*t**2 - 14*t + 10. Does 13 divide w(v)?
False
Is 14 a factor of ((-1120)/(-42))/20*(3318 + 0)?
True
Suppose 9*n - 94 = 11*n. Let u = 83 + n. Let o = 47 - u. Is 11 a factor of o?
True
Let u = 388 + 91. Does 55 divide u?
False
Suppose -3*i + u = -4*u - 67, 3*i - 53 = -2*u. Suppose 0 = 4*v + 3*n - i + 116, 5*n - 51 = 3*v. Does 16 divide (v/3)/((-2)/6)?
False
Let i(b) = -b**2 + b + 1. Let s(v) = v**2 + 6*v - 3. Let p be (-1)/2 + (-4)/8. Let r(o) = p*i(o) + s(o). Is r(-5) a multiple of 7?
True
Suppose -12 = -18*b + 14*b. Suppose 2*a + 67 = 6*a - j, 0 = -a - b*j + 7. Is 4 a factor of a?
True
Let t(z) = -52*z + 452. Is t(-11) a multiple of 39?
False
Suppose 0 = t - 2. Suppose -s - 256 = -5*d - 5*s, 3*d + t*s - 152 = 0. Suppose 4*j - d = j. Is j a multiple of 14?
False
Suppose 1854 + 918 = 22*h. Is h a multiple of 3?
True
Let z be (3/(-15))/(1/(-6))*-5. Is 32/z*210/(-28) a multiple of 8?
True
Let r(g) = g**3 + 10*g**2 + 9*g. Let w = 25 - 24. Let l = -9 + w. Does 31 divide r(l)?
False
Let s be (1 - 2)*21*3. Let y = 211 + -90. Let h = s + y. Is h a multiple of 33?
False
Let w be ((-2)/(-5) - (-6438)/30) + 1. Let u = w + -125. Is 7 a factor of u?
True
Let l be 11 + (-2 - (-5)/5). Suppose -3*v = -l*v + 525. Is v a multiple of 16?
False
Let f(h) = -5*h**3 - 4*h**2 + 5*h + 22. Is f(-4) a multiple of 3?
True
Suppose -3*d = 4*y - 96, 4*y - 5*d - 88 = 40. Let t(i) = -i - 9. Let m be t(0). Let q = y + m. Does 9 divide q?
True
Let g = 46 + -43. Suppose 3*k + 3*o - 16 = 89, 106 = g*k + 2*o. Does 30 divide k?
False
Let y = 113 + -119. Is 32 a factor of 187 - (-1)/2*y?
False
Let f(d) = 2*d**3 - 20*d**2 + 37*d + 34. Is 55 a factor of f(13)?
False
Let m(f) = -f**3 - 2*f**2 - 3*f - 2. Let k be m(-2). Suppose -d = -6*d + k*l + 12, 3*l = 4*d - 9. Suppose -9 = -h - d*h. Is 2 a factor of h?
False
Suppose 4*a - 10 = -a. Suppose a*i + 3*l + 3 = 0, 2*l + 21 = -2*i + 7*i. Suppose -4*p = -2*u + 30, 2*u + i*u = -4*p + 19. Is u even?
False
Let x(q) = -q**2 + 6*q - 14. Let g(y) = -2*y**2 + 12*y - 28. Let i(s) = 4*g(s) - 7*x(s). Let u(w) be the first derivative of i(w). Is u(-5) a multiple of 8?
True
Let s = -826 + 1171. Is s a multiple of 23?
True
Let s = 11 - 3. Suppose 0 = -3*m + s - 2. Suppose -50 = -m*z + 16. Is z a multiple of 17?
False
Let q(f) = 6*f**2 - 19*f + 6. Let g(o) = o**2 - o + 1. Let b(a) = 5*g(a) - q(a). Suppose 4*v - 14 = 26. Does 13 divide b(v)?
True
Let g(a) = -a**3 + a**2 - a - 1. Let t(b) = -13*b**3 + 3*b**2 - 11*b - 8. Let v(f) = -6*g(f) + t(f). Is 16 a factor of v(-3)?
False
Let h(i) = 4*i + 81. Does 7 divide h(6)?
True
Is 29 a factor of (((-1785)/(-6))/(-7))/(6/(-12))?
False
Let w(c) = -2*c + 15. Let l(j) = -j + 7. Let x(y) = 10*l(y) - 4*w(y). Let a be x(-5). Let i = a + -8. Is 3 a factor of i?
True
Let p = 311 - 155. Suppose -3*z = -2*z - p. Suppose z = 4*l - 40. Is 9 a factor of l?
False
Suppose -h = -5*q + 8*q - 1582, -3*h - 6 = 0. Is q a multiple of 44?
True
Let j be (-36)/24 + (-13)/(-2). Suppose 5*q = -5*c + 10, 4*c + 3*q - 2 = j. Is 2*c/(-2) - -31 a multiple of 15?
True
Suppose 4*h = 3*u - 59, 11*u - 45 = 6*u - 4*h. Is u a multiple of 2?
False
Is 14 a factor of (0 - (-2)/(-5))/(3/(-5355))?
True
Let q(b) = -4*b - 8*b - 