 -b = -p + 70 + 80, -b + 140 = p. Suppose -11*l + 6*l + p = 0. Is l a multiple of 7?
False
Is 24 a factor of (2 + -147)*(-4)/10?
False
Suppose -2*m = -m. Suppose 2*y - 15 - 17 = m. Is 6 a factor of y?
False
Let k(a) = -7*a - 14. Let f be 12/54 - (-56)/(-9). Is 11 a factor of k(f)?
False
Let y = -6 + 3. Let q = y + 6. Is q a multiple of 2?
False
Let q = 9 + -6. Suppose u + q*u + 2*g + 22 = 0, 0 = -5*u + 4*g - 8. Let b(r) = -4*r - 1. Does 11 divide b(u)?
False
Let u(n) = -n - 8. Let f be u(-10). Let t be 1*(0 + 2 - -1). Suppose f*r + g = t, -2*r + 28 = -3*g - g. Is 2 a factor of r?
True
Let h be 0 + 2*22 + 2. Let r = h + -15. Suppose 0 = 5*c - 19 - r. Is c a multiple of 5?
True
Suppose 0 = -4*c - 2*f + 6, 10 = 3*f + 25. Suppose c*w + 4*j - 132 = 0, w - 33 = -j + 5*j. Is 7 a factor of w?
False
Let y = 35 - 30. Let l(z) = z + 7. Let f(b) = b. Let r(w) = 5*f(w) - l(w). Is 13 a factor of r(y)?
True
Let q(z) = -z**2 - 17*z - 14. Is 20 a factor of q(-10)?
False
Let l(g) = g**2 - 4*g - 7. Let x be l(6). Suppose -3*d - 17 = d + x*n, -2*d - 16 = 4*n. Let m(z) = -z**3 + 5*z**2 - 1. Is 11 a factor of m(d)?
True
Let j be (-8)/(-20) + (-4)/10. Suppose 0 = 3*v - j*v + 15. Let l = 0 - v. Does 3 divide l?
False
Let x(u) = u - 13. Let n be x(10). Let d = n - -6. Suppose d*c - 5 = 34. Is c a multiple of 13?
True
Let d(a) = -a**2 - 11*a - 16. Is d(-7) a multiple of 12?
True
Is (-29)/(-58) + 99/2 a multiple of 50?
True
Let k(p) = p**3 - 8*p**2 - 8*p - 5. Let v be k(9). Suppose v*z - 2*z = 18. Does 3 divide z?
True
Does 13 divide (-8)/80*530/4*-4?
False
Let t(f) = f**2 + 10*f + 2. Let z(r) = 1. Let a(v) = -t(v) - 5*z(v). Is 12 a factor of a(-7)?
False
Suppose -4*c = -4*t + t + 64, -58 = -2*t - 5*c. Does 24 divide t?
True
Suppose -4*c + 554 = q, -10 = 3*q - 8*q. Does 7 divide c?
False
Suppose 10*n - 11*n = -22. Is 4 a factor of n?
False
Let s = 0 + 2. Let h = s - 4. Is 9 a factor of h - (-24 - (-1 + 2))?
False
Let y(a) = -a**2 - 28*a + 12. Is y(-25) a multiple of 27?
False
Let u(l) = 4*l + 2. Let s be u(3). Does 16 divide 4/14 + 794/s?
False
Let d(x) = -x + 5. Let q be d(0). Suppose 0 = q*f - f - 260. Is f a multiple of 11?
False
Suppose -91 - 3 = -c. Is c a multiple of 27?
False
Let k = 22 + -38. Let b = k - -26. Does 6 divide b?
False
Let m = 3 - 1. Is 14 a factor of (-9 + 29)*(m + 1)?
False
Suppose 0 = 4*j - 0*j - 16. Suppose -j*v = -2*p + 30, -v - 28 = -2*p + v. Does 9 divide p?
False
Suppose -4*m + 20 = 4*c, -4*c - m + 15 = -2. Suppose c*a - 135 = -a. Is 9 a factor of a?
True
Suppose 0 = -4*b + 339 + 765. Is b a multiple of 46?
True
Suppose 11 = -3*u - 25. Let p = -9 + u. Let q = 11 - p. Does 11 divide q?
False
Let t(r) = r - 1. Let i be t(1). Suppose p - 29 - 2 = i. Is 11 a factor of p?
False
Suppose 3*d - 2*d = 0. Suppose 0 = 3*x - d*x - 132. Is 14 a factor of x?
False
Let s(i) = -i - 8. Let k be s(-10). Is 27 a factor of 217/8 - k/16?
True
Let w(q) = q**2 + 3*q - 9. Does 15 divide w(-9)?
True
Let d be (-1)/2*(0 + 0). Let j be (d - -2)/2 - -79. Let f = j - 53. Is 15 a factor of f?
False
Suppose -4*i + n - 2978 = 0, -i = -5*i - 5*n - 2966. Is i/(-22) - (-2)/11 a multiple of 19?
False
Suppose 3*z + 12 = -0*z. Let o(t) = t + 1. Let p(g) = -g + 4. Let v(f) = z*o(f) + p(f). Is 15 a factor of v(-6)?
True
Suppose 8*s - 3*s - 5 = 0. Is 2 a factor of 8 + (-5 - -3) + s?
False
Let i = -5 - 0. Let g = 5 + i. Does 2 divide (-2 + g)*20/(-8)?
False
Suppose -2*r = -2*l - 6 - 38, r = 2*l + 23. Does 21 divide r?
True
Suppose 2*k - 3*y = 7*k - 353, 4*y = 5*k - 346. Is 14 a factor of k?
True
Let o be (1 + -2)/(4/(-12)). Suppose 4*b - 4*r = 88, b + 5*r + 56 = o*b. Does 9 divide b?
True
Suppose 7 = 4*l + 19. Let d = l + 7. Suppose -2*t - 4*s + d = -3*t, 0 = 4*t - 4*s - 20. Does 4 divide t?
True
Suppose r - 7 = -4. Is (288/4)/r - 0 a multiple of 10?
False
Let n = -79 - -139. Is 20 a factor of n?
True
Let u = -19 - -11. Let a = u + 10. Suppose a*r - 62 = -5*b + 9, 17 = b - r. Is 15 a factor of b?
True
Suppose 0 = -2*a + a. Let j be (-1 - (a + -13))/1. Is 10 a factor of (j/5)/((-4)/(-20))?
False
Let l(u) = u**3 - 7*u**2 - 11*u - 3. Let q be l(8). Let a = q - -59. Does 16 divide a?
True
Let s(i) = i. Let f be s(-3). Let k be (-1 - 5)/f + -5. Let c = 6 + k. Is c a multiple of 3?
True
Is 6 a factor of (-224)/(-6) + (-2)/(-3) - 2?
True
Let k = -92 - -221. Does 12 divide k?
False
Suppose -2*f - 153 = -5*f. Is f a multiple of 26?
False
Let a = 6 + -6. Suppose 114 = 4*p - 2*w, 5*p - 2*w + w - 147 = a. Is 10 a factor of p?
True
Suppose 0*y = -3*y - 3*u + 54, 0 = -5*y - 3*u + 88. Suppose -c = 2*c + 2*d - y, -8 = -2*c - 3*d. Is 3 a factor of c?
False
Suppose 21 - 6 = 5*k. Suppose 2*m + 10 = 0, -5*o - 2*m - k*m - 10 = 0. Suppose 2*y - 2*s - 14 = y, 49 = o*y + s. Does 7 divide y?
False
Let w(x) = -x**2 - 6*x + 6. Let r(j) = 2*j**2 + 11*j - 11. Let l(f) = -3*r(f) - 5*w(f). Let k be l(-3). Suppose 0 = -2*p + k*p - 8. Is 4 a factor of p?
True
Let t be ((-2)/3)/((-8)/(-12)). Does 14 divide 13 + t + 3 - 1?
True
Let f(x) = -44*x + 10. Let b be f(-7). Suppose 5*h - 2 = 5*a + b, -h + 60 = a. Is 16 a factor of h?
False
Let b(v) = v**3 + 8*v**2 - v - 8. Let q be b(-8). Suppose -3*a - k + 11 = 0, q*a = -a + 4*k + 8. Is a a multiple of 4?
True
Suppose -5*z = -5*y + 180, 4 = -2*y - z + 91. Does 8 divide y?
False
Suppose -5*n + 2*p + 718 = 0, n + 3*n - 572 = 4*p. Is 12 a factor of n?
True
Let q(i) = -10*i - 54. Does 8 divide q(-9)?
False
Is 6 a factor of (78/6)/(1/2)?
False
Is (-20)/(-9) + (-4)/18 a multiple of 2?
True
Let n(g) = g - 7. Let s be n(9). Suppose 4 = -2*m, -l = 5*m + s - 9. Does 12 divide l?
False
Let c be -2 + -3*6/(-9). Suppose c = 3*g - 0*g - 9. Let x = g + 18. Is x a multiple of 9?
False
Let l(h) = -h - 7. Let d be (2 + 0)*1 + -11. Let g be l(d). Suppose -6 = -4*z + 2*u, -9 = g*z + 2*u - 7*u. Is 3 a factor of z?
True
Suppose -224 = -3*p - 5*k, -2*p - k = p - 208. Is 15 a factor of p?
False
Let t(a) = a**3 + 4*a**2 - 7*a - 6. Let i be t(-5). Suppose -4*f + 2*f = -4. Is 0 + 1 - (f - i) a multiple of 2?
False
Let k be ((-4)/12)/((-1)/(-15)). Let m(y) = y**3 + 4*y**2 - 6*y - 1. Let o be m(k). Suppose -o*u - 4 = -28. Is u a multiple of 6?
True
Is ((-12)/(-18))/(-1 - 737/(-735)) a multiple of 35?
True
Let q be (-112)/6 + 1/(-3). Let j = -7 - q. Does 4 divide j?
True
Does 12 divide (-1 - -1) + 30 + 6?
True
Let c(k) = -k**3 + 10*k**2 - 5*k + 8. Is c(7) a multiple of 15?
True
Let x = 0 + 4. Let j(f) = 12*f + 3. Let z be j(4). Suppose x*o = z - 19. Is o a multiple of 4?
True
Suppose 5*g - 89 - 81 = 2*z, 3*g = 5*z + 83. Does 9 divide g?
True
Let u be (9 + 0)*(2 + -1). Suppose -4*d = -3 - u. Suppose d*s = 9 + 12. Does 7 divide s?
True
Let z(x) = -x**2 - 5*x + 8. Let q be z(-6). Does 12 divide ((-124)/8)/(q/(-4))?
False
Is 9 a factor of (-33)/(-22)*(-278)/(-3)?
False
Let z(l) = l**2 - 6*l + 8. Let m be 1*6/9*3. Suppose 4*i - m*i - 12 = 0. Is 3 a factor of z(i)?
False
Suppose -3*h + 41 = -13. Does 8 divide h?
False
Let i(p) = p - 2. Let u be i(4). Let v be (-3)/u*2 - 2. Is 8 a factor of (v - 2)/(2/(-6))?
False
Let q(u) = u**3 - 4*u**2 + 5. Let n be q(4). Let x = 5 + n. Let w = -6 + x. Is w even?
True
Suppose -148 = -2*s + 2*g, s + 4*g - 67 = 27. Is 13 a factor of s?
True
Suppose 8*k - 840 = -4*k. Is 14 a factor of k?
True
Let q(c) = -c**3 - c**2 - c + 132. Let d be q(0). Let s = 33 + -114. Let y = s + d. Does 24 divide y?
False
Let v(w) = 8*w - 8. Let z be v(4). Suppose 0 = -2*s + 4*n + z, -s - 3*n = s - 17. Is s a multiple of 8?
False
Suppose 18*g - 15 = 17*g. Is g a multiple of 13?
False
Is ((-52)/(-78))/(-2*(-2)/174) a multiple of 3?
False
Let x(d) = -2*d**2 + 3*d - 2. Let h be x(2). Let i = h - -42. Does 19 divide i?
True
Suppose 4*n - 42 = -5*d + 168, 0 = -n + 5. Does 9 divide (d/(-3))/((-8)/24)?
False
Suppose -2*x + 77 = -143. Is x a multiple of 22?
True
Let o be (-1 - 7)/(6 - 8). Suppose 0 = o*r, 5*w + 0*r + r = 130. Is w a multiple of 26?
True
Let m be (8/(-10))/(18/135). Is (-32)/m*9/6 even?
True
Suppose 5*i + 3*d - 140 = 0, 4*i + 6*d = d + 99. Does 8 divide i?
False
Suppose 0 = 3*i + 4*s - 59, -3*i + i - s + 41 = 0. Suppose -6*q - 36 = -2*q. Let g = i + q. Does 12 divide g?
True
Let f(u) = u + 22. Let d be f(0). Suppose -d = 4*o - 5*o. Does 5 divide o?
False
Suppose 0*x + 5*z = 4*x - 40, 2*x 