 Does 6 divide ((-30)/(-4))/(t/2)?
False
Suppose 2*i - 6 = -2*z, 2*z + 3*i = 5 + 2. Suppose 0 = -3*j + z + 13. Is 2 a factor of j?
False
Suppose 8 = d + 4*w, 0*d - 3*w - 43 = -d. Does 10 divide d?
False
Let p(b) = 3*b**2 - 5*b - 11. Is p(5) a multiple of 15?
False
Let v = -39 - -65. Is 13 a factor of v?
True
Let u(s) = -s + 6. Let b be u(6). Suppose 2*y = -2*a - 3 + 9, -3*y - 9 = b. Is 2 a factor of a?
True
Suppose r = -q - 65, 6*q - 5*r = 4*q - 95. Let x = -24 - q. Does 12 divide x?
True
Suppose 23*w - 252 = 19*w. Is w a multiple of 29?
False
Suppose 144 = 3*s - 6. Does 50 divide s?
True
Let g be ((-1)/(-2))/((-1)/(-60)). Suppose -x = 4*p - 18, -5*x = -2*p + 7*p - g. Suppose -2*v = -x*s + 2*v + 44, 4*v - 36 = -2*s. Is 10 a factor of s?
True
Let h = -17 + 36. Is h a multiple of 5?
False
Let t(g) = g**2 + 6*g + 7. Let r be t(-6). Suppose -f + 6 = 2*f. Suppose -2*w - 5*a = -42, r*w - f*w + 4*a - 105 = 0. Is w a multiple of 7?
True
Suppose -3*u + 24 = h + 4*h, -5*u - 4*h + 40 = 0. Let l(m) = -m**3 + 9*m**2 - 9*m + 12. Let t be l(u). Is 2 a factor of -3*((-16)/6)/t?
True
Let w(j) = -2*j + 27. Let x(m) = m - 14. Let u(a) = 6*w(a) + 11*x(a). Let o be u(6). Suppose 0 = 4*v - o*v - 50. Is v a multiple of 13?
False
Suppose 3*x + 27 - 94 = -r, -1 = x + 5*r. Is 8 a factor of x?
True
Suppose o + 3*u - 6 = 0, 5*o - u + 8 = 3*u. Let f be (o + 0)*6/(-6). Suppose -8 = -f*c - c. Is 4 a factor of c?
True
Suppose -4*u + r = 4, -4*r + 16 = -0*u - 2*u. Suppose u = -2*t - t + 108. Does 11 divide t?
False
Suppose 52 = 5*l - 3. Suppose 4*k + l + 7 = -5*u, u = k. Let a = k + 30. Is a a multiple of 22?
False
Let x(d) = -d. Suppose -2*o - 6 = -8*m + 3*m, -m - 3*o + 8 = 0. Let f be x(m). Is 14 + f/(4/6) a multiple of 10?
False
Let y be (-2)/(-3)*(-6)/(-2). Let c(m) = m**3 + 4*m**2 - 2 - m + 4*m**2 + m**2 - 2*m**y. Is c(-3) a multiple of 16?
False
Let p be 1 + 3/(9/(-39)). Is 10 a factor of ((-15)/1)/(p/8)?
True
Is 88 - -7 - (-3)/(-1) a multiple of 23?
True
Suppose 0 = -3*a - 5*o + 19, -5*o + 3 = -7. Suppose 2*j + 5*h = -66, a*j + 2*h = h - 86. Does 6 divide 6/(-3) + j/(-2)?
True
Let m(q) = -2*q**2 - 15*q + 1. Let i(s) = s**2 + 14*s - 1. Let x(k) = 3*i(k) + 2*m(k). Is x(8) a multiple of 13?
False
Let y be 4/(-6) - 32/6. Let v be (-3)/y*-2*-4. Suppose -3*q - 24 = -3*z + 9, v*z = -4*q + 44. Is 8 a factor of z?
False
Let m(c) = 5*c**2 - 4*c + 3. Suppose -5*q + 1 = -9. Is m(q) a multiple of 15?
True
Suppose 2*s = 2 - 4, 5*s + 7 = r. Let j be (1/(-3))/(1/(-3)). Suppose 0 = r*l + j - 25. Does 7 divide l?
False
Suppose -i - 3 = -1. Let c be (-1)/((-84)/(-20) - 4). Is (35/i)/c*8 a multiple of 10?
False
Suppose -6*x + 3*x = -216. Let v = -25 + x. Is 17 a factor of v?
False
Let r = 3 - 2. Let q be r/(12/10 + -1). Suppose -2*s - 3*u = 2*s - 44, 3*s + q*u - 44 = 0. Does 4 divide s?
True
Let j be (-3)/(2*3/(-6)). Suppose -j*n + 14 = 71. Let v = 67 + n. Is 18 a factor of v?
False
Let b = 10 + -8. Suppose -b*m + 5*j = -20 - 34, -78 = -4*m - 5*j. Does 11 divide m?
True
Let y(p) = -24*p**3 - 43*p**3 - 4*p**3. Let f be y(-1). Let z = -49 + f. Is 11 a factor of z?
True
Let u(c) = -6*c - 8. Is 11 a factor of u(-5)?
True
Let r = 1095 - 773. Is 44 a factor of r?
False
Let x be (1 - -1)/(12/18). Suppose x*f = -4 + 31. Is f a multiple of 5?
False
Suppose 17*k = -140 + 1364. Is 8 a factor of k?
True
Let h(l) = -l**2 - 6*l + 3. Let s be h(-5). Suppose -s = 3*z - z. Does 9 divide (-3*1)/(z/12)?
True
Suppose -u - 2*x = -2*u + 173, x = 5*u - 892. Suppose 0 = -3*w - 5*r + 266, -2*w - 5*r + u = -0*r. Is 28 a factor of w?
False
Suppose -4*t = -2*w - 849 + 203, -2*w + 634 = 4*t. Suppose 0 = h + 4*h - t. Is 16 a factor of h?
True
Suppose -3*w = -2*g - 67 + 17, -3*w - 2*g + 46 = 0. Is 8 a factor of w?
True
Let o = -58 - -116. Is 9 a factor of o?
False
Let u = -10 - -12. Suppose -u*d = 3*d - 105. Is d a multiple of 4?
False
Suppose -5*i + 538 = -3*p, 2*p = 7*i - 2*i - 542. Suppose 2*n = 5*d - 251, 147 = 5*d + n - i. Does 17 divide d?
True
Suppose -2*j = -j - 5*h - 70, -5*h + 320 = 5*j. Does 36 divide j?
False
Let f = -1 - 0. Let x be (12/3)/(f/3). Does 5 divide ((-20)/x)/(2/12)?
True
Suppose -4*i - 54 = -l, -5*l - 4*i + 107 + 187 = 0. Is l a multiple of 11?
False
Does 11 divide (3/6 - 1)*-120?
False
Suppose 0 = i, 2*p = -2*p - i + 92. Let b = 4 + 0. Suppose p = -b*n + 63. Is n a multiple of 5?
True
Let u(p) = 2*p**2 + 4*p - 4. Suppose v + 15 = 3*y, y + 5*v + 11 = -0*v. Suppose 0 = y*o + 4 + 12. Is u(o) a multiple of 12?
True
Let g(h) = 16*h + 6. Let w(m) = -3*m - 1. Let s(f) = -2*g(f) - 11*w(f). Let q be s(1). Does 2 divide (-6)/(-2) - q/2?
False
Let s = 1 + 2. Suppose 2*x - s*x + 19 = 0. Does 10 divide x?
False
Suppose -u + 12 = u. Let z be (u - 10) + (1 - 0). Does 6 divide 6*1 - (3 + z)?
True
Let v(w) = w**3 + 7*w**2 + 6*w - 5. Is v(-5) a multiple of 5?
True
Let b(x) = -x**3 - 6 - 29*x**2 + 15*x**2 + 20 + 2 - 4*x. Does 38 divide b(-14)?
False
Let h(u) = 2*u + 18. Does 3 divide h(0)?
True
Suppose 7 + 8 = -5*j. Is 122/6 - (-1)/j a multiple of 10?
True
Let g be 21*(5/(-3) + -1). Let i = g + 85. Is 12 a factor of i?
False
Suppose 175 = -2*a + 7*a. Is 5 a factor of a?
True
Let k = 8 - 11. Let q be -2 + 1 - -1 - -5. Let p = q + k. Is p even?
True
Let o be (-1 - 2/(-2))/1. Suppose -3*f - 18 + 63 = o. Does 7 divide f?
False
Suppose 0 = 8*s - 3*s + 145. Let q = s - -40. Does 11 divide q?
True
Let a(b) = 0 + b + 4*b - 1. Does 13 divide a(3)?
False
Let c = 223 - 133. Suppose p + c = 4*p. Is p a multiple of 10?
True
Does 13 divide -14 + 12 + 36*1?
False
Let w be 2 + 1 + 3/3. Suppose 3*j = j + 5*y - 20, 0 = -j - y + w. Suppose -2*z + 56 = -j*z. Is 12 a factor of z?
False
Let p = -19 - -27. Suppose 0 = p*h - 6*h. Suppose 4*c + h*c = 260. Does 18 divide c?
False
Suppose -1 - 4 = -5*r. Let u = 18 - r. Suppose 5*k - 10 = 0, -5*k - u + 7 = -4*g. Is g a multiple of 2?
False
Let s = 7 - -27. Let d = -22 + s. Is 12 a factor of d?
True
Let s(d) = -d - 1. Let a be s(-7). Suppose -b + 33 = a. Is 8 a factor of b?
False
Let j = 179 + -123. Is j a multiple of 8?
True
Let h(l) = -6*l - 12. Is 19 a factor of h(-6)?
False
Suppose -48 = 4*q + 5*k - 1, -q - 5*k = 23. Is 7 a factor of (q/(-6))/((-3)/(-18))?
False
Suppose -5*q + 6*q - 9 = 0. Let u = 56 - q. Does 15 divide u?
False
Let p(h) = -h**3 - 8*h**2 + 7*h - 9. Let m be p(-9). Is 3/m - 82/(-6) a multiple of 14?
True
Suppose -4*a + 168 = -0*a. Is a a multiple of 21?
True
Let n(y) = 1 - 3*y + 1 - 4*y**2 + 5*y**2. Let l be 4/(8/14) - -1. Does 21 divide n(l)?
True
Let i be 280/5 + (-1 - 1). Let b = -35 + i. Is b a multiple of 7?
False
Let y = 159 + -48. Is y a multiple of 14?
False
Let k(a) = a**3 + a**2 - a - 1. Let f(n) = n**2 - 4*n + 3. Let r be f(2). Let j be k(r). Suppose 0*i + i - 15 = j. Is i a multiple of 5?
True
Let i(s) = 3*s**2 + s - 2. Suppose 7 = 3*x - 2. Is i(x) a multiple of 19?
False
Suppose -26 = 6*x - 8*x. Is 13 a factor of x?
True
Let u(s) = -s. Let c be u(-2). Suppose c*b - 62 = -4*l, -5*b + 56 = l - 135. Is 13 a factor of b?
True
Suppose 3*y - h - 3*h = 0, 4*h = 2*y. Let c(q) = q**3 + 7*q**2 + 5*q - 6. Let d be c(-6). Suppose 2*w - w - 5 = d, -3*r + 5*w + 35 = y. Is r a multiple of 13?
False
Let t be 4*1*33/6. Let i be (-1)/((-1)/8) + -1. Suppose c - i = t. Does 12 divide c?
False
Let b(k) = k**3 + 12*k**2 + 8*k - 12. Let p be b(-11). Let v = p - -8. Is v a multiple of 8?
False
Suppose -2*w - 8 = -4*r, -r + 16 = 6*w - 3*w. Suppose 0 = 5*f + 2*u + 43 - 960, -r*f = 2*u - 732. Suppose -5*x = -f - 40. Does 25 divide x?
False
Let t(s) = -4*s**2 + 6*s**3 - s**2 + s + 3*s**2. Let j be t(1). Suppose -k - p - 11 = -28, j*k = -p + 93. Is 8 a factor of k?
False
Suppose -4 = -4*y - 0*y. Suppose y = -5*a + 51. Is 10 a factor of a?
True
Suppose -t = -5*y - 44, -4*y - 42 = -t - 7. Let s be y*(4/6)/(-1). Suppose 2*g = 3*g - s. Is 5 a factor of g?
False
Let s(f) = f**3 + 0 - 2 - 4*f**2 - 3*f + 8*f. Let x be s(3). Suppose o = -o + x. Is 2 a factor of o?
True
Suppose 0 = -4*x + 6 - 70. Let l = 1 - 0. Let u = l - x. Is u a multiple of 16?
False
Suppose -80 = -3*q - 2*q. Suppose -3*x = -x - 6. Suppose -x*u = u - q. Is 3 a factor of u?
False
Let o = 17 - 12. Suppose -m = -o*y + 5 + 12, -y + 5 = 0. Let r(f) = -f**3 + 9*f**2 - 6*f. Is r(m) a multiple of 16?
True
Let u(r) = 6*r. Let k(