. Suppose -47131 = 241*q - o*q. Is q a composite number?
False
Is (((-1132497)/12)/(-3))/((-13)/(-52)) a composite number?
True
Let a = 32 + -25. Suppose 10158 = 10*t - a*t. Is t composite?
True
Let m(h) = 4*h**2 + 2*h + 541. Let q = 285 - 285. Is m(q) a prime number?
True
Let m(x) = -x**2 + 7*x + 15. Let q be m(7). Suppose q*b - 40140 = 10*b. Is b/42 - (-4)/(-28) prime?
True
Let p(t) = 63*t**2 - 652*t - 56. Is p(-75) composite?
False
Let m be (-18 - (-3 + 5))/1. Let g = m - -14. Let b(l) = -111*l - 4. Is b(g) a composite number?
True
Let n(z) be the first derivative of z**3/3 + 17*z**2/2 + 71*z - 3813. Let s be -1 + (-19)/(1*-1). Is n(s) composite?
False
Let f(n) = 97*n**3 + 4*n**2 - 7*n + 2. Let u be f(2). Let x = 731 + u. Is x a prime number?
True
Suppose -4*n - 2*t = -237006, -5*t = -0*n + 4*n - 237009. Is n a prime number?
False
Suppose -5*m - 12 = -27. Suppose -m*i + u + u = -3791, -2*u = 4*i - 5036. Is i a prime number?
False
Let f(t) = 2*t**2 + 9*t + 2. Let h be f(-4). Let n = h - -8. Suppose 3*m = n*m - 3243. Is m composite?
True
Let x(l) = -7*l**3 - 854*l**2 - 160*l - 231. Is x(-122) composite?
False
Let y be (2/2)/(81/1215). Let p(t) = 4*t**3 + 2*t**2 + 6*t + 103. Is p(y) a prime number?
True
Suppose 15*h - 133760 = 4*h. Let x = h - -441. Is x prime?
True
Is 6/8*(-806572)/(-39) a prime number?
True
Suppose -19*w - 4 = -17*w, -2*r = -3*w - 200064. Is r a composite number?
True
Suppose -6*v + 34248 + 23538 = 0. Suppose -5*u + v = -33084. Is u composite?
False
Suppose -5*j + 5*s = -3*j - 6263, -5*s + 9407 = 3*j. Is j a prime number?
False
Suppose -m + 6*m = -4*h + 3571, 4*m - 2856 = -3*h. Let a = m + 650. Is a prime?
True
Let y(g) = 2*g**3 + 8*g**2 + 3*g + 1. Let o be y(-3). Suppose -o = -4*x + 6. Suppose -t + x*t = 5511. Is t composite?
True
Let m(g) be the first derivative of -35/2*g**2 - 36 + 6*g. Is m(-3) composite?
True
Let p = 107107 + -61400. Is p a composite number?
False
Suppose 5*t - 78541 = -67*s + 66*s, 4*s + 4*t - 314100 = 0. Is s a composite number?
True
Let w(a) = 5*a**2 + 4*a - 5. Let d(q) = -17*q**3 + 6*q**3 - 7*q + 11*q**3 + 7*q**2 + q**3 + 4. Let i be d(-8). Is w(i) prime?
True
Suppose 5*v = -3*v + 3304. Suppose -i + v = d - 2229, 2*i = 4*d - 10592. Suppose 4*y = -s + 1310, 6*y + d = 2*s + y. Is s prime?
False
Let v be (-12)/42 - ((-99740)/14 + -2). Suppose 7*x - 47817 = -v. Is x a prime number?
True
Let t be (-5630)/(2*1/(-4)). Suppose -2*g + t = 2*p, 11254 = 2*p + 2*g + 3*g. Let o = p - 3315. Is o a composite number?
True
Suppose 3*l + l = 176. Let t = 46 - l. Suppose -t*v = 4*j - 25 - 25, -2*v - 2*j = -56. Is v composite?
False
Let p(l) = -45*l**3 + 2*l**2 - 24*l - 157. Is p(-10) a composite number?
True
Let d be 4/(0/(-4) - -1). Suppose -a = -d*a + 18. Suppose -a*m + m + 2810 = 0. Is m a prime number?
False
Suppose 12*l = 2*l + 40. Is 2639 - l - (3 - -3) a composite number?
True
Let w(i) be the second derivative of 71*i**4/8 - 19*i**3/6 - 5*i**2/2 + 3*i. Let x(k) be the first derivative of w(k). Is x(6) prime?
True
Suppose 22*g - 478181 = 624393. Is g a prime number?
False
Let g = -205 - -208. Suppose -4*c - 2152 = -4*u, -2*u - 2*c = g*c - 1097. Is u prime?
True
Suppose 0 = -h - 3*v + 9, -5*v + 47 = 5*h - 18. Suppose 0 = -h*k - 2*k + 138499. Is k prime?
True
Let r be 10/(3/6*4). Suppose r*p = 0, -4179 = -3*x - 3*p + 4*p. Suppose 0 = v - 2*v + x. Is v a prime number?
False
Let d(k) = 85*k**3 - 3*k**2 + 75*k - 257. Is d(8) composite?
True
Suppose -2*d = -6 - 0. Let p be (0 + -2)*(1 - d). Suppose p*k + 2*n + 2786 = 12524, n + 7306 = 3*k. Is k a prime number?
False
Suppose 25*a = 28*a - 18. Is 12261/a - 18/(-12) composite?
True
Let y(o) = -2*o**2 - 25*o - 8. Let c be y(-12). Suppose -c*f + 3*f = -1. Is (f*(-3 + 1))/((-8)/1516) prime?
True
Suppose -4*z = -a - 26, 3*z - 2*z + a = 4. Suppose -6*c + 8*c + z = 0. Is (2/c)/(-1) + (-400)/(-3) composite?
True
Let f(c) = 3*c**2 - 5*c + 10*c + 5 + c + 4*c. Is f(-13) prime?
False
Suppose -1681569 = -50*g + 3930581. Is g a prime number?
False
Suppose -1670 = -5*t + 485685. Is t prime?
False
Let l(u) = 12*u**2 - 10*u + 771. Is l(67) composite?
True
Suppose -96*a + 1613633 = -5148799 + 1807200. Is a composite?
True
Let c = 244276 - -202765. Is c a composite number?
True
Suppose 4*p = -5*l + 349917, p - 4*l - 87458 = -l. Is p composite?
False
Let j(l) = 167*l**3 - 27*l**2 + 7*l - 8. Is j(3) composite?
True
Let z = 807 + 175. Suppose 15 = 2*m + 5*i - 12, -m + 3*i = -8. Suppose -m*g = -9*g - z. Is g a prime number?
True
Let i(d) = 73102*d**2 + 32*d - 1. Is i(-2) prime?
True
Let s(j) = -224*j**2 + j - 1. Suppose 2 + 5 = 2*v - a, -3*v + 8 = -a. Let f be s(v). Let q = 27 - f. Is q composite?
False
Let x(s) = 9*s**2 - 5*s - 7. Let c(w) be the second derivative of w**3/3 + 4*w**2 - 26*w. Let v be c(-6). Is x(v) composite?
False
Suppose -26*c = -19 - 111. Let j = 8 - 2. Suppose -3*r + j*r + 3*t - 378 = 0, -c*t - 580 = -5*r. Is r a prime number?
False
Let p(r) be the first derivative of 2*r**3/3 - r**2 + 2*r + 20. Let l be p(0). Is 4/l*1528/16 prime?
True
Let w(s) = -4*s**3 - 449*s**2 + 241*s - 143. Is w(-115) a prime number?
True
Let i = -6431 + 31088. Is i prime?
False
Suppose 1395991 = 4*z - 3*i, 0 = 4*z - 4*i + 264078 - 1660070. Is z composite?
True
Suppose -2*x + 5 = p - 7, 3*x = -p + 16. Suppose 6 = p*v + 18. Is (223 - 0)*v*(-3)/9 a composite number?
False
Let r be 28648/(-2)*(30/(-2) + 5). Suppose 13*c - r = -27*c. Is c a composite number?
False
Let d = 202900 - 114451. Is d prime?
False
Let b = 50 - 45. Suppose -b*d - 7005 = -10*d. Is ((-1)/1 - d)/(-8 - -6) a composite number?
False
Suppose -f - 22941 - 36215 = 2*m, -3*m - 88734 = 5*f. Let k = m - -42837. Is k prime?
True
Let l(q) = q**2 + 26*q + 30. Let a be l(-25). Is ((-3786)/10)/((-1)/a) prime?
False
Suppose -8*i + 223 = -297. Suppose 2*x = 5*n + 40 + i, x - 2*n = 55. Is x a composite number?
True
Suppose 8*j = -15828 + 488892. Suppose 10*z - j = -8623. Is z a prime number?
True
Let q = 123 - 129. Let t(s) = 10*s**2 - 2*s + 25. Is t(q) composite?
False
Suppose 57*f + 61*f - 366 = -12. Suppose 5*s - 4*i = 839, -3*s - 2*i = -84 - 437. Suppose 5*r = -x - f*x + s, -5*r - 5*x = -175. Is r a prime number?
True
Let c(o) = -102048*o**3 + o**2 - 5*o - 6. Let v be c(-1). Suppose -5*h + v = 30783. Is h composite?
True
Let p = 99893 - 19858. Is p composite?
True
Let o = -254 - -266. Suppose -13518 = 3*c - o*c. Is c a composite number?
True
Let n(y) = 6*y + 7. Let q be n(-3). Let f = -6 - q. Suppose f*a - d = 3423, -5*a + 908 = 2*d - 2521. Is a a composite number?
True
Is (-10927159)/(-217) + 200/140 prime?
False
Suppose 3*o - 8*o + 3*h - 8 = 0, 0 = -4*o + 4*h - 8. Let q(f) = 260*f + 5. Let j(l) = -520*l - 11. Let p(m) = -2*j(m) - 5*q(m). Is p(o) a composite number?
False
Suppose 296*v = 137*v + 11369613. Is v a composite number?
True
Let m(z) = 174*z + 15. Let p be (24/32)/(-3*(-3)/36). Is m(p) a composite number?
True
Let m(d) = -d**2 - 5*d. Let t = -4 - 2. Let u be m(t). Let j(l) = 37*l**2 + 10*l + 11. Is j(u) a prime number?
True
Suppose 21*o + 23 - 446 = -26*o. Suppose 0 = -i - 5*q + 10, 5*i + q - 26 = -0*i. Suppose -4466 = -i*k - 3*b, o = -3*b - 0. Is k a prime number?
False
Let j(w) be the second derivative of -2*w**4/3 + w**3/2 - 9*w**2/2 - 14*w. Let v be j(-5). Let p = -157 - v. Is p composite?
False
Is ((-5)/(-15) - (-7)/(-3))*110258/(-4) a prime number?
False
Suppose 2*t + 2*u = 2 + 8, 3*t - 2*u - 5 = 0. Suppose t*a = -4*c + 553, 2*a + c - 537 + 170 = 0. Suppose 4*b + 0*r - 715 = -r, 0 = b - 4*r - a. Is b prime?
True
Let d(t) = 3*t - 36. Let i be d(10). Is (172/(-6))/(2/i) - 4 composite?
True
Let n(a) = 293*a**2 + 2*a + 22. Let l(c) = -146*c**2 - c - 11. Let f(x) = 7*l(x) + 4*n(x). Is f(-4) a prime number?
False
Suppose 0 = -5*w - 903 - 867. Let p = 719 + w. Is p prime?
False
Let j = -1438 - -2073. Suppose 60*q - 59*q = j. Is q a composite number?
True
Let m be 50/(-5) + 15 - (-1140 - 1). Let o = m + 331. Is o a prime number?
False
Let y = 1479340 - -135043. Is y prime?
True
Let j be (162/5 + -2)/((-12)/(-30)). Is 3 + 38/j + (-46198)/(-4) a composite number?
True
Let j(h) = -541*h + 43. Let z be j(-27). Let q = -5501 + z. Is q composite?
True
Let a(r) = -29*r**2 - 1. Let p be a(-1). Let h(o) = 12*o + 69. Let z be h(7). Let s 