4?
False
Let j be (137/(-2))/(12/8 - 2). Suppose 0 = -4*h + 3*v - 37 + 570, j = h + 3*v. Let p = 234 - h. Is p a multiple of 10?
True
Suppose u - 28*g + 24*g - 1395 = 0, -3*u + 4131 = -3*g. Is u a multiple of 12?
False
Let v(p) = -105*p + 126. Let t be v(5). Let b = t + 906. Is b a multiple of 39?
True
Suppose -532*s = -543*s + 6798. Is 3 a factor of s?
True
Suppose -3*o = -3*u - 16854, -4*u + 18567 - 1741 = 3*o. Is 36 a factor of o?
False
Let f(z) = z - 56 + 34 - 2*z. Let k be f(-7). Let x = k + 55. Is 8 a factor of x?
True
Suppose 3*w + 4*r - 351 = 2*r, 2*w - 234 = -r. Let l = w - -140. Let z = l + -167. Is 30 a factor of z?
True
Let v be 35/(-28)*(506/(-2) + 1). Let k = v + -147. Does 14 divide (4/3)/(8/k)?
True
Suppose -5*j - 436 + 1356 = 0. Suppose -3*v = j + 365. Let u = -75 - v. Is u a multiple of 19?
False
Let y(c) = -8*c**2 + 7*c - 12. Let l be y(5). Let j = l + 193. Is 8 a factor of j?
True
Let t = 463 - 274. Suppose 7*f = 5*g + 2*f - 1005, g - t = -3*f. Does 11 divide g?
True
Suppose -68470 - 43530 = -32*c. Is c a multiple of 20?
True
Let n = 35 + -19. Let r(z) = -3*z**2 - z + 4. Let w be r(-3). Is 7 a factor of 564/n - (-5)/w?
True
Suppose 43*c = 11*c + 288. Suppose 3*m - c = -0*m, 2*w - 693 = -3*m. Does 38 divide w?
True
Suppose 5*j - 3*y - 49049 = 0, -3*j + 17974 = -3*y - 11453. Is j a multiple of 207?
False
Suppose 5*i - 5*x - 14538 = 24957, 4*x = 3*i - 23701. Does 7 divide i?
False
Let k(w) = 2*w**2 - 106*w + 772. Does 34 divide k(142)?
False
Let b be ((-2)/(-3))/(3/9). Suppose -2*l - 4*q + 520 = 0, 5*l - 1317 = -5*q - b. Suppose 4*p - l = h + 2*h, 4*p = -2*h + 256. Does 12 divide p?
False
Let b(y) = y**2 + 12*y - 62. Let g be b(4). Let n(d) = 109*d**2 - 14*d + 10. Is 38 a factor of n(g)?
True
Let i(q) = -q**2 - 4*q - 8. Let f be i(-2). Does 17 divide (45/((-20)/f)*-17)/(-1)?
True
Let y be (-60)/16 + 4 - (-310)/8. Is (-6)/(-4)*1612/y a multiple of 31?
True
Let x = -205 - -205. Suppose 20*r - 22*r = -4*i - 1296, -3*r + 3*i + 1959 = x. Is r a multiple of 7?
True
Let r = 381 + -213. Suppose -r = -10*l + 14*l. Does 8 divide l/(-147) - 866*(-1)/7?
False
Let d(r) be the second derivative of -r**4/6 - 35*r**3/3 + 38*r**2 + 4*r + 8. Is d(-33) a multiple of 16?
True
Suppose 0 = -4*w - 8 + 20. Suppose w*y + y = -2*c + 12, 3*y - 20 = 4*c. Suppose y*n + 64 = 4*p, 4*p - 3*n - 18 - 43 = 0. Is p a multiple of 2?
False
Let w(j) = -9*j**3 - 2*j**2 + 27*j**3 - 13*j**3. Let m be w(1). Is 6 a factor of m/(-3*1/(-24))?
True
Let d(t) = -13*t - 9. Let y be d(0). Is (y - (-405)/36)*(-64)/(-3) a multiple of 8?
True
Let k(c) = -29*c - 26. Suppose 0 = 3*a - 287 + 275. Let j(g) = 15*g + 13. Let p(d) = a*k(d) + 7*j(d). Is 14 a factor of p(-5)?
True
Let o = 1758 + -344. Does 91 divide o?
False
Let k(x) = 75*x**2. Let v be k(1). Suppose -26*p = -20*p - 36. Is 20 a factor of p*v*10/45?
True
Let r(b) = 35 - 3*b - b + b. Is 5 a factor of r(3)?
False
Let k be 3/(-6)*-10 + (40 - 33). Suppose -8044 - 6548 = -k*b. Is b a multiple of 64?
True
Suppose -5637 = -846*m + 843*m. Suppose 0 = 5*d - 171 - m. Does 10 divide d?
True
Suppose w + 0*w + 23 = 0. Suppose 238*j + 420 = 231*j. Let l = w - j. Is l a multiple of 12?
False
Does 29 divide (8 - (-8 + 2) - 8)/2*2842?
True
Let i be 13/2 - 8/((-160)/(-30)). Is 14 a factor of 25/i*23 + -3?
True
Let a(k) = 5342*k**3 + 9*k**2 - 32*k + 22. Is a(1) a multiple of 109?
True
Let b be 4/(-12)*3*(-9)/3. Suppose -1446 = -4*g + b*h, 6 = -6*h + 3*h. Is 30 a factor of g?
True
Suppose 1135*w - 11305 = 1116*w. Let b(j) = 51*j**3 - 4*j**2 - 4*j - 3. Let k be b(-2). Let i = w + k. Does 40 divide i?
False
Suppose 25*m - 36*m + 13013 = 0. Suppose -m + 3767 = 8*c. Is 19 a factor of c?
True
Let m(y) = -8*y - 42. Suppose 0 = -0*c - 11*c - 66. Let q be m(c). Is 29 a factor of ((-13)/(26/(-300)))/(q/4)?
False
Let c = -2 + -308. Let m = -239 - c. Does 71 divide m?
True
Suppose 275115 = 328*y - 664605. Does 6 divide y?
False
Let x = 270 - 81. Let k(g) = -g**2 - 10*g - 18. Let p be k(-12). Is 17 a factor of x/(-6)*72/p?
False
Suppose 13*h + 4070 = 18*h. Let f = h + -575. Is f a multiple of 4?
False
Let p be ((-24)/15)/((-130)/(-25) + -5). Is 7 a factor of (-10)/p - (-1614)/8?
True
Suppose 14*k + 522970 = 28*k + 21*k. Is k a multiple of 11?
False
Let o(r) = 945*r**2 + 2*r + 11. Let y be o(-5). Suppose -32*n + y - 266 = 0. Is 15 a factor of n?
False
Let w = 289 - 286. Suppose 4*x - 112 = -2*f, w*x - 5*f - 10 - 48 = 0. Is x a multiple of 6?
False
Suppose -g = -5*g - 5*x + 245, g - 3*x = 74. Suppose -g - 271 = -2*z. Is z a multiple of 28?
True
Suppose -37105 - 45887 = -26*o. Suppose 4*y - o = -15*y. Is y a multiple of 24?
True
Let d(g) = -3*g**3 + 13. Let u be d(-3). Is 10 a factor of u + -1 + 3/(-1)?
True
Let p = 14871 - 5756. Is 77 a factor of 4 + p/30 + (-2)/(-12)?
True
Let z(d) = d**3 - d + 38. Let b be z(0). Let c = 17 + b. Is 23 a factor of c?
False
Suppose 9*k - 324 = 13*k. Let x = -79 - k. Suppose 5*r - 4*y - 240 = 0, -x*r + 49 + 40 = -3*y. Is r a multiple of 13?
True
Does 225 divide 4567/((-10)/(-640)*8) - (1 + -8)?
False
Let c(b) = 23*b - 62. Let g be c(3). Let y(p) = 2*p**3 + 5*p**2 - 12*p - 1. Does 25 divide y(g)?
False
Let p(t) = -28*t + 50. Let z be p(-10). Suppose -179*b + z = -177*b. Is b a multiple of 5?
True
Is 108708/11 + (-144)/264 a multiple of 54?
True
Let k be 5 - (-1 + (-2)/1). Let j be -116*k/(-2 + -2). Suppose -2*h = -2*i - j, 3*h - 463 = -h + 3*i. Is 23 a factor of h?
True
Let r(l) = -16*l - 189. Let w be r(-12). Suppose 0 = 2*g + w*h - 1157, -258 = -5*g + 2*h + 2663. Does 11 divide g?
True
Suppose -6*q - 69 = -177. Suppose q*v - 983 = 1951. Is 8 a factor of v?
False
Let q = 30497 + -497. Suppose 17*h - 47*h = -q. Is 29 a factor of h?
False
Suppose -4*n - 1 = -2*i - 37, -4*i - 9 = -n. Suppose l = -n*l - 610. Let g = l + 73. Does 2 divide g?
True
Let q(f) = 855*f**2 - 7*f + 19. Let o be q(2). Suppose 19*d - o = 5600. Does 19 divide d?
True
Is 29 a factor of (-13253 + -106)*2/(-6)?
False
Let z = 5 + 20. Let b = 1610 - 1608. Suppose b*h - z = 229. Is h a multiple of 23?
False
Let p(n) = -n**2 + 18*n - 9. Let w be p(-4). Does 3 divide w/(-2) - -2*(-9)/(-36)?
False
Suppose -3*b - 7*n = -3*n - 25, 2*b - 18 = -3*n. Suppose -b*o + 25 = -4*o. Is (o + -8)/((-6)/4) a multiple of 10?
False
Suppose -2*s - 1570 = -3*s + 5*z, 3*s = -3*z + 4638. Suppose -3*k = -4*b - 0*b - s, -4*b + 490 = k. Is k a multiple of 56?
False
Let l = -2116 + 12606. Is 12 a factor of l?
False
Let a = 1095 - 645. Is -4 - a/21*(-5 + -2) a multiple of 23?
False
Let b be 0/(30/(-6) + 3). Is 23 a factor of (-11 - -9) + (2 - b) + 138?
True
Let k = 12753 + -8042. Does 11 divide k?
False
Let r(q) be the first derivative of -q**4/4 + 13*q**3/3 - q**2/2 + 4*q + 7. Let c be r(8). Suppose -5*u + g + 180 = -c, 2*u - 5*g = 180. Does 20 divide u?
True
Suppose -3*p = -7 - 2. Suppose j + 14*j = 5640. Suppose 0 = p*u + 88 - j. Is 24 a factor of u?
True
Let o be (-4)/(80/12) - 86/(-10). Let v be (6 - 108/o)*(-4)/6. Suppose 132 = v*u - 23. Is u a multiple of 17?
False
Let m be 0/((-2 + 3)*(-2)/(-2)). Suppose m = j - 5. Suppose -146 - 59 = -j*g. Is g a multiple of 29?
False
Suppose d - 2075 = -2*d + 1210. Does 16 divide d?
False
Suppose 4*p = -5*j + 728, -21*p - 298 = -2*j - 26*p. Let n be (-436)/7 - 4/(-14). Let g = j + n. Is 8 a factor of g?
False
Suppose -l - 460 = r, -4*l = -5*r - l - 2340. Let v be ((8/3)/(-4))/((-4)/(-6)). Is (r/(-3))/(-1)*v a multiple of 45?
False
Let d(o) = 147*o**2 - 146*o - 112. Is d(12) a multiple of 254?
True
Suppose -65 + 269 = 2*y. Let x be (1 + 0)*(y + -10). Suppose -7*q - x + 344 = 0. Is 6 a factor of q?
True
Let z = 53 - 48. Suppose 0 = z*l - 10 + 5. Is 16 a factor of 432/(6 - 2) + l?
False
Let m(i) = i**3 + 20*i**2 + 4. Let v be m(-20). Suppose -2*u - 60 = -v*p + 2*u, 0 = -2*u - 10. Does 10 divide p?
True
Is (16758/42)/(1/24) a multiple of 114?
True
Let k = 637 + -410. Let t = 27 + k. Suppose -82 - t = -4*a. Does 23 divide a?
False
Let n(a) = -149*a + 1. Let i be n(-7). Suppose 5*l - 4*t - 406 = i, -3*l - 5*t = -907. Is 57 a factor of l?
False
Suppose 5*d = -15, 64*f - 5*d = 60*f + 2875. Is f a multiple of 55?
True
Suppose -13*z - 149 - 20 = 0. Let o(g) = -g**2 - 17*g - 50. Let s be o(z). Suppose 5*l = 20, -4*h - s*l = l - 184. Is h a multiple of 39