rime?
False
Let h be (16/56)/(1/7). Suppose 0 = h*j - 8*j + 1146. Is j a composite number?
False
Is 1*(-10)/((-30)/22629) prime?
False
Suppose -o + 5260 = 4*o. Suppose -4*v + o = -96. Is v a prime number?
False
Let f be (-6 - -4) + (6 - 1). Suppose -s = f*s - 432. Suppose -3*x + 66 = -s. Is x prime?
False
Let f be 11 - (-6)/4*(-10)/15. Let u(t) = 27*t - 17. Is u(f) composite?
True
Let v = -14854 + 25413. Is v composite?
False
Let c be 7 + (-12)/((-8)/(-2)). Suppose -3*u = 3*m - u - 253, c*m - 342 = -5*u. Is m a prime number?
True
Suppose -130*g = -127*g - 45267. Is g a composite number?
True
Suppose -29304 = -3*m + m + 2*f, -5*m = 2*f - 73295. Is m a composite number?
False
Let t(r) = 27*r**3 - r + 2. Let i be t(1). Suppose -3*w + 73 = i. Let g = w + 8. Is g composite?
False
Let i(b) = -370*b**3 - 2*b**2 - 3*b + 2. Let j(p) = 741*p**3 + 3*p**2 + 5*p - 3. Let k(w) = 5*i(w) + 3*j(w). Is k(1) composite?
False
Let m = 2 - -1. Let c(z) = -z**2 + 7*z + 15. Let w be c(7). Is (-1158)/(-15) - m/w a composite number?
True
Let j be 2 - 6 - (3 - -2). Let q(b) = 8*b**2 - 22*b - 29. Let w(t) = -12*t**2 + 33*t + 43. Let s(p) = -7*q(p) - 5*w(p). Is s(j) a prime number?
False
Suppose 0*u - y + 15 = -4*u, 21 = -4*u - 5*y. Let c = 6 + u. Is ((-60)/(-8) + c)*2 prime?
True
Let v be (20*5/10)/((-4)/122). Let p = -475 - -281. Let b = p - v. Is b a composite number?
True
Is -176230*(-24)/90 - (-5)/(-3) composite?
False
Let y be (-8)/12*(-453)/(-1). Let a = y - -526. Suppose a = 2*t - 250. Is t a composite number?
True
Let i be -2 - (-85*1 - -3). Let r be i/12 + 4/(-6). Suppose 0 = -g - 0*g + r. Is g a composite number?
True
Suppose 3*l - 20 = 5*f + 4*l, -2*f - 1 = -l. Let g(t) = -23*t - 1. Let p be g(f). Is p - (0 + -2 + 1) a composite number?
True
Let k(s) = 2*s - 1. Let a be k(3). Let p be (7 - 12)*6/a. Is (-18)/(-12)*(-188)/p a composite number?
False
Let g(l) = 4*l**2 + 10*l - 16. Let d(f) = -2*f**2 - 18*f - 11. Let z be d(-8). Is g(z) composite?
True
Let u = 43 - 39. Suppose -5*q = u*o - 789, o - 5*q - 9 - 157 = 0. Is o prime?
True
Let c = -7446 - -13417. Is 1 + -1 + c - 0/(-3) prime?
False
Let j be (-20)/(27/6*5/45). Is (-60)/j*8948/6 prime?
True
Let k = 4 - 2. Let v be (-1)/k + (-298)/(-4). Is v + 4*3/4 a composite number?
True
Let q(d) be the third derivative of d**4/6 + 443*d**3/6 - 4*d**2. Is q(0) composite?
False
Let s(c) = -2255*c - 186. Is s(-17) a composite number?
False
Let y be (-10)/40 - 7289/(-4). Suppose -4*u - 191 = -i - y, 0 = 5*u + 4*i - 2023. Is u a composite number?
True
Let t be ((-45)/10)/(6/(-8)). Let r be t/18 + (-2698)/(-6). Suppose 0*v + r = 3*v + i, 2*v + i = 301. Is v composite?
False
Suppose n + l = -0*l + 14, 0 = n - 3*l + 2. Suppose -r + 5*b = -9 - 0, n = -2*r - 4*b. Let w(a) = -18*a + 1. Is w(r) prime?
True
Let b(a) = -15*a**2 + 7*a + 15. Let z(c) = -c**3 - c**2 - c + 1. Let o(m) = -b(m) + z(m). Let f(h) = 12*h**2 + 1. Let u be f(1). Is o(u) composite?
True
Let w = 44 + -90. Let l = 530 + w. Suppose 0 = 4*z - 8*z + l. Is z composite?
True
Suppose 17*b = 75477 - 28574. Is b a composite number?
True
Suppose 89390 = 9*h + 5*h. Is h a composite number?
True
Let s = 5641 + -2304. Is s prime?
False
Is ((-4)/10)/(-7*18/6059655) a prime number?
True
Let l = 336 + 178. Suppose -160 = -h - 4*s - 0*s, 0 = -3*h + 5*s + l. Is (h/60)/((-2)/(-1315)) composite?
True
Suppose 4*k + 746 = -0*j - 2*j, 3*k + 4*j = -567. Let v = k - -324. Is v a prime number?
True
Let j(x) = -5*x - 3. Let s(k) = -k**3 - k**2 - k - 1. Let t(c) = -j(c) + s(c). Let r be t(-3). Is r/(-12)*(-1266)/4 prime?
True
Let v = -333 - -640. Is v a prime number?
True
Suppose 0 = 4*h, -3*d + 2*h - 684 = -5*d. Let o = d + -185. Is o a prime number?
True
Let w(m) = 103*m**2 - 8*m + 64. Is w(5) a composite number?
True
Suppose -2*b + 8094 = 4*b. Let t = b - 646. Is t a composite number?
True
Suppose -3*h + 21 = 2*l, h - 11 = -3*l + 3. Is -5*l*(-830)/30 prime?
False
Let t = -13 - -12. Let l be 2/(4/2) + t. Suppose l = -0*n - n + 161. Is n a composite number?
True
Let n(q) = 3*q**3 + 3*q**2 - 10*q + 5. Is n(21) prime?
True
Suppose 17*x - 19*x + 1402 = 0. Is x a composite number?
False
Let m(x) = x**2 - 15*x - 35. Is m(-40) a prime number?
False
Let j(m) = 15*m - 4. Let u(l) = 16*l - 3. Let p(a) = 6*j(a) - 7*u(a). Is p(-10) a prime number?
False
Is ((-1309298)/(-138))/(2/6) composite?
False
Suppose 15639 = 2*g - 42*r + 43*r, -2*g = -r - 15629. Is g composite?
False
Let x = 5151 - -8966. Is x composite?
True
Let n be 3/2*(2 - 4). Suppose -x = 4*w + 11, 2*w - 2 + 9 = x. Is 49 + x + (-4 - n) a prime number?
False
Let s(h) be the second derivative of 23*h**7/2520 + h**6/720 - 7*h**5/120 - h**4 + h. Let q(p) be the third derivative of s(p). Is q(3) a composite number?
True
Let r be (1 - 2)/(3/6). Let y = -7 - -6. Is y/r*74 + 0 a composite number?
False
Is ((-2)/(-6))/((-4)/(-92604)) a composite number?
False
Let b(m) = 4*m**2 + m + 1. Suppose -3 = -0*x + 3*x. Let y be b(x). Suppose 5*v = 4*w + 171, -4*w = 2*v - 78 + y. Is v composite?
True
Suppose 2*o - 26844 = 4118. Is o a composite number?
True
Suppose -27*r - 1973 = -11126. Is r a prime number?
False
Let u(y) = y**2 - 12. Let l be u(-5). Suppose o + l = 2*w - 0, -o = -3*w + 19. Is (-1)/3 + 416/w a prime number?
False
Suppose 73 - 8 = 5*q. Suppose 0 = -t + 4*o + 23, -2*t - q = -t + 5*o. Is (-2)/t + (-1584)/(-7) a prime number?
False
Let c(m) = 2*m**3 + 62*m**2 + 56*m - 31. Is c(-29) a composite number?
False
Suppose -3*y + 534 = 3*y. Let g = -36 + y. Is g composite?
False
Let t = -86 + 84. Let w(d) = -52*d + 1. Let l(c) = -53*c + 1. Let a(p) = -5*l(p) + 6*w(p). Is a(t) composite?
True
Let k(w) = 4*w**3 - 15*w**2 + 10*w + 16. Is k(11) a composite number?
True
Let k(w) be the second derivative of 20*w**4/3 + w**3/6 + 3*w**2/2 - w. Let c = 162 + -164. Is k(c) composite?
True
Let j be 7*((-24)/28)/(-3). Suppose j*c - 527 = 2*z - 3495, 5*z + 3*c - 7396 = 0. Is z a composite number?
False
Let a(x) = 60*x**3 + 3*x**2 - 3*x + 1. Let t be 16/20*(-10)/(-4). Is a(t) prime?
True
Let z(h) = -22*h**3 - 7*h. Let v(y) = -y**2 + 6*y + 4. Let l be v(5). Let i be z(l). Is (-1)/4 + i/(-36) a composite number?
True
Suppose 0 = 5*y - y - 732. Suppose 0 = 2*c - 43 - 11. Is (-6)/(-27) + y/c a composite number?
False
Is 131/(-262)*(-80463 + 1) a composite number?
False
Is (1479/(-87))/((-1)/31) composite?
True
Suppose -4*y = -y - 12. Let g(k) = 39*k**3 - 5*k**2 + 2*k + 11. Is g(y) prime?
False
Let j = 6712 - 1197. Is j a prime number?
False
Let v = -107 + 109. Is (-1388)/v*(-1 - 9/2) a composite number?
True
Let m = -1 - 14. Let z = m - -20. Suppose -3*j = -p - 3*p + 680, -5*j = z*p - 815. Is p prime?
True
Is 14588/3 - 20/12 composite?
False
Let v(d) = 98*d + 12. Let x be v(18). Suppose -z - 2659 = -3*t + 3*z, z + x = 2*t. Is t a prime number?
False
Let z(l) = -l**2 + 6*l - 2. Let s be z(5). Suppose 1030 = s*y + 2*w, y + w = 230 + 112. Is y a prime number?
False
Let m(x) = -x**2 + 17*x - 25. Let y be m(15). Suppose 3*g = 2*g - 25. Is (-340)/g - (-2)/y prime?
False
Let p be 4*15*(-3)/(-36). Suppose -7*b + 1074 = -p*b. Is b composite?
True
Is (-2386)/(-16)*-2*(-30 - -26) composite?
False
Let o(k) = -84*k + 29 + 149*k + 2*k**2 - 79*k. Is o(-20) composite?
False
Let y(w) = -1412*w**3 + 4*w**2 + 4*w - 1. Is y(-3) a prime number?
False
Let l be (-16)/2*(1 - (-76)/8). Is l/(-140) + (-33584)/(-10) prime?
True
Let c(y) = -2*y + 18. Let z be c(8). Suppose 3*u = 2*j + 5*u - 634, z*j - 634 = -5*u. Is j a composite number?
False
Let y = -41056 - -60885. Is y prime?
False
Let h = 2340 + 163. Is h composite?
False
Let d(c) = 3*c**2 - 2*c + 33. Is d(16) a prime number?
True
Suppose -5232 = -8*j + 4*j. Let v = j - 695. Is v a composite number?
False
Let k = 72 - 15. Let b = k - 175. Let c = b - -231. Is c a prime number?
True
Suppose -5 = -5*u + 5*r, 2*u - 5 = -3*r + 2. Suppose 1075 = 3*f - 4*o, u*o - 2 = -10. Is f a prime number?
True
Let r be (-1)/3 - 10/6. Let z be 2/(r + 2 + 2). Let p = z - -108. Is p a composite number?
False
Suppose -98*p - 322173 = -107*p. Is p a composite number?
False
Suppose 0 = -3*p + 4*p - 10. Let c be 9/6 - p/(-4). Suppose -c*k - 5*g + g + 60 = 0, -4*g - 16 = 0. Is k prime?
True
Suppose 0 = -2*k + 8, 4*c - 2*k = -c - 3. Is (-2 + 1)/(c/(-83)) a prime n