 + h. Is 8 a factor of (((-18)/d)/3)/(2/200)?
True
Suppose 5*c + 14*q - 823 = 13*q, 340 = 2*c + 4*q. Is c a multiple of 39?
False
Let s = 79 - 76. Suppose s*h + h = 1292. Is h a multiple of 40?
False
Let c = 92 - -368. Suppose 4*r = 4*l + c, 2*l - 3*l - 3 = 0. Is 14 a factor of r?
True
Let i(s) = -s. Let g be i(-3). Suppose g*l = 5*a - 35, 0*l + 5 = 2*a - 3*l. Does 5 divide a?
True
Suppose -4*l - 9 = -3*l. Let f = -1 - l. Does 4 divide f?
True
Suppose -4*q = 7*q - 165. Does 18 divide ((-453)/q + 5)*(-6 - -1)?
True
Suppose -8*s + 2*s + 30 = 0. Suppose t + 245 = 4*t + s*l, -4*t + 5*l = -385. Suppose -t = -4*g - g. Does 10 divide g?
False
Suppose j = -2*d + 79, -2*d - 2*j = -4*d + 94. Suppose 86 = 2*y - 52. Let s = y - d. Does 15 divide s?
False
Let b = 598 + 312. Suppose -3*m + 4*m = -3*p + 190, 0 = 5*m - 5*p - b. Is m a multiple of 46?
True
Let v = -45 + 61. Does 2 divide v?
True
Suppose 0 = -j - j + 16. Suppose 0 = -3*r + j*r. Suppose p - o - 20 = r, 4*p - 71 = -4*o + 25. Is p a multiple of 22?
True
Let s(t) = -22*t - 249. Is s(-17) a multiple of 25?
True
Suppose -j - 6 = -3*j. Let q be -2 + j - (-28 - -6). Let l = q - 11. Does 12 divide l?
True
Suppose 0*x + 10 = -5*x. Let l = 7 - x. Let g = l + 6. Is g a multiple of 15?
True
Does 6 divide (-2)/6*((-70)/(-5) - 35)?
False
Suppose -3*g = 2*f - 6, g - 3*f - 2 = -2*f. Let b be 15/g*8/5. Suppose -3*r + 18 = k, r + r = 2*k + b. Is 6 a factor of r?
True
Is 6 + 0/(-2) + 219618/147 a multiple of 50?
True
Let z(q) be the second derivative of -q**6/720 + q**5/24 + q**4/4 - 4*q. Let m(f) be the third derivative of z(f). Is m(-10) a multiple of 15?
True
Is 23 a factor of (-316 - 2)/((-9)/30)?
False
Let z be (1 - (-3)/(-3))/1. Let c = 34 - z. Is 34 a factor of c?
True
Let j(l) = 97*l - 197. Does 4 divide j(7)?
False
Let x = 109 - 39. Suppose -w - o = -x, 4*w + 5*o - 421 = -146. Does 32 divide w?
False
Let w be (-1)/(-2)*8/1. Suppose -w*u - 2*x = -u - 154, -4*u + 212 = 4*x. Is u a multiple of 8?
True
Suppose 3*d - 305 = -4*o, 3*o = 4*o - d - 78. Suppose -v = -4*a - o, -v + 3*a = -28 - 50. Does 27 divide v?
True
Let o(g) = g**3 - 11*g**2 + g + 5. Let q be o(11). Let t = -12 + q. Suppose 0 = -t*y - 0*y + 264. Is 22 a factor of y?
True
Suppose f = 3, -3*f + 0*f = 5*d - 4. Let v be (-16*5)/(d + 0). Suppose -v = -y - y. Is 6 a factor of y?
False
Let a = -237 + 378. Suppose -2*g + a + 183 = 0. Is 9 a factor of g?
True
Let v(g) = -g - 2. Let l be v(-5). Suppose -7*t = -l - 431. Is 8 a factor of t?
False
Suppose -v = -2*v + 53. Suppose -v*p + 540 = -48*p. Does 15 divide p?
False
Let o = -2577 + 4005. Is o a multiple of 28?
True
Suppose 0*u - 2*u - 12 = -4*g, -3*g + 8 = -2*u. Suppose 0 = -z + 253 + u. Suppose -x - 5*v = -4*x + 249, 0 = -3*x + 3*v + z. Is 15 a factor of x?
False
Suppose -4*u - 75 = u - 5*h, u = -h - 9. Let d = u + 45. Does 10 divide d?
False
Suppose z + 4*n = 6*z + 105, -29 = 2*z + n. Let y = 17 + z. Suppose 0 = 5*q - y*q - 115. Is q a multiple of 10?
False
Let s(y) = 59*y**3 - y**2 + 2*y. Suppose -4*r + 1 = -3. Is 15 a factor of s(r)?
True
Suppose 0 = 6*h - 3*h + 2*h. Suppose h*g - 235 = -5*u - 5*g, -5*u + 4*g + 190 = 0. Does 42 divide u?
True
Let p(l) = l**2 + 3*l - 9. Let y be p(-8). Suppose -4*i - 63 = -i. Let q = y + i. Is 5 a factor of q?
True
Let i(x) be the third derivative of x**5/60 - x**4/24 + x**3/6 + 10*x**2. Is i(4) a multiple of 13?
True
Let y(q) = q**3 - 4*q**2 - 11*q - 2. Let t be y(6). Let k be (30/24)/(t/(-80)). Let p = 64 + k. Does 23 divide p?
False
Let o = 3133 + -1417. Does 13 divide o?
True
Let l be 10/(-4)*(-24)/(-30). Let y = l + -32. Let s = y + 61. Is 10 a factor of s?
False
Is 5 a factor of (-4)/(8/7*(-119)/170)?
True
Let y(i) be the third derivative of i**6/120 + 3*i**5/20 - 2*i**3/3 - 7*i**2. Let v be y(-9). Does 19 divide (7 - 3)/v - -38?
False
Let q = 70 + -33. Suppose 2*z = 139 - q. Is z a multiple of 10?
False
Let z be (-2)/9 - (-1962)/81. Let o = -23 + z. Suppose -r = 3*v - 37 + o, 87 = 2*r + v. Is r a multiple of 19?
False
Suppose 6*s - 38 = 10. Suppose s*u = 5*u + 192. Is 32 a factor of u?
True
Let k be -6*((-5)/2 + 2). Suppose -l = -4*j + 119, j - 3*l = k*j - 63. Is j a multiple of 6?
True
Let o = -5 + -11. Let l be (o - 0)*9/(-6). Suppose 4 = m - l. Does 14 divide m?
True
Is 14 a factor of (-102)/(-867) + (2633/17 - 1)?
True
Let j = -636 + 792. Is j a multiple of 6?
True
Let d(w) = 5*w**2 - 3*w + 6. Let l = -19 - -30. Let t be l/4 + (-7)/(-28). Is d(t) a multiple of 14?
True
Suppose 0 = -2*u - 2*j + 20, 3*u + u - 31 = 5*j. Suppose 5*a - u = 6. Is 10 a factor of (-54)/((-4)/2) + a?
True
Suppose 40*d - 73530 = -5530. Is 85 a factor of d?
True
Suppose -2*z = -2*o + 20, -7*z + 3*o = -5*z + 17. Let s(b) = -b**3 - 13*b**2 - 9*b - 22. Does 19 divide s(z)?
True
Suppose 0 = -g - 0*g. Suppose -2*k - k = -n + 5, g = -5*k + 4*n + 1. Let z(v) = -v**3 + 2*v**2 + v - 2. Does 10 divide z(k)?
True
Does 24 divide (3654/168)/(2/384)?
True
Let g be (3 - -3) + (-1)/1. Suppose -2*b + 4*c + 22 = 0, 56 = g*b + 2*c - 23. Is 11 a factor of b?
False
Let f be 6/8*12/3. Suppose 23 = f*z - 25. Is z a multiple of 3?
False
Suppose -5*a - 3*t = -15, 0*t = -4*t - 20. Let r be (-3)/a - (-39)/6. Suppose -3*x - r = -48. Is 10 a factor of x?
False
Let d(q) = -69*q + 165. Does 82 divide d(-19)?
True
Let a(x) = -3*x - 49. Let n be a(-18). Suppose -3*t - 1300 = -4*z, -n*t = 2*z + 3*z - 1625. Does 25 divide z?
True
Let t(q) = -q**3 - 24*q**2 + 25*q - 3. Let g be t(-25). Does 10 divide ((-2)/g)/((-58)/30 + 2)?
True
Let u be 4/10*5 + 6. Does 12 divide (-162)/((36/u)/(-3))?
True
Is 14 a factor of ((-24)/84 + (-7132)/(-70))*5?
False
Let r(y) = y**2 + 23*y + 38. Let f be r(-19). Let v = 144 + f. Does 26 divide v?
False
Suppose -3*d = u - 2, 1 = u + 5. Suppose -d*p + 0*r + 12 = r, -40 = -5*p - 5*r. Let c = p - -54. Is c a multiple of 29?
True
Suppose 0 = 3*t - 4*j - 3, j = 5*t - 2*j - 16. Suppose -5*s = u - 62, t*u = 2*s + 6*u - 23. Does 5 divide s?
False
Suppose -2*h = -3 - 3. Suppose 84 = -0*k + h*k. Let v = k - 6. Is v a multiple of 10?
False
Let s be 3*(12/(-9))/(-2). Let r be 161/35 - s/(-5). Suppose r*p = 8*p - 288. Is 29 a factor of p?
False
Let m(h) = h**2 + 5*h + 5. Let l be m(-5). Suppose -5*d = -15, -l*d - 744 = -4*o - d. Is 27 a factor of o?
True
Let t(k) = 3*k**3 - k**2 + 7*k - 1. Does 32 divide t(5)?
True
Is 5 a factor of (4*15/(-35))/((-2)/105)?
True
Let d = -242 + 315. Is 45 a factor of d?
False
Let r(q) = -2*q + 5. Let j be r(4). Let m be (-8)/(-12) + (-7)/j. Suppose -4*n = -2*u - 2*u + 12, 5*n = m*u - 1. Is u a multiple of 4?
False
Let t = -120 + 176. Is t a multiple of 56?
True
Let k(j) = 251*j**2 + 27*j - 26. Is 21 a factor of k(1)?
True
Suppose -v + 5*z + 24 = 0, -z - 29 = 4*v + 4*z. Is 210/(-9)*(v - (1 + 1)) a multiple of 35?
True
Let q be (-92)/1*3/(-6). Let w = q - -375. Does 12 divide w?
False
Suppose o - 42 = -4*q + 3*o, 3*o = q - 13. Is (165/q)/(2/4) a multiple of 11?
True
Let x = 32 + -49. Let n(y) = -y**2 - 18*y - 19. Let v be n(x). Let r(s) = 8*s**2 - 2. Does 15 divide r(v)?
True
Suppose 34*t + 4950 = 39*t. Is 42 a factor of t?
False
Let m(p) be the first derivative of -17*p**3/3 - p**2 + 2*p + 3. Let q(d) = -d**2 + d - 1. Let i(g) = -m(g) - 2*q(g). Does 19 divide i(1)?
True
Suppose 6*j - 12 = 0, -2*j + 418 = -n + 1778. Does 31 divide n?
True
Let b = 844 - 454. Does 26 divide b?
True
Let r(p) = 5*p**3 - 4*p**2 + 38*p - 13. Let a(y) = -2*y**3 + 2*y**2 - 19*y + 7. Let m(i) = -7*a(i) - 3*r(i). Does 24 divide m(-7)?
False
Let l(c) = c + 4 - 3*c + 3*c. Let a be l(-4). Does 8 divide a + -3 - (-2 + -27)?
False
Let z(v) = -2*v - 8. Let t be z(-12). Suppose 2*b + t = 6*b. Is 7 a factor of -7*(3/(-3) - b)?
True
Suppose -42 = -4*r - 2. Does 12 divide (-4)/r - (-4530)/75?
True
Let v = 2992 + -848. Is v a multiple of 28?
False
Suppose 3*m = i + 108 - 8, 116 = 3*m - 5*i. Let x = 16 - m. Let l = x + 72. Is 14 a factor of l?
True
Let z be ((-22)/2)/(-2 - -3). Let h = -8 - z. Suppose -h*l = l - 300. Does 19 divide l?
False
Let o = -1183 - -1327. Is o a multiple of 12?
True
Let i(v) = -1. Let r(m) = 14*m + 70. Let j(o) = -154*i(o) - 2*r(o). Is j(-4) a multiple of 21?
True
Suppose -5*h + j + 2 = -4*h, 2*h + 4*j = -14. Let s be 2/h*(-9 - -8). Suppose 0 = 4*d - s*d - 48. Is d a multiple of 8?
T