omposite number?
True
Suppose 53*c + 42*c + 2441883 = 98*c. Is c prime?
True
Suppose 39118 = -14*h + 290320. Is h composite?
True
Suppose -20*y - 16774 = b - 15*y, -4 = -4*y. Let a = b + 29408. Is a prime?
False
Let r(c) be the second derivative of c**6/120 + c**5/30 + c**4/8 - 11*c**3/6 + 4*c**2 + 4*c. Let q(a) be the first derivative of r(a). Is q(6) composite?
True
Suppose -42*j = -43*j + 3. Suppose 0 = -j*g + 25 + 176. Let m = g - -82. Is m composite?
False
Let r(d) = 615*d - 98. Suppose -4*p = -3*m + 40, -4*p + 6 = 3*m - 2. Is r(m) a composite number?
True
Suppose -1310741 = -3*n + z, -27*n + 31*n = -4*z + 1747644. Is n a composite number?
False
Suppose 0 = 2*h + p - 175953 - 28971, 2*h = 2*p + 204930. Is h a composite number?
True
Is 47 + -32 + (-13826)/(-1) a composite number?
False
Let a = -4444 + 1002. Is a*(4 - 6/3 - 3) a composite number?
True
Let t(m) be the third derivative of -m**6/120 + 7*m**5/60 - m**4/12 + m**3/6 - 2*m**2 + 3. Is t(-13) composite?
False
Suppose -5*i = 5*y - 25455, -i + 15722 = 3*y + 457. Let q = 3481 - y. Let d = -903 - q. Is d a composite number?
True
Let y(l) = 46256*l + 13575. Is y(13) prime?
False
Let f = -42181 - -98480. Is f composite?
False
Let b(v) = 93*v**2 + 196*v - 43. Is b(20) composite?
False
Suppose 0 = 233*l - 235*l + 6. Is 10288/l + (-260)/(-156) composite?
True
Let s(a) be the first derivative of 3278*a**2 - 38*a - 176. Is s(1) a composite number?
True
Let r = 295311 + 52838. Is r prime?
True
Is 91/(-819) - 18143*(-8)/9 prime?
True
Let w(t) = t**3 - 4*t**2 + 5*t - 4. Let q(x) = x**2 - 6. Let v be q(3). Let o be w(v). Suppose n + 7*f = 2*f + 330, -700 = -2*n - o*f. Is n a composite number?
True
Suppose 103*h - 10*h - 34450 = 467843. Is h a composite number?
True
Suppose 25*q + 5476 = 30*q + 4*b, 2*q = -4*b + 2200. Let x = q - -169. Is x prime?
False
Is ((-12)/16)/(24/114248)*(-9 + 5) a prime number?
True
Suppose 32*k + 48 = 16*k. Is k + (2442*(4 - 2) - -2) a prime number?
False
Let g be (1*2)/((-8)/(-3736)). Let f = 279 + g. Let t = f - 764. Is t a composite number?
False
Let s(i) = -i**3 + 8*i**2 - 70*i - 278. Is s(-29) composite?
False
Suppose 10*u - 9*u - 4*n = 6107, 0 = -n. Suppose -u - 2084 = -f. Is f composite?
False
Let o = 652 + -447. Let a = o - 190. Is a prime?
False
Is (1/(-2))/((129/9269252)/((-6)/4)) composite?
False
Let g(o) = 5*o**2 + 8*o + 1. Let m be ((-4)/(-10))/(2*4/40). Suppose -m*c + 16 = -4*c. Is g(c) a prime number?
True
Suppose 65940 = 12*q - 193824. Is q composite?
False
Suppose 3*s - 25968 = -5*t + 54609, -3*t = -s - 48349. Suppose 0 = 66*k - 54*k - t. Is k prime?
False
Suppose -378265 = -5*y - 5*b, -3*y + 29*b - 34*b + 226955 = 0. Is y prime?
False
Let g be (0 - 5) + 3 + 7. Suppose 4*h - 13538 = -5*i + 1251, h = g*i + 3666. Is h a prime number?
True
Let k(l) = 4547*l**2 + 188*l - 29. Is k(-4) prime?
True
Let x = -2 + -2. Let n be 9/(9/4) + x + -1. Is (6/18)/(n/(-2361)) a prime number?
True
Is 673340/6 + ((-8)/(-36))/(66/(-99)) a composite number?
False
Suppose 0 = 3*o - 5*c - 0 + 2, 2 = o - c. Suppose 4*a + o = 3*t - 3, -5*t = a - 38. Suppose -t*s = -944 - 6763. Is s prime?
False
Let t be (-2 - 3) + (4 - -1 - -1141). Suppose 7*i - t = 5208. Is i prime?
True
Is -33171*((-170)/30)/17 prime?
True
Let m = 2737 - 1030. Let a(z) = -12*z + 13. Let y be a(-6). Let v = m - y. Is v a prime number?
False
Let q(t) = -t**2 + 17*t + 15. Let w(z) be the third derivative of z**5/30 + z**4/12 - z**3/3 + z**2. Let v be w(2). Is q(v) prime?
False
Let g = -64537 + 132380. Is g a composite number?
False
Let h(a) = 346*a**2 + 10*a - 17. Suppose 16 = o + 13. Is h(o) composite?
True
Let c(z) = -4042*z - 5. Let r be c(1). Let n = r - -6349. Is n a prime number?
False
Let m = 4687 - 1929. Suppose -2*h + m + 6378 = 0. Let d = 10323 - h. Is d composite?
True
Suppose h + 54 = 79. Is 5*(40/h + -1) - -3788 a composite number?
True
Let s(k) = k**3 + 8*k**2 - 19*k + 11. Let j be s(-10). Is (-22941)/(-33) - (45/(-55) + j) prime?
False
Let i = 465 - 463. Suppose s + i = 0, 20*j - 24*j = -4*s - 14364. Is j a prime number?
False
Suppose -139*o + 7943624 + 310052 + 3752727 = 0. Is o composite?
True
Is 15/20 + (79774335/20)/27 prime?
False
Let m = -73 - -77. Suppose -4*i + g = 2229, -150 - 1525 = 3*i - m*g. Let r = -175 - i. Is r prime?
False
Let t = -446 + 451. Suppose -4*z = 4*m - 4184, -t*m = -8*z + 10*z - 5239. Is m composite?
False
Suppose 6*n = 5*n + 755. Let b be 0*((-2)/(-5))/((-12)/(-30)). Suppose -3*v + 5*r + 9429 = b, 0 = -4*v + r + n + 11817. Is v a prime number?
False
Let p = -3846505 + 6461748. Is p a prime number?
True
Suppose 6 = -2*i - 4. Let q(f) = 5*f**3 - 4*f**2 + f + 7. Let g(y) = 9*y**3 - 7*y**2 + 2*y + 13. Let v(z) = -4*g(z) + 7*q(z). Is v(i) composite?
False
Let g be (-14)/(-6)*(-1 + 4). Suppose -3 + g = -p, p = -4*r + 924. Let b = r - -21. Is b composite?
True
Suppose -x = x + 2*j + 22, -38 = 3*x + 4*j. Let d(w) = w**2 - 8. Let y(s) = 9*s**2 - 13*s - 1. Let k(p) = 5*d(p) + y(p). Is k(x) a prime number?
True
Suppose 6132 = -j + 2425. Let a = -2088 - j. Is a prime?
True
Let q(o) = -367*o. Let x be q(-5). Let u(z) = -139*z**2 + 507*z**2 + x*z**2. Is u(-1) a prime number?
True
Suppose -285*r + 30847007 = -55957908 + 25082750. Is r a prime number?
True
Let h = -238 - -235. Is (0 - (h + 4))*1 - -12444 prime?
False
Let n = -29 + 63. Suppose -j + 2 = t - 6, -3*j - 5*t + n = 0. Suppose 0*f = j*f - 474. Is f a prime number?
False
Let t = -29 - -29. Suppose 4*s + l + 20 + 11 = t, 0 = -2*s - 3*l - 23. Let w(b) = 41*b**2 - 39*b + 9. Is w(s) prime?
False
Suppose -4*g + g = 0, -4*g + 37887 = n + 3868. Is n prime?
True
Is 2 + (-14)/((-4200)/25211660) + (-2)/(-15) composite?
True
Let j be 1/(3 + 0 + -2). Let i(h) = -3 + 4 - 3 + 2683*h + 2. Is i(j) a prime number?
True
Let v = -31971 + 52070. Is v composite?
True
Let u = 865619 - 568992. Is u a composite number?
False
Let a(b) = -2375*b - 344. Let g be a(-13). Suppose -30068 = -7*w + g. Is w a prime number?
False
Suppose 0 = -5*s + 3*l + 65, 0 = -2*s - 2*l + 42. Suppose 0 = 12*a - s*a + 17132. Is a prime?
True
Let l = 10517 - 5399. Let f = l - 3170. Suppose 23*h - f = 19*h. Is h a prime number?
True
Is 181421 + -24*3/(-9) prime?
False
Suppose d - 17009 = -c, -3*d + 48353 = -5*c - 2690. Is d a composite number?
False
Let p be -12*(-4 - (-60)/16). Let q(d) = -40*d**2 + 5*d - 5. Let w be q(p). Let z = w + 747. Is z composite?
False
Let h = 4393 - 682. Suppose 4*c - 1817 - h = 0. Is c a prime number?
False
Is (4 + -5 + -2)*(-1474952)/24 prime?
True
Let r = 116157 + -55336. Is r a composite number?
False
Let m = -4094 - -6557. Suppose 3*d + 11*n - m = 12*n, -d = -4*n - 821. Is d prime?
True
Suppose -6*r + 8214 = 1386. Suppose 18*b - r = 14684. Is b a composite number?
True
Suppose -44316 = 4*q - 0*k - 2*k, 5*q + 2*k = -55386. Let x = 17431 + q. Is x prime?
True
Suppose 4*k = g + 10, g + 19 = 6*g + 3*k. Suppose 0 = g*r - 6, 338177 = 5*u + 5*r + 118597. Is u prime?
True
Let l = -16397 - -69124. Is l composite?
False
Suppose 0*l = 2*l - 4*w - 34, -3*l - w = -23. Suppose 234 = l*r - 153. Is r prime?
True
Let j(y) = -y**2 + 6*y + 20. Let x be j(8). Suppose k + 3*d = 1250, -2*k = -7*k + x*d + 6307. Is k prime?
True
Let t = 174 + -168. Is 13684/3 - (t + (-102)/18) prime?
True
Suppose -2*k - 2*w = w - 41524, -62283 = -3*k - 3*w. Suppose 3*b = k + 6550. Is b prime?
True
Suppose 213 = 4*p + 133. Let n(g) = 11*g**2 - 41*g - 17. Is n(p) composite?
True
Let l = 25602 - 11509. Is l a prime number?
False
Let c(a) = a**3 + 23*a**2 + a + 11. Let u(r) = r**3 + 15*r**2 + r + 7. Let s = -73 - -78. Let g(p) = s*c(p) - 8*u(p). Is g(-6) a prime number?
False
Let g(q) = -q**2 - 12*q + 13. Let s be g(-13). Suppose -6*v + 5*v + 3 = s. Suppose -2384 + 7871 = v*r. Is r a composite number?
True
Suppose z + 2 - 7 = 0. Suppose -m - s = 3*m - 9, -5*m + 5*s = -z. Is ((-284)/(-6))/m - 8/12 prime?
True
Let j = 543611 - 156550. Is j a prime number?
False
Let q = 59 - 42. Suppose -21*c + 20 = -q*c. Is (460/8)/c*10 prime?
False
Suppose 2*f - 13 = -3. Let u(k) = -2*k + 10. Let w be u(f). Suppose -49*t + 48*t + 829 = w. Is t composite?
False
Suppose -2*k + 53 = 35. Suppose 13863 = -6*q + k*q. Is q a composite number?
False
Suppose 31*s - 1343369 = -154054. Is s prime?
False
Let r = 22793 