 a prime number?
False
Suppose -3*f + 420 = -798. Let m = f - 269. Let v = m + 76. Is v a composite number?
True
Suppose 3*t + 4*o - 21 = 7, 3*o - 12 = 0. Suppose 2*g + h = -0*h + 1314, -h = -t. Is g prime?
False
Let z(t) = -40*t - 25. Let a = -92 - -78. Is z(a) prime?
False
Let j be 4/(-26) - (-31438)/26. Is (1 - (2 - 3)) + j a composite number?
True
Suppose -3*h + 1001 = -r + 6*r, 0 = -5*r + h + 1013. Let d = r - 28. Let m = 45 + d. Is m composite?
True
Let a(h) be the second derivative of -h**5/20 + h**4 + h**3/3 - 8*h**2 - 173*h. Let d = 21 + -10. Is a(d) a composite number?
False
Suppose 254 + 365 = h - 4*n, -2494 = -4*h - 2*n. Is h composite?
True
Let w = 41311 + -28062. Is w composite?
False
Let n = 8 + -2. Suppose 11*u = 13*u. Suppose 2*o + u*h = -h + 100, 0 = 3*h - n. Is o prime?
False
Suppose 0 = -10*z + 78618 - 28448. Is z a composite number?
True
Let j = 240 - -5279. Is j prime?
True
Let m = 5 - 3. Is (3/(-3) - 1)/m*-667 prime?
False
Suppose -46*r - 72816 = -532034. Is r composite?
True
Suppose 0 = -4*u + z + 8404, -1464 = -4*u + 2*z + 6940. Is u prime?
False
Is 2709/4 - (-48)/(-192) composite?
False
Let p(k) = 31*k**2 + 9. Let c be p(-4). Suppose -3085 - c = -5*j. Let t = -167 + j. Is t a composite number?
True
Suppose -5*o + 6009 = -541. Suppose 4*c = 9*c - o. Suppose 5*p = 213 + c. Is p composite?
True
Let o be ((-9)/(-6))/(12/(-16)). Is 1/o*(-1082 - (2 - 2)) a prime number?
True
Let p = -161 - -11. Let y = p - -13. Let r = -48 - y. Is r a prime number?
True
Let o(z) = 10*z**2 - 55*z + 16. Is o(19) a composite number?
True
Suppose 16 = 3*p - 2*p. Suppose 12 = 4*q + r - p, q - r = 7. Is (0 - q)/((-9)/99) composite?
True
Let p = -899 + -161. Let q = p + 1937. Is q a prime number?
True
Suppose -18*q + 21*q - j - 14159 = 0, 0 = 2*q - 2*j - 9434. Is q a prime number?
True
Let d(f) = f**3 - 6*f**2 - 8*f - 9. Let s be d(7). Let z = 25 + s. Suppose -3*k = z, 0 = 3*c + k - 397 + 151. Is c a prime number?
True
Let d = -6 + 12. Suppose 0*k + d = 2*k. Suppose k*m - 52 = 215. Is m a composite number?
False
Let o = -108 - -112. Suppose 445 = o*a + 101. Is a a prime number?
False
Let l(i) = 22 + 4 + 9 - 4*i**2 + 21*i + 7*i**2. Is l(-14) prime?
False
Let u be (24/(-4))/(3/4). Is -2*u/12*471/4 prime?
True
Let h(s) = 405*s + 190. Let n(a) = -6 - 15*a + 3 + 3 - 7. Let i(j) = 2*h(j) + 55*n(j). Is i(-8) a prime number?
False
Suppose -3 = -0*o + 3*o. Is ((-11)/(-2))/(o/(-2)) composite?
False
Let s = 137 - -135. Suppose 2*t + s = 2026. Is t a composite number?
False
Let r be 3*(-3)/(-18)*0. Suppose r = 2*c + 3*t - 73 - 102, 2*c + 2*t - 174 = 0. Suppose -c = -j - 3*q, 183 = 2*j - 3*q + 47. Is j a prime number?
False
Let z = -4459 - -10580. Is z composite?
False
Let c be 6*(-6)/27*3. Is c + 582 + (-4 - -7) a prime number?
False
Let m(q) = -6*q**3 - q**2 - 7*q - 5. Is m(-4) prime?
False
Suppose 0 = -2*r + 6*r. Suppose -1057 = -4*p - 2*y + 2491, 3*p + 5*y = 2668. Suppose 2*l + r*b + b - p = 0, 3*b + 443 = l. Is l a composite number?
False
Suppose 3*s + 5*f = 4*s - 9308, 5*s + 5*f - 46450 = 0. Is s prime?
True
Is (-5716)/(-10) - 5/((-50)/(-6)) a composite number?
False
Let s = -115 - -184. Let c = 430 + s. Is c composite?
False
Suppose -4*a + 4*u = -4, 2*a + 5*u = a + 19. Suppose a*p = 3*i - 0*i + 2573, 3*p + 5*i - 1908 = 0. Is p composite?
False
Suppose 0 = -0*g - 3*g - 4*i + 52641, 3*g + 5*i = 52638. Is g prime?
True
Let h(z) = 5*z**2 + 20*z - 16. Let n be h(-11). Let t = n - 164. Is t a prime number?
False
Suppose -b + u + 2 = -5*b, 3*b + 4*u - 5 = 0. Let k(f) = -712*f**3 + 1. Is k(b) a composite number?
True
Suppose 0 = -34*v + 1321458 + 1518868. Is v prime?
False
Let a(v) = 15*v**3 + 7*v**2 - 12*v + 57. Is a(5) prime?
False
Suppose 5*v = 1264 + 236. Let c = -169 + v. Is c a composite number?
False
Suppose 2*t - 75 = -19. Suppose 0*j + t = 2*j. Suppose -j = -r + 17. Is r a composite number?
False
Let l be 7*(-108)/(1/((-44)/14)). Suppose -3154 = -4*j + 2*z, -4*j + 5*z + l = -j. Is j a composite number?
False
Suppose i + 4039 + 6704 = 5*z, -3*z + 6441 = -3*i. Is z a prime number?
False
Suppose -2293*i - 109767 = -2296*i. Is i a prime number?
False
Suppose j - 1282 = -5*b - 3648, b - j + 478 = 0. Is (b/(-9))/(-5*(-10)/975) a prime number?
False
Suppose 4*o + 40 = 2*s, 0 = 5*s + 4*o + 16 - 60. Suppose j - 66 - 7 = 0. Let f = s + j. Is f composite?
True
Is 4 + 3 - 3*-4597 a composite number?
True
Let i = 12 - 5. Let s(y) = -i + 63*y + 6 + 3. Is s(3) a composite number?
False
Let s = 2 + -7. Let w be (s - -4)/((-3)/597). Suppose -2*m = -t + w, -t - 2*t + 608 = 5*m. Is t a prime number?
False
Let r(c) = 579*c**2 + 23*c - 107. Is r(5) composite?
True
Let j(y) = 13 + 14*y**2 - 12 - 2*y + 24*y**2. Is j(3) prime?
True
Is (-5581 - 0)*((-42)/7)/6 a prime number?
True
Let f be (-2405)/((-2 - 0)/2). Suppose f = 6*z - z. Is z prime?
False
Let f = -17 + 18. Is -3 - (f/((-1)/3) - 2957) prime?
True
Suppose 2*m = 4*x - 2768, 2*x = -2*x - 4*m + 2792. Let d = x + 147. Suppose -3*k + d = 64. Is k a prime number?
False
Let a = -43 - -46. Suppose -110 = -2*x + 4*c, -4*x = -c - a*c - 228. Is x a composite number?
False
Let v = 7 + -3. Suppose k - 2799 = -v*q, 13 - 38 = 5*k. Is q a prime number?
True
Let d be 2 + (-6)/(-3) + -1. Suppose -d*k + 1 = -5, 2*k + 119 = j. Suppose 0 = h + 26 - j. Is h a composite number?
False
Let h(w) be the second derivative of -3*w**5/10 + w**4/6 - w**3/2 - 3*w**2/2 + 13*w. Is h(-2) a composite number?
False
Let s(u) = -3*u**3 - u**2 - 4*u - 1. Suppose 2*c - 80 = -4*n, 9*c - 20 = 4*c. Suppose -3*q - n = 3*q. Is s(q) a composite number?
False
Let z(x) = 53*x - 6. Let v be z(5). Suppose -32 = -q + v. Is q composite?
True
Suppose 5*x - 143205 = 5*u, -168580 + 54012 = -4*x + 5*u. Is x a prime number?
False
Let m(d) = -d**3 + 12*d**2 - d + 14. Let s be m(12). Is s/(-8) + (-274)/(-8) a composite number?
True
Let y(w) = -2*w**3 - 11*w**2 - 6*w + 3. Let k be y(-8). Suppose -145 = 2*c + 271. Let u = c + k. Is u a composite number?
False
Let n(x) = 14*x**2 - 15*x - 1. Is n(16) prime?
True
Let m be -1 - (-1 + (-1 - 3)). Suppose 59 = -3*z + m*z. Is z a composite number?
False
Suppose 5*n = -t - 2*t + 13945, -n + 2789 = t. Is n prime?
True
Let b(f) = -2*f**3 + 87*f**2 + 97*f - 9. Is b(37) a prime number?
True
Let s = -4 + 3. Let z(a) = -307*a. Is z(s) a prime number?
True
Let a = -1011 + 6514. Is a composite?
False
Let l(g) be the second derivative of -g**6/40 + g**5/30 + g**3 + 11*g**2/2 - 10*g. Let q(o) be the first derivative of l(o). Is q(-5) prime?
True
Suppose 3*s = -5*v - 0*s + 2656, -2*s - 539 = -v. Is v prime?
False
Let h(x) = -541*x - 51. Let g(c) = 135*c + 13. Let v(u) = -9*g(u) - 2*h(u). Is v(-8) composite?
False
Suppose 4*s - 555 = 537. Let d = 306 + s. Suppose -48 = 3*p - d. Is p prime?
False
Let s be (-2 - -1)/((-1)/4). Suppose s*d - 111 - 5 = 0. Suppose -2*h + 2*j + 82 = 0, -j = h + j - d. Is h a prime number?
True
Let a be (-1)/((6/9)/(68434/(-3))). Suppose 0 = -5*v + 4*i + a, -3*v = -2*v + 5*i - 6826. Is v composite?
False
Let s be 8/(-12) - (-4120)/6. Suppose 3*m = g - s, 0*g = 3*g + m - 2068. Is g a composite number?
True
Suppose -4*m = 359 - 7531. Is m prime?
False
Let t = -32 + 36. Suppose p = -t*p - 20, 0 = y - 4*p - 1056. Suppose 0 = -4*w + y - 292. Is w a composite number?
True
Let y(m) = -2*m + 2*m - 14 + 15 - m. Let i(p) = p**3 + 4*p**2 + 12*p - 4. Let z(r) = -i(r) - 6*y(r). Is z(-5) a prime number?
True
Suppose 0 = -8*q + 5*q - 207. Let z = q - -218. Is z a prime number?
True
Suppose -7939 = -3*x - s, -116*s + 120*s = 3*x - 7949. Is x prime?
True
Let r(b) = -3*b + 5903. Is r(0) prime?
True
Let c = -33269 - -59300. Is c prime?
False
Is -254*((4 - 3)*58)/(-4) a composite number?
True
Suppose 0 = -3*d - 2*o + 49839, o - 6*o = -d + 16613. Is d composite?
True
Let d(q) = q**2 + 2*q + 175. Let x be d(0). Let k = 2186 + x. Is k prime?
False
Let f = 830 + -126. Suppose -f = 3*g - 7*g. Is g - 3/(-1 + -2) a prime number?
False
Suppose -16*v - 21349 = -66453. Is v composite?
False
Suppose -10*a = -6*a - 12. Suppose 0*o + 4 = 3*o - 5*r, r = a*o + 4. Is 2/o - -510 - -2 a prime number?
False
Let n = 8246 + -5007. Is n a composite number?
True
Let t(l) = 447*l**3 - 6*l + 2. Is t(5) composite?
True
Suppose -3*g + 15 - 5 = -2*z, -3*z - 16 = -5*g