ose -4*t + 2 = g, 3*t + 87 = 4*n. Is n a multiple of 6?
True
Suppose -16*o + 236 = 12. Is 4 a factor of o?
False
Let h(a) = a**2 + 6*a + 13. Does 17 divide h(6)?
True
Suppose 0 = 10*a - 3*a - 2464. Is 32 a factor of a?
True
Let v(x) = x**3 - 5*x**2 + x - 3. Let w be v(5). Suppose h = w*h - 31. Let k = h - 20. Is k a multiple of 9?
False
Does 16 divide 4/((-4)/(-83)) + -3?
True
Let b = -11 + 28. Is 17 a factor of b?
True
Let c(o) = o - 4. Suppose -3*z = 3*q + 10 - 43, 0 = -5*q + 3*z + 15. Let d be c(q). Suppose f = 4*p + 27, -3*f = -0*f - d*p - 61. Is f a multiple of 14?
False
Let i = -3 - -7. Suppose i*n = -4*t + 7 + 69, 0 = 2*t + 5*n - 32. Is 12 a factor of t?
False
Let c = 125 - 26. Is c a multiple of 11?
True
Suppose 3*r - 58 - 236 = 0. Is r a multiple of 14?
True
Let g be -32 + -2 - (2 - 1). Let x be 4/(-14) + (-220)/g. Suppose 0 = -3*p + 12 + x. Is 3 a factor of p?
True
Let y(p) = 11*p**2 + 5*p + 5. Is 15 a factor of y(-3)?
False
Suppose 0*l = 3*l - 9. Suppose -36 = 4*y - l*y. Let s = -13 - y. Is 9 a factor of s?
False
Let m(h) = -4*h + 4 + 5*h - 5*h + h**2 + 4. Is m(7) a multiple of 17?
False
Let v(w) be the third derivative of w**4/24 + 4*w**3/3 + 2*w**2. Let p be v(-8). Let b = p + 15. Is 15 a factor of b?
True
Suppose -3*d = -4*t - 27 + 1, -t = -4*d. Is ((-12)/t)/((-3)/(-224)) a multiple of 34?
False
Let m(k) = 33*k**2 + 1. Does 13 divide m(1)?
False
Let z = 14 + -10. Let a be 3/(-9) - (-1)/3. Suppose a = y - 3*u + 1, -z*y + 4*u = u - 14. Is 5 a factor of y?
True
Let v = -99 + 123. Is v a multiple of 10?
False
Suppose 0 = -7*d + 4*d + 12. Does 17 divide ((-46)/(-4))/(1/d)?
False
Let b(s) = s - 1. Let o(j) be the first derivative of -5*j**2 + 8*j - 1. Let z(p) = 6*b(p) + o(p). Is 11 a factor of z(-5)?
True
Let z(p) be the first derivative of -p**3/3 + 4*p**2 - 8*p + 1. Does 3 divide z(6)?
False
Suppose 9 = 5*h - 16. Let d(l) = -2 + 0 + 1 + 4*l. Does 9 divide d(h)?
False
Suppose -2*f = f. Let u = 3 + f. Suppose -u*n = -0*q + 2*q - 48, q - 6 = 3*n. Is q a multiple of 9?
True
Let f = 2 - -3. Suppose 2*t = f*u - 4*u + 75, -156 = -4*t + 4*u. Is 18 a factor of t?
True
Let o(m) = 38*m**3 + m**2 - 1. Let u be o(1). Let r = 93 - u. Let h = -25 + r. Is 8 a factor of h?
False
Suppose -8 = -4*k + i, -4*k + 1 = -2*i - 3. Suppose k*u - 157 = 2*u - 3*a, 2*u - 317 = -3*a. Suppose -u = -4*t - t. Is 22 a factor of t?
False
Let g(o) = -4*o - 2. Let w(q) = 7*q**3 + q**2 + q + 1. Let t be w(-1). Is g(t) a multiple of 14?
False
Suppose -3*t - 3*i + 18 = 0, -5*t = -i - 3 - 9. Suppose -9 = -t*c - 3. Suppose -3 = 2*v + 3, 3*h = -c*v + 39. Is h a multiple of 9?
False
Suppose -9 = -a + 2*i, -4*a - a = -i - 45. Suppose a*b - 30 = 4*b. Let n = b + 22. Is 14 a factor of n?
True
Let p = -10 - -22. Is -2*-14*3/p a multiple of 6?
False
Let y(a) be the first derivative of 0*a + 1/4*a**4 - a**2 - 2 - 2/3*a**3. Is 3 a factor of y(3)?
True
Suppose 0 = 5*v - 7*v + 230. Does 16 divide v?
False
Let t(s) = s**3 + 6*s**2 + 4*s + 2. Let m be ((-18)/(-6))/(6/(-4)). Let l be t(m). Let w = l + 7. Is 6 a factor of w?
False
Let l be -4 + (-1)/(-2 - -1). Let m be (-3)/l*(-28)/(-2). Suppose 0 = -3*x - 2 + m. Is x even?
True
Let s(l) = -l**2 + 3*l - 3. Let h be s(2). Is 8/(-3 + (4 - h)) even?
True
Suppose -x = -56 - 40. Is x a multiple of 32?
True
Let w(i) = 9*i**2 - 3*i + 1. Suppose -j - 5*q = -4*q, -2*j - 3*q - 2 = 0. Suppose -12 = -5*c - j. Is 11 a factor of w(c)?
False
Suppose 4*h - 10 = h + 2*w, w = -5*h - 5. Suppose 108 = -3*g - h*g. Let t = 50 + g. Is 14 a factor of t?
True
Suppose 2*t + 210 = 7*t. Is t a multiple of 13?
False
Let h(w) = -w**3 - 4*w**2 - w + 4. Let y be h(-3). Does 14 divide (1 - 30)*(-3 - y)?
False
Let c(j) = 18*j**3 - j. Is c(1) a multiple of 6?
False
Let f = 78 + -51. Suppose -t - 4*h + 42 = 0, -h - 34 = -3*t + f. Is t a multiple of 11?
True
Suppose -9 = 4*y + 3*s, 0 = 5*y + 4*s - 2 + 12. Let j = 0 - y. Suppose 3*i - j - 108 = 0. Does 19 divide i?
True
Let g = 7 - 2. Suppose -o - 4*o = -25, -g*l + o + 10 = 0. Suppose 3*b - 6 = -2*z + 22, z + l*b = 11. Is 15 a factor of z?
False
Let s(j) = 2*j + 2. Let b be s(-4). Let h be 1 - 2/(b/9). Suppose -40 = -h*g - 2*z, 0 = 2*g - z - 4*z - 20. Is g a multiple of 5?
True
Let x(u) = 4*u**2 + 2*u + 5. Let h(r) = 7*r**2 + 3*r + 11. Let a(i) = -3*h(i) + 7*x(i). Is a(-3) a multiple of 25?
True
Suppose 3*r + k - 1 = 0, -2*r + 4*k + 9 = 3*k. Suppose r*l - l = 44. Is l a multiple of 22?
True
Is (-74396)/(-420) - 3*(-2)/(-45) a multiple of 13?
False
Let r(i) = -5*i - 1 - i + 3*i**3 - 2*i**3 - 1 - 6*i**2. Is 5 a factor of r(7)?
True
Let m = -2 + 5. Let z = m + 1. Suppose -2*b - 42 = -z*r, 3*r = 2*r - 4*b + 15. Does 4 divide r?
False
Suppose -t = 2*t + 5*y - 8, 2*t = -y + 17. Suppose 0 = 10*n - t*n + 9. Is n a multiple of 9?
True
Let c(o) = 9*o + 3. Let i be c(-5). Let y be 2/(-7) + (-1104)/i. Suppose -y + 8 = -l. Does 11 divide l?
False
Let u be (4 - 6)/(-1 - 0). Let p = u + 3. Suppose p*i - 14 = 11. Does 5 divide i?
True
Let m(x) = x**3 - 5*x**2 + 7*x + 6. Is m(7) a multiple of 17?
True
Suppose 5*m - 19 - 1 = 0. Let t be 1/m + (-369)/(-12). Let b = t - 11. Does 20 divide b?
True
Suppose r - 2*l - 9 = 0, -4*r + 4*l + 11 = -5. Let p(n) = -7*n. Let w be p(r). Suppose -w*g + 64 = -3*g. Does 8 divide g?
True
Suppose -4*t = z - 5*z - 8, 3*t + 4*z - 20 = 0. Let b = t - -54. Does 18 divide b?
False
Suppose -3*d - 20 = -8*d. Suppose -98 = -4*j - 0*j - 2*q, 0 = d*q + 12. Is j a multiple of 16?
False
Let i(z) = -z**3 + 82. Is i(0) a multiple of 22?
False
Let z(d) = 4*d**2 - 2*d + 1. Is 2 a factor of z(1)?
False
Let j(q) = q - 1. Let d be j(2). Let h be d/(-5) + 96/30. Suppose 2*a - 3 = h. Does 3 divide a?
True
Suppose 0*z - 3*t + 64 = z, -72 = -z - 5*t. Is 13 a factor of z?
True
Let d be ((-212)/(-3))/((-2)/(-3)). Suppose -5*k = -224 - d. Suppose 4*a = -c + 3*c + k, 0 = 3*a + 4*c - 55. Is a a multiple of 5?
False
Suppose 3*w + w + 224 = 0. Let j = w + 85. Does 18 divide j?
False
Let v(w) = -w**2 - 12*w - 7. Suppose -3*c - 5*y + 68 + 23 = 0, -c + y + 17 = 0. Let b = 13 - c. Is 15 a factor of v(b)?
False
Is 4 a factor of (-343)/(-21) - (-1)/(-3)?
True
Let g = 229 - 97. Suppose -5*c - 2*i = -183, -4*c + 4*i - 2*i + g = 0. Is 12 a factor of c?
False
Suppose 5*k = 8*k - 252. Is k a multiple of 9?
False
Let j(q) = -q**2 - 4*q + 1. Let g be j(-5). Let v = g - -6. Is (3/v)/(2/20) a multiple of 12?
False
Let x(a) = 2*a**2 + 8*a + 3. Let s(f) = f**2 + 6*f - 1. Let q(d) = -d. Let z(p) = 5*q(p) + s(p). Let k(y) = x(y) - 3*z(y). Is k(5) a multiple of 6?
True
Let g be ((-8)/6)/((-3)/(-108)). Let u be (15/9)/((-2)/g). Suppose -3*t + 5*m = -u, -3*m = -5*t - 0*m + 56. Does 10 divide t?
True
Let x(c) = -6*c**2 - 5*c + 70. Let w(y) = -5*y**2 - 4*y + 71. Let l(k) = 5*w(k) - 4*x(k). Is l(0) a multiple of 32?
False
Let j be 1/4 - (-637)/28. Suppose 5*o - s - 246 = 0, -3*o + j + 119 = -2*s. Suppose -5*c = -4*z - 88, -c - 2*c + o = -z. Is c a multiple of 13?
False
Let g(y) = 5*y**2 - 2*y - 3. Let c be g(3). Let k = c - 20. Is 8 a factor of k?
True
Let h be ((-16)/(-20))/(2/(-10)). Let i be h/(-6)*243/9. Let m = i + 0. Does 9 divide m?
True
Let y be (-4)/14 + (-10)/14. Let j = 4 + y. Is 3 + (1 - j) - -11 a multiple of 12?
True
Let j = -15 + 21. Suppose 2*s - 20 = j*n - 5*n, -5*s = 2*n - 41. Is s a multiple of 4?
False
Let b = 117 + -249. Is 11 a factor of b/(-3)*(-1)/(-4)?
True
Suppose 7*d = 6*d + 14. Does 5 divide d?
False
Let i(c) = c**3 + 5*c**2 - 2*c + 8. Let n be i(-6). Let s = 87 + n. Does 23 divide s?
False
Let x(o) = o**2 + 4*o + 2. Suppose -4*r - 12 - 12 = 0. Is x(r) a multiple of 7?
True
Suppose -25 = 2*d + 5*y, -2*d - 13 = 4*y + 7. Suppose 3*r + 4*q + 103 = 14, -3*r - 3*q - 87 = d. Is (1 + 1)/(-1) - r a multiple of 12?
False
Let h be 2*(-3)/6*-8. Let r = -2 - 0. Let o = h + r. Is o a multiple of 3?
True
Let o be (-3)/(-9)*-2*-3. Suppose -o*u + 2*m - 6 = 0, 4*m + 0*m = 2*u + 12. Suppose 0 = -u*s - 4*s + 8. Is s even?
True
Suppose 2*d = 4*z + 5 - 3, 2*z - 8 = -2*d. Suppose d*w - 2*w = 47. Does 11 divide w?
False
Suppose 0 = -3*x + 7*x + 16. Let h = x - -6. Suppose h*j - 15 = -j. Does 2 divide j?
False
Let b(v) = v + 66. Is b(-20) a multiple of 23?
True
Suppose 0 = 2*p + 2, -3*p - 29 = -4*t - 6*p. Suppose -4*d - 8 = c, 3*d = -t - 7. Does 10 divide c?
