f + 860. Is 5 a factor of f?
True
Suppose 0 = -i + k + 441, -k + 0*k + 2 = 0. Suppose -5*l - 3*y + i = -7*y, -l + 83 = 2*y. Is 8 a factor of l?
False
Let x be (-1*1)/((-12)/24). Is 10 a factor of ((-2)/x)/(6/(-90))?
False
Let s(p) = -222*p + 154. Is s(-10) a multiple of 49?
False
Suppose 0*w = 4*x - 2*w - 1750, 1745 = 4*x - 3*w. Suppose x = 6*d - 178. Does 16 divide d?
False
Suppose 42 + 174 = 2*h - 4*w, -3*w - 12 = 0. Suppose -3*c + h = -c. Does 5 divide c?
True
Let o(u) = -7*u**3 + 3*u**2 - 1. Let r be o(-1). Suppose 0 = x - 7 - r. Is x a multiple of 3?
False
Let j be (-2)/(-9) - (-68)/18 - -24. Let w = -7 + j. Is w a multiple of 8?
False
Suppose 0 = 8*p - 325 - 59. Is 13 a factor of p?
False
Does 30 divide ((-990)/(-1))/(48/64)?
True
Suppose 69*c - 87*c = -26586. Is c a multiple of 32?
False
Suppose -28*f = -37*f + 14787. Is f a multiple of 16?
False
Let d(v) = -v - 2. Let t be d(-4). Suppose -4*m = -3*n + 26 - t, 3*m = 0. Suppose -2*j - n = 2, -4*r + 4*j = -96. Is 9 a factor of r?
False
Let s(w) be the third derivative of w**6/30 + w**5/30 + w**4/8 - 2*w**3/3 - 3*w**2. Let c(h) = -h + 1. Let j(u) = 3*c(u) + s(u). Is 7 a factor of j(2)?
False
Let b(r) = r**2 + 18*r + 215. Is b(-40) a multiple of 73?
True
Does 9 divide (9 - 8)/((-2)/(-938))?
False
Suppose 2*a + 0*a = 0. Suppose -2*n + 6 + 14 = a. Does 25 divide 375/n*(-2)/(-3)?
True
Suppose -g + 97 = 17. Suppose 46*o - 42*o - g = 0. Is 5 a factor of o?
True
Suppose 3*f - 7*f + 312 = 0. Is ((-56)/21)/((-4)/f) a multiple of 42?
False
Suppose -d - 4*d - 947 = 3*a, 0 = -d - 2*a - 188. Let f = 282 + d. Is f a multiple of 15?
False
Is 13 a factor of ((-2)/(-10))/((-7)/(-1365))?
True
Let k = 16 + -11. Let l be ((-2 - -2)/(-2))/1. Suppose -k*h = -l*h - 190. Does 8 divide h?
False
Let z = -106 + 176. Is 10 a factor of z?
True
Let a = -6 + 9. Suppose -5*c - 10 = 4*i + 39, 0 = -5*i - a*c - 71. Is 3 a factor of (i/(-10))/(3/15)?
False
Let m(h) = h + 2. Let k(u) = u - 5. Let b(t) = 3*k(t) + 6*m(t). Is b(11) a multiple of 32?
True
Let m(k) = -26*k + 444. Is m(-6) a multiple of 15?
True
Suppose -2*r + 5*r = -12. Let l(k) be the second derivative of 7*k**4/12 + k**3/6 - 3*k**2 - 16*k. Does 34 divide l(r)?
True
Let t = -23 - -23. Suppose 5*w - 257 - 13 = t. Suppose -5*y - y = -w. Is 3 a factor of y?
True
Suppose -3622 - 2696 = -13*r. Suppose -11*o + 8*o = -r. Is 27 a factor of o?
True
Let a(z) = 9*z - 3. Let k(x) = -x**3 - 10*x**2 + 12*x + 13. Let n be -3*(40/6 - 3). Let p be k(n). Is a(p) a multiple of 15?
True
Let u be (3/2 - 1)*0. Suppose u = 5*y - 0*y - 15. Suppose 22 - 148 = -y*z. Is z a multiple of 14?
True
Let r(x) = 4*x - 16. Let h be r(12). Let f(b) = -b**3 - b**2 - b + 42. Let y be f(0). Let d = y - h. Does 5 divide d?
True
Let h = 44 - 40. Suppose -n = -h*n + 120. Is 13 a factor of n?
False
Let b(q) be the third derivative of -q**6/120 + q**5/60 + 4*q**3 - 10*q**2. Is 9 a factor of b(0)?
False
Let b(p) = p**2 - 12*p - 22. Let v be b(-6). Suppose q = 3*i + v, 0*q - q + 2*i + 83 = 0. Is 11 a factor of q?
True
Let l(d) = -5*d - 3. Let b be l(-2). Suppose b*m = -0*m + 42. Does 3 divide m?
True
Suppose 2*b - 61 = -9. Suppose 4*t + 2*n = b, 0*t = -3*t - 2*n + 21. Suppose i - t*i = w - 66, -4*i + 56 = -4*w. Is 9 a factor of i?
False
Let s(j) = -11*j - 1. Let t be s(-2). Let i = 31 - t. Is i a multiple of 5?
True
Let h(o) = -20*o - 6. Let q be 3 - (2 + -3)*-7. Let l be h(q). Let z = l - 47. Is z a multiple of 18?
False
Suppose -3*v + 3*b + 12 = 0, b + 8 = -0*v + 2*v. Suppose -v*w + 2*w + 72 = 0. Is 9 a factor of w?
True
Suppose -n = a - 7, 0*a - 3*a - 14 = -2*n. Let v(z) = 3*z. Let y(b) = b - 1. Let i(q) = v(q) - 2*y(q). Is i(n) a multiple of 5?
False
Let f(o) be the third derivative of -o**6/120 + 3*o**5/20 - o**4/8 - o**3 - 12*o**2. Let b be f(8). Suppose 33*h + 36 = b*h. Is 6 a factor of h?
True
Suppose -51 + 171 = 5*d - b, 4*b = -3*d + 72. Is 28 a factor of ((-93)/2)/((-18)/d)?
False
Let l be (2/2)/((-1)/(-2)). Let p(y) = 8*y**2 + 4*y + 11 - 1 - 15 + 1. Is p(l) a multiple of 9?
True
Is 6160/44*2/1 a multiple of 15?
False
Let a(n) = -2*n**3 + 19*n**2 - n - 6. Let w be a(9). Suppose 0*x = -4*x - 88. Let v = w + x. Is 11 a factor of v?
True
Is 9 a factor of 339*(7 + 3 + -5)?
False
Let k = -24 - -29. Suppose k*d = -6 - 4. Does 2 divide (-15)/(-4 - -1) + d?
False
Suppose -9*c - 15*c = -10752. Is 32 a factor of c?
True
Let w(n) = 2*n**2 + 8*n + 3. Let q be w(-4). Suppose -q*p + 100 = -80. Is p a multiple of 12?
True
Suppose 0 = -g - 5*t + 134, -362 = -3*g + 7*t - 12*t. Is g a multiple of 19?
True
Let n = 687 + -475. Is 13 a factor of n?
False
Let u = -6 + 127. Does 11 divide u?
True
Let r(d) = -30*d - 15. Is r(-2) a multiple of 5?
True
Let o(y) = 9*y**2 + 14*y + 16. Let v be o(-6). Suppose 0 = 3*j - m - 514 - v, -3*j - 5*m = -794. Does 44 divide j?
False
Suppose 8*f = -12*f + 12020. Is f a multiple of 36?
False
Is 39 a factor of 1085 + -11 - (2 - (-3 - -2))?
False
Let p(k) = 182*k**3 - 4*k**2 + 3*k - 1. Is p(1) a multiple of 26?
False
Let j be (3 + -5)/12 - 1169/42. Let z = -22 - j. Does 6 divide z?
True
Let y = 15 + -10. Let z(v) = -v**3 + 6*v**2 + 5*v - 2. Let i be z(y). Let p = -29 + i. Is p a multiple of 7?
False
Let d = 143 - -30. Does 20 divide d?
False
Let u be 106/6 + 1/3. Suppose 2*n - n - 4*x - 40 = 0, 3*x = -3*n + 135. Let i = n - u. Is i a multiple of 15?
False
Let h(y) = -y**2 - 11*y - 14. Let t be h(-9). Let l = t - -14. Let w = l + 2. Is 20 a factor of w?
True
Suppose -5*a - 4*n - 53 = 0, 2*a - n = n - 14. Let l(m) = 12*m + 31. Let j(h) = 6*h + 15. Let g(z) = a*j(z) + 4*l(z). Is g(-8) a multiple of 13?
False
Let k(u) be the first derivative of 43*u**2/2 + 6*u - 17. Does 15 divide k(3)?
True
Suppose 2*f = 2*k - 1560, -38*f + 33*f = -k + 764. Does 98 divide k?
True
Let b(z) be the first derivative of z**4 - z**3/3 - 7*z**2/2 + 4*z - 26. Is 28 a factor of b(3)?
False
Let h(d) = -2*d + 1. Let b = 28 + -31. Is h(b) even?
False
Let j be 326/4 - (-4)/(-8). Suppose 15 = -3*x + j. Is x a multiple of 11?
True
Let p(c) = 3*c**2 - 25*c + 41. Does 13 divide p(20)?
True
Let j = -7 + 12. Let m(l) = -3*l**2 - 7 - 3 + 2*l**2 + 3*l**2 - 4*l. Is m(j) a multiple of 11?
False
Let d(i) = 5*i**2 - 23*i + 73. Is 5 a factor of d(5)?
False
Let w = 683 + -302. Does 93 divide w?
False
Suppose s - 149 - 1468 = 4*y, -y = 2*s - 3252. Does 13 divide s?
True
Suppose -144 = -3*v - 3*d, -2*d - 36 = -v - 0*v. Suppose v = c + c. Is 11 a factor of c?
True
Suppose 0 = -3*q + 3, -q + 904 = -5*j + 2753. Is j a multiple of 5?
True
Suppose -k + 41 = 2*y, 44 = 2*y - k + 13. Suppose n + y = 26. Is 11 a factor of 29 - n/(-2) - -1?
False
Suppose -2*w = -4*w + 8. Suppose -w*j - 3*s = -3 - 3, -5*s + 10 = -5*j. Suppose 4*t - 39 = 3*n, t + 3*n = -j + 6. Is 9 a factor of t?
True
Suppose 13*o = 9*o + 160. Let d = o - -20. Is 10 a factor of d?
True
Let f = -165 - -197. Is f a multiple of 4?
True
Suppose -t - 47 = -2*g, -4*t = -3*g + 7*g - 112. Is 3 a factor of g?
False
Let g(v) = 2*v**3 - 11*v**2 - 1. Let y(a) = a**3 - 5*a**2. Let s(i) = -6*g(i) + 13*y(i). Is 33 a factor of s(5)?
False
Suppose -5*t - 6 = -l, 4*l - 3*t = -l + 118. Suppose 19 = 3*g - 2*d + 4*d, 2*g - 14 = -2*d. Suppose -g*f = a - 32, -7*a = -2*f - 3*a + l. Is 2 a factor of f?
False
Suppose 2*r - 5*r = -5*p + 1753, 4*p = 5*r + 1392. Is p a multiple of 40?
False
Let j be ((-3)/3)/(2/6). Let m(r) = 9*r**3 - 8*r**2 + 9*r - 5. Let z(y) = 2*y**3 - y**2 + y - 1. Let x(t) = -m(t) + 5*z(t). Does 3 divide x(j)?
True
Suppose -165 = -5*l + 5*x, -2*l + 41 = x - 13. Let w(u) = 0 + 1 + l*u**2 - 4*u + 5*u. Does 21 divide w(-2)?
False
Suppose -3*v + 4*v - 4 = 0. Is 8 - (v - -1) - -1 even?
True
Does 6 divide 3/(9/1012)*(-18)/(-12)?
False
Let j(m) = m**3 - 2*m**2 - 7*m + 7. Let k be j(4). Let y = 45 - k. Is y a multiple of 17?
True
Let i be -16*(84/(-16) - -3). Let q be (-17)/(-2) - i/(-24). Is 272/9 - q/45 a multiple of 6?
True
Let q(p) = -148 + 52 + 37 + 17*p + 40. Is q(20) a multiple of 14?
False
Suppose -5*s + 324 = -s. Let i = 91 - s. Does 4 divide i?
False
Suppose 0 = -2*m - 4*i - i + 10971, -2*m + 10981 = -5*i. Is 98 a factor of m?
True
Let h(l) = l**2 + 3*l - 3. Let n be h(-4). Suppose 0 = -3*s - n - 56. Let d(c) = -2*c. Does 6 divide d(s)?
False
Suppose 10 = 2*d - 4*y, 2*y + 2 + 0 = 0.