69 = -15. Let a = j - 6. Is a composite?
True
Let m(k) = 10*k**2 - 17*k + 12. Is m(-11) a prime number?
True
Let t = 4 - 1. Is t/(-2)*462/(-9) prime?
False
Let m(k) be the first derivative of k**7/420 - k**6/120 - k**5/40 + k**4/24 - 2*k**3/3 - 2. Let j(s) be the third derivative of m(s). Is j(3) a prime number?
True
Suppose 0 = -2*y - 2*y - 84. Let g = -17 + 53. Let h = g + y. Is h prime?
False
Let u = 40 + -24. Let t = 73 - u. Is t prime?
False
Let m(o) = 2 - 15 + 2*o + 0*o. Let p be m(10). Suppose p*r - 255 = 2*r. Is r a prime number?
False
Suppose -2*u - 2*c - 436 = 0, -4*c = -0*u - 4*u - 848. Is -1 - u - (4 + -5) composite?
True
Let o = 5 + -3. Suppose -3*j + x - 92 = -4*j, o*j - 3*x = 189. Suppose 0 = 2*s + s - j. Is s a composite number?
False
Let i(x) = -x**2 + x + 31. Suppose 2*d - 20 = -4*v, -14 = -5*d + 2*v - 0. Let y be d/(-14) - (-2)/7. Is i(y) a prime number?
True
Suppose -2*r + r + 2 = 0. Suppose 0 = r*l + 40 + 10. Let d = l + 60. Is d a composite number?
True
Let w(n) = -42*n**3 - n**2 - 2*n + 7. Is w(-3) a composite number?
True
Let o = 6 + -4. Suppose 3*h = -o*a + 124, -3*h - 10 = -4. Is a prime?
False
Let h(d) = 773*d**2 + 3*d + 1. Is h(-1) prime?
False
Let i(c) = 2 - 4 - 3 + 4 + 38*c. Let j = 2 + -1. Is i(j) a composite number?
False
Let y = -5 - -1. Is 41 - (-2 + y)/(-3) prime?
False
Suppose 140 = 8*y - 1020. Is y a prime number?
False
Suppose 0*d - 2 = -2*d. Suppose -11 = -3*g + d. Suppose b = -g*n + 55, 201 = 4*b - 5*n + 2*n. Is b a composite number?
True
Suppose 5*p = 5*x - 170, -2*x + 0*p = -4*p - 74. Let h(r) = -r**2 + 5*r + 1. Let o be h(4). Suppose -o*v + 99 = -x. Is v a composite number?
True
Let j be 2 + (-471)/(-3) - -2. Let s = j - 40. Is s prime?
False
Suppose 0 = y - 3*y + 502. Is y composite?
False
Let z = -2 + -3. Let b = 2 - z. Let y(g) = g**2 + g - 3. Is y(b) composite?
False
Let b(u) = u**2 + u - 4. Let n be b(0). Let g = n + 25. Is g prime?
False
Let j(k) be the third derivative of 5/24*k**4 + 3/2*k**3 + 0*k + 0 + 1/20*k**5 + 3*k**2. Is j(7) a composite number?
False
Let q(x) = x + 4. Let a be q(-2). Suppose -3*d + a + 76 = 0. Is d composite?
True
Let x(h) = 4*h + 5. Is x(8) a prime number?
True
Let a = 32 - -360. Suppose -2*t - 2*t = -a. Suppose 0 = -5*j + 247 + t. Is j prime?
False
Let o(u) = u**3 + 2*u**2 - u. Let n be o(-2). Let l = 0 - n. Is l - 3/((-6)/158) composite?
True
Suppose q = 5*q - 2492. Let v = q - 364. Is v prime?
False
Suppose -q - 1 = -5. Suppose q*d - 115 = -0*d - 3*b, -19 = -d - 4*b. Is d a composite number?
False
Let t(i) = 2*i**2 - 4*i + 9. Let j(k) = 2*k**2 - 4*k + 8. Let n(d) = 6*j(d) - 5*t(d). Suppose -1 - 7 = 2*w. Is n(w) a prime number?
False
Let g(a) = -a - 2. Let q be g(-7). Suppose -3*f - 64 = -5*n, 3*n - q*f - 18 = n. Is n prime?
False
Is 1322 + 0 + (-9)/3 composite?
False
Let z(t) = -t + 1. Let w be z(1). Let r be 11 + w + 3 + -1. Suppose 3*p - 26 = r. Is p a composite number?
False
Let k = -10 - -3. Let b(l) be the first derivative of -5*l**2 - 5*l - 1. Is b(k) a prime number?
False
Let s(k) = 2*k**2 - 4*k + 1. Let l = -10 + 7. Let u be s(l). Suppose i - 2*i - 3 = -o, -5*o + i + u = 0. Is o a composite number?
False
Let o be -1 + 2 + 1 + 37. Suppose -1 = 2*a - o. Is a a composite number?
False
Let y(d) = -336*d**3 + d**2 - 4*d - 4. Is y(-1) a prime number?
True
Let a be -1*3*8/6. Let q(d) = -d**3 - d**2 - 2*d - 3. Is q(a) prime?
True
Let k(c) = c**3 + 10*c**2 + 4*c + 14. Let g be k(-10). Let s = 59 + g. Is s a prime number?
False
Suppose -4*y - 58 = -2*a, 0*a + 3*y = a - 25. Is a a composite number?
False
Suppose w + 185 = -50. Let b = w + 358. Is b prime?
False
Let u(j) = 15*j**2 + 7*j - 1. Let w(d) = -d**3 + 9*d**2 - 9*d + 2. Let t be w(8). Is u(t) prime?
False
Let a = 42 - 5. Is a prime?
True
Let o be (3 + 1*-2)*-1. Let x = o + 1. Let q = x + 39. Is q a composite number?
True
Let m(x) = 0*x**3 - 2*x**2 - 2*x**3 + 3 - 3*x**2 + 2*x + x. Is m(-4) a prime number?
False
Suppose 7*y - 2*y - 395 = 0. Is y composite?
False
Let s(x) = -2*x**3 + 17*x**2 - 3*x + 13. Is s(-8) a composite number?
True
Let l = 846 - 427. Is l a composite number?
False
Let t be 2*8*762/24. Is (0 - 3)*t/(-12) composite?
False
Let j = 826 - 324. Let n = -306 + j. Suppose 0 = -r + 5*r - n. Is r a prime number?
False
Let t(p) = -p**2 + 5*p - 2. Let j be t(3). Suppose -4*a + j*w = 340, -2*a - 149 = 6*w - w. Let h = -36 - a. Is h composite?
True
Suppose 2*m + 2*m - 708 = 0. Is m prime?
False
Suppose 59 + 536 = h. Suppose 7*l - h = 2*l. Is l a composite number?
True
Let k(z) = 74*z**2 + 2*z + 1. Let h be k(-1). Let o = h - 42. Is o composite?
False
Let g = -3 - -6. Suppose 2*s + x = -1, g*x = -5*s - 3 - 0. Is s + (0 - 2 - -23) composite?
True
Let f = -322 - -663. Suppose -5*j + f = -454. Suppose -r = -0*r - j. Is r prime?
False
Suppose -3 = 3*b - 6. Let j(h) = 77*h. Is j(b) a prime number?
False
Suppose 6*r = r - i + 25, 0 = 2*r + 3*i - 23. Let o be (-4 + 6)*10/r. Suppose 0 = -o*h, -5*g = -h - h - 335. Is g prime?
True
Suppose 3*a = 7*a + 104. Let j(r) = -r**3 - 7*r**2 + r. Let x be j(-3). Let z = a - x. Is z composite?
False
Let y(n) = -51*n + 1. Is y(-4) a prime number?
False
Is -5 - -3 - 1 - -257 prime?
False
Let d = 108 - 25. Is d composite?
False
Suppose 78 = -k + 4*k. Is k a composite number?
True
Suppose 138 = 2*x - 2*m, 0 = 4*x + 4*m + m - 240. Is x composite?
True
Let k(g) = -g**2 + 5*g + 2. Let f be k(4). Let y = 68 - f. Is y a composite number?
True
Suppose 0 = -i + 2, -j + 1 + 4 = 2*i. Suppose 2*y - 5*p = j + 3, -2*y = p - 28. Suppose n + y = 173. Is n a prime number?
False
Let m(v) = -12*v. Let s be m(-7). Let h be (-4)/14 - (-4)/14. Suppose h*r = 4*r - s. Is r a composite number?
True
Let h(f) = -3*f**3 - 5*f**2 - 3*f + 111. Let b(g) = g**3 + 2*g**2 + g - 37. Let v be 4/((2 + 1)/6). Let t(a) = v*b(a) + 3*h(a). Is t(0) a prime number?
True
Suppose -246 = -f - j, -2*j - 1216 = 5*f - 10*f. Suppose 0 = 5*h + f - 989. Is h a composite number?
False
Let x be ((-24)/(-14))/((-1)/(-7)). Let h = 8 - x. Is (-2)/h + (-134)/(-4) a composite number?
True
Let a(l) = -123*l - 10. Is a(-13) a composite number?
True
Suppose -2*w - 7*w + 1971 = 0. Is w a prime number?
False
Let q(g) = -1 + 0 - 4 - 36*g. Is q(-6) a composite number?
False
Let b = 31 - 0. Let o = b - -36. Is o composite?
False
Let m(r) = -4*r + 5*r - 1 - 75*r**2 - 6*r**2. Let k(n) = 163*n**2 - n + 2. Let g(s) = 3*k(s) + 5*m(s). Is g(-1) a composite number?
False
Let p(q) = -3*q - q - 2*q + 1. Let b(a) = -a**3 + 6*a**2 - a + 1. Let y be b(6). Is p(y) composite?
False
Let n = 2818 + -1413. Is n a composite number?
True
Let x = 10 + -7. Suppose -x*w = w - 76. Is w a composite number?
False
Let r be (-3)/((-1)/(3*-1)). Let l(n) = -n**3 - 8*n**2 - 7*n + 13. Let j be l(r). Suppose 4*v - 2*m - 3*m - j = 0, -m = 5. Is v prime?
False
Suppose 5*x - o - 43 = 0, 0 = -3*o - 4 - 5. Let l(a) = -x*a + 3*a**3 - 2*a**3 + 0*a**3 - 11 - 6*a**2 + 0*a**3. Is l(8) prime?
True
Is 6/9 + 4249/21 a composite number?
True
Suppose 0 = d + 1, 0 = -5*k - 5*d + 927 + 2343. Is k a prime number?
False
Suppose 0*y - 5*y = -3*j + 13868, -5*j - 3*y + 23102 = 0. Is j a prime number?
True
Let m be 2 + -2 + 1 + -3. Let w be m/7 + 32/14. Suppose 0 = -r, -w*d - 3*r = -0*r - 138. Is d a composite number?
True
Let m = -38 - -96. Suppose -90 - m = -4*q. Is q a prime number?
True
Suppose 2*g - 251 - 35 = 0. Is g a prime number?
False
Suppose 3*s - 4*s = 3*k - 130, -4*s + 445 = -3*k. Is s composite?
True
Let v = 11072 - 7251. Is v a composite number?
False
Let v = -6 - -8. Suppose 0 = 3*f + m - 13, 15 = 6*f - v*f - m. Suppose 11 = 2*g + 2*g + 5*j, -2*g = -f*j - 38. Is g composite?
True
Let h(y) = -4*y**3 + 8*y + 7. Is h(-5) composite?
False
Suppose -4*h + 5*s = -385, -s = -h + 3*s + 99. Let m = -36 + h. Is m a composite number?
False
Let m = 243 + -11. Suppose m = 2*a - 3*u, 4*u = -3*a + 35 + 330. Is a prime?
False
Suppose -6*b - 25 = -247. Is b composite?
False
Let k = -25 + 13. Is (-6610)/(-18) + k/54 composite?
False
Suppose 5*t - 13 = 17. Let j(o) = -7*o + 7. Let d(m) = -14*m + 15. Let n(v) = t*d(v) - 13*j(v). Is n(2) a prime number?
True
Suppose 0 = -5*f + 2*v + v + 113, 5*f = 5*v + 115. Suppose -2*s - u - 3*u = -f, -4*s - 4*u + 36 = 0. Is s a composite number?
False
Let m(k) = k**