2*h + z. Suppose h = 6*b - 77. Does 20 divide b?
True
Let x(c) = -22*c - 9. Let v(b) = 110*b + 46. Let s(y) = -3*v(y) - 14*x(y). Is 14 a factor of s(-5)?
True
Let u be (-3)/(-2)*6/9. Let l be (2/(-2) - u) + 382. Suppose 4*h + h = l. Is h a multiple of 38?
True
Let p = 2818 - 1862. Is p a multiple of 10?
False
Suppose -934 = -3*j - 289. Suppose -19 + j = 4*c. Is c a multiple of 24?
False
Does 35 divide ((-30)/(-4))/5 + 19905/30?
True
Suppose -2*h = 2, 3*x + 3*h - 508 = 929. Is 4 a factor of x?
True
Is 4/40 - (-94589)/110 a multiple of 86?
True
Suppose m - 79 = 341. Suppose -3*a = 5*l - 420, -5*a - 3*l + m = -2*a. Is a a multiple of 28?
True
Let l(p) = 2660*p**3 + p**2 - 4*p + 2. Is 20 a factor of l(1)?
False
Let y be ((-8)/(-5))/(4/10). Let d(v) = v**3 + 2*v**2 - v - 5. Is 29 a factor of d(y)?
True
Let g(n) = 11*n - 3. Let u be g(-3). Is (-2)/12 + (-3426)/u - -4 a multiple of 32?
False
Let b = 6 - 2. Let w be (-7 + 5)/(b/(-10)). Suppose -w*l = l - 72. Does 4 divide l?
True
Suppose 0 = -5*g - 5*a + 45, 5*g - 34 + 4 = -2*a. Is g a multiple of 3?
False
Suppose 0*f + 3*z = 5*f - 7, 3*f - 5 = 2*z. Let h be f/(-2)*(-3 - -3). Suppose 4*b - 42 = -i + 6*i, h = 2*b + 4*i - 34. Is 13 a factor of b?
True
Let i(w) = 156*w**2 + 5*w - 1. Let c be i(1). Suppose -42*m + 34*m = -c. Does 5 divide m?
True
Let d be ((-40)/6)/((-10)/(-105))*1. Is 589/7 + 10/d a multiple of 12?
True
Suppose v - 6535 - 9363 = 4*x, 3*x + 11919 = 3*v. Is 8 a factor of 2/(-13) - (x/65 + 5)?
True
Let o(h) = 593*h**3 - 6*h**2 + 10*h - 5. Is o(1) a multiple of 4?
True
Suppose -3*m + 2*v + 11651 = 0, 3*m - 5857 = -5*v + 5808. Is 61 a factor of m?
False
Let b = -619 + 826. Is b a multiple of 51?
False
Let j(x) = 3*x**2 - x. Let v(u) = -2*u**2 + 3*u + 4. Let c(b) = -4*b**2 + 5*b + 7. Let s(z) = -3*c(z) + 5*v(z). Let i be s(1). Is j(i) a multiple of 2?
True
Suppose -16 = -4*t, y - 5*t + 6 = 3*y. Let z = -41 + 29. Let c = y - z. Does 4 divide c?
False
Let m(y) = y**2 + 2*y + 1. Let s be m(-2). Is 15 a factor of (0 + s + 1)*(-236)/(-8)?
False
Suppose g = -5*w + 35, -4*g + 195 = -4*w - 65. Suppose 5*o - 3*o = g. Is o a multiple of 17?
False
Let s be (-10)/((-4)/20*2). Suppose 5*p = s - 5. Suppose p*l + 87 = 3*z + 2*z, l + 3 = 0. Does 5 divide z?
True
Let f = 1248 - 456. Does 22 divide f?
True
Let z(b) = b**3 + 8*b**2 + b + 5. Let j(i) be the second derivative of i**2/2 - 10*i. Let d(r) = -6*j(r) + z(r). Is 13 a factor of d(-6)?
True
Suppose -3*d + 541 = 4*q, 5*d = q - 22 - 142. Let n be ((-4)/2)/((-1)/107). Let s = n - q. Is s a multiple of 25?
True
Let s = 29 - -129. Let l = 238 - s. Is l a multiple of 16?
True
Suppose -s + 32 = 2. Suppose s = 2*l - 4*l. Does 18 divide l/2*(-72)/30?
True
Let p = -55 - -50. Let d(f) = f**2 + 3*f + 11. Does 4 divide d(p)?
False
Suppose -32*o + 1598 = 2*o. Is o a multiple of 3?
False
Let l(i) = i**3 + 8*i**2 - i - 7. Let y be l(-8). Is -9*5/(-15) - (-47)/y a multiple of 13?
False
Suppose 14*o - 3402 = -168. Is 33 a factor of o?
True
Let j be (-1)/(-2)*96/(-12). Let a(i) = 22*i**2 + 13*i - 1. Does 13 divide a(j)?
True
Suppose 0 = -q - 4*q + 685. Let w = q + -69. Is w a multiple of 34?
True
Suppose 5*v + 7 = 2. Let q(b) be the first derivative of -15*b**2/2 - 13. Does 3 divide q(v)?
True
Let l be 2/5 - 4/10. Suppose l = 27*w - 28*w + 76. Is 19 a factor of w?
True
Let j(d) = 16*d**2 - 5*d + 12. Does 19 divide j(4)?
False
Let o(u) = -4*u**3 - 4*u**2 - 10*u + 9. Let p be o(4). Is 26 a factor of (p/9)/(6/(-4))?
True
Let p(w) = -40*w + 9. Let h be p(7). Let j = h - -421. Is 11 a factor of j?
False
Let u(g) = 3*g + 3. Let b(t) = -2*t - 2. Let j(v) = 4*b(v) + 3*u(v). Let o(s) = -s**3 + 5*s**2 - 5*s - 8. Let x(w) = -5*j(w) - o(w). Does 13 divide x(6)?
True
Let k(m) = -m**3 - 17*m**2 - 21*m - 13. Let j be k(-16). Suppose 0 = 2*a - j - 149. Is a a multiple of 27?
True
Let x(q) = -q + 2 - 4 + 0. Let c be x(-2). Suppose c*z + 24 = 4*z. Is 2 a factor of z?
True
Let y be 8/3*(-15)/(-10). Suppose y = 4*h - 4. Suppose 23 + 17 = h*z. Is 4 a factor of z?
True
Suppose -252 = -3*b + 819. Is 33 a factor of b?
False
Let g(f) = -8*f + 7. Let r be g(-9). Let v = r - 9. Is 10 a factor of v?
True
Let s be (-4)/(-10) - 26/(-10). Suppose -19 - s = 2*h. Let b = -6 - h. Does 5 divide b?
True
Let v(a) = -55*a + 28 + 27*a - 9 + 17. Does 32 divide v(-9)?
True
Let c(l) = 4 + 0*l + l - 19*l. Is c(-4) a multiple of 19?
True
Let i(k) = k**3 + 12*k**2 + 19*k - 13. Is i(-7) a multiple of 99?
True
Let t(g) = -2*g**3 + 18*g**2 - 20*g + 98. Is 33 a factor of t(8)?
True
Suppose 4*t = o - 7, 3*t + 2 + 16 = 5*o. Suppose 3*z + r = 4*r + 798, o*r = -z + 246. Does 25 divide z?
False
Let a(q) = 2*q**2 + 31*q + 15. Let n be a(-17). Suppose 4*l - 86 - n = 0. Does 8 divide l?
False
Let v(b) = 18*b + 156. Is v(39) a multiple of 23?
False
Let z(p) = 78*p + 199. Is 70 a factor of z(26)?
False
Let c = -190 - -331. Is c a multiple of 43?
False
Suppose 6 = 2*x - 2. Let v(q) = q + 18. Let f be v(11). Suppose 2*p - a = 51, 4*p - x*a + f = 141. Does 5 divide p?
False
Let z = 58 - 39. Suppose 0 = 2*u + 5*f - 10, f + 1 + z = 4*u. Suppose m - u*w = -3*w + 16, -5*w - 53 = -3*m. Is 25 a factor of m?
False
Let q be ((-3)/(-2))/(9/120). Let d = q - 7. Is d a multiple of 9?
False
Suppose 35741 + 21789 = 55*g. Is g a multiple of 24?
False
Let h = 5 + -1. Suppose 3*n = g + g + 174, -12 = h*g. Suppose -n = -o + 4*f, 4*f - 144 = o - 5*o. Is 10 a factor of o?
True
Does 23 divide (-341560)/(-160) + (-10)/(-8)?
False
Let r(x) = 4*x**2 - x - 21. Is 27 a factor of r(-12)?
True
Does 8 divide (-316)/(8 + -7 - 2)?
False
Let t be 8/9 + -1 - (-2706)/54. Suppose -t*o - 168 = -52*o. Does 12 divide o?
True
Let d(b) = -3*b - 28. Let y be d(-16). Suppose y*r - 480 = 14*r. Does 4 divide r?
True
Does 15 divide (1 + 586 + -2)*(-6)/(-9)?
True
Suppose -4*r + 0 = -4, 3*x - 1121 = 4*r. Does 75 divide x?
True
Let v be ((-3)/6)/(2/(-4)). Suppose -z + 1 = f, v = -z + 4*z + 4*f. Suppose -z*l = 2*s - 54 + 6, -48 = -2*s - l. Is 10 a factor of s?
False
Suppose -2*b = -5*b. Let n be (-2)/7 - (-6835)/35. Suppose n = 3*d - b*d. Does 13 divide d?
True
Let g(l) = -l**2 + 2*l - 2. Let j be g(0). Is 18 a factor of (-145)/j - (10/4 - 2)?
True
Suppose 0 = -5*u + 5*p + 5048 + 2032, -p + 1424 = u. Is u a multiple of 24?
False
Let h = -20 - -23. Suppose -10*y + 28 = -h*y. Is y a multiple of 2?
True
Suppose -11*r = -15*r + 88. Does 3 divide r?
False
Is (1020/(-25))/(((-63)/(-35))/(-9)) even?
True
Let v be 9/2 + 14/28. Let q(j) = 2*j**2 + 8*j - 3. Does 7 divide q(v)?
False
Suppose -1605*k + 1580*k = -87975. Does 9 divide k?
True
Suppose -5*m + 5*z = -500, -3*z = 2*m - 202 - 18. Is 13 a factor of m?
True
Let g be (2 - (-3 + 11)) + 3. Is 7 a factor of g - (-3 + (-195)/5)?
False
Let b(n) = 112*n - 4. Let k = -13 - -18. Let g be b(k). Is 19 a factor of g/10 + 8/20?
False
Suppose 5*x = n + 16 + 14, 2*x = -5*n - 15. Suppose -3*v = -x*v + 64. Suppose 0 = -2*h - 4*u + 3*u + 25, -4*u = -4*h + v. Is h a multiple of 11?
True
Let b be (-6)/(-7)*(-1 - -22). Suppose -5*v = -w + 100, -5*w + 5*v + b + 502 = 0. Let k = -45 + w. Does 30 divide k?
True
Suppose 0 = -0*t + 3*t - 2*a - 450, -2*a + 734 = 5*t. Is t a multiple of 4?
True
Let j(f) = -f**2 - 22*f - 5. Is j(-20) a multiple of 5?
True
Let v be 6/(1 - 3) + 3. Suppose v = a + 1 + 3. Let h = 7 - a. Does 11 divide h?
True
Let m be 6422/18 - (-22)/99. Suppose 4*g + v - 53 = 300, m = 4*g + 5*v. Is 11 a factor of g?
True
Suppose r + 2*r - 2340 = 0. Suppose -13*z + r = -8*z. Is 13 a factor of z?
True
Let w = -803 - -1343. Is w a multiple of 30?
True
Let j be (10 + -10)/((-1)/(-1)). Suppose j = 4*l - v - 30, v = -v + 4. Does 24 divide l/12 - 480/(-9)?
False
Let h be (-581)/(-3) - (-46)/(-69). Suppose -4*n - 3*m = -h, 5*n + 5*m - 4*m = 244. Is 12 a factor of n?
False
Let f = -26 - -28. Suppose 0*o - 4*s - 105 = -5*o, -f*o = 2*s - 60. Is 3 a factor of o?
False
Suppose -4*g - 16 - 4 = 0. Does 16 divide 4/(8/g)*-18?
False
Suppose 46953 = 36*s - 22599. Is 28 a factor of s?
True
Suppose 26*p = 32*p - 1074. Is p a multiple of 16?
False
Let v(t) = -70*t - 51. Is 53 a factor of v(-3)?
True
Let d(k) be the third derivative of 1/6*k**5 - 7/24*k**4 + 1/120*k**6 + 0*k - 7/6*k**3 - 5*k**2 + 0. Does 21 divide d(-10)?
True
Let l = 10 + -10. Let n(z) = -z**2 - z +