 - 41*r**3 + 2*r**2. Is x(-2) a prime number?
True
Suppose 3*q = -3*r + 1667583, -325*q - 1111702 = -2*r - 322*q. Is r a prime number?
True
Let b(l) = 4*l - 141. Let o be b(36). Let f(p) = -68*p - 2. Let j be f(-2). Suppose 0 = -o*g + 707 - j. Is g composite?
False
Suppose 2*u + 26 = 3*u. Let i = u + -24. Suppose -2*g - i*g = 5*t - 2909, -2*g + 1459 = t. Is g prime?
False
Is (2 + 0/(-1) + -637231)/(-1 - 0) a prime number?
True
Let j(o) = 2*o. Let i be j(2). Suppose k + 5*g = 348, -2*k = -0*k - 5*g - 636. Suppose 4*r + i*t = -0*t + k, r - 2*t = 97. Is r composite?
True
Let h(j) = 457*j**2 - 38*j + 710. Is h(13) prime?
False
Suppose 6 = 4*n + 38. Is 350 - (-1 + (n - -13)) prime?
False
Let q be (7/(-2) + 1)*(-104)/65. Suppose -3*c + 11159 = 5*g, -2*g - q*c + 4189 = -269. Suppose 2*d + g = 9*d. Is d prime?
False
Suppose 106*x - 5163507 = -1232285. Is x a composite number?
False
Let c(i) = i**2 - 11*i - 14. Let g be c(-5). Is (-33)/g*(-11108)/2 a prime number?
True
Let f be ((-4)/((-32)/(-6)))/((-28)/5038208). Suppose 0 = 41*n - 17*n - f. Is n prime?
True
Suppose 88 = -2*j - 206. Let u = -145 - j. Suppose 3148 = 3*y - u*q - 2159, -3*y + 3*q = -5307. Is y a composite number?
True
Is (-278142)/(-22) + 140/770 prime?
False
Let i(j) = -1687*j + 12987. Is i(-186) a prime number?
False
Let b(k) = 1581*k**2 - k + 6. Let g be b(-2). Let z = g + -929. Is z prime?
False
Let l be 3*(-4)/36*30. Is (-2)/(-5) + ((-2066)/l - -4) prime?
True
Let w = 76 + -54. Suppose 10*q = -q + w. Suppose -7*d = q*d - 3519. Is d composite?
True
Let d(l) = 2*l**3 - 3*l**2 - 4*l. Let h be d(3). Suppose -j + h = 5*q, -4*j + j = 3*q - 21. Let o(c) = 33*c + 14. Is o(j) a prime number?
True
Let v(d) = -37*d + 78. Suppose 2*q = m + 60 + 245, -474 = -3*q - 4*m. Let f be (q/(-56))/((-3)/(-12) - 0). Is v(f) composite?
True
Suppose 5*i = 0, -5*i = 2*b - 199 - 209. Suppose -210*m + 22782 = -b*m. Is m a prime number?
True
Let j = 36 + -33. Suppose j*h = -7*h + 541870. Is h prime?
False
Let n = 491 + -489. Is ((-1399)/(-6))/(n/12) a composite number?
False
Let c(u) = -69*u**2 + 12*u + 2. Let d be c(-2). Let v = d - -3075. Is v prime?
True
Let f = 201 - 177. Let k(q) = 143*q - 43. Is k(f) composite?
False
Suppose 7*w + 15 = 10*w. Suppose -4*b - 4*i = -0*b - 29248, -21936 = -3*b - w*i. Is b/64*2*2 composite?
False
Let u be (-3 + (-28)/(-8))*24/2. Suppose -p + 1 = u, -p + 25918 = 3*d. Is d prime?
True
Suppose 9*v = -5*l + 1615291, 2*v + l - 409465 = -50511. Is v composite?
False
Let j = 166257 - -233564. Is j a composite number?
True
Let z(k) = k**2 + k + 3. Let o be z(-3). Let i = -5 + o. Suppose -4*p - 3*s + 1040 = 0, -3*p - i*s + 787 = -0*s. Is p prime?
True
Let m be (-504)/(-231) + 2/(-11). Let n(p) = -18 + 56*p**2 + 3 + 2 - m - 4*p. Is n(-5) prime?
False
Let o = 1312 + 3716. Suppose o = -33*v + 45*v. Is v a composite number?
False
Let x be (-2 + -2)*1 - -3 - 1. Is -1*(x/(-5) + (-43911)/15) a prime number?
True
Let x(j) = 12740*j + 3009. Is x(25) a composite number?
False
Suppose p - 21775 = 4*m, -108926 = 289*p - 294*p + 3*m. Is p prime?
True
Let a(q) = q**3 - q + 426. Let d be a(0). Let z be 41/123 + 616/(-3). Let k = d + z. Is k a prime number?
False
Is (13867552/48)/(2/3) + 8 prime?
True
Let a = 15362 - 9046. Let t = -3507 + a. Is t prime?
False
Let v(n) be the second derivative of 115*n**4/12 - 131*n**3/6 - 7*n**2/2 - 2*n - 59. Is v(-6) a prime number?
True
Suppose 0 = z - 3, 2*r + z + 21 = 6*r. Suppose -r*y + y = -3*y. Suppose 3314 = 2*q - y*q. Is q prime?
True
Let t(p) = -p**3 - 5*p**2 + 3*p - 14. Let r be t(-6). Let i be r*(9/3 + -1)/2. Suppose 0 = i*h - 4764 - 4568. Is h composite?
False
Suppose 8*o = 10*o + 1990. Let y = 894 - o. Is y a prime number?
True
Suppose 0 = 3*v - 0*v - 3. Let k(i) = 367*i - 19. Let s(t) = -t - 1. Let a(q) = v*k(q) + 2*s(q). Is a(14) a prime number?
False
Let f(b) = b - 2. Let s be f(4). Let j(m) = 1 + 3*m + 10*m**2 - 16*m**2 + 145*m**2 + 3*m**s. Is j(-2) a composite number?
False
Let y(t) = -391*t + 42. Let h be y(-9). Suppose 10*f - x = 6*f + h, 2642 = 3*f + 5*x. Is f a prime number?
False
Suppose 25*u = -58*u + 7109863. Is u a composite number?
False
Let t(p) = 2*p**3 - 7*p**2 - 4*p - 4. Let u be t(6). Suppose -1358 + u = -6*r. Is r a composite number?
True
Suppose -4*x + 33 = -71. Let s = x + -23. Suppose b = l + 1999, -1039 - 2934 = -2*b - s*l. Is b a composite number?
True
Is (-56018)/1*((-399)/(-38))/(-21) a composite number?
True
Let w = 68639 + 12870. Is w prime?
True
Suppose 2*d = 3*m - 4 - 6, -2*d = -m + 2. Suppose 64 = -m*a + 5*a. Is (160/a)/(((-6)/3148)/(-3)) a composite number?
True
Let z = -540 + 336. Let s be z/21 - (-8)/(-28). Is ((-55)/s)/((-1)/(-74)) a composite number?
True
Let c(r) = r**2 + 10*r + 20. Let j be ((-11)/11)/(2/16). Let w be c(j). Suppose 4*i + w*o - 4524 = 0, -10 = -o + 6*o. Is i a prime number?
False
Suppose -32*h + 31907757 = 2*h + 10536819. Is h prime?
False
Suppose 3*m = 2*q - 5 + 25, 30 = 5*m - 5*q. Let i(u) = 29*u + m - 49*u - 2. Is i(-2) a prime number?
False
Let m(v) = -2*v**3 - 13*v**2 - 13*v - 7. Suppose -5*d = -s - 225, -2*s + 166 = 5*d - d. Let i = d - 57. Is m(i) prime?
False
Suppose 5*d - 8 = 4*d. Let b = d + -30. Let s = b - -401. Is s a composite number?
False
Let f be ((-86)/6 - -1)/(2/6). Let o be 20*f/(-150)*10365/2. Suppose -n = 2*h - 16534, -5428 = -4*h - 4*n + o. Is h a prime number?
False
Let o = 1143157 - 684524. Is o composite?
True
Let d = -1045 + -2481. Let y = d - -5553. Is y a prime number?
True
Let q(v) = 331*v**2 + v - 3. Let s(x) = 4*x + 0*x**2 - 379 + 380 + 3*x**2 - 2*x**2. Let z be s(-4). Is q(z) a prime number?
False
Let j = -4594 + 1664. Suppose 4*w + 2*g + 20 = 0, -41*g + 25 = -5*w - 42*g. Is ((5/(-1))/w)/((-2)/j) a composite number?
True
Let b(y) = 6*y**3 - y**2 + 4. Let s be b(2). Let f = s - 45. Suppose 9 = 4*g + 1, f*z - 4195 = g. Is z composite?
False
Suppose -380*o - 4 = -376*o. Let j(v) = -15095*v**3 + 2*v**2 + v - 1. Is j(o) prime?
False
Let k be (-2)/(-1 - 1)*8. Suppose 2*q = -k, g - q - 1610 = -305. Suppose 4*o = -m + 927, -3*m + g = 5*o - 1445. Is m composite?
False
Let u(w) = w**2 - w - 4. Let o be u(10). Suppose 46185 = -81*n + o*n. Is n composite?
True
Let d be -14*(3/(-6) - 0). Let w(s) = s - 31. Let a be w(d). Is (-1070 - -1)*(a - -23) composite?
False
Suppose -47*u + 3100332 + 5512841 = 0. Is u a composite number?
False
Let g be 0/(8 + -15) + 834/2. Let v = 824 + g. Is v prime?
False
Suppose 53*s = 49*s + 164. Suppose -39*m = -s*m + 50. Let l = 118 - m. Is l composite?
True
Let z = -28930 - -111801. Is z a prime number?
False
Let k = -906 - -12977. Is k a prime number?
True
Suppose 0 = -4*l + 95 - 19. Suppose 14*u + 35 = l*u. Let g(v) = 11*v**2 + v + 5. Is g(u) a composite number?
True
Is ((-114)/30 + 4)/(-12 - 4153981/(-346165)) composite?
False
Is (-85)/(-20) - 4 - 217003/(-4) a prime number?
True
Suppose -3*z - r - 387965 = -5*z, 0 = -3*z + 2*r + 581947. Is z a composite number?
True
Let n(r) = 580*r**2 + 20*r - 97. Is n(-6) prime?
True
Let g(h) = 4*h**3 - 2*h**2 + 171*h + 197. Is g(22) prime?
False
Suppose -19*x - 64796 = -294829. Let c = x - 7204. Is c a composite number?
False
Let f be (35/(-14) - -3)*-250. Let i = 252 - f. Is i prime?
False
Let d = 65 + -47. Let g be (-8)/36 - (-256)/d. Suppose -4*m = 4*a - 612, g - 173 = -a + 2*m. Is a a composite number?
True
Suppose 0 = -29*x + 31*x - 2*d - 1365820, 18 = 2*d. Is x prime?
False
Let t(c) = -2*c - 35. Let z be t(-17). Is z/2*(-23 - 4715) a composite number?
True
Let q be -7 - (-8)/4 - (-587 + -1). Let y = q + 676. Is y prime?
True
Is (-16415)/490*(-3)/((-3)/(-422)) prime?
False
Let q(f) = 6*f**2 + 17*f + 1. Let z be q(-3). Is 6 + 89211/4 + 1/z composite?
True
Let o(l) = 2104*l**2 + 9*l + 11. Let y be o(-5). Let k = 79529 - y. Is k composite?
True
Let j(h) = 1158*h**3 + 5*h**2 - 13*h + 3. Is j(5) composite?
True
Suppose -4*a + 668 = -4*v, 0 = -3*a - v + 533 - 32. Suppose -5*x + 2*u - 16429 = 0, 5*x - 3*u + 16593 = a. Is (x/2)/(5/(-10)) a prime number?
False
Let b(m) = -2*m**2 + 23*m + 16. Let a be b(12). Let o(i) be the first derivative of 317*i**2 + 27*i - 102. Is o(a) prime?
False
Suppose -46*a + 13*a = -561. Suppose -v - 3*d - a = -234, 5*v - 1111 = -2*d. Is v prime?
True
Let u be (598/104)/(1/4). Suppose 