f 3?
True
Let q(u) = -5*u - 2. Let l(w) = -w. Let a = 4 - 3. Let d(t) = a*q(t) + 2*l(t). Does 4 divide d(-2)?
True
Let j(l) be the first derivative of -l**3/3 + l**2/2 + 6*l - 2. Let n be j(3). Does 16 divide 18/((-2)/(-3) - n)?
False
Let a(o) = -4 + 2*o + 0 - 3*o. Let n be a(-3). Let c = 43 + n. Is 14 a factor of c?
True
Suppose 13*g - 7631 = -2769. Does 17 divide g?
True
Let p = -308 + 558. Is 50 a factor of p?
True
Let v(c) = 6*c**2 + 25*c + 20. Is 34 a factor of v(9)?
False
Let g = 7 + -4. Let p = 14 + g. Is p a multiple of 17?
True
Suppose 47*b = 49*b - 462. Is b a multiple of 21?
True
Let g(u) = u + 3. Let h be g(4). Is 27/2 - h/(-14) a multiple of 7?
True
Suppose 8 + 1 = w. Does 5 divide w/(-6) - 264/(-16)?
True
Let f = 536 + -534. Let i = 249 - 154. Is 33 a factor of 6 + i - 4/f?
True
Let b = 345 + -243. Does 51 divide b?
True
Suppose 0*d - d + 8 = 0. Let c(o) = 6*o + 12 + 0 + 7 - 7*o. Is c(d) a multiple of 11?
True
Suppose -4*a - a = -10, 0 = -2*r + 5*a + 248. Does 26 divide r?
False
Suppose 0 = v - 5*d - 27, 2*d = -v - 13 + 5. Let q(m) = -11 + m**3 - 8*m**2 + 2*m**v + 7*m + 14. Does 22 divide q(6)?
False
Let t(l) = 56*l**2 - 10*l - 8. Let g be t(-4). Suppose -g + 28 = -5*m. Is 20 a factor of m?
True
Let o(j) = j**2 + 3*j. Let i be o(-3). Suppose i*l = 4*p - 2*l - 88, 4*l = 2*p - 38. Is p a multiple of 15?
False
Let x be ((-48)/(-20))/(-4)*-5. Let m be -6 - (x - -1 - 7). Is 19 a factor of m/(142/(-68) + 2)?
False
Let q be (-1105)/(-34) + (-1)/(-2). Suppose 0 = -5*r - q + 153. Is r a multiple of 8?
True
Suppose 4*x + 130 = 2*n - 0*n, -5*x - 180 = n. Let a = x - -37. Suppose 0*f = -a*f - 4, -5*k = -5*f - 140. Is 9 a factor of k?
False
Let g(l) = -l**2 + l + 1. Let y(a) = 2*a - 3. Let f(o) = -4*g(o) - y(o). Let b(h) = -4*h - 25. Let s be b(-7). Does 17 divide f(s)?
True
Does 39 divide ((-325)/(-15))/(30/756)?
True
Is 5 a factor of 658*9/54 - 3/(-9)?
True
Suppose 5*h + 3*h - 680 = 0. Let c be (12/(-15))/(1/(-5)). Suppose c*b = 59 + h. Is b a multiple of 36?
True
Let o be (-2 + 108/14)/(16/56). Suppose 3*f - 30 = 2*x, x - 5*f + 17 + 5 = 0. Let s = x + o. Does 4 divide s?
True
Suppose 2*i - 50 + 8 = 0. Let x(w) = -w**3 + w + 128. Let t be x(0). Suppose 17*d - i*d = -t. Is 25 a factor of d?
False
Suppose 4*c - 9 = c. Suppose 0*r = -c*r + 9. Is 14 a factor of 28/r*(-6)/(-4)?
True
Is 7 a factor of (502/10)/((-36)/(-180))?
False
Suppose -12*a + 322 = -5*a. Suppose -4*q + 3*d = -a, -d = 2*q + 4*d - 10. Is q a multiple of 4?
False
Let t = 24 + -24. Suppose -m = -3, -z + m + m + 28 = t. Does 17 divide z?
True
Let f(m) be the third derivative of 0*m + 0 - 1/6*m**3 - 2*m**2 + 1/30*m**5 + 13/24*m**4. Is f(-9) a multiple of 22?
True
Suppose -5*k = -3*k - 60. Suppose 0*c - 5*c + 5*s + k = 0, 0 = s - 2. Does 25 divide (60/c)/((-6)/(-40))?
True
Suppose 0 = -11*z - 14*z + 6250. Is 17 a factor of z?
False
Does 74 divide (1 + (-6)/(-30))/(6/740)?
True
Let k(b) = -21*b + 54. Let z(y) = 7*y - 18. Let a(r) = 6*k(r) + 17*z(r). Is a(-7) a multiple of 11?
False
Let z(m) = 81*m - 450. Is 12 a factor of z(27)?
False
Suppose -358 = -5*f + j, -2*f - 2*j - 33 = -169. Is 48 a factor of f?
False
Let c(z) = -3*z**3 + 11*z**2 + 11*z + 17. Let n(q) = 2*q**3 - 5*q**2 - 5*q - 9. Let x(v) = 3*c(v) + 5*n(v). Let a be x(-7). Does 8 divide ((-46)/(-4))/(a/(-2))?
False
Let k(n) = 22 + 3*n**2 - 2*n - 2*n**3 + 3*n**3 - 22. Let i = -7 - -9. Does 16 divide k(i)?
True
Suppose 8*b - 10*b + 886 = 3*d, -4*d = -16. Is 93 a factor of b?
False
Let k(x) = -3*x + 19. Let p be 5/(60/32)*-3. Does 15 divide k(p)?
False
Let x be -1 + 8 + -2 - -3. Let d be ((-42)/x)/(6/(-40)). Suppose 4*w + 14 = 2*r, -6*r = -r + 3*w - d. Is r a multiple of 2?
False
Let w(y) = 47*y + 3. Let u = -17 + 24. Suppose 5*h - u = 3. Is 20 a factor of w(h)?
False
Let p be (-11)/44 - (-178)/8. Let h = p - 10. Suppose 4*a = h, 3*d - a - 205 = -d. Is d a multiple of 13?
True
Let n(v) = v**3 - 10*v**2 + 2*v - 12. Let d be n(10). Let s = -4 + d. Suppose 3*y - 21 = s*r, 2*r - 1 = y - 2*r. Does 9 divide y?
False
Let o = 261 + -150. Is o a multiple of 21?
False
Let s = 14 + -10. Suppose z = -5*w + 34, -s*z - 4*w + 99 = -53. Is z a multiple of 13?
True
Let n be -2*(-4)/((-24)/9). Let o(m) be the third derivative of -5*m**4/24 - m**3/6 + 11*m**2. Is o(n) a multiple of 12?
False
Let o(a) be the third derivative of 5*a**5/6 - a**4/12 + 34*a**2. Does 47 divide o(-2)?
False
Suppose -11*g + 4042 = 1138. Is 12 a factor of g?
True
Suppose -23*d = -17*d - 600. Is d a multiple of 52?
False
Let k be (-38)/57 + (-472)/(-6). Does 7 divide 2 + -3 - -1*k?
True
Does 27 divide (-456)/84 + 6 - 6096/(-14)?
False
Let m = -31 - -34. Is (m/(-2))/((-12)/208) + -1 a multiple of 5?
True
Does 56 divide 822/(-8)*144/(-54)?
False
Suppose 2*i - 2*n + 9 = -7*n, -4*i - 5*n - 3 = 0. Suppose 4*l + i*o = 672, 336 = l + l - 2*o. Is 34 a factor of l?
False
Let z(x) be the first derivative of -x**3/3 - 4*x**2 - 9*x + 10. Is z(-6) a multiple of 2?
False
Let m = 2 - 8. Let j = 16 + m. Let y(f) = 4*f - 24. Does 12 divide y(j)?
False
Let l be (-3)/6 - 33/(-6). Let u = -3 - l. Is 63/4 - 2/u a multiple of 4?
True
Let m(c) = c**2 + 11*c - 5. Let t be m(7). Suppose -26 = 5*d + 5*h - t, -101 = -5*d - 2*h. Suppose l = -5*s + 441, -s - l + d + 64 = 0. Does 16 divide s?
False
Suppose -13 + 1 = -3*g. Let n be (g/6)/((-7)/147). Does 8 divide (-10)/35 + (-634)/n?
False
Suppose -24 = -2*y - 2*a, -10 = -4*a + 6. Suppose -3*x + y*x - 375 = 0. Is 15 a factor of x?
True
Let x = 7 - 22. Does 16 divide ((-48)/(-15))/((-3)/x)?
True
Suppose -17 + 2 = 5*g, -5*r = 2*g + 471. Is 14 a factor of (-14)/56 - r/4?
False
Suppose -2*z - 256 = -5*j, 25*j + 5*z = 22*j + 135. Is 4 a factor of j?
False
Suppose -75 = 6*o - 1587. Does 21 divide o?
True
Suppose 2*g = 5 + 5. Let j(t) = t**2 - 5*t + 2. Let y be j(g). Does 13 divide 312/(-18)*(-3)/y?
True
Suppose 5*t + 28 - 38 = 0. Is t*((-7)/((-7)/(-4)) + 16) a multiple of 3?
True
Let q be 2/3 + 133/21. Let j(a) = 3*a + 7. Let i be j(q). Suppose x - 22 = -3*u - 5, -2*x + i = 4*u. Is 4 a factor of x?
True
Suppose -7*y + 11*y = 4. Let s be 3 + y/((-2)/(-10)). Suppose -r = -4*h + 1, 0 = -2*r + 3*h + s. Does 3 divide r?
False
Let r be 44/(-11)*(-2)/2. Suppose -14 - 6 = -r*k. Suppose 3*s + s - 117 = j, -k*s = -2*j - 150. Is 28 a factor of s?
True
Let o(v) = -v**3 + 7*v**2 + 8*v + 2. Let t be o(6). Let a = t + -53. Does 7 divide a?
False
Let k(b) = 3*b**3 - 2*b**2 - 4*b + 3. Let w be k(3). Let h be (-7)/56 + (-213)/24. Let m = h + w. Is 19 a factor of m?
False
Let g be -10 - -8 - (-45 - 1). Suppose -6 + 21 = 5*d. Suppose -l - g = -d*l. Is 22 a factor of l?
True
Let k(t) = -18*t**2 + 5*t - 3. Let o(a) = -9*a**2 + 2*a - 1. Let f(v) = 2*k(v) - 5*o(v). Let l be f(-2). Is 10 a factor of ((-36)/14)/((-5)/l)?
False
Suppose 0 = -8*i - 1982 + 6510. Is 15 a factor of i?
False
Let a(c) = -6*c + 18. Let f be a(3). Suppose -3*o = 4*z + 3 - 19, 2*o + 8 = f. Does 7 divide z?
True
Let a(o) = 44*o - 10. Let n(b) = b - 1. Suppose -4*k = 5*i + 86, 2*i - 4*i + 3*k = 39. Let y(w) = i*n(w) + 2*a(w). Does 20 divide y(1)?
False
Does 5 divide (-6)/2*134*2/(-6)?
False
Let p = -77 - -105. Suppose -m + p = 17. Is m even?
False
Let i = -2549 - -4011. Is 86 a factor of i?
True
Suppose 0*l + 3*l + 159 = 4*r, -l = -3*r + 123. Is 7 a factor of r?
True
Let t(i) = 107*i - 1. Let j be t(3). Suppose -7*f + 3*f - j = 0. Let c = 199 + f. Is c a multiple of 30?
False
Let f(c) = 3*c + 8. Let s be f(3). Suppose -2*r + 3*u = -29, 2*r - 4*u = s + 17. Is r a multiple of 7?
True
Suppose -15*j = -18*j - 348. Let h = j + 258. Is h a multiple of 42?
False
Let p(k) be the first derivative of -k**7/840 + 7*k**6/360 - 7*k**5/120 - k**4/24 - 5*k**3/3 - 6. Let n(f) be the third derivative of p(f). Does 7 divide n(5)?
True
Let v be 1*(-3 + 2) - -71. Suppose -i + v = -35. Suppose -135 = -4*r + i. Is 20 a factor of r?
True
Suppose -9 = 3*f, 5*l + 4*f = 3*l + 6. Does 33 divide 605/l + 2/(-9)?
False
Let l(h) = -3*h**2 + 17*h - 8. Let x be l(7). Is (-30)/(-9)*x/(-10) a multiple of 3?
True
Suppose 30*y = 32*y - 216. Is y a multiple of 9?
True
Let m = 15 + -12. Is 2 a factor of m/((-4)/16 - -1)?
True
Let f be (9/3)/3 + 4. Let b = 124 - f. Suppose -4*r + b = -73. Does 12 divide r?
True
Let k be (-1*9)/3 + 5. Suppose 0 = -k*