 474/30 + (4 - (-57)/(-15)). Let h(v) = -5*v**2 + 110*v + 7. Does 46 divide h(f)?
False
Let m(b) = b**3 - 2*b**2 - 3*b + 4. Let k be (7/14 - 0)*(0 + 2). Suppose -r - x + 16 = 4*r, -k = -x. Is 3 a factor of m(r)?
False
Let n(u) = 19*u - 37. Let a be n(-9). Let h = -183 - a. Is h a multiple of 7?
False
Suppose -p - 50*p = -1071. Suppose -n + 4 = -0*n. Let c = p - n. Is 17 a factor of c?
True
Is (-50 - 3)/(((-25)/(-4950))/(2/(-4))) a multiple of 53?
True
Let m be 845/(-20)*(-16)/4. Suppose -2*v + 131 = 3*k, -k + m = 3*k - 3*v. Does 8 divide k?
False
Let k(v) = 2*v**3 - 32*v**2 - 4*v - 230. Is 26 a factor of k(22)?
False
Let x(y) = -5*y**3 + y**2 - 3*y - 4. Let v be x(-1). Suppose 0 = -v*t + 3016 + 3704. Is t a multiple of 59?
False
Let n(s) = 61*s + 911. Does 9 divide n(55)?
True
Let d be (342/4)/(6/16). Suppose 0 = 2*j + 4*b - 440, -6*j = -7*j + 2*b + d. Is j a multiple of 16?
True
Let j = 568 + -322. Let f = -201 + j. Is 10 a factor of f?
False
Let a = -112656 - -164201. Is a a multiple of 65?
True
Let f be (-14124)/(-30)*(-15)/(-6). Let a = 2519 - f. Does 49 divide a?
False
Suppose -43663 = -3*m + z, -5*m - 1184*z + 72773 = -1186*z. Is m a multiple of 63?
True
Let b(n) = -3*n**2 + 9*n - 2. Let p be b(3). Let v be 3871/14 + p/4. Suppose -2*s = 4*c - 51 - 63, -c + v = 5*s. Is s a multiple of 11?
True
Let m = -40236 + 65927. Does 153 divide m?
False
Suppose 5*h + 320 = -4*x - 133, 0 = h - 4*x + 81. Let j be (-12)/28 + (0 - (-1378)/14). Let b = h + j. Does 6 divide b?
False
Suppose -22276 = -5*r - 4*g, -7*g + 4472 = r - 2*g. Is 97 a factor of r?
False
Is 20 a factor of 1/((-6)/15)*(2 - 2770)?
True
Let b(k) be the second derivative of k**4/6 + 13*k**3/6 + 4*k**2 + 4*k + 7. Let i = -37 + 29. Is 4 a factor of b(i)?
True
Suppose -2*p - 1810 = 5*z + 1044, -5*z + 4*p - 2872 = 0. Let y = 810 + z. Is y a multiple of 34?
True
Let c be 4 + (15 - 3 - 2). Let x be (5 + -6)/((-2)/c). Let q = 73 - x. Is q a multiple of 11?
True
Let m(z) = -3*z**3 + 12*z**2 - 47*z - 12. Let h(s) = 16*s**3 - 59*s**2 + 235*s + 59. Let n(a) = -2*h(a) - 11*m(a). Is n(11) a multiple of 51?
False
Let t = 4476 + 6005. Is t a multiple of 26?
False
Let o = 7791 - 1612. Is 37 a factor of o?
True
Suppose 5*x - 2*r + 3*r = 88963, 0 = -x + 5*r + 17829. Is x a multiple of 31?
True
Is 160 a factor of ((-16)/10)/2*115*1200/(-30)?
True
Suppose -25*q + 28*q - 15 = 0. Suppose 5*w + 773 = 6*g - 4*g, 0 = -q*w - 5. Does 12 divide g?
True
Let i(k) = -2*k**3 - 251*k**2 + 86*k - 73. Does 2 divide i(-126)?
False
Let j(t) = 41*t + 33. Let v be j(7). Suppose -35*w = -15*w - v. Does 4 divide w?
True
Suppose -6*i + 15929 = 23363 - 58698. Is i a multiple of 48?
True
Is 13 a factor of (5/3)/(9/46602) - -2?
True
Let f = 38319 + -32339. Does 13 divide f?
True
Suppose 116*p - 121*p + 225 = 0. Let y = 96 + -68. Let f = p - y. Does 4 divide f?
False
Let u(v) = -2*v - 20. Let b be u(-13). Suppose 15*z - b*z = 180. Is z/(-5) - 34*-2 a multiple of 8?
True
Let z be (87 - 78) + 2 + -6. Suppose 0 = -2*h + 5 - 1. Suppose -h*m - 4*d + 0*d + 60 = 0, 5*m = z*d + 165. Does 11 divide m?
False
Let a be (-956)/14 + -4 + (-4)/(-14). Let q = -22 - a. Suppose 5*o = 6*o - q. Is o a multiple of 30?
False
Is (-49)/((88/104)/(-11)) a multiple of 18?
False
Let w = 2940 + 5790. Does 194 divide w?
True
Let z be (0/(-7))/((-6)/(-3)). Suppose z = -5*x + 11 + 14, 3*c + 5*x = 1819. Does 46 divide c?
True
Let y(j) = -44*j**2 + 131 - 3*j**3 + 0*j**3 + 4*j**3 - 44*j + 82*j**2. Is 28 a factor of y(-39)?
False
Let i be (3 + -41)*((-70)/(-4))/5. Let v = 131 + i. Is 38 a factor of (2/6)/(v/(-414))?
False
Let z(c) = c**2 + 7*c + 4. Let k = -43 + 36. Let j be z(k). Suppose -74 = -o + b - 0*b, j*o + 5*b = 260. Is o a multiple of 7?
True
Let m = -11 + 28. Let n(z) = 11 + 3*z**2 - m + 34. Is 14 a factor of n(0)?
True
Let z(k) = 2*k - 7. Suppose 3*n - 16 = 5. Let y be z(n). Suppose 4*i - 111 = 2*m - y, -2*i = 2*m - 52. Is i a multiple of 9?
False
Suppose j + 30 = 39. Suppose 4 = j*p + 40. Let n(u) = 11*u**2 - 5*u - 20. Does 11 divide n(p)?
True
Let w(m) = -5*m + 35. Let g be w(7). Suppose -8*q - 100 = -5*o - 5*q, g = 2*o + 5*q - 71. Does 2 divide o?
False
Let g(z) = z**3 - 9*z**2 - z + 31. Let v be g(8). Let o = v - -299. Does 45 divide o?
False
Let s = -19812 - -34832. Is s a multiple of 20?
True
Suppose -10*s = -24 + 14. Does 14 divide -219*(s/(-4) - (-45)/(-108))?
False
Suppose -24*a = 22*a - 9844. Let v = 522 - a. Is v a multiple of 17?
False
Suppose 4*d - n - 26 + 2 = 0, 5*d - 37 = 3*n. Suppose -y + d*y + 120 = 0. Does 15 divide -18*(0 - 0 - y/(-9))?
True
Let l be 4/(4 + 966/(-243)). Let r be 130059/l - (-2)/12. Suppose 2*a = 13*a - r. Is 33 a factor of a?
False
Let m = -63 - -55. Let w(a) = -3*a - 13. Let k be w(m). Is 8 a factor of (2 - 3)*(0 - -3) + k?
True
Suppose 4*m = 2*d + 12, -5*m + 3*m - 4*d + 26 = 0. Let j = 10 - m. Suppose -7*k + 144 = -j*k. Does 8 divide k?
True
Let a(s) = 10*s**2 + 6*s - 6. Let h = -12 + 19. Let r be a(h). Suppose 8*z + r = 4*m + 6*z, m - 139 = -z. Is m a multiple of 26?
False
Let c(d) = -d**3 + 3*d**2 - 3*d + 35. Let w be c(0). Suppose 4*n = v + 3933, 4*v - w = -23. Is n a multiple of 41?
True
Let v be -543 + (-1 - 2/((-6)/(-3))). Is 93 a factor of 10/(v/(-1785) + (-10)/35)?
False
Let l be 2 + 62/(-4) + 6/4. Is 29 a factor of (-2783)/(-3) - 4/l?
True
Let k be (-177)/(-6) - (-2)/4. Let c be (k/7)/((-3)/(-315)). Let d = -321 + c. Is d a multiple of 33?
False
Let q be (1 + -4)*2/3. Let l be -4*(q + 3) + -6. Is 58*(-1)/(l/15) a multiple of 9?
False
Suppose 23*m - 10*m - 24531 = 0. Suppose -5*t + 3480 = 5*h, -4*h + 2*t + 879 + m = 0. Is h a multiple of 9?
True
Suppose 4*v - 3039 = -j, -5*j + 9*j - 12066 = 2*v. Is 50 a factor of j?
False
Suppose l - u = 6*l - 51, -5 = -5*u. Suppose 357 = l*n - 33. Is 13 a factor of n?
True
Let n(h) = h**3 + h + 123. Suppose -27 = 5*w - 2. Let i be (0/(4 + w))/4. Does 19 divide n(i)?
False
Does 103 divide (-152)/(-133)*4326/4?
True
Let x = 14659 + -8016. Is x a multiple of 73?
True
Suppose 6*z - 70*u + 73*u = 72975, 0 = -4*z + u + 48635. Is 16 a factor of z?
True
Let r(w) = w**2 - 11 + w - 2 + 1. Let y be r(0). Does 14 divide 210/12*y/(-5)?
True
Let y(p) be the first derivative of -p**4/4 - 4*p**3/3 + 9*p**2/2 + 2*p + 46. Let t be y(-6). Suppose -3*x = -q + t, -4*q + 2*x = 29 - 89. Is q even?
True
Let g(c) = -36*c**2 - 9*c - 10. Let l be g(9). Let k = -1878 - l. Does 78 divide k?
False
Let x(d) = 820*d**2 + 531*d - 1. Is 15 a factor of x(-6)?
False
Suppose -2*j = 4*q - 84, -2*q + 5*q = 5*j - 158. Let c = 222 - j. Suppose -n = 4*x - 396, -2*x + 6*n = 9*n - c. Does 7 divide x?
False
Suppose -4*b + 354 = -2*d - 566, 0 = -4*d - 8. Suppose -933 + b = -8*w. Does 11 divide w?
True
Let v(w) = -5884*w - 177. Does 66 divide v(-3)?
False
Let s = -13 - 11. Let p = s - -29. Suppose 0 = -o + p*h - 3*h + 140, -4*o + 548 = -4*h. Is 24 a factor of o?
False
Let d be (-3*7)/(4 - 58/14). Let n = 282 - d. Suppose 6*l = 9*l - n. Does 4 divide l?
False
Let v = -30546 - -31976. Is v a multiple of 2?
True
Let i(j) = -j**2 + 4*j - 4. Let k be i(3). Let y(l) = -25*l**2 - 4*l + 2. Let z(u) = -u**2 + u - 1. Let v(a) = -y(a) - 3*z(a). Does 4 divide v(k)?
True
Suppose 5*z - 13*z = -72. Suppose 4*l + 32 = 2*w, -z*w + 3*l = -13*w + 86. Is 8 a factor of w?
False
Suppose u - 4*p = 3031 + 3364, -3*p = -2*u + 12775. Does 41 divide u?
False
Suppose p - 32 = -5*f + 2*p, 0 = 2*f - 4*p - 2. Let h be (f/(-3))/(1 + 8/(-6)). Is 18 a factor of 5*h/(-175) - (-721)/5?
True
Let w(a) = 79*a - 5597. Does 59 divide w(82)?
False
Let x(t) be the second derivative of 5*t**3/3 + 93*t**2 + 5*t - 1. Is 2 a factor of x(-7)?
True
Suppose -j = -2*q + 215, 0 = -2*q - 3*j + 70 + 149. Let d = 113 - q. Let i(l) = 59*l - 49. Is 38 a factor of i(d)?
False
Is 8151 + 64/4 + (-1 - 6) a multiple of 120?
True
Let d(o) = 962*o + 10037. Does 112 divide d(35)?
False
Suppose -9*b = -h + 20741, -h + b + 28079 = 7378. Is 13 a factor of h?
True
Suppose -21*m + 48098 = -0*m - 6187. Is m a multiple of 57?
False
Let f = 4942 - 3852. Does 9 divide f?
False
Let f be ((-4)/(-10))/((-50)/(-125)). Is 28 a factor of f + -1 + -15*(-306)/27?
False
Is ((-714)/35)/((-204)/14960) a multiple of 34?
True
Suppose -5*j + d + 8544 = 0, 5*j + 1712 = 6*j - d. Suppose 3*z = 5*a + 7*z - 