
False
Suppose 3*x - 206 = 64. Suppose -m = -6*m - x. Is (-1642)/m - (-2)/(-9) prime?
False
Is (201880/44 - 5) + (-2)/11 composite?
False
Let q = 275 + 290. Suppose -2*r = -3*r + q. Suppose 6*c - r = c. Is c a prime number?
True
Let c(u) = -10*u + 1. Is c(-3) a prime number?
True
Let b = 794 + -508. Suppose b = 4*j - 4*y - 78, -j + 83 = 3*y. Is j a prime number?
True
Suppose -2 = 3*w + 4. Let i be 3/6*(4 - w). Suppose -114 = -i*b + 51. Is b a prime number?
False
Is -1*(1 - (213 + -1)) a prime number?
True
Suppose 0 = 5*r - 5*s - 815, -s - 4 = 1. Is r a prime number?
False
Suppose 4*k = -0*k + 492. Is k prime?
False
Suppose -d + 2*j + 4 = -2, 13 = 4*d + 3*j. Suppose 94 = 4*t + 5*m, 53 = 3*t - d*m - m. Is t a prime number?
False
Let a be (-9)/(-6) + (-3588)/(-8). Suppose -a = -7*v + 2*v. Suppose 4*z + 5*y - 116 = 0, -z + 3*y = -4*z + v. Is z a composite number?
True
Suppose 0*q - q - 2*j + 11 = 0, 4*q + j = 65. Let h(d) = d**3 - 13*d**2 - 12*d - 8. Let m be h(14). Suppose -w + m = -q. Is w composite?
False
Suppose 0 = -a + 2*a. Suppose -4*m + 3*n + 45 = a, -3*m + 2*n + 11 + 24 = 0. Is m prime?
False
Let o = 39 + 9. Let t = 7 + o. Is t prime?
False
Suppose -12*z = -13022 - 29110. Is z a prime number?
True
Is -2 + 6 - 844/(-4) prime?
False
Suppose -225 + 5 = 2*n - 2*x, -2*x + 112 = -n. Let j = 159 + n. Let o = j - 18. Is o a prime number?
False
Let o = -10 - -5. Let r = o + 3. Is r + (70 - -1) + -2 prime?
True
Suppose 135 = -5*v - 0*v. Is 5962/18 + 6/v a prime number?
True
Let z(x) = x - 1. Let l be z(1). Suppose 5*d - 427 = -l*m + m, -4*d + 3*m + 346 = 0. Is d prime?
False
Let q(g) = 21*g + 32. Is q(17) prime?
True
Let v(m) = -9*m**2 - 28*m - 7. Let c(k) = 5*k**2 + 14*k + 4. Let j(y) = 7*c(y) + 4*v(y). Is j(-11) a composite number?
True
Is 8/(-4) + 2 - (-3 + -46) prime?
False
Let f(q) = -q**3 + 9*q**2 - 10*q + 9. Let m(n) = 3*n**3 - 27*n**2 + 30*n - 27. Let y(r) = -11*f(r) - 4*m(r). Is y(7) prime?
True
Suppose -3*g - 54 = -3. Let a = 120 + g. Is a composite?
False
Let v = 3729 - 636. Is v a prime number?
False
Suppose 2*i - 4*u = 382, -4*i = -3*i + 2*u - 179. Is i a prime number?
False
Let h(g) = -g**3 - 8*g**2 - g + 2. Let x be h(-8). Suppose -2*n - x = 6. Is -4*(294/n - 2) a composite number?
True
Suppose 0 = -2*v + 1304 + 98. Is v a composite number?
False
Suppose -4*h = -2*s + 32, 5*h + 32 + 17 = 3*s. Suppose 2*w + s - 128 = 0. Is w prime?
False
Suppose -4 = -m - 4*d, 0*m = 3*m - d + 1. Suppose m = -3*t + f - 6*f - 52, -3*t = f + 68. Is 0 - (t + 1 - 0) a composite number?
False
Is ((-471)/2 + 2)*-2 a prime number?
True
Let a(l) = -36*l + 5. Suppose -x = 2*g + 11, 0 + 9 = -3*g - 3*x. Is a(g) prime?
True
Suppose -3*d + 170 = -2*d - 5*n, -4*d + 614 = 2*n. Is d a prime number?
False
Suppose 2*q - 2 = 2*o, 0 = 2*q + 1 - 3. Let m = o - 4. Is (m + 3)/((-2)/8) composite?
True
Suppose 3*z - 8 = s - 140, -2*s - z = -229. Suppose 3*i - s = 156. Is i a composite number?
True
Suppose -4*c + 4*o + 1280 = 0, -4*c + 1274 = -0*c + 2*o. Is c prime?
False
Let d be (2/3)/(4/(-624)). Let b = d - -281. Is b composite?
True
Let h(k) = 27*k**2 - k - 3. Is h(3) prime?
False
Let k(y) = -y + 7. Let p be k(-8). Let t be 1/((0 - -3)/p). Suppose 0 = -3*d + t*d - 182. Is d a prime number?
False
Suppose -4*k + 3*h + 323 = 0, 4*k + 0*h - 318 = 2*h. Is k a composite number?
True
Let p = -7 + 9. Suppose 4*g - 245 = -3*f, 2*f = -g - p*f + 58. Is g composite?
True
Let a(c) = -c**2 + 5*c - 5. Let g be a(4). Is 6/3 + g - -2 a prime number?
True
Suppose u = 5*j - 8, j + 5*u = 3*j + 6. Suppose -21 = -j*k + 11. Suppose 0*h = -4*h - k, -2*h + 324 = 4*q. Is q prime?
True
Let z(p) = -12*p**3 - p + 1. Let m be z(-2). Suppose 54 = 3*u - m. Is u prime?
False
Suppose -2742 = -10*f + 4*f. Is f prime?
True
Let t(a) = 10*a**3 - 2*a + 3. Let s = -7 + 9. Is t(s) composite?
False
Suppose 0 = l - 0*a + 4*a - 8, 4*l - a = 32. Suppose 0 = 6*q - q - 25. Suppose 3*y = q*b + 43, -l*y + 3*y + 61 = -3*b. Is y a prime number?
True
Let v = 21 - 30. Is (-2)/(-9) + (-313)/v a composite number?
True
Suppose -5*w + 109 = u, 2*w + 3*u - 32 - 9 = 0. Is w prime?
False
Let t(u) = -40*u. Let f be t(3). Let m = f + 169. Is m prime?
False
Let h be 2/1 - (-3)/3. Suppose -3*y - h*r + 1997 = -139, 5*y = 5*r + 3530. Is y a composite number?
False
Suppose 13 = -3*r + 28, 699 = -3*f + 3*r. Let u = -142 - f. Is u prime?
False
Suppose -3*t + 12 = -2*s, 4*t - 2*s + 4 = 18. Suppose 3*c = -t*p + 82, -4*p - c = -0*c - 174. Suppose -2*k + 42 = -p. Is k composite?
False
Suppose b - 51 = -10. Let n = b + 144. Is n a prime number?
False
Suppose 4*n + 141 + 224 = 5*a, a = -5*n - 449. Let u = -1 + n. Let v = -52 - u. Is v composite?
True
Suppose -r = -5 - 7. Let q(s) = s - 7. Let h be q(r). Suppose -b + 97 + 26 = 4*a, -h*a = 4*b - 481. Is b a composite number?
True
Suppose -3*o - 796 = -3*p - 169, 0 = -5*p - 5*o + 1015. Is p a prime number?
False
Let z(v) = v**2 - 8*v + 9. Suppose -14 = a - 3*a. Let q be z(a). Suppose -10 = -q*x + 20. Is x composite?
True
Let v = -28 + 25. Is (-9354)/(-24) - v/(-4) a prime number?
True
Let m(b) be the first derivative of 4*b**2 - 7*b - 3. Is m(5) a composite number?
True
Let i(u) = -u**3 + 4*u**2 + 2*u - 4. Let p be i(4). Suppose -p*r + 276 + 212 = 0. Suppose 27 - r = -5*o. Is o a prime number?
True
Let o(w) = -w**3 - 2*w**2 - w. Let z be o(-1). Suppose z = -0*d - 3*d + 261. Is d a prime number?
False
Let t(d) be the first derivative of 0 - 3*d**2 - 1 - 2*d - 5*d. Is t(-7) a composite number?
True
Let o(x) = -x**3 - 6*x**2 + 8*x + 5. Let j(z) = z**3 - 5*z**2 - z - 2. Let w be j(5). Let s be o(w). Let v(n) = -2*n**3 - 3*n**2 - n + 1. Is v(s) composite?
False
Suppose 0 = -5*x + 2*x + 3, -3*z = 5*x - 650. Suppose 5*t + 20 = q - 10, 4*q - t = z. Is q a prime number?
False
Suppose -3*o = -626 + 71. Is o a composite number?
True
Is -2*1*359/(-2) composite?
False
Suppose -3*h + 33 + 99 = 0. Suppose -3*n + h + 193 = 0. Is n a prime number?
True
Let h be -3*(-2)/3*-1. Let y be (2 - 2 - h) + -1. Is (2 - y) + (-48)/(-1) prime?
False
Let d = 168 + -47. Is d prime?
False
Let w be -3 + (-2 - (-4 + 1)). Let d(x) = 28*x**2 - 3*x - 3. Is d(w) a prime number?
False
Let q be 4/14 + 368/(-14). Is (0 + -53)/(13/q) a prime number?
False
Let q(z) = -z - 1. Let r be q(-7). Let k(f) be the second derivative of 7*f**3/6 - 5*f**2/2 + f. Is k(r) composite?
False
Let y be 18/27*333/2. Suppose -2*n + 4 = 3*b, -5*n - 2*b + 4 = -3*n. Suppose -p - n*p + y = 0. Is p a prime number?
True
Let g be (-1)/(2/(-1) + 1). Let z = 3 + g. Let o = z - -3. Is o a composite number?
False
Suppose 107 = -v - 199. Let b = v - -517. Is b prime?
True
Let f = 2 + -5. Is (-376)/(-12) + 1/f a composite number?
False
Let b be ((-4)/(-6))/((-6)/(-27)). Suppose n = -i + 86 - 31, 4*i = -b*n + 224. Is i prime?
True
Let a be (-34)/(-8) - (-3)/(-12). Suppose -2*f - 2*i = -0*f - a, -5*i - 6 = f. Suppose -f*j - 265 = -9*j. Is j composite?
False
Suppose -346 = -5*c + 389. Let z = c - 101. Suppose -v + z = -0*v. Is v a composite number?
True
Let u = 5547 - 3748. Is u a prime number?
False
Is (-2)/(-6)*(868 - -17) prime?
False
Let y = 31 + -43. Let j = -2 + y. Is (-494)/j - (-8)/(-28) composite?
True
Let o(m) = 33*m + 13. Is o(6) a composite number?
False
Let o(k) = -k + 20. Let r be o(0). Suppose -4*p - r = 0, -4*v + 6*p - 4*p + 158 = 0. Is v composite?
False
Suppose 0 = -2*v + 48 + 106. Suppose -v = -2*x - 9. Suppose -415 = -3*d - x. Is d a prime number?
True
Let u be (-14)/(-6) - 4/(-6). Let g(r) = 4*r**2 - 3 + 4*r - 1 - r**u + 3. Is g(4) composite?
True
Suppose 0 = d - 343 + 140. Is d composite?
True
Let q(u) = -11*u + 4. Let i(a) = -3*a + 1. Let k(r) = 9*i(r) - 2*q(r). Is k(-2) composite?
False
Let k(o) = -o**3 + 11*o**2 + 4*o - 13. Is k(11) prime?
True
Suppose -t = -3*b + 3*t + 78, b + 5*t - 7 = 0. Is b composite?
True
Let k = -74 + 107. Is k composite?
True
Let n(j) = 2*j**2 + 15*j - 1. Let b = -18 + 25. Let t(r) = 2*r**2 + 16*r. Let x(o) = b*n(o) - 6*t(o). Is x(-8) prime?
False
Let q be (-1 - -2)/((-1)/(-9)). Suppose -q = -3*b + 9. Suppose -3*u = b, u = -7*x + 2*x + 48. Is x prime?
False
Suppose 4*a - 6 = 3*f, 2*f = -2*f + 4*a - 8. Let j be (-2 - -2 - f) + 0. Suppose -g = j*g - 75. Is g composite?
True
Let u = 4 - -2. Let p(m) = 6*m + 10. Is p(u) prime?
