
Does 3 divide (12 - 9)/(0 + 2/8)?
True
Let k be 66/3 - 3 - -2. Let q = 3 + k. Is 13 a factor of q?
False
Suppose 0 = -4*l - 7 + 31. Suppose 3*i + l = 60. Is 13 a factor of i?
False
Suppose -2*f = x - 50, -5*f + 5*x + 143 = 3*x. Let p be 4 + 0 - (-1 + 2). Suppose p*h - 9 = f. Is 4 a factor of h?
True
Suppose -11 + 63 = 4*i. Suppose -f = -40 + i. Does 17 divide f?
False
Let p be (0 + -4)/(-2 - 0). Suppose 2*z - 2 = -5*l + p, 2*z - 4*l - 40 = 0. Does 7 divide z?
False
Suppose 3*p - 5*p = -4*v + 4, -3*v + 3 = -2*p. Suppose p*x - x - 3*s + 6 = 0, -41 = 4*x - s. Let i = -5 - x. Is i a multiple of 3?
False
Suppose 0*f = f + 50. Let q = f - -83. Does 13 divide q?
False
Let j = 14 - 8. Is 3 a factor of j?
True
Suppose 4*a = -4*y + 688, -25 = -a - 3*y + 151. Is 34 a factor of a?
True
Suppose 8 = 4*o + 28. Let p = o - -4. Let n(g) = 17*g**2 - 1. Is n(p) a multiple of 8?
True
Suppose -y = -25 - 14. Is 22 a factor of y?
False
Let c(x) = 5*x + 1 - 1. Is c(7) a multiple of 12?
False
Let s = -63 - -117. Does 13 divide s?
False
Let z(h) = -h**3 + 9*h**2 - 8*h + 8. Let y(g) = 10*g + 1. Let b be y(-1). Let v = -1 - b. Does 4 divide z(v)?
True
Let q(k) = -k + 9. Let w be q(7). Let j(i) = -3*i + 4*i - w*i + 1 + 10. Is 2 a factor of j(5)?
True
Let z(g) = 0*g + 1 - 2*g**3 + 7*g + 7 - 5*g**2 + g**3. Suppose 7*p + 22 = -3*c + 3*p, -4*p = c + 10. Is 2 a factor of z(c)?
True
Let u(i) be the first derivative of 9*i**2/2 + 3*i - 3. Does 15 divide u(3)?
True
Let d(c) = -c**3 + 5*c**2 - 5*c + 6. Let x be d(4). Suppose x*w = 8 + 14. Is 3 a factor of w?
False
Is 3663/77 - 3/(-7) a multiple of 16?
True
Let q = 0 - 0. Suppose -16 = -4*j, 2*o = -q*o + 2*j - 40. Is (-4 - o)*10/8 a multiple of 7?
False
Suppose 110 = -5*f + 7*f. Does 11 divide f?
True
Suppose 79 + 33 = 4*o. Is 7 a factor of o?
True
Let b(n) = -7*n. Suppose -3*t - 9 - 3 = 0. Is 8 a factor of b(t)?
False
Let b(f) = 6*f + 94. Let w(h) = h - 1. Let j(l) = -b(l) + 5*w(l). Let k be j(0). Does 11 divide k/6*(-2)/3?
True
Let a be -2 + (-1 - -3*2). Suppose -a*d - 21 = -6*d. Does 4 divide d?
False
Suppose 0 = s + 3 - 6. Suppose s*l = 42 + 39. Is 15 a factor of l?
False
Let d = 0 + 1. Suppose -d = -3*s - 7. Is s/(-9) - 1246/(-63) a multiple of 10?
True
Let g(w) be the second derivative of 3*w**5/20 + w**4/3 + w**3/2 - 3*w**2/2 - w. Let t be g(-6). Is (-1)/(-2) + t/(-14) a multiple of 15?
False
Let l = 6 + -1. Suppose -2 + 39 = o + l*r, -40 = -5*o + 4*r. Does 4 divide o?
True
Let w be (-6)/(-30) + 91/(-5). Let u be 2*(w/(-4) - 3). Suppose -2*c + 40 = 4*q, 2*q = -2*c + u*c + 20. Is 6 a factor of q?
False
Let g be 6/(-18) + 1/3. Is 9 a factor of -3 - (g + -21 + 0)?
True
Let u(s) = 2*s**2 - 3*s. Let r be u(2). Let i be r/3 - 12/(-9). Suppose 6*n = -5*h + i*n + 62, 2*n - 36 = -3*h. Is 10 a factor of h?
True
Let y(t) be the first derivative of t**3/3 - t**2/2 + 3*t + 2. Is y(3) a multiple of 4?
False
Suppose -10 = -3*g + g. Suppose -3*h = -4 - g. Suppose 0 = -4*i - h*q + 37, 5*i - q - 48 = -3*q. Is 10 a factor of i?
True
Suppose -9 = -7*q + 4*q. Suppose k = q*k - 8. Suppose k*l - 3*l = -3*s - 4, 4*s + 16 = 0. Is 7 a factor of l?
False
Let f(c) = -6*c + 12. Let n be f(-12). Let v = n + -48. Is v a multiple of 12?
True
Let s be -1 + -2 + (2 - 1). Let x be 6/9 - s/(-3). Suppose x*y - 15 = -3*y. Does 2 divide y?
False
Suppose 0 = 4*k - 24 - 72. Is 4 a factor of k?
True
Suppose 5*l = -4*i + 8*i + 28, -2*i = -5*l + 34. Does 10 divide (17/(-2))/((-4)/l)?
False
Let c(d) = -d**2 + 7*d + 2. Let v be c(7). Let b be (-4)/(-8)*-2*v. Is 15/(-5)*(b + -1) a multiple of 4?
False
Is (-344)/(-34) - 4/34 a multiple of 4?
False
Let a(k) be the first derivative of -k**4/4 - 8*k**3/3 - k**2 - 12*k + 4. Is 3 a factor of a(-8)?
False
Suppose -3*y + 3*f + 6 = -18, -5*y + 3*f = -34. Suppose -1 = u - y. Is u even?
True
Suppose 105 = 2*y - t - 4*t, 3*y + t - 132 = 0. Is y a multiple of 15?
True
Is 10 a factor of (2/2)/(7/91)?
False
Let d(r) = -4 + 8*r**2 + 6 + 13*r - 6*r + r**3. Let b be d(-6). Does 15 divide b - 2/(-3)*-3?
True
Let b = -19 - -106. Does 29 divide b?
True
Let s = -3 - -5. Suppose s*a + 60 = 4*a. Is a a multiple of 10?
True
Let l = 122 + -55. Let n = l + -37. Does 10 divide n?
True
Suppose -2*v + 47 = 13. Does 8 divide v?
False
Let b be 1/(-4) - 1/(-4). Suppose -k - 82 = -3*i, b*k - 134 = -5*i + 3*k. Does 7 divide i?
True
Let f be 4/(-10) + (-7)/(-5). Let t be f + -3 - (-1 + 0). Let u = 27 + t. Is u a multiple of 14?
False
Let z(v) be the first derivative of -v**4/2 + v**3/3 + v + 1. Let i be z(-2). Let u = 37 - i. Is u a multiple of 6?
False
Let d(n) = -n**3 + 8*n**2 - 7*n + 3. Let c be d(7). Let b be 1 + 2/(3/c). Does 17 divide (34/b)/(3/9)?
True
Let a = -8 + 13. Suppose a*g - 4*g = 5*j - 62, -j - g = -10. Is j a multiple of 10?
False
Let o(b) = 3*b**3 + b**2 - 5*b + 6. Does 6 divide o(2)?
True
Let g = 12 - 1. Is 7 a factor of g?
False
Let k(t) = 6*t**2 + 1. Let d be k(-2). Let y be 236/5 - 5/d. Let a = y + -24. Is 12 a factor of a?
False
Suppose -4*y + a + 151 = -0*y, y - 3*a - 24 = 0. Is 7 a factor of y?
False
Let y = -287 + 479. Is 9 a factor of y?
False
Suppose -4*h + 3*h + 2 = 0. Suppose -5*y = -h*w + 56, 3*y - y - 4*w = -16. Let u = 23 + y. Is 5 a factor of u?
False
Let h(i) = -157*i**2 + 1. Let u be h(-1). Let v = 228 + u. Is v a multiple of 24?
True
Let n(i) be the first derivative of 7/3*i**3 - 1/4*i**4 + 5*i + 1 - 2*i**2. Is 15 a factor of n(4)?
False
Let n(j) = 11*j**3 - j**2 + j. Let x be n(1). Is 11 a factor of -1 + (-6)/(-2) + x?
False
Let y(w) = -w**3 - 5*w**2 + 5*w + 1. Let l = -22 + 38. Suppose -g - t - t = 14, 2*g + l = -t. Is 5 a factor of y(g)?
False
Let y be (-1)/((1*-2)/2). Suppose v - 2*l - 2 = 0, 0*l = l + y. Suppose 44 + 1 = 5*d - 5*r, v = -2*r + 6. Is d a multiple of 9?
False
Let o be (-80)/(-14) + 4/14. Suppose 0 = 5*l - 4*l + o. Is 14 a factor of (14*-3)/(l/4)?
True
Suppose a - 459 = -4*t, 564 = t + 4*t - 2*a. Is 27 a factor of t?
False
Suppose -q - 4*r + 0 = -17, -q = -2*r + 7. Does 12 divide (q - 15)*(-1 - 2)?
False
Suppose 0 = q - 27 + 20. Let t(c) = 2*c**3 + c**2 - c - 1. Let g be t(-1). Let n = q + g. Does 3 divide n?
True
Suppose -5*r + 90 = 5*q, -r - 12 = -q + 14. Is 11 a factor of q?
True
Suppose -g - 2*q - 29 = q, -80 = 4*g + 3*q. Suppose -5*m + 49 = c, 0 = -2*c + 5*m - 6*m + 125. Let o = c + g. Is o a multiple of 16?
False
Let s(g) = -4*g - 1. Let z be s(-1). Suppose -5*k = 0, 3*q - 25 = -2*q - z*k. Does 3 divide q?
False
Let j(n) = 305*n - 1. Let l be j(1). Suppose 59 - l = -t. Suppose -2*g = 3*g - t. Is 15 a factor of g?
False
Let a(p) = -p**3 - p**2 + 8*p - 6. Is 7 a factor of a(-4)?
False
Suppose 6*n - n - 50 = 0. Is 4 a factor of n?
False
Suppose 6*i = 4*i - 2. Let o(s) = -3*s**3 - 2*s**2. Let b(y) = -y**2 - y + 1. Let d(a) = i*o(a) + 3*b(a). Is 5 a factor of d(2)?
False
Let h(r) = r**3 + 5*r**2 - 3*r + 12. Is 17 a factor of h(-5)?
False
Let l = -44 + 25. Let x = l - -49. Is 10 a factor of x?
True
Suppose -2*c - 528 = -3*j, 0 = c - 3*c. Is j a multiple of 11?
True
Let b(s) = 2*s - 19. Let o(v) = -v + 9. Let g(l) = 2*b(l) + 5*o(l). Let n(t) = -1. Let p(d) = 3*g(d) + 24*n(d). Is p(-4) a multiple of 4?
False
Let i = 2 - -2. Let l = -1 + i. Is l a multiple of 2?
False
Suppose 12*p - 993 - 579 = 0. Is p a multiple of 8?
False
Let t = 40 + -24. Is 9 a factor of t?
False
Let x(s) = -s**2 + 8*s - 2. Is 7 a factor of x(4)?
True
Suppose -2*a - 3*a = 5*q + 25, -20 = -q + 4*a. Suppose -u + 2*p + 0*p + 56 = 0, q = 2*p + 6. Is u a multiple of 25?
True
Let h = 9 - -3. Does 5 divide h?
False
Let w be (-18)/4 - 5/(-10). Let i be (-8)/1*2/w. Suppose 0*u - i*u = -96. Is u a multiple of 16?
False
Let z(d) = -6*d**3 + d. Let j be z(-1). Is 11 a factor of (j/4)/(2/48)?
False
Let w(n) = 2*n**2 - 2*n + 6. Suppose 4 = -3*y - 4*z, -2*y - 6*z + 2*z - 8 = 0. Is 10 a factor of w(y)?
True
Let v(h) = 6*h + 6. Let k be v(5). Let g = -8 + k. Let t = -12 + g. Does 8 divide t?
True
Let u = 104 - 58. Is 23 a factor of u?
True
Let s = -78 - -157. Suppose 0 = -4*r + s + 33. Let k = -2 + r. Is 13 a factor of k?
True
Let d(s) = s**3 - 5*s**2 + 7*s + 5. Is d(7) a multiple of 26?
False
Is 3 a factor of ((-944)/24 - -5)*(1 - 4)?
False
Suppose -4*h - 11 + 3 = 0. Let f be 788/14 - h/(-7). Suppose -5*q = -3*v - f, 4*q - 28 = q - v. Is 4 a f