(y/9)/(1/(-3)). Let f = -17 + g. Is 15 a factor of f?
True
Suppose -3*l = -15 - 36. Let m = l + -5. Is m a multiple of 12?
True
Let m = 5 + -3. Suppose -m*p + 10 = -0. Does 5 divide p?
True
Suppose -166 = 5*i + 3*b, i + 38 = -5*b + 2*b. Let z = i + 50. Does 7 divide z?
False
Suppose -3*m + 3 = 12, -4*x - 3*m + 111 = 0. Let d be (-10)/(-4)*24/x. Suppose 3*v - 80 = -5*h, -4 = -3*h + d*h. Is v a multiple of 13?
False
Suppose -3*u + 62 = v - u, 0 = -5*u + 15. Is v a multiple of 20?
False
Let k(f) = -f**2 + 8*f - 9. Let i be k(6). Suppose -i*q = -8*q + 190. Is 19 a factor of q?
True
Does 31 divide 3/((-3)/(-4)) - -58?
True
Suppose 37 = i + j, 2*i = -0*i - 3*j + 70. Let n = 32 - 8. Let d = i - n. Does 5 divide d?
False
Let i be -4*(-1)/(-4)*4. Does 26 divide 101/4 - 3/i?
True
Suppose 3*k + 30 = 2*w, -51 = -3*w + 4*k - k. Is w a multiple of 7?
True
Let a(t) = -5*t + 3. Let l be a(3). Is ((-32)/l)/(4/6) a multiple of 4?
True
Let g be ((-36)/48)/((-1)/28). Let f = 11 + g. Does 16 divide f?
True
Let s(x) = 7*x - 35. Let b(j) = -1. Let n(w) = -28*b(w) + s(w). Is n(5) a multiple of 14?
True
Let v = 70 - 23. Is 30 a factor of v?
False
Suppose -5*y - 3*l = -0*l - 196, 0 = -4*l + 8. Is 19 a factor of y?
True
Let b be 1 + 63*(-1 - -2). Suppose a - b = -a. Is a a multiple of 16?
True
Let s(t) = -12*t - 2. Let i be s(-2). Suppose 0 = -2*l - o + 23, 2*o - i - 2 = -2*l. Is l a multiple of 11?
True
Let f = 13 + -5. Is 5 a factor of f?
False
Suppose 4 = 3*b - 326. Does 26 divide b?
False
Suppose -4*k - 4*f + 4 = 0, -3 = -k + 2*k - 3*f. Let c be (k + 2 - -1)*-6. Does 8 divide (-292)/(-18) + 4/c?
True
Let a be (-1)/(3*(-2)/(-6)). Is 20 a factor of 1/(a - -2) + 44?
False
Is 11 a factor of (528/(-40))/((-4)/120)?
True
Suppose -1 - 5 = v. Let a = 22 + v. Does 16 divide a?
True
Suppose o - 21 = 9. Let m be (4/5)/(4/o). Suppose 3*q - 72 = m. Is 13 a factor of q?
True
Suppose g = 3*g. Suppose -3*r - 6 = 0, g*r + 4*r = w - 17. Suppose 3 - w = -3*z. Is 2 a factor of z?
True
Suppose 1 + 1 = -2*f, 2*u = 5*f + 15. Let j be u/20 - (-459)/4. Suppose -2*p + 5*t + 46 = 0, 4*t - j = -5*p - 0*t. Is p a multiple of 15?
False
Let v(r) be the second derivative of 0 - 2*r - 1/6*r**3 + 6*r**2. Is v(6) a multiple of 6?
True
Suppose -88 = -5*n - 4*p, 29 = n + p - 4*p. Does 10 divide n?
True
Suppose q - 106 = -2*s, 4*s + q = 183 + 31. Is s a multiple of 18?
True
Suppose -2*u + u + 5 = 0. Suppose 0 = -l - 3*f + 2*f + 2, 4 = 4*l + u*f. Is l a multiple of 6?
True
Let w(z) = -44*z + 8. Is 12 a factor of w(-2)?
True
Is 10 a factor of ((-9)/12 + 2/8)*-284?
False
Let i be (-40)/30*(-6)/(-4). Is 4 a factor of (1/(-2))/(i/44)?
False
Suppose -5*l = -0*l. Suppose l = -p - 5*g + 9, -g = 3*p - 0*g - 27. Let u = 19 - p. Does 9 divide u?
False
Let j(s) be the second derivative of -s**4/12 + 4*s**3/3 + 5*s**2 + 17*s. Let v = 18 + -11. Does 7 divide j(v)?
False
Let y = 409 - 260. Is y a multiple of 9?
False
Let n be (1 - 1)/(-4 + 6). Let l be 3/(3/(-2))*-2. Suppose n = -3*a + l + 35. Is a a multiple of 13?
True
Let g(m) = m**3 - 3*m**2 - 3*m + 2. Let c be g(4). Let f = c - -20. Does 9 divide f?
False
Is 6 a factor of (-186)/(-15) - 4/10?
True
Suppose 2*r - 114 = -4*l, -5*l + 6*l - 1 = 5*r. Is 19 a factor of l?
False
Let r = 44 - 9. Is r a multiple of 19?
False
Does 8 divide 9 + -7 + (-39)/(-3)?
False
Let n be ((-6)/(-3))/(-3 + 2). Is 5 a factor of ((-12)/30)/(n/50)?
True
Suppose -21 - 69 = -5*x. Suppose 3*r - x - 27 = 0. Does 9 divide r?
False
Is (-2)/(-8) + (-111)/(-4) + 5 a multiple of 12?
False
Let w = -9 - -14. Suppose w*d - 16 = -2*b, -2*b - 3*d + 22 = -d. Is b a multiple of 5?
False
Let a = -9 - -4. Suppose 0 = -5*b + 4*b + 13. Let p = b + a. Is 4 a factor of p?
True
Suppose a = p + 7, -3 - 48 = -3*a - 3*p. Is 6 a factor of a?
True
Let x(c) = 2*c**2 - 8*c - 9. Is x(9) a multiple of 27?
True
Let p = 1 + 9. Does 3 divide p?
False
Let k(i) = -i**2 + 6*i. Suppose -5*l = -2*m - m - 26, -4 = 2*m. Let h be k(l). Does 12 divide (h/(-5))/(3/(-45))?
True
Suppose 2*a + f = -9, 3*a - 2*f + 3*f = -13. Let u = a + -26. Does 18 divide 2 - u - (-2)/2?
False
Is ((-28)/4)/(3 + 13/(-4)) a multiple of 4?
True
Let j = 130 + -188. Let y = 83 + j. Does 6 divide y?
False
Is (-2 - -1 - -4) + 14 a multiple of 4?
False
Let k = -9 + 23. Suppose 0 = 4*r - 3*w - 16, 0 = -0*r - 4*r + 4*w + 16. Is (4 + -2)/(r/k) a multiple of 4?
False
Let w be (-7)/2*120/(-42). Suppose 5*j - 6 = -2*k + w, 4*j - 4*k = -4. Suppose 4*p = -4*h + 68, 0 = -j*p - h + 39 - 0. Is 9 a factor of p?
False
Suppose 3*z = 5*c + 2 + 10, 3*c = -9. Is 9 a factor of (22/5)/(z/(-5))?
False
Suppose -3*l + 31 = -77. Is l a multiple of 9?
True
Suppose -2*k - 3*k - 7 = -4*u, 0 = 5*u + k - 16. Suppose u*g - 22 - 2 = 0. Is 8 a factor of g?
True
Let j(g) = 2*g + 2. Let p(v) = -v**3 - 9*v**2 + v + 13. Let r be p(-9). Does 10 divide j(r)?
True
Let l(m) = m + 4 - m**3 + 6 - 6*m**2 - 4. Let r be l(-6). Does 12 divide -9*(r - (-24)/(-9))?
True
Let r be (-4)/(-16) - 230/(-8). Let n = r + -21. Is 4 a factor of n?
True
Suppose 2*x + 104 = 286. Does 13 divide x?
True
Suppose -o = -4*o + 18. Is 7/(3/o*2) a multiple of 2?
False
Let l(d) be the first derivative of 5*d**4/4 - 4*d**3/3 + d**2 + 2*d - 2. Does 30 divide l(2)?
True
Suppose 0 = 14*y + 707 - 2387. Is y a multiple of 24?
True
Suppose -6*p - 2*g = -2*p - 622, p = 3*g + 159. Is 39 a factor of p?
True
Let l(g) = g**2 - 3*g + 7. Is l(9) a multiple of 46?
False
Let x be (0 - -1)*(-1 + 2). Suppose -x = -5*t - 86. Let w = 33 + t. Does 6 divide w?
False
Let i be 14 - (0 + (-6)/(-3)). Let w be 2/i*-2*-6. Suppose 5*o + 41 = 4*m, -w*m + o = -5*m + 45. Is 6 a factor of m?
False
Let u(d) = -d**3 + 10*d**2 + 12*d + 8. Let s = 20 + -9. Does 18 divide u(s)?
False
Suppose -1 + 5 = n. Let g(i) = 2*i**3 - 6*i**2 + 2*i - 3. Is g(n) a multiple of 21?
False
Let z(w) = -w**3 + 15*w**2 + 17*w + 7. Suppose 0 = 4*i - 64. Is 8 a factor of z(i)?
False
Suppose 0*s = 6*s - 108. Let j = 27 - s. Is j a multiple of 3?
True
Let g(a) = 3*a**2. Let u be g(-1). Let w be u + (0 - (1 + 2)). Suppose 35 = 2*i - 5*c, -c + 3*c + 2 = w. Is 5 a factor of i?
True
Let w = 33 + 37. Suppose 2*v - w = 12. Is v a multiple of 31?
False
Let u = 55 + -28. Is 6 a factor of u?
False
Suppose -w - 18 = -j - 168, j = 3*w - 450. Does 20 divide w?
False
Let f(k) = -3*k + 3*k**2 - 2*k**2 + 27 + 2*k + k**3 + 0*k**3. Is f(0) a multiple of 22?
False
Let q be (-6 + 3)*28/(-21). Let f be (-6)/(-4)*4/(-6). Let h = f + q. Is h a multiple of 3?
True
Let x be 6/(0 + 4/106). Let g = x - 101. Suppose -5*m + g = -12. Is 6 a factor of m?
False
Is 7 a factor of 22*((-15)/6 - -3)?
False
Suppose 5*h + 0*h + 1180 = 0. Does 12 divide (-11)/33 + h/(-6)?
False
Suppose -w + 6*w - 220 = 0. Is w a multiple of 17?
False
Let h = 3 - 3. Suppose 2*m + t - 6 = 4, 5*m - t - 25 = h. Suppose -4*p - 4*x + 132 = p, 0 = -m*p + x + 117. Is p a multiple of 12?
True
Let s = -27 + 5. Let i = s + 86. Is 19 a factor of i?
False
Let t(c) = -c**2 - 9*c - 7. Let s be t(-8). Let q be s/3 + 5/3. Suppose -x - 3*x = 2*f - 68, -q = f. Does 8 divide x?
False
Let w = 5 + -3. Suppose 7*k = w*k + 45. Is 3 a factor of k?
True
Suppose 2*k + 2 = 3*k. Suppose 0 = 5*w + 3*r + 2 - 10, -w + 3*r + 16 = 0. Let a = w + k. Is 6 a factor of a?
True
Suppose 133 = -4*n - 1243. Let m be (n/12)/((-1)/3). Suppose -5*a = -m - 24. Is 11 a factor of a?
True
Let k(j) = j**2 - 4*j - 3. Let g be k(-3). Let b = -13 + g. Let s = b - 3. Does 2 divide s?
True
Suppose 4*x - 21 = -1. Let g = x + -5. Suppose -21 = -g*p - p. Is p a multiple of 11?
False
Let l(s) be the first derivative of -s**2/2 + 33*s + 3. Is l(0) a multiple of 11?
True
Let p(h) = -4*h + 1. Let o be p(-1). Suppose 0 = 4*z + o*a - 97, a + 9 = -2*a. Does 9 divide z?
False
Suppose -4*w = 3 - 15. Suppose 2 = t - w. Does 6 divide ((-4)/t)/(3/(-45))?
True
Is 27 a factor of 1 - -1 - 4 - (8 - 91)?
True
Let f be -10 + (0 - 9/(-3)). Let b be (5/2)/(f/(-14)). Suppose 0*m + b*m = 90. Does 13 divide m?
False
Suppose 5*s = 4*i + 8, s + 2 = 2*i - 0. Let z be (-2 - -11)*s/(-6). Is 6 a factor of 2/((-4)/z)*2?
True
Let x be (-16)/3*90/5. Let d be (0 + 1)/(-1 + 2). Does 6 divide x/(-9) + d/3?
False
Is 8*14*(-2)/(-8) a multiple of 3?
False
Let w be (3/(-2))/((-1)/4). Let x(d) = -d**3 + 4*d**2 - d + 8. Let a be x(w). I