site number?
False
Let o = 4355 + -1343. Let i = 16 + -6. Is (i/(-15))/((-8)/o) a prime number?
True
Is 16735648/16*(6 + (-77)/14) a composite number?
False
Let j(l) = -2*l - 7. Let z be j(-3). Is 762/(-18)*(z + -110) composite?
True
Let z = 611721 - 240830. Is z a composite number?
False
Let i be 4*42/24 + -10. Is (136060/i)/(-10) - 4/3 a composite number?
True
Let b = -40279 - -82550. Is b prime?
False
Let l(s) = 254*s**2 + 17*s - 32. Suppose 4*z - 6 = -y, 16*y - 3*z = 13*y + 3. Is l(y) composite?
True
Suppose -5*w - 6*w = -33. Is -1 - w - (2 + 1*-17813) a composite number?
False
Let v = 71 - 69. Suppose 2*s = 5*s + 2*x + v, -2*x = 2*s + 4. Is (-4)/20 - 2111*s/(-10) a composite number?
True
Suppose 274*b - 279*b = -65. Suppose b*o - 17*o = -16. Is (-6)/o - (-3162)/4 composite?
True
Let y = 207 - 205. Suppose -4611 = -3*o + 3*p, y*p - 10334 = -4*o - 4198. Is o a prime number?
False
Let g = 122 - 124. Let h(k) = -30*k**2 - 10*k + 4. Let a be h(14). Is g/(-2 + a/(-3012)) a composite number?
True
Suppose 3*i + 15444 = 2*r + 2*r, -2*r + 7720 = -i. Let f = 9929 + r. Is f prime?
False
Let q(s) be the third derivative of -23*s**6/20 - s**5/10 - 7*s**4/24 + 2*s**3/3 - 2*s**2 + 38. Is q(-3) composite?
False
Let n = 29139 + 15319. Is n composite?
True
Let k(b) = -3 - 155*b + 929*b - 4 + 2. Let l(d) = d + 13. Let q be l(-11). Is k(q) a prime number?
True
Let q(w) = -8962*w**3 - 8*w - 8. Let o be q(-1). Suppose 0 = 1017*y - 1019*y + o. Is y a prime number?
True
Let h be ((-4 - -4) + 758)*1. Let l = h - 218. Suppose 0 = 2*t - 1042 - l. Is t prime?
False
Let r(l) = -8407*l - 2571. Is r(-11) a prime number?
False
Let q be 1/((-33)/(-6)) + 20/11. Is ((-9)/(-6))/(9*q/51924) a composite number?
False
Let y(h) = -37*h**3 + 4*h**2 + 9*h + 12. Let n be y(-5). Suppose -20*w + 8*w + n = 0. Is w a composite number?
True
Let q be (-6)/((-6)/126*-3). Let h(d) = -d**3 - 42*d**2 - 79*d - 41. Is h(q) prime?
False
Is (2 - 123442/5*-4)*60/24 prime?
True
Let k(i) = 6*i**2 - 1 + 4*i**2 - i + 16*i**2 + 3*i. Is k(-10) composite?
False
Let w(s) = -s**3 - 17*s**2 + 47*s - 28. Let c be w(-20). Suppose c - 222 = 5*m. Suppose 2*n + 796 = 2*g, g - n = -m*g + 1192. Is g a prime number?
True
Suppose -3*m = -2*w + 54722, m = 5*w - 124494 - 12311. Is w a composite number?
False
Let h(v) = v**3 + 4*v**2 - 3*v - 10. Let r be h(-4). Suppose r*p - 4*b - 16 = 0, 0*p + p + 2*b - 12 = 0. Suppose 5944 = p*c - 786. Is c composite?
False
Let b = 37 + -34. Suppose -b*f - 3*c + 1233 = 0, 0 = 2*f - 7*c + 4*c - 842. Suppose 0*p - f = -p. Is p a composite number?
True
Let f(g) = g**3 - 10 + 2 + 5*g + 4*g**2 - 4 + 1. Is f(5) composite?
False
Suppose n + 39 = 41. Suppose -2*r = -0*r + p - 262, 254 = n*r - 3*p. Is (196/70)/(4/r) a prime number?
False
Let n = -383 - -384. Is (153 + 4 + 0)/n a prime number?
True
Let r(i) = -78*i + 5. Let s be (4 + -1)*69/9. Suppose 5*p = -7*q + 3*q - 37, -2*q - p = s. Is r(q) a composite number?
False
Let f(l) = 2569*l**3 - 16*l**2 - 3*l - 9. Is f(4) a composite number?
True
Suppose -3*v + 51276 = t, -2*t = v - 35761 - 66776. Suppose 206*r - t = 203*r. Is r a prime number?
False
Suppose -5*t - 247 - 1183 = -4*z, 5*z - 1435 = 5*t. Suppose 5790 = -6*w - 300. Let g = t - w. Is g a prime number?
True
Let k(f) be the third derivative of -53*f**4/8 - 49*f**3/3 - 6*f**2 + 9. Is k(-11) a composite number?
True
Let l(n) = 3*n**3 - 33*n**2 + 43*n - 46. Let g(q) = -7*q**3 + 65*q**2 - 84*q + 92. Let j(u) = -2*g(u) - 5*l(u). Is j(31) prime?
False
Is ((-14)/42)/((-9)/1534167) a prime number?
True
Suppose -d = 2*b - 9837, 201*d + 4*b - 49191 = 196*d. Is d composite?
False
Is 838509/28*(-1)/(27/(-36)) a prime number?
True
Let w(y) = -y**3 - 12*y**2 + 9*y - 72. Let c be w(-13). Let d = 525 - c. Is d a composite number?
True
Let b = -649959 - -1250402. Is b prime?
False
Suppose 0 = l - c - 293 - 334, -2*c + 633 = l. Is l composite?
True
Suppose 3*v - 117 = -0*v. Let u = 42 - v. Is (-6)/(-9) + 235/u a composite number?
False
Let l(w) = 19499*w**2 + 31*w + 7. Is l(-2) composite?
True
Let k(i) = -85*i + 30. Let o be k(19). Let x = -941 - o. Suppose p + 5*q - x = 0, 0 = 4*q - 1 + 5. Is p a composite number?
True
Let n = -14299 - -20247. Is n + -6*(-27)/(-18) composite?
False
Is (48499/(-22) - -9)/(2/(-4)) a composite number?
False
Let s(p) = -16 + 204*p + 63*p**2 - 19*p**2 + 77*p**2. Is s(11) composite?
True
Let t(w) = -5*w - 17. Let b be t(-4). Suppose 0 = b*j - 8 - 133. Suppose -10*p - j = -11*p. Is p prime?
True
Let y(r) = 1738*r**2 + 11*r + 10. Let p be y(-1). Let k = p + 4202. Is k prime?
True
Let y(o) = 132*o**2 + 3*o - 17. Let s be y(6). Let x = s + -2792. Is x composite?
True
Suppose b - 12 = -3*o, 3*o + 2*b - 3 = 6. Suppose -884 - 971 = -o*w. Is w composite?
True
Suppose -4*s = 2*s - 390. Let i be (0 + (-3)/(-3))*s. Let w = 96 - i. Is w composite?
False
Let c(o) be the second derivative of 5*o**4/12 - o**3/6 + 7*o**2/2 + o. Suppose 5*a - 4*r = -6*r - 45, -12 = 2*a + 2*r. Is c(a) a prime number?
False
Let o(m) = 51942*m**2 - 11*m - 12. Is o(-1) a prime number?
True
Let c(u) = u**2 - 13*u + 14. Let g be c(12). Suppose q = -g*q + 9. Suppose 3*z = -3*x + 450, -q*x + 2*z + 570 = x. Is x composite?
True
Suppose 55418 = -2*w + 164432. Is w prime?
False
Suppose -4*d - 2*v + 43894 = 0, -5*v = -d - 4*d + 54860. Is d composite?
False
Let r(u) = 6311*u**2 + 70*u + 607. Is r(-8) a composite number?
False
Let f = 720337 + -319028. Is f composite?
False
Let y(u) = u**2 - u - 71. Let w be 225/6*44/(-55). Is y(w) prime?
True
Let p(n) = 2*n**3 - 14*n**2 + 15*n - 20. Let u(c) = -9*c**3 + 3*c**2 + 2*c. Let q be u(-1). Let m be p(q). Let l = 13 + m. Is l a composite number?
False
Suppose -2*m = -3*n - 5904, -11836 = -4*m + 2*n - 3*n. Suppose -m = -8*g + 72970. Is g a composite number?
False
Suppose -6 = -6*a - 0*a. Suppose o = -3 - a. Is ((-1390)/o - 2) + 57/38 a prime number?
True
Let p(n) = -4*n + 115 - n - 7*n**2 + 35*n**2 - 9*n. Is p(11) a composite number?
True
Let h(j) = -j + 45*j**2 + 24 - 13 - 7. Let b be h(3). Let n = b - 173. Is n composite?
False
Let g(x) = -x**3 + 10*x**2 - x + 12. Let v be g(10). Let p(a) = 12*a**2 - a**3 - 4*a - 6*a + 7 - v - 3*a. Is p(9) a composite number?
False
Let q be 8 - (5 - (-7 + 6)). Suppose 3*m = 2*o + 157, -4*m - o + 211 = -q*o. Is m prime?
True
Is -2*-1*205419*(-179)/(-537) composite?
True
Let x = -870 - -875. Suppose -2*r - 4*o + 41984 = 0, 4*r - 84001 = x*o - 2*o. Is r prime?
False
Let m(t) = -t**2 + 13*t - 12. Let p be m(13). Let w be p/(((-1)/3)/((-2)/6)). Is 1*14*(-822)/w composite?
True
Let s(q) be the first derivative of -46*q**2 - q + 100. Let h = 11 - 21. Is s(h) prime?
True
Let k = 59 - 54. Suppose k = -36*o + 37*o. Suppose -2*a = -a + o*b - 436, -b - 905 = -2*a. Is a prime?
False
Let s(l) = -61*l + 2. Let h(u) = -41*u + 9 - 20 + 12. Let t(z) = -8*h(z) + 5*s(z). Is t(7) composite?
False
Suppose 1034 = -21*r + 2882. Suppose 0 = r*n - 68*n - 335740. Is n a composite number?
False
Suppose 3787471 - 994450 = 25*z - 3146054. Is z composite?
False
Let h = -547 + 3916. Let j = 189 - 174. Is ((-5)/j)/((-1)/h) prime?
True
Let f be (8/20)/(11/(-5) - -2). Let d(h) be the second derivative of 77*h**4/12 + h**3/3 + 3*h**2/2 + 18*h. Is d(f) a composite number?
False
Is (19/(1254/448943))/(2/12) composite?
False
Suppose 13*q = 9*q - 8. Let m be 38*(1/q)/(-1). Suppose 5*z = -5*y + 751 + m, -2*z + 305 = 3*y. Is z a prime number?
True
Suppose 3*w - r = 1454, -7*r + 2 = -8*r. Let a be 1 + -2 + 2 - -254. Let j = a + w. Is j a prime number?
True
Let i = -136 + 140. Suppose -784 = -4*j - 4*v, -i*j + 4*v = -350 - 418. Is j prime?
False
Let i(l) be the third derivative of l**6/360 + 3*l**5/20 + 2*l**4/3 + l**3 - 9*l**2. Let v(f) be the first derivative of i(f). Is v(-25) a prime number?
True
Is 3/9*(-24 + 485283) a composite number?
False
Let h be 112170/25 + 120/(-25) + 5. Suppose 4*x = -2*d + 8970, 2*x + h = d + 5*x. Is d composite?
False
Suppose 777 + 14161 = x + 5*m, 0 = -5*x + 3*m + 74606. Is x composite?
False
Suppose l - 3*t - 4970 = 0, -10*l + 3*t = -7*l - 14898. Let w(h) = -328*h - 3. Let r be w(-6). Let g = l - r. Is g prime?
True
Suppose 16*j - 21567 = -6415. Let s = 1326 - j. Is s a composite number?
False
Is (15 + 44702/(-28))/((-2)/4) a prime number?
True
Let