e of 34?
True
Let b be 2/(-11) - 4296/(-33). Does 26 divide ((-96)/40)/((-4)/b)?
True
Let z(c) = 2*c**3 + 44*c**2 + 23*c + 60. Does 17 divide z(-21)?
True
Suppose 0*m - 2*m = -6. Let y be 24/((0 + m)/3). Let x = y - -12. Does 8 divide x?
False
Let g be 4 + -1 - (3 + -2 + 4). Is 17/((3 + -5)*1/g) a multiple of 7?
False
Suppose k + 2*m = 5, 4*m - 4 = -3*k + 5. Does 14 divide (52 - (k + 4))*6?
True
Let x(b) = 5*b**2 - b - 14. Is 80 a factor of x(6)?
True
Let i be (4*(-6)/4)/(-2). Suppose -5*q = 4*k, 3*k = -q + i*q + 23. Is 29 a factor of (-314)/q - 3/6?
False
Let h(v) = -3*v**3 + 3*v**2 - 4*v + 2*v**3 + 0*v**3 - 6 + 17*v. Does 6 divide h(5)?
False
Suppose 5 = -t + 4. Suppose 2*p + 5*d + 23 + 25 = 0, -4*d + 12 = -2*p. Does 7 divide (12 + -10)/(t/p)?
True
Let y(j) = 82*j**3 + 2*j**2 + 3*j - 1. Does 80 divide y(3)?
True
Let m(v) = v**3 - 6. Let n be m(0). Is 132 - (3 + n/1) a multiple of 27?
True
Let h = 57 - 54. Suppose 0 = h*d - 12, -4*n - n + 3*d = -23. Is 7 a factor of n?
True
Let c(a) = -811*a**3 - 2*a**2 - 3*a - 2. Is c(-1) a multiple of 6?
True
Let t(o) = -2*o + 3. Let g be t(-2). Suppose -11*l + g*l = -108. Does 9 divide l?
True
Let m(i) = -2*i + 10. Let l be m(0). Suppose 0 = -2*t - v + 67, 0 = 3*t - 5*v - l - 84. Is 7 a factor of t?
False
Does 30 divide (-3)/15 - ((-5266)/5 + 3)?
True
Suppose -4*q = -7*q. Let f = 6 + q. Suppose -2*p + 16 + f = 0. Is p a multiple of 4?
False
Let y(o) = 2*o**2 - 3*o - 377. Is y(24) a multiple of 37?
True
Let y = 5055 + -2964. Is y a multiple of 79?
False
Is -5 + (22878/126 - 4/7) a multiple of 14?
False
Suppose 23*i - 5 = 22*i. Suppose -3*q + 4 = -5*q, 3*q = -i*b + 474. Is 14 a factor of b?
False
Let z = 120 - 12. Suppose -3*g - g + z = 0. Is g a multiple of 9?
True
Let c(n) = n**2 + 5*n + 25. Let b(j) = 6*j + 42. Let y be b(-9). Is c(y) a multiple of 53?
False
Let k(n) = 80*n + 9. Let b be k(-3). Does 11 divide ((-1)/3 - 0)*b?
True
Let p be 0/((-3)/(-1)*1/3). Suppose p = -14*s + 20*s - 978. Is s a multiple of 48?
False
Let c = 39 + -79. Let s = 112 + c. Does 12 divide s?
True
Suppose -4*w + 1 + 7 = 0. Let c be (-1)/(-2) + 35/w. Is 24 a factor of 176/(-12)*c/(-4)?
False
Let t be -3 - (-1 - 16)*3. Let x be t + -1*6/(-2). Let f = x + -2. Does 13 divide f?
False
Does 91 divide 81362/38 + (-26)/247?
False
Suppose 0*t + 4*c = -t + 170, -2*c + 530 = 3*t. Does 56 divide t?
False
Suppose -18*x + 4 = -14*x. Let g(y) = 177*y**3 - 2*y + 2. Is 59 a factor of g(x)?
True
Is 7 a factor of 23/(-23)*(2 + -1605)?
True
Suppose -4*o = -5*d + 6*d - 508, 2*o + 1046 = 2*d. Is d a multiple of 8?
True
Is 325 + 1 + 1 + (-12)/4 a multiple of 54?
True
Suppose 3*t - 8 = 7, -4*t + 205 = 5*y. Let u = y + -9. Is 5 a factor of u?
False
Suppose -516 = -2*o + 2*h + 342, 855 = 2*o + h. Is o a multiple of 12?
False
Is 5 a factor of (-58720)/(-56) - 33/(-77)?
False
Suppose -43*p = -0*p - 26918. Is 47 a factor of p?
False
Let p be 108/(-14) + 4/(-14). Let h = 49 - 26. Let l = h + p. Does 5 divide l?
True
Suppose -5*q - 3*b + 122 = 0, 0 = 3*q + 2*b - 5*b - 78. Let j = -10 + q. Is 199/2 + j/30 a multiple of 36?
False
Let z be (-1 - (7 - 0))*-1. Suppose 0 = 2*p + 8, 70 = -q + 3*q - 4*p. Let d = q - z. Does 10 divide d?
False
Let d = 23 - 20. Suppose 456 = 5*o - d*x + 2*x, -o = -5*x - 96. Is 32 a factor of o?
False
Suppose -1569 = -2*h + 5*r, 0 = 74*h - 79*h - 4*r + 3972. Is 33 a factor of h?
True
Let f = 467 + 253. Is 18 a factor of f?
True
Let g = 80 - 80. Suppose g = 8*l - 440 - 1000. Does 36 divide l?
True
Suppose 26*c = 15*c + 11704. Is 76 a factor of c?
True
Suppose -3*b + 96 = 5*b. Suppose -b*t + 10*t + 106 = 0. Is 9 a factor of t?
False
Let l be 2/(4/(-3))*(-11 + 13). Let s(a) = -2*a**3 - a**2 - 6*a - 18. Is s(l) a multiple of 5?
True
Suppose -2*b - 9 + 279 = 0. Does 12 divide b?
False
Suppose -36 = -2*k - 5*o, 4*k + 2*o - 27 = 77. Suppose 0 = -2*x + x + k. Does 14 divide x?
True
Let l(n) = 9*n**3 - 9*n**2 - 5*n - 18*n**3 - 4*n + 8*n**3 - 11. Let r be l(-9). Is r*((-3)/(-2) - 1) a multiple of 9?
False
Suppose 53 = p - 19. Is p*6*1/9 a multiple of 4?
True
Suppose 0 = -18*o + 37*o - 91580. Is o a multiple of 106?
False
Let z(a) = -47*a - 11. Let n be z(17). Does 12 divide (-1)/(5 + 4053/n)?
False
Let r(z) be the first derivative of 5*z**3/3 + 24*z + 21. Does 34 divide r(-5)?
False
Let t = 7 - 5. Is 23 + t + 2 + -6 a multiple of 5?
False
Let z(v) = v**3 + 6*v**2 - 2*v - 2. Let d be z(-6). Suppose -4*x + 246 = d. Suppose -150 = -2*a - s, -5*s + x = 3*a - 166. Does 15 divide a?
True
Let z(p) = -p**3 + 3*p**2 - p - 6. Let s be z(6). Let k be s/(-18)*(-9)/2. Let j = k + 51. Does 12 divide j?
False
Let w(b) = 123*b**2 + 4*b + 2. Let j be w(-2). Let l = -315 + j. Suppose -4*s + 213 + l = 0. Does 24 divide s?
True
Let m = 192 - -13. Does 7 divide m?
False
Suppose 441*u - 44506 = 424*u. Does 14 divide u?
True
Suppose -3*s + 69 = -78. Let i = s - 34. Suppose 42 = 3*w - i. Is 9 a factor of w?
False
Suppose 4*q + 0*q = -2*v + 20, 4*v - 4 = q. Suppose -297 = -3*o - 3*j + 2*j, -o + 104 = v*j. Does 29 divide o?
False
Let q be (-5)/15 + (-3)/((-18)/(-202)). Let o = 87 + q. Is o a multiple of 8?
False
Suppose b + 5*s + 19 + 9 = 0, b + 3*s + 18 = 0. Let t = b - -3. Suppose t = 4*v + 4 - 48. Is v a multiple of 10?
False
Suppose 0 = 22*j - 17*j - 105. Suppose 26*k - 880 = j*k. Does 44 divide k?
True
Let k(z) = 2*z + 86. Does 5 divide k(6)?
False
Let f(m) be the second derivative of -m**4/12 + m**3/6 - m**2/2 + m. Let u(c) = -3*c**2 - 19*c - 22. Let l(w) = -2*f(w) + u(w). Is l(-17) a multiple of 24?
True
Let y be 11*(0 + -1) - -3. Is 16 a factor of (4/y)/(1/(-96))?
True
Let f be (20 - 6)*(-2)/(-4). Let g = 20 - f. Suppose -24 = -g*m + 10*m. Is 2 a factor of m?
True
Suppose -5*s + 14*s = 1512. Let h = s - 75. Does 23 divide h?
False
Suppose 137 = 3*u - 130. Let a = u - 79. Is a a multiple of 5?
True
Suppose 5*n = -4*j + 5*j, 3*j - 5*n = 0. Suppose j = 2*c - 8*l + 4*l - 56, 0 = -2*c - 4*l + 40. Does 6 divide c?
True
Suppose -2*j - 33 = 5*i + 35, 5*j - 61 = 4*i. Let z(f) = f**2 + 13*f - 7. Is z(i) a multiple of 5?
False
Suppose 3350 = -5*c + 9470. Is 6 a factor of c?
True
Let w(p) be the first derivative of -p**4/4 - 5*p**3/3 - 2*p**2 - 5. Does 12 divide w(-6)?
True
Suppose 24*y - 13*y - 5863 = 0. Let c = y + -264. Is c a multiple of 13?
False
Suppose 5*z - 6 = 2*z. Suppose -156 = -z*b - 2*b. Does 11 divide b?
False
Let n = 914 + -439. Does 50 divide n?
False
Is ((-6)/(-5))/(15/(89100/24)) a multiple of 11?
True
Let u = 92 - 13. Let w = 167 - u. Is 14 a factor of w?
False
Suppose 5*c + 2716 = 18011. Does 19 divide c?
True
Let c(i) = 9*i**2 + 12*i - 147. Does 45 divide c(19)?
True
Let g = -105 + 109. Suppose a = g*m + 98 + 176, a = 3*m + 270. Does 24 divide a?
False
Let r = 35 - 15. Let y = r + -11. Let p = 3 + y. Is p a multiple of 12?
True
Let y be (-10)/(-8)*(-3 + 23). Is y/10*(-28)/(-5) a multiple of 14?
True
Suppose -5*a + 4820 = -4*z, 1766 = -4*a - z + 5601. Does 120 divide a?
True
Let c = -344 - -2035. Is 27 a factor of c?
False
Let h = 6773 - 4329. Is h a multiple of 26?
True
Suppose 0 = -5*a - 0*a + 4*o + 2373, 0 = 2*a + 4*o - 966. Is a a multiple of 53?
True
Let y be (3834/(-42))/1 + (-2)/(-7). Suppose 0 = -8*o + 4*o - 648. Let k = y - o. Is 16 a factor of k?
False
Let q = -132 - -464. Suppose 4*s + 5*d - 1676 = 0, s = d + q + 96. Suppose -s = -4*a - 32. Does 14 divide a?
True
Let g(m) = -m - 1. Let t be g(-3). Suppose 0 = -t*j - 0*j - 4, 5*w + 2*j = -74. Let d = w - -20. Is 3 a factor of d?
True
Let t = 912 + -430. Let z = -301 + t. Is z a multiple of 27?
False
Let i be (-8)/28 - 141/21. Let x be (2/i)/((-1)/7). Suppose -5*q + 80 = -l + 3*l, x*q + l = 33. Is 14 a factor of q?
True
Let f(p) = -p**2 + 4*p - 3. Let h be f(3). Suppose h = 2*d + 2*u - 30, -d + 1 = -2*u - 11. Does 14 divide d?
True
Let y = -5 - -1. Let w be (40/(-25))/(y/90). Suppose -w + 2 = -v. Is v a multiple of 17?
True
Let c = -8 + 1. Let f = 12 + c. Suppose f*j - 115 = -30. Does 15 divide j?
False
Suppose 23410 = 8*i + 5674. Is 16 a factor of i?
False
Let v = 61 - 58. Is -10 + 6 - (-77 - v) a multiple of 22?
False
Does 4 divide 1165 + (10 - 8) - 2?
False
Let j(g) = g + 4. Let w be j(0). Let p(s) = -7*s**3 + 2*s**2 - 6*s + 7. Let k(v) = -v**3 + 1. Let q(n) = 6*k(n) - p(n). Is 16 a factor