e -g = -6*q + q. Is 3504 - (1 - 2)/(q + -7) a prime number?
False
Suppose 3*d - 2*h - 2037115 = 0, -d = -h - 4*h - 679073. Is d a composite number?
False
Suppose 0 = -56*d + 6929794 + 12134566. Is d composite?
True
Suppose -3134 = -6*n + 4*p, -1573 = -7*n + 4*n + 5*p. Suppose 2*y + 17965 = 5*a, -a = 2*y - 3072 - n. Is a prime?
True
Let s be 4 - (-1)/(-4) - 2/(-8). Suppose -5*u - s = -7*u. Suppose -u*b + 0*b + 254 = 0. Is b a prime number?
True
Let t(s) = 2*s + 41. Let p be t(-18). Suppose -5*l - p*m + 5851 = -2*l, 3902 = 2*l + 3*m. Is l a composite number?
True
Is ((-8)/(-12))/(-9 + (8645266/480291)/2) a prime number?
True
Suppose 33349227 = 239*w + 2511296. Is w a composite number?
True
Let o(r) = 5*r**2 - 10*r + 13. Let a be o(24). Let h = 4596 - a. Is h a composite number?
True
Let l be -4*(2/5 + (-126)/40). Let t(p) = 712*p - 195. Is t(l) a composite number?
True
Suppose 3*j = -c + 577, 0 = -c + 5*j + 407 + 146. Let h(x) = -68*x - 161. Let t be h(-19). Let n = t - c. Is n a prime number?
True
Let p(y) = y**3 + 6*y**2 + 5*y - 4. Let c be p(-4). Suppose 0*v = -c*v - 31408. Let q = v + 7505. Is q composite?
True
Suppose -3*z + 23087 = 2*s, z = 4*z + 5*s - 23072. Is z a composite number?
False
Suppose 0 = -5*i - 5*f, -3*i - 4*f = -0*i + 2. Suppose c = -t + 63, 0 = -i*t - 3*c + 53 + 69. Suppose -65*r = -t*r + 314. Is r prime?
True
Let s(i) = 96710*i**2 - 138*i - 277. Is s(-2) prime?
True
Let m(i) = -i**3 + 4*i**2 + 17*i + 3. Let g be m(7). Let j(w) = -83*w - 22. Is j(g) a prime number?
True
Let b(o) = 3161*o**2 + 30*o + 28. Is b(-3) a composite number?
False
Let p = -309 - -311. Let v(b) = 6*b**3 - 1. Let d be v(1). Suppose d*r = u + 290 - 1751, p*u + 4*r = 2978. Is u prime?
True
Is ((-20)/70*716632/(-8))/(1 + 1) a composite number?
True
Let k = 186 - 230. Is (33/k)/(6/(-5128)) prime?
True
Is 443770/11 - 8/(176/(-6)) a prime number?
True
Let h(y) = -y**3 - 34*y**2 - 84*y - 45. Is h(-38) composite?
False
Let y be ((-1890)/(-24))/15 + (-6)/(-8). Suppose -4*f = -y*f + 5124. Suppose -5*z + f = 1047. Is z a prime number?
False
Is 14676173/305 - (-8)/20 prime?
True
Is 5460/(-273) + 61*27697 prime?
True
Let r = 124 - 25. Let g(h) = 3*h**2 + 34*h + 19. Let s be g(-17). Let i = r + s. Is i a prime number?
False
Let v be (-5 - (-80)/15)*6. Suppose 0 = k - o - 8, -k = -2*k - 2*o + v. Suppose -k*z = -4*z - 1402. Is z a prime number?
True
Is ((-1052398)/(-4) + (-335)/67)*(-2)/(-1) composite?
False
Suppose -44361 = 10*k - 13*k. Is (k + 10)*(4/4 - 0) composite?
False
Let d(p) = p**2 - p + 8. Let o be d(-6). Let a = o + -46. Suppose 0 = -a*s + 3*s - 3*f + 254, 5*s + 5*f - 1260 = 0. Is s prime?
True
Let o be (-27)/(-5) - (-44)/(-110). Suppose o*t = 10*t - 70. Suppose t*n - 4392 = 9146. Is n a prime number?
True
Suppose 11*h - 2499537 = 1274860. Is h prime?
True
Let d(z) = 290*z**2 - 4*z - 17. Let k be d(-6). Suppose 0 = -2*r + 10615 + k. Is r composite?
False
Let m = -368 - -374. Suppose 5040 = 5*s - i, 5*s + 992 = m*s + 3*i. Is s a composite number?
True
Let u = 115189 + 35334. Is u a prime number?
True
Let u be (1119 - -2) + 1 + -5. Let a = u - 786. Is a composite?
False
Let a(c) = 5*c + 97. Let j be a(-19). Is (-1)/(-2) + (-9975)/(-20)*j a prime number?
False
Let h be (-8388)/(-2) - (-7 + 12). Suppose -3*n + 21730 = h. Is n a composite number?
True
Suppose 0 = -8*j + 32*j - 96. Suppose -86683 = -3*b - j*h, -6*b - 3*h = -7*b + 28916. Is b prime?
True
Suppose 313*h = 2284880 + 17509553. Is h a composite number?
False
Suppose 735 = 4*r - 7009. Suppose 4*f = -3*a + 1421, 3*f = 12*a - 17*a + 2361. Let b = r - a. Is b prime?
False
Suppose 31932 = 2*p + 2*p. Let b = p - 3994. Is b a prime number?
True
Suppose 5*t - 39923 = 2*q - 159986, 3*t - 60026 = -q. Is q prime?
True
Suppose -4*c = -u - 1549320, 2*c + u - 387325 = c. Is c a composite number?
False
Suppose -2*x = 4*q - 2, 4*q - 6 = -14. Suppose 0 = x*v - 61971 - 36224. Is v a composite number?
True
Let k(z) = -z**3 + 4*z**2 + 3*z - 7. Let i be k(5). Let r = i + 18. Is (-1 - 0) + 1/(r/654) prime?
True
Let y = 495 + -480. Suppose 19*c - 21416 = y*c. Is c a prime number?
False
Let g(m) = m**3 + 8*m**2 + 6*m - 2. Let l(z) = -z + 3. Let q be l(-18). Let w = q + -27. Is g(w) composite?
True
Suppose 0 = -4*m + 3*u + 1226, -55*m - 5*u = -60*m + 1535. Suppose 5*k + 2*i + 724 = -0*i, -3*k - 4*i = 440. Let x = m + k. Is x a composite number?
True
Let u be 13 + -1 + -1 + -4. Let b(s) = -u - 8 - 4 + 6 + 389*s. Is b(4) prime?
True
Let t = -81 - -86. Suppose 0 = -t*j + 2*d + 32610, -2*j - 3*j = -d - 32610. Suppose -3*c = -15, 4*c = -3*w + w + j. Is w prime?
True
Let i be (-1290)/(-65) - 1*(-2)/13. Let o = -18 + i. Is (2666/(-6) + -4)/(o/(-6)) a composite number?
True
Let r = -245 - -249. Suppose -3*h + 5*h + 5*k = 36050, -r*k = 5*h - 90159. Is h a prime number?
False
Suppose 36 = -5*o + 3*t, o + 0*t + 4*t - 2 = 0. Let y(v) = -111*v + 33. Let s be y(o). Let k = s + -220. Is k prime?
True
Suppose -5*q - 20 = 0, 10 = -2*h + 4*q + 4. Let i(b) = 6*b**2 - b + 16. Is i(h) a composite number?
True
Let l(x) be the first derivative of x**4/2 - 3*x**3 + x**2/2 - 5*x + 3. Let i be -9 + (-1542)/(-90) - 2/15. Is l(i) prime?
False
Let s(x) = 6*x**2 + 22*x + 203. Is s(38) prime?
False
Let t = -74 - -72. Is t/(-10)*16946 - 3/15 a composite number?
False
Let j = -38 - -81. Let v = j - 38. Suppose -v*p - 5*l = -505, 0 = p - 0*l - 5*l - 113. Is p composite?
False
Suppose 0 = -14*s + 74 - 32. Suppose 0 = -s*x - 5*a + 22343, 4272 + 3185 = x - 3*a. Is x a prime number?
True
Suppose 3*r = 65*v - 69*v + 138942, -34745 = -v + 4*r. Is v composite?
True
Suppose -65 = -g - 54. Suppose -10 = -2*j, -5*x - g*j = -13*j - 98655. Is x composite?
True
Let r(a) = 3*a**3 + 8*a**2 - 7*a - 35. Is r(17) prime?
False
Let b(d) = 2 + 93*d + 15*d - 280*d + 9*d. Is b(-3) composite?
False
Suppose -3*k - 3*q = -2418, -2*k - 3*q = 3*k - 4040. Let i = k - 552. Is i prime?
False
Let f be (-1 - 1 - -7) + -3. Suppose -f*u - 2*u = -3288. Let i = u + -77. Is i prime?
False
Let h(p) = -35*p - 20. Let f be h(-2). Suppose -f = 6*j - 4*j. Let w = 384 - j. Is w a prime number?
True
Let d be ((7 - 6) + 5)/(2 - 0). Suppose -d*t - 4*s + 15185 = 0, 3*t = 6*t - 2*s - 15191. Is t composite?
True
Let z = -1317 + 734. Let r = -2 - z. Is r a prime number?
False
Let l(f) = -8*f - 16. Let n be l(-2). Suppose 5*i - 10172 + 357 = n. Is i a prime number?
False
Suppose -4*x - 21672 = -3*z - 0*z, 0 = 2*z + 2*x - 14462. Let u = -3947 + z. Is u composite?
True
Let y = 248 - 245. Suppose -2*s + 5*w + 12118 = w, -y*s = 2*w - 18209. Is s composite?
False
Suppose 43*p = 173951 + 230808. Let f = p + -5550. Is f prime?
True
Suppose -8*l = 2*l - 20. Suppose -18949 = -l*k + 5*o, -5*k + 49758 = 3*o + 2432. Is k a prime number?
True
Let w = 387076 + -231639. Is w a composite number?
True
Let r = -94286 - -221459. Is r a prime number?
False
Let l(o) = 4*o + 82. Let c be l(-20). Suppose -g + 3*w + 6308 = 0, 6293 = c*g - g + 2*w. Is g a prime number?
True
Is (2039 - 1) + 9/(-27)*15 a composite number?
True
Is 0 + 0 - (1 + -55893)/4 a prime number?
False
Let z(l) = 9*l + 43. Let f be z(-5). Is 3493 + ((-2)/(-1)*-1)/f a prime number?
False
Let p be 5*(-12)/80*-4. Suppose p*g + 23519 = 4*k + 6*g, 0 = -5*k + 2*g + 29393. Is k prime?
True
Let l(g) = 18*g**2 - 129*g + 104. Is l(87) prime?
False
Let g = 1 + 15. Let a be (-10)/(-6)*(43 - 227/5). Is (-846)/a - g/32 a composite number?
False
Let f = -15487 + 33774. Is f a prime number?
True
Let w be 3 + (-236)/76 + 30030/95. Let m = -44 + 137. Let k = w - m. Is k prime?
True
Let p = 38995 + 21588. Is p a composite number?
True
Suppose -2*o + 5*k + 835 = -433, 639 = o - 5*k. Let s = 1264 - o. Is s a prime number?
False
Let j be 53/(31/(-31) - (-14)/13). Is (6 - j)*5/(-5) a prime number?
True
Let z(q) = -10944*q**3 - 5*q**2 - 3*q + 2. Let h be z(-1). Let r = 27299 - h. Is r a composite number?
True
Suppose -5*v = -2*o - 5071, -o - 4*v + 5068 = -3*o. Let q be o/(-20) - 9/(-15). Suppose -m + 0 = -q. Is m prime?
True
Let j(a) = -11*a + 22*a + 6 + 15. Let u be j(-13). Let h = u - -769. Is h composite?
False
Suppose -4*b - 33 = -53, 38476 = n - 3*b. Is n a prime number?
False
Suppose 0 = -3*m + 5*w + 2190, -2*m - 241 = -3*w - 1701. Suppose 0 = 6*g - 1184 - m. Is g composite?
Tr