True
Suppose -u + 272 = 3*c, 2*c - 183 = 4*u + 17. Is c a multiple of 10?
False
Let x be 3/(-6)*(-4)/1. Suppose -1 = x*t - 2*u - 5, -4 = -t - u. Suppose -t*p + p + 68 = 0. Is 17 a factor of p?
True
Let p be -1 + 2 + 0 + 84. Let t(x) = x**2 - 5*x + 2. Let q be t(6). Suppose -g - q = -p. Is g a multiple of 13?
False
Suppose -11*f = -13*f + 340. Does 8 divide f?
False
Let p = 2987 - 2053. Does 12 divide p?
False
Let q = 21 - -27. Is 3 + 3 + -4 + q a multiple of 8?
False
Let f(u) be the second derivative of -u**3/2 + 9*u**2/2 - 3*u. Let i be f(7). Does 8 divide (-312)/(-14) + i/42?
False
Let x = 3 - -6. Let l be (-1)/(-2 + x/6). Suppose -l*j + 6*j = 108. Is j a multiple of 10?
False
Is 32970/66 + (-42)/77 a multiple of 19?
False
Suppose -5*l = -0*l - 25. Suppose -5*f + 48 = i - 3*f, 0 = 2*i + l*f - 99. Is i a multiple of 18?
False
Let l(s) = -6*s**3 + 2*s**2 + 3*s + 1. Let c be l(-1). Suppose 3*q - q - 1306 = -5*b, -5*b - 3*q = -1309. Does 21 divide b/12 - 4/c?
True
Let t be (-5)/(-2)*(24/(-20) - -2). Suppose 5*g + b = t*g + 152, 2*b + 46 = g. Is g a multiple of 25?
True
Let g(b) = 12*b**2 - 16*b + 19*b + b**2 + 1. Is 35 a factor of g(-3)?
False
Suppose -18 = -0*t + t. Let v be 18/(-4)*(-24)/t. Is (-352)/v + 6/(-9) a multiple of 21?
False
Is 75 - 5*(-22)/(-10) a multiple of 8?
True
Let p(r) = 8*r - 52. Suppose -11*w + 50 = -49. Does 4 divide p(w)?
True
Suppose 14*c - 4240 = 8584. Does 21 divide c?
False
Let v(c) = c + 1. Let m(r) = -5*r - 23. Let u(x) = -x**2 + 10*x + 10. Let k be u(11). Let j(w) = k*m(w) - 6*v(w). Is 7 a factor of j(-12)?
False
Let x be (1 - (-416)/(-4))/(-1). Let m = x - 92. Is m a multiple of 11?
True
Let c(t) be the second derivative of -t**5/20 + 7*t**4/6 + 13*t**3/6 + 23*t**2 + 3*t. Is 4 a factor of c(15)?
True
Suppose 50*u = 44*u + 1602. Is 23 a factor of u?
False
Let b(k) be the first derivative of -k**5/20 - k**4/4 + k**3/3 + 5*k**2/2 - 2*k + 4. Let x(i) be the first derivative of b(i). Does 4 divide x(-4)?
False
Let f(a) = a. Let x(c) = 4*c - 4. Let k(z) = 3*f(z) - x(z). Let w be k(6). Does 15 divide 217/5 + w/5?
False
Let w(z) = z**3 - 9*z**2 - 11*z + 12. Let k be w(10). Suppose -3*a = 4*l + 417, -k*a = -a + 5*l + 150. Let m = a - -189. Is 18 a factor of m?
True
Let b(n) = 13*n - 6. Let s be (-247)/(-39) - 2/(-3). Is 28 a factor of b(s)?
False
Let k(d) = 15*d + 297. Does 29 divide k(0)?
False
Let x = -883 + 985. Is x a multiple of 17?
True
Suppose -334 = -2*j - 5*m, 342 = 2*j + 17*m - 16*m. Does 4 divide j?
True
Let d = 5 + 5. Suppose 4*x - d = -x. Suppose 4*j + o = -x*o + 73, -113 = -4*j + 5*o. Is 10 a factor of j?
False
Let v = 664 - -290. Is v a multiple of 18?
True
Let q be (-114)/(-24) + 2/8. Let c(z) = 7*z**2 + 0*z**3 + 0*z**3 + 7 - 8*z - z**3. Does 5 divide c(q)?
False
Let n(b) = 6*b + 6 + 3*b - b**2 - b - 4*b. Let o be n(5). Is 14 a factor of 45 - (1 - (-2)/o)?
True
Let z(x) = x**3 + 7*x**2 + 2*x + 13. Let g be z(-6). Let t = 184 - g. Is t a multiple of 12?
False
Suppose 5*m = 4*g - 8*g + 69, 0 = -3*m + g + 38. Suppose 0 = -5*u - a - m, -3*u = 3*a - a + 12. Let s(l) = -8*l**3 - l**2 + 3*l + 2. Does 14 divide s(u)?
True
Suppose -57*i = -22*i - 8820. Is 21 a factor of i?
True
Let i = -66 - -101. Let k = 131 - i. Does 8 divide k?
True
Let b(y) be the third derivative of y**6/120 - y**5/12 + 5*y**4/24 - y**3/3 - 5*y**2. Let o be b(5). Is (-2)/3 - o/(-3) a multiple of 7?
True
Suppose 0*s + 3*j - 72 = 4*s, -3*s = -5*j + 43. Let p = s + 60. Does 13 divide p?
True
Suppose 6*x - 2*x = -3*w + 71, 3*x + 2 = w. Is w a multiple of 3?
False
Let x(s) be the first derivative of -s - 3*s**2 + 1 - 2 - s + 13*s**2. Is x(1) a multiple of 6?
True
Suppose -28*l + 1127 = 21*l. Is l a multiple of 19?
False
Let t = 142 - 100. Let a = t + -106. Let j = -38 - a. Is j a multiple of 8?
False
Suppose 24*k = 26*k + 46. Let r = k + 43. Is 4 a factor of r?
True
Let u(w) = -15*w**2 + 44*w**2 + 15*w + 2 + 0 - 12*w. Is u(-2) a multiple of 16?
True
Let t(s) = s**2 - 6*s + 87. Is 3 a factor of t(12)?
True
Let a = -77 - -64. Let l(t) = -4*t + 11*t - 32 + t**2 + 2*t. Does 11 divide l(a)?
False
Let f be 46*1/(-2) - 3. Let v = f - -12. Let c = v - -26. Does 6 divide c?
True
Suppose -55 = -5*f + 5*m, 4*f + 0*f + 4*m = 20. Suppose 0*j = -4*j + f. Is 8 a factor of 5/(-10)*(-24 + j)?
False
Let x(u) be the second derivative of 9*u - 1/12*u**4 + 5*u**2 + 8/3*u**3 + 0. Is 20 a factor of x(13)?
False
Let h(z) = z**2 - 6*z - 3. Let n be h(6). Let u(i) = -3*i**3 + 3*i. Let v be u(n). Is 33 a factor of (v/(-30))/(3/(-70))?
False
Suppose -212 = -5*q - 5*d + 2*d, 0 = 2*q - 2*d - 72. Is q a multiple of 6?
False
Let z(i) = -7*i + 93. Let p be z(11). Let a be (-1)/(-2) + 3/2. Suppose -2*x - a*x = -p. Is 2 a factor of x?
True
Let c be 2/((2 - 1)*-2). Let q be (-1)/((-1)/c)*0. Suppose -v = 4*d - 3*v - 56, q = 3*v. Does 14 divide d?
True
Suppose 0*g + 12 = 2*g. Let h(x) = -x + 20. Let j be h(10). Suppose 4*d + 2*q + j = g*d, q + 14 = 2*d. Is d a multiple of 4?
False
Let l(n) be the first derivative of -5*n**2 - 6*n + 1. Let o = -13 + 9. Is l(o) a multiple of 13?
False
Let g = -2303 - -3767. Does 122 divide g?
True
Let c(b) = 2*b**3 + 3*b**2 - 4*b - 1. Let j be c(9). Suppose 5*m = -359 + j. Does 61 divide m?
False
Suppose 5*x - 10*x = 30. Does 9 divide 6 - -54 - x/2?
True
Let s(c) = -c**3 + 5*c**2 - 4*c + 2. Let n be s(4). Suppose -6*t + 4*t - n = 0. Does 3 divide (-16)/t + 4 + -1?
False
Let d(q) = -4*q**2 - 5*q + 3. Let f be d(-6). Let v be 48/64 - f/(-4). Let i = 75 + v. Does 12 divide i?
True
Let b = -54 - -60. Let d(p) be the first derivative of 5*p**2 - 3*p + 2. Is 12 a factor of d(b)?
False
Let h = 19 - 347. Let x = h + 502. Does 29 divide x?
True
Suppose -s + 6 = -3*s, -5*h + 5*s + 450 = 0. Let o = -58 + h. Is o a multiple of 29?
True
Suppose -5*b + 5 = 0, 4*v = -0*v + 5*b - 25. Let a(g) = -g**3 - 3*g**2 + 2*g - 11. Is a(v) a multiple of 6?
False
Let c(t) = -136*t**3 - 2*t**2 - 4*t - 3. Let i be c(-1). Let j = 339 - i. Is j a multiple of 44?
False
Suppose -3*z + 26 = -5*b, -2*z - 3*b + 10 = b. Let v(h) = 2*h**2 + 3*h + 6. Let o(l) = -6*l**2 - 9*l - 18. Let t(a) = z*v(a) + 2*o(a). Is 26 a factor of t(-4)?
True
Let s be (-18)/4 - (-7)/14. Is 22 a factor of (17/((-170)/12))/(s/110)?
False
Suppose 3*i + 11727 = 5*z, 8*i - 4*i - 4 = 0. Is z a multiple of 69?
True
Let g = 12 + 23. Suppose -n - g = -101. Suppose n = m - 50. Does 21 divide m?
False
Suppose 2*m + 24*m = 4992. Does 8 divide m?
True
Suppose 0 = -13*u + 11191 + 1653. Is 26 a factor of u?
True
Let g(w) = -w**2 + 8*w + 4. Let m be g(8). Suppose -y = -m*y + 4*a + 102, 75 = 3*y + 5*a. Is 16 a factor of y?
False
Let s(x) = 8*x + 6*x**2 + x**3 - x - 8 + 2 - 2*x**3. Let l be s(7). Let n(z) = -9*z - 10. Does 25 divide n(l)?
False
Suppose -t + 2*k - 82 = 4*t, -3*k = 4*t + 61. Let n = t - -46. Is 15 a factor of n?
True
Is (-28320)/(-108) - 2/(-27)*-3 a multiple of 19?
False
Let m(r) = -6*r + 9 - 3*r - 36. Is 18 a factor of m(-5)?
True
Suppose -5*b + 19 + 91 = 0. Let a = b + -6. Suppose -m + 2*m = a. Does 6 divide m?
False
Let v be 7/(-28) - (-17)/4. Let t = v - 4. Does 6 divide 4 + t + 18 + 2?
True
Suppose 2*o - 7 - 3 = 0. Suppose 0 = t - 3*t. Suppose t = x + 1, -5*c + 49 = o*x - 161. Is 12 a factor of c?
False
Let k(t) = t**3 - t**2. Let c(n) = -5*n**3 - 2*n**2 - n - 8. Let x(i) = c(i) + 4*k(i). Does 12 divide x(-7)?
True
Let n(f) be the first derivative of f**3/3 - 2*f**2 - 4*f - 2. Suppose 7*j + 192 = -17*j. Is 12 a factor of n(j)?
False
Let l = 13 - 17. Let f = 13 + l. Suppose -f*n + 6*n = -99. Is 12 a factor of n?
False
Let w be 267*(0 + (-3)/(-9)). Suppose 4*f + 217 = -b + 4*b, -b + w = 2*f. Is 13 a factor of b?
False
Let d = 3 + 12. Let v be (-10)/d - 44/6. Let a = 56 + v. Does 13 divide a?
False
Let g = 16 - 11. Let f be 47/(-8) - g/40. Let t(w) = -14*w - 9. Does 25 divide t(f)?
True
Suppose 1766 = 3*z - 7210. Does 19 divide z?
False
Let c(a) = 4*a + 209. Is c(23) a multiple of 22?
False
Let l = 28 + 22. Suppose 3*f - 10 = l. Is 10 a factor of f?
True
Suppose -24 = 3*q + 18. Let h = 30 - q. Is h a multiple of 11?
True
Let b(q) = -q**3 - 7*q**2 + 11*q - 1. Let p be b(-9). Is 15 a factor of 1 - (p + -3)*-1?
True
Let k be ((-849)/(-15) - -1) + 4/10. Let h = k - 35. Is 5 a factor of h?
False
Let q(b) = -3*b + 55