- 2*a, -2 = -p*d + 2*a + 6. Is d a multiple of 6?
True
Suppose 0*o = -3*o + 3*x, -3*o = -x. Suppose o = -3*m - 2*m. Suppose m = 4*s + 1 + 11, 0 = -2*c + 2*s + 34. Does 14 divide c?
True
Suppose -2*g + g = -140. Suppose 16*d = 12*d + g. Is d a multiple of 14?
False
Let c(u) = 49*u**2 + u. Suppose 4*b = 3 + 1. Is 18 a factor of c(b)?
False
Suppose r - 5*z = 23, 0*z - z = 3*r - 37. Is r even?
False
Let w = -50 - -107. Does 19 divide w?
True
Suppose -4*i + 530 = i. Does 22 divide i?
False
Let y be 15/5 + 2/2. Let v = 16 - y. Let z = 58 - v. Is z a multiple of 23?
True
Let f be (-38)/(-14) + 14/49. Let g(r) = r**3 - 5*r**2 - 5*r - 7. Let i be g(6). Let j = i + f. Does 2 divide j?
True
Let s = 4 - 0. Suppose 2*b = 8, 5*n - b = s*b + 205. Does 15 divide n?
True
Let y(r) = -4*r**3 - r**2 + 2*r + 2. Suppose v + 2 = 4*v + 2*w, -v + 14 = 4*w. Is y(v) a multiple of 10?
False
Let t(s) = s + 9. Let d be t(0). Let a = d + 2. Is a a multiple of 11?
True
Let i = 4 + -4. Suppose -5*j + 19 - 4 = i. Suppose 2*w = 3*m - w - 3, -j*m = -2*w - 8. Is m a multiple of 6?
True
Let b be (3/2)/((-11)/(-22)). Is 12 a factor of ((-8)/b)/(6/(-117))?
False
Suppose -3*j - 24 = -4*o - j, -o + 6 = 2*j. Is o a multiple of 3?
True
Let k = -13 + 63. Is 6 a factor of k?
False
Let o = 20 + -17. Suppose o*k - 29 = 31. Is 5 a factor of k?
True
Let x = 15 - 13. Does 14 divide 39 + -2 + 3 + x?
True
Suppose -c + 5*s = 10, -5*c - 2*s + 34 = -6*s. Let a be 5/c + (-1)/2. Let v(q) = -q**2 - q + 30. Is v(a) a multiple of 10?
True
Suppose -5*w + 5*j = -30, -15 = -4*w - w + 2*j. Let x be w/((-3)/(-177))*1. Let p = x + -17. Is 17 a factor of p?
False
Let r(j) = -20*j - 18. Let o(d) = -7*d - 6. Let m(k) = 17*o(k) - 6*r(k). Let q be m(-5). Does 5 divide (30/12)/(q/2)?
True
Suppose b + b = 80. Does 10 divide b?
True
Let s(w) = 7*w + w**2 - 10 + 10. Let i be s(-5). Does 13 divide (-252)/i + (-1)/5?
False
Let k(q) be the first derivative of -q**4/8 - q**3/6 + q**2 - 2. Let c(s) be the second derivative of k(s). Does 9 divide c(-5)?
False
Suppose -4*m = -2*m - 4. Suppose -m*l = 2*l - 28. Let u(f) = -f**2 + 15*f - 10. Does 23 divide u(l)?
True
Let z = 3 + 0. Suppose 3*u - 6 = 0, -5*j + 5*u - z*u = -51. Does 3 divide j?
False
Suppose -60 = -3*a + 15. Does 5 divide a?
True
Suppose 0*q + 231 = 3*q. Does 40 divide q?
False
Suppose 0*u - 5*n + 5 = -2*u, 4*n + 3 = 3*u. Suppose u*t = 2*q + 105, -2*t - 3*q + 11 = -12. Is t a multiple of 19?
True
Let r be -2 - 3/(-6)*26. Suppose w - 26 = -r. Is 9 a factor of w?
False
Suppose u = 1 - 4. Let n = u + 20. Does 6 divide n?
False
Let b(d) be the first derivative of 2*d**3/3 + 11*d**2/2 + 8*d - 2. Let m(l) = -4*l**2 - 22*l - 16. Let k(t) = 9*b(t) + 4*m(t). Does 14 divide k(-7)?
False
Suppose 5*m - 4*p - 68 = 0, 0 = 3*m + 3*p + 2*p - 63. Is 16 a factor of (-76)/m*3*-4?
False
Let b(o) = o**2 - o - 1. Suppose 5*a + 13 = 3. Let n be b(a). Suppose -5*v + 33 = -2*y, -v + n + 5 = 3*y. Is 7 a factor of v?
True
Suppose 5*y + 100 = 2*b, 3*y + 144 = 4*b + 7*y. Is b a multiple of 20?
True
Let n(s) = -4*s**3 + 16*s**2 - 4*s + 15. Let t(c) = -c**3 + c**2 - c. Let y(r) = n(r) - 5*t(r). Does 4 divide y(-11)?
True
Suppose 0*t = -2*t + 218. Suppose 0 = 5*u - 81 - t. Is u a multiple of 19?
True
Let y(v) = v**3 + 6*v**2 + 2*v - 2. Let j be y(-5). Let k = -6 + j. Let w(a) = 2*a - 7. Is 3 a factor of w(k)?
False
Let i be (-2)/(6/3) - -2. Let m = i + 1. Is 2 a factor of (m/(-2))/((-2)/6)?
False
Let b(n) = -4*n. Let y(d) = d**3 - 5*d**2 - 9*d + 9. Let v be y(6). Let t be b(v). Suppose -3*w + 18 = -t. Is 7 a factor of w?
False
Let z be 27/3*4/(-6). Let n = z - -17. Is 6 a factor of n?
False
Suppose 304 = 3*m - 4*s, -4*m + 4*s + 396 = s. Is 24 a factor of m?
True
Let m(x) = 8*x**2 - x. Let o(j) = -j**2 + 5*j + 1. Let y be o(5). Let b be -4 + 2 + y - -2. Is m(b) a multiple of 7?
True
Let c be -2 - (-10)/(2/2). Is 6/c - (-34)/8 a multiple of 4?
False
Let l(v) = 2*v - 1. Let s be l(2). Suppose -3*h = -5*u + 211, -5*u + h + 213 = -s*h. Is u a multiple of 15?
False
Suppose 3*m = 60 + 63. Does 17 divide m?
False
Let c(f) be the second derivative of f**5/20 - 2*f**4/3 - f**3/6 + 9*f**2/2 - 2*f. Let k be c(8). Let j = k + 31. Does 16 divide j?
True
Let h = 4 - -3. Suppose 2*k = h*k - 5*t, 32 = 4*k + 4*t. Let y = k + 6. Is 10 a factor of y?
True
Suppose -5*t + 15 = 5*z - 5, -4 = -3*t + z. Suppose -t*y + 88 = 5*x, 0*y = 3*x - y - 55. Is x a multiple of 10?
False
Suppose 5*s - 3*s - 4 = 0. Let m = -6 - -10. Suppose s*x - m*x = -10. Is 3 a factor of x?
False
Let u be (-5 + 0)*3/3. Let b = 7 + u. Suppose -x + b*y + 18 = 2, 5*x - 71 = y. Does 5 divide x?
False
Does 14 divide 5*(86/10 - 3)?
True
Suppose b = 33 + 54. Is 13 a factor of b?
False
Let o(b) = 5*b**2. Let m be o(-1). Suppose 2*f - 4*v - 38 = 0, 3*v = -f + m*f - 51. Is 5 a factor of f?
False
Suppose 0 = 3*d - 2*k - 99, -3*d + 121 = -4*k + 16. Is d a multiple of 31?
True
Let j(v) = -10*v**3 + 3 - 2 + 0. Is 11 a factor of j(-1)?
True
Let f be 1*(-1 + -2)/(-3). Is (4/10)/(f/25) a multiple of 7?
False
Let q be -8 + 4 + (3 - -3). Suppose a - 173 = -q*a - 5*g, -2 = -2*g. Is a a multiple of 14?
True
Does 12 divide ((-1 - 2) + -19)*45/(-6)?
False
Suppose -1 = -4*y + 7. Suppose f = 2*w + 11, y*f + 9 - 32 = 5*w. Is 3 a factor of f?
True
Suppose 0 = -5*d + 14 + 46. Is d even?
True
Let c(d) = d + 29. Let p(y) = 2*y + 59. Let b(u) = -9*c(u) + 4*p(u). Let m be b(0). Is 1 - ((-6)/(-3) + m) a multiple of 12?
True
Does 12 divide 245/10 + 2/(-4)?
True
Does 11 divide 88/7 - (-15)/35?
False
Let v be ((-3)/(-6))/((-4)/(-40)). Suppose -5*o - 2*c + 172 = 0, o = -3*o + v*c + 164. Is o a multiple of 12?
True
Suppose -99 = -4*o + m, -o + 2*m = 2*o - 73. Let d be -2 - (-40 - (-2 - -3)). Let r = d - o. Does 14 divide r?
True
Suppose -2*m + 37 = -g, -2*m + 61 = -4*g + 9. Does 16 divide m?
True
Let t = -6 - -8. Suppose -10 + 2 = -2*b. Suppose -b*x + t*x = -2*w, w = 3. Is x even?
False
Suppose -44 = f - 2*f - 2*d, -5*f + 2*d + 220 = 0. Let z(b) = b**3 - 5*b**2 - b + 2. Let u be z(5). Let p = u + f. Does 15 divide p?
False
Suppose 0 = -b - 2, 0 = 4*a - 2*b + b - 10. Suppose y - 6 = -a*y. Is 3/(-1 + 0 + y) even?
False
Let x(y) be the first derivative of 31*y**3/3 + y - 2. Is 16 a factor of x(-1)?
True
Suppose 3*u - 4*u = 0. Suppose 5*z + u*w = -4*w + 31, -4*z + 3*w = -31. Is z even?
False
Let g = 3 + 2. Suppose -3 = r + 2*r, 0 = j + g*r - 185. Suppose -2*f - j = -7*f. Does 19 divide f?
True
Suppose -5*k + 1746 = 13*k. Is k a multiple of 18?
False
Let a = 14 + 119. Does 19 divide a?
True
Let t(c) = 0*c - c + c**2 - 6 + 0*c + 4*c. Is t(6) a multiple of 16?
True
Let m be 0 + -1 + -4 + 6. Let g be 1 + -31 + (m - 3). Let o = g - -54. Is 11 a factor of o?
True
Let p(w) = -w**3 + 6*w**2 - 4*w - 3. Let q be p(5). Suppose q*k - k = 4. Suppose 5*g - 6 = -5*i + 4, k*g - 11 = -3*i. Does 5 divide g?
True
Suppose -4*r + 57 = 4*k - 191, -2*k + 5*r + 96 = 0. Is k a multiple of 21?
False
Suppose -3*p = -5*r - 237 - 202, -5*r - 3*p = 421. Let i = 160 + r. Is 19 a factor of i?
False
Suppose 5*v - o = -78, 4 = 2*o - 2. Let p = -10 - v. Suppose -4*y + 67 = g, 0 = -3*g - 2*g - p*y + 275. Is 15 a factor of g?
False
Let b(y) = 0*y - 5 + 13 - y**3 + 6*y**2 + 2*y. Is 12 a factor of b(6)?
False
Let g(t) = -t**3 + 9*t**2 - 9*t + 1. Is g(7) a multiple of 6?
True
Let k = -9 + 3. Let n = k + 9. Suppose -92 = -n*q - q. Does 11 divide q?
False
Let v be 4 + -3 + -61 - -2. Let n = v - -97. Is n a multiple of 10?
False
Suppose -8 = 2*f, -4*f - 113 = -5*z - 42. Is 4 a factor of z?
False
Let q(v) = v**3 + 7*v**2 - 3 - 4 - 1 - 10*v. Let f(o) = o**3 - 6*o**2 - 8*o - 1. Let i be f(7). Is q(i) a multiple of 4?
True
Is 20 a factor of (-1)/(-1 + 1/2) + 149?
False
Let z be (-944)/(-10) + 3/5. Is 8 a factor of (-2)/4 - z/(-10)?
False
Let b(q) = 3*q**2 + 2*q + 2. Suppose -3*v + 0*m = 2*m - 14, -5*v + 17 = -3*m. Is 10 a factor of b(v)?
False
Suppose 0 = -3*j + 3*n - 1914, 2*j - 3*n = 202 - 1480. Is 26 a factor of (-2)/(-5) - j/10?
False
Suppose 2*q - 4 = 3*q, 2*z - 2*q - 12 = 0. Let i(m) = -1 - z*m + 2 - 5. Does 8 divide i(-6)?
True
Let j = -457 + 649. Does 24 divide j?
True
Let t(y) = 20*y - 25. Let d(o) = -1. Let l(f) = 20*d(f) - t(f). Let a(h) = 7*h - 2. Let s(c) = -17*a(c) - 6*l(c). Is 8 a factor of s(9)?
False
Suppose 2*