 = -d - 3*z, 11*d + 2*z + 12884 = 92962. Is 35 a factor of d?
True
Let h(j) = j**3 + 68*j**2 - 5*j - 69. Is h(-68) a multiple of 16?
False
Let a(x) = 3*x**3 + x**2 + 64*x - 564. Is 95 a factor of a(9)?
True
Let p(s) = -4*s - 25. Let g(a) = -9*a - 49. Let k(f) = -3*g(f) + 5*p(f). Let d(z) = -26*z - 89. Let n(y) = -6*d(y) - 22*k(y). Is 8 a factor of n(9)?
False
Suppose 3*d + 2*d = 5. Suppose -m = 5*x + 5, x = m - 6 - d. Does 7 divide (3 - (m - 1)) + 43?
True
Is (185/(-15) - -11)*9/(-6) - -1152 a multiple of 10?
False
Suppose 0 = -10*f - 11*f + 483. Let o(i) = i + 121. Is 24 a factor of o(f)?
True
Let z = -17 + 43. Suppose -4*d - z = -14. Is 14 a factor of -8*d/(6/7)?
True
Suppose -4*t + 5*i = 14, -3*t - 1 = 4*i - 3*i. Let g be -11 + 3/t - 1. Is 17 a factor of (153/g)/((-6)/30)?
True
Let l(k) = k**3 + 5*k**2 - 25*k. Let w be l(-8). Is (-8 + w)/(-1*3) + 540 a multiple of 21?
False
Suppose 366153 = 5*o - 2*j, 10*o - 9*o - 73218 = -j. Does 33 divide o?
True
Suppose -14*d + 4449 = -1151. Let x = d - -279. Is x a multiple of 7?
True
Let i(k) = k**2 + 16*k + 18. Let f be i(-15). Suppose -y + 2 = 3*w, -f*y - 1 + 7 = 5*w. Suppose c = -b - 2*c + 98, -y*c = -10. Is 19 a factor of b?
False
Suppose 144*z - 31344309 = -422*z + 16278931. Does 17 divide z?
False
Suppose -3*c = 3*j - 23421, 4*c = -159*j + 163*j + 31188. Is c a multiple of 37?
False
Let g be (-7)/((-69)/33 - -2). Let b = -14 + g. Let a = b - 39. Does 7 divide a?
False
Let n(t) = 9*t - 1604*t**2 + 810*t**2 + 815*t**2 - 48. Is n(-7) a multiple of 16?
False
Let z(l) = 49*l**3 + 3*l**2 + 12*l - 34. Let m be z(2). Let d = m + -339. Does 2 divide d?
False
Let x be 46/(0 - (55/20 - 3)). Suppose 0 = -186*r + x*r + 700. Is r a multiple of 25?
True
Suppose -1 = -z + 4*n, -4*z + 31 = -2*n - 15. Suppose 0 = -z*i + 14*i. Is 21 a factor of 146 + (i + 1 - 0)?
True
Does 18 divide 5*-1*(6106/(-3) + 36/(-54))?
False
Suppose -5*h - 4*y + 26276 = -20557, -16 = 2*y. Is 71 a factor of h?
False
Suppose -v - r = 3 + 1, 18 = -2*v - 4*r. Suppose l + 4*k - 9 = 0, -4*l + 2 = -5*k + 8. Does 24 divide v*(l + -1) + 146?
False
Suppose 5*o - 46 = -2*d - 8, 0 = 3*o - 12. Let v(y) = d*y + 6*y**2 - 5*y**2 + 11*y**3 - 9 - 12*y**3 + 4*y**2. Is v(3) a multiple of 6?
True
Let p = 360 - -3280. Suppose -13*a = a - p. Is 7 a factor of a?
False
Suppose -11*w + 6*w = -265. Let t = w - 62. Is (-8)/16 - t/2 a multiple of 2?
True
Let q = 1558 + 1462. Is q a multiple of 35?
False
Is 15801 - (-17 - -12)*(2 - (-96)/(-30)) a multiple of 9?
True
Let k = 2403 + 1808. Is 68 a factor of k?
False
Let f be 5373/189 + (-3)/7. Suppose -5*n = -p - 3356, -32*n - 2*p + 2696 = -f*n. Is n a multiple of 14?
True
Suppose -4*l - 36 = 0, -2*c + 81*l - 85*l = -16430. Does 36 divide c?
False
Let a(b) = -10 - 4 + 4 + 9*b + b**2 + 0*b**2. Is 4 a factor of a(-12)?
False
Let q = -11851 + 20777. Is q a multiple of 11?
False
Let w = -142 + -17. Let f = 208 + w. Does 49 divide f?
True
Let y(h) = -2*h**3 - 123*h**2 - 63*h - 11. Is y(-62) a multiple of 23?
False
Let q(o) = -o**3 + 8*o**2 + 2*o - 5. Let v be q(6). Let i be ((-88)/(-264))/((-1)/93). Let s = v + i. Is 16 a factor of s?
True
Let a = 40295 + -28087. Is a a multiple of 28?
True
Is 5 a factor of ((-180)/(3/1))/((-18)/24)?
True
Let j(k) = 27*k - 67. Let h be (-792)/10 + (-1)/30*-6. Let r = h - -88. Does 11 divide j(r)?
True
Let v = -13 - -13. Suppose -2*c - 85 = -i - v*c, c + 368 = 4*i. Is 2 a factor of i?
False
Suppose 2*r - 4*s - 4514 - 902 = 0, 5*r + s = 13573. Is 77 a factor of r?
False
Let x = -2 + 7. Let c(p) = p**3 - 5*p**2 - p + 6. Let d be c(x). Is ((-53)/d - 2)*(-6)/6 a multiple of 9?
False
Suppose 274040 = -2739*b + 2749*b. Is b a multiple of 52?
True
Let q(i) be the third derivative of -i**4/6 + 59*i**3/3 - 2*i**2 + 10. Is q(-23) a multiple of 15?
True
Let g(u) = -6785*u + 207. Is g(-1) a multiple of 152?
True
Let m(y) be the third derivative of 0 + 1/6*y**4 + 0*y - 42*y**2 + 1/2*y**3 - 1/30*y**5 - 7/120*y**6. Is m(-2) even?
False
Let w(y) = -129*y - 276. Is 33 a factor of w(-7)?
True
Suppose 0 = 2*m + 92 + 196. Let v = 192 + m. Does 16 divide v?
True
Suppose -12*d + 27 = -69. Is 14 a factor of 78/d*(46 - 30)?
False
Suppose -221*p = -236*p + 1770. Is 53 a factor of p?
False
Is 28113/2 - (-9)/(-18) a multiple of 7?
True
Let q(h) be the second derivative of 6*h**2 - 5/3*h**3 - 18*h + 0. Does 28 divide q(-10)?
True
Let k(i) = 8*i**2 + 5*i + 63. Let h(n) = n**2 - 2*n. Let c(f) = -6*h(f) + k(f). Is c(-9) a multiple of 32?
False
Suppose 2*h - 205 - 275 = 0. Suppose -h = -9*j + 7*j. Is j a multiple of 15?
True
Suppose 31905 = 50*r - 88*r + 41*r. Is r a multiple of 15?
True
Suppose 3*b + 7469 = 14*b. Is b a multiple of 7?
True
Suppose 52*r + 211600 = 49*r + 118*r. Does 20 divide r?
True
Let h = -29542 + 52485. Is h a multiple of 53?
False
Suppose -7*n - 2 = -8*n. Suppose -n*w + 501 = -w - b, -5*b - 1497 = -3*w. Does 20 divide w?
False
Suppose -7 = 5*g + 4*z, -3*z - 2 - 8 = -g. Suppose g = -o + 10. Let i(m) = -m**2 + 11*m + 9. Does 13 divide i(o)?
False
Let k(c) be the third derivative of c**5/30 - 11*c**4/12 - 7*c**3/6 - c**2 + 75. Is k(13) a multiple of 4?
False
Suppose 9*w = w + 16. Suppose 6 = f + w. Does 10 divide ((-108)/20 + -3)/(f/(-20))?
False
Suppose 0 = 2*t - 5*k + 1943, -t + 976 = -2*t + k. Let l = -447 - t. Does 38 divide l?
True
Let i be (5/(-3))/(9/(-27)). Suppose 0 = 5*k - 3*x - 8, -5*x - 1 = -4*k - i. Suppose 2*m + 3*j - 24 = -m, 2*j - 30 = -k*m. Does 2 divide m?
False
Let v = 14 - 12. Let w be (0 + 0)/v - -280. Suppose -w = 3*b - 11*b. Is 5 a factor of b?
True
Suppose 0 = 33*p - 34*p + 16. Suppose -p*g = -13*g - 3. Does 13 divide 60/(-9)*(g + 41/(-2))?
True
Let l(w) be the third derivative of 2*w**5/15 + 5*w**4/24 + 2*w**3 - 13*w**2. Let c(o) be the first derivative of l(o). Is 17 a factor of c(5)?
True
Let s be 11/(-22) - (2 - 11/2). Suppose -c - 16 = 3*c, -s*t - 2*c = -67. Is t a multiple of 18?
False
Let t(h) = 22*h**3 - 6*h**2 + 22*h + 7. Is t(5) a multiple of 13?
True
Suppose 2 = -2*w - 4*p - 0*p, -12 = 3*p. Does 24 divide (-6)/w + (-19)/((-931)/9450)?
True
Suppose 13*w - 85629 = -29274. Is 5 a factor of w?
True
Let m be (-2 - -1 - -1) + 4*103. Suppose 1199 = -9*a - m. Let n = 296 + a. Is n a multiple of 10?
False
Let v(u) = 0*u - 126 + 0*u + 122 + u. Let q be v(7). Suppose f = 5*f + 4*i - 44, -q*i = 15. Is f a multiple of 4?
True
Let z be (-1)/(1 - 0 - 50/45). Suppose -z*w = -3*w. Suppose 3*a - a - 5*c - 57 = 0, w = -5*a - c + 75. Is 5 a factor of a?
False
Suppose 0 = -3*c - c + 8. Let z(w) = 0*w**2 + 7*w**2 - 9*w**2 - 2 + 6*w**c - 3*w. Does 5 divide z(-2)?
True
Suppose n + 64 - 73 = 0. Is 29 a factor of ((-261)/(-6))/(n/90)?
True
Let n = -468 - -616. Let m = 208 - n. Is m a multiple of 4?
True
Suppose -i + d = -10, -i + 5*i = d + 28. Let w be (0 + -1)*i + 4. Is 16 a factor of 399/6 + w/4?
False
Let b(z) = -10*z**2 + 25*z + 155. Let t(p) = 2*p**2 + p - 1. Let j(y) = -b(y) - 2*t(y). Is j(-5) a multiple of 22?
True
Let h(j) = 2820*j**2 - 52*j + 34. Does 3 divide h(1)?
True
Suppose 4*t - 231 = 49. Let a = 76 - t. Suppose 45 = a*l - 5*l. Is 15 a factor of l?
True
Let w(a) = -a**2 - 5*a + 367. Let v be w(0). Let g = 400 - v. Is g a multiple of 31?
False
Suppose v + 2*d = -2*v + 3, 3*d = -3*v + 6. Let c be (-2 + v)/((-10)/30). Suppose -11*k + c*k + 260 = 0. Does 36 divide k?
False
Let t be (-1)/2*(-26 - -26). Suppose -p + 145 = -6*p. Is -2 + -2*(p - t) a multiple of 28?
True
Let p(r) be the first derivative of 5/3*r**3 + 2*r + 3/2*r**2 - 1/4*r**4 + 42. Does 15 divide p(4)?
True
Let n(z) = z**2 - 3*z + 3. Let x be n(5). Suppose x = -3*o + 88. Let g = o + 7. Is 8 a factor of g?
True
Suppose -3*u + 2*u = j + 253, -u = -2*j - 497. Let t = 6698 + -6678. Let w = t - j. Does 45 divide w?
True
Let g(a) = a**3 - 17*a**2 + 67*a + 13. Let o be (-3)/(81/(-6)) + 97/9. Does 7 divide g(o)?
False
Does 267 divide (-21 + 193279)/13 - 8?
False
Suppose -b + 29492 = -717*q + 720*q, -19676 = -2*q + 3*b. Is q a multiple of 14?
False
Let o(p) = -p + p - 2*p + 8*p - 12. Let i(a) = -6*a + 11. Let u(f) = 3*i(f) + 4*o(f). Does 6 divide u(5)?
False
Suppose 9*g = -2*d + 8*g + 3253, 0 = -2*d + g + 3243. Suppose 5*w + 2*f - d = 959, 0 = 2*w + 4*f - 1030. Does 11 divide w?
True
Suppose 0 = -5*x - 15, -3*x + 10 - 11 = 4*q. 