site?
True
Let l(a) = -15881*a - 8387. Is l(-8) a prime number?
True
Let i(k) = -k + 40. Let c be i(0). Suppose v - 2*v - c = 4*m, 2*v = 0. Is m/(1 - -4) - -1633 a composite number?
True
Let i(n) = 2058*n + 4. Let h be i(2). Let f = 8087 - h. Is f composite?
False
Suppose 60*p - 139*p = -109*p + 6792330. Is p prime?
False
Let x be (0 + 10/(-6))/((-12)/(-41508)). Let y = x + 11350. Is y a prime number?
False
Let f = 29 - 22. Suppose 5265 = -f*g + 8*g. Suppose 4*m - m - 4*x - g = 0, -x + 3 = 0. Is m composite?
False
Let n be (-3 - (-28)/8)*24/2. Let i(p) be the third derivative of p**6/120 + p**5/15 - 5*p**3/6 - 12*p**2. Is i(n) a prime number?
False
Suppose -3*w - u + 9 = -41, u = -4*w + 65. Suppose w*z - 14*z = 1657. Is z composite?
False
Let q(z) = 614*z**3 - 83*z**3 + 0 + 7 - z - z**2 - 37*z**3. Is q(2) composite?
True
Let m = -29 + 34. Suppose -5*q = 5*u - 4330, q - 876 = -m*u + 2*u. Let w = 1474 - q. Is w a prime number?
True
Let t be ((-4)/(-8))/(3/(-6)). Let n be t/(4/8) + 2*3. Suppose -n*h = a - 5*a + 4268, 0 = h. Is a a composite number?
True
Let c be (10 - 0)/(7 + 95/(-15)). Suppose 1964 = a + 3*k, 0*k = -5*k - c. Is a a composite number?
False
Suppose 13*p - 7458 = 10*p. Let k be p/(-8) + (-15)/60. Let i = 733 + k. Is i composite?
True
Let s(l) = 2*l**2 + 56*l - 112. Let h be s(-30). Is (526/h*22)/((-2)/(-4)) composite?
True
Let g = 146 - 143. Suppose d + g*d = 1268. Is d composite?
False
Suppose -4*g = -2*b + 5 + 19, -2*b - 5*g - 12 = 0. Suppose -b*d = 29 - 9, 5*d - 2697 = -2*h. Is h prime?
True
Suppose -896103 = -140*r + 129*r + 4006014. Is r a prime number?
False
Suppose -5*c + 25 = 0, 2*p + p - 15 = -3*c. Suppose -6*n + n = p. Suppose -k + 102 + 271 = n. Is k a prime number?
True
Let r = 82 - 82. Suppose r = -v - 4*v + 14075. Is v prime?
False
Let z(f) = -204*f**3 + 11*f**2 + 74*f + 1384. Is z(-17) prime?
False
Let s = 51 + -49. Let d(r) = -r**3 + 3*r**2 - r + 2. Let u be d(s). Suppose 0 = -4*p + q + 1329, 5*p - 3*q - 346 = u*p. Is p prime?
True
Let l = 180830 + -81841. Is l a composite number?
True
Let y be 4/(-3 - -1) + 7. Suppose y*p + 5101 - 19256 = -2*r, 0 = 3*r. Is p a composite number?
True
Is (10021/33 + -16)*753 prime?
False
Let r = -757 + 1263. Is 829288/r - 2/(-22) prime?
False
Is 6 - (-109562 + 6/(-18)*-3) composite?
False
Suppose 2*r - 2*z = 87555 + 493157, 0 = 2*r + z - 580703. Is r a composite number?
True
Suppose -x - 2*x = 4*u + 79, x + 33 = -3*u. Let p = 44 + x. Suppose -4*d + 72 = -w, -d + 0*d - w + p = 0. Is d composite?
False
Let d(b) = 42*b**3 + 18*b**2 - 16*b + 617. Is d(18) composite?
True
Let a(j) = 268*j - 21. Suppose -33 = -5*z + d + 2*d, 20 = 5*d. Suppose -k = -z*k + 184. Is a(k) a prime number?
True
Suppose 0*z - z - 5*q - 1146 = 0, -5*z - 5786 = -3*q. Let y = z - -4403. Is y prime?
False
Suppose -5*d = 3*i + 7, 4*i = -0*d - 3*d + 9. Let l be i/(-6) + 1 - 1. Is -4 + 672 + 4 - l composite?
False
Let g = 18 + -27. Let r(y) be the first derivative of -8*y**2 + y - 22. Is r(g) a composite number?
True
Suppose 4*j = -4*z + 8, -4*z + 8 = -2*j + 30. Is 422/(-6)*((-2)/(-1) - j) a prime number?
True
Suppose -209*y = -207*y - v - 1178285, 2*y - 3*v = 1178291. Is y prime?
False
Suppose -304*h + 76003911 - 23017015 = 0. Is h prime?
True
Let b = 289476 - 201097. Is b a prime number?
True
Let y be (-26724)/(-221) + (-1)/(-13). Suppose h = -2*u + y, 3*u + 390 = -2*h + 5*h. Is h composite?
False
Is (2/5)/((-72)/(-180)) + 48808 composite?
False
Let g be (2785/(-10))/(1/(-6)). Let q = g + -1186. Suppose -7*b + q = -1608. Is b prime?
False
Let q be (-264)/(-308)*(1771 - 0). Suppose 6000 = 6*y - q. Is y a prime number?
False
Let i = 235267 + -144054. Is i composite?
True
Let j(v) = -v**3 - 7*v**2 + 10*v + 16. Let l be j(-8). Let u be ((-3)/(-15)*l)/(-1). Suppose u = -4*d - 209 + 573. Is d a prime number?
False
Suppose -4*p - 4*x = 4, 2 = -4*x - 14. Let r = -585 - -987. Suppose p*q - r = 1275. Is q composite?
True
Suppose 116037 = 36*b + 23949. Suppose 0 = m - 5*y - b + 139, 3*m - 7295 = -4*y. Is m prime?
False
Suppose 0 = 62*f - 10506643 - 17845771. Is f a composite number?
True
Suppose 0 = 5*t - 4*f - f - 5, -9 = -2*t - 5*f. Let c be t - ((-2)/8 - 1/(-4)). Suppose -4*a = -c*g - 2*g + 672, g - 3*a = 178. Is g a prime number?
True
Let t(d) = -d**3 - 8*d**2 + 31*d - 15. Let v be t(-11). Suppose 0 = 10*x - v*x - 5790. Let j = 2799 - x. Is j a composite number?
True
Let u be (10 - 6) + -7 + 15312. Suppose l = -2*z - 0*z + u, z = -l + 7654. Is z composite?
True
Suppose q - 3*s = -4*s + 2255, -3*s = -2*q + 4505. Suppose 0 = c - q - 41. Suppose 2571 + c = 6*n. Is n a prime number?
True
Let f = -52 - -57. Suppose -f*h + 26 = 11. Suppose -365 = -h*i + 430. Is i a composite number?
True
Suppose -3*l + 4*s = -39633, -4*l + 2*l = s - 26433. Let w = l - 6718. Is w composite?
True
Suppose 3*w = 3*b - 828, 4*w = 3*b + 148 - 1254. Let d = w + 148. Let j = d - -329. Is j prime?
True
Is -69*(-3 - (-51740)/(-39)) prime?
False
Suppose -3*a + 17275 = 5*b, -2*a + 1863 = b - 1592. Let v = -2386 + b. Is v a composite number?
False
Let q(b) = 105*b**2 + 5*b + 7. Let o = -57 - -62. Suppose -4*n = o*i + 7, i - 4*n + 0*n + 11 = 0. Is q(i) a prime number?
True
Suppose 0 = y + 3*y - 3*f - 6, -5*y - 4*f = 8. Suppose 7*q = -y*q. Is (2 + (-3 - q))*-766 - -1 composite?
True
Let g(j) = j**3 - 7*j**2 + 2*j - 10. Let h be g(7). Suppose h*s + 8*s - 71364 = 0. Suppose -s = -3*q + 1220. Is q composite?
False
Let c(h) = 11 - 30*h - 7*h - 30*h. Let f be c(4). Let k = f - -402. Is k prime?
False
Let n(l) = -25*l**3 + l**2 + 3*l + 2. Let d be n(-6). Let m = 754 - 749. Suppose m*q - d = -885. Is q a composite number?
False
Let i be ((-16)/(-14))/(2/7). Suppose -2*b = -i*b + 2074. Suppose -3*g = 3*l + 250 - 3406, -4*l + b = g. Is g prime?
False
Suppose 141 = 3*h - 3*k, -7*h + 4*k + 235 = -2*h. Let c = h - 43. Suppose c*r - 300 = 968. Is r prime?
True
Let j(v) = 8813*v - 9812. Is j(65) composite?
True
Let c(t) = t**3 + 2*t**2 - 5*t - 4. Let b be c(-3). Let q(g) = 34*g**2 + 2 + 148*g**2 - 4*g - 3*g + 82*g**b. Is q(3) prime?
True
Let l = 178 - 178. Suppose l = 5*a + p - 112595, -6*a + 8*a - 5*p = 45038. Is a a composite number?
True
Let t = -118 + 120. Suppose c - t*z = 1262, -6342 = -6*c + c + 2*z. Suppose -c = 52*h - 57*h. Is h a composite number?
True
Let k(r) be the third derivative of 319*r**5/60 + r**4/8 + 49*r**3/6 - 38*r**2. Is k(5) a prime number?
True
Suppose -3*d + 8*d - 3*l = 311368, -4*l + 124542 = 2*d. Is d prime?
True
Suppose 41*t + 23*t = 13*t + 11028291. Is t a prime number?
False
Let a(f) = -f**2 + 15*f + 98. Let s be a(20). Is (-554060)/(-195) - (s + 1/3) a composite number?
False
Suppose 2*g - 112 = -3*r, -3*r = -8*g + 12*g - 116. Is r - 31 - (-2712)/2 a composite number?
False
Is 765076/7 - (-4 + 325/91) a composite number?
False
Let n = -58 - -48. Let w be ((16/n)/4)/((-3)/15). Suppose 2*l - 5*f = 186 + 21, 3*l - w*f - 316 = 0. Is l a prime number?
False
Suppose -3366 = 29*z + 4*z. Is z/(-238) + (-99436)/(-14) a prime number?
True
Suppose 68*r = -28*r + 68*r + 5032972. Is r composite?
False
Suppose -2*b + 2*s = -b + 6, -3*s + 23 = 2*b. Suppose b*v = -4*o + 6572, -3169 = -5*v + o + 5046. Is v prime?
False
Let l(d) = 101*d - 3. Let j be l(7). Suppose -4*u + j - 12896 = 0. Let o = -1267 - u. Is o a composite number?
True
Suppose -6*r - 322 = -388. Suppose 3*s - r*s + 20632 = 0. Is s a prime number?
True
Let h(r) = 4*r - 9181. Let a(c) = -8*c + 18363. Let i(p) = -6*a(p) - 13*h(p). Let u be i(0). Suppose 11*f = 6*f + u. Is f composite?
True
Suppose 196*a - 1778446 - 2183341 = 45*a. Is a prime?
True
Let g(x) = 2*x**3 - x**2 + x. Let m(t) = 7*t**3 + 2*t**2 - 26*t - 21. Let h(s) = -5*g(s) + m(s). Is h(-10) prime?
True
Let l(b) = -41*b + 74. Let z be l(7). Let h(d) = d**3 + 3*d**2 + 5*d + 7. Let n be h(-5). Let s = n - z. Is s prime?
False
Let x be -1*1 + (-3 - 3 - -109). Suppose x = -2*w + w. Let a = 229 + w. Is a prime?
True
Is -1 + (-7)/(-5) + (-1050)/125 + 352411 prime?
True
Let p(n) = 2*n**2 - n + 1. Let z be p(1). Let v(u) = -8*u + 11*u**z + 0 + 13 - 2*u + 3*u. Is v(7) composite?
False
Suppose 4*r = -l + 64, 3*l = 4*l + 3*r - 66. Suppose -7*d = -5*p - 3*d + 222, -l = -2*p - 4*d. Suppose 43*o - 379 = p*o. Is o prime?
True
Is (178383/(-194))/(6/(-