= z - 103. Suppose -4*w + 96 = -z. Is w a multiple of 25?
False
Let c be -22*44/16 - 3/2. Let d = c - -74. Is d a multiple of 12?
True
Let w = 363 + -233. Let i = -80 + w. Is i a multiple of 9?
False
Let q = 280 - -615. Is q a multiple of 33?
False
Let g(i) = -2*i**2 - 40*i - 79. Is 5 a factor of g(-17)?
False
Suppose -20*d + 1180 = -16*d. Let y = d - 110. Is 43 a factor of y?
False
Let m = -102 - -251. Is m a multiple of 12?
False
Let m(d) = 2*d**2 + 7*d + 7. Let p(t) be the first derivative of t**4/4 + 8*t**3/3 - 7*t**2/2 + 11*t + 9. Let r be p(-9). Is m(r) a multiple of 28?
True
Let q(k) = -127*k + 57. Does 6 divide q(-3)?
True
Suppose 3*l + 4*n - 940 = 0, -5*l = 5*n - 613 - 962. Does 13 divide l?
False
Let h(t) = 60*t**2. Let k be (-6)/4*(-100)/30. Suppose -4*w = w - k. Does 15 divide h(w)?
True
Suppose 0 = -3*j - 2*j + 50. Let f = -7 + j. Suppose -5*a = -2*l - 114, l = f*a - 51 - 18. Is 9 a factor of a?
False
Suppose 53*t - 7517 - 15803 = 0. Does 88 divide t?
True
Is 14 a factor of ((-11)/(33/42))/((-3)/120)?
True
Suppose 1156 = 2*y - 348. Suppose 921 = 5*t - r, -4*t = -0*t + 3*r - y. Is 24 a factor of t?
False
Let p(l) = -6*l - 9. Let g be p(17). Let r = g + 296. Suppose 0 = -4*v + t + 54 + 186, 3*v = 2*t + r. Is v a multiple of 12?
False
Suppose 0 = 40*t - 16606 + 5046. Does 7 divide t?
False
Suppose 6 = -2*z + 18. Suppose -6 - z = 4*u. Let j(d) = -4*d - 5. Does 7 divide j(u)?
True
Let y be (25/(-5))/15*-6. Suppose -v = y*b + 5, 2*v - 15 = -2*v - b. Suppose v*i = -o + 4*o - 154, -i = 4*o - 190. Does 12 divide o?
True
Let d(r) be the third derivative of 0*r - 1/60*r**5 + 0 + 11/12*r**4 + 7*r**2 - 9/2*r**3. Is 15 a factor of d(18)?
True
Suppose -5*x + 4*l - 373 + 84 = 0, -5*x - 280 = 5*l. Let u = x + 72. Is 11 a factor of u?
False
Let c = 10 + -17. Let x = c - -7. Suppose -i + x*i + 62 = 0. Does 20 divide i?
False
Suppose 11*u + 1463 = 15*u + j, 0 = u + 3*j - 363. Does 9 divide u?
False
Suppose 0 = 2*m + m - 9. Suppose 12 = -2*h - m*v, 3*h + 4*v = 4*h - 16. Suppose 16 = -4*o, -4*j + h*o + 76 = o. Is 10 a factor of j?
True
Suppose 41*c = 37*c - 8. Let g(f) = -36*f + 12. Does 14 divide g(c)?
True
Suppose 3*s - 748 = -5*d + 387, -4*d + 930 = -2*s. Is 4 a factor of d?
False
Suppose 0 = -5*k - i + 10804, 2*k + 2330 = -4*i + 6666. Is 16 a factor of k?
True
Suppose 2*z = -k + 12, -9*k + 2*z + 108 = -4*k. Is k a multiple of 5?
True
Let w(g) be the second derivative of 19*g**5/60 - g**4/8 + g**3/3 - 2*g**2 + 4*g. Let z(s) be the first derivative of w(s). Is 24 a factor of z(2)?
True
Let b = 480 - 441. Is 3 a factor of b?
True
Suppose 0 = 2*u + 4*y + 24, -36 = 5*u + 3*y - y. Let r = 3 + u. Does 10 divide 174/9 + (-2)/r?
True
Suppose 593*y - 598*y + 9425 = 0. Is y a multiple of 92?
False
Let k(y) = -y**2 - 13*y - 1. Let i be k(-10). Let m = i + -10. Is 7 a factor of m?
False
Suppose 7483 = 9*z - 518. Is 119 a factor of z?
False
Suppose g - 4 = -b, g + b = -4*b + 12. Let q(u) = -9*u - 6 + 19*u - 5*u**g - 6*u + 2*u**3. Is 3 a factor of q(3)?
True
Let k be (-2 - (-6)/4)*-14. Let s be k + -5 + 1 - 21. Let w = 74 + s. Is w a multiple of 28?
True
Let s(k) = -4*k - 136. Is s(-38) a multiple of 8?
True
Suppose n + 3*n = 668. Suppose 0 = -3*w + 2*b + 161 - 1, -3*w - 5*b + n = 0. Does 27 divide w?
True
Let c = 50 + -36. Suppose -12*o - 96 = -c*o. Is o a multiple of 15?
False
Let j(f) = -f**3 - 14*f**2 - 3*f + 2. Let g be j(-13). Let s = g - -230. Suppose -b + s = b. Is 15 a factor of b?
False
Suppose -5*y + a + 5721 = 0, 5*a = 44*y - 43*y - 1149. Is y a multiple of 26?
True
Let d(t) = -t**3 + 3*t**2 + t. Let o be (-4)/14 + (-220)/(-35) - 3. Is 2 a factor of d(o)?
False
Suppose 7738 = 25*s - 28837. Is s a multiple of 19?
True
Let j = 56 - 14. Does 3 divide j?
True
Let j = -26 - -13. Let h = j + 17. Suppose y = 1, 0 = 2*b + h*y - 131 - 79. Is b a multiple of 14?
False
Let f(z) = z**3 + 9*z**2 - 10*z + 13. Let g be 3/(-2*3/(-20)). Suppose g = 4*s + 50. Is 8 a factor of f(s)?
False
Let o be ((-1)/(-2))/((-1)/(-8)). Let r(a) = -a**3 + 7*a**2 - 5*a - 4. Let h be r(o). Suppose 5*w + 3*y - 30 = -2*y, 5*w - y = h. Is w even?
False
Let a(w) = -w**3 - 2*w**2 - 5*w + 2. Let b be a(-4). Suppose 0 = f + 5*f - b. Is f a multiple of 6?
False
Is 19 a factor of (-49 - -797) + 1 + 7 - -7?
False
Suppose 8176 = 9*t - 4433. Suppose -t = -5*r - 3*a, -r = -4*r + 2*a + 833. Does 32 divide r?
False
Suppose 285 + 20 = 5*v. Is v - 9*4/12 a multiple of 10?
False
Suppose -4*z - 1612 = -4*n, -2*n + 5*z + 117 = -686. Suppose 3*s - 4*o + 406 = s, 5*o = 2*s + n. Does 2 divide (s/(-46))/((-6)/(-8))?
True
Suppose 3*s = -s + 3*j + 2457, -3*j = -3. Suppose -7*a = -12*a + s. Does 34 divide a?
False
Let i be 1 - -1*0/2. Is 18 a factor of 56 + ((-91)/52 - i/4)?
True
Suppose -4*k + k + 5*x = 49, 0 = -4*k + 2*x - 42. Let q be k/36 + 141/27. Does 20 divide 828/10 + q/25?
False
Suppose -14*f + 34*f - 9020 = 0. Is f a multiple of 64?
False
Does 9 divide (1 - 0)/((-39)/(-7839))?
False
Suppose 2*v + 3*d = v + 43, -3*v - 2*d = -157. Let u be (-10)/v + (-216)/22. Let h = 17 + u. Does 2 divide h?
False
Let f(v) = -2*v**2 - 21. Let q be f(-8). Let n = 215 + q. Does 22 divide n?
True
Let u = 972 + -528. Does 32 divide u?
False
Let o be ((-105)/(-10))/(3/6). Suppose 0 = -s + 3 - 1. Suppose s*k = 97 - o. Does 19 divide k?
True
Suppose -7*s + 2052 = -s. Is 5 a factor of s?
False
Let z = 853 - 531. Does 16 divide z?
False
Let p = -273 - -461. Is 35 a factor of p?
False
Suppose 0 = -d + 2*p - 4, 2*p = -2*d + 3*p + 7. Let z be d/(-14) - 1658/(-14). Does 7 divide (-3)/(-12) - z/(-8)?
False
Does 10 divide (110 + -6)*(3 - -1 - -1)?
True
Let g be ((-1)/(-2))/(7/140). Let z be ((-65)/g)/((-1)/2). Suppose 5*f - 12 - z = 0. Does 3 divide f?
False
Let s = -532 + 709. Does 4 divide s?
False
Let z = 2199 + -794. Does 62 divide z?
False
Suppose -23*h + 5203 - 419 = 0. Is 16 a factor of h?
True
Let t(b) = 3 + 1 + 8*b + b**2 + 0. Let s be t(-7). Is (-9*28)/(-4) + s a multiple of 15?
True
Suppose 0*i = -2*i. Suppose 4*c + i*c + 4 = 0. Is -68*(-4 + 5)*c a multiple of 20?
False
Let z = -1199 + 2217. Is z a multiple of 76?
False
Suppose 0 = -3*z + 1350 + 540. Is z a multiple of 21?
True
Suppose 0 = 6*d - 9*d - 2*q + 212, 390 = 5*d - 4*q. Does 37 divide d?
True
Suppose -4*w = -3*k - 1151, -2*k + 571 = 2*w + k. Does 27 divide w?
False
Let c = -336 + 608. Does 68 divide c?
True
Let h = 1248 - 648. Suppose 4*q = 9*q - h. Suppose -14*b - q = -16*b. Is 20 a factor of b?
True
Suppose 5*q - 23 = y, y - 13 - 4 = -3*q. Suppose y*n = p - 49, n + 2*n = -p + 59. Let r = p - 26. Does 23 divide r?
False
Suppose 2191 - 6879 = -8*s. Is s even?
True
Let f be 3/2*(-70)/(-21). Let o be (f - -9)*(-2)/(-7). Let t = o + 31. Is t a multiple of 7?
True
Is 29 a factor of ((-254)/6)/(121/(-5445))?
False
Let a be 96/(-72)*(-6)/(-4). Does 4 divide (a/(-4))/((35/110)/7)?
False
Is 8 a factor of 210/20*(-40)/(-6)?
False
Let i be ((-6)/(-4))/(1/2). Suppose -98 - 532 = -i*x. Is x a multiple of 30?
True
Suppose 5*a = -0*m + 2*m, -5*a + 3*m = 0. Suppose 5*b = -2 - 3, a = -u - 5*b + 61. Is u a multiple of 11?
True
Suppose 0 = 2*a + t - 2809, 1 = -3*t + 4*t. Suppose 3*v = -6*v + a. Is 26 a factor of v?
True
Suppose 4*u = -20 - 8. Let g(s) = s**3 + 13*s**2 + 15*s + 8. Let l(c) = -c**3 - 14*c**2 - 16*c - 9. Let q(j) = -6*g(j) - 5*l(j). Does 9 divide q(u)?
True
Let w(y) = -14*y - 36. Let z be w(-10). Suppose 0 = j + 2*a - z, 2*j - 204 = -0*j - 5*a. Is 30 a factor of j?
False
Suppose 0 = 4*z - 4*q - 1404, -23*q + 1398 = 4*z - 21*q. Is 35 a factor of z?
True
Let m = 168 - 104. Suppose -m = -4*q + 2*d - 3*d, q - 4*d = 33. Is q a multiple of 7?
False
Let m(c) = -4*c - 2. Let q be m(-2). Suppose 3*a - 382 = -4*h, -2*a + q*a = -2*h + 196. Let k = h - 57. Is 33 a factor of k?
False
Let q be (0/1)/((-4)/(8/4)). Is 37 a factor of 1 + (-456)/(q + -2)?
False
Suppose 0*h - 5*h = 0, -12 = -3*d + 2*h. Suppose -4*p = -2*y + 142, 0 = -5*y - 0*p + d*p + 367. Is 15 a factor of (-1)/(-2)*(-9 + y)?
False
Suppose 3*z + f - 19 = -5, z + 17 = 4*f. Does 9 divide (472/(-10))/(2*z/(-15))?
False
Suppose 0 = -5*t + t + 244. Is t a multiple of 61?
True
Let p(u) = u**2 + 9 - 9 + 2*u + 0*u**2. Let v = -2 + -1. Is 3 a factor of p(v)?
True
Suppose 8 = -2*n, -n + 0*n = 5*v - 21. Suppose -t + 9 = 5*m, 3