+ q. Is 14 a factor of h?
False
Let d(x) = 4*x**3 - 3*x**2 - 5. Let n be d(5). Suppose -3*t = 2*t - n. Suppose 0 = 4*f - 7*f + t. Is f a multiple of 12?
False
Let r = -46 - -66. Does 10 divide r?
True
Suppose -4*h = -5*x + 17 + 3, x + h = 4. Is 4 a factor of x?
True
Suppose t = 24 + 32. Is 28 a factor of t?
True
Let m(i) = -i**3 - 4*i**2 - 2*i - 2. Let f be m(-3). Let g = 10 - f. Does 15 divide g?
True
Let x = 20 + 31. Is x a multiple of 16?
False
Suppose -3*o = 2*o. Let g = 0 + o. Suppose -5*d + g*j + j + 63 = 0, j + 39 = 3*d. Is d a multiple of 12?
True
Let a(y) = -3*y**2 - 2*y**3 - 3*y + y**3 + 2 - 1 + 2*y**3. Let o be a(4). Suppose 3*l = 17 - o. Is l a multiple of 4?
True
Let d(x) = 3*x**2 + 6*x + 8. Let g be d(-6). Suppose 5*t - g = 85. Is t a multiple of 9?
False
Suppose 6 + 2 = 4*p, 0 = -5*d - 2*p + 234. Does 10 divide d?
False
Let q = -9 - -11. Suppose q*f - 95 = 17. Is 19 a factor of f?
False
Let x be 1*(18/2 - 2). Let g be (x - 1)*4/(-3). Let f(r) = -r**2 - 11*r + 9. Does 17 divide f(g)?
False
Suppose -3*f + 15 = 2*l - 5*l, 24 = -4*l + 5*f. Let z be (1/(-2))/(l/4). Suppose 3 = z*k - 5, 0 = 4*p - 5*k - 96. Is 15 a factor of p?
False
Suppose p = -p + 110. Let m be (1 - 4*9)/1. Let u = m + p. Is u a multiple of 18?
False
Let a(t) = t + 4. Let g be a(-6). Let v = g - -15. Is v a multiple of 13?
True
Let o(m) = 21*m**2 - m - 2. Let v be o(-2). Let x = 12 + v. Suppose -3*c - c + x = 5*d, -2*c - 2 = 0. Does 10 divide d?
True
Suppose 3*y - 2*y - 2 = 0. Let w = 4 - y. Suppose w*z + 2*z - 76 = 0. Is 11 a factor of z?
False
Let r be (-21)/(-3)*(1 - 0). Suppose 3*z + 100 = r*z. Is 14 a factor of z?
False
Suppose -13 = 12*n - 13*n. Suppose -3*t = 4*a - 191 + n, -136 = -3*a - t. Is a a multiple of 23?
True
Let a(l) = -4*l**3 + 3*l**2 - 7*l - 10. Is a(-4) a multiple of 23?
True
Let m = 145 + -129. Is m a multiple of 4?
True
Suppose 0 = 2*k + 2*k. Suppose -2*j = 4*t - 24 - 42, 3*j + 2*t - 79 = k. Does 8 divide j?
False
Let l be (-90)/(-12)*(0 + -6). Does 7 divide ((-4)/(-6))/((-2)/l)?
False
Suppose u = 6*u - 4*d - 14, u - 3*d + 6 = 0. Suppose -t = -u*t + 195. Is 13 a factor of t?
True
Let w be 157 + (0 - (-2 - 1)). Suppose 3*i + 32 = p, 2*i + w = 5*p + 5*i. Suppose -144 = -5*a + 4*r, -a + r - 3 + p = 0. Is a a multiple of 14?
True
Suppose 4*o - 139 = 2*o - 5*c, 0 = 5*o - 3*c - 425. Is o a multiple of 43?
False
Let y = 13 - -31. Is 20 a factor of y?
False
Let s(x) = -2*x**3 + x. Let h be s(-1). Let j(t) = 22*t + 1. Does 7 divide j(h)?
False
Let z = 8 + -3. Suppose -4 - z = -3*h. Suppose 10 = h*g - 20. Is g a multiple of 10?
True
Let c(d) = -d**2 - 9*d - 6. Let b be ((-4)/(-8))/((-1)/12). Let q be c(b). Let v = q - 6. Is 6 a factor of v?
True
Suppose 88 = -m + 3*m. Is m a multiple of 16?
False
Suppose k + 8 = 3*d - k, 4*d = -3*k + 5. Suppose -4*y - d*t + 82 = -0*y, 4*y + 4*t - 92 = 0. Does 18 divide y?
True
Let v be -2*((-6)/(-2) - 2). Let c be 5 + 0 + 1 + v. Let u(f) = 2*f**2 - 4*f - 4. Is u(c) a multiple of 12?
True
Let g(m) = -10 + m**2 - m**2 - 11*m - m**2. Does 5 divide g(-9)?
False
Let y be 4/(-14) - (-36)/(-21). Let u = y - 0. Let b(h) = 6*h**2 - 2*h - 3. Is 10 a factor of b(u)?
False
Let h(o) = 4*o**2 + 4*o + 2. Does 5 divide h(-2)?
True
Let z(h) = -h**2 + 7*h - 4. Let u be z(6). Let m be (-1)/2 + u/4. Suppose 5*r + 46 - 186 = m. Is r a multiple of 14?
True
Does 8 divide (-225)/(2 - 7) - 3*-1?
True
Let x be (0 - 5)*(-18)/5. Suppose 8 + x = 2*u. Is u a multiple of 13?
True
Suppose -4*q + 9*q - 25 = 0. Suppose 0 = -11*u + 8*u. Suppose u*c - q*c = -155. Is c a multiple of 12?
False
Suppose 0 = 5*x - 5*d + 400, -2*x + 4*d - 132 - 30 = 0. Let o = x - -114. Is o a multiple of 11?
False
Suppose 130 = 3*g + 2*g. Is 13 a factor of g?
True
Let u = -4 + 16. Is u even?
True
Let m = 126 - 81. Suppose -m = -2*c - c. Suppose 3*b - c = 15. Is b a multiple of 7?
False
Suppose 7*w - 4*n - 330 = 2*w, -2*n = 5*w - 300. Is w a multiple of 20?
False
Let u(l) = -6*l - 12. Is u(-6) a multiple of 12?
True
Suppose h = -4*n + 245, -2*n - n - 4*h + 187 = 0. Does 15 divide n?
False
Suppose -3*j = 2*b - 7*j - 10, 0 = 4*j - 8. Does 5 divide b?
False
Suppose 6 = 4*c - 2*m, c = m - 2*m. Does 10 divide 8 + 0 + c + 1?
True
Suppose 0*n - 12 = -4*n. Suppose -2*d - 4*m - 38 = 0, 3*d - 3*m + 10 = -2. Let w = n - d. Does 5 divide w?
False
Suppose 3*u = 4*j - 10 - 25, -5*j + 67 = 4*u. Suppose 5*l + j = 1. Is 8 a factor of ((-9)/3 - l) + 17?
True
Suppose 0 = 3*n + 2*n. Suppose n = 4*j + 5*c + 121, 6*j + 125 = j - c. Does 9 divide 2 + 0 + -4 - j?
False
Let p = -1 - -6. Suppose -4*s - p*b = -45, b + 7 - 2 = 2*s. Suppose -s*o = -o - 80. Is 13 a factor of o?
False
Let m = 63 - 12. Does 17 divide m?
True
Suppose 4*j - 3*u - 38 = 180, 10 = 5*u. Is j a multiple of 4?
True
Let w(l) be the second derivative of l**5/40 + l**4/8 + l**3/2 + 2*l. Let n(h) be the second derivative of w(h). Is n(3) a multiple of 12?
True
Let i(u) = u**3 + 4*u**2 - 12*u + 8. Does 28 divide i(5)?
False
Let k = -3 - 10. Let p = 63 + k. Is 25 a factor of p?
True
Let x(u) = -2*u - 1 + 0*u**3 - u**3 + 9 + 7*u**2. Suppose -w = -1 - 3, h + 4*w - 22 = 0. Is 13 a factor of x(h)?
False
Let h(a) = a**2 - 3*a - 5. Let b be h(5). Suppose -b*o - 15 = -10*o. Is o even?
False
Is 2/(-8) - 5607/(-28) a multiple of 20?
True
Suppose -453 = -0*o - 3*o. Does 21 divide o?
False
Suppose -12*o - 340 = -17*o. Does 18 divide o?
False
Suppose 4*l + 3 - 15 = 0. Suppose -4*u + 25 = -l*y + 4*y, 3*y - 4*u = 43. Is y a multiple of 5?
False
Let n be (-6)/(-33) - 180/22. Let c = n + 13. Suppose 2*t + 5*b - 4 = c, 0 = -4*t - 3*b + 39. Does 6 divide t?
True
Let x be (3/3 - 3) + 22. Let a be 8/x + 18/5. Is -1 + 11 + a/2 a multiple of 5?
False
Let i(u) = -u - 4. Let m be i(-7). Suppose 7 = h - m*p - 2*p, 0 = 4*h + p - 49. Is 7 a factor of h?
False
Let y(u) = -u + 3. Let d be y(0). Suppose 2*k = -d*m + k + 72, k = 0. Does 13 divide m?
False
Let w be 4/14 - (-103)/7. Let u be (7/3)/((-1)/w). Let t = 63 + u. Is 14 a factor of t?
True
Suppose 5*a + 5*q = 20, 2*q = 2 - 0. Let z(x) = -x**2 - 9*x + 10. Let s be z(-10). Suppose 2*m - a*m + 9 = s. Does 4 divide m?
False
Suppose 0 = n + 4*t - 30 - 6, t = 3*n - 147. Does 16 divide n?
True
Let m = -8 - -54. Suppose -2*a + 30 = 2*c, -a = 3*a - 3*c - m. Is 5 a factor of a?
False
Let a(s) be the third derivative of 3*s**6/40 - s**5/60 + s**4/24 + s**3/3 + 2*s**2. Let i(c) be the first derivative of a(c). Does 16 divide i(1)?
False
Let y(c) = -1. Let x(k) = -13*k - 2. Let u(g) = -220*g - 35. Let t(r) = 2*u(r) - 35*x(r). Let j(o) = -t(o) + 3*y(o). Does 11 divide j(-2)?
False
Suppose 0 = -5*s + 20, -3*s - 4 = -f - s. Is 12 a factor of f?
True
Suppose 4 = o - 1. Suppose 5*r - 58 = -4*s, r + o*s = 2 - 3. Does 14 divide r?
True
Let d = 1 + 2. Let i = d + -3. Suppose -16 = -4*n + 2*t, i*n + t - 10 = -n. Is 3 a factor of n?
True
Let s = -37 + 357. Suppose 8*m = 4*m + s. Is m a multiple of 21?
False
Suppose 0 = 3*u - 6*u. Suppose r + 4*s = u, 2*r + 0*s = 2*s. Suppose -3*b + 0*b + 36 = r. Does 9 divide b?
False
Let b(u) = u**2 - 7. Is b(-7) a multiple of 14?
True
Let r = -6 - -21. Let f be 10/r - 112/(-3). Suppose 4*p - 18 = f. Is p a multiple of 14?
True
Suppose t = -3*t - 3*m + 131, -2*m - 146 = -4*t. Is t a multiple of 12?
False
Let w = 184 - 24. Is w a multiple of 23?
False
Let f(n) = n**3 + 10*n**2 - 20*n - 4. Is f(-11) a multiple of 9?
False
Let l(q) = -q**2 - 9*q + 12. Suppose u + 2*b + 1 + 2 = 0, -15 = 2*u + b. Let k be l(u). Is 4 a factor of 2/(-3) - (-164)/k?
False
Let r = 103 + -47. Is 8 a factor of r?
True
Let z(a) = a**3 - 9*a**2 - 35. Is z(11) a multiple of 23?
True
Let q(d) = -5*d**2 - 2*d + 1. Let f be q(4). Let p = f + 23. Let i = -34 - p. Is i a multiple of 15?
True
Does 15 divide 7/2*90/3?
True
Suppose -2*k = -81 - 25. Does 7 divide k?
False
Let m be 43/3 - (-4)/6. Suppose 0*k + 135 = -5*k. Is k/(-5) - 6/m even?
False
Suppose -2*v = 2*v + 8. Let m(d) be the second derivative of d**4/3 + d**3/3 + 3*d. Is m(v) a multiple of 6?
True
Suppose 0*b - 4*q = -b + 4, -4*q - 12 = 0. Is 9 a factor of (b/(-10) + 0)*30?
False
Let y(z) = -z**3 - 4*z**2 + 5. Suppose 2*o = 3*k - 14, -3*k = -4*o + 4 - 26. Does 3 divide y(o)?
False
Does 17 divide -3*(136/3)/(-4)?
True
Let w be (9*3)/(2 + -3). Let g be 8/(-28) - (-542)/(-14).