. Let f = m - 1638. Is f prime?
False
Let m(q) = q**3 + 5*q**2 + 6*q + 5. Is m(6) prime?
False
Let n = 293 + -164. Is n prime?
False
Suppose 0 = l - 15. Is l a prime number?
False
Suppose 4*s - 4*t + 1 = -3, -5*s = -3*t - 1. Let z(f) = 2*f + f**s - 4*f**3 - 2 + f + 3*f**3. Is z(-3) a composite number?
True
Is 3*-53*2/(-6) a prime number?
True
Let i(l) = l**3 - 4*l**2 + 6*l - 2. Suppose 2*r + 2*r - 3*v - 8 = 0, -18 = -2*r - 2*v. Is i(r) a composite number?
False
Let q be 316/(-10) + (-10)/25. Let o = q + 70. Is o prime?
False
Suppose 2*w = 5*f - 27, 2*f + w = f + 11. Suppose -13 = -4*y + f. Suppose -4*a + 0*r = y*r - 497, -a = -5*r - 118. Is a a prime number?
False
Is (-5)/(50/4265)*-2 a prime number?
True
Let r(j) = 41*j + 34. Is r(11) a composite number?
True
Let k = 190 + -33. Let h = 464 - k. Is h a composite number?
False
Let j be 3/(3*(-1)/(-10)). Is j/25 + 466/10 a prime number?
True
Suppose 6 = -a - 0. Let p(t) = -t**2 - 2*t + 4. Let g(l) = 3*l - 5. Let m(c) = a*p(c) - 5*g(c). Is m(2) a prime number?
True
Suppose w + 4*j + 8 = 0, -5*j - 6 = -w - 2*j. Suppose -3*s + s = w. Suppose s = -5*z + 4*c + 377, -10 = -4*c - 2. Is z composite?
True
Suppose x - 216 = -3*s + 280, -4*s + x + 673 = 0. Is s a composite number?
False
Suppose -3*z - 2*x + 7*x = -112, -3*x + 198 = 5*z. Suppose -5*p + 56 = -z. Is p prime?
True
Let v be (-1 - 0)/((-4)/(-8)). Is 9/3 + v + 84 a prime number?
False
Suppose -4*o - 73 = -b - 6*o, -5*b = 4*o - 341. Is b prime?
False
Suppose 4*m + 4 = -0*y - 4*y, -22 = -3*m + 2*y. Let s(z) = 42*z - 3. Let f be s(m). Let q = -116 + f. Is q a composite number?
True
Is (-2 + 3)*-1*-1097 composite?
False
Let x = -3 + 6. Let r be (7/x + 0)*9. Suppose -j + 2*j - r = 0. Is j composite?
True
Is ((-2)/2)/((-4)/9012) composite?
True
Let d(g) = g**2 - 24*g + 9. Is d(-20) prime?
False
Is (1191/6)/(3/6) a prime number?
True
Suppose -j + 571 = 3*j - d, 5*d + 299 = 2*j. Is j prime?
False
Suppose 0 = -o + 2, -5*o = 4*u - u - 3649. Is u a prime number?
True
Suppose 0 = -3*f + 9, 2*h - 2*f + 1441 = f. Is 1*(2 + h/(-4)) a composite number?
False
Suppose -3*n + n + d + 9 = 0, -2*d = 2. Let f be (2/n)/(2/88). Suppose -2*b - f = -3*b. Is b a composite number?
True
Is (-1)/(10/(-115))*4 composite?
True
Let l(q) = 4 - 50*q - 106*q + 15*q. Is l(-5) composite?
False
Is -111*(44/(-12) + 2) a prime number?
False
Suppose -2*g + 3*g = 0. Suppose 5*h = 5*n - 45, g = -n + 5*n - 2*h - 40. Is n a prime number?
True
Suppose 0 = 6*p - 2*p + 3*g - 1174, -889 = -3*p + 2*g. Is p a composite number?
True
Let v(q) = -23*q**3 + 3*q**2 + q + 3. Let z be v(-3). Suppose 2*l - 485 = -3*c, -4*c + 0*c + z = 2*l. Is c composite?
False
Let k be (-2)/(((-5)/2)/5). Suppose -a + 6*a + 355 = 3*v, k*v - 445 = a. Suppose 3*j = -2*j + v. Is j prime?
False
Let h = 361 - 102. Is h composite?
True
Suppose -5*r + 3*g + 12 = -3*r, 24 = 4*r + g. Let f be ((-10)/3)/(r/(-9)). Is (f + -1)*138/24 a composite number?
False
Let i(z) = z**3 + z**2 - 1. Let p(l) = 33*l**3 + l**2 + 3*l - 4. Let t(b) = -4*i(b) + p(b). Is t(2) composite?
True
Let d(v) = -v**2 + 3*v - 3*v**3 + 4 + 5*v**3 + 7*v**2 - v**3. Is d(-5) prime?
False
Suppose 2*w + 4*v - 39 - 35 = 0, -w - v + 37 = 0. Is w a composite number?
False
Is (-2 - (-3 + -3)) + 243 prime?
False
Let w = -3238 - -5037. Is w composite?
True
Let c(l) = -5*l**2 - 4*l. Let g be c(-5). Let d be g/(-10)*(-8)/(-3). Suppose -j + 5 = -d. Is j composite?
True
Let h be ((-11)/(-44))/((-1)/(-4)). Is (-1)/((3/(-177))/h) a prime number?
True
Let i(s) = -s + 1 + 10*s + 5. Let r be i(-4). Let x = 61 + r. Is x a prime number?
True
Let r = -122 - -25. Let q = -53 - r. Is (q - 2 - -2) + -1 prime?
True
Suppose 0 = 5*c + z + 27, 3*z = -0*z + 9. Let g = -6 - -18. Is (3/(-2))/(c/g) composite?
False
Let b = 58 + -118. Let o = b + 119. Is o a prime number?
True
Let u be -7 - -11 - (0 + -1). Suppose -2*g + u*g - 1830 = 0. Suppose 0 = 5*l - g + 125. Is l prime?
True
Let a(q) = 15*q - 4. Let l be a(-2). Let w = l - -113. Is w prime?
True
Suppose 0*w = -w + 487. Is w a composite number?
False
Let k(p) = -p**2 - 2*p**3 - 5 + 10*p + p**3 + 11*p**2. Is k(8) a composite number?
True
Let q = 457 - -84. Is q a prime number?
True
Let t(b) = 2*b**2 + 11*b - 9 - 6*b - 8*b - b**2. Is t(8) a prime number?
True
Let f = 2893 - 1184. Is f prime?
True
Suppose 1 = o + 3*y - 2, -1 = 2*o - y. Suppose -2*a + 140 + 54 = o. Suppose 5*c = -5*v + 185, 5*v = -2*c + a - 11. Is c composite?
True
Let f be (-4)/(-10) + (-16)/(-10). Is 6671/35 - f/(-5) composite?
False
Let s be 2/(1 - 10/6). Is 62/(17/5 + s) a composite number?
True
Suppose -3*a = a - 3260. Is a a prime number?
False
Is (-2)/3 + (-31234)/(-42) a composite number?
False
Let c(w) = -2*w + 2*w + w + 3 + w**2. Let b be c(0). Suppose -d - 10 = -s + 24, b*s - 96 = 5*d. Is s a composite number?
False
Is (442 + 1)/(1/5) composite?
True
Suppose 25 = 5*p - 0*p. Suppose p*q - 5 = 3*i - 29, 4*i - q = 15. Suppose 2*u = 9 - i. Is u a prime number?
True
Suppose -4*s + d = -8 - 11, 2*s - d - 11 = 0. Let g(j) = -2*j - 4. Let u be g(3). Is u/s*(-27 + 5) a composite number?
True
Suppose 0*r + 30 = 3*r + 5*y, 5*y = -r + 20. Let u(c) be the first derivative of 9*c**2 + c - 1. Is u(r) prime?
False
Suppose -6 = y + 4*b, -y + 3*b - 1 = 2*b. Is (-1)/(y*(-1)/(-658)) a composite number?
True
Suppose -2*y = -2*s + 3*y - 67, -2*s - 4*y = 76. Is (-2420)/s - (-4)/(-18) a prime number?
True
Let w(l) = -l**2 + 6*l - 3. Let t be w(5). Suppose t*n + 2 = 10. Suppose 0 = h - 6*h - f + 70, -n*f + 14 = h. Is h composite?
True
Let h be (-2 - -6)*3/(-4). Let d(o) = -10*o**3 - 3*o**2 - 2. Let t be d(h). Let v = t + -32. Is v prime?
False
Suppose 5*f - 3292 = 3*a, -3*a + 636 = f + 2*a. Suppose -3*y = -5*r + f + 773, -2*y + 578 = 2*r. Is r a composite number?
True
Let m = 8 + -3. Suppose -4*q - 4*o + 2*o + 210 = 0, -261 = -m*q - 4*o. Is q a composite number?
False
Suppose -a = 214 + 77. Let d be a - (-3 - 0/(-2)). Is 1/(-5) + d/(-15) a composite number?
False
Let i be 3/(-2)*(-32)/6. Let p be (-2)/(-8) - (-38)/i. Suppose -a = -0*k + p*k - 484, -5*k + 488 = -3*a. Is k composite?
False
Let k(g) = 41*g**2 - 2*g + 4. Is k(3) composite?
False
Let f(z) = 72*z + 1. Is f(2) prime?
False
Suppose 3*i = -i + 16. Suppose -2*x = 4*h - 30, 0 = i*h - h. Is x prime?
False
Let h(u) = -7*u - 5. Let z be (6 + -2)/(-1*1). Is h(z) a prime number?
True
Suppose -4*m + 409 = -3*m. Let s = 654 - m. Suppose 3*r = -2*r + s. Is r a prime number?
False
Let s(o) be the third derivative of o**7/2520 - o**6/240 + 3*o**5/40 + o**4/12 + o**2. Let i(q) be the second derivative of s(q). Is i(8) composite?
True
Let o(g) = -5*g - 1. Let m(b) = -36*b - 6. Let r(p) = -4*m(p) + 27*o(p). Is r(8) composite?
True
Let q(w) = -2*w**2 + 26. Is q(0) a prime number?
False
Let l(s) = s - 3. Let i be l(5). Suppose -2*r = -r - i. Is (64/1 - -1) + r a prime number?
True
Let d(u) = 4*u**3 - 9*u**2 - 8*u - 12. Is d(7) composite?
False
Let m(l) = l**3 - 6*l**2 - l + 6. Let r be m(6). Let z(v) = v**2 - 3*v + 4. Let a be z(3). Suppose r = a*f + f - 50. Is f a prime number?
False
Suppose 2*y - 5*i = -4*i + 6, i - 24 = -4*y. Suppose -2*k = -5*n - 555, y*k + 2*n + 532 = 1847. Let x = -110 + k. Is x a composite number?
True
Suppose 2*p + b = -b + 12752, 2*b + 31901 = 5*p. Is p a prime number?
True
Let n = 363 + -194. Is n a composite number?
True
Let k = -205 - -393. Is ((-10)/(-4))/(2/k) prime?
False
Let a = 129 + -291. Suppose g + 161 = -5*q - 83, 5*g - 4*q = -1133. Let u = a - g. Is u prime?
True
Let t = -18 + 41. Let o(y) = 6*y - 5*y - 3*y + t*y**2 + 1. Is o(2) a composite number?
False
Let n(t) = t**3 - 6*t**2 + 5*t + 4. Let h be n(5). Suppose -u = h*u - 15. Is (15*2/u)/1 a prime number?
False
Let m = -17 - -15. Is 412/(-16)*(m + -2) composite?
False
Let x(k) = -k**3 + k**2 + 2*k + 521. Is x(0) composite?
False
Is 1084/20*15/3 prime?
True
Suppose -2*c + 9 = -5*n - 4, -4*c + 5 = -3*n. Let b be 5/((3 - 1) + c). Suppose b*p = -o + 5*o + 45, 3*p = -o + 44. Is p a prime number?
True
Let a be 2/(-4)*-2*23. Suppose -a = -3*n + 1. Suppose t - 18 = -0*t - x, 2*x = n. Is t composite?
True
Let b = -1257 + 2048. Is b prime?
False
Let u = 51 + -33. Let p = 9 + -3. Is ((-53)/(-3))/(p/u) composite?
False
Let y(h) = 17 + h**3 - 13 - h**2 - h + 43. Suppose 1