t s = 62297 + -16012. Is s a prime number?
False
Let n be ((-2)/3)/((-18)/57699). Suppose n = 3*p - 530. Is p a prime number?
False
Suppose 2*w + 34 = 3*w. Suppose -3*b = -1 + w. Let d(j) = -18*j - 19. Is d(b) composite?
False
Suppose 8*l + 15171 = 50267. Is l a prime number?
False
Let h(k) be the second derivative of k**5/6 + k**4/4 + k**3/2 - 2*k**2 - 4*k. Let a(i) be the first derivative of h(i). Is a(-4) composite?
False
Suppose 0*h = 3*r + 5*h + 25, 4*r = h + 5. Let p = 724 - 123. Suppose -3*n + n - z + p = r, 0 = -n + 4*z + 305. Is n prime?
False
Let c = 11561 - 2964. Is c a composite number?
False
Let i(r) = 4569*r**2. Let n be i(1). Suppose -2*y - y + n = 0. Is y a composite number?
False
Suppose -4*z + 13 = 93. Let n be z/30 + (-8)/(-3). Suppose -n*v - 56 = -414. Is v composite?
False
Let y(m) = 48*m**3 - 8*m**2 + 21*m - 22. Is y(9) a composite number?
False
Suppose 3*c + 15 = 0, -2500 + 106 = -2*a + 4*c. Is a composite?
False
Suppose 5*z + 0*f = 5*f - 30, 2*z - 12 = -4*f. Is (-6)/z + (22 - -54) a prime number?
True
Suppose 0*k - 2*b - 14391 = -5*k, 4*k - b - 11514 = 0. Is k composite?
False
Suppose -c + 3*c = -3136. Let s = 3465 + c. Is s composite?
True
Is (-254)/4*-2*(-57)/(-3) a prime number?
False
Suppose -4*m + 4 = -2*w + w, -4*m = 3*w + 12. Suppose d = 2*c - 4449, -2002 = -3*c - 5*d + 4678. Suppose m*b + c = 5*b. Is b a composite number?
True
Let v(t) be the second derivative of 19*t**3/2 + 7*t**2/2 - 4*t. Let d be v(-5). Let s = -136 - d. Is s composite?
True
Let n be 58 + 0 - (8 - 6). Let i be ((-36)/(-42))/((-1)/n). Is ((-32)/i)/((-2)/(-249)) a prime number?
True
Is 14 + -12 + 7061 + 6 a composite number?
False
Let s(f) = -3*f - 32. Let r be s(-8). Let d(w) = 4*w**3 - w**2 + w + 4. Let y(h) = 5*h**3 - h**2 + 3. Let i(n) = 6*d(n) - 5*y(n). Is i(r) a prime number?
True
Let w(b) = 2*b - 12. Let c be w(5). Is (c + (-2532)/4)/(-1) a composite number?
True
Let c(x) = -10 + 7 + 141*x + 15*x. Let o be c(3). Suppose u = -2*u + o. Is u a composite number?
True
Let j be 2/(-4)*(-7 + 15). Let z be (-24)/(-20)*(j + -1). Is 356/z*6/(-4) composite?
False
Let s(i) = -4 + 5 - 451*i - 2 - 64*i. Let w(x) = -258*x - 1. Let k(t) = 3*s(t) - 5*w(t). Is k(-11) composite?
True
Suppose 0 = 8*h - 44016 - 56104. Is h prime?
False
Let i(s) = -187*s + 78. Is i(-29) a prime number?
True
Let t(i) = -i**2 + 7*i - 2. Let w(z) = z**2 - z - 2. Let a(s) = 5*s**2 - 6*s - 11. Let v(q) = 2*a(q) - 11*w(q). Let j(l) = -t(l) - v(l). Is j(6) composite?
True
Suppose 3*f - 977 - 280 = 0. Let s = -280 + f. Is s composite?
False
Suppose -2*m + 8 = -3*g + 7*g, 0 = -4*g + 4*m + 8. Is ((-16436)/(-10))/7 - g/(-10) composite?
True
Let n be 15/20 - (-51)/12. Suppose -5*q + 55 = n*k, -q + 5*k + 12 = -11. Is q a prime number?
True
Is -10 + 11 + 9*84*6 composite?
True
Suppose 222*g = 221*g + 15321. Is g a prime number?
False
Let l(h) = 5184*h**2 - 8*h - 13. Is l(-1) a composite number?
False
Suppose -9 = -2*o - o. Suppose x = -5*f - 11, -4*x + 13 = -o*f + 4*f. Suppose i - 30 - x = 0. Is i prime?
False
Suppose 0 = 8*i - 4*i + 4*q - 3012, -3*q = i - 753. Is i prime?
False
Let m(b) = b**3 - 2*b**2 - 5*b - 16. Let c be m(-5). Let v = 329 + c. Is v a prime number?
True
Suppose 468 = 3*b - 912. Suppose y - 4*t - 211 = b, -3*y = 2*t - 2041. Is y prime?
False
Suppose r = -4*a + 310, -2*a - 100 = r - 400. Suppose -x + 2*f = -r + 35, 5*x - 3*f - 1303 = 0. Is x composite?
False
Let y(a) = 662*a + 4. Let p be y(-3). Is (-3 - 0)/(6/p) a composite number?
False
Let x be (-10)/(-65) + (-93)/13. Let n(a) = 5*a**2 + 5*a - 7. Is n(x) composite?
True
Is (-1)/(72864/72866 + -25 + 24) composite?
False
Let t(h) = h**2 - 3*h - 7. Let d be t(-2). Suppose -l - 2*v = -4*l + 7, 5*l - 2*v - 13 = 0. Is 157*((-6)/l + d) a composite number?
False
Let u be ((-4)/8)/((-2)/80). Suppose 2344 = u*k - 16*k. Is k a composite number?
True
Is 19824 + ((18*-2)/4 - -6) prime?
False
Let h(s) = 1215*s**3 - 3*s**2 + s - 2. Let d be h(2). Let b = -4237 + d. Is b composite?
False
Let n = 116 + 339. Suppose 2*v - 9*v = -n. Is v composite?
True
Let o(d) = 4*d**3 + 4*d - 3. Let m be o(1). Suppose -m*z = -7*z + 178. Is z prime?
True
Let l be 3*-4*(-3)/6. Suppose -1 = -p, 0 = 5*z - 3*p - 6 - l. Suppose z*h - 33 - 30 = 0. Is h prime?
False
Let o = -9688 + 58571. Is o prime?
True
Is (-2 - (-3)/3)*(51 + -11420) a prime number?
True
Let l(n) be the first derivative of 5*n + 6*n**2 + 2/3*n**3 + 6. Is l(-12) composite?
False
Suppose -5*p - 3644 = w, -4*p + 0*w + 5*w - 2921 = 0. Let r = -332 - p. Is r a composite number?
False
Suppose -4*t + 8*t - 1376 = 0. Suppose v = 92 + 109. Let r = t - v. Is r a composite number?
True
Let u = 659 + -450. Let o = u - -324. Is o a composite number?
True
Suppose 11*h - 904 = 9*h. Let q = h - -39. Is q a prime number?
True
Let f = 0 - -2. Suppose -11283 + 1183 = -2*a + 2*g, -3*a = -f*g - 15151. Is a composite?
False
Let h = 617 - 220. Is h prime?
True
Suppose 7*l - 9 + 2 = 0. Is 26*(-156)/(-32) + l/4 a prime number?
True
Let d be -3 + 4 - 4 - -13. Suppose 0*h - d = -2*h. Suppose -122 = -a - 5*c, -2*a - a - h*c = -376. Is a composite?
False
Let d be (-1)/(-3) + (-340)/(-6). Suppose -10*p + 29*p - 2185 = 0. Let s = p - d. Is s prime?
False
Let b(m) = -51*m + 1. Suppose -4*t - 5*j - 8 = 0, -4*j + 8 = -4*t - 8*j. Let f be t/(-2 - (-10)/4). Is b(f) composite?
True
Suppose -2*c - 56 = -9*c. Suppose -2*h - 20 = -4*r - c, -16 = 2*h - 5*r. Let u(o) = 105*o + 1. Is u(h) prime?
True
Let r = 10162 + 99. Is r a prime number?
False
Let a(o) be the first derivative of 2*o**3 + 7*o**2/2 - 6*o + 7. Let q be (-10)/4*4/(-2). Is a(q) composite?
False
Suppose 4*h = -3*g + 3528, -g + h = -2*h - 1189. Let x = g - 689. Is x prime?
True
Let f(v) = -510*v - 167. Is f(-19) a composite number?
True
Is 15410311/532 + (1/4)/1 composite?
True
Suppose 5*x = -5*d + 1715, 0 = -3*x + 96*d - 100*d + 1031. Is x a composite number?
True
Suppose 0 = -4*j - 5*u + 3*u, 4*j = -3*u + 4. Is -1366*j/(2 - (-3 + 3)) a prime number?
False
Suppose 0 = -3*n + 1053 - 126. Suppose 0 = -3*x - n - 180. Is x/(-3 + (-1 - -3)) a composite number?
False
Suppose 14*m - 24*m + 8650 = 0. Is m a composite number?
True
Suppose 0*z = -2*z, v - 5*z = -1. Let w be 2/(1144/573 - 2). Is (1/v)/(3/w) a composite number?
False
Let c(m) = -68158*m + 227. Is c(-3) a composite number?
True
Is (1978 - 0/8) + 7 composite?
True
Let l be 5/(-2 - 0 - -3). Let d(s) = -s**3 + 7*s**2 - 2*s - 6. Let z(f) = f**3 - f - 1. Let o(b) = -d(b) + z(b). Is o(l) prime?
False
Let l be (-81)/(-15) - (8/(-5) - -2). Suppose 2*t - 1092 = -l*u, 3*u = 2*t + u - 1078. Is t a composite number?
False
Is (-53)/2*(54 - 328) composite?
True
Let s(v) = 614*v - 1. Let g be s(1). Let i = 904 - g. Is i a composite number?
True
Suppose k + 4*m = -m + 28, 0 = -4*k + 2*m + 222. Is k prime?
True
Suppose -r - 2*z + 2751 = 0, z - 13741 = -5*r - 2*z. Is r prime?
False
Suppose -3*c + 67915 = -2*z, 3*c + 20*z = 23*z + 67917. Is c prime?
True
Let k(m) = 148*m - 8. Let n be k(7). Suppose 4*v + 2*i + i = n, 1254 = 5*v - 4*i. Let b = -127 + v. Is b a prime number?
True
Suppose k - 78 = -4*c - 194, 5*k + c + 580 = 0. Let n be 1514/(-22) - (53/(-11) - -5). Let z = n - k. Is z composite?
False
Suppose 4*l + l = -p + 8031, 2*l = -2*p + 3206. Suppose 0 = i + 5, -3*i + 244 = -4*v + l. Is v a composite number?
False
Let w = -17772 + 25055. Is w a prime number?
True
Suppose 9*j = -11*j + 85160. Is j composite?
True
Let l(d) = 1761*d + 13. Is l(4) a composite number?
False
Let v(q) = -2*q**3 + 6*q**2 + 8*q - 19. Is v(-6) a prime number?
False
Let z = 52668 + -30479. Is z prime?
True
Let n(y) = -2*y**2 + y + 1. Let t be n(2). Let l(m) = -4*m**2 - 2*m**2 + m**3 - 3*m**3 + 5*m + 5 - 1. Is l(t) a prime number?
True
Let b be 447/(-6) - 24/(-16). Let w = b + 106. Is w a composite number?
True
Let g be ((-3)/2)/((-6)/12). Suppose 5*o - g*w = 4*o - 13, -2*o + 24 = 4*w. Suppose 0 = 2*c + 1 + 3, 2*r - o*c = 386. Is r prime?
True
Let p be (-8*1)/((-3)/9). Suppose -4*l = -p + 4. Suppose -l*c = x - 18, -x = -5*c + x + 9. Is c a prime number?
True
Let u be 4*(-1 + (1 - -1)). Suppose 97 = -u*x + 1245. Is x prime?
False
Let q(x) = -63*x + 7. Let a(h) = h**3 + 20*h**2 - 20*h + 19. Let t be a(-21). Is q(t) composite?
True
Suppose 0 = -4*o - 29 - 