472, 5*v = o - 1250 + 5396. Is 3 a factor of v?
True
Let h(z) = 2*z**2 - 29*z - 7. Let d(w) = -5*w**2 + 85*w + 20. Let s(o) = -3*d(o) - 8*h(o). Is 8 a factor of s(-16)?
False
Suppose -6*k - 90 = -12*k. Let j be (-591)/(k/(-5)) + 3. Let s = j - 105. Does 7 divide s?
False
Is (-13982)/(-5) + 6*(2 - 372/180) a multiple of 6?
True
Suppose 6*g - 4 = 5*g + 2*o, -o = 3*g - 19. Suppose 2*z = -4*w + 2588, 10*w = g*w + 5*z + 2560. Is 48 a factor of w?
False
Let m = 3836 + 2117. Does 51 divide m?
False
Is 55 a factor of -99952*((-3)/(-14))/((-522)/609)?
False
Let z(i) = i**3 + 22*i**2 - 39*i + 14. Let r be z(-13). Let j = r - 902. Is 57 a factor of j?
True
Suppose -6*y = q - 3*y - 11, 2*y = -4*q + 54. Let o be (-49)/7*(10/q + -1). Is 14 a factor of o - 3 - (-142 - (-3 - -4))?
False
Suppose -4*c + 13 = 3*x, -1 = -3*c + 4*x - 10. Let g = 5 + c. Suppose -g*u = -3*u - 27. Is u a multiple of 5?
False
Let u(w) = -1582*w - 128. Is 39 a factor of u(-3)?
False
Let g(z) = -2*z**2 + 58*z + 18. Let o be g(29). Suppose 19*l - o*l - 315 = 0. Is l a multiple of 63?
True
Let m be 6/(-1 - -7) - (1 + 0). Let t(j) = j**2 + j + 255. Is 15 a factor of t(m)?
True
Let s be 4/16*8 - -5. Suppose -s*v + 1240 = -594. Does 28 divide v?
False
Suppose x = -3*y + 15120, -3717*y = -3722*y + x + 25200. Is y a multiple of 56?
True
Suppose 4*h = -z + 48, -h = -5*z + 4*h + 240. Let p = z - 35. Is p a multiple of 2?
False
Let z = -488 + 493. Suppose 4*p - 704 = z*x + 946, 4*p - 1662 = -x. Is 27 a factor of p?
False
Suppose -12*c + 6*c + 30 = 0. Suppose -5*l + 15 = -c*w, 2*l + 2*w = 5*w + 3. Suppose l = r - 9. Is r a multiple of 15?
True
Let w be (-18)/45 + 52/5. Suppose -4*s + p + 8 + w = 0, 0 = 2*p + 4. Let k(f) = 10*f - 13. Does 3 divide k(s)?
True
Let p be -2 + 96/44 - 8/44. Suppose 30*d - 35*d + 20 = p. Suppose -d*w + 8*w = 120. Does 5 divide w?
True
Suppose 18*w = -0*w - 126. Let t(f) = f**3 + 9*f**2 + 8*f - 14. Does 2 divide t(w)?
True
Suppose -13*x - 3285 = -4*x. Let t = 838 + x. Is 29 a factor of t?
False
Suppose -61*k = -72*k + 20350. Is k a multiple of 4?
False
Let k = -117 - -121. Suppose k*w + 255 = o, -o - 4*w = -314 + 99. Is o a multiple of 25?
False
Suppose 3*d - 392 = -11*d. Suppose 3*m = -m + 416. Let p = m - d. Is p a multiple of 19?
True
Let u = 1993 - 1995. Let i(b) = 6 - 2 - 26*b**3 + 2*b + 0 + b**2. Is 23 a factor of i(u)?
False
Let s(w) = -w**2 - 16*w - 14. Let f = -11 - 4. Let p be s(f). Is 26/((-1 + 2)/p) even?
True
Let g be 4 + 1/(2/32). Suppose 0*t - g = -4*t. Suppose -3*q + t*w + 137 = -178, -2*w = -5*q + 506. Does 6 divide q?
False
Suppose 7*w - 6*w + 2841 = 4*g, 0 = -3*w - 3. Suppose -g - 750 = -5*o. Is o a multiple of 16?
False
Let j be 48/(-9)*-1*(-27)/(-12). Suppose -12 = i - 2*a - 0, -5*i = 2*a + j. Does 46 divide i/(-10) + 688/5?
True
Let p be 4325/(-75)*-15*2. Suppose 0 = 5*u + 5, -4*u + 641 = -5*x + p. Does 20 divide x?
False
Is 6 a factor of 13032 + (-20)/(-10) + 22?
True
Suppose 3*m - 9583 - 3739 = -2*u, m - 33279 = -5*u. Is u a multiple of 9?
False
Let f = -12843 + 25406. Does 200 divide f?
False
Let k be -2*(-6)/48 + 38/8. Suppose 11 = 4*l + s - 9, 0 = 3*l - k*s - 15. Suppose y - 4*y + l*a + 528 = 0, 546 = 3*y + a. Is y a multiple of 53?
False
Let f be ((-53)/3)/(6/(-90)). Suppose 4*x - 2*z = 242, 5*x - z = -6*z + f. Suppose 3*y - 44 = x. Is 34 a factor of y?
True
Let w = 210 + -210. Suppose w = -22*u + 28*u - 252. Does 13 divide u?
False
Does 31 divide (1 - -10)*(16 + 3 + 322)?
True
Let k(g) be the first derivative of 2/3*g**3 - g + 10 + 1/4*g**4 + 0*g**2. Is 5 a factor of k(2)?
True
Suppose 4552 - 46594 = -40*r + 38*r. Does 39 divide r?
True
Suppose -5*j - 4*c + 48934 = 0, -9*j + 5*j + 39140 = -4*c. Suppose -j = -30*p + 7074. Does 62 divide p?
False
Let c(j) be the first derivative of -11*j**2/2 + 73*j + 136. Is c(3) a multiple of 37?
False
Let k(j) = -j - 17. Let g be k(-19). Suppose 4*h + 12 = i, -5*i + h - g*h = -165. Does 3 divide i?
False
Suppose 68*s - 56485 = -11*s. Is 26 a factor of s?
False
Let h be 1 + -2 + 1 - -468. Let z(c) = 3*c - 81. Let q be z(32). Suppose q*f = 12*f + h. Is 40 a factor of f?
False
Suppose 0 = -i - 8*i + 27. Suppose 54 = -i*m + 234. Is m a multiple of 10?
True
Suppose 10*z - 14*z - 84 = 0. Let j be 14/z + (-1840)/(-6). Suppose 6*f - 3*f - j = 0. Is 26 a factor of f?
False
Is 17 a factor of (8/(-3))/(-16 - -1 - -13)*44472?
True
Let o(d) = d**2 + 13*d - 61. Let c be o(-17). Suppose -18*v + c*v = -6435. Does 37 divide v?
False
Suppose -l + 0*l - 4 = 0, -4*c + 16 = -2*l. Let w(q) = 391*q - 36. Let r(s) = 78*s - 7. Let g(p) = 11*r(p) - 2*w(p). Is g(c) a multiple of 17?
False
Let h(u) = -u**2 - 14*u - 11. Let w be h(-11). Let p = 22 - w. Suppose 0 = -p*i + 2*i - 220. Is 15 a factor of i?
False
Let d(x) = x**3 + 25*x**2 - 32*x + 24. Suppose 2*j - 13*j = 286. Is 18 a factor of d(j)?
True
Suppose 0 = 3*j - 2*b - 24, -3*b - 7 = -j - 2*b. Suppose 3*c - 4 = 5*o, -2*o = 3*c - 0*o + j. Does 10 divide -99*(5 - (c - -8))?
False
Is 64 a factor of (-25)/((-200)/13496) + -23?
True
Let d = -14026 + 18451. Does 3 divide d?
True
Let m = 4968 - 3353. Suppose 8*y = -2*p + 3*y + 1055, y - m = -3*p. Does 45 divide p?
True
Suppose -43*a = -67*a - 189912 + 522096. Does 224 divide a?
False
Let m be -6*(3/8 + (-357)/504). Suppose -u + 4*u = 3*b + 2268, m*u - 3*b = 1514. Is u a multiple of 13?
True
Let n(a) = -a**3 + 30*a**2 + 10*a - 73. Let f be n(30). Suppose -3*m - 4*o = -178, 2*o - f = -4*m + 7*o. Does 16 divide m?
False
Let g(l) be the third derivative of 35*l**4/8 + l**3/2 - 47*l**2. Does 18 divide g(1)?
True
Let n(q) = 45*q - 28. Let k be n(5). Let j = k + -76. Let b = -42 + j. Is 10 a factor of b?
False
Let q(b) = 36*b - 12. Let s be q(10). Suppose -3*o + o = -s. Suppose 4*x = 6*x - o. Is 32 a factor of x?
False
Let h(v) = 54*v**3 - 4*v + 5. Let q be h(2). Let u = q + -163. Is 7 a factor of u?
True
Suppose -2*l + 1919 = 2*f - 2745, f = -4*l + 2347. Is f a multiple of 32?
False
Suppose -15 = -6*d + 15. Suppose -14*q = -d*q - 216. Does 25 divide 1424/q + 1/(-3)?
False
Suppose c + 30 = -2. Let d be -136*(-5)/50*-5. Let u = c - d. Does 12 divide u?
True
Suppose -4320 = 112*t - 118*t. Suppose 11*w - 5*w = t. Is 4 a factor of w?
True
Let x = -13621 - -25065. Does 111 divide x?
False
Let q(t) = 6*t**3 + t**2 + t - 1. Let n be q(1). Suppose -6 = -n*p + 127. Suppose -3*g + 174 = 2*i - p, 3*g + 377 = 4*i. Is i a multiple of 19?
True
Suppose -w = -3*r + 5 - 22, -4*w + 23 = -3*r. Let g be (-5 + r)*(-1)/2. Suppose -t - a + 59 = 0, g*t + 71 = 5*a + 386. Is 6 a factor of t?
False
Let h = 3989 + -2561. Is h a multiple of 6?
True
Suppose -4*b + 572 = -3*t, 4*b + 3*t - 589 = 7. Suppose 108 + 70 = 2*o + 4*v, -b = -2*o + 4*v. Suppose 0 = 2*m + 10, i + m - 2*m = o. Is i a multiple of 9?
False
Let t(c) = c**3 - 15*c**2 - c + 13. Let m be t(15). Let a(h) = -3*h**2 + 6*h + 7. Let n be a(m). Let u = n + 113. Is u a multiple of 16?
True
Suppose -h - 3344 = -12*h. Is 4 a factor of h + (-3 + 0)*(-136)/(-102)?
True
Let q = -2725 + 6058. Is q a multiple of 149?
False
Suppose 3*w - 3 = 0, 0*n - 2*w - 323 = 5*n. Let s be 1/(-3 + (-200)/n). Suppose 0 = -2*x + s*x - 495. Is 6 a factor of x?
False
Let u(j) = j**2 + j. Let b(v) = -2*v**2 + 5*v + 14. Let z(k) = b(k) + 3*u(k). Let t be z(-6). Let y(g) = 69*g - 5. Does 19 divide y(t)?
True
Suppose -3*f - 8*r + 12*r - 16 = 0, -3*r + 2 = -f. Let j(h) = 2*h**3 + 18*h**2 + 7*h - 9. Is 9 a factor of j(f)?
True
Is (38/4 + -2)*((-88000)/30)/(-20) a multiple of 8?
False
Let q = 157 - 77. Let g = 240 - q. Suppose 5*z - g = t - 3*t, -t = 4*z - 125. Is 24 a factor of z?
False
Suppose 18*t - 1639 = 1421. Suppose l = -3*y + 518, -7*y + 8*y - t = -l. Is y a multiple of 16?
False
Let r = 1646 - 1083. Is r a multiple of 138?
False
Suppose g + 4102 = -10*u + 14*u, 4*u - 2*g - 4104 = 0. Is u a multiple of 5?
True
Let z(y) = 4*y + 4. Suppose -4*s + f + 26 = 0, 8*s - 4*s = -4*f + 16. Is 7 a factor of z(s)?
True
Let u = 763 + -445. Let m = -370 - -589. Suppose -3*j + 2*c = -3*c - u, -c - m = -2*j. Is 37 a factor of j?
True
Let w be (-4 - 1)*(35/(-25) + 1). Let s be 26/w + (-9)/(-3). Is ((-152)/14)/(s/(-56)) a multiple of 19?
True
Let t be ((-39)/(-9) - 3)/((-12)/(-54)). Suppose 9240 = t*l + 8*l. Is l a multiple of 12?
True
Let j(u) = 4534*u**2