092 - x. Is t a composite number?
False
Let d(p) = -p**3 + 11*p**2 + 2*p - 14. Let k be d(11). Let o(j) = 53*j + 10. Let s(w) = -160*w - 29. Let y(f) = k*o(f) + 3*s(f). Is y(-4) composite?
True
Suppose b - 3 = -p, -5*b + 17 = 4*p + 1. Suppose 7*o - 1163 = -j + 3*o, 2*j - b*o = 2326. Is j a composite number?
False
Suppose i = -2*s - 2*i + 6, -5*s + 4*i = -15. Let d(f) = 12*f**2 - 7*f**2 + 1 - 10*f - s*f**2. Is d(8) a prime number?
False
Suppose 3*f + 2*b = 70607, 58*f + 94136 = 62*f + b. Is f prime?
False
Suppose -r + 2*q = -2, -r + 2 + 0 = 4*q. Let i be (-8)/r + 7*12. Let z = 159 - i. Is z a composite number?
False
Let r = -230 - -821. Let y = -224 + r. Is y prime?
True
Let p = -390 - -153. Let b = -158 - p. Is b a prime number?
True
Suppose 2*d = 5*d - 6963. Suppose 0 = -9*q + d + 685. Is q a prime number?
False
Let b = 101337 - 71954. Is b a prime number?
True
Let t(h) = 4*h**3 + h**2 - 4*h + 5. Let r be t(2). Let l = 4 - 1. Is r + l - (2 - -1) a composite number?
True
Let m(o) = -34*o - 2. Let x be m(-4). Let h = 191 - x. Suppose 0 = -2*b + 5*r + h, -32 = 2*b - 3*b - r. Is b a composite number?
False
Suppose 8*x = 9*x - 3415. Suppose 0 = 4*l + l - x. Suppose 0 = 3*q - l - 460. Is q a composite number?
True
Is (2/3)/((-247544)/49512 + 5) a composite number?
False
Let f be (-6)/4*(-36)/9. Suppose 0 = -3*l + f*l + 477. Let b = 228 + l. Is b a composite number?
True
Suppose -5*v = -56285 - 43700. Is v a prime number?
True
Suppose 457981 = 41*o + 87792. Is o a composite number?
False
Let q(r) = 10*r**2 - 12*r + 9. Suppose -u - 42 = 4*d, -3*u - 6 = d - 1. Is q(d) a composite number?
True
Let x = -11722 + 35565. Is x composite?
True
Suppose -15*o = -8*o - 42. Suppose 0 = -o*s + 914 + 352. Is s composite?
False
Suppose -502730 = -82*d + 385412. Is d prime?
True
Suppose -4*u = -3 - 5. Suppose -u*s = 2*s - 16. Suppose -2*h = -s*j + 3*h + 46, 0 = -4*j - 2*h + 60. Is j composite?
True
Suppose -2*j + q + 75 = 0, -5*j - 14*q + 189 = -16*q. Is j a prime number?
False
Suppose -c - 4*c - 5*p - 5 = 0, -3*c + 2*p = 3. Let a(d) be the second derivative of -11*d**3/6 + d**2 + 205*d. Is a(c) a prime number?
True
Let w(q) = q**3 + 3*q**2 - 2*q + 2. Suppose 4*r = -0*r + 16, -4*i + 5*r - 12 = 0. Suppose i*c = 20 - 8. Is w(c) composite?
True
Let j(p) = 395*p - 454. Is j(21) prime?
True
Let y(a) be the third derivative of 61*a**5/30 - a**4/8 - a**3/6 - 11*a**2. Is y(-2) a composite number?
True
Suppose 12*t + 62893 = 4*q + 9*t, -3*q + 47161 = -4*t. Is q a composite number?
False
Suppose -3*f + 2*c + 114655 = 0, 29250 = 5*f + 3*c - 161848. Is f a prime number?
True
Let r be (-6 - 0)*(-2)/(0 - -2). Suppose 0 = -11*z + r*z + 6815. Is z composite?
True
Let d be (16/32)/((-2)/8). Let a(x) = -343*x - 1. Is a(d) a prime number?
False
Suppose -28*q = 3*q - 465527. Is q composite?
False
Let o be 12/9 + (-4)/(-6). Suppose 0 = -3*n + o*n + 109. Suppose 444 = 5*w + n. Is w a prime number?
True
Let r be (-4)/(-16) - 1628/(-16). Let w(l) = l**3 - l. Let u be w(-2). Is ((-4)/u)/(2/r) prime?
False
Let g be 4/(-10) - (-240)/(-25). Let x be (g - 3)/(2 + -1). Let q(f) = -f**2 - 20*f - 6. Is q(x) prime?
False
Let j be 8/(-12) + (-244)/(-6). Let x = 8 - 18. Is (-354)/x - 16/j a composite number?
True
Suppose -3*n + 2*k = 3*k + 1, -n - 2*k = 7. Suppose 0 = 3*r - n - 11. Suppose -2*m + 8*x = 4*x - 1246, -r*m + 2492 = 2*x. Is m a prime number?
False
Suppose -4988 = -4*n + 2*m, 3*m - 4 - 2 = 0. Let y = n + -547. Is y a prime number?
True
Let r = -252 - -15221. Is r a composite number?
False
Let d = -1 + 5. Suppose 2263 + 465 = d*f - 3*q, 0 = -3*f - q + 2033. Is f prime?
False
Let i(s) = 771*s**2 + s - 3. Is i(-2) a prime number?
True
Suppose 3*k - 6*k + 3*f + 3198 = 0, -k - 4*f + 1086 = 0. Is k/10 + 2*1 composite?
False
Let s = 48 - 49. Is (s/(8/(-2)))/(14/76216) a composite number?
False
Let n be (-1)/(1 - (-8)/(-12)). Let d be (9/(-6) - n)*2. Suppose 5*k = 3*j - 542, 0 = -2*j + d*j - 2*k - 181. Is j a prime number?
True
Suppose -5*r - 26 = -0*r - 2*i, 2*r = i - 10. Is r/(-6)*(0 - -251) a composite number?
False
Let d(g) = -1922*g + 47. Is d(-6) prime?
True
Suppose -4*d + 2*q = -88832, -66629 = 204*d - 207*d + 4*q. Is d prime?
False
Let z be ((-10)/25)/(1/(-5)). Suppose -5*i = -c - 42, 0 = i - z*c - 0*c - 3. Suppose -7*q - 406 = -i*q. Is q a composite number?
True
Let h = 42 - 27. Suppose -h = j - 6*j. Suppose -j*t - 6 = -345. Is t prime?
True
Suppose 0 = 4*u - 4*a - 73316, -5*a + 36658 = 33*u - 31*u. Is u prime?
True
Suppose 78 - 69 = -3*a, 0 = -4*d + 3*a + 76285. Is d composite?
False
Suppose 3*n = -0*n + 6459. Is n prime?
True
Suppose 4*s = 3*s + 116. Suppose 629 + s = -5*p. Let q = -82 - p. Is q a composite number?
False
Let a(i) = -8*i**2 - 4*i - 11. Let v be a(5). Let s = v - -788. Is s composite?
False
Let o(s) be the third derivative of 0 - 4*s**2 + 0*s + 1/24*s**4 + 23/6*s**3. Is o(11) composite?
True
Let i(a) = 16*a**2 + 7*a + 26. Let u be i(11). Suppose -q + 4*s = -687, 0*s - s - u = -3*q. Is q composite?
True
Let v(n) = 0*n + 3*n + 129*n**2 - 4 - 21*n**2. Is v(3) composite?
False
Let r(j) be the third derivative of 7*j**4/24 - 5*j**3/6 + 4*j**2. Let s be r(2). Let q(i) = 23*i + 8. Is q(s) composite?
True
Let w(o) = -o**3 + 8*o**2 + 7*o + 3. Let f be w(9). Is (-392)/(-6) - (-3 + (-50)/f) prime?
False
Let z = 6928 - 4155. Is z a composite number?
True
Let i = -534 - -565. Is i a prime number?
True
Let q be (1545/(-10))/(4/(-32)). Suppose 0 = -4*y + 4*n + q, -y + 150 + 159 = 5*n. Is y composite?
True
Suppose 5*i - 7131 - 15019 = 0. Suppose -9*r + i = -844. Is r prime?
False
Suppose 6*m = 8*m - 146. Let s = m - 34. Is 1*(5*s - 4) prime?
True
Suppose 0 = -z + 17 - 9. Let u = z - -4. Let r = 877 + u. Is r composite?
True
Let o(m) = 7*m + 1. Let g be o(1). Let b(n) = n**3 - 10*n**2 + 5*n - 2. Let i be b(g). Let u = i - -185. Is u a composite number?
True
Let k = 2988 + 7257. Suppose 5*o + 4*t = k, 2*o + 4*t - 3*t = 4101. Is o prime?
True
Suppose 0 = -2*c + 4*c + 2244. Let i = -745 - c. Is i prime?
False
Let p(h) = -h + 4. Let j be p(-6). Let u(b) = -b**2 + 11*b + 23. Is u(j) composite?
True
Suppose 0 = -4*b + 10 + 6. Suppose -3*v = -4*s - 2, -s + b = v + 1. Is s - -52 - (-3 + 3) prime?
True
Let g(c) = 6*c**2 - 61*c + 174. Let q(s) = s**2 - 12*s + 35. Let i(p) = 2*g(p) - 11*q(p). Is i(-17) composite?
True
Let u(c) = 5*c - 9 + c - 1658*c**2 + 1683*c**2 - 3*c. Is u(-4) prime?
True
Suppose s - 2*c = 1491 - 206, 12 = -3*c. Is s a prime number?
True
Is (4 + -6)*((-1905)/2 + -1) a prime number?
True
Suppose 4*w = m + 4308, 0 = 7*m - 3*m. Let s = w - -554. Is s prime?
False
Let t = -2419 - -6811. Let u = t - 3049. Is u prime?
False
Let f be 8080/9 - 4/(-18). Suppose -5*z - 3*r + 1121 = 0, 4*z + r = -2*r + f. Suppose 125 = h - 3*c, -4*h + 679 = -c + z. Is h prime?
True
Let b(z) = -3*z**3 + 19*z**2 - 2*z - 53. Let y(m) = -2*m**3 + 13*m**2 - m - 35. Let a(n) = -5*b(n) + 8*y(n). Let s be a(9). Is (-3)/s + -3 + 393 prime?
True
Let k(c) = 5*c**2 - 20*c + 10. Let j(l) = l**3 - 5*l**2 - 3*l - 13. Let r be j(6). Let p(g) = 10*g**2 - 41*g + 20. Let w(b) = r*k(b) - 2*p(b). Is w(9) prime?
False
Suppose w = o + 1, 0 = -5*o + 2*w + 1 + 3. Suppose 0 = 2*c - 3*u - o*u - 439, -3*u = -2*c + 437. Is c prime?
False
Let b(a) = 10*a + 2 - 8 - 5 + a**2 - 2*a**2. Let i be b(11). Let l = 75 + i. Is l a prime number?
True
Let o = 13 + -4. Let c = o + -6. Suppose 0*f + c*f - 132 = 3*s, -4*f = 2*s - 188. Is f prime?
False
Let o(t) = -137*t**2 + 156*t**2 - 5 - 3. Let y = -2 - -7. Is o(y) prime?
True
Suppose -14*j + 1416 = -2*j. Is j a prime number?
False
Suppose 0 = -2*u + d + 6, -2*d + 8 = 2*u - u. Suppose -x - 2*n = 39, 2*x + 3*x + 3*n = -160. Is -1*x*8/u prime?
False
Let b = 2559 + -1020. Let t = 3976 - b. Is t composite?
False
Let v(j) be the first derivative of -j**2/2 + 11*j - 7. Let w be v(6). Suppose w*f - 180 = 305. Is f prime?
True
Suppose 3*t + 0*t - 4043 = -2*g, 4*g - 3*t = 8077. Suppose 2*i = -0*i + g. Is (-3)/(i/254 - 4) a composite number?
False
Suppose 2*i = -0 + 2. Let w = 6 + i. Suppose 201 = -6*g + w*g. Is g prime?
False
Suppose y + 19 = -2*h, -4*h - 4*y - 13 = -3*h. Let m be (-4 - -2)/(3/h). Suppose r - m = -0*r. Is r a prime number?
False
Let b = 9 + -4. Suppose 4*s - 3*z - 14 = -0*s, -4*z + 33 =