ime?
True
Suppose 2 = 2*c, 5*d - 3*c + c - 13 = 0. Let o be 29/d + 3/9. Suppose o = -0*v + v. Is v composite?
True
Suppose 11*n - 7*n - 796 = 0. Is n a prime number?
True
Suppose 5*j = 2196 + 739. Is j a composite number?
False
Let b(a) = -2*a**2 + 4*a + 2. Let s be b(-9). Let f = s - -291. Is f prime?
False
Suppose 0*t - 4*t = 0. Suppose 344 = 3*x - t*x - 5*r, 225 = 2*x + r. Is x a composite number?
False
Suppose -5*j + 899 = 2*c, 0 = -2*c + c + 2*j + 472. Let n = 753 - c. Is n composite?
True
Suppose -4*p + 16 + 8 = 0. Suppose -p = m - 32. Let u = -12 + m. Is u composite?
True
Let f = 539 + -202. Is f a prime number?
True
Let u(j) = 675*j**2 - 3*j + 1. Is u(1) prime?
True
Let k(j) be the second derivative of 19*j**8/3360 - j**6/360 + j**5/120 + j**4/12 - j. Let m(z) be the third derivative of k(z). Is m(1) a composite number?
False
Let z be (1 + 2/(-6))*3. Suppose 4*m - 2*m + z = 0. Is m/(-1)*(0 - -55) prime?
False
Let z = 6 + -3. Is -1 + 0 - (-81 + z) a composite number?
True
Suppose -4*f + 543 = -1109. Is f a prime number?
False
Let u(y) = 3*y + 4. Let k be u(3). Suppose -3*t = -3*b + 237, -2*b = -5*t - k - 145. Is b prime?
True
Let r be (0 - (-9)/(-6))*14. Is (-487)/(-3) - 14/r prime?
True
Let w(r) = 4*r + r + 3 - 4*r**2 + 4 - 7*r**2. Let k(n) = -32*n**2 + 14*n + 20. Let j(b) = -6*k(b) + 17*w(b). Is j(2) composite?
True
Suppose r - 23 = 34. Let j = -35 + r. Is j a composite number?
True
Suppose -4 = -3*v + 11. Let q(i) = v*i**2 - 7 + 1 + 3. Is q(-4) a composite number?
True
Let c(p) = p**3 + 12*p**2 + 13*p + 7. Is c(-9) a composite number?
True
Suppose 3*r = -3*o + 9, 2*r - 5*o + 2 = 29. Is 13 + 3*2/r prime?
False
Let m(n) = -3*n + 8. Is m(-13) a prime number?
True
Let r(b) = 3*b**2 - 15*b + 10. Is r(12) a prime number?
False
Let b(w) = 7*w - 1. Is b(12) prime?
True
Let j(y) = 661*y**2 + 3*y - 2. Is j(1) composite?
True
Let g be (-2)/((-1)/10*-4). Is 118*((-45)/6)/g prime?
False
Suppose 0*p = 2*p - 8, -4*h - p = -636. Is h prime?
False
Let q = -3455 - -14788. Is q composite?
True
Let u(b) = -b - 4. Suppose -7*a - 40 = -2*a + 5*f, 0 = 4*f + 16. Let x be u(a). Suppose -2*h + 4*h + 5*n - 34 = x, -2*n + 36 = 4*h. Is h a prime number?
True
Suppose 10 = 4*j - 10. Suppose 2*g - 71 = 3*h - 178, j*g + 27 = h. Is h a composite number?
False
Let o = 5 + -2. Suppose -2 = q, -4*d + o*q = 22 - 4. Is -2*5/d*15 prime?
False
Suppose 0 = -2*a - 2*a + 16. Suppose 2*h = 0, 0*h + 245 = 5*m + a*h. Is m prime?
False
Suppose 0 = 4*h + 2*v - 30, -5*h - 6*v + 39 = -3*v. Let d be -3*(0 - -1) - 1. Is (142/h)/(d/(-12)) a composite number?
False
Let z be 0 + (-4)/(-1) + -2. Suppose -p = -z*g - 55, 0*p = 5*p - 5*g - 270. Is p composite?
False
Suppose 0 = -4*x + 3*s + 2219, 2*s - 198 = -x + 343. Is x a prime number?
False
Suppose 4*j + 2*z = 505 + 507, 0 = -3*j - 5*z + 759. Is j prime?
False
Let j(r) = 9*r**2 + 7*r - 3. Let k be j(-11). Let a = k + -386. Is a prime?
False
Let i be ((-15)/10)/(3/(-4)). Suppose -i*c - u = -7*c, -5*u = -4*c + 21. Is 12*((-9)/(-6) + c) a prime number?
False
Let r = 9 + -5. Suppose 0 = -r*h - 141 - 79. Let i = h - -93. Is i a composite number?
True
Let t(z) = z**2 + z. Suppose 5*u = 3*f - 19, 3*f - 14 = u + 3*u. Let k be t(f). Let g(w) = 5*w**2 + w + 1. Is g(k) a composite number?
False
Let x(d) = d**3 - 5*d**2 - d + 5. Let h be x(5). Suppose h = -2*p + v + 4*v + 149, 5*v = -5*p + 460. Is p composite?
True
Let v be (-4 - -6)*-2 - -6. Suppose -v*w + 2*t + 1498 = 0, 3*w - 2406 = -5*t - 159. Is w a composite number?
True
Let a(y) = 5*y**2 - 6*y - 72 + 72. Is a(7) prime?
False
Suppose -4*v + 3*q = q - 20, -22 = -4*v + 3*q. Suppose v*z + i - 199 = 0, -3*i = 5*z - z - 205. Is z a composite number?
True
Let w(m) = 37*m**2 - 10*m + 11. Is w(6) composite?
False
Let f be 2*3/6 - -61. Suppose -2*b = -c + 51, 3*b - f - 14 = -c. Let i = -30 + c. Is i prime?
True
Is 18/12*2356/6 a composite number?
True
Suppose -3*y = d + 3*d - 49, 3*y + 21 = 3*d. Let k = d - 7. Is (1/k)/(4/564) a prime number?
True
Suppose 125 = -2*l + 7*l. Suppose -3*v - 2*v = -l, 0 = q - 5*v + 110. Let x = 122 + q. Is x prime?
True
Let y(z) = z**2 + 5*z + 809. Is y(0) a composite number?
False
Suppose -633 = 6*p - 159. Let s = -44 - p. Is s a composite number?
True
Let d be -1*(-3)/(-6)*0. Let o(f) = 13*f**3 + 5*f**2 + 13*f + 76. Let i(v) = 3*v**3 + v**2 + 3*v + 19. Let l(k) = 9*i(k) - 2*o(k). Is l(d) a composite number?
False
Let t(h) = h**3 - 4*h**2 - 5*h - 7. Let j be t(5). Let c be (-2)/j + (-33)/(-7). Suppose c*l - 104 = -9. Is l composite?
False
Let l be ((-3)/(-5))/((-2)/10). Is (-110)/l - 2/(-6) a composite number?
False
Let c = 5 - 3. Let t(w) = 7*w**c - 5*w**2 + 10*w + 7 + 2*w**2. Is t(-6) composite?
True
Let r(b) be the first derivative of -1/2*b**2 + b + 2 + 5/3*b**3. Is r(2) prime?
True
Suppose -2*k - 3*v + 14 = -2*v, -3*k - 2*v + 22 = 0. Let b be ((-14)/4)/((-3)/k). Is (b + -2)*9/3 prime?
False
Suppose 0 = -i + 126 + 65. Is i prime?
True
Is ((-51)/(-9))/(1/57) composite?
True
Let y(u) = 37*u + 1. Let q be y(5). Let c = q - 95. Is c a composite number?
True
Let q = 11047 - 6020. Is q a composite number?
True
Suppose -2307 = -5*a + 2*a - 5*d, -5*a - 2*d + 3845 = 0. Is a prime?
True
Suppose 0 = 4*k - 3*t + 1992, 5*t = 3 + 17. Let f = k + 698. Is f a composite number?
True
Let v(z) = z**3 - 10*z**2 + 9*z - 3. Let c be v(10). Let n = c - 43. Suppose 4*y = 4*p + 76, -3*y + 2*p = -9 - n. Is y a composite number?
True
Let s be ((-4)/5)/(2/(-15)). Suppose 3*b - 5*b + s = 0. Suppose -201 = -0*n - b*n. Is n a composite number?
False
Let c(t) = -t + 11. Let v be c(6). Suppose -j + 3 = 0, 0*j = -v*z + 5*j. Suppose 22 + 1 = 3*h - 2*g, z*h - 24 = 3*g. Is h a composite number?
False
Suppose j + 0*j = 0. Suppose 5*c + 44 = 4*v - j*c, 3*v - 14 = -c. Suppose -4*g = -4*x - 92, -2*x - 2 = -v. Is g a prime number?
False
Let o = -3588 + 6059. Is o a prime number?
False
Suppose 0*n = -5*n - 135. Let s = n + 66. Suppose 0 = -6*l + 3*l + s. Is l a composite number?
False
Let j be ((-1)/(-3))/(1/(-9)). Let k(x) = -x**3 - 2*x. Is k(j) a composite number?
True
Let o(f) = f**3 - 12*f**2 + 8*f + 17. Is o(12) composite?
False
Suppose -982 = 2*u - 4*u. Is u a prime number?
True
Suppose o - 2*o + 107 = 0. Suppose 3*x = -5*w + o, 5*x = 2*w + 69 + 68. Suppose x = 5*l - 236. Is l prime?
True
Let d be (-6096)/(-27) - 4/(-18). Suppose s - 3*v = -0*s + 51, 4*s = v + d. Is s a composite number?
True
Suppose -n + 6*n + 22 = h, -16 = -2*h - 4*n. Suppose -5*z + 0*z + 33 = f, 2*f + h = 3*z. Suppose -5*x + 89 = -z. Is x a prime number?
True
Suppose -5*q = 2*l + 4, 4*l + 0*q - q = 14. Suppose -l*n + n - 12 = 0. Let i(m) = -m**3 - 5*m**2 - 6*m + 7. Is i(n) prime?
True
Suppose -4*n = 5*v - 674, -4*v = 2 - 10. Is n composite?
True
Suppose 2*q = -c + 5, 2*c = q + 7*c - 16. Let k be 3 - (q + 2 - 2). Let h = 5 + k. Is h a composite number?
False
Let b(h) = -38*h**3 + 6*h**2 + 3*h - 3. Is b(-4) prime?
False
Suppose -d - d = -6. Suppose d*c = 4*g - 4 - 1, 4*g + 2*c - 30 = 0. Suppose -3*y + 101 = -2*v, 0*v = -2*y + g*v + 49. Is y prime?
True
Let p(f) be the second derivative of -43*f**3/6 - f**2/2 - 2*f. Is p(-2) prime?
False
Let x(r) = 5*r - 1. Let l(f) = 14*f - 3. Let z(i) = -6*l(i) + 17*x(i). Let u be z(6). Suppose 3*p - u*p + 60 = 0. Is p a prime number?
False
Let g(c) = c**2 - 6*c + 4. Suppose 5*k = 5*y, -5*k - 6*y - 45 = -2*y. Is g(k) prime?
True
Let q = 41 - 6. Is q composite?
True
Suppose -d + 48 = 2*d. Is (0 - -2)*3608/d composite?
True
Suppose 2*x + 5*a - 35 = -0, 35 = 3*x + 4*a. Suppose 2*v - x*o - 47 = -0*v, -v + 4*o = -19. Is v composite?
False
Let r(q) = 2 - 1 - 5*q**2 - 9*q**3 + 0*q**3 + 3*q**3 - 3*q. Is r(-3) a prime number?
True
Let t(j) = j - 2. Suppose -20 = -3*k + 2*y, -12 = -3*k + 5*y + 11. Let s be (k/(-7))/(2/(-14)). Is t(s) a composite number?
True
Let p(g) = -10*g - 4. Let r(a) = -a. Let m(o) = -p(o) + 4*r(o). Is m(9) a prime number?
False
Suppose 2*n - 21 = 3*l + 2*l, -4*l = 5*n - 3. Suppose 0 = -m - m + g + 9, -5*m - n*g + 28 = 0. Let s(v) = 23*v + 4. Is s(m) composite?
True
Let f(j) = j**3 + j + 121. Let u(m) = m**3 + 8*m**2 - m - 8. Let l be u(-8). Let i be f(l). Suppose -4*o + 2*z = -202, 2*o = 4*o + 3*z - i. Is o composite?
False
Suppose -115 + 26 = -k. Is k composite?
False
Let c(p) = p**3 