36. Is 14 a factor of u?
True
Let u = 377 - -1387. Is u a multiple of 21?
True
Suppose -2*x + 5*p + 493 = 0, -1013 = 17*x - 21*x + p. Is 4 a factor of x?
False
Let o = -103 + 267. Let x be (-1246)/13 - (-14 + (-552)/(-39)). Let r = x + o. Does 13 divide r?
False
Suppose 0 = -14*l - 4*l + 1278. Is 8 a factor of l?
False
Suppose -24*o + 869 = -571. Does 27 divide o?
False
Suppose -2*m = -5*u + u, -5*m + u = 0. Let h(a) = -8*a + 10. Let q(p) = 15*p - 20. Let c(o) = -11*h(o) - 6*q(o). Does 10 divide c(m)?
True
Let f(b) = -10*b - 93. Let q be f(-10). Is 35 a factor of (-2)/7 + -3 + 933/q?
False
Suppose 690 + 229 = w - 4*l, 2*w = -l + 1820. Is w a multiple of 4?
False
Suppose -528 = -6*j - 126. Let q = j - 40. Does 9 divide q?
True
Suppose 2*d = 11*d - 288. Suppose -d*y + 174 = -30*y. Does 12 divide y?
False
Suppose -3*h + 105 = 4*w - 2*w, h - 30 = w. Let a(l) = -l**2 + 9*l - 3. Let b be a(8). Suppose -77 - h = -b*x. Is x a multiple of 5?
False
Suppose -4825 - 10375 = -8*m. Does 25 divide m?
True
Suppose -2219 + 40565 = 14*r. Is r a multiple of 27?
False
Let r(w) = -w**3 + 12*w**2 + 12*w + 15. Let l be r(13). Let c be (l/1 - -1) + -9. Let q = c - -9. Does 2 divide q?
False
Is 128 + (3 - 1 - (2 - -2)) a multiple of 22?
False
Let x be (-770)/(-33) + (-6)/(-9). Let h(r) = -r**3 + 24*r**2 + 2*r - 5. Is 20 a factor of h(x)?
False
Let c = -1785 - -3303. Is c a multiple of 12?
False
Let s(n) = -n**3 + 3*n + 2. Suppose -2*i - 10 = 2*b, i = 2*b + 5*i + 12. Does 13 divide s(b)?
False
Suppose 69 = 6*i - 147. Let k = i + -11. Does 10 divide k?
False
Let g(p) = -p**2 - 7*p - 5. Let i be g(-2). Suppose -i*w - 92 = -6*w. Is 12 a factor of w?
False
Let c = -158 - -286. Is 23 a factor of c?
False
Let a(c) = 2*c**2 - 28*c - 6. Let t be a(15). Let h(v) = v**2 + 2*v - 1. Let i be h(-3). Suppose t = i*z + 2*z. Does 2 divide z?
True
Let q be (-82)/(-3 + 1) - -1. Suppose -4*j = -3*c - 676, -4*c - q + 524 = 3*j. Does 30 divide j?
False
Let v = -20 + 20. Let l(i) = v*i**3 - 2*i**3 + 6 - 7*i + 2*i**3 - i**2 + 2*i**3. Does 30 divide l(4)?
True
Is 17012/52 + (-5)/(195/6) a multiple of 34?
False
Let j(x) = 6*x**2 - 15*x - 33. Is j(7) a multiple of 2?
True
Let f be 3951/(-81) - (-2)/(-9). Let b = 100 + f. Let w = 120 - b. Does 23 divide w?
True
Let u(p) = 10*p**2 + 11*p - 156. Is 15 a factor of u(11)?
False
Suppose 2*d = -2*t - 2*t - 166, 3*t + 5*d + 128 = 0. Let b = t + 86. Does 45 divide b?
True
Suppose -m - 65 = 3*n + n, 5*m = 5*n + 50. Suppose 17 + 37 = -2*c. Let p = n - c. Is 6 a factor of p?
True
Let r(p) = -12*p**3 - 4*p**2 - p + 2. Suppose -3*o - 2 = 4. Is r(o) a multiple of 14?
True
Suppose 37*r = 34*r. Suppose 14 = -r*y + y. Is y a multiple of 7?
True
Suppose -v - 2*v = 2*g + 9, -g - 5*v + 6 = 0. Is 9 a factor of (-12)/18 + (-510)/g?
False
Let p = -998 + 1563. Suppose -2*b + p = 3*b. Is b a multiple of 29?
False
Let y(k) = -k + 10. Let p be y(6). Suppose -4*j + p + 4 = 0. Is j/7 - (-1233)/21 a multiple of 12?
False
Suppose -127*i + 606 = -121*i. Does 3 divide i?
False
Let q be 0 + (-4)/(-2) + -3. Let h be (q - -3)/(4/1138). Suppose 158 - h = -3*v. Does 20 divide v?
False
Let v be (-112)/12*(-6)/2. Does 15 divide (-48)/14 - (-12)/v - -18?
True
Is 11 a factor of ((-6)/((-126)/(-2387)))/((-6)/36)?
True
Let q(u) = -u**2 + 22*u - 33. Let a be q(16). Let m = 145 - a. Is 12 a factor of m?
False
Is (-1527 + 11)*3/(-12) a multiple of 38?
False
Let a = 10 - 5. Suppose -a*d = -m - 3, -2*m - 15 = -2*d + 3*m. Suppose 3*p = -d*p + 39. Is p a multiple of 11?
False
Let k(t) = t**3 - 3*t**2 - 4*t + 4. Let p be k(4). Suppose -p*i + 8*i - 484 = 0. Does 14 divide i?
False
Let q = 1651 - 1143. Is q a multiple of 30?
False
Suppose 0 = 2*i - 3*i - 28. Let x be 1/(-3) - i/3. Suppose -4*g = 5*c - 0*g + 1, -3*g - x = c. Is 3 a factor of c?
True
Let t(s) = -5 + 4 + 6*s - 7*s. Let n be t(-5). Suppose -59 + 159 = n*k. Is 22 a factor of k?
False
Suppose 4*h = -0*c + 2*c + 16, 5*h + 3*c - 31 = 0. Suppose h*q = 5*j + 30, -2*q + 0*q = -j - 17. Does 5 divide q?
False
Let j = -27 + 32. Suppose -d = g, 2*g - 28 = -j*d + 4*g. Suppose 0 = d*h + 4*a - 92, -3*a + 113 = 5*h - 0*h. Is 7 a factor of h?
False
Let j(b) = 5*b + 96. Is j(30) a multiple of 41?
True
Let d = -2325 - -4052. Does 46 divide d?
False
Let t(w) = -w + 4. Let v(f) = 2*f - 5. Let q(h) = 6*t(h) + 5*v(h). Let p be q(1). Suppose g - 6 = -0*g - 2*b, 4*b - 20 = -p*g. Does 5 divide g?
False
Suppose -6*f + 25 = -3*f - 5*p, -2*p - 29 = -5*f. Suppose -5*d + 41 = -4*w, 0 = w - f*w + 2*d - 26. Let l = 30 + w. Is 14 a factor of l?
False
Is 49 a factor of -2 + 20/8 - 193293/(-54)?
False
Let a(p) = p**3 - 4*p**2 - 4*p - 3. Let f be a(5). Let r(b) = 2*b + b**2 - b - 2*b**2 + 6*b**2 - 1. Is r(f) a multiple of 21?
True
Let o(w) = -4*w + 13. Suppose -16 + 46 = -3*n. Let m be o(n). Suppose -4*t - 58 = -3*f + f, f - m = -4*t. Is 17 a factor of f?
False
Suppose 2*y = q + 11199, -5*q + 16779 = 20*y - 17*y. Does 19 divide y?
False
Let g = -19 + 75. Suppose -12 = k - g. Is k a multiple of 13?
False
Let b(d) = 2*d - 6. Let r be b(-7). Let j = -16 - r. Suppose -2*y - j*p = -156, 5*y = -3*p - 2*p + 365. Does 23 divide y?
False
Suppose 0 = 2*x - 3*a - 64 - 12, 4*x + 3*a - 170 = 0. Let b = x - -43. Is b a multiple of 21?
True
Suppose 4*k + g = 3, 5*k + g + 0*g = 5. Suppose -4*l = 4*n - 1 + 13, -l = 5. Suppose 0*j - 4*t = k*j - 70, -n*j + 68 = 2*t. Is j a multiple of 8?
False
Suppose k + 21 = a - 4*k, 2*a - 3 = -3*k. Suppose -1 = 5*v - a*v. Is 1*(-48)/(-4)*v a multiple of 3?
True
Let g(d) = d**3 - 6*d**2 - 7*d - 7. Let b be g(6). Let p = b - -82. Does 11 divide p?
True
Suppose -2*y - 68 = -m, -6*m + 4*m - 2*y = -142. Is m a multiple of 27?
False
Suppose -p - 77 = -4*k - 2*p, -5*p - 47 = -4*k. Is 12/k + (-165)/(-9) a multiple of 11?
False
Let u(v) = -v + 1. Let y be u(-3). Suppose -3 = -2*c + g, 0*g = -c + y*g - 16. Suppose -2*x + p = -21, 0*p = c*x + 2*p - 46. Is 6 a factor of x?
False
Let w(c) = -c**2 - 17*c - 13. Let z be w(-16). Let i be z/(1 + 4/(-16)). Suppose 3*p = -4*n + 54, -i*p + 16 = -3*p + 2*n. Does 11 divide p?
True
Let f be 14*(-2 - 32/(-14)). Suppose a = -f + 3. Is 14 a factor of (a/(-3))/((-5)/(-870))?
False
Suppose 4*m = 9 + 7. Suppose 4*f + 2*c = 6, 2*f - 4*f = m*c. Suppose 4 = f*z - 4. Is z a multiple of 3?
False
Let u(f) = 535*f + 26. Does 22 divide u(1)?
False
Let g = 33 - 31. Does 11 divide 9/g*(-528)/(-36)?
True
Let l = 13 - 46. Let t = l - -42. Is 2 a factor of t?
False
Let z = 97 + -166. Let l = z + 120. Is l a multiple of 12?
False
Suppose 2*m + 65 - 249 = 0. Let i = -68 + m. Is 12 a factor of i?
True
Suppose 2 - 6 = 2*d. Let n be 72/d*(-36)/24. Is 6 a factor of n*(8/(-3))/(-4)?
True
Let y(c) = 2*c**2 - 58*c - 197. Does 13 divide y(46)?
False
Suppose -3*s - s + 40 = 0. Suppose 5*o = 5*v - 10 - 15, 0 = -2*o + s. Is v a multiple of 5?
True
Let s(l) = l + 6. Let c be s(0). Suppose 4*p - c*p = 0. Suppose -q + 38 = -o, -2*o + 6*o + 8 = p. Does 12 divide q?
True
Suppose -g - 81 = -4*g. Suppose p + 0*i = -4*i + g, -69 = -4*p - 3*i. Is p a multiple of 15?
True
Let k = -14 - -16. Suppose 0 = -0*n + k*n. Is 6 a factor of (-18)/(-12)*(8 - n)?
True
Does 41 divide -2*41/4*(3 - 13)?
True
Let q = -14 + 18. Suppose -13 = -q*z + 99. Is z a multiple of 11?
False
Suppose -45*b - 4654 = -44209. Does 5 divide b?
False
Suppose -13*h + 11*h = -32. Let s = -5 - -8. Suppose -24 = -z + 5*j, 0 = 4*z - s*j - h - 12. Is 4 a factor of z?
True
Suppose -2*f - 2 = 0, 0 = -2*b - 4*f - 0*f + 1176. Is b a multiple of 11?
False
Let m = 297 + 64. Is m a multiple of 13?
False
Suppose -2*a = -5*w - 4*a - 11, w + 5 = a. Let s = 7 + w. Let l = 6 + s. Does 10 divide l?
True
Let c(t) = 8 - 6 + 15 - 2*t - 22*t + 2*t**2. Does 25 divide c(15)?
False
Suppose -131 - 53 = -4*h. Suppose -5*g = 2*y - 106, 4*g = y + 136 - h. Is g a multiple of 22?
True
Let h = -28 - -51. Suppose 13*a = 27*a + 154. Let s = a + h. Is s a multiple of 5?
False
Let a(g) = -2*g**3 + 16*g**2 - 7*g - 9. Does 28 divide a(6)?
False
Does 3 divide (0 + 0 - 5/10)*-26?
False
Suppose i + 3 = 0, -3*w - i = -43 - 8. Suppose 0*s = 4*s - 5*k + 4, -2*s = 5*k + 2. Is 6 a factor of s/(-1 - w/(-21))?
False
Let b(s) = 62*s + 46. Is b(2) a multiple of 34?
True
Let g(n) = n**3 - 6*n**2 + 4*n + 4. Let j be g(6). Does 12 divide -36*(4 + j