t b = u - o. Is b a multiple of 10?
False
Let c = -42 - -83. Suppose -11 = -2*h - 3*a + 3, -4*a = -8. Suppose h*f - c = 23. Is f a multiple of 16?
True
Suppose 0 = 2*g, 3*g + 4218 + 2181 = q + 7*g. Is q a multiple of 103?
False
Is 56 a factor of 9 - 718200/(-10 + -15)?
False
Let k be -34 - -27 - (1 - 2). Does 7 divide 1316/k*(15/30 + -2)?
True
Let n = 62594 + -43917. Is n a multiple of 32?
False
Let u = 115 + -110. Suppose u*f - 1458 = 2*f. Suppose -3*w = 2*p - 743, 0*w - p = -2*w + f. Is w a multiple of 30?
False
Let t be (17112/(-30) - (-3)/(-5))*-2. Let v = t - 699. Is 50 a factor of v?
False
Suppose -5*z = -8*o + 6*o - 773, 0 = 4*z - 2*o - 618. Suppose 0 = -w + 5*m + z, m - 118 = -w + 19. Does 5 divide w?
True
Let t = 7595 - 3940. Suppose t = 5*m + 3*w, -54*m = -59*m + 4*w + 3655. Does 43 divide m?
True
Let k(j) = 18*j**2 + 5*j + 18. Does 75 divide k(-12)?
True
Let z(j) = -j**3 + 4*j**2 + 6*j - 9. Let h be z(5). Let k(a) = 273*a + 735. Let i(s) = -17*s - 46. Let l(r) = h*k(r) - 63*i(r). Is 21 a factor of l(-12)?
True
Let m = 511 - 477. Suppose -33*o - 912 = -m*o. Is 19 a factor of o?
True
Let t = -1427 - -3722. Suppose -4*j - 5*j = -t. Is j a multiple of 3?
True
Let j be 1*((-8)/(-4) - 1) - 1477. Let z = -992 - j. Is z a multiple of 23?
False
Suppose -11348 = -2*s + 5*j, -36*s = -37*s + 5*j + 5684. Does 24 divide s?
True
Let i be (-2)/(-6) + 364/(-39). Let m be 228/54 - (-2)/i. Is m - (-168 - -3)/5 a multiple of 13?
False
Suppose -18*u = -26949 + 4719. Is 3 a factor of u?
False
Let v(h) = 3064*h**3 + 18*h**2 - 62*h + 15. Does 101 divide v(3)?
True
Let y(v) = -2*v**2 + 47*v - 84. Let w be y(16). Let x be (-2)/10 + (-518)/10. Let h = w + x. Is 26 a factor of h?
True
Let t(q) be the third derivative of -13*q**2 + 1/24*q**6 + 0 + 0*q**4 - 5/6*q**3 + 0*q + 1/15*q**5. Is t(3) a multiple of 16?
False
Let u(b) = -2*b**3 + 60*b**2 + 15. Let q be u(30). Let a(n) = -n**2 + 43*n - 118. Does 19 divide a(q)?
False
Let b = 28853 + -17941. Is b a multiple of 11?
True
Does 122 divide (79910/(-8))/(25/(-120))?
True
Suppose -30 = -5*m, m = 13*a - 11*a - 19874. Does 30 divide a?
False
Suppose -17*d + 31034 = -1504. Is 22 a factor of d?
True
Let y be -11 - -5 - -9 - (2 - -1). Suppose y = -270*x + 274*x - 3628. Does 20 divide x?
False
Let q be (-77)/28 + (-2)/8. Is 585/20 + q*(-5)/(-60) a multiple of 2?
False
Let a(b) = 1 - 12 - 644*b**2 + 4*b + 558*b**2. Let s be a(2). Is 58 a factor of 0 - s - (-1 + 7 - 7)?
True
Is 49 a factor of -7*-1*1*(-25)/((-350)/88102)?
True
Suppose -7*n - 1585 = -12*n. Let k = n - 163. Is k a multiple of 14?
True
Let g = -8287 + 20139. Is 113 a factor of g?
False
Let g(s) = -s**3 + 15*s**2 + 25*s - 2. Let y be g(15). Let c = y + -93. Is 35 a factor of c?
True
Let w(k) = -3*k + 5 - 8*k**2 - k**3 - 4*k + 9. Let m(r) = -r**3 + 15*r**2 - 17*r + 34. Let u be m(14). Does 12 divide w(u)?
False
Let k(s) = s**2 + 41*s + 532. Let x = -617 + 617. Is k(x) a multiple of 14?
True
Let c be -2*(4 - (-6979)/(-14)). Let j = c + -359. Is j a multiple of 45?
True
Suppose 0 = -4*k + 5*k + 5*k. Suppose 10*r - 3205 - 2175 = k. Is r a multiple of 44?
False
Is -23 + 51 + -23 - 440*-14 a multiple of 9?
True
Let z(k) = 14*k**2 - 130*k - 800. Is z(44) a multiple of 31?
True
Suppose 17*o = 24717 + 108495. Is 7 a factor of o?
False
Suppose -5*q - 65 = -3*f, 4*f - 4*q = -f + 91. Suppose 2*y + 40 = -3*y. Is y*(-1 + f/(-4)) a multiple of 6?
False
Let d(i) = 101*i**2 - 13*i - 46*i**2 + 9 - 56*i**2. Is 8 a factor of d(-9)?
False
Suppose -3*d + 21 = 9. Suppose -4*c = 6*j - 2*j - 1144, 0 = -2*j + d*c + 560. Suppose -5*v = -j - 166. Does 10 divide v?
True
Let b = 7027 - 3298. Does 46 divide b?
False
Let l(s) = -992*s - 207. Is l(-2) a multiple of 6?
False
Suppose 0 = -r + 5*d - 13, d + 34 = -3*r - 53. Let q(j) = -j + 20. Is q(r) a multiple of 6?
True
Suppose -157*f + 23*f + 1003339 + 55797 = 0. Is f a multiple of 13?
True
Let t(f) = 11*f - 52. Let d be t(5). Suppose 9*m = 4*m + 4*q + 2379, d*m + 3*q = 1422. Is 36 a factor of m?
False
Let m(v) = v**3 - 6*v**2 - 15*v - 12. Let k be m(8). Let c be 0/(k/(-4 - 0)). Suppose c = -4*h - 2*b - b + 133, -5*b = -2*h + 99. Does 4 divide h?
False
Suppose -145348 = -284*s + 105*s. Does 29 divide s?
True
Let v(m) = -m**3 - 4*m**2 - 3*m + 3. Let r(w) = 31*w - 6. Let i be r(2). Let l = i + -60. Does 2 divide v(l)?
False
Suppose 92089 = 4*x - 3*t, 5*x + 28874 = 2*t + 143987. Is 91 a factor of x?
True
Suppose 0 = -52*o + 53*o - c - 125, -4*o - 2*c = -506. Is o a multiple of 7?
True
Is 6 a factor of (8 - (90 + 11))*(-13)/1?
False
Suppose 0*y = 4*y - 32. Suppose 5*p - 40 = 3*i, 5*i + 17 = -y. Suppose -8*q + p*q + 69 = 0. Does 6 divide q?
False
Suppose 3*f + 2*b - 11346 = 4*b, b + 18903 = 5*f. Suppose -4*s = 5*s + f. Let h = -299 - s. Is 28 a factor of h?
False
Suppose -2*n - n - 990 = 0. Let p(r) = -45*r**2 + r + 2. Let g be p(-2). Let c = g - n. Does 15 divide c?
True
Suppose 5417 = 3*w - 285*j + 286*j, -3611 = -2*w - j. Is w a multiple of 42?
True
Suppose 13937*v = 13896*v + 10824. Is 44 a factor of v?
True
Let m = 526 - 252. Let s = m + -148. Is 9 a factor of s?
True
Let j = 9215 - 4557. Is j a multiple of 17?
True
Let v(d) be the second derivative of d**4/12 - 2*d**3/3 - 31*d**2 - d. Suppose -15*x + 23*x = -22*x + 540. Is v(x) a multiple of 38?
True
Let i(b) = 5*b - 94. Let s be i(12). Is 50 a factor of (-2*(-75)/(-24))/(s/2448)?
True
Let i = -6214 + 13656. Is i a multiple of 122?
True
Let b(a) = 4*a**2 - 83*a + 122. Let i(j) = j**2 - 21*j + 30. Let y(n) = 2*b(n) - 9*i(n). Does 23 divide y(6)?
False
Let x be (-6 - (-9 + 10)) + 6. Is 82/328*(x + 153 + 0) a multiple of 33?
False
Suppose 45377 = 47*m - 126643. Is 130 a factor of m?
False
Does 4 divide (28 - 86)*(189/(-14) - (-1)/1)?
False
Suppose -2*b - 11 + 5 = 0. Is 23 a factor of (b + 0)/((-1)/(568/6))?
False
Suppose 5*z - 4*c = 6841, -z + 959 = 5*c - 386. Is 29 a factor of z?
False
Let q(l) = 11 + 7*l**2 + 27*l - 28 - 4*l**2 - 10*l. Is 10 a factor of q(-14)?
False
Let g(k) = -k**3 - 2*k**2 + 2*k + 2. Let f be g(-3). Suppose f*v + 2*d = 1090, -10*v + 2*d + 890 = -6*v. Is v a multiple of 22?
True
Suppose -2*o + 19068 = -4*f, 23*o - 9576 = 22*o - 5*f. Is 178 a factor of o?
False
Suppose -16*f = 9*f - 100611 + 8636. Is f a multiple of 31?
False
Does 13 divide 0 + 3422 - (-132)/11?
False
Suppose -z - 12 = 4*q, z - 18 = q + 5*z. Does 2 divide 77*(2/(-2) - q)/1?
False
Let o(b) = -165*b**2 + 2*b - 3. Suppose 3*h + 8*h = 11. Let r be o(h). Let l = 249 + r. Does 4 divide l?
False
Let u be (-18)/42 - 18/7. Suppose 4*b = -2 + 6. Is 12 a factor of 70/2 + (b - u)?
False
Suppose 2*h - 5*v + 30 = 0, -1 + 21 = -h + 5*v. Is 18 a factor of (-10479)/(-42) + h/(-4)?
True
Suppose 260*h = 336*h - 917700. Is 105 a factor of h?
True
Let z be (75/(-12))/(1/(-8)). Suppose 165*j - 164*j - z = 0. Does 50 divide j?
True
Let a(j) = -2*j**3 - 2*j**2 - 7. Let x be a(-5). Suppose 5*y - 5*q = 815, -3*y + 280 = q - x. Is 11 a factor of y?
False
Let o(h) = -h**3 - 15*h**2 - 72*h - 25. Let v be o(-15). Suppose 1550 - v = 5*k. Is k a multiple of 23?
False
Let g(r) = -15*r - 48. Let c be 1/(-2) + (22/(-4) - 2). Let j be g(c). Suppose 0*k - j = -18*k. Does 4 divide k?
True
Let b = 6435 - -8989. Suppose 0 = 14*i - 30*i + b. Is 42 a factor of i?
False
Let m(a) = -25*a**3 + 10*a**2 + 32*a + 22. Is m(-5) a multiple of 26?
False
Suppose 0 = -58*j + 84*j - 50960. Is 56 a factor of j?
True
Let u = 7676 + -3109. Is u a multiple of 30?
False
Let v(m) be the third derivative of -49*m**4/24 + 31*m**3/6 - 23*m**2. Let x be v(-12). Is 14 a factor of (-1)/2 - (7 - x/2)?
False
Suppose 0 = -27*u + 187 - 52. Suppose -32*z + 25678 = u*z. Is z a multiple of 84?
False
Let i(w) = -w**2 - 2*w + 19. Let f be i(-5). Suppose -10 = -2*v - 0, -f*x = -3*v - 25. Is 702/(-10)*x/(-3) a multiple of 39?
True
Let c be (-28)/(-6) + 11/((-66)/4). Does 14 divide 2/c*822 - 6?
False
Let y be (-172)/(-43) + 1 + -6. Let o(m) = -837*m + 20. Does 20 divide o(y)?
False
Let z(y) = -5930*y - 11343. Does 5 divide z(-3)?
False
Let t be 2/4*-22 - (-6)/2. Let k(o) = o**3 + 8*o**2 - 2*o - 10. Let u be k(t). Is 30 a factor of ((-20)/u)/(8/(-288))?
True
Suppose 29*d = 4*b + 24*d - 16414, 4105 = b - d. Does 28 divide b?
False
Suppose 4*i = 5*q - 45, 0 = -4*i - i - q - 20. Is 1