110))/(-2 + (-438)/x) a multiple of 16?
False
Let k(b) = 36*b - 42. Let m(x) = -37*x + 43. Let q(r) = 3*k(r) + 2*m(r). Is 13 a factor of q(5)?
True
Let y = 47 - 48. Let d(i) = -43*i + 3. Let x be d(y). Let b = -4 + x. Is b a multiple of 7?
True
Let z = -316 - -74. Let l be 1/(1*(-1)/(z - 4)). Suppose 154 = 5*r - l. Does 8 divide r?
True
Let i(o) = -5*o + 39. Suppose 184 = -25*f - 116. Is 14 a factor of i(f)?
False
Let p(f) = -54*f + 492. Is 4 a factor of p(-48)?
True
Let m(a) = -3*a**2 + 78*a + 3. Let b be m(24). Let n(t) = -4*t**3 - t - 1. Let u be n(-1). Suppose 3*z + b = 4*y, -y + u*z = -z - 24. Is 14 a factor of y?
False
Is 38 a factor of (-12 - (-858270)/56) + 2/16*-2?
True
Suppose -5*u - 900*z + 6961 = -901*z, 2*u = 5*z + 2789. Does 10 divide u?
False
Let x(v) = -v**2 - 4*v + 12. Suppose -3*o = -o + 12. Let g be x(o). Suppose w - 73 - 18 = g. Is w a multiple of 13?
True
Let d be 1 - -2 - 15/(0 + -5). Let l = d - -1. Suppose 0 = 5*u - l*u + 238. Does 11 divide u?
False
Let q be (-2370)/(-10)*(-2)/(-6). Let b = q + 164. Suppose 11*f - b = 219. Is 42 a factor of f?
True
Let p = 3 + -7. Let d(m) = 31*m - 1652. Let f be d(52). Is 23 a factor of (-10)/p + (-2660)/f?
True
Let m = 17202 - 15911. Is 29 a factor of m?
False
Suppose 10*w = 6*w - 352. Let n = w + 188. Is 10 a factor of n?
True
Let b(j) be the third derivative of 19*j**5/60 - j**4/24 + j**3/6 + 147*j**2. Let d be (-6)/4*(-4)/6. Does 15 divide b(d)?
False
Let h be (-1030 - (-3 - 6)) + 9. Let i = h - -1642. Does 6 divide i?
True
Let j(r) = 2*r**2 - 5. Let s be j(-2). Let c(i) = -i**2 + 4*i + 1. Let q be c(s). Suppose q*l = 74 + 246. Is l a multiple of 20?
True
Let v(z) = z**3 + 19*z**2 + 39*z + 32. Let r be v(-16). Does 14 divide (r/10)/(((-105)/275)/(-21))?
False
Suppose 0 = -3*v - n + 23563, 3*n + 48198 - 8931 = 5*v. Is v a multiple of 42?
True
Suppose 6*j + 228690 = -2*j + 63*j. Is 63 a factor of j?
True
Let h be -2*105/(-147)*7/2. Suppose 14*p - 3*q - 1548 = 9*p, 0 = -p + h*q + 292. Does 24 divide p?
True
Suppose -40821 = 74*h - 290962 - 397211. Does 27 divide h?
True
Suppose 41*j - 47*j + 4386 = 0. Suppose 0 = -736*s + j*s + 570. Is s a multiple of 57?
True
Suppose 12 + 11 = -c + 4*q, 0 = -5*c + 5*q - 40. Let s(y) = -5*y**3 + 3*y**2 - 11*y - 6. Does 27 divide s(c)?
True
Let r(k) = -k**3 + 39*k**2 - 19*k - 74. Does 46 divide r(30)?
False
Let f(d) = 2*d**3 - 79*d**2 + 38*d + 42. Let a be f(39). Suppose u = 4*i - 933, 6*i - 8*i = a*u - 477. Is 26 a factor of i?
True
Let f be (-1)/(13*36/(-466) + 1). Suppose 4*j + f = 1265. Suppose 2*v + v + 3*d - j = 0, 0 = v - 2*d - 80. Does 14 divide v?
True
Suppose -z = 3*m - 3261, 7*m - 3*m = 5*z - 16324. Does 16 divide z?
True
Suppose 2*c - 14726 = -5*g + 4966, 3937 = g - c. Does 50 divide g?
False
Let w be (-2)/(-12) + 13/(-6). Let n be (9/(-6))/(w/(0 + 4)). Suppose 0 = -n*j + 148 + 26. Is 29 a factor of j?
True
Suppose 1280 = 3*f + 20. Suppose 0 = -0*t - 12*t + f. Is t a multiple of 9?
False
Let u = 5528 + -4626. Does 19 divide u?
False
Let z(w) = -4*w**3 - 8*w**2 + 15*w + 40. Does 15 divide z(-7)?
True
Suppose 54*q - 7514 = 28*q. Is q a multiple of 17?
True
Suppose -12*i = -2175 + 1095. Suppose 0 = -3*v - 5*z - 16, -v - 2*z - z - 12 = 0. Suppose v*l = 126 + i. Is 12 a factor of l?
True
Suppose -72 + 52 = -10*h. Suppose -h*n + 927 = -0*t + 5*t, n - 4*t - 457 = 0. Is n a multiple of 29?
False
Let z(n) = 6995*n**2 - 39*n - 41. Does 189 divide z(-1)?
True
Suppose -3*k + k = -2*s, -5*k = -4*s - 2. Let n(g) = -25 - g**2 - g + 25 + 7*g**k. Does 23 divide n(4)?
True
Suppose -7*j - 2 = -2*y - 8*j, 4*y = -j + 6. Suppose 0 = -2*i - y*l + 308, 3*l = 5*i - l - 788. Does 35 divide i?
False
Let f = -8384 - -13220. Does 62 divide f?
True
Let p(b) = 14*b + 151. Let c be p(9). Let q = 253 + c. Is q a multiple of 38?
False
Suppose -10437 + 31857 = 9*x. Is x a multiple of 7?
True
Let z(o) = -9*o**3 - 6*o**2 + 42*o + 15. Does 24 divide z(-8)?
False
Let c(b) = -b**3 + b + 10. Let n be c(0). Suppose -1550 - 1150 = -n*d. Suppose -2*t + 4*t = d. Is t a multiple of 45?
True
Suppose -66*i - 62*i + 24996 = -116*i. Does 76 divide i?
False
Does 49 divide -2 - (-220547)/6 - (-142)/852?
False
Suppose -2*k - 2*k - i + 11 = 0, 4*i + 16 = 4*k. Suppose -5*b = -k*l - 15, -1 = -4*l - 3*b + 8. Suppose l = 5*x - 199 + 49. Is 10 a factor of x?
True
Suppose 4*q = -4*s + 3*q + 193, -4*q + 86 = 2*s. Let j = -46 + s. Suppose -j*n + 5*t = -129, -2*t - t = 3*n - 153. Does 12 divide n?
True
Suppose -4*g + 4*w = 1160, 2*w - 571 = 2*g + 3*w. Let q be -1*(1 - 0)*-470. Let b = g + q. Is 42 a factor of b?
False
Let m(p) = 2*p**2 + 79*p + 511. Does 137 divide m(-34)?
True
Let v be -186*(-10)/(-45)*3/(-2). Let p = -37 + v. Let a = 47 + p. Does 24 divide a?
True
Let s(d) = -d + 5. Let n be s(0). Suppose -2*o + 23 = n*m, 12 + 3 = 3*m. Let b(t) = 13*t**2 - 2*t - 2. Is 2 a factor of b(o)?
False
Let p be 7*5/(-5) - -341. Let m = p + 20. Is 6 a factor of m?
True
Suppose -2*x = -4*b - 8, -3*b = -x + 5 + 4. Let q be (-1)/4*-4*(-1 - x). Suppose 0 = 4*d + 3*i - 403, i = -2*d + q*d - 312. Is 26 a factor of d?
False
Let u(i) = i**2 - 9*i + 6. Let v be u(7). Let d(j) = -j**2 - 13*j - 11. Let o be d(-11). Let m = o + v. Is m even?
False
Let p = -18 + 16. Let l be (-6)/(-6) - (p*1 - -1). Suppose 3*i + l*u - 112 = 3*u, i + u - 32 = 0. Is i a multiple of 12?
True
Let x = 33 + -33. Suppose -7*a + 476 = -x*a. Let o = -5 + a. Is 7 a factor of o?
True
Let j(k) be the first derivative of 2*k**3/3 + k**2 - 12*k - 29. Let g be j(-13). Does 10 divide (20/(-25))/((-8)/g)?
True
Suppose -v = 4*q - 17 - 0, 106 = 5*v - q. Let b = -16 + v. Suppose -91 = -b*p + 269. Is p a multiple of 24?
True
Suppose t + 4*m = 12, -2*m + 13 = t + 3*m. Let j be 8*t/(-10) + 14/35. Is 12 a factor of (44/(-8) - j)*302*1?
False
Suppose 88 = -4*n - 4*u, -84 = 5*n - 2*u - 2. Is 4 a factor of ((2 - 5) + n)/(-3)?
False
Is 1*(-3)/6*-10 - -10614 - 4 a multiple of 15?
False
Let o = 149 - 119. Suppose 1357 = -o*p + 4147. Does 9 divide p?
False
Let g(m) = m**3 - 6*m**2 + 12*m - 16. Let y be (0 + (-8)/1)*(-20)/2. Suppose -7*r - 3*r + y = 0. Does 13 divide g(r)?
True
Let d = 474 - -51. Suppose -3*x - 521 = -4*n, 0*n - 4*n - x = -d. Does 42 divide n?
False
Let s(j) = -38*j. Let l be (6/(-2) - 0) + -5. Is 8 a factor of s(l)?
True
Does 14 divide (16 - (14 + -10)) + 5957?
False
Let i(f) = -480*f - 132. Let m be i(6). Is 30 a factor of (72/(-20))/(m/(-1005) + -3)?
False
Let c(i) = i**3 + 7*i**2 - 8*i + 3. Let n be c(-8). Let w be 2 - (-12)/(n/(-1)). Is 5 a factor of 560/(-42)*3/w?
True
Suppose 161*u - 158*u = -t + 3871, 4*u + 3*t - 5163 = 0. Does 6 divide u?
True
Let x be 10/(-20) - 249/6. Let j = x + 42. Suppose j = -0*m - 6*m + 156. Is m a multiple of 7?
False
Let z(o) be the second derivative of o**4/12 - 2*o**3 - o**2/2 - 19*o. Let m be z(11). Is 10 a factor of (-81)/m + -7 + 173/4?
False
Suppose 14*z = 21*z - 14. Suppose 3*o - 3*j = -21, 5*o + 3*j + 3 = z*o. Is 39 a factor of 4/(-16) - (564/(-16) + o)?
True
Suppose 15*q - 4*c - 2112 = 18*q, -3*q = -c + 2097. Let h = q - -1429. Is h a multiple of 29?
False
Let g be (10/4)/((-1)/(-4)). Let t = g + -30. Is -30*(t/(-25))/(-1) a multiple of 11?
False
Let m(l) = 5*l + 42. Let i be m(-9). Is (2 - i) + 78 + -7 a multiple of 19?
True
Let z be (-13)/26*(5 + 1). Let y be 3 + (-2)/(-5 - z). Let n = y + 12. Is n a multiple of 3?
False
Let h = 70 - -721. Is 7 a factor of h?
True
Let w = 23901 + -13233. Is w a multiple of 15?
False
Suppose -4 = x + 3*d - 11, -4*x = 4*d - 28. Suppose 2448 = x*r - 6666. Does 58 divide r?
False
Let s = 26 - 26. Suppose 2*z = -o - 955, -2*z + s*z + 4*o = 950. Let b = -287 - z. Is 42 a factor of b?
False
Suppose 3*j + 15 = -3*t, 0 = -t - 3*j + 1 - 6. Let x = -1 - t. Suppose -x*a - 214 = -614. Is 20 a factor of a?
True
Does 17 divide (-12)/28 + 12984/14?
False
Let x be 6 + (-1 - 3) + 0. Suppose -3*a = -x*r + 55, 3*r = a + 40 + 25. Suppose q + 11 = k - 0*q, -2*q = 5*k - r. Is 3 a factor of k?
True
Let u = -274 - -274. Suppose 9*v - 158 - 130 = u. Does 8 divide v?
True
Suppose 0 = -8*k + 162 - 1122. Let w = 240 - k. Is 36 a factor of w?
True
Does 78 divide 114280/24 + -6 + (-21)/(-9)?
True
Is 43 a factor of (53 + -135)/((-2)/43)?
True
Suppose u - 3*p - 212 = -0*p, 0 = -4*u - 3*p + 818. Let d =