Let p be o(9). Let b = p - -1000. Is b a composite number?
False
Let z(r) = 238*r + 27. Let h be z(5). Is (-4 - -2)*h/(-2) prime?
True
Is 342/627 - (-60835)/11 composite?
False
Let s(i) = -1592*i + 225. Suppose -3*y - 16 = -x, -3*y - 75 = -2*x - 58. Is s(y) prime?
False
Let m = 24385 + -13860. Suppose 0 = 10*k - 3325 - m. Is k a prime number?
False
Let y(z) = 154*z**2 + 38*z - 54. Let s be y(-10). Suppose s = 16*a - 2*a. Is a a prime number?
True
Suppose -5*b + 2591 = 2*s, 2*s - 5*s = -3*b - 3939. Let j be 0 - (1 - s/(-20))*-5. Let v = 1023 - j. Is v composite?
False
Suppose -4*c = 4*w - 237 + 65, 2*w - 5*c - 121 = 0. Is (-32)/w*6294/(-4) composite?
False
Suppose -9*d + 9381 = 2190. Suppose h - d = -i, -i + 3*h - 117 + 920 = 0. Let p = i - 447. Is p a composite number?
False
Let t be ((-14)/21)/(2/5334). Let s = 2845 + t. Is s prime?
False
Let u be 6/(-18) - (-32)/6. Suppose 4*t - 4766 = -4*p - 202, -4*t - u*p + 4565 = 0. Let v = t + -583. Is v prime?
True
Suppose n + 7*t = 2*t + 14, -2*t + 16 = 3*n. Suppose -n*l = 3*a - 1282, 0 = -l - 3*l + 5*a + 1266. Let y = l - -118. Is y prime?
False
Let r be 1/(6/(-9)) - (-30)/4. Suppose r*z - 3*z = 54. Is ((-296)/(-6))/(12/z) composite?
True
Suppose -5*h - 5*r = -212795, -35*h + 30*h + 212801 = 4*r. Is h composite?
True
Is (525972/(-477))/(8/(-66)) composite?
True
Let q = 682287 + -359828. Is q a prime number?
True
Let a(w) = 1573*w - 742. Is a(15) a composite number?
False
Suppose -y - 6*o = -5*o - 2, 5*o = 15. Is y/(-1)*(-5874)/(-6) a prime number?
False
Let x(r) = 913*r + 1860. Is x(11) prime?
True
Suppose 2*w - 56363 = 7*w + 2*g, 2*g + 22544 = -2*w. Let j = -2993 - w. Suppose -2*s - 5*l - j = -7*s, 5*l + 4966 = 3*s. Is s prime?
True
Suppose 68*r = 67*r - 2. Is 18/6 - (2108*r)/2 prime?
True
Suppose 2*b = -4, 2*o = -2*b - 0*b + 10. Suppose -3*q + j + 21 = 0, 2*q + 2*j - 27 = o*j. Suppose -9*c + 1905 = -q*c. Is c a prime number?
False
Let d = -32 + 46. Suppose -d*k + 30120 = -11*k. Suppose -k = -3*u - 1223. Is u a composite number?
False
Let x(j) = 5312*j**2 - 10*j - 10. Let v be x(-1). Suppose 0 = -4*o + 1620 + v. Is o composite?
False
Is 76275 - (-1)/(7 + 440/(-64)) prime?
True
Let k(o) = o**3 + 3*o**2 - 2*o + 3904. Let c be k(0). Suppose -4 = t - 1, -5*d + c = -3*t. Is d composite?
True
Let m be (-24)/20*((-14)/(-6) - -1). Let n be 451/m*(-15 - -3). Suppose -n = -4*o + o. Is o a prime number?
False
Suppose 136364 + 1226 + 179794 = 8*f. Is f a composite number?
True
Suppose -190400 = -5*b - k, 114218 = -50*b + 53*b + 5*k. Is b a composite number?
True
Let a be 7 - -1 - (-9 - -13). Suppose -a*j - 34 = -90. Let v(h) = h**2 - 13*h + 7. Is v(j) a prime number?
False
Suppose -3*c + 258 = -3*v, 4 = 3*v + 10. Is 202209/36 - (-7)/c prime?
False
Let w(u) = 11478*u + 90. Let o be w(7). Suppose -79207 = -23*v + o. Is v a composite number?
True
Let b = 216 + -216. Suppose b*r + 16528 = 2*i - 3*r, -i + 5*r + 8257 = 0. Is i prime?
False
Suppose -758354 = 72*u + 39*u - 4270727. Is u a composite number?
False
Suppose -5*h + 37 = 2*i, -3*i + h + 13 = -34. Suppose 0 = 11*q - i*q + 385. Is q prime?
False
Suppose 46 = -4*o + 3*g - g, -39 = 3*o + 3*g. Suppose 12*j = 9*j - 2*n - 7, -4*j = 4*n + 12. Is (j - 393/9)*90/o prime?
False
Let i(s) = 41*s**2 + 4*s - 5. Let x(y) = -165*y**2 - 15*y + 19. Let k(h) = 9*i(h) + 2*x(h). Let w be (55/(-33) + 3)/(1/3). Is k(w) a prime number?
True
Let g = -59 - -57. Let l be g*((-468)/8 + 0). Let b = 84 + l. Is b composite?
True
Suppose 311*v + 5058084 = 717*v - 282*v. Is v a prime number?
False
Suppose -5 + 10 = 5*k, -2078 = 3*d + 4*k. Let u = d + 2739. Is u a composite number?
True
Let n(g) = g**3 + g**2 - 14*g + 235099. Is n(0) composite?
False
Let s(y) = 456*y**2 + 116*y - 3133. Is s(45) composite?
False
Let x(p) = -17*p + 52. Let u be x(3). Let a(d) = 260*d - 11. Is a(u) composite?
True
Is -3 - (130/(-26) + -369915) a prime number?
True
Suppose 0 = -d + 3*d - 10. Is ((2 - d) + 2440)*1 a prime number?
True
Let t be (-2)/(-13) + (-1958)/(-286). Suppose 0 = -13*v - t*v + 22180. Is v composite?
False
Let y(i) = i**3 + 14*i**2 + 12*i + 1. Let z be y(-13). Is -7*((-29393)/z + (-2)/(-4)) composite?
True
Let g(t) be the first derivative of -7*t**4/2 + t**3 + t**2/2 - 3*t + 1. Let u = 987 + -989. Is g(u) a prime number?
False
Suppose 10*q = 3*q + 21. Suppose 10 + 2 = -q*o. Is 211*(3 - o*4/(-8)) a composite number?
False
Let d be (7 + -6)*(-5 - -2). Let n be (6/d - -48)/(-2). Is (-25 - n)*634/(-4) prime?
True
Suppose 0 = 4*j + 20, -32 = -s + j - 0*j. Suppose 0 = 16*u - 2492 + 2492. Is 386 - u - (s + -22) composite?
True
Let k be -4 - (-6 - (-3 + 3 - 2)). Suppose k = -5*i - 5*d + 15915, 5*i - 4*d = d + 15895. Let w = 4982 - i. Is w a composite number?
False
Let m = 46077 - -175848. Is (-1)/((-12)/2 + m/36993) a composite number?
True
Let r(u) = 34*u**2 + 21*u + 263837. Is r(0) composite?
True
Let o(h) = -22*h - 81. Let b be o(9). Let a = b + 698. Is a composite?
False
Let v be (5680 - -17)*(-1)/(-1). Let h be (14/(-21))/(1/3). Is (h/(-3))/(6/v) composite?
True
Let m = -88651 - -185028. Is m prime?
True
Suppose 542243 = 40*m + 65*m - 263002. Is m a composite number?
False
Let c = -418 + 424. Suppose -9 = 3*y, -7*f + c*f + 4*y + 1655 = 0. Is f composite?
True
Let m be (-7)/((112/24)/(-2)). Suppose 0 = -m*o - 4*k + 28393 + 8292, 12229 = o + 2*k. Is o a composite number?
False
Let r(b) = b + 11. Let g(d) = -6*d - 54. Let w(y) = -5*g(y) - 24*r(y). Let h be w(-2). Is (147/(-2) - -3)*44/h composite?
True
Suppose 0 = -10*c + 14 + 6. Suppose c*j = 4*j. Suppose j = 11*t - 6*t - 15145. Is t composite?
True
Let g(t) = 2*t**3 - 16*t**2 + 38*t - 77. Let c be g(24). Is (-4)/(-10)*5*c/2 composite?
False
Suppose -159 = -10*u - 49. Suppose 7*j - u*j + 24 = 0. Suppose -8*p + j*p + 1402 = 0. Is p composite?
False
Let y(x) = 230*x**2 - 123*x - 1188. Is y(-29) prime?
True
Is 4691*((0 - -5) + 38) a prime number?
False
Suppose -d = y - 6, -3*y + 2 = -3*d + 2*d. Let k = -41 + 47. Is k/y*518/21 composite?
True
Suppose 0 = -7*s + 8*s + 2. Let q be s*1/(4/(-6)). Suppose -q*i - 1258 = -b, 3*b - i - 2501 = b. Is b prime?
True
Is (-2)/8 - (-253)/(-44) - -37897 composite?
True
Let b = 5827 + -3620. Is b prime?
True
Let o = 231 - 238. Is (-371)/106*502/o a prime number?
True
Suppose -q = -3*q - 3*l + 658084, 3*l = 2*q - 658096. Is q composite?
True
Let g(z) = 2078 - 1067 + 66*z - 1078. Is g(26) prime?
False
Let h(l) = 2*l**3 + 20*l**2 + 65*l - 317. Is h(46) composite?
True
Let v = 22045 + -19510. Suppose -3*u + 5*q = -9367 + 1853, -5*u - 2*q = -12482. Let k = u + v. Is k prime?
False
Let w = -154 + 7403. Is w a prime number?
False
Let o = 3004944 + 390847. Is o composite?
True
Suppose b - 18 = -t, -b - 6 + 32 = -3*t. Suppose 0 = b*m - m - 54359. Is m a prime number?
True
Let m(b) = 4*b - 8. Let w be 12 - (0*(-1)/3)/1. Let s be m(w). Suppose 31 + s = h. Is h a prime number?
True
Suppose -18*l - 3781 + 901 = 0. Let f be 0 + (-1)/(-3) + l/(-24). Let w(k) = 41*k**2 + 15*k - 13. Is w(f) a composite number?
True
Let o(j) = -10*j - 12. Suppose -9*c = -4*c - 35. Let q be o(c). Let p = q + 375. Is p a prime number?
True
Let t(v) = 11857*v**2 - 419*v + 11. Is t(-7) prime?
True
Suppose -2*s + 4*d + 28050 - 9598 = 0, 2*s - d - 18461 = 0. Suppose -2804 = -12*i + s. Is i composite?
True
Let x(w) = -5*w + 57*w**2 + 1 - 12*w + 12*w. Let l be x(8). Let v = -1460 + l. Is v a composite number?
True
Let j(p) = -2*p**2 - 2*p + 11. Let b(u) = -u**2 - 16*u + 23. Let w be b(-17). Let c be j(w). Let t = c - -158. Is t prime?
False
Let f(x) = -89 - 6*x + 10*x + 14*x + 2*x. Is f(11) prime?
True
Suppose -4*t + 43127 = -y, 43130 = 7*t - 3*t + 2*y. Suppose -44*s = -26*s - t. Is s a composite number?
False
Suppose -24*z + 5*z = 18*z - 1298293. Is z a composite number?
False
Let y be 352 - (-2 + 2 + 1). Let f = -5205 + 5003. Let u = f + y. Is u a prime number?
True
Let h be (2 + (1 - -5256))*-1. Let s = -351 + 348. Is (-8)/(-14) - (s - h/(-21)) composite?
True
Suppose 0 = 54*l - 49*l. Let u(s) = -60*s**3 - 7*s**2 - 7*s - 5. Let d be u(-5). Suppose -5*n = -l*n - d. Is n prime?
True
Let q(d) be the first derivative of -478*d**3 + d**2/2 - d - 12. Let s(v) be the first derivative of q(v). Is s(-1) composite?
True
Suppose 0 = -4*r + 8*r - 256. Let l = r + -6