o**2 + 23*o + 63. Let h be u(-3). Is 5 a factor of (140 - 1) + 0/(-4) - h?
True
Let x(f) = -f**3 + 7*f**2 - 3*f + 13. Let a be x(7). Does 3 divide (5/(25/(-6)))/(a/280)?
True
Let r be (-5 + 16/4)/(2/210). Let g = r - -258. Is g a multiple of 16?
False
Let d = 30930 - 21177. Is d a multiple of 21?
False
Suppose 93*u - 2*c - 22486 = 90*u, 0 = -5*c - 40. Is 160 a factor of u?
False
Let g be (108/8)/9*2. Suppose -p + 4*p - g*o = 1116, 0 = -3*o + 12. Is p a multiple of 57?
False
Let b = -4 - -10. Let c be (4 - (-66)/(-15)) + 7986/15. Suppose 0 = -13*y + b*y + c. Is y a multiple of 19?
True
Suppose -4*k = -2*o - 297 - 1841, 1069 = -o - k. Let h = -679 - o. Does 6 divide h?
True
Let t = 77 - 49. Suppose -t = j - 88. Suppose -6*q + j = -3*q. Is 9 a factor of q?
False
Suppose -21108 = 123*x - 101*x - 367740. Does 202 divide x?
True
Let m be ((-2)/(-8))/((-4)/1328). Let j = m - -175. Is 46 a factor of j?
True
Suppose w = 3*z + 5*w - 30409, -5*z + 4*w = -50639. Is z a multiple of 125?
False
Let w(g) = 3*g**3 - 2*g**2 + 8*g - 3. Let s(f) = -f**3 - f. Let p(n) = 4*s(n) + w(n). Let x be p(4). Let z = -7 - x. Is z a multiple of 19?
True
Let g(o) = -4*o - 99. Let z be g(-27). Suppose -2*s + 710 = 5*d - 125, 0 = -3*d - z. Is s a multiple of 25?
True
Let m(j) = 44*j**3 - 2*j**2 - 2*j + 1. Suppose -357*x + 369*x = 24. Is m(x) a multiple of 22?
False
Let b(h) = -h**3 - 31*h**2 - 242*h - 14. Let m be b(-13). Let o = -254 - -554. Suppose -m = 5*p - o. Is 12 a factor of p?
False
Let z(a) = 3*a**3 + 27*a**2 - 7*a + 5. Is z(10) a multiple of 93?
False
Is (-14)/(-2) - 2847798/(-216) - (-21)/28 a multiple of 97?
True
Suppose 4*u - 135 = -5*l - 14, 2*u = -2. Suppose -l*y - 156 = -27*y. Is 13 a factor of y?
True
Suppose 2*z - 4*t - 3 = 3*z, 2*t - 18 = -2*z. Suppose z*p = 2*p + 704. Is p a multiple of 32?
True
Suppose 228*x + 53836 = 1053160. Is x a multiple of 9?
True
Let r(l) = 53*l**2 + 58*l - 23. Does 13 divide r(-14)?
False
Suppose -8*n = -7*n + 2*h - 19242, 57740 = 3*n + 4*h. Is 157 a factor of n?
False
Let i = 230 - 259. Let h(w) = w**3 + 30*w**2 + 26*w - 4. Is 27 a factor of h(i)?
False
Suppose 11 = -2*l + 4*i - 3, -l - i - 4 = 0. Let f(z) = -3*z - 84*z**2 - 11 + 87*z**2 + z. Does 6 divide f(l)?
False
Suppose -3*k - 81*p + 1143 = -84*p, 20 = -4*p. Suppose -5*b - 2*n + k = 0, 3*n - 212 = -2*b - 66. Is 22 a factor of b?
False
Suppose 0 = -18*s + 12*s + 48. Suppose 0 = -4*r + 2*r - s. Does 38 divide (3040/56)/(r/(-14))?
True
Suppose 3909 = 3*k - 5*m - 10706, -19472 = -4*k + 3*m. Is 139 a factor of k?
True
Let r = -2 - -25. Let g = r + -22. Does 13 divide (g + -1 - 1)*-69?
False
Let j = 19 - 21. Let c be (-3 - j)/(2/42). Let b = 117 - c. Does 25 divide b?
False
Let n(i) = 6*i + 19. Suppose -2*y - 10 - 6 = -2*s, 0 = 5*y - 10. Let k be n(s). Let v = k - 28. Is v a multiple of 4?
False
Is (32/(-10))/(7/(-75635)*2) a multiple of 25?
False
Suppose 63*y - 68*y - 87260 = -4*l, -43660 = -2*l - 5*y. Is l a multiple of 10?
True
Let z(u) be the third derivative of -u**6/120 - u**5/12 - 2*u**3/3 + 6*u**2. Let x be z(-5). Does 8 divide (126 + x)/(6 + -4)?
False
Let l = 621 - 579. Is -32*((-34)/(-340) - l/20) a multiple of 6?
False
Let d = 127 - -5. Let m(p) = -p**3 - 3*p**2 + 5*p + 4. Let b be m(-4). Suppose -4*y + d + 4 = b. Is 20 a factor of y?
False
Let w be 28*20/210*(-6)/(-4). Suppose -w*f - 3*f = -672. Does 16 divide f?
True
Let j = -336 - -330. Is j/(-16) + 8670/48 a multiple of 31?
False
Let r be (4 + (-18136)/(-6))*12/4. Is r/8 - (-1 + (-2 - -1)) a multiple of 14?
False
Let u = 34 + -32. Suppose -12 = -3*z + u*z. Suppose z*k - 252 = 8*k. Does 9 divide k?
True
Let p = -27 - -39. Suppose -n = -5*n + p. Suppose 4*t + n*s = 4*s + 49, 4*s + 20 = 0. Is 8 a factor of t?
False
Let c(w) = -w + 75. Let z be c(22). Let f = 360 - z. Is f a multiple of 31?
False
Let r(v) = 2*v**3 + 2*v**2 - v. Suppose -3*u - 7 + 1 = -3*t, 2*t = 0. Let k be r(u). Does 13 divide (-2)/k - 1972/(-51)?
True
Suppose -496*l = 3*v - 500*l - 9866, -v + 3*l = -3287. Does 235 divide v?
True
Let z = 5 + -11. Let h be (-72)/39 + (-10)/65. Is 12 a factor of (z/(-4))/(h/(-80))?
True
Let f(m) = 30*m + 1. Suppose 2*l = -0*l - 4. Let b be f(l). Let u = -24 - b. Is 7 a factor of u?
True
Let i = -63 - -79. Suppose -i*d + 20*d + 12 = 0. Does 6 divide (19/(-1))/((1 - d)/(-4))?
False
Let i = -37 + 40. Let k = i + 0. Suppose -3*z + b + 0 = -218, -2*z = -k*b - 157. Is 14 a factor of z?
False
Let f be 6 - 5 - 1/1 - 13. Let h be 3/(-2) + f/(-2). Suppose -h*w - 308 + 23 = -5*b, -4*b + 3*w + 225 = 0. Does 9 divide b?
True
Suppose -4*k = -20, k = -g + 3*k + 759. Suppose 0 = -2*t + 7*p - 4*p + 763, 2*t - p = g. Suppose 12*a - t = -110. Does 23 divide a?
True
Let z be 1/(-5 + 1316/263). Let i = z + -109. Is 7 a factor of i?
True
Let c(h) = -11*h + 21. Let i(z) = -z**3 - 13*z**2 - 24*z + 14. Let w be i(-11). Suppose 3*m + w = -m. Does 12 divide c(m)?
True
Let v(r) = -r**2 - 4*r - 5. Let f be v(-3). Let a be (14 + -43)*(0 + (f - -1)). Suppose -a*m = -21*m - 1320. Is m a multiple of 33?
True
Let h(u) = -2*u**2 + 18*u + 4. Let r(c) = -3*c**2 + 19*c + 4. Let j(o) = 6*h(o) - 5*r(o). Let i = -1716 + 1710. Is 17 a factor of j(i)?
True
Let m(v) = -21*v + 150. Does 24 divide m(-106)?
True
Suppose 58*j - 49*j = -35*j + 91388. Does 29 divide j?
False
Suppose 399*y + 336163 + 2190345 = 571*y. Is y a multiple of 37?
True
Let r be (-17 + (1 - 0))/1. Let x be r/(-24) + 620/6. Suppose -112 = -6*v + x. Is 16 a factor of v?
False
Suppose 297 + 36 = -9*s. Let m = 323 - s. Does 12 divide m?
True
Let d = -24759 + 25565. Is 208 a factor of d?
False
Let t = 3370 + 20431. Is t a multiple of 119?
False
Let u(x) = 79*x**2 - 55*x - 63. Does 22 divide u(-10)?
False
Let s be ((-1)/3*0)/(1 - 0). Let j(r) = r**2 + 2*r + 63. Is 7 a factor of j(s)?
True
Let h(j) be the third derivative of j**5/60 + j**4 + 71*j**3/6 - 121*j**2. Does 8 divide h(-23)?
True
Let m(x) = 6*x + 76. Let d be m(-12). Suppose -3*t - 440 - 422 = -4*v, d*v + 2*t - 872 = 0. Does 38 divide v?
False
Suppose 0 = -2*h + 3*j + 24607, 165*h + j = 166*h - 12307. Does 9 divide h?
False
Let r be (4 + -4)/(-7) - -11. Is (-1 + -2 - 80*-1)*r a multiple of 57?
False
Suppose -13 - 102 = -23*c. Is (-3*(-1 - 0))/(c/590) a multiple of 59?
True
Let a be ((-481)/(-26))/(1*(-3)/6). Does 12 divide (-31 - a)*4/3*15?
True
Suppose -7*v - 14*v + 199248 = 7*v. Is v a multiple of 18?
False
Let o be ((-3)/(-2) + 3)*(-1 + -1). Let a(z) = 2*z**2 - 11. Let x be a(o). Suppose -y - 133 = -3*t, 3*t + 14 - x = -y. Is 17 a factor of t?
False
Let c(a) = -a**2 + 29*a - 52. Let u be 11 + -7 + 15 + -1. Is c(u) a multiple of 38?
False
Suppose 4*m - 7 = 2*m + 3*d, -2*d = m. Suppose 4 = -2*n + m*b, 16 = 4*n + b - 1. Suppose -n*f - 45 + 132 = 0. Does 27 divide f?
False
Is 12*152/(-95)*(2 + -532) a multiple of 159?
True
Let o = 3919 - 3133. Does 19 divide o?
False
Does 174 divide -15*((-6)/660*-11 - 62065/50)?
True
Suppose 1371 - 3723 = -28*w. Is 1451/3 + 4 + w/(-18) a multiple of 23?
True
Let y(v) = 3*v**3 + 36*v**2 - 98*v + 38. Let b(s) = -2*s**3 - 18*s**2 + 49*s - 18. Let n(r) = -5*b(r) - 3*y(r). Is n(15) a multiple of 13?
False
Does 28 divide (-6)/(-10) - (-4092)/(-120)*-514?
True
Suppose -117621 = -4*b - 28341. Is 11 a factor of b?
False
Is 180 + (1050/(-133) - 8/76) a multiple of 3?
False
Let f(o) = -6 - 10 + 67*o + 0 - 619*o. Is 8 a factor of f(-1)?
True
Let w be (-18 + 4)/(-3 - (-12)/3). Let u = -24 - w. Let q = 29 + u. Is q a multiple of 5?
False
Does 4 divide 8401 + (-6 - -24 - 10 - 9)?
True
Suppose -29*f + 55*f + 17451 = 35*f. Is f a multiple of 8?
False
Let g = -395 + 402. Suppose g*o + 4*o = 792. Does 12 divide o?
True
Let w = -26477 - -27311. Is w even?
True
Suppose -3*d + 2*y = -1035, 5*y = 8*y. Is 5 a factor of d?
True
Let k(t) = 2*t**2 - 27*t + 213. Let f be k(29). Suppose 9*b = f + 310. Is 14 a factor of b?
False
Let g(o) = 0*o - o + 14 + 45*o**2 - 6*o - 50*o**2. Let q(u) = -2*u**2 - 3*u + 7. Let i(h) = -6*g(h) + 13*q(h). Does 19 divide i(-6)?
True
Let s(f) be the first derivative of -13/2*f**2 - 13/3*f**3 + 13*f - 1/4*f**4 + 2. Is 23 a factor of s(-12)?
False
Suppose l + 29*l - 127800 = 0. Is l a multiple of 20?
True
Let z(p) = p**2 + 6*p - 25. Let x(j) = j**2 + 5*j - 26. Let f(r) = -6*x(r) + 7*z(r). Let w be f(-16). 