a multiple of 11?
True
Let n(y) = -9*y**3 + y + 1. Let m = -15 - -14. Does 3 divide n(m)?
True
Let m(r) = -r + 10. Let z be m(9). Let g be ((-14)/(-6))/(z/(-3)). Let q(s) = -3*s - 2. Does 19 divide q(g)?
True
Suppose 4*b - b + 33 = 5*k, 5*b = 2*k - 36. Is 28 a factor of 21/7*(-56)/b?
True
Let g(r) = 3*r**2 - 2*r + 6. Let t = -17 + 19. Is 4 a factor of g(t)?
False
Let q be (-69 - -4)*6/15. Let r = q - -44. Is r a multiple of 9?
True
Suppose -2*j + 91 = -3*o - 4*j, -3*o + 5*j - 98 = 0. Let q = o - -29. Does 5 divide (1 + q)/((-14)/70)?
True
Suppose t + 1380 = 16*t. Suppose m + 118 = 3*m. Let n = t - m. Is n a multiple of 11?
True
Let v = -69 - -140. Suppose 2*w + d = v, -3*w - 3*d - 38 + 146 = 0. Is 35 a factor of w?
True
Does 23 divide 12642/21 + 3 + -7?
True
Is (-2*2/(-5))/((-17)/(-11220)) a multiple of 2?
True
Suppose 2*x = s - 203, s + 1 = -0*s. Let q = x + 159. Does 20 divide q?
False
Let a(g) = -2*g + 14. Let o be (1/(-2)*-26)/1. Let c be a(o). Let m = 32 + c. Does 9 divide m?
False
Suppose -3*w + 2*w = 11. Let y = w - -11. Suppose 3*h - h - 120 = y. Does 15 divide h?
True
Let h be 7 + 1 - (-28)/(-7). Let k(i) = i**3 + i**2 - 2*i + 2. Is k(h) a multiple of 21?
False
Suppose -10*l + 5*l = 2*b - 1847, -3*l + b = -1106. Suppose 0 = -4*p + 2*a + 498, -l - 126 = -4*p + 5*a. Is p a multiple of 25?
True
Suppose 2*p - 3*f = -2 + 5, f = -5. Let u = -13 - -17. Let n = u - p. Is n a multiple of 5?
True
Is 40 a factor of ((-7)/(14/(-1415)))/(8/16)?
False
Let x(f) = -f**3 + 2*f + 7. Let m be x(0). Let z(k) = -k**3 + 7*k**2 + 9*k - 17. Is 10 a factor of z(m)?
False
Let y(a) = a**2 + 3*a - 21. Let d be y(6). Is 8 a factor of 8*((-2)/(-11) + 423/d)?
True
Let t(h) be the first derivative of h**4/4 - 5*h**3/3 + h**2/2 + 12*h + 2. Does 10 divide t(5)?
False
Let b(m) = -7 - m**2 + 4 + 9*m - 3. Let d be b(8). Suppose -5*o - 3*s = -48, -d*o + 0*s - s + 19 = 0. Is o a multiple of 9?
True
Suppose 8 = 4*u - 16. Let c be (36/(-15))/(u/(-220)). Suppose c + 0 = 2*k. Does 19 divide k?
False
Suppose -2*g + 4189 = 3*d, -5*d + 2*g + 1320 + 5651 = 0. Does 37 divide d?
False
Suppose -4*n + 9*n = -70. Let h = -4 - n. Does 3 divide (24/h)/(6/15)?
True
Let u(b) = 4*b**2 + 6*b - 14. Suppose 3*q + 0*q - 2 = 2*f, 5*q - 1 = 3*f. Does 27 divide u(f)?
False
Let a(c) = -8*c - 52. Let q be a(-6). Let o(s) = -7*s + 21. Is o(q) a multiple of 7?
True
Let c(x) = 94*x - 49. Does 15 divide c(16)?
True
Is -6 + 149 + 4/(-2) a multiple of 3?
True
Let y(s) = s - 8. Let m be y(13). Suppose -2*c - 5 = -3*c. Suppose 0 = -m*l - g + 6*g, -2*l + c*g - 6 = 0. Is l a multiple of 2?
True
Suppose -96*b + 318004 = 86452. Is b a multiple of 13?
False
Let s = 24 + -14. Suppose 5*x + 22 = -2*f - 3, -2*f = -s. Let o(t) = -4*t + 8. Is o(x) a multiple of 9?
True
Suppose 4*f - 5*b = -b + 524, 4*b - 244 = -2*f. Let i = -220 + 380. Suppose -2*q + i = 5*s, -2*s + 6*s = -2*q + f. Is s a multiple of 16?
True
Let l be 82*(-1 + 1 + 1). Suppose u - 3*u = -l. Let i = -8 + u. Is 18 a factor of i?
False
Suppose 0 = 2*y, 3*y + 55 + 71 = m. Is 14 a factor of m?
True
Let r(k) = -k**3 - 47*k**2 + 48*k + 82. Does 4 divide r(-48)?
False
Let d = 46 - 57. Let r = -1 - d. Is r a multiple of 2?
True
Let i(v) be the first derivative of v**5/120 + 3*v**4/8 - v**3 - 5. Let k(j) be the third derivative of i(j). Is k(-7) a multiple of 2?
True
Let d(l) = l**2 + 3*l - 3. Suppose 29*n = 30*n - 4. Is 7 a factor of d(n)?
False
Suppose 11*k - 15*k = -56. Let t = k + -17. Let j(n) = n**3 + 5*n**2 + 3*n + 6. Is 5 a factor of j(t)?
True
Suppose 5*u = -2*v + 2506, -17*v - 4*u - 2524 = -19*v. Is v a multiple of 37?
True
Let t(o) = -o**2 + 11*o - 5. Let a be t(10). Suppose -4*b = 4*f - 456, 277 = 3*f + a*b - 71. Does 17 divide f?
False
Let r(s) = 34*s**2 - 1. Let t be r(-1). Suppose -105 = -5*j - 2*b, -2*j + j = -2*b - t. Is 6 a factor of j?
False
Suppose -2*j - 3*w + 5 - 2 = 0, 5*w + 43 = 2*j. Suppose 0 = 3*k + 3*t, 5*k - 6*t + 2*t - j = 0. Does 2 divide (-2 - -2) + (9 - k)?
True
Suppose 0 = 4*o - 2*o - 10. Suppose -4*v = o*l - 330, 4*l = 2*v + 254 + 10. Is l a multiple of 33?
True
Let k be (1 + (11 - 2))*(-12)/15. Let m = 15 + k. Is 7 a factor of m?
True
Suppose 0*u - 12*u + 16188 = 0. Is 32 a factor of u?
False
Let z(n) = 2*n**2 - 38*n + 52. Suppose 5*f - 77 = 28. Is z(f) a multiple of 8?
True
Let f be ((-441)/36)/((-1)/4). Let p = 93 - f. Is 11 a factor of p?
True
Suppose 2*j + 12 - 22 = 0. Suppose -j*i + 20 = -5*w, -3*i = -0*i + 15. Let q(k) = -k**3 - 8*k**2 + 4*k - 11. Is 12 a factor of q(w)?
False
Let i(x) = -x**2 + 6*x - 2. Let z be i(4). Let t be (2/(-3))/(z/(-45)). Suppose -4*o + 4*u + 202 = 6*u, 2*o - t*u = 107. Does 11 divide o?
False
Let d be 146/(-6) + 1/3. Let v be (-84)/882 - (-1 - 3030/63). Let l = v + d. Does 22 divide l?
False
Let b(r) = r**2 - 3*r + 9. Let g(o) = 2*o**2 - 6*o + 19. Let k(x) = 5*b(x) - 2*g(x). Is 23 a factor of k(-9)?
True
Suppose 3*d - 99 = 4*m, -2*d = -m + 5*m - 66. Let t = 50 - d. Is 9 a factor of t?
False
Let x be ((-3)/(-9))/(3/81). Does 10 divide 2/2*(x - -1)?
True
Suppose -498 - 375 = 4*b - 5*a, -2*a - 1083 = 5*b. Let t = 372 + b. Is 31 a factor of t?
True
Let n(u) = -5*u**2 - 5*u + 1. Let f(b) = 6*b**2 + 5*b - 2. Let a(c) = -6*f(c) - 7*n(c). Let j be -1 + 3 + (3 - 1). Is 2 a factor of a(j)?
False
Let o be 5 + (-8 - -4) + 4. Suppose -o*d + 290 = -0*d. Is d a multiple of 25?
False
Suppose 52*p - 66 = 41*p. Does 10 divide p/(-10) - 54/30*-7?
False
Suppose -3*m + m - 2*i - 4 = 0, 4*m - 2*i = 22. Suppose m*r - 77 = 2*d - 0*d, -57 = -3*r - 3*d. Is r a multiple of 23?
True
Suppose 0 = 3*t + 2 - 11. Suppose 2*w + t = 9. Suppose -w*q - 5*x + 133 = 0, q - 20 = 5*x + 11. Is 8 a factor of q?
False
Suppose 3*v + 5*q - 648 = 0, -q = 3*q. Does 2 divide v?
True
Let g = -14 + 16. Suppose -149 = -g*z + 3*b, 3*b - 162 - 181 = -4*z. Is 6 a factor of z?
False
Let a(j) = 132*j + 33. Does 33 divide a(4)?
True
Let v(q) = 3*q - 6. Let y(r) = -7*r + 12. Let l = -12 + 8. Let g(z) = l*y(z) - 9*v(z). Is 3 a factor of g(0)?
True
Suppose 4*b = -7*b + 3927. Suppose b = 5*a - 168. Does 21 divide a?
True
Suppose t - 310 = 3*f + 3*t, 3*t + 108 = -f. Let b = -75 - f. Is 9 a factor of b?
True
Suppose -y - 3*u = -546, -23*y + 21*y + 1104 = 3*u. Is y a multiple of 18?
True
Suppose 1044 - 1536 = -4*w. Is 32 a factor of w?
False
Let f = -16 - -21. Suppose 3*t + q + 4*q = -16, 4*t - 37 = f*q. Suppose 0 = -0*h - 4*h + 4, t*p - h = 20. Does 2 divide p?
False
Let f be ((-2)/3)/(4 - (-13044)/(-3258)). Suppose -4*h + q = -263, 3*q + q + f = 3*h. Is 26 a factor of h?
False
Does 13 divide 1 - (-5823)/15 - (-12)/15?
True
Suppose 5*j - 1043 = -b, -2*j = 3*j - 3*b - 1031. Does 28 divide j?
False
Is 11 a factor of (377/(-39))/((-1)/33)?
True
Let s(z) = z + 1. Let g(i) = -i**2 + 10*i - 6. Let l(j) = -g(j) + 4*s(j). Let y be l(6). Let b = 1 + y. Is b a multiple of 3?
False
Suppose -2*g + 15 = 11. Suppose -y = -5*s + 20, -g*s + 8 = -4*y + y. Suppose y*r - 255 = -5*r. Does 13 divide r?
False
Suppose 4*q = -4*k - 0*k + 40, -2*q - 4 = -k. Let h(v) = v**2 - 9*v + 14. Does 6 divide h(k)?
True
Let c = 2737 + -607. Is c a multiple of 30?
True
Let d = 4178 + -1868. Is 77 a factor of d?
True
Let b = -17 - -17. Suppose 5*l - 529 - 221 = b. Does 19 divide l?
False
Let v = -930 - -1287. Is 25 a factor of v?
False
Suppose 63*f - 81*f + 75312 = 0. Is 23 a factor of f?
False
Suppose 4*r - 6 - 18 = 0. Suppose 3*k = 3 + 3. Does 3 divide k/r - (-17)/3?
True
Let k be (-1)/(-1)*(13 - -17). Is 32 a factor of (-2 + -1*k)*-3?
True
Let c = -21 + 21. Suppose c = 4*p - 8 - 0. Suppose -3*j - p*n + 33 = 0, -4*j + 0*n - 2*n = -42. Is 3 a factor of j?
True
Let d(y) = -6*y + 246. Does 2 divide d(32)?
True
Suppose 0*z + 4*z = 0. Let f(o) = -o + 5. Let l be f(z). Suppose l*t - 8 = 97. Is t a multiple of 15?
False
Let w = -152 + 260. Let q = w + -42. Does 11 divide q?
True
Let y be (38/(-5))/((24/3)/(-80)). Suppose 0 - y = -2*x. Is x a multiple of 16?
False
Let l(u) = 647*u + 6. Is 47 a factor of l(1)?
False
Let d be (-4)/(-2) + 49 + -4. Is 1/4 + d/4 a multiple of 12?
True
Let b = -48 + 73. Let r(s) = b*s + 6 - 20*s + 13. Is 16 a factor of r(9)?
True
Let y(k) = -k**3 - 2*k**2 + 5*k + 4. Let x be y(-3). Let p be (3 + -2)*29 - 0. Let h = p - x. Does 24 divide h?
False
Let h(r) = 7*r**2 + r 