4. Is o(n) prime?
True
Let c = 768 - 768. Suppose -30*m + 27*m + 11361 = c. Is m prime?
False
Suppose -6*a - 142 = 194. Is 8/(a/(-6351)) - (-4)/(-14) prime?
True
Let z be (-5 - -9 - 7)/(-1). Suppose 6*h = 4*o + h - 5373, 4032 = 3*o - z*h. Is o a composite number?
True
Let l(p) = -465*p**3 + p**2 + 2*p - 1. Let k be 2*(-1)/(-3)*-3. Is l(k) prime?
True
Let y(r) = -22*r + 6*r - 23*r - 15 + 32 - 8 + r**3 + 20*r**2. Suppose 5*w = 5*f - 85, -2*w - 4*f - 27 = 1. Is y(w) a composite number?
False
Let d(v) = -1266*v - 6431. Is d(-68) a prime number?
True
Let u(v) = -v**2 + 3*v + 3. Let y be u(4). Let i = 543 + -533. Is y/(i/4) + (-3510)/(-150) prime?
True
Suppose 221*w - 1569610 - 61087 - 234764 = 0. Is w a composite number?
True
Let z be (3 + -7 + 7/2)*4. Is z + ((-25575)/(-12) - 11/44) a composite number?
False
Let j(q) = 112*q**3 - 2*q**2 - 10*q - 4. Let x be j(-2). Let d = 2837 + x. Is d prime?
True
Let a = 20 - 17. Suppose -4*k + 14 = 5*c - 0*k, 7 = 2*c + a*k. Suppose -2*z + 2*g = -72, 0 = -5*z + c*z - g + 88. Is z a prime number?
True
Suppose 2*t = -5*q - 103, 5*t + 4*q = -0*t - 266. Is (-81)/t - (-4663)/2 a prime number?
True
Let c(n) = 6*n**3 + 9*n**2 - 11*n - 16. Let m be c(-8). Is (m/(-96))/((-2)/(-328)) prime?
False
Is (-1 - -2)*(306412 + 3) a composite number?
True
Let n(m) = m**2 + 46*m - 125. Is n(24) a composite number?
True
Let r = 543918 - 291991. Is r composite?
True
Suppose 6*v = 3*v + 2*s + 11, 11 = 5*v + 4*s. Suppose -7*n = -v*n - 41196. Is 1/(6/n) - (-3)/6 a composite number?
True
Let x(k) = k**2 - k - 3. Let r(t) = -8*t**2 + 73*t + 10. Let y(w) = r(w) + 2*x(w). Is y(11) composite?
False
Suppose 7*o - 6 = 8. Suppose o*d + 3 = w, -3*w + 2*w - 3 = 4*d. Is 5507/(-7)*d + 4/14 composite?
False
Let d = -183 - -287. Let b = d - -1173. Is b composite?
False
Let v be (6 - 9 - 5) + 2*1. Let c be ((-4)/v - (-7 - -11))*-318. Let k = c + 1485. Is k composite?
True
Suppose -3*h - 4*n + 13 = 0, -h + n - 2 = -4*n. Suppose 0 = -5*f - h*v - 37 - 8, f + 9 = 3*v. Is (-332 - -1)/(-10 - f) a composite number?
False
Let t(r) = 2*r + r - 3*r - 5*r**2 - 188*r**3 + 9 + 2*r - 5*r. Is t(-5) composite?
False
Let q = 650 + -643. Suppose 0 = 5*j + 2*t - 194519, j - 3*t - 38911 = -q*t. Is j composite?
False
Suppose -a - 127768 = -3*d - 6*a, -d - 5*a + 42586 = 0. Is d a prime number?
False
Is (-4)/(-46) + 874958900/2300 a prime number?
True
Let t(p) = -p**2 + 5*p + 3. Let v be t(6). Let i(c) = -34*c - 380*c - 284*c - 22 + 133*c. Is i(v) a composite number?
True
Let v(r) = 326*r**2 - 20*r - 83. Is v(15) prime?
False
Let p(q) = 6*q**2 + 70*q + 171. Is p(50) prime?
True
Let b(n) = -n**3 - 23*n**2 - 47*n + 12. Let l be b(-21). Suppose -x + 194 + l = 0. Is x a composite number?
False
Suppose -30*s + 31*s = 32. Suppose 20*i = s*i - 66084. Is i prime?
True
Let y be (-5)/20 + 81/(-12). Let r(z) = 2*z**2 + 14*z + 1. Let v be r(y). Let n = v - -105. Is n composite?
True
Let y = -316433 - -537736. Is y a prime number?
True
Let x(l) = 5*l**3 + 8*l**3 + l - 1 + l**2 - 2*l. Let r be x(-1). Let p = 13 - r. Is p prime?
False
Suppose -117*n + 115*n + 327586 = 0. Is n a prime number?
False
Suppose 23*k + 11*k = -k + 2909795. Is k prime?
True
Let w(k) = -265. Let o(t) = -t. Let n = 19 + -25. Let x(u) = n*o(u) - w(u). Is x(0) composite?
True
Suppose -4*a - 27 + 71 = 0. Suppose a*n - n = -100. Is (-2)/n*2 + 203763/105 composite?
True
Let r(c) = 2*c**3 - c**2 - 7*c - 11. Let a be r(6). Suppose 4*z - a + 15 = 0. Let h = 185 + z. Is h composite?
True
Let i = -9942 + 17132. Is i/6 - (-17)/(-51) composite?
True
Let m(r) = 1. Let y(t) = -6*t**3 - t**2 + 3*t - 21. Let l(a) = 2*m(a) + y(a). Suppose 481 = -48*k + 145. Is l(k) a prime number?
False
Let h(w) = -27*w**2 + 5*w + 2. Let f be h(-1). Let b be ((-3)/2)/(2*f/80). Suppose -2*g = -4*o - 3176 + 86, -b*g + 5*o = -3094. Is g prime?
False
Is 15/(-10)*((-1543724)/(-42))/(-13) prime?
True
Suppose 3*d - 5*d = 0, 5*n - 4*d - 701245 = 0. Is n a prime number?
True
Suppose 3*v + 61304 = k, -4*k + 180228 = 2*v - 64904. Is k a prime number?
False
Suppose -8*q = -4*l - 13*q + 17, -4*l - 3*q = -15. Is (1/l)/((-1)/6) + 669 prime?
False
Let t be (-489945)/(-21) - 20/(-70). Suppose o = 6*h - h + 7766, 0 = 3*o - 4*h - t. Is o prime?
False
Suppose 5469*t - 5454*t - 240029 - 170026 = 0. Is t prime?
True
Let h = -6211 - -66914. Is h prime?
True
Let g = -1358 + 888. Is (3 - 1)*g/(-20) a composite number?
False
Suppose -3*u - 20*i + 19*i = -30, -3*u + 30 = 2*i. Is 4/u - 470691/(-135) composite?
True
Let p be 26/(-3)*(-7)/14*54. Let a(f) = -6*f**2 + 2*f - 7. Let j be a(7). Let g = p - j. Is g composite?
False
Let i = 204 - 197. Let w(u) = 52*u**2 + 18*u - 3. Is w(i) a prime number?
True
Let x be 3 - (8/(-6) - (-16)/(-24)). Suppose 0*j = x*j - 28115. Is j a prime number?
True
Suppose -5*c = 3*x - 25 + 94, 3*c + 45 = -2*x. Is (117891/x - -3)/(1/(-2)) a composite number?
False
Let f = -358259 - -1034130. Is f composite?
True
Suppose 4*p + 53171 = 4*f + 9*p, 4*f + 2*p = 53174. Suppose 3*o = 12, -2*h + 8*o = 13*o - f. Is h prime?
True
Let c(i) = i**3 + 4*i**2 - 3*i + 9. Let n be c(-5). Let r be (3 - -1233) + n + -2. Suppose 4*k = k + r. Is k a composite number?
True
Let p = -507523 + 756560. Is p a prime number?
True
Suppose 23*v - 21*v - 11190 = -b, 4*v - 22368 = b. Let q = v - 3746. Is q composite?
False
Let x(p) = 177*p**3 + 17*p**2 - 21. Is x(12) composite?
True
Suppose -13 - 3 = -4*h. Let j = -3 + h. Suppose 5*n - 4263 = d, 4*d - 9 = -j. Is n prime?
True
Suppose 595045814 = 140*s + 102*s. Is s prime?
True
Suppose -4*o - q + 238968 = 0, -119470 = -40*o + 38*o - 4*q. Is o a composite number?
False
Suppose -3059 = 3*u - i - 0*i, 4*u + 4068 = 4*i. Let n = u + -784. Let t = n - -3340. Is t a prime number?
False
Suppose 3*h = 8*h + 5*x - 1310, -3*x = h - 254. Suppose -h = -r - 199. Is r a composite number?
False
Let a = -38 + -38. Let w = 18 - a. Is w prime?
False
Let f(l) be the first derivative of 55*l**3 + 18*l**2 - 8*l - 122. Is f(13) a prime number?
False
Let b be (-8 + 2)*-5*160/(-6). Let f = b - -1353. Is f prime?
False
Suppose 3*a = -9, -a - 3*a = -4*z - 4. Is (-1 + 3)*(6555/2 + z) a composite number?
False
Let w = 20939 - 5512. Is w a composite number?
False
Suppose 4*l + 5*v = -l + 25, -4*v + 20 = 2*l. Suppose 0 = -6*z + 6*z + 3*z. Suppose -2*a + 197 = -3*x, l = -z*x + 4*x - 12. Is a prime?
True
Suppose 13*a + 9 = 10*a + 5*u, 0 = 4*a - 5*u + 7. Suppose n - 1126 = 3*y - 7*y, -3*n - a*y = -3348. Is n composite?
True
Let t be (-12)/15 + (3 - 318956/(-20)). Let h = t + -9753. Is h composite?
False
Suppose 0 = 4*h - 28*t + 24*t - 16, 5*t - 5 = 0. Suppose -h*c + 3*s = -13794, -2*c - 5*s + 1744 + 3755 = 0. Is c a prime number?
False
Let a(f) = 21261*f**2 - 27*f - 1. Is a(-4) prime?
True
Suppose 3324 = 11*g - 2440. Suppose -m = 3*a - 766, g = -32*a + 34*a + 4*m. Is a prime?
False
Let j be (-9 + 60)/((-3)/(-2)). Suppose -s - 49 = j. Let a = 420 + s. Is a a composite number?
False
Let o be 10 + 1 + -2 + 8/(-2). Let t(q) = 34*q + 9. Is t(o) prime?
True
Let k(w) = -w**3 - 11*w**2 - 25*w - 56. Let m be k(-9). Let b(t) = 301*t**2 - 6. Let z be b(-5). Suppose -m*s = -z - 5480. Is s a composite number?
True
Let n be 2/7 - 216/21. Let v(f) be the third derivative of -91*f**4/24 - 3*f**3/2 - 365*f**2. Is v(n) a composite number?
True
Let c be (-1 - -9)/4 + 1. Suppose -d + c*d - 22 = 0. Suppose -777 = 4*t - d*t. Is t a composite number?
True
Let f = 147721 - 91472. Is f a prime number?
True
Let q(f) = -20*f**3 + 4*f**2 + 6*f + 2. Let i be q(-1). Let n = -32 + i. Is (n/(-4) + -2)/(3/4395) a composite number?
True
Let a = -226 + 546. Suppose 0 = 5*j - 3*m - 1769, a = 2*j - 2*m - 386. Is j composite?
True
Let p(s) = 5*s**2 + 67329. Let c be p(0). Suppose -w - 3*w - 8 = 0, -5*l + 2*w = -c. Is l a composite number?
True
Suppose -1011 + 15400 = v. Let q = v + -5150. Is q composite?
False
Suppose 52 = -4*c + 52. Suppose c = -0*i - 2*i + 1226. Is i a prime number?
True
Suppose 2*l + 0*n - n - 2 = 0, -3*n = -2*l - 6. Suppose -2*t - 6879 + 52158 = l*y, -3*y + 3*t + 45264 = 0. Is y prime?
True
Is -15 + (1 + 903159)/5 composite?
False
Let u = -840 + 845. Let k(f) = 539*f + 105. Let w(c) = -135*c - 26. Let t(h) = -2*k(h) - 9*w(h). Is t(u) a prime number?
True
Let z(t) = -6*t + 7. Let