f r?
True
Let o be (-45)/20*12/(-9). Suppose 5 = -2*s - o*w - 2*w, 2*w + 2 = -2*s. Suppose -2*l + 34 + 2 = s. Is l a multiple of 5?
False
Let j(b) be the second derivative of b**7/420 - b**6/80 + 3*b**5/40 + 7*b**4/12 + 9*b. Let z(m) be the third derivative of j(m). Does 38 divide z(5)?
True
Let p be 1*3 + (1 - 0). Suppose 4*b = p*s - 328, 0*s + 5*s - 3*b - 408 = 0. Does 9 divide s?
True
Suppose -507 = -4*x + 5*i, -550 = -5*x - i + 62. Does 14 divide x?
False
Let q = 105 + 160. Is 34 a factor of q?
False
Is 945/1 - 20/(-3 - 1) a multiple of 25?
True
Suppose -42*s + 197760 = 18*s. Is s a multiple of 32?
True
Suppose -204 + 41 = -4*s - 5*o, -o = -2*s + 85. Suppose -43*b + 110 = -s*b. Is b a multiple of 9?
False
Let v(a) be the second derivative of -10*a**3 + 5*a. Is v(-1) a multiple of 20?
True
Let i(s) = 260*s + 10. Let h(y) = -y + 1. Let p(l) = -15*h(l) + i(l). Is p(1) a multiple of 18?
True
Let p(b) = -b**2 + b + 3. Let r be p(0). Let j(u) = 7*u - r*u + u**2 + u. Is j(-6) a multiple of 2?
True
Suppose 9*u = -11 - 16. Is (-14*1 + (1 - u))*-14 a multiple of 33?
False
Does 20 divide 206048/56 - (-1 + 3/7)?
True
Let i be 1 + -2 + 8/1. Let p(w) = 7 + 5*w - w**2 - w + 4*w. Is 4 a factor of p(i)?
False
Suppose 78*r + 10272 = 126*r. Is 6 a factor of r?
False
Let g be 12 - 4 - (2 + -3). Suppose h - 46 = -2*a + g, 5*h = -2*a + 315. Does 13 divide h?
True
Does 4 divide ((-135)/(-60))/(4/(-816)*-3)?
False
Is 2619*-6*(-3)/54 a multiple of 52?
False
Let x(f) = 2*f**3 + 71*f**2 + 69*f - 33. Is x(-34) a multiple of 10?
False
Let h = -94 + 50. Let k = h + 106. Is 8 a factor of k?
False
Let h(f) = f**3 - f**2 - f + 1. Let q(a) = -6*a**3 + 15*a**2 + 10*a - 19. Let w(z) = 5*h(z) + q(z). Let j be 4/(-12) - (-31)/3. Is w(j) a multiple of 12?
True
Let h(m) = m**3 + 47*m**2 - 69*m + 50. Is h(-48) a multiple of 40?
False
Let h(l) = l**3 - 9*l**2 + 8*l - 15. Let u be h(6). Let t = u - -133. Is t a multiple of 29?
True
Suppose 10 = 4*z - 2. Suppose 4*a + 254 = 3*s, s + 162 = z*s + a. Is 20 a factor of s?
False
Is 3 a factor of -6*9/(-27) - -170?
False
Let r = -108 + 125. Let l = r - -3. Is 20 a factor of l?
True
Let s(d) be the second derivative of 0 + 1/6*d**3 + 1/12*d**4 - 2*d - 3/2*d**2. Is s(-4) a multiple of 3?
True
Let c = 30 - 45. Let j = 16 - -8. Let z = j - c. Is 12 a factor of z?
False
Suppose 1 = m - 3. Suppose 36 = m*o - o. Does 12 divide o?
True
Suppose 5 = 2*y - 53. Suppose -5*m = -y - 1. Is 105/m*(-24)/(-14) a multiple of 15?
True
Let n be 2 + 36 + (-4 - (-6 - -4)). Suppose 3*d - n = 2*d. Does 12 divide d?
True
Let j be ((-5)/10)/(1/(-12)). Let r(f) = 8*f - 2. Let s(h) = 9*h - 2. Let z(x) = j*r(x) - 7*s(x). Does 16 divide z(-2)?
True
Does 70 divide (0/4 + -98)/((-30)/150)?
True
Let o = 15 - 17. Let r(g) = 2*g**2 + 4*g + 2. Let q be r(o). Suppose -s + 7 = k, 2*k + q*s - 10 = k. Is 4 a factor of k?
True
Let h(t) = 31*t - 64. Is h(24) a multiple of 12?
False
Let y = -11 - -17. Let p be ((-6)/y)/((-2)/(-18)). Let o = p - -50. Is 6 a factor of o?
False
Let f(c) = -c**2 + 34*c + 23. Let j(n) = n**2 + 2*n + 17. Let x be j(0). Is f(x) a multiple of 26?
True
Let b = -28 + 31. Suppose 5*i + 4 = h - 23, 0 = b*h - i - 81. Does 9 divide h?
True
Let h(w) = -w**2 - 21*w - 12. Let l be h(-22). Let f = 84 + l. Is 10 a factor of f?
True
Let t = -54 - -51. Does 26 divide (840/25)/(t/(-15))?
False
Let s(h) = 11*h - 6. Let r = -46 - -52. Is s(r) a multiple of 12?
True
Suppose 0 = -87*h + 78*h + 16200. Is 24 a factor of h?
True
Let x(b) = 10*b**2 - 2*b + 1. Let t = 47 + -45. Is x(t) a multiple of 11?
False
Let d(i) = -5*i**3 + 12*i**2 + 59*i + 5. Is d(-5) a multiple of 22?
False
Suppose 0 = 8*h - 3*h - 235. Suppose g - 60 = h. Is 25 a factor of g?
False
Let c be (-2)/4 + (-28)/(-8). Suppose 3*p + c*n + 6 = 30, 0 = -5*p + 5*n + 10. Suppose y - 60 = -p*y. Is y a multiple of 10?
True
Let q = 1075 - 654. Is 43 a factor of q?
False
Suppose 4 = -13*k - 9. Let l(b) be the first derivative of -35*b**2/2 - 2*b + 2. Is 23 a factor of l(k)?
False
Let m be 2/12 + 6472/48. Suppose 2*w - 77 = 5*o + 16, -3*w = -3*o - m. Does 11 divide w?
True
Let a(w) = -3*w**2 - 23*w - 17. Let c be a(-7). Does 31 divide 3 - (c - 58/1)?
False
Let w(o) = -o**3 - o**2 - 5*o - 1. Let g(f) = -f**3 - f**2 - 4*f - 1. Let l(i) = 3*g(i) - 2*w(i). Let a be l(-1). Suppose -r + 20 = -a. Is r a multiple of 5?
False
Suppose 272 = s - 2*m - m, 3 = -m. Does 30 divide s?
False
Does 4 divide ((-888)/(-20))/(-1 + (-91)/(-70))?
True
Suppose 883 = o + 400. Is 16 a factor of o?
False
Let a = -193 + 337. Suppose -29*n + 33*n = a. Is n a multiple of 9?
True
Let v be 252/105*50/3. Let c = v - -4. Is 22 a factor of c?
True
Let z be 16/4 + (-3 - -2). Suppose z = c - 3*r - 5, -c = -5*r. Is 20 a factor of c?
True
Is (5 + (-5929)/21)*-3 a multiple of 78?
False
Suppose -4 = p - 8. Suppose 0 = 4*q - 2*i - 344, -2*q + i + 156 = -p*i. Is 22 a factor of q?
True
Suppose -2*h = -a - 10, -4*h = a - 1 - 25. Let f(z) = z**2 + 3*z + 8. Let q be f(h). Let r = q + -41. Does 18 divide r?
False
Suppose 0 = 5*o + 5*c, -2*o + c + 3 = -12. Let b be (o/4)/((-2)/(-8)). Let k(s) = 2*s**2 + 2*s. Is k(b) a multiple of 15?
True
Let r = -269 + 553. Does 52 divide r?
False
Suppose 14*r - 800 = 6*r. Suppose 42*i - 41*i = r. Is 20 a factor of i?
True
Let u(q) = q**3 + 6*q**2 - 22*q + 14. Does 3 divide u(5)?
False
Let c = 3031 + -2769. Is c a multiple of 6?
False
Suppose 5*r - 97 = 773. Suppose -11*h + 5*h = -r. Does 29 divide h?
True
Suppose 0 = -p - 3*v - 7, -9*p + 4*p = 2*v - 4. Let y be 0 - 1 - (-1 + p). Let w(q) = -14*q + 5. Does 6 divide w(y)?
False
Let f be -1*(-4 - -4 - -3). Let y = f - -10. Does 7 divide y?
True
Suppose 3*a + 3*y = 30, a - 6*a + 41 = -4*y. Let f be (282/a)/((-4)/36). Is (6/9)/((-4)/f) a multiple of 12?
False
Suppose 4*g = 6*g + 8. Let d = 0 + -14. Does 7 divide (-1305)/(-63) + g/d?
True
Let q(k) = 5*k**2 - k. Let o be q(1). Suppose o*l - 2*l = 16. Suppose -l*u = -3*u - 205. Is 12 a factor of u?
False
Let m = 12 + -7. Let w(i) = 0*i**3 + 8 - 18*i**2 + 24*i**2 - i**3. Is w(m) a multiple of 12?
False
Let f(l) be the first derivative of -55*l**4/4 - l**2/2 + 35. Let t = -2 - -1. Is f(t) a multiple of 14?
True
Let n(v) = -v + 8. Suppose 9 = k + 21. Let b = k - -6. Does 7 divide n(b)?
True
Suppose 23*a + 1020 = 33*a. Does 45 divide a?
False
Suppose -3*g = -4*c + c - 6, -14 = -3*g - c. Suppose 0*i = 3*i + 3*z - 24, g*i + 3*z - 29 = 0. Suppose -3*t + 14 = -i*j, -4*j = -j - 15. Does 8 divide t?
False
Suppose 2*n + 4*n + 120 = 0. Let o = -10 - n. Is 15/2 - 5/o a multiple of 7?
True
Let w(v) = 2*v**3 - 2*v**2 - 31*v + 49. Does 35 divide w(7)?
True
Let x = 247 - 84. Let u = -85 + x. Is u a multiple of 18?
False
Suppose -2*n - 250 = 2*d - 1082, 4*d - n = 1689. Is d a multiple of 11?
False
Let v(k) = -2*k**3 + 6*k**2 + 7*k + 20. Is v(-9) a multiple of 57?
False
Suppose 0 = -0*u + 7*u. Suppose u = b - 67 - 16. Is 24 a factor of b?
False
Suppose 20 = -f - f. Let o be f*36/(-8)*1. Let m = -15 + o. Is 8 a factor of m?
False
Suppose 4*a + 920 = m, -2*m - 11*a = -13*a - 1810. Is 54 a factor of m?
False
Let l(p) = p + 30. Let z be l(10). Let r = 47 - z. Is (5 - r)*(-44 - 0) a multiple of 11?
True
Let o be 0 + -3 + 0 + 14. Let p(v) = v**3 - 11*v**2 + 4*v - 3. Is p(o) a multiple of 7?
False
Is 10 a factor of (551/2)/(4*3/24)?
False
Let n be -1 + -2 + 4 - -2. Suppose -n*g + 78 = -3*c, g - 14 = -0*g - 2*c. Does 12 divide g?
False
Suppose 0 = 2*j + 3*j - 5*h + 30, 0 = -4*j + 5*h - 23. Suppose 0 = -5*r + 15*r - 230. Let f = j + r. Is 8 a factor of f?
True
Let g(i) = 5*i**2 - 15*i - 14. Is 18 a factor of g(11)?
False
Let t be 32/112 - (-748)/28. Let y be (0/2)/(4/2). Suppose y*g = -g + t. Is g a multiple of 6?
False
Let b be (1 - -8)*((-10)/6 - -3). Suppose -3*l + 84 - b = 0. Is l a multiple of 4?
True
Let r be (6/(-4))/(3/(-50)). Suppose 2*m - r + 5 = 0. Suppose 2*p + 3*b = 33, 3*p - 69 + m = 5*b. Is 14 a factor of p?
False
Suppose 15 = -4*o - o - 2*s, -2*o = 5*s + 27. Let g(l) = -3*l**2 + 10. Let y(f) = f**2 + f + 1. Let n(c) = o*g(c) - 2*y(c). Does 15 divide n(7)?
False
Let y(z) = 2*z + 4. Let f be y(-2). Suppose 0 = -m + 29 - f. Does 14 divide m?
False
Let d be 0 - (3 + 0) - -7. Suppose v - 4*b = d*v - 552, -5*v + 2*b + 894 = 0. Is 12 a factor of v?
True
Le