. Is k a prime number?
True
Suppose -3*u + 0*h + 3*h = 0, 4*u + 15 = -h. Let v(q) = -169*q + 2. Is v(u) a composite number?
False
Suppose 5*r - 2*a - 2288 - 231 = 0, -3*r + 1509 = -2*a. Is r a prime number?
False
Let z = -221 + 552. Is z a prime number?
True
Suppose 0*u = u + c - 87, -4*u - 3*c = -348. Is u composite?
True
Let g be ((-7)/14)/((-2)/(-8)). Let h be (-120)/21 - g/(-7). Is h/(-9) - (-494)/6 prime?
True
Is 6/9*6 - -181 a prime number?
False
Suppose 92 = -4*n - 3*x + 7*x, 0 = 5*n + 4*x + 160. Let u = n + 49. Is u a composite number?
True
Let g = 17 + 11. Let p(y) = -17*y. Let m be p(-3). Let c = m - g. Is c a composite number?
False
Let c(g) = g**2 - 5*g - 1. Is c(-5) a composite number?
True
Is (11 - 10)*(140 + -1) a composite number?
False
Suppose 0 = 4*z - 187 + 1559. Suppose 4*f = -3497 + 945. Let i = z - f. Is i prime?
False
Let i = 3 - 3. Suppose i*f - 2*f = 0. Suppose -2*v = 3*v + 5*p - 50, f = -2*v + 5*p + 20. Is v a prime number?
False
Let t(h) = 1 - 3*h + 0 + 2*h. Let v be t(-8). Let f = 6 + v. Is f composite?
True
Let t = 1151 + -772. Is t prime?
True
Let t = 41 + 170. Is t composite?
False
Is 34 + -1 + (2 - 4) prime?
True
Let w(u) = 119*u**2 - u - 1. Suppose -2*z + 2*g = -g - 7, 0 = z + g + 4. Is w(z) prime?
False
Is 127 + ((-16)/1)/4 a composite number?
True
Let t = 8 - 18. Let o be 2/(-8) - 181/(-4). Let z = t + o. Is z composite?
True
Suppose 0 = 5*c + 5*q - 670, 0*q = 2*q - 6. Is c a composite number?
False
Suppose k = 3*k - 672. Suppose 5*c - 4*j = 822, 2*c = 4*c + 2*j - k. Suppose 4*i - c = -2*v, v = -3*i - 4*v + 142. Is i composite?
True
Suppose 0 = 10*x + 2356 - 29966. Is x prime?
False
Let q be (0 - (-4)/(-2))*1. Let c be q + 10 + (0 - 1). Let o(w) = 9*w - 10. Is o(c) prime?
True
Let y(a) = 49*a**2 + 6*a - 2. Is y(7) a composite number?
False
Let m = 16 + -409. Let x = -46 - m. Is x a composite number?
False
Let a = 6 + -15. Let t = a + 62. Is t composite?
False
Let a = -749 - -2214. Is a a prime number?
False
Let w(u) = 37*u**3 - 17*u**2 + 11*u + 12. Let y(x) = 9*x**3 - 4*x**2 + 3*x + 3. Let g(z) = 2*w(z) - 9*y(z). Is g(-4) a prime number?
False
Let x(v) = v**3 - 5*v**2 - v + 2. Let w be x(5). Let d be ((-218)/(-3))/((-2)/w). Let k = 188 - d. Is k prime?
True
Suppose -20 = -2*s + 3*w - w, -2*w + 4 = 2*s. Suppose -2*y + 116 = s. Is y a composite number?
True
Let m(h) = -35*h**3 - h**2 - 2*h - 1. Let y be 2 + (1 + -1 - 0). Suppose 20 = -5*z, 2*c + z + y = -4. Is m(c) prime?
False
Suppose 2*w - 3*y - 12 = 0, -5*w = 3*y - 4 - 5. Suppose w*t - 520 - 383 = 0. Is t prime?
False
Let p be (-142)/4*-2 - 0. Suppose z + p = 5*o, -5*z - 3 - 2 = 0. Is o a prime number?
False
Let c(d) = -d**2 + 19*d + 11. Let v = 34 - 21. Is c(v) composite?
False
Let t = 16 - 9. Suppose -3*z + t*z + 5*x = 246, 0 = 2*z + x - 120. Is z a prime number?
True
Suppose 4*g + 0*g = 8, -2*h = -5*g + 14. Let x be -4 + (h - -5) + 154. Suppose -x + 28 = -5*p. Is p a composite number?
True
Suppose -5*a + r + 21 = 0, 5*a + r + 7 = 36. Suppose a*u - 610 = -3*w, 0*w + 3*w - 600 = -3*u. Suppose 6*n = n + w. Is n prime?
False
Suppose -3*r - 69 = 18. Let f = r - -75. Is f composite?
True
Let o(k) = 43*k**2 - 5*k + 5. Is o(3) prime?
False
Suppose -v = v. Let p be -1 - (-1*4 + v). Suppose -i - p*i = -84. Is i a composite number?
True
Let m be (-4)/(4/(-208) + 0). Suppose 4*o - m = 168. Is o a composite number?
True
Suppose -3*g + 396 - 48 = 0. Let a = 379 - g. Is (-4)/(-10) - a/(-5) composite?
False
Suppose 3*u + 712 = 3*m + 112, 4*u + 392 = 2*m. Suppose 295 = 3*n + 2*i, 0*n = -2*n - 5*i + m. Is n a composite number?
False
Let j be (-1)/2*-82 + -1. Suppose b + 2*x - 4 = -0*b, -2*b + 2*x + 8 = 0. Suppose -4*r = -4*c + j + b, 4*c - 40 = 3*r. Is c composite?
False
Let c = 88 + 29. Is (4 + 0 - 2) + c prime?
False
Suppose -9*q + 53 = -8*q. Is q composite?
False
Let b(j) be the first derivative of -j**2/2 + 3. Let f(n) = -18*n - 1. Let s(o) = -6*b(o) + f(o). Is s(-1) a composite number?
False
Let k = 185 + -70. Is k composite?
True
Is ((-74)/(-8))/((-3)/(-24)) a composite number?
True
Suppose 4*c = -5*u + 24 + 8, 2*u = -4*c + 20. Is u a prime number?
False
Suppose -v + 4 = -5*v, h + 3*v = 290. Is h a composite number?
False
Let m = 735 + -340. Is m a composite number?
True
Suppose -4*v + 2*r = -3*r - 35, -3*v + 35 = 5*r. Is 90/v*(-94)/(-6) a composite number?
True
Suppose 0*r + r - 1 = 0. Let c be -1 - (r - 3*11). Let d = -12 + c. Is d prime?
True
Let k(q) = q**2 + 5*q - 10. Let u be k(-7). Let n be (6/u)/((-1)/(-18)). Suppose -n = -2*v - 5. Is v composite?
False
Let r = 3 - 0. Suppose -c - 7 = j, j + r*c = -2*c + 5. Is (-8)/(-20) - 906/j composite?
True
Let j(d) = -d**3 - 9*d**2 + 2*d. Let a(i) = -2*i**3 - 17*i**2 + 5*i - 1. Let u(h) = 3*a(h) - 7*j(h). Let o be u(-6). Is o*((-1)/(-3) + 0) prime?
False
Let t(h) = h**3 - 4*h**2 - 4*h - 1. Let k be t(5). Suppose -5*z = -3*w - 340, -k*z + 3*w + 2*w + 285 = 0. Is z a prime number?
False
Suppose -6*y + 20 = -y. Suppose -3*x + 0 = -j + 9, y*j - 4 = -4*x. Suppose -2*b = -j*b + 37. Is b a prime number?
True
Let o be 805/4 - 5/20. Let i = 2 + -1. Is (-2)/(i/(o/(-6))) a prime number?
True
Suppose -5*b + 4*j - 4 = 4, -j = -2*b - 2. Suppose 5*o - 2 - 8 = b. Is o a composite number?
False
Suppose 0 = -4*i + 257 + 443. Let n = 252 - i. Is n a prime number?
False
Let o(i) = 7*i**2 + 17*i - 7. Is o(-12) a prime number?
True
Is (((-3)/(-6))/(-1))/(4/(-5384)) a prime number?
True
Suppose 0 = 3*y - 80 - 157. Is y a prime number?
True
Suppose 5*c - 64312 = -3*c. Is c a composite number?
False
Suppose -298 = -o - o. Suppose k = -0*k + o. Is k prime?
True
Is (2498/(-4))/(3/(-2) + 1) a prime number?
True
Let d = 4 + 0. Suppose 0*r + d = r. Suppose r*g - 188 = k, -68 = 5*g - 2*k - 303. Is g composite?
False
Suppose 5*v - 2734 = -104. Is v prime?
False
Suppose -1119 = 14*p - 17*p. Is p a composite number?
False
Let q = 1 - 0. Let o(k) = 84*k**2 - 1. Let g be o(q). Suppose 2*a - a - 56 = 5*x, g = 3*a + 2*x. Is a a composite number?
False
Suppose m - 12 + 3 = 0. Suppose 35 = 5*x + 3*v, 0 = -x + 4*v - 12 - 4. Let s = m + x. Is s a composite number?
False
Let x = -568 - -959. Is x a prime number?
False
Suppose 1 = -k - 0*k + j, 9 = -5*k + j. Is 254*3/(-12)*k a prime number?
True
Suppose -4*o + 2*b - 78 = 0, -3*o = -4*b + 53 - 7. Let q be (2 + -1)*12*1. Let t = q - o. Is t composite?
True
Let f = 3580 - 2219. Is f a prime number?
True
Let m(d) = -13*d - 4. Is m(-6) a composite number?
True
Let o(v) = v**3 + 5*v**2 + 4*v + 5. Let p be o(-4). Suppose -4*a - 2*l = -344, -p*l - 231 = -4*a + 113. Is a a prime number?
False
Let n(y) = 44*y + 1. Let c(g) = -1. Let x(h) = -4*c(h) - n(h). Is x(-5) a composite number?
False
Suppose -3*n - 4*c - 1786 = 0, 3*c - c + 2986 = -5*n. Let s = n - -919. Is s a prime number?
False
Let f(s) = 12*s - 12. Let p be f(9). Let c be p/54 + 2/9. Suppose -c*r - 61 = -m, -3*m + 4*m = 4*r + 69. Is m a prime number?
True
Let z be (41/(-4))/((-5)/60). Let m = 512 + z. Is m a composite number?
True
Let g = 2 + -1. Let y be (58/4 - g)*-2. Let b = 46 + y. Is b a prime number?
True
Let q(p) = 165*p**2 - 2*p. Is q(1) composite?
False
Let w(z) = -6. Let f(v) = v - 18. Let c(i) = 3*f(i) - 8*w(i). Let r be c(4). Let m(u) = u**2 - 2*u + 7. Is m(r) composite?
False
Let i be 4/6 + 526/3. Suppose -w = w - i. Let s = w - 35. Is s a composite number?
False
Let s(x) be the third derivative of -x**6/60 - x**5/30 + x**4/12 + x**3/6 - 2*x**2. Suppose 5*p + 17 = -2*q, -2*q = -6*q - 4. Is s(p) prime?
True
Suppose -5*u + 127 = 4*d, 3*d + 2*u = -0*d + 104. Suppose 5*s = -d + 213. Is s a composite number?
True
Let h = -6 + 4. Let d be ((-1)/1)/(h/2). Let a = d - -2. Is a a composite number?
False
Suppose -2*f + 3 = -3. Suppose n - 3*y - 190 = 0, 0 = -f*n - 4*y - 290 + 899. Let b = -110 + n. Is b prime?
True
Suppose 2*k + 1246 = 3264. Is k composite?
False
Suppose 5*f - 15 = -5. Is (260/(-8))/((-1)/f) prime?
False
Suppose 2*k + 5*o = -0*o - 213, 3*o = -2*k - 223. Let n = k - -208. Is n - 2*(0 - 1) prime?
False
Let g(f) = f**2 + f + 7. Let j be g(0). Let q(r) = r**2 - 3*r - 3. Is q(j) prime?
False
Let c(j) = 18*j - 3. Let g = 3 + -9. Let z be (6/(-4))/(3/g). Is c(z) a composite number?
True
Let p = 398 - 226. Suppose -r = r - p. Is r a prime number?
