 2*p - 6*p = -312. Is 13 a factor of p?
True
Let l = 390 - 240. Is 10 a factor of l?
True
Suppose 0*m = -5*m + 30. Is m a multiple of 3?
True
Let w = 30 + -13. Suppose -2*v = -q - 5, -4*v + w = 7*q - 2*q. Suppose 13 = v*z - 14. Does 4 divide z?
False
Let t(s) = -s**2 - 5*s + 7. Suppose -3*x + 0*g - 5*g - 3 = 0, -33 = 5*x - g. Let c be t(x). Does 4 divide c - -1 - (1 + -4)?
False
Let a = -26 - -42. Is a a multiple of 6?
False
Let k = 16 - 28. Does 25 divide (-1)/3*(-63 + k)?
True
Suppose -1 + 19 = 3*x. Let v be (0 + x)*(-7)/(-2). Let a = v + 13. Is 13 a factor of a?
False
Let b(l) = 2*l**2 - l**2 - l + 9 + 1. Suppose c = -6*c. Is 6 a factor of b(c)?
False
Suppose 0 = -5*q - 25, -2*q = 2*k - 5*q - 105. Suppose m = 5*p + 1, 2*m - 5*m + p + k = 0. Suppose -m = -5*t - 1. Is 2 a factor of t?
False
Let z(n) = 7*n**2 - 11*n + 6. Let t(v) = 3*v**2 - 6*v + 3. Let f(m) = -5*t(m) + 2*z(m). Let k be (-8)/6*(-1)/((-8)/(-36)). Does 3 divide f(k)?
True
Let j = 534 - 298. Suppose 73 = k - 3*t, 4*k + 5*t + 29 = j. Is k a multiple of 10?
False
Let s = 19 - 11. Is s a multiple of 4?
True
Let c = 424 + -154. Does 30 divide c?
True
Suppose -5*f = o - 103, 2*f - 28 = 6*o - 2*o. Is 10 a factor of f?
True
Suppose -x + 4*x = -l + 12, -4*l + 5*x + 133 = 0. Does 6 divide l?
False
Let y be (-130)/(-50) - 6/10. Suppose y*q - 85 = 3*v, -5*v + 204 + 21 = 5*q. Is q a multiple of 10?
False
Let q(h) = -h + 8. Let k be 1*2*1/2. Let j = -1 + k. Is 4 a factor of q(j)?
True
Let k be (1 + -1)/(6/(-3)). Suppose k = 3*r - q - 72, -24 = -r - 2*q - 0*q. Does 6 divide r?
True
Let o = -2 + 106. Is 26 a factor of o?
True
Let c = 1 - 4. Is 2 - (c - (2 - 4)) a multiple of 2?
False
Let j be (4/6)/(12/54). Suppose -165 = 2*l + j*l. Let k = -5 - l. Is k a multiple of 14?
True
Let n = 100 - 71. Let t = 8 + n. Does 13 divide t?
False
Suppose 3*y + 2*y - 40 = -5*p, -p = 5*y + 4. Does 9 divide p?
False
Let r(f) = -f**2 - 13*f + 11. Does 4 divide r(-13)?
False
Suppose -j = -0*j - 135. Let f be 1*-2 + 1 + j. Suppose 5*m = -3*b + f, 136 = 4*b - 2*m - 2*m. Is b a multiple of 19?
True
Let t(x) = x**3 - 8*x**2 - 5*x - 1. Let h be t(9). Suppose l - h = -7. Is 6 a factor of l?
False
Let r = -1 - 1. Let j be (r + 2)*3/3. Suppose -z + 30 = -j*z. Does 17 divide z?
False
Suppose -2*q = -25 - 15. Is 2 a factor of q?
True
Let n be 2 - (-3)/(6/2). Suppose 5*x + a - 18 = 0, x + 10 = n*a + 4. Suppose x*c = 6*c - 78. Does 10 divide c?
False
Let s be 4/14 + 24/14. Let r = 2 - s. Suppose 4*k - 5*h = 60, 2*k + h - 17 - 27 = r. Does 14 divide k?
False
Suppose -2*r - 14 = -5*l + 3*l, l - 13 = -2*r. Let s(q) = q**2 - 7*q - 8. Let a be s(l). Suppose 2*o + 2*m = a, -o - 35 = -5*o + m. Does 8 divide o?
True
Suppose 3*j = -5*q + 23, 4*j + 5*q - 21 = 3*j. Is ((-1)/(-4))/j*116 a multiple of 13?
False
Suppose -4 = -2*r + 8. Let l(q) = -5*q + 9. Let w be l(r). Does 4 divide (-30)/w*(10 - 3)?
False
Let u be (-3)/2 + 24/16. Suppose 3*f - 30 = -u*f. Is 8 a factor of f?
False
Let c = -120 - -433. Is c a multiple of 57?
False
Suppose 0 = 2*r + 3*r - 115. Let b = 44 - r. Does 17 divide b?
False
Let o(i) = 10*i. Let s be o(1). Let j = 45 + -25. Let p = j - s. Does 5 divide p?
True
Suppose -7*n + 94 = -242. Is 8 a factor of n?
True
Let m(j) = -2*j + 4. Suppose 0*s - 12 = -3*s. Suppose s*n + 5*y = -10, -5*y + 28 = -4*n - 2. Does 7 divide m(n)?
True
Let z(q) = -5*q + 15. Let l(c) = -c + 3. Suppose 2*n + 0*n = -x - 6, -5*n - 24 = -2*x. Let r(m) = x*z(m) - 11*l(m). Is 2 a factor of r(6)?
False
Suppose 10 = 3*n + 4. Suppose c = n*l + 10 - 68, c = -2*l + 54. Does 8 divide l?
False
Suppose -i - 5*v = -4 - 11, i = 4*v + 6. Is 3 a factor of i?
False
Let j = 809 - 359. Suppose -j = -2*v - 3*v. Suppose -4*c - c + v = 5*f, -4 = -c. Does 10 divide f?
False
Let u(m) = m**3 - 8*m**2 + 10*m - 5. Let w = 3 - -4. Is 5 a factor of u(w)?
False
Let q(j) = j**3 - 5*j**2 - 9*j - 10. Let c be q(7). Suppose -4*n + 52 = -4*k, -n + 4*k + k = -c. Is n a multiple of 5?
True
Let n be -4 - -3 - (4 + -1). Let c = n - -6. Suppose -26 = -2*d - 2*y - c*y, 4*d + y - 80 = 0. Is d a multiple of 21?
True
Let t(f) = 12*f**3 + f**2 + 2*f + 1. Let u be t(-2). Is 14 a factor of (76/u)/((-4)/90)?
False
Let m(c) be the third derivative of -c**5/60 + 11*c**4/24 - c**3/2 - 3*c**2. Does 4 divide m(10)?
False
Let m = 355 - 151. Is 17 a factor of m?
True
Suppose -w + 0*w + 25 = 0. Is 10 a factor of w?
False
Suppose 24 = s - 15. Is s a multiple of 20?
False
Let d be (-1 + 0)*1 - -21. Suppose d = 5*g, 2*u = -3*u - g + 124. Is u a multiple of 17?
False
Suppose 0*a + 4*a = 12. Let w(r) be the first derivative of r**4/4 - 2*r**3/3 + r**2/2 + 4*r - 3. Does 8 divide w(a)?
True
Suppose 2*z - 11 = r, 0*r = 4*r - 4. Let y(g) = g**2 - 3*g + 9. Does 14 divide y(z)?
False
Suppose 12 = 2*x - 276. Does 18 divide x?
True
Let q(m) = -2*m**3 - 10*m**2 - 8*m - 9. Is 37 a factor of q(-6)?
True
Let h(u) = 2*u**2 + 3*u - 5. Let r be h(-4). Suppose -o + 5*m + r = -2*o, 2*o - 3*m = 35. Let c = o + 10. Is 10 a factor of c?
True
Let f(i) = -2 + 10*i + 0*i + 5. Let b be ((-4)/(-6))/((-28)/(-126)). Is f(b) a multiple of 12?
False
Let t be -1 - (-7 - -1)/3. Is t/(-2) - 18/(-4) even?
True
Let n = -53 + 96. Is n a multiple of 7?
False
Let x be (-2)/(0 + 6/21). Let f = x + 22. Is -15*6*(-3)/f a multiple of 9?
True
Let d = 7 - 5. Does 2 divide ((-5)/4)/(d/(-8))?
False
Suppose 0*f + 50 = 2*f. Suppose s - f = 5*b, -4*b = -0*s + 4*s - 4. Suppose 0 = -p + 20 - s. Is p a multiple of 6?
False
Let c(f) = -f**3 + 11*f**2 + 12*f - 1. Let p be c(12). Suppose -29 = -4*t + 15. Let g = t + p. Is 5 a factor of g?
True
Let x = 7 - 6. Let y(o) = 31*o. Is 13 a factor of y(x)?
False
Suppose -3*n + 75 = 2*i, 2*n - 39 - 35 = -2*i. Let k = 50 - i. Let a = k + 10. Does 15 divide a?
False
Is 12 a factor of 4/(48/(-87))*-4?
False
Let o(w) = 23*w + 3. Is 37 a factor of o(4)?
False
Let n be 84/(-6)*2/(-4). Let p(t) = t**3 - 6*t**2 - 6*t - 2. Let j be p(n). Suppose -2 = -g + j. Does 4 divide g?
False
Let w(i) = i**2 - 6*i + 1. Is w(10) a multiple of 9?
False
Let u be -3 - 5/(15/(-297)). Suppose 3*i - 2*i + 2*h - 99 = 0, i - h = u. Is 25 a factor of i?
False
Let y = 4 - -132. Does 7 divide y?
False
Let n(m) = m**3 - m**2 + 37. Is 3 a factor of n(0)?
False
Let j be ((-45)/(-12))/(-5)*-4. Suppose j*i + 30 = -198. Let t = -37 - i. Does 15 divide t?
False
Suppose -3*y - 18 = 5*v - 4*y, 2*v + 21 = 5*y. Let i = 3 + v. Suppose i = o - 15 - 9. Does 9 divide o?
False
Let f = -3 - -5. Suppose 4*a + 3*c - 2 = 6, 4*a - 8 = -f*c. Suppose 0 = -a*g + 2 + 6. Is g a multiple of 2?
True
Suppose -4*a - 16 = 2*s, -4 = -2*s + 2*a + 4. Let j be -1*23*(-1 - s). Suppose j = 3*o - 31. Is 9 a factor of o?
True
Suppose 0*a - 4 = -a. Suppose -2*s + a*s = -6. Does 13 divide 38/s*3/(-1)?
False
Suppose 0 = k - 3*k + 2*y + 8, -5*y + 12 = 3*k. Let h be 1/2 - k/(-8). Is 17 a factor of 1 + h + 0 + 15?
True
Let c(n) = 2*n + 11. Let t be -4*(-3)/4*3. Does 11 divide c(t)?
False
Suppose 0 = -3*p + 2*p + 23. Is p a multiple of 23?
True
Let t(q) = q**3 + 6*q**2 + 2*q - 7. Let r(f) = -f**3 - 5*f**2 - f + 3. Let d be r(-5). Suppose 3*x + d = -7. Does 3 divide t(x)?
False
Let c = -350 + 622. Does 10 divide c?
False
Let h = 2 - 6. Let p be ((-6)/h)/(12/16). Suppose -32 = -p*u + 30. Is u a multiple of 17?
False
Suppose z + 3*z - 120 = 0. Suppose 5*m - z - 40 = 0. Does 7 divide m?
True
Let a = -7 - -10. Suppose -8 = 4*p - 5*t, -2*p + 7*p + a*t = 27. Suppose -3*y + 15 = -4*q, q = -3*y - p*q + 15. Does 5 divide y?
True
Let h(w) = 6*w**2 + w + 28. Does 12 divide h(-5)?
False
Suppose y - 2*l = 13, -5*l = -2*l. Suppose -15*u = -y*u - 18. Is u a multiple of 3?
True
Let l(q) be the second derivative of q**5/20 - q**4/4 + q**3/3 - q**2 + 2*q. Does 3 divide l(3)?
False
Let c = -8 + 12. Suppose i = -0*i - 2*d + 82, c*i - 372 = 3*d. Is i a multiple of 30?
True
Let b(q) = -q**2 + q + 5. Let i be b(0). Suppose -i*y = -y - 12. Suppose 0 = o - 2, x = -y*x + 2*o + 92. Is x a multiple of 16?
False
Let a be 2/(0 + (-3)/(-12)). Suppose -a = -3*b + b. Suppose 3*r = 2*h + 8, 4*h = h - b*r + 22. Is 2 a factor of h?
True
Suppose -5*w - 19 = -2*b, -b - 1 = -4*w - 18. Does 15 divide b + 1 + 3 - -29?
True
Suppose -5*f + 262 = 6*p - 3*p, -2*p = 5*f - 263. Suppose -11 = -2*v + f. Let m = v - 14. Is 18 a factor of m