**2 + 11*d - 5. Let h be s(4). Let z be m(h). Is (z + 4227/6)*2 a composite number?
True
Suppose -7*n + 27624 = -n. Suppose -4*j - n = -4*c, 0 = 3*c + 4*j - j - 3453. Is c a composite number?
False
Suppose 3*k - 3*x - 45081 = 0, 5*k - 60088 = k - x. Is k prime?
False
Let k(l) = -l**3 + l**2 + 3*l + 1. Let b be k(3). Let u be (-1 - (-46)/(-8))*b. Let h = u + -20. Is h prime?
False
Suppose 4*p = 9*p - 9550. Suppose l - 3*b + 282 = -86, 5*l - b + p = 0. Let n = l - -678. Is n composite?
True
Is (340 - (3 + -2))*1380/180 composite?
True
Let p be -286 + 1 + (29 - 24). Let c be (55 - -2)*1/(-1). Let m = c - p. Is m a composite number?
False
Let t = 63345 - 24400. Is t a composite number?
True
Let f = 35 + -30. Suppose 173 = 4*u - f*b, 4*u = -0*u - 5*b + 123. Is u a prime number?
True
Let u be (-14)/(-5) + 1/5. Let w(r) = r**2 - 5*r - 5. Let j be w(u). Let s(n) = -n**3 - 6*n**2 + 12*n + 6. Is s(j) composite?
False
Let s(o) = -o**3 - 6*o**2 - 6*o + 2. Suppose 5*k - 15 = 3*g + 15, -k = -5*g - 6. Let l = 1 - k. Is s(l) a composite number?
False
Suppose -2*l + 5*l - 15 = 0. Suppose 4*g - 20 = 2*y, l*y + 3*g + 8 = -3. Is 211 + y + 1 + 3 a prime number?
True
Let i(q) = -16*q**2 + 2*q - 10. Let x be i(-5). Let o(r) = -5*r**2 - r - 11. Let z be o(6). Let c = z - x. Is c a composite number?
False
Suppose 2 = 2*m + s, -7*m + 3*m - 4 = 4*s. Suppose -v + 49 = f - 92, f - 133 = -m*v. Is f a prime number?
False
Let i = -37 - -40. Suppose -i*d = 4*d. Suppose 3*a - 1200 + 429 = d. Is a prime?
True
Let c be (3 - 2 - 1)/2. Suppose -6*t + 6 = -c*t. Is (-51 - t)*(-15)/30 composite?
True
Let l(u) = -u**3 - 9*u**2 - 10*u - 13. Let f be l(-9). Suppose -4*r + f = -135. Suppose -2*s = -r - 85. Is s composite?
True
Let t(o) = -328*o**3 + o**2 + o + 7. Is t(-2) a prime number?
True
Let a(m) = 5*m**3 - 14*m**2 - 7*m + 61. Is a(20) prime?
False
Suppose -5481 = -2*s + 2333. Is s prime?
True
Let u(h) = -2*h**3 - 2*h**2 - 71*h + 27. Is u(-28) composite?
False
Suppose 2*y - 7358 = -0*y. Suppose 0 = 6*a + 565 - y. Suppose 4*m = 3*t - 1823, -4*m - a = -2*t + 691. Is t composite?
False
Is 127/(0 - (-4)/12) prime?
False
Let i(b) be the first derivative of 9 - 12*b - 7/2*b**2. Is i(-5) composite?
False
Let c = -4 - 4. Let d be 0/(4/(c/4)). Suppose -4*o + 2*t = -98, d = -2*o - 0*o + 5*t + 45. Is o a prime number?
False
Is 11/(-132)*6*-205718 a composite number?
False
Suppose 4*m + 10*m - 20510 = 0. Is m composite?
True
Is (39633/(-44))/((-9)/24) prime?
False
Suppose 3*l + 24 = -l. Let h be 1*-3*l/(-3). Is (-2289)/(-18) - h/(-36) composite?
False
Suppose -4*z = -9*z - 3*s + 105, 0 = 4*z + s - 77. Let c be 1/3 - (-1560)/z. Is (-2 + 36)*c/6 prime?
False
Suppose -n - 4*n + 15 = 0. Suppose -f - 20 = -2*f - 2*c, 61 = n*f + 5*c. Is f prime?
False
Let v = -20 + 20. Suppose -2*k + 104 = 2*s, s + 2*k - 22 - 33 = v. Is s composite?
True
Let a be -63*-2*(-3)/(-6). Let o = 105 - a. Is 539/o + 1/6 a composite number?
False
Let b be (-2 + 9)*6/7. Let h(y) = 1 + 5*y - 4*y + 4*y. Is h(b) a prime number?
True
Let w be (-3)/(-11 - 1)*0. Let r(a) = -2*a**2 - 3*a + 89. Is r(w) a prime number?
True
Let g be 15*16/72*36/(-10). Is 10143/5 + g/(-30) - 2 a prime number?
True
Suppose -15*q + y = -12*q - 48239, -4*q + 5*y + 64304 = 0. Is q a prime number?
False
Suppose 39255 = -148*y + 151*y. Is y a composite number?
True
Let n be (8055 - -2)*(90/35)/(-3). Is ((-3)/6)/(3/n) a composite number?
False
Suppose -27*g + 4*o = -22*g - 99905, 39969 = 2*g - 3*o. Is g composite?
True
Let y(a) = -20 + 14*a**3 + 0*a - 4*a**3 + 6*a**2 + a + 5*a. Let h(v) = 3*v**3 + 2*v**2 + 2*v - 7. Let f(g) = -17*h(g) + 6*y(g). Is f(2) a prime number?
True
Suppose 4*a + o - 2*o + 3 = 0, 1 = -3*a + 2*o. Is 2442/5 + a + 4/(-10) a prime number?
True
Suppose 0 = -5*b - 3*u + 9, 0*u + 12 = -3*b + 4*u. Suppose -4*m + 92 + 264 = b. Is m composite?
False
Let q(o) = -o**2 + 11*o + 26. Let c be q(12). Suppose -c*t + 22492 = -10170. Is t composite?
False
Is ((-2)/4*4642)/(-1) prime?
False
Suppose 3*i - 5*i - 6 = 0. Is (-2 + 0)*i/(30/2195) a composite number?
False
Is 1*((-242739)/(-15) + (-26)/(-65)) prime?
True
Let f = 39 + -54. Let g(k) = k**2 + 5*k + 4. Let t be g(-3). Is ((-6)/(-5))/(t/f) composite?
True
Let t = -1170 - -1172. Let g(k) be the first derivative of 25*k**4/4 - k**3/3 + k**2/2 + k - 1. Is g(t) composite?
False
Let s be 1/2 + 310/20. Let t(x) = 2*x**2 - 24*x + 17. Let u be t(s). Let r = 214 - u. Is r prime?
False
Suppose 5450 = 4*v - 0*c - 2*c, 5*c = 15. Suppose -v = 6*b - 10*b. Is b composite?
True
Is 27996/72 + 2/12 prime?
True
Suppose 4*a = 14*a - 60050. Is a a prime number?
False
Let o(n) be the second derivative of 1/6*n**3 + 11*n**2 + 6*n + 0. Is o(-15) composite?
False
Is -3 - 10522/(-10) - (-2)/(-10) a prime number?
True
Let r = 420 + 235. Is r a composite number?
True
Let j(z) = 132*z + 49. Is j(11) a composite number?
True
Suppose 5*q - 658 = -i, q - 5*q - 1358 = -2*i. Is i a prime number?
True
Let x = -33807 + 54434. Is x a composite number?
False
Let g(w) = -46*w + 1. Suppose 0 = 4*y + 4*d - 28, 0 = 2*y - d - 7 - 4. Let j be (-10)/15 + (-8)/y. Is g(j) a prime number?
False
Let q = -1048 + 3777. Is q prime?
True
Suppose -69*r = -9*r - 387420. Is r a composite number?
True
Let v(d) = -2*d**3 - 4*d**2 + d + 2. Let t be v(-3). Is t*(7 + 1 + -3) a composite number?
True
Let p(o) = -o**3 + 6*o**2 + 3*o + 3. Let u be p(5). Let t = u + -7. Suppose -2*r + t = -26. Is r a prime number?
True
Let y be 26 + -4 + 1 + 1. Is 4/(y/(-814))*-3 composite?
True
Suppose -8*w + 19*w - 86251 = 0. Is w prime?
True
Let r(m) = 2*m**2 - m - 7. Suppose -10 + 26 = 2*q. Let p be q/20 - (-32)/(-5). Is r(p) a composite number?
False
Let a = -6 - -22. Let g = a + 67. Let i = -46 + g. Is i prime?
True
Let t(k) = -4*k**2 + 2. Let n be t(-2). Is 93*n/(-6) - -4 prime?
False
Let q = -5071 - -1787. Is 15/(-10)*q/6 prime?
True
Suppose 7*x + 7842 - 67783 = 0. Is x composite?
False
Let x(o) = 6*o**3 + 11*o**2 + 8*o - 54. Is x(13) composite?
False
Suppose -w - 6*p + 14689 = -p, -4*w = 5*p - 58786. Is w a composite number?
False
Let a = 1608 + -285. Let g = 2030 - a. Is g a composite number?
True
Suppose 12*b = 10*b + 6. Is (-13152)/(-15) - b/(-15) prime?
True
Let b be ((-3)/6)/((-3)/(-36)). Let l(f) = -2*f**3 - 6*f**2 + 2*f + 5. Is l(b) composite?
True
Let h(z) = 5*z**2 + 23*z - 5. Let s be h(14). Suppose 339 = 4*l - s. Is l composite?
False
Let q be (-9399)/(-6) - 2/4. Suppose -3*i - 2*o - 2305 = q, -6481 = 5*i - 4*o. Let t = i + 1814. Is t composite?
False
Is (2112/(-10))/((-10)/925) + -5 composite?
False
Let i = 1 - -1. Suppose -l + i*f + 1123 = 0, -4*l + 2701 = 4*f - 1779. Is l a prime number?
False
Let p(s) = s**2 - 37*s + 17. Is p(-25) prime?
True
Let o be 3/(6/30 + (-6)/(-15)). Is (-2758)/o*(-50)/20 prime?
False
Let r be 3695*1*(-6)/(-5). Suppose r = 4*z + 2*t, -4*z + 2*z = 5*t - 2205. Let u = z - 719. Is u a composite number?
True
Suppose 42 - 111 = 3*b. Is (b + -5)*(-10)/(-16)*-2 prime?
False
Let m(r) = 677*r**2 - 3. Is m(2) a prime number?
False
Suppose 0 = -31*m + 146034 + 1201505. Is m composite?
True
Suppose -3*y = -7*y + 12. Suppose y*h = 4*h - 84. Let j = 719 - h. Is j a prime number?
False
Let j(q) be the second derivative of 2*q**4/3 + q**3 - q**2/2 - 11*q. Is j(-6) a composite number?
False
Let u(v) = v**3 - 10*v**2 + 8*v + 12. Let m be u(9). Suppose 4*l + 1012 = m*l. Let n = 1953 + l. Is n a composite number?
False
Let u = 97434 - 43253. Is u prime?
True
Let q(p) = -p**3 + 4*p**2 - 3. Let t be q(2). Suppose -w - 2*x + 106 = -3*x, t*x + 426 = 4*w. Suppose -25 = -c + w. Is c a composite number?
True
Let g = -13 + 97. Suppose -1 - 19 = 4*s, t = -s + g. Is t composite?
False
Let d(z) = 39*z - 32. Let g = -99 - -104. Is d(g) composite?
False
Suppose -4*y + 5*g = -3656, -2*y + g + 1315 + 513 = 0. Is y composite?
True
Suppose -10 = -8*c + 22. Suppose w + 804 = c*m, w + 603 = 3*m - 2*w. Is m a composite number?
True
Let y(b) = 519*b - 347. Is y(6) a composite number?
False
Suppose -5*v + 40 = -2*g - 16, 0 = 5*v - 3*g - 59. Suppose -5*j + v = 0, -4*j + 7 = 3*c - 10. Is -2 + -3 + 189/c a composite number?
True
Suppose -5*l - 4*m = -60347, -20*m = -4*l - 16*m + 48292. Is l a composite number?
False
Is (12/(-96)*12)/((-6)/7484) prime?
True
Let q = 100 + -98.