5 = 2*h, 4*h - l = 515. Is 19 a factor of h?
False
Let c(k) = -k**2 - 6*k - 4. Let p be c(-4). Suppose p*r - 3*r = 2. Let n(j) = 7*j**3 - 4*j**2 + 2*j + 1. Is 15 a factor of n(r)?
True
Let w(y) = -40*y**3 - y**2 - 23*y - 72. Does 15 divide w(-6)?
True
Let m(a) be the second derivative of 28*a**3/3 - 18*a. Let h(y) = y + 1. Let o be h(0). Is 14 a factor of m(o)?
True
Suppose 37*c - 295858 - 93102 = -7*c. Does 13 divide c?
True
Is ((2/(-6))/(12/(-143784)))/(-2 + 3) a multiple of 39?
False
Let l = -222 + 230. Let q(m) = 6*m + 20. Is q(l) a multiple of 2?
True
Let p be ((-63)/14 + 5)/((-1)/442). Let q = -24 - p. Is q a multiple of 22?
False
Suppose 14*s - 10525 - 110068 = -19793. Is 50 a factor of s?
True
Let d(r) = 4*r**2 - 33*r - 26. Let m(o) = 3*o**2 - 22*o - 17. Let g(y) = 4*y - 19. Let h be g(6). Let c(u) = h*d(u) - 7*m(u). Is 4 a factor of c(-6)?
False
Does 3 divide ((-40508)/39 + 31)*(-6)/2?
False
Let v be (4/(-14) - 12/(-42))/3. Let x be -20 + -10 - (0 - v/(-2)). Is 25 a factor of 2/(-5) + (-2382)/x + 1?
False
Let g = -127 + 72. Let p = g - -51. Is 8 a factor of (0 - p) + -2 - (-122)/2?
False
Let d be (-1)/(3*4/(-36)). Suppose a + 0*a - d*k - 64 = 0, 3*a - k - 152 = 0. Suppose -168 = -x - a. Does 13 divide x?
False
Let t(l) = 44*l - 22. Let r be t(10). Suppose -2*u = -2*q - u + r, 0 = 3*u + 12. Is 9 a factor of q?
True
Suppose 5 - 26 = -7*j. Suppose -5 = -g - 4*y - 13, j*y = 3*g - 36. Does 49 divide (-76 - 4/1)/((-4)/g)?
False
Suppose 38*c - 145*c = -1260674. Is c a multiple of 113?
False
Suppose -f - 2*f + 882 = 0. Suppose -11*r = -1510 - f. Is r a multiple of 5?
False
Is 26 a factor of (((-12)/(-18))/1)/(-9 - 3173048/(-352560))?
True
Let u(o) = 4*o**3 - 5*o**2 + 7*o - 31. Suppose 8*r - 3*r = 2*t - 22, 0 = 3*t - r - 20. Is 14 a factor of u(t)?
False
Let h = 5272 + 743. Is h a multiple of 26?
False
Suppose -4*h + 5*h + 4 = -j, 5*h = 2*j - 20. Is 177/h*(-176)/33 a multiple of 16?
False
Let l(b) = b. Let j(a) = 37*a + 7. Let y(d) = -j(d) - 3*l(d). Let u be y(-9). Let s = u - 198. Is 31 a factor of s?
True
Let x = 15694 + -8932. Does 138 divide x?
True
Let m be 9/(-72) - 34/(-16). Suppose -3*y = 4*s - 167, 5*s + y - m*y = 223. Suppose s = 3*q + q. Does 2 divide q?
False
Does 18 divide (-21)/24*(-82100)/70 + (-2)/8?
True
Let o = -40 + 40. Is 155/124*(272 + o/2) a multiple of 20?
True
Let p = -17962 - -25178. Does 7 divide p?
False
Let b = -1475 + 747. Let v = -504 - b. Is v a multiple of 32?
True
Suppose -8*r + 3*r = -2*h + 29, 0 = -5*r - 2*h - 21. Let n be ((-60)/(-8))/r*8/(-3). Suppose -u = -4*p - 22 - n, 5*u = 5*p + 100. Does 11 divide u?
False
Let f(x) = -106*x**3 + 5*x**2 - 4*x - 17. Is f(-3) a multiple of 54?
False
Let z = -2975 - -3487. Is z a multiple of 6?
False
Let c be 0 + (-5 - (3 - 4)) - 104. Does 9 divide c/72*124/(-6)?
False
Suppose 2*y + 930 = 5*v, -7*v - 970 = 2*y - 2*v. Does 50 divide 2*y*(-20 - -19)?
True
Let j = 3765 - -4747. Is j a multiple of 16?
True
Let x(d) = -d**3 + 7*d**2 - 8*d + 12. Let z be x(6). Suppose -m - h - 260 = z, -5*m - 4*h - 106 = 1197. Let a = m + 375. Is a a multiple of 14?
True
Let c = -44 - -49. Suppose 0 = 2*m - c*r - 24, -2*r = 4*m - 6*m + 12. Suppose 5*z - 4*l = -2*l + 142, -m*l = 5*z - 138. Does 7 divide z?
True
Let v(j) = -4*j - 17 + 41 - 5 - 85. Is 6 a factor of v(-21)?
True
Let w(u) = -11649*u - 214. Is 85 a factor of w(-1)?
False
Is (14 - (-63804)/(-65))*10/(-4) a multiple of 12?
False
Let m = 57348 + -38086. Is 195 a factor of m?
False
Let s be -15*(-31 - (8 + -14)). Suppose -4*y - d = -s, 2*y + 17 - 215 = -4*d. Is y a multiple of 3?
True
Let y be 56/6 + -1 - (-2)/3. Let q = 12 - y. Suppose -q*x = -4*x + 63. Is x a multiple of 7?
True
Let h = -24571 - -25999. Is 14 a factor of h?
True
Suppose -834*v = -832*v + 1758. Let y = 31 - v. Is 13 a factor of y?
True
Let x = 130665 - 72518. Is 33 a factor of x?
False
Let s = 97 - 93. Suppose -s*w = -32 - 52. Let k = w - -86. Does 10 divide k?
False
Let c(o) = o**2 - 13*o - 1. Let d be c(7). Let f = 43 + d. Let t = f - -42. Is 10 a factor of t?
False
Suppose -9*k + 4*k + 15 = 0. Suppose -3*s = -2*s - k*y - 6, 46 = 5*s + y. Suppose 2*w + s - 17 = 0. Is w even?
True
Let s(o) = -17*o + 149. Let y be s(9). Let g(x) = -2*x**3 - 5*x + 2. Let p(u) = u**2 + u - 1. Let l(k) = g(k) - 2*p(k). Is l(y) a multiple of 16?
True
Let x(b) = b**3 + 4*b**2 - 6*b + 2. Let z be x(-5). Let s(g) = g**3 - 10*g**2 - 8*g - 91. Let v(k) = k**2 + 32. Let t(u) = -s(u) - 3*v(u). Does 7 divide t(z)?
False
Let i(t) be the third derivative of 13*t**6/120 - t**3/2 + 64*t**2. Is i(2) a multiple of 17?
False
Let p = -345 + 295. Let a = -189 + 97. Let x = p - a. Is x a multiple of 21?
True
Suppose 5*o = i + 1871 + 7911, 5*i + 3899 = 2*o. Suppose -o = 9*r - 28*r. Is 51 a factor of r?
False
Let t(z) = -2*z**2 + 21*z - 3. Let x be t(10). Suppose -45 = -x*h - 2*h. Suppose 435 = 2*c - h*l, 0*c + 2*c + 4*l = 390. Is 41 a factor of c?
True
Suppose -65*z - 32*z = 23*z - 1626000. Is z a multiple of 20?
False
Suppose 5*n + 2*m - 616 = 0, m + 4*m = -3*n + 381. Let b = 356 - n. Is b a multiple of 13?
True
Suppose -3*y + 710 = -2*k, -k + 4*k + 3*y + 1050 = 0. Let m = -756 - -257. Let q = k - m. Is 22 a factor of q?
False
Let g be (140/6)/(-7)*(10133 - 2). Is 25 a factor of (-4)/18 + g/(-90)?
True
Is 62 a factor of (-7)/((-70)/354644) - (-78)/(-195)?
True
Suppose 21*b - 222 = 240. Suppose 0 = b*m - 2850 - 11164. Does 56 divide m?
False
Suppose 9*j - 8*j = 0. Suppose j = -9*p + 12*p - 7392. Does 12 divide p/66 + 2/(-6)?
False
Let v = -985 + 4517. Does 7 divide v?
False
Let s = -169 + 173. Suppose -i - x + 477 = 0, 0 = s*i - 3*x + 805 - 2748. Is 36 a factor of i?
False
Let n(g) be the first derivative of g**4/4 + 7*g**3/3 + 3*g**2 + 2*g + 5. Let a be n(-6). Is 14 a factor of 1149/33 - 3*a/(-33)?
False
Let v be 205*2 + -7*27/63. Let u = -200 + 400. Let q = v - u. Is 23 a factor of q?
True
Let d = -81474 - -116596. Is d a multiple of 54?
False
Suppose -7*y + 19*y + 8*y - 70800 = 0. Does 12 divide y?
True
Suppose -4*w + 28 = 12. Suppose -m + 3*m = 4*s + 104, 2*s + 238 = w*m. Let z = -54 + m. Does 8 divide z?
True
Let b be (1064/6)/((-20)/(-30)). Let f = b + 61. Does 20 divide f?
False
Let z = -138 + 462. Suppose 0*j = -2*j + 4. Suppose -2*k + 2*g = -316, 2*k - z = -j*g - 0*g. Does 16 divide k?
True
Suppose 4*l = -10*l + 3063 + 34541. Is 79 a factor of l?
True
Suppose 6*i - 4*i = 14. Suppose -m - 696 = -i*m. Is m/(-12)*-3 + 1/(-1) a multiple of 22?
False
Let q(f) = -1461*f - 1346. Does 59 divide q(-5)?
True
Let j = 33949 - 28867. Is 77 a factor of j?
True
Suppose 0 = -95*l + 96*l + 55. Let o = -49 - l. Suppose -3 = -o*s + 9. Does 2 divide s?
True
Suppose -2*f = -5*o - 275, 5*f - 369 - 284 = o. Let u = 208 - f. Does 43 divide u?
False
Suppose 0 = k + 4*z - 4696, 5*k - 29197 + 5807 = -2*z. Is k a multiple of 26?
False
Suppose 963*h = 945*h + 447966. Is h a multiple of 27?
False
Let d = 260 + -251. Let w(f) = f**2 + 2*f - 14. Does 37 divide w(d)?
False
Suppose -4*f + 0 = -i - 23, i + 18 = 3*f. Suppose f*b - 1100 = -3*z - z, 2*z = -3*b + 662. Is 56 a factor of b?
True
Suppose -5*d = 4*r - 412, -2*r + d + 103 = -r. Let z = r + -73. Is z a multiple of 4?
False
Suppose 0 = t - 3*s - 5026, 5*t + 14*s - 17*s - 25082 = 0. Is 13 a factor of t?
False
Let s be ((-1)/(-2))/(-9 - (-11283)/1254). Let v = -93 - s. Is v a multiple of 5?
False
Suppose -3*w - 4*g + 271 = 0, -248 = -3*w + 2*g + 17. Let z = -101 + w. Let j(n) = 2*n**2 + 9*n - 28. Does 38 divide j(z)?
True
Let d(q) = q**3 - q**2 - 2*q + 22. Suppose 4*c - 4 - 28 = 0. Let v be 2 + 7/((-28)/c). Is d(v) a multiple of 3?
False
Let o = -696 + 1315. Let d = o + -591. Is 7 a factor of d?
True
Suppose 27*d + 3*s = 24*d + 6585, -d - 2*s = -2194. Is d a multiple of 36?
True
Let m(v) = v**2 - 4*v - 26. Let c(u) = 2*u**2 - 9*u - 51. Let g(l) = -4*c(l) + 7*m(l). Is g(9) a multiple of 13?
True
Suppose -o - 26 = -3*u - 23, o + 4*u = 11. Suppose -3*q + 4*t + 497 = 0, 392 = o*q - t - 90. Is q a multiple of 3?
True
Suppose n = -2, n - 10 = 2*z - 6*z. Suppose 6 + 9 = z*u. Suppose -410 = -5*m - u*i, 4*i - 2 = 6. Does 8 divide m?
True
Suppose 5*z = -3*i + 298, 2*i + 2*z = 5*z + 167. Let n = 126 - i. Does 10 divide (-4)/14 + 3965/n?
False
Is 41 a factor of ((-12)/42 - 1012/(-2415)) +