 z = 0, w + a - 38 = 4*a. Suppose 5*p + w = 2*l, -10 = -2*l - 5*p + 42. Is l prime?
False
Let a(u) = 144*u + 37. Is a(10) prime?
False
Let j be 1 + -1 + (0 - 2). Is (8/(-12))/(j/45) a prime number?
False
Suppose -4*o + s = -8, -2*o - 5*s = -0*s - 26. Is -1*2 + 387/o composite?
False
Suppose -2*z = 5 - 13. Suppose 90 - 21 = 3*a + 3*j, 0 = -4*j + z. Is a a composite number?
True
Let l(c) = -3 + c**2 - 4*c**2 + 2*c**2 - 3*c. Let r be l(-3). Let g = r + 6. Is g prime?
True
Is (185 - 2) + (-8)/2 prime?
True
Let w be 1 + 0/2 + 2. Suppose 5*p - 4*x - 23 = 0, -3*p - x + 4 + w = 0. Suppose 0 = -2*k + 3*z + 38, p*z = 5*k + 8*z - 145. Is k prime?
False
Let z = 72 - 45. Is z/12 - (-1)/(-4) a composite number?
False
Suppose -7 - 3 = -k. Let u(m) = -m**2 + 23*m - 11. Is u(k) a prime number?
False
Let r = 26 + -17. Is r a composite number?
True
Let o(h) = h**2 + 6. Let d be o(0). Let i = d - 3. Let g(a) = 2*a**3 - 2*a**2 - a + 2. Is g(i) a prime number?
False
Is (-71771)/(-63) + (-4)/18 a composite number?
True
Let x(d) = -d**3 - 5*d**2 - 3*d - 1. Let r be x(-5). Is 1110/14 - 4/r a prime number?
True
Let q be (2/4)/(2/(-72)). Let c be 5*(q/10)/(-3). Is (-218)/(-6) - (-2)/c a prime number?
True
Let w = -55 + 77. Let h = -32 + w. Is h*(2 - (-9)/(-2)) a composite number?
True
Suppose -2*b = -5*w + 11913 + 2378, 0 = -4*w + 2*b + 11432. Is w a composite number?
True
Suppose -6*p + 11*p = 15. Suppose w - 814 = f, p*w + w + 2*f = 3238. Is w prime?
True
Suppose 58*x - 22242 = 52*x. Is x prime?
False
Let r(p) = -14*p - 2. Let l(b) = -15*b - 1. Let v(d) = -3*l(d) + 2*r(d). Let f(s) = -s**3 + s**2 + s + 4. Let k be f(0). Is v(k) composite?
False
Suppose 5*v + 2*u = 25, v - 5 = -0*u - 2*u. Suppose 5*o = -15, -z + 4*z - v*o = 0. Is (28/4)/((-1)/z) prime?
False
Let n(d) = -d**3 - 6*d**2 + 7*d - 1. Suppose 3*p - 32 = 7*p. Is n(p) composite?
False
Suppose -3143 = -10*a + 3*a. Is a composite?
False
Let g(v) = -v**2. Let o be 0*1/(6/3). Let a be g(o). Is 132 + (-2 - -3) + a a prime number?
False
Let o(n) = -57*n. Let x be o(2). Is (-9)/27*x/2 a prime number?
True
Suppose -d - 5*z = -426, -117 = -d + 5*z + 259. Is d composite?
False
Suppose l - 4*b - 12 = 0, l = -b + 1 - 4. Suppose -j = -l*j - 79. Is j composite?
False
Let o(u) = -2*u**2 - 5*u + 4. Let z(v) = -v**2 - 4*v + 3. Let f(n) = -2*o(n) + 3*z(n). Let c be f(-2). Let s(t) = t**3 - 6*t**2 - 10*t + 8. Is s(c) prime?
False
Suppose -4*z = 3*v - 3*z - 258, 0 = -2*v + 2*z + 172. Is v prime?
False
Suppose 4*x - 151 = -l + 1032, 1490 = 5*x + 5*l. Is x composite?
True
Let r(t) = 64*t**2 - 6*t - 7. Is r(-5) a composite number?
True
Suppose 0 = -5*k - 4*d + 4535, -4*k + 1165 = -5*d - 2463. Is k composite?
False
Suppose 5 = -2*i + 1. Let r be 6/(-1)*i/6. Is (4 - 3)/(r/38) a composite number?
False
Let l(n) = -n**2 + 6*n - 5. Let x be l(4). Let j = -86 + 86. Suppose x*y - 2*m + 90 - 443 = j, -5*y - 5*m + 630 = 0. Is y a composite number?
True
Is 6 - (17/(-15) + (-16)/(-120)) composite?
False
Suppose 5*j - w + 1840 = 0, j - 5*w = -4*w - 364. Let q = j + 780. Is q a prime number?
False
Let t(z) = -99*z + 32. Is t(-9) prime?
False
Suppose -a - 3*o = -o + 4, o = -3. Let i(s) = 92*s - 1. Is i(a) prime?
False
Let m = 1311 + -404. Is m prime?
True
Suppose b = -5*l + 2292, -3*b + 4*l + 6961 = 2*l. Is b prime?
False
Let f(a) = -3*a - 7. Let b be (-1 - (-7)/4)*-12. Let n be f(b). Suppose 5*q + 11 = 4*w, q = 5*q - n. Is w a composite number?
True
Suppose 57*q = 52*q + 435. Is q composite?
True
Let z(v) = -24*v**3 - 5*v**2 + 9*v - 21. Is z(-7) a prime number?
False
Let p(s) = s**3 - 12*s**2 + 17*s - 10. Let c be p(11). Is 14/(c/26 - 2) composite?
True
Suppose -2*j = 4*m + 228, -4*j + j + 153 = -3*m. Suppose 0 = n - 62 - 18. Let q = m + n. Is q prime?
False
Let z be 2 + -142*(5 - 3). Let b = z - -109. Let n = -78 - b. Is n prime?
False
Suppose -16 = 5*m - 46. Suppose -3*q = -3*p + 36, 0*p - 2*q + 28 = 2*p. Let n = p + m. Is n a prime number?
True
Let w(c) = c + 8. Let g be w(-6). Suppose -4*s = -3*a + a - 132, g*s + 2*a - 54 = 0. Is s prime?
True
Suppose -u + 2*u + 2 = 2*k, 3*u = 2*k + 2. Suppose -u*h = -7*h + 735. Is (1/(-3))/((-1)/h) prime?
False
Let p(d) = 5*d**3 - 4*d**3 + 12 + 2 - 13*d**2 - 7*d + 1. Is p(14) a composite number?
False
Suppose 4*c - 978 = -2*c. Is c prime?
True
Suppose -3*c - c = -4*l - 40, 5*c - 4*l - 50 = 0. Suppose f = 6*f - c. Suppose 45 = h + f*h. Is h composite?
True
Let g(u) = u**2 - u + 3. Is g(-5) a composite number?
True
Let h(r) = 30*r + 1. Let o be h(8). Let z = o + -152. Is z composite?
False
Suppose 3*h = 2*t + 13, -24 = -5*h + 5*t + 1. Let c(f) = 15*f**2 - 4*f + 4. Is c(h) a prime number?
True
Let y be 3 + 0 + 0 - 166. Let a = 60 - y. Is a a composite number?
False
Let t(w) = -w**3 - 3*w**2 - 2*w + 4. Let j(i) = 4*i**3 + 10*i**2 + 6*i - 13. Let x(o) = 2*j(o) + 7*t(o). Let u be x(2). Is ((-6)/18)/(u/(-1554)) a prime number?
False
Let g be (-166)/(-8) - 15/20. Suppose 1 = 2*r - 7. Suppose -c + 25 = -r*v - g, 0 = -3*c - 2*v + 163. Is c composite?
False
Let z(m) = -13*m**2 + 3*m + 6. Let i be z(5). Suppose r - 3*o + 4 = 0, 4*o - 3 = 5. Is i/(-12) + r/(-6) composite?
True
Is 372/5 + (-2)/5 composite?
True
Suppose -3*l + 149 = v, -389 - 395 = -5*v - 2*l. Let k = 223 - v. Is k composite?
True
Let d = -2271 - -3928. Is d composite?
False
Let l(t) = 9*t**2 + 8*t - 7. Is l(-8) prime?
False
Let f = 359 - 92. Suppose -p = 2*p - f. Is p a prime number?
True
Let t = -47 + -103. Let a = t - -241. Is a prime?
False
Let b = 1456 - 305. Is b a prime number?
True
Suppose 242 + 1001 = h. Is h prime?
False
Let o be 54/10 + (-4)/10. Suppose 2*i - 14 = -r + 25, o*r = 3*i - 65. Suppose -51 = -m - i. Is m prime?
True
Let q = -196 - -8. Let f be ((-49)/2)/(4/56). Let l = q - f. Is l a prime number?
False
Let b be (-22)/(-4) + 6/12. Let c be (6/(-4) - -2)*b. Suppose -4*s + 5*o + 258 = 0, -c*o + 2*o = 3*s - 203. Is s a prime number?
True
Suppose -2 + 10 = 2*a. Suppose 10 = a*b - 3*b. Is b prime?
False
Suppose -3*k + 52 = -329. Is k a composite number?
False
Let j = -10 - -6. Is (326/j)/(1/(-2)) a composite number?
False
Is (-6)/(24/(-116)) + 4 a composite number?
True
Let t be 100 + (0 - (0 - 3)). Let c = 172 - t. Is c a composite number?
True
Is 306 + 2 + (-5 - 0) a prime number?
False
Let j(k) = 1334*k + 3. Is j(1) composite?
True
Let m(g) = 5*g**2 - 3*g + 1. Let y = 1 + 2. Let x be m(y). Suppose -4*i = -97 + x. Is i a prime number?
False
Suppose -z + 1 + 1 = 0. Let v(c) = 9*c**2 + 2. Is v(z) composite?
True
Suppose -5 = -3*j - 2*j. Is 1/(j*3/177) prime?
True
Suppose -3*u - 62 = -4*m + 3*m, 4*m - 3*u = 221. Let n = 252 - m. Is n prime?
True
Let n(d) = -d**3 + 2*d**2 + 2*d + 1. Let y(c) = -3*c**3 + 6*c**2 + 6*c + 2. Let r = -4 - -6. Let u(k) = r*y(k) - 7*n(k). Is u(4) prime?
False
Let x be 6/(3 - 6) - -3. Is (-2)/2*x + 23 prime?
False
Let m(b) = 173*b**3 - b**2 - b. Let f be m(-1). Let q = f - -271. Suppose -g = -3*g + q. Is g a prime number?
False
Suppose -3 = 2*z - 11. Suppose -z*n - 75 = -415. Is n prime?
False
Let f = 614 - 197. Suppose -2*h + l = -4*l - f, 0 = -h + l + 210. Is h a composite number?
False
Let l = -29 - -57. Suppose o - l = -o. Is o prime?
False
Suppose 2*c - 5*c = -4*n + 2, -10 = -5*c. Is -233*((-2)/(-2) - n) a prime number?
True
Let m be (6 - 0)*30/(-9). Let j = m + 5. Is (-5)/(j/(-6)) + 71 a prime number?
False
Suppose 0 = -10*b + 14*b - 8. Is b a prime number?
True
Let z(y) = 17*y - 4. Is z(7) a prime number?
False
Let z(c) = -195*c + 7. Is z(-1) a prime number?
False
Suppose -k + 545 = -360. Is k a composite number?
True
Let r be (-10)/(-8) - (-2)/(-8). Suppose 4*w - r = 15. Suppose -w*p - 8 = 0, 6*q - 53 = 3*q - 5*p. Is q a composite number?
True
Let i(m) = -122*m**2. Let u(q) = 365*q**2. Let a(p) = 11*i(p) + 4*u(p). Is a(1) a composite number?
True
Let c(a) = -2*a - 2. Let z be c(-2). Suppose 3*g + 3*y - z*y = 242, 5*y - 25 = 0. Is g prime?
True
Let c be 52 + -1 - (-3)/(-1). Suppose h - 1311 = -5*j, 5*j + 3*h + c = 1351. Is j a prime number?
True
Suppose -32172 = 11*p - 184093. Is p a prime number?
False
Let o be 2*1*(-15)/6. Let j(f) = -f**3 - 5*f**2 - f - 3. Let s be j(o). Is 5/5*42/s composite?
True
Let b(r) = 2*r**2 - 6*r - 7. Let q be b(6). Suppose -o - l + q + 26 = 0, 149 = 3*o - l. Is o a prime numb