h = 41 + -39. Suppose -y = y - h. Is 307 + y + 1*-1 composite?
False
Is (-5*(-1492)/30)/((-4)/(-30)) a prime number?
False
Suppose 70*d = 43*d + 332127. Is d prime?
True
Let w = -4301 + 4301. Let f be 4 - (-1 + 9/3). Is -5 - (w/f + -211) a prime number?
False
Let w(f) = 42*f**3 - 42*f**2 - 12*f + 1. Is w(16) composite?
True
Let u(h) = 52040*h**2 - 26*h - 78. Is u(-4) prime?
False
Suppose -4 = 10*a - 8*a. Let z be (a - (-48)/18)*6/(-4). Is z/(-6) + 598/12 - -3 composite?
False
Suppose -15*n - 144905 = -20*n. Is n a prime number?
False
Let s be ((-22)/6)/(-11) - 22/(-6). Let c(g) = -4*g**3 + 2*g**2 + g. Let k be c(-1). Suppose -353 = -4*j + 4*i + 659, -k*i = s*j - 1048. Is j composite?
False
Let y(t) = 47*t**2 - 2*t + 14. Let x be y(-7). Suppose 3*g + 489 - x = 0. Is g composite?
True
Suppose -245684 = -11*a + 201389. Is a a prime number?
False
Let b = 1867299 - -1742312. Is b a prime number?
True
Let h(i) = 8177*i**2 + 10*i - 52. Is h(3) a composite number?
False
Suppose -4*f - 25180 = 3*c, -c - 3*f = 4*c + 41974. Suppose -669*z - 3*g + 7 = -670*z, z + 31 = -5*g. Is -3 + z/(-6) + c/(-6) composite?
False
Suppose -2*y = o - 4, -66*o + 70*o = 2*y - 14. Let s(m) = 118*m**2 - 3 + 3*m + 48*m**2 - 47*m**2. Is s(o) a composite number?
False
Let h = 1177660 - 424958. Is h composite?
True
Let x be (20676/16)/(2/32). Suppose -15*l + x + 147279 = 0. Is l prime?
True
Let k(p) = 4875*p**2 + 17*p - 3. Let h = -116 + 118. Is k(h) a composite number?
False
Let a(f) = 307*f**2 - 26*f + 37. Let j be a(15). Let v be 34/(-10) - -3 - j/(-5). Suppose 5*u = -3*l + v, 0 = 3*u + 5*l - 10837 + 2581. Is u a prime number?
False
Let k = 96 - 76. Suppose 15*a + 30 = k*a. Suppose -a*n = -10*n + 220. Is n composite?
True
Let y = 702 - 693. Suppose 0 = y*m - 2*m - 385973. Is m composite?
True
Let j = -240 - -243. Suppose -249 + 183 = -j*r. Is r prime?
False
Suppose -36 - 9 = 3*d. Let n = d - -36. Is 6/n - (-28827)/21 prime?
True
Let v(g) = g**3 - 4*g + 435849. Is v(0) prime?
False
Suppose -5*b = 5*h - 0*b - 290, 2*h - 3*b - 116 = 0. Is (-29)/h - (-3723)/2 a prime number?
True
Let i = -25 + 19. Let a be (-9)/(-6) + ((-13059)/i)/(-3). Is (a/10)/((-7)/35) a prime number?
False
Suppose -2*g + 5 = -3*g, 47798 = u + 2*g. Suppose -9*t + u - 14661 = 0. Is t a composite number?
True
Let g(c) = -c**3 - 11*c**2 - 12*c - 13. Let t be (4 + 15)/(2 + -3). Let x = t + 5. Is g(x) composite?
False
Let t(b) = 8595*b + 688. Is t(49) composite?
True
Let r = 146072 - 85801. Is r prime?
True
Let h(u) = 4*u**2 - 3*u - 8. Let g(f) = f**2 + 2*f - 1. Let o(l) = 3*g(l) - h(l). Is o(7) composite?
False
Let y(c) = -3762*c + 229. Is y(-124) a prime number?
True
Let u(g) = 1453*g + 4. Let w be u(1). Let b = 2558 - w. Suppose -657 = -2*x + b. Is x prime?
False
Let x(p) = -p**2 - 26*p - 93. Let l be x(-21). Let t(a) = 5*a**3 - 20*a**2 + 59*a + 1. Is t(l) a composite number?
False
Let s be ((-12)/9)/(10/(-45)). Suppose -3*o - 2*v + s*v = -50377, 5*o = -3*v + 83952. Suppose -o = -14*c + 21107. Is c prime?
True
Let y(q) = 397*q**2 + 11*q - 107. Is y(19) a prime number?
True
Let o(h) be the second derivative of -41/3*h**3 + 0 + 7/2*h**2 + 27*h. Is o(-4) a prime number?
False
Let y be 14*(-4)/8*-5. Let l(s) = 20*s**2 + 22*s - 119. Is l(y) composite?
True
Let q(f) = -48*f**2 - 14*f + 6. Let p(z) = -47*z**2 - 8*z + 6. Let c(t) = -6*p(t) + 5*q(t). Is c(-7) composite?
True
Let w(n) = -10 + 4 - n - 13 - 10 + n**2. Let k be w(6). Is 0 - 1/k*-1 - -928 a composite number?
False
Suppose 966 = 5*n - 5*z + 4*z, 5*n - 4*z = 969. Let x = n - -65. Let q = x + -23. Is q a composite number?
True
Suppose 7*o - 7 = 3*o - 3*c, -3*o + 2*c = -18. Suppose 2*i + 11859 = 5*t + o*i, 4*t + 4*i = 9492. Is t composite?
False
Is ((-27591)/85)/((-15)/10225) a prime number?
False
Let z(s) = 739*s**2 - s - 57. Is z(-4) a composite number?
True
Suppose -3*s = 275 - 62. Let g = 77 + s. Is (-1322)/(-26) + g/(-234)*-6 prime?
False
Suppose -53*r + 47*r = -2502. Suppose 9*k + r - 4458 = 0. Is k prime?
True
Let u(w) = 10*w**3 + 10*w**3 - 13*w**2 + 167 - 15*w**3 - 6*w. Is u(9) prime?
False
Let k(x) = x**3 + 17*x**2 - 22*x - 16. Let c be k(-18). Let q = 56 - c. Suppose -4*v + 9674 + 3410 = q. Is v prime?
True
Let t(o) = 3330*o**2 - 37*o - 132. Is t(7) composite?
False
Let y(f) = -7*f**3 - 2*f**2 + 16*f + 9. Let o be y(-6). Let h = o - 578. Let v = 1802 - h. Is v a composite number?
True
Let u(n) = 17*n - 1974. Is u(131) composite?
True
Suppose 0 = -6*y - 26*y + 160. Suppose -2*x = 7 - y, 0 = f - 2*x - 6420. Is f a composite number?
True
Let i(h) = -3*h - 16. Let x be i(-6). Suppose 0 = x*j + 3*f - 9455, 4971 = 5*j + f - 18699. Is j composite?
True
Let n be (2/4)/(3/252360). Suppose 11*c = 17*c - n. Is (c/(-30))/(2/(-30)) prime?
False
Suppose 10201393 = 69*f - 175448. Is f prime?
False
Let f be (1/(-2))/((-40)/135760). Let x = f - -6632. Is x prime?
True
Let f(m) = 1866*m + 721. Is f(21) a composite number?
True
Let v(j) = 7232*j**2 + 14*j + 17. Is v(-3) a composite number?
False
Let w(y) = 3*y + 30. Let t be w(-9). Let n(b) = 6*b**2 - 2*b**2 - b**t + b**2 + 9 - b + 2*b**3. Is n(5) prime?
False
Let d = -33 - -38. Suppose -3*z = -d*a - 77, -z + 0*a - 3*a = -35. Suppose -26*l - 921 = -z*l. Is l a composite number?
False
Suppose -4*q - 20 = 0, -10 = -5*g - 2*q + 40. Suppose 0 = -c + 3*b - g, 2*b = 4*c - 3*b + 13. Is c/(-6)*(4 + -542) a composite number?
False
Let r(n) = 5*n + 1. Let k be r(0). Let b be (-3 + 2)*1 + k. Suppose 838 = 2*j - 4*h, b = -0*j - 3*j - 4*h + 1257. Is j composite?
False
Is (22/21 - (-82)/287)*(-843849)/(-12) composite?
False
Suppose 4*u = 4*h - 31740, 3*u - 7*u + 7925 = h. Suppose -5*z - h = -4*k, -k - 13*z = -10*z - 1996. Is k a prime number?
True
Suppose 18234 = 5*u - f, -61*f + 63*f - 2 = 0. Is u a composite number?
True
Let j(i) = 940*i + 8. Let c be j(3). Let o = c - 1950. Is o a prime number?
False
Suppose y = 5*o - 1049410, -13*o + y - 209876 = -14*o. Is o a prime number?
False
Let s(y) = 8 - 69*y - 104*y - 40*y. Is s(-3) a prime number?
True
Suppose 549991 = -45*z + 1792576. Is z composite?
True
Is (-281104)/32*(-21 + -1) - (3 - 5) prime?
True
Let s(j) be the third derivative of -j**6/120 - j**5/10 - 7*j**4/24 - 5*j**3/3 + 27*j**2. Let o be s(-13). Let d = o + 145. Is d a prime number?
True
Let d(r) = 113*r**3 - 8*r + 5. Suppose -150*x = -137*x - 26. Is d(x) prime?
False
Suppose 31222 = 3*h + 5*s, 0 = 2*h + 4*s - 3*s - 20810. Let x = h + -1623. Is x a prime number?
False
Let v(h) = -h**3 - 7*h**2 - 5*h + 12. Suppose 12*i + 24 = 8*i. Let b be v(i). Is -262*(-2 - (-9)/b) a prime number?
True
Suppose -a - 3*a = 2*n - 44, -4*a + 3*n = -64. Let t = 15 - a. Is t/10 + (-21502)/(-65) prime?
True
Suppose 2*r - r - 181 = 0. Let v be 30/4*(-2)/(-5). Suppose i + v*y - 54 = 2*y, 3*y = 4*i - r. Is i a composite number?
True
Let v be 2 + (-4)/1 - -769. Suppose 2*r - d = v, -1895 = -6*r + r - 5*d. Suppose 0 = -5*h + 4*h + r. Is h a composite number?
True
Let v be (-3)/(3/(-4)) - 397. Let q = -224 - v. Let o = q - -240. Is o prime?
True
Suppose p + 2 = -1. Let f be p/(-2)*2 - 215. Let b = 510 + f. Is b composite?
True
Let y(t) = -2*t**3 + 21*t**2 - 5*t - 9. Let q(o) = 0 - 32*o**2 + 7*o + 38*o**3 + 13 - 35*o**3. Let h(u) = 5*q(u) + 8*y(u). Is h(7) composite?
False
Suppose 0 = 2*z - 144 + 138. Let g be z/(6/919)*(0 - -2). Suppose 13*d - 12*d - g = 0. Is d a composite number?
False
Suppose 3*q - g = 10354 + 30383, 0 = 5*q + 5*g - 67895. Is q a composite number?
True
Let s = -35 - -39. Is (118/3)/((-1)/((-66)/s)) prime?
False
Suppose -2*l = -6 - 2. Suppose -2*m + 0*o - 3*o = -457, -l = -4*o. Let a = m - 100. Is a prime?
True
Let z(y) be the first derivative of -y**3/3 + 2*y**2 + 2843*y - 33. Is z(0) a composite number?
False
Suppose 0 = 2*f - 0*f + l - 6842, -10277 = -3*f - 5*l. Suppose -7*c + 515 + f = 0. Suppose c = 5*k - 73. Is k a prime number?
True
Is ((-93208)/96 - -21)*-12 a prime number?
True
Let a(s) = -2929*s + 83. Suppose 2*c + 5*d - 7 = -9, -4*c - 20 = 2*d. Is a(c) prime?
True
Let b = 19565 + -30334. Let o = b - -18484. Is o a composite number?
True
Suppose -89*z + 198*z - 211472 = 93*z. Is z a prime number?
True
Suppose -79*u + 2433405 = -7353826. Is u a composite number?
True
Suppose -n = -7*n + 6. Let b be n/(0 + 1/4). Let q(z) = 