 -p. Let f be (2/(-4))/(4/(-8)). Let k(v) = f*g(v) + 3*n(v). Does 3 divide k(1)?
True
Let p = -2 + 16. Is p a multiple of 14?
True
Let c(d) = -5 + 2 + 11*d**2 - 1 + 5. Is 4 a factor of c(-1)?
True
Suppose 4*o - 35 = -4*s - o, 2*o - 26 = -4*s. Suppose -2*t + 4*r = 2, 3*r + 15 = s*t - 1. Does 2 divide t?
False
Let d(o) = o**2 - 4*o - 1. Let x be d(4). Let v(q) = 47*q**2 - q. Is v(x) a multiple of 16?
True
Let s = 60 - 52. Is s even?
True
Let o(w) = 3*w**2 + 6*w + 6. Let x be o(-12). Suppose 2*l = -3*m - m - 132, -x = 5*l + m. Let v = -38 - l. Is v a multiple of 18?
True
Is 13 a factor of (-2)/(-7) - (-720)/28?
True
Let b(p) = 1 - 3 + 3 - 7 - 10*p. Does 15 divide b(-4)?
False
Suppose 2*g = 3*r + 64, -3*g + 96 = -2*r + 6*r. Is 16 a factor of 1/(((-14)/g)/(-7))?
True
Suppose -5*y + 0*c - c + 386 = 0, -3*c - 90 = -y. Is y a multiple of 30?
False
Let s(d) = d**3 + 8*d**2 + 2*d + 3. Is 34 a factor of s(-5)?
True
Let x(w) = 22*w**2 - 1. Let p be x(1). Let f = -14 + p. Is f a multiple of 7?
True
Let u = -296 - -422. Is u a multiple of 18?
True
Is (-6)/(-8)*(-24)/(-1) even?
True
Let v(h) = -h**3 - 3*h**2 + h + 3. Let n be v(-3). Suppose n*c + 62 = 4*c - 2*o, o = -3*c + 54. Does 17 divide c?
True
Suppose 3*x - 3 + 0 = 3*q, -q = x - 3. Does 8 divide (-4 + 3)*(-42)/x?
False
Suppose -2*z = -6*z + 376. Does 16 divide z?
False
Suppose -a = -2*k + 8, 0*a - 2*a - k = 11. Let p(w) = -2*w - 9. Is p(a) a multiple of 2?
False
Let n(s) = -2*s - 7. Does 3 divide n(-5)?
True
Let d(x) = -6*x - 7. Let r(i) = -7*i - 8. Let s(v) = 6*d(v) - 5*r(v). Let y be s(-2). Suppose y = -4*a + a + 42. Is 7 a factor of a?
True
Let a(v) = 6*v - 3. Is 7 a factor of a(4)?
True
Suppose 2*f + 8 - 112 = 0. Is f a multiple of 26?
True
Let i(w) = -9*w**3 - w**2 + 2*w - 1. Let m be i(-2). Suppose -5*y - m = -203. Is y a multiple of 8?
False
Let w(a) = 20*a - 20. Let r be w(8). Suppose -x = -3*x + r. Is x a multiple of 14?
True
Suppose 80 - 340 = -5*c. Does 8 divide c?
False
Suppose 4*o + o + 4*u - 6 = 0, -5*u + 28 = -4*o. Let c be (o/(-5))/(3/495). Suppose -20 = x - c. Is 23 a factor of x?
True
Let n(r) = -r + 3. Let m be n(5). Let u = 16 - 20. Is 10 a factor of (22/m)/(u + 3)?
False
Let s = 291 - 186. Is 19 a factor of s?
False
Let r(h) = h - 7. Let x be r(7). Suppose s = -x + 17. Does 9 divide s?
False
Suppose 2*h + 3*q = 69, -4*h - 4*q + 74 = -58. Suppose -2*c + h + 68 = 0. Is 15 a factor of c?
False
Let d = 1 - -1. Suppose i = d*i - 14. Does 14 divide i?
True
Does 9 divide 27/(6/28 + (-8)/(-28))?
True
Suppose a + 275 = -4*a. Is 3/(-6) - a/2 a multiple of 15?
False
Suppose b - 40 = -3*b. Is 6 a factor of b?
False
Suppose 432 = 4*h + 23*h. Is 6 a factor of h?
False
Let x(j) = j**2 - 7*j - 12. Is 12 a factor of x(15)?
True
Is 4 a factor of (3 + 0)*10/6?
False
Does 24 divide (-215)/(-5) - (-5 - 0)?
True
Let j(m) = 3*m + 7. Let i be j(-6). Let c = 6 - i. Does 6 divide c?
False
Suppose 4*d = -a + 203, -7*d + 2*d + 5*a + 260 = 0. Is 29 a factor of d?
False
Let s be 1/1 - (-52 + -1). Let l = -38 + s. Let r = l - -1. Does 13 divide r?
False
Suppose -2*j + 16 = -j. Suppose 0 = -2*v + 3*p - 2*p + j, 4*v = p + 30. Does 7 divide v?
True
Suppose 0 = d + 1, -2*f - 3*d + 5*d + 498 = 0. Is 12 a factor of f?
False
Let k be (2/(-3) - -1)*-9. Let y(d) = d**2 + 4*d + 7. Is y(k) a multiple of 4?
True
Suppose -3*x - 2 = 4. Does 9 divide 328/10 - x/10?
False
Suppose -364 = -2*f - 1748. Is f/(-12) + 1/3 a multiple of 12?
False
Suppose 11*q - 4*q = 315. Does 9 divide q?
True
Let v = 168 + -106. Is v a multiple of 9?
False
Suppose -b - 4*b = 4*z - 350, 0 = 3*b + 6. Does 13 divide ((-8)/(-6))/(5/z)?
False
Does 3 divide 2432/416 - (-2)/13?
True
Suppose 11*y = 8*y + 186. Is 31 a factor of y?
True
Suppose -154 = -4*y + 4*h - h, 2*y - 84 = -2*h. Suppose -n + 5*n - y = 0. Is 3 a factor of n?
False
Let d(y) = -2*y + 49. Is d(0) a multiple of 24?
False
Let p = 64 - 7. Let w = -26 + p. Does 15 divide w?
False
Let l = 388 + -144. Suppose -19 = 5*q - l. Is 10 a factor of q?
False
Let l(z) = 69 - z - z**2 - 38 - 8. Let o(h) = -h**2 + 4*h + 5. Let w be o(5). Is 12 a factor of l(w)?
False
Let u(v) = v**2 + 6*v + 2. Let k be u(-6). Suppose c + 17 = x, -3*x - k*c = 2*c - 51. Is x a multiple of 6?
False
Suppose -20 = 3*c + 2*c. Let j be ((-1)/2)/(c/8). Does 4 divide (15/10)/(j/6)?
False
Let f = 6 + 1. Suppose 2*k - 3*m + 12 = 0, 0 = 3*k - f*k - m + 4. Suppose k = l - 25 + 1. Is l a multiple of 24?
True
Let q be 132/28 + (-4)/(-14). Suppose o = q*a - 104, o = -0*a - 2*a + 36. Is a a multiple of 5?
True
Let p(v) = 5*v**2 + v + 2. Let t be p(2). Suppose -t - 66 = -5*s. Is s a multiple of 6?
True
Suppose -3*s = -30 - 195. Is 22 a factor of s?
False
Let u = -10 - 3. Let o = u - -26. Does 5 divide o?
False
Let i(y) = 3*y**3 - 2*y**2 - y. Let f be i(2). Is 13 a factor of 21/f*130/3?
True
Let b = 0 + 2. Suppose -k = 3*g - 31, 2*g - 6*g = -b*k + 42. Is k a multiple of 10?
False
Let d(o) = 3*o**2 + 1. Let y be d(-1). Suppose 7 + 81 = y*w. Is 11 a factor of w?
True
Let i(m) = m**2 + 3*m + 5. Is 13 a factor of i(-6)?
False
Let d be 2/(-5)*615/3. Is d/(-6) - 3/(-9) a multiple of 7?
True
Let z be 5/1 - (-4 + 4). Suppose u = -z + 22. Let q = u - 1. Is q a multiple of 16?
True
Suppose -4*b - 38 = -10. Let p(k) = k + 15. Is 4 a factor of p(b)?
True
Suppose -4*s - 2*i + 118 = 0, s - 4*i - 14 = 2. Is s a multiple of 14?
True
Let v = 22 - 18. Suppose 0 = -j + v*a + 57, j + 4*j = 5*a + 240. Does 12 divide j?
False
Let q(f) = -f**2 + 14*f - 10. Suppose -36 = -3*i - 0. Does 14 divide q(i)?
True
Let v(h) = 4*h + 4. Let w(s) = -s + 8. Let c be w(5). Does 11 divide v(c)?
False
Let h be (-168)/10*10/(-3). Let k = -31 - -35. Suppose -4*z - h = -g - 2*g, g - k*z = 8. Does 12 divide g?
True
Let l(i) = 3*i**2 - 7*i + 17. Does 14 divide l(8)?
False
Let c(t) = 81*t - 1. Is 16 a factor of c(1)?
True
Is 6 a factor of (-23 - 1)*(-2)/4?
True
Suppose -57 = -4*b + 147. Let f be 2 - (0 - 7/1). Does 10 divide (b/f)/(2/6)?
False
Let m = -8 + -14. Let f be (-40)/m - (-4)/22. Suppose 0 = 3*q - 2*j - 17, 4*q + f*j - 31 = 3*j. Is q a multiple of 8?
False
Let a = -1 - -2. Let k be (a - 19)/(16/(-120)). Suppose -41 = -l + 3*q, 2*l + q = 7*l - k. Does 14 divide l?
False
Let m(v) = 2*v - 10. Let u be m(5). Suppose 2*k - 2*y - 54 = -u*k, k + y = 27. Does 13 divide k?
False
Suppose -205 = -5*j - 6*a + 2*a, a + 140 = 3*j. Let o = j - 8. Does 10 divide o?
False
Let f(x) = 6*x**3 + 3. Is f(2) a multiple of 21?
False
Suppose 3*a + 54 - 141 = 0. Is 25 a factor of a?
False
Let i(k) = -k - 5. Let o be i(-7). Suppose s = -b + 5, 0 = o*b - 2*s - 0*s + 6. Is 6/(b*6/8) a multiple of 3?
False
Suppose -8 = 3*u + 4. Is 90/21 - u/(-14) a multiple of 2?
True
Suppose -1 = -2*g + 3, 0 = -5*u - g + 107. Is 21 a factor of u?
True
Let r be 2 - ((-1 - -4) + -6). Let z(c) = c**3 - 3*c**2 + 3*c - 1. Let a be z(3). Let p = a - r. Does 3 divide p?
True
Let v(f) = -6*f - 3*f + 3 - f**2 + 2*f - 7*f. Is v(-11) a multiple of 8?
False
Suppose 28 = 4*h - 260. Let f = h + 72. Suppose -169 = -2*s - 3*s - 3*y, -2*y - f = -4*s. Does 10 divide s?
False
Suppose 0*j + 24 = j - 2*s, j - 36 = -4*s. Is j a multiple of 4?
True
Let g(i) = i - 2. Let d be g(-6). Let x be 4/12 - d/3. Is -1*(x + -2)*-6 a multiple of 6?
True
Suppose 0 = -3*z - 2*z. Suppose z*u + u - 23 = 0. Let h = u - 14. Is h a multiple of 9?
True
Is 16 + 6*4/(-8) a multiple of 10?
False
Suppose -2*t = 3*k - 39, 0 = -7*t + 4*t + 3*k + 81. Suppose 5*j - 10 = -0*j. Suppose z = -j*x + t, -1 = -5*z - 21. Does 11 divide x?
False
Suppose 0 = -2*w + 5*c + 14, -5*c - 2 = 4*w - 0. Suppose -w*m - 12 = -t, 5*m = 2 + 3. Does 14 divide t?
True
Let s = 9 - 5. Suppose -3*v + 19 = m, 4 = s*v - 2*m - 8. Suppose 2*f - v*o = 53, o = f - 9 - 10. Does 6 divide f?
False
Suppose -2 = -t - 0*t + s, -5*t - 5*s + 10 = 0. Let d be (1 + 4)*-1*t. Let a = d - -28. Is 8 a factor of a?
False
Let p(o) = -o - 7. Suppose 0 = 2*r - 4*r - 18. Let m be p(r). Suppose 0 = -4*l + 2*k + 104, -m*l - k - 6 = -50. Does 12 divide l?
True
Let w(h) = -h**3 - 8*h**2 - 7*h + 10. Let i be 2 + 0 + (5 - 1). Let c(d) = d**2 - 7*d - 1. Let z be c(i). Is 5 a factor of w(z)?
True
Let h(b) = 14*b - 27. Is 11 a factor of h(9)?
True
Let c = 56 - 107. Is 14 a factor of c*3/((-9)/2)?
False
Let t = -97 - -133. Does 12 d