-2*n + u = -24. Is n a composite number?
False
Suppose -470 = 3*k - 2411. Is k a composite number?
False
Let y be 62/((-6)/45*-5). Suppose -b + 1 = n, 2*n + 13 = 2*b + b. Is y + b/(-3)*2 composite?
True
Let t be (-1)/(-2) - (-18)/(-4). Let c be t/10 - 156/(-15). Suppose 5*o = 105 + c. Is o composite?
False
Suppose -k - 3*z + 3 = 0, z - 15 = -5*k - 2*z. Let h = k + -1. Is (-699)/(-21) - h/7 prime?
False
Let p(t) = -t**2 + 6*t - 1. Let z be p(-7). Let r = z - -205. Is r prime?
True
Let j(g) be the first derivative of -g**4/4 - 4*g**3/3 + g**2/2 + 9*g - 2. Suppose 3 = b + 10. Is j(b) a composite number?
False
Let y = 31 - 43. Let z = y - -20. Suppose 2*l - z = -2*d, -4 = l - d - 6. Is l a prime number?
True
Is 16/28 - 5550/(-14) a composite number?
False
Suppose -d - o = 3*d + 10, 2*d + 8 = -2*o. Let r = 116 + -81. Let n = d + r. Is n a composite number?
True
Let o = 5 - 7. Let s be -4*(-1 - -2)*o. Let z(p) = -p**3 + 9*p**2 + 4*p - 7. Is z(s) a composite number?
False
Suppose 3*v - 16 - 1 = -5*q, 3*q = 2*v - 5. Suppose 4*g - 66 = 2*l, 3*g - 5*l - 51 - 16 = 0. Is g/(2*(v + -3)) composite?
False
Suppose 6*o = o + 5. Let t(h) = -o - 211*h**3 + 63*h**3 + 2. Is t(-1) prime?
True
Let b(y) = y**3 + 52 - 29 + y**2 + y + 116 - 26. Is b(0) prime?
True
Let m = -1622 - -2440. Let i = -409 + m. Is i a prime number?
True
Let s = -63 + 254. Is s composite?
False
Suppose 57 = -r + 504. Is r a prime number?
False
Let y = -404 + 589. Is y prime?
False
Let r be (-3)/(-1) - (-4)/(-2). Let y = 0 - r. Is (-134)/(-1)*y/(-2) composite?
False
Let t be 4 - (-1)/2*-2. Let f(k) = 21*k**2 + k. Let d be f(t). Suppose 5*r + g - 250 = -2*g, 4*r = -4*g + d. Is r a prime number?
True
Let p = 6146 - 3267. Is p a prime number?
True
Let p(g) = 18*g**2 - g + 4. Is p(3) prime?
True
Let n(w) = -w**3 + 4*w**2 + 7*w + 1. Suppose 2*z + 10 = 4*z. Is n(z) composite?
False
Suppose 0 = 2*y - 0*y + 6. Let p(n) = -13*n**2 + 3*n + 2. Let t be p(y). Is ((-2)/(-4))/((-2)/t) prime?
True
Let f be ((-155)/(-10))/(2/28). Let s = -48 - -196. Let h = f - s. Is h a prime number?
False
Let x(c) = c**3 + 6*c**2 + 6*c + 6. Is x(-4) prime?
False
Suppose q - 120 = -4*q - 5*n, -5*q + 110 = -5*n. Suppose -q = 4*s - 175. Is s composite?
True
Suppose -z + 9 = 3*f, 2*f + z + 1 = -2*z. Suppose u = 3 - 1. Suppose -f*k + 62 = -u*k. Is k composite?
False
Is 46/(44/(-52) - -1) composite?
True
Let n(p) = 2*p**2 + 3*p + 3. Let a be n(-2). Suppose a + 17 = 2*d. Is d a composite number?
False
Suppose 3*h = -4*o - 481, -4*o - 128 = -4*h + 332. Let x = -210 - o. Let n = -7 - x. Is n prime?
False
Let p = 55 - -243. Is p prime?
False
Suppose 1306 = 5*g - 3*y + 2*y, g + 2*y = 270. Is g composite?
True
Let m = -1503 - -3005. Is m a prime number?
False
Suppose -8*z + 9*z - 323 = 0. Is z a composite number?
True
Let k = 290 + -99. Is k prime?
True
Let a(l) = -l**2 + 28*l + 62. Is a(27) prime?
True
Let p(c) = 563*c + 42. Is p(5) a prime number?
True
Let v(i) = -12*i**2 - i - 2. Let z be v(2). Let h = z + 86. Is h a prime number?
False
Let d(x) = -6 + 2*x - 3 + 1 - 1. Let z be d(6). Suppose -z*c + 4*c = 127. Is c composite?
False
Is ((-6)/(-9))/((-2)/9) + 502 a composite number?
False
Let q(g) be the third derivative of 0*g - 2*g**2 + 0 - 13/24*g**4 + 2/3*g**3 - 1/60*g**5. Is q(-10) composite?
True
Suppose 4*i + 2*c - 459 = 3*c, 4*i + 4*c - 464 = 0. Is i a composite number?
True
Let z = 399 - 164. Is z composite?
True
Suppose -2*v - 1 + 5 = 0. Suppose -u = -1 - v. Suppose -2*b + u + 27 = 0. Is b a composite number?
True
Let o = 3763 - 2196. Is o prime?
True
Suppose -5*t + 4*c = 3*c - 1, -4 = -4*t + 4*c. Suppose t*y + 3 = y. Is y composite?
False
Let v be 6/15 + 18/5. Let p(s) = s + 2. Let l be p(0). Suppose v*z + 4*c - 347 = c, -l*c = 4*z - 342. Is z prime?
True
Let p(s) = -60*s - 1. Is p(-2) a composite number?
True
Suppose -7*d - 1137 = -10*d. Is d a prime number?
True
Let q(o) = 8*o**2 - 3*o + 10. Let v be q(-10). Let r = v + -427. Is r composite?
True
Suppose 3*n = r - 31, 4*n + 3 = -1. Let a = r + 15. Suppose a = i - 36. Is i a prime number?
True
Suppose -6*u + 303 = -5*u. Is u composite?
True
Let s be (-5 + 2)*(-6)/(-9). Is (11 - 12)*514/s prime?
True
Let r = 1 + 1. Is (r/4)/((-2)/(-76)) prime?
True
Let b(o) = -2*o + 1. Let p be b(-2). Suppose 0 = 2*k - n + 13, k - 3*n = p*k + 1. Is 57 + (k - 0) + 2 composite?
True
Suppose 2*k + 12 = 5*k. Suppose 3*l - 25 = -5*a, -2*a + 6 = 4*l - k. Is (-7 - l)/(3/(-15)) a composite number?
True
Let k be 9 - ((-4)/2 + 0). Let u = 44 - k. Suppose 2*s - o = -2*o + u, s - 24 = o. Is s prime?
True
Let d = -56 + 110. Let w = d - 88. Let x = -23 - w. Is x a composite number?
False
Let a = -7 - -19. Suppose 7*i + 175 = a*i. Is i prime?
False
Let s be (-3 - -2)/(4 - 3). Let x be -6*(2 - s)*-1. Let f = x + -11. Is f a composite number?
False
Is 3 + 4496 + -2 - (0 + 4) a prime number?
True
Is (-1759)/(-6) - 2/12 a composite number?
False
Suppose -h + 15 = 4*h. Suppose 44 = u - 16. Suppose -u = -l - h*l. Is l a composite number?
True
Let x = -150 + 201. Is x a prime number?
False
Let c(j) = -j**2. Let r(w) = 12*w**2 - 8*w - 1. Let i(t) = 6*c(t) + r(t). Is i(-10) a prime number?
False
Suppose 700 = t - 3*h + 113, -h - 2326 = -4*t. Is t prime?
False
Let r be (-1 + 7)*1148/21. Suppose j + 3*j = r. Is j composite?
True
Suppose 2*j + 10 = -50. Is (-1638)/j + 4/10 composite?
True
Let p(w) = -22*w - 9. Is p(-7) a composite number?
True
Suppose -5*p = 142 - 7. Suppose 0 = -c - 6*t + t - 32, 0 = c + 4*t + 28. Let z = c - p. Is z a prime number?
False
Let m(x) = 3*x**2 + 3 + 6*x**2 + 22*x**2. Is m(-2) a prime number?
True
Let m be (184/(-2))/((-3)/12). Suppose 4*f + 52 = m. Is f composite?
False
Let k(u) = -2*u + u - u**2 + 2 - u. Let p be k(-3). Is 79/(p*(-2 + 1)) a prime number?
True
Is (-4)/6 - (-478)/6 a prime number?
True
Let c = -12 - -17. Suppose -p + c = -138. Is p a prime number?
False
Let w(z) = 12*z**2 - 2*z - 3. Let g be (0 - -3) + 5 + -2. Let p be (-3 - (-21)/g)*-4. Is w(p) composite?
True
Suppose 5*t - 3772 = 3943. Is t a composite number?
False
Suppose 4*k - 657 = -4*j + 987, 3*k + 1221 = 3*j. Is j prime?
True
Let i = -1435 + 710. Is (-6)/(-36) - i/6 a prime number?
False
Let f = -6 + 6. Is (-1)/(1/(f + -37)) a prime number?
True
Let x be 2/1 + -1 - 1. Let w = -12 - x. Is 1304/w*3/(-2) a prime number?
True
Let s be (-3)/21 - (-30)/14. Is s/(-8)*71*-12 prime?
False
Suppose 2*c - 3*l - 1368 = 0, 3*c - 3118 = -2*l - 1092. Let i = c + 1. Is i prime?
False
Let z be -2*1 + 1 + 82. Let r be (-3)/12 - z/(-4). Is 8/r - (-26)/10 a prime number?
True
Let h be 2/(-10) + 128/40. Suppose -2*c = 2*c - 20. Suppose c*t + h*x = 47, 0 = -5*t - 4*x - 0*x + 51. Is t a prime number?
True
Is 837/6*(-10)/(-15) composite?
True
Let f(a) = 235*a + 19. Is f(2) prime?
False
Let h(j) = 4*j**2 - 3*j. Let u be h(2). Let s be u*((-1)/2 + 1). Suppose -4*l - s - 15 = 0, 4*k - l = 481. Is k prime?
False
Let w(k) = k**2 - k - 2. Let t be w(3). Suppose 2*a + 2 = 2*h - 0*h, 5*a + t*h = 22. Suppose -a*q + 90 + 16 = 0. Is q a prime number?
True
Suppose -3*o - 2 + 11 = 0. Let v(s) = 1 + 2 - 3 + 7*s. Is v(o) a composite number?
True
Suppose 218 = -5*s - 2*o - 122, 3*s + 4*o + 204 = 0. Let w be ((-35)/3)/(4/(-36)). Let p = w + s. Is p a composite number?
False
Let f = 71 - -220. Is f a prime number?
False
Suppose -3*j + 997 = -1022. Suppose -3*f + 4*r = -286, 0 = 4*f - r + 3*r - 418. Suppose -5*u + f + j = 0. Is u a composite number?
True
Let a(k) = k**3 - 4*k**2 - 2*k + 4. Let l be a(4). Let n be (-1 - -3)/(1/l). Is n/12 + (-322)/(-6) prime?
True
Let j = -280 + 731. Is j a composite number?
True
Let z = 139 + 96. Is z a composite number?
True
Let x = -5 + -2. Let a be (-2)/(-7) - (-9)/x. Is ((-12)/(-1))/1 - a composite?
False
Suppose 2*f - p - p - 1874 = 0, 0 = -4*f + 5*p + 3744. Is f composite?
False
Suppose -3*p = 4*a - 8*p + 13, -32 = -4*a - 4*p. Suppose -a*t = -2*t - 575. Suppose 5*l = -5*x + t, -2 = -5*x + 8. Is l a composite number?
False
Let u(m) = 5*m**2 + 2*m - 3. Let o be u(2). Let v = 32 + o. Is v a composite number?
False
Suppose -3*i - 8 = -20. Suppose i*q = -q + 185. Is q a composite number?
False
Suppose 2*a + 4*n - 27 - 57 = 0, -2*a + 72 = n. Suppose b + a = c, -3*c + c + 3*b = -65. Is c prime?
True
Is (-2650)/(-7) + (-1