or of n?
False
Let t = -151 + 151. Suppose -15*k + 730 + 710 = t. Is 16 a factor of k?
True
Suppose 25*i - 29896 = -12*i. Is 13 a factor of i?
False
Let v(q) = -8*q**2 - 37*q + 18. Let d be v(-20). Is (-1)/((14/21)/(d/9)) a multiple of 42?
False
Suppose x = -2*p + 25879, -175*p - 4*x = -179*p + 51716. Is 8 a factor of p?
True
Is 68 a factor of ((-249)/(-332))/((-1)/8) - -5446?
True
Let z(h) = -20 - 469*h**2 - 75*h - 480*h**2 + 957*h**2. Is z(-8) a multiple of 91?
True
Suppose 3507 - 39015 = -41*i + 61375. Is 113 a factor of i?
False
Suppose 0 = 5*t + 4*u - 2, 5*u = 2*t - 5*t - 4. Suppose 4*p - 1652 = -t*y + 788, -5*y = p - 592. Is p a multiple of 9?
True
Let v(u) = -17*u + 75. Let z(l) = 16*l - 77. Let i(o) = -5*v(o) - 4*z(o). Is i(8) a multiple of 10?
False
Let j = -304 + 10564. Does 18 divide j?
True
Let l = 148 - -209. Let t = l - 757. Is (t/(-30))/(4/6) a multiple of 2?
True
Suppose 4512 = -14780*b + 14781*b. Does 141 divide b?
True
Let k = 2 + 30. Let x = k + -7. Let p = -14 + x. Is p a multiple of 4?
False
Suppose -211*b + 113827 + 276948 = 99595. Does 7 divide b?
False
Let i = -871 - -868. Is 36 a factor of (7/((-245)/2700))/(i/14)?
True
Suppose -3*b + 15 = 0, -p - 3*b = -7 - 35. Suppose 4*h - 57 - p = 0. Is 14 a factor of (-410)/(-14) - ((-57)/h - -3)?
False
Suppose 0 = -11*u - 2*p + 3104, -u - 3*p + 1413 = 4*u. Does 141 divide u?
True
Let p = 10 + -66. Let q = p + 72. Is 13 a factor of (12/q)/((-2)/(-288))?
False
Does 143 divide (15033084/(-2562))/(1 + (-18)/14)?
False
Suppose 0 = 4*b - 9*b + 17340. Suppose -b = -4*c + 5*i - 0*i, 0 = -2*c + i + 1740. Does 37 divide 2 + (c/6 - (-2)/3)?
True
Let o(l) = -2*l - 17. Let v(n) = n + 18. Let p(z) = 3*o(z) + 4*v(z). Let r be p(9). Suppose 5*x = 4*y - 74, y + 0*x + r*x = 10. Does 4 divide y?
True
Let z(b) = -7*b**3 + 2*b**2 - 6*b - 7. Let w be z(-4). Suppose 4 = -2*c + 5*p + 247, 0 = 4*c + p - w. Let i = c + 60. Does 46 divide i?
True
Let u(y) = -3*y**2 - 70*y - 14. Let h be u(-23). Is ((-6)/h + 3)/(1/66) a multiple of 22?
True
Let j(u) = -43 + 24 - 14*u + 30. Is 15 a factor of j(-11)?
True
Let g = 541 - 856. Let v = g + 347. Does 2 divide v?
True
Let i be (-4)/(-18) - 276/27. Let a = -1410 - -1396. Is 90/i*(a - -1) a multiple of 9?
True
Let x = 3993 + -3413. Is x a multiple of 58?
True
Let a(q) = 92*q**2 - 702*q + 11731. Is 15 a factor of a(17)?
True
Let i = 3979 + 713. Is 4 a factor of i?
True
Let g(t) = 62*t**2 - 85*t + 1. Is 13 a factor of g(7)?
True
Let t = 86507 + -45675. Is t a multiple of 16?
True
Suppose 24557 = 5*z + t, -796*t + 795*t = 4*z - 19645. Does 8 divide z?
True
Suppose 32*z = 34*z + 1560. Does 10 divide (20/(-6))/(10/z)?
True
Suppose 2*o = 8*o - 546. Let l(p) = 4*p - 6. Let m be l(2). Suppose o = 2*y + s - 6*s, m*y = -3*s + 99. Is 16 a factor of y?
True
Let c(d) = 3*d**2 - 256*d - 5600. Is 20 a factor of c(112)?
True
Suppose -32 = -2*a - 44, 2*u - 19048 = 4*a. Is u a multiple of 10?
False
Suppose 33*w = 39*w - 48. Suppose w*v - 110 = 50. Does 10 divide (5/(60/(-234)))/((-3)/v)?
True
Let a be (-21)/(34/(-28) - (-8)/(-28)). Let w(h) = h**2 + 12*h + 52. Is 32 a factor of w(a)?
True
Let z(f) = 1863*f - 8365. Is z(21) a multiple of 13?
True
Suppose 19 + 17 = 12*h. Suppose -h*r + 7*r - 586 = -3*m, m - 202 = -3*r. Is 19 a factor of m?
True
Let g(j) = -j**2 + 2*j - 24. Let y be g(-11). Let w = y + 291. Is 22 a factor of w?
False
Suppose 40*j - 207100 = 110860. Does 9 divide j?
False
Let p(b) = -6*b**2 + 12*b + 11837. Is p(0) a multiple of 89?
True
Let y(q) = -3*q - 51. Let a(s) = 11*s + 16. Let l be a(-3). Let m be y(l). Let b(t) = 2*t + 63. Is 4 a factor of b(m)?
False
Let w(m) = -m**2 - 10*m + 3. Let l(y) = 3*y**2 + 21*y - 5. Let q(j) = 2*l(j) + 5*w(j). Let d be q(7). Is d/(-1 + 2/4) even?
True
Let c be ((-3)/12)/(((-7)/8)/7). Suppose -6406 = -4*l + c*k, 0 = -2*l + 3*k - 4*k + 3197. Does 34 divide l?
False
Let b = 1148 + 662. Does 11 divide b?
False
Is 19 a factor of -3 + 759160/15 - 7*(-14)/(-147)?
False
Suppose 2*y - 16 = -4*g, 4*y - 6 = 2. Suppose -5*l + g*b = -493, -4*b - b = 4*l - 424. Suppose -l = 4*d - 481. Is 15 a factor of d?
False
Suppose -4*j + 2*j + 5*f = -3, 3*j = -2*f + 14. Suppose j*i = 12, 5*s + 3*i - 12 + 38 = 0. Is 9 a factor of 10 - s - 0/(-3)?
False
Let b(h) = 2*h**3 - 5*h**2 - 9*h. Suppose 4*n - 27 = 5*j - 3, -18 = -3*n + 2*j. Is b(n) a multiple of 11?
True
Let r = 1649 - 899. Is 25 a factor of ((-630)/(-75))/(9/r)?
True
Let k(s) = 1195*s + 32. Is k(2) a multiple of 118?
False
Let d(u) = 2*u**3 + 31*u**2 + 64*u - 1. Is d(-12) a multiple of 62?
False
Suppose 0 = o + 3*p + 955, 5*o + 10*p - 8*p = -4827. Let v = -507 - o. Is 33 a factor of v?
False
Let x(n) = 4*n**3 + 11 - 3*n**2 + 3*n**3 - 3*n - 8*n**3. Does 19 divide x(-5)?
True
Let i(r) = 105*r**2 + 555*r - 9. Is i(8) a multiple of 59?
True
Let u be (4/10)/((-17)/(-8500)). Suppose -200 = -v - y, -v - 2*y + 7*y + u = 0. Suppose 0 = 7*d - 9*d + v. Is d a multiple of 33?
False
Let d(b) = -2*b + 17. Suppose -10*k + 40 = -10. Let q be d(k). Suppose -2*f + 2*y = -30, -4*y - 75 = 2*f - q*f. Does 2 divide f?
False
Let b(r) = -8*r**2 - 15*r + 3. Let a = -67 - -64. Let g(k) = -23*k**2 - 45*k + 10. Let u(j) = a*g(j) + 8*b(j). Is u(-5) a multiple of 16?
False
Let o(y) = -y**2 + y + 2. Let f be o(2). Let j be (4 + (-7)/(-6)*-4)/(7/(-273)). Suppose f = -2*u + 18 + j. Is u a multiple of 11?
True
Let d(i) = -3*i + 30. Let g be d(14). Let o(w) = w**2 - w + 1. Let k(j) = j**2 - 13*j - 7. Let r(c) = -k(c) + 2*o(c). Is 15 a factor of r(g)?
False
Let w(h) = 413*h - 212*h - 75 - 206*h + 2*h**2. Is w(-31) a multiple of 77?
True
Let y be -65*1 + (-2)/(-2). Let b = 704 + -556. Let z = b + y. Does 11 divide z?
False
Suppose -u - 17 = -4*m + 2*u, 5*m - 3*u - 19 = 0. Let g(f) = -6*f**3 + 2*f - 1. Let j be g(m). Let l = -39 - j. Is l a multiple of 2?
True
Let r be (-4)/(-10) + (-3)/(-5). Let o be (8/(-18))/(274/1233). Is (5 - o/(-6)) + r/3 a multiple of 2?
False
Let h(p) = 71*p + 8275. Is 67 a factor of h(25)?
True
Let o(r) = -2*r**2 - 25*r - 9. Let m be o(-10). Suppose 5017 = m*i + 753. Does 3 divide i?
False
Let y be (-117707)/217 + 4/(-7). Let x = y + 877. Does 8 divide x?
False
Let b(p) be the second derivative of p**4/6 - p**3/3 - 23*p**2/2 - 32*p. Is b(5) even?
False
Let q = 510 + -336. Suppose q = 2*k - 2*d, 0 = -5*k - d + 236 + 211. Is k a multiple of 14?
False
Let a(q) = -5*q - 5*q + 1 - 6*q. Let r = 802 - 810. Is 43 a factor of a(r)?
True
Let s(p) = 2*p - 6. Let c be s(3). Suppose -2*j + g + 71 = 0, -4*g - 56 = -c*j - 2*j. Let q = 47 - j. Is q even?
False
Let q(i) = -3*i**2 + 18*i - 11. Let p be q(5). Suppose -j - n = -147, -16*n = -14*n - p. Is j a multiple of 20?
False
Let h(l) = -4*l**3 + 9*l**2 - 2*l + 6. Let u(a) = -7*a**3 + 18*a**2 - 6*a + 11. Let v(q) = 5*h(q) - 3*u(q). Is v(11) a multiple of 22?
False
Is -1*(-4 - 13/(-2)) + (-4270)/(-28) a multiple of 15?
True
Let s(a) = -a**3 + 28*a**2 + 30*a - 36. Let m be s(29). Is 24 a factor of (-2)/14*m + 350?
False
Suppose 28*n + 23469 = 70892 + 90281. Does 48 divide n?
False
Suppose 66*l - 472584 = -21*l. Does 89 divide l?
False
Let a(i) be the first derivative of 8*i**3/3 + 8*i**2 - 29*i + 96. Is 7 a factor of a(2)?
True
Suppose 2996 = 10*g - 1014. Let p = 441 - g. Does 10 divide p?
True
Let a be ((-1)/(-1))/1 + 271. Let y be (-2 - -536) + (2 - -9). Let g = y - a. Is 29 a factor of g?
False
Suppose -2*m - 2*c + 166 = 0, 26*c + 151 = 2*m + 25*c. Suppose 0 = 72*u - m*u + 1680. Is u a multiple of 70?
True
Let s(q) = 4*q**3 - 9*q**2 - 62*q + 865. Is 9 a factor of s(13)?
True
Suppose -19*u + 38*u - 15816 = 13*u. Does 10 divide u?
False
Suppose 118*u + 149*u - 2068716 = 0. Is 252 a factor of u?
False
Suppose 17*j = -7221 + 25241. Does 9 divide j?
False
Suppose 0 = -6*c + 11 + 61. Suppose -2*h - h = -c, -26 = -g - 5*h. Is 23 a factor of 26 - g/(1 + 1)?
True
Suppose 23 = 3*n - 508. Suppose -z - n = -940. Is z a multiple of 109?
True
Let u = -23 + 26. Let y(g) = 9*g + 0*g**u + g**3 - 24*g**2 - 9 + 18*g**2. Is 6 a factor of y(5)?
False
Suppose 3*j = -4*w + 237302, -2*w - 17*j = -12*j - 118672. Does 137 divide w?
True
Suppose 3*y - 26219 = -c, 0 = 5*y + 3 - 18. Is 10 a factor of c?
True
Suppose 35*j + 89262 = 62*j. Does 9 divide j?
False
Let q = 20316 + -11709. Is q a multiple of 31?
