5 = 344. Is k a composite number?
False
Suppose 0 = -3*b + 2*b. Suppose 2*n - 6 - 4 = b. Suppose n*q + 0*q = 75. Is q a composite number?
True
Let w(g) = g**2 - g + 3. Is w(-7) composite?
False
Suppose -5*v - d = 0, -8 - 22 = -5*v + 5*d. Let z be 4/(-12) - v/(-3). Let a = z + 3. Is a composite?
False
Suppose 0*r = 4*r - 4, -2*c = 4*r - 154. Suppose n - 4 = c. Is n prime?
True
Suppose 3811 = 4*m - d, -3*d = -5*m - 0*m + 4762. Is m a composite number?
False
Let u(s) = 6*s + 9. Let a be u(-7). Let z be 2 - (2 + -8)*2. Let l = z - a. Is l composite?
False
Suppose -s - g = 105, -199 = 3*s - 3*g + 134. Let k = 31 - s. Is k a composite number?
False
Let b(i) = -3*i**2 - i - 2. Let l be b(-1). Is 188 - ((-4)/l - 0) composite?
True
Let g(a) = 15*a - 4. Is g(13) a prime number?
True
Let s(r) = 7*r**2 + 1. Let w be s(1). Suppose 0 = -7*n + 3*n + 564. Let l = n + w. Is l a composite number?
False
Let c = 74 - -273. Is c a composite number?
False
Suppose 198 = 3*k - 0*k. Let b = -40 + k. Is b a composite number?
True
Suppose -3*f = -4*m - 1004 - 392, -4*m = -20. Is f/(-16)*(-2 + 0) a prime number?
True
Suppose 0*k + 112 = k. Let w(o) = -13*o + 5. Let h be w(6). Let g = k + h. Is g a composite number?
True
Suppose -9*h - 54 + 747 = 0. Is h a prime number?
False
Let q(b) = b**3 + 3*b**2 - 2*b + 2. Let m be q(-4). Let s be ((-10)/(-6))/(2/m). Let p = s + 16. Is p a prime number?
True
Let d(l) = l**2 - 6*l - 3. Let u be (-2)/((-2)/(-5)) - -1. Is d(u) a prime number?
True
Suppose 0 = -5*l, 5*l = 3*v - 23 - 91. Is v a prime number?
False
Let f = -47 - -80. Is f composite?
True
Is 1414*(0 + (-5)/(-10)) a prime number?
False
Let h(j) = -13*j**2 + 4*j + 12. Let w(d) = -25*d**2 + 7*d + 25. Let v(p) = 7*h(p) - 3*w(p). Let n be v(7). Is ((-1)/(-3))/((-2)/n) a composite number?
True
Suppose -2*h + 0*z - 3*z = -3, 1 = 4*h + z. Let a be h - 4/((-8)/6). Suppose 21 = a*y - 210. Is y composite?
True
Let k(o) = 21*o + 25. Is k(17) a prime number?
False
Suppose 3 = -p, 4*k - 14 = -p - 5. Let z be k/6*6 - 17. Is (-58)/(-4) - 7/z a prime number?
False
Let v = 161 - -18. Is v a prime number?
True
Let d be (-6)/(-9)*1*6. Suppose d*g + 3 = 5*g. Let s = g + 76. Is s a composite number?
False
Suppose -r + 21 = 7. Is r prime?
False
Let l = -2422 - -7719. Is l prime?
True
Let k(q) = -2 + 0*q**2 + 3*q**2 + 3*q**3 - 2 + 7*q**3 - 2*q. Is k(3) a prime number?
False
Let b be 1*-1*(-10)/2. Suppose -3 = 3*t - 12, 69 = b*k - 2*t. Let l = -9 + k. Is l prime?
False
Let f be (2/(-3) - 0)*-762. Suppose f - 1378 = -5*i. Suppose -5*g + 271 = -i. Is g prime?
True
Let o = 15 - 8. Suppose 2*i - a = -o + 137, 126 = 2*i - 2*a. Is i a prime number?
True
Let q(n) = 2*n**3 + 13*n**2 - 5*n - 11. Is q(-6) a prime number?
False
Suppose 2*k - 71 - 159 = 0. Is k prime?
False
Is 68 + 1 - (-2 - -4) composite?
False
Let h = 147 - 92. Is h a composite number?
True
Let x = 159 - 240. Let c be x/(-1) + 4/(-2). Suppose 0*l - c = -l. Is l prime?
True
Suppose y + 4683 = 4*s, s = -3*s + 3*y + 4673. Is (4/8)/(2/s) a composite number?
False
Suppose -3*j - 6*x + 4247 = -2*x, 0 = 5*j - 5*x - 7020. Is j prime?
True
Suppose -3*p = -0*p + 2250. Let n = 1295 + p. Is n prime?
False
Suppose m = 3*g - m - 1467, -g - 4*m + 489 = 0. Is g composite?
True
Suppose 5*j - 2*f - 377 = 0, -4*j - 7*f + 328 = -2*f. Let y = -28 + j. Is y a prime number?
False
Let b(g) = -4*g**2 + 8. Let d be b(-9). Suppose 2*v - 209 = r, 3*v - v + 997 = -5*r. Let o = r - d. Is o composite?
True
Is (-15 - -9)*2/((-8)/178) a prime number?
False
Let k(i) = 7*i**2 - 11*i + 11. Is k(9) a composite number?
False
Let g = 1865 - -974. Suppose -4*s - 585 = g. Is s/(-16) - 1/2 a prime number?
True
Let k(c) = c**2 - 3*c. Let j be k(4). Let d(s) = -2 + 4 + 7 - j*s. Is d(-7) a prime number?
True
Let b(z) = 2*z - 6. Let q be (-1)/(-5) + (-116)/(-20). Is b(q) composite?
True
Suppose 4*t - 4*w - 2340 = 0, 2*t - 3*w - 225 = 943. Is t a prime number?
True
Let l = -2950 - -5283. Is l prime?
True
Let x = 1 + 1. Let h = x - 2. Is (0 - 0) + h + 37 prime?
True
Let j = 67 - 102. Let o = j - -100. Let f = o + -12. Is f a prime number?
True
Suppose 0*u = 7*u - 2303. Is u prime?
False
Let c(m) = 243*m - 8. Is c(9) a composite number?
False
Suppose 2*d + 4*v + 15 = -v, -4*d - 3*v + 5 = 0. Let t = d - -110. Is t a composite number?
True
Let o = 56 + -19. Is o a prime number?
True
Is 39282/8 - (-40)/(-32) a prime number?
True
Let h = -8 + 13. Suppose w + 3*w + 8 = 4*u, 0 = w + h. Let x(o) = o**3 + 3*o**2 - 3*o. Is x(u) prime?
False
Let z be (-9 + 7)*(-3 + 1). Let u(y) = 14*y - 3. Is u(z) prime?
True
Let m = 150 - -1021. Is m prime?
True
Suppose 141 = 4*n - 515. Suppose 5*x - 66 = n. Is (-2 + -1)/((-2)/x) composite?
True
Let v(t) = -2*t**3 - 18*t**3 + 3*t**3 - 2*t. Let p be v(-2). Let h = p - 73. Is h composite?
False
Let y(w) = -16*w**3 - 4*w**2 - 2*w - 3. Is y(-5) a prime number?
True
Let a = 3403 + -1430. Is a a prime number?
True
Let i(t) = 5*t - 1. Let m be i(2). Is (-2 - -248)*3/m a prime number?
False
Let m(x) = 55*x**2 + 6. Is m(4) prime?
False
Let o = -213 - -376. Is o a composite number?
False
Is (-28)/154 + (-21661)/(-11) a composite number?
True
Suppose -4 + 24 = 4*p. Suppose 2*n + i = 89, 0 = p*n - 3*i + 11 - 228. Is 28/1*n/16 composite?
True
Let d(y) = -3*y + 13. Let c(k) = 3*k - 12. Let f(a) = 5*c(a) + 4*d(a). Is f(5) prime?
True
Let l be (-8)/(-5) - (-10)/25. Let g(h) = 22*h + 2. Is g(l) composite?
True
Let l = 0 + -2. Is 12 - -1 - l/2 prime?
False
Suppose 4*p + 0*p + 336 = 4*v, -2*p = v - 69. Is v composite?
False
Suppose 3*f + 4*f - 18697 = 0. Is f composite?
False
Suppose 0 = -n - 5*a + 20, 2*a - 9 + 1 = 0. Let h be 13/((-3)/(-3 - n)). Let t = h + 54. Is t a prime number?
True
Let g(w) = -2*w**2. Let j be g(1). Let b = j + 8. Let s = -3 + b. Is s prime?
True
Let i = 24 - -14. Is i prime?
False
Let z(r) = -r**2 + 12*r + 10. Let f be z(12). Suppose a - 4*w - 209 = 0, 3*w + 438 = -2*a + 4*a. Suppose a + f = 5*v. Is v a composite number?
False
Let u = -4 + 1. Is u - ((-1)/(-1) + -137) a prime number?
False
Suppose -6 = 3*z - z + b, -12 = 3*b. Let k be -92*z/(-2)*-1. Is k/4*(-2 - -4) a composite number?
False
Let l(y) = -y**2 + y + 2. Let m be l(-2). Let r be (m/2)/((-4)/8). Suppose 216 + 394 = 5*o - 5*v, 523 = r*o + 3*v. Is o a prime number?
True
Suppose 4*t - 7*t = -111. Is t a prime number?
True
Let c = 9 - 4. Let g(i) = 0*i**3 + 6*i**2 - i**3 + 5 + 3*i - 2*i. Is g(c) prime?
False
Let x = 4 + -2. Is (-4425)/(-21) + x/7 composite?
False
Let m be (15/6)/(1/(-2)). Let g = 10 + m. Suppose 0 = -g*y + 5*w + 405, 7*w = 2*w - 10. Is y a composite number?
False
Let m = 5022 - 2969. Is m a prime number?
True
Let i(z) = -z**2 - 4*z - 1. Let f be i(-3). Let x be 2 + (-1 - 0) + f. Suppose -x*a + 334 = 79. Is a a composite number?
True
Suppose 12*q - 485 = -113. Is q composite?
False
Let d(c) = c**3 - 7*c**2 - c + 10. Let w be d(7). Suppose 2*y - w*y = 0. Suppose 0*v - v + 14 = y. Is v composite?
True
Let x(q) be the third derivative of 8*q**5/15 - q**4/12 - q**3/6 + q**2. Is x(-1) a composite number?
True
Is 1148 - 1*(-1 - 3 - -1) prime?
True
Let p = 6 - 5. Is (-19*5)/(p/(-1)) composite?
True
Suppose -b + 148 = -5*m, -m + 338 = 2*b + 3*m. Is b a composite number?
False
Let c be (4/6)/(2/48). Let x(l) = -l**3 - l**2 - 3*l - 3. Let s be x(-2). Let u = s + c. Is u prime?
True
Let q(y) = 107*y + 1 + 33*y - 14*y. Is q(3) composite?
False
Let h be (-10)/15*(-21)/(-2). Let g(p) = -p**3 - 7*p**2 - 4*p - 6. Is g(h) prime?
False
Let b(h) = h**3 + 4*h**2 + h - 1. Let y be b(-3). Suppose 0 = 4*j + 3*t + 4, -5*t - 26 = -2*j - j. Suppose -y*d - i + 255 = -d, -j*d = i - 125. Is d composite?
True
Let h(u) = u**2 - 9*u + 7. Suppose -4*n - 4*v = 40, -5*n = -v - 4*v + 20. Is h(n) composite?
True
Let o be (-1839)/(-7) - 2/(-7). Let w(u) = 15*u + 5. Let n be w(7). Let g = n + o. Is g a prime number?
True
Let t(f) = -f**2 - 6*f + 11. Let d be t(-8). Is 40 - 5/(d/(-3)) prime?
True
Suppose 3*l + 48 = 3*s, l = 2*s - 0*s - 27. Suppose w - s = -5*x, -3 - 1 = -3*x + 2*w. Is 4/2 - (-58)/x a composite number?
False
Suppose 7*g + 2143 = 5930. Is g composite?
False
Let m(o) = -o**3 + o**2 - o - 1. Let b be m(-1). Suppose 449 = -b*n + 1491. Is n composite?
False
Suppose -q - n = -702, -q - 2*n - 3545 = -6*q. Is q 