ue
Suppose 0 = 5*z - 2*k - 3*k, 3 = 4*z - 3*k. Does 31 divide 3 + (z - 4) + 62?
False
Let v(t) = t**2 - 4*t - 3. Let p be v(6). Suppose -3*l + 51 = -p. Is l a multiple of 7?
False
Suppose -4*q + q + 90 = 3*i, -2*i + q = -45. Let k = -19 + i. Does 3 divide k?
True
Let p(j) = j**2 - 12*j + 27. Is p(12) a multiple of 27?
True
Let v(z) = -z**2 + 9*z - 5. Let x be v(7). Let i(m) = -m**3 + 8*m**2 + 12*m + 7. Does 11 divide i(x)?
False
Let a = -13 + 48. Let x = a + -16. Is x a multiple of 19?
True
Let r be 3/(-9)*-3*1. Let g(x) = x + 1 + x + 5*x. Is g(r) a multiple of 4?
True
Let k(n) = n**2 - 5*n + 2. Let q be k(6). Does 15 divide (45/(-2))/((-4)/q)?
True
Is 2/(-2) + (-1)/(2/(-42)) a multiple of 2?
True
Let g be (-1)/(-3) - 68/(-12). Suppose l + g = 3*l. Suppose -2*c - 41 = -l*c. Is 12 a factor of c?
False
Let p = -3 + 63. Does 10 divide p?
True
Suppose h - 3*c = -5*c + 7, -3*h = 3*c - 18. Suppose s = 3*u - 4, -u = -0*u + 4*s - 23. Suppose 4*m - h*i = m + 44, m - u*i - 20 = 0. Is m a multiple of 3?
False
Let b(j) = j**2 + 9*j + 23. Let h(r) = r - 15. Let w be h(8). Does 4 divide b(w)?
False
Suppose -q + 3 = -t + 4, 0 = q. Let z(k) = k - 1. Let h be z(-3). Is 16 a factor of (-147)/h - t/(-4)?
False
Let u be 29 + -1 + (-8)/(-2). Suppose 3*c + 4*s - 73 = 0, 4*c - s = -0*s + 91. Let f = u - c. Is f a multiple of 8?
False
Is 4 a factor of (0 + (5 - 3) + 19)*1?
False
Let g be 1*-3 + 9/3. Let k(d) = -d**2 + 61. Is k(g) a multiple of 17?
False
Suppose 0 = -2*h - 2*l + 110, -4*h + 2*l = h - 275. Is 8 a factor of h?
False
Suppose 4*z - g = -27, -8 = -4*z - 4*g - 20. Let c = 18 - z. Is c a multiple of 8?
True
Let c(o) = o + 1. Let q be c(2). Is 89 + q*(-4)/6 a multiple of 23?
False
Is 15 a factor of (3/4)/(7/700)?
True
Let i be 3/(-15) + (-48)/(-15). Suppose -s = i*b - 31, s + 4*b - 38 = -3. Does 18 divide s?
False
Suppose y = 23 - 18. Is y a multiple of 3?
False
Suppose -h = 5*t - 146, -3*t + 292 = 2*h + 2*t. Does 12 divide (-2)/4 + h/4?
True
Let h = -20 + 23. Suppose -17 = -h*t + 28. Is 15 a factor of t?
True
Suppose -3*k + 2*p + p = 0, p + 4 = 0. Let x be (-70)/(-6) + k/6. Let z = x - 1. Is 10 a factor of z?
True
Let t(q) = -38*q**2 - 5*q - 1 + 41*q**2 + 3*q. Is t(-2) even?
False
Let f be (4/(-6))/((-1)/108). Let h = f + -48. Is h a multiple of 13?
False
Suppose r + 90 = h, 2*h + 205 = 4*h + 3*r. Is 20 a factor of h?
False
Suppose 4*s = -s + 70. Let p = -7 + s. Is 7 a factor of p?
True
Let i(c) = c**2 + 5*c + 1. Let l be i(-4). Does 12 divide ((-2)/l)/(10/465)?
False
Let g(u) = u**3 + 5*u**2 - 4*u - 5. Is 15 a factor of g(-5)?
True
Let z(p) = -p**3 + 9*p**2 - 8*p + 8. Let n be z(8). Does 2 divide n/2 - (5 - 3)?
True
Let c(q) = -15*q - 5. Is c(-6) a multiple of 17?
True
Suppose 4*m = -53 + 61. Let b(z) = z**3 - 7*z**2 + z - 9. Let v be b(7). Is 11 a factor of m/v*(1 + -19)?
False
Suppose -2*f - 20 = 3*k, -5*f + 22 - 3 = -4*k. Is 2 a factor of (4/4)/((-2)/k)?
False
Let p = 19 - 15. Suppose -5*i - 7 = -3*v - 119, -3*i + 4*v + 76 = 0. Suppose 2*z + i = p*z. Is z a multiple of 5?
True
Suppose r - 153 - 33 = 0. Let u = r + -30. Suppose u = 3*i + i. Does 14 divide i?
False
Suppose -b - 208 + 548 = 0. Is 17 a factor of b?
True
Suppose -f - 4*f + 10 = 0. Let a(h) = h**2 + 3*h + 2. Let s be a(-2). Suppose -5*o = -s*v + 4*v - 141, o - 27 = -f*v. Does 9 divide o?
False
Is (-29)/(-1) - (-5 + 6) a multiple of 14?
True
Let z = 15 - 11. Suppose -2*d = -z*d + 42. Is d*(-1 + (-21)/(-9)) a multiple of 13?
False
Let k(n) = -4*n - 8. Let i(g) = g**2 - g - 6. Let m be i(5). Suppose -l + 6 = m. Is k(l) a multiple of 10?
False
Let f = -6 + 9. Suppose f = -5*p + 33. Suppose o - 20 = p*o, -60 = -4*z - 2*o. Is 17 a factor of z?
True
Suppose -g = -5*u + 8, u + 4 = g + 8. Let b(q) = q**2 + q + 1. Let f be b(g). Suppose f*d + 80 = 12*d. Does 6 divide d?
False
Suppose 5*v - 22 - 193 = 0. Let t = -19 + v. Is 6 a factor of t?
True
Let q = 4 - 3. Is 14 a factor of q - 0 - (-27)/1?
True
Let v(r) = -3*r**3 - 6*r**2 - 3*r - 9. Is v(-4) a multiple of 33?
True
Let l(i) = -i**3 + 8*i**2 + 2*i + 5. Is 17 a factor of l(7)?
True
Let l(m) = -m**2 - 10*m + 13. Let g be l(-10). Let q be (-594)/(-24) - 1/(-4). Let w = q - g. Does 12 divide w?
True
Let z(r) = r**2 - 2*r + 3. Let d be z(3). Is (2 + (-6)/(-9))*d a multiple of 6?
False
Let s(n) = n + 24. Suppose 3*f - f + 4*t = -20, -3*f + 4*t = -20. Is 12 a factor of s(f)?
True
Suppose x + 4*r - 12 = 0, -4*x + r = -r - 66. Suppose 2*z + 2*i + 106 = 0, 8*z - 3*i + 205 = 4*z. Is 9 a factor of z/x*(-16)/2?
False
Let h(x) = x**2 - 7*x + 3. Does 11 divide h(8)?
True
Suppose 0*m + m - 1 = 0. Suppose 0 = k - 49 - m. Is 15 a factor of k?
False
Let t = 62 - -23. Is t a multiple of 17?
True
Let a(g) = g**2 + 5*g + 2. Let z(m) = m**2 + 5*m + 2. Let t(b) = -6*a(b) + 7*z(b). Is 2 a factor of t(-5)?
True
Is 9 a factor of (-322)/(-12) - (-14)/84?
True
Let w be 1*(1 + -3 + 2). Let j be (12/(-10))/((-6)/750). Suppose w = -5*h - 5*p + j, 3*h - p - 87 = -5*p. Is 11 a factor of h?
True
Let f(a) = -2*a - 7. Let k be f(-6). Suppose 0 = 3*r + r - 8, k*j + r = 362. Is j a multiple of 24?
True
Suppose -1473 = 5*m + 327. Is (2/4)/((-10)/m) a multiple of 9?
True
Let d(i) = 6*i**2 + 20*i - 2. Does 5 divide d(-4)?
False
Suppose c = 285 - 92. Suppose -5*x + 112 = -c. Does 22 divide x?
False
Suppose -5*i + 38 = -412. Is i a multiple of 15?
True
Suppose 0 = -0*n - n + 1. Let k be (6*3/(-2))/1. Is 12 a factor of (3/k + n)*18?
True
Let o = -7 + 16. Is o a multiple of 5?
False
Let w(q) be the third derivative of -5*q**4/8 - q**3/3 + 3*q**2. Let k be w(-3). Suppose -k = -3*j - 3*x + 11, -j - 3*x = -10. Does 18 divide j?
False
Let m be (-2)/4 + 2/(-4). Let c = m + 4. Suppose 0 = -5*d - 2*a - a + 155, c*d + 2*a = 92. Does 18 divide d?
False
Let a be (25/(-2))/(4/(-8)). Suppose 0 = 2*i - h - 13, -2*i + 6 + a = 5*h. Is 4 a factor of i?
True
Let h(l) = -l**3 + l**2 + l + 5. Let p(o) = 3*o**2 - 1. Let w(m) = -4*m**2 - m. Let y(d) = -3*p(d) - 2*w(d). Let g be y(3). Is h(g) a multiple of 2?
False
Let c(y) = 0 - y + 3 + 3*y - 4*y. Suppose 2*p + 18 = -p. Does 13 divide c(p)?
False
Suppose 0 = -4*x + 2*x. Does 13 divide 29 + (x - -3) + -2?
False
Let a(b) = b**3 - 8*b**2 + 7*b + 3. Let x be a(7). Suppose x*o - 2*o = 8. Is 4 a factor of o?
True
Let u = 105 - 36. Is 23 a factor of u?
True
Is 16 a factor of 70/(-35) - (0 + 1 - 175)?
False
Suppose -j = 4*t + 2, 5*j + 10 = -4*t + t. Suppose 194 = 5*w - t*w - 3*s, 0 = w + 3*s - 46. Is 6 a factor of 344/w - (-2)/5?
False
Let s(k) = -2*k + 2. Suppose 4*w + 3*j - 7*j = -12, -w = j + 5. Does 5 divide s(w)?
True
Let j = 127 - 28. Let b = j - 59. Is b a multiple of 17?
False
Let k = 23 - -90. Suppose -m + k = 3*p + m, -p = 4*m - 51. Let w = p + 15. Is w a multiple of 13?
False
Suppose 3*h - 3*x = 5*h + 56, -77 = 3*h + x. Let q = h - -52. Does 9 divide q?
True
Suppose 3*k + 29 = 4*k. Let a = k + -20. Is a a multiple of 3?
True
Suppose -4*c + 2 = -10. Suppose -b + 1 = 0, -c*r - b = -7*r + 19. Is r a multiple of 2?
False
Suppose -4 = 5*k - 79. Is k a multiple of 5?
True
Suppose -4*i - 20 = -8*i. Is (15 + i)*(0 - -1) a multiple of 10?
True
Suppose -b + 16 = 3*b. Suppose a + 2*a - 50 = -b*j, 4*a - 3*j = 75. Is 6 a factor of a?
True
Let t be (1/3)/((-17)/(-612)). Suppose -113 = -5*c - l - t, -c - 5*l = -25. Is c a multiple of 6?
False
Suppose 0 = 4*b - 5 - 123. Does 9 divide b?
False
Let y = 7 - 11. Does 6 divide (-26)/3*6/y?
False
Let m(o) = o**3 - 10*o**2 - 5*o - 12. Is 27 a factor of m(11)?
True
Let o(b) = -5*b - 2. Suppose -2 = 4*k - 2*k. Let i = k + -1. Is 6 a factor of o(i)?
False
Let k be ((5 - 2) + -1)*1. Let n = 8 + k. Is n a multiple of 5?
True
Let t(q) = q**3 + 6*q**2 + q + 4. Let i be t(-7). Let w = -30 - i. Is w a multiple of 6?
False
Let a(t) = t**2 - 9*t + 5. Let k(p) = 1. Let z(i) = -a(i) + 5*k(i). Let u be z(7). Suppose -4*q + u = -3*q. Is 7 a factor of q?
True
Let k(r) = -r**2 - 11*r - 2. Let m be k(-12). Is 4 a factor of (13/(-2))/(7/m)?
False
Let h = 11 - -12. Suppose o - h = -0*o. Does 23 divide o?
True
Suppose 4*m = -5*s + 357, 0*m - 269 = -3*m - 5*s. Does 11 divide m?
True
Let n(k) be the first derivative of k**4/4 - k**3/3 - 5*k**2/2 + 3*k - 2. Let d = 2 + 1. Does 3 divide n(d)?
True
Is 26 a factor of 2092/20 - 6/10?
True
Suppose 4*z - 230 = 