r. Let i(m) = -6*q(m) + 7*x(m). Is 14 a factor of i(-6)?
False
Suppose -2*q = 3*a - 195, -4*a = -3*q - 5 + 255. Is 10 a factor of q?
True
Let k = 3 + 63. Suppose -2*r = 2*x - k, -x + 32 = 2*r - 0*r. Is 17 a factor of x?
True
Let f = 3 + 526. Is f a multiple of 6?
False
Is 40 a factor of (-8)/((-48)/9) + 5874/12?
False
Suppose -315 = -4*h - 31. Is h a multiple of 11?
False
Suppose -r - 4 = -4*a, 0 = 3*r + 4*a + 20 + 8. Let t(k) = -k**3 - 8*k**2 - 2*k - 14. Let f be t(-8). Is ((-18)/8)/(f/r) a multiple of 6?
False
Let l(c) = c**3 - 4*c**2 + 3*c + 2. Let i be l(3). Let m be (-1)/(i/150*3). Does 13 divide 131/5 + 5/m?
True
Let d(b) = 7*b - 11. Let o be ((-3)/2 - -1)*-14. Let m = 13 - o. Is 18 a factor of d(m)?
False
Let r be 6 + -3 + 0 - 4. Let a = 55 - r. Does 16 divide a?
False
Suppose 13*l = -703 + 131. Let a = 53 + l. Is a a multiple of 5?
False
Suppose -2*n + 2340 = 3*n. Does 52 divide n?
True
Let o be (-9 - -2*1)/((-15)/375). Let l = 256 - o. Does 27 divide l?
True
Suppose 3*p = i + 269 - 1085, i - 792 = -5*p. Is 6 a factor of i?
False
Let v = 3989 + -2811. Does 19 divide v?
True
Suppose -99 = -5*a - 0*b - 3*b, a = -2*b + 17. Let n = a + -21. Suppose 2*y - 1 - 87 = n. Is 9 a factor of y?
False
Suppose -17 = l - 97. Is l a multiple of 10?
True
Suppose 16*y - 1782 = 202. Does 38 divide y?
False
Let r(c) = 2*c - 13. Let z be r(8). Let a(g) = 6*g + 3. Is a(z) a multiple of 7?
True
Suppose 1586 = 6*p - 1300. Does 12 divide p?
False
Let m = -24 + 27. Suppose a + m*b = 135, -b - 526 - 181 = -5*a. Is 31 a factor of a?
False
Suppose 5*m = n - 61, 4*n - 3*n - 70 = 2*m. Suppose 0 = 3*v - 7*v - n. Let k = 34 + v. Does 3 divide k?
True
Is 17 a factor of (0 - 1)/((-4)/20) - -603?
False
Let w(f) = 19*f**2 - 27*f - 68. Is w(-3) a multiple of 4?
True
Let l be (-10)/55 - 130/11. Let q be 4*22/l*-3. Suppose -6 = 2*n - q. Does 2 divide n?
True
Suppose 0 = 2*c - 187 + 169. Is c a multiple of 5?
False
Let c(a) = -9*a + 17. Let g(z) = -2*z**2 - 5*z - 4. Let q be g(-3). Does 20 divide c(q)?
True
Let i(j) = 9*j + 15 - 1 + 10*j + 5. Is 19 a factor of i(4)?
True
Let s(o) = 17*o - 24*o + 16 - o**2 + 7*o. Let x be (-1)/2 - 4/(-8). Is 16 a factor of s(x)?
True
Let m(n) = n**3 - 9*n**2 - 10*n + 3. Let h be m(10). Suppose 2*x - h*x = 0. Suppose -11*d + 8*d + 21 = x. Does 7 divide d?
True
Let y be (-2)/4 + (-42)/(-12). Suppose -m = -c + 4, 0*m + 19 = y*c + 4*m. Is 3 a factor of c?
False
Suppose 4*u - 5*s = 95, -6*u - 4*s - 46 = -8*u. Is (-120)/u*165/(-6) a multiple of 33?
True
Let u be (-27)/(-18) + 13/2 + -1. Suppose 2*o + 0*h + 3*h - 37 = 0, 3*o + h = 38. Suppose -r = -u - o. Does 6 divide r?
True
Let c = 13 + -3. Let f = -5 + c. Suppose 2*h = 4*b + 60, 205 = f*h - 4*b + 5*b. Does 16 divide h?
False
Let p = 146 + -143. Is 4 a factor of 9*2 + 0/p?
False
Let o(f) = 101*f**2 - 2. Let l = 69 + -70. Is o(l) a multiple of 24?
False
Let r = -1419 - -2392. Is 18 a factor of r?
False
Suppose 0 = 2*n + 460 - 3388. Is 24 a factor of n?
True
Let d(y) = 5 - 1 + 0 - 1 - 28*y. Is d(-3) a multiple of 29?
True
Let a = -775 + 1085. Is 31 a factor of a?
True
Let u be (680/32)/(1/(-24)). Is ((-16)/12)/(4/u) a multiple of 8?
False
Let g(v) = -5*v + 15. Let o be g(4). Is 13 a factor of (-260)/(-4)*(-2)/o?
True
Suppose 0 = -2*m - 5*f + 14, 2 + 6 = 4*f. Suppose m = 2*o, 0*o - 6 = -3*q - 3*o. Is 13 a factor of -2 + (59 - -3) - q?
False
Suppose -31*i - 121 + 462 = 0. Does 2 divide i?
False
Suppose 3*g = -0 - 3, 2*f = -4*g + 588. Is 9 a factor of f?
False
Let a = -1243 - -2390. Does 31 divide a?
True
Let g(t) = t + 16. Let h be g(-13). Suppose 3*p - 5*d + 0*d = -h, 5*p - 4*d + 18 = 0. Is 4 a factor of 5/(-2*3/p)?
False
Suppose -4*s + 432 = 4*s. Suppose 15 = 3*z - s. Does 23 divide z?
True
Suppose -3*c = 6 + 9. Let b(p) = -p**2 - 8*p - 11. Let i be b(c). Suppose -495 + 47 = -i*a. Is a a multiple of 28?
True
Suppose -5*d - 210 = -5*k, k - 5*d - 10 = 48. Is k a multiple of 10?
False
Suppose 0 = 3*c - r + 80, 3*c + 3*r = -41 - 43. Does 4 divide (-4)/10 - c/5?
False
Is (-84 + 0)*(-20)/6 a multiple of 14?
True
Let a = 2466 + -411. Is a a multiple of 9?
False
Suppose -4 = 2*l, -178 = -2*f - 2*l - 10. Let n = 104 - f. Does 4 divide n?
False
Let s(n) = -3*n + 12 - 14 + 18 - 7*n. Let v be s(10). Does 14 divide v/15*30/(-12)?
True
Let p = 495 + -500. Let z(b) = 2*b - 3*b**2 - 7 + 0*b + 4*b**2. Does 8 divide z(p)?
True
Let s = -60 - -64. Suppose -5*z + 115 = -0*z - 5*h, -s = -4*h. Is z a multiple of 12?
True
Let l = -2423 - -3445. Does 14 divide l?
True
Let m(x) = x**3 - 6*x**2 - 7*x - 3. Suppose 5*b - y = -0*y + 32, -4*b - 3*y + 37 = 0. Let i be m(b). Is 8 a factor of (-74)/(-4)*(5 + i)?
False
Suppose -6*r + r = -5*k + 130, r = -4*k - 16. Suppose 4*j + 4*m = j + 131, -3*j - 3*m = -126. Let i = j + r. Is i a multiple of 3?
False
Let r be (5*(-6)/(-15))/(3/138). Suppose j = -4*o + 13, 5 + 4 = 3*o. Is 40/j - r/(-23) a multiple of 10?
False
Let c(q) = q**2 - 4*q - 6. Let f be c(7). Suppose -2*x - 5*i + 3 = 0, i + 1 = -0. Let n = x + f. Is n a multiple of 12?
False
Suppose -5*m - 28 + 133 = -2*r, 195 = -4*r + 5*m. Does 10 divide (81/r)/(3/(-20))?
False
Let w = 2 + -7. Let r(o) = -4*o - 6. Let p be r(w). Let j(h) = -h**3 + 13*h**2 + 15*h - 11. Is 2 a factor of j(p)?
False
Let z(u) = 2*u - 11. Let m = -30 - -37. Let c be z(m). Suppose -c*j - 5*h + 99 = -j, 3*h = 9. Is 7 a factor of j?
True
Suppose u - 1296 = -4*b, 9*u - 10*u - 1620 = -5*b. Is b a multiple of 9?
True
Let q(d) = 16*d - 3. Suppose 4*u = -b + 7, 2*u + b = -b + 8. Let n(x) = 2*x. Let g be n(u). Is 14 a factor of q(g)?
False
Let w(s) = s**3 + s + 6. Let m be w(0). Let b be 1/m + (-2)/12. Suppose 0 = -5*i - b*i + 40. Does 3 divide i?
False
Let z(q) = -q**3 - 13*q**2 + 23*q - 60. Is 2 a factor of z(-15)?
False
Suppose 3*y - 333 = -2*q - 71, -439 = -5*y - q. Let a = 178 - y. Does 30 divide a?
True
Let j(x) = 5*x**2 + 24*x - 17. Let a(z) = -2*z**2 - 12*z + 9. Let v(b) = 5*a(b) + 3*j(b). Does 46 divide v(-8)?
False
Is (-7)/1*(-6950)/350 a multiple of 10?
False
Suppose -3*o - 13 = -154. Suppose 5*j - 421 - 439 = 0. Suppose 0 = -3*h + n + j, -h + o = 5*n - 5. Is h a multiple of 12?
False
Suppose -7*d + 1141 = -343. Is 35 a factor of d?
False
Let y = 395 - 304. Does 91 divide y?
True
Let a(l) = -36*l - 7. Suppose 0*d + 12 = -4*d. Is a(d) a multiple of 26?
False
Let u(v) = 228*v - 48. Is 15 a factor of u(6)?
True
Suppose -2*c + 6*c = 2*u + 6, 0 = 3*u + 9. Let h(x) = -x**3 + x**2 - x + 19. Let k be h(c). Let n = 47 - k. Is 14 a factor of n?
True
Suppose -2*b = -5*w + 303, 0 = 2*w - b + 6*b - 127. Is w a multiple of 6?
False
Let c(l) = l**2 + 10*l - 14. Let v be c(-11). Does 8 divide 53 + v + (-6)/3?
True
Let n(y) = 6*y**2 + 6*y + 3. Let i be n(6). Suppose 4*k - v = i, -3*v = -k - 2*v + 63. Is 7 a factor of k?
False
Let b(h) be the third derivative of -h**4/6 - 2*h**3 - 144*h**2. Suppose 0 = -3*g - 2 - 16. Is b(g) a multiple of 11?
False
Is 10 a factor of (-49)/(196/(-7080)) + (-10)/2?
False
Suppose -12*s = -8*s - 48. Let h = s - 0. Suppose 0 = -2*b - 0*b + h. Is 3 a factor of b?
True
Suppose g + 8 = 7. Does 41 divide ((-287)/21)/(g/(20 + 1))?
True
Let l(g) = -2*g**3 - 3*g**2 - 12*g - 28. Is 56 a factor of l(-11)?
False
Suppose -2*v - v = -13776. Suppose 10*a + v = 24*a. Is 54 a factor of a?
False
Let j = -56 + 164. Is j a multiple of 12?
True
Suppose -84*h + 74*h + 36360 = 0. Is 20 a factor of h?
False
Let t = 1759 + -1159. Is (-3)/(-9) + t/9 a multiple of 11?
False
Suppose 0 = 5*s - 2*s - 72. Suppose 6*j - 9*j + 9 = 0. Suppose 4*w + s = 3*y - 4, -40 = -j*y - 2*w. Does 6 divide y?
True
Let k = 9 + -9. Suppose k*n - 2*n + 68 = -y, 4*n - 138 = 3*y. Is n a multiple of 11?
True
Let n = -480 + 1200. Is n a multiple of 12?
True
Let m be (4 + (-184)/28)*-14. Let l = 66 - m. Is 15 a factor of l?
True
Is (3/(-3))/(6/(-624)) a multiple of 19?
False
Suppose -5*q = -x - 17, 5*q - 8 = -2*x + 18. Let j be (3 + -1 - x)*-3. Suppose j*g - p - 64 = 0, -3*p = 3*g - p - 79. Does 4 divide g?
False
Let y = 104 + -80. Is y even?
True
Suppose 23*p + 24*p - 14100 = 0. Is p a multiple of 21?
False
Let p be -3 + ((-1932)/(-4))/3. Suppose -4*a - 4*l + 288 = 0, 3*a - p = 2*l + 38. Does 25 divide a?
False
Suppose 4*d + 1256 = 12*d. Is 39 a factor of d?
False
Let o = 203 - 121. Is o a multi