number?
True
Suppose -3*j = -0*j - 12. Suppose 0 = -j*k + 51 + 25. Is k a composite number?
False
Suppose -2*o - 2*f + 538 = 0, 455 = 2*o + 5*f - 95. Let v = o + -178. Is v a composite number?
True
Let l(v) be the first derivative of v**2/2 + 13*v + 2. Suppose -2*o = o. Is l(o) a prime number?
True
Let k(a) = a**2 - a - 7. Is k(6) composite?
False
Let s(a) = -a**3 - 2 - 3 - 4*a + 2*a**2 + 2 - 8*a**2. Is s(-6) a prime number?
False
Suppose 0 = 5*n - 41 - 19. Suppose -n*f = -7*f - 955. Is f composite?
False
Let a(q) = -2*q. Let x be a(1). Let g(h) = -h. Let c be g(x). Is ((-3)/(-6))/(c/24) prime?
False
Let m be (-10)/(-4) - 6/(-4). Suppose m*d + 0*d = -3*h + 530, 4*d = -2*h + 352. Suppose -2*c = 3*w - h, 118 = 2*c - w - 60. Is c prime?
True
Let a(z) = 98*z - 7. Is a(6) prime?
False
Let n = -2 - -3. Let d be 1/(-2)*2 + n. Suppose -2*t + 7*t - 3*q = 249, -3*t + 4*q + 145 = d. Is t a composite number?
True
Let o(b) = 5*b**2 - 2*b + 2. Is o(-3) a composite number?
False
Suppose 4 = 3*f + 7. Let d(w) = 4*w**2 + 25*w**2 + 4*w**2. Is d(f) composite?
True
Let o(l) = 2*l**2 + 1. Let n be o(-1). Let j be 2/(n/(33/2)). Let k = j + 0. Is k prime?
True
Let t(z) = z**3 - 5*z**2 + z + 5. Suppose -4*y = -y - 15. Let k be t(y). Is 6/15 + 146/k composite?
True
Let i = 16 - 3. Let g = i - 2. Is g prime?
True
Let p = 1060 + -219. Is p composite?
True
Suppose 3*d + 12 = 0, -7*d = 3*x - 6*d - 10919. Is x composite?
True
Let x(f) = f**3 - 12*f**2 + 11*f + 3. Let v be x(12). Suppose 20 = 5*p - v. Is p a composite number?
False
Suppose -211 = -u + 342. Is u a prime number?
False
Let u = 17 - 11. Let b(s) = -8*s**2 - 2*s + 7. Let m(y) = y**2. Let w(r) = -b(r) - 6*m(r). Is w(u) a composite number?
True
Suppose -s - 3*i + 264 = 0, -8*s + 4*s = -5*i - 1107. Let z = s + -52. Is z a prime number?
False
Suppose -2*j = 3*m + 2*m + 12, 5*j + 5*m = 0. Suppose 0 = -4*k - w + 98, -j*w = -2*k - w + 42. Let x = 139 + k. Is x prime?
True
Suppose v + 4 = 0, -3*p + 3*v = 2*p - 237. Let t be 7024/18 + (-10)/p. Is t/36 - 2/(-12) composite?
False
Suppose -2*c - 5*w = 17, 2*c + 2*c + w = 11. Suppose 2*p = -10, v - c*p = -3*p + 99. Is v prime?
False
Let h(s) = -s**3 + 4*s**2 + 10*s + 19. Is h(-14) a composite number?
False
Suppose 5*f - 3 = 2*x - 33, 0 = -5*f - 20. Suppose 3*u - 92 = x*t, -3*t + 5*u - 2*u = 60. Is 2 + -4 - -1 - t a prime number?
False
Let o = -146 + 68. Let q = o + 149. Is q a composite number?
False
Let j(k) be the third derivative of -7/60*k**5 + 0 - 4/3*k**3 - k**2 - 11/24*k**4 + 1/120*k**6 + 0*k. Is j(9) a prime number?
False
Let b(z) = z**3 - 3*z**2 + 5*z + 2. Let v = -11 - -15. Suppose p - 1 = v. Is b(p) a prime number?
False
Suppose 3648 = 4*v + 2*v. Let i = v + -261. Is i a prime number?
True
Suppose 2*v = -2*z - 0*v + 8, 0 = -4*v - 16. Suppose -5*x - 15 - 15 = 0. Is (212/x)/(z/(-12)) a composite number?
False
Suppose c - 3*l - 1 = 6, -4*l - 3 = -c. Is c prime?
True
Let k = 10 - 5. Suppose -k*s = -2*s. Is -2 - (s + 2 + -39) composite?
True
Let x(z) = 9*z + 1 - 2*z + 3*z. Is x(2) a composite number?
True
Suppose -n + 0*n = 2. Suppose -2*d = -b - 6, -d + 0*b + 4*b + 17 = 0. Let m = d - n. Is m a composite number?
False
Is 2635 - (8 + (-2)/(-3)*-6) prime?
False
Let l(t) = 4*t**3 + 8*t**2 - 10*t - 10. Is l(6) composite?
True
Let o = 9 - 4. Suppose o*v + 16 = 36. Is v/10 - 326/(-10) prime?
False
Let k be (1 + -2)*2 + -7. Let f = k - -16. Suppose -f*w + 3*w = -28. Is w prime?
True
Suppose 0*u + 5*u = 25. Suppose 3*j - 3*x = 441, 3*j - u*x = -0*j + 437. Is j composite?
False
Suppose -4*w + 2*j + 742 = -j, -544 = -3*w - 4*j. Let f = 281 - w. Is f a composite number?
False
Let c be 2 - (-1 - (4 - 2)). Suppose -2*j - 3086 = -c*t, 5*t - 3074 = j - 3*j. Suppose 5*n - t = -21. Is n prime?
False
Suppose 5*u = -w + 2, 2*w + 3*u = 5 - 15. Let h(c) = -18*c - 7. Let r be h(w). Suppose 3*b - m = 2*m + 165, -r = -3*b - 4*m. Is b a prime number?
False
Suppose 0*c - 3*c - 3*d + 15 = 0, -3*c + 4*d + 22 = 0. Suppose c*a - 2410 = 1256. Is a composite?
True
Suppose 4*d = -d + 330. Let r = -35 + d. Is r a prime number?
True
Let s = -52 + 88. Let x = -17 + s. Is x composite?
False
Let x(r) be the third derivative of -r**9/60480 - r**7/840 - r**6/120 - r**5/20 - 2*r**2. Let f(a) be the third derivative of x(a). Is f(-5) a composite number?
False
Let z(n) = 8*n**2 - n + 1. Let t = -9 - -7. Is z(t) a prime number?
False
Let d = 2 + 1. Suppose -d*m = -m. Suppose m = 3*x + x - 28. Is x a prime number?
True
Suppose -10 = -2*q - 2. Suppose -4 = i, q*a + 3*i - 122 = 198. Is a prime?
True
Let k be -1 + -1 + 4 + -4. Is (-543 - -2)/(k/2) a composite number?
False
Suppose 5*o - 4*o - 77 = 0. Is o a prime number?
False
Suppose 4*t - h - h = 2252, 5*h = 2*t - 1110. Is t prime?
False
Let z(h) = -h**3 + 16*h**2 + 4*h + 26. Is z(15) a prime number?
True
Let f(v) = -2*v - 9. Let p be f(-6). Let j(b) = 2*b**2 - 2*b**3 + p - 4*b**3 + 5*b**3 + 3*b. Is j(-2) a composite number?
False
Let n(b) = 97*b - 1. Let p be n(2). Suppose c = -0*c + p. Let o = c + -116. Is o prime?
False
Suppose 5*o = 2*o. Suppose 148 = -o*z + 4*z. Is z composite?
False
Let o(c) = 6*c + 2. Let w be o(-6). Let k = w - -13. Is (1 + 4)/((-3)/k) a composite number?
True
Suppose 164 = -5*q + 979. Is q a composite number?
False
Suppose -4*a + 4*u + 140 = 0, -5*a = 5*u - 23 - 112. Is a composite?
False
Suppose 2*r + 4 = -2*x, 5*r + 31 = x + 3. Suppose 13 = 2*z + x. Suppose -g = -5*c + 2*g + 400, -3*c + z*g + 224 = 0. Is c a prime number?
True
Suppose 2*d - 4135 = 5863. Is d composite?
False
Let u be 5/(-10) + (-294)/4. Let o = u - -237. Is o composite?
False
Suppose -v = -2 - 2. Let f = -73 - -148. Suppose v*j - f = j - 3*o, 3*j = -o + 75. Is j a prime number?
False
Let u(z) = 2*z - 5. Let g be u(5). Suppose 0 = -t - g*r + 53 + 45, 207 = 2*t - r. Suppose 35 = -2*m + t. Is m a composite number?
True
Suppose 0 = i - 4*b - 7117, 3*i - 4*b - 19162 = 2197. Is i a prime number?
True
Let v(j) = 11*j**2 - 21*j - 11. Let g(p) = -5*p**2 + 10*p + 5. Let o(x) = -13*g(x) - 6*v(x). Let w be o(-3). Is 2 + (2 - w) - -53 prime?
True
Let x = 11 - -1. Suppose 0*d - x = -3*d. Let n(r) = 3*r**2 - 3*r + 1. Is n(d) a prime number?
True
Let q(m) = 185*m**2 + 2*m - 2. Is q(-3) prime?
True
Suppose -2*a + 4*a = 658. Is a composite?
True
Is (-745)/(-2)*(-26)/(-13) prime?
False
Let j = 0 + -7. Let i be (-2)/7 - 233/j. Suppose -i = -4*z - 5. Is z prime?
True
Suppose 2*j - 1951 = 5*f, -3*j + 4*f + 1451 = -1472. Is j prime?
False
Suppose o = 3*o - 2338. Is o a composite number?
True
Let x(r) = r**2 - 8*r + 5. Let y be x(5). Is (14/y)/(3/(-15)) prime?
True
Let c = -1 + 1. Suppose 5*w - 7*w + 950 = 0. Suppose q + 4*q - w = c. Is q prime?
False
Let h(m) = m - 2. Let w be h(5). Let j(a) = 5*a**3 - 3*a**w - 3*a**2 - 14*a**3 - 3 - a - 3*a. Is j(-2) composite?
False
Let d = -5620 + 8253. Is d prime?
True
Let q(l) = -12*l + 5. Let u = -3 - -7. Let v be (3*1)/(u/(-8)). Is q(v) a composite number?
True
Let t(j) = 13*j + 6. Let l(a) = 13*a + 6. Let q(c) = 2*l(c) - 3*t(c). Is q(-5) a prime number?
True
Let f(s) be the first derivative of -s**5/120 + 341*s**4/24 - s**3/3 - 1. Let j(d) be the third derivative of f(d). Is j(0) a prime number?
False
Let x = -3 + 1. Let q = x - -4. Is q*(3 + -2) - -161 a prime number?
True
Suppose 3*g - 522 - 1932 = 0. Is g composite?
True
Suppose u = 88 + 55. Is u a prime number?
False
Let t(y) = -3*y**2 - 2*y + 1. Let g be 0 - (1 - -1 - 0). Let l be t(g). Is (-2)/l + (-244)/(-28) a prime number?
False
Let h = 8 - 6. Is (14/(-4))/((-1)/h) prime?
True
Let f = 2 - 4. Is 411/f*44/(-33) prime?
False
Is (-5)/30 + 2587/6 prime?
True
Is ((-3274)/(-4))/(-2*3/(-12)) a prime number?
True
Suppose -8*c + 3666 = -2358. Is c a prime number?
False
Let l(p) = -7*p**3 + 4*p**2 + 3*p - 13. Is l(-10) prime?
False
Let i(r) = r**2 - 2*r. Let c be i(7). Suppose 4*b + c = 91. Is b a prime number?
False
Is (-4565)/(-11) + 1*4 composite?
False
Let k be (3516/(-30))/((-2)/10). Suppose k = 5*a - 3*a. Is a a composite number?
False
Suppose -i + 0*i = 4. Let q(t) = -24*t - 1. Let w be q(i). Let j = 162 - w. Is j a composite number?
False
Let n = 289 - -118. Is n a composite number?
True
Is 708/(-18)*3/(-2) composite?
False
Let q(c) = 541*c**3 - c**2 + 3*c - 2. Is q(1) prime?
True
Suppose 