tiple of 4?
False
Suppose -3*b + 404 = 5. Does 6 divide b?
False
Suppose -2*u + 0*u + 2 = 0, -5*u - 2275 = -3*c. Does 40 divide c?
True
Let w(x) = x**2 + 4*x + 1. Let y be w(-5). Suppose -1410 = -y*c - 0*c. Suppose 0 = 2*k + 3*k - c. Does 17 divide k?
False
Let u = 534 - 446. Does 2 divide u?
True
Let d be ((1 - 0) + -3)*22/44. Is d + (-553)/(-49) + 2/(-7) a multiple of 2?
True
Let t = 235 + -100. Is t a multiple of 5?
True
Suppose -5*f + 520 = -4*i, 3*i - 2*i = f - 104. Suppose 0 = 5*a - a - f. Is a a multiple of 13?
True
Does 13 divide 16*((-2)/(-3) + (-20)/(-6))?
False
Is 18 a factor of 6*9/(-81) - 322/(-6)?
False
Let w = 647 + -358. Let f be w/7 - 8/28. Let i = 66 - f. Is i a multiple of 25?
True
Suppose 0 = -12*r + 15*r + 975. Is 7 a factor of (-13050)/r + (-2)/13?
False
Let k be -2*((-153)/6 - 1). Let x = 175 - k. Suppose 5*t = -i + x, -3*t + t = 4*i - 56. Is 7 a factor of t?
False
Let j be 5/15*(-16 + 1). Let w be j*((-11)/5 - 2). Does 15 divide ((-7)/(w/(-90)))/1?
True
Let w be (40/6 - 2)*96/8. Let g = 128 - w. Does 24 divide g?
True
Let r be (4 + -3)/(-1) + 1. Suppose -3*j + 158 + 136 = r. Does 20 divide j?
False
Suppose 0 = 8*q - 3*q - 10. Let n(h) = -31*h**2 - 2. Let f be n(q). Is 10*(f/4)/(-9) a multiple of 7?
True
Is 7 a factor of -8*7/((-112)/332)?
False
Does 18 divide (2/4 - 2)*2780/(-15)?
False
Suppose 6*g = 10*g + 20. Does 23 divide (-178 + g)*(-2)/6?
False
Let v = 161 + -21. Let c = 158 - v. Is 18 a factor of c?
True
Suppose 7*j - 10*j = -1569. Suppose 5*z + 3*h - j = 443, 4*z = -5*h + 778. Is z a multiple of 8?
True
Suppose b + 80 = 3*b. Suppose -2*v + b = -7*v. Let i(m) = 3*m**2 + 8*m + 2. Is i(v) a multiple of 28?
False
Suppose 685 = 7*y - 2731. Is 9 a factor of y?
False
Suppose -1416 = -4*y - 5*c - 280, 0 = -2*y - 3*c + 570. Suppose 0 = 38*q - 41*q + y. Is q a multiple of 17?
False
Let j be (-2)/(-3)*(-135)/(-18). Suppose k + 4*z = 3 + 4, 3*k + 3*z = 3. Is 7 a factor of (126/(-15))/(k/j)?
True
Let b = -697 + 1628. Suppose b - 175 = 6*s. Is s a multiple of 21?
True
Let y = -3 - -2. Let a = y + 0. Let s(n) = -16*n - 2. Does 7 divide s(a)?
True
Suppose -r - 12 = -2*m, m = -m + 2*r + 12. Suppose 5*g + 1 = m*g. Is 11 a factor of (-93)/(-6) - g/2?
False
Let j(r) = 49*r - 260. Is 13 a factor of j(13)?
True
Let y be (22 - 2)*(-19)/(-4). Let p(v) = -5*v - 1. Let c be p(-1). Suppose y = 5*r - 2*q, r - c*q - q + 4 = 0. Is r a multiple of 20?
False
Let c(d) be the first derivative of -d**3/3 - 11*d**2/2 + 11*d - 1. Suppose 5*n = -2*w - 50, 5*w = 4*n + 19 + 21. Is c(n) a multiple of 7?
True
Suppose 0*h - 5*h = -615. Let z = -87 + h. Suppose -4*v + z = -v. Is v a multiple of 4?
True
Let t(v) = v**3 - 6*v**2 + 2*v - 1. Let h be t(4). Let m = 20 + h. Does 2 divide m/(-1) + (-2 - 1)?
True
Let m be (-4)/(-6)*(-1 + 4). Suppose s + 5 = g, 0 = m*s - 5*g + 29 - 4. Suppose 2*b - 5*c - 48 = s, -4*c + 2*c + 120 = 4*b. Does 5 divide b?
False
Suppose -4916 = -2*j + 5*h, 5*j = 161*h - 163*h + 12348. Is j a multiple of 74?
False
Let a be (6 + 0)*1/2 - -1412. Suppose -13*c = 271 - a. Is 11 a factor of c?
True
Suppose -3*n - 143 = 3*p - 8*p, -2*n - 30 = -p. Does 28 divide p?
True
Suppose 2*h = 4*x - 7*x + 382, 3*x - 374 = 2*h. Does 20 divide x?
False
Suppose -5*n + 4*s + 90 = 0, 2*s - s + 39 = 2*n. Suppose 4*k = -k + 4*p + 190, -k + n = -4*p. Is k a multiple of 23?
False
Let x = -8 + 28. Suppose 4*a + 0*a - x = 0, 581 = 2*w - 3*a. Let h = w + -196. Is h a multiple of 34?
True
Suppose -5*k - m = 2, 0*k - 8 = -3*k + 4*m. Let z(v) = -2*v + 11. Let y be z(k). Suppose -g - y = -25. Does 11 divide g?
False
Suppose 5*v + 2 = 3*n, 7 - 3 = -4*v + 3*n. Suppose -v*s - 6*i + 54 = -i, s - 27 = -5*i. Does 9 divide s?
True
Suppose 31 + 5 = 2*l. Does 2 divide (4/24*-38)/((-3)/l)?
True
Suppose 5*d + 27*w - 25*w - 2985 = 0, -d + 5*w + 570 = 0. Is 17 a factor of d?
True
Let j = 173 - 79. Is 20 a factor of j?
False
Let f(z) = z**2 - 7*z + 4. Let u be f(7). Suppose -u*x - 26 = -3*h, 8*h = -2*x + 3*h. Is (x - -1 - 33)*-1 a multiple of 14?
False
Suppose 0 = 4*f - 3*d + 28, 4*d - 21 = 5*f - 2*f. Let n(a) = -2*a + 18. Is n(f) a multiple of 23?
False
Let p = 592 + -283. Is 10 a factor of p?
False
Let t = 70 - 66. Suppose 4*q - 2*q - 2*c = 42, -t*c = -2*q + 50. Is q a multiple of 6?
False
Is 12 a factor of (-7)/28 + 41085/36?
False
Suppose 2*o - 2 - 2 = 4*f, 0 = 5*o + 5*f - 10. Suppose 2*s + 28 = o*a, -4*a - 2*s = -70 + 14. Is 5 a factor of a?
False
Let f(h) = h**2 - 7*h + 14. Let z be f(4). Is 29 - 2/(z + -3) a multiple of 16?
False
Suppose 326 = -6*w - 136. Let l = 214 + w. Is 27 a factor of l?
False
Suppose 0 = 3*f - 4*x + 14, 4*x = -2*f - 0*f - 36. Let o(a) = -6*a - 21. Does 10 divide o(f)?
False
Suppose -u + 920 = 608. Does 8 divide u?
True
Suppose 2*m - 9*l - 695 = -12*l, 3*m + 5*l = 1040. Is 9 a factor of m?
False
Let v(i) = i**2 - 4*i + 10. Let l be v(7). Suppose -4*f + 49 = -l. Suppose 0 = -0*w - 4*w + f. Is w even?
False
Let c(n) = 1507*n - 58. Is 9 a factor of c(1)?
True
Suppose n = 2*n - 3*l - 3, 5*l - 65 = -3*n. Let c be ((-10)/n)/(2/(-15)). Suppose c*q + 0*q = 10. Does 2 divide q?
True
Suppose 2 = z, 0 = 2*x + z + 8 - 28. Let a be (x/(-15))/((-1)/515). Let c = -212 + a. Is 26 a factor of c?
False
Let f(o) = -o**3 + 4*o**2 + 4*o + 2. Let j be f(4). Let t = j - 11. Does 2 divide t?
False
Let z(s) = -4*s**3 + s**2 + 2*s + 1. Let i be z(-1). Let p(c) = -40*c + 5*c**2 + 40*c - i. Is p(-3) a multiple of 11?
False
Let x(g) = -g + 13. Let c(p) = -p + 12. Let a(k) = 5*c(k) - 4*x(k). Let h be a(6). Is 41 + 6/(-4)*h a multiple of 19?
True
Let f = -10 - -16. Suppose -4*t - m + 41 = 0, -t - f = -3*m - 0. Suppose 0 = t*y - 8*y - 12. Is y a multiple of 4?
True
Let v = 1453 + -124. Is 9 a factor of v?
False
Is 57 a factor of (-15)/(-3) + 451 + 3 + -3?
True
Suppose 6 = -7*c - 92. Does 28 divide (12/(-2) + 0)*c?
True
Suppose -2*w = 4*u - 130, w - 125 = -5*u + 6*w. Suppose -2*h + 38 = -u. Is h a multiple of 14?
False
Suppose 0 = 6*i - 5*i - 4. Let w(m) = 29*m - 9. Is 23 a factor of w(i)?
False
Suppose -4*g + g = -15. Let f(j) = 32*j + 11. Let a be f(g). Let t = a + -105. Is t a multiple of 19?
False
Does 35 divide (6/(-12))/((-4)/1688)?
False
Suppose -4*f + 3*f = -5. Suppose -g - o = -6*o + 21, 3*g - f*o = -13. Does 20 divide 108*(40/(-12) + g)?
False
Is ((-186)/7)/(5 - (-72)/(-14)) a multiple of 20?
False
Let r = 932 + -369. Is r a multiple of 35?
False
Let k = -166 - -388. Is 18 a factor of k?
False
Suppose 18*z - 9*z = 6930. Is 6 a factor of 2/9 - z/(-18)?
False
Let h = -178 + 269. Is 2 a factor of h?
False
Let p(v) = -2*v + 12. Let t(s) = -2*s + 12. Let h(f) = -4*p(f) + 3*t(f). Let g be h(5). Let i = g + 23. Does 7 divide i?
True
Let h = -71 - -74. Suppose -h*t = -9, -w - 3*t + 7*t + 101 = 0. Is 34 a factor of w?
False
Suppose -j = -4, -32 - 28 = -4*i - 4*j. Suppose -16*q + 405 = -i*q. Does 27 divide q?
True
Let v(b) = 8*b + 2. Let c be v(-3). Let f be 2/12 + (-125)/30. Let d = f - c. Does 4 divide d?
False
Suppose 2*p - 14 = -5*h + 651, 5 = -p. Does 7 divide h?
False
Let c = -2412 + 4227. Does 67 divide c?
False
Suppose 0 = -4*w + 20 + 40. Is w a multiple of 3?
True
Let b(z) = 4*z**2 + 31*z - 5. Does 14 divide b(-14)?
False
Let p(k) = -242*k**3 - 2*k - 1. Does 27 divide p(-1)?
True
Let n(o) = o**3 + 7*o**2 + 2*o - 3. Let q be n(-6). Let y(c) = c**3 + 3*c**2 - 36*c - 15. Let l be y(-6). Suppose q = -3*h + l. Is h a multiple of 8?
True
Let o(z) = z**2 + 16*z - 15. Let n be 32/(-48) - (-31)/(-3). Let a(p) = p**2 + 11*p - 17. Let u be a(n). Is o(u) even?
True
Let l = 31 + -29. Suppose -217 = -l*i - 25. Is i a multiple of 32?
True
Let t(u) = 3 + 15*u**2 - 12*u**2 + 5*u + 4*u**2 + 8 + u**3. Is t(-5) a multiple of 5?
False
Suppose -4*s + 6298 = 3*f, -11*s + 10*s = 4*f - 8380. Is f a multiple of 12?
False
Let u = 1016 + -1005. Is 11 a factor of u?
True
Suppose -6*o + 2139 + 453 = 0. Is 18 a factor of o?
True
Let j be (-8 - -1)*8/(-14). Suppose -j*r + 195 = -2*r + a, 3 = a. Suppose 4*o + 88 = 4*q + 24, -4*q - 4*o = -r. Is 8 a factor of q?
False
Let h = -28 - -26. Let c(r) be the third derivative of -3*r**4/2 - r**2. Is c(h) a multiple of 24?
True
Let a be (30/(-9))/(2/(-15)). Let z(k) = -2*k**2 - 8*k - 4. Let x be z(-4). Let q = x + a. Is q a multiple of 8?
False
Let y(t) = t**3 - 3