pose -3*m + 4*m - 6 = 3*z, 2*m = 3*z + 9. Suppose 0 = -0*r - m*r + 21. Is 3 a factor of r?
False
Let p = -27 + 32. Suppose 81 = p*q + 3*f, 0 = -6*q + q + f + 93. Is 14 a factor of q?
False
Suppose -3*p - 29 + 437 = 0. Is p a multiple of 34?
True
Let u be (-8)/14 + (-4)/(-7). Let g = -2 + 4. Suppose -q + 4 = u, -56 = -0*a - g*a + q. Is 12 a factor of a?
False
Suppose -16*v + 440 = -11*v. Is v a multiple of 17?
False
Suppose 3*t - 5 = 2*t. Is t a multiple of 2?
False
Suppose 0 = 4*t - 2*t + 5*r - 7, t + 2*r = 3. Is (-1 - t) + (-120)/(-6) a multiple of 4?
False
Let y = 2 + 3. Suppose -v - 1 = -y*w, -3*v - 4*w + 54 = -v. Is 19 a factor of v?
True
Let c(p) = p**2 - 2*p - 3. Let l be c(8). Suppose 0 = -0*f - 3*f + l. Is f a multiple of 8?
False
Let x(c) = 2 - 6*c - 4 - 2*c + 0. Let r(d) = -d + 3. Let p be r(6). Does 11 divide x(p)?
True
Is 31 + 1 + 3 - 7/(-7) a multiple of 9?
True
Suppose -64 = -4*g + 116. Does 11 divide g?
False
Let t(a) = 4*a**2 - a - 2. Let z = 4 + -6. Does 10 divide t(z)?
False
Let r(n) = 6*n**2 + 2*n - 51. Is 34 a factor of r(7)?
False
Let u = 13 + -20. Let p be ((-6)/15)/((-1)/(-5)). Is (-128)/u - p/(-7) a multiple of 14?
False
Suppose -a - 26 + 102 = 0. Let k = a + -52. Is k a multiple of 6?
True
Let i be (0 + -1)/((-5)/(-20)). Let q be (-166)/8 + 1/i. Let z = 45 + q. Does 15 divide z?
False
Suppose -2*y + h = -3, y = h + 2 - 1. Suppose -4*c + 4*v - 16 = 0, -y*v = -4*c + 6 - 26. Let z(f) = -3*f - 2. Is 8 a factor of z(c)?
True
Suppose 2*h - 6*h = 32. Let q be h - -6 - (-42 - 0). Suppose 0*m - q = -4*m. Is 5 a factor of m?
True
Suppose -2*t - 4*s + 58 = 0, -t + 2*s + 19 = -s. Is 5 a factor of t?
True
Let q(t) = -t**3 - t**2 - 7*t - 1. Let n be q(-7). Is 16 a factor of 2/(-7) - n/(-21)?
True
Let a be (-22)/(-6) - 11/(-33). Suppose 0 = 4*y - 3*o + 12, -5*y = -y + 2*o - 8. Suppose 3*w + 85 = a*l, 2*l + y*l + w = 35. Is l a multiple of 16?
False
Let m = -7 + 29. Does 22 divide m?
True
Let o be (15/(-4))/(1/4). Does 10 divide (o/(-9))/((-2)/(-18))?
False
Let l be 13/(-2) + 15/10. Let r(w) = -7*w + 3. Does 19 divide r(l)?
True
Let d = -120 + 224. Is d a multiple of 33?
False
Suppose 30 = -0*d + 3*d. Is 5 a factor of d?
True
Let o = -484 - -784. Suppose 7*p - o = p. Does 23 divide p?
False
Let l be ((-6)/4)/((-3)/32). Let c = l - 9. Is c a multiple of 7?
True
Let s(i) = -8*i + 2. Let d(u) = -2*u - 4. Let j be d(-3). Let n be (-14)/j + 0 + 0. Is s(n) a multiple of 21?
False
Suppose -224 = -0*z - 4*z. Is z a multiple of 14?
True
Let b be 1*40 - (1 + 0). Suppose 6*z = 3*z - 69. Let g = b + z. Does 16 divide g?
True
Let c(o) be the third derivative of o**6/30 - o**5/60 + o**4/24 - o**2. Let a(l) = -l - 4. Let k be a(-6). Is c(k) a multiple of 17?
False
Let t = 222 + -84. Is 23 a factor of t?
True
Suppose 52 - 2 = 5*o. Is o even?
True
Suppose 0 = 5*z - 8 - 2. Let s = z + -1. Suppose -s - 5 = -2*y. Is y a multiple of 3?
True
Let w = -250 - -157. Let l = w + 0. Is 10 a factor of l/(-9) - 2/6?
True
Suppose 9*a = 105 + 3. Does 4 divide a?
True
Let s = 45 - -205. Does 25 divide s?
True
Suppose 5*o - o = 0. Suppose g = -o*g + 8. Suppose n - 20 = -3*t + g, -5*n = 5*t - 190. Does 12 divide n?
False
Suppose 0 = 8*h - 2*h - 2436. Is h a multiple of 30?
False
Suppose 0 = -p + 3*p - 6. Suppose 5*t + 29 = b, b + 3 = -2*t - p. Is b*(-38)/4*-1 a multiple of 19?
True
Let v(c) = 17*c**3 - c**2 - 4*c + 3. Let w be v(2). Let q = 269 - 190. Let h = w - q. Is 24 a factor of h?
True
Let s(g) be the third derivative of g**5/30 - g**4/12 + g**3/3 - g**2. Let q be (-4)/10 - (-48)/20. Does 3 divide s(q)?
True
Let n(s) = -5*s - 19. Does 14 divide n(-10)?
False
Let v(m) = 9*m**2 + m + 1. Let d be v(-1). Let l = 7 - d. Is (-2 + -1)*(-3 - l) a multiple of 3?
True
Let a(y) = 2*y**3 + y**2 - y. Let z be a(1). Suppose -132 = -6*c + z*c. Is 16 a factor of c?
False
Let t be (-94)/10 + 2/5. Let c = -5 - t. Suppose -a = 5*h - 105, -c*h + 4*a = a - 103. Is h a multiple of 11?
True
Let t(f) = -f**2 + 6*f + 2. Let b be t(5). Suppose 3*u + 4*w = 4*u - b, 69 = 3*u + 4*w. Is u a multiple of 11?
False
Let d be (-3)/((-6)/8 + 0). Suppose 0*b = -b. Suppose n - d - 4 = b. Is 4 a factor of n?
True
Let t(u) = -35*u**3 - 2*u**2 - u. Let s(i) = -i**2 - 5*i + 2. Let h be s(-3). Let z(n) = -n**2 + 9*n - 9. Let g be z(h). Does 17 divide t(g)?
True
Does 8 divide -1*3*55/(-15)?
False
Let t(h) = -h**2 - 9*h + 5. Let g be t(-9). Suppose 0 = g*b - 37 - 28. Is (-4)/(-5 - -3) + b a multiple of 6?
False
Let r(a) = 3*a**2 - a - 9. Suppose d + 17 - 12 = 0. Is 26 a factor of r(d)?
False
Suppose 0 = -o - 2*o + 300. Suppose 2*i - 2*w + 130 = 5*i, o = 2*i + 4*w. Suppose 4*z - i = -0*z. Is z a multiple of 4?
False
Let u = -335 + 226. Let i = -4 - u. Is 35 a factor of i?
True
Let a(x) = x**2 - 1. Let r(w) = w**2 - w + 1. Let l(t) = -a(t) + 2*r(t). Is 3 a factor of l(0)?
True
Let y be 3/(-2 + 5) + -1. Suppose -5*r = -y*r - 70. Is r a multiple of 7?
True
Suppose 5*a + 5*h + 40 = 0, -29 - 15 = 3*a - h. Suppose 0 + 19 = w. Let v = a + w. Is 3 a factor of v?
True
Let t be ((-624)/9)/4*-3. Suppose 2*g - 4*a = 36, -4*a + a - t = -4*g. Is 10 a factor of g?
True
Let y(b) = b + 5. Let o = 9 + -16. Let z be y(o). Is 12 a factor of z*8/(2 - 3)?
False
Let u(c) be the second derivative of -2*c**3/3 + 7*c**2/2 + c. Does 13 divide u(-5)?
False
Let q(d) = -3*d**2 - d**2 - d**2 + 6*d**2 + 20. Suppose 0*b = -2*b. Does 10 divide q(b)?
True
Let c(g) = -2*g**3 + 2*g**2 + g + 1. Let k be c(2). Let j be 2/6 - (-332)/(-6). Is (1*2)/(k/j) a multiple of 11?
True
Let i(h) = -h**3 - 11*h**2 + 13. Let q be i(-11). Suppose n - 3 = q. Is n a multiple of 8?
True
Let r(j) = -2*j - 4. Let l be r(-3). Suppose 0*a + l*a = 76. Is a a multiple of 14?
False
Let f = -7 - -9. Suppose f*a - 25 = 7. Suppose -3*x - 1 = -a. Does 5 divide x?
True
Let p(b) = b**2 - 3*b + 7. Let o be p(-4). Suppose -s + n + 7 = 2*n, -5*s = -4*n - o. Is s a multiple of 7?
True
Let m be 96/(-1*3) + -2. Let j be -2 - (m + (2 - 4)). Suppose -2*x + j = 4. Does 8 divide x?
False
Let v = -1 - -3. Let u = 7 - v. Is 3 a factor of u?
False
Let b be ((-1)/2 - 0)*18. Let l = -5 - b. Is l a multiple of 4?
True
Let c = 545 - 321. Is 16 a factor of c?
True
Let l(a) = -21*a - 1. Let c be l(-2). Let z = c + -17. Is 8 a factor of z?
True
Let x(j) = 53*j**2 + 4*j + 1. Does 50 divide x(2)?
False
Suppose -4*s + 1150 = 6*s. Is 5 a factor of s?
True
Suppose -g = -5*d + 20, 4*g - g = -4*d + 16. Is d even?
True
Let z be (9/6)/((-15)/160). Let h = 12 + -39. Let f = z - h. Is 11 a factor of f?
True
Let h = -46 - -57. Does 3 divide h?
False
Let j(x) = 2*x**2. Let z be j(1). Suppose -3*a = 4*y - 74, -2*a - z*y = -0*a - 50. Is 11 a factor of a?
False
Suppose -2*r = -1 - 7. Suppose 74 = r*h - 2*f, -59 = -3*h + 2*f + 3*f. Is 9 a factor of h?
True
Suppose 0 - 14 = -c. Does 14 divide c?
True
Let q(h) = -3 + 6*h - 3 + 0*h**2 + 3*h**2 - h**3 + 0. Is q(4) even?
True
Let s be 2*-3*(2 - 3). Let o(n) = n**3 - 7*n**2 + 7*n - 6. Let z be o(s). Suppose z = -5*b - 3*h + 47, 41 = 2*b + 2*b - h. Is b a multiple of 5?
True
Let f = 290 + -125. Suppose 2*g = f - 21. Does 21 divide g?
False
Let i(p) = -4*p - 1. Is 11 a factor of i(-3)?
True
Suppose r + 4*l = -r - 6, 0 = -r + 2*l + 17. Let d = -15 + r. Is (-4)/(-16) + (-302)/d a multiple of 19?
True
Let l = 14 - 11. Suppose d + 0*d + 3 = 0, -2*y = l*d - 1. Is 5 a factor of y?
True
Suppose -42 + 171 = t. Is t a multiple of 15?
False
Let t(j) = 5*j - 5*j - 1 + 39*j**2 + 0*j. Is t(-1) a multiple of 14?
False
Suppose -n + d + 3*d - 13 = 0, 0 = -4*n + 5*d - 8. Suppose 8*a - 320 = n*a. Does 20 divide a?
False
Let p(j) be the second derivative of -5*j**2 + 0 + j + 1/20*j**5 - 2*j**3 + 7/12*j**4. Does 11 divide p(-8)?
True
Suppose 73 + 283 = 4*a. Is 14 a factor of a?
False
Let n = -17 - 7. Let y = n + 36. Is 12 a factor of y?
True
Let c be 2/(-10) + (-21)/(-5). Suppose 0 = -4*v - 8, 0*i + 2*i = c*v + 44. Let p = i - 12. Does 5 divide p?
False
Suppose 0 = 14*h - 0*h - 1260. Is h a multiple of 10?
True
Let o(y) = 15*y + 1. Let v be o(1). Does 8 divide (v/6)/(1/3)?
True
Let g(h) be the third derivative of h**6/120 + 7*h**5/60 + h**4/8 - 5*h**3/6 - h**2. Does 10 divide g(-5)?
True
Suppose -3*n = -4*n. Suppose -w + 31 + 11 = n. Is 21 a factor of w?
True
Let d(n) = -n + 0*n + 0*n 