. Let y = 31 - 28. Is (d/3)/(-1)*y prime?
False
Let f(u) = 3*u**2 + 3*u - 17 + 41 + u - 21. Let k(j) = -j**3 + 6*j**2 - 2*j + 4. Let b be k(6). Is f(b) prime?
True
Let k(a) = -160*a**3 + 2*a**2 - a - 2. Is k(-1) prime?
False
Let o(v) = v + 12. Let n be -1*(-2 - 0) + 7. Suppose -b + 0*b = -n. Is o(b) a composite number?
True
Let y = 54 - 28. Is y a prime number?
False
Let d(n) = -371*n**3 + n**2 + 2*n + 1. Is d(-1) prime?
False
Is 76/(-6)*(-27)/18 a prime number?
True
Let f = -240 + 385. Is f composite?
True
Is ((-67)/2)/(7/(-14)) composite?
False
Suppose 7525 = 3*v + 2*v. Suppose 0 = -a - 4*a + v. Is a a composite number?
True
Let z(y) = 15*y**2 - 8*y - 6. Is z(-5) composite?
False
Let k = 205 - 135. Suppose -z - 3*i = -k, -2*z - 4*i + 146 = -0*z. Is z composite?
False
Suppose -9*l = -505 - 746. Is l prime?
True
Suppose -2*b - 3*b + 3*i = -1006, 0 = -5*b - i + 1018. Is b composite?
True
Let j(s) = s**2 + 8*s + 7. Let o be j(-7). Let l(h) = h**3 + h**2 + 41. Let c be l(o). Suppose -29 = -2*n + c. Is n composite?
True
Let f(x) = -x**2 - 8*x - 4. Let s be f(-8). Is 2 - (-161 - s/2) a composite number?
True
Let h(z) = 2*z**2 - 2*z - 1. Let n be h(-2). Let r = -4 + n. Is r a composite number?
False
Suppose 4*p = -297 + 1717. Is p a composite number?
True
Suppose -2*x = -2*g - 580, -4*x + g = -0*x - 1169. Is x prime?
True
Suppose 5*p - 39825 = -0*p. Suppose 4*b - p - 2823 = 0. Is b/39 - 4/26 a prime number?
False
Suppose 3*z = 9 - 0. Suppose -3 + 42 = z*d + 2*t, 48 = 3*d - t. Is d prime?
False
Let r be (-9)/2*52/(-3). Let v = 127 - r. Is v composite?
True
Suppose 3*x + 429 = 3*y, -y + 6*y + x - 715 = 0. Is y composite?
True
Suppose -n = -27 - 6. Suppose -s = -4*s + n. Is s composite?
False
Let n(i) = -i + 4 - 4 + 3. Let o(v) = -v**3 + v**2 - 3*v + 2. Let b be o(2). Is n(b) composite?
False
Suppose 4*l - 12 = -0*l. Suppose -329 = -l*o + 244. Is o a composite number?
False
Let v(j) = -4*j**3 - 3*j**2 - 9*j - 8. Let r(d) = -d**3 + d**2 - d. Let g(z) = -5*r(z) + v(z). Is g(9) a prime number?
True
Let m = -1037 - -1590. Is m a prime number?
False
Let l be 9/15 - 2/(-5). Let s be 25 - 2/(l + 0). Let i = s - 16. Is i prime?
True
Suppose 6*h - 3*h - 5*m = -49, -5*m = -2*h - 36. Is (136/4)/((-2)/h) composite?
True
Is (2 - (-5)/(-2))*(2 - 2520) prime?
True
Let a(o) = 37*o - 2. Let n be a(5). Suppose 5*x = -l - n, -4*x - 2*l = -l + 146. Let v = 164 + x. Is v composite?
False
Let f be 2/4*0/1. Suppose f = 5*n - 154 - 191. Is n composite?
True
Let s = 39 - 72. Let q = 104 + -168. Let i = s - q. Is i a prime number?
True
Suppose -28 = -3*q - 19. Suppose -i + 44 = -g - 4*g, 0 = -q*i - g + 180. Is i a composite number?
False
Is (4/(-6))/(4/(-126)) prime?
False
Let i be ((-4)/(-10))/(2/1010). Suppose 2*s - 4*f - i = 0, 0 = 2*s - 5*s + 4*f + 297. Is s prime?
False
Suppose 0 = 4*p - 0*p + 44. Let a(y) = -5*y**2 - y + 12. Let c be a(-4). Let t = p - c. Is t a composite number?
False
Suppose -2*k + 2*m = 8, 4*m - 6*m + 13 = 3*k. Suppose 0 = o + k - 4. Is 165 + 0 - (o - 1) a prime number?
True
Let k = -13 + 15. Suppose -k*f + 57 = f. Is f prime?
True
Let q = 10 - 6. Suppose q*k = 5*m - m, 4*k + m + 5 = 0. Is k/1*-11*7 a prime number?
False
Let d(i) be the first derivative of 31*i**4/2 + i**3/3 - i**2 + i - 3. Is d(1) composite?
True
Is 1706/(16/6 - 2/3) a prime number?
True
Let b = -8963 + 18756. Is b a prime number?
False
Let s = 665 + -186. Is s composite?
False
Suppose 0 = -3*i + 592 + 1961. Is i composite?
True
Let d = -503 + 1248. Suppose 0 = -4*y + 9*y - d. Is y a composite number?
False
Let x(t) = -2*t**2 - 6*t - 6. Let y be x(-4). Let h = y - -21. Suppose -h*n + 60 = -3*n. Is n a composite number?
True
Let j be (-2)/(-8) - (-126)/(-24). Is -1 + (94 - (j + 3)) prime?
False
Suppose 0 = -5*d - 0*b - b - 1211, -3*d - 728 = 2*b. Let j = 355 + d. Suppose 0*h - h = -j. Is h composite?
False
Let d(n) = n**2 + n + 4. Let y be d(0). Suppose -3*o - y*z = -8*o + 170, -o = -2*z - 34. Suppose -u - 4*f + o = 1, -5*u - 2*f = -75. Is u a prime number?
True
Suppose 4*o = 2*o + 4. Suppose -4*m + 2*r = -158, 5 - 74 = -o*m - r. Is m composite?
False
Let b = -1 - -6. Suppose -2*z + 82 - 20 = -b*l, 3*l + 58 = 2*z. Is z composite?
True
Suppose 2*s + 0*o - 19 = 3*o, -3*o = 3*s + 9. Suppose 0 = 3*x + s*x - 310. Is x prime?
False
Let v = 2292 - 1577. Suppose 2*i = -w + v, 2*i - 560 - 130 = 4*w. Is i composite?
True
Suppose 0 = -4*f - 20, 3*n - 3*f - 40 - 2 = 0. Suppose 0 = 3*i - n, -x - 41 = -2*x - 2*i. Is x prime?
False
Suppose -2*q - 12 = q. Suppose 5*u - 19 - 11 = 0. Is u/q*38/(-3) prime?
True
Suppose 7*r + 5 = 2*r. Is (r - -240) + 1*-2 a composite number?
True
Suppose 0*k = k + 4*p - 271, -p + 1260 = 5*k. Is k composite?
False
Suppose -810 = -4*o + 3*n, 2*o + 7*n = 3*n + 416. Let m be ((-2)/(-6))/(4/o). Suppose 5*q = 132 - m. Is q composite?
False
Let z be (-1)/3 + 8/6. Let l(g) = -g**2 + g. Let m be l(z). Let j(d) = -d + 223. Is j(m) prime?
True
Let g(b) = 4*b**2 - 1. Let u(m) = -4*m + 3*m**2 - 2 + 2*m + 3*m. Let p(w) = 4*g(w) - 5*u(w). Is p(4) composite?
False
Suppose 4*n - 263 + 19 = 0. Is (2 - n)/(1/(-7)) a prime number?
False
Suppose q = -2*q + 6. Suppose 0*k - 31 = -4*v - 3*k, -q*v = -k - 3. Is v a prime number?
False
Suppose a + 27 = -9. Let x = a + 19. Let c = x + 66. Is c a prime number?
False
Let r = -6412 - -9093. Is r a composite number?
True
Suppose 0 = z + 5*k - 5, 2*z = k + 59 + 6. Let a = 2 - z. Let m = -15 - a. Is m a composite number?
False
Let b = 21 + -15. Let q(w) = w - 3. Let x be q(b). Let n(p) = 2*p**3 - 2*p**2 + 3*p - 2. Is n(x) composite?
False
Let t(r) = -r**3 - 7*r**2 + 2*r + 6. Let j be t(-7). Is (0 - (-4)/j)*-118 a prime number?
True
Let f(y) = y + 6. Let q be f(-6). Suppose -2*u = -3*s + 565, q = -s + 6*s + 3*u - 910. Is s a composite number?
True
Suppose 9*b = 55902 - 16959. Is b prime?
True
Suppose -4*y = f - 240, -2*f + 372 = 5*y + 69. Is y prime?
True
Let q be (2 - -2)*68/2. Let c = -23 + q. Suppose 0 = -4*s + 3*n + 489, -3*s = 3*n - 485 + c. Is s a prime number?
False
Suppose -4*c + 2*h + 3442 = -0*h, 4320 = 5*c + h. Is c a composite number?
False
Suppose -5*z - 4*f = -2208, z + f - 394 = 48. Suppose -5*d = 5*g - 585, 0*d + 3*d + z = 4*g. Is g a composite number?
False
Suppose 2*t + 2*n = 3*n + 674, -5*n - 1011 = -3*t. Is t a prime number?
True
Suppose 0*v + 6 = 2*v. Suppose -h - v*k - 124 = -664, h - 532 = -5*k. Let q = h + -329. Is q prime?
True
Let k be 1/((4 + -1)/3). Is k + 0 + 11*30 a prime number?
True
Let z = 678 - 385. Is z a prime number?
True
Suppose -9 = -3*w + p, 7*w - 2*w - 16 = 2*p. Let x = 8 - 5. Suppose w*n = -x*n + 475. Is n a composite number?
True
Let l(t) = -t**2 + 11*t - 7. Let w be l(10). Let j(s) = 27*s + 2. Let q be j(2). Suppose q = h + w. Is h composite?
False
Let f(l) = -l + 8. Let y(s) = -s + 8. Let p(w) = -5*f(w) + 6*y(w). Let t be p(4). Suppose -5*x + 943 = t*m, x + 5*m = 3*x - 397. Is x prime?
True
Let p be -3*(-2)/(-4)*-4. Suppose -8*b + 430 = -p*b. Is b a prime number?
False
Let f = 7713 - 4676. Is f a prime number?
True
Suppose 4*p + 3 = 7. Suppose 1 = g - 1. Is g + (p - -42) + 1 a composite number?
True
Suppose 0 = 2*b - 2*i + 142 - 428, -2*i - 580 = -4*b. Let o = 214 - b. Is o a prime number?
True
Let o(j) = -j**3 + 11*j**2 + 4*j + 7. Is o(11) a prime number?
False
Suppose 6*b + 4*b = 20690. Is b prime?
True
Let a = 596 - 91. Is a composite?
True
Let p(x) = 3*x**2 - 12*x - 8. Is p(9) composite?
False
Let d(u) = 2*u**2 - 10*u + 45. Is d(-11) prime?
True
Let f(m) = -7*m**3 + 3*m**2 - 2*m + 2. Let i be f(3). Let l = i - -253. Is l a prime number?
False
Let o(j) = -5 + 2 - 1 + 0 + 27*j. Is o(7) prime?
False
Is 11/((2/(-222))/((-5)/15)) a prime number?
False
Let k = -1 - -3. Let b(y) = -y**3 - y**2 + y + 65. Let c be b(0). Suppose 0 = s + u - 0*u - 60, c = s + k*u. Is s prime?
False
Let x be (-6)/(-3) - (0 + -1). Suppose -x*r = 2*o - 178, -o + 4*r + 206 = o. Let g = 190 - o. Is g a prime number?
False
Let p(v) = 30*v + 5. Let h be p(4). Suppose h = 4*m - 151. Is m prime?
False
Suppose 6*j - 2880 = -2*l + 3*j, 3*j + 1431 = l. Is l a composite number?
True
Let g be 36/8 + 4/8. Suppose -886 = -g*d - 2*p + 6*p, 5*d = -4*p + 894. Is d a composite number?
True
Let h(m) = -8*m + 3. Let l be h(-3). Suppose 0 = 4*r - 5*r -