- 2*d - 5 = d. Suppose 0 = i*c - 4 - 0. Suppose -4*x + 0*g + 86 = c*g, 4*x - 5*g = 107. Is 13 a factor of x?
False
Suppose 4*q + 50 = 178. Suppose q = -0*b + 4*b. Is 8 a factor of b?
True
Let j(u) = -6*u**2 - u + 1. Let w(z) = 24*z**2 + 5*z - 5. Let m(l) = -9*j(l) - 2*w(l). Let k be m(1). Suppose -k*f + 15 = -f. Is f a multiple of 2?
False
Suppose 2*j - 48 = -4*k, -4*j + 0*k + 144 = -4*k. Is 6 a factor of j?
False
Is 4 a factor of (4/6)/((-10)/(-195))?
False
Let i be (-15)/(-25) - 92/(-5). Let l = i - -16. Does 16 divide l?
False
Let i be 3/(-2 + (-39)/(-15)). Let x(v) = 3*v - 7. Does 3 divide x(i)?
False
Let s = 2 + -1. Is (5 - (s + 1)) + 15 a multiple of 18?
True
Let c = 0 + 2. Let u(s) = 12*s + 2 - 3 - 5*s. Is u(c) a multiple of 6?
False
Let p be (-7)/(-1) - (9 + -6). Suppose -f = p*f - 115. Is 5 a factor of f?
False
Suppose 2*x = 7 + 61. Let y(b) = 3*b - 4. Let h be y(3). Let m = x - h. Does 11 divide m?
False
Let x = 93 + -59. Does 15 divide x?
False
Let m(b) = b**3 - 16*b**2 + 4*b + 8. Does 3 divide m(16)?
True
Let v(s) = -s**2 - 11*s + 6. Let g be v(-6). Is (81/g)/(1/8) a multiple of 6?
True
Let c = -13 - -18. Suppose m + m + 7 = -c*i, 1 = -m - 2*i. Let n = 12 - m. Does 3 divide n?
True
Let n = 3 - -1. Let c(s) = s**2 - 2*s - 5. Let g be c(n). Suppose -3*i + 0*i + g*f = -84, 2*i = -3*f + 61. Is 13 a factor of i?
False
Let i be 8957/78 + (-2)/(-12). Let j = -11 + -68. Let o = j + i. Does 12 divide o?
True
Suppose -4*t - 4*m = -293 + 41, 0 = 4*t + 2*m - 250. Does 7 divide t?
False
Let g(i) = -2*i**3 - 13*i**2 - 8*i + 1. Is g(-6) a multiple of 4?
False
Let i(u) = -u**3 - 7*u**2 + 4*u + 6. Let g(w) = w**2 + 4*w + 3. Let h be g(-5). Suppose 2*f = f - h. Does 19 divide i(f)?
True
Let t(g) = 24*g**2 + 2*g + 1. Does 10 divide t(-2)?
False
Suppose 2*g + 0*g = 10. Suppose g*u = -11 + 36. Suppose -2*j = u*h + 3*j - 55, 0 = h - 2*j - 2. Is h a multiple of 3?
False
Let a(y) = y**2 - 3*y + 1. Does 3 divide a(6)?
False
Suppose 35 + 49 = 3*s. Suppose -3*y + 7*y - s = 0. Is 2 a factor of y?
False
Let c(p) = 36*p**2 - p - 2. Is c(-1) a multiple of 21?
False
Let g(t) = -t**3 - 6*t**2 + t - 6. Let a be g(-5). Does 11 divide (a/(-21))/(4/42)?
False
Suppose 2*p = 3*h + 103, -4*p - h + 2 + 197 = 0. Is p a multiple of 18?
False
Suppose -2*u - u + 6 = 0. Suppose 5*i - u = 8. Suppose 4*a + 13 = k, -3*a = -k + 15 + i. Is 15 a factor of k?
False
Suppose -2*a + 67 + 31 = 0. Is a a multiple of 18?
False
Let t be -28 - (-2 + 2 + 0). Suppose 11*a = -3*a + 840. Let s = t + a. Is s a multiple of 14?
False
Let t(c) = -3*c. Let p be t(-2). Let m(q) = q**2 - 5*q. Is 5 a factor of m(p)?
False
Let i be 2/4 - 2/4. Let n = 0 - i. Does 12 divide (n - -4)*(-1 + 7)?
True
Let y(r) = r - 1. Let i be y(5). Suppose i*n - 1 - 55 = 0. Is n a multiple of 6?
False
Suppose 2*i + 2*i - 20 = 0. Let n(f) = -i*f + f + 3 + f + 0. Is n(-6) a multiple of 19?
False
Let y = -139 - -227. Does 19 divide y?
False
Let l(k) = -5*k**2 + 3*k + 15. Suppose 2 = -x + 2*p, 0 = -2*p - 1 - 3. Let j(h) = 6*h**2 - 2*h - 16. Let i(u) = x*j(u) - 7*l(u). Does 4 divide i(-6)?
False
Let q(z) = z**3 + 13*z**2 + 8*z - 10. Let u be q(-10). Suppose -l - u = -6*l. Is 14 a factor of l?
True
Let y = 33 - 10. Is 23 a factor of y?
True
Let i(b) = b**3 - 10*b**2 + 9*b + 7. Does 2 divide i(9)?
False
Let u = -228 + 290. Is 10 a factor of u?
False
Let x(i) = i - 1. Let k be x(3). Let p be (k - 2)*1/(-1). Is 14 a factor of p/1 + 28/2?
True
Suppose t = -0*t + 102. Suppose -l + 34 = g - 5*g, 3*l = -5*g + t. Is l a multiple of 13?
False
Let h be 1/2*(4 + -2). Suppose -4*u + 22 = 5*q, 5*q - u = 6 + h. Suppose -f - 31 = -l, -5*l - 3*f = q*f - 145. Is l a multiple of 15?
True
Let z(q) = -q**2 - q - 2. Let a be -2 + (2 - (-2 - -2)). Let y be z(a). Is 10 a factor of (-2)/(-4) + (-27)/y?
False
Let u be (3/2)/((-12)/(-16)). Suppose o + u = 0, 5*s - 2*s + 4*o - 22 = 0. Suppose 0 = -q - 0*q + 4, -2*g = -4*q + s. Is g a multiple of 3?
True
Suppose -2*v + 7*v + 5 = 0. Let z be (0 + v + -160)*-1. Suppose z = 4*h - 3*x, 3*h - 4*x + 2*x = 122. Is h a multiple of 22?
True
Suppose f - 10 = -0*f. Suppose c - 3*c + f = 0. Suppose c*w + 25 = 0, 34 + 49 = 4*p - 3*w. Is p a multiple of 17?
True
Let n be ((-156)/(-10))/(5/25). Suppose -3*j = 3*a - 2*a - 42, -3*a + n = -3*j. Does 5 divide a?
True
Let s = 15 + 10. Let y = s - 18. Does 4 divide y?
False
Suppose -2*f + 4 = -f. Suppose f*u = u + 4*t + 124, 4*u = 3*t + 170. Is u a multiple of 22?
True
Let q(f) = -2*f - 3. Let l(i) = i + 3. Let g(c) = -3*l(c) - 2*q(c). Let d be g(4). Does 9 divide (6/18)/(d/69)?
False
Does 8 divide (-4)/30 - (4 + (-6008)/60)?
True
Let h(k) = -k**2 + 19*k - 18. Is h(17) a multiple of 3?
False
Suppose 10*y - 150 = 5*y. Let x = y - 13. Is 3 a factor of x?
False
Let h be (4/(-3))/((-2)/6). Suppose -4*d = d - 15, -n - h*d = -35. Does 11 divide n?
False
Suppose 3*n + 5*l - 71 = 0, 0 = -2*n - 5*l + 44 - 0. Suppose 0 = -4*o - 11 + n. Suppose -2*y - o*a = -8, 2*y + y - 52 = 2*a. Is y a multiple of 14?
True
Let q(n) = -n**2 - n - 1. Let k(w) = w**2 - 12*w + 14. Let m(r) = k(r) + 2*q(r). Is 8 a factor of m(-11)?
False
Let q be 28/10 + (-2)/(-10). Suppose w - 60 = -q*w. Does 15 divide w?
True
Suppose -3*p - w = -18, 3*p - w + 6 = 18. Let v(m) = -m + 11. Let s be v(p). Suppose -r - 105 = -s*r. Is r a multiple of 6?
False
Let g(h) = 3*h**3 - 4*h**2 + 7*h - 8. Does 37 divide g(4)?
True
Suppose -3*b + 10 = -2. Suppose 7 = b*j - 29. Does 9 divide j?
True
Suppose 0 = -4*v - 9 + 1. Does 4 divide 6/(v/(-4) + 1)?
True
Let q = 16 + -22. Let t be (q/(-5))/(2/(-80)). Let y = 72 + t. Is 11 a factor of y?
False
Let z(c) be the third derivative of 0*c + 1/6*c**3 - 1/24*c**4 - 4*c**2 + 0. Does 10 divide z(-9)?
True
Suppose -4*o = -3*j + 131 + 105, 4*o = 2*j - 156. Is 20 a factor of j?
True
Suppose z - 3*a = -3*z + 27, a = -5*z + 10. Let s = 13 - z. Does 6 divide s?
False
Suppose -26 - 88 = -3*n. Suppose 4*s = 5*q + n, s - 2*q + 64 = 6*s. Is 21 a factor of (-7)/(-2)*s/2?
True
Suppose 0 = -4*d + 328 + 268. Does 20 divide d?
False
Suppose -7*s + 2*s = 75. Let k = 11 - s. Does 18 divide k?
False
Suppose -x - 44 = 3*x. Let h = x - -27. Does 8 divide h?
True
Suppose -2*m - 6*m + 2112 = 0. Does 44 divide m?
True
Let i(t) = -2*t - 6. Does 14 divide i(-17)?
True
Suppose -7 - 9 = 4*i. Let t be i/(((-9)/3)/(-12)). Let u = t - -28. Is 4 a factor of u?
True
Let u(m) = 4 + m**3 + 4*m**2 - 1 + 0. Is u(-3) a multiple of 6?
True
Let b(r) = -r**2 + 12*r - 12. Let u be b(11). Let d be 0 + u/(1/2). Is (2 - -1)/(-1 - d) a multiple of 2?
False
Let p(v) = 5*v + 7. Let q(f) = 6*f + 7. Let o(s) = 5*p(s) - 4*q(s). Suppose i = -4*i + 35. Is 7 a factor of o(i)?
True
Let c(n) = -n**3 + 6*n**2 + 17*n + 2. Does 10 divide c(8)?
True
Let f(i) = -5*i - 10. Does 12 divide f(-14)?
True
Let l be -1*1*(0 + -1). Suppose -f + 1 + l = 0. Suppose 3*m = -3*n + 57, f*m - n = 4*n + 3. Is 5 a factor of m?
False
Let p = 0 - -2. Let o be 1 - ((-10)/2 + p). Let k = o - -11. Does 13 divide k?
False
Let r(f) = 2*f - 2. Let a(z) = -z + 7. Let q be a(5). Let x be r(q). Let b = 14 - x. Does 8 divide b?
False
Let p(u) = u + 10. Let i be p(-3). Let a(k) = -k**3 + 7*k**2 + 2*k - 7. Is a(i) a multiple of 7?
True
Is 20 a factor of 6/(-12)*-27*4?
False
Let q = -7 + 23. Is 3 a factor of q?
False
Let p = 15 - 11. Let x(b) = b**2 - 4*b + 4. Let z be x(p). Suppose -m = -z*m + 42. Is 6 a factor of m?
False
Let i be ((-16)/10)/(12/(-30)). Suppose -v - 2*u = -2 + 8, 6 = -5*v - i*u. Suppose v*z + 63 = 5*z. Does 10 divide z?
False
Let x = 6 + -4. Let n be 16/(x*(-1)/(-2)). Suppose n = l + l. Is 5 a factor of l?
False
Suppose -3*f = -4*f + 4. Is 4 a factor of f/2 - 0 - -18?
True
Let r(d) be the second derivative of d**7/840 + d**6/180 + d**5/120 - d**4/3 + 3*d. Let x(k) be the third derivative of r(k). Does 8 divide x(-3)?
True
Suppose 4*z - 68 = 4. Suppose 0 = -2*s + 42 + z. Is 15 a factor of s?
True
Let i be ((-1)/1)/((-1)/2). Suppose 2*v + 4*h + 8 = 7*v, -i*h = -4*v + 4. Let p = 32 - v. Is p a multiple of 11?
False
Suppose 2*v - 4*k + 16 = k, 2*k = 5*v + 19. Is 3 a factor of 10 - (0 + v + 4)?
True
Let r(z) = z - 1. Is 7 a factor of r(15)?
True
Let z(r) = r**3 + 4*r**2 - 2*r - 6. Is 9 a factor of z(-3)?
True
Let b(o) = -37*o - 6. Let y be b(-3). Suppose 0 = -0*s - 4*s