. Suppose 0 + n = 5*f. Is f a multiple of 25?
False
Suppose 0 = 2*a - 2*u, 2*a + 5*u + 0*u - 21 = 0. Suppose o + a*b = -4*o - 18, -2*b = 5*o + 22. Is (15/o)/((-2)/24) a multiple of 15?
True
Suppose 3*f - 10 = -2*f. Is 37 - (0 + -2)/f a multiple of 19?
True
Is 4/4*(13 - -2) a multiple of 9?
False
Suppose -50 = -s - 5*o, 6*o - 150 = -5*s + o. Let f be (-30)/s*(-10)/(-3). Is 78/f*(-2)/3 a multiple of 13?
True
Let u = 49 + -31. Is 9 a factor of u?
True
Let t be 160/(-2)*(-15 + 14). Is 15 a factor of 9/(-2)*t/(-12)?
True
Suppose -4*t = -11*t + 511. Is 17 a factor of t?
False
Let t = -7 + 11. Suppose -109 = -3*i - t. Does 13 divide i?
False
Suppose 6 = 3*u, -5*u = 3*p - 0*u - 154. Does 8 divide p?
True
Let k = -3 - -8. Suppose -k*c = 4 + 6. Is (18 - c) + 2*-1 a multiple of 10?
False
Suppose 3*x - 108 = -2*h, 4*x - 78 = 4*h + 86. Let r = 60 - x. Is 9 a factor of r?
False
Suppose 2*q = 7*q - 130. Suppose -3*d + 4*x - 2 + 6 = 0, 4*d + 5*x - q = 0. Is d a multiple of 2?
True
Let m be 15/5 - (8 - 0). Let k = m - -21. Is k a multiple of 8?
True
Let q = 19 + 12. Let w = -16 + q. Is 11 a factor of w?
False
Suppose 9*o - 3*o - 282 = 0. Does 18 divide o?
False
Let v be (-8)/(-6) - 2/6. Let k(q) = 27*q + 1. Does 14 divide k(v)?
True
Let s = 18 - 11. Suppose x = 2*a + 7, -x - s = -2*x + a. Does 7 divide x?
True
Let z(f) = 3*f**3 + 4*f**3 - f**2 - 1 - 6*f**3. Is z(3) a multiple of 9?
False
Suppose -3 = -u - 4. Let c = u + 10. Does 9 divide c?
True
Let b be 12/(-54) + (-7)/9. Let s be (3 - 2 - b) + 0. Suppose -g + 2*g + s*c = 38, 160 = 5*g + 4*c. Does 15 divide g?
False
Let s(w) = w - 6. Let c be s(5). Let j be 0 - c/(-2 + 1). Let y(b) = 15*b**2 + b. Is 5 a factor of y(j)?
False
Let a(x) = x**2 - 6*x - 25. Does 19 divide a(14)?
False
Suppose -5*b + 36 = -b. Does 15 divide 133/b - (-2)/9?
True
Let v(h) be the third derivative of h**5/60 - h**4/24 + h**3/3 - 3*h**2. Does 16 divide v(6)?
True
Suppose 7 = 3*s - 5. Suppose 0 = -s*x + 24. Let a(n) = -n**3 + 6*n**2 + n + 8. Is a(x) a multiple of 6?
False
Suppose 5 - 3 = 2*i. Let h(g) = 3*g + 1. Let t be h(i). Is 11 a factor of (11/t)/(7/28)?
True
Let p(y) = -y**2 + 2 + 5 + 3*y + 3*y. Suppose -12 = f - 3*f. Is 5 a factor of p(f)?
False
Suppose 0*g - 15 = 3*g. Let h be (-12)/g - (-6)/(-15). Suppose 5*c = -4*j - 1, 4*j = h*c - 3*c - 13. Is 3 a factor of c?
True
Let o = 7 + -6. Let k be -4 + 3 + 28*o. Suppose 59 = 5*f - t, 3*t - k = -3*f + 12. Is f a multiple of 4?
True
Let d(q) = 5*q**3 + q - 1. Let z be d(1). Suppose -4*k = -z*k + 2. Suppose k - 126 = -4*u. Does 11 divide u?
False
Suppose -l - 2*l = -6, 4*w - 14 = -5*l. Suppose 2 + w = v. Suppose 7 = k + v. Is k a multiple of 4?
True
Let k(w) = w**3 - 6*w**2 + 5*w + 3. Let i be k(5). Suppose -5*m + 6*u - 2*u + 60 = 0, i*m = u + 36. Is m a multiple of 12?
True
Suppose 17 = i - 0*i. Let f = i - 29. Let k = f + 27. Is k a multiple of 13?
False
Suppose -2*x = -4*x + 14. Let h(a) = a**2 + 5*a - 3. Let m be h(-6). Suppose m*b - x = 137. Is 27 a factor of b?
False
Suppose 0*i + 8 = 4*i. Let o be (1 - i - -1)/1. Suppose x - 5 - 14 = o. Is 11 a factor of x?
False
Let x = -164 - -260. Suppose -3*y = -n - x, -3*y - n = y - 128. Is y a multiple of 16?
True
Suppose 3*z + 228 = 7*z. Suppose 5*y = 4*y + z. Is 16 a factor of y?
False
Suppose 2*c + 4*z = 0, 0*z - 5*z = 3*c - 2. Suppose 0 = -3*g + c*g - 22. Is g a multiple of 11?
True
Let x(p) = p**3 + 3*p**2 - 10*p + 4. Is x(4) a multiple of 8?
False
Let r(n) = -12*n - 8. Let s(g) = g + 1. Let o(u) = -2*r(u) - 18*s(u). Let q be o(-3). Is ((-8)/5)/(2/q) a multiple of 13?
False
Let q = 1 - -46. Is q a multiple of 34?
False
Let n = -96 + 288. Does 8 divide n?
True
Suppose g + 209 = 5*d - 3*g, -2*g = -8. Is d a multiple of 9?
True
Suppose 2*k + 4 = 8. Suppose 190 = 3*y + k*y. Does 17 divide y?
False
Let a(j) = j**2 + 2 + 5*j + 1 - 7*j. Does 3 divide a(2)?
True
Suppose -3*l + n + 2 = -0, 4*n = -5*l + 26. Suppose 0 = -5*v + l*v - 2*d, 2*v - 4*d = 16. Suppose -3*x + 6*x + 32 = 4*z, -z + 13 = -v*x. Is z a multiple of 2?
False
Suppose 43 + 14 = n - 3*c, 0 = -3*c - 15. Is 7 a factor of n?
True
Let z be (-2 - 9)/((-2)/8). Suppose -4*p + 8 = -z. Let q = p - 4. Is q a multiple of 9?
True
Let a = -1 - -2. Let v(l) = -9*l**2. Let t be v(a). Let h(i) = -i + 1. Is 7 a factor of h(t)?
False
Suppose 5*a + 90 = 5*x, 3*a - 9 - 63 = -4*x. Does 3 divide x?
True
Suppose -7*l + 3*l + 2*a + 552 = 0, 2*l = -a + 272. Is 13 a factor of l?
False
Let j = 18 - 8. Is 4 a factor of j?
False
Let d = 19 - 10. Let p(h) = -h + 20. Is p(d) a multiple of 4?
False
Let z = -188 - -196. Is z a multiple of 3?
False
Let n be 1/(-2) - 18/(-4). Let v(j) = -j**3 + 6*j**2 - 4*j - 3. Let s be v(5). Suppose 3*l - l - n = 0, 108 = 4*m - s*l. Is 20 a factor of m?
False
Let m = 0 + 0. Suppose 4*d = 0, m = 5*r - d - 3*d - 290. Is 14 a factor of r?
False
Does 15 divide (-13 + 15)*-6*10/(-8)?
True
Suppose 4*i = -0*i. Is (i + 3)*(-48)/(-9) a multiple of 6?
False
Let t(x) = -x**3 + 8*x**2 + 5*x - 11. Let r be t(9). Let k = 68 + r. Is 12 a factor of k?
False
Let k = 0 - -3. Suppose k*d = -d + 100. Is 6 a factor of d?
False
Let d(c) = c**3 - c**2 + c + 20. Let q be d(0). Suppose 0 = 3*o + 2*o - 2*f + q, o + 4*f = 18. Is (3/(6/(-52)))/o a multiple of 13?
True
Let n = 246 + 50. Is 4/6 - n/(-24) a multiple of 13?
True
Let x = 7 + -10. Does 3 divide 4/(-6) - 26/x?
False
Suppose -3*w - 9 = -3*t, 2*w - 12 = -4*t + 3*w. Suppose -74 = -t*c + 10. Suppose -4*i + c = -0*i. Is i a multiple of 7?
True
Let x(h) be the third derivative of h**4/6 + 5*h**3/6 - h**2. Let j = 1 - -3. Is x(j) a multiple of 8?
False
Let o(i) = -i**2 + i + 103. Is o(0) a multiple of 14?
False
Let p(f) = -f**2 - 6*f + 2. Let w be p(-5). Let r(d) = 2*d + 3. Let v be r(8). Let h = v - w. Does 10 divide h?
False
Let p be (-6)/2 + 14 + -13. Does 18 divide ((-108)/14)/(p/14)?
True
Suppose 12*d + 2184 = 19*d. Is d a multiple of 26?
True
Let n = -2 - -5. Suppose -7*a = -n*a. Let s = a + 15. Does 5 divide s?
True
Suppose 130 = 3*b + 37. Suppose 0*n + b = n. Is n a multiple of 14?
False
Suppose g + 0 = -5*o - 2, -3 = -g. Let v(y) = -y**2 + y - 1. Let p(n) = -5*n**2 + 8*n - 3. Let x(c) = o*p(c) + 3*v(c). Is x(4) a multiple of 6?
True
Let t = 3 - 0. Suppose j - 53 = -t*m, -4*j + 35 = m - 1. Does 11 divide m?
False
Suppose -4*h - 7*p + 85 = -2*p, -3*p = -h. Is 14 a factor of h?
False
Let v(y) = -29*y. Let k be v(1). Let b(j) = 15*j**2 + 4*j - 3. Let m be b(2). Let l = k + m. Does 13 divide l?
False
Let b(i) = 16*i + 26. Is 22 a factor of b(8)?
True
Suppose -2*d + 53 = 11. Suppose d = -3*r - 0*r. Let c = 3 - r. Is 10 a factor of c?
True
Suppose 0 = -5*w - 3*g + 87, -22 = -3*w - 4*g + 28. Is 18 a factor of w?
True
Suppose 6 = 2*l - 0. Suppose j = 2*a + 5 + 20, -3*j = -l*a - 60. Does 5 divide j?
True
Let x be 1/(-2) - (-4)/8. Let a = x - -3. Suppose 37 = a*g - 2. Is g a multiple of 10?
False
Suppose 1 + 3 = 2*y. Let z(f) = f + 5*f + 4*f. Is z(y) a multiple of 20?
True
Suppose -6*c + c = -3*d + 115, -74 = -2*d + 4*c. Does 18 divide d?
False
Let w(z) = -2*z + 0*z - 3 - z. Let u be 2/(-5)*(3 + 2). Is w(u) a multiple of 2?
False
Suppose -z = -3 - 3. Is 5 a factor of z + 0/(-3) + -1?
True
Let y(m) = m**3 + 6*m**2 + 4*m - 2. Let q be y(-5). Suppose 8 = -3*u - 4*s, 3*u - 37 = 2*s + q*s. Does 19 divide ((-2)/u)/((-6)/456)?
True
Let w = -62 + 125. Is w a multiple of 21?
True
Suppose 43 = 5*u - 3*l, -4*l = 2 + 2. Let p = -144 - -372. Suppose u - p = -5*g. Does 22 divide g?
True
Suppose -4 - 4 = -4*q. Suppose 5 = q*s + 1. Suppose j + s*j - 54 = 0. Is 9 a factor of j?
True
Let t(y) = -y + 6. Let x(w) = -w**2 + 4*w + 6. Let v be x(6). Let h be t(v). Does 25 divide (-8)/h + (-304)/(-6)?
True
Let h = -20 + 45. Is 5 a factor of h?
True
Let h be 2 - 3*(-4)/(-6). Let l(x) = x**2 + 65. Let m be l(h). Let v = 100 - m. Is v a multiple of 20?
False
Let y = -76 - -116. Does 8 divide y?
True
Suppose -3*r - 150 = -750. Is 17 a factor of r?
False
Let u be 27/(-12)*(-2 - 38). Let k = -33 + u. Does 13 divide k?
False
Suppose 11 - 26 = 5*m. Let o = m - -6. Suppose n = 2*n - o*p - 30, 2*n + 4*p - 90 = 0. Is 13 a factor of n?
True
Let r(f) = 15*f**2 + 11*f - 6. Is 16 a factor of r(3)?
False
Let l be 232/(-5) - 14/(-35). Let b = -130 - l. Is 14 a factor of (1*-3)/(9/b)?
True
Let