1 + 3906. Is r prime?
False
Let q(k) = -4*k**2 - 9*k - 6. Let s(a) = -a**2 + 8*a - 10. Let f be s(7). Let w(n) = n**2 + n + 1. Let i(z) = f*w(z) - q(z). Is i(-8) prime?
True
Let j = -929 + 5296. Is j prime?
False
Suppose 4*b - 123 - 3698 = -x, b = -4*x + 15269. Is x composite?
True
Let z = 222 + -153. Let t = 100 - z. Is t composite?
False
Is (93/(-186))/((-124090)/62044 + 2) composite?
False
Let j be -1 + 0 - (25 - 29). Suppose 2476 = 4*g + 4*t, -j*g - g + 4*t + 2508 = 0. Is g composite?
True
Let r = -13 + 6. Let j(u) = -1 - 162*u**2 + 1 + 6 + 4*u + 167*u**2. Is j(r) composite?
False
Let z = 13 + -32. Let b = 21 + z. Suppose b*x = -x + 4965. Is x prime?
False
Suppose 636 = 5*f + 3*x - 3179, 0 = x. Is f*(-3)/12*-4 a prime number?
False
Suppose -67115 - 204176 = -71*x. Is x a composite number?
False
Suppose -7*u = -12 - 23. Suppose u*l - a = 2474, 5*l + 4*a = 2241 + 238. Suppose -l + 1610 = 5*d. Is d a composite number?
False
Let b be 10/6 - (-9)/27. Suppose b*x + 3*x - 3260 = 0. Is 3*(-3)/((-12)/x) composite?
True
Let g(j) be the first derivative of 4*j + 209/2*j**2 - 6. Is g(5) composite?
False
Suppose -141 = -2*z - i - 0*i, -280 = -4*z - 4*i. Suppose 0 = u - 184 + 24. Let h = u - z. Is h prime?
True
Suppose 7*o = -16071 + 50756. Is o a prime number?
False
Suppose 0 = 2*a - a - 5, -12544 = -4*u - 4*a. Is u composite?
True
Suppose 179413 = 23*r - 129132. Is r a prime number?
False
Let n = 435 - 276. Is n composite?
True
Let i be (16/10)/(9/45). Suppose 0 = i*h - 3149 - 2379. Is h prime?
True
Is 669/45*33 + 4/10 a prime number?
True
Suppose 2*p - 1805 = -2*q + 3*p, -p = -3. Suppose -4*x + 12*x = q. Is x prime?
True
Let w(d) be the first derivative of 4*d**3/3 + 2*d**2 + 17*d - 9. Is w(-20) a composite number?
True
Let t(q) = -q**3 - 8*q**2 - 5*q + 6. Let g be t(-8). Let o = 78 - g. Let f = -17 + o. Is f a prime number?
False
Let n = -1240 + 2877. Is n a composite number?
False
Let f = -128 + 90. Let a = f + 97. Is a composite?
False
Let j = 3 - 5. Let h = j + 9. Let c = h + 72. Is c composite?
False
Suppose 5*d + y = -34, -4*d + 4*y = -0*d + 8. Let i be d/(-1)*2/4. Suppose 709 + i = 4*a. Is a a composite number?
True
Let q = 49 - 95. Let n = -219 + q. Let d = -124 - n. Is d composite?
True
Let z = 18 - 47. Let a be -6 - z - (3 + 0). Suppose 94 = -19*n + a*n. Is n a prime number?
False
Let u(w) = w**3 + 10*w**2 + 6*w + 1. Let r(f) = f**2 + f + 1. Let h(b) = 3*r(b) + u(b). Let m be h(-10). Let g = 521 - m. Is g a prime number?
True
Suppose 65082 = 36*s - 141234. Is s prime?
False
Suppose -4*a + 952 = -2*l, 0 = -5*l - 0*l - 10. Suppose a = 4*q + 805. Let r = q - -237. Is r a prime number?
False
Suppose -20*j + 42514 = 38*j. Is j a prime number?
True
Let r(k) = -k - 1. Let i be r(-10). Let v be 2/9 - 2/i. Suppose 379 + v = b. Is b a composite number?
False
Let w(j) = 25*j**2 + 34*j + 261. Is w(-38) prime?
True
Let v = 109 - 81. Suppose v*m - 958 = 26*m. Is m prime?
True
Suppose -75*c = -2*j - 70*c + 44851, 4*c - 12 = 0. Is j composite?
False
Suppose -11*b = -15 - 7. Suppose -2281 = -3*f - 2*t, b*f = 4*f + 5*t - 1539. Is f a prime number?
True
Let o = 29 - 27. Suppose -2*i - o*i = -4. Is 4/i - (-287 - 4) a composite number?
True
Let s(d) = d**3 - 4*d**2 - 5*d - 2. Let i be s(5). Let q = -6 - i. Is ((-22)/q)/(1/34) a composite number?
True
Suppose 173*j = 178*j + 2415. Let n = j - -1124. Is n composite?
False
Let i = -26 - 157. Let k = i + 301. Is k composite?
True
Let x be (15/(-20))/(3/(-12)). Suppose 2*j + 1 = -3, -x*i + 5*j = -1093. Suppose 4*d - i = 163. Is d a composite number?
False
Let f(p) = -p - 4. Let a be 2/(-5) - (-99)/(-15). Let l be f(a). Suppose 123 = l*w - 36. Is w a composite number?
False
Let x(t) = 28*t + 15. Let y(p) = 2*p**2 - p + 4. Let f be y(0). Is x(f) prime?
True
Let i(l) = 0 - 1 - l + 3 + l**2 + 7*l. Let w be i(-7). Is 119 + 1 - (6 - w) a composite number?
True
Suppose -2 = -c - 4*z + 10, 0 = -3*c - 2*z + 16. Is (-677)/(-3)*(-1 + c) prime?
True
Suppose -3*q - 7*t + 2*t - 782 = 0, -2*t + 4 = 0. Let r = 391 + q. Is r a composite number?
False
Let i be 2/5 + 92/20. Suppose 6*m = i*m + 285. Suppose 4*p - 97 + m = 4*o, -o + 3*p = -49. Is o prime?
False
Let h(y) = -y**3 - 2*y**2 + 1. Let x be h(-2). Let z(p) = 1151*p**3 - p**2 + 1. Is z(x) a composite number?
False
Suppose 0 = -3*o - 5*d + 13996, -2*d + 2416 + 20917 = 5*o. Is o a composite number?
True
Is ((-1)/(-3) + 142324/42)*1 composite?
False
Let r(n) = n - 3. Suppose 0 = 7*m - 2*m - 30. Let o be r(m). Suppose -3*p - o*b = -84, 8 = p + 2*b - 23. Is p a composite number?
True
Let l(d) be the second derivative of -d**5/20 - 3*d**4/2 - 7*d**3/2 - 3*d**2 + 26*d. Is l(-17) a prime number?
False
Suppose 29*x - 24*x - 19895 = 0. Is x a prime number?
False
Let u(v) = 0*v + 2*v + 7 + 4*v**2 + 17*v**2. Suppose 27 = -4*b - 4*t - 9, 2*t - 18 = 4*b. Is u(b) prime?
True
Suppose 0 = 5*x - k + 4, 3*k - 4*k = 4*x + 5. Let u = 1 + x. Suppose u = 2*q + 2*y + y - 593, -4*q - 2*y + 1198 = 0. Is q composite?
True
Let v(q) be the first derivative of -14*q**2 + 3*q + 5. Let s be v(-6). Suppose 2*d - 59 = s. Is d a composite number?
True
Let v be (3 - 2)*7 - -2. Let c be -15*(-294)/v + -1. Suppose -d + c = 2*d. Is d composite?
False
Let b be (3 + -4)/(-1) - -14. Suppose 5*k - b = -2*i, 2*i + 2*i = 0. Suppose 2*h + 52 = 2*t, -5*t - k*h + 130 = -h. Is t a prime number?
False
Let i = -280 + 398. Is i prime?
False
Suppose -8*a + 7*a = -9613. Is a a prime number?
True
Let u(s) = -5*s - 8 + 2*s**2 - 16 + 16. Is u(-5) prime?
True
Let p(q) = 68*q**3 + 5*q**2 - q - 10. Let h be p(3). Let j be (-2)/4 + (-3)/(-2). Is (h/(-16))/(j/(-4)) a prime number?
True
Is -1 + (-13 + 3)*(-8574)/10 prime?
True
Let n(s) = -s**2 + 9. Let a be n(2). Suppose -2*b = 10 - 374. Suppose 0 = -a*u + 243 + b. Is u prime?
False
Let j be 6/39 + (-5)/((-65)/(-2)). Is 200 + (1 - j - -2) prime?
False
Let x be -1*5/1 + 3 + 2937. Suppose 25*c - 30*c = -x. Is c composite?
False
Let d = 121 + -228. Let w = 128 + d. Is w a composite number?
True
Let h(c) = -2*c**2 - 3*c + 1. Let a be h(3). Let b be 82 + 1 + (21 - 27). Let f = b - a. Is f prime?
True
Let z = 665 + -399. Let f = -121 + z. Is f composite?
True
Let s(d) = 2*d**2 - 3*d + 3. Let u be s(3). Let n = 6 - u. Let g(v) = -v**3 - 5*v**2 + 1. Is g(n) composite?
False
Let s = -114 + 973. Is s composite?
False
Let o(u) = u**3 + 11*u**2 + 10*u. Let r be o(-10). Is 1 + 4 + r + 1266 a prime number?
False
Suppose 5*b = -z + 16, b = 3*b - 5*z - 1. Suppose v + 3*v = b*o - 108, 2*o - 81 = 3*v. Is (-451)/(-3)*v/(-9) a composite number?
True
Suppose 73*l = 76*l - 15. Suppose -g + 374 = -l*p, g - 2*p - 228 = 155. Is g a composite number?
False
Let s(c) = c**2 - 4*c - 3. Let w be s(5). Suppose 3*p - 2432 = -2*x, -4*p + w*p = -5*x + 6061. Is x composite?
False
Let j be (-2)/(-4)*1494994 + 2 + -1. Is j/494 - (-4)/(-78)*3 prime?
False
Let q be 1 + -10*(-26)/4. Is (15/(-6))/((-3)/q) a composite number?
True
Let g(l) be the third derivative of 133*l**4/24 + 7*l**3/6 - 12*l**2. Is g(10) a prime number?
False
Let c = -33255 + 56248. Is c a prime number?
True
Let l(h) = -h**3 + 3*h**2 - 3*h - 2. Let g(v) = -v**2 + v - 1. Let r(q) = -6*g(q) - l(q). Let x be r(-4). Suppose x*z - 2*z = 2962. Is z composite?
False
Let d(a) = a**3 + 81*a**2 + 64*a - 257. Is d(-70) a prime number?
False
Suppose -4*a - g = -13, 5*g - 2*g = 3*a - 21. Let x = 416 - -389. Suppose -a*b + x = b. Is b composite?
True
Let q(d) be the second derivative of 103*d**5/30 - d**4/24 - 3*d**2 + 4*d. Let l(k) be the first derivative of q(k). Is l(1) composite?
True
Suppose 0 = 4*n - 5*n + 6. Suppose -8*i + 2738 = -n*i. Is i composite?
True
Let a = 65978 + -2029. Is a composite?
False
Let f = -9 + 13. Let y = 6 - f. Is (74/3)/(y/6) prime?
False
Let d = 182 - -349. Suppose -z + 132 = u, -3*z - 5*u + d = z. Suppose c + 4*j = z, 5*c - 392 - 128 = 5*j. Is c a prime number?
True
Let c(w) = 355*w**3 - w**2 + 1. Let t be c(1). Let g = -419 + 600. Suppose -3*h - 4*r = -0*h - g, 0 = -5*h + 4*r + t. Is h a composite number?
False
Suppose 12*s = 5*s - 784. Let d = s - -158. Is d a prime number?
False
Suppose -2*i + 5 = -5. Suppose 3*a + r - 1175 = -r, -i*a - 5*r + 1960 = 0. Is a prime?
False
Let x be (-6)/4*-1733*(-128)/96. Let t = -1869 - x. Is t a prime n