/u*12/(-14). Is (3 + 1 - z) + 46 composite?
True
Suppose 0 = -4*h + 20241 + 29251. Is h prime?
True
Let h = -6 - -12. Suppose 0 = k - h*k. Suppose 8*o - 2*o - 90 = k. Is o prime?
False
Let a = -854 - -514. Let z = 702 + a. Suppose 0 = -r - 3*n + z, -3*r + 6*r + 3*n - 1068 = 0. Is r a composite number?
False
Let n = -813 + 1717. Suppose 0 = 4*x - n - 364. Is x a composite number?
False
Let h = 2949 - 1710. Let q be (10/(-3))/((-7)/h). Suppose -2*j + 585 = 5*o, 2*j = -5*o - j + q. Is o a prime number?
False
Let c(m) = -34096*m + 397. Is c(-6) composite?
False
Let h = 4462 + 669. Is h composite?
True
Let u(g) = 57*g + 2. Suppose -12*c = -9*c - 3. Is u(c) a composite number?
False
Let i = -11544 + 21397. Is i composite?
True
Let l = 23 - -6. Let a = l - -6. Is a a composite number?
True
Let b = -3 - -8. Suppose -b*y - 8 = 67. Is (-18)/y*5/2 a prime number?
True
Suppose 7*l - 34*l = -133353. Is l composite?
True
Suppose -105 = 6*z + z. Is (-1029)/(-12) + z/(-12) a prime number?
False
Is 106366/10 + (-13)/(130/(-4)) a composite number?
True
Is -3 + (4 - 3) + 40294 + 3 a composite number?
True
Let c(k) be the first derivative of -k**3/3 - 8*k**2 - 2*k - 20. Is c(-11) a prime number?
True
Let h = 809 + -1518. Let s = h - -1286. Is s prime?
True
Let x(w) = -w**3 + 19*w**2 + 26*w - 1. Let k be x(20). Is k + 4 + (1 - 1) prime?
False
Suppose 3*d + 26 = 8. Let g(w) = 7*w**2 - 3*w - 23. Is g(d) composite?
True
Let f be -3328 + (-3)/(-4 + 1). Let b be 2*(-1)/(-3)*f. Is 11/66 + b/(-12) composite?
True
Let o be (-20)/(-5) + -74*19. Let t = -651 - o. Is t a composite number?
False
Let x(n) = -148*n - 53. Is x(-27) a prime number?
True
Is ((-15940)/80)/(2/(-56)) a prime number?
False
Let x be (-24)/(-96) - (0 + 2059/(-4)). Suppose 0 = 4*b - 905 - x. Is b prime?
False
Suppose -5*f + 24 = 3*w, -w + 36 = 5*f + 8. Let r(c) = 11*c + 4. Let u be r(f). Let g = u - 23. Is g prime?
True
Let y = 2605 + -805. Suppose 532 - y = -4*p. Is p prime?
True
Let f be 6 - ((-1 - -1) + 1). Suppose f*b - 9 = 11. Is b/8*106*1 a prime number?
True
Let b(u) = -2*u - 15. Let h be b(-12). Suppose 0 = h*v + 70 - 421. Is v composite?
True
Let f = 224 + -51. Suppose 1 = 3*d + 5*r, -3 = d + 10*r - 5*r. Suppose d*c + c = 3*b - 171, 3*b - f = 4*c. Is b composite?
True
Let l(i) = -i**3 + 15*i**2 + 17*i + 2. Let m be l(16). Let q(n) = 44*n - 3. Is q(m) composite?
True
Let t(j) = -j**3 - 4*j**2 + 7*j - 5. Let p be t(-6). Suppose 2*l - 3*c - 889 = 2*c, 0 = 5*c - p. Let a = l - 238. Is a prime?
False
Let p be 2/(4*3/30). Suppose 0*z = -p*z + 595. Suppose -349 = -2*o - z. Is o prime?
False
Suppose 0 = -r + k + 2287, 5*k + 5224 - 635 = 2*r. Let b = r + -1069. Is b a composite number?
False
Let t be (-16)/152 + 34/(-38). Is (20015/(-5))/t + 4 composite?
False
Let r(c) = 11*c**2 - 37*c - 25. Is r(-29) a prime number?
False
Is 544 + 2/(-2 + (-20)/(-15)) composite?
False
Suppose -a + 2 = -2*q, -5*q - 4 = -5*a - q. Suppose a = -2*b + b. Suppose 0*j + 4*x + 234 = 2*j, 4*x + 4 = b. Is j a prime number?
False
Let o = -460 - -746. Suppose 0 = 5*g - 4*q - o, 0 = 3*g + 3*q - 144 - 33. Is g prime?
False
Suppose -2*u - 16 = -10. Let c(y) = -100*y - 7. Let l be c(u). Suppose -4*i + 3*i + l = 0. Is i composite?
False
Let c be 1/(-3) - 157/(-3). Suppose w - 23 = c. Suppose -u - 2*u + w = 0. Is u prime?
False
Let u be 3813*(-3)/6*2. Is (-1)/2 + u/(-6) a prime number?
False
Suppose -2*n - 513 = -3*c, 193 = 2*c + 4*n - 133. Let l = 434 - c. Is l a composite number?
True
Let m(i) = 1518*i - 1. Is m(2) a composite number?
True
Suppose -13*c = -0*c - 156. Is -4*(-5 - 2886/c) composite?
True
Let y(u) = -29*u - 12. Let p(h) = h**2 - 4*h - 1. Let s be p(-3). Suppose 3*m + s = m + 2*o, 3*o = -2*m - 15. Is y(m) a prime number?
False
Let d = 4813 + -3290. Is d a prime number?
True
Let a(f) = -63*f**3 - 6*f**2 + f - 7. Is a(-3) composite?
False
Let z(f) = -46*f + 4. Let m be z(7). Let a be (-10)/(-5)*-3 + 578. Let r = m + a. Is r prime?
False
Is 8897/14 - (0 + 1/2) prime?
False
Is ((-110)/30)/((-1)/(-62523)*-3) prime?
False
Suppose 5*h - 10 = 0, 4*h - 14 = r - 0*r. Let i(g) = -76*g + 25. Is i(r) a prime number?
False
Let u be (-8)/(-2) - 1*2. Suppose 2*t - 48 = -0*t + 4*w, -5*t = -u*w - 144. Let h = 53 - t. Is h a composite number?
False
Let g(u) = 221*u**3 - 5*u**2 + 4*u + 5. Is g(3) composite?
False
Let z(j) = 40*j**2 - 19*j - 40. Is z(-7) composite?
False
Let v = -10412 + 28567. Is v a composite number?
True
Suppose 0 = 2*x - 3*v - 2573, 3*x - 5*v = -x + 5151. Let z = x - 851. Is z a prime number?
True
Suppose -12283 = -5*z + 3*t, 58*t - 53*t - 7397 = -3*z. Is z prime?
True
Is -59*((-1471)/7 - 144/168) composite?
True
Let j = -40 - 3. Let r be (-224 - 12)/((-4)/2) + -1. Let y = r + j. Is y composite?
True
Let c = -79 - -27. Let p = -33 - c. Is p prime?
True
Let d(b) = 2*b**2 + b - 2. Let m be d(-2). Let c be (0 - -2)*(-4)/m. Is (72 - 0) + (c - -1) a prime number?
True
Suppose -4*u = -3*o + 14171, 11478 = 2*o - 3*u + 2032. Is o composite?
False
Let a(f) = -250*f**3 + 6*f**2 + 2*f + 13. Is a(-6) prime?
True
Suppose 8 = 4*j - 4*g + 2*g, 0 = -2*g. Suppose -6*r = -j*r - 6828. Is r prime?
False
Suppose -5*x + 2*x = -921. Is x a composite number?
False
Let x(w) = 2*w. Let f be x(-3). Let i = f + 9. Suppose 0 = -5*s - h + 263 + 466, 0 = -3*s + i*h + 423. Is s a prime number?
False
Suppose 3*o - 2*o = 12. Let f be 1 + ((-4)/(-32) - 185/8). Is -14*3/o*f composite?
True
Let t(l) = 37*l**3 + 2*l**2 + l + 3. Let x = 35 - 32. Let s be t(x). Let j = 1468 - s. Is j composite?
True
Suppose 115*k - 102*k - 96551 = 0. Is k a prime number?
False
Let p = 44382 - 26549. Is p composite?
True
Suppose -4*f + 2*o + 22 = -0, 0 = -3*f + 5*o + 34. Let h be (4 + (4 - 9))*0. Suppose h = -f*i + 136 + 35. Is i a composite number?
True
Let x be (0 - -522)*-3*(-3)/(-18). Let d = x + 472. Is d prime?
True
Suppose -17771 + 66590 = 3*z. Is z a composite number?
False
Is -6*(1966/6)/(-1) a composite number?
True
Let c(f) = -2*f + 4. Let l(o) = -o - 3. Let x be l(-5). Let k be c(x). Suppose k = -j + p + 16 + 7, 5*j - p - 115 = 0. Is j prime?
True
Suppose -479*h - 44870 = -489*h. Is h prime?
False
Is -1 + ((-205)/15)/(3/(-1494)) prime?
False
Let c be 16/1 - 2/2. Let l = 24 + -14. Is (-508)/l*c/(-6) a composite number?
False
Let y = -348 - -66. Let v = y - -783. Is v prime?
False
Let z(v) = 498*v**2 + 4*v - 3. Let b = 86 - 85. Is z(b) a composite number?
False
Let u(q) be the third derivative of -q**6/120 - q**5/15 - q**4/8 - q**3 - q**2. Let s(t) = -t**3 + 7*t**2 - t + 2. Let z be s(7). Is u(z) a prime number?
False
Let u(q) = 44*q - 3. Let h(f) = 220*f - 14. Let m(y) = -2*h(y) + 11*u(y). Is m(3) a prime number?
True
Is (2 + -3 + 2)/(6/5118) composite?
False
Let b(d) = -d**2 + 11*d - 15. Let n be b(9). Suppose -4*f = -n*s - 64, -2*f + 5*s + 18 = -0*s. Is f prime?
True
Let b(y) = y**3 - y**2 - 3*y. Let g be b(3). Is ((-326)/(-8))/(g/36) prime?
True
Let r = 24351 - 13774. Is r composite?
True
Suppose 0 = 74*z - 70*z - 184. Suppose -133 = -r - z. Is r a prime number?
False
Let j be (2/4 + 0)*(3 + 503). Suppose 2*m + j = 4*p - 1103, -5*p + 1705 = -5*m. Is p a prime number?
True
Let l = -19932 + 35643. Is l composite?
True
Suppose -25*y + 22789 = -33886. Is y prime?
True
Is 2917761/408 + 6/(-16) a composite number?
False
Let k = 1634 - 745. Is k prime?
False
Suppose 8052 = 11*c - 12353. Suppose -c = -14*w + 9*w. Is w prime?
False
Let o(q) = 443*q - 17. Let h be o(-7). Is (2*(-1)/(-2))/((-2)/h) a composite number?
False
Suppose 19*f - 292458 = -29707. Is f a prime number?
True
Let c(y) = -y + 8. Let o be c(6). Let v be 329*1 + (o - 5). Let w = -208 + v. Is w a composite number?
True
Let l be (-70)/21*(-6)/4 + 1. Is (((-21)/l)/7)/(1/(-266)) a prime number?
False
Let a(r) = -r**3 - 3*r**2 + 7*r - 8. Let i be a(-5). Let z(c) = -3*c**3 + 20*c**2 + 16*c - 4. Is z(i) a prime number?
True
Suppose -32263 = -2*z + k, -36*k = 3*z - 33*k - 48372. Is z a composite number?
True
Let s be (-1 + -2854)*-3*3/15. Suppose s = 14*d - 5301. Is d a composite number?
True
Let c be (-10)/(-5)*3/(-1). Let l(b) = 2*b**2 + 4*b - 1. Is l(c) a composite number?
False
Let p(v) = 46*v**2 + 14*v - 65. Is p(9) a prime number?
False
Let x be (3 + -1)*(-10)/(-4). Suppose -2*o + 9 = -x*o, -10733 = -5*b -