 + b. Is k prime?
True
Suppose 5*f + 2*t = 55, -7 = -f + 3*t + 21. Let x(z) = z**3 - 8*z**2 + 30*z - 4. Let d be x(f). Suppose -13 = -4*u + d. Is u prime?
True
Let c(k) = 6*k**2 + k**3 - 23*k**2 + k + 53 + 13*k**2. Let j(y) = 7*y + 152. Let a be j(-20). Is c(a) a prime number?
True
Let j = -172503 - -244526. Is j prime?
False
Let x = -4 - -32. Let a be 11404/6 - (x/6 + -5). Is a - (-4)/1 - 4 prime?
True
Suppose 3*a + 2*x - 15846225 = 0, 0 = 4*a + 181*x - 184*x - 21128351. Is a composite?
True
Let w = 1845 - 89. Let d = 3011 - w. Is d prime?
False
Is (-299 - -10930) + 12*1 a composite number?
True
Is 5 + (-9400)/(-3) + (-833)/51 + 15 composite?
False
Suppose -30*d + 1996957 + 104484 = -7*d. Is d a composite number?
False
Let z(h) = -48463*h + 459. Is z(-14) a composite number?
False
Let v = 143 + 13. Suppose 0*k = 2*k - v. Let w = 5111 - k. Is w a composite number?
True
Suppose 0 = -3*l + 6, 17*p - 904984 = 13*p + 2*l. Is p a composite number?
True
Is ((-39)/(-54) + (-2)/9)/((-10)/(-2747320)) prime?
False
Let f = 40008 + 44081. Is f composite?
False
Is 245115185/2075 + 4*(-2)/(5*2) a prime number?
True
Let h = -240 - -212. Is 7*1447 - 112/h prime?
True
Let d = -85735 - -177276. Is d a composite number?
False
Let k(u) be the second derivative of -u**3/2 + 4*u**2 - 15*u. Let s be k(2). Suppose 4*b - 502 = s*b. Is b a prime number?
True
Let g(w) be the second derivative of 779*w**4/12 + 8*w**3/3 + 23*w**2/2 + 96*w + 2. Is g(-2) a composite number?
True
Suppose -17139 = 21*b - 121681 - 24209. Is b prime?
True
Let f(i) = 589*i**3 + 2*i**2 - 47*i + 121. Is f(3) a composite number?
False
Let d = 7753 + 2356. Is d a prime number?
False
Is (7 + 0)*(2662 - (-8 + 13)) a composite number?
True
Let q(v) be the third derivative of v**6/4 + v**5/10 + 5*v**4/24 - 2*v**3/3 - 14*v**2. Let a be q(-4). Let l = a + 4501. Is l prime?
False
Suppose d = 2*q - 176418 - 414499, -5*d = -2*q + 590913. Is q composite?
False
Let w = 25 + -19. Is (-5 + (-681)/4)/(w/(-24)) prime?
True
Let h be 6*(-232)/84 - (-3)/(-7). Is ((-66)/h - (-32)/272) + 2655 a composite number?
False
Let p(b) = 6*b - 6. Let f be p(5). Let q = -322 + 304. Is (1437/q)/((-4)/f) a composite number?
False
Suppose 0*t + 3*t - 3*c + 3 = 0, -5*t - 5*c + 35 = 0. Suppose 2*q - t*q = -12. Suppose q*i - 402 = 9*i. Is i a prime number?
False
Let y(o) = o**3 + 8*o**2 + 7*o + 3. Let k be (-2)/((-12)/(-38)) - (-2)/(-3). Let l be y(k). Is 6/(-3) - -198 - (-1 + l) a composite number?
True
Is 7461026/30 - (32 + 19280/(-600)) prime?
True
Suppose -10*j + 13*j - 99 = 0. Let u(o) = -o**3 + 31*o**2 + 76*o + 89. Is u(j) prime?
True
Let x = 369 + -109. Let a = x + 1106. Is a a composite number?
True
Suppose -24*o - 103748 = -4*o - 1659688. Is o composite?
False
Let m(y) = -y + 1. Let o(p) = -12*p - 42. Let z(h) = 4*m(h) - o(h). Let i be z(-6). Is 1695 + (-5 - (i - (-1 + 2))) prime?
True
Let l = 144 + -138. Is (-5)/l + 26766983/366 prime?
True
Let y = -116525 + 179790. Suppose 16668 = -17*u + y. Is u composite?
False
Let z(o) = -o**3 - 5*o**2 - 3*o + 8. Let y be z(-4). Suppose -y*i = -2725 - 16279. Is i composite?
False
Let i(v) = 271040*v**2 - 34*v + 3. Is i(-1) composite?
True
Let f be (-11792)/55*35/14. Let p be (-4)/18 - 9695/(-9). Let s = f + p. Is s composite?
False
Is (-96797)/6*-14 - (6 + (-288)/54) composite?
False
Let l = -60543 - -87551. Suppose -l - 14362 = -30*n. Is n prime?
False
Let q(l) = 2*l - 5. Let x be q(4). Suppose 4*h = -6*b + b + 21, -2*h = b - x. Suppose b*i - 4*i - 2707 = 0. Is i a composite number?
False
Let l(k) = 9077*k - 1317. Is l(40) prime?
True
Let r = -1093025 - -1944198. Is r prime?
False
Let j = -99610 - -206193. Is j a composite number?
True
Let t(x) = -11*x**3 + 7*x**2 - 5*x - 8. Let a be t(-4). Suppose g = -213 + a. Is g/2 + (-33)/66 composite?
False
Let z = 507981 + -215948. Is z a composite number?
True
Let x(a) = a - 10. Let r be x(7). Let b(l) = -96*l + 2. Let p(g) = 32*g - 1. Let f(s) = r*b(s) - 8*p(s). Is f(1) a prime number?
False
Suppose -3*v - 55684 - 19623 = j, 0 = 2*j + 8. Let h = -11685 - v. Suppose d + 3*s + 16777 = 6*d, -s - h = -4*d. Is d composite?
True
Let m be 22/10 - 2 - (-9)/(-45). Is (-34)/(-34) + (-116 + m)/(-2) composite?
False
Suppose 4*n - 19 = t, 2*n + 10*t - 8*t = 22. Let o(f) = 92*f - 73. Is o(n) prime?
True
Suppose -131*o = -790600 - 2390211. Is o a composite number?
False
Suppose -5*l + 336 = -779. Suppose -55 = -6*k - l. Is 8/k - 1815/(-7) prime?
False
Let x be ((-1)/2)/(((-6)/(-24))/(-1)). Let f be 3/(x - 10/(-4)*-1). Is -3 - -708*(-4)/f a composite number?
True
Let d be (-3 - 7658/(-4))*(0 - -2). Let z = 13567 - d. Suppose -4*n + z = 3340. Is n a composite number?
False
Suppose -29*t = 63235 + 148316 - 963318. Is t prime?
False
Let o(h) = -5*h**2 + 3 + 3*h**2 + 1 + 27716*h - 27740*h + 3*h**2. Suppose -19 = -3*c - 52. Is o(c) a composite number?
False
Let j(q) = -8 - 5496*q - 5 + 3910*q. Let r be j(-4). Suppose -4*a = 6*k - 3*k - r, -4*k + 8412 = -2*a. Is k a prime number?
False
Let z(s) = -6*s**3 - 22*s**2 + 24*s - 19. Let x be z(15). Let h = 1036 - x. Is h prime?
False
Let a(r) = r**3 - 7*r**2 + 4*r + 12. Let n be a(6). Suppose 195 = 5*t + 2*f - 155, -5*f = n. Suppose 3*x - t = -7*x. Is x composite?
False
Let o(x) = -12*x**2 + 2 + 5*x**3 - 7 + 4*x**2 - 8. Let t be o(6). Suppose t = 8*l - 1773. Is l composite?
True
Let y(q) = -q**2 - 4*q + 2. Let c be y(-4). Suppose -5*t = -c*t - 3171. Suppose t = 2*s + 3*z, 1 = -s + 3*z + 507. Is s composite?
False
Suppose -v = -4*x - 0*v + 433, -2*x = 3*v - 199. Suppose -x + 23 = 6*r. Is 2*(-933)/12*r a composite number?
True
Let c(p) = 8*p + 7*p**2 - 24*p + 3*p + 9*p + 203 + 12*p. Is c(-38) composite?
False
Suppose -2989*o - 1246498 = -3011*o. Is o a composite number?
False
Let m(s) = 18*s**2 - 436*s - 21. Is m(37) prime?
False
Let k(s) = 6*s**2 + 50*s + 51. Let m be k(26). Suppose 0 = l - 2*n - m, -l - 25*n + 5407 = -28*n. Is l a composite number?
False
Let l be 5/15 + 23242/6. Suppose 2*w = 4*w - l. Is w prime?
False
Let a = 16643 + -9797. Let j = a - 3413. Is j a composite number?
False
Let z be (-3 + 1267)*(-3)/(-2). Suppose 17*w - 5635 - z = 0. Is w a prime number?
True
Suppose -f + 4 = 2. Let q(k) = k**3 + 106*k**2 + 307*k - 208. Let p be q(-103). Is (-1067 + -20)*f/p composite?
False
Let z be ((-216)/120)/((-2)/20) + 4. Let s(k) = 9*k**2 - 8*k - 53. Is s(z) prime?
True
Suppose 0 = -6*f + 240429 + 1380693. Is f composite?
True
Let i = -61 - -61. Suppose i*q - 5*q - r - 45 = 0, 2*q + r = -21. Let b(a) = -23*a + 3. Is b(q) prime?
False
Let i = 9410 - -119751. Is i prime?
False
Let g(k) = k**3 - 33*k**2 - 20*k - 789. Is g(38) prime?
False
Let l = 34 + -30. Suppose -l*x - 5*c = -4268, 2*x - 3*c = -c + 2134. Is x prime?
False
Let x(d) = -21 - 4*d**3 + 6*d + 17*d**2 - d**2 - d**2 + 3*d**3. Let a be x(15). Suppose 1222 = w - 3*j, -5*w = 3*j - a - 5987. Is w a composite number?
False
Let t(u) = -u**3 + 2*u**2 + 3*u - 5. Let i be t(3). Let l be (-4)/10*i + -2. Suppose l = -b - 6*b + 623. Is b a composite number?
False
Is 10/35*(-19959275)/(-50) a prime number?
False
Let v = -67456 - -44621. Let u = v + 33297. Is u composite?
True
Let t = 202 + -164. Suppose 13036 = t*j - 34*j. Is j a composite number?
False
Let d(z) = -871*z + 23. Let h be d(-9). Let t = 13635 - h. Is t a prime number?
False
Let s = 102 + -178. Let o = s + 66. Is 878*(-4 - 45/o) prime?
True
Suppose -6*z - 6*z = -23220. Let a be 1/(-6)*1 - z/(-270). Suppose -a*l - 982 = -9*l. Is l composite?
False
Suppose -3*p - 5*c = 10, 5*c + 57 = 5*p + 7. Let d(w) = 17*w**3 - 8*w**2 + w + 9. Is d(p) a composite number?
True
Let q(p) = 4*p**3 - 5*p**2 + 218*p - 41. Is q(12) composite?
True
Let p(g) = 154*g**2 + 4*g - 31. Let w(i) = -i**3 + 2*i**2 - 4*i + 25. Let c be w(3). Is p(c) composite?
True
Let j = 491 - 372. Suppose 2*d + 5*g = -15 + 310, -4*d + 530 = -2*g. Suppose 2*w = d + j. Is w prime?
True
Let r = 40 - 89. Let s = r - -61. Let h(a) = -a**2 + 16*a - 11. Is h(s) composite?
False
Let d(n) = 0*n**2 + 6*n**2 + 6 + n**3 + 5*n - 6 + 1. Let i be d(-4). Is (-2)/i - 20615/(-65) composite?
False
Suppose -2*h - z + 48719 = 0, -5*z = -h + 19087 + 5267. Is h a composite number?
False
Let z(f) = 43*f + 11. Let o = -88 + 91. Let g be (56/o - 0) + (-12)/18. Is z(g) a prime 