s 12 divide o?
True
Let x = 381 - 198. Is 18 a factor of x?
False
Suppose -3*z = 2*z - 75. Suppose z*l = 10*l + 50. Is 5 a factor of l?
True
Suppose -5*l + 12 = -3. Suppose u + 2*j = -0*u + 8, -34 = -l*u - 4*j. Is 3 a factor of u?
True
Suppose 0 = 52*s - 57*s + 2860. Is s a multiple of 44?
True
Let m = -66 - -135. Let w(k) = 4*k**3 + k**2 + 2*k - 3. Let j be w(3). Suppose -2*x - 4*q + m - 9 = 0, 4*x + 5*q - j = 0. Is x a multiple of 15?
True
Let o(r) be the first derivative of -r**4/4 + 70*r + 11. Is 29 a factor of o(0)?
False
Suppose 17*h - 9072 = -19*h. Is h a multiple of 28?
True
Is (12 - 23) + 2814 + 5 a multiple of 24?
True
Suppose 0 = 21*d - 9*d - 492. Let v = d + -1. Does 10 divide v?
True
Suppose 0 = -4*x + 50 + 6. Suppose q = -x + 43. Is q a multiple of 18?
False
Let a be -1 + -2 - (-9 + -9). Suppose -12*z = -a*z + 15. Suppose -3*v + 93 = z*s, 3*v + 14 - 2 = 0. Is s a multiple of 7?
True
Is 9 a factor of ((-4)/(-2) + -173)/((-42)/42)?
True
Suppose 5*p - 4*c - 842 = 0, -9*p - c - 678 = -13*p. Does 10 divide p?
True
Suppose 6*x - 757 = x + 3*k, 4*x = -5*k + 613. Suppose -5*h - 131 + 43 = -2*p, -2*h = 4*p - x. Is p a multiple of 13?
True
Let n = 8 - 6. Let y(c) = -4 - n + 3*c - 1 + 4*c. Does 16 divide y(5)?
False
Let t(o) = -7*o**2 - 5. Let x(v) = v**2 + v + 1. Let k(h) = -t(h) - 2*x(h). Let f be k(2). Suppose y + f = r, -4*y = -3*r + r + 40. Does 18 divide r?
True
Suppose 6 = -3*o, 0*k + 4*k - 2*o - 1144 = 0. Is k a multiple of 19?
True
Suppose 8*u = 4*u + 16. Let g(p) = 5*p**2 + 7*p - 2*p**2 + 6 - u - 4. Is g(-5) a multiple of 19?
True
Let k be (-3)/(-1) + 92 + 0. Let y be (-3 - -10)/(2 + (-29)/15). Suppose 4*z - k - y = 0. Is 25 a factor of z?
True
Suppose -4*p + 3*q = 551, p + 0*p + 3*q + 149 = 0. Let u = p - -248. Does 12 divide u?
True
Let m = -129 - -329. Suppose 0 = -2*j - 3*j + m. Is 40 a factor of j?
True
Let b(r) = r**2 - r. Let n be b(0). Suppose -2*l + 234 = -4*y, 2*l + y - 4*y - 232 = n. Does 15 divide l?
False
Suppose -d - 62 = -3*b + 38, 3*d - 2*b + 314 = 0. Let h = d - -190. Does 28 divide h?
True
Suppose 3*o = -k + 582 - 138, -1368 = -3*k + 3*o. Does 17 divide k?
False
Does 31 divide (14/(-21))/(2/(-2883))?
True
Suppose -2*u + 143*p - 138*p + 4603 = 0, 0 = -3*u + 4*p + 6915. Is 90 a factor of u?
False
Suppose 0 = -5*w - 4*y + 10, -2*y + 8 = 2*w + 2*w. Does 10 divide w/9 + 385/9?
False
Suppose -37 + 157 = 8*y. Does 23 divide (-5)/y - 277/(-3)?
True
Is 4/7*(-4907)/(-2) a multiple of 28?
False
Suppose 2*b + 0*b = 0. Suppose -5*r + 3*r = -4. Suppose -3*t + 58 = -b*l - l, -3*t - r*l = -46. Does 5 divide t?
False
Suppose -161*o - 1825 = -166*o. Is o a multiple of 19?
False
Let x = 111 + -108. Suppose -3*b + 642 = r + 2*r, -x*b = -r - 650. Is b a multiple of 39?
False
Let a be (10/(-6))/((-1)/3). Suppose 2*w = 6*w - 2*x - 190, 3*w = -a*x + 123. Let j = w + -2. Is 12 a factor of j?
False
Suppose 5*r + 2*p = 4729, 0 = 2*r + 3*p - 4*p - 1888. Is r a multiple of 46?
False
Let i be (3 - -50)/(2/2). Suppose a + 112 = -a + p, -i = a + p. Is ((-32)/(-10))/((-11)/a) a multiple of 4?
True
Let a(q) = q**3 - 10*q**2 - 12*q + 13. Let n be a(11). Suppose 10*x - 288 = n*x. Does 20 divide x?
False
Suppose 132 = -b + 2*k + 674, 12 = -4*k. Let x = -296 + b. Suppose -11*m = -6*m - x. Is 24 a factor of m?
True
Let q = -1497 + 2517. Is 12 a factor of q?
True
Let v(l) = l**3 + 29*l**2 + 26*l - 66. Let h be v(-28). Is (-1)/(106/(-322) - h/35) a multiple of 21?
False
Let d = -159 + 403. Suppose 0 = 5*m - m - d. Does 11 divide m?
False
Suppose z - 4*z = -9. Suppose 5*d + z*o = 13, 4*o - 9*o = 3*d - 11. Suppose -1 = -q + m + 4, -d*q + 11 = -m. Is 3 a factor of q?
True
Let h = 348 + -119. Does 9 divide h?
False
Let s(p) = -p**3 - 9*p**2 + 10*p + 12. Let z be s(-10). Is 12 a factor of ((-14)/4)/((-2)/z)?
False
Let r = 41 - 11. Suppose 0 = 2*p - 7*p + 4*a + 447, -p + 5*a + 102 = 0. Let v = p - r. Is v a multiple of 19?
True
Suppose 0*c - 24 = 4*c. Let o be c/18 + 32/6. Suppose p + 192 = o*p. Is p a multiple of 16?
True
Suppose 21*z - 4*z = 9248. Is z a multiple of 10?
False
Let p(g) = g**2 - 3*g - 9. Let z be 36*1 + (-4 - -4). Suppose 5*y - z = -3*m, 5*y - 13 = m + 35. Does 9 divide p(y)?
True
Let s(f) = f + 7. Let g be s(-3). Does 16 divide (-428)/(-6) - g/(-6)?
False
Suppose u + 26 = -44. Let g = -116 - -17. Let m = u - g. Is m a multiple of 13?
False
Let t = 16 - 14. Suppose t*k - 42 = -3*q, -q + 0*q - k = -15. Does 4 divide q?
True
Suppose 10*a - 840 = 6*a. Suppose 0 = -5*y - 2*l + a, y = -y - 4*l + 84. Does 25 divide y?
False
Suppose 0 = -3*j - 3*w, -4*j + w + 4*w + 36 = 0. Suppose -t - 49 = -2*d, t = j*d - d - 75. Is d a multiple of 13?
True
Suppose -2*h = 3*h - g - 376, 5*g + 230 = 3*h. Does 10 divide h?
False
Let j(w) = 2*w**2 + 5*w - 11. Let v = -23 - -28. Is j(v) a multiple of 11?
False
Let h be (-2 - 0) + 6/9*3. Suppose -g = 2*y - 259, 3*y - 3*g + h*g = 375. Is y a multiple of 16?
True
Let w be (-55)/(-6) + (-1)/6. Suppose -10*a + w*a = -31. Suppose -v - a = -2*v. Is v a multiple of 15?
False
Let k(y) = -y**2 - 6*y + 1. Let m be k(-6). Let q(w) = -12*w**2 - 7*w - 4. Let g(p) = -p - 1. Let o(f) = 5*g(f) - q(f). Does 13 divide o(m)?
True
Let h(x) = 2*x + 11. Let m be h(0). Suppose 6*n = n + 4*u - 24, 0 = -3*n - u - m. Does 11 divide (-3 + 8 + n)*44?
True
Let s = -2908 - -5347. Does 79 divide s?
False
Let k(r) = -r**2 + r + 5. Let q be k(0). Suppose q*d - i - 92 = 0, 7*i + 68 = 4*d + 9*i. Is d a multiple of 18?
True
Let n be (-2)/(-8) + 850/(-40). Let p be (-1)/(-3) - 5453/n. Suppose p = 4*v - 128. Is v a multiple of 27?
False
Let n = 86 - 46. Suppose 5*p - 20 = 5. Suppose p*d = d + n. Is 5 a factor of d?
True
Suppose 3*r + 2*r - 1688 = 2*y, -5*y = -r + 333. Is 30 a factor of r?
False
Does 32 divide 6 - (-31)/1*2?
False
Suppose 2*c + 3*c - 10 = 0. Let v(z) = 2*z**2 - 6*z - 4. Let h be v(6). Suppose h = 2*m + c. Is 15 a factor of m?
True
Let c(z) = 2*z**2 - 5*z - 38. Is c(9) a multiple of 41?
False
Suppose 5*x = -i + 1364, -3*i - 1348 = -x - 4*x. Let a = x - 120. Is a a multiple of 39?
False
Let d be ((-10)/(1 + 0))/(-2 - -3). Does 13 divide 312/(-10)*d/3?
True
Suppose -2*l = 9*g - 6*g - 687, 4*g - 915 = -3*l. Is g even?
False
Suppose -l - 3 = 4*f, 0 = 2*f - 3*l - 3 + 22. Let h(a) = -2*a**2 - 2*a**3 + 2*a + 34 - 13 - 11 - 9. Is h(f) even?
False
Suppose 0 = -4*k + 3*f + 29, 5*k - 24 - 21 = -5*f. Let g = -4 + k. Suppose -g*j - 172 = 2*u - 6*u, 206 = 5*u - 2*j. Does 10 divide u?
True
Suppose -23*y + 26356 + 62677 = 0. Does 16 divide y?
False
Suppose 2*p + 123 + 143 = 2*b, 670 = 5*b - 4*p. Does 46 divide b?
True
Let x(o) = -o**3 - 5*o**2 - 3*o + 7. Let q = 25 + -20. Suppose -10 = q*p, z + 5*p = -0*p - 15. Does 7 divide x(z)?
False
Let m(o) be the third derivative of 7*o**4/24 - o**3/3 - 7*o**2. Let y = -11 - -13. Is 11 a factor of m(y)?
False
Suppose 18*x = 17*x - 108. Let w = x - -122. Is w a multiple of 7?
True
Let k be (12 - -1) + (-12 - -13). Let w be 60/14 - 4/k. Suppose -4*x + 49 = 5*y, -w*x + 0*y + 14 = -2*y. Is x a multiple of 3?
True
Suppose 0 = -5*q - q + 1284. Suppose 6*x - q - 206 = 0. Is 7 a factor of x?
True
Suppose -5*w = -670 + 45. Suppose 1785 = 10*j - w. Is j a multiple of 22?
False
Let z(i) = -94 - 93 + 184 + 14*i. Let l = 3 + 0. Is 13 a factor of z(l)?
True
Let a = 38 + 92. Let h = a + -31. Suppose -7*d + h = -4*d. Does 17 divide d?
False
Is 11 a factor of 1 - -2 - 888/(-12)?
True
Let u be 81/12 - 2 - 4/(-16). Suppose g - u*g + 25 = j, -185 = -4*j + g. Is 9 a factor of j?
True
Let a be 32 - ((3 - 5) + 0). Let v = 106 - a. Does 3 divide v?
True
Let z(u) = u**3 - 16*u**2 + 14*u + 23. Let t be z(15). Suppose -t*g + 9*g = 4. Does 4 divide g?
True
Let l(q) = -225*q - 602. Is l(-6) a multiple of 22?
True
Let y(m) = -m**3 + 11*m**2 - 17*m. Let f be (-14)/98 - (1 + 64/(-7)). Is 12 a factor of y(f)?
False
Let r = 27 - -34. Does 26 divide r?
False
Is (-1118)/(-7) + (96/(-42))/(-8) a multiple of 5?
True
Let j(a) = 210*a - 99. Is 19 a factor of j(4)?
True
Let p(z) = -11*z - 196. Is p(-66) a multiple of 19?
False
Let l(f) = -f**2 + 17*f + 3. Let d be l(18). Let j(s) = s**2 + 13*s - 16. Is 3 a factor of j(d)?
False
Suppose 2*s + 4*g = 30, -4*s + s + 2*g + 21 = 0. Suppose s = -4*q + 1. Is (-1)/q*-6 + 79 a multiple of 26?
False
Let l(u) be the