Let t be (-333 - -6)/((-2)/(-2)). Let x = 80 - t. Is x a composite number?
True
Let a be (-51)/3*1 + -1. Is (-9)/(-3)*(-222)/a prime?
True
Let v(n) = 4*n - 6. Let x(c) = -2*c - 7. Let k be x(-6). Is v(k) a prime number?
False
Suppose y = 4 - 1. Suppose 5*h - 20 = 0, -2*w = -y*h - 87 + 25. Is w prime?
True
Suppose -2*c + 7*c + 2*s = 0, 4*s = -4*c + 12. Let g = c + 5. Let r(t) = -t**3 + 5*t**2 - 2*t - 1. Is r(g) composite?
False
Suppose -5*l + 4*a = 2*a - 19, 4*l = 4*a + 8. Suppose l*k + 92 = -3*f + 343, 0 = 5*k + 10. Is f composite?
True
Let l = 4 + 1. Suppose -l*h - 25 = -200. Is h prime?
False
Let x = 126 - -7. Is x a composite number?
True
Let d be (-42)/(-8) + 5/(-20). Suppose -2*b - 1 = -d. Suppose -b*z = 2*z - 412. Is z a prime number?
True
Let j(y) = -y**3 + 18*y**2 - 14*y - 10. Is j(7) prime?
True
Is 2/(-5) + (-3074)/(-10) prime?
True
Let x(w) = w**2 - 5*w + 2. Let z(h) = 2*h - 3. Let r be z(4). Let c be x(r). Suppose -n + 68 = n + c*q, -n = -q - 40. Is n prime?
True
Let x(m) be the third derivative of -m**6/120 - 2*m**5/15 + m**4/4 + 2*m**3/3 + 2*m**2. Is x(-9) composite?
False
Let u(n) = -n**2 + n + 2. Let b be u(9). Let x = b - -101. Is x composite?
False
Suppose -1725 - 233 = -2*r. Is r prime?
False
Let k = 1446 - 391. Is k a composite number?
True
Let u(j) = -492*j**3 + 5*j**2 + 4*j - 10. Is u(-3) prime?
False
Let k(n) = 6*n + 0*n - 3 - 1 - 7. Let l be k(9). Suppose 5*m - 232 = l. Is m prime?
False
Let j(f) = f**2 + 2*f**2 - 4*f**2 - 3 - 16*f. Let g be (8/6)/((-8)/60). Is j(g) a composite number?
True
Let f(u) be the second derivative of 7*u**4/12 - u**3/3 + u**2 - 2*u. Let i be f(4). Suppose 3*p + 3*z = 60, 3*z - 12 + i = 4*p. Is p prime?
False
Let d be (3/(-2))/(18/(-24)). Suppose -o + 920 = -2*t, 0 = 3*o + d*t + t - 2733. Is 6/(-15) - o/(-10) composite?
True
Let w(i) = 32*i - 2. Let r be w(6). Let u = r + -123. Is u composite?
False
Let h(t) = t**3 + 6*t**2 + 9*t - 8. Let n be h(6). Suppose 0*q = -2*q + n. Is q prime?
True
Suppose -3*n + 103 = -2*x - 0*x, -4*n + 128 = -5*x. Is n composite?
False
Suppose 4*h + 2*j - 15 = -5, h = -2*j + 4. Suppose -h*w + 4*w + 89 = a, 0 = 3*w - 4*a + 146. Let t = w - -79. Is t a prime number?
True
Let r(k) = -3*k**3 + 4*k**2 + 8*k + 6. Let u be r(-5). Let s = u + -254. Suppose -3*f = -2*z - s, -216 = -4*f + z - 5*z. Is f a prime number?
True
Suppose 4525 + 1709 = 6*y. Is y prime?
True
Let t(q) = 14*q - 55*q - 89*q + 29*q. Is t(-3) composite?
True
Let c = -49 - -846. Is c composite?
False
Let v = 2 + -2. Suppose 689 = 5*t - 2*u, -5*t + t - 4*u + 540 = v. Let l = -84 + t. Is l a composite number?
False
Let n = 331 - 72. Is n a composite number?
True
Suppose -s = -3*k + 19, 4*s = -2*k + 3 + 5. Let y be (-4)/(-3)*k/4. Suppose 0 = -y*q + 8, -b + 0 + 1 = -3*q. Is b composite?
False
Let m = 4546 + -2189. Is m a prime number?
True
Let j(p) = -p - 6. Let m be j(0). Let u = m - 0. Let z = u - -13. Is z prime?
True
Let q = 1602 + -593. Is q a composite number?
False
Suppose 8*l - 3066 = 3070. Is l prime?
False
Let m(g) = -g. Let l be m(-2). Suppose 3*f - 5*o - 602 = 0, o + o - 428 = -l*f. Is f a prime number?
False
Let y(n) = n**2 - 2*n**2 + 0*n**2 + 6*n - 3. Let t be y(5). Is 19/(2 - (3 - t)) a composite number?
False
Let d = 298 + -5. Is d composite?
False
Let z(c) be the third derivative of 0*c**4 + 0*c + 1/2*c**3 + 0 + 1/30*c**5 + 3*c**2. Is z(-5) a composite number?
False
Suppose p + 20 = -28. Let z = p + 217. Is z prime?
False
Let b(m) be the second derivative of m + 0 - 1/2*m**2 + 9*m**3. Is b(1) a composite number?
False
Suppose -5*g + 4*k = -14283, -g - 4*k - 2847 = -2*g. Is g a prime number?
False
Suppose -z + 1 = -1. Suppose g = 3*c - 50 + 235, -3*c - 170 = z*g. Let k = c + 125. Is k prime?
False
Let a be (13/3)/(2/(-6)). Let b(r) be the third derivative of -r**4/8 + 7*r**3/3 - 6*r**2. Is b(a) prime?
True
Suppose a - 2*a = 0. Suppose 2*z - l = 15, a = -z + 4*l - 3. Let u = 5 + z. Is u composite?
True
Let m(k) be the second derivative of 1/2*k**4 - 2*k - 3/2*k**2 - 1/6*k**3 + 0. Is m(4) prime?
True
Let p(g) = g**2 - g + 3. Suppose -20 = -i - 5*u, 3*i + 0*u = -5*u + 10. Is p(i) prime?
False
Suppose 3*c - 5*k = 2*c + 256, 2*k = -3*c + 836. Is ((-9)/(-12))/(3/c) a composite number?
True
Let w = -631 + 1406. Suppose -5*f - 3*p = -775, w = 5*f - p + 2*p. Is f prime?
False
Let p(t) = -4*t - 2*t**2 + 0 + 5*t**2 + 4. Is p(3) a composite number?
False
Let m be -3 + 1 - (-21)/1. Suppose 0 = -z - 5*f - 3, 3*z - 4*f - m - 29 = 0. Is (-6)/(-9) + 1588/z composite?
True
Suppose 26 = 3*h + 62. Suppose -w - 12 = -4*w. Is (h - -2)/(w/(-10)) a composite number?
True
Let g(x) = -x**3 + 22*x**2 - 5*x + 23. Is g(18) prime?
True
Is 2 + (1 - (1 + -1397)) a prime number?
True
Let n = 8 - 9. Is (-1)/(n/(476/4)) a composite number?
True
Let a = -63 - -31. Let x be 2/7 - a/(-14). Is (105 + 1)/((-4)/x) a composite number?
False
Let n(q) = -16*q - 1. Let u be n(-1). Suppose 22 + u = l. Is l a composite number?
False
Suppose 5 = 4*l - 15. Suppose l*z - 3*z - 62 = 0. Is z a prime number?
True
Suppose -8*u + 16908 = 4*u. Is u a composite number?
False
Let o = 4 + -10. Is -1 - (3 + o - 51) prime?
True
Let v(y) = -7*y**2 + 4*y - 2. Let f be v(5). Let t = f + 224. Is t a composite number?
False
Let m be ((-1)/(-3))/(2/6). Let u be 6/2 - 0/m. Suppose g - 4*k + 62 = u*g, -11 = -g + 3*k. Is g a prime number?
True
Suppose -3*o + 5009 = 1748. Is o prime?
True
Let f be ((-65)/(-4))/((-6)/24). Let q = f + 100. Is q composite?
True
Let o = -7 - -3. Let i = -2 - o. Is (18 + -4)*1/i prime?
True
Let n be 2/3*(-1 - 5). Let r be (-3)/((-2)/(n/(-3))). Suppose -r*t = -30 - 8. Is t composite?
False
Let y be (-11)/4 - (-6)/(-24). Is (0 + (y - -2))*-115 a prime number?
False
Let q(k) = k**3 - 7*k**2 - 2*k + 7. Let o be q(7). Let c(a) = -a + 3. Is c(o) composite?
True
Suppose -5*n - 1 = 5*m - 36, -5*m = -5*n + 5. Suppose -l + 2*d = 8, -7 = -n*d + 13. Is l a prime number?
True
Suppose n + 2*q = 396, 1569 = 5*n - n + 5*q. Is n a composite number?
True
Let n be (-1 - 1)*(-892)/8. Is 4 + (-10 - -2) + n composite?
True
Let d = 54 + 147. Is d a composite number?
True
Let g(m) = -8*m + 5. Let b(h) = h**2. Let a be b(-1). Let v = a - 7. Is g(v) composite?
False
Is -1 - ((-16)/(-3))/((-1)/321) composite?
True
Suppose -629 = -4*v - t + 1371, v - 511 = -3*t. Is v a composite number?
False
Suppose l + 3*f = 4*l - 3, -2*l - 2*f - 2 = 0. Let k(c) = -c + 19. Is k(l) prime?
True
Suppose -2*o - 3*o + 2175 = 0. Is ((-8)/(-10))/(6/o) a prime number?
False
Is 6/27 + (70154/(-18))/(-7) prime?
True
Suppose 0*m + 20 = 5*m. Let s = m + -10. Is 28/s*12/(-8) a prime number?
True
Let z(f) = 13*f. Is z(5) prime?
False
Let k = 170 - -435. Suppose 4*a - k = 5*x - 0*x, -9 = -3*x. Is a prime?
False
Let q = -11 - -15. Suppose -g = -5*j + 20 + 10, -q*j - 2*g = -24. Is (-33)/9*j/(-2) composite?
False
Suppose -4*n - 21 = 75. Let b = -13 - n. Is b a prime number?
True
Let x be 6/(-21) + 60/14. Suppose -x*a = 5*i + 25, 9 = -3*a - 2*i - 1. Suppose -3*r + 4*r - 7 = a. Is r a prime number?
True
Suppose -5*s = -10*s + 1055. Is s composite?
False
Let i(m) = -175*m + 71. Is i(-14) composite?
False
Suppose -11*f + 8539 - 2874 = 0. Is f a composite number?
True
Let y(t) be the second derivative of -t**4/12 + 5*t**3/6 + 2*t**2 + t. Let o be y(5). Suppose 55 = o*k - 5. Is k composite?
True
Suppose -4*t - j + 32 = t, -2*j = -4*t + 34. Let h(p) = -p**3 + 6*p**2 + 8*p - 6. Let g be h(t). Is 41 - (g*-2 - 0) prime?
True
Let z = -170 + 76. Let l = z + 232. Let m = l + -89. Is m prime?
False
Suppose -n - 2*n + 3 = 0. Let l = n - 2. Let x(k) = -118*k**3 - 2*k - 1. Is x(l) a composite number?
True
Let d be 311 - (-5)/((-10)/(-4)). Suppose 15 = 5*n, -2*j = -6*j + n + d. Is j composite?
False
Let m(p) = 159*p**2 + p. Let k be m(-1). Suppose -120 = -4*f + 2*n, 4*n + k = 4*f + 30. Suppose 0 = -2*c - 0*c + f. Is c a composite number?
True
Is 0 + (-7)/((-14)/236) a prime number?
False
Let v = -277 - -864. Is v a composite number?
False
Suppose 5*l + 2*o - 6 = 0, 12 = l + 2*o + 2*o. Suppose 11*k - 6*k - 155 = l. Is k a prime number?
True
Let n = -268 + 561. Is n a composite number?
False
Let r be (-4 - (-1 - 0))/(-1). Suppose r*p - p = 70. Suppose -2*k - o + 34 = -5*o, 3*o = -4*k + p. Is k a composite number?
