 - 25. Is h a multiple of 15?
False
Let i(d) = 0*d**3 - d**3 - 2*d**3 - 2*d + 2*d**3 + 7*d**2. Is 19 a factor of i(5)?
False
Let s(t) = -2*t**2 + 45*t + 11. Is 9 a factor of s(19)?
True
Let o(j) = j**2 - j - 3. Does 20 divide o(-5)?
False
Let i(b) = 3*b - 20. Let k(g) = 4*g - 21. Let q(d) = -3*i(d) + 2*k(d). Is q(10) a multiple of 4?
True
Suppose 292 = 5*t - 4*w, -t + 17 + 51 = 4*w. Does 9 divide t?
False
Let y(i) = 15*i**2 + 2 + 2*i + 0 + 2. Is y(-2) a multiple of 24?
False
Let o be 165*(-1)/(-9)*3. Suppose o = 6*i - i. Does 5 divide i?
False
Let m be (-8)/(-3) + (-2)/(-6). Suppose -4*d + 2*z + 27 = 9, -d + m*z = -17. Does 9 divide ((-1)/(-2))/(d/72)?
True
Let a(l) = l**2 - 3*l + 33. Does 28 divide a(10)?
False
Suppose 0 = 5*g - s - 145, g - 5*s = 5*g - 116. Is g a multiple of 3?
False
Let m be (0 - 0) + (3 - 2). Let j(v) = 15*v**2 + 1. Is 6 a factor of j(m)?
False
Suppose 0 = -3*m + 18 + 39. Suppose m*l + 25 = 20*l. Does 25 divide l?
True
Let d be (-5 - -7) + -1 + 1. Suppose -r + 2*v = 0, d*r - v = -0*r + 12. Is r a multiple of 7?
False
Let i = -6 - -5. Let h = i - -1. Suppose h = 4*g - 88 - 12. Does 13 divide g?
False
Does 14 divide 79 + 7/((-42)/(-30))?
True
Let j(r) = r**3 - 6*r**2 + 2*r. Let y be j(3). Let x = y - -33. Let m = x + -5. Is 7 a factor of m?
True
Is (-90)/((-4)/(-16)*-6) a multiple of 13?
False
Suppose 0 = 2*b - 609 + 129. Is b a multiple of 16?
True
Let b = 214 - 13. Is 35 a factor of b?
False
Suppose -2*h = -8, 2*c - 5*h + 16 - 2 = 0. Suppose -3*n = j - 0*n + 7, c*j - 39 = 3*n. Is 16 a factor of (-12)/j*64/(-3)?
True
Let h(d) = 3*d. Let y be h(1). Let x = -2 + y. Does 11 divide (90/3)/x + 3?
True
Suppose 3*u - 108 = -0*u. Suppose -4*f + u = -f + 5*q, f - 2*q - 1 = 0. Is 2 a factor of f?
False
Suppose 0 = 3*m - 3*b - 666, -m + 219 = b + b. Is m a multiple of 13?
True
Does 41 divide (-246)/4*(320/(-15))/16?
True
Let p(x) = 11*x - 4. Let t(j) = 11*j - 3. Let d(m) = -2*p(m) + 3*t(m). Let b be d(1). Suppose 20 = -4*a, -3*f - a - 3 = -b. Is f a multiple of 2?
True
Let f(v) be the second derivative of -v**3/3 + 2*v. Is 7 a factor of f(-5)?
False
Let d = 171 + -99. Is 24 a factor of d?
True
Suppose 0 = 2*w - 5*v - 111, -2*v - 267 = -0*w - 5*w. Let x = 16 + 17. Let o = w - x. Does 10 divide o?
True
Suppose v + b = 60, 0 = 5*b - 2*b - 12. Is 6 a factor of ((-48)/v)/((-1)/7)?
True
Let k = 156 + -75. Does 16 divide k?
False
Suppose 0*m = -3*m + 51. Is m a multiple of 10?
False
Let j be ((-24)/30)/(4/(-130)). Let k = j - -2. Does 14 divide k?
True
Let m be 2/7 - 110/(-7). Let g = m + 4. Is 8 a factor of g?
False
Let t = 19 - 13. Suppose -5*b + 146 = -3*x, -3*x - 9 = -t*x. Is 13 a factor of b?
False
Suppose -12 = 3*i + 21. Let n(b) = -b**3 - 11*b**2 - 2*b - 7. Is 15 a factor of n(i)?
True
Suppose 324 = 7*r + 2*r. Does 18 divide r?
True
Let q = -24 - -55. Let t = -11 + 26. Suppose -4*i - 5*m + q = 0, -5*m - t = -10*m. Does 3 divide i?
False
Suppose -2*x = 1 - 7. Suppose -3*s + 6 = -x. Let v(q) = 7*q - 2. Is v(s) a multiple of 14?
False
Let a = -1 - -3. Let z(n) be the second derivative of n**5/5 - n**4/6 + n**3/3 - n**2/2 + 2*n. Is 19 a factor of z(a)?
False
Suppose -104 = -3*q + 40. Is 12 a factor of q?
True
Let a be 0 - (-4 + (0 - 0)). Suppose 8 + 0 = a*r, 0 = -o + 2*r + 29. Is o a multiple of 10?
False
Let b = -4 - -3. Let z(i) = -i + 7. Let v be z(4). Is b/(9/(-78))*v a multiple of 14?
False
Let f be (-14)/7 + 1*4. Suppose -f*g = 2*y + 3*g + 9, 5*g = y - 33. Is y a multiple of 4?
True
Let k(l) = l + 3. Suppose 4*p + j + 18 = -4*j, 0 = p - 4*j + 15. Let b be k(p). Let a = 9 + b. Does 2 divide a?
False
Let s be 42/(-35)*10/(-4). Suppose 0 = 2*j - s*r - 102, -j = -2*j - 3*r + 42. Is j a multiple of 14?
False
Let q(g) = 2*g + 78. Is q(0) a multiple of 6?
True
Let a(r) = 11*r**3 + 2*r**2 - 3*r + 2. Is 10 a factor of a(1)?
False
Suppose -3 = -2*w + 9. Let j = w + 3. Does 5 divide j?
False
Suppose 2*j = 2*o - 112, -3*o = 4*j + 56 - 210. Suppose 4*z = z + o. Is z a multiple of 18?
True
Is (-16)/(-56) + (-33)/(-7) a multiple of 5?
True
Suppose 2*s - 10 = o - 3*o, 3*s = 2*o + 10. Suppose 212 = s*i + 84. Suppose 0 = -j - j + i. Is 16 a factor of j?
True
Let y = 9 - 7. Suppose -3*x - 2*p + 135 = -131, 5*x = y*p + 438. Let a = x + -61. Is 12 a factor of a?
False
Let m = -5 + 9. Suppose s - y + m = 0, 5*s - s - 3*y = -14. Let j = s - -15. Is 13 a factor of j?
True
Does 11 divide (-110)/(-5) + 1 + -1?
True
Let r = 5 - 1. Let w(u) = -2*u + r + 3*u**2 - 2*u**2 - 6*u**2 + u**3. Does 14 divide w(6)?
True
Is (3 + 3 + -3)*42 a multiple of 20?
False
Suppose 2*o + 0*w - 15 = -5*w, 5 = -5*w. Suppose -2*j + 0*g + g = -o, -22 = -2*j - 2*g. Does 4 divide j?
False
Let d(j) = j**2 + 4*j + 3. Let m be d(-4). Suppose -4*v - 4*c + 1 = -79, 4*v - m*c - 87 = 0. Does 21 divide v?
True
Let r(c) = 3*c + 4. Let u be r(4). Suppose 5*v = -12 + 2, -5*v - u = -d. Is d a multiple of 6?
True
Suppose -3*l = l - 12. Let a be 2*(3 - (2 - 1)). Suppose l = a*w - 17. Does 5 divide w?
True
Let a = -3 - -7. Suppose 5*h + a*b = 103 + 187, 0 = -3*b + 15. Suppose -h + 12 = -3*l. Is 14 a factor of l?
True
Let z(u) = -u**3 + 7*u**2 - 4*u - 8. Let m be z(6). Suppose 2*v - 4 = m*c, 4*c + 0*v = -3*v + 6. Let t(y) = y**3 + 24. Is t(c) a multiple of 14?
False
Is 12 a factor of (-2*(-36)/15)/((-12)/(-150))?
True
Let q = 7 - 4. Let k = 1 + q. Suppose 0 = -g - h - 0*h + 59, g = k*h + 39. Does 14 divide g?
False
Let k be (4/10)/((-2)/(-30)). Let o = -15 + 20. Suppose o*c = 3*c + k. Is c even?
False
Let x(z) be the first derivative of z**4/4 + 2*z**3 + 2*z**2 + 6*z + 2. Is 11 a factor of x(-5)?
True
Let m be 2/10 - 28/(-10). Suppose -2*p = -6*p + 2*n - 38, -m*p - 32 = -5*n. Let x(b) = b**3 + 8*b**2 - 12*b - 3. Is x(p) a multiple of 16?
False
Let m = 62 + -26. Is m a multiple of 18?
True
Let z(r) = -r**3 - 7*r**2 - 2*r + 1. Is z(-7) a multiple of 4?
False
Let l be 2 - -1*(-4)/(-4). Suppose 3*q = 7*q - l*d - 154, 3*q = -3*d + 105. Does 14 divide q?
False
Suppose 0 = 4*x + l + 16, 3*l = -5*x - 0*x - 20. Let i(c) = -18*c + 5. Let m be i(x). Suppose -m = -3*a + 2*d, 7*a - 2*a + d - 124 = 0. Is a a multiple of 9?
False
Let i(b) = -b**2 + 19*b + 34. Does 26 divide i(14)?
True
Let n be 21/(-6)*12/(-21). Suppose n*r - 26 = -2*i - 2*r, -3*i + r = -39. Is i a multiple of 7?
False
Let y(o) = 5*o**2 - 4*o + 8. Let q be y(7). Let m = q + -144. Let l = -41 + m. Does 20 divide l?
True
Suppose 4*w - 2 = -3*p - 15, -2*w = 3*p - 1. Let q(s) = -s**2 - 14*s - 15. Is 11 a factor of q(w)?
False
Let n = -9 + 4. Let b be 2 + n*(1 - 4). Suppose -5*d + b + 19 = q, -5*q + 4*d = -122. Is 14 a factor of q?
False
Let b be (1*(-1 + 3))/(-2). Let v(g) = 11*g**2 + g. Is 7 a factor of v(b)?
False
Let v(y) = -3*y**2 + y**3 + 8*y - 11*y**2 - 9 + 4*y**2 + 5*y. Is 9 a factor of v(9)?
True
Suppose 5*i + 190 = -2000. Suppose z + 6 + 22 = -l, -59 = 2*l + 5*z. Does 16 divide i/l + (-2)/9?
True
Suppose p - 76 = -3*p - 5*n, -20 = 5*n. Does 12 divide p?
True
Let x(l) = -l**3 + 5*l**2 + 11*l - 5. Does 25 divide x(6)?
True
Suppose -4*b = -b - 33. Let d = 23 + -21. Let y = b + d. Is 9 a factor of y?
False
Does 37 divide -5*(-5)/25*241?
False
Let y = 121 - 63. Is 29 a factor of y?
True
Let i = -142 - -95. Suppose 0*d - 79 = -z + 2*d, 82 = z - 3*d. Let n = z + i. Is n a multiple of 11?
False
Suppose 118 + 102 = 2*r. Suppose -3*a - 4*u = -r, -3*a + u + 98 = -u. Is 17 a factor of a?
True
Let t be -30*(2 - (-4)/(-1)). Suppose -p + t = 2*p. Does 20 divide p?
True
Is 4 - (-6 + 4 - 111) a multiple of 13?
True
Suppose -6*f + 8 = 2*i - 2*f, -5*i = 2*f - 20. Is 4 a factor of i?
True
Suppose -140 = -m - 0*m. Suppose -3*h - 4*w + 101 = 0, -5*h + 0*h - w = -m. Does 27 divide h?
True
Suppose -2*f = 2*q - 4, 0 = -4*f + f - 2*q + 8. Suppose 0*o = f*o + 116. Let g = 51 + o. Is 20 a factor of g?
False
Does 6 divide (1/(-1))/(8/(-376))?
False
Is 17 a factor of (-8)/2*(-38)/4?
False
Let p(c) = 4*c**2 - 7*c - 15. Is 12 a factor of p(5)?
False
Let m(q) = -26*q + 5*q - 9 + 12*q + 7*q. Is 15 a factor of m(-12)?
True
Suppose -b - 3*y - 19 + 8 = 0, 2*b + 25 = -5*y. Let o = b - -36. Suppose 35 = 5*c - 10*a + 5*a, -o = -4*a. Does 7 divide c?
False
Let c = 16 + 4. Let f be ((-2)/(-4))/(2/136). Let g = f - c. Is 7 a factor of g?
True
Let o(q) = 14*q + 15. Is o(3) a multipl