rime?
True
Let u = 203 + -200. Suppose -4*t = 3*z - 1675, 2850 = 5*z - 8*t + u*t. Is z a composite number?
True
Suppose -224*g = -238*g + 5465222. Is g a prime number?
True
Let v = -49 + 49. Suppose v = -8*s + 6*s - 34. Let q(k) = k**2 - 6*k - 32. Is q(s) composite?
False
Suppose 2*k - w = 251473, k - 2*w - 12622 = 113119. Is k composite?
True
Suppose 12 = 4*r, -3*x - 3*r + 4*r + 78 = 0. Is 24058 - -5*x/45 composite?
False
Let h(u) = u**3 + 10*u**2 + 21. Let z be h(-10). Let m(p) = -p**3 + 37*p**2 - 2*p + 55. Is m(z) prime?
True
Let r be (-2)/6 - (-16 - 282/(-18)). Suppose -q + 0*k = -3*k - 1254, -1254 = -q + 4*k. Suppose 0 = -x - 3*i + 320, 4*x - q = i - r*i. Is x a composite number?
True
Is (-6)/(-33) + (-12874077)/(-627) prime?
True
Let h(p) = 563*p**2 - 73*p + 2328. Is h(22) a composite number?
True
Let h = 73734 + -27481. Is h prime?
False
Is ((-29)/10 - (-1)/(-10))/(12/(-468332)) composite?
True
Suppose 2*r = -4*n + 135406, 2*r - 77752 - 57638 = 4*n. Is r prime?
True
Suppose 1005*h - 113717 = 1004*h + x, -2*h = -5*x - 227446. Is h prime?
False
Is ((-304456)/(-2) - -10) + 7*-1 a prime number?
True
Let d(l) = 2*l**2 - 5*l - 9. Let m be d(4). Suppose 2*v - 8 = -0*v, b - m*v - 678 = 0. Suppose 0 = -2*z + 3*i + i + 678, -2*z = -i - b. Is z composite?
False
Let a(v) = -v**2 + 68*v + 48. Let c be a(64). Let f be 18/3*(-413)/(-2). Suppose f = 5*d + c. Is d prime?
False
Let k(v) = 1913*v**3 + 4*v**2 + 11*v - 45. Is k(10) prime?
False
Let b(y) = -23624*y + 2071. Is b(-8) a composite number?
True
Let t(b) = 5*b**2 + 5*b + 5. Let p be t(-2). Is 7/21 - (-13660)/p a prime number?
True
Let u(s) be the first derivative of -3*s**4/4 - 11*s**3/3 + 17*s**2/2 - 20*s - 50. Is u(-9) a prime number?
True
Let g(t) = -78*t**2 - 2*t - 2. Let c be g(4). Let o be c/(-4 - (-8)/4). Let l = o + 12. Is l composite?
False
Let s(f) be the third derivative of f**5/60 + 1471*f**3/6 + 8*f**2. Is s(0) a prime number?
True
Let b be (-4)/26 + (-5 - (-36800)/(-104)). Suppose -469 = 2*i - 5*a, a = -i + 82 - 313. Let u = i - b. Is u a composite number?
False
Let i(r) = -5*r**3 - r**2 - 3*r + 7. Let m be 4 + 2 - (10 + 0). Is i(m) a prime number?
False
Suppose 8*y = 10*y - d - 15, -5*d - 27 = -4*y. Is 2 - 2 - 4/y*-16658 composite?
False
Let v = 7452 + -3136. Suppose -42*g = -44*g + v. Suppose -6*a + 2900 = -g. Is a prime?
False
Let b = -109 + 28. Suppose 6*p + 3602 + 3202 = 0. Is (5 - b/(-15)) + p/(-10) prime?
True
Let r be 36/(-12) + 8 - (-6)/(-2). Suppose 10 = -5*a, -35 = r*b - 4*a - 16673. Is b a prime number?
False
Let g(q) = -q**3 + 19*q**2 + 19. Let c be g(19). Suppose -c*t + 407697 = -20582. Is t a prime number?
True
Suppose 3*k - 123 + 132 = 0, 5*k - 245634 = -3*o. Is o a composite number?
False
Suppose -17*p + 12*p + 35 = 0. Suppose -g + 3 = p, o + 1 = -g. Suppose -1165 = -2*v - o*v. Is v composite?
False
Suppose -24 - 12 = -6*w. Suppose 450 = -3*z - h, 0 = w*z - 3*z - 2*h + 441. Let x = 186 - z. Is x prime?
False
Let v = -636 + 451. Is 5/(25/v)*-43 a composite number?
True
Suppose 0 = -5*s - 25 - 10. Let u(d) = -1058*d - 65. Is u(s) composite?
True
Let b(i) = i**3 + 8*i**2 + i + 8. Let r be b(-8). Suppose -7*y + r*y + 1008 = 0. Let d = y - 91. Is d composite?
False
Let a = -1275608 - -1788111. Is a a composite number?
False
Suppose 13*t - 28816 = -5650. Let n = t + 577. Is n prime?
False
Suppose 4*u = 6*u - 10. Suppose u*j = -2*q + 16912, 2*j = 3*q - 7*q + 33840. Is q prime?
True
Suppose 42*n - 40*n + 492 = 0. Is (-2902964)/n + (-2)/(-6) composite?
False
Let t(i) = -1038*i - 32. Let a be t(-8). Let r = a - 2817. Is r a prime number?
False
Suppose 0 = 4*s - s. Let r(t) = -t**2 + 907*t + 7321. Let k be r(-8). Suppose s = u + k, 509 = p + p - u. Is p a composite number?
True
Let b(u) = 36*u**2 + 25*u - 6. Let i(t) = 18*t**2 + 13*t - 3. Let c(q) = 3*b(q) - 5*i(q). Is c(7) a composite number?
True
Suppose -3*a - 6939006 = -4*d - 5*a, 0 = 2*d - 5*a - 3469521. Is d a prime number?
False
Suppose -592*v = -610*v + 2638242. Is v a composite number?
True
Let h(k) = -k**3 + 12*k**2 - 14*k + 38. Let n be h(11). Suppose 0 = -6*s + 3*s + 12, -3*s + 14067 = n*r. Is r a composite number?
True
Let o(i) = -29*i - 18. Let w be o(-19). Let x = w - -168. Is x composite?
False
Suppose t - 37*d = -41*d + 282961, 0 = 5*d + 15. Is t prime?
True
Let c = -8238 - -5839. Let t = c - -3652. Is t prime?
False
Let f be (-284)/16 + (-3)/(-4). Let p be (-119)/f - 2*1. Suppose 0*s = p*s - 3*a - 4886, -3*a + 2946 = 3*s. Is s a prime number?
False
Is 10123857/34*2/9 a prime number?
True
Suppose 17*f + 30*f = -56*f + 35952871. Is f prime?
False
Suppose 4*t + 516190 = 75*a - 73*a, -3*a + 774221 = 2*t. Is a a prime number?
False
Suppose 4*o + 4 + 4 = -4*j, -2*o - 11 = -5*j. Is (2 - j)/(5/53355) a prime number?
False
Is (188 - -3938)*86/4 a prime number?
False
Let r = -239400 - -654977. Is r a prime number?
True
Let j(t) = 4*t**3 + 44*t - 18*t**2 + 56 - 85*t - 9. Is j(20) composite?
True
Let c(q) = -9413*q - 1849. Is c(-24) a composite number?
True
Suppose -5*f + 249 - 754 = -4*d, 3*f = 4*d - 503. Suppose 128*b + 21 = d*b. Let m(g) = -109*g - 17. Is m(b) a composite number?
True
Let s = -401 - -405. Suppose s*a - 638 = -7*a. Is a prime?
False
Let z be 1136 - 5/((-25)/20). Let w = z - 1828. Let j = w + 1737. Is j a composite number?
False
Let n be 2*(23/10 + (-4)/(-20)). Suppose -393 = -3*o - w + 561, 3*o - n*w = 972. Is o a prime number?
False
Let c = 22 + -33. Let o = 9 + c. Is (o - 4/(-3)) + (-22710)/(-18) a composite number?
True
Let d(y) = y**2 - 6*y - 6. Let b be d(6). Let h be (-15)/b + (-1)/2. Suppose 4*u - u - 1133 = -5*v, -377 = -u - h*v. Is u a composite number?
True
Suppose -k - 4*m - 5 = 4, 4*k - 12 = -4*m. Suppose 0 = -k*q + 4*q. Suppose 3*h - 76 - 35 = q. Is h composite?
False
Let a be -2 - (-198)/(11 - 5). Is (a - -3567)*(-1 - 6/(-4)) prime?
False
Let i(r) = r**2 + 8*r - 29. Let s be i(-9). Let f be ((-6428)/s - 3)*5. Let v = 2665 - f. Is v a composite number?
True
Let t = -129442 - -241017. Suppose -4*z = z - t. Is z a prime number?
False
Suppose -2*v + 5*o + 31774 = 0, -520*o = -519*o + 4. Is v a composite number?
False
Suppose -7*m + 1354608 = 4*z, 0 = 5*m + 27 - 7. Is z a prime number?
True
Suppose -422285 = -5*r + 2*j + 149116, 0 = -4*r + j + 457116. Is r prime?
True
Let h(n) = -4*n**3 + 7*n**2 - 13. Let z(c) = 7*c**3 - 14*c**2 + c + 25. Let w(r) = 5*h(r) + 3*z(r). Let b be w(5). Let f = 292 - b. Is f a prime number?
True
Suppose 8*i - 2655263 = 1317369. Is i a prime number?
True
Let k(w) = -18*w + 2. Let y be k(-1). Suppose -473 = 3*t + p + p, 0 = 5*p + y. Let c = 46 - t. Is c composite?
True
Let i(p) = 64*p**2 + 5410*p - 47. Is i(-118) prime?
True
Suppose 0 = 255*r - 60990054 - 112762965 + 39162234. Is r a composite number?
True
Suppose -123*q = 99*q - 8548998. Is q composite?
True
Let m(o) = o**3 - 2*o**2 - 8*o + 10. Let h be m(5). Is (-63028)/(-5) + (-27)/h a composite number?
True
Is 5/((-25)/(-10)) + 7556*1332/48 composite?
True
Suppose -w + 25663 = 4*c, 4*w = -3*c + 8058 + 11199. Suppose -5*k = -2*b - c, 0*b = -4*b + 20. Is k a composite number?
True
Suppose 0 = -5*p + 3*n + 8762402, -7100111 + 90186 = -4*p - n. Is p prime?
True
Suppose w - 14196 = -5*r, -40*w + 28420 = -38*w - 4*r. Is w composite?
True
Let l = 546311 + -245664. Is l composite?
False
Let j be (65516 + -1)*616/(-55). Is 1/(-5) - (j/(-20))/(-7) a prime number?
False
Suppose -c + 19*c - 118476 = 0. Let j = c - 2791. Is j composite?
True
Let x = -30691 - 6219. Is (x/(-15))/(4/12) composite?
True
Is 192236 + 2*(-56)/16 composite?
False
Let d = 19474 - 6885. Is d a prime number?
True
Let x be 1050 + 1 + -6 + -4. Suppose q - 4*b - 1458 = x, -2*b - 5004 = -2*q. Is q composite?
False
Let z be 7 - -10*(-3)/15. Let l be -3*2*(-3)/9. Suppose 3*a - 37 = a + z*o, 3*o + 47 = l*a. Is a a prime number?
True
Let t(m) = 40*m**2 - 37. Let k(q) = 27*q**2 - 25. Let b(w) = 8*k(w) - 5*t(w). Let u be (-390)/55 + 15/165. Is b(u) a composite number?
False
Let l(t) = 15*t + 2. Let y be l(4). Suppose 2731 + 194 = 25*c. Let o = c - y. Is o a prime number?
False
Let x(t) be the second derivative of t**5/20 - t**4/12 - 7*t**3/6 + 2*t**2 + 35*t. Let p be x(3). Is (7 - 31388/(-24)) + p/6 composite?
True
Let s be -82*((-126)/(-35))/((-4)/(-10)). Is 