 24 = -6*c. Suppose -i + c*i - 429 = 0. Is 45 a factor of i?
False
Let u(r) = 51*r - 87. Does 19 divide u(17)?
False
Let m = 2803 - 577. Is m a multiple of 53?
True
Let y(b) = b**3 + 9*b**2 - 27*b + 6. Does 3 divide y(-11)?
False
Suppose -5*h + 9 = -2*f, -6*f - 3*h = -2*f - 47. Let o = f + 9. Suppose -4*m + 22 = s, 0 = s + m + 4*m - o. Is s a multiple of 22?
False
Suppose -216 = 4*v - 576. Suppose 0 = -18*w + 20*w - v. Is 5 a factor of w?
True
Suppose -4*d + 5*d - 71 = -4*j, j - 14 = -d. Let h = 22 - j. Suppose -14 - h = -a. Is a a multiple of 17?
True
Suppose z - 1450 = -28*z. Is 50 a factor of z?
True
Let k = -32 + 25. Let q(b) = -6*b + 3. Does 15 divide q(k)?
True
Let x = 2660 + -1523. Is x a multiple of 82?
False
Let i = -31 - -63. Suppose -d = -5*b + 2*d + 143, 0 = -b + 4*d + i. Is 6 a factor of b?
False
Let x be 3/(-5) - 680/(-50). Suppose 5*f - x = 2. Suppose 0 = s - 7 - f. Does 8 divide s?
False
Let y = -203 + 298. Is y a multiple of 4?
False
Let m be (-64)/(-1) - 0*(-7)/(-49). Let q = -51 + m. Is q a multiple of 13?
True
Let v = 8 + -8. Suppose -3*q + 5*q - 32 = v. Let y = -2 + q. Is y a multiple of 9?
False
Let j be 2/6*(6 - -3). Let r be ((-4)/(-10))/(5/50). Suppose -i = -0*i + j, r*t - 53 = -i. Does 7 divide t?
True
Let q(h) = -23*h + 15. Let y(x) = x - 1. Let t(f) = q(f) + 6*y(f). Let n be t(-4). Suppose -n = -4*z - g + 2*g, -3*z + 5*g + 62 = 0. Does 6 divide z?
False
Let x(l) = -l**3 - 10*l**2 + 2*l + 40. Is 18 a factor of x(-12)?
False
Suppose 0 = -8*y + 7*y - 4. Does 21 divide ((-111)/(-15) - 1)/(y/(-50))?
False
Suppose 0*g - 15 = -5*g. Is (36/(-15))/(g*2/(-80)) a multiple of 9?
False
Let x be 5 + (4/1 - 8). Let o = x - -9. Is 12 a factor of (72/(-15))/((-2)/o)?
True
Let f(j) = j**3 + 2*j**2 + 1. Let q be f(-2). Let o be 21/5 + q/(-5). Suppose 10 = 2*u, 5*x - o*u - 2 = 3. Is 5 a factor of x?
True
Let w(s) = -s**2 - 2*s - 4. Let m be w(-3). Let t = -9 - m. Is 8 a factor of (-93)/6*1*t?
False
Suppose -4*h = 2*h. Suppose 6*j - 211 - 185 = h. Is j a multiple of 22?
True
Suppose 0 = -2*z + 2, -g = -2*z + 11. Does 12 divide 12/18 + (-102)/g?
True
Let n(h) = h**3 - 21*h**2 - 67*h + 30. Is 3 a factor of n(24)?
True
Suppose 2*h - 7*n + 2*n = -19, 4*n = -5*h + 35. Suppose h*o - 12 = 54. Is 22 a factor of o?
True
Suppose 0 = 29*n - 7487 + 150. Is n a multiple of 11?
True
Let s = -3216 + 6336. Is s a multiple of 16?
True
Suppose -65*c + 94*c = 23287. Does 44 divide c?
False
Let x be (-2)/(-9) + (-4)/72*22. Is 120/x*7/((-56)/6) a multiple of 7?
False
Let t(x) = x**2 - 2*x + 34. Is 5 a factor of t(8)?
False
Suppose 287 = 3*h + 4*n, -h + n = 2*h - 262. Suppose 13 - h = -4*y. Does 19 divide y?
True
Suppose 5*p - 1876 = 4*q, 14*q - 380 = -p + 16*q. Is 31 a factor of p?
True
Let n(x) = -x**3 + 3*x**2 - x - 1. Let i be n(2). Let m be -2 + 2 + i + 2. Suppose -m*c = 2*c - 90. Is c a multiple of 6?
True
Let v(j) be the third derivative of j**6/360 - j**5/40 - j**4/8 - 2*j**2. Let s(t) be the second derivative of v(t). Does 4 divide s(5)?
False
Let z(n) = -n**3 - n**2 + n. Let l(t) = -4*t**3 - 12*t**3 - 12*t**3 + 21*t - 21*t**2. Let w(o) = -4*l(o) + 84*z(o). Is 16 a factor of w(1)?
False
Suppose 0 = 6*i + 19*i - 550. Is i a multiple of 22?
True
Let f = -1 + 7. Let c(j) = 11 + 3*j**2 + 2*j + 4*j - j**2 + j**3 - 7*j**2 - 3. Is c(f) a multiple of 20?
True
Suppose 0 = g - 5*i - 17, -g - 2*i = 2*g. Suppose g*x - 246 = -5*u, -4*x - 4*u - 149 = -653. Does 15 divide x?
False
Let l = 1041 + -977. Is 4 a factor of l?
True
Let x = 52 - -50. Let l = x + -7. Is l a multiple of 32?
False
Let y(w) = 24*w - 3 + 8 - 4 + 6. Is y(8) a multiple of 22?
False
Suppose 5*x + d = 2*d + 17, -5*x = 4*d - 32. Suppose -5*o + 19 = -3*r, r = -3*r - x*o - 36. Let b(a) = a**2 + 2*a + 3. Is b(r) a multiple of 17?
True
Let r = 1 + -2. Let t be ((-1)/2)/(5/280). Is -2 - (3 + r + t) a multiple of 8?
True
Suppose 6*h - 570 = 4*h. Suppose -4*b + h + 79 = 0. Is 15 a factor of b?
False
Let h(x) = 11*x + 1. Let m be h(1). Suppose -9*c + 73 = 37. Suppose c*t = 12 + m. Is 6 a factor of t?
True
Let o = 884 - 24. Does 99 divide o?
False
Suppose -472 = -4*f + 88. Does 14 divide f?
True
Suppose -t + 1120 = 3*t. Is t a multiple of 32?
False
Suppose -2*k = -3*s - 4848, -k + 4*s + 130 = -2284. Is 18 a factor of k?
True
Let q = -79 + 75. Does 10 divide (-4)/(-56)*q - 942/(-14)?
False
Suppose 10*x - 40 = 5*x. Let q be (-3 - -4) + x/2. Does 10 divide -15*q/(60/(-32))?
True
Suppose 3*k - 5*p = 66, 5*k - 117 = p - 29. Suppose -k*v = -10*v - 1176. Is 28 a factor of v?
True
Let l = -515 - -723. Does 13 divide l?
True
Let z(w) = -12*w - 4. Let r be z(3). Let a = 38 + r. Let l(u) = -41*u + 4. Is 13 a factor of l(a)?
False
Suppose m = 3*o - 4847, 4*o - 2744 = 2*m + 3722. Does 49 divide o?
False
Let y(t) = 18*t**2 - 16*t + 1 + 8*t + 6*t + 0 + 9*t**2. Let d = 3 - 2. Does 14 divide y(d)?
False
Let x be (6 - 3)/(9/(-6)). Let a be x/6 - (-88)/(-6). Let k = -9 - a. Is 3 a factor of k?
True
Let w(m) = 61*m**2 + 13*m + 66. Is 22 a factor of w(-4)?
True
Let r = -176 + 396. Is 5 a factor of r?
True
Suppose 2*g + 3*p = 165, -5*p = 4*g - 3*p - 318. Let j = 158 - g. Does 10 divide j?
True
Let s be 24/40 + (-2)/(-5). Let g be ((-3)/6)/(s/(-38)). Suppose 0*f - o = -2*f + 39, -3*o = 2*f - g. Is f a multiple of 13?
False
Suppose 9 = 2*s + 3. Suppose s*b - 5*q = -6*q - 17, q + 21 = -4*b. Is 23 a factor of b/18 - 1248/(-27)?
True
Let r(a) = -a**3 + 14*a**2 + 14*a + 18. Let t be r(15). Does 10 divide 8 + 2 + (t - 0)?
False
Suppose 2*n + 3*n + 99 = -p, -582 = 5*p - 4*n. Let h = p + 175. Is 19 a factor of h?
False
Suppose 2*h = -2*f + 1762, 6*h = 2*h + 3*f + 3552. Is h a multiple of 15?
True
Let s = -7 - 3. Let o(a) = a**2 - a - 28. Does 6 divide o(s)?
False
Suppose 0 = -4*p + 5119 + 2333. Is 81 a factor of p?
True
Is -9*((-350)/6 - (19 - 14)) a multiple of 20?
False
Let v = -1610 - -3472. Is 19 a factor of v?
True
Let o = 911 - 536. Does 25 divide o?
True
Is 48 a factor of ((-9)/(-2))/(-9 + (-582)/(-64))?
True
Let z = 130 - -442. Is 43 a factor of z?
False
Let z = 256 + -62. Suppose -r + 2*b = -0*b - 97, 2*r = -3*b + z. Does 32 divide r?
False
Let i be (351 + 6)/(0 + 1). Suppose -k + i = 4*p, -p - k = -5*k - 68. Is p a multiple of 19?
False
Let x be (-18)/(-10) + (-11)/(-55). Suppose 4 = -x*w, 4*w - 117 = 5*m - 10*m. Does 11 divide m?
False
Suppose 0 = r + 13 + 169. Let y = r - -278. Is y a multiple of 32?
True
Suppose q + 4*g - 12 = 0, 6*q - 2*q + 4*g - 84 = 0. Does 5 divide 5 - (-40)/12*q?
True
Suppose -9 = -3*k - 2*y, 2*k - 12 = -2*k - 5*y. Suppose 0 = 5*r - 5*d - 245, 3*r - k*d + 123 = 5*r. Is r a multiple of 6?
True
Let y = -145 + 284. Does 22 divide y?
False
Let g(x) = x**3 - 10*x**2 + 12*x - 36. Does 15 divide g(12)?
False
Let t(v) = 14*v - 11. Let l(m) = 13*m - 11. Let n(r) = 3*l(r) - 4*t(r). Suppose 2*z + 20 = 2*c, z + 10 = 4*z + 5*c. Is 24 a factor of n(z)?
True
Let c = 2090 - 1137. Is c a multiple of 55?
False
Let u be (-4116)/(-10) + 36/90 + -2. Suppose -3*s + m + u = 0, 2*m - 8 = -0*m. Is s a multiple of 23?
True
Let t = -71 - -69. Is 1280/16*((-4)/5)/t a multiple of 10?
False
Suppose -l - 6 + 43 = 4*u, 5*u - 3*l - 25 = 0. Let w(q) = -q**3 + 9*q**2 - 8*q + 2. Let g be w(u). Suppose d = g*d + 4*o + 1, d = 3*o + 27. Is 15 a factor of d?
True
Let y(f) be the first derivative of 2*f**3/3 - 3*f**2/2 + 210*f - 9. Does 14 divide y(0)?
True
Suppose 2*h - 3*d = -13, 14 = -5*h + 5*d - 6. Is (-2 - (h + -134)) + -5 a multiple of 7?
True
Suppose -14*m - 8552 + 21950 = 0. Is 5 a factor of m?
False
Suppose -2*l + 16 = 2*l. Suppose -4*w = l*w - 448. Does 14 divide w?
True
Let y = 69 + -69. Suppose 5*r = 2*k - 124, 3*r + y*r + 220 = 4*k. Is k a multiple of 6?
False
Let s(j) = -8*j - 40. Is s(-8) a multiple of 8?
True
Suppose 30 = 9*d - 4*d. Suppose 4*q = -b + 163, -4*q + b - d*b + 143 = 0. Does 14 divide q?
True
Suppose 53*v = 5669 + 1910. Is 3 a factor of v?
False
Let k(c) = c + 40. Let a be k(0). Suppose -3*q - 48 = -3*g, -3*q = -3*g - 4*q + a. Does 13 divide g?
False
Let a = 0 - -3. Suppose 4*n + q = 461, -2*n + a*q + 213 = -0*q. Suppose -b + 19 = x + 3*b, -5*x = b - n. Is 8 a factor of x?
False
Let x(l) = l**3 + 12*l**2 + 9*l - 18. Let p be x(-11). Suppose 2*v + z - 134 = -p*z, -3*z + 282 = 4*v. Is 9 a factor of v?
True
Let b