157 - 78. Let j = r + -88. Let z = 79 + j. Does 19 divide z?
True
Suppose -272 = -4*c - 44. Suppose f - 110 = c. Is 33 a factor of f?
False
Let x(s) be the second derivative of 25*s**3/6 - 15*s**2/2 - 35*s. Is 10 a factor of x(3)?
True
Is 6 a factor of 164/2*(-4)/8*-12?
True
Does 9 divide 1/(-2) - (-247)/26?
True
Let q(n) = 19*n - 96. Is 6 a factor of q(11)?
False
Let s be 0 + (-8)/4 - 1. Let q be -1*(0/s + 182). Is 5/(-30) + q/(-12) a multiple of 8?
False
Let v(a) = 2*a - 2*a - 2*a + 1 + 3*a. Let n be v(2). Suppose 5*d + 5 = 0, -2*g + 0*g + 61 = n*d. Is 13 a factor of g?
False
Let n be (3/(-4))/(2 - (-45)/(-24)). Does 15 divide 2*8*(-33)/n + 2?
True
Suppose -8743 = 40*k - 42863. Is 65 a factor of k?
False
Let o(d) = 3*d + 51. Let h be o(-17). Suppose h = -5*p + 11*p - 672. Is p a multiple of 34?
False
Let w be -1 + 2/(2/(-3)). Let s(y) = y**3 + 4*y**2 - 2*y + 1. Is 4 a factor of s(w)?
False
Suppose n - 2 = 2. Suppose 64 = 6*v - n*v. Is 16 a factor of v?
True
Suppose 52 = 5*u + a, 0 = 3*u + 2*u - 2*a - 61. Let n be 1/2 - 11/(-2). Let g = u - n. Is g a multiple of 3?
False
Suppose 3*d = -5*b + 6*d + 15, d = -4*b + 12. Let y(s) = 52*s + 4. Is y(b) a multiple of 32?
True
Let g be 4790/(-40) + 2/(-8). Does 7 divide -34 - g - (0/(-1) - 0)?
False
Is 14 a factor of (-74)/4*-8 - (1 - 1)?
False
Let x(w) = 6*w + 4. Let y be x(-7). Suppose -3*j + 89 = -85. Let d = y + j. Is d a multiple of 20?
True
Let i(c) be the third derivative of -c**6/120 + 11*c**5/60 + c**4/24 - 3*c**3/2 - 2*c**2. Let v be i(11). Is (v/2)/((-6)/(-42)) a multiple of 3?
False
Suppose -2*q - 4*c = -44, -4*q + 2*c + 112 = 4*c. Let p = q - 4. Let y = p + -18. Is y a multiple of 3?
False
Let p be (-10)/(-15)*(-1482)/(-4). Suppose -4*y + p = -241. Is y a multiple of 25?
False
Let b(y) = y**3 - 52*y**2 + 75*y - 802. Is b(51) a multiple of 29?
False
Let l(n) = 14*n**3 - 3*n**2 + 4*n - 3. Suppose 8*t - 9 = 7. Is l(t) a multiple of 21?
True
Suppose 3*v - 306 = -30. Is 6 a factor of v?
False
Suppose -3*v - 3*t = 57, v + 3*t + 3 = -6. Is (v*(-10)/45)/((-2)/(-24)) a multiple of 27?
False
Let s(x) = 6*x - 4. Let w be s(14). Let j = w + -32. Suppose -72 = -2*v + j. Is v a multiple of 10?
True
Let z be (-6 - -3) + 2 - -4. Suppose z*p + 3*u = 60, -4*p + 2*u = -p - 40. Is p even?
True
Suppose -148 = 6*o - 1198. Let b = -109 + o. Does 27 divide b?
False
Does 48 divide (-81)/108*(-10)/6*244?
False
Is 30 a factor of 60*(-4)/6*45/(-3)?
True
Suppose 0 = -23*p + 10294 - 519. Does 21 divide p?
False
Let z(s) = 2*s + 13. Let h be z(-6). Suppose 0*u = u - h. Suppose j = -5*b + 60, -u = -b + 3. Is j a multiple of 10?
True
Let q(y) = -3*y**3 - 7*y**2 + 4*y - 6. Is 14 a factor of q(-8)?
True
Let o = 389 + -364. Does 2 divide o?
False
Let h be 1/((-3)/(-12)) - -10. Let b(j) = j**2 - 13*j - 5. Is b(h) a multiple of 3?
True
Let w = 557 + 115. Does 28 divide w?
True
Suppose -2288*s = -2287*s - 72. Does 8 divide s?
True
Is 8 a factor of (-432)/(-45)*1*5?
True
Suppose r - d + 9 = -0*r, -r - 13 = 3*d. Let v = -7 - r. Does 12 divide v/(1 - 21/24)?
True
Suppose -17*d - 7 = -18*d. Let b(t) = -t**3 + 9*t**2 - 7*t - 4. Does 12 divide b(d)?
False
Let u be ((-5)/((-10)/(-8)))/(16/8). Suppose 14 = -4*i + 5*l - 6, -4 = 5*i - l. Is (-51)/6*(u - i) a multiple of 15?
False
Let i(o) = o**3 - 21*o**2 + 29*o + 47. Let m be i(21). Suppose 0 = 2*n + 14*n - m. Does 2 divide n?
False
Suppose 3*h - 2*h = -2*s - 71, 4*s + 73 = -h. Let m = 126 + h. Is 16 a factor of m?
False
Suppose -6*h - 4*m - 1629 = -9*h, -2*h + 1072 = 2*m. Is h a multiple of 32?
False
Is (-4485)/(-5) + (1 - 15/(-3)) a multiple of 43?
True
Let s = 111 - -90. Is s a multiple of 14?
False
Suppose 2*o - g - 1316 = -0*g, -g = 3*o - 1979. Is o a multiple of 66?
False
Let t(p) = p**3 + 9*p**2 - 11*p - 10. Let d be t(-10). Let s be (1 - d) + -2 + 58. Suppose 3*a - 5*q = 13, 3*q - s = -5*a + 10. Is a even?
False
Let n = 3154 + -1969. Suppose 5*z - n = 5*f, -7*z + 8*z = 5*f + 253. Does 15 divide z?
False
Let h(n) = n**2 + 4*n + 3. Let v = 30 - 17. Let p = v - 18. Is 6 a factor of h(p)?
False
Let b(q) = -q**3 + 10*q**2 + 6*q + 13. Is b(9) a multiple of 4?
True
Suppose c = 2*q - 101, 0 = -2*c + 3 - 5. Suppose -53*o + q*o = -1215. Is 47 a factor of o?
False
Suppose -2*x + 2*q + 3*q + 1181 = 0, 0 = 3*x + 4*q - 1760. Does 42 divide x?
True
Suppose 17*x + 7 - 1843 = 0. Is 18 a factor of x?
True
Suppose 762 = 5*x - 3*y - 0*y, -434 = -3*x - 4*y. Is x a multiple of 15?
True
Let t = -38 - -64. Suppose 4*c + 156 = 5*f, -t = -2*f - 4*c + 42. Is 9 a factor of f?
False
Let g(z) = -z**3 + 14*z**2 + 11*z + 27. Does 49 divide g(13)?
False
Suppose -c + 11 = 3*t, 7*t - 2*t = -4*c + 9. Suppose 5*d = t*z - 65, 7*d - 4*d = -5*z + 105. Does 12 divide z?
False
Let m(a) = a**2 + 13*a - 14. Let f be m(-14). Suppose 7*b - 6*b - 94 = f. Is 15 a factor of b?
False
Let a(l) = -l**2 - 19*l - 15. Let y be a(-18). Suppose -38 + 8 = -y*n. Suppose 5*q + 345 = n*q. Is 23 a factor of q?
True
Suppose 4*g - 415 = u, -3*g - 2*u + 0*u = -325. Let h = 186 - g. Does 22 divide h?
False
Suppose -5 = -j, -5*l + 4*l - j - 1 = 0. Let b(n) = -n**3 - 8*n**2 - 20*n + 5. Is b(l) a multiple of 11?
False
Suppose -14 = 10*j + 26. Suppose f = 2*f - 2. Let a = f - j. Is 6 a factor of a?
True
Let w be 0*(4/(-10) + 1/(-10)). Suppose 7*m - 241 + 10 = w. Is 9 a factor of m?
False
Let o(c) = c + 5. Let h be o(-5). Suppose h = -7*v + 2*v + 410. Suppose i - v = -i. Is 11 a factor of i?
False
Suppose -2*a + 17 = -19. Suppose -42 = -5*q + a. Is q a multiple of 6?
True
Let p be 3/((-2)/2) - -8. Suppose 3*o + 0 = 15, 5*i - p*o = 335. Does 32 divide i?
False
Is 2 a factor of 6/(-4) - (-3)/((-36)/(-174))?
False
Suppose 1080 = -0*r + 6*r. Suppose 0 = -5*m + r - 10. Is 5 a factor of m?
False
Let i(s) = s**3 + 6*s**2 + s + 6. Let v be i(-6). Suppose v = -o, 2*n + 4*o = 6*n. Suppose 2*m = -f + 24, n = -4*f + 3*m + 23 + 73. Does 24 divide f?
True
Let w be 4/10 + (-20)/50. Suppose -3*m + 134 = 2*f, w = -f - 2*m + 41 + 27. Is f a multiple of 32?
True
Suppose 2*o - r - 778 = -0*o, 2*o + 3*r = 786. Does 26 divide o?
True
Suppose -2465 = -4*x + 7*m - 10*m, -1219 = -2*x + 3*m. Does 26 divide x?
False
Let h(k) = k**3 + 12*k**2 - 2*k - 16. Let z be h(-9). Suppose -z = -n - 6*n. Is n even?
False
Let u be 2 - 4/8*-6. Let s be 2/(-3)*(-8 + u). Does 7 divide (56/12)/(s/9)?
True
Let u(w) = -5*w - 5*w**2 + 2*w**2 + 2*w + 5*w**2. Let c be u(2). Is 23 a factor of 71 - (4/1)/c?
True
Suppose 3*n - 45 = -2*a, 4*n - 5*a - 63 + 3 = 0. Suppose -498 = 9*r - n*r. Is r a multiple of 9?
False
Suppose -4*a - d + 2 = 0, 1 - 7 = -2*a - 3*d. Is 52 + (0 - a - (-3)/1) even?
False
Let z = 2135 - 1992. Is z a multiple of 13?
True
Let r(t) = -3*t + 4. Let v(k) = 13*k - 16. Let l(a) = 9*r(a) + 2*v(a). Let c be l(6). Is c/(-3)*(29 + 1) a multiple of 7?
False
Suppose 772 = -18*h + 4552. Does 10 divide h?
True
Suppose 6 + 19 = 5*v. Suppose 4*p = -0*c - 5*c + 970, 5*c - 925 = v*p. Is c a multiple of 24?
False
Let x(t) = t - 2. Let l be x(4). Suppose 0 = -l*r + 6 + 10. Suppose 4*b - 168 = r. Is 22 a factor of b?
True
Suppose 4*g = -4*x - 16, -g + 12*x - 12 = 15*x. Suppose 4*w - 482 + 26 = g. Does 19 divide w?
True
Suppose 10*p + 76 = -44. Is 4 a factor of 1*8 + (p - -8)?
True
Let s(d) = 2*d**2 + 3*d. Let k be s(-3). Let b = -13 + k. Let j = b + 34. Is 15 a factor of j?
True
Suppose -2*h = -3*o + 9, 0 = 5*o + h - 5*h - 13. Does 5 divide o?
True
Let n(g) = 3*g - 12. Let x be n(7). Suppose -x + 3 = -6*h. Is (-20)/(-5)*h*2 a multiple of 3?
False
Let k be (3 + (-5)/2)*6. Let v(w) = w**2 - 4*w + 1. Let r be v(k). Is 16 a factor of 51/2 + 1/r?
False
Suppose -3*j + 4*v - 505 + 5118 = 0, 1546 = j - 3*v. Is 51 a factor of j?
False
Let w = -983 - -1592. Is 42 a factor of w?
False
Let g be (-5)/(-4 + 9) - -29. Let l = 56 - g. Does 13 divide l?
False
Let w be (-3)/(-15) - 5/(50/(-8)). Is 8*(79 - w)/6 a multiple of 12?
False
Suppose -24*a + 25*a - 17 = 0. Is 4 a factor of a?
False
Suppose -3*s = s + 40. Let k be (-7 - s)*10/2. Suppose -d - 3*y + k = 0, 6*y = 3*d + y + 11. Is d a multiple of 3?
True
Let i = 673 + -181. Is i a multiple of 12?
True
Suppose 45*v = -73*v + 105964. Does 14 divide v?
False
Let u be 1*(6 + -4 - 0). Suppose 0 = -u*y + w + 214, 5*w - 21 = -4*y + 393. Is 23 a factor of y?
False
L