 o(1). Suppose 2*x + j*r - 41 = 0, 3*x + r - 17 - 27 = 0. Does 5 divide x?
False
Let r(f) = -f - 3. Let j be r(-6). Suppose c - 15 = b, -7 = j*c - 5*b - 44. Does 11 divide c?
False
Let u be (3 + 2*-2)*-3. Let s be u/(-1)*(-12)/18. Suppose -2*j + 3*x - s*x = -27, x = -4*j + 45. Does 7 divide j?
False
Suppose x - 20 = -u, 50 - 10 = x + 5*u. Suppose -4*i = -3*i - x. Is i a multiple of 8?
False
Let t = 3 - 13. Let c = t + 23. Is 12 a factor of c?
False
Let g = 260 - 185. Does 15 divide g?
True
Suppose -7*y - 92 = -11*y. Is 23 a factor of y?
True
Let v(o) = -2*o**3 - 3*o**2 - 3*o + 5. Let u be v(-4). Let t = u + -43. Is t a multiple of 15?
False
Suppose 6*c - 585 = 975. Is 54 a factor of c?
False
Suppose 4*u = -2*k - 48, -2*u = 2*k - 5*k + 16. Let r = 25 - u. Is r a multiple of 12?
True
Suppose -2*f = 7 - 3. Let w be 3/(-2)*(-40)/6. Is 6 a factor of (16/w)/(f/(-10))?
False
Suppose -4*f - 5*c = -245, -3*c - 9 = -f + 48. Is 15 a factor of f?
True
Let m(y) = -y**2 + y + 2. Let w be m(2). Suppose 3*l + l = w. Does 6 divide -1 - (l + -1 - 8)?
False
Suppose -4*i - 5*f = -297, i - 3*f = -8*f + 93. Suppose -y + 98 = -3*l + 6*l, 2*y = -2*l + i. Does 3 divide (0 - 5)*l/(-20)?
False
Let v = -30 - -39. Let x(r) = -r**3 - 7*r**2 - 7*r - 3. Let i be x(-6). Suppose 3*y + v = 0, i*d - 21 = -0*y - 3*y. Is d a multiple of 5?
True
Suppose -3*b + 0*b - h + 109 = 0, -h = 4*b - 147. Does 19 divide b?
True
Let z = 59 - 41. Let d = 32 - z. Is d a multiple of 4?
False
Let k = -3 - -11. Is 8 a factor of k?
True
Let t be 26/(-10) - (-6)/(-15). Is (-4)/(24/9 + t) a multiple of 12?
True
Let m(r) = r**2 + r + 11. Does 11 divide m(0)?
True
Let h(f) = 6*f**2 - 3*f - 1. Suppose -4 - 14 = 6*o. Is 16 a factor of h(o)?
False
Let p = 158 - 72. Let i = p - 41. Is i a multiple of 15?
True
Let p(a) = a**2 + 8*a + 3. Let f be p(-5). Let y be (99/f)/((-9)/96). Let n = -60 + y. Is 15 a factor of n?
False
Suppose -l = -4*l + 9. Does 21 divide (2/(-4))/(l/(-252))?
True
Let c = 60 - -48. Does 18 divide c?
True
Let x(f) = f**3 + 7*f**2 + 8. Suppose -5*r = 10, 5*l - 3*r - 60 = 2*r. Let a be (-8)/(-20) + (-74)/l. Is x(a) a multiple of 4?
True
Let j be (-112)/20*(-25)/(-2). Is 9 a factor of j/(-15)*(-36)/(-14)?
False
Suppose 0 = -4*a + 2*a + 10, -3*s = 3*a - 42. Does 5 divide s?
False
Suppose 2*c + 2*o = -3*c + 56, -5*c - 3*o + 54 = 0. Is c a multiple of 12?
True
Suppose 0 = b - 27 + 33. Let m(x) be the second derivative of -x**4/12 - 4*x**3/3 - 2*x**2 - x. Is 8 a factor of m(b)?
True
Suppose -4*i + 122 + 202 = 0. Suppose -i = -4*m + 3*q, 6*q - 2*q = -m + 6. Suppose 2*f - m = -f. Does 3 divide f?
True
Suppose 4*j - h - 71 = 125, 5*h + 196 = 4*j. Let u = -29 + j. Is 10 a factor of u?
True
Suppose 0*m = m - 5*w + 15, 3*w + 3 = 3*m. Suppose -a - 3*q = -0*a - 70, 2*q + 299 = m*a. Does 25 divide a?
False
Let t(n) = n**2 - 3*n + 4. Suppose -w - 5*l - 33 = w, 0 = w + 5*l + 29. Let h = 7 + w. Is 3 a factor of t(h)?
False
Suppose 4*p = 3*g - 200, -5*p - 62 = 3*g - 298. Does 14 divide 4/1 + g/3?
True
Let x(k) = 5*k + 2. Does 18 divide x(5)?
False
Let l be 7 + (0 - 0) + -2. Suppose l*s - s - 28 = -2*h, -3*s + 39 = -3*h. Is s a multiple of 9?
True
Let v(p) = -p**3 + 6*p**2 - 7*p + 4. Let x be v(4). Let l = 16 - x. Does 3 divide l?
False
Let o = -138 - -207. Is o a multiple of 14?
False
Suppose -30 = n + 60. Is (8/(-6))/(4/n) a multiple of 10?
True
Let u(k) = -k + 1. Let v be u(-4). Let l = -13 + 80. Suppose -3*c + 0*c + v*t + l = 0, 5*c = t + 119. Is 9 a factor of c?
False
Suppose 3*r + 3*u = 10 + 11, 0 = -2*u + 8. Suppose d - r = 1. Suppose 169 = 3*v + 2*c, 5*c + 100 + 133 = d*v. Is v a multiple of 27?
False
Let n(u) = u**3 + 2*u - 3. Is n(5) a multiple of 22?
True
Let j(f) = -f**2 - 8*f - 1. Does 7 divide j(-4)?
False
Suppose 420 = 4*d - d. Is d a multiple of 28?
True
Let v = 4 - 10. Let p be ((-2)/v)/((-1)/(-9)). Suppose p*g - 101 = -2*g - 3*l, -3 = l. Is g a multiple of 11?
True
Let x(k) = 84*k**2 - 2*k - 1. Let u be x(-1). Suppose -4*d - m = -u, -d + 4*d + m = 65. Is 12 a factor of d?
False
Suppose -h + 341 = -0*b + 4*b, -4*b - 2*h = -346. Let c = -16 + b. Let z = c + -27. Is z a multiple of 16?
False
Let p(y) be the second derivative of y**3/3 - 3*y**2 + 3*y. Let n be p(5). Suppose 20 + 6 = n*b - 3*j, b - 9 = 2*j. Is b a multiple of 2?
False
Suppose -5*z = 29 - 449. Does 14 divide z?
True
Let c = 7 - 3. Suppose -120 = 4*k + 3*o, -c*k - 4*o = k + 149. Let n = k + 54. Does 17 divide n?
False
Does 30 divide (-179)/(-3) + (-4)/(-12)?
True
Suppose 2*q - 2*h = 154, 6*h - 246 = -3*q + 4*h. Is q a multiple of 20?
True
Suppose -6 = 2*d - 24. Suppose 0 = 3*h - 3 - d. Is 12 a factor of -3*h/(-9)*18?
True
Suppose 3 = -t + 10. Let b = t - -8. Is 15 a factor of b?
True
Suppose m = 3*m. Suppose 4*o - 2 - 6 = m. Is 7 a factor of (60/(-9))/(o/(-6))?
False
Let p(r) = -9*r - 6. Suppose -4*g - 5*i = -4, 0*g + 3*g + 28 = 4*i. Is 12 a factor of p(g)?
False
Suppose -4*u + 373 = 5*t - 2*u, 2*t - 154 = -2*u. Suppose 2*a - 1 = t. Does 11 divide a?
False
Suppose 161 = -32*i + 33*i. Does 35 divide i?
False
Let j(g) = 0*g - 6*g + 7*g - 2*g + 2. Is j(-1) a multiple of 3?
True
Let z be 181 - (-3)/(9/(-3)). Let g = z - 106. Is 12 a factor of g?
False
Is 11 a factor of (-2 - (-258)/(-4))*-2?
False
Suppose -2*v = 2*x - 354, -2*v + x - 869 = -7*v. Is 53 a factor of v?
False
Is 16 a factor of 190/4 - 2 - (-21)/14?
False
Suppose 5*i = -4598 - 372. Is 16 a factor of i/(-63) + (-2)/(-9)?
True
Is 3/((-15)/(-40))*6/4 a multiple of 6?
True
Let p(f) = 11*f**2 + 21*f - 7. Let l(d) = 5*d**2 + 10*d - 4. Let u(o) = -9*l(o) + 4*p(o). Does 6 divide u(-6)?
False
Let k(z) = 7*z**2 - 2*z - 4. Let u be k(-3). Let r = -69 - u. Let x = -75 - r. Is x a multiple of 21?
False
Is (6/7)/((-11)/(-462)) a multiple of 9?
True
Suppose 0*k + 220 = k. Is k a multiple of 12?
False
Suppose 8*z - 7*z - 3 = 0. Let b be z + (6/2 - 1). Suppose -2*d - 2*d + 48 = 4*k, b*d + 25 = 0. Is 11 a factor of k?
False
Let x(s) = -s**3 + s - 34. Let p be x(0). Let a = -7 - p. Does 9 divide a?
True
Suppose m = -1 - 10. Let r = 41 + m. Let j = r + -18. Is j a multiple of 12?
True
Let b = -11 + 5. Suppose 0*g = -4*g - 48. Let f = b - g. Does 2 divide f?
True
Let n(c) = -c**3 - 7*c**2 + 5*c - 18. Is n(-8) a multiple of 2?
True
Let b be (1 + 2)/((-12)/(-20)). Suppose s + 6 = 2*s - b*f, -s = 2*f - 6. Does 3 divide s?
True
Let k(u) = 4 - 6*u + u**2 - 2*u**2 - u. Let x be k(-7). Suppose -x*r + 97 = -5*d, -2*r - 2*d - 10 + 72 = 0. Does 14 divide r?
True
Let x be ((27 + -1)*-1)/(-1). Suppose -4*w = -x - 50. Is 19 a factor of w?
True
Let o(z) = -11*z + 2. Let c be o(-10). Suppose -c = 2*u - 4*u. Does 24 divide u?
False
Suppose -o - 2*o - 5*b + 31 = 0, 0 = 5*o + 4*b - 56. Let a = o - -35. Let l = a - 13. Is l a multiple of 17?
True
Let a = 4 - -57. Suppose 0 = 5*m - 221 + a. Suppose 2*j = v - 0*j - m, 0 = j + 5. Is v a multiple of 8?
False
Let r be 3*(-2)/3*-2. Is 12 a factor of (r/(-8))/((-1)/48)?
True
Suppose -4*i = -0*i - 96. Suppose -2*l - l = i. Let y = l + 28. Is 7 a factor of y?
False
Let g = 35 + -24. Let k(x) = x - 1. Let c be k(5). Suppose c*h - 37 = g. Is 6 a factor of h?
True
Suppose r + 4 = 4*o, 5*r - 55 = o + 20. Suppose 5*b - 89 - r = 0. Is 9 a factor of b?
False
Suppose -147*f = -145*f - 252. Is 21 a factor of f?
True
Let s(u) = -22*u - 18. Is s(-6) a multiple of 19?
True
Suppose h - 5 = -w - 2*w, 2*w - 6 = -2*h. Let f(j) = j**3 - 5*j**2 - 11*j - 6. Let n be f(7). Suppose -k = h - n. Does 13 divide k?
True
Is (-31*1)/(-1) - (-7 - -6) a multiple of 8?
True
Suppose -k - 5*o = -222, -10*o = -2*k - 13*o + 451. Is 27 a factor of k?
False
Let u(v) = 2*v**2 + 15*v + 3. Is 4 a factor of u(-8)?
False
Suppose 0 = 5*l + 3*u, 0*l - 3*l = -4*u. Suppose -4*k = -l*k - 16. Is k a multiple of 3?
False
Suppose 0*v - v = -9. Suppose -80 = 4*m - v*m. Does 8 divide m?
True
Is 17 a factor of (-58)/(-1)*(1 + 0)?
False
Let n be (-2)/(3 + 51/(-15)). Suppose 3*j = -n*z + 32, -6*j + j = -4*z - 115. Is 13 a factor of j?
False
Let j = -27 - -54. Let s = 48 - j. Is 8 a factor of s?
False
Let v = -1 + 2. Let q = v - -9. Is q a multiple of 5?
True
Let w(g) = -4*g**3 + g. Let q be w(-1). Let r = 7 - q. Suppose 4*f + r*u = 64, 2*f + 2*u = u + 32. Is 8 a factor of f?
True
Let q(s) = 2*s**2 - 7*s + 2. Let k = -9 