(-57 - 353487))*(-1)/(-1) composite?
True
Let k = 67365 - 19232. Is k composite?
True
Let r(k) = 79*k - 8260. Is r(111) prime?
True
Suppose -18018875 = -809*g + 634*g. Is g prime?
False
Let k(l) = 2074*l - 6. Let m be k(1). Let b be (-10)/(-4)*2*m/55. Suppose 0 = 7*j - 785 - b. Is j a composite number?
False
Let d = -15493 - -33223. Let y = d - -30829. Is (-1)/4 + y/28 - 1 a composite number?
False
Suppose -400133 = -2*w - c, -5*w + 24*c + 1000308 = 23*c. Is w a prime number?
True
Let t(b) = 24*b**2 - 29*b + 136. Let d(o) = -o**3 + 7*o**2 + 4*o - 15. Let r be d(5). Is t(r) a prime number?
False
Suppose 4*b + 7*c - 4*c - 79647 = 0, -19906 = -b + 5*c. Is b prime?
False
Let s(o) = 3350*o**2 - 680*o + 1. Is s(8) composite?
False
Suppose -4*p + 0 + 2 = 2*f, -3*p + 14 = 4*f. Let d = p + 2. Suppose j - 3*i - 2063 = d, -2*j + 0*j = -3*i - 4114. Is j composite?
True
Let k(t) = 4*t**3 - 250*t**2 + 118*t + 75. Is k(64) a composite number?
False
Let g(i) = -2*i**2 + 90*i - 36. Let c be g(19). Is c + (0 + -4 - (6 + -16)) composite?
True
Let z be (-198)/30 + (-6)/(-10). Let v(n) = n**3 + n**2 + 15. Let f be v(0). Is ((-11170)/f)/(4/z) composite?
False
Suppose -4*j + 68738 = -2*b + 237156, -84257 = -b - 6*j. Is b a composite number?
False
Suppose 48 = -4*n + 2*u, -5*n - 3*u + 0*u = 38. Let k(r) = -r**3 - 9*r - r - 9 - 3*r - 2*r. Is k(n) prime?
False
Let o(m) = -2*m**2 + 11*m + 16*m**2 + m**3 + 11 + 6*m**2. Let p(q) = -q**2 + 24*q - 71. Let w be p(3). Is o(w) composite?
False
Let h = 285 + -280. Suppose 2*k + l - 1596 = 0, 3*k + k - 3178 = h*l. Is k prime?
True
Suppose 3285 = 8*f - 5819. Let x = f - 402. Let y = x - 347. Is y composite?
False
Suppose -16*p - 8715 = -17*p + 5*d, -34955 = -4*p + d. Suppose -1 = -o, p = 5*s + 4*o + o. Is s a prime number?
True
Let c be 6/(-24)*2*(1 - 1). Suppose s + 4*s + 3*v = 4435, c = -4*v. Is s prime?
True
Let v(c) = 171*c**2 - 27*c - 139. Is v(-5) a prime number?
True
Is ((-3 - 6)/(-9))/(1 - 222198/222204) composite?
True
Let x = 494 + -1287. Let p = x + 497. Let a = p + 473. Is a composite?
True
Suppose -a + 41 = 23. Suppose -a = -4*k - 3*x, -5*k + 28 = 3*x + 7. Suppose -4*d + 10739 = -3*t, -t + 8048 = k*d - 2*t. Is d prime?
False
Let i = -28 + 30. Let n(k) = 85*k**2 - 5*k + 5. Let m be n(i). Let z = m + -37. Is z prime?
False
Let r = 31233 - -9110. Is r prime?
True
Suppose 0 = 8*g - 3*k - 1199941, -23*g + 27*g + k = 599973. Is g prime?
True
Is 177729 + 46 + -30 + -1 + -7 a prime number?
False
Suppose 70*c = 81*c - 272734. Let b = c - 10551. Is b composite?
False
Let u(g) = -13*g**3 + 3*g**2 - 195*g + 214. Is u(-27) a prime number?
False
Let o(s) = 7575*s**2 + 76*s - 7. Is o(6) a composite number?
False
Let p(z) = 372*z**2 - 4*z - 36. Let y(k) = -k + 2. Let r(w) = p(w) + 5*y(w). Is r(-3) a prime number?
False
Suppose -d - 3*s = -5*d + 6, -4*d + 2*s = -8. Let a be (-2)/8*0 - d. Is a + 91 + 5 + -4 prime?
True
Let q(o) = 348*o**2 - 5*o - 11. Let h be q(-7). Suppose 0 = -3*v - 5*n + 51236, -3*v + 2*v + n + h = 0. Is v composite?
False
Let u be 9900/(-48) + 6/(-8). Let c be (u/(-2))/(4/24). Suppose 21*x - 12*x - c = 0. Is x a composite number?
True
Let y = 21998 + 602591. Is y composite?
True
Suppose -3*q + 4*q + 59 = 0. Let h = q + 67. Suppose -37046 = -h*k - 8942. Is k composite?
True
Suppose -58289516 = -231*r - 1703249 + 3083574. Is r composite?
True
Let k(d) = 35067*d**3 + d**2 + 212*d - 427. Is k(2) composite?
False
Let z = -767 + 772. Is 5 + ((-3)/2)/(z/(-22340)) a prime number?
False
Let o(n) = -92956*n**3 - 2*n**2 + n + 3. Let g be o(-1). Suppose -g = -14*l - 19190. Is l composite?
True
Let j(r) = -r**2 + r + 12. Let q be j(4). Suppose -4*n - 2*u - 841 = 1135, -2*n + 2*u - 976 = q. Let c = -130 - n. Is c composite?
True
Let o(f) = 125987*f**2 + 612*f + 1846. Is o(-3) a composite number?
False
Is 190184*(-6 - (392/(-64) - 0)) composite?
False
Is ((-4)/(-14))/(474/853673289) a prime number?
True
Suppose 11*l = 8*l + 9. Suppose -4*v - 2*p + 26540 = 0, -13*p = -l*v - 15*p + 19903. Is v composite?
False
Let x(y) = -y + 5. Let n be x(4). Let r be ((-756)/98)/(n/(-7)). Let v = r - 23. Is v composite?
False
Let o be (2 - (2 + 3))/(1 + -2). Let s(k) = -82*k**3 + 2*k**2 - 13*k. Let r(m) = -m**3 - m + 1. Let c(u) = 4*r(u) - s(u). Is c(o) prime?
False
Let h = 18473 - -23804. Is h a composite number?
True
Let m(r) = r**2 - 5*r. Let i be m(6). Let o = i - -1. Suppose o*n = 8*n - 879. Is n a prime number?
False
Let r = -34235 + 60276. Suppose -p = -4*c + 19373 + 1457, 3*p + r = 5*c. Is c prime?
False
Let i(z) = -9873*z**3 + z**2 - 1. Let a be i(1). Is ((-22)/(-33))/((-3)/a) prime?
False
Let l(i) = -8*i**2 + 125*i + 916. Let x be l(-8). Suppose 0 = -3*h - 5*g + 300, -2*h + 7*h + 3*g - 484 = 0. Let s = h - x. Is s composite?
False
Suppose 9659866 = 4*y + 2*l, -57*y + 2*l - 7244897 = -60*y. Is y a composite number?
True
Suppose -183*l = -186*l + 4*g + 5659, 2*g - 10 = 0. Is l prime?
False
Let o(i) be the third derivative of 1/12*i**4 + 0*i + 0 + 10/3*i**3 + 3/4*i**5 + 33*i**2. Is o(-9) prime?
False
Let c(k) = -27*k**2 + 22*k + 34. Let u(p) = p**2 - p. Let j(g) = -c(g) - 4*u(g). Is j(7) composite?
False
Suppose 19*p - 4476 = 75742. Suppose -2*j + 8008 = 4*w - 8874, -p = -w - j. Is w a composite number?
False
Let r(p) = -p**2 - 46*p + 17. Let j be r(-21). Let k = j - -10943. Is k prime?
False
Suppose 3*y = 5*h + 50, -2*h - 46 = -3*y - h. Suppose 934 = -10*z + 9584. Suppose z = 16*d - y*d. Is d a prime number?
False
Let n(v) = -12820*v**3 - 21*v**2 - 12*v - 34. Is n(-3) composite?
False
Let v = -150 - -64. Let d = v - -89. Suppose 0 = d*s - 2956 + 757. Is s composite?
False
Let d = 528560 + -185505. Is d composite?
True
Suppose -3*k - 9851 = 391. Let p = k - -6065. Is p prime?
False
Let c = 630536 - 294435. Is c composite?
False
Suppose d - 4 = -0*d. Suppose 28*s - 24*s = 5*l + 15, -2*l = -2*s + 6. Suppose s = d*v - 13*v + 4437. Is v prime?
False
Suppose d = 5*a - 4*d, -5*a = -4*d - 3. Suppose -4*v + 3*o = -7870, -3*o = -a*v + 2*o + 5908. Is v prime?
False
Suppose -2*a - 2 = -2*w, -11 = -4*w - 3*a + 14. Suppose 5*d = -w*v - 14, -5*d = 2*v - 0*d + 2. Is (17969/2)/7 + v/(-4) a composite number?
True
Let m(i) = -80843*i**3 - 5*i**2 - 6*i - 1. Is m(-1) a prime number?
False
Let f = -27 + 30. Let p be 6/f - (5 - 6). Suppose 120 = p*y - 102. Is y a prime number?
False
Let j(p) be the first derivative of 25*p**2/2 - 5*p - 2. Let i(t) = -t**3 - 5*t**2 + 18. Let h be i(-5). Is j(h) prime?
False
Suppose -v + 672 = 2*v - 3*p, -v - p + 220 = 0. Let d = 109 + v. Is d composite?
False
Suppose -138*d + 5362 = -3746. Let x be 24/10*5*1. Is (5 - d/x)/(1/(-1226)) composite?
False
Let z(s) = s**2 - 4*s - 2. Let w be z(4). Let q(b) be the third derivative of -13*b**6/30 - b**5/30 - b**4/24 - b**3/6 + 28*b**2. Is q(w) a prime number?
True
Suppose 5*y - 31 = 24. Let s(b) = b**2 + 13*b - 15*b + 23 - y*b. Is s(15) a prime number?
True
Suppose -5*u - 5*x + 90 = 0, 0*u = -u + 5*x. Suppose u = -5*p + 45. Let j(v) = 46*v**2 - 17*v + 7. Is j(p) a composite number?
True
Let n(s) be the first derivative of -s**4/2 + 17*s**3/3 + s**2 - 6*s - 31. Let r be n(-19). Suppose 9*v - r = -2*v. Is v a composite number?
False
Let p = 742 - -132211. Is p composite?
False
Is (-14569568)/(-56) + (-6)/(-210)*5 a composite number?
False
Suppose -26*j = -25*j + 16. Let u = j - -20. Suppose -3*v - 4436 - 3285 = -5*g, -g = u*v - 1558. Is g prime?
False
Is ((3105/36)/(-5))/(6/(-11768)) a composite number?
True
Let w be (1 - 95091)*(-28)/(-1190)*17. Is (w - -7)/((0 - 1) + 0) a prime number?
False
Let o be 2/3 - (-40)/12. Suppose -o*j + 17079 = -7005. Let g = j - 3518. Is g a prime number?
True
Let q = 393147 - 235888. Is q composite?
False
Suppose 6*u = -8*u + 70. Suppose -j - 5*y + 676 = -0*j, u*j - 3*y - 3520 = 0. Is j a prime number?
True
Suppose 29 = 40*s - 11. Is (-58)/29 + 1279/s a prime number?
True
Suppose -3*s = 3*s - 3432. Suppose 183 - 46 = n - m, 4*n = -4*m + s. Suppose 5*f = 3*h - 203, -2*h + f + n = -0*f. Is h composite?
False
Let r = 93149 - 48570. Is r a prime number?
True
Let a(y) = -2*y + 43. Let m be a(-11). Let j = m + -61. Suppose 0 = t + j*v - 1679, 2*t - 2*v - 3372 = -3*v. Is t a composite number?
True
Suppose 0 = 3*d + 7 - 16. Suppose 0 = -5*z + 3*r + 4354 + 248