
Let j(r) = -r**2 + 13*r - 8. Suppose 0*l = 2*l - 22. Is j(l) a multiple of 14?
True
Let s(r) = 7*r**2 + 4*r - 4. Is s(1) even?
False
Suppose 11*b = 10*b + 68. Is b a multiple of 16?
False
Let l(q) = 3*q**2 - 2. Let r be l(6). Let t = r - 64. Let u = -25 + t. Is 17 a factor of u?
True
Suppose 0*b - b = -71. Suppose v - b = 2*j, 5*v = -j - 4*j + 295. Is v a multiple of 21?
True
Let n = 110 + 18. Suppose n = 3*q + q. Is q a multiple of 16?
True
Suppose 5*x = 436 + 509. Is 21 a factor of x?
True
Let l = 4 + 2. Suppose -38 - l = -4*k. Is k a multiple of 7?
False
Let u = -7 + 10. Let q = u + 3. Let p = q + -4. Is p even?
True
Suppose -o - 3 - 9 = 0. Is 9 a factor of o/(-2)*9/6?
True
Let d = -8 + 11. Does 18 divide 77/d - 1/(-3)?
False
Let d(j) = j + 11. Let z be d(-6). Suppose 5*g + z*y - 14 = 51, y = -4*g + 52. Is 13 a factor of g?
True
Does 9 divide 2*(0 - (-23 + -4))?
True
Let j be 2/1 + -1 + 6. Suppose 2 - 4 = 2*c + 2*n, 5*c = -4*n - j. Let a(v) = -v**3 + v**2 + 3*v + 1. Is a(c) a multiple of 13?
False
Is (1 + 24/3)*1 even?
False
Let r = -31 + 43. Is r a multiple of 6?
True
Let z = 3 - -10. Let l = z + 0. Is 13 a factor of l?
True
Suppose f + f = 8. Suppose -f*a = -115 - 17. Does 3 divide 171/a + 4/(-22)?
False
Let y(d) = 8*d - 1. Let t(k) = -k - 8. Let v(n) = n + 9. Let p(c) = -5*t(c) - 4*v(c). Let i be p(0). Is 11 a factor of y(i)?
False
Let s(t) be the third derivative of -t**4/24 + t**3/3 - 2*t**2. Let i be s(4). Is 3 a factor of 1*(-6)/(0 + i)?
True
Suppose 4*d + 0*d = -3*h + 5, -d + 5*h = -7. Suppose 0 = -3*x - 3*t + 51, -4*t - 68 = -2*x - d*x. Is x a multiple of 11?
False
Let w = 1 + -1. Suppose 5*l + 260 = -w*l. Let z = 80 + l. Is z a multiple of 15?
False
Let o(i) be the first derivative of -5*i**2/2 + 6*i + 2. Let q be o(4). Does 13 divide (-89)/(-7) - 4/q?
True
Suppose 4*g + 4 + 4 = 0, -5*q - 4*g + 7 = 0. Suppose -2 = q*h - 5*h. Does 7 divide (1/h)/((-2)/(-18))?
False
Let t be 0*(-2 + (-6)/(-4)). Suppose 4*c = 3*q + 255, t*c + 5*q = 5*c - 315. Is 11 a factor of c?
True
Let y be ((-6)/3)/4*-10. Suppose 6 + 14 = y*u. Is u even?
True
Suppose t + t = 0. Suppose t = 4*v + 1 - 45. Is 6 a factor of v?
False
Let m = 2 - -1. Suppose 3*f + 0*f = 5*u + 121, 5*f - 175 = m*u. Is 16 a factor of f?
True
Let j = -3 - -2. Let w(b) = -16*b**3 + 2*b + 1. Let o be w(j). Let t = o - 10. Is t a multiple of 5?
True
Let y(i) = i**3 - 17*i**2 - 8*i - 10. Does 14 divide y(18)?
False
Suppose -4*g + 5*s + 53 = -g, -5*g - 4*s = -113. Is 21 a factor of g?
True
Let l(b) = -3*b**3 - 4*b**2 + 2*b - 5. Does 29 divide l(-4)?
False
Let p = -116 + 318. Is 26 a factor of p?
False
Suppose -68 = -5*z + 3*s, 4*z - s - 44 = z. Is 5 a factor of z?
False
Suppose -2*a - 4 = -16. Suppose -4*p - 23 = -3*x - 0*p, -a = -x + 3*p. Let b = x - -3. Is b a multiple of 5?
False
Suppose 2*s + 52 - 18 = 0. Let b = s - -29. Is 5 a factor of b?
False
Let m be (-80)/(-14) - (-4)/14. Let j be 34/9 + m/27. Suppose 38 = 5*d + j*h, -2*h - 3 = -2*d + 5. Does 6 divide d?
True
Let z(s) = 2*s - 18. Let n be z(9). Suppose n = -2*y, 3*a - 24 = -0*a + y. Is 3 a factor of a?
False
Let o(t) = 2*t**2 - 1. Suppose -3*z + 2*z = 2*g - 6, -5*z = -10. Let s be o(g). Let j = s - -7. Is 6 a factor of j?
False
Let p = 3 - 0. Is (p + -2)/(1/25) a multiple of 13?
False
Let f(m) = m**2 + m - 1. Let d be f(2). Suppose -39 - 6 = -d*r. Does 9 divide r?
True
Let k(p) = -p + 2. Let i be k(0). Suppose i*h - 5*n = -23, -5*n = -0*h - h - 9. Let l = h + 31. Is 15 a factor of l?
False
Suppose 3*v + 2*i - 17 = 0, -5*i + 1 = -4. Suppose 5*r = -5*h + 75, -h + 0 = v*r - 15. Does 5 divide ((-50)/h)/((-1)/3)?
True
Let z(k) = k**3 - 10*k**2 + 12*k - 13. Let p be z(9). Suppose 22 + p = 3*j. Does 12 divide j?
True
Let r(l) = -l**3 - 2*l**2 + 4*l - 4. Let b(f) = 2*f + 2. Let g be b(4). Suppose 2*o + g = -h, 2*o + h + 2*h + 14 = 0. Is r(o) a multiple of 6?
True
Let k be (926 - 0) + (-2 - 0). Suppose f = -2*f + k. Does 10 divide ((-6)/4)/((-21)/f)?
False
Let s be (0 + (-2)/4)*0. Let o be (-2)/((-2 - s)/2). Is 35 - (-2 + o/2) a multiple of 18?
True
Suppose k + 3 = s, -2*s - k + 4 = 1. Suppose 0*y - y + s = 0. Is 9 a factor of 0 - y*(-18)/4?
True
Does 18 divide ((-16)/(-24))/(2/153)?
False
Suppose -m = -5*z + 29, -22 = -3*z - 7. Is 22 a factor of 2/m + 230/4?
False
Suppose -3*x - 213 = -2*k, k - 206 = -k - 4*x. Does 47 divide k?
False
Let h(q) = 6*q**2 - 6*q - 4. Does 38 divide h(7)?
False
Suppose o - z = 3*z + 34, 2*z - 88 = -2*o. Does 14 divide o?
True
Let x(q) = 2*q - 7. Let m be x(6). Suppose -m*r + 199 - 34 = 0. Is 11 a factor of r?
True
Let h(o) = -o**3 - o**2 - 1. Let k be h(-1). Is 22 - (-1 + k + 0) a multiple of 10?
False
Let c(n) = n**3 + 4*n**2 - 2*n - 6. Let j be c(-4). Suppose 5*p = -k + 6*k - 5, -j*k + p = -6. Is 5 a factor of k?
True
Suppose -2*m - 2*m + 1 = -3*u, 4*u - 24 = -m. Let p be 2/12 - m/24. Suppose p = -5*j + 104 + 61. Is j a multiple of 12?
False
Suppose 61 = -4*m + 301. Is m a multiple of 6?
True
Suppose -5*t - 35 = 5*z, 8 = -5*z + t - 21. Let d be z/(-27) + 770/18. Let j = d - 29. Is 14 a factor of j?
True
Let l = 290 + -133. Is l a multiple of 19?
False
Suppose 0*a - 90 = -2*a. Is a a multiple of 11?
False
Let r(i) = i**2 + 6*i + 2. Let s be r(-6). Suppose 5*y + 66 = 2*z, -s*z + 7*z + 5*y = 130. Is 12 a factor of z?
False
Suppose -3*k - 4 = -4*k. Let m(t) = k*t + 1 + 1 + 4. Is 13 a factor of m(5)?
True
Suppose -2*s = 3*q + 3*s - 45, -s = -2*q + 30. Suppose 7*t - 2*t = -4*g + 5, -g = -2*t + q. Suppose -t*c = -76 - 59. Does 15 divide c?
False
Suppose -5*n - 32 = -13*n. Let x = 0 + 0. Suppose x = 4*v + n - 12. Is 2 a factor of v?
True
Let t be (-3)/((-27)/12)*6. Suppose -t = 2*h - 28. Is 9 a factor of h?
False
Let g be 2/(-8) - 3/4. Let b be g/(0 - -1) + 1. Suppose -5*p = -5*h - 175, b*h + 4 = -h. Is 12 a factor of p?
False
Let k(g) = -g**2 - 7*g + 5. Let h be k(-7). Suppose -h*j - 3 = 2. Let m = 11 + j. Does 5 divide m?
True
Let m(c) be the second derivative of -5/2*c**2 + 0 - 1/3*c**3 - 2*c. Does 5 divide m(-9)?
False
Suppose -2*r = r. Suppose r = 2*f + 2*f - 144. Is 9 a factor of f?
True
Suppose 3*g = -2*t - 0*t - 2, -5*g - 4*t = 6. Let j be (-2)/3 + (-14)/6. Is j*-1*2/g a multiple of 3?
True
Is 2/14 - 2433/(-21) a multiple of 31?
False
Suppose -l - 305 = -3*u, -l = -4*u + 4*l + 414. Suppose -4*x + u + 47 = 0. Let n = 61 - x. Is n a multiple of 14?
False
Suppose -46 - 59 = -r. Does 15 divide r?
True
Suppose -35*n + 32*n = -330. Does 7 divide n?
False
Let u be 2/(-6) + 62/6. Suppose -3*j - 1 + u = 0. Does 2 divide j?
False
Suppose 0 = -3*q - 2*q + 10. Suppose -4*p + 27 = -c - q*c, 4 = -4*c. Does 5 divide p?
False
Let z = -30 + 27. Let d(b) be the first derivative of b**3/3 - 5*b**2/2 - 4*b + 1. Is d(z) a multiple of 10?
True
Is 2 + 2 + 0 - -8 a multiple of 12?
True
Let l be (-4)/(-2)*(3 - 0). Is 17 a factor of (-2)/l - 206/(-6)?
True
Suppose 0 = f - 2*f - 2. Is 2 a factor of (-3)/f - 1/(-2)?
True
Let n(v) = 2*v**2 - 38*v - 31. Does 11 divide n(21)?
False
Let d be -7*2*(-2)/(-4). Let c = d + 5. Is (-13)/c + (-6)/12 a multiple of 6?
True
Let c(l) = -1 + 2*l**2 + 7 - 10*l - 3 - 3*l**2. Is 12 a factor of c(-9)?
True
Suppose 3*h - 2*m + 35 = 4*h, 5*h = -4*m + 157. Is h a multiple of 3?
False
Suppose -11*u + 10*u = -97. Is u a multiple of 16?
False
Let m(n) = 27*n. Let d be m(-2). Let v = 33 + d. Let t = v + 45. Does 12 divide t?
True
Let h(j) = -8 - 2*j - j + 4*j + 11. Let f = -4 + 7. Does 2 divide h(f)?
True
Suppose 2*c - 5 + 1 = 3*i, 0 = -4*c + 3*i + 20. Is 7 a factor of c?
False
Let s = -5 - -4. Let g = 2 + s. Suppose -1 - g = -b. Is b a multiple of 2?
True
Let r be 1 + -5 - (7 + -6). Let o = r - -5. Suppose -3*b + 183 - 51 = o. Does 15 divide b?
False
Let u = 4 - 2. Let z be u + 1/((-2)/(-42)). Let d = z - -5. Does 14 divide d?
True
Let k = -6 + 8. Suppose 4*n - k*n = -2*z + 230, 5*z - 557 = n. Is 16 a factor of z/6 + 1/3?
False
Is (-22)/(-44) + ((-57)/(-2) - 2) a multiple of 2?
False
Let i(b) = -b**3 - 12*b**2 + 9*b + 31. Is i(-13) a multiple of 42?
False
Suppose p + 3*k = 13, -p + 15 = k + 4. Suppose 3*h + 0 = 2*b + p, -2*b - 10 = 4*h. Let o = 23 - b. Is o a multiple of 14?
True
Suppose -3*b - 2*b + 135 = 0. Let i be (-2)/(-9) + 237/b. Suppose 0 = -4*j + i*j - 15, -235 = -5*z - 5*j. Does 13 divide z?
False
