 548. Does 3 divide j?
False
Let b(h) = 372*h**3 - 3*h**2 + 9*h - 12. Does 30 divide b(2)?
True
Suppose 4*i = 4*w - 16, 0*w - 2*i = 4*w - 22. Suppose -5*d = 4*p - 3502, -692 = -4*d + 3*d - w*p. Is d a multiple of 39?
True
Let y(n) = -n**2 - 2*n - 15. Let h(o) = o**3 + o**2 + 2*o + 1. Let f(b) = -h(b) + y(b). Is 7 a factor of f(-6)?
False
Suppose -3*t = -2*t - 4986. Suppose -2*q + t = 5*r - 3*q, -2*q - 3984 = -4*r. Suppose 6*o - r = 208. Is 15 a factor of o?
False
Suppose -8*d + 6*d + 2 = 0. Suppose y - d = -2*r - 3, 2*y - 17 = 3*r. Suppose y*k = 3*k + 51. Is k a multiple of 8?
False
Let x(b) = 1963*b - 34. Does 5 divide x(3)?
True
Suppose -24 = 4*o, -4*k + 11*o = 8*o - 60122. Is 11 a factor of k?
True
Is 130 a factor of 6*1116/(-162)*-1377?
False
Suppose -720*y = -20059502 + 2040062. Is y a multiple of 31?
False
Suppose 3*t - 8563 = -k, -26*k + 24*k = -t + 2845. Is 22 a factor of ((-2)/1 + t/27)*3?
False
Let a = 5777 - 2992. Is 15 a factor of a?
False
Is (((-360)/4)/(-9) - (0 + 8)) + 63917 a multiple of 12?
False
Let j = 13 + -6. Let h(o) = -4*o**3 + 11*o**2 + 4*o - 5. Let n(a) = 3*a**3 - 10*a**2 - 3*a + 3. Let z(i) = -2*h(i) - 3*n(i). Is 19 a factor of z(j)?
True
Suppose 141*g - 117501 = -18*g. Is 2 a factor of g?
False
Suppose -4*o = 2*z - 80, -2 + 7 = -o. Suppose 3*j - 8*v = -3*v + z, v + 1 = 0. Does 3 divide j?
True
Let k be (-1 - -3) + 0 + -2. Suppose 620*g - 622*g + 108 = k. Does 5 divide g?
False
Suppose -4*f - i + 117 = -117, 5*f - 280 = 5*i. Suppose -f*o + 63*o = 3315. Is 39 a factor of o?
True
Let s(p) = 374*p**2 - 748*p**2 + 375*p**2 - 3*p - 2. Does 8 divide s(6)?
True
Let k(o) = 17*o - 100. Let w be k(5). Is 8 a factor of (56/21)/(10/w) - -388?
True
Let i be -1*((-3 - -1) + 3). Let q be (-1*i/2)/(1/6). Suppose q*l - 84 = 24. Is l a multiple of 36?
True
Does 19 divide ((-6326)/4)/(369/779 + (-3)/6)?
True
Let m(w) = -12*w + 6. Let a(k) = 5*k - 3. Let n(z) = 5*a(z) + 3*m(z). Is 15 a factor of n(-5)?
False
Let x(v) = 3*v - 25. Let q be x(9). Suppose f = 4*f + 3*o + 9, -q*o = 10. Suppose -183 + 7 = -f*m. Does 11 divide m?
True
Let t = 12 - -18. Suppose 86 = 2*i + t. Suppose -4*l + 77 = -l + 4*k, 2*k + i = 2*l. Is l a multiple of 5?
False
Suppose 2*u + 4*z + 109 + 405 = 0, 5*u - 5*z = -1300. Let g = -97 - u. Is 18 a factor of g?
True
Suppose -2 = -v - 3*n + 7, n + 13 = 5*v. Suppose -v*s - 12 = 0, -3*p - 4*s = -2*p - 14. Is p a multiple of 16?
False
Let x = -28 + 181. Suppose -18*l = -2943 + x. Is l a multiple of 4?
False
Suppose 0 = 5*d - 9*d + 32. Let s(b) = b**3 - 5*b**2 - 7*b + 49. Does 15 divide s(d)?
False
Suppose -5*s = 2*i - 24855 - 45710, -5*s + 3*i = -70565. Does 11 divide s?
True
Suppose -11*o - 68751 = 4*o - 254016. Is 23 a factor of o?
True
Suppose -3*g = -4*u + 7*u - 105, 0 = u - 4*g - 20. Let h(b) = 5*b**3 + b - 1. Let w be h(1). Let r = u + w. Is 28 a factor of r?
False
Suppose 0 = -f + 4*w + 413, -f + 407 = w - 2*w. Suppose 16*i = 15*i + f. Is 27 a factor of i?
True
Let c(f) = -830*f + 95. Is 9 a factor of c(-11)?
True
Let i(t) = -2*t - 8*t + 0*t - t - 16*t - 16. Does 7 divide i(-19)?
True
Let z(a) = -15*a - 1. Let o be z(-5). Suppose 3*t + o - 20 = 0. Is 4 a factor of (-68)/t - (-18)/81?
True
Does 29 divide (206 + -2142)/((-2)/24) + (-3 - 0)?
True
Suppose 15*u - 18 = 6*u. Let n(d) = -d**2 - 9*d + 4. Let x be n(-9). Suppose 3*o + 103 = x*q, -50 = -u*q + 3*o - o. Does 19 divide q?
False
Let h(v) = v**3 + 6*v**2 - 2*v - 6. Let r be h(-6). Suppose 1 - r = -z. Suppose -z*g = 0, -n - 2*n + 2*g + 252 = 0. Does 21 divide n?
True
Is 3 a factor of ((-2)/(12/3951))/((-39)/26)?
False
Let h(x) = 2*x + 44. Let s be h(-21). Suppose 12*r = -5*b + 7*r + 1265, s*r + 506 = 2*b. Is b a multiple of 23?
True
Suppose -632 = 4*r + 3*f, -2*r + 177 = -3*r + 4*f. Let b be (-2)/6 - 676/6. Let z = b - r. Is z a multiple of 5?
False
Let g(m) be the second derivative of 47*m**3/3 - 10*m**2 + 17*m + 3. Is 30 a factor of g(6)?
False
Suppose -3*z + 16 = -2*f, 0*f = -z + f + 6. Suppose 5*x - 124 = -z*g + 214, 4*x = -3*g + 271. Is 14 a factor of x?
True
Suppose 0 = -144*u + 4*u + 1088640. Is 72 a factor of u?
True
Suppose 44*x - 93060 = 29*x. Is x a multiple of 16?
False
Let z be (6/18)/(7/42). Suppose -y - y + 4 = a, 0 = z*a - y - 13. Is a a multiple of 4?
False
Suppose 0 = 2*j + 5*b - 70891, 3*j - 6*b - 106299 = -b. Suppose -j = -31*l + 2*l. Does 47 divide l?
True
Suppose u - 2251 + 7565 = 2*z, -5*z = 4*u - 13324. Is z a multiple of 28?
True
Is 8 a factor of 152/6*((-681)/(-6) + (-1)/(-2))?
True
Let y be 152/(-7) - (-40)/(-140). Let u be (11/y)/(2/(-76)). Let t = u - -61. Is t a multiple of 4?
True
Suppose -2*l + 3*l + i - 33029 = 0, 165138 = 5*l + 4*i. Is l a multiple of 38?
True
Let l be (-2822)/(-10) + (6/(-10))/3. Suppose 0 = 2*s + 2*q - l, 3*s + s - 5*q = 591. Suppose -9*k = -k - s. Does 6 divide k?
True
Let j be (-455 - -3) + (7 - 7). Let k = 680 + j. Suppose 4*c = 964 - k. Is 27 a factor of c?
False
Let b = -978 + 1458. Is b a multiple of 96?
True
Suppose 8*y - 12389 - 17613 - 17774 = 0. Does 43 divide y?
False
Suppose 2*q - 14504 = -4*p, -12997 - 1537 = -4*p + 3*q. Is p a multiple of 2?
False
Let s(f) = 38*f**2 + 2*f - 19. Let h be s(-4). Suppose 5*l + 2856 = 5*t + h, -4*l = 4*t - 1812. Is t a multiple of 28?
False
Suppose -25*a + 192 = -9*a. Let k(q) = -q**3 + 14*q**2 - 8*q - 6. Let j be k(a). Suppose -40*o + 34*o = -j. Is 31 a factor of o?
True
Let q(k) = -3*k + 120. Let m be (-1030)/70 + (-2)/7. Is q(m) a multiple of 6?
False
Let r(z) = 447*z**2 - 414*z - 1671. Is r(-4) a multiple of 41?
False
Let b(q) be the third derivative of -q**6/120 + q**5/10 - 5*q**4/24 + 35*q**3/6 - 34*q**2. Let n be b(6). Suppose -67 = -2*g + n. Is 36 a factor of g?
True
Let b = 70 - 67. Suppose z - 8*p = -3*p + 226, -5*z = b*p - 1186. Is (-18)/(-3)*z/12 - 2 a multiple of 11?
False
Is 14/4*5/(-35) - 93/(-6) a multiple of 3?
True
Let j = 258 - 250. Suppose j*k - 453 = 7*k. Does 20 divide k?
False
Suppose 2*r - 10 - 24 = -x, -5*r = 4*x - 91. Suppose -r = -y - 11. Suppose y*i + 2*l - 526 = 0, -2*i - 4*l = 3*i - 662. Is 13 a factor of i?
True
Let g be -585 + -4*21/28. Does 45 divide (-9)/3 - (0/(-1) + g)?
True
Let w be -7*(-35)/49*17/5. Suppose w*m = 3454 + 6797. Does 12 divide m?
False
Let h = -3344 - -3623. Is h a multiple of 4?
False
Let q be 31/(10/24 - (-11)/(-44)). Let l = q + -372. Is 2/((2/l)/((-84)/72)) a multiple of 24?
False
Let h = 44 - 44. Let f(j) = 4*j**2 + 11*j + h*j**2 - 2 - 14*j + 8*j. Is 4 a factor of f(2)?
True
Let w(y) = y**3 - 7*y**2 - 23*y + 2. Let p be w(13). Let k = p - 440. Is 11 a factor of k?
False
Let p be (-3)/(((-4)/3)/4). Let u = -9 - -17. Suppose -7*f - p = -u*f. Does 2 divide f?
False
Suppose -5*z = 3*o + 13, -4*o - 6 = -2*z - 32. Suppose b + 2262 = 2*r - 670, -b + 5858 = o*r. Is r a multiple of 22?
False
Let c(s) = -2*s**2 + 17*s - 8. Let j(p) = -p**2 - 21*p - 30. Let y be j(-19). Let r be c(y). Suppose r = -4*h + 4, 0*z + 4*h - 133 = -z. Does 20 divide z?
False
Let h(c) = 448*c**2 + 58*c + 248. Does 50 divide h(-4)?
False
Let z(f) = -3*f**2 - 39*f - 15. Let h be z(-17). Let s = h + 410. Is 25 a factor of s?
False
Is 328 a factor of 2 + (6 - -4) - (-17 + -31524)?
False
Suppose 183*f = 179*f + 32. Suppose -f*p = -5*p - 276. Let h = p + -7. Is 10 a factor of h?
False
Let p = -9080 - -23588. Is p a multiple of 62?
True
Suppose -2*v + 32719 - 4745 = 5*o, -o - 2*v = -5598. Is 37 a factor of o?
False
Let j(a) = -3*a - 76. Let y be j(-24). Let s be (-4 - (y - -5)) + 8. Suppose s*h - 6*h + 3 = 0, -5*q + 3*h + 677 = 0. Is q a multiple of 8?
True
Suppose 3 = -9*s + 30. Suppose 0 = s*p + a - 580, -47*p - 3*a = -42*p - 972. Is p a multiple of 12?
True
Let u = 463 + 304. Suppose 5*f - 673 = u. Is f a multiple of 30?
False
Let i(l) be the first derivative of 11*l**4/2 + l**3/3 + l**2 - 3*l - 30. Is i(1) a multiple of 8?
False
Suppose a = 17 - 14. Suppose -a*f + 90 + 90 = 0. Let s = f + -20. Is 17 a factor of s?
False
Suppose -7*m + 17*m = 8*m + 1952. Is m a multiple of 8?
True
Suppose 0 = -5*s - s + 6. Suppose -4*l + 13 = s. Suppose 0 = -l*h - n - 2*n + 81, 3*n = 5*h - 103. Is h a multiple of 4?
False
Suppose -5*f + 45 = -8*f. Let s be ((-9)/f)/(1/5). Suppose -s*t - 3*t = -144. Is t a multiple of 5?
False
Let c(t) = 2297*t - 45. Let d be c(5). Su