 factor of l?
True
Let a = 2414 + -1994. Is 10 a factor of a?
True
Let j(k) = k**2 - 6*k + 5. Let c be j(6). Suppose -c*m + 130 = -0*m. Is 13 a factor of m?
True
Let h(y) = -14*y - 4. Let z be (1 - 13)*5/10. Let t(p) = p + 1. Let v be t(z). Is 22 a factor of h(v)?
True
Suppose -3*m = 12, -y - 2*m = -3*m - 10. Suppose -8*l = -y*l. Suppose -2*i + 0 = 4, -2*q - i + 178 = l. Is 30 a factor of q?
True
Let m(j) = -j**3 + 48*j**2 + 68*j - 14. Is m(49) a multiple of 29?
False
Let q(o) = 8*o - 5. Let i be q(-5). Let s = 64 + i. Let r = s + -8. Does 11 divide r?
True
Let d(o) = -o**3 + 11*o**2 + 11*o + 14. Let j be d(12). Suppose 2*r = -j*r + 68. Is r a multiple of 15?
False
Suppose -z - 5*w = -0 - 3, 73 = 3*z - w. Let b = 39 - z. Let d = 24 - b. Is d a multiple of 8?
True
Suppose 49 = 3*z - 209. Let a = -5 + 15. Suppose u + z = 4*u - 5*g, -5*g = -a. Is 17 a factor of u?
False
Suppose 9*g - 20*g = -858. Is 3 a factor of g?
True
Let f = 70 - 28. Is 20 a factor of 30*1*7/(f/40)?
True
Is 32 a factor of (-57658)/(-16) - 150/(-400)?
False
Let s = 1622 - 699. Is 27 a factor of s?
False
Let w = 3 + 5. Let t = 2 - w. Let f(m) = -m**2 - 10*m - 4. Is 5 a factor of f(t)?
True
Let k(f) = f**3 - f**2 - 9*f + 1. Does 29 divide k(7)?
True
Let v(s) = s**3 + 27*s**2 - 33*s + 50. Is v(-28) a multiple of 5?
True
Let l be 130/(-6) + 2/3. Let x = -18 - l. Does 14 divide (x + 108/(-15))*-10?
True
Let y(a) = -3*a**2 - a + 2. Let f be y(2). Let l = 25 + f. Is 13 a factor of l?
True
Let f = 26 - -15. Suppose -f + 11 = -6*o. Does 3 divide o?
False
Let n be (9/12)/((-3)/(-4)). Let s(u) = -u**2 + 9*u - 5. Let d be s(6). Let l = d + n. Is l a multiple of 14?
True
Let m(o) = 2*o**2 + 2*o - 17. Let t be m(6). Does 8 divide t + -1*10/(-2)?
True
Let m(a) = a**2 + 15*a + 1. Let u be m(13). Suppose 5*h + 3*v - 385 = -0*v, u = 5*h - v. Is h a multiple of 15?
False
Let y = -22 - -49. Let o = 54 - y. Does 7 divide o?
False
Suppose -1360 = -5*y + 3*y + 4*a, y = 3*a + 677. Is 64 a factor of y?
False
Let q(u) = 2*u - 26. Let l(a) = -a + 9. Let b(m) = 10*l(m) + 3*q(m). Does 19 divide b(-10)?
False
Let j(b) = b**3 - 11*b**2 + 8. Let f be j(11). Suppose -4 + f = 2*q. Is (64/(-10))/(q/(-15)) a multiple of 12?
True
Suppose 0 = -6*h - 12*h + 5580. Does 58 divide h?
False
Let z = 2 + 2. Let v be (100/15)/((-3)/(-81)). Suppose -v = -0*r - z*r. Is r a multiple of 15?
True
Suppose -7*m - 21*m = -52724. Does 33 divide m?
False
Suppose 0 = -2*h + j + 43, 16*h + 4*j = 14*h + 68. Suppose -a + 3*b - 2 = -4, -3*a + 10 = -5*b. Suppose -a*q + 51 + h = 0. Is q a multiple of 5?
True
Suppose -1487 = -14*k + 13619. Suppose -o = 1, 2*y = -2*y + 3*o + k. Is 36 a factor of y?
False
Let b(a) = a**2 - 13*a + 16. Let i be b(12). Does 4 divide 18 - (143/44 - 1/i)?
False
Let y = -180 - -493. Is y a multiple of 18?
False
Suppose 4*h = -q + 7, -h = -2*h + q - 2. Let m(s) = 20*s**3 - 2*s + 1. Is 4 a factor of m(h)?
False
Suppose 99*v - 94*v = 100. Does 10 divide v?
True
Let t = 3 + -1. Suppose t*b + 24 = 72. Suppose 17*u - 14*u - b = 0. Is 3 a factor of u?
False
Suppose 0 = -14*k + 2125 + 1655. Is k a multiple of 10?
True
Let u = 336 + -154. Suppose 2*g - u = 4*r, -2*g + 3*r + 61 + 116 = 0. Does 26 divide g?
False
Suppose 101*w = 104*w - 432. Does 4 divide w?
True
Suppose -2*n = -1 - 1. Let z(v) = 6*v - 1. Let r be z(n). Suppose -4*g = 2*k - 90, -2*g - 78 = -5*g - r*k. Is g a multiple of 10?
False
Suppose 599 = -4*q + w, -2*q + w = 5*w + 304. Does 2 divide q/(-36) + (-2)/12?
True
Let f(p) = -9*p - 14. Let i(c) = -8*c - 15. Let l(o) = 7*f(o) - 6*i(o). Is l(-4) a multiple of 26?
True
Let h = -9 - -11. Suppose -7*w + 135 = -h*w. Does 20 divide w?
False
Suppose -2*q - 56 = 2*q. Let h = -14 - q. Suppose 0*l - 3*l + 69 = h. Does 20 divide l?
False
Suppose -2*v - 12 = 18. Let y(u) = 974*u + 15*u**2 - 486*u + u**3 - 13 - 495*u. Is 23 a factor of y(v)?
True
Suppose 0 = -3*t - t - 3*b + 86, -t + b + 18 = 0. Suppose 0 = -t*l + 8*l + 792. Does 23 divide l?
False
Let j = 23 + -21. Suppose -31 = j*k - 235. Is k a multiple of 17?
True
Suppose 3*p = 5*p. Let k(n) = 2*n + 26. Does 13 divide k(p)?
True
Let d(s) be the third derivative of -s**6/120 - s**5/10 - s**4/8 + s**3/2 + 5*s**2. Let o be d(-3). Let i = o - -21. Is i a multiple of 6?
True
Let b = 10 - 11. Let j be 3 + (-1 - (-1 + b)). Suppose -3*v + j = 2*p - 186, 2*v = p + 115. Is 15 a factor of v?
True
Is (4 - -1) + -1 + (-3 - -639) a multiple of 32?
True
Suppose 4*c - 11 = -3*j + 12, -3*c + 14 = -j. Suppose -2*l - 148 = -5*l - p, c*p = -10. Is 25 a factor of l?
True
Suppose 18 + 2 = 5*s. Suppose 60 + s = 2*u. Suppose -b + u = 8. Is b a multiple of 12?
True
Let v be (-4)/(-16) + (-52)/16. Let l(x) = 7*x**2 + 4*x + 1. Does 13 divide l(v)?
True
Let v(p) = -p**2 + 17*p + 6. Does 33 divide v(11)?
False
Suppose -4*z + 0*z - 3*o + 23766 = 0, 2*z - 3*o - 11892 = 0. Is z a multiple of 14?
False
Let l(y) = -y**3 - 7*y**2 + 43*y + 8. Is l(-14) a multiple of 43?
False
Let r be (3/(-9))/(3/(-657)). Let w = 127 - r. Does 12 divide w?
False
Let d = 1 + 1. Suppose -g + 61 - 2 = 3*t, d*t - 230 = -5*g. Is g a multiple of 44?
True
Suppose 321 - 4955 = -14*h. Does 16 divide h?
False
Is 18 a factor of ((-2268)/14)/((-1)/5)?
True
Suppose s - 1175 = -5*b + 694, -b + 378 = -4*s. Does 34 divide b?
True
Suppose -7*s + 186 = -4*s. Let y = 1 + s. Is y a multiple of 9?
True
Is 21 a factor of (1412/(-5))/(25/(-125))?
False
Suppose 0 = -10*l + 9*l + 10. Is 15 a factor of l/((-3)/45*-5)?
True
Let y(z) = 2*z + 6. Let q be y(-3). Suppose -t - 18 = -k, 3*t - 58 = -5*k - q*t. Does 7 divide k?
True
Let m(c) = -c**2 - 14*c + 74. Does 42 divide m(-16)?
True
Let v(g) be the second derivative of 3*g**3/2 + 2*g. Let j(p) = -p**3 - 7*p**2 + 9*p + 10. Let z be j(-8). Is v(z) a multiple of 10?
False
Suppose 5*j + 86 + 39 = -2*k, 3*k + 176 = 4*j. Let p = k + 112. Does 10 divide p?
False
Suppose 8*o - 6*o = -10. Let n = -13 - o. Let f = n + 26. Does 9 divide f?
True
Let s(p) = -p**2 + 28*p + 95. Does 10 divide s(29)?
False
Suppose 0 = 3*v - 12, -3*k + 0*v + 2*v = -2083. Does 40 divide k?
False
Suppose 1680 = 70*m - 67*m. Is m a multiple of 36?
False
Let p = -257 + 117. Let c = 42 + p. Let i = 170 + c. Is i a multiple of 24?
True
Suppose -8*g + 268 + 732 = 0. Is 10 a factor of g?
False
Suppose -3*p + p - 4 = -4*v, 4*v + 2 = 5*p. Suppose -p*y + 156 = -126. Does 16 divide y?
False
Is 558991/1194 - (2/(-12))/(-1) a multiple of 39?
True
Let a(r) = r - 7. Let s be a(9). Suppose 0*g - 5*l = -s*g + 31, -106 = -5*g + 3*l. Let y = g - 3. Is y a multiple of 20?
True
Let n(c) = -c - 1. Let u(f) = 24*f**2 + 6*f + 5. Let o(i) = 4*n(i) + u(i). Does 12 divide o(2)?
False
Suppose 7 = -4*u - 13, 25 = 3*p + u. Suppose -5 - p = -5*z. Suppose -4*q + 215 = 5*v, 6*v - z*v + 2*q = 127. Is v a multiple of 13?
True
Does 14 divide ((-5292)/(-105))/((21/(-90))/(-7))?
True
Let u(g) = -7*g + 280. Does 14 divide u(-56)?
True
Let z = 82 - -15. Does 15 divide z?
False
Suppose 2*o = -3*v + 947, 2*o - v - 1325 + 358 = 0. Does 13 divide o?
True
Suppose -4*y - 7 + 3 = 0. Does 15 divide (-1 - y) + -3 - (-241 - 2)?
True
Let s be 15*((-236)/(-20) - 4). Let x = 176 - s. Is 22 a factor of x?
False
Suppose -11 = -3*v + 4, -l - 2*v - 35 = 0. Suppose 140 = -9*r + 4*r. Let h = r - l. Is h a multiple of 5?
False
Let p = -2 - -6. Suppose -2*i = p*t - 3*i + 880, -4*t - 880 = 4*i. Is t/(-6) + 1/3 a multiple of 22?
False
Let u be 4 + -1 + -1*1618. Does 27 divide (-2)/(-8) + u/(-20)?
True
Suppose -617 - 311 = -4*z. Suppose 5*b + 20 = 0, -2*t + z + 150 = -b. Is 63 a factor of t?
True
Let q(p) = -2*p**3 - 7*p**2 + 5. Let s be q(-5). Let o = s - 17. Let g = o + -45. Does 10 divide g?
False
Suppose -126 = -8*k + 2. Is k even?
True
Let u = -57 - -222. Is 10 a factor of u?
False
Let o(u) = -u**2 - 41*u - 54. Does 19 divide o(-29)?
False
Let j be -3 + -1 - (1 + -1). Let z(h) = 2*h**2 - 8*h - 2. Let d be z(5). Let v = d + j. Is 4 a factor of v?
True
Suppose -4*a = 4 - 20. Suppose 5*j + 65 + 330 = -a*q, 5*j = q - 420. Let l = 153 + j. Is l a multiple of 23?
False
Let s(v) = 15*v - 32. Does 9 divide s(9)?
False
Let o = -421 + 245. Let a = o - -459. Is a a multiple of 46?
False
Let w = -6 + 14. Let o be 1*21/(-28)*-28. Suppose 0 = -3*b - 2*m + w, b - 5*m - o = -2*m. Is b a multiple of 3?
