s a(7) a composite number?
True
Let d be (-2)/(-5) + 148/(-20). Suppose 2*s - 2*p + 46 = p, 0 = 4*s + p + 92. Is 4/(-14) + s/d composite?
False
Let s be (-1*1)/((-4)/12). Suppose 0*d - 3 = -d, s*i + 3*d - 9 = 0. Suppose 5*j - 601 = -3*n + n, i = -4*n + 12. Is j a composite number?
True
Is (-1)/(((-2)/(-2))/(-841)) a composite number?
True
Is 2 - -1 - 8710/(-13) prime?
True
Let o(y) be the first derivative of 7*y**3/3 - 3*y**2 - 5*y - 3. Is o(6) a prime number?
True
Let m = 0 + -2. Is ((-198)/(-15))/(m/(-5)) composite?
True
Suppose -s = -3 - 1. Suppose s*u = 2*u. Suppose u = -r + 3*r - 74. Is r composite?
False
Let b = 669 - 332. Is b composite?
False
Suppose -2*b + 1591 = 3*h, 5*b + 2*h + h = 3964. Is b prime?
False
Suppose -5*q - 389 = -16884. Is q a composite number?
False
Suppose -j - 86 = t - 3*t, -5*j - 20 = 0. Suppose 4*f - t = 5*c + 97, 2 = c. Is f a prime number?
True
Let s(i) = i**2 + 9*i + 6. Let x be s(-9). Suppose 0 = p - x*p + 445. Is 4*3/12*p a composite number?
False
Let a be 20/(-25)*5/2. Is 22 - (a + 2 - 3) a composite number?
True
Let m(p) = -8*p**3 - p**2 + 5*p + 3. Let i be m(-3). Let k = i - 84. Is k a prime number?
False
Suppose 3*q - 3 = -2*x - 2*x, -2*x - 2*q = 0. Suppose 3*g - 7*g = 0, x*i + 3*g = 18. Suppose p - i - 16 = 0. Is p a prime number?
False
Let u be -3 - (2 - 6 - 3). Is 12/9*6/u a composite number?
False
Suppose -114 = -4*q + 5*n, q + 2*q - 4*n = 85. Suppose 2*p - q = 163. Is p composite?
False
Let g be (8 - 14)*(-4)/6. Suppose 2*n = u + 37, g*n - 92 = -3*u - 13. Is n composite?
False
Suppose 5*x = -r + 154, -4*r + 591 = -6*x + x. Is r composite?
False
Let x be 14/6 + 4/(-12). Suppose -x*y = -7*y + 235. Is y composite?
False
Let i(p) = -85*p**2 - p. Let w be i(1). Let x = w + 135. Is x prime?
False
Is (-8)/12 - 4426/(-6) a prime number?
False
Let g(j) = 264*j + 3. Is g(1) a composite number?
True
Suppose -5*h + 1065 = 5*j, 7*j = -4*h + 5*j + 848. Is h composite?
False
Let k(z) = -z**2 + 4*z. Let h be k(3). Let p be 6/h*(-10)/(-4). Is p*(-1)/1*-7 a prime number?
False
Suppose -415 + 84 = -c. Is c a prime number?
True
Let c(x) = x**2 - 6*x + 10. Let y be c(5). Suppose -p + 3 = -2*p, p = y*g - 258. Is g a composite number?
True
Suppose -7*v + 654 = -v. Is v composite?
False
Let t = 1355 - 456. Is t a composite number?
True
Is 2 - (9/3 + -1*88) composite?
True
Let u(o) = 47*o**2 - 5*o - 4. Let x(y) = 47*y**2 - 6*y - 5. Let h(l) = 4*u(l) - 3*x(l). Is h(-2) composite?
False
Suppose -33 = -5*t + 42. Suppose -5*w + k = -77, -2*k + 6 = -0*k. Let n = t + w. Is n a composite number?
False
Suppose 8*w - 10*w = -298. Is w composite?
False
Let p = -54 + -21. Let q = -410 + 256. Let g = p - q. Is g a prime number?
True
Suppose -71 = 3*w - 1190. Let s = w - 168. Is s a composite number?
True
Suppose -3*t = -5*t. Suppose t = -4*s - r - 5, -10 = -s - 0*s - 4*r. Is s/((-2)/7 + 0) a composite number?
False
Is (-10)/8*(-114 - 2) a composite number?
True
Let d(a) = 13*a - 4. Let p(k) = 27*k - 9. Let q(h) = 13*d(h) - 6*p(h). Let f be q(-2). Let t = 91 + f. Is t a composite number?
False
Suppose -2*j = a - 325, -4*a - j - 1581 = -9*a. Is a prime?
True
Let a = 570 - -125. Is a prime?
False
Let k(j) = j**2 - 14*j. Is k(15) a composite number?
True
Let n(g) = -g**3 + 5*g**2 + 2. Let f be n(5). Suppose -3*v = 5*z - 10*z, f*v = 4*z. Suppose z = 2*l + t - 209, 0 = -0*l - 2*l + 4*t + 224. Is l prime?
False
Let p = 12 + 41. Suppose 3*x - p - 64 = 0. Is x composite?
True
Let u(o) = 2*o**2 + 8*o + 17. Is u(-7) prime?
True
Let a(f) = -f**2 + 317. Is a(0) a composite number?
False
Suppose a = 3*w + 11 + 9, 5*a = 2*w + 22. Is 2*3/w - -92 prime?
False
Suppose 3*v - 3 = 4*h + 19, -v - 14 = 4*h. Suppose v*f - 1 - 10 = -5*a, 5*f + 40 = a. Is (49 - 0) + 9 + f a composite number?
True
Let l be 964/2 - (-7 + 4). Suppose 6*b = b + l. Is b a prime number?
True
Is (28/(-12) - 2)*-3 prime?
True
Let a(y) = 1655*y + 2. Is a(1) composite?
False
Let q = 24 - 49. Let d = q - -78. Is d a composite number?
False
Suppose 5*f - 40 + 15 = 0. Suppose -7*u = -3*u - o - 310, 0 = f*o + 10. Is u a composite number?
True
Let t = -67 + 818. Is t prime?
True
Let j(b) = 4*b**2 - 2*b + 1. Suppose 2*a - l - 2 - 10 = 0, -3*l - 1 = a. Let d = a - 2. Is j(d) a composite number?
False
Suppose 5*h = -i + 1043, -4*i - 3 - 5 = 0. Let x = 101 - h. Let s = x + 151. Is s prime?
True
Suppose -1010 = -3*i - 2*i. Is i composite?
True
Suppose 3*c + 64 = -17. Let t = 78 + c. Is t a composite number?
True
Suppose -2*c + 68 + 52 = 0. Suppose u - 4 - 1 = 0, c = 2*m - 2*u. Is m a prime number?
False
Let s(g) = -82*g + 49. Is s(-6) a composite number?
False
Suppose -471 = 3*m - 2682. Is m composite?
True
Let u(f) = f**3 + 7*f**2 + 6*f + 5. Let m be u(-6). Suppose m*t = -2 - 23, 0 = -3*l + t + 170. Is l composite?
True
Let z be 4*(-2 - 675/(-6)). Suppose 4*g = 82 + z. Is g composite?
False
Suppose 0 = 3*i - 2*i - 2779. Is i composite?
True
Let o(g) = -40*g + 3. Is o(-4) a prime number?
True
Let s(l) = 2*l**2 - 5*l + 2. Let n be s(3). Suppose 563 = n*p - 107. Is p composite?
True
Let v be 3/2*(-2 + -6). Let g be (-5)/(10/v) + 2. Let b(j) = j**3 - 7*j**2 + 7*j + 7. Is b(g) a composite number?
False
Let w(x) = x**2 - 7*x + 5. Let n = -8 - 5. Is w(n) a composite number?
True
Is (1412/6)/(32/48) a prime number?
True
Let b(t) = -t**3 - 3*t + 1399. Is b(0) a composite number?
False
Let a(o) = -2*o**3 + 2 - 6*o**2 - 3*o - 7 - o**2 - 4*o. Is a(-4) composite?
True
Suppose 2*s - 4*q = 20, -q - 2*q + 40 = 4*s. Let d = 151 - s. Suppose 2*o + 2*m = 72, 3*o + 5*m - d = -o. Is o a prime number?
False
Suppose 0 = 2*v - 302 + 40. Is v composite?
False
Let h = 63 + -31. Let k = h + -14. Let w = 25 - k. Is w prime?
True
Suppose 34 = 2*m + 2*u - 44, -2*m = -2*u - 90. Let z(i) = 3*i + 2. Let l be z(6). Let j = m - l. Is j prime?
False
Suppose -131*o = -125*o - 15108. Is o a prime number?
False
Suppose -c + 10 = 7. Let m = c + 44. Is m prime?
True
Suppose -3*j = 4*x - 138, 5*j - x = 53 + 200. Suppose -3*l - 3 = 0, -a + 5*l = 2*l - j. Is a prime?
True
Let v = -4955 - -10582. Is v prime?
False
Suppose -l + 7*l = 1902. Is l a composite number?
False
Let c(s) = -40*s - 11. Is c(-4) a prime number?
True
Let m be (-1)/4 - (-6)/(-8). Let a be (-3)/((-3)/(-5))*m. Suppose 0*q + n = q - 11, 3*q - 65 = -a*n. Is q a prime number?
False
Let n be (45/(-12))/(1/(-4)). Suppose -x = 4*x - n. Suppose -x*h + 109 = -122. Is h prime?
False
Let a(m) = 37*m**2 - 11*m + 11. Is a(-7) composite?
False
Suppose 0 = 3*z - 2*g - 22, -z + 0*z = 2*g - 2. Suppose z*n = 5*n + 82. Suppose -i + 141 = -n. Is i prime?
True
Let k(u) = -u**2 - 19*u - 3. Is k(-8) prime?
False
Suppose 55 - 309 = -x. Is x composite?
True
Let k be 26/8 + 1/(-4). Suppose -5*t - 240 = -4*r, -3*t + 2*t = k*r - 161. Suppose -2*i = 4*n - 34, 0*n - r = -3*i - 4*n. Is i composite?
True
Let b(f) = -5 + 4 + 4 + 17*f. Let d(t) = 9*t + 1. Let x(m) = 4*b(m) - 9*d(m). Is x(-4) prime?
False
Let o be 6/(-18) - (-10)/3. Suppose o + 20 = u. Is u a prime number?
True
Let i = -38 - -93. Is i a composite number?
True
Let r(n) = -147*n - 4. Is r(-9) prime?
True
Suppose 6*t - 7*t + 331 = 0. Is t a composite number?
False
Suppose 3*j + 4*p - 24 = 0, 40 = 2*j + 3*j + 3*p. Suppose -j*r + 3*r = -705. Is r a composite number?
True
Suppose 2*d = -3*d. Suppose -2*f - 3*f + 85 = d. Suppose -5*h + f = -28. Is h composite?
True
Let i = 1594 - -168. Let l = i - 926. Suppose -y + l = 3*y. Is y a prime number?
False
Let i(s) = -s**3 + s - 6. Let r be i(0). Is (-2)/r + 784/6 a prime number?
True
Suppose 0 = 3*v - 8 - 1. Suppose -v*j + 2*h = -28, 4*h - 5*h + 1 = 0. Is j a prime number?
False
Is 3/((36/381)/4) composite?
False
Let l be (((-6)/(-2))/(-3))/1. Let p be 2 - l - 2 - -8. Suppose -4*x = -j - 0*x + p, -5*x = -j + 6. Is j a composite number?
True
Suppose 0 = -x + 3*z - 4*z + 868, -2*x + 1721 = -3*z. Is x a prime number?
False
Let b(v) = -v**2 - 6*v - 5. Let h be b(-4). Suppose -2*d - 225 = 3*d. Is (17/h)/((-3)/d) a prime number?
False
Let x(z) = 11*z + 1. Is x(3) prime?
False
Let c = 333 + -74. Is c/1 + 0/(-5) prime?
False
Let f(q) = 35*q + 1. Is f(6) composite?
False
Let a(g) = g**3 + g**2 + g + 19. Let v(w) = w + 10. Let s be v(-10). Is a(s) prime?
True
Suppose 6*d = 7*d - 5. Suppose -d*m = 25, 44 = t