
False
Let s be (0 - 0)/(3 - 1). Suppose d + d - 5*y - 15 = s, 5*d - 48 = 2*y. Does 5 divide d?
True
Let f(x) = 10*x. Suppose -z = -2 - 1. Is 15 a factor of f(z)?
True
Let x = 30 + 22. Is x a multiple of 13?
True
Let u(i) = 6*i + 12. Is u(12) a multiple of 11?
False
Let s(h) = -h**2 + 272. Does 34 divide s(0)?
True
Let j(t) = -6*t**2 - 2*t + 4. Let r(z) = -z**2 + z + 1. Let p(b) = -j(b) + 5*r(b). Is 9 a factor of p(-8)?
True
Suppose 0 = -0*o - 2*o - 6. Let l = o - -11. Is 3 a factor of l?
False
Is ((-1)/(-2))/(13/416) a multiple of 8?
True
Suppose 4*n = -2*c - c - 9, -3*n = 0. Suppose 6*s = s + 15. Does 15 divide (-1)/s - 112/c?
False
Let l(y) = y**2 - 3*y - 6. Let g be (3 + -4 - -4)*1. Suppose u = -n - 2, -3*u - n - 4 = g*n. Does 16 divide l(u)?
False
Suppose -3*h = r - 4*r, 5*h - 3 = 4*r. Let m = h + 2. Suppose 0 = -m*u + 2*u + 54. Is 18 a factor of u?
True
Suppose -2 = -j + 2. Suppose -j*h = -h - 138. Is 13 a factor of h?
False
Let w = -11 + 15. Suppose 2*p - w = 68. Does 10 divide p?
False
Let l = 8 + -2. Let v(b) = 6*b - 3. Let j be v(l). Is j + (-2)/4*-2 a multiple of 11?
False
Let i be ((-3)/3 + 0)*-1. Let l = 18 + -14. Suppose y = l - i. Is 3 a factor of y?
True
Is 20 a factor of ((-28)/(-3) + 4)/((-3)/(-9))?
True
Let j(d) = 11*d**2 + 0*d - 7*d - 9*d**2 + 6. Suppose -16 = -h + 3*w, 5*h + w = 4*w + 32. Is j(h) a multiple of 7?
False
Let q = 65 - 9. Is q a multiple of 8?
True
Suppose -4*p = p - 810. Does 18 divide p?
True
Suppose 2*j = g - 54, j + 3*g + 19 = -8. Let o = 58 + j. Is o a multiple of 31?
True
Suppose 38 + 54 = 2*i. Suppose 4*x - 104 = c, -2*x + 4*x - i = 2*c. Is x a multiple of 9?
True
Suppose 5*o + 64 = 299. Is 12 a factor of o?
False
Suppose 3*v + 0*v = 123. Suppose -23 - v = -2*p. Is 16 a factor of p?
True
Let k = 2 + -3. Let o = k + 4. Suppose -3*a - 3*p + 24 = 0, o = -3*a + 3*p - 3. Does 3 divide a?
True
Let u = 6 - 2. Does 16 divide (1 - u) + (-134)/(-2)?
True
Suppose -5*y - 8 = 2. Is (y/3)/(3/(-54)) a multiple of 5?
False
Let u(i) = i**3 + 10*i**2 - i + 4. Let b = 12 + -22. Is 6 a factor of u(b)?
False
Suppose -4*v + 5*o = -25, 0 = 2*o - 5 + 15. Suppose -h - 12 = -5*h + 2*n, v = -2*h + 2*n + 2. Is h a multiple of 2?
False
Suppose 3*g + 4*u - 163 = 0, g - 3*g + 105 = -u. Does 13 divide g?
False
Let k be 93/1 - 4/2. Suppose -k + 3 = -4*q. Suppose -5*h + q = -38. Is h a multiple of 12?
True
Let v(y) = y**3 - 4*y + 3. Let n = -1 - -3. Suppose n*s + 3*p + 2 = 23, 4*s = -3*p + 27. Does 9 divide v(s)?
True
Let k = -12 - 6. Is 2 a factor of ((-2)/(-3))/((-3)/k)?
True
Suppose 5*w - w = 40. Does 9 divide w?
False
Suppose -7*s = -2*s - 15. Suppose 0 = -0*r + s*r - 135. Is r a multiple of 15?
True
Let a = 8 - -23. Is a a multiple of 5?
False
Let l = 0 - -3. Suppose 31 = l*s - 17. Does 16 divide s?
True
Let q = 2 + 0. Let h(x) = x**2 + 3*x. Let o be h(-4). Suppose -4*f - q*s + 24 = -o*s, -f + 4*s - 8 = 0. Is 3 a factor of f?
False
Let a be (2/(-6))/(1/(-201)). Let s = -40 + a. Is s a multiple of 13?
False
Let z = -4 - 5. Let i be (-1)/4 + z/(-4). Suppose 5*r = n + 79, n + i*n = 3. Is r a multiple of 7?
False
Suppose -2*k = -95 - 41. Is k a multiple of 30?
False
Suppose -4*p = 3*i - 480, 0*p - 5*p - 507 = -3*i. Is 34 a factor of i?
False
Is 8 - (-8)/2 - 2 a multiple of 10?
True
Let v be ((-5)/(-2))/((-3)/(-6)). Suppose -2*n - v*t - 3 = 0, -5*n + 3*t = 6*t + 36. Is 13 a factor of (n - -1)/(6/(-15))?
False
Suppose -4*a + 0*a = 3*z - 147, -3*a + 5*z = -74. Is 11 a factor of a?
True
Let s = 1301 - 872. Is s a multiple of 13?
True
Let f(i) = -3*i**3 - i + 3. Is 29 a factor of f(-3)?
True
Suppose 6*d = 3*d - 12. Let m(v) = 0*v + v**2 + v**2 + 3*v + 4. Is 13 a factor of m(d)?
False
Let m(x) = -x**2 + 5*x + 1. Let a be m(6). Let k(u) = -u. Let f be k(a). Suppose -4*w + 2*w + f*p = -29, 3*w - 33 = -3*p. Does 6 divide w?
True
Suppose -5*s = -2*s - 99. Does 21 divide s?
False
Let b(x) = -16*x + 1. Let s be b(-1). Suppose -2*v + 95 = s. Does 13 divide v?
True
Is 12 a factor of (-32 + 15)*(-5)/1?
False
Suppose 5*t + 2*g = -g - 5, -3*t + g = -11. Does 15 divide 25/t*(8 + -6)?
False
Let y = 213 + -33. Is y a multiple of 30?
True
Let k(w) = 3*w**2 + 2*w + 6. Suppose -3*j + 5 = -6*j - y, -5*y = -3*j - 11. Does 7 divide k(j)?
True
Suppose p = 4*d, 0 = p - 7*d + 4*d. Suppose -15 = -3*a - p*a. Suppose -60 = -0*o - a*o. Is o a multiple of 8?
False
Suppose 5*n - 12 = 13. Suppose -k + n*k = 44. Is k a multiple of 3?
False
Let i(y) = 7*y**2 - 1. Let u be i(2). Suppose 0 = -l + u + 11. Suppose 2*f = 5*f - 5*c - l, 0 = -5*c + 10. Does 8 divide f?
True
Does 11 divide (-2370)/(-24) - -1*(-1)/(-4)?
True
Let m = -2 - 1. Let x(g) = -g**3 + 7*g**2 - 3*g + 8. Let v be x(6). Let o = v + m. Is 16 a factor of o?
False
Let g(l) = 2*l - 14. Let d = 23 + -12. Is g(d) a multiple of 3?
False
Let v = -11 + -11. Is 9 a factor of (-2 - v)/((-3)/(-3))?
False
Let k be 351/36 + (-3)/4. Let l = 18 - k. Is 8 a factor of l?
False
Suppose 5*d - 5*m - 1735 = 0, -3*m - 483 - 206 = -2*d. Is d a multiple of 18?
False
Suppose -261 = -6*a + 63. Does 27 divide a?
True
Let h(x) = x**3 + 3*x**2 - 4*x - 7. Let o be h(-3). Suppose 51 + 9 = o*k. Does 12 divide k?
True
Let b = -52 - -49. Let i(k) = -k**3 - k**2 + 3*k - 3. Let r be i(-3). Let p = b + r. Is p even?
False
Let d(t) = -t**3 + t**2 + 13*t + 15. Is d(-7) a multiple of 29?
False
Let u(r) = 14*r + 2. Let d = 8 + -6. Is 10 a factor of u(d)?
True
Let l be -4*((-1)/(-1))/(-2). Suppose -2*w + 2*v + 12 = 0, 24 = w - 5*v - l. Suppose -w = -m + 3. Is m a multiple of 3?
False
Suppose 3*n = 4*u - 100, 2*n = -0*u + 2*u - 52. Does 10 divide u?
False
Suppose 2*g = 5*v - 164, 3*v - g = v + 66. Suppose -v = -5*w + w. Is 4 a factor of w?
True
Let z(u) = -2*u**2 + 12*u + 9. Is 3 a factor of z(6)?
True
Suppose 4*y = 3*n - 79, -5*y + 88 - 18 = 3*n. Let v = n + -17. Is 3 a factor of v?
False
Let f(x) = -27*x - 3. Let s(w) = 40*w + 4. Let q(i) = 8*f(i) + 5*s(i). Does 25 divide q(-5)?
False
Suppose -3*x + 2*j = -6*x + 4, -x = j. Let d be (2/3)/(x/18). Does 16 divide -1*d*(-52)/6?
False
Let m be (-896)/(-12) - 3/(-9). Suppose 4*f - m = f. Is 10 a factor of f?
False
Does 37 divide (-4 - (2 + -7))*99?
False
Suppose 3*h = 2*j + 292 - 74, 78 = h - 2*j. Suppose -9*f = -4*f - h. Is f a multiple of 12?
False
Let f(g) = g**3 - 6*g**2 + 5*g. Let j be f(5). Suppose j = -5*s + 7*s. Suppose 3*w - 4*w + 14 = s. Does 13 divide w?
False
Suppose 2*q - 3*u + 19 = 0, -q = -2*q - 3*u + 4. Let w = q - -19. Is 7 a factor of w?
True
Suppose p = -4*p + 110. Is 15 a factor of p?
False
Is 10 a factor of ((-28)/(-42))/(2/69)?
False
Let r be ((-6)/4)/(6/(-8)). Let z be -2 - (0 + -1)*r. Suppose i - 48 = -3*u + 4*i, z = -u - 5*i + 34. Is u a multiple of 14?
False
Let s(b) = -b + 9. Let m be s(5). Let p(g) = g**2 - g - 2. Let h be p(4). Let l = h - m. Is l a multiple of 5?
False
Suppose 0 = -2*v + 4*x - 4, -5*v - x + 0*x - 21 = 0. Let f be ((-2)/v)/((-3)/(-24)). Suppose -f*c = -12 - 32. Is c a multiple of 6?
False
Let z(p) = 12*p - 9. Is z(10) a multiple of 14?
False
Let k(g) = g + 9. Let c be k(-11). Is (-3 - -1)*3/c a multiple of 2?
False
Let q = 10 - 8. Suppose -f + 400 = 4*f. Suppose 0 = -q*g - 0*g + f. Does 20 divide g?
True
Let o(y) = y**2 - 11*y + 30. Is 33 a factor of o(13)?
False
Is 0/1 + (-440)/(-10) a multiple of 12?
False
Let x(m) = m**2 + 3*m - 4. Let g be x(-9). Suppose 4*o = g + 50. Is 5 a factor of o?
True
Let h = -1 + 7. Is h a multiple of 6?
True
Let t(s) = -s + 1. Let c(x) = -5*x - 11. Let l(a) = c(a) + 4*t(a). Let v be l(-10). Suppose 5*d - 95 = -3*q, -2*q - v = -4*d - 3*q. Is 22 a factor of d?
True
Suppose 8*t - 3*t = -k + 147, 72 = 2*t - 4*k. Does 5 divide t?
True
Let p(g) = 2*g**2 - 3*g - 3. Let y(v) = v - 4. Let n(b) = 8*b**2 - b - 1. Let o be n(-1). Let w be y(o). Is p(w) a multiple of 7?
False
Let h(f) = -2*f**2 + 5*f + 9. Let t(m) = 8*m**2 - 21*m - 37. Let n(c) = -9*h(c) - 2*t(c). Let q(b) = -b + 5. Let k be q(0). Is 12 a factor of n(k)?
False
Suppose -3*t = 3 - 15. Let m(h) = h - 2. Let q be m(t). Suppose -q*u = -0*u - 88. Is 13 a factor of u?
False
Suppose -22 = -4*b + 5*u, 4*b - 6*b + 10 = -2*u. Suppose i = b*i. Suppose -39 = -3*v - i*v. Is v a multiple of 13?
True
Let l(n) = -n**3 - 12*n**2 + 6*n - 13. Is 23 a factor of l(-13)?
False
Let r(l) = l**2 - 