s -5*((-2)/l - (-22419)/(-105)) composite?
False
Suppose -r + 5051 = 670. Is r prime?
False
Let f = -12 + 2. Let h be 1/(8/f)*-344. Suppose 5*p - n = 2*n + h, -4*p = -3*n - 341. Is p prime?
True
Let g be ((-3555)/(-20) - -2)*8. Suppose 2*p - 4*p + g = 0. Is p prime?
True
Let h be 223*(-3 - (2 - 9)). Suppose 0 = -a - a + h. Suppose 5*t - 369 = a. Is t composite?
False
Suppose -58*w - 1020 = -55*w. Let g = 2151 + w. Is g composite?
False
Let a(v) = 169*v**2 - 3*v - 85. Is a(6) composite?
False
Let n = 95 - -16. Suppose 6*p - 3*p + n = 0. Let y = -18 - p. Is y composite?
False
Let p be (-4)/(-8)*0 + 1. Let q be (-72)/60*-5*p. Let h(n) = n**3 - 4*n**2 - 3*n - 8. Is h(q) prime?
False
Suppose -23*q = -18*q - 4670. Is q prime?
False
Let z(h) = h. Let w be z(4). Let u be (-4 - (-2532)/3) + w. Suppose 5*a = a + u. Is a prime?
True
Let a(t) = -t + 4. Let h be a(-2). Suppose j + 4 = -h. Let i = j - -24. Is i prime?
False
Let n = 359 - -212. Let k = 1244 - n. Is k composite?
False
Suppose 1 = 2*c - 3*a - 2, -4*a = -5*c + 11. Suppose 2884 = -u + 5*u - 4*f, -5*u + c*f = -3601. Is u composite?
False
Let x(c) = -2*c**2 + 8*c**2 - 2*c**3 + 2 + 3*c**3. Let z be x(-6). Suppose z*f = -v - f + 1049, f + 2 = 0. Is v prime?
False
Suppose 4*d - 120588 = 4*c - 8*c, 8 = 4*d. Is c a composite number?
True
Let o be (-3)/(-12) - (-2774)/8. Let l = o - 200. Suppose 5*w - l + 32 = 0. Is w a composite number?
False
Suppose 4*t + 20 = 0, t + 121 = 2*l - 4*t. Let w = 351 - l. Let q = w - 212. Is q a composite number?
True
Suppose -1157 + 17639 = 6*s. Suppose 3674 = 4*f - 3*k, -2*f - 2*k = f - s. Is f a composite number?
True
Let m be (0 + 3/(-6))/((-1)/(-36)). Is (-10569)/m - (-6)/(-36) a composite number?
False
Is -2763*(5 + 112/(-21)) a prime number?
False
Let y(w) = 19*w**2 + 30*w + 78. Is y(-21) prime?
False
Let s be 3*(-2)/21 - 74/(-14). Suppose s*m = -144 + 1319. Is m a composite number?
True
Suppose -3*p = -1603 - 3464. Let y = p - 778. Is y a prime number?
True
Let x = -3733 - -7867. Suppose 1091 = 5*k - x. Suppose -2*w - k = -5*n, -267 - 356 = -3*n + 2*w. Is n composite?
False
Is ((-3)/(-5))/(312/23917400) a composite number?
True
Suppose -b + 8 = -4*f, 3*f - 8*f + 15 = 0. Is 1165/b + (-1)/4 a composite number?
True
Let p be (27 + -9)*46/6. Suppose -j + p = j. Suppose 3*r = -15, 2*g + j = 3*g + 2*r. Is g composite?
False
Let k(b) = 1230*b + 12. Let h be k(2). Let v = -319 + h. Is v prime?
True
Suppose -4*w - 5*h - 10426 = -65852, 0 = w - 5*h - 13869. Is w prime?
True
Let s be (-3 + 6)*(3 - 2). Is (5/((-5)/(-107)))/(1/s) a prime number?
False
Suppose 12*g - 3782 = 19894. Is g a prime number?
True
Suppose -3970*q + 82596 = -3966*q. Is q composite?
True
Suppose -59*z + 58*z = -1195. Is z prime?
False
Let r(j) be the second derivative of -1/2*j**2 + 2*j - j**3 + 7/6*j**4 + 0. Is r(-4) a composite number?
True
Suppose 0 = -2*j + j - 5*p + 25, 0 = j + 3*p - 19. Let f be 2*((-175)/j)/7. Is (-1)/(((-10)/(-934))/f) a prime number?
True
Suppose -3*q = 2*b - 87, 3*q - 107 + 14 = -4*b. Suppose 0 = 4*g + 3*x - 24, 2*x - 5*x = 5*g - q. Is 1*(g - 2)*83 prime?
True
Let i be -2*2/(-4) - -436. Suppose 3*a - i = t, -205 = -3*a - t + 228. Is a prime?
False
Let y(n) = 52*n - 89. Is y(20) a composite number?
True
Let n = 983 - 352. Suppose 3*h + 0*h + c - n = 0, 2*h - 420 = -c. Is h composite?
False
Suppose -50 = -4*t - 3*a, -4*a = 3*t + a - 43. Is (1/2)/(t/3190) a composite number?
True
Let o = -770 + 526. Let w = -147 - o. Is w a composite number?
False
Let x = 16306 - 8037. Is x composite?
False
Suppose -1499 = -4*m - 4*v + 109, -4*v = -2*m + 804. Suppose -5*i - c + 987 = -m, i = -3*c + 275. Is i composite?
True
Let b(x) = -x**2 + 34*x - 51. Let c be b(22). Suppose 2*g = 7*g - 2*u + 430, 0 = g - 2*u + 86. Let s = g + c. Is s a composite number?
False
Let h(a) = -2*a**3 + 2*a**2 + 2*a + 1. Let o be h(-1). Is (1 - (-6)/(-9))/(o/10089) a prime number?
False
Let h = -17208 - -32623. Is h a prime number?
False
Suppose -15 = -4*p - 5*v, v - 4*v = -5*p - 9. Suppose -6200 = -4*x - 0*x + 3*d, -2*d + 8 = p. Is x prime?
True
Let o(p) = -15*p - 216. Let y be o(-14). Let q(s) = -38*s + 1 - 3 - 3. Is q(y) composite?
False
Let t(y) = y**2 + 2*y - 3. Let k be t(22). Suppose -2*r = -6*r + 1336. Let c = k - r. Is c composite?
False
Suppose -2*m + 12*m + 90300 = 0. Is 2/6 + m/(-45) composite?
True
Suppose -g + g = 2*g. Suppose 0 = 4*w - g*w - 3644. Is w a composite number?
False
Let r = 848 + -79. Is r composite?
False
Let q(i) = 7*i + 14. Let y be q(10). Let k be y/(-7)*(-2)/6. Suppose -k*z = -5*p - 222, -3*p = -2*z - 0*z + 112. Is z composite?
False
Let k be (157/4)/((-4)/(-80)). Suppose 0 = 2*o - k - 1341. Suppose -3*y + o = -272. Is y a prime number?
False
Let t = 15188 + -10797. Is t a prime number?
True
Let n(c) = -3*c - 3. Let p be n(-1). Is (p - 0)/(-4) + 257 a prime number?
True
Suppose 5*r + 0*q + 25 = -5*q, 5*q + 9 = 3*r. Let l(x) = -14*x + 11. Let v(u) = -41*u + 34. Let i(d) = r*v(d) + 7*l(d). Is i(-13) prime?
False
Suppose -5*n - 5*k = -21400, 5*n = -4*k - 0*k + 21403. Is n prime?
True
Suppose 0 = -2*y + 49 - 5. Suppose -26*x + y*x = -32. Suppose x*t - 3*t = 545. Is t composite?
False
Let z(a) = -a**3 - 24*a**2 - 54*a - 37. Is z(-26) prime?
True
Let w be 14/(-21)*18/(-3). Suppose -2 = -c + w. Is c prime?
False
Let g(b) = 19*b**2 - 91*b - 19. Is g(24) a composite number?
False
Is 6/(-4)*2128/(-228) composite?
True
Suppose 287*x - 289*x = -13798. Is x composite?
False
Suppose -3*a - 5*n + 11406 = 0, 3*a = -4*n + 10507 + 896. Is a composite?
False
Let c(n) = -4*n - 25. Let x be c(-7). Suppose 4*t = x*l + 7799, 5*l + 4742 = 4*t - 3059. Is t composite?
False
Let p = 6884 - 4104. Let f = -1371 + p. Is f a prime number?
True
Let v be (8/16)/(2/(-296)). Let n = 113 + v. Is n composite?
True
Suppose 0 = 2*k - 4*n - 9170, -4*n + 9162 = 11*k - 9*k. Is k a composite number?
False
Let h = -58 + 76. Suppose -h*p + 19*p = 797. Is p a composite number?
False
Let c(s) = 1. Let o(t) = 43*t - 4. Let k(p) = -6*c(p) - o(p). Suppose -15*h = -5*h + 50. Is k(h) composite?
True
Suppose 3*m + 15 + 12 = 0. Let q(n) = -n**3 - 17*n**2 + 1. Let d(v) = 3*v**3 + 50*v**2 + v - 3. Let k(x) = 4*d(x) + 11*q(x). Is k(m) composite?
True
Let m(q) = 665*q - 7. Let u be m(4). Suppose 4*h = 5*d + u, -5*h + 0*d = 5*d - 3350. Is h a prime number?
False
Suppose -3303 - 8285 = -4*t. Is t prime?
True
Let n(t) = 301*t - 103. Is n(14) composite?
False
Let k(t) = -t**3 + 4*t**2 + 2*t + 2. Let u be k(6). Let l = 111 + u. Is l a prime number?
True
Suppose 10*w + 99627 = 21*w. Is w a composite number?
True
Suppose 0 = -7*z + 12246 + 2720. Suppose 4*j - 731 - 61 = 0. Suppose -z = -4*g - j. Is g a prime number?
False
Is 94/(-1)*24/(-48) a composite number?
False
Let s = 7 + -7. Let b be 2/(s - -4)*-16. Is -2*((-3540)/b)/(-5) prime?
False
Suppose -9*u = -4*u - 12205. Is u composite?
False
Let p = -5171 + 8334. Is p a prime number?
True
Suppose 0 = -5*k - 1 - 19. Let a be (k/10)/(1/(-15)). Let l(u) = 31*u + 13. Is l(a) composite?
False
Let y(q) be the third derivative of -2*q**2 + 0*q + 7/24*q**4 + 0 + 1/60*q**5 - 13/6*q**3. Is y(-13) a prime number?
False
Let p(x) = 224*x**2 + 15*x + 6. Let y be p(-4). Let u = -2169 + y. Is u composite?
False
Suppose -10*g - g + 3432 = 0. Suppose i = -l + g, 255 + 37 = l + 5*i. Is l a prime number?
True
Suppose 3*l + 61031 = 7*l + 5*u, 2*u + 2 = 0. Is l composite?
False
Is (1/1)/(0 + 3/4197) a composite number?
False
Suppose 0 = 3*s - 5184 - 5865. Is s a composite number?
True
Let b = -124 - -757. Is b a prime number?
False
Let w(k) = -k**3 - 5*k**2 + 8*k + 12. Let o be 11/(33/(-18)) - 0. Let l be w(o). Let u(i) = 3*i + 161. Is u(l) a prime number?
False
Let b = 7 + -2. Let g(n) = 286*n - 31. Is g(b) prime?
True
Suppose -o + 3*s + 3 = 0, -2*o + 3 = -6*s + 3*s. Suppose -7*w + 1738 + 2133 = o. Is w a composite number?
True
Suppose -6*n - 567 = -9*n. Let f(g) = -g**3 - 9*g**2 + 5. Let k be f(-9). Suppose 2*w = k*t - 3 - 996, -t + 4*w + n = 0. Is t prime?
False
Let a(m) = 7*m**2 - 16*m + 2. Suppose -9 = -y - 0*y + v, 4*y = 5*v + 34. Is a(y) a prime number?
True
Is (-38 - -35)/(1*2)*-1858 composite?
True
Let a = 27 + 5. Is 1 - 10/8 - (-10536)/a a composite number?
True
Suppose -5*d - 30 = -3*n, 0 = 4*n + 3*d - 2*d