 2, a = -g - 18. Is (3 - 1468/a)*4 a composite number?
False
Let r(f) = -2*f**3 - 11*f**2 + 6*f + 7. Let i be r(-5). Let b = 247 + i. Is b a prime number?
True
Is (-10)/60*-30 + (40891 - -1) prime?
True
Suppose -g - 29672 = -5*t, 2*g = -5*t + g + 29678. Let l = -3962 + t. Is l prime?
True
Let g(q) = q**2 + 5*q + 5. Let n be g(-5). Suppose 2233 = n*c + 2*c. Is c prime?
False
Suppose 2975 = 2*a + 609. Let b = a + -640. Is b a composite number?
True
Let u(n) be the second derivative of n**5/10 + n**4/6 - n**3 + 21*n**2/2 - 11*n. Is u(10) a composite number?
False
Let u(q) = q**3 - 8*q**2 + 5*q - 7. Let g be u(6). Let b = -58 + g. Let v = b + 216. Is v prime?
True
Suppose 2*h - 3366 = -3*o + 3782, -o = -2*h + 7156. Let a = -1740 + h. Is a composite?
True
Let y = 1067 + 11080. Is y prime?
False
Suppose 6*t = 4627 + 19595. Is t prime?
False
Let v(f) = 7*f**3 - 3*f**2 - 6*f + 5. Let k be -2 + (-33*1 - -4). Let l = -28 - k. Is v(l) composite?
False
Suppose 204039 = 4*k - w, 2*k - 66*w = -65*w + 102017. Is k prime?
False
Suppose 13 - 47 = r. Let j = -24 - r. Is j*(-4)/((-16)/254) a composite number?
True
Suppose -o + 157 = -384. Is o a prime number?
True
Suppose 248272 - 608768 = -16*q. Is q a prime number?
True
Let c(z) = z**3 + 8*z**2 - 2*z - 12. Let a be c(-8). Suppose r + r + 10 = 0, a*r = i - 244. Let u = 343 - i. Is u prime?
False
Suppose -b + 5*w = -38481, 38517 = b + w + 3*w. Is b a composite number?
False
Is -1 + 1350432/52 + (-40)/(-260) composite?
False
Let b be 5 - (0 - 0) - 33. Is 1 + ((-318)/5)/(b/210) prime?
False
Let r = -44871 + 26320. Let g = -11356 - r. Is g a composite number?
True
Let a = -46 - -66. Suppose 4*b = 4*l - b - 549, 4*b + a = 0. Is l a composite number?
False
Let f be 11/(-7 - -8) - (6 - 0). Suppose 5 = 3*u - 10. Suppose 2*p = u*c - 2709, -2*c + 3*c - 531 = -f*p. Is c a prime number?
True
Suppose 2*f - 51 = -4*z - 7, 0 = 4*f + 8. Let r be 2*z*2/3. Suppose 0 = -12*t + r*t - 444. Is t a composite number?
True
Let q(j) = -8*j - 7. Let v be q(-7). Suppose -k - 3*g + 78 = -v, 0 = 3*k + 4*g - 381. Is k prime?
True
Suppose j - 39 = 4*x + 57, 2*j = 2*x + 210. Let i be j/(-26) + (-6)/(-39). Is (-10)/i + (-2)/(-4) a composite number?
False
Let g(b) = -11689*b**3 - 11*b**2 + 3*b + 2. Is g(-1) a composite number?
False
Let s = 3 + -75. Let o be (-2464)/s + 4/(-18). Let l = 155 - o. Is l a composite number?
True
Let d(v) be the second derivative of 0 - 3*v**2 - 2*v**3 - 11/12*v**4 - 1/20*v**5 + 8*v. Is d(-10) a prime number?
False
Suppose 0 = 3*q - 0*q - 9. Suppose -q*l - k + 14 = 4*k, 5*l - 11 = 4*k. Suppose 2*r - 976 = 6*g - 3*g, r = -l*g + 479. Is r composite?
True
Let m be -2 - -1 - 3/1. Let h be m/1*(-15)/10. Let p = h + 485. Is p prime?
True
Is 3/((-18)/(-4))*(-16743)/(-2) a composite number?
False
Let a(b) be the second derivative of -129*b**5/10 + b**4/12 - b**3/3 - b**2 + 11*b. Is a(-1) a prime number?
False
Suppose -3*x - 5*c + 192487 = 0, -5*x - 3*c + 128324 = -3*x. Is x prime?
False
Let a be 3 - 2/(2/3). Suppose a = -0*h - h. Suppose h = 2*p + 2*p - 844. Is p a composite number?
False
Suppose -2*s = 2*t - 126351 - 22261, -3*s - 15 = 0. Is t prime?
True
Let i(r) = 14*r**3 - 7*r**2 + 15*r + 7. Is i(5) prime?
True
Let i = 6017 + 10542. Is i composite?
True
Let k be 5*(0 - -2)*3/6. Suppose 0 = -5*l - 4*v + 737, -4*l + k*v = -507 - 99. Is l prime?
True
Let u(n) = 26*n**3 + 6*n**2 - 10*n - 7. Is u(5) composite?
False
Let p = -39 + -33. Suppose 3*i - 367 = 2*q, -23 = -i - 3*q + 81. Let t = i + p. Is t composite?
False
Let w = -5741 + 15532. Is w a prime number?
True
Let q = 7 + -6. Suppose -3*u - 5 = -5*f + q, 0 = 5*u - 5*f + 10. Is 4/(-6)*651/u composite?
True
Let b(r) = -22*r**3 - 6*r**2 + 10*r + 17. Is b(-8) prime?
False
Let z(i) = -i**3 + 16*i**2 + 30*i - 33. Is z(16) prime?
False
Suppose x + 23 = 4*j, 3*x - 2 + 11 = 2*j. Suppose -j*b + b = -710. Suppose -g = -59 - b. Is g a composite number?
True
Let a = -14 - -21. Let r(d) = -d**3 + 7*d**2 + 3*d + 6. Let w be r(a). Suppose 2*i + w = 169. Is i a composite number?
False
Let g(p) = p**2 - 5*p + 9. Let r be g(3). Suppose -r*a + 5795 = -6*f + 2*f, 0 = 4*a + f - 7714. Is a composite?
True
Suppose 15*w = 18*w - 9. Suppose -y + 1566 = w*y + 2*n, -5*y + 2*n = -1953. Is y prime?
False
Suppose 3*h + 3*n = 201, n + 23 = h - 40. Suppose 0 = -2*t + h + 109. Suppose j + t = 2*j. Is j a composite number?
True
Let m(x) be the second derivative of 34*x**4/3 + 3*x**2/2 - 3*x + 14. Is m(4) a composite number?
False
Let b be -8*(27/(-204) + 4/(-34)). Let d(a) be the second derivative of 227*a**4/12 - 7*a**3/6 + a**2/2 - 2*a. Is d(b) prime?
False
Let p = -99 - -100. Is 3964/(3 - p) - -5 prime?
True
Suppose 2*x = 5*x - 11427. Is x a composite number?
True
Suppose -t - 4 = 0, -5*z + 12*t = 13*t - 34011. Is z a composite number?
False
Let a(j) be the third derivative of 19*j**5/20 - j**4/3 + j**3/3 - 7*j**2. Is a(3) prime?
True
Let h(w) = 167*w**3 + 19*w**2 + 5*w + 3. Is h(4) a prime number?
False
Let f(j) = 2878*j + 23. Is f(6) a composite number?
False
Let c(l) = -l. Let d be c(11). Let p(z) = 12 + 3*z - 2*z + 13. Is p(d) a composite number?
True
Suppose -473*n + 28904 = -465*n. Is n a composite number?
False
Is 10485 - (-6)/(-9)*-3 prime?
True
Suppose 2*k - 21 + 9 = 0. Suppose 0 = 5*b + 3*x, 0 = -5*b + k*b - 5*x. Suppose -i = 4*h - 4*i - 479, -5*i - 5 = b. Is h prime?
False
Let f(l) = 3*l**3 + 13*l**2 + l - 64. Is f(18) composite?
True
Suppose 5*w - 18902 = -2*c - 0*w, -4*w + 47255 = 5*c. Is c composite?
True
Let r(k) = k + 14. Let b be r(-18). Let t(l) = -314*l - 39. Is t(b) prime?
True
Let i = -2 + 5. Suppose -2*s = u - s - 101, -4*s - 317 = -i*u. Suppose 3*w + 168 = 3*z, -5*w + u = 3*z - 81. Is z prime?
False
Suppose i + 4 = 3*i. Is ((-3365)/10)/((-1)/i) prime?
True
Let m(r) = r**2 + 7*r - 6. Let x be m(-8). Let y(c) = -25*c - 2. Let h be y(x). Let a = h + 137. Is a a composite number?
True
Is (-887)/(-6 - (-1225)/205) a composite number?
True
Suppose 4*v - 19 = 41. Let j = -12 + v. Suppose 4*m + j*l - 10090 = 0, -4*m - 4*l + 7571 = -m. Is m a prime number?
True
Let s(c) = -11*c - 50. Let k(a) = 20*a + 99. Let r(d) = 3*k(d) + 5*s(d). Is r(6) a prime number?
False
Let h = -21 - -25. Suppose -h*x + 9*x = 25. Suppose 0 = i - 1, i + i - 1957 = -x*t. Is t composite?
True
Let b(j) = -416*j**3 - 6*j**2 - 3*j + 2. Let t(u) = -u**3 + u**2 + u. Let m(s) = -b(s) - 4*t(s). Is m(1) a composite number?
False
Suppose 0*a - 10*a = -79850. Is 2*a/10 - 0 prime?
True
Is (83 - 173726)*(0 + (-2)/6) a prime number?
True
Suppose -a - 47969 = -5*v + 64058, -4*v - a + 89618 = 0. Is v a composite number?
True
Suppose 2*u = 73 - 67. Suppose 0 = -u*k - 2*k + 935. Is k a composite number?
True
Let l be (18/6)/((-6)/(-10)). Suppose 0 = -w - 0*w - 3*q - 7, 0 = w + l*q + 17. Suppose w = -2*g, 2*g - g = -3*a + 377. Is a prime?
True
Let y be 2/(-1) - -2*9. Suppose -3*o + 3 = -j, j = -3*j - 2*o + y. Suppose -w + 4*c + 204 = -j, 3*w = 2*c + 581. Is w composite?
False
Suppose 5*a - q - 15 = 0, 0 = -a - 2*q - 0 + 3. Suppose 4*r = 3*r + a*u + 1141, 3*r - 3*u = 3423. Is r composite?
True
Suppose 5*z - 2*k - 5938 = 0, 4*z - 3546 = z - 3*k. Suppose 6*t = 2852 + z. Is t a prime number?
True
Let t(k) = k**2 - k - 39. Let c be t(7). Suppose 5*u - 4*z + 3*z - 1246 = 0, 0 = -c*u + z + 748. Is u a composite number?
True
Suppose 252 = 12*z - 9*z. Is 13492/10 - (z/20 + -4) composite?
True
Suppose 0 = -20*m + 25*m - 10390. Is m composite?
True
Let f be ((-34)/(-4))/((-3)/(-138)). Suppose 4*j = j - p + f, 5*j = -5*p + 665. Is j a composite number?
True
Let v(q) be the third derivative of q**5/20 + q**4/24 + 5*q**3/6 - 10*q**2. Let k be v(-4). Let p = k - 10. Is p a prime number?
False
Let b(u) = 452*u - 2. Let v be b(1). Suppose 5*z = r + v, -2*z - 3*r + 51 + 112 = 0. Is z composite?
False
Let d(f) = -32*f**2 - 17*f + 3. Let z(j) = 11*j**2 + 6*j - 1. Let g(n) = -6*d(n) - 17*z(n). Let u be g(1). Suppose 6*s - u*s = 174. Is s a prime number?
False
Is (-6)/(-1 - 23)*1268 prime?
True
Is -2*(-60)/40*14741/3 prime?
True
Let z = 59857 - 36698. Is z composite?
False
Suppose -224 = -6*q - q. Let w = -25 + q. Is 2989/w + 0/2 prime?
False
Let r = 6719 + -2742. Is r a prime number?
False
Is -1949*((-4)/(-8))/((-2)/12) a prime number?
False
Suppose 