. Is b a multiple of 22?
True
Suppose 34*l - 13*l = 756. Suppose -37*o = -l*o - 295. Is o a multiple of 26?
False
Let o(l) = -l**3 - l**2 + 4*l + 3. Let y be o(-2). Let w = -3177 - -5282. Is y/6*2 - w/(-15) a multiple of 10?
True
Let r(y) be the second derivative of 2*y**4/3 + y**3/2 + 3*y**2 - 179*y. Is r(-2) a multiple of 32?
True
Let q be 1/((4/10)/((-32)/(-10))). Suppose 0 = -q*c - c + 585. Let j = c - 31. Is j a multiple of 34?
True
Let t(r) = 13*r**3 - 3*r**2 + 3*r + 3. Let h be t(3). Suppose 2*c + 4*w - h = 0, 3*w + 477 = c + 2*c. Is c a multiple of 28?
False
Let z(j) = j**3 + 19*j**2 + 47*j + 18. Let o be z(-10). Let t = -196 + o. Does 14 divide t?
True
Suppose -4*x + 0 = -16. Suppose 5*c - 5*f - 15 = 0, -2 = -2*c + x*f + 2. Suppose j - c*j + 199 = -5*m, -5*j + 270 = 4*m. Is j a multiple of 10?
False
Let w be (-538)/(-6)*6/(-4)*-2. Let l = w - 91. Is (-2 - l)/6*(-6)/10 a multiple of 3?
True
Let x(u) = 53*u**2 - 55*u + 117. Is x(12) a multiple of 51?
True
Suppose 3*t - 37 = -34. Let p(s) = 137*s**3 + 2*s**2 + 9*s - 7. Let j(u) = 138*u**3 + u**2 + 8*u - 6. Let g(m) = 5*j(m) - 4*p(m). Is g(t) a multiple of 7?
False
Suppose 196871 + 35243 = 43*n. Is 6 a factor of n?
False
Let c be (1/((9/(-3))/(-96)))/2. Does 19 divide ((-6)/(-3))/(-4) - (-1832)/c?
True
Suppose 148*d = -3*c + 153*d + 23986, -3*d - 6 = 0. Does 54 divide c?
True
Let o be 0/3*(-2 + 3). Suppose 4*k = 4*q, k = -2*q - o + 6. Suppose 0 = 3*m - 2*f - 473, 468 = m + q*m - 3*f. Is 23 a factor of m?
True
Let q = 261 - -214. Suppose -i - 3*g = -483, 3*g - 2854 = -5*i - q. Is i a multiple of 14?
False
Suppose 2*h - 937 = 4*i + 3*h, -5*h = 3*i + 707. Is (-5046)/(-13) - (-36)/i a multiple of 54?
False
Let n be 10*1 + 40/(-11 - -1). Suppose n*s - 437 = 715. Does 16 divide s?
True
Suppose 9331*x - 9336*x = -31620. Is x a multiple of 22?
False
Let g(n) = 17*n + 2360. Is 42 a factor of g(107)?
False
Suppose -8*u - 4*p + 20821 = -3*u, 5*u - p = 20826. Is u a multiple of 49?
True
Suppose -3*s - 3*u - 24 = 0, s + 14 = u + u. Let d(h) = 2*h**2 + 15*h + 8. Let z be d(s). Suppose 15*j = 13*j + z. Does 8 divide j?
False
Let l be (8/12)/((-1)/39). Let f = 28 + l. Does 12 divide 3 - (-1 + f)*-21?
True
Suppose -2*z = -2*i + 16152, 4*i - z - 10716 = 21588. Is i a multiple of 39?
False
Suppose -2*y + 5*v + 7660 = -2341, 3*v - 25018 = -5*y. Is 48 a factor of y?
False
Let g = -45 + 75. Suppose -5*w + g = -215. Suppose -s + w = -36. Is s a multiple of 17?
True
Let i(u) = -8*u**3 - 5*u**2 + 4*u - 445. Is 20 a factor of i(-13)?
False
Let n be 750/(-195) - (-4)/(-26). Let i(j) = -j**3 - 2*j**2 - 7*j - 7. Does 3 divide i(n)?
False
Suppose 25*j + 2088 = 30*j + s, 405 = j - 4*s. Is j a multiple of 28?
False
Let b(x) = -21*x**2 - 55*x - 406. Let i(t) = -8*t**2 - 18*t - 135. Let a(q) = 3*b(q) - 8*i(q). Is a(-7) a multiple of 8?
False
Suppose 9*j + 4*j = -j. Suppose j = -8*s + 15*s - 1708. Does 12 divide s?
False
Let t(o) = -o + 7. Let d(z) = -z + 7. Let m(v) = 5*d(v) - 4*t(v). Let y be m(6). Does 20 divide 6/(-8) + 239/4 + y?
True
Let a = 303 - 277. Let c = 39 + a. Is 6 a factor of c?
False
Suppose -103*h = 21*h - 315456. Does 48 divide h?
True
Is 34 a factor of (3451/28)/((-77)/120 + 4/6)?
True
Suppose -46644 = -3*h + 2*z, -9*z = -5*z + 36. Is h a multiple of 10?
False
Let c = 73 - 70. Suppose 13*i - 10*i = r - 134, c*i = 0. Is 2 a factor of r?
True
Let g(y) = -2*y**3 - 10*y**2 - 7*y - 8. Let s be g(-8). Let u = s + -211. Is u a multiple of 22?
False
Suppose 3*d + 17225 = 3*f - 47527, 2*d + 107896 = 5*f. Is f a multiple of 58?
True
Suppose 3*k - 10*k - 7*k = 0. Suppose x + 11*x - 2304 = k. Is x a multiple of 16?
True
Suppose -12*p = 4*u - 78036, -20 = 2*u - 8. Is 115 a factor of p?
False
Let i be 20/150 - (-4)/(-30) - -14. Is 2/7 - ((-1256)/i - -6) a multiple of 5?
False
Let s = -45 - -134. Is 18 a factor of s?
False
Suppose 12 = -3*b, 5*v + 860*b - 19913 = 862*b. Is v a multiple of 207?
False
Suppose -13*x + 8*x - c = -32809, 2*c = 8. Is x a multiple of 81?
True
Let g(h) = -21 + 2*h + 16 + 3 + 19 + 13. Is g(7) a multiple of 4?
True
Let m(a) = -3*a**3 + 36*a**2 - 12*a - 5. Let u be m(9). Suppose 27*q - 25*q - u = 0. Does 22 divide q?
True
Let h(t) = -t**3 - 13*t**2 + 6*t - 10. Let p be h(-10). Suppose -4*m - 813 + 2941 = 0. Let f = m + p. Does 29 divide f?
False
Let y be 2/4 + 950/4. Let w(f) = f**3 - 16*f**2 + 26*f + 40. Let r be w(13). Let p = r + y. Is p a multiple of 9?
False
Suppose 9786 = 5*h + 3*x + 2321, 2*h = 2*x + 3002. Let l = h + 64. Is l a multiple of 57?
False
Suppose 0 = 2*x + 3*a - 56, -2*a - 4 = -0. Suppose u + 33 = x. Let z(d) = -39*d - 3. Is z(u) a multiple of 25?
True
Does 14 divide 2/(21/8253*9/21)?
True
Is 14 a factor of (-51)/85 + 10018/5?
False
Let d(n) = -n**3 + 2*n**2 + 5*n - 4. Let f be d(3). Suppose 2 + 12 = f*w. Let m(h) = h**3 - 5*h**2 - 7*h - 13. Does 9 divide m(w)?
True
Let a(d) = -17 - 7 + 27*d**2 - 25*d**2 - 17*d. Let u be a(10). Is 15 a factor of 2/u + 610/6?
False
Suppose 271*s - 265*s = 10080. Is s a multiple of 84?
True
Is 22 a factor of 13275 + (6 + 9)/(-30)*20/2?
False
Let q(j) = 7841*j**2 - 14*j - 18. Does 27 divide q(-2)?
True
Let v(q) = -q**3 - 4*q**2 - 8*q - 4. Suppose 5*l + 0*l - 30 = 0. Suppose -2*r + l*c - 2*c - 32 = 0, -50 = 5*r - 4*c. Is v(r) a multiple of 24?
False
Suppose 3*o - 3*x = -72, -2*o - 68 = 3*x - 0*x. Does 76 divide 468 - (-7)/(o/8)?
False
Let v(s) = -13*s**2 - 51*s - 322. Let x be v(-8). Let d = -126 - x. Is 29 a factor of d?
False
Let t = 56 + -49. Let u(b) = -b**3 - b**2 - 2*b**2 + 3*b**2 - 3*b - t*b**2 + 17. Is 15 a factor of u(-8)?
True
Let j = -71 + 63. Let z be -9*(j/24 + (-1 - -1)). Suppose -3*s = 5*u - 428, -z*u + s + 6 + 248 = 0. Does 19 divide u?
False
Suppose -10*d + 5*o + 1550 = -6*d, -5*d - 2*o + 1954 = 0. Suppose 0 = -5*y - 5*m + 1930, -m = y + m - d. Does 7 divide y?
False
Suppose 197*f = 38*f - 328297 + 1546078. Does 37 divide f?
True
Let m = 1355 + -474. Is m a multiple of 23?
False
Let f(p) = 37*p**2 - 14*p + 19. Is f(-8) a multiple of 5?
False
Suppose -8*z = 8 - 32. Suppose -q - 4 = -o - 3*q, 2*q - 4 = -z*o. Suppose 15*w - 13*w - 288 = o. Is w a multiple of 24?
True
Suppose -33 = -2*h - 11. Let o be h/88 - (-2)/(-16). Suppose 106 = -o*r + r + 2*y, 0 = 5*r + 3*y - 516. Does 34 divide r?
True
Let m = 263 + 57. Suppose 7*k - m = -k. Is 2 a factor of k?
True
Suppose -l - 4 = -0, -2*s - l = -2. Suppose 3*p = -2*k + 337 - 70, -529 = -4*k - 5*p. Suppose 254 = 5*r - d + 22, 5*d = s*r - k. Does 47 divide r?
True
Suppose -r = 2*s + 145, 2*s + 2*r - 4*r = -160. Is 7 a factor of (-1908)/(-6) - s/15?
False
Suppose 2*l - 14794 = -4*p, -5*p + 13*l + 18515 = 11*l. Does 16 divide p?
False
Let u(l) = 68*l + 4566. Is u(-6) a multiple of 11?
True
Let i(f) = f**2 + 13*f - 35. Suppose -5*p + 6*p + 5*o + 43 = 0, -5*p = o + 95. Let n be i(p). Suppose -5*v + 15 = -n. Is 7 a factor of v?
True
Suppose 15*q - w + 2416 = 16*q, q - 3*w - 2404 = 0. Does 44 divide q?
False
Suppose -2*z = -3*k - 9157 + 2425, 0 = -z + k + 3369. Is z a multiple of 25?
True
Let d(x) = -x**2 - 2*x + 336. Let w = 217 - 217. Is 14 a factor of d(w)?
True
Let l = 1637 + -1692. Let d be 604/(-7) - (-2)/7. Let g = l - d. Is 17 a factor of g?
False
Let b = -31111 - -43903. Does 78 divide b?
True
Let f = 18 + -11. Let g(a) = -a**3 + 9*a**2 + a - 3. Let b be g(f). Suppose 0*h - b = -3*h. Does 8 divide h?
False
Let z be 687/(-1)*(-30 - -29). Does 15 divide (z/(-5))/(1*(-5)/25)?
False
Suppose -4 = -2*c + 2, -255 = 3*j + 2*c. Let l = 163 + j. Is l a multiple of 19?
True
Let q(h) = 3*h**2 + 3*h - 6. Let i be q(-3). Suppose 4228 = i*n + 508. Let f = -195 + n. Is f a multiple of 12?
False
Suppose 608 - 1958 = -b. Suppose 5*u = 2*n + n - 810, 2*u = -5*n + b. Is 108/n*(-3)/(6/(-20)) even?
True
Suppose 4*y - 95*z - 21831 = -92*z, -5*z = -4*y + 21825. Is 30 a factor of y?
True
Let b = 4078 - 3456. Is 5 a factor of b?
False
Is ((-255)/(-102))/((-25)/(-59220)) a multiple of 42?
True
Let m = 4 + -1. Suppose m*d - 5*v - 64 = 0, -4*v + v = -2*d + 44. Let c = d - 2. Is c a multiple of 13?
True
Let a(m) = 1634*m**2 - 58*m - 145. Is 38 a factor of a(-4)?
False
Let s(g) = -4*g**3 - 6*g**2 + 4*g + 6. Let p be s(-2). Let l(u) be the third derivative of u**5/12 + u**4/12 - 13*u**3/6 - u**2. Does 35 divide l(p)?
