) = 6*s**2 + 19*s - 3. Does 4 divide o(-4)?
False
Suppose 0 = q + 1. Let h(c) = -c + 2. Let b be h(q). Suppose g + 30 = b*g. Does 10 divide g?
False
Let s = 1920 + -1087. Is 40 a factor of s?
False
Let c be ((-14)/4 - -3)/((-2)/16). Suppose -c*q + 129 = -3*b, -3*q + 2*q + 61 = 5*b. Is 4 a factor of q?
True
Is 22 a factor of (-66)/((-6)/(-4)*(-68)/510)?
True
Let o(x) = -12*x - 84. Let j(k) = -3*k - 21. Let s(h) = 9*j(h) - 2*o(h). Is 2 a factor of s(-11)?
True
Suppose -16*j + 98 = 2*n - 12*j, -2*n - 2*j = -106. Is n a multiple of 19?
True
Let t = 928 - 844. Is 74 a factor of t?
False
Let a be -3 + 3 + (0 - 0). Suppose 11*u - 4*u = a. Suppose -7*h + 4 + 31 = u. Is h a multiple of 5?
True
Let i(c) = 2*c**3 - 5*c**2 + 5*c - 9. Let q be i(4). Let j = 98 - q. Is j a multiple of 8?
False
Suppose -16*m + 87 = 7. Does 10 divide (0 + 12/m)*1*10?
False
Let r = 6 - 2. Suppose -3*y - r*i = -195, 0*y - 3*y + 5*i = -222. Is 14 a factor of y?
False
Suppose 5*l - 230 = -4*x, 9*l = 4*l - 3*x + 225. Suppose -n + l = -30. Is 8 a factor of n?
True
Let z = 491 - 35. Is z a multiple of 57?
True
Let w be (-58 + (-5 - -4))/1. Let f = w + 163. Does 13 divide f?
True
Suppose -5*u = 3*m - 5421, 3*u - 986 = -4*m + 2260. Suppose 2*o - 8*o + u = 0. Does 22 divide o?
False
Suppose -2*s + 17 = 4*u - 3, 6 = 2*u. Suppose -s*q = -2*d - 2*d - 736, 4*d = 5*q - 925. Is 25 a factor of q?
False
Let z(j) = j**3 - 2*j**2 + 2*j - 3. Let s be z(3). Is 10 a factor of (s/(-10))/(6/(-165))?
False
Let l(o) = -20 + 4 - 9 + 3*o - 7. Let m be l(0). Let u = m + 86. Is 18 a factor of u?
True
Does 3 divide ((-10)/5)/(7/(-70))?
False
Suppose c + 7*c = -56. Let w(o) = o**3 + 9*o**2 - 15*o - 7. Is 50 a factor of w(c)?
False
Suppose -4*t + 97 = -127. Suppose -2*o + t = -48. Suppose d + 296 = 5*r, -o = 3*r + 5*d - 252. Does 30 divide r?
True
Suppose 5*q = 5, -18160 = -45*c + 40*c + 5*q. Does 21 divide c?
True
Suppose -46*r + 36 = -43*r. Suppose 442 = 2*a - b, -9*a - 658 = -r*a + 4*b. Does 37 divide a?
True
Suppose -2*m + 2*w + 2 = -2, -5*w + 20 = 0. Suppose 56 - 164 = -m*b. Is 2 a factor of b?
True
Let d be 1*3*80/(-30). Is 19 a factor of (d/(-5))/(1/35)?
False
Suppose 746*o - 44688 = 732*o. Does 38 divide o?
True
Let g(j) = j**2 + 19*j + 3. Let w be g(-19). Let i(s) = s**2 - 22 - w*s + 22 + 3*s**2. Is 15 a factor of i(-3)?
True
Suppose 0 = -a - 3*a. Suppose a = -9*q + 5*q - 12. Let d(m) = -m**3 - 2*m**2 - m + 3. Is d(q) a multiple of 5?
True
Let p(s) = s**2 - 8*s - 1. Let l be p(9). Does 33 divide ((l/3)/(-2))/((-5)/990)?
True
Suppose -249 = 5*i - 74. Let d = i + 45. Is 4 a factor of d?
False
Suppose l - 2*l = 5*c - 48, 4*c = 2*l + 44. Let m be ((-16)/(-20))/(4/c). Suppose 5*i = -4*b + 10, -3*b + 15 = m*b + 5*i. Does 2 divide b?
False
Let z be (612/(-85))/((-6)/(-20)). Is 688/5 + (z/15)/(-4) a multiple of 23?
True
Let p(c) = -73*c - 9. Let l be p(-4). Let v = -199 + l. Is v a multiple of 18?
False
Let n(k) = 51*k**2 - k + 1. Let i be n(1). Let z = 94 + i. Is z a multiple of 29?
True
Let j = 204 - -195. Is j a multiple of 15?
False
Let j be (52/8 - 0)*-2. Let x be 0 - j - (0 + 0). Let q(h) = h**2 - 12*h - 5. Is q(x) a multiple of 4?
True
Let j(b) = -1 - 7 + 6 - 8*b. Let m be j(4). Let f = -19 - m. Is 5 a factor of f?
True
Let c(z) = 13*z - 14. Let i be c(6). Suppose 42 = f - 3*l, 4*l = -3*f + i + 62. Is f a multiple of 6?
True
Is 20 a factor of 12/10*25/(-10) + 1407?
False
Is ((8/12)/((-1)/6066))/(-1) a multiple of 12?
True
Let x be 1/(2/(-2)) + 1. Suppose 3*d - d = x. Suppose h - 10 - 14 = d. Does 12 divide h?
True
Let q(r) = 13*r**2 + 9*r + 19. Is 29 a factor of q(-4)?
False
Let d(l) = -2 + 18 - 5 - 3*l + 8. Let b(m) = m - 1. Let y(r) = 3*b(r) - d(r). Is y(9) a multiple of 8?
True
Is (27/(-18)*321)/((-2)/4) a multiple of 30?
False
Let p(y) = 2*y**2 - 4*y + 2. Let l be p(2). Let r(m) = -2*m - 2 + 8*m - l*m. Does 2 divide r(2)?
True
Suppose 7*o + 828 = o. Let z = -62 - o. Is z a multiple of 19?
True
Let x(o) = -3*o + 2. Let k be x(1). Let t(w) = -7*w. Let n be t(k). Suppose n*a - 150 = 2*a. Does 10 divide a?
True
Let j(p) = -29*p + 2. Let c be j(-1). Suppose 2*u - 147 + c = 0. Does 12 divide u?
False
Suppose l + f - 1767 = 0, 3*l + 11*f - 15*f = 5273. Is 51 a factor of l?
False
Let y be 2328/32 - 2/(-8). Suppose -5*u + 517 = -y. Is u a multiple of 21?
False
Suppose 2*g + 4*w = 8*w + 196, 4*w = -5*g + 462. Suppose -5*c + 713 = -2*i + 251, -g = -c + 2*i. Is 11 a factor of c?
False
Let x(a) = 25*a**2 - 59*a + 8. Is 13 a factor of x(6)?
False
Suppose -h + 297 = -18. Is h a multiple of 21?
True
Let q(b) be the third derivative of b**5/15 - b**4/8 - b**3/2 + 13*b**2. Is 4 a factor of q(3)?
True
Let r be (-5)/(420/(-9432)) - 4/14. Suppose -2*w = -6*w + 16, -3*w = -3*m + 114. Let v = r - m. Is v a multiple of 14?
True
Let k be ((2 - -3) + -2)*-5. Is (k/(-20) - 0)*64 a multiple of 16?
True
Suppose 4*v - 146 = 3*z, -5*v - 3*z + 171 = -z. Suppose -5*n = -2*h + 76, n + v = -2*h + 3*h. Is h a multiple of 11?
True
Suppose -19 = 3*r - 1. Does 24 divide 217 + (35/(-10) - r/4)?
False
Let k(o) be the first derivative of 25*o**2/2 + o - 2. Is 17 a factor of k(2)?
True
Let m(f) = f - 2. Let g(s) = 2*s - 3. Let w(q) = -2*g(q) + 3*m(q). Let j(u) = u**3 - 4*u**2 - 7*u + 6. Let b(d) = -j(d) + 3*w(d). Is b(4) a multiple of 4?
False
Is (12/15)/((-4)/(-1000)) a multiple of 12?
False
Let n(z) = -z**2 + 12*z - 15. Let d be n(10). Let w be (2 + -1)/(d/230). Suppose q = -0*q + w. Is q a multiple of 22?
False
Let b = -4333 + 7916. Is 10 a factor of b?
False
Suppose -2*v + 4*r = -252, -32*v - 4*r - 618 = -37*v. Does 61 divide v?
True
Suppose 0 = -t - 3*t - 8. Let h be -3 - (-3 - t)*1. Is 27*(h + (-24)/(-9)) a multiple of 18?
True
Suppose 330 = 3*k + a, 4*k - 317 - 136 = 3*a. Is k a multiple of 3?
True
Let j(o) = -o**2 - 13*o - 29. Let t be j(-4). Suppose 0 = 3*y - 88 + 31. Suppose -t = 2*q - y. Is 6 a factor of q?
True
Let a = 34 + 16. Is (-12)/10*-2*a a multiple of 24?
True
Suppose 29 = 4*b + b + 2*y, -b + 4 = y. Let p(x) be the third derivative of x**6/120 - 7*x**5/60 + 5*x**3/2 - 136*x**2 - 2*x. Does 7 divide p(b)?
False
Let r = 135 - 123. Is r/((18/420)/1) a multiple of 24?
False
Let n = 11 - 8. Suppose n*y = 2*y + 3. Does 3 divide 13 - (y + (-12)/4)?
False
Let a = -681 + 1913. Is a a multiple of 56?
True
Let d = 1846 + -894. Does 28 divide d?
True
Suppose -37*u + 36*u - 4*h = -265, -3*h + 840 = 3*u. Is u a multiple of 26?
False
Let h(n) = n + 12. Let x be h(-10). Let v(o) = 0*o + 45 - x*o - 44. Does 13 divide v(-6)?
True
Let d be 4/(-10) - (-99)/(-15). Let f(g) = 5 - 7 - 9*g + 2*g**2 + g**3 + 4*g**2 - 1. Does 9 divide f(d)?
False
Let i = 36 + -33. Is 28/(-42) + 74/i a multiple of 4?
True
Let v(l) = -l**3 + 8*l**2 + 4*l + 4. Let u be v(6). Let b = u - 33. Does 11 divide b?
False
Suppose 7*s + 19 + 37 = 0. Let i = s - -12. Is i even?
True
Let o = -50 + 55. Is 34 a factor of (30570/36)/o + (-1)/(-6)?
True
Let v = -329 + 1420. Is 35 a factor of v?
False
Let f(h) = h**3 + 17*h**2 - 15*h + 1. Does 4 divide f(-17)?
True
Let f(u) = u**2 + 7*u - 4. Suppose 7*k - 40 = 12*k. Let g be f(k). Suppose 0 = -c + 4*j + g, -j + 43 = 2*c - 1. Is 13 a factor of c?
False
Let l(o) = 26*o - 148. Is l(8) a multiple of 15?
True
Suppose 0 = d - 3, -3*c - 14 = -4*c - 5*d. Let p = 55 - c. Does 7 divide p?
True
Let r = -26 - -273. Is r a multiple of 11?
False
Let n = -3278 - -5333. Does 15 divide n?
True
Let z = 15 + -65. Suppose 388 = 4*p - g + 76, -3*p + 234 = 5*g. Let u = z + p. Is u a multiple of 23?
False
Let q be ((-60)/(-9))/2*-3. Let c(t) = 10*t**2 - 327*t + 0 - 8 + t**3 + 324*t. Is 11 a factor of c(q)?
True
Let c(q) = q**3 - q**2 - q + 3. Let t be c(0). Let f(y) = y**t + 0*y**2 + 5*y**2 - 14 - 9*y + 0*y**3 + 5*y. Does 5 divide f(-5)?
False
Suppose -98*c + 100*c - 134 = 0. Is 39 a factor of c?
False
Let p(s) = 4*s - 4*s + 13 + 22 - 2*s. Let v be p(15). Is 8 a factor of (v + -6)/((-1)/9)?
False
Does 6 divide (-37 + 3 + -1)*10/(-7)?
False
Let k = 212 - -225. Does 24 divide k?
False
Let c = -19 + 25. Suppose 99 = -c*r + 357. Is 10 a factor of r?
False
Let z(k) = -k - 8. Let t be z(-3). Let o = t - -21. Is 8 a factor of o?
True
Is ((-618)/(-12) + -4)*20 a multiple of 58?
False
Suppose -3*n + 4 = -2. Suppose -5*k = -2*i - 259, n*i + 2*i = -8. Is 17 a f