. Is h a multiple of 44?
False
Let k(x) = -x**3 + 3*x**2 + 3*x - 1. Let j be k(3). Let u(y) = 2*y - 16. Let p be u(j). Is (1 - 5 - p)*(-2 + 1) a multiple of 2?
True
Let a = -3 + 18. Let l(x) be the first derivative of x**4/4 - 5*x**3 + 3*x**2/2 - 28*x + 39. Does 17 divide l(a)?
True
Suppose 12*q - 12055 + 12580 = 47829. Does 18 divide q?
True
Let q be (-48)/2*(1 - 0). Is 13 a factor of (q/(-18))/(-2) + 748/6?
False
Let m be (-5)/(-30) + 85/30. Suppose m*k = 1182 + 6. Does 36 divide k?
True
Suppose 4*d + 2132 - 7891 = -3*w, -10*d + 2*w + 14426 = 0. Is 5 a factor of d?
False
Suppose 141*g - 422141 = -18*g - 110501. Is g a multiple of 3?
False
Suppose -3*x - x = -4*s + 7672, 0 = 5*s + 5*x - 9560. Let m = -1332 + s. Let j = m + -367. Is 36 a factor of j?
True
Let z(g) = 3*g - 20. Let o be z(7). Let q = o + 14. Suppose -p + q = -37. Is p a multiple of 4?
True
Suppose -2*c = 2*l - 2, 3*l - l = 3*c - 3. Let h be 9/(-6)*(-2 - 4). Suppose l = 7*u + h - 51. Is u a multiple of 2?
True
Suppose 480*j - 236*j - 414834 = 193*j. Does 14 divide j?
True
Suppose 3*b = 4*u + 19 - 1, 5*b + 2*u - 56 = 0. Suppose 625 = 2*s + y, -15*y - 25 = -b*y. Is s a multiple of 45?
True
Suppose 5*j = -208*g + 212*g - 94230, -g = -5*j - 23580. Does 10 divide g?
True
Is 18 a factor of ((-1542)/(-2))/((-22)/(28 + -160))?
True
Suppose 11*n - q = 16*n - 11280, 3*q = 2*n - 4512. Suppose -8*p + n = -1776. Is 28 a factor of p?
True
Let v(o) = -2*o - 36. Let a be v(-13). Let u be -5 - -7 - a/(-2). Does 10 divide (u/(-2) + 1)/((-16)/(-160))?
False
Suppose -3*y - 9 = -2*s, -3*s = -2*s + 3*y + 9. Suppose -2*f + 142 = -4*l, 152 = 2*f - s*l + l. Is f a multiple of 13?
False
Let c(h) = 2*h**3 + 17*h**2 - 5*h - 9. Let n be c(-6). Suppose -x + 6*x - 965 = -5*u, x - n = 3*u. Is 15 a factor of x?
True
Suppose 144*k = 137*k + 31885. Is 9 a factor of k?
False
Let n(z) = -4*z - 34. Let a be n(8). Let c be (a/88)/((-1)/4). Is 12 a factor of 1 + c - (-33 - -1)?
True
Let m = 77 + -75. Let b(r) = 50*r**3 - r**2 - 3*r. Is 26 a factor of b(m)?
True
Let t(w) = -w**3 - 25*w**2 - 8*w - 68. Let f be t(-25). Suppose -j + f - 44 = q, 0 = -q + 2*j + 94. Is 6 a factor of q?
True
Is 16 a factor of 65966/26 - 2*((-12)/6)/(-26)?
False
Let g(l) = -l - 13. Let b be g(-17). Suppose 3*x - 26 = -5*v, -b*v + 8*v - 22 = -3*x. Suppose 0 = -2*d - x*h + 14, -6*h + h - 25 = 0. Is 3 a factor of d?
True
Suppose 5*k + 817 = 2*u - 381, -2*u - 5*k + 1158 = 0. Let h = u - 178. Does 65 divide h?
False
Suppose 236*l - 249369 = 207527. Does 57 divide l?
False
Let r be (-9 - 7)*3/(-6)*1. Let v = -27 - r. Let i = v + 159. Does 7 divide i?
False
Let f be 219/(-13) - 6/39. Let l = 17 + f. Suppose -u + 5*b + 52 = 0, l = b - 3*b. Is u a multiple of 9?
False
Let q(h) = 1039*h + 2058. Is q(12) a multiple of 54?
True
Let t = -359 - -427. Suppose -14*g + t*g - 21006 = 0. Is g a multiple of 41?
False
Suppose -2*f + 38750 = a, -5*a + 17646 + 1729 = f. Does 15 divide f?
False
Let w(u) = u**3 - 2*u**2 - 9*u + 5. Let i be w(8). Let j = i + -255. Is 14 a factor of j?
False
Suppose -471*y - 2038608 = -614*y. Is y a multiple of 12?
True
Let j be (-18)/(-3) + -3 + 742. Let z = -294 + j. Is 41 a factor of z?
True
Let f = 199 - -515. Suppose 0 = 4*w - j + 2862, -j = w - 2*w - f. Does 15 divide (-2)/(-6) + 4/((-48)/w)?
True
Let u(a) = -2*a + 12. Let l be u(4). Let n be 4 + (0 - l) + 120. Let y = -46 + n. Is 27 a factor of y?
False
Suppose 2*c - 2 = 3*c. Suppose 19 = 3*j - 5*d - 26, -3*d - 11 = -j. Is (25/(-10))/(c/j) a multiple of 8?
False
Suppose -3*d - 4 = a, 2*a - 2*d = a + 6. Is 9 a factor of (1911/(-14) - 8)*a/(-1)?
False
Let j = -36 + 31. Let l be j/((-80)/4) + (-285)/(-12). Suppose 0 = -18*h + l*h - 852. Is h a multiple of 20?
False
Let n(b) = -467*b**2 - 4*b - 4. Let s be n(-1). Let o = 149 - s. Does 14 divide o?
True
Let t(o) = 2*o**3 + 5*o**2 + 3*o + 5. Let b be t(-2). Suppose -3*d - i = -1551, -d + b*i + 220 + 287 = 0. Does 12 divide d?
True
Let r(i) = -2*i**3 + i. Let g be r(-1). Let p be g + -6 + 1 - -4. Suppose p*q - 176 = -4*q. Does 22 divide q?
True
Let c = 18139 + 1022. Is 73 a factor of c?
False
Let h be 1/(((-6)/9)/(0 - 2)). Suppose 0*u - r = -h*u + 263, 0 = 3*u - 2*r - 262. Let q = u + -50. Is q a multiple of 19?
True
Let f be 145/2 + 1/(-2). Suppose -30*c = -31*c + 3. Is ((-2)/c)/((-4)/f) a multiple of 3?
True
Let r be (29 - 5)/(-6)*28. Let m = -105 - r. Is 2/m - 236/(-7) even?
True
Let z be 30/4 - 6/(-4). Suppose -4*g + 1760 = 5*t - z*g, -708 = -2*t - 2*g. Is 59 a factor of t + (-1 + 0)*(-1)/1?
True
Let y = -16432 - -28605. Is y a multiple of 13?
False
Suppose -88*w + 17*w = 45*w - 449616. Does 14 divide w?
False
Suppose -6*t = -7 - 5. Let f(b) = -b - 24 + b**t - 10 + 9. Does 36 divide f(11)?
False
Let b(r) = -9*r**2 + 64*r - 1. Let l be b(7). Does 17 divide (1 + 2)*(283 + l - 0)?
True
Does 14 divide (-9)/(135/6700)*(-630)/75?
True
Let k(b) = 3 + 163*b - 31*b + 71*b - 10. Is 10 a factor of k(2)?
False
Let x(u) = u**3 + 6*u**2 - 9*u + 9. Let z be (5/5)/((-1)/7). Let w be x(z). Let f = w - 7. Does 10 divide f?
False
Let h = 30 + -26. Let k(t) be the first derivative of t**4/2 - t**3 - t**2 - 7*t - 36. Is 18 a factor of k(h)?
False
Let y = -15 + 21. Suppose 3*z - 5*d - 2 = y*z, 0 = -4*z + 4*d + 40. Suppose z*m = 12 + 204. Does 12 divide m?
True
Let x be -2*(95/2 - (2 - -2)). Let w = -23 - x. Suppose -13 = -l + w. Does 11 divide l?
True
Suppose -2655 - 3456 = -q - 2*n, 0 = 2*n + 12. Does 11 divide q?
False
Suppose -5*n + 6 = 16, c - 31120 = -5*n. Is 14/(-4)*c/(-385) a multiple of 5?
False
Let a = 2 + 6. Suppose -h - 3 = -a. Suppose -3*s = -u + h, 5 = 3*u + s - 0*s. Does 2 divide u?
True
Suppose 1520*h = 1518*h + 89536. Does 53 divide h?
False
Suppose 9*k = 12*k + 180. Let n be 8/(-1)*(-5)/k*15. Is 106/4 - (3 - n/(-4)) a multiple of 6?
False
Let o be (-245)/(-126) + 6/108. Suppose o*p + 60 = 394. Does 8 divide p?
False
Let t = 12574 - 9748. Is 78 a factor of t?
False
Let j be 3/(-12) + 75/(-20). Let m be 11/3 - j/(-6). Suppose m*t - 42 = -3*f, 2*f - 4*f + 23 = -3*t. Is f a multiple of 2?
False
Let q be 71052*4*(-7)/(-42). Suppose 50*y - q + 5068 = 0. Does 47 divide y?
True
Suppose 6 = -w + 4*p + 40, -1 = p. Suppose 0*r - 4*r = 0, -w = -2*j + 5*r. Is j a multiple of 2?
False
Let j = -47049 + 86264. Is j a multiple of 55?
True
Let t = 87 - 83. Suppose -4*g + 0*o + 3*o = -86, -t*o = -g + 28. Suppose -300 = 16*d - g*d. Is 8 a factor of d?
False
Let y(j) = 2*j + 18 + 7 - 3 + 0*j. Let b be (-1)/(2/6) + -2. Is y(b) a multiple of 6?
True
Does 120 divide 609800/24 + ((-8)/12)/((-2)/(-1))?
False
Let m be ((-1)/(-3))/((-2)/(-24)). Let y(s) = -16*s**2 + 11*s - 34. Let h(t) = 3*t**2 - 2*t + 7. Let a(g) = 11*h(g) + 2*y(g). Does 9 divide a(m)?
False
Let h(v) be the second derivative of -v**5/20 - 3*v**4/4 + 4*v**3/3 - 4*v**2 + v. Let w = 341 - 351. Is 5 a factor of h(w)?
False
Let g be 17/(-85)*0/4. Let p be -1 - (-5 - 1/(-1)). Suppose -o + 2*c - 8 = -46, -p*o + 2*c + 114 = g. Is o a multiple of 14?
False
Let k(r) = -36*r**3 - r**2 + 1. Let s be k(2). Let u = 473 + s. Is 13 a factor of u?
True
Suppose 0*c + 210 = 2*c - j, 2*j - 308 = -3*c. Is 135/(-6)*c/(-12) a multiple of 5?
True
Let s(y) = 94*y**2 - 5*y + 5. Let a(h) = h - 8. Let f be a(9). Let b be s(f). Let x = 131 - b. Is 35 a factor of x?
False
Let l(f) be the first derivative of -32 + 3/4*f**4 - f**3 + 0*f**2 + 4*f. Does 6 divide l(3)?
False
Is 6 a factor of ((-10)/(-4))/((1035/(-37692))/(-23))?
True
Let z(j) = 101*j**3 + j**2 + 2*j - 2. Let r be ((-147)/9)/(-1 - (-10)/12). Let p = 99 - r. Does 51 divide z(p)?
True
Let m be 1/((-1)/1926)*10/(-10). Suppose 4*p + 0*p - m = -2*o, 1443 = 3*p + o. Is p a multiple of 21?
False
Let n = 20 - 4. Let o(u) be the first derivative of -u**4/4 + 17*u**3/3 - 15*u**2/2 + 5*u + 634. Is o(n) a multiple of 16?
False
Suppose -q = -3, -4*q = 3*k - 6*k + 885. Let r = k - 104. Does 39 divide r?
True
Suppose -4*o + 2*o - 84 = 0. Let f = -38 - o. Suppose 0*q + f*q = 248. Is 7 a factor of q?
False
Let p be (8/16)/((-3)/(-36)). Suppose 9*n - p*n = 369. Suppose n + 89 = u. Does 34 divide u?
False
Suppose 2*l + 8 = 6*l. Suppose 0 = -l*f - 2*v - 12, 3*f + 0*v = 2*v + 2. Is 2 + (-3 - (-22 + 6/f)) a multiple of 6?
True
Let i(k) = k**3 - 2*k**2 - k - 2. Let w be i(-9). Let d =