03 = -3*x. Suppose -13769 = 21*o - a*o. Is o prime?
False
Suppose -93*z - 997759 = -100*z. Is z composite?
False
Let t(m) = -15*m**2 + 3*m - 38. Let k(s) = 8*s**2 - 2*s + 19. Let j(i) = 7*k(i) + 3*t(i). Is j(-6) prime?
False
Let k(h) = -h. Let o(l) be the first derivative of 27*l**4/4 + 2*l**3/3 - 2*l + 3. Let c(d) = -2*k(d) - o(d). Is c(-2) composite?
True
Let d = 19257 - 9531. Let c = d + -5195. Is c a prime number?
False
Let a(u) = 37*u**3 + 7*u**2 - 20*u + 69. Is a(8) prime?
True
Let q be (-2)/((-2)/1)*178. Let o be 1147/3 - 4/(-12)*2. Let y = o - q. Is y prime?
False
Let m be (1 - 4)*(-740)/111. Suppose 5*l - m = 0, 5*c - 23621 = l - 5*l. Is c a prime number?
True
Suppose 256874 = 4*x - 3*b, 5*b + 210060 - 81616 = 2*x. Is x composite?
False
Let j = -12 - -12. Let y(o) = o**2 - 16*o + 62. Let i be y(6). Suppose -2*h = 8, j = -i*a - 2*h + 5*h + 370. Is a composite?
False
Suppose 31*x - 16*x + 2810404 = 19*x. Is x a composite number?
True
Suppose 937400 = -81*v + 6846755. Is v a prime number?
False
Let s(h) = -16*h + 1987. Let v(o) = -o + 1. Let x(j) = s(j) - 2*v(j). Is x(0) composite?
True
Let q = 199 - 202. Is ((-79046)/(-66))/(2/q - -1) composite?
False
Let d be (-2)/(-3) - (-80)/(-12). Is 3*(d - 3423/(-9)) composite?
False
Suppose -37*s - 89222 = -44*s. Is s a composite number?
True
Is ((-826)/(-35) - 24)*(-131390)/4 a prime number?
False
Suppose 0 = -4*q - 2*h + 54068, -4*q + 12155 = 5*h - 41901. Is q composite?
True
Let h(u) = -u**2 + 10*u + 28. Let i be h(12). Let g be -3 - 0 - (-326 + i). Let r = 304 + g. Is r composite?
True
Suppose -23107 = -5*n + 4*u, -4*u - 13 + 1 = 0. Let x = 8946 - n. Is x a prime number?
True
Let c = 21108 - -54161. Is c a prime number?
True
Suppose -105553 = -9*n - 464716. Let d = 60678 + n. Is d a prime number?
True
Suppose 13*u + 91035 - 281641 = 0. Is u a composite number?
True
Let b = 5 - 7. Let k(r) = 5*r - 4. Let t(f) = -198*f + 11. Let h(d) = 5*k(d) + t(d). Is h(b) a prime number?
True
Let c be (3255/(-42))/((-2)/148) + -1. Suppose c + 1172 = 2*r. Is r composite?
True
Let t be 2/(-19) + 18135/(-95). Let c = t - -7908. Is c a composite number?
False
Let i(h) = -65*h + 0 + 1 + 233*h. Let x = 113 + -107. Is i(x) composite?
False
Suppose 5*t = 4*p - 143, 0 = -4*t + 2 + 18. Is (-45)/(-12)*22904/p a composite number?
True
Suppose 6*p - 16*p + 150 = 0. Suppose p*h + 10049 = 133184. Is h composite?
False
Let a = -8514 - -8505. Let o(x) = 4*x**3 - 3*x**2 + 18*x + 23. Let h(i) = 11*i**3 - 9*i**2 + 53*i + 68. Let f(m) = -3*h(m) + 8*o(m). Is f(a) a prime number?
True
Suppose -2*s + 300 = 4*s. Suppose 18066 = -s*i + 56*i. Is i prime?
True
Let f(k) = -k**3 + 6*k**2 + 28*k - 149. Let m be f(7). Suppose -5*r - 12 = -r - n, -4*r - 4*n = 32. Is 1 + m - (r - 550) composite?
True
Suppose 25 = -9*o + 14*o. Suppose 3*t - 5*a = 4219, 2*t = o*a - 294 + 3110. Is t a composite number?
True
Suppose 2*t - 5*o = 10745, -26834 = -3*t - 2*t + 3*o. Suppose 1554 - 611 + 689 = 68*i. Suppose -i*h + t = -19*h. Is h prime?
False
Suppose 361*b - 65159 = 360*b. Is b a prime number?
False
Suppose 2*h = 5*u + 460591, 157876 = -4*h - 2*u + 1079094. Is h prime?
True
Suppose -10*t + 4*k - 20 = -15*t, 5 = -5*t + k. Suppose t = -2*w - 5*x + 1188 + 2492, -4*w + 7332 = -4*x. Is w a prime number?
False
Let x = 380179 - 167352. Is x a prime number?
True
Suppose -p - 2*p = -2*b - 5467, p + 3*b = 1804. Suppose 3517 = 2*h + 3*c, 2*h - 2*c - p - 1693 = 0. Is h a prime number?
False
Let n(u) = u**3 + 15*u**2 - 17*u - 23 + u**2 + 18*u. Is n(-12) composite?
False
Let i(j) = 9 - 181*j + 339*j - 178*j. Let k be i(-6). Let b = 260 - k. Is b prime?
True
Suppose 4*z - 468934 = -2*d, -3*z = -140*d + 137*d + 703356. Is d composite?
False
Let r be 8/(-4) + 3081 - (-2 - 0). Let a = -898 + r. Is a composite?
True
Let z(a) = 309*a**2 - 186*a - 2243. Is z(-16) a prime number?
False
Suppose 34 = -10*y + 184. Is (-5)/y - (45472/(-12) + 2) a composite number?
True
Let v(t) be the first derivative of -t**3/3 - 11*t**2/2 - 6*t + 7. Is v(-7) a composite number?
True
Suppose 10*c = 4*c + 108. Let n be 2/(-3)*(-300)/8. Let s = n - c. Is s prime?
True
Suppose -19*u + 5*a = -21*u + 69698, 104547 = 3*u + 4*a. Is u prime?
True
Let x = -368010 - -2555645. Is x composite?
True
Let n be (11 - 1) + (-151 - -141). Suppose 0 = v - 6 + 2. Suppose -t + 2*b + 743 + 502 = n, v = b. Is t prime?
False
Suppose 452*b = -118786089 + 754482053. Is b a composite number?
True
Let a be 2 + 225224/72 - (-2)/(-18). Let s = 3329 + a. Is s composite?
True
Let h(l) = 6*l**2 - 7*l + 13. Let z be ((-2)/(-5))/(-1 - (-242)/240). Let m = -56 + z. Is h(m) composite?
True
Let m be 1356/28 + 66/(-154). Suppose -m*r = -31*r - 64209. Is r prime?
False
Let x be 6*(-5)/(-6)*289/(-5). Suppose -4*g - 4*o + 2328 = 0, g = o + 4*o + 570. Let k = g + x. Is k a composite number?
True
Let m be (3/(-6)*1)/((-1)/2). Let g be (6/((-96)/2036))/(m/(-12)). Let t = g - 658. Is t composite?
True
Suppose 2*q - 288811 = -z, -12*z + 7*z + 1443999 = -4*q. Is z prime?
True
Let z(h) = h**2 + 14*h - 13. Let f be z(-15). Suppose 0 = f*r - 5*l - 32, -3*r + 57 = -4*l + 16. Suppose 0 = -14*t + r*t + 6999. Is t prime?
True
Suppose w - 232 = -235. Let i(j) = -109*j**3 + 6*j**2 + 3*j - 1. Is i(w) a prime number?
False
Suppose -22*f + 18*f + 4*v + 2710164 = 0, 5*f + 4*v = 3387777. Is f a prime number?
False
Suppose j - 77883 = -2*x, 296237 = 5*j - 4*x - 93248. Is j a composite number?
False
Suppose 6*o = 4*z + 4*o - 713432, 3*z - 5*o - 535053 = 0. Is z composite?
False
Let z(u) = 114*u**2 + 24*u - 37. Is z(-14) a composite number?
True
Suppose -22*x + 632048 + 3557646 = 4*t, -761754 = -4*x - 5*t. Is x prime?
False
Let g(p) = 3*p - 76. Let v be g(26). Suppose -9*r + 17213 = -v*r. Is r prime?
True
Suppose -987*s + 994*s = 528521. Is s prime?
True
Suppose 0 = 15*z - 19*z - 2*h + 556072, -5*z - h = -695099. Is z a composite number?
False
Suppose 140*i - 270*i = -163*i + 13054173. Is i prime?
True
Let b be (1 - 11/(-3)) + 2/(-3). Suppose m + b*y = -2075, 3*m - 4*y + 59 = -6230. Let u = -124 - m. Is u a prime number?
False
Let y = -66 + 181. Suppose y = -4*x + 783. Let a = x + 56. Is a composite?
False
Suppose -10*x + 5*x = -h - 1501, h = 2*x - 598. Suppose -x = -3*y + 740. Is y a composite number?
False
Suppose 0 = -655*v + 700*v - 5327415. Is v prime?
True
Let s(w) = 41425*w + 6734. Is s(5) a prime number?
True
Suppose 26 = 9*p + 17. Is 25 + 11820 + p*-6 prime?
True
Suppose -120*z = 21*z - 2772201. Is z composite?
False
Suppose -12*k + 29*k + 1904 = 0. Is 403504/k*(-5 + -2) a prime number?
True
Suppose 0 = -4*a - k + 16247332, 4061833 = 27*a - 26*a + 3*k. Is a a composite number?
False
Let v be (-20)/(-6)*12/10. Let f(l) = l**2 + 93*l - 2394. Let q be f(21). Suppose 5*c = v*p - 1563, q = 2*p - c - 376 - 413. Is p prime?
True
Suppose 0*w = 2*a + w - 13, -2*a - 2*w = -14. Let y be 105/a*(-3 + (-1425)/(-7)). Let g = -2119 + y. Is g composite?
True
Suppose -96*q = 78*q - 15797982. Is q a prime number?
True
Suppose -16*o + 145928 = 13*o. Suppose -20*i + o = -19948. Is i prime?
True
Let m(i) = -i**2 - 2*i + 25. Let r(c) = -c**2 - c + 25. Let o(p) = 7*m(p) - 6*r(p). Let w be o(-11). Let k(h) = -149*h - 41. Is k(w) a prime number?
True
Suppose -18*j + 1932900 = 176*j + 106*j. Is j prime?
False
Let r(a) = -670*a**3 - 3*a**2 + 6*a. Let n be r(-4). Suppose v = -7*v + n. Is v a prime number?
True
Suppose 215*x - 19319397 = 5386898. Is x a prime number?
True
Suppose 0 = -3*j + 3*t + 6, 3*j = 6*j - 5*t - 4. Suppose -566 = -j*d - 5216. Is (5 + d/15)*-3 prime?
False
Suppose -8247 = -2*z - 5*c, c = 3*z - c - 12323. Is z a prime number?
True
Is (-100)/44 + (-27)/(-99) - -7771 a prime number?
False
Let u be (2 - 123)/(3 + (-111)/36). Let x = u - 2291. Let p = 128 - x. Is p prime?
True
Suppose -5*a = 3*k - 102803, 26*a = 30*a + 4*k - 82244. Suppose 4*m = x - 3755 - a, 5*m = 20. Is x composite?
True
Suppose -z - m - 4*m + 4 = 0, -3*m = -4*z + 16. Let t(d) = -1 - z - 527*d + 367*d. Is t(-6) a prime number?
False
Let k be (4 - 9)*((-259)/35 - -7). Let z(d) = 3*d - 4. Let x be z(3). Suppose 0 = -3*v - k*j + 1893, 3*j = -x*v - 156 + 3311. Is v a composite number?
False
Let r(k) be the first derivative of k**6/40 - 11*k**5/60 - 5*k**4/12 - 13*k**3/3 + 31. Let x(q) be the 