 = -a + 4*s - 702. Is a a composite number?
False
Let i(f) = 1516*f - 40. Let o be i(9). Let p = o - 9223. Is p a prime number?
False
Let b = 20 + -10. Suppose 0 = b*r - 3*r - 28. Let a(d) = 41*d**2 - 7*d + 13. Is a(r) composite?
False
Suppose 2*f - 28650 = -5*k + 5*f, -k + 5758 = 5*f. Suppose -3*a - 7409 = -32975. Let x = a - k. Is x a composite number?
False
Let b(k) = k**3 - 4*k**2 - 17*k - 8. Let h be b(7). Is (-92210)/h*20/(-2) a composite number?
True
Suppose -19*d + 2733460 = d. Is d a prime number?
False
Let w be 3 + 10/(-35) + 32/14. Suppose 4*u - 2*h + 3 = -u, -2*u = -w*h + 18. Is (844/(16/4))/u prime?
True
Suppose -359095711 = -262*i - 37*i. Is i composite?
False
Let w = 72176 + -35989. Is w composite?
False
Let p(s) = 5*s**2 + 5*s - 29. Let m = -352 - -340. Is p(m) prime?
True
Let c(t) = 119*t + 18. Let x be c(20). Let o = 3677 - x. Is o a composite number?
False
Let t = 375 + -394. Is (34/4 + 114/t)*3046 a prime number?
False
Suppose -5*i = 10, 5*w = -i - 2047 + 9710. Let u = w + 4. Is u prime?
False
Let a be -1*(-116)/((-12)/(-3)). Let n(q) = q**2 - a + 56*q + 0*q**2 - 3 + 1. Is n(26) a composite number?
True
Let k be (-1 + (-14)/6)/((-34)/18003). Suppose 0 = 38*b - 31*b - 35. Suppose k = b*t - 1170. Is t prime?
True
Let c = 12258 + -3959. Let k = -3026 + c. Is k a composite number?
False
Let c = 21909 - 43340. Let x = -13064 - c. Is x prime?
False
Let a = 404 - 72. Suppose 0 = -10*q + 1422 - a. Suppose -2*i + q + 145 = 0. Is i prime?
True
Suppose -36 = -0*d - 9*d. Suppose -4*n + d*r = -2876, 5*r - 5 - 15 = 0. Is n prime?
False
Suppose 5*l - 2*f = 15 - 1, -4*l = -f - 10. Suppose -2*p = -p, l*p = -g + 641. Is g a prime number?
True
Suppose 4*l - f = 4345875, -2*l - 24*f + 22*f = -2172940. Is l prime?
True
Suppose 16*v - 804927 + 110191 = 0. Is v composite?
True
Let s = 39961 - 81530. Is ((0 - 1) + 0)/(11/s) prime?
True
Let x be 36/(-162) + (-1038)/(-54). Let t(j) be the second derivative of 41*j**3/6 + 30*j**2 - 2*j. Is t(x) a composite number?
False
Let t(m) be the third derivative of 29*m**6/30 - m**5/60 - m**4/24 + m**3/6 - m**2. Suppose -48*o + 41*o = -7. Is t(o) prime?
False
Let f(q) = 41*q + 26. Let w be f(-10). Let n be (-3680)/15 - 3/(-9). Let o = n - w. Is o a composite number?
False
Let l = -6159 + 10374. Suppose -2 = z, f + 10*z = 12*z + l. Is f a prime number?
True
Is 1265/(-253) - (0 - 596826) composite?
False
Let l = 81 + -81. Is l + 5125 + 7 + (-33)/11 a composite number?
True
Let z(w) = 17*w**3 + 8*w**2 + 3*w - 74. Is z(20) a prime number?
False
Let w = 273 + -187. Suppose w*s - 5495 = 81*s. Is s a prime number?
False
Suppose 0 = -22*c + 605426 + 347878. Suppose -139298 = -70*k + c. Is k composite?
False
Suppose r = -2*q + 6070, 4*q - 15268 + 3136 = -4*r. Suppose -4472 = -3*o + q. Is o a prime number?
True
Let o be (-12 - -6) + (-4)/(-1). Let h be -53*o*(-1)/2. Let y = 192 + h. Is y a prime number?
True
Is 1 - -123022 - (15 - 25) prime?
False
Is (43674/1004)/(6/(-90164)*-1) a composite number?
True
Suppose -63*t + 23*t + 1808840 = 0. Is t a prime number?
False
Is 6520336*(4 + (-1134)/288) a prime number?
True
Suppose 28*q = 27*q - 23540. Is 20/(-28) + 1 + q/(-28) composite?
True
Suppose -98304 = 3*v + v + n, -3*v - 2*n = 73723. Let m = v + 43635. Is 1/(-14)*4 + m/14 composite?
False
Let q(y) = 165871*y + 6568. Is q(3) composite?
False
Let s(w) = 3*w**3 + 2*w**2 + 3*w + 1. Let r be s(-2). Let j be (18/r)/((-10)/35). Suppose 2*m - 3*m + j*c = -46, -5*m - 3*c = -212. Is m composite?
False
Suppose -18*n = -2*n + 304. Let q(i) = -356*i + 101. Is q(n) a prime number?
False
Let u(t) = 293*t - 8. Let v be u(4). Suppose 4*y + 4*o = 2*o + v, -y = -4*o - 291. Let x = y + 1106. Is x a prime number?
False
Suppose -1595 = -3*a + 4*y + 1842, 0 = a + 5*y - 1114. Suppose -5*w = -f + a, 2*f + 5*w = 2095 + 183. Is f a composite number?
True
Let h(q) = -29*q + 23*q + 20*q**2 - 6 - 4. Let x be h(-4). Suppose 0 = 2*d - 4*f - x, -4*f - 12 = -f. Is d prime?
False
Suppose -68 = 3*c + 3*x + 4, -4*c - 87 = x. Is 168/224 + c*(-362)/8 prime?
False
Let a(g) = 22*g**2 - 3*g - 5. Let v(r) = -r**2 - r + 1. Let z(q) = a(q) - 2*v(q). Is z(6) composite?
True
Suppose 155*s = 149*s + 26502. Is s prime?
False
Let f(c) be the third derivative of -25*c**2 + 989/60*c**5 + 0 + 1/3*c**3 + 0*c**4 + 0*c. Is f(1) prime?
True
Let a be 76/28 - (-2)/7. Suppose 2681 = 4*g - a*h, h + 1368 = 2*g + 5*h. Is g a composite number?
True
Let z(m) = -29679*m - 3866. Is z(-27) a prime number?
False
Let j(f) = 2*f**3 - 3*f**2 + 16*f + 25. Let s be j(8). Let x = 2958 - s. Is x a prime number?
True
Let r = 1987 - 1400. Let x = r - 0. Is x prime?
True
Let d(h) = -37*h**3 + h**2 + 2*h + 1. Let m be d(-1). Let q = m - 41. Is ((-6)/(-9))/(3*q/(-16110)) a composite number?
True
Let l be ((-187314)/24)/(6/(-48)). Is l/8*1/(-2)*-8 a prime number?
True
Let n(d) = 71*d**3 + 6*d**2 - 12*d + 23. Let a be n(3). Let c = a - 321. Is c composite?
False
Let i be -20 + 23 + (1 - -28941). Suppose -87*q = -92*q + i. Is q a prime number?
False
Let p(z) be the third derivative of -z**6/120 + z**5/15 + 5*z**4/24 - z**3/6 - 19*z**2. Let r be p(5). Is 910 + ((-3)/r + -2)*1 composite?
False
Suppose 5*y + 2*d - 19 = 0, 2*y + 3*y - 5*d = 5. Suppose 0 = -q - 4*k + 30 + 9, 2*q = -y*k + 83. Is q a composite number?
False
Suppose 19561 = 3*z - 2*g, 20*z - g = 23*z - 19564. Is z composite?
False
Is 211656 - (4/(-3) - -1)*(-63 - -66) prime?
True
Suppose 0*x - 10 = -x - i, -35 = -5*x - 2*i. Suppose x*k - 29 - 161 = 0. Is k prime?
False
Let i be 1/(-2) - 6/(-12). Suppose 149*k - 148*k - 265 = i. Suppose g - k = 1078. Is g a prime number?
False
Suppose -2*r - 80 = -7*r. Let q(l) = 18*l**2 - 26*l + 32. Let f be q(r). Suppose -5*n = -f + 279. Is n prime?
False
Let g(f) = 2*f - 10. Let k = 17 + -10. Let y be g(k). Suppose -2*o + y*x + x + 1703 = 0, -5*o - 5*x = -4170. Is o composite?
False
Let w(j) = 45043*j + 358. Is w(7) a prime number?
False
Let o be (1 - 6)*(3 - 4). Let d be 0 - ((-1)/2)/(o/27870). Let w = d + -1450. Is w a prime number?
False
Let p be (4/7 - -1) + 15/35. Let o(r) = -5*r**3 - 7*r**2 + 8*r + 4. Let m be o(-6). Is 2 + m + p + 1 a prime number?
False
Let z be ((-8)/2 + 5 - -2) + 52. Is 6/(-15) - (-336567)/z prime?
False
Let h(x) = -448*x - 17665. Is h(-83) a composite number?
True
Let a(g) = 370*g - 27. Let t(m) = -370*m + 25. Let b(x) = 3*a(x) + 2*t(x). Is b(30) a composite number?
False
Let r = -912 - 742. Let i = -623 - r. Is i composite?
False
Let g(c) = c**3 - 4*c**2 + 4*c + 1. Let f be g(3). Suppose 6*i - 60 = -f*i. Suppose -i*k + 1525 = 247. Is k a composite number?
True
Let n(o) = 319*o + 9. Suppose 0 = 5*b - 15, 2*w = 6*w + 3*b - 121. Let a be (-6*4/w)/((-3)/14). Is n(a) a prime number?
False
Let h(v) = -v**3 + 10*v**2 - 8*v - 9. Let y be h(9). Suppose -4 + y = -2*s. Suppose 4*b = 5*r - 8293, -2*b + 3316 = s*r - 3*b. Is r a composite number?
False
Let h(f) = 13948*f**2 - 32*f - 115. Is h(15) a prime number?
False
Suppose -3*v = 3*f - 3276423, 4*f - 286467 = -v + 4082103. Is f a composite number?
True
Suppose t + 39 = 4*h - 0*t, -23 = -3*h + 2*t. Let a be (h + 0/4)*78. Suppose 2*k + 356 - a = 0. Is k a prime number?
True
Let m(n) = n**2 + 4*n + 4. Let y be m(-2). Suppose y = 7*r + 8413 - 37680. Is r a composite number?
True
Let n = 82 - 78. Suppose -4*g = -3*j - 15, n*g + 5*j + 25 = -g. Suppose 3*l - 6626 - 625 = g. Is l a prime number?
True
Let k = 127 + -128. Let f(t) = -1775*t - 1. Let v be f(k). Suppose 2*m + 2*l - v = -2*l, -5*l - 2606 = -3*m. Is m composite?
False
Suppose -2*n = 7*v - 9*v - 30784, 0 = -4*n - v + 61553. Is n composite?
True
Let m be (-2)/((-36)/45897) + 3/18. Is (m - 21) + 2*2 composite?
True
Let k(m) = -m**2 - 9*m - 12. Let w be k(-7). Suppose 4*u - 3*a - 6 = 2*u, -6 = -w*u + 5*a. Suppose -u*i - 3*h + 2238 = 0, 3*h + 1474 = 2*i - h. Is i composite?
False
Let d be (-4)/(-18) - (-16)/126*14. Let u(j) be the second derivative of 161*j**4/2 + j**3/3 + j**2/2 - 4*j. Is u(d) a prime number?
False
Let b(t) = -15636*t - 3. Let g be b(-1). Is (4/(-8))/1 + g/6 a composite number?
True
Is 166295/10 + 10 - ((-35)/(-10))/7 composite?
True
Let y be 18/(-5)*(4 + 6). Let s = -30 - y. Suppose -s*n + 647 = -5*n. Is n composite?
False
Let t = 12 + 22. Let w = 29 - t. Is (-662)/(w/3