le of 21?
False
Let j = 20 - 15. Suppose -j*u - 8 = -u. Is 1 + u + 26 + -1 a multiple of 12?
True
Let n = -257 + 377. Let k be n/9*(-12)/(-10). Let c = k + 9. Does 9 divide c?
False
Let s = 17 - 19. Let x = 8 - s. Is 10 a factor of x?
True
Suppose -5*w = 196 - 631. Suppose 0 = m - 220 + w. Is m a multiple of 7?
True
Suppose 2*u - 2*s = 0, 0*s + 21 = -5*u - 2*s. Is 9 a factor of (u - 293)/(-4)*1?
False
Let f = 9 + -5. Let j(r) = 5*r**3 + 8*r**2 - 2*r + 2. Let l(n) = 3*n**3 + 2*n**2. Let h(z) = -j(z) + 2*l(z). Is 3 a factor of h(f)?
True
Suppose -5*z + 1055 = 2*a, 6*a - 9*a - 5*z = -1585. Is 2 a factor of a?
True
Let r = -17 - -35. Is 11 a factor of ((-154)/(-4))/(9/r)?
True
Suppose 296*n + 324 = 297*n. Is 54 a factor of n?
True
Suppose -36*c = -38*c + 86. Let x = 27 + c. Does 10 divide x?
True
Let f be (-70)/(((-10)/4)/5). Let l be 5*7/(f/8). Suppose 0 = 2*z + 3*s - 126, 0 = l*z + 3*z - 5*s - 265. Does 19 divide z?
True
Let i(n) be the first derivative of -7*n**2/2 + 28*n + 21. Does 32 divide i(-21)?
False
Suppose 3*i - 33 = -0*i. Suppose -3*n + k - 73 = -6*n, 5*k = 5*n - 135. Suppose t - n = i. Does 4 divide t?
True
Let i(t) = -t - 7. Let r be i(-8). Let l = r + 27. Suppose 3*k + l = 4*k. Is 7 a factor of k?
True
Let b(c) = -c**2 + 4*c - 1. Let l be b(3). Suppose l*u + 120 = 7*u. Is u/(-32) + 19/4 a multiple of 3?
False
Suppose 0 = -1294*g + 1304*g - 1350. Does 27 divide g?
True
Let t(v) = -v**3 + 22*v**2 + 20*v - 76. Does 28 divide t(22)?
True
Let m(l) = 72*l**2 + 5*l - 16. Let v(r) = -73*r**2 - 5*r + 17. Let w(b) = 7*m(b) + 6*v(b). Is w(2) a multiple of 44?
True
Let i = 6 - 3. Let c be 6/18 - (-718)/6. Suppose -i*l = l - c. Is 10 a factor of l?
True
Let b(u) be the first derivative of -u**6/30 + u**5/30 + u**4/12 + u**3/6 - 3*u**2 - 2. Let m(i) be the second derivative of b(i). Is 14 a factor of m(-2)?
False
Let z(o) = o**2 + 14*o - 13. Let p be z(-16). Suppose 5*j - 30 = 5*g, 3*g + 2*g = -2*j + p. Does 15 divide (6/j)/((-2)/(-70))?
True
Is ((-12)/16)/(24/(-19008)) a multiple of 15?
False
Let m = 60 + 14. Let l = -38 + m. Is 6 a factor of l?
True
Suppose 2*n - 20 = 2. Let l = n + 80. Suppose -7*f + l = -350. Does 14 divide f?
False
Suppose 39*y + 294 = 40*y. Is 49 a factor of y?
True
Suppose 9 = -2*v - 3*a, -26 + 8 = -v + 3*a. Suppose -101 = -2*b - 3*k, v*k = 5*k + 6. Is b a multiple of 15?
False
Let z(c) = 11*c - 67. Is 5 a factor of z(10)?
False
Let m = 331 - 91. Is 24 a factor of m?
True
Suppose 2*i + 9 = -3*j, -5*i - 2*j = 2*j + 5. Let z(v) = 4*v**2 - 3*v - 3. Does 12 divide z(i)?
True
Is 6 a factor of (-1754)/(-4) + 155/(-10) + 15?
True
Suppose d + 28 = 3*h - 12, 2*h = 2*d + 24. Suppose h*o = 18*o - 720. Is 26 a factor of o?
False
Suppose -2*r - 163 = -169. Is 16 a factor of 64 - (0/(-5))/r?
True
Let a be (16/6)/(2/(-1032)). Suppose 2*n + 2*n - 68 = 4*q, 2*q = 4*n - 40. Is 31 a factor of a/q - (-2)/(-7)?
False
Let s = 45 + -42. Suppose q - 35 = -l + 1, -s*l = 0. Does 5 divide q?
False
Let k = 25 + -22. Suppose -5*m - k = -363. Does 12 divide m?
True
Let r(h) = -10*h - 7. Let o be r(7). Let l = -62 - o. Is l a multiple of 5?
True
Suppose 37*k = 39*k - 432. Let q = k - -112. Does 30 divide q?
False
Suppose -449*d + 41337 = -440*d. Does 135 divide d?
False
Let o(t) = 2*t**2 + 12*t - 9. Let k(i) = i**2 + i + 5. Let s be k(-5). Suppose 1 + 1 = -3*c + 5*d, s = -5*d. Is o(c) a multiple of 21?
False
Let r = -28 + 30. Suppose 3*a = -r*z - 5, 5*z - 4*a + 8 - 53 = 0. Suppose 0 = -z*c + 20 + 260. Does 19 divide c?
False
Let s(o) = o**3 + 8*o**2 - 12*o - 9. Let x be s(-9). Let p = -16 + x. Is 10 a factor of 3*15 + 6/p?
False
Suppose 2*i - 3 = 1. Suppose -218 = -2*l - m, 0 = 6*l - i*l - 5*m - 450. Is 22 a factor of l?
True
Let h(b) be the third derivative of -b**6/60 - b**5/30 + 5*b**4/24 + 2*b**3/3 - 3*b**2. Let q be h(-3). Suppose -6*n + q = -n. Is n a multiple of 5?
True
Let y = -154 - -78. Let f = 130 + y. Is f a multiple of 18?
True
Suppose -10*s = -s - 11718. Does 73 divide s?
False
Let s = 1873 + -841. Is s a multiple of 59?
False
Let w(u) = -3*u + 24. Let y be w(-6). Suppose -5*n - z + 70 = 2*z, -3*n = -5*z - y. Is n a multiple of 9?
False
Let w(n) be the second derivative of 35*n**4/4 - 5*n. Let x be w(-2). Suppose -10*v = -5*v - x. Does 12 divide v?
True
Suppose -19*z - 40 = -24*z. Suppose 4*p = z*p - 40. Does 5 divide p?
True
Let k(l) = -l**2 + 9*l - 9. Let c be k(7). Let o = -16 - -33. Let q = c + o. Is 11 a factor of q?
True
Is (-624)/(-1) + (1 - 13)/4 a multiple of 15?
False
Let r(x) = x**2 + 12*x - 18. Let a be r(-13). Let d = a + 48. Is 37 a factor of d?
False
Suppose 95 = -p + 3*p + j, 0 = 5*j + 25. Let u = 106 - 71. Let s = p - u. Is s a multiple of 4?
False
Let r(w) = -w**3 + 16*w**2 - 16*w + 17. Let m be r(15). Suppose 300 = m*s + 3*s. Does 30 divide s?
True
Suppose g = -g + 2*y, -4*y = 4*g. Suppose -3*s - 5*z + 91 + 12 = g, -z = -s + 29. Does 12 divide s?
False
Let v(b) = 2*b + 72*b**2 + 1 - 70*b**2 - 9 + 2*b. Does 7 divide v(7)?
False
Let s be (-4)/5*75/(-30). Suppose 0*d + 140 = 5*d + 5*p, s*p = -4*d + 120. Does 8 divide d?
True
Let w be (-410)/(-40) - (-3)/(-12). Let j = 17 - w. Is 7 a factor of j?
True
Let b be (-1)/(2/(-76)*2). Let k = 23 - b. Suppose -5*s - 224 = -k*i, 4*i - 220 = s + 3*s. Does 17 divide i?
True
Let y(g) = 12*g + 82. Let t be y(-7). Is 39 a factor of 4356/16 + 1 + t/8?
True
Let y be (4 + (-45)/10)*0. Let h(l) = -l**2 - 3*l + 160. Is h(y) a multiple of 40?
True
Suppose -95586 = -66*r + 105186. Is 13 a factor of r?
True
Does 20 divide (-2 - -6)/(7/(2 + 1713))?
True
Let y = 1196 - 348. Is y a multiple of 16?
True
Let f be (8/(-14))/((-4)/14). Suppose 0 = 6*q - 2*q + 4*z - 128, -f = 2*z. Is 11 a factor of q?
True
Let g(k) be the second derivative of k**4/12 - k**3 - 9*k**2/2 - 5*k. Is g(12) a multiple of 9?
True
Suppose -2*v - 326 + 3658 = 0. Is 34 a factor of v?
True
Let i be (-1 - 3/(-6))*138. Let z = 81 - 114. Let b = z - i. Is b a multiple of 10?
False
Suppose 0 = -0*a + 4*a - 8. Suppose -u + 4 = -5*u - a*s, -10 = 4*u + 5*s. Let m = u - -48. Is m a multiple of 26?
False
Suppose 0 = 2*n - 4*n + u + 3, 3*n + 13 = 5*u. Suppose -5*a + 8 = -j, -2*j + n*a - 1 = 3. Suppose -48 - 10 = -j*c. Is c a multiple of 14?
False
Let b = 43 + -25. Let u = -18 + b. Suppose u*m - 19 = -m. Does 4 divide m?
False
Let n(c) = c**3 + 39*c**2 - 26*c + 10. Is 64 a factor of n(-39)?
True
Let d(p) = -p**3 + 5*p**2 - 4*p - 6. Let z(k) = -3*k + 2. Let b be z(2). Let c be d(b). Let n = c + -72. Is n a multiple of 22?
False
Suppose 4*f = 10 + 6, -4*j - 5*f = -392. Let h = j - -21. Does 21 divide h?
False
Suppose 7*q - 39*q + 36480 = 0. Is q a multiple of 38?
True
Let r(n) = n**2 - 19*n + 60. Is 40 a factor of r(39)?
True
Is ((-3)/(-27))/((-20)/(-594180)) a multiple of 26?
False
Let j = -140 - -577. Suppose 5*z = 843 + j. Is 19 a factor of z?
False
Suppose -20 = g - 3*g. Does 2 divide 3*g/(-25)*-10?
True
Let q = -6 - -8. Suppose y - 26 = -3*o + 2*y, 0 = o - y - 12. Suppose -o*s + 40 = -q*s. Does 8 divide s?
True
Suppose 4 = -6*i + 7*i. Suppose 5*d - 1575 = -i*d. Does 16 divide d?
False
Let a(n) = -2*n - 12. Let w be a(-5). Let q be 5 + w + (-7)/7. Suppose -5*s + 32 = r, -q*r = -4*r - 5*s + 59. Is 18 a factor of r?
False
Let w(x) be the second derivative of -217*x**3/6 - x**2/2 - 4*x. Let a be w(-3). Is (12/(-10))/((-15)/a) a multiple of 13?
True
Let y(l) = -5*l**3 - 22*l**2 + 19*l - 2. Let x(k) = 4*k**3 + 21*k**2 - 19*k + 2. Let n(u) = 4*x(u) + 3*y(u). Is 2 a factor of n(-19)?
True
Suppose 0 = 5*q - 4320 + 120. Suppose -p - 5*p = -q. Is p a multiple of 20?
True
Suppose 0 = 4*a - 3*b, 0 = -4*b + 1 + 15. Let s(n) = 9*n**3 + 4*n**2 - 3*n - 2. Let f be s(a). Suppose 2*i = -2*i + f. Is 21 a factor of i?
False
Let n be (-1)/(-4) + (-67)/(-4). Let b(t) = -9*t**2 - 7*t - 1. Let x(r) = -27*r**2 - 20*r - 3. Let m(q) = n*b(q) - 6*x(q). Is 4 a factor of m(-1)?
False
Suppose 61*m = 57*m + 224. Is m a multiple of 7?
True
Let f(b) = b**3 - 6*b**2 + 7*b + 16. Let p(l) = -5*l**2 - 31*l + 2. Let r be p(-6). Is 22 a factor of f(r)?
False
Suppose 4605 = 5*i - 0*i + 3*w, 2*i - 1843 = -w. Is i a multiple of 21?
True
Suppose -3900 = -354*v + 350*v. Is v a multiple of 84?
False
Let b be (-3)/(-15) + 453/(-15). Let p be (50/b)/((-2)/102). Suppose 6*z = z + p. D