multiple of 19?
True
Suppose 284 = l - 4*h, -3*h = -0*l + 3*l - 792. Does 17 divide l?
False
Suppose -18*n = -63*n + 10665. Does 30 divide n?
False
Suppose -210*f = -217*f + 5859. Does 82 divide f?
False
Let r(g) be the first derivative of -3*g**4/4 - 2*g**3/3 - 3*g**2/2 - 3*g + 18. Let i be ((-1)/2 - 0)*6. Is 23 a factor of r(i)?
True
Suppose s + 7*h = 2*h + 864, s = 3*h + 888. Suppose -3*g + s = -0*g. Does 16 divide g?
False
Let v(g) = 3*g - 3. Let d be v(2). Suppose -d*p = -5 - 7. Suppose 2*b - 5*a = -2*a + 56, -p*a = 8. Is b a multiple of 8?
False
Suppose 0 = 11*q + 4*q - 45. Suppose -5*g + 124 = q*o - 157, 188 = 2*o + 4*g. Is 48 a factor of o?
False
Suppose -3*h = -t - 4594, 5*h - 9466 + 1807 = 4*t. Is 11 a factor of h?
False
Suppose 4*x = -3*v + 49, 2*x = -v + 8 + 9. Suppose 3*t = 3*d - 9, 4*d - v = d. Suppose -5*a - t*m - 2*m = -288, a - 66 = 2*m. Is 30 a factor of a?
True
Suppose -4*m = 38 + 74. Let y = -21 - m. Suppose 2*b - 13 = -y. Does 3 divide b?
True
Is 38 a factor of (44 - -336)*(3 - 2)*1?
True
Let c(q) = -q**2 - 6*q - 7. Let k be c(-4). Does 20 divide (-2 - 0) + 252 + k + -1?
False
Is 3 a factor of 9/((-324)/(-6616)) + 8/36?
False
Let h(y) be the first derivative of y**3/3 - 5*y**2/2 - 4*y + 7. Let a be h(6). Is 27 a factor of (-496)/24*(-9)/a?
False
Let x(c) = -c**2 - 35*c - 39. Suppose 3*b + 122 = -b + 3*v, 2*v - 91 = 3*b. Does 10 divide x(b)?
False
Let w(f) = 21 + 3*f**2 - 4*f - 18 + 3*f**2 - f**3. Is 19 a factor of w(4)?
True
Let i(f) = f**2 - f - 27. Let k be i(6). Suppose 250 = -k*j + 8*j. Does 27 divide j?
False
Suppose c + 11 = 5*c - 3*r, -c = -r - 2. Suppose -6*q - 35 = 5*v - q, c*q = 5*v - 15. Is 7 a factor of v + 31 + -1 - -1?
False
Is 43 a factor of 0 + 5 + 428 - 3?
True
Let t = -19 + 241. Suppose 5*s - t = 2*s. Is 11 a factor of s?
False
Let k(h) = -h**2 + 10*h - 10. Let z be k(10). Let l = 75 + z. Let r = 122 - l. Does 30 divide r?
False
Let j be 2/(-6) + (-88)/24. Let r(y) = -y**3 + 3*y**2 - 2*y. Let d be r(-4). Does 14 divide -2 - (0 + d/j)?
True
Let u be 0*1*(-2)/4. Suppose u = 2*d + 2*d + 16. Does 5 divide (-1 + d)*(-12 - -11)?
True
Let f(k) = 3*k**2 - 8*k + 5. Let b be f(5). Suppose -3*w - w = y - b, y - 43 = -5*w. Is y a multiple of 7?
True
Let u(g) be the third derivative of 0 + 1/120*g**6 + 1/6*g**4 + 0*g - 1/20*g**5 + 1/3*g**3 + 7*g**2. Is 6 a factor of u(2)?
True
Let l be 10*((-48)/(-15) - 0). Suppose 2*b = -l + 4. Does 28 divide b/(1 + 5/(-4))?
True
Let w be 0 + 1/(1/44). Suppose -52 = -2*j + w. Is 11 a factor of (32/12 - 2)*j?
False
Let i(o) = o**2 - o + 5. Let h be i(0). Suppose -4*l - 256 = -2*q, -2*q + h*q + l - 356 = 0. Does 10 divide q?
True
Is (-6849)/(-63) - (-70)/(-98) a multiple of 36?
True
Let d = 43 - 59. Is 26 a factor of (-8)/d*(1 + 259)?
True
Suppose -3*k + 199 = -0*w + 4*w, -2*w = -4*k + 236. Is 3 a factor of k?
False
Suppose -28 = -15*d + 11*d. Suppose -d*t = -3*t - 20. Suppose t*o - 71 = -4*k, 4*k - o = -2*o + 75. Is k a multiple of 7?
False
Let h = -892 + 1495. Is 15 a factor of h?
False
Suppose 0 = 3*d - 7 + 4. Let g be (d - 1/1)*-1. Suppose g = x - 57 + 7. Is x a multiple of 12?
False
Suppose 105 = d + n, 2*n = -4*d - 0*d + 426. Is 12 a factor of d?
True
Let p(h) = -h**2 + 19*h + 8. Let k be p(17). Does 11 divide (4/(36/(-33)))/((-2)/k)?
True
Let m = -1096 - -1922. Does 14 divide m?
True
Suppose -g + 2*y = -24, y + 0*y - 3 = 0. Let i = g - 21. Let u = 24 - i. Is 15 a factor of u?
True
Let s be (6/(-4))/(36/(-120)). Suppose 965 = 5*t - 3*a, -s*a + 355 = 2*t - 0*t. Suppose 0 = -u + 6*u - t. Does 19 divide u?
True
Let w(r) = -903*r - 1. Let f be w(-1). Let i be 5/(-25) + f/10. Suppose -2*x - 5*y + 15 = -75, 2*x + 2*y = i. Does 17 divide x?
False
Let a(j) = 2*j**2 - 1. Let l be a(-2). Does 24 divide l/(84/(-496))*-3?
False
Suppose 21*l = 32*l - 286. Is l a multiple of 10?
False
Suppose 340 = 5*g - 565. Does 68 divide g?
False
Suppose -2*c + 2*r = -124, -4*c - 6*r + 5*r + 268 = 0. Does 11 divide c?
True
Let u(j) = -2*j**3 + 6*j**2 - j + 3. Let y be u(4). Let z be 30/(-4)*22/y. Suppose 7*w - 190 = z*w. Does 19 divide w?
True
Let i(k) = 2*k**2 + 6*k. Let o be i(-3). Does 18 divide -4 + 76 - o/(-2)?
True
Let h(g) = -g**2 + 34*g - 126. Is h(5) a multiple of 2?
False
Suppose 0*j + 9*j = 9. Is 11 a factor of 114/10*5/j?
False
Is 3 - -568 - (-4 - (-6 + 3)) a multiple of 52?
True
Let a = -29 + 124. Let v(w) = -6*w - 7. Let i be v(-2). Suppose -i = 3*x - a. Is 15 a factor of x?
True
Let m(n) = -11 - n - 4 - 10*n. Let y be m(-7). Suppose 5*s - 2*s = -5*z + 34, 5*s = -3*z + y. Does 6 divide s?
False
Let w(f) = f**3 + 15*f**2 + 12*f + 11. Is 17 a factor of w(-7)?
False
Let g(q) = -94*q + 1. Let r(s) = -93*s + 2. Let i(y) = -7*g(y) + 6*r(y). Is i(1) a multiple of 21?
True
Let d = 25 + 83. Let h = d + -60. Does 16 divide h?
True
Let g be -2 - ((-21)/3 + -2). Let f(d) = 4*d - 12. Does 15 divide f(g)?
False
Suppose 0 = -4*i - 4*l + 28, -3*i - 4*l + 13 = -4*i. Suppose -i*m = 3*f - 8*f - 327, 5*f = m - 119. Is 13 a factor of m?
True
Suppose 7*u - 6*u = 251. Is 4 a factor of u?
False
Suppose -2*q - 57 = -5*o, -17 - 2 = -2*o - 3*q. Let b be (o - 10) + (4 - 0). Does 4 divide (-1*b*-2)/2?
False
Suppose -3*q = -2*q - 4. Suppose 10 = q*x + 2. Suppose -3*u - 2*s = -32, x*u + 4*s - 16 - 8 = 0. Does 3 divide u?
False
Let v = -56 + 99. Is v even?
False
Let s(f) = 9*f**2 - 12*f + 3. Does 48 divide s(9)?
True
Let b(x) = -x**2 - 2*x + 29. Let m be b(0). Suppose -m*y = -28*y - 46. Does 8 divide y?
False
Suppose -17 = 4*j - 33. Does 6 divide ((0 + 2)/j)/(2/64)?
False
Does 10 divide (-6 + 41)*(-4)/(-7)?
True
Suppose y - 63*f = -62*f + 205, -200 = -y + 2*f. Is 10 a factor of y?
True
Let i be (7 - 4) + (-10)/2. Is 16 a factor of (-1)/i + ((-2865)/6)/(-5)?
True
Let q = -110 + 1932. Is q a multiple of 142?
False
Suppose -14*b + 61950 = 16*b. Is b a multiple of 15?
False
Let s(x) = -2*x**2 + 3*x - 1. Let a be s(4). Let c(n) = -2*n - 1. Does 28 divide c(a)?
False
Let q = -7 - -12. Let o = q + 0. Suppose -v - 3 = -1, o*m - 2*v = 169. Is 11 a factor of m?
True
Is 19 a factor of (114/(-3))/(435/(-85) - -5)?
True
Suppose 3*u - g - 22 = 0, 0*g - 46 = -5*u + 4*g. Suppose -r + u = q, 2*r - 3*q - 12 = -5. Is 5 a factor of r?
True
Suppose -4*l + 43 = -1. Let u be 3/2 + l/(-2). Let r(p) = 4*p**2 + 5*p. Is 22 a factor of r(u)?
True
Suppose 5*k + 0*k - 15 = 0. Suppose 0 = -n - 3*b + 32, -95 = -k*n - 2*n - 2*b. Let c = n + 7. Is c a multiple of 10?
False
Let o(x) = -x**3 + 5*x**2 + 8*x + 1. Let a(s) = s**2 + 5*s + 10. Let t be a(-8). Let u = 40 - t. Does 3 divide o(u)?
False
Let p(a) = a**3 - 22*a**2 + 246*a - 7. Is 76 a factor of p(11)?
True
Let b = -374 + 407. Does 10 divide b?
False
Suppose v + 33 = -3*z + 2*z, -3*z = v + 107. Let w = z + 49. Is 4 a factor of w?
True
Let r(z) = -z - 11. Let s be r(-11). Suppose s = 3*v - 10 + 4. Suppose 0 = -4*o + v*q + 120, o + 150 = 6*o + 5*q. Does 14 divide o?
False
Does 43 divide (-5)/((-30)/333)*(-128)/(-24)?
False
Let u be (-11 - -13)/((-6)/10 + 1). Suppose -3*t + 0 - 16 = -u*a, a - 20 = -5*t. Does 2 divide t?
False
Suppose -9*w = -3*w - 666. Suppose -107*f = -w*f + 228. Does 8 divide f?
False
Let h = -5 + 1. Let n be h/2 - (-6 + -86). Suppose n = -y + 4*y. Is 11 a factor of y?
False
Let o = 24 - 12. Let q(y) = y**2 - 10*y + 27. Is 15 a factor of q(o)?
False
Suppose -2*h + 22 + 14 = 0. Suppose -h = -3*r - 3*r. Suppose 2*d - 5*y = 107, 55 = -r*d + 4*d - 4*y. Does 17 divide d?
True
Suppose 56 = -n + 3*b, -b - 224 = -0*n + 4*n. Let u be -1*n/(-12)*3. Let k(i) = i**2 + 12*i - 8. Does 12 divide k(u)?
False
Let t(i) = 248*i. Let k be t(-2). Let f = -237 - k. Is f a multiple of 13?
False
Suppose 56 = -324*i + 310*i. Let p(s) be the second derivative of s**5/20 + s**4/3 - s**3 - 9*s**2/2 - s. Is 3 a factor of p(i)?
True
Let w = 12 + -9. Suppose 0 = 2*g - w*g + 55. Is 42 a factor of g?
False
Suppose -1458 = -5*l + 1607. Is 18 a factor of l?
False
Let t = 2795 + -2267. Is t a multiple of 22?
True
Let g = 6 - -1. Suppose -i - g = -3. Is 2/(-3)*(i - 26) a multiple of 20?
True
Let k be 2/((-210)/(-53) + -4). Let a = k - -77. Does 12 divide a?
True
Let o = 133 - 42. Let f = o - 44. Is f a multiple of 10?
False
Suppose -f - 61 = 5. Let r = 96 + f. Is 15 a factor of r?
True
Suppose u - 5*u + 13 = 5*a, 4*a - 