42 a factor of h?
False
Let n(c) = -11*c - 10. Let o be n(-7). Let h = o + -29. Suppose g + h = -4*r + 153, -3*g + 270 = -3*r. Is 19 a factor of g?
True
Let w(v) = -3*v + 56. Let b be w(21). Let o(r) be the third derivative of r**6/120 + 3*r**5/20 + 7*r**3/6 - r**2. Does 32 divide o(b)?
False
Let g(t) = -2*t**2 - 5*t - 5. Let h be g(-5). Let b be (h/15)/(4/(-10)). Suppose -b*w + 3*m + 312 = 0, 5*w - 316 = 4*m - 5*m. Is 9 a factor of w?
True
Suppose -12*r - 3*q = -11*r - 366, -q = -3*r + 1068. Suppose -394 = 3*a - a. Let o = a + r. Is 11 a factor of o?
False
Let l be 1 + 3 + -4 + 5. Suppose -3*a = -1093 - 788. Suppose 5*n = h + 623, 0*h = l*n + h - a. Does 25 divide n?
True
Let t(u) = -u**3 + 10*u**2 + 4*u - 12. Let y be t(10). Suppose -4*p = c - 22, 4*p - 6*c - y = -4*c. Suppose -p*s + 580 = 226. Does 4 divide s?
False
Suppose 0 = 53*j - 2822 + 172. Suppose -j*a = -44*a - 3762. Is 16 a factor of a?
False
Suppose 0 = -37*w - 0*w + 3534 + 2053. Does 14 divide w?
False
Suppose -1994*m + 4438616 = -1812*m. Is 84 a factor of m?
False
Is 11 a factor of (-2)/(-18)*4*(40 - 1512286/(-68))?
False
Suppose -2*j + 15*k - 16*k = 45, 3*k = -3*j - 63. Does 4 divide 67 + j - 2*-1?
False
Suppose 36*s = 128*s + 34*s - 1890. Is 4 a factor of s?
False
Suppose 4554 = -147*v + 165*v. Is 11 a factor of v?
True
Let q(w) = 70*w - 66. Let s(y) = -1. Let z(n) = q(n) - 8*s(n). Is 43 a factor of z(7)?
False
Let b(y) = 976*y - 1936. Is 104 a factor of b(12)?
True
Let d(a) be the third derivative of a**5/60 - a**4/4 - 31*a**3/6 - 2*a**2 + 28*a. Does 37 divide d(18)?
True
Let v = 52 + -12. Suppose -5*f + 5*t - 110 = 2*t, -3*t - v = f. Let a = 113 + f. Is a a multiple of 11?
True
Does 132 divide 4 - (35367/(-7) - 104/182)?
False
Let k(v) = -7*v - 22. Let c be k(5). Let p = 156 + c. Is 7 a factor of p?
False
Let n(i) = -i - 1. Let z(x) = -30*x - 33. Let a(v) = -54*n(v) + 2*z(v). Let g be a(0). Does 5 divide g/(-9)*(0 + -3)*-5?
True
Suppose -234*z - 224*z = -12719118. Is z a multiple of 13?
False
Let v(h) = 4 + 9 + 9 + h - 7. Suppose 0 = 5*w + 4*m + 13, w + m = -w - 7. Is v(w) a multiple of 10?
True
Suppose -231 + 999 = q - 4*c, 4*q - 2981 = 3*c. Is q a multiple of 185?
True
Suppose 102*k + 90514 = 106*k + s, 5*k - 113105 = 5*s. Is 121 a factor of k?
True
Let t be -7 + (-224)/(-104) - 4/26. Does 16 divide (-480)/t*8/3?
True
Suppose 5*p - 3623 + 1367 = -2*c, -3*p = 0. Suppose -x + 368 = 5*n, x + 3*n = -2*x + c. Is x a multiple of 27?
True
Let v(m) = m**3 + 18*m**2 - 3*m - 44. Let n be v(-18). Let f(o) = -o**3 + 9*o**2 - 8*o - 12. Let s be f(n). Let a = s + 314. Does 18 divide a?
False
Let z(q) = -q**3 + 11*q**2 - 5*q + 35. Let m be z(11). Let h be (-8)/m*25/10. Does 14 divide (-1)/(h/(-112))*(-10)/(-10)?
True
Does 16 divide ((-146)/6)/((-28)/(-126))*64/(-6)?
True
Suppose 0 = -2*c + 4*u + 28, 0 = -3*c + 4*c - 4*u - 24. Suppose -614 + 1610 = c*d. Does 4 divide d?
False
Suppose 191*i - 126346 = 577429 - 135550. Does 25 divide i?
True
Let a(l) be the first derivative of -l**2/2 + 9*l - 14. Let s be a(6). Suppose 3*r - 2*f = 319, 0*r - 2*r = -s*f - 216. Is r a multiple of 15?
True
Let n(d) = 105*d**3 + 5*d**2 - 4*d - 1. Let l be (4/(-6))/(-4*1/6). Is n(l) a multiple of 21?
True
Suppose 19 = 3*k + 3*b - 2, -16 = -4*k + 2*b. Suppose -96 - 209 = -k*i. Suppose j - 71 = 2*x + i, -2*x = j - 136. Is j a multiple of 10?
False
Let o(b) = 3*b + 45. Let t be o(-21). Let l be (t/12)/(1/102). Let x = l - -221. Does 7 divide x?
False
Suppose -6*n - 2*n = -344. Suppose -n*o - 36 = -37*o. Let j = 44 - o. Is 43 a factor of j?
False
Let x(l) = 65*l + 1803. Is x(53) a multiple of 32?
True
Let m = 110 + -106. Suppose -m*s = -11*s - 84. Let x(l) = 3*l**2 + 36*l + 10. Is x(s) a multiple of 5?
True
Let n = 4 - 28. Let w(u) = 74*u**3 + 13*u**2 - 13*u + 1. Let o be w(1). Let h = o - n. Is h a multiple of 17?
False
Is (-6 - 0) + 5530 + 6 + -8 a multiple of 11?
True
Let q be (-76)/(-14) + (121/77 - 2). Is 11 a factor of ((-280)/(-25))/14 + 776/q?
False
Let h(t) = -9*t**3 + 11*t**2 + 11*t + 6. Let z(l) = 5*l**3 - 6*l**2 - 6*l - 3. Let k(y) = -6*h(y) - 11*z(y). Let d = 720 + -723. Does 6 divide k(d)?
True
Let f be -10 + 2638 + -3 + 4. Let o = f - 1344. Does 37 divide o?
False
Let h(m) = m**2 + 3*m + 1. Let b be h(-4). Suppose -148 = -b*u + 632. Suppose 2*l - 4 = -2*d + 52, -5*l = d - u. Is l a multiple of 4?
True
Suppose 4*j + 21 = -19. Suppose 2*n + 3*h + 136 = 0, 9*h = 6*h. Is 11 a factor of (4 + 75/j)*n/2?
False
Suppose -5*i - 8 = -43. Let n(d) = -d**2 + 8*d - 2. Let y be n(i). Suppose w + 44 = y*w. Does 3 divide w?
False
Suppose -115*y = -182*y + 914952. Is 121 a factor of y?
False
Let g(i) = 699*i**2 - 3402*i - 4. Is 75 a factor of g(6)?
False
Let i(f) = 7*f**2 + 23*f + 8. Let n(h) = 11*h**2 + 34*h + 11. Let q(y) = 8*i(y) - 5*n(y). Let p be q(-16). Suppose -45*o + p*o = -304. Is o a multiple of 35?
False
Let p = 6243 - -2877. Is 57 a factor of p?
True
Let g(b) be the first derivative of 64*b**3/3 - b**2/2 - 10*b - 180. Is 95 a factor of g(5)?
False
Let j(x) = 4*x**3 - 56*x**2 + 15*x - 24. Is 54 a factor of j(16)?
False
Let r(i) be the second derivative of -i**5/20 + i**4 + i**3/2 - 3*i**2/2 + 148*i. Suppose -24 = -2*h - 0. Does 21 divide r(h)?
False
Suppose -87 = -5*n + 2*l, 9 + 14 = n + l. Let u(q) = 9*q**2 - q. Let k be u(-2). Let v = k - n. Does 3 divide v?
False
Let k(v) = 1641*v**2 + 13*v - 2. Is 12 a factor of k(2)?
True
Let p(w) = -15*w + 697. Does 46 divide p(-21)?
True
Let m = -68490 + 107548. Is 59 a factor of m?
True
Let t(p) = 36*p**2 + 37*p - 305. Does 100 divide t(6)?
False
Suppose -292 = 17*t + 473. Let a = 659 - t. Is 64 a factor of a?
True
Let v(l) be the first derivative of 4*l**2 - 24*l + 9. Let f be v(0). Is f/(-56) + -3*428/(-42) a multiple of 31?
True
Let i = 1014 - 3532. Let p = i - -3678. Is p a multiple of 40?
True
Let z(g) = 4*g - 15. Let f be z(3). Is 54 a factor of 2 - (f - 6 - 51)?
False
Let h = -49 - -47. Let n be 1430/117 - (h + 20/9). Suppose 5*j = -10, -4*b + n = -0*b - 2*j. Does 2 divide b?
True
Let z = -203 + 2242. Does 71 divide z?
False
Let c be 27/18*1/(3/(-4)). Let w be 3/(-2) + (-207)/c. Is 17 a factor of ((-1)/((-15)/w))/(2/20)?
True
Let v(u) = 3*u**2 - 11*u + 9. Let a be 0 + (1 - 4) - -4*2. Suppose -j = -c + 10 - 2, -a*j = 2*c + 12. Is 13 a factor of v(c)?
True
Suppose -6*h + 2469 = -4599. Does 4 divide h/7 - -4*(-4)/56?
True
Suppose 0 = 2*n - 93 + 63. Suppose -5*j = -n, -5*g + 786 = -2*j - 3008. Is 20 a factor of g?
True
Suppose 37*i + 8967 = 30*i. Let v = -325 - i. Is v a multiple of 15?
False
Let j(w) = 2*w**2 - 31*w - 48. Does 20 divide j(-14)?
False
Let k(p) = 2234*p - 103. Let x be k(4). Suppose -x = -5*n + v, -5*n + 12*v = 14*v - 8839. Does 31 divide n?
True
Let a(z) = z**3 - 10*z. Let v be a(3). Does 20 divide -2 - (2 + -234) - v?
False
Suppose -5*x - 28 = -2*h + 2, -3*x = 12. Suppose -4*i - 370 = -2*f, i + i + 933 = h*f. Let p = f + -81. Does 15 divide p?
False
Suppose -v = m - 168, 677 = -4*m + 3*v + 1377. Does 9 divide m?
False
Is 27 a factor of (-548464)/(-168) - ((-52)/(-60) + (-2)/10)?
False
Suppose -18*v + 20*v - 24 = 0. Suppose v*h = 11*h + 82. Suppose 5*s = 28 + h. Is s a multiple of 12?
False
Let n(p) = 63*p**2 - 2*p + 2. Suppose -4*v = -10 - 14. Suppose -3*h + v*h + 13 = -4*b, b = -5*h + 1. Is 10 a factor of n(h)?
False
Let r = 1 - -6. Let h(b) = 7*b**2 - 6*b + 11. Let t(p) = 7*p**2 - 5*p + 10. Let q(u) = r*t(u) - 6*h(u). Is q(4) a multiple of 17?
False
Let g(p) = -12*p + 186. Let q be g(15). Let z = 122 + 503. Suppose z = q*d + 193. Does 24 divide d?
True
Let f(t) be the third derivative of 4*t**5/15 + 5*t**4/24 + t**2 - 2*t. Does 59 divide f(5)?
False
Let w(u) = u**3 - 4*u**2 - u - 10. Let s be w(5). Let n(y) = 8*y**2 + 8*y**2 + y + 3 - s*y**2. Is n(-2) a multiple of 13?
False
Suppose 0 = 3*g - 6*g + 3. Let w be (8 - 4) + g + 0 + -2. Suppose 0*m + w*m = -5*x + 112, 2*x = m - 52. Is 10 a factor of m?
False
Let v be (0/(-4))/(-6) + 3. Suppose -v*g + 35 + 160 = 0. Is g a multiple of 18?
False
Suppose 0 = 2*r + 60 - 60. Suppose r = 58*t - 57*t. Suppose 785 = 5*z - 4*l - l, -5*z + 2*l + 791 = t. Does 17 divide z?
False
Suppose -13*k = -16*k + 216. Suppose 73*z + 2 = k*z. Is 3 a factor of 27 + z - -2 - 0?
True
Suppose 0 = 2*y + 2*r - 27464, 113*y 