3*t + 106*n - 101*n - 5925 = 0, 0 = 5*t + 3*n - 9891. Is t a multiple of 33?
True
Let i(l) = 15*l**2 + 28*l + 36. Let o(c) = 7*c**2 + 14*c + 18. Let q(s) = 6*i(s) - 13*o(s). Let j be q(-12). Is 22 a factor of -4*(231/j)/(-7)?
True
Let j(s) = s**2 + 22*s - 714. Is j(27) a multiple of 87?
True
Suppose -12*n + 696 = -84. Let o = -49 + n. Is 16 a factor of o?
True
Suppose 5717 = -10*h + 6237. Does 3 divide h?
False
Let i(q) be the second derivative of -q**3/2 + 5*q**2/2 + 11*q. Let k be i(-3). Is k + 57 - 4/2 a multiple of 14?
False
Let h = -16 + 22. Suppose h = -3*f + 15. Suppose -219 = -f*i - 87. Is i a multiple of 25?
False
Suppose -26030 + 8930 = -25*i. Is 12 a factor of i?
True
Suppose 2*n = -2*n. Suppose 2*g + 3 + 47 = n. Let a = g + 43. Does 18 divide a?
True
Is 37 a factor of ((-6333)/6 + 1)*(-2)/3?
True
Suppose 13 = 3*p - 2. Suppose p*o - 136 = 139. Is 4 a factor of o?
False
Let p(n) = -n**2 + 15. Suppose -2*h = -3*q + 2 - 8, 0 = -h + q + 2. Is p(h) a multiple of 3?
True
Let g(w) = 11*w**3 + w**2 + 2*w - 2. Let h = 4 - 9. Let m be g(h). Does 10 divide (-2)/5 - m/30?
False
Suppose 3*a = 2*n - 3908, 3*n + 14*a - 17*a = 5859. Does 74 divide n?
False
Let b(z) = -5*z - 5. Let m(f) = -3*f - 2. Let q(r) = -3*b(r) + 7*m(r). Let u be 1/2 + (-13)/2. Is q(u) a multiple of 23?
False
Let m(v) = 8*v - 1. Let t be m(-4). Let n = -21 - t. Suppose -o + 2*o - n = 0. Does 6 divide o?
True
Is -13499*8/(-40) - (-8)/(-10) a multiple of 42?
False
Suppose 600 = 2*u - 2*k, 11*u - 15*u + 1200 = -5*k. Is 23 a factor of u?
False
Let z(i) = i**2 - 4*i + 4. Let a be z(5). Suppose 199 = a*r - 62. Is 12 a factor of r?
False
Suppose 22*a - 71524 = -14126. Does 102 divide a?
False
Suppose 34 = 3*j + 4. Suppose j*u - 5*u = 15. Suppose -u*k + 7 = -2, 2*a + 2*k = 84. Is a a multiple of 10?
False
Suppose 2415 = 13*n + 998. Does 90 divide n?
False
Suppose 69*y = -35*y + 12896. Is y a multiple of 3?
False
Let p(b) = -11*b + 337. Is p(-33) a multiple of 35?
True
Let m(k) = -k**2 + 11*k - 15. Let z be m(14). Let p = 85 + z. Is 23 a factor of p?
False
Let i(r) = -r**3 - 10*r**2 + 10*r - 11. Let x be i(-11). Suppose 4*m + 2*f - 5*f - 41 = x, 55 = 5*m - 5*f. Is 18 a factor of (-2)/m - (-868)/16?
True
Suppose -2*n + 172 = 34. Is 14 a factor of (-3 + n/9)/(2/24)?
True
Does 9 divide -99*(-5 + 2) + -2?
False
Let i(v) = -v**3 + 3*v**2 + 6*v + 1. Let o be i(-5). Suppose 0 = 5*s + 51 - o. Does 12 divide s?
True
Let c(x) = -30 + 6*x + 53 - 5*x - 27. Is c(8) even?
True
Suppose 5*c + 40 = 5*u, 3 = -9*c + 6*c. Does 5 divide u?
False
Suppose 5*f = 3*n + 798, 3*f - n - 796 = -2*f. Suppose t + 29 - f = 0. Does 26 divide t?
True
Suppose 0 = -8*y + 5*y - 18. Let x = y - -11. Suppose x = 4*w - 3*w, 0 = -k - 5*w + 39. Is k a multiple of 7?
True
Suppose 0 = 3*i, -4*i + 246 = 3*s - s. Let x = 156 - s. Does 33 divide x?
True
Suppose 0 = -4*n - 2*u + 456, -2*n - 33 = -2*u - 249. Suppose -4*x = -2*x - n. Is 11 a factor of x?
False
Does 21 divide (-63)/(-7)*(-525)/(-45)?
True
Let r(h) = -2*h**2 - 3*h - 4. Let u be r(-3). Suppose 0 = q + 5*l + 35, -4*l = 3*q - 9*l + 65. Let z = u - q. Does 12 divide z?
True
Let p(y) = 3*y + 21. Let n be p(-6). Suppose x + n*x - 240 = 0. Is 15 a factor of x?
True
Suppose c - 6 = -2*c. Suppose 3*r + 3 = 0, -c*s - 2*r + 19 = -r. Is 2 a factor of s?
True
Suppose 0 = 4*q - 2 + 14, 3*c - 39 = -3*q. Suppose -3*d + 2*d + c = 0. Is 26 a factor of 29 - (-1 + d/4)?
True
Suppose 2*p = -3*p + 620. Suppose -2*s = 2*s - p. Does 9 divide s?
False
Suppose -4*d + 743 + 469 = 0. Suppose 1248 = 5*i + d. Does 27 divide i?
True
Suppose -2*s + 11*s - 45 = 0. Suppose 0*v = -v + s, 133 = q - 2*v. Is 24 a factor of q?
False
Suppose 4*w = 118 - 102. Suppose -3*k = -3*y, k - 3*y + w = -4. Is 3 a factor of k?
False
Let t(z) = -z**3 - 6*z**2 + 9*z - 2. Let j be t(4). Suppose 2*a - 250 = 202. Let s = j + a. Is 20 a factor of s?
True
Let w be (-4494)/(-8) + -2 - (-1)/4. Suppose -5*o - w = -2*q - 25, -2*o = -5*q + 1327. Is 53 a factor of q?
True
Let m be 175/42 - 4 - 121/6. Let w(u) = -2*u - 15. Does 10 divide w(m)?
False
Suppose -31*p - 7*p = -4788. Is p a multiple of 36?
False
Let m be ((-1872)/(-10))/(-2) - (-4)/(-10). Let s = -52 - m. Is s a multiple of 7?
True
Suppose 0 = 54*j - 49*j - 1595. Is 11 a factor of j?
True
Let h(j) = 33*j**2 + 34*j - 123. Does 27 divide h(6)?
True
Let r be 3/6*(-4 + 4). Suppose -80 = -5*o - r. Is 3 a factor of o?
False
Let d(s) = 3*s + 11. Suppose 4*z - 4*j = -48, 0*j = -5*z + 2*j - 51. Let m = z - -14. Is 13 a factor of d(m)?
True
Let a = -465 - -1341. Suppose 0 = -5*k + a + 274. Is 46 a factor of k?
True
Let t(v) = -23*v. Let i be t(2). Let p = 68 + i. Is p a multiple of 5?
False
Suppose -2*b - 2 = 0, 2*b + 11 = 4*x - 7. Let t(p) = 5*p**3 - 8*p**2 - 7*p + 6. Does 34 divide t(x)?
True
Is 24 a factor of (12 - -90)*((-4)/(-3) + 0)?
False
Let m(q) = q**2 + 5*q + 13. Let v be m(-16). Suppose -4*o - 59 = v. Let i = o + 104. Is 6 a factor of i?
True
Suppose -r = -a - 2*r + 11, 2*r + 20 = 4*a. Suppose a*g = 3*g + 4. Does 9 divide 15 + -3*(g + -2)?
True
Let o = 20 - 13. Suppose 4*b - 325 = 2*d - o*d, 5*d - 25 = 0. Is b a multiple of 15?
True
Let j be (-65)/(-2)*16/(-20). Is 22 a factor of -3 - 1*(j - -1)?
True
Let u(q) = -q**3 + q + 1. Let c(h) = 6*h**3 + 9*h**2 + 16. Let f(s) = -c(s) - 5*u(s). Does 20 divide f(-10)?
False
Suppose -2*y = -5*o - 21, 3*o - 4*y + y + 9 = 0. Let h(b) = -b + 1. Let q(n) = 7*n - 11. Let i(m) = -6*h(m) - q(m). Does 8 divide i(o)?
False
Let d(f) = f**3 - 5*f**2 + 3. Let o be d(5). Suppose 0 = 5*n - u + 4*u - 116, -5*u = -o*n + 90. Suppose -n = -4*j - 1. Does 3 divide j?
True
Suppose 4*b - 3075 = k, 4*b - 1543 = 2*b - 5*k. Is b a multiple of 11?
False
Let r(l) = -l**3 + 12*l**2 - 9*l + 8. Let w be r(11). Let k = w + -6. Is k a multiple of 24?
True
Let t(j) = -24*j - 4. Let l(d) = 73*d + 10. Let y(m) = 3*l(m) + 8*t(m). Let a be ((-8)/(-10))/((-2)/(-5)). Is y(a) a multiple of 13?
True
Let g = -29 + 131. Suppose -3*o + 2*n - 26 = -164, 2*o - g = -2*n. Is o a multiple of 24?
True
Let z(r) = 2*r**2 + 8*r - 134. Is 9 a factor of z(-14)?
False
Let i(q) = -q**3 + 4*q**2 - 12*q - 2. Is 7 a factor of i(-6)?
False
Let m(p) = p**2 - 4*p - 2. Suppose 5 + 12 = 2*o - 3*b, -2*b - 10 = 0. Suppose -3*d = -o + 7. Is 6 a factor of m(d)?
False
Suppose 11*z - 4198 = 7935. Is 11 a factor of z?
False
Let w(k) = 18*k**2 - 111*k + 11. Is w(10) a multiple of 28?
False
Let b = -163 - -748. Is 65 a factor of b?
True
Let k(l) = 77*l + 32. Is 7 a factor of k(2)?
False
Suppose 17*u - 12*u = 25. Suppose -66 = -u*n + 259. Does 18 divide n?
False
Let g(v) = 3*v**2 + 70*v + 10. Is g(-29) a multiple of 13?
False
Suppose 0 = 3*x - 12, -2*x - 441 = -b - 145. Is 10 a factor of b?
False
Let d(q) be the first derivative of q**4/4 - q**3 + 3*q**2 - 3*q + 1. Let x(k) = k**2 - 3*k + 4. Let i be x(3). Is d(i) a multiple of 9?
False
Let c(v) = -2*v + 17. Let s be c(8). Let h be 3/((-116)/(-115) - s). Suppose 0*m + h = 3*m. Does 16 divide m?
False
Suppose 3*t + 126 - 1584 = 0. Is t a multiple of 6?
True
Suppose 2694 + 4412 = 34*k. Is 11 a factor of k?
True
Let u(a) = 3*a**3 + 56*a**2 - 32*a - 40. Does 78 divide u(-19)?
False
Let l = -2951 - -4843. Is l a multiple of 34?
False
Suppose -15*p = -5*p. Suppose 3*t = 4*q + 285 + 3, 5*t + 4*q - 512 = p. Is 10 a factor of t?
True
Let y be (7 + 0/1)*1. Suppose -3*f + y*f = 1200. Suppose -q = 3*q - f. Is q a multiple of 21?
False
Let q be (-1)/7 + 188/(-7) + 5. Let w = q + 146. Is w a multiple of 8?
False
Let z be (-7 + 9)*6/(-2). Let l be z/24 + 114/8. Suppose -l*u - 66 = -17*u. Is u a multiple of 6?
False
Let q be 83 - (1 - -2) - 4. Suppose m = -3*j + 9 + 28, 4*j = -2*m + q. Does 8 divide m?
True
Suppose 47*t = 37*t + 2880. Does 6 divide t?
True
Suppose -5*v - 12 = -9*v. Suppose v*k - 11 = -2*h, 0*h + k = -4*h + 47. Is 13 a factor of h?
True
Let j(c) = -10*c - 30. Suppose 27 = -3*q - 2*x, 0 = -4*q + 9*q + 5*x + 50. Is j(q) a multiple of 4?
True
Is 16 a factor of (96/(-480))/(2/(-6310))?
False
Let a(h) = 4*h**3 + 5*h**2 - 5*h - 3. Let p be 4/(-26) + (-246)/(-78). Is a(p) a multiple of 15?
True
Let h(y) = -3*y**2 - 2*y - 8. Let s be h(-6). Let n = 18 + s. Let q = -32 - n. Is 18 a factor of q?
True
Suppose d = 2, -4033 - 2824 = -5*z - d. Does 64 divide z?
Fal