posite?
True
Suppose -53119 = 5*x - 8*x - 2*q, 20 = -5*q. Suppose -12*v = -x + 1713. Is v a composite number?
True
Let k = 6277 + 510. Let l = k + -818. Is l composite?
True
Let y(i) = 669*i**3 + 20*i**2 - 75*i - 97. Is y(9) a prime number?
False
Is (-146)/30 + -1 + (-144)/1080 + 83975 prime?
True
Suppose -5*p = 3*m - 148824 - 373145, -3*m + 521975 = 2*p. Is m a composite number?
False
Suppose 1548 - 36297 = -9*x. Suppose u - x = 71*l - 72*l, -2*l = -2*u - 7730. Is l a prime number?
True
Let x(b) = 189*b + 10. Let f be x(-4). Let j be 8/12 + f/(-6). Suppose -j - 2479 = -12*m. Is m prime?
False
Suppose -19*g + 17*g - 77561 = -5*q, 5*q - 77567 = 4*g. Is q a prime number?
True
Let x(t) = -t**2 + 4*t - 1. Let w be x(4). Is (1968/(-4))/(-6) - w a composite number?
False
Suppose 2*k - 5*m - 61 = 0, -3*m - 42 = 4*k - 177. Let z be 6/k - 190041/(-33). Suppose -z = -8*h - 5*h. Is h prime?
True
Let k be 117*(20/3 - 18/9). Suppose -k*x - 117513 = -555*x. Is x composite?
True
Let c = -253 + 257. Suppose -4424 = -2*u - z + 1111, -4*u + c*z + 11064 = 0. Is u prime?
True
Let k(u) = 13748*u + 4353. Is k(53) composite?
False
Suppose 46 = -3*m + 4. Let b = m - -14. Suppose b*a - 2*a + 106 = 0. Is a a prime number?
True
Let l(q) = 692*q**2 + 233*q - 47. Is l(12) a prime number?
True
Let s(l) = l**2 - 6*l - 1. Let f be s(7). Suppose f*j + 3840 = -0*j. Let b = 67 - j. Is b a composite number?
True
Suppose 4*z + 8 = 0, -4*z + 64 = -x - 505. Let g = 7830 + x. Is g prime?
True
Suppose 3*n - 10 = -2*c + 18, 0 = n + 4. Let s be c/(-8)*30/25. Is 142/((-4)/s - 12/(-18)) a prime number?
True
Suppose 43 = -11*w - 78. Let g = 14 + w. Suppose 7*k - g*k - 1268 = 0. Is k a composite number?
False
Let n(u) = 22*u**2 + 6*u + 9. Let v(i) = i**3 - 10*i**2 + 6*i + 23. Let w be v(9). Is n(w) prime?
True
Is (19 - 198/54)/(3562/3558 - 1) composite?
True
Let l be 8/(-6)*45/(-10). Let c = 0 + l. Suppose c*p - 3570 - 228 = 0. Is p composite?
True
Let p(h) be the third derivative of 809*h**4/24 - 17*h**3/3 - 2*h**2 + 8. Is p(3) prime?
True
Let j be 200*(-1)/(-4)*-2. Let x be -10 - (10 - 6)/(3 + -1). Is (j/(-24))/((-2)/x) a prime number?
False
Let b = 20390 - -16649. Is b prime?
True
Is 1 + 20/5 + (243322/2 - 5) prime?
True
Suppose -4*n - j = -45, -2*n - 3*n = 2*j - 57. Is (-5644)/(-2) - 33/n a composite number?
False
Let f(k) = 46*k + 2. Let h(l) = 92*l + 3. Let y(a) = -5*f(a) + 3*h(a). Is y(22) composite?
True
Suppose -274662 - 168628 = -10*r. Is r prime?
False
Let t(j) = 2867*j - 392. Is t(5) a prime number?
False
Suppose 20*g + 12235227 = 9*z + 23*g, 5*g + 2718894 = 2*z. Is z a composite number?
False
Let c = 39980 - -189701. Is c a composite number?
False
Let a = 19239 + -13432. Is a composite?
False
Is (22 - (-1222)/(-52))/((-3)/1506158) prime?
True
Let s(b) be the second derivative of -103*b**3/3 + 153*b**2/2 + 15*b + 4. Is s(-8) a composite number?
False
Let k = 7 + -351. Let v = k - -985. Is v composite?
False
Is (-2885436)/(-68) - 22/(-187) composite?
False
Let j = -12049 - -22151. Is j prime?
False
Is -4 - 0 - (-327291 - 0) prime?
False
Suppose 57 = 3*c - 3*h, -4 = -4*c - 3*h + 44. Suppose 6*x = x + c. Suppose 5*t - 48 = -2*k - 2, -6 = x*k. Is t a composite number?
True
Let u(g) = 67*g**2 + 7*g - 1. Suppose -2*f - 116 + 20 = 0. Let c be 12/f + 38/(-8). Is u(c) composite?
True
Let j = 41 - 46. Let x(b) = 181*b**2 + 6*b + 16. Is x(j) prime?
False
Suppose 3*j = g - 1, 0 = -2*g - 2 + 4. Let d = 1427 + 1791. Suppose 3*r = 5*s + d - 14236, j = 2*s + r - 4416. Is s a prime number?
False
Let s be (-87876)/48 - 6/(-8). Let z = s - -3487. Is z a composite number?
False
Suppose -48*t + 7967557 + 10062687 = 124*t. Is t a prime number?
True
Let y = 90 + -85. Suppose y*x = 4*f - 41856, 4*f - 7*f - x = -31373. Is f prime?
True
Let y = 1340169 + -951760. Is y composite?
True
Let v(a) = 8*a + 187. Let q be v(-23). Suppose -t + 1342 = -d - 2027, 10087 = q*t + 2*d. Is t a composite number?
True
Let t = -102 - -102. Suppose 5*w = 3*h - 20244, -4*h + 26997 = -5*w - t*w. Is h a prime number?
False
Suppose 4280293 = 6*j + 5*k, -4*j - 15*k = -12*k - 2853529. Is j prime?
False
Suppose 0 = -4*l + 10*l. Suppose 3*h + h = l. Suppose 3*x + 2*t - 622 - 281 = 0, h = 2*t + 6. Is x prime?
False
Let g be (6/(-12))/((-2)/12). Suppose w + 13 = 2*v, -g*v - 2*w + 4 = 2. Suppose -8 = -2*k + 4*k, -4*l + 1800 = -v*k. Is l prime?
False
Suppose -3*p - 3*k = -4*p + 226, 0 = -4*k + 20. Let o = 202 + p. Is o a composite number?
False
Let k be (-20072)/(-3) - (-1)/3. Suppose 0 = -4*v - l + 23544 - k, -4209 = -v + 4*l. Is v a prime number?
False
Let p be 5/(35/2) - (-481498)/(-133). Is -1 + 1 - (p - 23) prime?
True
Suppose -42 = -6*i - 42. Suppose 5*l - 865 - 200 = i. Is l composite?
True
Let v = 397 - -22. Let n be (12/(-42))/((-2)/854). Let o = n + v. Is o prime?
True
Suppose -32*h + 47*h - 75 = 0. Suppose h*o - 84365 = -5*v, o - 29291 + 12418 = 2*v. Is o a composite number?
True
Let k = -78 - -78. Suppose k = -u + 4*u - 9. Suppose 8*m = -5*s + u*m + 14155, 2*s - 2*m = 5670. Is s prime?
True
Let a(t) = 33*t**3 - 3*t**2 + 22*t + 7. Let y = 135 + -131. Is a(y) a prime number?
False
Suppose 77 + 337 = 6*k. Let w = k + -66. Is w/(-1)*(-3194)/6 a composite number?
False
Let a(t) = t**2 - 1. Let d(l) = -7*l**2 - 5*l + 12. Let i(n) = -6*a(n) - 2*d(n). Let v be i(8). Suppose -185 - v = -3*p. Is p prime?
False
Let r = -3204 - -11983. Is r composite?
False
Let t be ((-44)/16 - -3) + 3/4. Let y be (-3040)/(-50) + t/5. Is (-15 - -4)*-1*y a prime number?
False
Is (-3 - (-105)/28) + (-3420445)/(-20) composite?
False
Is 550861 + -145 + (1/1)/((-8)/(-56)) composite?
True
Let z be ((-8)/(-2) - 15)/1. Let s be 1/(-2) + (825/(-10))/z. Suppose s*c + c = 472. Is c composite?
False
Let h(u) = 29 + 2138*u**2 + 785*u**2 - 37 - 6*u. Is h(-1) prime?
False
Let x(n) = 311*n**3 + n**2 + 52*n - 339. Is x(8) a composite number?
True
Let n(d) = 842*d**2 + 9*d + 79. Is n(8) prime?
False
Let t(w) = 135*w - 79*w + 414*w + 48 - 119. Is t(17) composite?
False
Let p be 1 - (-18)/(-6) - (-90)/(-2). Let x = p + 32. Is (-1)/(-3) - (154240/x)/4 a prime number?
False
Suppose 5*m - 175 = 2*x - 0*x, 3*m - 4*x - 105 = 0. Suppose -27*w = -m*w + 3208. Is w a composite number?
False
Let l(j) = -j**3 + 24*j**2 + 25*j + 15. Let y be l(25). Suppose 5*o - 95020 = -y*o. Is o composite?
False
Suppose 0*o - 12 = -4*o. Let c(r) = 122*r + 152. Let b be c(13). Suppose 5*d - o*d = b. Is d composite?
True
Let l(c) = -c - 26. Let p be l(-16). Let f be 3/(-2) + 5/p. Is (319/(-2))/(f/4) prime?
False
Suppose -64*j + 720 = -68*j. Let b be (5*j/(-25))/((-3)/2). Is -789*(4/b)/((-4)/(-8)) prime?
True
Let v = -953 - -2123. Let o = v + 487. Is o a prime number?
True
Let w(g) = g**3 - 8*g**2 + 2. Let f be w(8). Suppose -f*y - 2*c = -c + 569, c + 1415 = -5*y. Let k = y - -1541. Is k a composite number?
False
Let h be 1 - (26/(-4) - (-3)/(-6)). Suppose 2*i - 28759 = -3*r + 3087, -h = -2*r. Suppose 0 = -3*m + 2*b + 15937, 5*b = -3*m + 3*b + i. Is m a prime number?
True
Let n(r) be the first derivative of -12*r**2 + 46*r + 3. Let w be n(-14). Is ((-5)/2 + 3)/(1/w) a composite number?
False
Suppose -2743*y = -2744*y + 70783. Is y a composite number?
False
Suppose 233*u = 238*u + 79772 - 1239477. Is u prime?
False
Let n(g) = -4*g - 212. Let u be n(-52). Let w(z) = -1496*z + 95. Is w(u) a composite number?
False
Let a(c) = c + 3. Let y be a(-5). Let u(m) = -264*m - 40. Let q(d) = -260*d - 47. Let r(s) = -5*q(s) + 6*u(s). Is r(y) a prime number?
True
Suppose -2*q + 15 = -t + 4, -q = -5. Let b(j) = 7*j**2 + 2*j + 2. Let o be b(t). Is 2/o - (-999)/7 prime?
False
Let z(j) be the third derivative of -7/60*j**5 + 1/6*j**3 + 1/20*j**6 + 0 - 3/8*j**4 + 0*j - 14*j**2. Is z(6) a prime number?
True
Let g = -2551 - -3258. Is g prime?
False
Let o = 62 + -18. Suppose o*a - 12855 = 39*a. Let j = -1234 + a. Is j a prime number?
False
Is (-100)/(-40)*((-2785272)/(-20) + -4) composite?
False
Suppose -5*c = 6*c + 13*c. Suppose c = -12*g + 2586 + 7506. Is g a prime number?
False
Let j(b) = 31*b**2 - 198*b + 124. Is j(37) prime?
False
Let i(c) = -80*c - 1093. Is i(-51) a composite number?
True
Is 2*7 + (-3831921)/(-27) composite?
False
Let o = 19015 + 6017. Suppose 8961 = -2*c - 3*k + 33985, 2*c - o = k. Is c a prime