?
False
Let k(v) be the first derivative of -v**2/2 + 12*v + 1. Let f be k(10). Does 5 divide 9 + (f - (-1 - -1))?
False
Suppose 2*m = -3*m - 5. Let h(y) = y**3 - y**2 - y - 1. Let p be h(m). Let x = p + 4. Is 2 a factor of x?
True
Let z = 33 + 45. Does 8 divide z?
False
Suppose 5*g - 10 - 65 = 0. Suppose -2*z - g = 3*z. Let r = z + 10. Does 7 divide r?
True
Let i(p) = 0 + 0*p + p + 1 + 4. Let k be i(-3). Is 14 a factor of (k - (-2 + 2)) + 13?
False
Let m(o) = o + 2. Let i be m(2). Suppose 0*j = -i*j + 216. Suppose -3*y = -j - 27. Does 14 divide y?
False
Let z(k) = 149*k - 19. Is z(2) a multiple of 22?
False
Let r(s) = 4*s**2 - 9*s + 0 + 0 - 3*s**2 - 8. Does 10 divide r(11)?
False
Let k = -21 + 15. Let n = 14 + k. Let x = n + 13. Is x a multiple of 9?
False
Let m be (72/20)/((-3)/15). Let s be (21/6)/((-3)/m). Let z = s - 7. Is 6 a factor of z?
False
Suppose -p + 2*o = 7*o - 94, -o - 76 = -p. Is 14 a factor of p?
False
Suppose 3*c - 88 = -2*b + 69, -b = -2*c - 82. Is b a multiple of 10?
True
Let g = -3 + 6. Suppose -v + 5*x + 18 = 0, 4*x + 0*x = -5*v + g. Suppose 2*u = y - v*u - 4, 5*u - 38 = -2*y. Is y a multiple of 7?
True
Let t = -5 + 6. Let o be (-6)/(-3) + t + 31. Suppose -2*h + x = -o, -2*x + x + 4 = 0. Is h a multiple of 8?
False
Suppose -5*x + 25 = 4*y, -4 - 3 = -y - 2*x. Suppose 2*q - 6*q = 3*c - 6, -y*q - 3*c = -9. Suppose 5*t - 16 = q*t. Does 4 divide t?
True
Let y(i) = -i**3 + 6*i**2 - 4*i - 6. Does 10 divide y(4)?
True
Let d = -23 + 23. Suppose 3*u - 9 + d = 0. Is u even?
False
Let s be -4 - (-2 + -1) - 93. Is 1/4 - s/8 a multiple of 5?
False
Suppose -6 - 204 = -3*m. Is m a multiple of 10?
True
Suppose 3641 = 11*h + 1221. Does 11 divide h?
True
Let u(g) be the first derivative of -7*g**2 + g + 5. Suppose 3*t - 6*t = 3. Is 15 a factor of u(t)?
True
Let v(f) = 4*f**3 + 2*f**2 - f - 2. Does 10 divide v(2)?
False
Let r be -1 + (0 - 2/(-2)). Suppose r = -4*s + 2*s + 4. Suppose -5*a + s = -8, 0 = -5*k + 5*a + 175. Is k a multiple of 13?
False
Suppose 5*a - 2 = 2*z + 2, 4*z + 8 = -3*a. Let i(t) = -t**2 - 7*t - 1 - t + a. Is i(-4) a multiple of 10?
False
Is (-48)/20 + 2 + (-2541)/(-15) a multiple of 37?
False
Let v(h) = -4*h**2 - 4*h. Let w(q) = -q - 1. Let r(f) = -v(f) - 3*w(f). Let c(j) = -9*j**2 - 15*j - 6. Let s(k) = 3*c(k) + 7*r(k). Is 13 a factor of s(-9)?
False
Suppose -5*x + 62 = -3*x. Suppose x = 2*p + b + 2*b, -43 = -5*p + 4*b. Does 11 divide p?
True
Let t(r) = -21*r - 2. Let x be (1 + 5)*(-1)/3. Let i = 0 + x. Does 20 divide t(i)?
True
Let k(x) = 22*x - 10. Is k(3) a multiple of 7?
True
Suppose -185 = 8*l - 1001. Is l a multiple of 20?
False
Suppose -4*i = -o + 4, 0 = -2*i - 3 + 1. Let l be 1 + 1 + -3 - -4. Suppose l*u - 66 = -o*u. Does 11 divide u?
True
Suppose 2*m = s - 0*m - 9, 6 = 4*s + 2*m. Suppose -4 + 25 = s*i. Suppose -l = -2*l + i. Is l a multiple of 7?
True
Suppose 0 = 4*i - 139 - 25. Suppose 6*y - 3*y + 30 = 3*a, -4*a + 3*y = -i. Is a a multiple of 3?
False
Suppose r = 3*k - 6*k + 289, 5*r = k - 123. Is k a multiple of 7?
True
Is (18/10)/((-9)/5 - -2) a multiple of 3?
True
Let q = -51 + 213. Does 42 divide q?
False
Let x be (-6)/2*(-238)/21. Suppose -7 = -2*f + 33. Let u = x - f. Does 7 divide u?
True
Let b = -4 + 8. Suppose 0 = -b*w + 16 + 4. Suppose -w*z + 0*z = -100. Does 11 divide z?
False
Let m be (-2)/(-6) + (-4)/12. Let b be 1 + m/1 + -2. Is 0 - ((-6 - -1) + b) a multiple of 5?
False
Let i = -7 - -9. Suppose i*b - 229 = -5*j, 4*j + 4*b = -0*j + 188. Is 15 a factor of j?
True
Suppose 0 = 4*y - 0*y - 5*d - 486, 2*y - 236 = -d. Is 21 a factor of y?
False
Let v = 54 - 24. Let b = -6 + 8. Suppose b*t + 2*r - v = 0, 0*r - 18 = -t - 2*r. Is 11 a factor of t?
False
Let h(y) = y**2 + 2*y + 2. Let r be h(-3). Suppose r*u + 3 = 28. Suppose -2*o + u = -15. Is 5 a factor of o?
True
Let n(a) = a**3 + 11*a**2 + 11*a + 14. Let o be n(-10). Is 14 a factor of ((-24)/(-20))/(o/110)?
False
Let k = -15 + 17. Let t(p) = p. Let q be t(6). Suppose 0*z - q = -k*z. Is z a multiple of 3?
True
Suppose 41*t + 660 = 45*t. Is t a multiple of 33?
True
Let a(m) = -m**2 + 7*m - 5. Let f = -7 - -12. Let z be a(f). Let g = 16 + z. Does 11 divide g?
False
Let z(y) = -y - 6. Let h(r) = -10*r + 1. Let g be h(1). Let f be z(g). Suppose l - 3*i = -0*i - 6, 3*l = f*i + 6. Is l a multiple of 4?
False
Let m(a) = -a - 6. Let x(c) = -c - 6. Let u(y) = 6*m(y) - 5*x(y). Let s be u(-6). Suppose 4*i + 5*g - 39 = 0, g + 4 - 3 = s. Is i a multiple of 6?
False
Let x = 36 + 18. Let z(n) = -n**3 - n**2 - n - 3. Let t be z(-5). Suppose 4*v = x + t. Is 13 a factor of v?
True
Suppose 0 = 7*r - 122 - 18. Is 10 a factor of r?
True
Let r be 18/3 - 3 - -1. Suppose 32 = r*d - 0*d. Does 7 divide d?
False
Suppose -4*h + 112 = -5*g, h + 5*g - 28 = -0*h. Is h a multiple of 2?
True
Let d = -20 - -18. Let z(t) = 2*t + 1. Let b be z(6). Let c = b + d. Is c a multiple of 8?
False
Suppose z - 37 = -2*j, z = 4*j - 3*z - 44. Is j a multiple of 13?
False
Let z be 3 + (-3)/((-6)/(-4)). Let k = 1 + z. Suppose 0 = -x - k*x + 45. Is x a multiple of 15?
True
Suppose 3*t = -4*x + 8 + 76, 5*x + 112 = 4*t. Suppose -5*i + 11 = -14. Suppose -t = -i*f + 17. Is f a multiple of 8?
False
Suppose -2*v = -14 - 16. Suppose 0 = 3*a + 5*x - v, 10 = a + a - x. Suppose 5*d - a*z - 45 = 0, -2*d - 3*z + 36 = 2*d. Does 7 divide d?
False
Let y(q) = 3*q**2 + 4*q + 3. Let a be y(-2). Let g = 14 - a. Is g a multiple of 5?
False
Suppose -4*p + 80 = -3*l, 4 - 12 = -2*l. Does 7 divide p?
False
Suppose 4*v - 398 + 142 = 0. Is v a multiple of 9?
False
Let q = 6 - 8. Let w be 78*(q + 6/4). Does 12 divide -1 + 0 - 2 - w?
True
Suppose 2*l = -5*h + 65, -5*l = -2*h - l + 26. Is 13 a factor of h?
True
Let l = 170 - 121. Suppose -2*h = 4*k - 39 - l, 123 = 2*h - 3*k. Is 27 a factor of h?
True
Is 41 a factor of (-2)/(-8) + (-3423)/(-84)?
True
Suppose 2*y - 2*r - r + 13 = 0, -5*y - r = 58. Let o(u) = u**2 - u - 5. Let a be o(5). Let p = a + y. Does 4 divide p?
True
Let z = -12 - -12. Let s(a) = -a**3 - 4*a**2 + 3*a - 7. Let t be s(-5). Suppose 7*v - t*v - 52 = z. Is 5 a factor of v?
False
Let j(n) = n**3 - 5*n**2 + 2*n + 3. Let i be j(3). Let o = -22 - -23. Let k = o - i. Is k a multiple of 5?
True
Suppose 0 = -2*k - 5*v + 22, -3*k - 3*v = -8 - 7. Does 8 divide 6/10*(k + 14)?
False
Let c(o) = 2 - 8*o - 10 - 2*o - o**2. Is c(-6) a multiple of 11?
False
Let k(n) = -n**3 - n**2 + 3. Suppose 0 = -4*b + 3*b. Let l be k(b). Suppose -10 = l*o - 52. Is o a multiple of 14?
True
Let z be (-10)/(-6) + 4/(-6). Is z*(-1 + 3)*9 a multiple of 10?
False
Is 10 a factor of 4 + 5/((-25)/(-35))?
False
Let o = 0 - 0. Let w = o - -5. Suppose -2*f - y + 17 = -13, -2*y = -w*f + 75. Is 13 a factor of f?
False
Let y be 1/1*(0 + 2). Suppose u - 45 = -5*d - y*u, -5*d + 45 = u. Suppose 2*z = d + 3. Is z a multiple of 3?
True
Does 4 divide 5*1/20 + 254/8?
True
Suppose 4*n = 0, -4*o + 3*n - n = -64. Is o a multiple of 6?
False
Suppose 0 = -2*p + 89 - 17. Does 18 divide p?
True
Let i(y) = -y**2 + 13*y. Let k be i(12). Is ((-92)/k)/(1/(-3)) a multiple of 23?
True
Let n(b) = b - 5. Let d be n(10). Suppose 0 = d*l - 10, 4*l - 2*l = 2*g - 22. Is g a multiple of 12?
False
Suppose m + 4*p = 19, 30 = 2*m + 2*p - 14. Does 5 divide m?
False
Let a(u) = -u**2 - 17*u - 12. Is 9 a factor of a(-15)?
True
Suppose -x = -2*x + 26. Does 13 divide x?
True
Let r = 4 + -1. Suppose -7*k + 6*k = -2*q + 15, -2*k = -r*q + 24. Is 6 a factor of q?
True
Let m be ((0/(-3))/(-2))/(-2). Suppose m = 4*i + 2*n - 16, 3*i - 25 = 4*n + n. Is 5 a factor of i?
True
Suppose 0 = 3*l + 2*d - 15, -11 = -5*d + 4. Suppose 2*p = -6, l*g = -2*g - 5*p + 395. Does 17 divide g?
False
Let w(x) = x + 7. Let v be w(0). Let j be (-4)/14 - (-37)/v. Suppose 2*f - 34 = -4*q, -49 = -3*f - j*q - 1. Is f a multiple of 11?
True
Let k(r) = -7*r**2 + 4*r + 3. Let t(j) = 1. Let s(x) = k(x) - 3*t(x). Let c be s(-4). Let q = -89 - c. Is q a multiple of 18?
False
Let z = 125 - 7. Is z a multiple of 15?
False
Suppose -2*a + 7*a - 590 = 0. Is 30 a factor of a?
False
Let u(z) = 5*z + 3. Is u(5) a multiple of 14?
True
Let c = -24 + 28. Is ((-136)/(-3))/(c/6) a multiple of 17?
True
Let i(n) = -n**2 - 11*n - 11. Does 7 divide i(-8)?
False
Suppose 1303 - 4523 = -14*s. Does 46 divide s?
True
Let m be 4/2 - (0 + -3). Suppose 