 = -4*h + 5*y. Let l = -7 + h. Suppose 2*j + 3*t + 38 = l*j, 4*t + 34 = 2*j. Is j a multiple of 12?
False
Let r(b) = b**2 - b - 1. Let x(w) = -4*w**2 + 6*w + 18. Let i(t) = -3*r(t) - x(t). Let n be (-38)/(-6) + 8/12. Does 5 divide i(n)?
False
Let i = 50 - 44. Suppose -i*v = -7*v + 138. Is 28 a factor of v?
False
Suppose -14*q + 18*q - 3648 = 0. Suppose 5*b = -2*y + 906, -5*b - 5*y = -y - q. Does 45 divide b?
True
Let n be ((-4)/(-8))/((-3)/(-102)). Let k = n + -15. Suppose m + k - 7 = 0. Is 2 a factor of m?
False
Suppose -t - 3 = -2*t. Suppose c = 3*q + 88, 0*q - q = -t*c + 40. Is (q/(-10))/((-2)/(-10)) a multiple of 14?
True
Let p(u) = 12*u**2 + 17 - 11 + 4*u - 9 - u. Is 13 a factor of p(-2)?
True
Is (-6)/14 + (-559620)/(-420) a multiple of 6?
True
Suppose 2*j + 5*a - 9 = 0, 4*a - 29 + 5 = 4*j. Is 4 a factor of (-1)/((-3)/162)*(-2)/j?
True
Let l be (7/(-4) - -1)/(7/84). Let a(x) = -x**2 - 12*x + 2. Is a(l) even?
False
Let i(g) = -8*g + 208. Is 20 a factor of i(16)?
True
Let z = -497 - -1121. Does 8 divide z?
True
Let f = -153 - -222. Is f a multiple of 23?
True
Is 3 a factor of (1372/(-21))/(-1)*3?
False
Let o(x) = -x - 2. Let a be o(10). Let g = 35 + a. Is g a multiple of 23?
True
Suppose -3*y + 174 = -0*y + 3*f, 0 = 4*y + 2*f - 238. Suppose 0 = 4*l + v + 43, -3*l + 5*v - y = -0*v. Is 10 a factor of 2 + 12/(-3) - l?
True
Let t = 23 - 15. Suppose t*p = 9*p - 71. Is p a multiple of 16?
False
Let n(d) = d**2 + 9*d - 4. Let u be ((-1)/(-1))/(1/(-7)). Let g be n(u). Is 26 a factor of 78/(-4)*48/g?
True
Suppose 0 = 16*j - 13*j + 5*d - 7705, j - 5*d = 2535. Does 8 divide j?
True
Let j(g) = 4*g**3 - g**2 + g. Let i be j(1). Suppose i*k = -4*f + 192, 2*f = k - 71 + 14. Does 17 divide k?
True
Let m(r) = 2*r - 10. Let y be m(10). Let w = 16 - y. Is w a multiple of 3?
True
Is (-3)/(-10 - (-17559)/1756) a multiple of 23?
False
Let a = 219 - 111. Does 36 divide a?
True
Let p(q) = 28*q**2 + 4*q - 3. Let h = 68 + -66. Is p(h) a multiple of 13?
True
Let n(k) = -8*k - 17. Let c be n(-14). Suppose -29 = 3*y - c. Suppose -z + y = f + z, -3*f + 93 = -3*z. Is 12 a factor of f?
False
Suppose 4*j + 8 = 24. Suppose -j*z + 2*z - 11 = -5*c, z - 14 = -4*c. Suppose c*x - 17 = 7. Is x a multiple of 4?
True
Suppose 3*k = 4*i - 51, -21 - 16 = -3*i + k. Let v = i - 12. Is 12 a factor of v*(-4)/12 - -45?
False
Suppose 5*l - 5*n + 47 - 17 = 0, -3*l - 22 = -4*n. Let s be l/2*(-16 - -13). Suppose s*v + 4*g = 67, -v + 2*g = -g - 31. Does 11 divide v?
False
Is ((-422)/(-6))/(25/75) a multiple of 19?
False
Let i = 37 - 265. Is 19 a factor of i*1*(-2 + (-12)/(-8))?
True
Suppose 9602 + 4150 = 18*k. Does 8 divide k?
False
Is 12 a factor of (2526/8)/(-2*(-2)/16)?
False
Let w(i) = i**3 + 6*i**2 + 7*i + 6. Let b be w(-5). Let x be 6/b*(-280)/21. Suppose 2*c - 24 = x. Is c a multiple of 8?
False
Does 8 divide ((-3)/(-2))/(-3) + 11144/16?
True
Suppose 12*c = 24*c - 5040. Is 58 a factor of c?
False
Let y be 2 - -1 - (19 - 1). Suppose -t - 132 = -5*t. Let n = y + t. Does 11 divide n?
False
Let n = -1080 - -1520. Does 11 divide n?
True
Let d(v) = v**2 - 6*v + 4. Let p be d(6). Suppose 0 = -p*l + 140 + 112. Does 9 divide l?
True
Let b = -1248 - -2088. Is 5 a factor of b?
True
Suppose 24 = c - 77. Let x = 306 - c. Does 24 divide x?
False
Suppose -381 = -z + 4*s, z - 336 = -4*s + 61. Is 3 a factor of z?
False
Suppose 5*i + 4*s = 303, 4*s = i - 106 + 31. Is 9 a factor of i?
True
Let o(r) = 5*r**2 - 30*r - 2. Let q(m) = m**3 + 11*m**2 + 16*m - 8. Let d be q(-9). Does 25 divide o(d)?
False
Let p(a) = a**3 + 26*a**2 - 26*a + 39. Let g be p(-27). Suppose -g*u = -830 - 1114. Is u a multiple of 27?
True
Suppose 2*k - 5*y = 1028, 3*y = 5*k - 1674 - 858. Is 28 a factor of k?
True
Let n = 235 + -133. Suppose 2*o = -5*c + n + 15, c + 4*o = 9. Let i = 41 - c. Does 13 divide i?
False
Suppose -2*c = 2*c - 12. Suppose n - 6 = -3*u + c, 4*n - 81 = -3*u. Suppose -3*y + n = -2*y. Is y a multiple of 20?
False
Suppose -c + 28 = -8*c. Let u(v) = 8*v**2 + 17. Is 26 a factor of u(c)?
False
Let j = 295 + 755. Is 15 a factor of j?
True
Let w(x) = 56*x**3 + x**2. Let d be w(1). Suppose 0 = -5*p + 268 + d. Let k = -37 + p. Does 13 divide k?
False
Let i be (-84)/9 - (-2)/(-3). Let l(g) = -g**3 + 8*g**2 - 6. Let h(x) = -4*x**3 + 23*x**2 - x - 19. Let t(c) = 2*h(c) - 7*l(c). Is 12 a factor of t(i)?
True
Is 2/(-9 + (-7056)/(-783)) a multiple of 4?
False
Let l be (-4)/6 + 25/15. Let v(y) = 68*y**3. Does 16 divide v(l)?
False
Is 22 a factor of (8/10)/(-2) + 7736/40?
False
Suppose 3*u - 11 + 32 = 3*h, u = -h - 1. Suppose h*f - 98 = 28. Does 8 divide f?
False
Is (-2 + 1 + -59)/(81/(-108)) a multiple of 2?
True
Let f(u) = u - 6. Let v be f(9). Suppose b - x - 4*x = 39, 0 = -v*b + 3*x + 129. Does 11 divide b?
True
Let m = 911 + -557. Suppose -3*f + m = 3*x, -6*x + 3*x = 2*f - 351. Does 23 divide x?
True
Suppose -7*o + 579 + 653 = 0. Is 42 a factor of o?
False
Let k be (-12)/9 - 6/9. Let o = 10 - k. Is 2 a factor of o?
True
Suppose 8*v - 6*v + 12 = 0. Is 600/v*18/(-15) a multiple of 30?
True
Suppose -4*v + 382 = -2*w, 3*w - 103 = -v + 5*w. Let p = v + 9. Does 6 divide p?
True
Suppose s - 6*s = -10. Suppose 3*x = -5*h + 643, 4*x - s*h - 1045 + 205 = 0. Suppose -x = -3*k - q, 2*q = -k + 2*k - 82. Is k a multiple of 20?
False
Let k(r) = 12 - 2*r - 6 - r. Suppose -3*d = 20 + 10. Is k(d) a multiple of 12?
True
Suppose -85*m + 48 = v - 84*m, -4*v + 5*m = -228. Is 2 a factor of v?
True
Let z(o) = o + 14. Suppose 4*i + 21 = 4*y - 31, -2*y = -3*i - 37. Let s be z(i). Suppose 0 = -3*f + 7*f - j - 15, -s*f = -5*j - 7. Is 3 a factor of f?
False
Suppose -o - 4*t + 3056 = 4*o, 1200 = 2*o - 4*t. Does 3 divide o/18 - (2 - 60/27)?
False
Let u = 666 - -2110. Is 17 a factor of u?
False
Suppose 0 = 7*b - 6*b - 5. Suppose -5*k = 2*i - 160, 5*i - 362 = -b*k + 2*k. Is i a multiple of 16?
False
Suppose -s - k + 811 = 0, 12*s - 8*s - 3254 = -2*k. Does 48 divide s?
True
Let r(q) = 5*q**2 - 10*q**3 - 3*q**2 + 1 + 5 - 4. Let w be r(-2). Suppose 0 = c - 4*c + w. Is 7 a factor of c?
False
Let p(h) = h**3 - 10*h**2 - 8*h - 18. Let x be p(12). Suppose -2*a + x = a. Does 7 divide a?
False
Let x be ((-33)/(-6))/(4/8). Let t(w) = w**3 - 11*w**2 - w + 14. Let z be t(x). Does 15 divide z + 83 + -1 + 0?
False
Let b(z) = z + 6. Let m = 15 + -25. Let p be b(m). Does 10 divide (-8)/(-2) + p + 50?
True
Suppose f - 29 = -33. Does 22 divide f/6*3*-44?
True
Suppose -c + 4*c - 6 = 0. Suppose 0 = -c*h - 0 + 6. Is 18 a factor of 36 + 6/2 - h?
True
Let t = 10 + -19. Let c = 6 - t. Is 10/c + 426/9 a multiple of 24?
True
Suppose 3*k = 4*l + k - 22, l = 2*k + 4. Suppose -176 = 2*v - l*v. Is 4 a factor of v?
True
Suppose -13*u = -15*u + 6. Suppose f = -4*q + 203, 0*q - u*q = f - 152. Does 7 divide q?
False
Suppose 3*b + 3*o + 0*o + 117 = 0, -b + 2*o = 48. Let x = 102 + b. Does 12 divide x?
True
Does 8 divide 635*(5 - (-126)/(-45))?
False
Let p = 163 - -61. Does 13 divide p?
False
Suppose 4*p + 5*t = -15, 0 = 4*t - 9*t + 5. Let d(s) = -s**2 - 11*s - 2. Let r be d(p). Suppose 4*x + 2*w - r = 7*w, 3*w = 0. Does 7 divide x?
True
Suppose -4*f + 4*k + 18 = -346, -2*k = -2. Is 4 a factor of f?
True
Suppose 4*t - 2*l = 3*l + 733, 870 = 5*t + 3*l. Let j = t - 65. Does 22 divide j?
False
Let x be 4752/126 - (-4)/14. Let w be x/(-5)*(1 - 6). Suppose w = -8*i + 10*i. Does 15 divide i?
False
Let l(w) be the first derivative of -w**4/4 - w**2/2 + 11*w - 1. Let z be l(0). Is z/(5/2 - 2) a multiple of 11?
True
Let s = -1029 + 1659. Is s a multiple of 30?
True
Let t be (-4)/(-3) + 4/6. Suppose -4*r + 12 = -t*r. Suppose k - 125 = -5*l + r*k, 4*k - 134 = -5*l. Is l a multiple of 9?
False
Let y = 15 + -15. Suppose 10*l - 6*l = y. Suppose l = -3*f + 26 + 19. Is f a multiple of 12?
False
Let b = 3148 + -1818. Is b a multiple of 58?
False
Suppose -22 = -5*i - 4*b + b, -4 = -b. Let h(j) = 5*j**3 + j**2 + 2*j. Does 13 divide h(i)?
False
Suppose 3*b + r = -23, 6*r + 37 = -5*b + 4*r. Let q = 2 + b. Let n = 21 + q. Is 7 a factor of n?
True
Let w(h) be the second derivative of 0*h**2 + 33/10*h**5 - 1/6*h**3 + 1/12*h**4 - 6*h + 0. Is 20 a factor of w(1)?
False
Let s be 0*(-3)/(-9) - 0. Let l be (s/(3 + -1))/1. Suppose l = 2*x - 11 - 17. Is x a multiple of 7?
True
Let w(h) = -h**2 - 5*h. Let a be w(-4). Suppo