uppose -3*f + 2*p = -225, 237 = -f + 4*f + 2*p. Is 15 a factor of f?
False
Suppose -390 - 370 = -4*w. Is 19 a factor of w?
True
Let x = -1 - 2. Let l = 1 - x. Suppose -l*v + 5*z = -35, 5*z + 30 = 5*v - 2*v. Does 2 divide v?
False
Suppose -4*d = 23 + 13. Is 5 a factor of (d/(-4))/(3/24)?
False
Let d(l) = l**2 - l + 6. Does 12 divide d(-5)?
True
Suppose -5*w + 142 + 98 = 0. Does 16 divide w?
True
Let l(x) = x**2 + 7*x. Is 6 a factor of l(-9)?
True
Let d be 92 - 3*(-2)/(-6). Let j = d - 3. Does 7 divide 6/(-9) + j/6?
True
Let y = -110 + 201. Is y a multiple of 29?
False
Suppose -20 = -2*c + 3*n, 0*c + c = 2*n + 12. Suppose 0 = -c*p + 27 + 37. Is 8 a factor of p?
True
Let t be (48/4)/(-4)*1. Let h(p) = -10*p. Is 25 a factor of h(t)?
False
Let u(a) = -a**2 + 3*a - 2. Let o be u(2). Suppose 7*t - 6*t - 45 = o. Is 14 a factor of t?
False
Does 6 divide 2 + -4 + 1 + 88?
False
Let w(k) = -3*k**3 - 2*k**2 + 5*k + 6. Does 22 divide w(-4)?
False
Let v be -2*1 + (8 - 4). Does 8 divide 41 + v + -2 + -3?
False
Let u(k) = -11*k + 2. Does 8 divide u(-2)?
True
Suppose 0 = c - 2*c. Suppose 0*m - m - h - 1 = 0, c = -m - 5*h - 21. Suppose 9*n - m*n - 15 = 0. Is 2 a factor of n?
False
Let s be (-16)/(-10)*(-6 - -1). Let l be (-68)/12*(s + -1). Let d = l - 31. Is d a multiple of 9?
False
Let i = 87 - 53. Is i a multiple of 2?
True
Let p = -4 + 9. Suppose -5*k + 5*q = 35, 4 - 1 = -p*k - 3*q. Is ((-2)/(-5))/(k/(-45)) a multiple of 3?
True
Suppose -4*a = -3*n - 26, -3*a - 4*n - n + 5 = 0. Suppose -a*b = 5*l - 95, l - 9 - 20 = b. Does 12 divide l?
True
Suppose 4*i - 188 = -0*i. Is 18 a factor of i + 2 + -2*1?
False
Let q(w) = -21*w**3 - 2*w**2 - w. Let a(o) = o**3 + 7*o**2 + 6*o + 7. Let j be a(-6). Suppose 5*m - 4*b - 11 = 0, -m + j = 2*b - 4*b. Is 7 a factor of q(m)?
False
Let g(l) = l**3 + 3*l**2 - 2*l - 4. Let x be g(-3). Suppose -2*b = 3*d - 2*d - 1, 5*b - 4*d = 22. Suppose n + x*n - 2*c = 23, -3*c = -b*n + 12. Does 4 divide n?
False
Suppose -544 = -5*q - 4*u, -2*q + 3*u + 160 = -53. Is q a multiple of 27?
True
Suppose 0 = 3*n + 2*n - 175. Does 13 divide n?
False
Let g(h) = h. Let m be g(-2). Let c(p) = -4*p**3 - 2*p**2 + p - 1. Is 7 a factor of c(m)?
True
Suppose -3*w - 5*n + 86 = -n, -2*w + 4*n + 64 = 0. Suppose 2*x - 5*x = -w. Is x a multiple of 5?
True
Let i = 1 + -1. Let g be (-18)/(-8) - 5/20. Suppose g*t - t - 8 = i. Is 8 a factor of t?
True
Let f be ((-111)/9)/(2/12). Let b be (-9)/(-15) - f/10. Suppose -3*l = -16 - b. Is l a multiple of 6?
False
Is 12 a factor of 1*(-3 + 2)*-53?
False
Suppose 13*h - 66 = 2*h. Is h even?
True
Let d(j) = 2 - 4*j - 9 - 11*j. Let l be d(-6). Suppose 2*v - f - 54 = f, 3*v - l = 5*f. Does 11 divide v?
False
Let y be 23/4 - 3/(-12). Suppose 0 = -y*z + z + 250. Does 26 divide z?
False
Suppose 0 = f - 5*p - 18, -f + 14 = -0*f - 3*p. Suppose -4*x + 5*r = 138, -3*r - r + f = 0. Does 13 divide 102/8 + (-8)/x?
True
Let j = 322 - 204. Is 35 a factor of j?
False
Let k(o) = o. Let g(f) = 2*f. Let d(p) = -2*g(p) + 5*k(p). Suppose -3*b + 8 + 1 = 0. Is d(b) a multiple of 2?
False
Suppose 4*k = -5*r + 249, -2*r + 0*r + 290 = 5*k. Suppose 3*m = k - 8. Does 16 divide m?
True
Let s be 0 + 2 - 3/3. Let l be ((-1)/s)/(7/35). Let y(r) = -r**3 - 5*r**2 - 2*r + 5. Is y(l) a multiple of 6?
False
Let s be 10/(-3)*(-12)/(-10). Let y be (-1)/(-4) - (-1)/s. Is 13 a factor of y + -2 - (-18 + 1)?
False
Let w(d) = -2*d**2 - 5*d - 2. Let a be w(4). Suppose -10*o = -9*o + 31. Let b = o - a. Is b a multiple of 23?
True
Let p(u) = 2*u - 1. Let v be p(-3). Let r(i) = -i**2 - 12*i - 3. Is r(v) a multiple of 24?
False
Let w = 18 + 34. Does 9 divide w?
False
Does 21 divide (68 - -2) + (0 - -1)?
False
Suppose -3*o = -4*q + 297, -2*q - 2*q + 301 = o. Does 17 divide q?
False
Let z(m) = m**2 + m + 3. Suppose 5*r - 38 + 8 = 0. Suppose r*w = 2*w + 12. Is 5 a factor of z(w)?
True
Is 1*(-2)/(8/(-60)) even?
False
Suppose -o - 26 = -2*o. Is o a multiple of 13?
True
Let l = -80 - -120. Is l a multiple of 8?
True
Suppose -2*m = -4*r - 4, -5*m + 2 = -2*r - 0. Does 14 divide 18*3 + (2 - m)?
True
Suppose -p + 4 = -5*i - 8, 2*p = -i - 9. Let n = 0 - p. Suppose 2*v + 5*k + 6 = 48, -n*k = -12. Is v a multiple of 5?
False
Suppose -s + 5 = -6. Does 11 divide s?
True
Suppose -3*l + 0*l + 15 = 0. Suppose -l*d = -17 + 2. Suppose -12 = 3*j, 3*b - 4 = -d*j + 8. Does 8 divide b?
True
Suppose -96 = 7*p - 9*p. Is p a multiple of 16?
True
Let x(s) = -5*s**3 + s**2 - s + 3. Let d(t) = -4*t**3 - t + 2. Let m(a) = -6*d(a) + 5*x(a). Is 23 a factor of m(4)?
True
Let r(a) = -45*a**3 - 1. Let l = 4 + -3. Suppose l + 2 = -3*w. Is 16 a factor of r(w)?
False
Let s(l) = l**3 - 5*l**2 - l + 8. Is s(7) a multiple of 33?
True
Suppose 6*y - 3*y - 3*i = 18, 5*i = y - 26. Let l(n) = -n. Let m(k) = 2*k - 1. Let f(r) = y*m(r) - 5*l(r). Is f(3) a multiple of 10?
True
Let i(k) = k. Let q(r) = 4. Let t(o) = -6*i(o) - q(o). Is 14 a factor of t(-3)?
True
Let f(q) = -q**3 - 2*q**2 + q + 26. Is f(0) a multiple of 2?
True
Is 22 a factor of (54/12)/((-6)/(-200))?
False
Let a(h) = -80*h - 5. Let k be a(-2). Let c = k + -102. Is c a multiple of 20?
False
Let g(j) = 2*j + 3. Let m be g(6). Let q = m + -9. Is q a multiple of 6?
True
Let k(u) = 64*u - 1. Let m be k(1). Suppose 0*z + z - m = 0. Does 21 divide z?
True
Let n = 113 + -77. Is n a multiple of 18?
True
Suppose 44 - 137 = -3*g. Let t = g - 19. Does 6 divide t?
True
Suppose -60 = -5*r + 3*r. Does 10 divide r?
True
Let p(h) = 2 + 0*h + h + 4*h - 1. Let v be p(4). Suppose -4*y + v + 3 = 0. Is y a multiple of 2?
True
Let d = 8 - 6. Suppose 4*i - 5 - 87 = 0. Suppose d*j - i - 5 = 0. Is 8 a factor of j?
False
Let k(o) = -4*o + 1. Let q be k(-1). Suppose -8 = -4*b, -5*u + 0*b - 17 = 4*b. Let l = q - u. Is l a multiple of 5?
True
Suppose 5*w + 3*r - 24 = 2*r, 2*r = -2*w + 8. Suppose 4*m - w*d - 44 = 236, d + 350 = 5*m. Is 27 a factor of m?
False
Suppose -7*v = -2*v - 15. Let c = 2 + v. Suppose -c*t + 2 = -l - 26, -40 = -5*t + 5*l. Is t a multiple of 3?
False
Let m be 45/(-2)*24/30. Is (-120)/(-9)*m/(-15) a multiple of 16?
True
Let v = 5 - 0. Suppose h - 31 = -b, -v*h + 11 = b - 0. Is b a multiple of 12?
True
Suppose 0 = 6*h - 175 + 19. Is h a multiple of 13?
True
Suppose 9 + 31 = 5*j. Let r(o) = o**3 - 8*o**2 + 3*o - 11. Let k be r(j). Let q = 36 - k. Is 7 a factor of q?
False
Suppose 0 = 4*m - 3*m - 2. Suppose m*y - 4*y = -104. Suppose -4*l - 2*a + 24 = -28, 4*a = 5*l - y. Does 8 divide l?
False
Suppose -410 = 11*z - 16*z. Does 11 divide z?
False
Suppose 3*j = -170 - 10. Let x = 111 + j. Does 17 divide x?
True
Let o = 16 - 25. Does 7 divide 6/o - (-23)/3?
True
Let n be 1/(4/(8/1)). Is 20 a factor of (-1002)/(-24) + n/8?
False
Suppose 5*u - 2*y + 739 = 0, 4*u + 605 = -y + 19. Is 12 a factor of u/(-12) - 4/16?
True
Suppose -f = 2*f - 21. Suppose 8*o - 24 = f*o. Does 19 divide o?
False
Let s = -79 - -118. Is s even?
False
Let u be 224/10 - 4/10. Suppose 0 = 3*y - 155 + 761. Does 5 divide 2/(-11) - y/u?
False
Let v = 1409 - 609. Suppose 3*k + 2*k = v. Suppose -3*h = 2*h - k. Is h a multiple of 16?
True
Let k = 154 - 74. Does 16 divide k?
True
Let l be (60/(-25))/(2/(-5)). Suppose 0*d + 108 = l*d. Is 6 a factor of d?
True
Let d(k) = -4*k - 6. Let o be d(-4). Let z be -1*(-3 + 4) + 6 + 0. Let r = o - z. Is r a multiple of 3?
False
Let x(g) = 7*g + 22. Is x(20) a multiple of 32?
False
Suppose w - 5*s + 5 = 86, -2*s = -4*w + 306. Does 19 divide w?
True
Suppose -5*q - 53 = -168. Is q a multiple of 23?
True
Let v(i) = i. Suppose h + 12 = -4*y + 5*h, h = 1. Let q be v(y). Is 13 a factor of q/((-6)/45) + -2?
True
Let a = -9 + 11. Suppose a*f = 3*f. Suppose -4*c - 1 + 77 = f. Does 9 divide c?
False
Let v(h) = -h**2 + 4*h - 1. Let i be v(2). Suppose 0 = -5*a + i*z + 25 + 16, 4*a + 2*z - 46 = 0. Does 10 divide a?
True
Let r(i) = -i**3 + 2*i - 5. Let v(w) = w**2 - w + 1. Let l(a) = -r(a) - 3*v(a). Is l(3) a multiple of 2?
False
Let f(r) = -r**2 - 14*r - 24. Is f(-8) a multiple of 4?
True
Suppose -5*b + 65 = 5*w, b - 22 - 1 = -2*w. Let i = -7 + w. Is i - (-14)/(-1 - -3) a multiple of 10?
True
Let n = 432 + -192. Is 15 a factor of n?
True
Suppose -41 - 25 = 3*l. Let t = 37 + l. Is 15 a factor of t?
True
Let k(a) = -a**3 - 5*a**2 + a + 7. Let c be k(-5). Let b = 13 - c. Suppose -25 = -2*l 