 of 4?
True
Let x(h) = 2*h**3 - 40*h**2 - 2*h - 47. Let r be x(20). Is 8 a factor of 6/21 + 660/(-126)*r?
True
Suppose r - 3 = -o - o, -2*r = -2*o - 12. Suppose 0 = -3*h + r*w + 125 - 9, -w + 2 = 0. Is 8 a factor of h?
False
Let r be 0/(-32) - 506/2. Let s = r + 308. Does 13 divide s?
False
Let t = 124 - 121. Suppose t*x - 364 = -5*g + 924, 4*x = 3*g + 1727. Does 12 divide x?
False
Let t(d) = d**3 - 4*d**2 - 2*d + 9. Suppose 3*j - 14 = -2. Let p be t(j). Does 16 divide (34 - 1) + p/(-1)?
True
Suppose 5*s + 2*w - 10585 = 0, 2*s = -3*w + 1202 + 3021. Is s a multiple of 70?
False
Is 11504 + 90/(-15) - -2 a multiple of 24?
False
Suppose 0*f - 4*u = 3*f - 8, 0 = f - 4*u - 8. Suppose -46*y = -f*a - 41*y + 151, a = 3*y + 43. Does 2 divide a?
True
Let m(z) = -z**2 - 17*z + 6. Let f be m(-7). Is 350/4 + (9 - f/8) a multiple of 19?
False
Let j be ((-16)/(-10))/(5/200*2). Suppose -28 - j = 2*q. Is (24/q)/((-4)/50) a multiple of 2?
True
Let d = -7 - -2. Let t be 3/2*(-1 - d/3). Is 7 a factor of 273/(t - -2)*(-1 + 2)?
True
Suppose 10*i - 18015 = 5*i. Suppose -4*v - i = -4*c + v, 2*v + 897 = c. Suppose c = 6*w - 689. Is w a multiple of 34?
False
Is 15 a factor of (-9 + 7 - 42/(-20)) + 560795/50?
False
Let k(u) = -24*u + 53. Let j be k(-16). Suppose 3*n + 221 = g, 2*g + 7*n = 8*n + j. Does 27 divide g?
False
Let g be ((-287)/112*4)/(2/(-8)). Suppose 8*b = 79 + g. Is b a multiple of 10?
False
Suppose -5*r + 5 = 0, -b - 3*r = -7 - 0. Suppose -b*x + 458 - 18 = -4*c, -3*x = -4*c - 333. Does 41 divide x?
False
Let t(b) = -b**3 - 9*b**2 + 14*b + 20. Let a be t(-10). Let p be a/3 + 10/15. Let z(x) = -4*x - 9. Does 3 divide z(p)?
True
Suppose 5*x - 33 = -2*z, -3*z = 4*x - 0*z - 32. Suppose -2*u - 43 - 2 = -x*k, -3*u = -k + 9. Suppose 50 = k*d - 4*d. Is d a multiple of 3?
False
Suppose 25*m - 159705 = -164*m. Is m a multiple of 19?
False
Is 5 a factor of (-1 + 4)/((-20)/3900*-13)?
True
Let k(c) = -c**2 - 13*c - 17. Let m be k(-12). Let o(u) = -u - 5. Let h be o(m). Is 29*(9/3 + h) a multiple of 29?
True
Let c(r) = 9*r + 503. Let j be c(-29). Suppose -8*g - 681 = 4*s - 3*g, -5*s = -g + 815. Let h = s + j. Is h a multiple of 28?
False
Let d be 2/(1 + (-2)/4). Let w(m) = 4*m**2 - 80*m + 636. Let y be w(9). Suppose -v + d*v = y. Is v a multiple of 20?
True
Suppose -5*y - 2*o + 1 = -27, -3*y + 4*o = 4. Suppose 4*j - 276 = 2*j. Suppose y*n = -a + j, 2 = 3*n + 11. Is a a multiple of 15?
True
Does 85 divide 71*(5270/124)/(1/2)?
True
Suppose 5*a + q - 67262 = 110388, -3*a = -2*q - 106590. Does 190 divide a?
True
Is 223 a factor of (-40)/(-45) + 9207820/333?
True
Let y(l) = l**2 + 9*l + 6. Let d be y(6). Let k = 144 + d. Is 40 a factor of k?
True
Let h(r) = -32*r - 101. Let t(c) = 32*c + 101. Let i(v) = -3*h(v) - 4*t(v). Is 27 a factor of i(-5)?
False
Is 2 a factor of 70/(60/(-8) - -8)?
True
Let k(i) = 13*i**3 + 31*i - 5. Does 3 divide k(4)?
True
Let q be ((-46)/(-8))/((-20)/(-80)). Let f(j) = j**3 + 52*j**2 - 5 - 25*j**2 - 2*j - q*j**2. Is f(-4) a multiple of 2?
False
Let i be -909 - -91 - -2*2. Let p = -461 - i. Is p a multiple of 31?
False
Let b = -250 + 634. Does 55 divide 16538/24 + (-32)/b?
False
Suppose -p + 1675 = 5*f, 9*f - 1005 = 6*f + 4*p. Suppose 0 = -d + 4*q + f, -d + 138 = -3*q - 195. Does 57 divide d?
False
Let f(q) = 29*q**2 + 366*q - 4179. Does 57 divide f(12)?
True
Suppose f = -k + 25329, -2*k + 13755 = 5*f - 112905. Does 10 divide f?
False
Suppose 0 = 2*q - 6, q = 3*s + 2*q - 1248. Suppose 4*g - 103 = 3*g + p, -4*g = -3*p - s. Let c = g - 22. Does 35 divide c?
False
Suppose 0 = -100*l + 102*l + 5712. Is 5 a factor of -1 - 8/(-10) - l/30?
True
Suppose 23*p = 28*p + 4*v - 14734, 0 = -p + 5*v + 2912. Does 64 divide p?
False
Let i(j) = 58*j**3 + 2*j**2 - 18*j + 20. Does 52 divide i(4)?
True
Let c(g) = 6*g**3 + 9*g**2 - 17*g + 8. Suppose 4 = -2*i + 4*j - 4, 3*i = 3*j. Is c(i) a multiple of 13?
True
Let d = -27 - 6. Let n be 5 - (-5 - (4 - d)). Let g = -29 + n. Is g a multiple of 5?
False
Let h(d) = 2*d**2 + 16*d - 90. Let g be h(17). Suppose w - 4*n - g = 0, 4*w - 6*w + 1542 = 3*n. Is w a multiple of 12?
True
Let r(y) = -9*y + 12. Let c be r(1). Suppose c*f = -4 - 11, -5*x + 115 = -2*f. Is x a multiple of 13?
False
Suppose 362 = -5*s + 82. Let n = s + 24. Is (-1572)/n + 2/(-16) a multiple of 7?
True
Let q(f) = 55*f - 13. Let s be q(1). Let g = 12 - 7. Suppose 0*z = 3*z - j - 22, -j = g*z - s. Is 4 a factor of z?
True
Suppose 20*r + 3486 + 3034 = 0. Let v = 444 + r. Does 59 divide v?
True
Suppose 5*u = -1 + 26. Suppose -u*d - 6*o = -o - 810, -2*d + o + 318 = 0. Let r = d + 44. Is r a multiple of 51?
True
Suppose x - 10*x = -2403. Let c = x - 129. Is 46 a factor of c?
True
Let y(w) = w**3 + 3*w**2 - 5*w - 3. Let g be y(-3). Let x = 3901 + -3857. Suppose -2*f + x = -g. Is 28 a factor of f?
True
Let s(c) = 275*c + 33. Let d be s(2). Suppose 4*a - d = 5401. Is 68 a factor of a?
True
Let h be 8/(-12) + -8*15/(-18). Suppose -325 = -h*d + 53. Is (-1)/5*d*-10 a multiple of 14?
True
Let v = -11 - -8. Is (87 + 5 + v - 5) + -2 a multiple of 27?
False
Let d(y) be the second derivative of 4*y**3 - 29*y**2 + 156*y. Is d(29) a multiple of 67?
False
Let l = 2764 + -1500. Suppose v - l = 3*a, a + 5034 = 5*v - v. Is v a multiple of 17?
True
Let k(b) = -744*b - 5. Is 30 a factor of k(-1)?
False
Let y = 15761 + 1102. Does 73 divide y?
True
Suppose 16*z - 68101 = -63*z + 62723. Does 2 divide z?
True
Suppose -2101 = -3*u + 2*k, -2117 = -0*u - 3*u - 2*k. Suppose -b - 12 + u = 4*q, 3*b + 3 = 0. Is q a multiple of 18?
False
Let s(i) = 3*i - 8. Let l be s(4). Suppose 0 = v - 5*v - l. Is v/2 + 333/6 a multiple of 11?
True
Let a be 1377/(-18)*2/(-1). Let u(w) = w**3 - 7*w**2. Let d be u(7). Suppose -2*i + 5*i - a = d. Is 51 a factor of i?
True
Let t(q) = -29*q + 1460. Is t(-20) a multiple of 34?
True
Let d = -200 + 203. Suppose d*q - 3904 = -13*q. Is q a multiple of 8?
False
Let j(a) = 198*a**2 - 85*a + 732. Is j(12) a multiple of 16?
True
Suppose 5*z = 3*u - 27 + 8, -u + 1 = z. Suppose 4*m = u*w + 40, 0 = 4*m + 11*w - 6*w - 72. Suppose -m*h + 14*h = 11. Is h a multiple of 11?
True
Let g = 45 + -41. Suppose g*i + 11 - 19 = 0. Is 39 a factor of (532/(-6))/(-2)*(i - -1)?
False
Suppose 0 = -4*p - 4*o + 49548, -16*p + 61967 = -11*p - 3*o. Is p a multiple of 11?
False
Let l = 1371 + -845. Suppose 0 = 5*a + o - l, 2*a - 6*o - 232 = -o. Is a a multiple of 21?
False
Suppose 0 = 63*b - 64*b + 934. Suppose 9*d - 389 - b = 0. Does 7 divide d?
True
Let y = -423 + 222. Let d = 324 + y. Is 12 a factor of d?
False
Let p = 8005 + -4745. Is 12 a factor of p?
False
Suppose -2*y + 16 = -6*y, -v = -3*y - 35. Let q = v + -21. Suppose -q*m = -m - 14. Is m a multiple of 7?
True
Let a(y) = 36*y**3 + 2*y**2 + y. Let u be a(-1). Let c be (-2)/5 - 84/u. Suppose 8 + 50 = c*i. Is 23 a factor of i?
False
Let m be (-1086)/(-12) - 1/2. Suppose 8*f = 5*f + m. Is 5/(-2)*(-624)/f a multiple of 13?
True
Let w(f) = 6*f**2 + 32*f - 33. Let g be w(1). Suppose 5*p - g*v = 1880, 3*p - 6*v + 5*v - 1128 = 0. Does 4 divide p?
True
Let d = 36731 + -22367. Is 57 a factor of d?
True
Suppose 3*x - 4*c = -25, 2*x + 79*c + 26 = 84*c. Let z(v) = -v + 10. Let a be z(0). Let d = a - x. Does 4 divide d?
False
Let u(t) = 32*t**2. Let o(y) be the first derivative of -y**4/2 - y**2/2 + 2*y + 3. Let j be o(1). Does 7 divide u(j)?
False
Suppose -d - 2*d = -6. Suppose -3*j - d*j + 100 = 5*l, -j - 5*l + 24 = 0. Suppose r - j = 33. Is r a multiple of 10?
False
Is 1 + 6 + 15 + 7062 a multiple of 23?
True
Let f = -106 + 135. Suppose f*a = 33*a - 288. Is 24 a factor of a?
True
Suppose -241*n - 28413 = -250*n. Is n a multiple of 7?
True
Suppose -5*g + 65 = -0*g. Suppose g*x = -674 - 964. Is (-18249)/x - (1 + 14/(-12)) a multiple of 29?
True
Let x(q) be the third derivative of 2*q**4/3 + 8*q**3/3 + q**2 + 4. Let w be 3 - (-1 - 2/2). Does 24 divide x(w)?
True
Suppose 27 = 45*l - 42*l. Suppose -l*f = -24*f + 5835. Does 9 divide f?
False
Does 25 divide (10330 - 12)/11 + 5?
False
Let r be 4/((-20)/45*-3). Let m be -2*r*(-14)/42. Suppose -m*v = -4*n + 188 + 224, -5*n + 3*v = -517. Is 42 a factor of n?
False
Let o(n) = -n**3 + 36*n**2 + 39*n + 1827. Is 35 a factor of o(33)?
False
Suppose 0 = 3*b - 6*b + 15. Suppose -4*f + b*l = -2*f - 1210, 4*f = 2*l + 2388.