*y - 3. Does 7 divide x(l)?
True
Let l(b) = -b**2 - 52*b - 228. Let t be l(-41). Suppose -5*g - 2*c + 2759 = 0, 4*g - 1977 = 2*c + t. Is g a multiple of 26?
False
Let w(m) = -m**2 - 8*m - 5. Let r(b) = -b**2 - 7*b - 14. Let g be r(-5). Let o be w(g). Suppose -x + o = 1. Does 5 divide x?
True
Suppose 107*f = 103*f + 2480. Suppose 136*d = 132*d + f. Does 25 divide d?
False
Let n(c) = 14*c - 387. Let k be n(14). Let b = 512 + k. Is 8 a factor of b?
False
Let b(j) = j**2 - 5*j - 2. Let p be b(-1). Suppose p*s = -20, -2*s - 380 = -4*d + 630. Is d a multiple of 10?
True
Is 16 a factor of ((-1)/(-12)*74)/((-89)/(-95586))?
False
Let o(f) = f**3 + 60*f**2 - 24*f + 1083. Is 42 a factor of o(-59)?
False
Suppose 4*u = -2297 + 6601. Suppose d + 1 = 0, 2*j - u = -2*d - 2. Suppose 4*c + 4*n = 544, 0 = 4*c + 4*n - 6*n - j. Is c a multiple of 24?
False
Suppose -48 - 4 = -u. Suppose -5*o + u = 42. Suppose 0 = -13*t + o*t + 2244. Does 34 divide t?
True
Is 3 a factor of -18 + 2389 + -16 + 9?
True
Does 189 divide 393008/7 - (-2 - (11 - 24))?
True
Let g(a) = -a**2 + 0*a**2 + 4*a + 2 - 15*a. Let s be g(-7). Suppose -4*b + x = -66, -2*b + 0*b - x + s = 0. Is b a multiple of 3?
False
Let g be (-725)/35 + ((-8)/14)/2. Let a = 21 + g. Suppose a = 24*n - 20*n - 696. Is 22 a factor of n?
False
Suppose -d + 4*d + 3 = 3*m, -5*m + 5 = -3*d. Let y be d*4/16 - -4*3. Is 9 a factor of y/(-15) + 4074/30?
True
Let z(s) be the first derivative of 2*s**3/3 + s**2/2 + 2*s + 8. Let m(b) = -b**3 - 6*b**2 - 44. Let g be m(-7). Is 57 a factor of z(g)?
True
Let m be 9/12 + (-16479)/(-12). Suppose -3*b - 2043 = -3*t, 3*t - 5*t - 4*b + m = 0. Suppose 0*l = -5*i - l + 890, 4*i = 5*l + t. Is 11 a factor of i?
False
Suppose 6*f - 4190 = 652. Is 59 a factor of ((-12)/16)/((-12)/32) + f?
False
Suppose -3*o + 36479 = 4*d, -d = -10*o + 7*o - 9146. Is 12 a factor of d?
False
Let x(m) = -22*m**3 + 4*m**2 + 14*m. Let h be x(-5). Suppose w - 1743 = -2*u, -3*w + 709 + h = 4*u. Is u a multiple of 87?
True
Suppose 0 = -5*x + 5*c + 4990, x = 3*c + 487 + 523. Is x a multiple of 31?
True
Let a(h) = -h**3 - 11*h**2 - 34*h - 17. Let v be a(-13). Suppose -v = -3*f - f + 5*r, 808 = 4*f + 4*r. Is f a multiple of 7?
False
Let h = -160 + 287. Let n = h + -116. Suppose n*f - 2040 = -9*f. Is f a multiple of 17?
True
Let d(f) = -2*f + 228. Suppose 36*o - 40*o + 132 = 0. Is d(o) a multiple of 8?
False
Is (-2)/(-4)*((-29628)/(-66) + 0)*11 a multiple of 7?
False
Let j be -13 - (-6)/(-9)*3. Let i be 2 + (j/(-5) - 1). Suppose 5*p - 117 = -4*r + 29, 5*r + i*p = 178. Is 11 a factor of r?
False
Suppose 237 = 11*v + 3262. Let l = v + 527. Is 6 a factor of l?
True
Suppose 135900 = 4*z - 3*y, 4*y - 33937 = -16*z + 15*z. Is z a multiple of 169?
True
Let d be (-16030)/(-25) - 2 - (-12)/15. Suppose 26*v = 36*v - d. Is v a multiple of 9?
False
Let a(g) = -18*g + 1887. Is a(-93) a multiple of 205?
False
Is 10 a factor of (2 + ((-51)/15 - -1))/((-177)/1053150)?
True
Suppose 518*j = -1735 + 367443. Is 13 a factor of j?
False
Suppose 34*r = 5*r - 19430. Let q = -542 - r. Is 4 a factor of q?
True
Suppose 2*g - 8*g - 41*g = -753504. Is g a multiple of 78?
False
Let f = -89 - -137. Suppose -260 = -15*q - 11*q. Suppose 2*m - q = 0, -s - m + f = -4*m. Does 15 divide s?
False
Let y(j) = -31*j**3 + 6*j**2 + 3*j - 3. Let o be y(4). Let z be (-6)/(-33) - o/11. Suppose -176*u + z*u = -360. Does 15 divide u?
False
Let p(g) = -545*g - 1175. Does 40 divide p(-7)?
True
Let k be (154/(-105))/(-11) + (-73)/(-15). Suppose 2*r + 774 = k*n + 29, -5*n - 2*r + 745 = 0. Does 11 divide n?
False
Suppose 26*f = 32458 + 34388. Is 11 a factor of f?
False
Let q(s) = -44*s**2 - 13*s + 21*s + 48*s**2 + 12. Does 5 divide q(-6)?
False
Let y = 168 + -82. Suppose y*f + 2019 = 89*f. Does 10 divide f?
False
Let b(c) = 162*c - 2572. Does 24 divide b(67)?
False
Let s(j) = -j**3 + 5*j**2 + 20*j + 2. Suppose -353*z + 362*z + 45 = 0. Is 23 a factor of s(z)?
False
Let z = 13036 - -15252. Is z a multiple of 16?
True
Let m(c) = 5*c**3 + 275*c**2 - 112*c + 34. Does 8 divide m(-55)?
False
Let x(y) = y - 3. Let r be x(10). Suppose 233 = r*c - 2294. Is 5 a factor of c?
False
Suppose -634*f - 241704 = -658*f. Is f a multiple of 28?
False
Let k = 2253 + -1085. Is 58 a factor of k?
False
Let n = -1091 + 4184. Does 3 divide n?
True
Suppose -5*p = 2*b - 21450, p + b - 5*b - 4290 = 0. Is p a multiple of 11?
True
Let v = -1523 + 803. Does 24 divide (-52)/((15/v)/(2/4))?
True
Is 17 a factor of 14722/8*56/322*23?
True
Is -223*7/21*(-8 + 2) a multiple of 24?
False
Let h(b) = -5*b + 619. Let l(k) = 7*k - 620. Let o(n) = 5*h(n) + 4*l(n). Does 12 divide o(0)?
False
Suppose -10*d + 914 = -276. Suppose 4*u - 161 = d. Is u a multiple of 25?
False
Let y(h) = -h**2 - h + 1. Let n(a) = -a**3 + 4*a - 7. Let s(r) = -n(r) - y(r). Let p be s(-3). Is (-39)/(1/2*p) a multiple of 13?
True
Let r(w) = 82*w**2 + 48*w - 38. Does 27 divide r(-10)?
False
Let m(l) = l**2 - 132*l + 173. Does 14 divide m(-121)?
True
Is (-1 - -8885)/(8*(-33)/(-1980)) a multiple of 10?
True
Suppose 36*q + 4*q - 20880 = 0. Is q a multiple of 21?
False
Suppose -3*l - f + 4126 = 0, -14*l + f + 6882 = -9*l. Is l a multiple of 8?
True
Let y(z) = 14*z**2 - 92*z + 522. Does 43 divide y(-32)?
True
Let x = -2368 + 5464. Is 24 a factor of x?
True
Let r be (-7)/(-3) + 42/63. Suppose r*l - 1979 = -617. Is l a multiple of 18?
False
Suppose -a + 69 = -125. Let k = a - -110. Is 19 a factor of k?
True
Let x(g) = 110*g**2 - 24*g - 136. Does 20 divide x(-4)?
True
Let g be (-150)/(-3)*1 - -5. Let l = g - -127. Does 14 divide l?
True
Let z(i) = -37*i + 0 + 72*i + 90*i - 3. Let u be z(1). Suppose 2*g - g + 5*h = u, 4*h = g - 95. Is 11 a factor of g?
False
Let s(i) = 11*i + 2 + i**3 + 12*i**2 - 4*i + 1. Let u(l) = -l**3 - l**2 + 6*l - 11. Let g be u(2). Is s(g) a multiple of 27?
False
Let h(w) = -30*w - 226. Let a be h(-33). Suppose 3*v - a = 5*p, 3*v + 4*p - 1057 + 329 = 0. Does 53 divide v?
False
Let l = -27780 - -51908. Suppose -5*h + 37*h = l. Is 58 a factor of h?
True
Does 2 divide 14 + 1095/3 - (-2)/1?
False
Suppose -16*s - 4*n - 41250 = -19*s, -3*s = -3*n - 41247. Is 174 a factor of s?
True
Let y = 333 - -154. Let c = y + -334. Is 21 a factor of c?
False
Suppose 129*j - 7040 = 2377 + 3354. Is j a multiple of 11?
True
Let m = 593 + -369. Let g = 30 + m. Is 27 a factor of g?
False
Let s(w) = -16*w**2 - 12*w + 9. Let t(c) = -13*c**2 - 13*c + 10. Let i(p) = -4*s(p) + 5*t(p). Is i(-15) a multiple of 4?
True
Let h be 18510/9 - (-3 - (-22)/6). Suppose -5*z = -5*x - 319 - h, -2*z - 2*x = -954. Is z a multiple of 14?
True
Let w(m) = 784*m**2 + 29*m + 29. Does 49 divide w(-1)?
True
Let q = 14852 - -3481. Does 189 divide q?
True
Does 6 divide (40 + (3 - 13))*96/10?
True
Let n be (-3)/5 - (-8)/5. Let s be 3 + (-5 - 1)/n. Is 10 a factor of (-4)/s*(-19 - -79)?
True
Let i be (-76)/(-10) - (-4)/10. Let p(k) = 42 + 630*k + k**2 - 207*k - 206*k - 212*k. Is 26 a factor of p(i)?
False
Suppose 0 = 59*v + 63*v - 120*v - 9810. Does 109 divide v?
True
Let t = 37 - 84. Let f = -105 + 88. Let i = f - t. Does 4 divide i?
False
Let u be ((-3)/(-2))/(6/(-8)) + 1. Is 39 a factor of -6 + 1064 - (u + 6)?
True
Suppose p - 4*b = 4411, 0 = 4*p + 2*b - 10352 - 7310. Suppose s = -q + 1417, -p + 1569 = -2*q - 5*s. Is 67 a factor of q?
False
Let x be ((-13995)/(-12))/5 + (-6)/(-8). Suppose -2*q + 396 = 3*q - 3*c, -3*q + 3*c = -x. Is 27 a factor of q?
True
Suppose -3*u - 4*y + 11 = 0, 5*u - 13*y - 29 = -17*y. Suppose 0 = 3*t - u, 3*t = -4*x + 7*t + 2480. Is 82 a factor of x?
False
Suppose 2*b = -p + 5, 4*b - 14 = 2*p - 48. Let k(c) be the third derivative of c**4/24 + 17*c**3/3 + 505*c**2. Is k(p) a multiple of 9?
True
Let r be (-84)/(-15) + 8/20. Suppose r*o + 105 = 3*o. Is 7 a factor of 82/(-5)*o/14?
False
Let d(k) = -2*k**2 - 2*k + 191. Let z be d(0). Suppose -4*q = -4*b - 523 + z, 0 = 3*q - 5*b - 247. Is q a multiple of 28?
True
Let o(l) = l**2 - 14*l + 25. Let x be o(12). Let h be x + 58 + (-10 - -7). Let r = h + -18. Does 19 divide r?
True
Let q = -1711 + 1780. Is 4 a factor of q?
False
Suppose 6*s - 21*s = -3360. Let k = s + -194. Is 15 a factor of k?
True
Suppose 3*x - 185 = -3*u + 10279, -4*u = x - 3491. Is 11 a factor of x?
True
Let s = 38512 - 26456. Is 274 a factor of s?
T