alse
Let j be -1*(-4)/(2*-2). Let u(p) = -5*p - 1. Let f be u(j). Does 17 divide 12/6*114/f?
False
Let x = 15 - 10. Suppose -19 + 94 = x*d. Is d even?
False
Does 63 divide (2/(4/7))/((-83)/(-16434))?
True
Suppose 10 = -28*s + 23*s. Is 42 a factor of 5 - 8 - -43 - s?
True
Let t = 79 - 42. Suppose -t = -2*s + 99. Is s a multiple of 29?
False
Suppose -525 = 103*n - 108*n. Is n a multiple of 15?
True
Let n(k) = 8*k - 10. Let c be n(10). Suppose -r - 5*t = -57, 5*r - 64 - 321 = -5*t. Suppose -5*z - 5*j = -c, 5*j - 3*j - r = -5*z. Is 7 a factor of z?
False
Let m(i) = 2*i**3 - 4*i**2 + 8*i - 4. Let x be m(4). Suppose 188 = 5*s - x. Is 7 a factor of s?
True
Let r be 9/6*(-9)/(135/(-20)). Suppose 0 = r*g - 141 - 43. Does 14 divide g?
False
Suppose 30*p - 25*p - 990 = 0. Suppose 9*f = 3*f + p. Is f even?
False
Suppose -l + v - 237 + 2025 = 0, -2*v + 7152 = 4*l. Is l a multiple of 12?
True
Suppose 2*m = -h - 74 + 23, -4*m = -4*h - 168. Suppose 12 = 3*j, 4*f - 2*j = f - 53. Let t = f - h. Is 5 a factor of t?
True
Suppose 0 = -4*j - g + 1146, -2*g = -3*j + 306 + 548. Is j a multiple of 22?
True
Is 35/35*(-10995)/6*-2 a multiple of 12?
False
Suppose -78*x - 5*x = -85241. Does 47 divide x?
False
Let j(q) = -q**3 - q**2 - 2*q - 78. Let h be j(0). Let x = -48 - h. Is x a multiple of 15?
True
Suppose 5*q - 10 = 0, -8*z + 3*z - 8 = -4*q. Let p(j) = 1 + z + 1 + 2*j**3. Is 6 a factor of p(2)?
True
Suppose 2 + 12 = -7*m. Let t(d) = 8*d**2 - 2*d - 1. Is t(m) a multiple of 12?
False
Let z(k) = -20*k**2 + 417*k - 398*k - k**3 + 2*k**3. Let c be z(19). Suppose 2*b + p - 51 = -c*p, 5*b = -5*p + 115. Is b a multiple of 5?
False
Let c = -1349 - -2533. Is c a multiple of 16?
True
Suppose 3*h - 2*j = 57 + 194, 2*h + 3*j = 189. Is h a multiple of 19?
False
Let t = -66 - -70. Does 25 divide 245/2 - (0 + t/8)?
False
Does 32 divide (-13405)/(-30) + 1 - 1/(-6)?
True
Let t(b) = -b**3 - 31*b**2 - 74*b - 90. Is t(-29) a multiple of 22?
True
Suppose b = -h + 6*h + 31, -5*h - 255 = -5*b. Let s = b + -51. Does 2 divide s?
False
Let d(c) = -7*c - 5. Let b be d(-3). Suppose -11*l = -b*l. Suppose -3*x = -l*x - 162. Is 14 a factor of x?
False
Suppose l + 0*l = 0, 5*l - 60 = 4*v. Suppose -2*w + 1 = -t, 0*w = -4*w + 4*t + 12. Let b = w - v. Is 6 a factor of b?
False
Let n = 779 + -443. Does 48 divide n?
True
Is 214*((-301)/(-14) - 13) a multiple of 107?
True
Let h(p) = p**2 + 4*p - 3. Let j(b) = b**3 + 11*b**2 - 12*b - 7. Let v be j(-12). Is 18 a factor of h(v)?
True
Let w(b) = b**3 - 7*b**2 + 5*b + 32. Is w(6) a multiple of 6?
False
Let z(u) = -3*u**3 - u + 2. Let l(g) = -3*g + 1. Let f be l(1). Is 4 a factor of z(f)?
True
Let w(p) = p**2 - 5*p + 54. Is w(-35) a multiple of 37?
False
Suppose -918*f - 14976 = -922*f. Does 39 divide f?
True
Let o(a) = -1135*a - 77. Is 13 a factor of o(-3)?
True
Suppose -3*l + 4*i = 8*i, 3*l = 4*i. Suppose 3*j + a - 294 = 0, l*a - 2*a = -j + 91. Is 5 a factor of j?
False
Let l = -28 - -30. Suppose 3*y + o = 3*o + 125, -203 = -5*y + l*o. Is 13 a factor of y?
True
Is 43 a factor of (78/21 - 4) + (-6999)/(-21)?
False
Suppose 0 = -10*g + 3*g + 13*g. Is 31 a factor of 131 - -1 - (g + 1)?
False
Let s(z) = z**2 - 11*z + 12. Suppose h - 3 = -2*r + 4*r, -5*h - 4*r = -85. Let p be s(h). Suppose 3*c + 212 = 5*b, -p = -b + 7*c - 2*c. Does 17 divide b?
False
Let s be 4*1/1 - 1. Let n(l) = 7*l**2 + 3*l + 2. Does 12 divide n(s)?
False
Suppose -2*h - 275 = -3*h - 3*o, -4*h = -5*o - 1049. Let u = h - 189. Suppose u + 19 = 4*f. Does 12 divide f?
True
Suppose 3*l - r + 1 = -2*r, 0 = 2*l - 4*r + 10. Let p(m) = -26*m - 2. Does 4 divide p(l)?
True
Let w be (-2)/(-2) + 12 + -13. Suppose w*j + j = 0. Suppose 0 = -3*t - j*t + 81. Is 27 a factor of t?
True
Let u(k) = 2*k**3 + 5*k**2 - 6*k - 2. Is 7 a factor of u(4)?
True
Let v(o) = o**3 - 4*o**2 + o + 1. Let x be v(4). Suppose -r = -x*r + 184. Let s = 130 - r. Does 28 divide s?
True
Suppose 4*f = 6*t - t + 2039, 1006 = 2*f + 2*t. Does 22 divide f?
True
Is (-31044)/(-30) + (-2)/(-10) a multiple of 64?
False
Let x = 106 + -51. Suppose 3*f - 5*r = -5, 0 = f - 0*r - 2*r + 1. Is (-22)/x - 222/f a multiple of 12?
False
Does 5 divide -15*(63/35 - 8)?
False
Let k = -81 - -129. Suppose 5*j + k = 6*j. Let c = j - 13. Is c a multiple of 16?
False
Let r be (8/20)/(2/(-200)). Does 12 divide (r/15 + 2)*309/(-2)?
False
Let k be -1*1*(-1 - (1 - 2)). Suppose k*y = -9*y + 1134. Does 42 divide y?
True
Suppose 13*j + 1188 = 17*j. Suppose 113 = 10*a - j. Does 5 divide a?
False
Suppose p - 9*p + 16 = 0. Is 25 a factor of (-7)/(28/(-1002))*p/3?
False
Let u = -590 + 2394. Does 82 divide u?
True
Let n be 8/20 + 10/(-25). Does 16 divide (n - -4)*(6 + 10)?
True
Let f(i) = 2*i**3 - 47*i**2 - 23*i + 70. Is 25 a factor of f(24)?
False
Let k(i) = -94*i - 360. Is 13 a factor of k(-7)?
False
Let u be (-18)/(-12) - (-1035)/6. Let o = 12 - 10. Suppose 3*s = -o*b + u, 2*b - 39 - 127 = -s. Does 27 divide b?
True
Let j(u) = 4*u + 4. Let h be j(-2). Does 19 divide (-1)/(h + 681/171)?
True
Suppose 38 = -a + 15. Suppose -3*g = g - 132. Let b = a + g. Is b a multiple of 10?
True
Suppose 2*x + 1896 = a, -3*a + 0*a = x - 5660. Is a a multiple of 59?
True
Let c = 59 + 22. Suppose -q - 2*q = -c. Does 10 divide q?
False
Suppose 4*u - d - 4610 = 0, 0 = u + 5*d - 0*d - 1163. Is u a multiple of 18?
False
Suppose 0 = 5*o - o + 176. Suppose 5*b + 152 = 512. Let v = b + o. Does 9 divide v?
False
Suppose -23*s + 380 = 15*s. Does 9 divide s?
False
Is 4 a factor of (0 - 4/(-6))*7710/20?
False
Let l(a) = -184*a - 219. Does 32 divide l(-6)?
False
Does 73 divide (5 + (4316 - -3))*1?
False
Let g(r) = 4*r**2 - 8*r + 3. Does 17 divide g(-7)?
True
Let g(q) = q**2 + q + 1. Let s be -3*1/(-9)*3. Let n(k) = 2*k**2 + 5*k + 6. Let t(m) = s*n(m) + 2*g(m). Is t(-4) a multiple of 11?
True
Suppose -563*t = -562*t - 337. Is t a multiple of 40?
False
Let g = 423 - 327. Is g a multiple of 12?
True
Is (-4081)/(-5) + 73/(-365) a multiple of 68?
True
Let u(n) = 2*n + 14. Let i be u(-10). Let g = 29 + i. Does 7 divide g?
False
Suppose 0 = 9*g - 5*g - 16. Suppose 3*t + 71 - 548 = 0. Suppose t = 7*y - g*y. Is 16 a factor of y?
False
Let t = -112 - -178. Is t a multiple of 6?
True
Let l(s) = 2*s**2 - 10*s - 80. Does 11 divide l(-10)?
True
Let k(x) = x**3 + x**2 - x + 1. Let v be k(1). Let m = -21 - -14. Let n = v - m. Is 4 a factor of n?
False
Let j be (-1 + 0)/(2/(-38)*1). Suppose -j*d - 600 = -24*d. Does 15 divide d?
True
Let p be -9*(-4 - (-44)/12). Let a = p + 60. Is 22 a factor of a?
False
Let f(g) = 3*g - 2. Let h = -30 - -34. Let v be f(h). Is 3 a factor of (-4 + 4 - -1) + v?
False
Suppose -5*m = -2*m. Let j(l) be the second derivative of l**5/20 + l**4/12 + l**3/6 + 77*l**2/2 - 2*l + 33. Does 14 divide j(m)?
False
Let b(k) = -k**3 - 9*k**2 + 20*k + 2. Suppose -2*i + 5*m = -3, 9*m = 11*m + 10. Is 6 a factor of b(i)?
True
Let d be (-4)/14 + (-3060)/(-28). Suppose 2*r + d = 3*r. Is r a multiple of 14?
False
Suppose 5*i + 5 = -4*f + 5*f, 10 = 2*f. Suppose i = -g + 4*b + 280 - 55, 2*b + 665 = 3*g. Is g a multiple of 7?
False
Suppose -406 = -u + c, 16 = -u - 4*c + 442. Does 10 divide u?
True
Let t = 18 + -16. Is 2 a factor of ((-65)/(-10) - 2)*t?
False
Let s(r) = 0 - r**3 + r + 2*r**3 + 89. Let y be s(0). Suppose -5*o - y = n - 224, 99 = 3*o - 3*n. Does 14 divide o?
True
Let p(v) = -v**2 + v. Let f(d) = -d**3 - 2*d**2 - d - 7. Let l(u) = f(u) + p(u). Let y(j) = j**3 - 6*j**2 - j + 1. Let g be y(6). Is 11 a factor of l(g)?
False
Let m = -114 - -291. Let y = m + -65. Is 22 a factor of y?
False
Let r = 83 - -330. Suppose 3*x + 0*g - r = -2*g, 3*x - g - 428 = 0. Does 23 divide x?
False
Let s be -31 + (0 + 1 - -1). Let x = -5 - -60. Let v = s + x. Does 12 divide v?
False
Let r(u) = 2*u - u**2 - 2*u**3 + 12*u**2 + 2*u - 16 + u**3. Does 16 divide r(8)?
True
Does 18 divide 12438/6 - (-14 + 8)?
False
Let a(c) = -4*c - 1. Let v(k) = k**2 + 4*k + 2. Let h(g) = -4*a(g) - 3*v(g). Let x be h(2). Does 8 divide 163/5 + x/10?
True
Let l(u) = -u - 1. Let w be l(9). Let z(m) = -7*m + 12. Is z(w) a multiple of 14?
False
Let i be (494/57)/(4/78). Suppose 0 = 5*l - 3*o + 4*o - i, 5 = -5*o. Does 2 divide l?
True
Let r be (0/1)/(2 + -4). Suppose 2*y = -r*y. Suppose -2*a + y*a = -20. Is a a multiple of 10?
True
Let f(u) = 8*u + 50. 