 Let a = t + 26. Does 4 divide a?
True
Let v = 9 + -10. Let t be (v - -2 - 1)/(-1). Suppose u - 2*u + 2*q + 21 = t, 3*q = 4*u - 69. Is u a multiple of 15?
True
Let m = 60 + -39. Suppose 0*r - 2*r - 1 = 5*b, 5*b = 4*r + 17. Let c = m + r. Is c a multiple of 9?
True
Is 16 a factor of (-316)/(-5) - 108/(-135)?
True
Let y(r) = r**3 + r**2 - r. Let h(f) = 6*f**3 + 3*f**2 - 8*f + 1. Let n(t) = -h(t) + 5*y(t). Let b be n(3). Let j = b - -6. Is 2 a factor of j?
False
Let b = -37 + 53. Is 9 a factor of b - (1 + 1)*-1?
True
Let h = -169 - -447. Is 17 a factor of h?
False
Suppose -28 = -4*a - 3*a. Is a even?
True
Suppose 5*w - 3*l + 0*l = 379, w + 2*l - 68 = 0. Is w a multiple of 10?
False
Suppose -4*k + 4 = 2*j, -2*k - k - 15 = -3*j. Suppose -2*v = 3*h + 3*v + 87, -j*v = -5*h - 145. Let n = h - -42. Does 5 divide n?
False
Let m = 116 - 58. Let x = 121 - m. Is 23 a factor of x?
False
Suppose 3*l + b = 230, -2*l - b + 212 = 58. Is 5 a factor of l?
False
Let x(o) = -13*o + 22. Let w(q) = 4*q - 7. Let m(h) = 7*w(h) + 2*x(h). Is m(9) a multiple of 13?
True
Let l = -45 - -87. Suppose -124 = -4*w - 5*x + 44, -w + 2*x + l = 0. Is w a multiple of 10?
False
Suppose -3*a + 4 = -38. Does 14 divide a?
True
Suppose 0 = -4*p - 2*b - 542, -3*p + p + 2*b - 280 = 0. Let c = p - -264. Suppose c = 5*f - 4*n, 0 = -0*f + f + 3*n - 33. Is 14 a factor of f?
False
Let r = 5 - 5. Let z be (2 + r)/(2/6). Let t = z + -2. Is t even?
True
Let n(m) = 22*m**2 - m + 1. Let a = 1 - 0. Is n(a) a multiple of 22?
True
Let i(u) = -3*u**3 - 3*u**2 - 3*u. Let d = -6 + 5. Let o be -1 - d - (1 + 1). Is 18 a factor of i(o)?
True
Is 2 a factor of (1 + 0)/((-1)/(-14))?
True
Let m(z) = -5*z + 7. Does 16 divide m(-5)?
True
Let i = 0 - -2. Is 12*(i + (-1 - -2)) a multiple of 18?
True
Suppose -3*r - 4 = -22. Let w = r - -2. Does 8 divide w?
True
Let v(a) = 5*a**3 - 41*a**2 - 6*a - 9. Let b(p) = -p**3 + 8*p**2 + p + 2. Let i(m) = 11*b(m) + 2*v(m). Let z be i(6). Does 6 divide 6*(-2 + 1 - z)?
True
Let o = -14 - -26. Is o a multiple of 4?
True
Let d(g) be the third derivative of -g**6/60 - g**4/24 - g**3/3 - g**2. Is 8 a factor of d(-2)?
True
Suppose 4*i + 424 = 2*t, -5*t + 549 = 5*i - 526. Is 44 a factor of t?
False
Let j(k) = k**3 - 6*k**2 + k - 3. Let l be (-14)/(-35)*(14 - -1). Let i be j(l). Let p(d) = 2*d**2 + 5*d - 3. Is 14 a factor of p(i)?
False
Let a(c) = -c + 4. Let f be a(0). Suppose -f*d + 33 = -d. Does 11 divide d?
True
Let h be 4/((6/9)/2). Does 3 divide ((-6)/9)/((-1)/h)?
False
Let w be (-28)/(-21) + 4/6. Is 6 a factor of -1*(-1)/(w/40)?
False
Is (-326)/(-10) - (-20)/50 a multiple of 11?
True
Let i = -53 - -27. Does 5 divide 4/(-10)*(-4 + i)?
False
Let l(m) = 16*m + 5. Is l(3) a multiple of 9?
False
Let q(f) be the third derivative of -f**5/6 + f**4/24 + f**3/6 + 2*f**2. Let i be q(-1). Is i/2*(-28)/10 a multiple of 7?
True
Let u be ((-1)/2)/((-1)/60). Suppose -4*a + 150 = a + 3*i, a - u = 5*i. Suppose -2*l = 4*x - 2*x - 32, 0 = 5*x - 5*l - a. Does 11 divide x?
True
Suppose 4*t - 256 = -52. Let w = t + -27. Is 13 a factor of w?
False
Suppose -3*x + 116 = -13. Does 10 divide x?
False
Let h = 18 - 4. Is 6 a factor of (72/28)/(2/h)?
True
Suppose n - 5*u + 121 = 4*n, -20 = -4*u. Suppose -150 = -2*x + 4*a, -x = 2*a - 47 - n. Does 14 divide x?
False
Let s(u) = u**2 + 3*u - 10. Let t(y) = 2*y**2 + 5*y - 21. Let h(f) = 5*s(f) - 2*t(f). Let d be h(-6). Is d - ((-14)/(-2))/(-1) a multiple of 3?
False
Let v(r) = -5*r - 10. Let l be ((-2)/4)/((-2)/(-28)). Is v(l) a multiple of 25?
True
Let f(n) = n**3 + 2*n - n + 0*n**3 + 1 + 3*n**2. Let x be f(-2). Suppose 42 = 4*l - 5*d, -d = -x*l + 36 - 10. Does 5 divide l?
False
Let g = -45 + 63. Is 14 a factor of (-5)/(10/4) + g?
False
Suppose 2*j - j - 4*d - 476 = 0, 4*j - 2*d = 1974. Is 31 a factor of j?
True
Let b be (-1)/(-4) + (-63)/12. Let d = b + 5. Suppose 2*l - 3 = 3*l, d = -s + l + 29. Is 13 a factor of s?
True
Let j = 95 + -40. Is 9 a factor of j?
False
Let b(s) = 2*s - 22. Is b(21) a multiple of 10?
True
Suppose -111 = -3*b + w, -2*b = b - 4*w - 102. Does 3 divide b?
False
Let r = 221 - 139. Suppose -8 = -x - 3*x. Suppose 5*v = -3*p + 81, 0 = 4*p - x*v - r. Does 11 divide p?
True
Let l(w) = 2*w**2 + 27 + 0*w**3 - 2*w**2 + w**3. Is l(0) a multiple of 9?
True
Suppose -3*m - 27 = -d, -d - 17 = 4*m - 51. Suppose t = 3*t - d. Is 4 a factor of t?
False
Let u be (2 - (1 + -1)) + 0. Suppose 4*d = -3*y - 9, 3*d - 3*y - 11 + u = 0. Suppose d = 3*f + 11 - 2, x - 3*f - 21 = 0. Is x a multiple of 6?
True
Let s(y) = 4*y + 5. Let f(c) = -3*c - 4. Let q(x) = 5*f(x) + 4*s(x). Is q(8) a multiple of 4?
True
Let n(h) be the third derivative of -h**6/20 + h**5/20 + h**4/8 + h**3/2 - 9*h**2. Does 13 divide n(-2)?
False
Let p = 29 + -17. Is 11 a factor of p?
False
Let z(s) = 5*s - 2. Is z(1) a multiple of 2?
False
Suppose 355 = 2*f - 37. Is 28 a factor of f?
True
Suppose -5*x + 111 = -44. Suppose 2*z - 45 - x = 3*o, 4*o = 8. Does 12 divide z?
False
Suppose -2*p = f - 166, 5*f = p + p + 818. Suppose v - 5*o + 88 = 3*v, 4*v = -4*o + f. Is 13 a factor of v?
True
Is (1 - 7/5)/((-1)/270) a multiple of 27?
True
Let x(l) = 18*l**2 + 3*l + 2. Does 2 divide x(-1)?
False
Let d(o) = o**2 - 4*o - 7. Let r be d(5). Is 35 + (r + 3)*1 a multiple of 12?
True
Let c = -11 + 15. Suppose -c*q = -v + 3, 2*q = -2*v + 15 + 1. Let l = 1 + v. Is 5 a factor of l?
False
Suppose -t + 1 = -2. Suppose 4*k - 216 = -48. Suppose 2*v = -t*m + k, v + 5*m = 1 + 6. Is 14 a factor of v?
False
Let o(l) = -13*l**3 + 6*l + 14*l**3 - 1 + 8*l**2 - 4. Does 2 divide o(-7)?
True
Let r = 23 - 33. Let y(d) = -5*d - 15. Let c be y(r). Suppose 0*p + c = 5*p. Does 3 divide p?
False
Let r be 1 - (-4*1 - 3). Suppose -5*t = -y - 12, 0*y + 4*y = -r. Is 6 a factor of 16 + 4 - 0/t?
False
Let f(v) = v**2 - 4*v + 2. Let x be f(4). Let y = 6 - x. Is 2 a factor of y?
True
Suppose -4*j + 189 = 5*p, -5*j - 47 + 274 = -3*p. Let o(n) = 10*n**2 - 5*n + 4. Let d be o(3). Let w = d - j. Does 16 divide w?
False
Let q(g) = -g - 7. Let b be q(-10). Let u be 2/6*(36 - b). Suppose -u = -l - 1. Is l a multiple of 5?
True
Let i(z) = z**2 + z + 4. Let c be i(-3). Let g = 40 - c. Let p = -19 + g. Does 8 divide p?
False
Is -1 + 63 + (-5 - -3)*1 a multiple of 15?
True
Let o(t) = t**2 + t + 68. Is o(0) a multiple of 22?
False
Suppose 2*b + 8 + 38 = 3*u, 5*b = -25. Is u a multiple of 4?
True
Let n = 3 - 4. Let a(i) = i - 1. Let j be a(n). Is 38 - (4 + j)*1 a multiple of 18?
True
Let z be (-2 + 0)/(-2) + -1. Let b be 6/(1 + z) + -2. Is ((-7)/2)/((-2)/b) a multiple of 4?
False
Suppose 0*w - w = -64. Does 10 divide w?
False
Let s(m) = -6*m**2 - 5*m + 2. Let a(z) = -z + 1. Let h(o) = 3*a(o) - s(o). Let k be 4/12*3 - 2. Is 2 a factor of h(k)?
False
Suppose -23 = -4*p - 3. Let l = p - 3. Suppose -20 = -o + l*j, -3*o = -0*o - 3*j - 51. Does 11 divide o?
False
Suppose 5*f + 2 = s, -2*s - 4*f = f + 11. Let h(a) = 2*a**2 - 4*a - 1. Does 13 divide h(s)?
False
Suppose 5*v - 126 = 64. Is v a multiple of 19?
True
Suppose -3*y + 123 = 18. Does 13 divide y?
False
Suppose 37 = 5*i - 63. Let j(z) = z**2 - 3*z - 1. Let l be j(4). Does 8 divide (6/5)/(l/i)?
True
Suppose 1280 = -b + 9*b. Is b a multiple of 10?
True
Suppose 4*s - 180 = 12. Let r = 73 - s. Is 15 a factor of r?
False
Let y(x) = x**3 + 4*x**2 + 2*x - 2. Let d = 15 + -9. Let h = -8 + d. Is y(h) even?
True
Let m = -8 + 0. Is (0 + -4)*26/m a multiple of 13?
True
Let n(u) = -u**2 - u + 2. Let f be n(-2). Suppose s = -3*s + 4. Is -61*(f + s)*-1 a multiple of 21?
False
Let q be -1*(4 - 4 - 8). Is 6 a factor of 158/q + (-4)/(-16)?
False
Suppose -18 = -5*b - 2*m + 31, b - m - 14 = 0. Is b a multiple of 11?
True
Suppose 3*q + 34 - 61 = 0. Is 2 a factor of q?
False
Let m = -17 - -4. Suppose -5*j = 3*k - 0*k - 44, -k + j + 20 = 0. Let q = m + k. Is q a multiple of 5?
True
Let o = 167 - 63. Suppose o = f + f. Suppose -65 = -3*x + f. Is 14 a factor of x?
False
Suppose 0 = -5*q + 4*p + 388, -337 = -5*q - 2*p + 39. Does 19 divide q?
True
Suppose 6*x = x + 35. Does 4 divide x?
False
Let m(u) = 4*u - 13. Is 15 a factor of m(7)?
True
Suppose -5*k = -k + 32. Is 2 a factor of k/(-12) - (-8)/6?
True
Let l(i) = 2*i**2 + i - 2. Let k be l(2). Suppose -3*q = -2*z + 37, 2*z - 4*q - k = 24. Does 24 divide z?
False
Let r = 17 + -17