
Suppose 0 = 4*j - 0*j + 4. Is j*(-3)/(-6)*-106 a prime number?
True
Let c be (-2 + (-20)/(-6))*-3. Let h be (-4)/(-2)*(-6)/c. Suppose 0 = 4*p - 4*l + 19 - 203, -h*p + 136 = -5*l. Is p prime?
True
Is ((-204)/8)/17*(-3028)/3 composite?
True
Suppose 2*p + 0*p - 3*z = 133, -5*p + 320 = -5*z. Is p a prime number?
True
Let f = 0 - -11. Let v = 2 + f. Is v a composite number?
False
Is 4/6 - 335/(-15) prime?
True
Suppose 0 = 5*t + 7 - 17. Suppose 0 = t*d - 5*b + 16, 0*d - 22 = -d - 5*b. Suppose 555 = d*z + z. Is z composite?
True
Let w(x) = -x**3 + 4*x**2 - 3*x - 3. Let l(m) = -2*m - 7. Let p be l(-5). Let t be w(p). Is ((-13)/2)/(t/6) a composite number?
False
Let k(s) = s**3 - s**2 - 4*s + 3. Suppose 20 = 2*j - 3*g, -3*j + 2*j - 3*g - 8 = 0. Let u be k(j). Is u + (-2 - (-7 - -3)) a composite number?
False
Let f be (-3)/(-2)*(-582)/(-9). Let m = -44 + f. Is m a prime number?
True
Let z(f) = f**3 - 7*f + 5. Suppose -35 = -11*j + 6*j. Is z(j) a prime number?
False
Let d be 4/6 - 23/3. Is d*(-2)/(3 - 2) composite?
True
Let y be (2/2 - 1) + -24. Suppose -2*c - c - 4*h = -2, 4*c - 10 = 2*h. Is ((-13)/c)/(6/y) a composite number?
True
Suppose -a - 24 = -245. Is a prime?
False
Suppose -2*s - 5*w = -3*s + 988, 5000 = 5*s - 5*w. Is s a composite number?
True
Let g(q) be the third derivative of q**5 + q**4/12 + q**3/6 - 15*q**2. Suppose -2*v + 3 = -3*t, 4*v + 0*v = 0. Is g(t) prime?
True
Let x(b) = 3*b**2 + 15*b + 4. Is x(-6) a composite number?
True
Let o = -404 - -1765. Is o prime?
True
Suppose -21949 = -4*t - 5993. Is t prime?
True
Let j = 20 - -5. Is j a composite number?
True
Let z(h) be the first derivative of 3*h**3 + h**2/2 + 4*h + 2. Let k be z(-5). Suppose 4*a = k + 252. Is a prime?
False
Let u = 711 - 402. Suppose -2*j + 6*s = s - u, 4*s = 4. Is j prime?
True
Let l(y) = -2*y + 21. Is l(-8) prime?
True
Let u be 2*2 - (-2 - -1). Suppose -f = -5*f - u*l - 10, 3*l = -4*f - 14. Is (-3 - f)/(4/130) a composite number?
True
Let k = 12 - 7. Suppose -7*w + 158 = -k*w. Is w a prime number?
True
Suppose 2*w = -y + 305, 0 - 5 = 5*w. Is y a prime number?
True
Let i(b) = 9 - 2 + 0*b**2 + 5*b**2 - b**2. Is i(7) composite?
True
Let i(d) = d**2 - 3*d - 6. Is i(8) composite?
True
Suppose 2*n - 153 = 13. Is n a composite number?
False
Let n = 11 - 6. Suppose 56 = n*x + 11. Let a(q) = -q**2 + 10*q + 10. Is a(x) a prime number?
True
Suppose -i + 5*s = -0*i - 181, 0 = -4*i - 5*s + 849. Is i prime?
False
Let y be (-1 + -1)*3/2. Is y*(1 + 194/(-3)) a composite number?
False
Let p = -645 + 914. Is p a prime number?
True
Let i = 944 - 371. Is i composite?
True
Let t = 23 - 19. Suppose t*p + 2*m = -3*m + 2238, m + 2783 = 5*p. Is p a prime number?
True
Is (5/2 + -4 + -1)*-178 a composite number?
True
Is -12 - -16 - (-201)/1 a prime number?
False
Let c(a) = -75*a - 25. Let l(y) = 25*y + 8. Let u(p) = -3*c(p) - 10*l(p). Is u(-4) prime?
False
Let v(h) = -1 - 6*h - 49*h - 3. Is v(-3) a prime number?
False
Let w = 222 - 13. Is w composite?
True
Suppose -5*m - 24 = -3*l - 0*m, -5*l + 3 = 4*m. Suppose 0 = l*q - 7*q + 348. Suppose -17 = 2*f - q. Is f composite?
True
Let d = 4 + -3. Let f be 0 + -1 - d - -26. Let i = f - -43. Is i prime?
True
Suppose -38 = -4*h + w + 74, -w + 77 = 3*h. Let b be (0 + h)*(-3)/(-9). Is (-2 + b/6)*-134 a composite number?
False
Let r = 28 - 15. Let x = 1 + 5. Let n = r - x. Is n a prime number?
True
Let x(z) = 48*z**2 - 2*z - 7. Let t be x(-6). Is t/5 - (-2)/5 a composite number?
False
Let p(a) = -a**3 - 7*a**2 - 2*a - 2. Let y be p(-7). Suppose -2*i = -i - y. Let q(j) = j**2 - 7*j - 7. Is q(i) prime?
True
Suppose v + 0*f - f = 208, -5*v + 1046 = -3*f. Is v composite?
False
Let q = -7 + 165. Suppose -4*g = -6*g + q. Is g prime?
True
Suppose 2*t - 4*l + 2*l = 4, -5*t + 22 = -l. Let g = -2 + t. Suppose m - 260 = -g*m. Is m composite?
True
Let f be (12/(-9))/((-1)/(-6)). Let m = f + 159. Let t = -84 + m. Is t a prime number?
True
Let y be 26/6 - (-6)/9. Suppose -t + m = 0, t - y*m - 1 + 21 = 0. Suppose -3*q = -6, 5*k + 0*q = t*q + 175. Is k composite?
False
Let n be (-111)/(-21) + (-4)/14. Suppose -15 = 2*h + 5*t, 3*h - 2*t - n = -4*t. Suppose -h*f = -101 - 4. Is f a prime number?
False
Suppose 0 = 2*j + 4*j - 1938. Is j a prime number?
False
Let i(z) = -z**3 - 7*z**2 + z + 4. Let g be i(-7). Let c = g + 2. Is (-216)/(-5) + c/5 prime?
True
Suppose -g + 3*w = -262, 186 = g + 4*w - 83. Suppose 2*p = 7*p - g. Is p prime?
True
Suppose -2*n + 10 = 2*n + 2*y, 2*n = 5*y + 11. Let r = n - 3. Suppose f + 0*f = -2*j + 51, 2*j = r. Is f prime?
False
Is (1671 - -7)*3/6 a prime number?
True
Let i(u) = -2*u**3 - 6 + 5*u**3 - 13*u + 6*u**2 - u**3. Let f be i(-9). Is f/(-9) - (-4)/(-6) a composite number?
True
Let x(p) = -p**3 + 2*p**2 + p + 1601. Is x(0) a prime number?
True
Let f = -5 + 7. Suppose -u - 4*u = -5*c - 3165, -1246 = -2*u - f*c. Is u/16 + (-2)/8 a composite number?
True
Let x be 2/(-7) - (-23)/7. Let j be 2 - 1/((-2)/(-4)). Suppose j = x*o + 2*o - 75. Is o a prime number?
False
Suppose 2*o - 23 = -3*o - 4*k, 0 = -4*o - 5*k + 22. Suppose o*r - 237 = -3*v, -4*v - 3*r = -78 - 233. Is v a prime number?
False
Let s = -4 + 3. Let x be s - -4 - 1/1. Suppose -z - 2*i + 3 = x, 0 = -z - 3*i. Is z a prime number?
True
Is 152 + -2*12/8 a composite number?
False
Let d = 99 + -8. Suppose x = 114 + d. Is x composite?
True
Let h be (-2)/(-1)*(-3)/2. Let f(x) = -12*x. Let v be f(3). Let s = h - v. Is s a composite number?
True
Suppose -2*q = -0*q - 12. Let j(m) = m**3 - 6*m**2 + 3*m - 3. Is j(q) a prime number?
False
Let y = -11 + 17. Is (2/y)/(4/1164) composite?
False
Let k(n) = -n**3 + 5*n**2 - 3*n + 5. Let s be k(4). Let r = -5 + s. Is (182/r)/((-2)/(-4)) a composite number?
True
Let z(q) be the second derivative of q**7/2520 + q**6/240 + q**5/24 - q**4/4 + 4*q. Let y(w) be the third derivative of z(w). Is y(-5) composite?
True
Suppose -p + 5*p = 3388. Let m = p - 450. Is m a prime number?
True
Let d(b) = -b**2 + 9*b + 4. Let o be d(7). Suppose -4*a = -a - o. Suppose -a = -4*z + 2*z. Is z a prime number?
True
Suppose -4*l + 2*l = -134. Is l prime?
True
Let l(n) = n**3 + 11*n - 13. Is l(9) a prime number?
False
Let p(c) = 2*c**2. Let x be p(-1). Let q be 59/x - 2/4. Let w = q + 36. Is w prime?
False
Let b(h) = h**3 + 5*h**2 + 2*h - 5. Let t be b(-4). Suppose 844 - 73 = t*o. Is o prime?
True
Let v = 776 - 418. Is v a prime number?
False
Suppose -s + 12 = s. Let h be (-4)/s*-3 - 0. Suppose 4*n - 672 + 34 = h*t, -2*n + 5*t = -339. Is n composite?
False
Suppose 0 = 16*z - 13*z - 102. Is z a composite number?
True
Suppose -2*h = 4*a + 4, -2*h - 8 = -h + 5*a. Suppose -h*f - d - 98 + 391 = 0, -4*d = -2*f + 318. Let n = f + -98. Is n a prime number?
False
Let q be 4/6 - 394/(-3). Suppose -2*o + q + 122 = 0. Is o a composite number?
False
Let h be (0/1)/1*1. Suppose 0*w + 5*w - 25 = h. Suppose w*s - 113 = 72. Is s a prime number?
True
Let k(m) = 37*m - 11. Is k(6) prime?
True
Suppose 4*b + w - 4469 = 0, 4*b - w - 3701 = 766. Is b a composite number?
False
Let p(r) = r**3 + 2*r**2 + 3. Let f be p(-3). Let j(n) = -n**3 + n**2 - 6*n - 1. Is j(f) a composite number?
True
Let f(o) = 5*o - 9. Is f(8) a prime number?
True
Suppose 3*l - m - 4179 = 4*m, -l = 4*m - 1393. Is l composite?
True
Let b(t) be the second derivative of -t**5/20 + 5*t**4/12 + t**3/3 - 3*t**2/2 - 2*t. Is b(4) a composite number?
True
Suppose 6*p - 322 = -o + p, -2*p + 2 = 0. Is o a prime number?
True
Let j = 12 - -3. Suppose 3*m - 32 = 7*m. Let u = j + m. Is u composite?
False
Suppose -4*s = -2*s - 526. Is s composite?
False
Let f(j) = -5*j - 2. Let v(g) = 6*g + 1. Let y(b) = -2*f(b) - 3*v(b). Let w be y(2). Is (-192)/w + (-1)/(-5) a composite number?
False
Let s = 19 - 11. Let i = 29 + s. Is i a composite number?
False
Let a(h) = 5*h**3 - 4*h**2 - 6. Let u(l) = -6*l**3 + 4*l**2 - l + 7. Let c(w) = 4*a(w) + 3*u(w). Suppose z - 20 = -4*z. Is c(z) prime?
False
Let b = -374 + 1041. Is b prime?
False
Suppose -4*w + 107 = 5*j, -5*j + 99 = 3*w - 5. Is j composite?
False
Let b(g) = -130*g**3 + 3*g**2 - g + 5. Is b(-3) prime?
False
Suppose -5*n = m - n + 10, 5*m - 3*n = 19. Suppose 4*h - m*h = 94. Is h a composite number?
False
Suppose -h = 2*h + 4*t - 2425, 0 = 3*h + 3*t - 2421. Is h composite?
True
Is 4612 - (-1)/((-1)/(