e 0 = -4*v - v + 815. Is v a prime number?
True
Let n = -4 + 6. Let m be (-2 - -1)*0/n. Is 1 - 20*(m + -1) composite?
True
Let o = -1309 - -2204. Is o a prime number?
False
Let n(p) = p**3 - p**2 + p + 3. Let o be n(0). Suppose 0*l = -4*t + 4*l + 208, -o*l = t - 52. Let k = t - -1. Is k a composite number?
False
Suppose 4*h = 82 + 166. Is h a composite number?
True
Let r be 138/(-33) - (-2)/11. Let f be (-1)/(r/3 + 1). Suppose 111 = y - 5*i, 0 = -0*i + f*i. Is y a prime number?
False
Let t be (-32)/5 + 4/10. Suppose 2*w = 2*r + 16, 2*w = 5*r - w + 30. Is ((-89)/(-2))/(r/t) composite?
False
Let b = -479 + 678. Is b a composite number?
False
Let i = -5 + 7. Suppose -4*c - 147 = -w - i*c, 15 = 3*c. Is w composite?
False
Let s(r) = 13 + 8 + 2*r + r. Is s(16) a composite number?
True
Suppose 642 = k + 5*c, -c + 2*c + 1240 = 2*k. Is k a prime number?
False
Let u = -294 - -965. Is u a composite number?
True
Let r(y) be the third derivative of -y**4/4 + 2*y**3/3 - y**2. Let b be r(-5). Let c = -11 + b. Is c a composite number?
False
Let m(q) = 162*q - 2. Let p be m(2). Let z = 589 - p. Is z prime?
False
Let t = -4 + 4. Suppose 0 = -4*d + 3*x + 519, -514 = -4*d - t*x + 2*x. Let v = -64 + d. Is v prime?
False
Suppose -4*g + 5*w = -507, 231 = 2*g - 0*w + 5*w. Is g prime?
False
Let t = -20 + 9. Let p be 618/t + (-4)/(-22). Is (15/20)/((-2)/p) a prime number?
False
Let f(z) = -z**2 + 5*z - 1. Let c be f(4). Suppose -c*b + 0*b = -75. Is b a prime number?
False
Let a = 1059 + -640. Is a composite?
False
Let h(x) = -x**2 + 7*x - 7. Let v be h(6). Is v - 1 - -38 - 1 a composite number?
True
Suppose 2*z + 2*u - 508 = 0, -u + 0*u = 4*z - 1016. Is z a composite number?
True
Suppose -5*w + 4*w = -331. Is w prime?
True
Is ((-36)/24)/((-6)/4568) a prime number?
False
Suppose 5*x = 895 + 565. Let o = 515 - x. Is o a prime number?
True
Let z(k) = -k**3 - 16*k**2 + 23*k + 17. Is z(-18) a composite number?
False
Suppose -3*p + 4*t = -14 + 4, -3*t - 8 = -2*p. Is ((p - 1) + 10)*2 composite?
True
Let j = 10 - 14. Is (j/(-6))/(2/279) a composite number?
True
Let w = 19 + 86. Let u(b) = 2*b**2 + 11*b + 7. Let j be u(-5). Suppose 5*o = j*o + w. Is o a composite number?
True
Suppose 2*s - 16 = -4*l, 0 = -s + 3*l - 2. Suppose -4*b - 3*j - 181 = 58, 92 = -2*b + s*j. Let h = -7 - b. Is h prime?
False
Let z(m) = -37*m + 3. Let w be z(-6). Let n = w + -134. Is n composite?
True
Suppose -f = f, -1346 = -2*y + 2*f. Is y composite?
False
Suppose 4*c - 19 = -b, 5*b + 4 = b. Suppose c*k + 2 = -3. Is 39*(0 - k) + -2 a prime number?
True
Is 110/15*3/1 a prime number?
False
Let g(t) be the first derivative of t**4/4 + 4*t**3 + 2*t**2 - 1. Is g(-11) prime?
False
Is 1*-2 + (1753 - -6) a composite number?
True
Let n = 12 + -91. Let f(j) = -28*j + 4. Let p be f(-5). Let a = p + n. Is a a composite number?
True
Let d = 16 + -17. Let k(f) = 127*f**2 - f - 1. Is k(d) a prime number?
True
Let z be 6/3*(-27)/6. Let o be z/2*(-5 + 3). Let j = 10 + o. Is j composite?
False
Let t(a) = 50*a**2 - 6*a + 3. Is t(4) a composite number?
True
Let g(j) be the third derivative of j**5/15 + j**4/24 - j**3/6 - 9*j**2. Is g(-4) a prime number?
True
Suppose o - 5 = 0, 2*c + 7*o - 663 = 2*o. Is c a composite number?
True
Let a(p) = 2*p**2 - 8*p - 9. Is a(11) composite?
True
Suppose 32 = 2*s + 4*p, 6*p - 2*p + 40 = 2*s. Let k(u) = -u - 2. Let t be k(0). Is s - t*3/2 a prime number?
False
Let c(j) = j**2 + 7*j + 3. Let n be c(-5). Let q(f) = f**3 + 7*f**2 - 8*f - 3. Is q(n) composite?
False
Is (-2266)/(-26) + (-8)/52 prime?
False
Let l be (1 + 14/10)*415. Suppose -5*o + l = 3*s, 3*s - o - 978 = -0*o. Is s a prime number?
False
Suppose -19*m = -5*m - 4354. Is m a composite number?
False
Let p = 115 - 80. Is p a composite number?
True
Suppose -2*c - 3*z - 2*z - 2 = 0, -32 = -4*c - z. Suppose 0 = -4*n + 11 + c. Suppose -10 = o - n*p, -50 = -4*o - 2*p + 4*p. Is o a composite number?
True
Suppose 0 = 4*x + 2*l - 2062, 5*x - 2344 - 231 = -2*l. Suppose n - 2*t - x = 0, -3*n = -t - 3*t - 1547. Is n a prime number?
True
Let c = -4 + 4. Let l(f) = f**2. Let b be l(c). Suppose 4*p - 2*p - 116 = b. Is p a prime number?
False
Is 1/(-2)*6*1735/(-15) composite?
False
Let v be (-20)/(-8) + (-1)/2. Suppose 0*r + 158 = v*r. Is r a composite number?
False
Let i(t) = -t - 10. Let z be i(-6). Is (-843)/z + (-2)/(-8) composite?
False
Suppose 1749 = 4*c - 247. Is c a prime number?
True
Suppose 6 = 3*h + 3*p, -p = -3*p. Suppose h*v - 5 = 17. Is v composite?
False
Suppose 0*o - 1752 = -3*o. Let a = o - 293. Is a prime?
False
Let u = 15 + -6. Is u/(-6)*628/(-6) prime?
True
Is -9382*(-2)/36 + 16/(-72) a prime number?
True
Suppose 4*o + 4 + 0 = 0. Is (661 - 4)/3 + o a composite number?
True
Let y(l) = 10*l**2 + 4*l + 1. Let c = 8 - 11. Is y(c) prime?
True
Let k be -3 + (-1 - (-68 - 3)). Suppose 2*j - j = k. Is j prime?
True
Suppose -2*d - 4*o = -3830, 1 = -o - 3. Is d a composite number?
True
Let g(l) = 52*l**3 + 2*l**2 + 2*l - 1. Suppose -4*h - v = -7, h = -5*v - 0*v - 3. Is g(h) a prime number?
False
Let w(i) = 79*i**2 + i - 5. Is w(-4) composite?
True
Let n(w) = 66*w**2 - 3*w + 13. Is n(4) composite?
True
Is (-19)/(4/8 - 1) a prime number?
False
Let m = 8 + -7. Let b(k) = -3*k**3 - k**2 + k. Let r be b(m). Let y(f) = -f**3 + 3*f**2 + 5*f + 4. Is y(r) a prime number?
True
Suppose -3*b + 669 = 3*v, 0*v - 649 = -3*v + 2*b. Is v a prime number?
False
Let f(w) = 37*w**2 + 4*w + 2. Is f(-3) a composite number?
True
Let h be 81 - 3 - (-1 + 1). Let d = h - -41. Is d composite?
True
Suppose 0 = -0*b + 4*b - 120. Suppose 4*j + b = -j. Let k(m) = -m**3 - 5*m**2 + m - 4. Is k(j) composite?
True
Let j(h) = 10*h + 1. Is j(16) composite?
True
Let x = 476 + -245. Let z = -142 + x. Is z a composite number?
False
Let w(j) = -2*j + 1. Let z be w(2). Let d be 1*(4 + z - -182). Suppose -2*q + 189 = 5*l, -2*q + 2*l + d = 5*l. Is q a composite number?
True
Let y(p) = -p - 6. Let x be y(-3). Let f(d) = -d**3 + 2*d**2 + 3*d + 1. Let i be f(x). Let z = i + 46. Is z prime?
True
Suppose -2*b - 3*b = -5*n, -b = 4*n. Suppose -5*u + u + 372 = b. Let g = u - 38. Is g composite?
True
Let l(b) = 2*b - 1. Suppose 3*z = 5*h - 8, -3 = 2*h - 3*h + 2*z. Let t be l(h). Is (t + 2)/(9/111) composite?
False
Let n be (-1)/(6/4 + -2). Suppose 5 + 1 = -3*w - n*b, -3*w = -2*b + 6. Is w + (1*35 - 2) composite?
False
Let s be (-2)/(((-6)/(-100))/(-3)). Suppose 2*p - 431 = -5*l, 3*p - 5*l + 0*l - 684 = 0. Let h = p + s. Is h a composite number?
True
Suppose h + 1950 = 5*p, 5*p - 1012 - 958 = 5*h. Let a = 25 + -20. Suppose p + 396 = a*k. Is k composite?
False
Let g(c) be the second derivative of c**3/6 - 7*c**2/2 - 2*c. Let h be g(4). Is h/(-6)*37*2 a composite number?
False
Let w(o) = 20*o**2 - 2*o + 3. Let m be w(11). Let u = 11 - 33. Is 4/u - m/(-77) a prime number?
True
Let o(l) = -100*l + 4. Let i(t) = t. Let g(r) = 5*i(r) + o(r). Is g(-3) prime?
False
Let k = -596 - -1657. Is k prime?
True
Let z(g) = 4*g - 5. Is z(15) composite?
True
Let f(s) = -s**2 - 6*s - 9. Let z be f(-6). Let b = -5 - z. Suppose 0 = b*k - 0*k - 348. Is k a composite number?
True
Let q(i) = -2*i - 3. Let s be q(6). Let v be (-200)/s - (-4)/6. Is (-7 - 0)/((-2)/v) a prime number?
False
Suppose 4*h + 3*j + 2*j - 118 = 0, -5*j = 5*h - 150. Let k = 23 - h. Let l(q) = q**3 + 10*q**2 + q - 5. Is l(k) composite?
False
Let z = -716 + 1363. Is z prime?
True
Let w(n) = 1 - 1 + 3*n + 0. Let z be w(-2). Is -3*21*z/27 prime?
False
Suppose w = -4*d + 103, -2*d + w - 77 = -5*d. Is d a composite number?
True
Suppose 5*z - 546 = -3*n, 0*z + 5*z - 549 = -2*n. Is z a prime number?
False
Let z = -877 - -1508. Is z a prime number?
True
Let f = 7 + -5. Suppose -3*w = -w + s - 2, -s = f. Suppose -59 = -2*i - 4*l + l, -w*i + 99 = -5*l. Is i a composite number?
False
Suppose -5*k + 23 = w, -3*k + 33 = -5*w + 8. Is 4556/28 + w/(-7) prime?
True
Let g(v) = -2 - 6 + 6*v - 4*v + 3. Let h(u) = -u**3 + u**2 - u + 9. Let r be h(0). Is g(r) composite?
False
Is (-8 + 5)/((-3)/133) composite?
True
Let n be (-81)/(-15) + (-6)/15. Suppose n*x - 15 = g + 2, -5*g - 19 = -3*x. Is (-1 + -4)*(-9)/x a composite number?
True
Let q(k) = 9*k**2 - 8*k - 6. Is q(7) a prime number?
True
Let v(u) = 5*u + 6. Let z be v(6). Let x = z - -47. Is x a prime number?
