Let a = f - 26. Is a a composite number?
False
Let o(k) = -40*k**3 - k**2. Suppose -2 = 3*y - 5. Let i be o(y). Let c = -27 - i. Is c a prime number?
False
Let u = 176195 + -72822. Is u composite?
True
Suppose 5 - 8 = -m. Suppose 0 = m*a - 3539 - 2998. Is a prime?
True
Let v = 2145 - 3031. Let i = v + 1635. Is i a composite number?
True
Suppose 4*t = 3*t + 5. Suppose 0 = b + 2*h + h - 7, t*b - 4*h + 60 = 0. Is (-2)/(-8) - 374/b composite?
False
Suppose -38*t - 22*t = -3767820. Is t composite?
True
Suppose 0 = -5*b - 4*f + 15288, -12231 = -4*b + 3*f - 6*f. Suppose -6*z + z + b = 0. Let k = z + -363. Is k prime?
False
Suppose -2*o + 0*o + 10 = 0, 5*p = -2*o - 14410. Let z be 0 + ((-1080)/(-105) - (-2)/(-7)). Is p/(-35) - 4/z a prime number?
False
Let d be (16 - 10)*(-4)/(-6). Let u be (10 - d) + 1 + -2. Suppose -5*p = -2*s + u*s - 242, -3*p + 252 = 3*s. Is s prime?
True
Suppose -2*d + 3*t + 19 - 4 = 0, 4*d + t + 5 = 0. Suppose 12*v - 15*v + 3177 = d. Is v a composite number?
True
Suppose -3*a = 693 + 390. Let k = a + 536. Suppose 4*j = 13 + k. Is j a prime number?
True
Let o be (12/18)/(2/(-3)). Is 52 + (-3 - (o - -1)) prime?
False
Let y(h) = 120*h**3 + 2*h**2 + 2*h - 1. Suppose 10*r - 3*r - 14 = 0. Is y(r) prime?
True
Is 27/(-135)*(1 + -55136) composite?
False
Is (-3)/(-6) - 74709/(-18) prime?
False
Let b = 37284 - 22163. Is b a prime number?
True
Let q(w) = -3*w + 1. Let b be q(-3). Let r = 2 + b. Is 93*(16/r - 1) composite?
False
Suppose 4*r + 4 = -12, c + 7 = -3*r. Suppose 11 = -y + c*l, -2*y - 5*l + 3*l = -2. Is 24 - y*(-1)/1 a composite number?
False
Let s = 1455 + 1334. Is s prime?
True
Let s be (-3)/(1/(6/9)). Let v be ((-1)/(-3))/(s/(-24)). Suppose 0 = v*y - 2 - 194. Is y composite?
True
Suppose 20 = 5*h, -4*z + 2041 = 3*h - 67255. Is z composite?
False
Let g(d) be the first derivative of 29*d**2/2 + 26*d + 7. Is g(9) a composite number?
True
Let z(o) = 2*o**2 + 3*o + 9. Let h = 21 - 24. Let x(j) = -3*j**2 - 4*j - 9. Let l(y) = h*x(y) - 4*z(y). Is l(-8) prime?
False
Let m = -21 - -5. Let r = 20 + m. Suppose r*g - 151 + 3 = 0. Is g a composite number?
False
Suppose 3*s - 13 + 4 = 0. Suppose 2*i = -s*i + 20. Suppose -3*q + 3*l + 408 = 0, -i*l = 2*q - 0*q - 254. Is q a composite number?
True
Let d(k) = 2*k + 6. Let h be d(0). Suppose -h*u = -u - 17285. Is u composite?
False
Is 2*137 - (-3 - (-18)/6) composite?
True
Let a(d) = 265*d**3 + 4*d**2 - 3*d. Let c be a(1). Is c - (10/(-60) - (-19)/6) prime?
True
Let v = 14 - 9. Let n(c) = -c**3 + 6*c**2 - 4*c - 3. Let j be n(v). Suppose -w = 4*s - j*w - 1185, 4*s + 5*w = 1155. Is s prime?
False
Suppose 0 = 3*l - 453 + 336. Is l a prime number?
False
Suppose -660*x = -656*x - 83156. Is x prime?
True
Let t = 19030 - 9863. Is t a prime number?
False
Suppose 2*g - 68 = -5*t, 2*t = 9*g - 6*g - 64. Is 1/(-2) + 7380/g a composite number?
False
Let l(r) = -559*r + 181. Is l(-18) composite?
False
Suppose 487 + 1848 = 5*x. Is x composite?
False
Suppose 5 = o, -x - 14*o = -10*o - 8679. Is x prime?
False
Let l = -44 - -143. Suppose -z - l = -4*z. Is z composite?
True
Suppose -2126 = -2*q + 2460. Is q a prime number?
True
Suppose 4*m - m = 657. Let s = 1002 + -1072. Let y = m + s. Is y composite?
False
Suppose -2*c + 3 = -1. Let z(u) = 8*u - 10 + 5*u + 4*u + c*u. Is z(5) a prime number?
False
Let j(v) = 825*v**2 + 5*v + 3. Is j(5) prime?
False
Suppose -503570 = 1064*b - 1074*b. Is b a composite number?
True
Let m = -21 - -24. Is (-3 - -2)*(-722 + m) composite?
False
Suppose 7*s + 20 = 9*s. Suppose 5*i - 10*i = -s. Is (13 - i)*66/6 composite?
True
Let c(i) = -10*i + 41. Let b be c(6). Let t = 15 - b. Is t prime?
False
Let d = -19603 + 48022. Is d a prime number?
False
Let x(f) = 24*f**2 + 4*f - 1. Suppose -2*n + 4*n + 4*y = 24, -5*n + 2*y = -48. Let c(a) = -a**2 + 12*a - 14. Let k be c(n). Is x(k) a composite number?
False
Let q be 32/14 + (-20)/70. Suppose -4*d - q*s = 12, 2*d + 4*s + 3 + 15 = 0. Is d/(4/(-12)) + 22 a prime number?
False
Suppose 4*c = -4*j + 17496, -9*j + 8*j = -5*c + 21864. Is c a composite number?
False
Let z(x) = 16*x**2 + 5. Let o be 1 + (3 - (1 + 0)). Is z(o) a composite number?
False
Let g = -8 - -5. Let p be -2*2/4 - g. Suppose -v - p*v = -255. Is v composite?
True
Let o(j) = -4*j + 2 - 4*j + 3 + 6*j**2 + 4*j. Let l be o(7). Suppose 0 = -2*v + 3*i + 107, 0 = -0*v - 5*v + 4*i + l. Is v composite?
True
Let m = 1554 - -3563. Let q = -1174 + m. Is q composite?
False
Suppose -7*t + 514 = 73. Let u = -43 + t. Suppose -u*z + 85 = -19*z. Is z a prime number?
False
Let j = 1020 - -1133. Is j prime?
True
Suppose -7 = d - 4*d + x, -4*d - 2*x = -6. Is (d - (-10)/(-4))*(-2946)/3 a composite number?
False
Let q(r) = -21*r**3 + 5 - 16*r**3 + 19*r + 38*r**3 - 4*r**2. Is q(11) a composite number?
False
Let g = -207 + 265. Let c be 128/(-6) + (-2)/(-6). Let z = c + g. Is z a prime number?
True
Let m(w) = w**3 - 3*w**2. Let n be m(3). Suppose n = -5*y - 2 - 8. Is (-1673)/(-5) - y/5 a prime number?
False
Let y = -34 + 41. Let s(f) = 25*f**2 - 16*f + 8. Is s(y) a composite number?
True
Let q(x) = -48*x**3 - 12*x**2 + x - 7. Is q(-6) a prime number?
True
Let q(u) = 1450*u**2 + u - 6. Let j be q(-3). Is j/15 - (-6)/(-15) a composite number?
True
Suppose 4*q + 26 = -2*p, -5*p + 1 = -2*p - 2*q. Let b be 2*p*212/(-24). Suppose -g + b = -0*g. Is g a prime number?
True
Suppose l = -g + 953, 3*l - 2*l - 961 = -5*g. Is l a prime number?
False
Let j(h) = -h**3 - 3*h**2 + 2*h - 8. Let o be j(-4). Suppose 10*q - 6*q - 5372 = o. Is q a prime number?
False
Let y(g) be the second derivative of 34*g**4/3 - 2*g**3/3 - 37*g**2/2 - g + 3. Is y(-5) prime?
False
Let a(o) = 4*o - 8*o**2 + 2*o**3 - o - 8 - 8*o. Is a(7) a composite number?
False
Let u(n) be the third derivative of -113*n**6/120 + n**5/20 + 7*n**4/24 + 5*n**3/6 - 47*n**2. Is u(-2) a composite number?
False
Suppose -8*t + 71493 = -28339. Is t a prime number?
True
Let m be (-3)/(-6) + (-635)/2. Let w(x) = -169*x**3 + x**2 - 3*x + 3. Let r be w(1). Let a = r - m. Is a composite?
False
Let j(d) = -d + 12. Let a be j(7). Suppose 3*v - a*v = -758. Is v a composite number?
False
Is ((-7796)/(-16))/(-2 + (-932)/(-464)) a composite number?
True
Let j = 56 + -27. Suppose 4*u - 30 = -5*x + 21, -3*x - 4*u + j = 0. Let q = 45 - x. Is q composite?
True
Let o(h) = -h. Let r be o(-2). Suppose 5*x = 17 + 8, -r*b + 5*x - 255 = 0. Let y = -60 - b. Is y composite?
True
Let i(u) = u**3 - u**2 + 5*u - 8. Let s be i(4). Is (s/(-25))/6 + (-7327)/(-5) a prime number?
False
Let n = 3784 + -1007. Is n composite?
False
Let u(s) = -7737*s + 53. Is u(-2) composite?
False
Suppose 6*f = 16*f + 690. Let x = f + 336. Is x composite?
True
Is 9287 + (40/(-8) - 5) composite?
False
Let b(i) = 3*i - 3. Let z be b(3). Suppose -z*d + 40 = -d. Let t(c) = 4*c - 9. Is t(d) prime?
True
Suppose -12 = -2*l - l. Suppose 3*w - 5*w + l = 0. Suppose 0 = -2*q - n - 2*n + 75, 4*n - 74 = -w*q. Is q composite?
True
Let v = 1167 - 434. Is v a prime number?
True
Suppose x + v = -8, v = x + 3*v + 13. Let f be (-5 - (x + -1))/(-1). Let c = f - -36. Is c prime?
True
Let s = 6 - 6. Suppose 0 = -h + 5 - s. Suppose 0 = -2*g - 0*k - 2*k + 334, 4*g - h*k - 632 = 0. Is g a prime number?
True
Let l(j) = -683*j + 8. Let b be l(3). Let y = -1388 - b. Is y a prime number?
True
Let i = 79969 - -454. Is i prime?
False
Let y(z) = 30*z + 8. Let j(d) = -9 - 2*d - 4*d**2 - 188*d**3 + 187*d**3 - 4*d**2. Let g be j(-8). Is y(g) composite?
True
Let c(v) be the first derivative of v**3/3 - v**2 + 16*v + 15. Is c(15) a composite number?
False
Let w(p) = 373*p**3 - p + 1. Let l be (12/(-8))/(4/(-8)). Suppose z - 4*z = -l. Is w(z) prime?
True
Let l(k) be the first derivative of -k**4/4 + 7*k**3/3 - 3*k**2 + 3*k + 3. Let u be l(6). Is -8*(15/(-12) - u) a composite number?
True
Suppose 0 = -3*y + a - 10 - 13, -19 = -y - 5*a. Let c(v) = -170*v + 7. Let i be c(y). Suppose 0 = 4*d + 3*t - i, 0 = -d + 2*d + 2*t - 253. Is d a prime number?
False
Let d = 17375 - -25662. Is d a composite number?
False
Suppose 6 - 46 = -8*q. Is 1 - 1 - -82 - q a prime number?
False
Let u(y) = -y**2 - 14*y + 3. Let c be u(-4). Let b = -27 - -117. Suppose -q + c = -b. Is q composite?
True
Is 1055987/402 + 2/12 prime?
False
Is (-20)/(-70) - (-5 + 269888/(-14)) a prime nu