s o composite?
True
Let r(l) = -4 + 10*l**2 + 0*l - 6*l + 25. Suppose 3*j = 3, -y = 3*y + 3*j + 25. Is r(y) prime?
False
Let t = 113 + -114. Is (5 - (-2 - t)) + 203 a prime number?
False
Let i(o) = 3*o + 37. Let a be i(-9). Suppose a*h - 182 = 3*h. Is h composite?
True
Suppose -66*d + 883433 = 6*d - 26431. Is d prime?
True
Suppose 2*p + 3*r = 4034, -15*r + 10092 = 5*p - 11*r. Suppose t = p - 467. Is t prime?
True
Suppose -25*j + 23*j + 92 = 0. Let i = j + -732. Is i/35*(-5)/2 composite?
True
Let o(x) = -85*x + 155593. Is o(0) composite?
False
Let s(c) be the third derivative of c**5/15 + 5*c**4/24 + 7*c**3/6 + 2*c**2. Let g be s(-4). Is ((-17)/g)/((-1)/1761) a prime number?
True
Suppose -3*x = 4*c - 1202225, 801514 = 2*x - 550*c + 545*c. Is x prime?
False
Suppose 18144 = 9*q - 2*q. Let l = q + -203. Is l a composite number?
False
Is (-4598275866)/(-8338) - 14/11 composite?
False
Suppose 4*l = 19*l - 75. Let z be 1/4 - l/20. Suppose 2*o - 5*u - 436 = z, -u = -0 - 2. Is o prime?
True
Let n be (171*160)/(-2)*-1. Suppose 0 = -3*c + 3*w - 3098 + 11318, -5*c + w + n = 0. Is c a prime number?
False
Let f = 304687 + -117770. Is f prime?
True
Suppose -53*k + 2*q + 2239410 = -49*k, -5*q = -2*k + 1119733. Is k prime?
True
Let m be 0 + (4 - (5 + -3)). Let c be 32/(-144) - 94/(-18). Suppose 25 = -c*k, h - m*k = 1172 - 45. Is h prime?
True
Let y(l) = -32159*l - 1001. Is y(-60) prime?
True
Let o(u) = -3*u**2 - 16*u - 1. Let z be o(-5). Let f be (((-73023)/z)/(-1))/(4/(-16)). Is f/(-33) - (6/11)/(-3) a composite number?
False
Suppose 2*h - w = -891, 2*w + 1355 = -3*h + 15. Let c = h - -1617. Is c a prime number?
True
Is (65469063/(-1012))/((-6)/16) prime?
False
Let b(p) be the second derivative of 0 + 239/12*p**4 + 1/2*p**2 - 7*p + 1/3*p**3. Is b(-2) composite?
False
Suppose 307*y - 15*f = 306*y + 371813, 2*y - 743794 = 2*f. Is y composite?
True
Is (-849406)/(-9) - (8 - -2 - (-172)/(-18)) a composite number?
True
Let o(w) = 897*w**2 + 8. Is o(-5) a composite number?
False
Let a(m) = 134*m**3 - 3*m**2. Let c be a(2). Let d = -575 + c. Let h = d - -582. Is h composite?
True
Suppose 46*q + 53*q - 15012647 = -921878. Is q composite?
True
Suppose 448 = j + 7*j. Suppose -j*r = -62*r + 7134. Is r prime?
False
Suppose -3 = 2*p + 3*m + 3, -3*p + 4*m = 26. Is (p - (-7 + -1))/(4/24874) composite?
False
Let z = 5051 - 3535. Suppose z = 6*c - 33566. Is c composite?
True
Is -14 - (-792104)/16*2 composite?
False
Let l(d) = 127*d**2 - 9*d - 10. Let j be l(-3). Suppose -4*n = -15036 - j. Is n prime?
True
Suppose 24 = -4*d, -551167 = -c - 0*c - 2*d. Is c composite?
False
Let k = 444425 - 215340. Is k composite?
True
Let f = 71777 - 41748. Is f a prime number?
True
Let i = -6 + 13. Suppose -3*s + 100 = i*s. Suppose -s*m + 3621 = 1251. Is m a composite number?
True
Let n be (-208)/(-72) + 1/9. Suppose 0*x = -n*x + 6. Suppose -x*s + 1872 + 3284 = 2*d, 2*d = -2. Is s a prime number?
True
Let r(i) = -437*i - 2. Let j be r(-3). Suppose -5*b + 3*h + 21 = 0, 21 = 5*b - b - h. Is 2*j/b + 58/87 composite?
True
Let j be 42/(5 + -12) - -23. Suppose 19*k - 13894 = j*k. Is k a prime number?
True
Let s = -108 + 114. Let k be 12 + (3/3)/(2/s). Is (10/k)/((-4)/(-12702)) composite?
True
Let d(l) = -297*l**3 - 3*l**2 + 5*l + 7. Let g be d(-2). Suppose -i = -4*a - g - 381, -5*i + 13600 = 2*a. Is i a composite number?
True
Let i be 2 + 22950 - (-11 + 5). Suppose -i = -24*c + 59818. Is c a composite number?
False
Let m be (3 - (-126)/24)/((-6)/(-16)). Suppose 0 = 4*r - 20, -26*r = -o - m*r + 6522. Is o prime?
False
Let t be (-1 + 0)/((-12)/(-8) - 2). Suppose -5*c + 4*c - 3*w = -10, -12 = -2*c - t*w. Is (-2)/(-9) + (-34824)/(-27) + c prime?
False
Suppose 0 = 4*z + 5*d - 101035, 2*z - 3*d + 75780 = 5*z. Suppose 6*a - 11*a = -z. Let p = a + -1596. Is p a prime number?
True
Let p(k) = -k**2 + 9*k - 11. Let v be p(8). Let t(n) = -19*n + 9. Let w be t(v). Suppose -w*g + 63*g = -3423. Is g a composite number?
True
Suppose 0 = -0*v + 12*v - 168. Let l be (-42)/(-4)*8/v. Suppose l*i - 599 = -107. Is i composite?
True
Let l = -503 + 709. Let y = l + -80. Suppose -p + y = s, -241 = -4*p + 2*s + 269. Is p a prime number?
True
Suppose -10*a + 62035 - 13645 = 0. Suppose -5*m - n = -a, -n + 5*n + 2885 = 3*m. Is m composite?
False
Suppose -8*j + 9*j - 2793 = 5*h, -8327 = -3*j + 2*h. Is j a composite number?
True
Let g(r) = -r**3 + 37*r - 31. Is g(-17) a prime number?
True
Suppose 4*c - 3 = -3*h - 0*h, -4*c - 37 = -5*h. Suppose h*x = 5, 4*x + 2 = n + 6. Suppose -4*m + 9*m - 4175 = n. Is m a prime number?
False
Let s be 3/12 + (-805)/(-92). Suppose 0 = -4*v - 3*l + 16813, 6*v + 5*l + 12588 = s*v. Is v prime?
True
Suppose -3*l = 4*b - 81, 0*l - 19 = -b - 2*l. Suppose b = 2*o + 2*c + 3*c, 2*o - 1 = -c. Let m(y) = -115*y**3 + 5*y + 4. Is m(o) composite?
True
Let b be -7*(12/21)/(-2). Let m(i) = b*i**2 + 66*i**2 + 5*i**2 - 11*i - 19. Is m(-5) a composite number?
False
Let q(c) = -4*c**3 - 301*c**2 + 29*c - 21. Is q(-76) a composite number?
True
Let o(d) = 454*d**2 + 13*d - 14. Is o(3) a composite number?
False
Let b(a) be the second derivative of 5*a**4/6 - 14*a**3/3 - 23*a**2/2 + 42*a + 2. Is b(-19) a prime number?
False
Is (-132)/(-165) - (-1292586)/30 a composite number?
True
Suppose 0*f = -f + 3. Let u be ((f - 7)/(3/3))/(-2). Is (2 - 5)/((u/79)/(-2)) a composite number?
True
Is (5/(-140)*-7)/((-16)/(-10475072)) composite?
False
Let q(x) = 409337*x**3 - 10*x**2 + 17*x - 5. Is q(1) composite?
True
Let n = -63 + 68. Suppose -n*v = -0*v. Suppose 4*i - 1156 + 88 = v. Is i prime?
False
Let c be (-4 - -8) + 4335 + 0. Let g = c - -444. Is g a composite number?
False
Suppose -812*a = -814*a + 3*w + 982396, -a = -2*w - 491197. Is a composite?
False
Let x be -1*(-3 - (-6)/(-3)). Suppose 2*c + x*c - 9667 = 0. Is c composite?
False
Suppose 3*c - 108 = -0*d - 5*d, 4*d - 5*c = 79. Is 17682/(-4)*(-14)/d prime?
False
Let w(s) = -s**3 - 7*s**2 - 7*s + 7. Let k be w(-5). Is k/(-72) - 8980/(-18) a composite number?
False
Let o(m) = 19*m**2 + 31*m + 20. Let c be o(-16). Let r = 10879 - c. Is r a prime number?
True
Let w(u) = 45*u**2 - 10*u - 237. Suppose -2*t = 22*t + 624. Is w(t) a composite number?
True
Let n be -2*((-4)/(-12))/((-7)/42). Suppose -47646 = -n*f - 15106. Is f composite?
True
Let g(o) = -3*o**2 - 52*o - 20. Let m be g(-17). Is (-1)/2*1/(m/14358) a prime number?
True
Suppose -29 - 7 = -4*d - 4*z, -z = 5*d - 33. Let q(r) = 94*r**2 + 6*r + 13. Is q(d) composite?
False
Let v = 31066 + -10127. Is v a prime number?
True
Suppose -80*d - 58968 = -88*d. Let f = d - 3550. Is f a prime number?
True
Let s(d) = d + 9. Let a be s(-5). Is 1 + 1657 - (-3 + a) a prime number?
True
Suppose 0 = 5*h - 7*q - 27318, 0 = -4*q - 142 + 126. Is h composite?
True
Let a(u) be the third derivative of -23*u**4/6 + 223*u**3/6 - u**2 - 116*u. Is a(-21) composite?
True
Let k(m) be the third derivative of m**5/60 + m**3/6 - 26*m**2. Let x(w) = 7*w**2 - 14*w + 14. Let p(z) = -4*k(z) + x(z). Is p(9) prime?
True
Let g(n) = -9*n**2 - 3*n + 22. Let d be g(3). Is (0 + -2)*251770/d a prime number?
False
Suppose -s = -0*s + 2*q - 45505, -2*s = 5*q - 91005. Is s a composite number?
True
Suppose -6 = n + 5. Let u(s) = -80*s - 7. Let b be u(n). Suppose -649 = -5*r - 5*j + 431, -4*r - j + b = 0. Is r prime?
False
Let j(o) be the first derivative of 1073*o**2/2 + 13*o + 66. Is j(2) a prime number?
False
Suppose -37 + 97 = 12*h. Is (h + 834)/((-2)/(-6)) prime?
False
Suppose 2*v - 4*s = -s + 187423, -3*v - 5*s = -281106. Is v composite?
True
Suppose -j + 19267 = 3*t + 916, -2*j = -3*t - 36666. Let d = 2956 + j. Is d prime?
False
Suppose -3*t + 43 = 205. Is ((-7)/9)/((-18)/t)*-159 composite?
True
Let z = 34 - 47. Let u(t) = -t**2 - 12*t + 16. Let j be u(z). Suppose -2*l + 70 = j*q, 4*l + 92 = 4*q + 6*l. Is q composite?
True
Suppose z - 48 = 70. Suppose -329 - z = -3*w. Is w prime?
True
Is (34162 + (-3)/(-3))/(16/16) composite?
True
Let v(k) = 1501*k + 1456. Is v(7) composite?
True
Is -70*(-27)/1512 + (-90686)/(-8) a composite number?
True
Let z(l) = -292*l - 3. Let c(d) = d. Let a(y) = -2*c(y) - z(y). Suppose n + 3*k + 5 = 0, 6 = 2*n - 68*k + 66*k. Is a(n) prime?
True
Suppose -14614 = -4*i + 10574. Is (4/12)/(1/i) a prime number?
True
Suppose 5*k + 47292 = 4*h, 2*