(b) = -1704*b + 1121. Is z(-20) a prime number?
True
Let q(i) = -3*i + 35. Let t be q(8). Suppose 5*k - 29488 = -t*k. Is k a prime number?
False
Suppose 18 = 2*d + 4*j, -2*d = d + j - 52. Let b = d + -45. Is (-4650)/b + (-10)/(-65) a prime number?
True
Let l(a) = a**3 + 6*a**2 + 7*a. Let x be l(-4). Suppose -x*c + 10805 = c. Is c a prime number?
True
Let z(n) = 6*n**2 + 14*n + 13. Let m be z(-3). Suppose -m*o - 14938 = -39*o. Is o prime?
False
Let n(x) = x**3 + x**2 - 2*x + 541. Suppose -y - 2*b - b + 5 = 0, y - 3*b - 5 = 0. Suppose 2*d = 4*k, -k = -4*k + y*d. Is n(k) composite?
False
Suppose 4*g + 24 = 4*q, g - 6 = -2*q + 3. Suppose 11372 = 3*t + 4*r + r, 0 = q*t - 5*r - 19020. Is t a composite number?
True
Suppose 3*a + 3*a - 1204791 = -428745. Is a a prime number?
True
Suppose -b + 185 = -3*f - 104, -3*f - 15 = 0. Let s(l) = -l**2 + 12*l - 9. Let x be s(11). Suppose b = 5*p - a, a - 56 = p - x*p. Is p composite?
True
Let l = 58 - 60. Let f(j) = -3957*j + 4. Let m be f(l). Let y = -3057 + m. Is y a prime number?
True
Suppose -3*o = 4*o - 8855. Let q = 15 + -9. Suppose a - q*a = -o. Is a a prime number?
False
Suppose 521 = 28*h + 73. Is ((-72)/h + 4)*-1606 composite?
True
Suppose 8*d - 17*d = -90. Let m be ((-4)/d)/((-1)/(-20)). Is 3 - ((-2)/m - 6514/8) a composite number?
True
Let u = 76 - 94. Let k = u - -113. Suppose 3*d + k = 5*h, -4*h + 5*d + 27 = -49. Is h a prime number?
True
Suppose 2*g - 61513 = q, 98*g - 3*q = 99*g - 30760. Is g composite?
False
Let a = 16985 - 4998. Is a composite?
False
Suppose -2*w - 4*m - 14 = 0, 0 = -3*m + m + 2. Let c = w + 16. Let t = c - -750. Is t prime?
True
Let z(y) = -5 + 211*y + 3*y + 595*y. Is z(8) a composite number?
True
Let g(z) = 81*z**2 - 3*z - 47. Let k(d) = d**2 + 3*d - 102. Let x be k(9). Is g(x) prime?
True
Suppose -3*n + 6 = 3*q, n - 4*q - 10 = -3*q. Let f(x) = 2153*x - 7. Let o be f(n). Suppose -3*m + o = -5*l, -3*m + 3*l = -10988 - 1915. Is m a prime number?
True
Let i = 14 - 5. Suppose -7 + 124 = -i*r. Let n = 32 + r. Is n a composite number?
False
Let i(n) = -15*n**3 + 41*n**2 - 36*n - 133. Is i(-33) a prime number?
False
Suppose 0 = 4*z + 2*t - 29846, -3*z + 0*t + 22386 = 2*t. Let x = -4881 + z. Is x a composite number?
False
Let o = 42 - 39. Let n(s) = -12*s**2 + 4*s**2 + 0*s + 9*s**2 - o*s + 10. Is n(-9) composite?
True
Let b = 27 + -24. Suppose -b*s - 450 = -12*s. Let z = s + -13. Is z composite?
False
Suppose 0 = -3*l - 643 + 148. Is (-4)/(-22) - 428805/l a prime number?
False
Let a(f) = 5*f**3 - f. Let n be a(1). Suppose -4 = 3*x - n*x. Suppose -x*t = 2*t - 5370. Is t a prime number?
False
Let o = -96 + 100. Is (0 + 1318)*(14/o - 0) prime?
False
Suppose -344*l - 49629042 + 202350250 = 0. Is l a prime number?
False
Let p(k) be the third derivative of 13*k**5/60 + 7*k**4/24 + 5*k**3/6 + 17*k**2 - k. Is p(-4) a composite number?
True
Let a be (66/9)/(((-8)/7044)/1). Suppose 0 = -4*m - q + 6*q + 50793, -4*m + q = -50805. Let w = m + a. Is w a composite number?
True
Suppose 140 - 104 = 9*b. Is 4595 - (0/3 + b) a prime number?
True
Is 959*491 + (-1668)/278 prime?
True
Is 3*(-18)/54 + 46236/2 prime?
True
Let j = 68208 + -21191. Is j prime?
True
Let z be (1 + 0)*42474/(-2)*-1. Suppose z = 4*j - 12767. Is j a composite number?
False
Let r = -512047 - -828776. Is r a composite number?
True
Suppose 3*w = -2*m + 3*m + 1156, -5*m = 5*w - 1960. Suppose -7*g - w = -10*g. Suppose r - g = 56. Is r a composite number?
True
Suppose -74*n + 77*n + 4517 = 2*o, -2*n = -2*o + 4524. Is o a composite number?
False
Suppose -1728 = -7*c + 3*c. Let x = -210 + c. Is (182/(-39))/((-4)/x) composite?
True
Let p(h) = 678*h**3 + 3*h**2 + 3*h + 2. Let i be p(-2). Let y = 9522 + i. Is y a composite number?
True
Let d be 1/(-5) - (729053/(-65) - 7). Let h = d - -7948. Is h a composite number?
True
Suppose 19*t - 1 - 56 = 0. Suppose 4*i - 39746 = -3*x - 835, -t*i - x = -29182. Is i prime?
False
Let p(b) = -b**2 - b + 32. Let m be p(-5). Is (-10 + m)/(-2) + 593*12 composite?
True
Let s(f) = 43*f + 54. Let t be s(11). Suppose -t*l - 18302 = -529*l. Is l composite?
False
Suppose 145962217 + 98954568 = 68*b + 30893381. Is b composite?
True
Let g = -480 + 486. Is 4/g + ((-13396)/6)/(-2) a prime number?
True
Let b(x) = -21*x - 41. Let z(j) = 2*j**3 + 21*j**2 + 13*j + 14. Let a be z(-10). Is b(a) a composite number?
True
Let b(c) = -33964*c - 4709. Is b(-10) a prime number?
True
Suppose -265 = l - 690. Suppose -2*o - 2*s = -2082, 5*s - 4*s + 3119 = 3*o. Suppose -l = -5*v + o. Is v composite?
False
Suppose -77*z - 78*z + 37844681 = 48*z. Is z a composite number?
True
Let w = 581 + -568. Suppose 0 = -10*p + w*p - 34617. Is p prime?
False
Suppose -708*r + 715*r - 260953 = 0. Is r a composite number?
True
Is (10905066/12 + 4)/(8/16) a prime number?
False
Suppose 0 = -4*i + 5*d + 541444, -2*i - 49*d = -39*d - 270822. Is i prime?
False
Suppose 0 = 2*g - m - 65268 - 55703, -2*g + 2*m + 120968 = 0. Is g a prime number?
False
Let s(t) = 4*t - 705 - t + 710 - 5*t - 3*t + 66*t**2. Let b(w) = w**3 + w**2 + w - 1. Let j be b(1). Is s(j) prime?
False
Let k(s) = -s**2 - 29*s + 97919. Is k(0) a composite number?
False
Let r(i) = -15326*i + 3239. Is r(-7) prime?
False
Let l(f) be the third derivative of 67*f**4/24 - 83*f**3/3 - 7*f**2 + f. Is l(36) a composite number?
True
Let v(g) = -g**3 + 10*g**2 - 2*g + 38. Let k be v(10). Suppose 37*d = k*d + 142063. Is d prime?
True
Suppose -29*p + 185 = -76. Is 2/2 - 18/p - -3792 prime?
False
Let v = 107085 - -62424. Is v composite?
True
Suppose 0 = -23*h - 2*h + 204900. Is (-6 - 20/(-3))*h/8 a composite number?
False
Suppose -h + 29485 = -u, 102619 - 14178 = 3*h + 4*u. Is h a composite number?
False
Suppose 4*l + 2*l = 24. Suppose 6 = l*u + 18. Is (-369)/(-1) - ((1 - 0) + u) prime?
False
Let b = 8 + -5. Is -2*1/2 - (b - 1071) prime?
False
Let a(x) = 12*x - 11. Let g(p) = 2 + 9*p**2 - 10*p**2 - 1. Let f(n) = a(n) - 2*g(n). Is f(-11) a prime number?
True
Suppose -106*u = -104*u - 4. Suppose 4*v - 1589 = -t, u*v = -2*t + 5*v + 3167. Is t prime?
False
Let z(c) = 117*c + 27. Let l(t) = 10 - 35 + 351*t + 43 + 62. Let h(x) = -4*l(x) + 11*z(x). Is h(-4) prime?
False
Let k = -120 + 113. Let g(d) = 44*d**2 - 12*d - 41. Is g(k) a composite number?
True
Suppose -2*j - 440932 = -t + 105191, 0 = 2*t - 2*j - 1092242. Is t a composite number?
True
Suppose 147*r + 2*l = 143*r + 320278, -4*r + 320290 = -2*l. Is r composite?
False
Let o(i) = -11*i**3 + 9*i**2 + 2*i - 2. Let f be o(-6). Suppose -8*c = -42*c + f. Is c a composite number?
False
Let m(p) = -275 - 259 + 3543*p + 586. Is m(3) a prime number?
False
Let w(r) = 220*r**2 + 8*r + 7. Let q be w(9). Let g = q + -10013. Suppose -2*l = -4*l + g. Is l a prime number?
True
Let u be -16157 + -21*(-6)/(-18). Let x = 22969 + u. Is x prime?
False
Let p(t) = t**3 - 77*t**2 - t + 273235. Is p(0) a composite number?
True
Let r be -22973*(-1 - -4 - 4). Let u = r - 15756. Is u a composite number?
True
Let r = -64 + 52. Is (39/r - -3) + 4013/4 composite?
True
Let c = -349 - -647. Suppose -c = 3*q - 2*x - 841, 0 = 3*q + 3*x - 558. Is q composite?
True
Let b(h) be the first derivative of h**4/2 - 22*h**3/3 - 3*h**2 - 29*h + 13. Is b(27) prime?
False
Let x(k) = -2*k + 28. Let w be x(11). Suppose -w*z + 12 = -10*z. Is z + (2303 - -5) - -4 composite?
False
Let r(x) = x**2 - 19*x - 27. Let d be r(21). Suppose -21 = -6*f + d. Is ((-633)/f)/(-1*(-2)/(-4)) prime?
True
Let x(m) = 82*m**2 - 50*m + 767. Is x(21) prime?
True
Suppose 0 = f + 5*d + 23, -5*f - 3*d + 2*d + 5 = 0. Let c = f + 6. Suppose 3*k = -c*k + 2849. Is k prime?
False
Let h be (-1)/(-4) + (1161/12)/9. Suppose 3*f + 4*k - 248 = -16, f - 81 = -5*k. Suppose -13*o = -h*o - f. Is o a prime number?
False
Let h be 1/(-3) + (-4)/6. Suppose 0 = 133*x - 17*x - 1160. Is (h - x)/((-8)/1192) composite?
True
Let f = 66163 - 41558. Let s = f - 17166. Is s a composite number?
True
Suppose 155 = 4*l - f - 2867, -4*f - 748 = -l. Let g(n) = n**3 - 16*n**2 - 27*n + 13. Let o be g(16). Let p = o + l. Is p composite?
False
Let p = 10490 + 4467. Is p a composite number?
False
Suppose 7532 = -2*g - 2*u + 62382, -137129 = -5*g - 3*u. Is g composite?
False
Let z(s) = s**3 + 14*s**2 + s + 14. Let v be z(-14). Suppose 274*r - 279*r + 4255 = v. Is r 