 = -3 + i*t + 3. Is x(5) a multiple of 7?
False
Let o = 5 - 0. Is 2 a factor of o?
False
Does 2 divide (-81)/(-15) + 3 + 2/(-5)?
True
Suppose 302 - 47 = 5*c. Is 11 a factor of c?
False
Suppose -4*w + 23 = s, 3*w + 11 = -3*s + 35. Suppose 0*v = w*v. Suppose -n + 7 + 3 = v. Is 10 a factor of n?
True
Suppose -3 = -3*x + 2*x. Suppose 4 = -4*p - h, 4*h - 14 = -x*p - 4. Is 11 a factor of 101/9 + p/9?
True
Let u(c) = -c**2 - 13*c + 10. Let h = 24 - 34. Is 17 a factor of u(h)?
False
Suppose 2*p = 4*p + 16. Let t = -8 - p. Suppose 3 = h, -3*h = 3*b - t*h - 87. Is b a multiple of 13?
True
Suppose -61 = -9*w + 74. Does 14 divide w?
False
Suppose 3*v = v + o + 3, 0 = -2*v - 2*o. Let c be v + (0 - 2/(-2)). Suppose -2*b + 36 = p, 0*b - 140 = -5*p - c*b. Is 16 a factor of p?
False
Suppose 22 - 112 = -5*y. Does 18 divide y?
True
Suppose 2*u = -y + 9, 2*u - 3 = -4*y + 27. Is y a multiple of 7?
True
Suppose 3*r + 8 = -2*u - 0, 0 = 3*r - 2*u + 16. Let b(h) be the third derivative of h**5/60 + h**4/12 - 2*h**3/3 + 2*h**2. Is b(r) even?
True
Let b = -80 + 117. Is 8 a factor of b?
False
Is 11 a factor of 61 + (2/8)/((-2)/8)?
False
Let v(w) = 2*w**2 + 3*w - 5. Let f be 30/(-9)*6/5. Let x be v(f). Let z = x + -11. Is z even?
True
Let d = 229 - 145. Is d a multiple of 7?
True
Let l = 1 - -1. Suppose l*a - 7*a = -3*y + 103, 0 = 2*y + 3*a - 94. Suppose -2*f + y + 13 = 0. Is 9 a factor of f?
True
Let u(r) = r**2 - 21*r + 46. Does 9 divide u(20)?
False
Let d be ((-2)/(-3))/((-12)/18). Is (-98)/(-7) - (d - -3) a multiple of 4?
True
Let f(z) = 2 - 9 + 5 - 12*z. Suppose 4*j + 2 = 3*j. Does 8 divide f(j)?
False
Suppose 4*h + 552 = 5*l, -46 = -l - h + 68. Is l a multiple of 14?
True
Let q = -31 + 18. Let h = 39 + q. Is h a multiple of 12?
False
Suppose 35 = 5*x - 0*x. Suppose 0*d = d - x. Does 3 divide d?
False
Let k = 6 - 4. Let u(f) = -k*f - 3*f - 5 + f. Does 9 divide u(-5)?
False
Let v = -24 + 35. Is 2 a factor of v?
False
Let p(d) = d + 2. Let b be p(-9). Let s(v) = 2*v**2 - 7*v - 2. Let h be s(5). Let f = h + b. Is 3 a factor of f?
True
Let q(o) be the second derivative of 4*o**3/3 - o**2 - 4*o. Does 31 divide q(8)?
True
Is 16 a factor of 7*(2/3)/((-1)/(-33))?
False
Suppose -4*z - 4*u = -0*u - 60, 0 = 3*z - 4*u - 10. Does 6 divide z?
False
Let v = -39 + 45. Is v a multiple of 6?
True
Let y(x) = x**2 + 2*x + 1. Is 9 a factor of y(2)?
True
Let k(t) be the second derivative of -t**5/4 - t**4/6 - t**3/6 - t**2 - 3*t. Is 15 a factor of k(-2)?
False
Let z(b) = 78*b**2 - 3*b - 1. Is z(-1) a multiple of 10?
True
Suppose -2*h + t + 205 = -2*t, -10 = -2*t. Is h a multiple of 10?
True
Let j(w) = -w**3 - 7*w**2 - 6*w + 4. Suppose -2*q - 1 - 9 = 2*r, -5*q - 13 = 3*r. Let z be j(r). Suppose 24 = -z*l + 5*l. Does 12 divide l?
True
Let b = 10 + 17. Let d = -13 + b. Is 7 a factor of d?
True
Let y = -95 + 137. Is y a multiple of 14?
True
Let f be (-5)/((-15)/(-6)) - -7. Suppose 3*g - 5 = i, f*g - 4*g = -i + 7. Let n = g + 5. Is 3 a factor of n?
False
Is (-3123)/(-63) - (-3)/7 a multiple of 19?
False
Suppose 0 = 4*q - 5*x - 209, -2*q - 50 = -3*q + 2*x. Does 17 divide q?
False
Suppose 4*t = -2*y + 770, 2*t + 5*y - 267 = 114. Is 21 a factor of t?
False
Let o(a) be the second derivative of a**4/12 + a**3/2 - 2*a**2 - 2*a. Is o(3) a multiple of 14?
True
Suppose -175 = -3*t - 1. Is t a multiple of 13?
False
Let r(t) = -t**3 + 4*t**2 + t - 1. Let k be r(4). Suppose 72 = k*p - 24. Is p a multiple of 29?
False
Let q = 1 + 3. Let j = 7 - q. Suppose j*m - d - 54 = -m, m = 3*d + 8. Is m a multiple of 6?
False
Suppose o = 0, 10*o - 5*o = -2*t. Is 22 a factor of (-378)/(-6) + (3 - t)?
True
Suppose 3*q = -t + 20, 5*t + 5 = 5*q + t. Let p = -1 + q. Is 9 a factor of (2/1)/(p/22)?
False
Suppose h + 4*y = 66, 0 = 3*h + 2*y + 3*y - 219. Does 33 divide h?
False
Suppose 3*i - 64 = 125. Is i/14*92/6 a multiple of 17?
False
Let q(z) = z + 2. Suppose 4*x - 20 = 0, -2*m = x + 3*x - 8. Let a be q(m). Let o(f) = -3*f + 3. Is 15 a factor of o(a)?
True
Suppose 0*c + 36 = 3*c. Is c a multiple of 6?
True
Suppose 2*k + 9 = 3*c - 127, 158 = 4*c + 2*k. Suppose 0 = -4*y + c + 6. Is 12 a factor of y?
True
Let d = 85 - 16. Is 23 a factor of d?
True
Suppose 0 = 2*q - 0*q - 4. Suppose q*l + 18 = 5*l. Suppose -5*f = 5*i - 70, -2*i = f - 23 - l. Is i a multiple of 15?
True
Suppose -j - j - 6 = 2*m, 2 = -j. Let f(s) = 16*s**3 + s + 1. Let n be f(m). Let c = -4 - n. Is 6 a factor of c?
True
Let o(n) = -n**3 - 6*n**2 + 5*n - 6. Let a be (-12 + -2)*6/12. Let b be o(a). Let i = -5 + b. Is i even?
False
Let g(k) = -3*k**3 - 2*k**2 + 2*k - 2. Let n be g(-4). Suppose -12*q = -7*q - n. Is q a multiple of 10?
True
Suppose -9 = 3*n, -3*x - n = 4*n - 465. Does 33 divide x?
False
Let p be 1/(5/(-2) + 3). Suppose 4 = t - 3*t, -t + p = 2*w. Suppose 0 = -5*z - 0*z + 4*c + 125, w*z - 50 = 5*c. Is 14 a factor of z?
False
Suppose m = -0*m + 3*p + 36, -2*m = 4*p - 62. Suppose 4*f - m = 63. Does 12 divide f?
True
Suppose 4*f = 8*f. Suppose -3*k - 21 = -6*k + 3*o, -2*o = f. Does 5 divide k?
False
Suppose -2*k = -k - j - 28, 0 = -2*k - 3*j + 81. Suppose 6 = 3*b - k. Is 13 a factor of b?
True
Suppose -z - 4 = 0, 4*k - k = -2*z - 5. Let r(y) = 35*y + 1. Is 12 a factor of r(k)?
True
Suppose -2754 = -8*x - 170. Does 17 divide x?
True
Suppose -69 = -g - 2*o, -4*g + 5*o + 138 = -2*g. Let l = 129 - g. Does 20 divide l?
True
Suppose 2*z = -0*z. Suppose z = -3*u + 56 + 10. Does 6 divide u?
False
Let t = -38 - -58. Let p = t + -42. Is (-304)/p - 4/(-22) a multiple of 10?
False
Let s be (11/(-2))/(2/(-4)). Let k = s - -3. Is k a multiple of 7?
True
Suppose 0 = -5*h - 15, 2*u = 5*u - 4*h - 1149. Is u a multiple of 16?
False
Suppose 0 = b - 16 - 4. Suppose -g - b = -6*g. Suppose g*x + 4 = 0, x = -z + 2*x + 10. Does 4 divide z?
False
Let d = 13 - 8. Suppose 69 = 3*s + d*a, 3*s - 32 - 16 = 2*a. Let v = s - -10. Is 14 a factor of v?
True
Let o(j) = 11*j**2 + 3*j + 39. Is 40 a factor of o(-5)?
False
Let b be -3 + 27/(3 + 0). Let z be (-236)/b - (-2)/6. Let n = z - -66. Is 9 a factor of n?
True
Let r = 18 + -13. Suppose l + r*p - 77 + 26 = 0, 4*p = 5*l - 110. Does 10 divide l?
False
Let d(z) be the second derivative of z**3/6 - 3*z**2/2 + z. Let n be d(8). Suppose -h - n = 0, 0 = 2*t + 2*h - h - 57. Is t a multiple of 12?
False
Suppose 5*v = -3*d + 11036, 15 + 5 = 5*v. Is 8/10 - d/(-60) a multiple of 13?
False
Let m(y) = -y**2 + 2*y + 3. Let r be m(0). Suppose -116 = -5*d - 3*w, 4*d - 2*w - 97 = -r*w. Does 6 divide d?
False
Suppose 2*i - 4*x + 2*x - 114 = 0, -3*i - 2*x + 146 = 0. Suppose -i = -5*k + 3. Does 11 divide k?
True
Let c = -15 - -9. Does 4 divide -2*(3/c - 4)?
False
Does 13 divide (-2116)/(-161) + (-2)/14?
True
Let t = -7 + 4. Is 5 a factor of 1 - (t + -2 + 1)?
True
Suppose 3*m = -m + 4, 387 = 4*j + 3*m. Let f(t) = 8*t**3 + 3*t**2 + 2*t + 2. Let q be f(-2). Let o = j + q. Is o a multiple of 14?
True
Does 6 divide (-27)/(-18) + (-66)/(-4)?
True
Suppose 4*z = -5*w - 296, -2*w = -6*w + 5*z - 245. Let s be -12*1/4*-2. Is 20 a factor of (w/s)/(1/(-4))?
True
Let t(b) = 4*b**2 + 4*b + 1. Let r(m) = -m**2. Let u(y) = 4*r(y) - t(y). Let n be u(-3). Let h = n + 91. Is 15 a factor of h?
True
Let b(t) = -2*t**3 + 3*t**2 - 13*t + 2. Let q(o) = o**3 - 2*o**2 + 7*o - 1. Let l(h) = 6*b(h) + 11*q(h). Is 4 a factor of l(-4)?
False
Suppose 5 = 5*w - 0. Let i(q) be the third derivative of q**6/8 - q**5/60 - q**2. Does 14 divide i(w)?
True
Let t(n) = -3*n - 15. Is t(-9) a multiple of 3?
True
Let p(i) = -i**3 + 7*i**2 - i + 7. Let z = 21 - 14. Let y be p(z). Suppose v + 2*b - 9 = y, 15 = 5*v + 5*b - 25. Does 2 divide v?
False
Suppose -105 = -4*d + 295. Suppose -m + 267 = -5*w - 138, d = -w + 4*m. Let v = -36 - w. Is 13 a factor of v?
False
Let q = -3 + 8. Let f = q + -8. Let b = f - -10. Is 2 a factor of b?
False
Let p = -54 + 196. Suppose f + p = 3*f. Is f a multiple of 21?
False
Suppose -32 = -5*l + 3*c, 12 = -2*l + 2*c + 28. Suppose 2*i = -l*h + 104 - 18, 0 = 4*i - 4*h - 148. Is i a multiple of 13?
True
Let g(u) = 13*u + 6. Let r be g(6). Is 82/14 + 12/r a multiple of 3?
True
Let v(k) = -k**2 + 6*k - 1. Let f be v(5). Suppose 16 = 4*c + 5*l, c = -l + 5*l + f. Suppose -4*x = -u - u - 12, -c*u + 2 = 5*x. Is 2 a factor of x?
True
Let g(b) = -22*b + 1. Does 12 divide g(-1)?
Fals