Suppose -2*j - 1564 = -5*t, -6*t - 3*j = -t - 1554. Is 5 a factor of t?
False
Suppose q = -5*p + 267, 5*q + 5*p = 285 + 1030. Is q a multiple of 20?
False
Let a(w) = 4*w**3 - 7*w**2 - 5*w + 6. Let j be a(-6). Let h be j/(-9)*8/10. Suppose -s + h = c, -6*c + 453 = -c - 4*s. Is c a multiple of 12?
False
Let z(s) = 7*s**2 - 3*s + 1. Let n be (4/(-6))/(4/(-66)). Suppose 0 = -5*p + n - 1. Is z(p) a multiple of 9?
False
Let q(c) = 32*c + 8. Does 22 divide q(1)?
False
Suppose 0 = -3*z - 3 - 3. Suppose -264 = -5*l + l. Let x = l - z. Does 34 divide x?
True
Let k be (2 - -6)*((-12)/(-8))/3. Does 18 divide (k + -3)/(-2) + 121/2?
False
Let u = 2670 + -762. Is u a multiple of 27?
False
Let o(n) = -n**3 - n**2 + 3*n + 5. Let m be o(-2). Is ((-2)/(-4))/(2/168*m) a multiple of 5?
False
Let h(z) = z**3 + 5*z**2 + 7*z + 14. Let o be h(-4). Suppose 4*b + o*b = 480. Does 19 divide b?
False
Let t = 41 - 41. Suppose t = m - 7 - 53. Is 15 a factor of m?
True
Let f be (-16)/(-1 + 1/2). Suppose 0 = 4*b + 4*i - 332, 4*i + f = b - 56. Suppose 0 = -4*t - b + 236. Is 19 a factor of t?
True
Let o(u) = -11*u - 121. Let s be o(-20). Let n = 3 - 0. Suppose 2*a = a + 3*r + 35, s = n*a - 3*r. Is 20 a factor of a?
False
Let o(b) = -2*b + 14. Let s be o(7). Suppose -5*c + 4*v = -262, s*v - 172 = -3*c - 5*v. Does 18 divide c?
True
Let y be -1 + (-3)/((-6)/32). Suppose j = 3*b - y, 0 = 4*b - 10 - 6. Let d = j - -11. Does 2 divide d?
True
Let s be (-2441)/(-4) + 7/(-28). Suppose -2*y + s - 48 = 0. Suppose 4*f = -73 + y. Is 26 a factor of f?
True
Let t(o) = -2*o + 10. Let q be t(-2). Suppose -1377 = 5*i - q*i. Is i a multiple of 15?
False
Let o(s) = -s**3 - 2*s**2 + 3. Let l be o(-3). Let i = l - -436. Does 43 divide i?
False
Suppose -4*m + 5*a + 17 = 0, 0 = 4*m - 2*a - a - 15. Suppose 49 + 32 = m*i. Is 10 a factor of i?
False
Let z be (-1 - (3 - 1))*-1. Suppose -3*j - 4*w = -94, 2*j - 3*w = -6*w + 61. Suppose 5*x + z = j. Is 3 a factor of x?
False
Let y be 940 + (-1)/((-3)/(-3)). Suppose 8*i + 43 - y = 0. Does 11 divide i?
False
Let p(y) = -17*y + 7. Suppose -14*t = -10*t. Suppose -n - 1 - 2 = t. Is p(n) a multiple of 9?
False
Let v(b) = 3*b**3 - 35*b**2 - 4*b - 2. Is v(12) a multiple of 47?
True
Let v(j) = j**2 + 5*j + 5. Let n be v(0). Is 6 a factor of 5*n/(50/36)?
True
Suppose 0 = 3*r - 7*r - 5*r. Let f(o) be the second derivative of -o**4/12 - o**3/6 + 17*o**2 - 4*o. Is f(r) a multiple of 12?
False
Let b(j) = 12*j**2 - 132*j + 645. Is 57 a factor of b(5)?
True
Let n(t) = 56*t - 91. Is 21 a factor of n(17)?
True
Suppose -4*f + 5*n = -5389, -14*f + 6740 = -9*f - 5*n. Is 49 a factor of f?
False
Let a be -30 + -2 - (4 + -8). Let w be 107/(-7) + (-8)/a. Let b = 34 + w. Is b a multiple of 13?
False
Let c be 0*4*(-5)/(-40). Suppose v - 2 = -c. Is v a multiple of 2?
True
Suppose -4*a = -2 - 62. Let t = 3 - a. Let j = 12 - t. Is j a multiple of 25?
True
Suppose 4*f = 4, 0 = -b - 0*b + 4*f - 176. Let r = 286 + b. Let l = -75 + r. Is 14 a factor of l?
False
Suppose -12*v + 10*v = 32. Does 9 divide (228/v)/((-6)/16)?
False
Let x = 171 - 53. Let d be (56/(-10))/(38/475). Let h = d + x. Does 12 divide h?
True
Let b(j) = j - 2. Let k be b(10). Suppose -320 = -9*w + k*w. Is 23 a factor of w?
False
Suppose -4*q - 2 = -2*q. Let n = -12 - q. Let c = n - -14. Is c a multiple of 3?
True
Suppose 2*h = 2*x - 2036, 0*h + 2021 = 2*x - 5*h. Does 93 divide x?
True
Suppose -z + 6575 = 3*u - 4563, -5*z = 5*u - 18570. Is 58 a factor of u?
True
Suppose 26 = 5*q - 1674. Is q a multiple of 34?
True
Suppose 14 = 4*p + 5*j, 2*j + 3*j - 13 = -3*p. Let i(q) = 182*q**2 + 3*q - 3. Is 36 a factor of i(p)?
False
Suppose -3*k = 5*d - 0*k - 6, 2*k - 6 = -4*d. Let p = -27 + 68. Suppose w + t = -2*w + 35, d*w - p = -4*t. Is w a multiple of 11?
True
Let y = -4 + 14. Suppose -5*m + 20 = 5*p, 3*m - 7*m - p = -y. Suppose -c - 3*z = -48, 0 = 4*c - m*z - 54 - 82. Does 9 divide c?
True
Let t be (2 - 2)/(-1*2). Suppose -4*l + 2*l + 4*q + 88 = t, -2*l = -2*q - 98. Is 9 a factor of l?
True
Let v(o) = o**3 + 6*o**2 + o + 8. Let a(h) = 5*h - 11. Let m(t) = 2*t - 4. Let y(f) = -6*a(f) + 17*m(f). Let w be y(-1). Is 2 a factor of v(w)?
True
Suppose 14*f = 9*f - a + 360, 0 = 2*a. Is f a multiple of 3?
True
Let n(c) = -91*c + 43. Does 33 divide n(-4)?
False
Let p(z) = -5*z - 11. Let g = 2 + 2. Suppose -d = g*d + 45. Does 28 divide p(d)?
False
Suppose -401 = -3*s + 3*g + 175, g - 592 = -3*s. Does 4 divide s?
True
Let i = -252 - 19. Let w = 387 + i. Is 24 a factor of w?
False
Suppose -j + 6*j - 10 = 0. Suppose -j*a - 2*u = -20, 3*a + 2*u - 13 = 14. Is a a multiple of 3?
False
Suppose 4*k + 5*j - 2287 - 807 = 0, 4*k + 2*j - 3100 = 0. Is k a multiple of 4?
True
Is 26 a factor of (741/38)/(2/(64/6))?
True
Suppose -20*r + 12823 = 4103. Is r a multiple of 17?
False
Let n(a) = -2*a**2 + 8*a - 2. Let h be n(3). Suppose -2*l + l + 58 = -3*f, l - h*f = 62. Is 23 a factor of l?
True
Let l = -35 + 38. Suppose 4*a - 740 = r - l*r, 0 = 4*a + r - 740. Is 37 a factor of a?
True
Let b = 268 - 163. Is 7 a factor of b?
True
Suppose 0 = 5*p - 3*i + 7*i - 181, 0 = -2*p + 2*i + 58. Suppose 0 = -y + 2*y - p. Is y a multiple of 11?
True
Let o = -2085 + 3845. Is o a multiple of 20?
True
Let a(q) = -q**2 - 9*q - 14. Let m be a(-7). Suppose k - 3 = -s - m*s, -3*k + 9 = 2*s. Suppose 4*z - 16 = 5*j + 25, -5*j - 32 = -k*z. Is z a multiple of 3?
True
Suppose -4*a + 17 = 5. Let m = 23 - 1. Suppose 58 = a*z + m. Is z a multiple of 4?
True
Let d be -16 + (2 - (2 + -3)). Let b be ((-24)/5)/((-1)/5). Let w = b + d. Is 4 a factor of w?
False
Let l be 3/(-6)*(-12 + 2). Suppose -l*d - 2*t = -101, 2*d - 2*t - 62 + 16 = 0. Is 2 a factor of d?
False
Suppose -n - g = 0, 5*n + 4*g + 0 - 3 = 0. Let u(t) = t**3 + n*t**2 + 4*t - 11*t + 6*t. Does 12 divide u(3)?
False
Suppose g + 11*k - 1084 = 8*k, 4*k = 3*g - 3317. Is 30 a factor of g?
False
Suppose -2*x - 4*x = 108. Let l = x - -34. Does 13 divide l?
False
Is 694 - 3*16/24 a multiple of 69?
False
Let p(a) = a**2 - 27*a - 127. Is p(-10) a multiple of 40?
False
Let h(a) = a**3 - 4*a**2 - 3*a + 6. Let u be h(4). Let m(q) = 5*q**2. Let p be m(u). Suppose -5*b = -0*b - p. Does 18 divide b?
True
Suppose 3*v = -18 + 51. Suppose -6*y = -v*y + 195. Is 13 a factor of y?
True
Is 135 - 10/(2 + 0) a multiple of 10?
True
Let j = 936 + -827. Is 109 a factor of j?
True
Let s = -198 - -331. Is s a multiple of 19?
True
Suppose -z + 0*z = -112. Suppose -5*o - 310 = -5*w, 2*o + 2*o = -2*w + z. Is 16 a factor of w?
False
Let k be -3 - 1 - -6 - 91. Is 22 a factor of (-12)/(-3) - (5 + k)?
True
Suppose 2*y - 196 = 212. Suppose -2*o = -6*o + y. Does 6 divide o?
False
Let r = -62 + -65. Is (-5)/(5/r) + 3 a multiple of 16?
False
Suppose -3*z - 362 = -4*c, 70*c - 3*z + 83 = 71*c. Is 3 a factor of c?
False
Let a = -200 + 310. Let v = a - 70. Is v a multiple of 2?
True
Let r be (3/(-5))/(1/(-5)). Suppose r*j + j = 2716. Suppose -5*y = 224 - j. Is y a multiple of 27?
False
Suppose 0 = 24*f + 232 - 4744. Does 10 divide f?
False
Let i(q) = q**3 + q**2 + 1. Let z(j) = -18*j**3 - 5*j**2 - 9. Let n(x) = -5*i(x) - z(x). Let a be n(2). Suppose -a = -4*o + 20. Is 7 a factor of o?
False
Let f = -47 + 27. Suppose 2*s + 2*m = -0*s + 56, -4*s - 2*m + 122 = 0. Let k = f + s. Is 6 a factor of k?
False
Let f = -103 + 168. Suppose -5*z + f = 4*v, 2*z = -v - 0*z + 14. Does 20 divide 5/v + (-187)/(-4)?
False
Let m = 7 + -7. Suppose m*x - 4*x - 1088 = 0. Does 34 divide 2/14 - x/7?
False
Is 345/(-230)*1/(6/(-1556)) a multiple of 30?
False
Let s = -12 - -8. Let j = s - -44. Suppose -2*r + 96 = 4*d, -3*d = -d + 5*r - j. Is 17 a factor of d?
False
Suppose -31 - 5 = 6*t. Is 17 - (-10)/15*t a multiple of 4?
False
Let u(o) = -2*o**2 - 23*o - 10. Let z be u(-10). Is (11 - 8)*z/1 a multiple of 9?
False
Let z = -2261 + 2443. Is z a multiple of 26?
True
Let j(s) = -5*s + 1025. Is 9 a factor of j(0)?
False
Let n(k) = -19*k**2 + 3*k - 1. Let s be n(2). Let t be s/3*(6 - 3). Let b = 139 + t. Does 17 divide b?
True
Let g(u) be the second derivative of 1/6*u**4 - 2*u + 1/2*u**2 - u**3 + 0. Does 27 divide g(-5)?
True
Let a = 19 - -198. Is a a multiple of 32?
False
Suppose 0 = 3*k - 5*v + 11, 5*v + 34 = -2*k + 3*v. Let w = k - -27. Is w a multiple of 15?
True
Suppose -11*w = -6*w + 5. Let g(q) = 