4*a + 0*v + 2*v = q, 0 = 4*v. Does 18 divide a?
False
Suppose -11*f - 2*f = -2275. Is 7 a factor of f?
True
Suppose -731 = -5*f + 5*z - 11, -600 = -4*f - 4*z. Let n = -82 + f. Suppose -2*p + 2*g = 5*g - n, 0 = 2*g - 2. Is p a multiple of 14?
False
Let l(b) = 2*b**2 - 12*b - 42. Let a be l(13). Let u be (18/(-12))/(2/124). Let s = u + a. Is 9 a factor of s?
False
Let l be ((-63)/(-12))/(6/8). Let p = l + -4. Does 14 divide (-160)/(-4) + (-1 - p)?
False
Let m(u) = 2*u**3 - 3*u**2 - 4*u - 55. Is 12 a factor of m(15)?
False
Suppose 0 = -4*k - 4*v + 644, 4*v + 171 = k + 3*v. Does 2 divide k?
True
Let g(t) = t**3 + 32*t**2 + 12*t - 44. Is 32 a factor of g(-31)?
False
Let k(i) be the second derivative of 5*i**3/3 + 2*i. Does 5 divide k(1)?
True
Let z = 79 + -77. Is 1 - (-202)/4 - (-1)/z a multiple of 11?
False
Let h(n) be the second derivative of -97*n**3/6 - 2*n**2 - 3*n. Let m be h(-6). Is 1/(-4) + m/8 a multiple of 12?
True
Let u(y) = -y - 7. Let p be u(-11). Suppose -4*n - p = 0, 0*k + 67 = 4*k - 3*n. Is k even?
True
Suppose -30*l + 34*l = 496. Is 62 a factor of l?
True
Let y be -2*(3 - 1 - 4). Suppose -a + 5*f = -31, 5*a - y*f - f - 55 = 0. Is a a multiple of 3?
True
Let t(z) = -z**3 + 13*z**2 + 7*z. Is t(11) a multiple of 77?
False
Let i(o) = 40*o - 32. Is i(4) a multiple of 16?
True
Let k(n) = 31*n + 227. Is k(-7) a multiple of 5?
True
Let h = 578 - 168. Is h a multiple of 10?
True
Let c be (2/1 - 4) + 0. Is (-1 + (-1)/c)*-98 a multiple of 7?
True
Let g(x) = -x - 20. Let a be g(-9). Let k(d) = 7*d**2 + 18*d - 6. Let n(y) = -6*y**2 - 17*y + 6. Let w(r) = -4*k(r) - 5*n(r). Is w(a) a multiple of 31?
True
Suppose -3*p - 3*b + 3 = -0*p, -4*p + 1 = b. Suppose p = 17*s - 15*s - 342. Does 40 divide s?
False
Let w be 105/(-6)*6/(-5). Let o = 28 - w. Is o even?
False
Let u(t) = -3*t - 9. Let b be u(-8). Suppose -7*d + b = -2*d. Suppose -5*j + d = -12. Is j a multiple of 3?
True
Suppose -34 = -3*x - 4*k, -2*k = x + x - 20. Does 4 divide (1/x)/(1/9)*20?
False
Let m be 72 - 1 - (-3 + -1). Suppose -m = 7*l - 215. Is l a multiple of 20?
True
Suppose -11 = -5*s - 6*s. Does 13 divide (-9 + 8)*(s + -40)?
True
Let c(f) = -12*f**2 - 2*f + 2. Let v(g) = -g**3 + 6*g**2 + 7*g + 4. Let x be v(7). Let r be c(x). Is ((r/1)/3)/(-1) a multiple of 22?
True
Suppose 0*c - 3*c - 2*u + 33 = 0, -u = -3. Let a = 57 + c. Does 11 divide a?
True
Suppose -t + 4*c = 2*c + 108, -5 = -5*c. Let r = t - -259. Is 17 a factor of r?
True
Let o(f) be the third derivative of 23*f**5/10 + f**4/6 + f**3/2 + 21*f**2. Is o(-1) a multiple of 19?
False
Let v be -4 + 0 + (2*4 - 1). Is (-4)/v*606/(-4) a multiple of 37?
False
Let d(g) = 54*g**2 + 4*g - 8. Let v be d(-4). Suppose -53*r - v = -58*r. Does 28 divide r?
True
Let s = -290 + 134. Let g = -80 - s. Is g a multiple of 22?
False
Let n be (-1 - 4/(-8))*-12. Let r be 20/(-30) + 34/n. Suppose r*c = 36 + 39. Is 10 a factor of c?
False
Suppose 3*x = -4*y + 57, 79 = 3*y - x - 4*x. Suppose -5*w = -2*w - y. Is w a multiple of 6?
True
Let p(n) = 225*n**2 + n + 113. Is p(-5) a multiple of 24?
False
Suppose 3*v + 2*v = v. Suppose -k = l - 92, -2*l + k + 0*k + 196 = v. Is l a multiple of 32?
True
Let x be ((-46)/8)/((-2)/(-8)). Let c = -21 - x. Suppose -d - s - 4 = -19, c*d = s + 39. Is d a multiple of 7?
False
Suppose -2*p + 319 = -3*m, -3*p - 2*m + 589 - 143 = 0. Is 76 a factor of p?
True
Let p = -18 + 509. Let g = -220 + p. Does 25 divide g?
False
Suppose -14*b + 8*b = -924. Is 9 a factor of b?
False
Is 87/(10/16 + (-9)/72) a multiple of 6?
True
Let n be 2/8 - 410/40. Let x be (-106)/n + (-15)/25. Suppose -5*k - 240 = -x*k. Is 11 a factor of k?
False
Let s = 135 - -945. Is s a multiple of 24?
True
Suppose 0 = -2*q + 8 - 42. Let i = q + 37. Does 3 divide i?
False
Let v(q) be the third derivative of q**6/120 - q**5/60 - q**4/6 + 7*q**3/6 - q**2. Let o be (-6)/(-5)*((-56)/(-16) - 1). Is 9 a factor of v(o)?
False
Is 14 a factor of (14*-4 + 0)*-1?
True
Let u = 70 + 311. Suppose 4*s = u + 219. Suppose -f = -2*v + 100, 3*f - s = -3*v - 2*f. Is 25 a factor of v?
True
Let r = 34 + -13. Suppose -10 = 67*n - 72*n. Is n/7 - (-57)/r a multiple of 3?
True
Suppose 2*j + i = 163, 41 = j + 3*i - 38. Does 16 divide j?
False
Let x = -14246 + 20529. Let m = x - 11449. Does 15 divide m/(-117) + 2/(-13)?
False
Suppose -j = 4*m + 4*j - 4, -4*m + 4 = 2*j. Suppose -6*n = 7*n - 91. Is 3 a factor of (m + 1)/(n/21)?
True
Let v = -705 - -1057. Is 5 a factor of v?
False
Let z = 1157 - -535. Is z a multiple of 12?
True
Is 49 a factor of (-4676)/3*444/(-518)?
False
Suppose 0 = 4*s - 17 + 1. Let m = 1 + -1. Is 15 a factor of (s + m)/(6/96)?
False
Suppose -16*i + 10287 = -21777. Is i a multiple of 41?
False
Let m(c) be the first derivative of c**3/3 - 3*c + 7. Let t be m(3). Suppose 4*v = 3*b - 118, 5*v = b - t*b + 150. Is 10 a factor of b?
False
Let v(r) = -r - 1. Let y be 10/5*(-7)/(-2). Let n be v(y). Is 7 a factor of n/(-20) - (-153)/5?
False
Let b be (-18)/72 - (-2)/8. Suppose b = -3*h - 3*z + 144, 0*h + h = -3*z + 48. Suppose -20*a + 21*a = h. Does 8 divide a?
True
Suppose b - 5*q - 4460 + 1077 = 0, 0 = -5*b - 5*q + 16795. Does 59 divide b?
True
Let t(c) = -35*c. Let z(g) = -17*g. Let y(i) = 3*t(i) - 7*z(i). Does 14 divide y(2)?
True
Let y = -6 - -9. Suppose -3*p + 20 = 4*f - y*f, 5*p - 24 = 3*f. Let l(j) = 4*j + 2. Is l(p) a multiple of 8?
False
Suppose -5*p + 566 - 2955 = -3*d, 12 = 3*p. Is 43 a factor of d?
False
Let s(n) = 160*n**2 - 4*n - 2. Is 7 a factor of s(2)?
True
Let h = -46 - -135. Does 9 divide h?
False
Suppose 2017 + 1674 = 2*j + w, -j - 5*w + 1868 = 0. Is 10 a factor of j?
False
Let j(q) be the first derivative of q**2/2 + 4*q + 7. Let z be j(-4). Suppose 3*b - 51 - 21 = z. Is 6 a factor of b?
True
Suppose 5*f - 33 + 8 = 0. Suppose f*s = 4*s + 5. Let o(b) = b**2 + 2*b - 4. Does 9 divide o(s)?
False
Suppose -2*r = 3*r - 4*t - 626, -5*r - t + 631 = 0. Does 15 divide r?
False
Let n(a) = -a + 184. Let s be n(0). Suppose -19*w = -15*w - s. Does 9 divide w?
False
Suppose 0 = 4*a - 24 - 72. Let c = 97 + -75. Let b = c + a. Is 14 a factor of b?
False
Let v = 306 - -128. Is 42 a factor of v?
False
Let b = -3 + 7. Let i = 7 - b. Does 12 divide 12/18 - (-202)/i?
False
Let a(c) = 15*c**2 + 19*c - 72. Is a(3) a multiple of 19?
False
Let q(m) = -m**3 - 3*m**2 - m + 2. Let n be q(-3). Suppose -3*h + 267 = -5*i, -n*i + 6*i = 5*h - 423. Is 44 a factor of h?
False
Suppose -45 = -4*m + 23. Let c(p) = p**2 + m + 0*p**2 - 19. Is 11 a factor of c(-4)?
False
Let m be (3 - 19/7) + 33/7. Suppose 5*n = m*k - 565, 4*n + 83 = k - 36. Is k a multiple of 15?
False
Let d be (-3 - -7) + -5 + 375. Suppose 910 = -4*v - d. Let q = -203 - v. Is q a multiple of 28?
False
Let n(h) = h**2 - 10*h + 2. Let m be n(10). Let l(u) = 3*u**2 + 18*u + 1. Let f be l(-6). Is 9/f*(-1 + m) a multiple of 4?
False
Suppose 14*g - 15*g + 3132 = 2*l, -3*g + l = -9375. Does 62 divide g?
False
Let m(f) = f**3 + 3*f**2 + 3. Let u be m(-3). Suppose 11*a - u*a = 576. Is 36 a factor of a?
True
Let q(r) be the second derivative of 3*r**4/4 + r**3 + 7*r**2/2 - 11*r. Does 16 divide q(-3)?
False
Let z be (-110)/(-25) + (-6)/(-10). Suppose 2*v + 119 = 2*d + 27, 0 = -z*d - 3*v + 270. Let m = d + 3. Is 27 a factor of m?
True
Let z be 54/10 + 8/(-20). Suppose -4*v - 2*y = -3*y - 89, z*y = 3*v - 54. Does 13 divide v?
False
Let f = -1 + -13. Is 14 a factor of 6/(-21) - 774/f?
False
Suppose -3*a + 138 = -3*m, 3*m = -5*a + 5*m + 221. Suppose -a = -6*d + 119. Is d a multiple of 9?
True
Suppose 0 = -3*n - 0*n + 120. Let o be 10/n + (-118)/(-8). Does 12 divide (-9)/o - (-615)/25?
True
Suppose k + 41 = 38. Let s(l) = -2*l**3 - l**2 + 2*l + 7. Is s(k) a multiple of 23?
True
Let s(o) = -337*o - 6. Is 49 a factor of s(-2)?
False
Let w(y) = 334*y**2 + 4*y - 14. Is w(2) a multiple of 19?
True
Let p be 6/(-36) + (-571)/(-6). Suppose 0 = -5*h - 2*m + 113, -2*h + 3*m + p = 2*h. Suppose 3*c - 69 = -2*g, 5 + h = g - 5*c. Does 14 divide g?
False
Suppose -2*b + 3*b = -5*g + 401, b - 239 = -3*g. Let f be 423/g - 2/9. Suppose -i - 28 = -f*i. Does 3 divide i?
False
Let y(v) = -v**3 + 6*v**2 - 4*v - 1. Let f be y(5). Let k be -4 + f + 4 - -12. Suppose -k*g + 28 = -14*g. Is g a multiple of 14?
True
Let o(b) = -b**2 + 44*b + 93. Is o(33) a multiple of 12?
